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-3747995-1339123554/watcher-3747995-1339123554 -o /tmp/evaluation-result-3747995-1339123554/solver-3747995-1339123554 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747995-1339123554.opb 334881092 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1971
/proc/meminfo: memFree=31659796/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[startup+0.0205681 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1971
/proc/meminfo: memFree=31659796/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1971
/proc/meminfo: memFree=31659796/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1971
/proc/meminfo: memFree=31659796/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1971
/proc/meminfo: memFree=31659796/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 1977
/proc/meminfo: memFree=31631396/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=11828 CPUtime=1.36 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 3003 0 0 0 136 0 0 0 20 0 1 0 378479861 12111872 2276 33554432000 4194304 5654031 140734680856240 140734680854024 4215124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 2957 2276 132 357 0 2597 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 24272
[startup+3.10037 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 1977
/proc/meminfo: memFree=31619664/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=35368 CPUtime=2.96 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 4491 0 0 0 295 1 0 0 20 0 1 0 378479861 36216832 7851 33554432000 4194304 5654031 140734680856240 140734680854024 4215188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 8842 7851 132 357 0 8482 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47812
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 1977
/proc/meminfo: memFree=31589544/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=65644 CPUtime=6.16 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 6621 0 0 0 613 3 0 0 20 0 1 0 378479861 67219456 11658 33554432000 4194304 5654031 140734680856240 140734680854264 4215910 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 16411 11658 132 357 0 16051 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 78088
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 1977
/proc/meminfo: memFree=31519980/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=65644 CPUtime=12.56 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 7410 0 0 0 1251 5 0 0 20 0 1 0 378479861 67219456 11658 33554432000 4194304 5654031 140734680856240 140734680854168 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 16411 11658 132 357 0 16051 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 78088
[startup+25.5004 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 1977
/proc/meminfo: memFree=31577084/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=145784 CPUtime=25.35 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 10276 0 0 0 2526 9 0 0 20 0 1 0 378479861 149282816 24318 33554432000 4194304 5654031 140734680856240 140734680854168 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 36446 24318 132 357 0 36086 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 158228
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1977
/proc/meminfo: memFree=31489020/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=114964 CPUtime=50.96 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 13033 0 0 0 5080 16 0 0 20 0 1 0 378479861 117723136 23808 33554432000 4194304 5654031 140734680856240 140734680854168 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 28741 23808 132 357 0 28381 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 127408
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1978
/proc/meminfo: memFree=31453360/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=145784 CPUtime=102.16 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 20125 0 0 0 10184 32 0 0 20 0 1 0 378479861 149282816 24917 33554432000 4194304 5654031 140734680856240 140734680854328 4217216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 36446 24917 132 357 0 36086 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158228
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 1978
/proc/meminfo: memFree=31413332/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=195872 CPUtime=162.13 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 25475 0 0 0 16169 44 0 0 20 0 1 0 378479861 200572928 36012 33554432000 4194304 5654031 140734680856240 140734680854328 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 48968 36012 132 357 0 48608 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 208316
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 1978
/proc/meminfo: memFree=31439108/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=145784 CPUtime=222.12 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 30718 0 0 0 22157 55 0 0 20 0 1 0 378479861 149282816 27477 33554432000 4194304 5654031 140734680856240 140734680854328 4215061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 36446 27477 132 357 0 36086 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 158228
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 2012
/proc/meminfo: memFree=31083424/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=277260 CPUtime=1301.89 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 73286 0 0 0 129998 191 0 0 20 0 1 0 378479861 283914240 59649 33554432000 4194304 5654031 140734680856240 140734680854328 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 69315 59649 132 357 0 68955 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 289704
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2012
/proc/meminfo: memFree=31193872/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=195872 CPUtime=1361.88 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 74074 0 0 0 135991 197 0 0 20 0 1 0 378479861 200572928 42542 33554432000 4194304 5654031 140734680856240 140734680854264 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 48968 42542 132 357 0 48608 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 208316
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2012
/proc/meminfo: memFree=31278708/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=195872 CPUtime=1421.88 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 75382 0 0 0 141985 203 0 0 20 0 1 0 378479861 200572928 42518 33554432000 4194304 5654031 140734680856240 140734680854264 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 48968 42518 132 357 0 48608 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 208316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2015
/proc/meminfo: memFree=31224200/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=409520 CPUtime=1481.86 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 76609 0 0 0 147979 207 0 0 20 0 1 0 378479861 419348480 84111 33554432000 4194304 5654031 140734680856240 140734680854328 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 102380 84111 132 357 0 102020 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 421964
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 2015
/proc/meminfo: memFree=31045832/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=277260 CPUtime=1541.85 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 77536 0 0 0 153970 215 0 0 20 0 1 0 378479861 283914240 63678 33554432000 4194304 5654031 140734680856240 140734680854328 4216529 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 69315 63678 132 357 0 68955 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 289704
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 2016
/proc/meminfo: memFree=31224176/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=277260 CPUtime=1601.85 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 79190 0 0 0 159963 222 0 0 20 0 1 0 378479861 283914240 46524 33554432000 4194304 5654031 140734680856240 140734680854328 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 69315 46524 132 357 0 68955 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 289704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2016
/proc/meminfo: memFree=31374156/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=195872 CPUtime=1661.84 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 80500 0 0 0 165955 229 0 0 20 0 1 0 378479861 200572928 39446 33554432000 4194304 5654031 140734680856240 140734680854264 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 48968 39446 132 357 0 48608 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 208316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2016
/proc/meminfo: memFree=30908400/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=409520 CPUtime=1721.82 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 81733 0 0 0 171949 233 0 0 20 0 1 0 378479861 419348480 84623 33554432000 4194304 5654031 140734680856240 140734680854328 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 102380 84623 132 357 0 102020 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 421964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2113
/proc/meminfo: memFree=31566904/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=277260 CPUtime=1781.82 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 82912 0 0 0 177943 239 0 0 20 0 1 0 378479861 283914240 44988 33554432000 4194304 5654031 140734680856240 140734680854328 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 69315 44988 132 357 0 68955 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 289704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2113
/proc/meminfo: memFree=31475368/32873844 swapFree=6904/6904
[pid=1971] ppid=1969 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1971/stat : 1971 (npSolver-pbo-I.) S 1969 1971 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378479848 9367552 274 33554432000 4194304 5064252 140735668842480 140735668841392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1971/statm: 2287 274 233 213 0 72 0
[pid=1972] ppid=1971 vsize=3296 CPUtime=0.1 cores=1,3,5,7
/proc/1972/stat : 1972 (npSolver-pbo) S 1971 1971 30741 0 -1 4202496 1515 3046 0 0 1 0 9 0 20 0 1 0 378479848 3375104 454 33554432000 4194304 6004724 140735282465024 140735282451304 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1972/statm: 824 454 152 442 0 378 0
[pid=1977] ppid=1972 vsize=409520 CPUtime=1799.92 cores=1,3,5,7
/proc/1977/stat : 1977 (glucosInc) R 1972 1971 30741 0 -1 4202496 83465 0 0 0 179752 240 0 0 20 0 1 0 378479861 419348480 66492 33554432000 4194304 5654031 140734680856240 140734680854328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1977/statm: 102380 66492 132 357 0 102020 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 421964
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 1971 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=110983
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.12698
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1797.62
CPU system time (s): 2.4
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 767116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.110983
system time used= 0.015997
maximum resident set size= 30072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 3.19851 second user time and 8.5277 second system time
The end