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-3699482-1338049646/watcher-3699482-1338049646 -o /tmp/evaluation-result-3699482-1338049646/solver-3699482-1338049646 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699482-1338049646.opb 1439307637 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.05 1.52 1.80 3/170 5424
/proc/meminfo: memFree=29497032/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[startup+0.0473281 s]
/proc/loadavg: 1.05 1.52 1.80 3/170 5424
/proc/meminfo: memFree=29497032/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100357 s]
/proc/loadavg: 1.05 1.52 1.80 3/170 5424
/proc/meminfo: memFree=29497032/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300301 s]
/proc/loadavg: 1.05 1.52 1.80 3/170 5424
/proc/meminfo: memFree=29497032/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700297 s]
/proc/loadavg: 1.05 1.52 1.80 3/170 5424
/proc/meminfo: memFree=29497032/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.05 1.52 1.80 3/180 5434
/proc/meminfo: memFree=29325952/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=0.97 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17035 0 0 0 92 5 0 0 20 0 1 0 271090035 64409600 14895 33554432000 4194304 5992684 140734632613104 140734632607552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14895 178 440 0 15281 0
[pid=5433] ppid=5429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5433/stat : 5433 (cp2_pre.sh) S 5429 5424 5385 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271090133 9367552 276 33554432000 4194304 5064252 140736157975088 140736157973792 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5433/statm: 2287 276 234 213 0 72 0
[pid=5434] ppid=5433 vsize=102404 CPUtime=0.51 cores=1,3,5,7
/proc/5434/stat : 5434 (coprocessor) R 5433 5424 5385 0 -1 4202496 17962 0 0 0 47 4 0 0 20 0 1 0 271090134 104861696 23070 33554432000 4194304 6586260 140735794969488 140735794965816 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5434/statm: 25601 23071 166 584 0 25013 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 183600
[startup+3.10032 s]
/proc/loadavg: 1.20 1.55 1.81 3/182 5436
/proc/meminfo: memFree=29079900/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=3.03 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17050 25125 0 0 92 5 197 9 20 0 1 0 271090035 64409600 14897 33554432000 4194304 5992684 140734632613104 140734632599368 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14897 180 440 0 15281 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 72048
[startup+6.30033 s]
/proc/loadavg: 1.20 1.55 1.81 3/179 5443
/proc/meminfo: memFree=29198952/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=3.03 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17050 25125 0 0 92 5 197 9 20 0 1 0 271090035 64409600 14897 33554432000 4194304 5992684 140734632613104 140734632599368 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14897 180 440 0 15281 0
[pid=5440] ppid=5429 vsize=68408 CPUtime=3.23 cores=1,3,5,7
/proc/5440/stat : 5440 (glucosInc) R 5429 5424 5385 0 -1 4202496 13329 0 0 0 321 2 0 0 20 0 1 0 271090341 70049792 14366 33554432000 4194304 5654031 140734655789104 140734655776920 4218171 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5440/statm: 17102 14366 140 357 0 16742 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 140456
[startup+12.7004 s]
/proc/loadavg: 1.33 1.56 1.81 3/179 5445
/proc/meminfo: memFree=29192628/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=3.03 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17050 25125 0 0 92 5 197 9 20 0 1 0 271090035 64409600 14897 33554432000 4194304 5992684 140734632613104 140734632599368 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14897 180 440 0 15281 0
[pid=5440] ppid=5429 vsize=69692 CPUtime=9.63 cores=1,3,5,7
/proc/5440/stat : 5440 (glucosInc) R 5429 5424 5385 0 -1 4202496 15009 0 0 0 960 3 0 0 20 0 1 0 271090341 71364608 15655 33554432000 4194304 5654031 140734655789104 140734655776920 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5440/statm: 17423 15655 141 357 0 17063 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 141740
[startup+25.5004 s]
/proc/loadavg: 1.43 1.58 1.81 3/179 5449
/proc/meminfo: memFree=29072684/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=3.03 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17050 25125 0 0 92 5 197 9 20 0 1 0 271090035 64409600 14897 33554432000 4194304 5992684 140734632613104 140734632599368 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14897 180 440 0 15281 0
[pid=5440] ppid=5429 vsize=107308 CPUtime=22.43 cores=1,3,5,7
/proc/5440/stat : 5440 (glucosInc) R 5429 5424 5385 0 -1 4202496 16368 0 0 0 2238 5 0 0 20 0 1 0 271090341 109883392 24588 33554432000 4194304 5654031 140734655789104 140734655776920 4232611 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5440/statm: 26827 24588 141 357 0 26467 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 179356
[startup+51.1004 s]
/proc/loadavg: 1.62 1.61 1.82 3/179 5449
/proc/meminfo: memFree=29061260/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=62900 CPUtime=3.03 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 17050 25125 0 0 92 5 197 9 20 0 1 0 271090035 64409600 14897 33554432000 4194304 5992684 140734632613104 140734632599368 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 15725 14897 180 440 0 15281 0
[pid=5440] ppid=5429 vsize=118980 CPUtime=48.02 cores=1,3,5,7
/proc/5440/stat : 5440 (glucosInc) R 5429 5424 5385 0 -1 4202496 16946 0 0 0 4796 6 0 0 20 0 1 0 271090341 121835520 27046 33554432000 4194304 5654031 140734655789104 140734655776920 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5440/statm: 29745 27046 141 357 0 29385 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 191028
[startup+102.307 s]
/proc/loadavg: 1.85 1.67 1.82 3/179 5453
/proc/meminfo: memFree=29012628/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=127732 CPUtime=29.68 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 17852 0 0 0 2964 4 0 0 20 0 1 0 271097296 130797568 27827 33554432000 4194304 5654031 140734036568848 140734036556664 4233008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 31933 27827 142 357 0 31573 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 210636
[startup+162.3 s]
/proc/loadavg: 1.94 1.72 1.83 3/180 5456
/proc/meminfo: memFree=28975432/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=127732 CPUtime=89.67 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 18183 0 0 0 8962 5 0 0 20 0 1 0 271097296 130797568 30197 33554432000 4194304 5654031 140734036568848 140734036556664 4216057 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 31933 30197 142 357 0 31573 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 210636
[startup+222.3 s]
/proc/loadavg: 1.98 1.77 1.84 3/179 5456
/proc/meminfo: memFree=28969960/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=127732 CPUtime=149.64 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 19348 0 0 0 14957 7 0 0 20 0 1 0 271097296 130797568 30200 33554432000 4194304 5654031 140734036568848 140734036556664 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 31933 30200 142 357 0 31573 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 210636
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28888936/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1229.48 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 41253 0 0 0 122891 57 0 0 20 0 1 0 271097296 212860928 47281 33554432000 4194304 5654031 140734036568848 140734036556664 4214990 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 47281 142 357 0 51608 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 290776
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 5467
/proc/meminfo: memFree=28858368/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1289.47 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 42565 0 0 0 128886 61 0 0 20 0 1 0 271097296 212860928 44209 33554432000 4194304 5654031 140734036568848 140734036556664 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 44209 142 357 0 51608 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 290776
[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 5467
/proc/meminfo: memFree=28860288/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=177052 CPUtime=1349.46 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 43291 0 0 0 134883 63 0 0 20 0 1 0 271097296 181301248 40558 33554432000 4194304 5654031 140734036568848 140734036556664 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 44263 40558 142 357 0 43903 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 259956
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 5467
/proc/meminfo: memFree=28870436/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=257960 CPUtime=1409.45 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 44197 0 0 0 140880 65 0 0 20 0 1 0 271097296 264151040 52190 33554432000 4194304 5654031 140734036568848 140734036556664 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 64490 52190 142 357 0 64130 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 340864
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 5467
/proc/meminfo: memFree=28840188/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1469.43 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 45210 0 0 0 146876 67 0 0 20 0 1 0 271097296 212860928 47793 33554432000 4194304 5654031 140734036568848 140734036556664 4208694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 47793 142 357 0 51608 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 290776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 5467
/proc/meminfo: memFree=28846368/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1529.42 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 46516 0 0 0 152872 70 0 0 20 0 1 0 271097296 212860928 43697 33554432000 4194304 5654031 140734036568848 140734036556664 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 43697 142 357 0 51608 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 290776
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 5468
/proc/meminfo: memFree=28824228/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=257960 CPUtime=1589.41 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 46846 0 0 0 158869 72 0 0 20 0 1 0 271097296 264151040 55262 33554432000 4194304 5654031 140734036568848 140734036556664 4232755 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 64490 55262 142 357 0 64130 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 340864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 5468
/proc/meminfo: memFree=28831724/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1649.41 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 47852 0 0 0 164866 75 0 0 20 0 1 0 271097296 212860928 50353 33554432000 4194304 5654031 140734036568848 140734036556664 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 50353 142 357 0 51608 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 290776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 5468
/proc/meminfo: memFree=28847568/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=177052 CPUtime=1709.4 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 48631 0 0 0 170862 78 0 0 20 0 1 0 271097296 181301248 42660 33554432000 4194304 5654031 140734036568848 140734036556664 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 44263 42660 142 357 0 43903 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 259956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 5468
/proc/meminfo: memFree=28831356/32873852 swapFree=7616/7616
[pid=5424] ppid=5422 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5424/stat : 5424 (npSolver-pbo-I.) S 5422 5424 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271090035 9367552 275 33554432000 4194304 5064252 140735413573904 140735413572816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5424/statm: 2287 275 233 213 0 72 0
[pid=5429] ppid=5424 vsize=73756 CPUtime=72.57 cores=1,3,5,7
/proc/5429/stat : 5429 (npSolver-pbo) S 5424 5424 5385 0 -1 4202496 20861 43191 0 0 112 78 7047 20 20 0 1 0 271090035 75526144 17526 33554432000 4194304 5992684 140734632613104 140734632598008 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5429/statm: 18439 17526 190 440 0 17995 0
[pid=5452] ppid=5429 vsize=207872 CPUtime=1727.5 cores=1,3,5,7
/proc/5452/stat : 5452 (glucosInc) R 5429 5424 5385 0 -1 4202496 49166 0 0 0 172671 79 0 0 20 0 1 0 271097296 212860928 45745 33554432000 4194304 5654031 140734036568848 140734036556664 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5452/statm: 51968 45745 142 357 0 51608 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 290776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5424 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# 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.07
CPU user time (s): 1798.3
CPU system time (s): 1.77
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 390184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3
runsolver used 4.05038 second user time and 11.5342 second system time
The end