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-3714244-1338185327/watcher-3714244-1338185327 -o /tmp/evaluation-result-3714244-1338185327/solver-3714244-1338185327 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714244-1338185327.wbo 197710871 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 11620
/proc/meminfo: memFree=31215676/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[startup+0.0946209 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11620
/proc/meminfo: memFree=31215676/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100194 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11620
/proc/meminfo: memFree=31215676/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300114 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11620
/proc/meminfo: memFree=31215676/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11620
/proc/meminfo: memFree=31215676/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11641
/proc/meminfo: memFree=31194660/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=1.2 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4081 22602 0 0 12 2 94 12 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 17080
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11655
/proc/meminfo: memFree=31202868/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=2.84 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4387 34012 0 0 12 2 254 16 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 17080
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11662
/proc/meminfo: memFree=31199580/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=2.84 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4387 34012 0 0 12 2 254 16 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11661] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11661/stat : 11661 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284658429 9367552 266 33554432000 4194304 5064252 140736454994848 140736454993760 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11661/statm: 2287 266 226 213 0 72 0
[pid=11662] ppid=11661 vsize=10028 CPUtime=3.42 cores=1,3,5,7
/proc/11662/stat : 11662 (glucose) R 11661 11620 6342 0 -1 4202496 2901 0 0 0 342 0 0 0 20 0 1 0 284658430 10268672 2151 33554432000 4194304 5208918 140735855914576 140735855912440 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11662/statm: 2507 2151 103 248 0 2256 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 36256
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11662
/proc/meminfo: memFree=31249668/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=12.34 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4481 41172 0 0 13 2 1202 17 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 17080
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11676
/proc/meminfo: memFree=31216004/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=19.26 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4541 47719 0 0 13 2 1893 18 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11675] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11675/stat : 11675 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660072 9367552 266 33554432000 4194304 5064252 140735188570816 140735188569728 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11675/statm: 2287 266 226 213 0 72 0
[pid=11676] ppid=11675 vsize=12376 CPUtime=6.19 cores=1,3,5,7
/proc/11676/stat : 11676 (glucose) R 11675 11620 6342 0 -1 4202496 2792 0 0 0 619 0 0 0 20 0 1 0 284660072 12673024 2638 33554432000 4194304 5208918 140735234638144 140735234636088 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11676/statm: 3094 2638 103 248 0 2843 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 38604
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11683
/proc/meminfo: memFree=31214652/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=26.25 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4603 54080 0 0 13 3 2590 19 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11682] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11682/stat : 11682 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284660770 9367552 266 33554432000 4194304 5064252 140736997953088 140736997952000 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11682/statm: 2287 266 226 213 0 72 0
[pid=11683] ppid=11682 vsize=12656 CPUtime=5.62 cores=1,3,5,7
/proc/11683/stat : 11683 (glucose) R 11682 11620 6342 0 -1 4202496 3175 0 0 0 562 0 0 0 20 0 1 0 284660770 12959744 2509 33554432000 4194304 5208918 140733829154320 140733829152264 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11683/statm: 3164 2509 103 248 0 2913 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 38884
[startup+33.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11690
/proc/meminfo: memFree=31221216/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=32.7 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4667 60313 0 0 13 3 3233 21 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11689] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11689/stat : 11689 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284661415 9367552 267 33554432000 4194304 5064252 140736061556800 140736061555712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11689/statm: 2287 267 226 213 0 72 0
[pid=11690] ppid=11689 vsize=7288 CPUtime=0.77 cores=1,3,5,7
/proc/11690/stat : 11690 (glucose) R 11689 11620 6342 0 -1 4202496 2064 0 0 0 77 0 0 0 20 0 1 0 284661415 7462912 1321 33554432000 4194304 5208918 140735983588608 140735983586760 4229264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11690/statm: 1822 1321 102 248 0 1571 0
Current children cumulated CPU time (s) 33.47
Current children cumulated vsize (KiB) 33516
[startup+34.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11690
/proc/meminfo: memFree=31219116/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=32.7 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4667 60313 0 0 13 3 3233 21 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11689] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11689/stat : 11689 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284661415 9367552 267 33554432000 4194304 5064252 140736061556800 140736061555712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11689/statm: 2287 267 226 213 0 72 0
[pid=11690] ppid=11689 vsize=9968 CPUtime=1.57 cores=1,3,5,7
/proc/11690/stat : 11690 (glucose) R 11689 11620 6342 0 -1 4202496 2632 0 0 0 157 0 0 0 20 0 1 0 284661415 10207232 1850 33554432000 4194304 5208918 140735983588608 140735983586552 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11690/statm: 2492 1850 103 248 0 2241 0
Current children cumulated CPU time (s) 34.27
Current children cumulated vsize (KiB) 36196
[startup+34.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11690
/proc/meminfo: memFree=31219116/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=32.7 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4667 60313 0 0 13 3 3233 21 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11689] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11689/stat : 11689 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284661415 9367552 267 33554432000 4194304 5064252 140736061556800 140736061555712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11689/statm: 2287 267 226 213 0 72 0
[pid=11690] ppid=11689 vsize=12644 CPUtime=1.97 cores=1,3,5,7
/proc/11690/stat : 11690 (glucose) R 11689 11620 6342 0 -1 4202496 2744 0 0 0 197 0 0 0 20 0 1 0 284661415 12947456 2471 33554432000 4194304 5208918 140735983588608 140735983586552 4212878 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11690/statm: 3161 2471 103 248 0 2910 0
Current children cumulated CPU time (s) 34.67
Current children cumulated vsize (KiB) 38872
[startup+34.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11690
/proc/meminfo: memFree=31219116/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=32.7 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4667 60313 0 0 13 3 3233 21 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11689] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11689/stat : 11689 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284661415 9367552 267 33554432000 4194304 5064252 140736061556800 140736061555712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11689/statm: 2287 267 226 213 0 72 0
[pid=11690] ppid=11689 vsize=12644 CPUtime=2.16 cores=1,3,5,7
/proc/11690/stat : 11690 (glucose) R 11689 11620 6342 0 -1 4202496 2808 0 0 0 216 0 0 0 20 0 1 0 284661415 12947456 2533 33554432000 4194304 5208918 140735983588608 140735983586552 4213236 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11690/statm: 3161 2533 103 248 0 2910 0
Current children cumulated CPU time (s) 34.86
Current children cumulated vsize (KiB) 38872
[startup+35.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11690
/proc/meminfo: memFree=31219116/32873648 swapFree=7116/7116
[pid=11620] ppid=11618 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11620/stat : 11620 (npSolver-wbo-I.) S 11618 11620 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284658142 9367552 275 33554432000 4194304 5064252 140734123184384 140734123183296 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11620/statm: 2287 275 233 213 0 72 0
[pid=11621] ppid=11620 vsize=7932 CPUtime=32.7 cores=1,3,5,7
/proc/11621/stat : 11621 (npSolver-wbo) S 11620 11620 6342 0 -1 4202496 4667 60313 0 0 13 3 3233 21 20 0 1 0 284658143 8122368 1271 33554432000 4194304 5990268 140737396078688 140737396070128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11621/statm: 1983 1271 160 439 0 1540 0
[pid=11689] ppid=11621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11689/stat : 11689 (satsolver.sh) S 11621 11620 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284661415 9367552 267 33554432000 4194304 5064252 140736061556800 140736061555712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11689/statm: 2287 267 226 213 0 72 0
[pid=11690] ppid=11689 vsize=12644 CPUtime=2.26 cores=1,3,5,7
/proc/11690/stat : 11690 (glucose) R 11689 11620 6342 0 -1 4202496 2836 0 0 0 226 0 0 0 20 0 1 0 284661415 12947456 2559 33554432000 4194304 5208918 140735983588608 140735983586552 4229731 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11690/statm: 3161 2559 103 248 0 2910 0
Current children cumulated CPU time (s) 34.96
Current children cumulated vsize (KiB) 38872
Child status: 0
Real time (s): 35.0352
CPU time (s): 35.0257
CPU user time (s): 34.7567
CPU system time (s): 0.268959
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 42392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.7567
system time used= 0.268959
maximum resident set size= 23092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 156
runsolver used 0.159975 second user time and 0.272958 second system time
The end