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-3700067-1338120616/watcher-3700067-1338120616 -o /tmp/evaluation-result-3700067-1338120616/solver-3700067-1338120616 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700067-1338120616.opb 734408237 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: 3.78 3.24 2.68 3/179 18460
/proc/meminfo: memFree=30024540/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[startup+0.10361 s]
/proc/loadavg: 3.78 3.24 2.68 3/179 18460
/proc/meminfo: memFree=30024540/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200311 s]
/proc/loadavg: 3.78 3.24 2.68 3/179 18460
/proc/meminfo: memFree=30024540/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300312 s]
/proc/loadavg: 3.78 3.24 2.68 3/179 18460
/proc/meminfo: memFree=30024540/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700321 s]
/proc/loadavg: 3.78 3.24 2.68 3/179 18460
/proc/meminfo: memFree=30024540/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 3.64 3.21 2.68 3/183 18464
/proc/meminfo: memFree=29910928/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=62296 CPUtime=0.86 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 10496 0 0 0 79 7 0 0 20 0 1 0 278186114 63791104 14061 33554432000 4194304 5992684 140737096952432 140737096946880 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 15574 14061 174 440 0 15130 0
[pid=18463] ppid=18461 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18463/stat : 18463 (cp2_pre.sh) S 18461 18460 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278186200 9367552 276 33554432000 4194304 5064252 140736609140720 140736609139424 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18463/statm: 2287 276 234 213 0 72 0
[pid=18464] ppid=18463 vsize=127364 CPUtime=0.61 cores=1,3,5,7
/proc/18464/stat : 18464 (coprocessor) R 18463 18460 18146 0 -1 4202496 21805 0 0 0 57 4 0 0 20 0 1 0 278186201 130420736 28730 33554432000 4194304 6586260 140735301241232 140735301237992 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18464/statm: 31841 28730 166 584 0 31253 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 207956
[startup+3.10045 s]
/proc/loadavg: 3.64 3.21 2.68 3/183 18464
/proc/meminfo: memFree=29799604/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=62296 CPUtime=0.86 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 10496 0 0 0 79 7 0 0 20 0 1 0 278186114 63791104 14061 33554432000 4194304 5992684 140737096952432 140737096946880 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 15574 14061 174 440 0 15130 0
[pid=18463] ppid=18461 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18463/stat : 18463 (cp2_pre.sh) S 18461 18460 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278186200 9367552 276 33554432000 4194304 5064252 140736609140720 140736609139424 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18463/statm: 2287 276 234 213 0 72 0
[pid=18464] ppid=18463 vsize=175552 CPUtime=2.21 cores=1,3,5,7
/proc/18464/stat : 18464 (coprocessor) R 18463 18460 18146 0 -1 4202496 31903 0 0 0 214 7 0 0 20 0 1 0 278186201 179765248 42701 33554432000 4194304 6586260 140735301241232 140735301237256 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18464/statm: 43888 42701 204 584 0 43300 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 256144
[startup+6.30039 s]
/proc/loadavg: 3.51 3.19 2.67 3/182 18466
/proc/meminfo: memFree=29891948/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=62296 CPUtime=3.62 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 10512 32805 0 0 79 7 264 12 20 0 1 0 278186114 63791104 14063 33554432000 4194304 5992684 140737096952432 140737096938696 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 15574 14063 176 440 0 15130 0
[pid=18466] ppid=18461 vsize=78564 CPUtime=2.65 cores=1,3,5,7
/proc/18466/stat : 18466 (glucosInc) R 18461 18460 18146 0 -1 4202496 14863 0 0 0 262 3 0 0 20 0 1 0 278186478 80449536 15779 33554432000 4194304 5654031 140734025531344 140734025529432 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18466/statm: 19641 15779 140 357 0 19281 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 150008
[startup+12.7003 s]
/proc/loadavg: 3.39 3.17 2.67 3/182 18466
/proc/meminfo: memFree=29886636/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=62296 CPUtime=3.62 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 10512 32805 0 0 79 7 264 12 20 0 1 0 278186114 63791104 14063 33554432000 4194304 5992684 140737096952432 140737096938696 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 15574 14063 176 440 0 15130 0
[pid=18466] ppid=18461 vsize=78876 CPUtime=9.04 cores=1,3,5,7
/proc/18466/stat : 18466 (glucosInc) R 18461 18460 18146 0 -1 4202496 15044 0 0 0 901 3 0 0 20 0 1 0 278186478 80769024 16470 33554432000 4194304 5654031 140734025531344 140734025528952 4215327 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18466/statm: 19719 16470 140 357 0 19359 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 150320
[startup+25.5005 s]
/proc/loadavg: 3.08 3.12 2.66 3/182 18469
/proc/meminfo: memFree=29858664/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=14.97 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 13909 49113 0 0 109 78 1290 20 20 0 1 0 278186114 73359360 16057 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16057 186 440 0 17466 0
[pid=18469] ppid=18461 vsize=83424 CPUtime=10.48 cores=1,3,5,7
/proc/18469/stat : 18469 (glucosInc) R 18461 18460 18146 0 -1 4202496 16585 0 0 0 1045 3 0 0 20 0 1 0 278187613 85426176 17754 33554432000 4194304 5654031 140735305330816 140735305318632 4208694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18469/statm: 20856 17754 142 357 0 20496 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 164212
[startup+51.1005 s]
/proc/loadavg: 2.71 3.03 2.64 3/182 18469
/proc/meminfo: memFree=29846928/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=14.97 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 13909 49113 0 0 109 78 1290 20 20 0 1 0 278186114 73359360 16057 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16057 186 440 0 17466 0
[pid=18469] ppid=18461 vsize=134116 CPUtime=36.08 cores=1,3,5,7
/proc/18469/stat : 18469 (glucosInc) R 18461 18460 18146 0 -1 4202496 19302 0 0 0 3603 5 0 0 20 0 1 0 278187613 137334784 29294 33554432000 4194304 5654031 140735305330816 140735305318632 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18469/statm: 33529 29294 142 357 0 33169 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 214904
[startup+102.3 s]
/proc/loadavg: 2.31 2.87 2.60 3/181 18469
/proc/meminfo: memFree=29799416/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=14.97 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 13909 49113 0 0 109 78 1290 20 20 0 1 0 278186114 73359360 16057 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16057 186 440 0 17466 0
[pid=18469] ppid=18461 vsize=183436 CPUtime=87.28 cores=1,3,5,7
/proc/18469/stat : 18469 (glucosInc) R 18461 18460 18146 0 -1 4202496 19912 0 0 0 8721 7 0 0 20 0 1 0 278187613 187838464 39822 33554432000 4194304 5654031 140735305330816 140735305318632 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18469/statm: 45859 39822 142 357 0 45499 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 264224
[startup+162.3 s]
/proc/loadavg: 2.11 2.70 2.56 3/181 18470
/proc/meminfo: memFree=29830024/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=14.97 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 13909 49113 0 0 109 78 1290 20 20 0 1 0 278186114 73359360 16057 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16057 186 440 0 17466 0
[pid=18469] ppid=18461 vsize=134116 CPUtime=147.27 cores=1,3,5,7
/proc/18469/stat : 18469 (glucosInc) R 18461 18460 18146 0 -1 4202496 20828 0 0 0 14718 9 0 0 20 0 1 0 278187613 137334784 30832 33554432000 4194304 5654031 140735305330816 140735305318632 4216285 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18469/statm: 33529 30832 142 357 0 33169 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 214904
[startup+222.307 s]
/proc/loadavg: 2.04 2.57 2.53 3/181 18470
/proc/meminfo: memFree=29770232/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=14.97 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 13909 49113 0 0 109 78 1290 20 20 0 1 0 278186114 73359360 16057 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16057 186 440 0 17466 0
[pid=18469] ppid=18461 vsize=183436 CPUtime=207.27 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.14 3/181 18571
/proc/meminfo: memFree=30606388/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=183104 CPUtime=344.92 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 22704 0 0 0 34469 23 0 0 20 0 1 0 278287842 187498496 40363 33554432000 4194304 5654031 140734604115888 140734604103704 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 45776 40363 142 357 0 45416 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 263892
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/181 18571
/proc/meminfo: memFree=30580092/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=404.92 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 23991 0 0 0 40465 27 0 0 20 0 1 0 278287842 219058176 46861 33554432000 4194304 5654031 140734604115888 140734604103704 4208641 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 53481 46861 142 357 0 53121 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 294712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/181 18571
/proc/meminfo: memFree=30604388/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=183104 CPUtime=464.9 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 24795 0 0 0 46460 30 0 0 20 0 1 0 278287842 187498496 43722 33554432000 4194304 5654031 140734604115888 140734604103704 4215648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 45776 43722 142 357 0 45416 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 263892
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.11 3/181 18571
/proc/meminfo: memFree=30584112/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=524.89 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 26097 0 0 0 52456 33 0 0 20 0 1 0 278287842 219058176 48397 33554432000 4194304 5654031 140734604115888 140734604103704 4232703 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 53481 48397 142 357 0 53121 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 294712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/182 18572
/proc/meminfo: memFree=30610820/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=183104 CPUtime=584.88 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 26912 0 0 0 58451 37 0 0 20 0 1 0 278287842 187498496 41674 33554432000 4194304 5654031 140734604115888 140734604103704 4232912 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 45776 41674 142 357 0 45416 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 263892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 18573
/proc/meminfo: memFree=30596448/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=644.87 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 28212 0 0 0 64447 40 0 0 20 0 1 0 278287842 219058176 44813 33554432000 4194304 5654031 140734604115888 140734604103704 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 53481 44813 142 357 0 53121 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 294712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 18573
/proc/meminfo: memFree=30587980/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=704.85 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 29757 0 0 0 70441 44 0 0 20 0 1 0 278287842 219058176 46861 33554432000 4194304 5654031 140734604115888 140734604103704 4216075 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18566/statm: 53481 46861 142 357 0 53121 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 294712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 18573
/proc/meminfo: memFree=30582320/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=764.84 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 31294 0 0 0 76436 48 0 0 20 0 1 0 278287842 219058176 47373 33554432000 4194304 5654031 140734604115888 140734604103704 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18566/statm: 53481 47373 142 357 0 53121 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 294712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.07 3/182 18576
/proc/meminfo: memFree=30572072/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=782.95 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 31300 0 0 0 78246 49 0 0 20 0 1 0 278287842 219058176 50445 33554432000 4194304 5654031 140734604115888 140734604103704 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18566/statm: 53481 50445 142 357 0 53121 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 294712
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.07 3/182 18576
/proc/meminfo: memFree=30572072/32873844 swapFree=7900/7900
[pid=18460] ppid=18458 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18460/stat : 18460 (npSolver-pbo-I.) S 18458 18460 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278186113 9367552 275 33554432000 4194304 5064252 140734224902528 140734224901440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18460/statm: 2287 275 233 213 0 72 0
[pid=18461] ppid=18460 vsize=71640 CPUtime=1017.08 cores=1,3,5,7
/proc/18461/stat : 18461 (npSolver-pbo) S 18460 18460 18146 0 -1 4202496 16169 88074 0 0 113 79 101441 75 20 0 1 0 278186114 73359360 16058 33554432000 4194304 5992684 140737096952432 140737096937336 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18461/statm: 17910 16058 186 440 0 17466 0
[pid=18566] ppid=18461 vsize=213924 CPUtime=782.95 cores=1,3,5,7
/proc/18566/stat : 18566 (glucosInc) R 18461 18460 18146 0 -1 4202496 31300 0 0 0 78246 49 0 0 20 0 1 0 278287842 219058176 50445 33554432000 4194304 5654031 140734604115888 140734604103704 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18566/statm: 53481 50445 142 357 0 53121 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 294712
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18460 and gives
# childrusage.ru_utime.tv_sec=1015
# childrusage.ru_utime.tv_usec=550612
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=553763
# CPU time returned by wait4() is 1017.1
# 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.42
CPU time (s): 1800.03
CPU user time (s): 1798
CPU system time (s): 2.03
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 394120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1015.55
system time used= 1.55376
maximum resident set size= 233460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 172720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 430
involuntary context switches= 1109
runsolver used 3.44848 second user time and 8.96964 second system time
The end