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-3748435-1339172048/watcher-3748435-1339172048 -o /tmp/evaluation-result-3748435-1339172048/solver-3748435-1339172048 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748435-1339172048.opb 1662460817 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: 1.84 1.97 1.99 3/173 26742
/proc/meminfo: memFree=23917220/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[startup+0.0903419 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 26742
/proc/meminfo: memFree=23917220/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100327 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 26742
/proc/meminfo: memFree=23917220/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300321 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 26742
/proc/meminfo: memFree=23917220/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 26742
/proc/meminfo: memFree=23917220/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/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.84 1.97 1.99 3/179 26748
/proc/meminfo: memFree=23633044/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=238960 CPUtime=1.49 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) R 26742 26742 26543 0 -1 4202496 22314 0 0 0 143 6 0 0 20 0 1 0 383329171 244695040 44168 33554432000 4194304 6004724 140736856204272 140736856198872 4579893 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 59740 44168 153 442 0 59294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 248108
[startup+3.10033 s]
/proc/loadavg: 1.84 1.97 1.99 3/179 26748
/proc/meminfo: memFree=23361836/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=2.14 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22890 0 0 0 188 26 0 0 20 0 1 0 383329171 171827200 34246 33554432000 4194304 6004724 140736856204272 140736856198736 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34246 162 442 0 41504 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 176948
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 26752
/proc/meminfo: memFree=22557920/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=2.14 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22890 0 0 0 188 26 0 0 20 0 1 0 383329171 171827200 34246 33554432000 4194304 6004724 140736856204272 140736856198736 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34246 162 442 0 41504 0
[pid=26749] ppid=26745 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26749/stat : 26749 (cp2_pre.sh) S 26745 26742 26543 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383329386 9367552 277 33554432000 4194304 5064252 140734664976416 140734664975120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26749/statm: 2287 277 234 213 0 72 0
[pid=26750] ppid=26749 vsize=485568 CPUtime=4.14 cores=0,2,4,6
/proc/26750/stat : 26750 (coprocessor) R 26749 26742 26543 0 -1 4202496 53201 0 0 0 399 15 0 0 20 0 1 0 383329386 497221632 118443 33554432000 4194304 6586260 140734051298560 140734051294488 4764183 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26750/statm: 121392 118443 182 584 0 120804 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 671664
[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 26756
/proc/meminfo: memFree=23158572/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=206316 CPUtime=2.78 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 37467 0 0 0 271 7 0 0 20 0 1 0 383330162 211267584 45288 33554432000 4194304 5654031 140736629380320 140736629377928 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 51579 45288 131 357 0 51219 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 383264
[startup+25.5005 s]
/proc/loadavg: 2.10 2.02 2.00 3/181 26756
/proc/meminfo: memFree=23155908/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=207384 CPUtime=15.57 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 37755 0 0 0 1550 7 0 0 20 0 1 0 383330162 212361216 46087 33554432000 4194304 5654031 140736629380320 140736629378152 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26754/statm: 51846 46087 140 357 0 51486 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 384332
[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 26757
/proc/meminfo: memFree=23154544/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=209040 CPUtime=41.17 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 38162 0 0 0 4110 7 0 0 20 0 1 0 383330162 214056960 46494 33554432000 4194304 5654031 140736629380320 140736629368136 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26754/statm: 52260 46494 140 357 0 51900 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 385988
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26757
/proc/meminfo: memFree=23144868/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=215052 CPUtime=92.37 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 39425 0 0 0 9230 7 0 0 20 0 1 0 383330162 220213248 48779 33554432000 4194304 5654031 140736629380320 140736629368136 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26754/statm: 53763 48779 141 357 0 53403 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 392000
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26757
/proc/meminfo: memFree=23134880/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=215052 CPUtime=152.35 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 39447 0 0 0 15228 7 0 0 20 0 1 0 383330162 220213248 49823 33554432000 4194304 5654031 140736629380320 140736629368136 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26754/statm: 53763 49823 141 357 0 53403 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 392000
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26757
/proc/meminfo: memFree=23128944/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=167800 CPUtime=9.76 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4202496 22907 61742 0 0 188 26 729 33 20 0 1 0 383329171 171827200 34250 33554432000 4194304 6004724 140736856204272 140736856190552 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 41950 34250 166 442 0 41504 0
[pid=26754] ppid=26745 vsize=215632 CPUtime=212.35 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) R 26745 26742 26543 0 -1 4202496 39802 0 0 0 21227 8 0 0 20 0 1 0 383330162 220807168 51199 33554432000 4194304 5654031 140736629380320 140736629368136 4215327 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26754/statm: 53908 51199 141 357 0 53548 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 392580
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26757
/proc/meminfo: memFree=23133976/32873844 swapFree=7628/7628
################
# More data... #
################
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1422.3 s]
/proc/loadavg: 3.74 2.62 2.22 1/183 26812
/proc/meminfo: memFree=1396272/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1482.3 s]
/proc/loadavg: 4.22 2.95 2.35 1/183 26812
/proc/meminfo: memFree=350436/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1542.3 s]
/proc/loadavg: 4.78 3.35 2.52 1/183 26812
/proc/meminfo: memFree=392040/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
Solver just ended. Dumping a history of the last processes samples
[startup+1544.2 s]
/proc/loadavg: 4.78 3.35 2.52 1/183 26812
/proc/meminfo: memFree=392660/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1547.41 s]
/proc/loadavg: 4.79 3.38 2.54 1/183 26812
/proc/meminfo: memFree=392412/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1549 s]
/proc/loadavg: 4.79 3.38 2.54 1/183 26812
/proc/meminfo: memFree=392288/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1549.8 s]
/proc/loadavg: 4.79 3.38 2.54 1/183 26812
/proc/meminfo: memFree=393900/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1550.6 s]
/proc/loadavg: 4.73 3.39 2.54 3/179 26840
/proc/meminfo: memFree=11653868/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1551 s]
/proc/loadavg: 4.73 3.39 2.54 3/179 26840
/proc/meminfo: memFree=11653868/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
[startup+1551.1 s]
/proc/loadavg: 4.73 3.39 2.54 3/179 26840
/proc/meminfo: memFree=11653868/32873844 swapFree=7628/7628
[pid=26742] ppid=26739 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26742/stat : 26742 (npSolver-pbo-I.) S 26739 26742 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383329171 9367552 275 33554432000 4194304 5064252 140737349095248 140737349094160 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26742/statm: 2287 275 233 213 0 72 0
[pid=26745] ppid=26742 vsize=175996 CPUtime=9.98 cores=0,2,4,6
/proc/26745/stat : 26745 (npSolver-pbo) S 26742 26742 26543 0 -1 4204032 26229 61742 0 0 202 34 729 33 20 0 1 0 383329171 180219904 35814 33554432000 4194304 6004724 140736856204272 140736856198824 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26745/statm: 43999 35814 188 442 0 43553 0
[pid=26754] ppid=26745 vsize=225840 CPUtime=1326.14 cores=0,2,4,6
/proc/26754/stat : 26754 (glucosInc) S 26745 26742 26543 0 -1 4202496 42492 0 0 0 132602 12 0 0 20 0 1 0 383330162 231260160 52201 33554432000 4194304 5654031 140736629380320 140736629378632 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26754/statm: 56460 52201 148 357 0 56100 0
Current children cumulated CPU time (s) 1336.12
Current children cumulated vsize (KiB) 410984
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26742 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=322582
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=688895
# CPU time returned by wait4() is 10.0115
# while last known CPU time is 1336.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1551.18
CPU time (s): 1336.12
CPU user time (s): 1335.33
CPU system time (s): 0.79
CPU usage (%): 86.1357
Max. virtual memory (cumulated for all children) (KiB): 725112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.32258
system time used= 0.688895
maximum resident set size= 543156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 281136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39922
involuntary context switches= 17
runsolver used 5.64314 second user time and 16.6665 second system time
The end