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-3751989-1339115966/watcher-3751989-1339115966 -o /tmp/evaluation-result-3751989-1339115966/solver-3751989-1339115966 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751989-1339115966.opb 171742513 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.00 2.06 3/178 6185
/proc/meminfo: memFree=30320692/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[startup+0.052842 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 6185
/proc/meminfo: memFree=30320692/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 6185
/proc/meminfo: memFree=30320692/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 6185
/proc/meminfo: memFree=30320692/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 6185
/proc/meminfo: memFree=30320692/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 6187
/proc/meminfo: memFree=30130620/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229596 CPUtime=1.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) R 6185 6185 2890 0 -1 4202496 40898 0 0 0 138 11 0 0 20 0 1 0 377723485 235106304 57015 33554432000 4194304 6004724 140733770148080 140733770143720 4617968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238744
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.06 3/182 6189
/proc/meminfo: memFree=30035892/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229596 CPUtime=1.64 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 40914 0 0 0 151 13 0 0 20 0 1 0 377723485 235106304 57030 33554432000 4194304 6004724 140733770148080 140733770142544 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57399 57030 148 442 0 56953 0
[pid=6188] ppid=6186 vsize=9148 CPUtime=1.31 cores=0,2,4,6
/proc/6188/stat : 6188 (cp2_pre.sh) S 6186 6185 2890 0 -1 4202496 633 12009 0 0 0 0 127 4 20 0 1 0 377723650 9367552 281 33554432000 4194304 5064252 140736498001408 140736498000112 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6188/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 247892
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 6194
/proc/meminfo: memFree=30012496/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=262368 CPUtime=6.11 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) R 6185 6185 2890 0 -1 4202496 54895 42361 0 0 279 100 216 16 20 0 1 0 377723485 268664832 63500 33554432000 4194304 6004724 140733770148080 140733770144160 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 65592 63500 195 442 0 65146 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 271516
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.06 3/182 6202
/proc/meminfo: memFree=29883024/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=165092 CPUtime=5.99 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 31683 0 0 0 592 7 0 0 20 0 1 0 377724154 169054208 37194 33554432000 4194304 5654031 140733663950880 140733663948568 4233008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6201/statm: 41273 37194 141 357 0 40913 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 403840
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.06 3/182 6204
/proc/meminfo: memFree=29908276/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=166820 CPUtime=18.79 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 33647 0 0 0 1869 10 0 0 20 0 1 0 377724154 170823680 39704 33554432000 4194304 5654031 140733663950880 140733663938696 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 41705 39704 141 357 0 41345 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 405568
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.06 3/182 6207
/proc/meminfo: memFree=29878848/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=170324 CPUtime=44.39 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 37112 0 0 0 4424 15 0 0 20 0 1 0 377724154 174411776 40494 33554432000 4194304 5654031 140733663950880 140733663938696 4216075 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 42581 40494 141 357 0 42221 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 409072
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 6207
/proc/meminfo: memFree=29809628/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=255316 CPUtime=95.58 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 42610 0 0 0 9535 23 0 0 20 0 1 0 377724154 261443584 54766 33554432000 4194304 5654031 140733663950880 140733663948968 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 63829 54766 141 357 0 63469 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 494064
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 6207
/proc/meminfo: memFree=29783728/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=258116 CPUtime=155.56 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 47647 0 0 0 15523 33 0 0 20 0 1 0 377724154 264310784 61595 33554432000 4194304 5654031 140733663950880 140733663948968 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 64529 61595 141 357 0 64169 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 496864
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 6207
/proc/meminfo: memFree=29456520/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=687948 CPUtime=215.52 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 50143 0 0 0 21513 39 0 0 20 0 1 0 377724154 704458752 141774 33554432000 4194304 5654031 140733663950880 140733663948664 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 171987 141774 141 357 0 171627 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 926696
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/181 6207
/proc/meminfo: memFree=29562188/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=29728624/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=272324 CPUtime=1355.27 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 90834 0 0 0 135325 202 0 0 20 0 1 0 377724154 278859776 64883 33554432000 4194304 5654031 140733663950880 140733663948904 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 68081 64883 141 357 0 67721 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 511072
[startup+1422.31 s]
/proc/loadavg: 1.95 1.98 1.99 3/182 6290
/proc/meminfo: memFree=29508024/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=700896 CPUtime=1415.27 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 92529 0 0 0 141321 206 0 0 20 0 1 0 377724154 717717504 131984 33554432000 4194304 5654031 140733663950880 140733663948968 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175224 131984 141 357 0 174864 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 939644
[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/182 6290
/proc/meminfo: memFree=29693172/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=354488 CPUtime=1475.25 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 93595 0 0 0 147313 212 0 0 20 0 1 0 377724154 362995712 76177 33554432000 4194304 5654031 140733663950880 140733663948968 4215124 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 88622 76177 141 357 0 88262 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 593236
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6290
/proc/meminfo: memFree=29378492/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=701928 CPUtime=1535.23 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 94778 0 0 0 153306 217 0 0 20 0 1 0 377724154 718774272 138678 33554432000 4194304 5654031 140733663950880 140733663948968 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175482 138678 141 357 0 175122 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 940676
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29615436/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=355060 CPUtime=1595.23 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 96499 0 0 0 159294 229 0 0 20 0 1 0 377724154 363581440 79398 33554432000 4194304 5654031 140733663950880 140733663948968 4233464 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 88765 79398 141 357 0 88405 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 593808
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29430860/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=702244 CPUtime=1655.22 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 97592 0 0 0 165289 233 0 0 20 0 1 0 377724154 719097856 139767 33554432000 4194304 5654031 140733663950880 140733663948968 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175561 139767 141 357 0 175201 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 940992
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29610604/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=355248 CPUtime=1715.21 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 99287 0 0 0 171276 245 0 0 20 0 1 0 377724154 363773952 71759 33554432000 4194304 5654031 140733663950880 140733663948968 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 88812 71759 141 357 0 88452 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 593996
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29384668/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=702432 CPUtime=1775.2 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 100385 0 0 0 177270 250 0 0 20 0 1 0 377724154 719290368 130592 33554432000 4194304 5654031 140733663950880 140733663948968 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175608 130592 141 357 0 175248 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 941180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29351744/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=702624 CPUtime=1793.6 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 100485 0 0 0 179109 251 0 0 20 0 1 0 377724154 719486976 151124 33554432000 4194304 5654031 140733663950880 140733663948664 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175656 151124 141 357 0 175296 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 941372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6291
/proc/meminfo: memFree=29351744/32873648 swapFree=7376/7376
[pid=6185] ppid=6183 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6185/stat : 6185 (npSolver-pbo-It) S 6183 6185 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377723485 9367552 275 33554432000 4194304 5064252 140735676422304 140735676421216 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6185/statm: 2287 275 233 213 0 72 0
[pid=6186] ppid=6185 vsize=229600 CPUtime=6.49 cores=0,2,4,6
/proc/6186/stat : 6186 (npSolver-pbo) S 6185 6185 2890 0 -1 4202496 56080 42877 0 0 308 107 216 18 20 0 1 0 377723485 235110400 57078 33554432000 4194304 6004724 140733770148080 140733770133928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6186/statm: 57400 57078 195 442 0 56954 0
[pid=6201] ppid=6186 vsize=702624 CPUtime=1793.6 cores=0,2,4,6
/proc/6201/stat : 6201 (glucosInc) R 6186 6185 2890 0 -1 4202496 100485 0 0 0 179109 251 0 0 20 0 1 0 377724154 719486976 151124 33554432000 4194304 5654031 140733663950880 140733663948664 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 175656 151124 141 357 0 175296 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 941372
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6185 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1796.33
CPU system time (s): 3.76
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1420656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 1
runsolver used 3.72143 second user time and 10.7634 second system time
The end