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-3747604-1339105436/watcher-3747604-1339105436 -o /tmp/evaluation-result-3747604-1339105436/solver-3747604-1339105436 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747604-1339105436.opb 219276157 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.18 3/178 16489
/proc/meminfo: memFree=28884844/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[startup+0.0417631 s]
/proc/loadavg: 2.00 2.03 2.18 3/178 16489
/proc/meminfo: memFree=28884844/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100223 s]
/proc/loadavg: 2.00 2.03 2.18 3/178 16489
/proc/meminfo: memFree=28884844/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 2.00 2.03 2.18 3/178 16489
/proc/meminfo: memFree=28884844/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 2.00 2.03 2.18 3/178 16489
/proc/meminfo: memFree=28884844/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.03 2.18 3/180 16491
/proc/meminfo: memFree=28793552/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=185964 CPUtime=1.49 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) R 16489 16489 15337 0 -1 4202496 10952 0 0 0 145 4 0 0 20 0 1 0 376669499 190427136 29973 33554432000 4194304 6004724 140733495252368 140733495246968 4536502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16490/statm: 46491 29973 154 442 0 46045 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195112
[startup+3.10028 s]
/proc/loadavg: 2.00 2.03 2.18 3/180 16491
/proc/meminfo: memFree=28721376/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=317068 CPUtime=3.09 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) R 16489 16489 15337 0 -1 4202496 11605 0 0 0 301 8 0 0 20 0 1 0 376669499 324677632 59178 33554432000 4194304 6004724 140733495252368 140733495246968 4579232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16490/statm: 79267 59178 154 442 0 78821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 326216
[startup+6.30029 s]
/proc/loadavg: 2.08 2.05 2.18 3/180 16491
/proc/meminfo: memFree=28468212/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=966508 CPUtime=6.29 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) R 16489 16489 15337 0 -1 4202496 13311 0 0 0 604 25 0 0 20 0 1 0 376669499 989704192 214373 33554432000 4194304 6004724 140733495252368 140733495246968 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16490/statm: 241627 214373 157 442 0 241181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 975656
[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.18 3/182 16493
/proc/meminfo: memFree=27227064/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=6.79 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13318 0 0 0 604 75 0 0 20 0 1 0 376669499 565108736 110718 33554432000 4194304 6004724 140733495252368 140733495246832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110718 163 442 0 137520 0
[pid=16492] ppid=16490 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16492/stat : 16492 (cp2_pre.sh) S 16490 16489 15337 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376670181 9367552 276 33554432000 4194304 5064252 140735125441328 140735125440032 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16492/statm: 2287 276 234 213 0 72 0
[pid=16493] ppid=16492 vsize=894200 CPUtime=5.87 cores=1,3,5,7
/proc/16493/stat : 16493 (coprocessor) R 16492 16489 15337 0 -1 4202496 19141 0 0 0 562 25 0 0 20 0 1 0 376670181 915660800 191694 33554432000 4194304 6586260 140736623403504 140736623399256 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16493/statm: 223550 191694 158 584 0 222962 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1464360
[startup+25.5011 s]
/proc/loadavg: 2.28 2.09 2.19 3/182 16493
/proc/meminfo: memFree=26936112/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=6.79 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13318 0 0 0 604 75 0 0 20 0 1 0 376669499 565108736 110718 33554432000 4194304 6004724 140733495252368 140733495246832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110718 163 442 0 137520 0
[pid=16492] ppid=16490 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16492/stat : 16492 (cp2_pre.sh) S 16490 16489 15337 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376670181 9367552 276 33554432000 4194304 5064252 140735125441328 140735125440032 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16492/statm: 2287 276 234 213 0 72 0
[pid=16493] ppid=16492 vsize=894200 CPUtime=17.95 cores=1,3,5,7
/proc/16493/stat : 16493 (coprocessor) R 16492 16489 15337 0 -1 4202496 19141 0 0 0 1706 89 0 0 20 0 1 0 376670181 915660800 191694 33554432000 4194304 6586260 140736623403504 140736623399256 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 71 0 0
/proc/16493/statm: 223550 191694 158 584 0 222962 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 1464360
[startup+51.1003 s]
/proc/loadavg: 2.24 2.10 2.19 3/181 16495
/proc/meminfo: memFree=27013536/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1171928 CPUtime=22.53 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 136094 0 0 0 2214 39 0 0 20 0 1 0 376672354 1200054272 250872 33554432000 4194304 5654031 140736945009888 140736945007656 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 292982 250872 141 357 0 292622 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 1732940
[startup+102.3 s]
/proc/loadavg: 2.10 2.08 2.18 3/181 16495
/proc/meminfo: memFree=26993560/32873648 swapFree=7376/7376
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1171928 CPUtime=73.72 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 136582 0 0 0 7333 39 0 0 20 0 1 0 376672354 1200054272 254426 33554432000 4194304 5654031 140736945009888 140736945007656 4216272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 292982 254426 141 357 0 292622 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 1732940
[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.17 3/181 16496
/proc/meminfo: memFree=27008184/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1171928 CPUtime=133.72 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 136588 0 0 0 13332 40 0 0 20 0 1 0 376672354 1200054272 257498 33554432000 4194304 5654031 140736945009888 140736944997704 4232611 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 292982 257498 141 357 0 292622 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 1732940
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.16 3/181 16496
/proc/meminfo: memFree=26993600/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1171928 CPUtime=193.71 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 136591 0 0 0 19331 40 0 0 20 0 1 0 376672354 1200054272 259034 33554432000 4194304 5654031 140736945009888 140736944997704 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 292982 259034 141 357 0 292622 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 1732940
[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.14 3/181 16496
/proc/meminfo: memFree=26971136/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.03 3/181 16671
/proc/meminfo: memFree=27114324/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1244604 CPUtime=1273.49 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 142841 0 0 0 127303 46 0 0 20 0 1 0 376672354 1274474496 277856 33554432000 4194304 5654031 140736945009888 140736944997704 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 311151 277856 142 357 0 310791 0
Current children cumulated CPU time (s) 1301.26
Current children cumulated vsize (KiB) 1805616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 16671
/proc/meminfo: memFree=27076612/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1244604 CPUtime=1333.48 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 142848 0 0 0 133302 46 0 0 20 0 1 0 376672354 1274474496 280929 33554432000 4194304 5654031 140736945009888 140736944997704 4232462 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 311151 280929 142 357 0 310791 0
Current children cumulated CPU time (s) 1361.25
Current children cumulated vsize (KiB) 1805616
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 16672
/proc/meminfo: memFree=27006148/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1253376 CPUtime=1393.48 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 143365 0 0 0 139301 47 0 0 20 0 1 0 376672354 1283457024 284512 33554432000 4194304 5654031 140736945009888 140736944997704 4214505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 313344 284512 142 357 0 312984 0
Current children cumulated CPU time (s) 1421.25
Current children cumulated vsize (KiB) 1814388
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/181 16672
/proc/meminfo: memFree=26987320/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1468300 CPUtime=1453.46 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 143809 0 0 0 145297 49 0 0 20 0 1 0 376672354 1503539200 286996 33554432000 4194304 5654031 140736945009888 140736944997704 4214632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 367075 286996 142 357 0 366715 0
Current children cumulated CPU time (s) 1481.23
Current children cumulated vsize (KiB) 2029312
[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/181 16672
/proc/meminfo: memFree=27008208/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1468300 CPUtime=1513.46 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 143814 0 0 0 151296 50 0 0 20 0 1 0 376672354 1503539200 288534 33554432000 4194304 5654031 140736945009888 140736944997704 4208619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 367075 288534 142 357 0 366715 0
Current children cumulated CPU time (s) 1541.23
Current children cumulated vsize (KiB) 2029312
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/182 16675
/proc/meminfo: memFree=26965128/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1468300 CPUtime=1573.45 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 143817 0 0 0 157295 50 0 0 20 0 1 0 376672354 1503539200 290070 33554432000 4194304 5654031 140736945009888 140736944997704 4232833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 367075 290070 142 357 0 366715 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 2029312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16675
/proc/meminfo: memFree=27004264/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1264840 CPUtime=1633.44 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 144638 0 0 0 163288 56 0 0 20 0 1 0 376672354 1295196160 273958 33554432000 4194304 5654031 140736945009888 140736944997704 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 316210 273958 142 357 0 315850 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 1825852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16676
/proc/meminfo: memFree=26981400/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1264840 CPUtime=1693.43 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 144644 0 0 0 169287 56 0 0 20 0 1 0 376672354 1295196160 275494 33554432000 4194304 5654031 140736945009888 140736944997704 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 316210 275494 142 357 0 315850 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 1825852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16676
/proc/meminfo: memFree=26957540/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1264980 CPUtime=1753.43 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 144969 0 0 0 175287 56 0 0 20 0 1 0 376672354 1295339520 278374 33554432000 4194304 5654031 140736945009888 140736944997704 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 316245 278374 142 357 0 315885 0
Current children cumulated CPU time (s) 1781.2
Current children cumulated vsize (KiB) 1825992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16677
/proc/meminfo: memFree=27031432/32873648 swapFree=7372/7372
[pid=16489] ppid=16487 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (npSolver-pbo-It) S 16487 16489 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376669499 9367552 274 33554432000 4194304 5064252 140737301577264 140737301576176 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16489/statm: 2287 274 233 213 0 72 0
[pid=16490] ppid=16489 vsize=551864 CPUtime=27.77 cores=1,3,5,7
/proc/16490/stat : 16490 (npSolver-pbo) S 16489 16489 15337 0 -1 4202496 13337 20042 0 0 604 75 1981 117 20 0 1 0 376669499 565108736 110722 33554432000 4194304 6004724 140733495252368 140733495238648 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/16490/statm: 137966 110722 167 442 0 137520 0
[pid=16495] ppid=16490 vsize=1264980 CPUtime=1772.32 cores=1,3,5,7
/proc/16495/stat : 16495 (glucosInc) R 16490 16489 15337 0 -1 4202496 144978 0 0 0 177176 56 0 0 20 0 1 0 376672354 1295339520 279405 33554432000 4194304 5654031 140736945009888 140736944997704 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16495/statm: 316245 279405 142 357 0 315885 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1825992
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 16489 and gives
# childrusage.ru_utime.tv_sec=25
# childrusage.ru_utime.tv_usec=859068
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=933706
# CPU time returned by wait4() is 27.7928
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.09
CPU user time (s): 1797.61
CPU system time (s): 2.48
CPU usage (%): 99.9375
Max. virtual memory (cumulated for all children) (KiB): 2373188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8591
system time used= 1.93371
maximum resident set size= 857492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33753
page faults= 0
swaps= 0
block input operations= 40
block output operations= 1625888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 37
runsolver used 3.18851 second user time and 8.92764 second system time
The end