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-3750254-1339114429/watcher-3750254-1339114429 -o /tmp/evaluation-result-3750254-1339114429/solver-3750254-1339114429 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750254-1339114429.opb 989447816 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 1.85 3/179 10885
/proc/meminfo: memFree=27673612/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[startup+0.0311219 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 10885
/proc/meminfo: memFree=27673612/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 10885
/proc/meminfo: memFree=27673612/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 10885
/proc/meminfo: memFree=27673612/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700162 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 10885
/proc/meminfo: memFree=27673612/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10941
/proc/meminfo: memFree=27697012/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=32380 CPUtime=0.5 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 7507 0 0 0 46 4 0 0 20 0 1 0 377568657 33157120 7059 33554432000 4194304 6004724 140734333390320 140734333384368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10886/statm: 8095 7059 163 442 0 7649 0
[pid=10888] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (cp2_pre.sh) S 10886 10885 9300 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377568708 9367552 277 33554432000 4194304 5064252 140735468344800 140735468343504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10888/statm: 2287 277 234 213 0 72 0
[pid=10889] ppid=10888 vsize=154276 CPUtime=0.98 cores=0,2,4,6
/proc/10889/stat : 10889 (coprocessor) R 10888 10885 9300 0 -1 4202496 27374 0 0 0 93 5 0 0 20 0 1 0 377568708 157978624 37107 33554432000 4194304 6586260 140737146805728 140737146801880 4753818 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10889/statm: 38569 37107 182 584 0 37981 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204952
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10948
/proc/meminfo: memFree=27650100/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=32380 CPUtime=2.72 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 7515 30799 0 0 46 4 206 16 20 0 1 0 377568657 33157120 7059 33554432000 4194304 6004724 140734333390320 140734333385456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10886/statm: 8095 7059 163 442 0 7649 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 41528
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.85 3/181 10955
/proc/meminfo: memFree=27814112/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 64876
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10958
/proc/meminfo: memFree=27679508/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
[pid=10957] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377569231 9367552 266 33554432000 4194304 5064252 140734039423968 140734039422880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 266 226 213 0 72 0
[pid=10958] ppid=10957 vsize=105600 CPUtime=6.95 cores=0,2,4,6
/proc/10958/stat : 10958 (glucose) R 10957 10885 9300 0 -1 4202496 20755 0 0 0 691 4 0 0 20 0 1 0 377569231 108134400 23203 33554432000 4194304 5208918 140733816004112 140733816000488 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 26400 23203 104 248 0 26149 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 179624
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10958
/proc/meminfo: memFree=27671100/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
[pid=10957] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377569231 9367552 266 33554432000 4194304 5064252 140734039423968 140734039422880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 266 226 213 0 72 0
[pid=10958] ppid=10957 vsize=109252 CPUtime=19.74 cores=0,2,4,6
/proc/10958/stat : 10958 (glucose) R 10957 10885 9300 0 -1 4202496 22709 0 0 0 1970 4 0 0 20 0 1 0 377569231 111874048 24520 33554432000 4194304 5208918 140733816004112 140733816000424 4229897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 27313 24520 104 248 0 27062 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 183276
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 10959
/proc/meminfo: memFree=27635184/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
[pid=10957] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377569231 9367552 266 33554432000 4194304 5064252 140734039423968 140734039422880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 266 226 213 0 72 0
[pid=10958] ppid=10957 vsize=157832 CPUtime=45.34 cores=0,2,4,6
/proc/10958/stat : 10958 (glucose) R 10957 10885 9300 0 -1 4202496 24601 0 0 0 4528 6 0 0 20 0 1 0 377569231 161619968 30533 33554432000 4194304 5208918 140733816004112 140733816002056 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 39458 30533 104 248 0 39207 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 231856
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 10959
/proc/meminfo: memFree=27597312/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
[pid=10957] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377569231 9367552 266 33554432000 4194304 5064252 140734039423968 140734039422880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 266 226 213 0 72 0
[pid=10958] ppid=10957 vsize=169504 CPUtime=96.53 cores=0,2,4,6
/proc/10958/stat : 10958 (glucose) R 10957 10885 9300 0 -1 4202496 25191 0 0 0 9646 7 0 0 20 0 1 0 377569231 173572096 37719 33554432000 4194304 5208918 140733816004112 140733816000488 4229476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 42376 37719 104 248 0 42125 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 243528
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 10959
/proc/meminfo: memFree=27576624/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=5.58 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 9225 51435 0 0 79 55 402 22 20 0 1 0 377568657 57065472 12309 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12309 175 442 0 13486 0
[pid=10957] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10957/stat : 10957 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377569231 9367552 266 33554432000 4194304 5064252 140734039423968 140734039422880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10957/statm: 2287 266 226 213 0 72 0
[pid=10958] ppid=10957 vsize=169504 CPUtime=156.51 cores=0,2,4,6
/proc/10958/stat : 10958 (glucose) R 10957 10885 9300 0 -1 4202496 25202 0 0 0 15644 7 0 0 20 0 1 0 377569231 173572096 39823 33554432000 4194304 5208918 140733816004112 140733816000424 4229577 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10958/statm: 42376 39823 104 248 0 42125 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 243528
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 10959
/proc/meminfo: memFree=27556852/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=157500 CPUtime=82.6 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 24923 0 0 0 8254 6 0 0 20 0 1 0 377600623 161280000 36507 33554432000 4194304 5208918 140734053514320 140734053510696 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 39375 36507 104 248 0 39124 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 231524
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27551260/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=157500 CPUtime=142.59 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 24950 0 0 0 14253 6 0 0 20 0 1 0 377600623 161280000 36534 33554432000 4194304 5208918 140734053514320 140734053510696 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 39375 36534 104 248 0 39124 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 231524
Solver just ended. Dumping a history of the last processes samples
[startup+486.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27551392/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=157500 CPUtime=166.58 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 24950 0 0 0 16652 6 0 0 20 0 1 0 377600623 161280000 36534 33554432000 4194304 5208918 140734053514320 140734053510696 4211501 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 39375 36534 104 248 0 39124 0
Current children cumulated CPU time (s) 486.01
Current children cumulated vsize (KiB) 231524
[startup+499.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27548844/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=157500 CPUtime=179.38 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 24953 0 0 0 17932 6 0 0 20 0 1 0 377600623 161280000 37046 33554432000 4194304 5208918 140734053514320 140734053510696 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 39375 37046 104 248 0 39124 0
Current children cumulated CPU time (s) 498.81
Current children cumulated vsize (KiB) 231524
[startup+505.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27546108/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=169172 CPUtime=185.77 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 25025 0 0 0 18571 6 0 0 20 0 1 0 377600623 173232128 37616 33554432000 4194304 5208918 140734053514320 140734053512184 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 42293 37616 104 248 0 42042 0
Current children cumulated CPU time (s) 505.2
Current children cumulated vsize (KiB) 243196
[startup+508.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27546360/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=169172 CPUtime=188.97 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 25025 0 0 0 18891 6 0 0 20 0 1 0 377600623 173232128 37616 33554432000 4194304 5208918 140734053514320 140734053510696 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 42293 37616 104 248 0 42042 0
Current children cumulated CPU time (s) 508.4
Current children cumulated vsize (KiB) 243196
[startup+511.9 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10970
/proc/meminfo: memFree=27544560/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=319.43 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10791 84250 0 0 99 57 31747 40 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10965] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10965/stat : 10965 (satsolver.sh) S 10886 10885 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377600623 9367552 266 33554432000 4194304 5064252 140735421816976 140735421815888 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10965/statm: 2287 266 226 213 0 72 0
[pid=10966] ppid=10965 vsize=169172 CPUtime=192.17 cores=0,2,4,6
/proc/10966/stat : 10966 (glucose) R 10965 10885 9300 0 -1 4202496 25026 0 0 0 19211 6 0 0 20 0 1 0 377600623 173232128 38128 33554432000 4194304 5208918 140734053514320 140734053510696 4229843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10966/statm: 42293 38128 104 248 0 42042 0
Current children cumulated CPU time (s) 511.6
Current children cumulated vsize (KiB) 243196
[startup+512.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/184 10973
/proc/meminfo: memFree=27686956/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55728 CPUtime=512.18 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4202496 10800 110013 0 0 99 57 51015 47 20 0 1 0 377568657 57065472 12178 33554432000 4194304 6004724 140734333390320 140734333382160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13932 12178 176 442 0 13486 0
[pid=10971] ppid=10886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10971/stat : 10971 (cp2_post.sh) S 10886 10885 9300 0 -1 4202496 610 226 0 0 0 0 0 0 20 0 1 0 377619903 9367552 266 33554432000 4194304 5064252 140737225392336 140737225390624 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 2287 266 225 213 0 72 0
[pid=10973] ppid=10971 vsize=17332 CPUtime=0.22 cores=0,2,4,6
/proc/10973/stat : 10973 (coprocessor) R 10971 10885 9300 0 -1 4202496 4425 0 0 0 17 5 0 0 20 0 1 0 377619904 17747968 3345 33554432000 4194304 6586260 140737330624704 140737225390648 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/10973/statm: 4333 3345 151 584 0 3745 0
Current children cumulated CPU time (s) 512.4
Current children cumulated vsize (KiB) 91356
[startup+513.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/184 10973
/proc/meminfo: memFree=27686956/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55732 CPUtime=512.49 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4204032 11070 115571 0 0 101 60 51034 54 20 0 1 0 377568657 57069568 12196 33554432000 4194304 6004724 140734333390320 140734333381672 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13933 12196 193 442 0 13487 0
Current children cumulated CPU time (s) 512.49
Current children cumulated vsize (KiB) 64880
[startup+513.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/184 10973
/proc/meminfo: memFree=27686956/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55732 CPUtime=512.49 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4204032 11070 115571 0 0 101 60 51034 54 20 0 1 0 377568657 57069568 12196 33554432000 4194304 6004724 140734333390320 140734333381672 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13933 12196 193 442 0 13487 0
Current children cumulated CPU time (s) 512.49
Current children cumulated vsize (KiB) 64880
[startup+513.6 s]
/proc/loadavg: 2.00 2.00 1.90 2/182 10975
/proc/meminfo: memFree=27597516/32873660 swapFree=7120/7120
[pid=10885] ppid=10883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10885/stat : 10885 (npSolver-pbo.sh) S 10883 10885 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377568657 9367552 274 33554432000 4194304 5064252 140733934410816 140733934409728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10885/statm: 2287 274 233 213 0 72 0
[pid=10886] ppid=10885 vsize=55732 CPUtime=512.49 cores=0,2,4,6
/proc/10886/stat : 10886 (npSolver-pbo) S 10885 10885 9300 0 -1 4204032 11070 115571 0 0 101 60 51034 54 20 0 1 0 377568657 57069568 12196 33554432000 4194304 6004724 140734333390320 140734333381672 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 14 0 0
/proc/10886/statm: 13933 12196 193 442 0 13487 0
Current children cumulated CPU time (s) 512.49
Current children cumulated vsize (KiB) 64880
Child status: 0
Real time (s): 513.637
CPU time (s): 512.51
CPU user time (s): 511.359
CPU system time (s): 1.15082
CPU usage (%): 99.7807
Max. virtual memory (cumulated for all children) (KiB): 264924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 511.359
system time used= 1.15082
maximum resident set size= 179416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15399
involuntary context switches= 721
runsolver used 1.03684 second user time and 3.17552 second system time
The end