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-3700866-1338129431/watcher-3700866-1338129431 -o /tmp/evaluation-result-3700866-1338129431/solver-3700866-1338129431 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700866-1338129431.opb 77628227 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.07 2.02 2.00 2/179 28015
/proc/meminfo: memFree=30901792/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[startup+0.0827701 s]
/proc/loadavg: 2.07 2.02 2.00 2/179 28015
/proc/meminfo: memFree=30901792/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.07 2.02 2.00 2/179 28015
/proc/meminfo: memFree=30901792/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.07 2.02 2.00 2/179 28015
/proc/meminfo: memFree=30901792/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.07 2.02 2.00 2/179 28015
/proc/meminfo: memFree=30901792/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 28019
/proc/meminfo: memFree=30799028/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=61540 CPUtime=0.77 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 10203 0 0 0 72 5 0 0 20 0 1 0 279068696 63016960 13061 33554432000 4194304 5992684 140734822310176 140734822304208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 15385 13061 174 440 0 14941 0
[pid=28018] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28018/stat : 28018 (cp2_pre.sh) S 28016 28015 27402 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279068773 9367552 276 33554432000 4194304 5064252 140734474427872 140734474426576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28018/statm: 2287 276 234 213 0 72 0
[pid=28019] ppid=28018 vsize=123256 CPUtime=0.71 cores=0,2,4,6
/proc/28019/stat : 28019 (coprocessor) R 28018 28015 27402 0 -1 4202496 22242 0 0 0 67 4 0 0 20 0 1 0 279068774 126214144 27634 33554432000 4194304 6586260 140733659301472 140733659298632 4546597 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28019/statm: 30814 27634 166 584 0 30226 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 203092
[startup+3.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 28019
/proc/meminfo: memFree=30692096/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=61540 CPUtime=0.77 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 10203 0 0 0 72 5 0 0 20 0 1 0 279068696 63016960 13061 33554432000 4194304 5992684 140734822310176 140734822304208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 15385 13061 174 440 0 14941 0
[pid=28018] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28018/stat : 28018 (cp2_pre.sh) S 28016 28015 27402 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279068773 9367552 276 33554432000 4194304 5064252 140734474427872 140734474426576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28018/statm: 2287 276 234 213 0 72 0
[pid=28019] ppid=28018 vsize=155292 CPUtime=2.18 cores=0,2,4,6
/proc/28019/stat : 28019 (coprocessor) R 28018 28015 27402 0 -1 4202496 29035 0 0 0 211 7 0 0 20 0 1 0 279068774 159019008 37887 33554432000 4194304 6586260 140733659301472 140733659297224 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 12 0 0
/proc/28019/statm: 38823 37887 204 584 0 38235 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 235128
[startup+6.30041 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 28029
/proc/meminfo: memFree=30784696/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28028/stat : 28028 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279069228 9367552 267 33554432000 4194304 5064252 140733511549232 140733511548144 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28028/statm: 2287 267 226 213 0 72 0
[pid=28029] ppid=28028 vsize=79296 CPUtime=0.96 cores=0,2,4,6
/proc/28029/stat : 28029 (glucose) R 28028 28015 27402 0 -1 4202496 15094 0 0 0 93 3 0 0 20 0 1 0 279069228 81199104 15855 33554432000 4194304 5208918 140733389940896 140733389938744 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28029/statm: 19824 15855 103 248 0 19573 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 167168
[startup+12.7004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 28029
/proc/meminfo: memFree=30754576/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28028/stat : 28028 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279069228 9367552 267 33554432000 4194304 5064252 140733511549232 140733511548144 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28028/statm: 2287 267 226 213 0 72 0
[pid=28029] ppid=28028 vsize=79296 CPUtime=7.36 cores=0,2,4,6
/proc/28029/stat : 28029 (glucose) R 28028 28015 27402 0 -1 4202496 15180 0 0 0 733 3 0 0 20 0 1 0 279069228 81199104 15931 33554432000 4194304 5208918 140733389940896 140733389939048 4205740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28029/statm: 19824 15931 103 248 0 19573 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 167168
[startup+25.5004 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 28029
/proc/meminfo: memFree=30752848/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28028/stat : 28028 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279069228 9367552 267 33554432000 4194304 5064252 140733511549232 140733511548144 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28028/statm: 2287 267 226 213 0 72 0
[pid=28029] ppid=28028 vsize=81508 CPUtime=20.16 cores=0,2,4,6
/proc/28029/stat : 28029 (glucose) R 28028 28015 27402 0 -1 4202496 15758 0 0 0 2013 3 0 0 20 0 1 0 279069228 83464192 16498 33554432000 4194304 5208918 140733389940896 140733389938744 4211049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28029/statm: 20377 16498 104 248 0 20126 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 169380
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 28070
/proc/meminfo: memFree=30937632/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28028/stat : 28028 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279069228 9367552 267 33554432000 4194304 5064252 140733511549232 140733511548144 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28028/statm: 2287 267 226 213 0 72 0
[pid=28029] ppid=28028 vsize=102172 CPUtime=45.75 cores=0,2,4,6
/proc/28029/stat : 28029 (glucose) R 28028 28015 27402 0 -1 4202496 18363 0 0 0 4570 5 0 0 20 0 1 0 279069228 104624128 22984 33554432000 4194304 5208918 140733389940896 140733389936664 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28029/statm: 25543 22984 105 248 0 25292 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 190044
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 28075
/proc/meminfo: memFree=30598760/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28028/stat : 28028 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279069228 9367552 267 33554432000 4194304 5064252 140733511549232 140733511548144 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28028/statm: 2287 267 226 213 0 72 0
[pid=28029] ppid=28028 vsize=132520 CPUtime=96.95 cores=0,2,4,6
/proc/28029/stat : 28029 (glucose) R 28028 28015 27402 0 -1 4202496 19229 0 0 0 9688 7 0 0 20 0 1 0 279069228 135700480 29564 33554432000 4194304 5208918 140733389940896 140733389937272 4229456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28029/statm: 33130 29564 105 248 0 32879 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 220392
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 28075
/proc/meminfo: memFree=30591804/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=5.18 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 14230 48135 0 0 98 73 331 16 20 0 1 0 279068696 71245824 14862 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14862 183 440 0 16950 0
[pid=28028] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 19714 0 0 0 13794 5 0 0 20 0 1 0 279197125 136953856 30519 33554432000 4194304 5208918 140737255079248 140737255075624 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 33436 30519 105 248 0 33185 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 221616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 28146
/proc/meminfo: memFree=29225816/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=133744 CPUtime=197.97 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 20519 0 0 0 19791 6 0 0 20 0 1 0 279197125 136953856 30519 33554432000 4194304 5208918 140737255079248 140737255075624 4211577 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 33436 30519 105 248 0 33185 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 221616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28146
/proc/meminfo: memFree=29191880/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=257.95 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 21730 0 0 0 25788 7 0 0 20 0 1 0 279197125 187457536 38585 33554432000 4194304 5208918 140737255079248 140737255075624 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 38585 105 248 0 45515 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 270936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28147
/proc/meminfo: memFree=29223592/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=317.95 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 22540 0 0 0 31786 9 0 0 20 0 1 0 279197125 187457536 38585 33554432000 4194304 5208918 140737255079248 140737255077240 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 38585 105 248 0 45515 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 270936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28147
/proc/meminfo: memFree=29179468/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=377.94 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 22953 0 0 0 37784 10 0 0 20 0 1 0 279197125 187457536 41657 33554432000 4194304 5208918 140737255079248 140737255075560 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 41657 105 248 0 45515 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 270936
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 28147
/proc/meminfo: memFree=29184432/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=437.93 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 24008 0 0 0 43781 12 0 0 20 0 1 0 279197125 187457536 40874 33554432000 4194304 5208918 140737255079248 140737255075624 4229151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 40874 105 248 0 45515 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 270936
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 28147
/proc/meminfo: memFree=29167376/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=213884 CPUtime=497.92 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 25034 0 0 0 49779 13 0 0 20 0 1 0 279197125 219017216 44555 33554432000 4194304 5208918 140737255079248 140737255075624 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 53471 44555 105 248 0 53220 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 301756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 28147
/proc/meminfo: memFree=29177976/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=516.12 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 25446 0 0 0 51598 14 0 0 20 0 1 0 279197125 187457536 41933 33554432000 4194304 5208918 140737255079248 140737255075624 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 41933 105 248 0 45515 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 270936
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.01 2.00 2.00 3/183 28147
/proc/meminfo: memFree=29177976/32873844 swapFree=7624/7624
[pid=28015] ppid=28013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28015/stat : 28015 (npSolver-pbo.sh) S 28013 28015 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279068696 9367552 274 33554432000 4194304 5064252 140735437275952 140735437274864 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28015/statm: 2287 274 233 213 0 72 0
[pid=28016] ppid=28015 vsize=69576 CPUtime=1283.91 cores=0,2,4,6
/proc/28016/stat : 28016 (npSolver-pbo) S 28015 28015 27402 0 -1 4202496 20205 152292 0 0 116 76 128119 80 20 0 1 0 279068696 71245824 14901 33554432000 4194304 5992684 140734822310176 140734822302496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28016/statm: 17394 14901 183 440 0 16950 0
[pid=28119] ppid=28016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28119/stat : 28119 (satsolver.sh) S 28016 28015 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279197125 9367552 267 33554432000 4194304 5064252 140734680694064 140734680692976 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28119/statm: 2287 267 226 213 0 72 0
[pid=28120] ppid=28119 vsize=183064 CPUtime=516.12 cores=0,2,4,6
/proc/28120/stat : 28120 (glucose) R 28119 28015 27402 0 -1 4202496 25446 0 0 0 51598 14 0 0 20 0 1 0 279197125 187457536 41933 33554432000 4194304 5208918 140737255079248 140737255075624 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28120/statm: 45766 41933 105 248 0 45515 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 270936
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28015 and gives
# childrusage.ru_utime.tv_sec=1282
# childrusage.ru_utime.tv_usec=357052
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=579759
# CPU time returned by wait4() is 1283.94
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1798.33
CPU system time (s): 1.7
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 363516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1282.36
system time used= 1.57976
maximum resident set size= 239384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 223984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 633
involuntary context switches= 1403
runsolver used 2.89156 second user time and 7.27089 second system time
The end