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-3747235-1339100008/watcher-3747235-1339100008 -o /tmp/evaluation-result-3747235-1339100008/solver-3747235-1339100008 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747235-1339100008.opb 817308314 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: 2.04 2.01 1.70 3/180 9180
/proc/meminfo: memFree=31131120/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[startup+0.09445 s]
/proc/loadavg: 2.04 2.01 1.70 3/180 9180
/proc/meminfo: memFree=31131120/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100363 s]
/proc/loadavg: 2.04 2.01 1.70 3/180 9180
/proc/meminfo: memFree=31131120/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300137 s]
/proc/loadavg: 2.04 2.01 1.70 3/180 9180
/proc/meminfo: memFree=31131120/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700166 s]
/proc/loadavg: 2.04 2.01 1.70 3/180 9180
/proc/meminfo: memFree=31131120/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.04 2.01 1.70 3/184 9184
/proc/meminfo: memFree=31052188/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=9796 CPUtime=1.16 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 3435 16472 0 0 17 1 92 6 20 0 1 0 19967880 10031104 1871 33554432000 4194304 6004724 140733608448880 140733608435160 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 2449 1871 167 442 0 2003 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 18944
[startup+3.10029 s]
/proc/loadavg: 2.03 2.01 1.70 3/183 9186
/proc/meminfo: memFree=31090760/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=9796 CPUtime=1.16 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 3435 16472 0 0 17 1 92 6 20 0 1 0 19967880 10031104 1871 33554432000 4194304 6004724 140733608448880 140733608435160 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 2449 1871 167 442 0 2003 0
[pid=9186] ppid=9181 vsize=40332 CPUtime=1.91 cores=0,2,4,6
/proc/9186/stat : 9186 (glucosInc) R 9181 9180 8711 0 -1 4202496 8264 0 0 0 190 1 0 0 20 0 1 0 19967998 41299968 8845 33554432000 4194304 5654031 140735371817728 140735371815608 4208621 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9186/statm: 10083 8845 142 357 0 9723 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 59276
[startup+6.30029 s]
/proc/loadavg: 2.03 2.01 1.70 3/183 9186
/proc/meminfo: memFree=31078668/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=9796 CPUtime=1.16 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 3435 16472 0 0 17 1 92 6 20 0 1 0 19967880 10031104 1871 33554432000 4194304 6004724 140733608448880 140733608435160 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 2449 1871 167 442 0 2003 0
[pid=9186] ppid=9181 vsize=44684 CPUtime=5.1 cores=0,2,4,6
/proc/9186/stat : 9186 (glucosInc) R 9181 9180 8711 0 -1 4202496 8921 0 0 0 509 1 0 0 20 0 1 0 19967998 45756416 9933 33554432000 4194304 5654031 140735371817728 140735371805544 4232901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9186/statm: 11171 9933 142 357 0 10811 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63628
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.70 3/183 9186
/proc/meminfo: memFree=31073504/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=9796 CPUtime=1.16 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 3435 16472 0 0 17 1 92 6 20 0 1 0 19967880 10031104 1871 33554432000 4194304 6004724 140733608448880 140733608435160 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 2449 1871 167 442 0 2003 0
[pid=9186] ppid=9181 vsize=51956 CPUtime=11.51 cores=0,2,4,6
/proc/9186/stat : 9186 (glucosInc) R 9181 9180 8711 0 -1 4202496 9277 0 0 0 1149 2 0 0 20 0 1 0 19967998 53202944 11303 33554432000 4194304 5654031 140735371817728 140735371805544 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9186/statm: 12989 11303 142 357 0 12629 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 70900
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.70 3/183 9189
/proc/meminfo: memFree=31007636/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=73064 CPUtime=5 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 14448 0 0 0 496 4 0 0 20 0 1 0 19969929 74817536 16348 33554432000 4194304 5654031 140734691430832 140734691418648 4232477 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/9189/statm: 18266 16348 142 357 0 17906 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 107620
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.71 3/183 9189
/proc/meminfo: memFree=30966292/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=103236 CPUtime=30.58 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 15867 0 0 0 3053 5 0 0 20 0 1 0 19969929 105713664 22521 33554432000 4194304 5654031 140734691430832 140734691418648 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 25809 22521 142 357 0 25449 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 137792
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 1.73 3/183 9190
/proc/meminfo: memFree=30933868/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=153936 CPUtime=81.77 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 18822 0 0 0 8170 7 0 0 20 0 1 0 19969929 157630464 29751 33554432000 4194304 5654031 140734691430832 140734691418648 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 38484 29751 142 357 0 38124 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 188492
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.74 3/183 9190
/proc/meminfo: memFree=30854296/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=203256 CPUtime=141.76 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 19464 0 0 0 14167 9 0 0 20 0 1 0 19969929 208134144 45405 33554432000 4194304 5654031 140734691430832 140734691418648 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 50814 45405 142 357 0 50454 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 237812
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/183 9190
/proc/meminfo: memFree=30885264/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=153936 CPUtime=201.74 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 20182 0 0 0 20163 11 0 0 20 0 1 0 19969929 157630464 37060 33554432000 4194304 5654031 140734691430832 140734691418648 4215964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 38484 37060 142 357 0 38124 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 188492
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/183 9190
/proc/meminfo: memFree=30885264/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.90 3/182 9200
/proc/meminfo: memFree=30724556/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=297092 CPUtime=1281.56 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 50577 0 0 0 128083 73 0 0 20 0 1 0 19969929 304222208 62298 33554432000 4194304 5654031 140734691430832 140734691418648 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 74273 62298 142 357 0 73913 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 331648
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/183 9201
/proc/meminfo: memFree=30756308/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=250960 CPUtime=1341.55 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 52798 0 0 0 134078 77 0 0 20 0 1 0 19969929 256983040 55255 33554432000 4194304 5654031 140734691430832 140734691418648 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 62740 55255 142 357 0 62380 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 285516
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 9201
/proc/meminfo: memFree=30744832/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=255864 CPUtime=1401.55 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 54874 0 0 0 140075 80 0 0 20 0 1 0 19969929 262004736 59829 33554432000 4194304 5654031 140734691430832 140734691418648 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 63966 59829 142 357 0 63606 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 290420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9201
/proc/meminfo: memFree=30772328/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=256712 CPUtime=1461.53 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 56280 0 0 0 146070 83 0 0 20 0 1 0 19969929 262873088 61697 33554432000 4194304 5654031 140734691430832 140734691428616 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 64178 61697 142 357 0 63818 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 291268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9201
/proc/meminfo: memFree=30762096/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=309680 CPUtime=1521.52 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 58896 0 0 0 152065 87 0 0 20 0 1 0 19969929 317112320 64224 33554432000 4194304 5654031 140734691430832 140734691428616 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 77420 64224 142 357 0 77060 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 344236
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/184 9204
/proc/meminfo: memFree=30750976/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=313592 CPUtime=1581.5 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 60911 0 0 0 158060 90 0 0 20 0 1 0 19969929 321118208 66878 33554432000 4194304 5654031 140734691430832 140734691418648 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 78398 66878 142 357 0 78038 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 348148
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 9205
/proc/meminfo: memFree=30732744/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=405008 CPUtime=1641.5 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 63232 0 0 0 164056 94 0 0 20 0 1 0 19969929 414728192 83936 33554432000 4194304 5654031 140734691430832 140734691418648 4226812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 101252 83936 142 357 0 100892 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 439564
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 9205
/proc/meminfo: memFree=30764752/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=274780 CPUtime=1701.49 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 64338 0 0 0 170051 98 0 0 20 0 1 0 19969929 281374720 63995 33554432000 4194304 5654031 140734691430832 140734691418648 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 68695 63995 142 357 0 68335 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 309336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9205
/proc/meminfo: memFree=30690392/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=282300 CPUtime=1761.48 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 67324 0 0 0 176047 101 0 0 20 0 1 0 19969929 289075200 67555 33554432000 4194304 5654031 140734691430832 140734691418648 4209087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 70575 67555 142 357 0 70215 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 316856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 9276
/proc/meminfo: memFree=30876752/32873844 swapFree=7108/7108
[pid=9180] ppid=9178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9180/stat : 9180 (npSolver-pbo-It) S 9178 9180 8711 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 19967880 9367552 275 33554432000 4194304 5064252 140734505901472 140734505900384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9180/statm: 2287 275 233 213 0 72 0
[pid=9181] ppid=9180 vsize=25408 CPUtime=20.46 cores=0,2,4,6
/proc/9181/stat : 9181 (npSolver-pbo) S 9180 9180 8711 0 -1 4202496 8952 27600 0 0 35 26 1975 10 20 0 1 0 19967880 26017792 5790 33554432000 4194304 6004724 140733608448880 140733608434728 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9181/statm: 6352 5790 183 442 0 5906 0
[pid=9189] ppid=9181 vsize=335908 CPUtime=1779.57 cores=0,2,4,6
/proc/9189/stat : 9189 (glucosInc) R 9181 9180 8711 0 -1 4202496 69038 0 0 0 177855 102 0 0 20 0 1 0 19969929 343969792 73539 33554432000 4194304 5654031 140734691430832 140734691418648 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9189/statm: 83977 73539 142 357 0 83617 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 370464
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9180 and gives
# childrusage.ru_utime.tv_sec=20
# childrusage.ru_utime.tv_usec=111942
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=371943
# CPU time returned by wait4() is 20.4839
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1798.65
CPU system time (s): 1.38
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 446152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1119
system time used= 0.371943
maximum resident set size= 69596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 71
runsolver used 3.90541 second user time and 9.05662 second system time
The end