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-3755325-1339193776/watcher-3755325-1339193776 -o /tmp/evaluation-result-3755325-1339193776/solver-3755325-1339193776 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755325-1339193776.wbo 293433591 HOME HOME
running on 4 cores: 1,3,5,7
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.00 2.02 2.00 3/179 24362
/proc/meminfo: memFree=30309632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[startup+0.0862949 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24362
/proc/meminfo: memFree=30309632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24362
/proc/meminfo: memFree=30309632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300237 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24362
/proc/meminfo: memFree=30309632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24362
/proc/meminfo: memFree=30309632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24369
/proc/meminfo: memFree=30300544/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=3092 CPUtime=0.15 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 1448 2700 0 0 1 0 14 0 20 0 1 0 385506192 3166208 378 33554432000 4194304 6006132 140737443469056 140737443463248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24363/statm: 773 378 158 443 0 326 0
[pid=24368] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24368/stat : 24368 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385506210 9367552 267 33554432000 4194304 5064252 140734372223296 140734372222208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24368/statm: 2287 267 226 213 0 72 0
[pid=24369] ppid=24368 vsize=12776 CPUtime=1.3 cores=1,3,5,7
/proc/24369/stat : 24369 (glucose) R 24368 24362 22170 0 -1 4202496 2923 0 0 0 130 0 0 0 20 0 1 0 385506210 13082624 1750 33554432000 4194304 5208918 140734131661152 140734131659000 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24369/statm: 3194 1750 96 248 0 2943 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34164
[startup+3.10034 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24369
/proc/meminfo: memFree=30291984/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=3092 CPUtime=0.15 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 1448 2700 0 0 1 0 14 0 20 0 1 0 385506192 3166208 378 33554432000 4194304 6006132 140737443469056 140737443463248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24363/statm: 773 378 158 443 0 326 0
[pid=24368] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24368/stat : 24368 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385506210 9367552 267 33554432000 4194304 5064252 140734372223296 140734372222208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24368/statm: 2287 267 226 213 0 72 0
[pid=24369] ppid=24368 vsize=17128 CPUtime=2.91 cores=1,3,5,7
/proc/24369/stat : 24369 (glucose) R 24368 24362 22170 0 -1 4202496 3748 0 0 0 290 1 0 0 20 0 1 0 385506210 17539072 3587 33554432000 4194304 5208918 140734131661152 140734131659096 4240137 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24369/statm: 4282 3587 96 248 0 4031 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38516
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24369
/proc/meminfo: memFree=30278148/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=3092 CPUtime=0.15 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 1448 2700 0 0 1 0 14 0 20 0 1 0 385506192 3166208 378 33554432000 4194304 6006132 140737443469056 140737443463248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24363/statm: 773 378 158 443 0 326 0
[pid=24368] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24368/stat : 24368 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385506210 9367552 267 33554432000 4194304 5064252 140734372223296 140734372222208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24368/statm: 2287 267 226 213 0 72 0
[pid=24369] ppid=24368 vsize=15496 CPUtime=6.1 cores=1,3,5,7
/proc/24369/stat : 24369 (glucose) R 24368 24362 22170 0 -1 4202496 4885 0 0 0 609 1 0 0 20 0 1 0 385506210 15867904 3345 33554432000 4194304 5208918 140734131661152 140734131659016 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24369/statm: 3874 3345 96 248 0 3623 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36884
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24376
/proc/meminfo: memFree=30233756/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=9.79 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 2931 12076 0 0 5 2 969 3 20 0 1 0 385506192 11493376 2210 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2210 167 443 0 2359 0
[pid=24375] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24375/stat : 24375 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385507174 9367552 266 33554432000 4194304 5064252 140734581656464 140734581655376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24375/statm: 2287 266 226 213 0 72 0
[pid=24376] ppid=24375 vsize=32044 CPUtime=2.85 cores=1,3,5,7
/proc/24376/stat : 24376 (glucose) R 24375 24362 22170 0 -1 4202496 6119 0 0 0 284 1 0 0 20 0 1 0 385507175 32813056 6696 33554432000 4194304 5208918 140733343844528 140733343842376 4545529 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24376/statm: 8011 6696 96 248 0 7760 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 61564
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24376
/proc/meminfo: memFree=30193728/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=9.79 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 2931 12076 0 0 5 2 969 3 20 0 1 0 385506192 11493376 2210 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2210 167 443 0 2359 0
[pid=24375] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24375/stat : 24375 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385507174 9367552 266 33554432000 4194304 5064252 140734581656464 140734581655376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24375/statm: 2287 266 226 213 0 72 0
[pid=24376] ppid=24375 vsize=43540 CPUtime=15.65 cores=1,3,5,7
/proc/24376/stat : 24376 (glucose) R 24375 24362 22170 0 -1 4202496 7711 0 0 0 1563 2 0 0 20 0 1 0 385507175 44584960 10294 33554432000 4194304 5208918 140733343844528 140733343842392 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24376/statm: 10885 10294 96 248 0 10634 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 73060
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24384
/proc/meminfo: memFree=30252472/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=33.88 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 3831 23933 0 0 7 3 3366 12 20 0 1 0 385506192 11493376 2210 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2210 167 443 0 2359 0
[pid=24382] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24382/stat : 24382 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385509582 9367552 267 33554432000 4194304 5064252 140736852748448 140736852747360 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24382/statm: 2287 267 226 213 0 72 0
[pid=24383] ppid=24382 vsize=30384 CPUtime=17.18 cores=1,3,5,7
/proc/24383/stat : 24383 (glucose) R 24382 24362 22170 0 -1 4202496 5214 0 0 0 1717 1 0 0 20 0 1 0 385509582 31113216 7184 33554432000 4194304 5208918 140733749504800 140733749502664 4205263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24383/statm: 7596 7184 96 248 0 7345 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59904
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24391
/proc/meminfo: memFree=30238632/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=56.56 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4264 32332 0 0 7 3 5628 18 20 0 1 0 385506192 11493376 2210 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2210 167 443 0 2359 0
[pid=24390] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24390/stat : 24390 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511851 9367552 267 33554432000 4194304 5064252 140734912694400 140734912693312 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24390/statm: 2287 267 226 213 0 72 0
[pid=24391] ppid=24390 vsize=20260 CPUtime=7.3 cores=1,3,5,7
/proc/24391/stat : 24391 (glucose) R 24390 24362 22170 0 -1 4202496 4843 0 0 0 729 1 0 0 20 0 1 0 385511851 20746240 4563 33554432000 4194304 5208918 140735247038368 140735247036232 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24391/statm: 5065 4563 96 248 0 4814 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 49780
[startup+76.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24391
/proc/meminfo: memFree=30214176/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=56.56 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4264 32332 0 0 7 3 5628 18 20 0 1 0 385506192 11493376 2210 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2210 167 443 0 2359 0
[pid=24390] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24390/stat : 24390 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385511851 9367552 267 33554432000 4194304 5064252 140734912694400 140734912693312 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24390/statm: 2287 267 226 213 0 72 0
[pid=24391] ppid=24390 vsize=29132 CPUtime=20.09 cores=1,3,5,7
/proc/24391/stat : 24391 (glucose) R 24390 24362 22170 0 -1 4202496 6353 0 0 0 2007 2 0 0 20 0 1 0 385511851 29831168 6286 33554432000 4194304 5208918 140735247038368 140735247036312 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24391/statm: 7283 6286 96 248 0 7032 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 58652
[startup+79.9003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30229684/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=9400 CPUtime=1.91 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 2625 0 0 0 191 0 0 0 20 0 1 0 385513989 9625600 1837 33554432000 4194304 5208918 140735994192160 140735994190104 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 2350 1837 96 248 0 2099 0
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (KiB) 38920
[startup+83.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30343132/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=14972 CPUtime=5.1 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 4018 0 0 0 510 0 0 0 20 0 1 0 385513989 15331328 3177 33554432000 4194304 5208918 140735994192160 140735994190024 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 3743 3177 96 248 0 3492 0
Current children cumulated CPU time (s) 83.04
Current children cumulated vsize (KiB) 44492
[startup+84.707 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30331716/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=14972 CPUtime=6.71 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 4152 0 0 0 671 0 0 0 20 0 1 0 385513989 15331328 3307 33554432000 4194304 5208918 140735994192160 140735994190024 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 3743 3307 102 248 0 3492 0
Current children cumulated CPU time (s) 84.65
Current children cumulated vsize (KiB) 44492
[startup+85.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30331716/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=14972 CPUtime=7.1 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 4152 0 0 0 710 0 0 0 20 0 1 0 385513989 15331328 3307 33554432000 4194304 5208918 140735994192160 140735994190024 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 3743 3307 102 248 0 3492 0
Current children cumulated CPU time (s) 85.04
Current children cumulated vsize (KiB) 44492
[startup+85.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30331716/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=14972 CPUtime=7.5 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 4152 0 0 0 750 0 0 0 20 0 1 0 385513989 15331328 3307 33554432000 4194304 5208918 140735994192160 140735994190024 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 3743 3307 102 248 0 3492 0
Current children cumulated CPU time (s) 85.44
Current children cumulated vsize (KiB) 44492
[startup+85.6003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24398
/proc/meminfo: memFree=30331716/32873844 swapFree=7636/7636
[pid=24362] ppid=24360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24362/stat : 24362 (npSolver-wbo.sh) S 24360 24362 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385506191 9367552 275 33554432000 4194304 5064252 140736611198608 140736611197520 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24362/statm: 2287 275 233 213 0 72 0
[pid=24363] ppid=24362 vsize=11224 CPUtime=77.94 cores=1,3,5,7
/proc/24363/stat : 24363 (npSolver-wbo) S 24362 24362 22170 0 -1 4202496 4347 42353 0 0 7 3 7762 22 20 0 1 0 385506192 11493376 2212 33554432000 4194304 6006132 140737443469056 140737443460464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24363/statm: 2806 2212 169 443 0 2359 0
[pid=24397] ppid=24363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24397/stat : 24397 (satsolver.sh) S 24363 24362 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513989 9367552 267 33554432000 4194304 5064252 140735639644064 140735639642976 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24397/statm: 2287 267 226 213 0 72 0
[pid=24398] ppid=24397 vsize=14972 CPUtime=7.6 cores=1,3,5,7
/proc/24398/stat : 24398 (glucose) R 24397 24362 22170 0 -1 4202496 4152 0 0 0 760 0 0 0 20 0 1 0 385513989 15331328 3307 33554432000 4194304 5208918 140735994192160 140735994190024 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24398/statm: 3743 3307 102 248 0 3492 0
Current children cumulated CPU time (s) 85.54
Current children cumulated vsize (KiB) 44492
Child status: 0
Real time (s): 85.6826
CPU time (s): 85.665
CPU user time (s): 85.385
CPU system time (s): 0.279957
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 80240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.385
system time used= 0.279957
maximum resident set size= 47796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260
involuntary context switches= 145
runsolver used 0.145977 second user time and 0.408937 second system time
The end