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-3751589-1339166330/watcher-3751589-1339166330 -o /tmp/evaluation-result-3751589-1339166330/solver-3751589-1339166330 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751589-1339166330.opb 896187075 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.15 2.03 1.95 3/178 26240
/proc/meminfo: memFree=23245324/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[startup+0.02545 s]
/proc/loadavg: 2.15 2.03 1.95 3/178 26240
/proc/meminfo: memFree=23245324/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.15 2.03 1.95 3/178 26240
/proc/meminfo: memFree=23245324/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 2.15 2.03 1.95 3/178 26240
/proc/meminfo: memFree=23245324/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700301 s]
/proc/loadavg: 2.15 2.03 1.95 3/178 26240
/proc/meminfo: memFree=23245324/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.15 2.03 1.95 3/180 26242
/proc/meminfo: memFree=23213992/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=176980 CPUtime=1.49 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 8496 0 0 0 141 8 0 0 20 0 1 0 382758574 181227520 33920 33554432000 4194304 6004724 140737071612112 140737071607992 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 44245 33920 130 442 0 43799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186128
[startup+3.10036 s]
/proc/loadavg: 2.15 2.03 1.95 3/180 26242
/proc/meminfo: memFree=23106888/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=234744 CPUtime=3.09 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 22041 0 0 0 298 11 0 0 20 0 1 0 382758574 240377856 47465 33554432000 4194304 6004724 140737071612112 140737071608136 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 58686 47465 130 442 0 58240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243892
[startup+6.30036 s]
/proc/loadavg: 2.14 2.03 1.95 3/180 26242
/proc/meminfo: memFree=22937620/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=405280 CPUtime=6.28 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 58541 0 0 0 609 19 0 0 20 0 1 0 382758574 415006720 87031 33554432000 4194304 6004724 140737071612112 140737071608136 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 101320 87031 130 442 0 100874 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 414428
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 1.95 3/180 26242
/proc/meminfo: memFree=22629840/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=728252 CPUtime=12.69 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 131371 0 0 0 1235 34 0 0 20 0 1 0 382758574 745730048 161394 33554432000 4194304 6004724 140737071612112 140737071608136 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 182063 161394 130 442 0 181617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 737400
[startup+25.5004 s]
/proc/loadavg: 2.18 2.04 1.96 3/181 26284
/proc/meminfo: memFree=20134620/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=2038668 CPUtime=25.49 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 331948 0 0 0 2468 81 0 0 20 0 1 0 382758574 2087596032 470610 33554432000 4194304 6004724 140737071612112 140737071604920 4581181 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 509667 470610 137 442 0 509221 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2047816
[startup+51.1003 s]
/proc/loadavg: 2.12 2.04 1.96 3/181 26284
/proc/meminfo: memFree=17265068/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3611532 CPUtime=51.08 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4202496 335643 0 0 0 4561 547 0 0 20 0 1 0 382758574 3698208768 731362 33554432000 4194304 6004724 140737071612112 140737071606728 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26241/statm: 902883 731362 145 442 0 902437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3620680
[startup+102.307 s]
/proc/loadavg: 2.31 2.12 1.99 3/183 26301
/proc/meminfo: memFree=17619364/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3611532 CPUtime=52.23 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4202496 335646 0 0 0 4578 645 0 0 20 0 1 0 382758574 3698208768 731364 33554432000 4194304 6004724 140737071612112 140737071606576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/26241/statm: 902883 731364 147 442 0 902437 0
[pid=26285] ppid=26241 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/26285/stat : 26285 (cp2_pre.sh) S 26241 26240 13473 0 -1 4202496 608 0 0 0 0 2 0 0 20 0 1 0 382763808 9367552 277 33554432000 4194304 5064252 140733393601152 140733393599856 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26285/statm: 2287 277 234 213 0 72 0
[pid=26286] ppid=26285 vsize=338324 CPUtime=49.9 cores=1,3,5,7
/proc/26286/stat : 26286 (coprocessor) R 26285 26240 13473 0 -1 4202496 15179 0 0 0 4978 12 0 0 20 0 1 0 382763813 346443776 83674 33554432000 4194304 6586260 140735579305760 140735579302520 4368007 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 84581 83674 138 584 0 83993 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 3968152
[startup+162.3 s]
/proc/loadavg: 2.11 2.10 1.99 3/182 26301
/proc/meminfo: memFree=17406404/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3611532 CPUtime=52.23 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4202496 335646 0 0 0 4578 645 0 0 20 0 1 0 382758574 3698208768 731364 33554432000 4194304 6004724 140737071612112 140737071606576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/26241/statm: 902883 731364 147 442 0 902437 0
[pid=26285] ppid=26241 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/26285/stat : 26285 (cp2_pre.sh) S 26241 26240 13473 0 -1 4202496 608 0 0 0 0 2 0 0 20 0 1 0 382763808 9367552 277 33554432000 4194304 5064252 140733393601152 140733393599856 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26285/statm: 2287 277 234 213 0 72 0
[pid=26286] ppid=26285 vsize=541568 CPUtime=109.89 cores=1,3,5,7
/proc/26286/stat : 26286 (coprocessor) R 26285 26240 13473 0 -1 4202496 17528 0 0 0 10969 20 0 0 20 0 1 0 382763813 554565632 129113 33554432000 4194304 6586260 140735579305760 140735579302520 4367992 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 135392 129113 138 584 0 134804 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 4171396
[startup+222.3 s]
/proc/loadavg: 2.04 2.08 1.99 3/182 26301
/proc/meminfo: memFree=17117868/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3611532 CPUtime=52.23 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4202496 335646 0 0 0 4578 645 0 0 20 0 1 0 382758574 3698208768 731364 33554432000 4194304 6004724 140737071612112 140737071606576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/26241/statm: 902883 731364 147 442 0 902437 0
[pid=26285] ppid=26241 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/26285/stat : 26285 (cp2_pre.sh) S 26241 26240 13473 0 -1 4202496 608 0 0 0 0 2 0 0 20 0 1 0 382763808 9367552 277 33554432000 4194304 5064252 140733393601152 140733393599856 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26285/statm: 2287 277 234 213 0 72 0
[pid=26286] ppid=26285 vsize=850160 CPUtime=169.87 cores=1,3,5,7
/proc/26286/stat : 26286 (coprocessor) R 26285 26240 13473 0 -1 4202496 20850 0 0 0 16960 27 0 0 20 0 1 0 382763813 870563840 195639 33554432000 4194304 6586260 140735579305760 140735579302520 4368004 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26286/statm: 212540 195639 138 584 0 211952 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 4479988
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 1.99 3/182 26302
/proc/meminfo: memFree=16916676/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3611532 CPUtime=52.23 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4202496 335646 0 0 0 4578 645 0 0 20 0 1 0 382758574 3698208768 731364 33554432000 4194304 6004724 140737071612112 140737071606576 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/26241/statm: 902883 731364 147 442 0 902437 0
[pid=26285] ppid=26241 vsize=9148 CPUtime=0.02 cores=1,3,5,7
################
# More data... #
################
/proc/26337/stat : 26337 (cp) R 26241 26240 13473 0 -1 4202496 513 0 0 0 0 90 0 0 20 0 1 0 382900711 17113088 198 33554432000 4194304 4305796 140734854598448 140734854596392 251044644320 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26337/statm: 4178 198 157 28 0 74 0
Current children cumulated CPU time (s) 1421.34
Current children cumulated vsize (KiB) 9318704
[startup+1482.3 s]
/proc/loadavg: 3.49 2.41 2.14 2/182 26339
/proc/meminfo: memFree=4482080/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
Solver just ended. Dumping a history of the last processes samples
[startup+1484.7 s]
/proc/loadavg: 3.49 2.41 2.14 2/182 26339
/proc/meminfo: memFree=4481956/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1510.31 s]
/proc/loadavg: 4.08 2.66 2.23 2/182 26339
/proc/meminfo: memFree=4479476/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1523.1 s]
/proc/loadavg: 4.22 2.73 2.26 2/182 26339
/proc/meminfo: memFree=4479724/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1526.3 s]
/proc/loadavg: 4.29 2.77 2.27 2/182 26339
/proc/meminfo: memFree=4479724/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1529.5 s]
/proc/loadavg: 4.29 2.77 2.27 2/182 26339
/proc/meminfo: memFree=4477180/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1531.1 s]
/proc/loadavg: 4.34 2.81 2.29 2/183 26340
/proc/meminfo: memFree=4331328/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1531.9 s]
/proc/loadavg: 4.34 2.81 2.29 2/183 26340
/proc/meminfo: memFree=4331328/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1532.1 s]
/proc/loadavg: 4.34 2.81 2.29 2/183 26340
/proc/meminfo: memFree=4331328/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=3840944 CPUtime=1021.25 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) S 26240 26240 13473 0 -1 4204032 359409 51933 0 0 7123 10325 83998 679 20 0 1 0 382758574 3933126656 789733 33554432000 4194304 6004724 140737071612112 140737071606136 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 36 0 0
/proc/26241/statm: 960236 789733 181 442 0 959790 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.1
Current children cumulated vsize (KiB) 9319792
[startup+1532.2 s]
/proc/loadavg: 4.34 2.81 2.29 4/182 26340
/proc/meminfo: memFree=4856404/32873844 swapFree=7628/7628
[pid=26240] ppid=26238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26240/stat : 26240 (npSolver-pbo-It) S 26238 26240 13473 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382758574 9367552 274 33554432000 4194304 5064252 140733794593600 140733794592512 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26240/statm: 2287 274 233 213 0 72 0
[pid=26241] ppid=26240 vsize=0 CPUtime=1021.27 cores=1,3,5,7
/proc/26241/stat : 26241 (npSolver-pbo) R 26240 26240 13473 0 -1 4204036 359409 51933 0 0 7123 10327 83998 679 20 0 1 0 382758574 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 36 0 0
/proc/26241/statm: 0 0 0 0 0 0 0
[pid=26309] ppid=26241 vsize=5469700 CPUtime=403.85 cores=1,3,5,7
/proc/26309/stat : 26309 (glucosInc) S 26241 26240 13473 0 -1 4202496 546271 0 0 0 40201 184 0 0 20 0 1 0 382848328 5600972800 1254363 33554432000 4194304 5654031 140736896835744 140736896834056 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26309/statm: 1367425 1254363 146 357 0 1367065 0
Current children cumulated CPU time (s) 1425.12
Current children cumulated vsize (KiB) 5478848
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26240 and gives
# childrusage.ru_utime.tv_sec=911
# childrusage.ru_utime.tv_usec=213474
# childrusage.ru_stime.tv_sec=110
# childrusage.ru_stime.tv_usec=152254
# CPU time returned by wait4() is 1021.37
# while last known CPU time is 1425.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1532.29
CPU time (s): 1425.12
CPU user time (s): 1313.22
CPU system time (s): 111.9
CPU usage (%): 93.0061
Max. virtual memory (cumulated for all children) (KiB): 9484128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 911.213
system time used= 110.152
maximum resident set size= 4410292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11912384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 848881
involuntary context switches= 1149
runsolver used 2.39264 second user time and 7.02393 second system time
The end