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-3699342-1338133142/watcher-3699342-1338133142 -o /tmp/evaluation-result-3699342-1338133142/solver-3699342-1338133142 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699342-1338133142.opb 2009662252 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.00 2.02 2.00 3/178 12962
/proc/meminfo: memFree=29784896/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[startup+0.034278 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12962
/proc/meminfo: memFree=29784896/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12962
/proc/meminfo: memFree=29784896/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/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.02 2.00 3/178 12962
/proc/meminfo: memFree=29784896/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70017 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12962
/proc/meminfo: memFree=29784896/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 12966
/proc/meminfo: memFree=29615700/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=30340 CPUtime=0.35 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 6100 0 0 0 32 3 0 0 20 0 1 0 279438314 31068160 6587 33554432000 4194304 5992684 140737021543056 140737021537504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12963/statm: 7585 6587 172 440 0 7141 0
[pid=12965] ppid=12963 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (cp2_pre.sh) S 12963 12962 11017 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279438350 9367552 276 33554432000 4194304 5064252 140734876642144 140734876640848 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12965/statm: 2287 276 234 213 0 72 0
[pid=12966] ppid=12965 vsize=153432 CPUtime=1.12 cores=0,2,4,6
/proc/12966/stat : 12966 (coprocessor) R 12965 12962 11017 0 -1 4202496 28210 0 0 0 107 5 0 0 20 0 1 0 279438350 157114368 37179 33554432000 4194304 6586260 140733461165552 140733461161576 4753768 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/12966/statm: 38358 37179 182 584 0 37770 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 202068
[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 12966
/proc/meminfo: memFree=29561300/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=30340 CPUtime=2.5 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 6115 34231 0 0 32 3 187 28 20 0 1 0 279438314 31068160 6589 33554432000 4194304 5992684 140737021543056 140737021529320 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12963/statm: 7585 6589 174 440 0 7141 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 39488
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 12969
/proc/meminfo: memFree=29694032/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=190300 CPUtime=5.93 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) R 12962 12962 11017 0 -1 4202496 14372 50785 0 0 158 77 323 35 20 0 1 0 279438314 194867200 33065 33554432000 4194304 5992684 140737021543056 140737021534840 4525041 0 0 4096 0 0 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 47575 33065 192 440 0 47131 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 199448
[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12971
/proc/meminfo: memFree=29344980/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=59228 CPUtime=6.24 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 14972 51302 0 0 175 89 323 37 20 0 1 0 279438314 60649472 13802 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 14807 13802 192 440 0 14363 0
[pid=12971] ppid=12963 vsize=331764 CPUtime=6.06 cores=0,2,4,6
/proc/12971/stat : 12971 (glucosInc) R 12963 12962 11017 0 -1 4202496 51345 0 0 0 592 14 0 0 20 0 1 0 279438976 339726336 67806 33554432000 4194304 5654031 140733610919392 140733610907208 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12971/statm: 82941 67806 140 357 0 82581 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 400140
[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 12971
/proc/meminfo: memFree=29345748/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=59228 CPUtime=6.24 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 14972 51302 0 0 175 89 323 37 20 0 1 0 279438314 60649472 13802 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 14807 13802 192 440 0 14363 0
[pid=12971] ppid=12963 vsize=331764 CPUtime=18.85 cores=0,2,4,6
/proc/12971/stat : 12971 (glucosInc) R 12963 12962 11017 0 -1 4202496 51345 0 0 0 1871 14 0 0 20 0 1 0 279438976 339726336 67806 33554432000 4194304 5654031 140733610919392 140733610907208 4208717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12971/statm: 82941 67806 140 357 0 82581 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 400140
[startup+51.1004 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 12971
/proc/meminfo: memFree=29340164/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=59228 CPUtime=6.24 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 14972 51302 0 0 175 89 323 37 20 0 1 0 279438314 60649472 13802 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 14807 13802 192 440 0 14363 0
[pid=12971] ppid=12963 vsize=332872 CPUtime=44.46 cores=0,2,4,6
/proc/12971/stat : 12971 (glucosInc) R 12963 12962 11017 0 -1 4202496 51764 0 0 0 4431 15 0 0 20 0 1 0 279438976 340860928 69247 33554432000 4194304 5654031 140733610919392 140733610907208 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12971/statm: 83218 69247 141 357 0 82858 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 401248
[startup+102.307 s]
/proc/loadavg: 2.11 2.05 2.01 3/182 12978
/proc/meminfo: memFree=29461644/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=223940 CPUtime=21.7 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 40892 0 0 0 2161 9 0 0 20 0 1 0 279446373 229314560 50093 33554432000 4194304 5654031 140736835972048 140736835959864 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 55985 50093 141 357 0 55625 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 279100
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 12978
/proc/meminfo: memFree=29438516/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=256748 CPUtime=81.68 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 44741 0 0 0 8154 14 0 0 20 0 1 0 279446373 262909952 56325 33554432000 4194304 5654031 140736835972048 140736835969832 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 64187 56325 141 357 0 63827 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 311908
[startup+222.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 12978
/proc/meminfo: memFree=29398916/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=309924 CPUtime=141.65 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 48037 0 0 0 14144 21 0 0 20 0 1 0 279446373 317362176 65641 33554432000 4194304 5654031 140736835972048 140736835959864 4216315 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 77481 65641 141 357 0 77121 0
Current children cumulated CPU time (s) 221.88
Current children cumulated vsize (KiB) 365084
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 12979
/proc/meminfo: memFree=29442232/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/182 13037
/proc/meminfo: memFree=28600064/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=336688 CPUtime=1221.46 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 64045 0 0 0 122093 53 0 0 20 0 1 0 279446373 344768512 73413 33554432000 4194304 5654031 140736835972048 140736835959864 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 84172 73413 141 357 0 83812 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 391848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13060
/proc/meminfo: memFree=28618928/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=288356 CPUtime=1281.45 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 64824 0 0 0 128090 55 0 0 20 0 1 0 279446373 295276544 64337 33554432000 4194304 5654031 140736835972048 140736835959864 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 72089 64337 141 357 0 71729 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 343516
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13060
/proc/meminfo: memFree=28567204/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=340928 CPUtime=1341.45 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 65757 0 0 0 134089 56 0 0 20 0 1 0 279446373 349110272 71400 33554432000 4194304 5654031 140736835972048 140736835959864 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 85232 71400 141 357 0 84872 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 396088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13061
/proc/meminfo: memFree=28565800/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=340928 CPUtime=1401.43 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 65766 0 0 0 140087 56 0 0 20 0 1 0 279446373 349110272 76008 33554432000 4194304 5654031 140736835972048 140736835959864 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 85232 76008 141 357 0 84872 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 396088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13061
/proc/meminfo: memFree=28619000/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=340928 CPUtime=1461.42 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 66561 0 0 0 146083 59 0 0 20 0 1 0 279446373 349110272 74084 33554432000 4194304 5654031 140736835972048 140736835959864 4215030 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 85232 74084 141 357 0 84872 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 396088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13061
/proc/meminfo: memFree=28534376/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=345416 CPUtime=1521.41 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 69285 0 0 0 152076 65 0 0 20 0 1 0 279446373 353705984 71365 33554432000 4194304 5654031 140736835972048 140736835969832 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 86354 71365 141 357 0 85994 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 400576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13061
/proc/meminfo: memFree=28574900/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=351660 CPUtime=1581.39 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 73483 0 0 0 158063 76 0 0 20 0 1 0 279446373 360099840 75546 33554432000 4194304 5654031 140736835972048 140736835970136 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 87915 75546 141 357 0 87555 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 406820
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13062
/proc/meminfo: memFree=28577100/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=357320 CPUtime=1641.37 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 76015 0 0 0 164057 80 0 0 20 0 1 0 279446373 365895680 73117 33554432000 4194304 5654031 140736835972048 140736835959864 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 89330 73117 141 357 0 88970 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 412480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13063
/proc/meminfo: memFree=28560224/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=357320 CPUtime=1701.36 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 76020 0 0 0 170056 80 0 0 20 0 1 0 279446373 365895680 75677 33554432000 4194304 5654031 140736835972048 140736835959864 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 89330 75677 141 357 0 88970 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 412480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13063
/proc/meminfo: memFree=28553708/32873648 swapFree=7368/7368
[pid=12962] ppid=12960 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12962/stat : 12962 (npSolver-pbo-I.) S 12960 12962 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279438314 9367552 275 33554432000 4194304 5064252 140735692933648 140735692932560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12962/statm: 2287 275 233 213 0 72 0
[pid=12963] ppid=12962 vsize=46012 CPUtime=80.23 cores=0,2,4,6
/proc/12963/stat : 12963 (npSolver-pbo) S 12962 12962 11017 0 -1 4202496 30252 148909 0 0 363 115 7473 72 20 0 1 0 279438314 47116288 10530 33554432000 4194304 5992684 140737021543056 140737021527960 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 11 0 0
/proc/12963/statm: 11503 10530 192 440 0 11059 0
[pid=12978] ppid=12963 vsize=359136 CPUtime=1719.85 cores=0,2,4,6
/proc/12978/stat : 12978 (glucosInc) R 12963 12962 11017 0 -1 4202496 76139 0 0 0 171905 80 0 0 20 0 1 0 279446373 367755264 76818 33554432000 4194304 5654031 140736835972048 140736835969816 4232912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12978/statm: 89784 76818 141 357 0 89424 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 414296
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 12962 and gives
# childrusage.ru_utime.tv_sec=78
# childrusage.ru_utime.tv_usec=369086
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=886713
# CPU time returned by wait4() is 80.2558
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.81
CPU time (s): 1800.08
CPU user time (s): 1797.41
CPU system time (s): 2.67
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 571352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.3691
system time used= 1.88671
maximum resident set size= 336276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 574712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2874
involuntary context switches= 148
runsolver used 2.84357 second user time and 7.2579 second system time
The end