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-3752062-1339125497/watcher-3752062-1339125497 -o /tmp/evaluation-result-3752062-1339125497/solver-3752062-1339125497 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752062-1339125497.opb 267614029 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: 1.81 1.93 2.05 3/180 799
/proc/meminfo: memFree=29060568/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[startup+0.087981 s]
/proc/loadavg: 1.81 1.93 2.05 3/180 799
/proc/meminfo: memFree=29060568/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 1.81 1.93 2.05 3/180 799
/proc/meminfo: memFree=29060568/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 1.81 1.93 2.05 3/180 799
/proc/meminfo: memFree=29060568/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 1.81 1.93 2.05 3/180 799
/proc/meminfo: memFree=29060568/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.81 1.93 2.05 3/180 847
/proc/meminfo: memFree=28986168/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=181656 CPUtime=1.49 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) R 799 799 22344 0 -1 4202496 13653 0 0 0 144 5 0 0 20 0 1 0 378674606 186015744 30000 33554432000 4194304 6004724 140734491204640 140734491199640 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/800/statm: 45414 30000 154 442 0 44968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190804
[startup+3.10033 s]
/proc/loadavg: 1.83 1.93 2.05 3/181 897
/proc/meminfo: memFree=28907972/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=312728 CPUtime=3.09 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) R 799 799 22344 0 -1 4202496 14284 0 0 0 299 10 0 0 20 0 1 0 378674606 320233472 58672 33554432000 4194304 6004724 140734491204640 140734491199240 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/800/statm: 78182 58672 154 442 0 77736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 321876
[startup+6.30035 s]
/proc/loadavg: 1.83 1.93 2.05 3/182 1048
/proc/meminfo: memFree=28660968/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=574872 CPUtime=6.29 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) R 799 799 22344 0 -1 4202496 15040 0 0 0 610 19 0 0 20 0 1 0 378674606 588668928 118576 33554432000 4194304 6004724 140734491204640 140734491199240 5055489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/800/statm: 143718 118576 154 442 0 143272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 584020
[startup+12.7003 s]
/proc/loadavg: 1.85 1.93 2.05 3/180 1350
/proc/meminfo: memFree=28165964/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=1099160 CPUtime=12.68 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) R 799 799 22344 0 -1 4202496 16043 0 0 0 1232 36 0 0 20 0 1 0 378674606 1125539840 239408 33554432000 4194304 6004724 140734491204640 140734491199256 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/800/statm: 274790 239408 154 442 0 274344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1108308
[startup+25.5003 s]
/proc/loadavg: 1.80 1.91 2.05 3/182 1998
/proc/meminfo: memFree=27155288/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2147736 CPUtime=25.48 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) R 799 799 22344 0 -1 4202496 17537 0 0 0 2477 71 0 0 20 0 1 0 378674606 2199281664 480560 33554432000 4194304 6004724 140734491204640 140734491199592 4579297 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/800/statm: 536934 480560 154 442 0 536488 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2156884
[startup+51.1005 s]
/proc/loadavg: 2.08 1.97 2.06 3/184 3162
/proc/meminfo: memFree=22761688/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=30.04 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18717 0 0 0 2625 379 0 0 20 0 1 0 378674606 2187280384 494023 33554432000 4194304 6004724 140734491204640 140734491199104 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494023 163 442 0 533558 0
[pid=2223] ppid=800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2223/stat : 2223 (cp2_pre.sh) S 800 799 22344 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378677613 9367552 277 33554432000 4194304 5064252 140733356025616 140733356024320 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2223/statm: 2287 277 234 213 0 72 0
[pid=2224] ppid=2223 vsize=2372688 CPUtime=21.01 cores=1,3,5,7
/proc/2224/stat : 2224 (coprocessor) R 2223 799 22344 0 -1 4202496 22496 0 0 0 2009 92 0 0 20 0 1 0 378677613 2429632512 576272 33554432000 4194304 6586260 140734829310736 140734829307496 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/2224/statm: 593172 576272 137 584 0 592584 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 4527000
[startup+102.307 s]
/proc/loadavg: 2.22 2.03 2.08 3/184 5395
/proc/meminfo: memFree=20861144/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=30.04 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18717 0 0 0 2625 379 0 0 20 0 1 0 378674606 2187280384 494023 33554432000 4194304 6004724 140734491204640 140734491199104 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494023 163 442 0 533558 0
[pid=2223] ppid=800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2223/stat : 2223 (cp2_pre.sh) S 800 799 22344 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378677613 9367552 277 33554432000 4194304 5064252 140733356025616 140733356024320 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2223/statm: 2287 277 234 213 0 72 0
[pid=2224] ppid=2223 vsize=3459220 CPUtime=71.51 cores=1,3,5,7
/proc/2224/stat : 2224 (coprocessor) R 2223 799 22344 0 -1 4202496 24778 0 0 0 6764 387 0 0 20 0 1 0 378677613 3542241280 742585 33554432000 4194304 6586260 140734829310736 140734829306488 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 69 0 0
/proc/2224/statm: 864805 742585 158 584 0 864217 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 5613532
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/184 8039
/proc/meminfo: memFree=21017916/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4591916 CPUtime=35.89 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 460813 0 0 0 3416 173 0 0 20 0 1 0 378687245 4702121984 1031552 33554432000 4194304 5654031 140733952432912 140733952420728 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1147979 1031552 141 357 0 1147619 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 6737080
[startup+222.3 s]
/proc/loadavg: 1.92 1.97 2.05 3/183 10741
/proc/meminfo: memFree=21003004/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4604512 CPUtime=95.88 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 467464 0 0 0 9412 176 0 0 20 0 1 0 378687245 4715020288 1035334 33554432000 4194304 5654031 140733952432912 140733952430696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1151128 1035334 141 357 0 1150768 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 6749676
[startup+282.3 s]
/proc/loadavg: 1.93 1.96 2.04 3/183 13402
/proc/meminfo: memFree=20991160/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4613180 CPUtime=155.87 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=20919892/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4656112 CPUtime=1175.72 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 515999 0 0 0 117376 196 0 0 20 0 1 0 378687245 4767858688 1054725 33554432000 4194304 5654031 140733952432912 140733952430696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1164028 1054725 141 357 0 1163668 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 6801276
[startup+1362.3 s]
/proc/loadavg: 1.66 1.75 1.83 3/184 29711
/proc/meminfo: memFree=20916968/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4657084 CPUtime=1235.69 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 519377 0 0 0 123372 197 0 0 20 0 1 0 378687245 4768854016 1055500 33554432000 4194304 5654031 140733952432912 140733952420728 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1164271 1055500 141 357 0 1163911 0
Current children cumulated CPU time (s) 1361.26
Current children cumulated vsize (KiB) 6802248
[startup+1422.31 s]
/proc/loadavg: 1.73 1.75 1.82 3/183 32428
/proc/meminfo: memFree=20916268/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4657916 CPUtime=1295.69 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 522678 0 0 0 129371 198 0 0 20 0 1 0 378687245 4769705984 1055714 33554432000 4194304 5654031 140733952432912 140733952430984 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1164479 1055714 141 357 0 1164119 0
Current children cumulated CPU time (s) 1421.26
Current children cumulated vsize (KiB) 6803080
[startup+1482.3 s]
/proc/loadavg: 1.86 1.78 1.82 3/184 2703
/proc/meminfo: memFree=20923944/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4658576 CPUtime=1355.68 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 522843 0 0 0 135369 199 0 0 20 0 1 0 378687245 4770381824 1056427 33554432000 4194304 5654031 140733952432912 140733952420728 4214475 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1164644 1056427 141 357 0 1164284 0
Current children cumulated CPU time (s) 1481.25
Current children cumulated vsize (KiB) 6803740
[startup+1542.3 s]
/proc/loadavg: 1.69 1.74 1.81 4/184 5447
/proc/meminfo: memFree=20918460/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4660488 CPUtime=1415.66 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 526463 0 0 0 141365 201 0 0 20 0 1 0 378687245 4772339712 1056944 33554432000 4194304 5654031 140733952432912 140733952420728 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1165122 1056944 141 357 0 1164762 0
Current children cumulated CPU time (s) 1541.23
Current children cumulated vsize (KiB) 6805652
[startup+1602.3 s]
/proc/loadavg: 1.82 1.77 1.81 3/183 8098
/proc/meminfo: memFree=20906304/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4661676 CPUtime=1475.65 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 529854 0 0 0 147362 203 0 0 20 0 1 0 378687245 4773556224 1057778 33554432000 4194304 5654031 140733952432912 140733952420728 4232916 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1165419 1057778 141 357 0 1165059 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 6806840
[startup+1662.3 s]
/proc/loadavg: 1.96 1.81 1.82 3/181 9150
/proc/meminfo: memFree=20884336/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4662600 CPUtime=1535.63 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 530074 0 0 0 153360 203 0 0 20 0 1 0 378687245 4774502400 1058531 33554432000 4194304 5654031 140733952432912 140733952420728 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1165650 1058531 141 357 0 1165290 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 6807764
[startup+1722.3 s]
/proc/loadavg: 2.03 1.85 1.84 3/181 9152
/proc/meminfo: memFree=20872888/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4663232 CPUtime=1595.62 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 534095 0 0 0 159358 204 0 0 20 0 1 0 378687245 4775149568 1058683 33554432000 4194304 5654031 140733952432912 140733952420728 4232491 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1165808 1058683 141 357 0 1165448 0
Current children cumulated CPU time (s) 1721.19
Current children cumulated vsize (KiB) 6808396
[startup+1782.3 s]
/proc/loadavg: 2.01 1.88 1.84 3/181 9155
/proc/meminfo: memFree=20879500/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4664448 CPUtime=1655.61 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 534413 0 0 0 165356 205 0 0 20 0 1 0 378687245 4776394752 1059517 33554432000 4194304 5654031 140733952432912 140733952430696 4219897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1166112 1059517 141 357 0 1165752 0
Current children cumulated CPU time (s) 1781.18
Current children cumulated vsize (KiB) 6809612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.01 1.88 1.84 3/181 9155
/proc/meminfo: memFree=20869540/32873844 swapFree=7120/7120
[pid=799] ppid=797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/799/stat : 799 (npSolver-pbo-It) S 797 799 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378674606 9367552 275 33554432000 4194304 5064252 140733403574192 140733403573104 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/799/statm: 2287 275 233 213 0 72 0
[pid=800] ppid=799 vsize=2136016 CPUtime=125.57 cores=1,3,5,7
/proc/800/stat : 800 (npSolver-pbo) S 799 799 22344 0 -1 4202496 18737 25681 0 0 2625 379 8987 566 20 0 1 0 378674606 2187280384 494028 33554432000 4194304 6004724 140734491204640 140734491190920 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/800/statm: 534004 494028 167 442 0 533558 0
[pid=6471] ppid=800 vsize=4664852 CPUtime=1674.5 cores=1,3,5,7
/proc/6471/stat : 6471 (glucosInc) R 800 799 22344 0 -1 4202496 538402 0 0 0 167244 206 0 0 20 0 1 0 378687245 4776808448 1059621 33554432000 4194304 5654031 140733952432912 140733952420728 4209199 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6471/statm: 1166213 1059621 141 357 0 1165853 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6810016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 799 and gives
# childrusage.ru_utime.tv_sec=116
# childrusage.ru_utime.tv_usec=134344
# childrusage.ru_stime.tv_sec=9
# childrusage.ru_stime.tv_usec=466560
# CPU time returned by wait4() is 125.601
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.07
CPU user time (s): 1788.56
CPU system time (s): 11.51
CPU usage (%): 99.936
Max. virtual memory (cumulated for all children) (KiB): 6851136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.134
system time used= 9.46656
maximum resident set size= 3914244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44776
page faults= 0
swaps= 0
block input operations= 16
block output operations= 7615632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 175
runsolver used 4.23236 second user time and 11.2213 second system time
The end