runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3701300-1338069914/watcher-3701300-1338069914 -o /tmp/evaluation-result-3701300-1338069914/solver-3701300-1338069914 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701300-1338069914.opb 1802582171 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6538
/proc/meminfo: memFree=28519716/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[startup+0.0386529 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6538
/proc/meminfo: memFree=28519716/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6538
/proc/meminfo: memFree=28519716/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300177 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6538
/proc/meminfo: memFree=28519716/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6538
/proc/meminfo: memFree=28519716/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6540
/proc/meminfo: memFree=28491916/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=102488 CPUtime=1.48 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) R 6538 6538 3117 0 -1 4202496 12354 0 0 0 146 2 0 0 20 0 1 0 273116835 104947712 18951 33554432000 4194304 5992684 140733231697728 140733231691048 5044353 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 25622 18951 157 440 0 25178 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111636
[startup+3.10029 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6542
/proc/meminfo: memFree=28332720/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=111876 CPUtime=1.74 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 15293 0 0 0 164 10 0 0 20 0 1 0 273116835 114561024 23374 33554432000 4194304 5992684 140733231697728 140733231691760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 27969 23374 164 440 0 27525 0
[pid=6541] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6541/stat : 6541 (cp2_pre.sh) S 6539 6538 3117 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273117010 9367552 276 33554432000 4194304 5064252 140736945302688 140736945301392 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6541/statm: 2287 276 234 213 0 72 0
[pid=6542] ppid=6541 vsize=319340 CPUtime=1.33 cores=0,2,4,6
/proc/6542/stat : 6542 (coprocessor) R 6541 6538 3117 0 -1 4202496 35021 0 0 0 126 7 0 0 20 0 1 0 273117010 327004160 71319 33554432000 4194304 6586260 140733405954064 140733405950328 5511711 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/6542/statm: 79835 71319 166 584 0 79247 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 449512
[startup+6.30027 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6542
/proc/meminfo: memFree=28047552/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=111876 CPUtime=1.74 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 15293 0 0 0 164 10 0 0 20 0 1 0 273116835 114561024 23374 33554432000 4194304 5992684 140733231697728 140733231691760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 27969 23374 164 440 0 27525 0
[pid=6541] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6541/stat : 6541 (cp2_pre.sh) S 6539 6538 3117 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273117010 9367552 276 33554432000 4194304 5064252 140736945302688 140736945301392 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6541/statm: 2287 276 234 213 0 72 0
[pid=6542] ppid=6541 vsize=363776 CPUtime=4.54 cores=0,2,4,6
/proc/6542/stat : 6542 (coprocessor) R 6541 6538 3117 0 -1 4202496 45388 0 0 0 445 9 0 0 20 0 1 0 273117010 372506624 81686 33554432000 4194304 6586260 140733405954064 140733405949880 4498512 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6542/statm: 90944 81686 170 584 0 90356 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 493948
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6542
/proc/meminfo: memFree=27943548/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=111876 CPUtime=1.74 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 15293 0 0 0 164 10 0 0 20 0 1 0 273116835 114561024 23374 33554432000 4194304 5992684 140733231697728 140733231691760 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 27969 23374 164 440 0 27525 0
[pid=6541] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6541/stat : 6541 (cp2_pre.sh) S 6539 6538 3117 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273117010 9367552 276 33554432000 4194304 5064252 140736945302688 140736945301392 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6541/statm: 2287 276 234 213 0 72 0
[pid=6542] ppid=6541 vsize=439308 CPUtime=10.93 cores=0,2,4,6
/proc/6542/stat : 6542 (coprocessor) R 6541 6538 3117 0 -1 4202496 57470 0 0 0 1079 14 0 0 20 0 1 0 273117010 449851392 106206 33554432000 4194304 6586260 140733405954064 140733405949816 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6542/statm: 109827 106206 198 584 0 109239 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 569480
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 6552
/proc/meminfo: memFree=28175572/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=124240 CPUtime=18.63 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 16836 102260 0 0 212 219 1393 39 20 0 1 0 273116835 127221760 26370 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/6539/statm: 31060 26370 175 440 0 30616 0
[pid=6551] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6551/stat : 6551 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273118714 9367552 267 33554432000 4194304 5064252 140733571107200 140733571106112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6551/statm: 2287 267 226 213 0 72 0
[pid=6552] ppid=6551 vsize=201648 CPUtime=6.7 cores=0,2,4,6
/proc/6552/stat : 6552 (glucose) R 6551 6538 3117 0 -1 4202496 34941 0 0 0 662 8 0 0 20 0 1 0 273118714 206487552 45546 33554432000 4194304 5208918 140733473069552 140733473067400 4229203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6552/statm: 50412 45546 95 248 0 50161 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 344184
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 6573
/proc/meminfo: memFree=28165440/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=46.19 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 20685 228250 0 0 220 220 4087 92 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6572] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6572/stat : 6572 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273121472 9367552 267 33554432000 4194304 5064252 140734762427328 140734762426240 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6572/statm: 2287 267 226 213 0 72 0
[pid=6573] ppid=6572 vsize=201716 CPUtime=4.73 cores=0,2,4,6
/proc/6573/stat : 6573 (glucose) R 6572 6538 3117 0 -1 4202496 34321 0 0 0 466 7 0 0 20 0 1 0 273121472 206557184 45900 33554432000 4194304 5208918 140733544907152 140733544905000 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6573/statm: 50429 45900 95 248 0 50178 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 349820
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 6580
/proc/meminfo: memFree=28158956/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=87.44 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 20750 267999 0 0 220 221 8195 108 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6579] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6579/stat : 6579 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273125596 9367552 267 33554432000 4194304 5064252 140736824000208 140736823999120 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6579/statm: 2287 267 226 213 0 72 0
[pid=6580] ppid=6579 vsize=202844 CPUtime=14.68 cores=0,2,4,6
/proc/6580/stat : 6580 (glucose) R 6579 6538 3117 0 -1 4202496 34958 0 0 0 1462 6 0 0 20 0 1 0 273125596 207712256 46038 33554432000 4194304 5208918 140736313178912 140736313176760 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6580/statm: 50711 46038 100 248 0 50460 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 350948
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28150792/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=205992 CPUtime=35.52 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35025 0 0 0 3545 7 0 0 20 0 1 0 273129512 210935808 47142 33554432000 4194304 5208918 140733403856928 140733403854760 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51498 47142 95 248 0 51247 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 354096
Solver just ended. Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28150792/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=205992 CPUtime=39.62 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35058 0 0 0 3955 7 0 0 20 0 1 0 273129512 210935808 47175 33554432000 4194304 5208918 140733403856928 140733403854760 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51498 47175 95 248 0 51247 0
Current children cumulated CPU time (s) 166.21
Current children cumulated vsize (KiB) 354096
[startup+169.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28148620/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=205992 CPUtime=42.82 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35058 0 0 0 4275 7 0 0 20 0 1 0 273129512 210935808 47175 33554432000 4194304 5208918 140733403856928 140733403854760 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51498 47175 95 248 0 51247 0
Current children cumulated CPU time (s) 169.41
Current children cumulated vsize (KiB) 354096
[startup+172.806 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28156100/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=207788 CPUtime=46.03 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35396 0 0 0 4595 8 0 0 20 0 1 0 273129512 212774912 45251 33554432000 4194304 5208918 140733403856928 140733403854760 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51947 45251 96 248 0 51696 0
Current children cumulated CPU time (s) 172.62
Current children cumulated vsize (KiB) 355892
[startup+173.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28156100/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=207788 CPUtime=46.82 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35396 0 0 0 4674 8 0 0 20 0 1 0 273129512 212774912 45251 33554432000 4194304 5208918 140733403856928 140733403854760 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51947 45251 96 248 0 51696 0
Current children cumulated CPU time (s) 173.41
Current children cumulated vsize (KiB) 355892
[startup+174 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28156100/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=207788 CPUtime=47.22 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35396 0 0 0 4714 8 0 0 20 0 1 0 273129512 212774912 45251 33554432000 4194304 5208918 140733403856928 140733403854760 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51947 45251 96 248 0 51696 0
Current children cumulated CPU time (s) 173.81
Current children cumulated vsize (KiB) 355892
[startup+174.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28156100/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=126.59 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22492 311043 0 0 225 221 12087 126 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231690048 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
[pid=6586] ppid=6539 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6586/stat : 6586 (satsolver.sh) S 6539 6538 3117 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273129512 9367552 266 33554432000 4194304 5064252 140733435601280 140733435600192 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6586/statm: 2287 266 226 213 0 72 0
[pid=6587] ppid=6586 vsize=207788 CPUtime=47.42 cores=0,2,4,6
/proc/6587/stat : 6587 (glucose) R 6586 6538 3117 0 -1 4202496 35396 0 0 0 4734 8 0 0 20 0 1 0 273129512 212774912 45251 33554432000 4194304 5208918 140733403856928 140733403854760 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 51947 45251 96 248 0 51696 0
Current children cumulated CPU time (s) 174.01
Current children cumulated vsize (KiB) 355892
[startup+174.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 6588
/proc/meminfo: memFree=28156100/32873624 swapFree=7104/7104
[pid=6538] ppid=6536 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (npSolver-pbo.sh) S 6536 6538 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273116835 9367552 274 33554432000 4194304 5064252 140733929057248 140733929056160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 274 233 213 0 72 0
[pid=6539] ppid=6538 vsize=129808 CPUtime=174.11 cores=0,2,4,6
/proc/6539/stat : 6539 (npSolver-pbo) S 6538 6538 3117 0 -1 4202496 22501 347045 0 0 225 221 16830 135 20 0 1 0 273116835 132923392 27394 33554432000 4194304 5992684 140733231697728 140733231689536 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/6539/statm: 32452 27394 175 440 0 32008 0
Current children cumulated CPU time (s) 174.11
Current children cumulated vsize (KiB) 138956
Child status: 0
Real time (s): 174.386
CPU time (s): 174.217
CPU user time (s): 170.56
CPU system time (s): 3.65644
CPU usage (%): 99.9031
Max. virtual memory (cumulated for all children) (KiB): 569480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.56
system time used= 3.65644
maximum resident set size= 438412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 887576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4342
involuntary context switches= 295
runsolver used 0.421935 second user time and 0.943856 second system time
The end