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-3714294-1338182985/watcher-3714294-1338182985 -o /tmp/evaluation-result-3714294-1338182985/solver-3714294-1338182985 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714294-1338182985.wbo 1473958648 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.06 2.04 2.00 4/179 9630
/proc/meminfo: memFree=31323972/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[startup+0.01379 s]
/proc/loadavg: 2.06 2.04 2.00 4/179 9630
/proc/meminfo: memFree=31323972/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.06 2.04 2.00 4/179 9630
/proc/meminfo: memFree=31323972/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300205 s]
/proc/loadavg: 2.06 2.04 2.00 4/179 9630
/proc/meminfo: memFree=31323972/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700196 s]
/proc/loadavg: 2.06 2.04 2.00 4/179 9630
/proc/meminfo: memFree=31323972/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 9634
/proc/meminfo: memFree=31190432/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=27064 CPUtime=0.68 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 6325 0 0 0 66 2 0 0 20 0 1 0 284423935 27713536 4896 33554432000 4194304 5990268 140736472526656 140736472519808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 6766 4896 156 439 0 6323 0
[pid=9633] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9633/stat : 9633 (cp2_pre.sh) S 9631 9630 6342 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 284424005 9367552 277 33554432000 4194304 5064252 140735453976032 140735453974736 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9633/statm: 2287 277 234 213 0 72 0
[pid=9634] ppid=9633 vsize=141768 CPUtime=0.78 cores=1,3,5,7
/proc/9634/stat : 9634 (coprocessor) R 9633 9630 6342 0 -1 4202496 24168 0 0 0 75 3 0 0 20 0 1 0 284424005 145170432 33820 33554432000 4194304 6586260 140737307140928 140737307136904 4768398 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9634/statm: 35442 33820 182 584 0 34854 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 187128
[startup+3.10029 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 9634
/proc/meminfo: memFree=31134232/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=27064 CPUtime=0.68 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 6325 0 0 0 66 2 0 0 20 0 1 0 284423935 27713536 4896 33554432000 4194304 5990268 140736472526656 140736472519808 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 6766 4896 156 439 0 6323 0
[pid=9633] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9633/stat : 9633 (cp2_pre.sh) S 9631 9630 6342 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 284424005 9367552 277 33554432000 4194304 5064252 140735453976032 140735453974736 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9633/statm: 2287 277 234 213 0 72 0
[pid=9634] ppid=9633 vsize=164492 CPUtime=2.38 cores=1,3,5,7
/proc/9634/stat : 9634 (coprocessor) R 9633 9630 6342 0 -1 4202496 27562 0 0 0 235 3 0 0 20 0 1 0 284424005 168439808 39769 33554432000 4194304 6586260 140737307140928 140737307136248 5599182 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9634/statm: 41123 39769 191 584 0 40535 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 209852
[startup+6.30035 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 9637
/proc/meminfo: memFree=31253884/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=27064 CPUtime=5 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 6334 32082 0 0 66 2 356 76 20 0 1 0 284423935 27713536 4897 33554432000 4194304 5990268 140736472526656 140736472520896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 6766 4897 157 439 0 6323 0
[pid=9636] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9636/stat : 9636 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284424469 9367552 267 33554432000 4194304 5064252 140733216416256 140733216415168 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9636/statm: 2287 267 226 213 0 72 0
[pid=9637] ppid=9636 vsize=0 CPUtime=0.94 cores=1,3,5,7
/proc/9637/stat : 9637 (glucose) R 9636 9630 6342 0 -1 4202500 10502 0 0 0 93 1 0 0 20 0 1 0 284424469 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9637/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 45360
[startup+12.7002 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 9644
/proc/meminfo: memFree=31207084/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=36656 CPUtime=12.15 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 9197 68788 0 0 75 20 1035 85 20 0 1 0 284423935 37535744 7067 33554432000 4194304 5990268 140736472526656 140736472517584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9164 7067 164 439 0 8721 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 45804
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 9668
/proc/meminfo: memFree=31228040/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=58972 CPUtime=10.25 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 12438 0 0 0 1024 1 0 0 20 0 1 0 284425458 60387328 13780 33554432000 4194304 5208918 140734179138928 140734179135304 4229244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 14743 13780 104 248 0 14492 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 116996
[startup+51.1004 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 9668
/proc/meminfo: memFree=31205076/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=68996 CPUtime=35.85 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 13590 0 0 0 3583 2 0 0 20 0 1 0 284425458 70651904 16353 33554432000 4194304 5208918 140734179138928 140734179135304 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 17249 16353 104 248 0 16998 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 127020
[startup+102.307 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 9668
/proc/meminfo: memFree=31190224/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=91084 CPUtime=87.04 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 16376 0 0 0 8701 3 0 0 20 0 1 0 284425458 93270016 21849 33554432000 4194304 5208918 140734179138928 140734179136792 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 22771 21849 104 248 0 22520 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 149108
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 9669
/proc/meminfo: memFree=31159268/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=107432 CPUtime=147.02 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 17295 0 0 0 14698 4 0 0 20 0 1 0 284425458 110010368 25989 33554432000 4194304 5208918 140734179138928 140734179135304 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 26858 25989 104 248 0 26607 0
Current children cumulated CPU time (s) 161.91
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9780
/proc/meminfo: memFree=31020772/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1406.82 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 35052 0 0 0 140647 35 0 0 20 0 1 0 284425458 283017216 68011 33554432000 4194304 5208918 140734179138928 140734179135240 4205755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68011 104 248 0 68845 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 334408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9780
/proc/meminfo: memFree=31035572/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1466.8 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 36059 0 0 0 146644 36 0 0 20 0 1 0 284425458 283017216 68011 33554432000 4194304 5208918 140734179138928 140734179135304 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68011 104 248 0 68845 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 334408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9780
/proc/meminfo: memFree=31003340/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1526.8 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 37128 0 0 0 152641 39 0 0 20 0 1 0 284425458 283017216 68068 33554432000 4194304 5208918 140734179138928 140734179135304 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68068 104 248 0 68845 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 334408
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9780
/proc/meminfo: memFree=30981340/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1586.79 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 38068 0 0 0 158639 40 0 0 20 0 1 0 284425458 283017216 68011 33554432000 4194304 5208918 140734179138928 140734179135304 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68011 104 248 0 68845 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 334408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9781
/proc/meminfo: memFree=30975824/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1646.79 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 39078 0 0 0 164636 43 0 0 20 0 1 0 284425458 283017216 66987 33554432000 4194304 5208918 140734179138928 140734179135304 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 66987 104 248 0 68845 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 334408
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9781
/proc/meminfo: memFree=30979952/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1706.77 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 40077 0 0 0 170633 44 0 0 20 0 1 0 284425458 283017216 66475 33554432000 4194304 5208918 140734179138928 140734179137016 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 66475 104 248 0 68845 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 334408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9781
/proc/meminfo: memFree=30927168/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=307204 CPUtime=1766.76 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 40697 0 0 0 176630 46 0 0 20 0 1 0 284425458 314576896 74734 33554432000 4194304 5208918 140734179138928 140734179135240 4228952 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 76801 74734 104 248 0 76550 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 365228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9781
/proc/meminfo: memFree=30953632/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1785.16 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 41119 0 0 0 178470 46 0 0 20 0 1 0 284425458 283017216 68011 33554432000 4194304 5208918 140734179138928 140734179135240 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68011 104 248 0 68845 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 334408
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9781
/proc/meminfo: memFree=30953632/32873648 swapFree=7116/7116
[pid=9630] ppid=9628 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (npSolver-wbo-I.) S 9628 9630 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284423934 9367552 275 33554432000 4194304 5064252 140734939132448 140734939131360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9630/statm: 2287 275 233 213 0 72 0
[pid=9631] ppid=9630 vsize=39728 CPUtime=14.89 cores=1,3,5,7
/proc/9631/stat : 9631 (npSolver-wbo) S 9630 9630 6342 0 -1 4202496 14518 117669 0 0 79 21 1285 104 20 0 1 0 284423935 40681472 7522 33554432000 4194304 5990268 140736472526656 140736472518096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/9631/statm: 9932 7522 165 439 0 9489 0
[pid=9664] ppid=9631 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9664/stat : 9664 (satsolver.sh) S 9631 9630 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284425458 9367552 267 33554432000 4194304 5064252 140735238313600 140735238312512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 2287 267 226 213 0 72 0
[pid=9665] ppid=9664 vsize=276384 CPUtime=1785.16 cores=1,3,5,7
/proc/9665/stat : 9665 (glucose) R 9664 9630 6342 0 -1 4202496 41119 0 0 0 178470 46 0 0 20 0 1 0 284425458 283017216 68011 33554432000 4194304 5208918 140734179138928 140734179135240 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9665/statm: 69096 68011 104 248 0 68845 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 334408
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1798.36
CPU system time (s): 1.74073
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 414548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.74073
maximum resident set size= 337152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174297
page faults= 0
swaps= 0
block input operations= 8
block output operations= 109536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2076
involuntary context switches= 1902
runsolver used 6.38403 second user time and 18.9101 second system time
The end