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-3751891-1339119329/watcher-3751891-1339119329 -o /tmp/evaluation-result-3751891-1339119329/solver-3751891-1339119329 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751891-1339119329.opb 279550079 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25115
/proc/meminfo: memFree=25110644/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[startup+0.0548279 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25115
/proc/meminfo: memFree=25110644/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100338 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25115
/proc/meminfo: memFree=25110644/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25115
/proc/meminfo: memFree=25110644/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25115
/proc/meminfo: memFree=25110644/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25130
/proc/meminfo: memFree=25097572/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=0.24 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) R 25115 25115 22913 0 -1 4202496 3305 9136 0 0 4 1 17 2 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 4342843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25130] ppid=25116 vsize=10432 CPUtime=1.22 cores=1,3,5,7
/proc/25130/stat : 25130 (glucosInc) S 25116 25115 22913 0 -1 4202496 2336 0 0 0 122 0 0 0 20 0 1 0 378061482 10682368 1876 33554432000 4194304 5654031 140736290437792 140736290436104 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25130/statm: 2608 1876 148 357 0 2248 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 23720
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25132
/proc/meminfo: memFree=25095276/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=1.49 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 3644 11989 0 0 5 2 140 2 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25132] ppid=25116 vsize=12224 CPUtime=1.57 cores=1,3,5,7
/proc/25132/stat : 25132 (glucosInc) R 25116 25115 22913 0 -1 4202496 3282 0 0 0 157 0 0 0 20 0 1 0 378061607 12517376 2304 33554432000 4194304 5654031 140734860370864 140734860358680 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25132/statm: 3056 2304 142 357 0 2696 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 25512
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25132
/proc/meminfo: memFree=25076548/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=1.49 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 3644 11989 0 0 5 2 140 2 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25132] ppid=25116 vsize=16576 CPUtime=4.78 cores=1,3,5,7
/proc/25132/stat : 25132 (glucosInc) R 25116 25115 22913 0 -1 4202496 3850 0 0 0 477 1 0 0 20 0 1 0 378061607 16973824 3366 33554432000 4194304 5654031 140734860370864 140734860368744 4216581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25132/statm: 4144 3366 142 357 0 3784 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29864
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25135
/proc/meminfo: memFree=25059984/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=10.26 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 4096 17256 0 0 6 2 1014 4 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25135] ppid=25116 vsize=16628 CPUtime=2.4 cores=1,3,5,7
/proc/25135/stat : 25135 (glucosInc) R 25116 25115 22913 0 -1 4202496 3659 0 0 0 240 0 0 0 20 0 1 0 378062484 17027072 3164 33554432000 4194304 5654031 140736881614448 140736881602264 4215196 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25135/statm: 4157 3164 142 357 0 3797 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29916
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25139
/proc/meminfo: memFree=25025920/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=24.12 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5000 28242 0 0 9 2 2395 6 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25139] ppid=25116 vsize=10516 CPUtime=1.31 cores=1,3,5,7
/proc/25139/stat : 25139 (glucosInc) R 25116 25115 22913 0 -1 4202496 2650 0 0 0 131 0 0 0 20 0 1 0 378063873 10768384 1956 33554432000 4194304 5654031 140734564077664 140734564075448 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25139/statm: 2629 1956 142 357 0 2269 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 23804
[startup+51.1003 s]
/proc/loadavg: 1.88 1.97 1.99 3/181 25606
/proc/meminfo: memFree=25304504/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=50.54 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5452 35524 0 0 10 2 5034 8 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 13288
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 25610
/proc/meminfo: memFree=25281444/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=50.54 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5452 35524 0 0 10 2 5034 8 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25608] ppid=25116 vsize=33528 CPUtime=51.67 cores=1,3,5,7
/proc/25608/stat : 25608 (glucosInc) R 25116 25115 22913 0 -1 4202496 6196 0 0 0 5166 1 0 0 20 0 1 0 378066516 34332672 7286 33554432000 4194304 5654031 140737431266144 140737431253960 4232651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25608/statm: 8382 7286 142 357 0 8022 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 46816
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 25612
/proc/meminfo: memFree=25257996/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=32724 CPUtime=31.17 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 5610 0 0 0 3116 1 0 0 20 0 1 0 378074566 33509376 7587 33554432000 4194304 5654031 140734811944624 140734811932440 4232720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25612/statm: 8181 7587 142 357 0 7821 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 46012
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 25612
/proc/meminfo: memFree=25227888/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=55964 CPUtime=91.16 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 7176 0 0 0 9114 2 0 0 20 0 1 0 378074566 57307136 12383 33554432000 4194304 5654031 140734811944624 140734811932440 4232403 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 13991 12383 142 357 0 13631 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 69252
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/182 25615
/proc/meminfo: memFree=25212356/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=25171224/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=106596 CPUtime=1111 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 16910 0 0 0 111079 21 0 0 20 0 1 0 378074566 109154304 26065 33554432000 4194304 5654031 140734811944624 140734811942648 4215088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 26649 26065 142 357 0 26289 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 119884
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25668
/proc/meminfo: memFree=25152540/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=106596 CPUtime=1171 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 17227 0 0 0 117078 22 0 0 20 0 1 0 378074566 109154304 26065 33554432000 4194304 5654031 140734811944624 140734811932440 4233148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 26649 26065 142 357 0 26289 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 119884
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 25668
/proc/meminfo: memFree=25113940/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=155916 CPUtime=1230.98 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 17864 0 0 0 123075 23 0 0 20 0 1 0 378074566 159657984 36092 33554432000 4194304 5654031 140734811944624 140734811932440 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 38979 36092 142 357 0 38619 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 169204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25668
/proc/meminfo: memFree=25099792/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=186736 CPUtime=1290.97 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 18768 0 0 0 129073 24 0 0 20 0 1 0 378074566 191217664 38707 33554432000 4194304 5654031 140734811944624 140734811942712 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 46684 38707 142 357 0 46324 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 200024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25671
/proc/meminfo: memFree=25149740/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=106596 CPUtime=1350.96 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 19102 0 0 0 135070 26 0 0 20 0 1 0 378074566 109154304 26065 33554432000 4194304 5654031 140734811944624 140734811942648 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 26649 26065 142 357 0 26289 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 119884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25695
/proc/meminfo: memFree=25149964/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=106596 CPUtime=1410.96 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 19423 0 0 0 141069 27 0 0 20 0 1 0 378074566 109154304 26065 33554432000 4194304 5654031 140734811944624 140734811932440 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 26649 26065 142 357 0 26289 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 119884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25695
/proc/meminfo: memFree=25110232/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=155916 CPUtime=1470.95 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 20062 0 0 0 147066 29 0 0 20 0 1 0 378074566 159657984 36092 33554432000 4194304 5654031 140734811944624 140734811932440 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 38979 36092 142 357 0 38619 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 169204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25695
/proc/meminfo: memFree=25094424/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=155916 CPUtime=1530.94 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 20801 0 0 0 153063 31 0 0 20 0 1 0 378074566 159657984 38140 33554432000 4194304 5654031 140734811944624 140734811932440 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 38979 38140 142 357 0 38619 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 169204
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 25695
/proc/meminfo: memFree=25089788/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=186736 CPUtime=1590.92 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 22312 0 0 0 159059 33 0 0 20 0 1 0 378074566 191217664 39743 33554432000 4194304 5654031 140734811944624 140734811932440 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 46684 39743 142 357 0 46324 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 200024
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25695
/proc/meminfo: memFree=25091476/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=155916 CPUtime=1650.92 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 22769 0 0 0 165057 35 0 0 20 0 1 0 378074566 159657984 38270 33554432000 4194304 5654031 140734811944624 140734811932440 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 38979 38270 142 357 0 38619 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 169204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25695
/proc/meminfo: memFree=25138160/32873844 swapFree=8652/8652
[pid=25115] ppid=25113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25115/stat : 25115 (npSolver-pbo-It) S 25113 25115 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378061455 9367552 275 33554432000 4194304 5064252 140735088835168 140735088834080 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25115/statm: 2287 275 233 213 0 72 0
[pid=25116] ppid=25115 vsize=4140 CPUtime=131 cores=1,3,5,7
/proc/25116/stat : 25116 (npSolver-pbo) S 25115 25115 22913 0 -1 4202496 5904 43598 0 0 11 2 13076 11 20 0 1 0 378061455 4239360 716 33554432000 4194304 6004724 140734623171744 140734623157592 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 1035 716 189 442 0 589 0
[pid=25612] ppid=25116 vsize=106596 CPUtime=1669.02 cores=1,3,5,7
/proc/25612/stat : 25612 (glucosInc) R 25116 25115 22913 0 -1 4202496 22940 0 0 0 166867 35 0 0 20 0 1 0 378074566 109154304 26065 33554432000 4194304 5654031 140734811944624 140734811932440 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25612/statm: 26649 26065 142 357 0 26289 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 119884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.56
CPU system time (s): 0.504923
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 200024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.504923
maximum resident set size= 158972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 371
involuntary context switches= 1996
runsolver used 3.20551 second user time and 8.78166 second system time
The end