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-3748118-1339168541/watcher-3748118-1339168541 -o /tmp/evaluation-result-3748118-1339168541/solver-3748118-1339168541 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748118-1339168541.opb 934680850 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.81 1.99 1.99 2/171 24047
/proc/meminfo: memFree=23590400/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[startup+0.048955 s]
/proc/loadavg: 1.81 1.99 1.99 2/171 24047
/proc/meminfo: memFree=23590400/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 1.81 1.99 1.99 2/171 24047
/proc/meminfo: memFree=23590400/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300158 s]
/proc/loadavg: 1.81 1.99 1.99 2/171 24047
/proc/meminfo: memFree=23590400/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700189 s]
/proc/loadavg: 1.81 1.99 1.99 2/171 24047
/proc/meminfo: memFree=23590400/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.82 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23532188/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=11748 CPUtime=1.07 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 3081 0 0 0 107 0 0 0 20 0 1 0 382979030 12029952 2621 33554432000 4194304 5654031 140736401262448 140736401260536 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24070/statm: 2937 2621 142 357 0 2577 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34624
[startup+3.10026 s]
/proc/loadavg: 1.82 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23528860/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=16956 CPUtime=2.68 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 4999 0 0 0 267 1 0 0 20 0 1 0 382979030 17362944 3760 33554432000 4194304 5654031 140736401262448 140736401260328 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24070/statm: 4239 3760 142 357 0 3879 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39832
[startup+6.30037 s]
/proc/loadavg: 1.82 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23508944/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=24028 CPUtime=5.88 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 5380 0 0 0 587 1 0 0 20 0 1 0 382979030 24604672 5671 33554432000 4194304 5654031 140736401262448 140736401250264 4214603 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 6007 5671 142 357 0 5647 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 46904
[startup+12.7004 s]
/proc/loadavg: 1.85 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23497524/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=49916 CPUtime=12.28 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 8155 0 0 0 1226 2 0 0 20 0 1 0 382979030 51113984 8655 33554432000 4194304 5654031 140736401262448 140736401250264 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 12479 8655 142 357 0 12119 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 72792
[startup+25.5004 s]
/proc/loadavg: 1.87 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23452552/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=99120 CPUtime=25.07 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 8577 0 0 0 2505 2 0 0 20 0 1 0 382979030 101498880 15076 33554432000 4194304 5654031 140736401262448 140736401250264 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 24780 15076 142 357 0 24420 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 121996
[startup+51.1004 s]
/proc/loadavg: 1.91 1.99 1.99 3/181 24072
/proc/meminfo: memFree=23365224/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=68772 CPUtime=50.67 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 10181 0 0 0 5062 5 0 0 20 0 1 0 382979030 70422528 16870 33554432000 4194304 5654031 140736401262448 140736401260472 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 17193 16870 142 357 0 16833 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 91648
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.99 3/181 24072
/proc/meminfo: memFree=23308208/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=148912 CPUtime=101.87 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 12350 0 0 0 10178 9 0 0 20 0 1 0 382979030 152485888 32037 33554432000 4194304 5654031 140736401262448 140736401250264 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 37228 32037 142 357 0 36868 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 171788
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/181 24072
/proc/meminfo: memFree=23308288/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=118092 CPUtime=161.85 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 14355 0 0 0 16171 14 0 0 20 0 1 0 382979030 120926208 25315 33554432000 4194304 5654031 140736401262448 140736401250264 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 29523 25315 142 357 0 29163 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 140968
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 24073
/proc/meminfo: memFree=23337428/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=68772 CPUtime=221.84 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 16439 0 0 0 22165 19 0 0 20 0 1 0 382979030 70422528 16871 33554432000 4194304 5654031 140736401262448 140736401250264 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 17193 16871 142 357 0 16833 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91648
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 24083
/proc/meminfo: memFree=23142948/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=223796 CPUtime=1361.6 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 44889 0 0 0 136067 93 0 0 20 0 1 0 382979030 229167104 45691 33554432000 4194304 5654031 140736401262448 140736401250264 4215138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 55949 45691 142 357 0 55589 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 246672
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 24084
/proc/meminfo: memFree=22931692/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=305184 CPUtime=1421.59 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 45457 0 0 0 142064 95 0 0 20 0 1 0 382979030 312508416 74363 33554432000 4194304 5654031 140736401262448 140736401250264 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 76296 74363 142 357 0 75936 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 328060
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 24087
/proc/meminfo: memFree=23161460/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=223796 CPUtime=1481.58 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 47138 0 0 0 148057 101 0 0 20 0 1 0 382979030 229167104 45179 33554432000 4194304 5654031 140736401262448 140736401260536 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 55949 45179 142 357 0 55589 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 246672
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 24087
/proc/meminfo: memFree=22942320/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=305184 CPUtime=1541.55 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 47749 0 0 0 154052 103 0 0 20 0 1 0 382979030 312508416 75899 33554432000 4194304 5654031 140736401262448 140736401250264 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 76296 75899 142 357 0 75936 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 328060
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24087
/proc/meminfo: memFree=23199584/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=173708 CPUtime=1601.54 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 49122 0 0 0 160046 108 0 0 20 0 1 0 382979030 177876992 42830 33554432000 4194304 5654031 140736401262448 140736401250264 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 43427 42830 142 357 0 43067 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 196584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24087
/proc/meminfo: memFree=22973068/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=305184 CPUtime=1661.52 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 49994 0 0 0 166042 110 0 0 20 0 1 0 382979030 312508416 72827 33554432000 4194304 5654031 140736401262448 140736401250264 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 76296 72827 142 357 0 75936 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 328060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24088
/proc/meminfo: memFree=23033500/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=173708 CPUtime=1721.5 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 51397 0 0 0 172035 115 0 0 20 0 1 0 382979030 177876992 37198 33554432000 4194304 5654031 140736401262448 140736401250264 4233201 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 43427 37198 142 357 0 43067 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 196584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24088
/proc/meminfo: memFree=23024296/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=305184 CPUtime=1781.49 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 52270 0 0 0 178032 117 0 0 20 0 1 0 382979030 312508416 68219 33554432000 4194304 5654031 140736401262448 140736401250264 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 76296 68219 142 357 0 75936 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 328060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24088
/proc/meminfo: memFree=22966052/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=437444 CPUtime=1799.69 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 52425 0 0 0 179851 118 0 0 20 0 1 0 382979030 447942656 76039 33554432000 4194304 5654031 140736401262448 140736401250264 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 109361 76039 142 357 0 109001 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 460320
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24088
/proc/meminfo: memFree=22966052/32873844 swapFree=7628/7628
[pid=24047] ppid=24045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24047/stat : 24047 (npSolver-pbo-I.) S 24045 24047 24017 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 382978989 9367552 274 33554432000 4194304 5064252 140737243622560 140737243621472 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24047/statm: 2287 274 233 213 0 72 0
[pid=24048] ppid=24047 vsize=13728 CPUtime=0.38 cores=0,2,4,6
/proc/24048/stat : 24048 (npSolver-pbo) S 24047 24047 24017 0 -1 4202496 5126 5628 0 0 11 0 26 1 20 0 1 0 382978989 14057472 2861 33554432000 4194304 6004724 140734721948304 140734721934584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24048/statm: 3432 2861 152 442 0 2986 0
[pid=24070] ppid=24048 vsize=437444 CPUtime=1799.69 cores=0,2,4,6
/proc/24070/stat : 24070 (glucosInc) R 24048 24047 24017 0 -1 4202496 52425 0 0 0 179851 118 0 0 20 0 1 0 382979030 447942656 76039 33554432000 4194304 5654031 140736401262448 140736401250264 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24070/statm: 109361 76039 142 357 0 109001 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 460320
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24047 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=384941
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.410937
# 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): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.88
CPU system time (s): 1.19
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 509640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.384941
system time used= 0.025996
maximum resident set size= 38740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 3.17052 second user time and 8.36273 second system time
The end