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-3755342-1339193978/watcher-3755342-1339193978 -o /tmp/evaluation-result-3755342-1339193978/solver-3755342-1339193978 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755342-1339193978.wbo 1646559126 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.05 2.03 2.00 3/179 24614
/proc/meminfo: memFree=30448512/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[startup+0.068273 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24614
/proc/meminfo: memFree=30448512/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100174 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24614
/proc/meminfo: memFree=30448512/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300116 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24614
/proc/meminfo: memFree=30448512/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70011 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 24614
/proc/meminfo: memFree=30448512/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24621
/proc/meminfo: memFree=30440812/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 1448 2717 0 0 1 0 14 0 20 0 1 0 385526360 3166208 378 33554432000 4194304 6006132 140733794768336 140733794762528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24615/statm: 773 378 158 443 0 326 0
[pid=24620] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24620/stat : 24620 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385526378 9367552 266 33554432000 4194304 5064252 140735510302656 140735510301568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24620/statm: 2287 266 226 213 0 72 0
[pid=24621] ppid=24620 vsize=12728 CPUtime=1.3 cores=0,2,4,6
/proc/24621/stat : 24621 (glucose) R 24620 24614 22170 0 -1 4202496 2604 0 0 0 130 0 0 0 20 0 1 0 385526378 13033472 2229 33554432000 4194304 5208918 140733418571248 140733418569192 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24621/statm: 3182 2229 96 248 0 2931 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34116
[startup+3.10029 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24621
/proc/meminfo: memFree=30430460/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 1448 2717 0 0 1 0 14 0 20 0 1 0 385526360 3166208 378 33554432000 4194304 6006132 140733794768336 140733794762528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24615/statm: 773 378 158 443 0 326 0
[pid=24620] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24620/stat : 24620 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385526378 9367552 266 33554432000 4194304 5064252 140735510302656 140735510301568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24620/statm: 2287 266 226 213 0 72 0
[pid=24621] ppid=24620 vsize=12728 CPUtime=2.9 cores=0,2,4,6
/proc/24621/stat : 24621 (glucose) R 24620 24614 22170 0 -1 4202496 3142 0 0 0 290 0 0 0 20 0 1 0 385526378 13033472 2763 33554432000 4194304 5208918 140733418571248 140733418569192 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24621/statm: 3182 2763 96 248 0 2931 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 34116
[startup+6.30029 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24621
/proc/meminfo: memFree=30421404/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 1448 2717 0 0 1 0 14 0 20 0 1 0 385526360 3166208 378 33554432000 4194304 6006132 140733794768336 140733794762528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24615/statm: 773 378 158 443 0 326 0
[pid=24620] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24620/stat : 24620 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385526378 9367552 266 33554432000 4194304 5064252 140735510302656 140735510301568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24620/statm: 2287 266 226 213 0 72 0
[pid=24621] ppid=24620 vsize=15448 CPUtime=6.1 cores=0,2,4,6
/proc/24621/stat : 24621 (glucose) R 24620 24614 22170 0 -1 4202496 3839 0 0 0 610 0 0 0 20 0 1 0 385526378 15818752 3433 33554432000 4194304 5208918 140733418571248 140733418569112 4229504 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24621/statm: 3862 3433 96 248 0 3611 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36836
[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24621
/proc/meminfo: memFree=30409636/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=3092 CPUtime=0.15 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 1448 2717 0 0 1 0 14 0 20 0 1 0 385526360 3166208 378 33554432000 4194304 6006132 140733794768336 140733794762528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24615/statm: 773 378 158 443 0 326 0
[pid=24620] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24620/stat : 24620 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385526378 9367552 266 33554432000 4194304 5064252 140735510302656 140735510301568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24620/statm: 2287 266 226 213 0 72 0
[pid=24621] ppid=24620 vsize=25956 CPUtime=12.5 cores=0,2,4,6
/proc/24621/stat : 24621 (glucose) R 24620 24614 22170 0 -1 4202496 5501 0 0 0 1249 1 0 0 20 0 1 0 385526378 26578944 5663 33554432000 4194304 5208918 140733418571248 140733418569112 4229347 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24621/statm: 6489 5663 96 248 0 6238 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 47344
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 24638
/proc/meminfo: memFree=30361616/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=13.82 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2838 11105 0 0 6 3 1371 2 20 0 1 0 385526360 11542528 2121 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2121 167 443 0 2371 0
[pid=24627] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24627/stat : 24627 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385527744 9367552 267 33554432000 4194304 5064252 140734574527808 140734574526720 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24627/statm: 2287 267 226 213 0 72 0
[pid=24628] ppid=24627 vsize=49644 CPUtime=11.64 cores=0,2,4,6
/proc/24628/stat : 24628 (glucose) R 24627 24614 22170 0 -1 4202496 9192 0 0 0 1162 2 0 0 20 0 1 0 385527744 50835456 11594 33554432000 4194304 5208918 140736956310112 140736956308056 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24628/statm: 12411 11594 96 248 0 12160 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79212
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 24638
/proc/meminfo: memFree=30350704/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
Current children cumulated CPU time (s) 37.51
Current children cumulated vsize (KiB) 20420
[startup+41.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24645
/proc/meminfo: memFree=30398848/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
[pid=24644] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24644/stat : 24644 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385530114 9367552 267 33554432000 4194304 5064252 140733774479104 140733774478016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=12180 CPUtime=3.95 cores=0,2,4,6
/proc/24645/stat : 24645 (glucose) R 24644 24614 22170 0 -1 4202496 3090 0 0 0 395 0 0 0 20 0 1 0 385530114 12472320 2359 33554432000 4194304 5208918 140735121612128 140735121610072 4212856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24645/statm: 3045 2359 96 248 0 2794 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 41748
[startup+44.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24645
/proc/meminfo: memFree=30395624/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
[pid=24644] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24644/stat : 24644 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385530114 9367552 267 33554432000 4194304 5064252 140733774479104 140733774478016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=14856 CPUtime=7.14 cores=0,2,4,6
/proc/24645/stat : 24645 (glucose) R 24644 24614 22170 0 -1 4202496 4036 0 0 0 714 0 0 0 20 0 1 0 385530114 15212544 3266 33554432000 4194304 5208918 140735121612128 140735121609992 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24645/statm: 3714 3266 96 248 0 3463 0
Current children cumulated CPU time (s) 44.65
Current children cumulated vsize (KiB) 44424
[startup+45.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24645
/proc/meminfo: memFree=30394880/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
[pid=24644] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24644/stat : 24644 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385530114 9367552 267 33554432000 4194304 5064252 140733774479104 140733774478016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=14856 CPUtime=7.94 cores=0,2,4,6
/proc/24645/stat : 24645 (glucose) R 24644 24614 22170 0 -1 4202496 4036 0 0 0 794 0 0 0 20 0 1 0 385530114 15212544 3266 33554432000 4194304 5208918 140735121612128 140735121609992 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24645/statm: 3714 3266 96 248 0 3463 0
Current children cumulated CPU time (s) 45.45
Current children cumulated vsize (KiB) 44424
[startup+45.9003 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24645
/proc/meminfo: memFree=30394880/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
[pid=24644] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24644/stat : 24644 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385530114 9367552 267 33554432000 4194304 5064252 140733774479104 140733774478016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=14856 CPUtime=8.34 cores=0,2,4,6
/proc/24645/stat : 24645 (glucose) R 24644 24614 22170 0 -1 4202496 4066 0 0 0 834 0 0 0 20 0 1 0 385530114 15212544 3295 33554432000 4194304 5208918 140735121612128 140735121609992 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24645/statm: 3714 3295 96 248 0 3463 0
Current children cumulated CPU time (s) 45.85
Current children cumulated vsize (KiB) 44424
[startup+46.3003 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24645
/proc/meminfo: memFree=30386692/32873844 swapFree=7636/7636
[pid=24614] ppid=24612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24614/stat : 24614 (npSolver-wbo.sh) S 24612 24614 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385526359 9367552 275 33554432000 4194304 5064252 140733805463328 140733805462240 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24614/statm: 2287 275 233 213 0 72 0
[pid=24615] ppid=24614 vsize=11272 CPUtime=37.51 cores=0,2,4,6
/proc/24615/stat : 24615 (npSolver-wbo) S 24614 24614 22170 0 -1 4202496 2922 24964 0 0 6 3 3730 12 20 0 1 0 385526360 11542528 2123 33554432000 4194304 6006132 140733794768336 140733794759744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24615/statm: 2818 2123 169 443 0 2371 0
[pid=24644] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24644/stat : 24644 (satsolver.sh) S 24615 24614 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385530114 9367552 267 33554432000 4194304 5064252 140733774479104 140733774478016 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=17576 CPUtime=8.74 cores=0,2,4,6
/proc/24645/stat : 24645 (glucose) R 24644 24614 22170 0 -1 4202496 4721 0 0 0 874 0 0 0 20 0 1 0 385530114 17997824 3934 33554432000 4194304 5208918 140735121612128 140735121609976 4216431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24645/statm: 4394 3934 96 248 0 4143 0
Current children cumulated CPU time (s) 46.25
Current children cumulated vsize (KiB) 47144
Child status: 0
Real time (s): 46.3174
CPU time (s): 46.295
CPU user time (s): 46.124
CPU system time (s): 0.170974
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 86396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.124
system time used= 0.170974
maximum resident set size= 54444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 154
runsolver used 0.079987 second user time and 0.184971 second system time
The end