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-3714242-1338184984/watcher-3714242-1338184984 -o /tmp/evaluation-result-3714242-1338184984/solver-3714242-1338184984 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714242-1338184984.wbo 2084310452 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.00 2.00 3/179 10517
/proc/meminfo: memFree=31234372/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[startup+0.057348 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10517
/proc/meminfo: memFree=31234372/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10517
/proc/meminfo: memFree=31234372/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301432 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10517
/proc/meminfo: memFree=31234372/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700183 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10517
/proc/meminfo: memFree=31234372/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10538
/proc/meminfo: memFree=31218820/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=1.09 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 2860 18786 0 0 8 2 91 8 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13940
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10545
/proc/meminfo: memFree=31221836/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=1.09 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 2860 18786 0 0 8 2 91 8 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10544] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10544/stat : 10544 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284623951 9367552 267 33554432000 4194304 5064252 140735220942736 140735220941648 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10544/statm: 2287 267 226 213 0 72 0
[pid=10545] ppid=10544 vsize=11096 CPUtime=1.97 cores=1,3,5,7
/proc/10545/stat : 10545 (glucose) R 10544 10517 6342 0 -1 4202496 2594 0 0 0 197 0 0 0 20 0 1 0 284623951 11362304 2370 33554432000 4194304 5208918 140735394823520 140735394821480 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 2774 2370 106 248 0 2523 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34184
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10545
/proc/meminfo: memFree=31212272/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=1.09 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 2860 18786 0 0 8 2 91 8 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10544] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10544/stat : 10544 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284623951 9367552 267 33554432000 4194304 5064252 140735220942736 140735220941648 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10544/statm: 2287 267 226 213 0 72 0
[pid=10545] ppid=10544 vsize=15448 CPUtime=5.16 cores=1,3,5,7
/proc/10545/stat : 10545 (glucose) R 10544 10517 6342 0 -1 4202496 3259 0 0 0 516 0 0 0 20 0 1 0 284623951 15818752 3501 33554432000 4194304 5208918 140735394823520 140735394821384 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 3862 3501 106 248 0 3611 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 38536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10545
/proc/meminfo: memFree=31209504/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=1.09 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 2860 18786 0 0 8 2 91 8 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10544] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10544/stat : 10544 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284623951 9367552 267 33554432000 4194304 5064252 140735220942736 140735220941648 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10544/statm: 2287 267 226 213 0 72 0
[pid=10545] ppid=10544 vsize=15448 CPUtime=11.56 cores=1,3,5,7
/proc/10545/stat : 10545 (glucose) R 10544 10517 6342 0 -1 4202496 3259 0 0 0 1156 0 0 0 20 0 1 0 284623951 15818752 3501 33554432000 4194304 5208918 140735394823520 140735394819832 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 3862 3501 106 248 0 3611 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 38536
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10559
/proc/meminfo: memFree=31262268/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=25.08 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3161 33468 0 0 8 2 2485 13 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10558] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10558/stat : 10558 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626349 9367552 266 33554432000 4194304 5064252 140734177988464 140734177987376 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10558/statm: 2287 266 226 213 0 72 0
[pid=10559] ppid=10558 vsize=6984 CPUtime=0.39 cores=1,3,5,7
/proc/10559/stat : 10559 (glucose) R 10558 10517 6342 0 -1 4202496 1734 0 0 0 39 0 0 0 20 0 1 0 284626349 7151616 1281 33554432000 4194304 5208918 140733365491968 140733365489816 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10559/statm: 1746 1281 103 248 0 1495 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30072
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10587
/proc/meminfo: memFree=31220740/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=45.57 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3726 60099 0 0 9 3 4526 19 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10586] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284628401 9367552 266 33554432000 4194304 5064252 140735853182000 140735853180912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10586/statm: 2287 266 226 213 0 72 0
[pid=10587] ppid=10586 vsize=15532 CPUtime=5.46 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10517 6342 0 -1 4202496 3395 0 0 0 546 0 0 0 20 0 1 0 284628401 15904768 3147 33554432000 4194304 5208918 140735675334848 140735675331224 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10587/statm: 3883 3147 105 248 0 3632 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 38620
Solver just ended. Dumping a history of the last processes samples
[startup+52.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10587
/proc/meminfo: memFree=31217328/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=45.57 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3726 60099 0 0 9 3 4526 19 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10586] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284628401 9367552 266 33554432000 4194304 5064252 140735853182000 140735853180912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10586/statm: 2287 266 226 213 0 72 0
[pid=10587] ppid=10586 vsize=15532 CPUtime=7.07 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10517 6342 0 -1 4202496 3585 0 0 0 707 0 0 0 20 0 1 0 284628401 15904768 3331 33554432000 4194304 5208918 140735675334848 140735675332712 4211518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10587/statm: 3883 3331 105 248 0 3632 0
Current children cumulated CPU time (s) 52.64
Current children cumulated vsize (KiB) 38620
[startup+53.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10587
/proc/meminfo: memFree=31217328/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=45.57 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3726 60099 0 0 9 3 4526 19 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10586] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284628401 9367552 266 33554432000 4194304 5064252 140735853182000 140735853180912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10586/statm: 2287 266 226 213 0 72 0
[pid=10587] ppid=10586 vsize=15532 CPUtime=7.86 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10517 6342 0 -1 4202496 3585 0 0 0 786 0 0 0 20 0 1 0 284628401 15904768 3331 33554432000 4194304 5208918 140735675334848 140735675331160 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10587/statm: 3883 3331 105 248 0 3632 0
Current children cumulated CPU time (s) 53.43
Current children cumulated vsize (KiB) 38620
[startup+54.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10587
/proc/meminfo: memFree=31217204/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=45.57 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3726 60099 0 0 9 3 4526 19 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10586] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284628401 9367552 266 33554432000 4194304 5064252 140735853182000 140735853180912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10586/statm: 2287 266 226 213 0 72 0
[pid=10587] ppid=10586 vsize=15532 CPUtime=8.66 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10517 6342 0 -1 4202496 3585 0 0 0 866 0 0 0 20 0 1 0 284628401 15904768 3331 33554432000 4194304 5208918 140735675334848 140735675331160 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10587/statm: 3883 3331 105 248 0 3632 0
Current children cumulated CPU time (s) 54.23
Current children cumulated vsize (KiB) 38620
[startup+54.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10587
/proc/meminfo: memFree=31217204/32873648 swapFree=7116/7116
[pid=10517] ppid=10515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10517/stat : 10517 (npSolver-wbo-I.) S 10515 10517 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284623839 9367552 274 33554432000 4194304 5064252 140734639152288 140734639151200 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10517/statm: 2287 274 233 213 0 72 0
[pid=10518] ppid=10517 vsize=4792 CPUtime=45.57 cores=1,3,5,7
/proc/10518/stat : 10518 (npSolver-wbo) S 10517 10517 6342 0 -1 4202496 3726 60099 0 0 9 3 4526 19 20 0 1 0 284623839 4907008 840 33554432000 4194304 5990268 140736239014608 140736239006048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10518/statm: 1198 840 160 439 0 755 0
[pid=10586] ppid=10518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10586/stat : 10586 (satsolver.sh) S 10518 10517 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284628401 9367552 266 33554432000 4194304 5064252 140735853182000 140735853180912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10586/statm: 2287 266 226 213 0 72 0
[pid=10587] ppid=10586 vsize=15532 CPUtime=9.06 cores=1,3,5,7
/proc/10587/stat : 10587 (glucose) R 10586 10517 6342 0 -1 4202496 3648 0 0 0 906 0 0 0 20 0 1 0 284628401 15904768 3392 33554432000 4194304 5208918 140735675334848 140735675331160 4231478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10587/statm: 3883 3392 105 248 0 3632 0
Current children cumulated CPU time (s) 54.63
Current children cumulated vsize (KiB) 38620
Child status: 0
Real time (s): 54.7691
CPU time (s): 54.7327
CPU user time (s): 54.4837
CPU system time (s): 0.248962
CPU usage (%): 99.9336
Max. virtual memory (cumulated for all children) (KiB): 47640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.4837
system time used= 0.248962
maximum resident set size= 20864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 174
runsolver used 0.122981 second user time and 0.292955 second system time
The end