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-3700779-1338085607/watcher-3700779-1338085607 -o /tmp/evaluation-result-3700779-1338085607/solver-3700779-1338085607 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700779-1338085607.opb 1866186122 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16098
/proc/meminfo: memFree=30139392/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[startup+0.0796929 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16098
/proc/meminfo: memFree=30139392/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16098
/proc/meminfo: memFree=30139392/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16098
/proc/meminfo: memFree=30139392/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 16098
/proc/meminfo: memFree=30139392/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16102
/proc/meminfo: memFree=30100684/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=10100 CPUtime=1.4 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) R 16098 16098 9087 0 -1 4202496 3348 13933 0 0 78 2 56 4 20 0 1 0 274685121 10342400 1886 33554432000 4194304 5992684 140733876101312 140733876095672 5179696 0 0 4096 0 0 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 2525 1886 173 440 0 2081 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 19248
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16110
/proc/meminfo: memFree=30085280/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 94792
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16112
/proc/meminfo: memFree=29861120/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=159548 CPUtime=3.71 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 31171 0 0 0 364 7 0 0 20 0 1 0 274685378 163377152 35317 33554432000 4194304 5208918 140736048471552 140736048469512 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 39887 35317 104 248 0 39636 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 263488
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16112
/proc/meminfo: memFree=29855932/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=162476 CPUtime=10.11 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 31589 0 0 0 1004 7 0 0 20 0 1 0 274685378 166375424 35734 33554432000 4194304 5208918 140736048471552 140736048469384 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 40619 35734 104 248 0 40368 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 266416
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16112
/proc/meminfo: memFree=29841352/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=183716 CPUtime=22.9 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 32272 0 0 0 2283 7 0 0 20 0 1 0 274685378 188125184 36912 33554432000 4194304 5208918 140736048471552 140736048467928 4205763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 45929 36912 105 248 0 45678 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 287656
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16112
/proc/meminfo: memFree=29838496/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=188316 CPUtime=48.51 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 33402 0 0 0 4843 8 0 0 20 0 1 0 274685378 192835584 40084 33554432000 4194304 5208918 140736048471552 140736048469384 4229859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 47079 40084 105 248 0 46828 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 292256
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16113
/proc/meminfo: memFree=29822180/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=193892 CPUtime=99.69 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 36112 0 0 0 9958 11 0 0 20 0 1 0 274685378 198545408 42662 33554432000 4194304 5208918 140736048471552 140736048469400 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 48473 42662 105 248 0 48222 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 297832
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16113
/proc/meminfo: memFree=29805460/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=203508 CPUtime=159.66 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 38671 0 0 0 15954 12 0 0 20 0 1 0 274685378 208392192 46396 33554432000 4194304 5208918 140736048471552 140736048467928 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16112/statm: 50877 46396 105 248 0 50626 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 307448
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16116
/proc/meminfo: memFree=29795672/32873844 swapFree=7388/7388
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 16179
/proc/meminfo: memFree=29759688/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=365716 CPUtime=1419.45 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 82526 0 0 0 141852 93 0 0 20 0 1 0 274685378 374493184 75369 33554432000 4194304 5208918 140736048471552 140736048469304 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 91429 75369 105 248 0 91178 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 469656
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16179
/proc/meminfo: memFree=29748812/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=368456 CPUtime=1479.43 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 83947 0 0 0 147846 97 0 0 20 0 1 0 274685378 377298944 77657 33554432000 4194304 5208918 140736048471552 140736048467928 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 92114 77657 105 248 0 91863 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 472396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16179
/proc/meminfo: memFree=29736084/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=370496 CPUtime=1539.42 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 85183 0 0 0 153843 99 0 0 20 0 1 0 274685378 379387904 79718 33554432000 4194304 5208918 140736048471552 140736048469400 4211795 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 92624 79718 105 248 0 92373 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 474436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16180
/proc/meminfo: memFree=29739268/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=373192 CPUtime=1599.41 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 86365 0 0 0 159840 101 0 0 20 0 1 0 274685378 382148608 80190 33554432000 4194304 5208918 140736048471552 140736048469400 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 93298 80190 105 248 0 93047 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 477132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16180
/proc/meminfo: memFree=29686828/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=376468 CPUtime=1659.39 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 87285 0 0 0 165836 103 0 0 20 0 1 0 274685378 385503232 82725 33554432000 4194304 5208918 140736048471552 140736048467928 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 94117 82725 105 248 0 93866 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 480408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16181
/proc/meminfo: memFree=29699436/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=378816 CPUtime=1719.39 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 88289 0 0 0 171833 106 0 0 20 0 1 0 274685378 387907584 83106 33554432000 4194304 5208918 140736048471552 140736048469304 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 94704 83106 105 248 0 94453 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 482756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16181
/proc/meminfo: memFree=29683340/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=382196 CPUtime=1779.38 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 89235 0 0 0 177829 109 0 0 20 0 1 0 274685378 391368704 88288 33554432000 4194304 5208918 140736048471552 140736048467928 4211066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 95549 88288 105 248 0 95298 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 486136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16181
/proc/meminfo: memFree=29685828/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=382756 CPUtime=1797.58 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 89810 0 0 0 179648 110 0 0 20 0 1 0 274685378 391942144 81080 33554432000 4194304 5208918 140736048471552 140736048469400 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 95689 81080 105 248 0 95438 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 486696
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.00 2.00 2.00 3/183 16181
/proc/meminfo: memFree=29685828/32873844 swapFree=7388/7388
[pid=16098] ppid=16096 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16098/stat : 16098 (npSolver-pbo.sh) S 16096 16098 9087 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274685120 9367552 275 33554432000 4194304 5064252 140736334666368 140736334665280 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 2287 275 233 213 0 72 0
[pid=16099] ppid=16098 vsize=85644 CPUtime=2.47 cores=0,2,4,6
/proc/16099/stat : 16099 (npSolver-pbo) S 16098 16098 9087 0 -1 4202496 9020 14448 0 0 160 26 56 5 20 0 1 0 274685121 87699456 18407 33554432000 4194304 5992684 140733876101312 140733876093632 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/16099/statm: 21411 18407 183 440 0 20967 0
[pid=16111] ppid=16099 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16111/stat : 16111 (satsolver.sh) S 16099 16098 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274685378 9367552 267 33554432000 4194304 5064252 140735335628752 140735335627664 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16111/statm: 2287 267 226 213 0 72 0
[pid=16112] ppid=16111 vsize=382756 CPUtime=1797.58 cores=0,2,4,6
/proc/16112/stat : 16112 (glucose) R 16111 16098 9087 0 -1 4202496 89810 0 0 0 179648 110 0 0 20 0 1 0 274685378 391942144 81080 33554432000 4194304 5208918 140736048471552 140736048469400 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16112/statm: 95689 81080 105 248 0 95438 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 486696
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.66
CPU system time (s): 1.43978
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 616792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.43978
maximum resident set size= 442904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 133336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 2631
runsolver used 2.6356 second user time and 7.31189 second system time
The end