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-3749722-1339171346/watcher-3749722-1339171346 -o /tmp/evaluation-result-3749722-1339171346/solver-3749722-1339171346 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749722-1339171346.opb 202266523 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: 2.00 2.00 2.02 3/179 17428
/proc/meminfo: memFree=26275932/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[startup+0.0362869 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17428
/proc/meminfo: memFree=26275932/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17428
/proc/meminfo: memFree=26275932/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300197 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17428
/proc/meminfo: memFree=26275932/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17428
/proc/meminfo: memFree=26275932/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 17435
/proc/meminfo: memFree=26248980/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=13028 CPUtime=1.01 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 3318 0 0 0 100 1 0 0 20 0 1 0 383259006 13340672 2675 33554432000 4194304 5208918 140737281800624 140737281798648 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 3257 2675 104 248 0 3006 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46648
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 17435
/proc/meminfo: memFree=26243700/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=13988 CPUtime=2.6 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 4872 0 0 0 259 1 0 0 20 0 1 0 383259006 14323712 2973 33554432000 4194304 5208918 140737281800624 140737281798456 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 3497 2973 105 248 0 3246 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47608
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 17435
/proc/meminfo: memFree=26227824/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=28240 CPUtime=5.8 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 6419 0 0 0 579 1 0 0 20 0 1 0 383259006 28917760 5966 33554432000 4194304 5208918 140737281800624 140737281798488 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 7060 5966 105 248 0 6809 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 61860
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 17435
/proc/meminfo: memFree=26202764/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=37116 CPUtime=12.2 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 8734 0 0 0 1218 2 0 0 20 0 1 0 383259006 38006784 7343 33554432000 4194304 5208918 140737281800624 140737281798568 4229084 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 9279 7343 105 248 0 9028 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 70736
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 17435
/proc/meminfo: memFree=26164228/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=41580 CPUtime=25 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 9613 0 0 0 2497 3 0 0 20 0 1 0 383259006 42577920 9943 33554432000 4194304 5208918 140737281800624 140737281797000 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 10395 9943 105 248 0 10144 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 75200
[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.02 3/183 17435
/proc/meminfo: memFree=26075916/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=80460 CPUtime=50.59 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 11105 0 0 0 5055 4 0 0 20 0 1 0 383259006 82391040 19663 33554432000 4194304 5208918 140737281800624 140737281796312 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 20115 19663 105 248 0 19864 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 114080
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.02 3/183 17435
/proc/meminfo: memFree=26070568/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=129780 CPUtime=101.79 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 13529 0 0 0 10170 9 0 0 20 0 1 0 383259006 132894720 29830 33554432000 4194304 5208918 140737281800624 140737281797000 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 32445 29830 105 248 0 32194 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 163400
[startup+162.301 s]
/proc/loadavg: 2.08 2.02 2.02 3/183 17436
/proc/meminfo: memFree=26073440/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17520
/proc/meminfo: memFree=25909616/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=313332 CPUtime=1421.51 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 50232 0 0 0 142059 92 0 0 20 0 1 0 383259006 320851968 75448 33554432000 4194304 5208918 140737281800624 140737281797000 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 78333 75448 105 248 0 78082 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 346952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17520
/proc/meminfo: memFree=26028004/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=231944 CPUtime=1481.49 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 52105 0 0 0 148051 98 0 0 20 0 1 0 383259006 237510656 46264 33554432000 4194304 5208918 140737281800624 140737281798776 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 57986 46264 105 248 0 57735 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 265564
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17527
/proc/meminfo: memFree=25975688/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=313332 CPUtime=1541.49 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 52668 0 0 0 154049 100 0 0 20 0 1 0 383259006 320851968 72376 33554432000 4194304 5208918 140737281800624 140737281797000 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 78333 72376 105 248 0 78082 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 346952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17534
/proc/meminfo: memFree=26094960/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=151036 CPUtime=1601.48 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 53649 0 0 0 160043 105 0 0 20 0 1 0 383259006 154660864 35656 33554432000 4194304 5208918 140737281800624 140737281798712 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 37759 35656 105 248 0 37508 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 184656
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 17538
/proc/meminfo: memFree=25990616/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=313332 CPUtime=1661.46 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 55105 0 0 0 166039 107 0 0 20 0 1 0 383259006 320851968 63672 33554432000 4194304 5208918 140737281800624 140737281796936 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 78333 63672 105 248 0 78082 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 346952
[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/183 17538
/proc/meminfo: memFree=25881860/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=445592 CPUtime=1721.45 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 55611 0 0 0 172035 110 0 0 20 0 1 0 383259006 456286208 84617 33554432000 4194304 5208918 140737281800624 140737281796936 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 111398 84617 105 248 0 111147 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 479212
[startup+1782.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/183 17538
/proc/meminfo: memFree=26006648/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=231944 CPUtime=1781.44 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 57021 0 0 0 178029 115 0 0 20 0 1 0 383259006 237510656 52408 33554432000 4194304 5208918 140737281800624 140737281796936 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 57986 52408 105 248 0 57735 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 265564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.16 2.09 2.03 3/183 17538
/proc/meminfo: memFree=25940896/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=313332 CPUtime=1799.63 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 57566 0 0 0 179848 115 0 0 20 0 1 0 383259006 320851968 60600 33554432000 4194304 5208918 140737281800624 140737281798776 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 78333 60600 105 248 0 78082 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 346952
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.16 2.09 2.03 3/183 17538
/proc/meminfo: memFree=25940896/32873844 swapFree=7628/7628
[pid=17428] ppid=17426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17428/stat : 17428 (npSolver-pbo.sh) S 17426 17428 17144 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383258957 9367552 274 33554432000 4194304 5064252 140737354452608 140737354451520 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17428/statm: 2287 274 233 213 0 72 0
[pid=17429] ppid=17428 vsize=15324 CPUtime=0.46 cores=1,3,5,7
/proc/17429/stat : 17429 (npSolver-pbo) S 17428 17428 17144 0 -1 4202496 5683 6289 0 0 13 1 31 1 20 0 1 0 383258957 15691776 3311 33554432000 4194304 6004724 140737210651792 140737210646928 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17429/statm: 3831 3311 148 442 0 3385 0
[pid=17434] ppid=17429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17434/stat : 17434 (satsolver.sh) S 17429 17428 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383259005 9367552 266 33554432000 4194304 5064252 140735553245216 140735553244128 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17434/statm: 2287 266 226 213 0 72 0
[pid=17435] ppid=17434 vsize=313332 CPUtime=1799.63 cores=1,3,5,7
/proc/17435/stat : 17435 (glucose) R 17434 17428 17144 0 -1 4202496 57566 0 0 0 179848 115 0 0 20 0 1 0 383259006 320851968 60600 33554432000 4194304 5208918 140737281800624 140737281798776 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17435/statm: 78333 60600 105 248 0 78082 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 346952
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1798.93
CPU system time (s): 1.20282
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 528532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.20282
maximum resident set size= 407808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 1864
runsolver used 11.7512 second user time and 13.7529 second system time
The end