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-3749404-1339122882/watcher-3749404-1339122882 -o /tmp/evaluation-result-3749404-1339122882/solver-3749404-1339122882 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749404-1339122882.opb 1839832675 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.44 3.10 2.61 3/179 13016
/proc/meminfo: memFree=25235236/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[startup+0.031528 s]
/proc/loadavg: 2.44 3.10 2.61 3/179 13016
/proc/meminfo: memFree=25235236/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100323 s]
/proc/loadavg: 2.44 3.10 2.61 3/179 13016
/proc/meminfo: memFree=25235236/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.44 3.10 2.61 3/179 13016
/proc/meminfo: memFree=25235236/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700146 s]
/proc/loadavg: 2.44 3.10 2.61 3/179 13016
/proc/meminfo: memFree=25235236/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.44 3.10 2.61 3/183 13023
/proc/meminfo: memFree=25225840/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=7328 CPUtime=0.73 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 1765 0 0 0 73 0 0 0 20 0 1 0 378416842 7503872 1424 33554432000 4194304 5208918 140734479716720 140734479714808 4229757 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 1832 1424 105 248 0 1581 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31092
[startup+3.10029 s]
/proc/loadavg: 2.44 3.10 2.61 3/183 13023
/proc/meminfo: memFree=25223788/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=12140 CPUtime=2.32 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 3600 0 0 0 232 0 0 0 20 0 1 0 378416842 12431360 2673 33554432000 4194304 5208918 140734479716720 140734479714584 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 3035 2673 105 248 0 2784 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35904
[startup+6.30028 s]
/proc/loadavg: 2.40 3.08 2.61 3/183 13023
/proc/meminfo: memFree=25218812/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=13812 CPUtime=5.52 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 4065 0 0 0 552 0 0 0 20 0 1 0 378416842 14143488 3093 33554432000 4194304 5208918 140734479716720 140734479713032 4212212 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 3453 3093 105 248 0 3202 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37576
[startup+12.7003 s]
/proc/loadavg: 2.37 3.06 2.61 3/183 13023
/proc/meminfo: memFree=25205232/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=24092 CPUtime=11.93 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 5094 0 0 0 1192 1 0 0 20 0 1 0 378416842 24670208 4874 33554432000 4194304 5208918 140734479716720 140734479714664 4229344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 6023 4874 105 248 0 5772 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47856
[startup+25.5003 s]
/proc/loadavg: 2.29 3.01 2.60 3/183 13023
/proc/meminfo: memFree=25197640/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=28512 CPUtime=24.72 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 5985 0 0 0 2471 1 0 0 20 0 1 0 378416842 29196288 6758 33554432000 4194304 5208918 140734479716720 140734479713096 4212457 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 7128 6758 105 248 0 6877 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52276
[startup+51.1003 s]
/proc/loadavg: 2.19 2.93 2.58 3/183 13023
/proc/meminfo: memFree=25168632/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=38344 CPUtime=50.31 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 6494 0 0 0 5030 1 0 0 20 0 1 0 378416842 39264256 7947 33554432000 4194304 5208918 140734479716720 140734479712488 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 9586 7947 105 248 0 9335 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 62108
[startup+102.306 s]
/proc/loadavg: 2.08 2.78 2.54 3/183 13023
/proc/meminfo: memFree=25127160/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=45520 CPUtime=101.52 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 7018 0 0 0 10150 2 0 0 20 0 1 0 378416842 46612480 11003 33554432000 4194304 5208918 140734479716720 140734479713096 4229780 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 11380 11003 105 248 0 11129 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69284
[startup+162.3 s]
/proc/loadavg: 2.06 2.65 2.52 3/183 13024
/proc/meminfo: memFree=25005744/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/183 13034
/proc/meminfo: memFree=24710908/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1361.3 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 23224 0 0 0 136091 39 0 0 20 0 1 0 378416842 153477120 33553 33554432000 4194304 5208918 140734479716720 140734479714712 4229692 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 37470 33553 105 248 0 37219 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 173644
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.11 3/183 13034
/proc/meminfo: memFree=24690072/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=100560 CPUtime=1421.3 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 23833 0 0 0 142090 40 0 0 20 0 1 0 378416842 102973440 24786 33554432000 4194304 5208918 140734479716720 140734479714808 4212732 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 25140 24786 105 248 0 24889 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 124324
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.10 3/183 13034
/proc/meminfo: memFree=24652604/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=100560 CPUtime=1481.29 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 24517 0 0 0 148087 42 0 0 20 0 1 0 378416842 102973440 24786 33554432000 4194304 5208918 140734479716720 140734479713032 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 25140 24786 105 248 0 24889 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 124324
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/184 13037
/proc/meminfo: memFree=24571996/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1541.27 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 25277 0 0 0 154083 44 0 0 20 0 1 0 378416842 153477120 33041 33554432000 4194304 5208918 140734479716720 140734479714712 4229344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 37470 33041 105 248 0 37219 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 173644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/184 13060
/proc/meminfo: memFree=24751168/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1601.27 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 25959 0 0 0 160081 46 0 0 20 0 1 0 378416842 153477120 33041 33554432000 4194304 5208918 140734479716720 140734479713096 4229115 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 37470 33041 105 248 0 37219 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 173644
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.08 3/183 13103
/proc/meminfo: memFree=27755232/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1661.26 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 26646 0 0 0 166078 48 0 0 20 0 1 0 378416842 153477120 35601 33554432000 4194304 5208918 140734479716720 140734479713096 4229479 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13023/statm: 37470 35601 105 248 0 37219 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 173644
[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.09 3/183 13106
/proc/meminfo: memFree=26399060/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1721.25 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 27335 0 0 0 172072 53 0 0 20 0 1 0 378416842 153477120 35601 33554432000 4194304 5208918 140734479716720 140734479713096 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13023/statm: 37470 35601 105 248 0 37219 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 173644
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.08 3/183 13106
/proc/meminfo: memFree=26372280/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=149880 CPUtime=1781.24 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 28022 0 0 0 178069 55 0 0 20 0 1 0 378416842 153477120 35089 33554432000 4194304 5208918 140734479716720 140734479714712 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13023/statm: 37470 35089 105 248 0 37219 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 173644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.04 2.08 3/183 13106
/proc/meminfo: memFree=26355712/32873844 swapFree=7636/7636
[pid=13016] ppid=13014 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13016/stat : 13016 (npSolver-pbo.sh) S 13014 13016 9764 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378416766 9367552 274 33554432000 4194304 5064252 140737155059136 140737155058048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13016/statm: 2287 274 233 213 0 72 0
[pid=13017] ppid=13016 vsize=5468 CPUtime=0.74 cores=0,2,4,6
/proc/13017/stat : 13017 (npSolver-pbo) S 13016 13016 9764 0 -1 4202496 11376 3347 0 0 51 2 20 1 20 0 1 0 378416766 5599232 829 33554432000 4194304 6004724 140734473902800 140734473897936 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13017/statm: 1367 829 162 442 0 921 0
[pid=13022] ppid=13017 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13022/stat : 13022 (satsolver.sh) S 13017 13016 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378416842 9367552 266 33554432000 4194304 5064252 140736222511872 140736222510784 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13022/statm: 2287 266 226 213 0 72 0
[pid=13023] ppid=13022 vsize=180700 CPUtime=1799.34 cores=0,2,4,6
/proc/13023/stat : 13023 (glucose) R 13022 13016 9764 0 -1 4202496 28615 0 0 0 179878 56 0 0 20 0 1 0 378416842 185036800 38740 33554432000 4194304 5208918 140734479716720 140734479714872 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13023/statm: 45175 38740 105 248 0 44924 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 204464
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.5
CPU system time (s): 0.615906
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 204464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.615906
maximum resident set size= 171344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 2461
runsolver used 3.76743 second user time and 9.03663 second system time
The end