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-3750691-1339160076/watcher-3750691-1339160076 -o /tmp/evaluation-result-3750691-1339160076/solver-3750691-1339160076 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750691-1339160076.opb 35751988 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: 1.98 1.53 1.47 3/179 17542
/proc/meminfo: memFree=30207408/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[startup+0.070172 s]
/proc/loadavg: 1.98 1.53 1.47 3/179 17542
/proc/meminfo: memFree=30207408/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100339 s]
/proc/loadavg: 1.98 1.53 1.47 3/179 17542
/proc/meminfo: memFree=30207408/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300157 s]
/proc/loadavg: 1.98 1.53 1.47 3/179 17542
/proc/meminfo: memFree=30207408/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700294 s]
/proc/loadavg: 1.98 1.53 1.47 3/179 17542
/proc/meminfo: memFree=30207408/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.98 1.53 1.47 3/183 17556
/proc/meminfo: memFree=30127128/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=36448 CPUtime=1 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 8568 0 0 0 98 2 0 0 20 0 1 0 382133611 37322752 7976 33554432000 4194304 5208918 140735837323280 140735837321384 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 9112 7976 104 248 0 8861 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 99280
[startup+3.10041 s]
/proc/loadavg: 1.98 1.53 1.47 3/183 17556
/proc/meminfo: memFree=30125376/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=36448 CPUtime=2.6 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 8756 0 0 0 258 2 0 0 20 0 1 0 382133611 37322752 8150 33554432000 4194304 5208918 140735837323280 140735837319656 4210675 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 9112 8150 104 248 0 8861 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 99280
[startup+6.30031 s]
/proc/loadavg: 1.98 1.54 1.48 3/183 17556
/proc/meminfo: memFree=30121088/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=41368 CPUtime=5.8 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 9078 0 0 0 578 2 0 0 20 0 1 0 382133611 42360832 8966 33554432000 4194304 5208918 140735837323280 140735837321240 4229145 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 10342 8966 104 248 0 10091 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 104200
[startup+12.7004 s]
/proc/loadavg: 1.99 1.55 1.48 3/183 17556
/proc/meminfo: memFree=30119896/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=42620 CPUtime=12.19 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 9844 0 0 0 1217 2 0 0 20 0 1 0 382133611 43642880 9329 33554432000 4194304 5208918 140735837323280 140735837321128 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 10655 9329 104 248 0 10404 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 105452
[startup+25.5003 s]
/proc/loadavg: 1.99 1.57 1.49 3/183 17556
/proc/meminfo: memFree=30104424/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=56132 CPUtime=24.99 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 10639 0 0 0 2497 2 0 0 20 0 1 0 382133611 57479168 12664 33554432000 4194304 5208918 140735837323280 140735837319592 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 14033 12664 104 248 0 13782 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 118964
[startup+51.1004 s]
/proc/loadavg: 2.05 1.62 1.50 3/183 17556
/proc/meminfo: memFree=30085640/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=75048 CPUtime=50.59 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 12023 0 0 0 5055 4 0 0 20 0 1 0 382133611 76849152 17205 33554432000 4194304 5208918 140735837323280 140735837318984 4211659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 18762 17205 104 248 0 18511 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 137880
[startup+102.307 s]
/proc/loadavg: 2.02 1.67 1.53 3/183 17556
/proc/meminfo: memFree=30063504/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17555/stat : 17555 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382133611 9367552 267 33554432000 4194304 5064252 140733308894896 140733308893808 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17555/statm: 2287 267 226 213 0 72 0
[pid=17556] ppid=17555 vsize=63024 CPUtime=101.78 cores=1,3,5,7
/proc/17556/stat : 17556 (glucose) R 17555 17542 12494 0 -1 4202496 12454 0 0 0 10173 5 0 0 20 0 1 0 382133611 64536576 14736 33554432000 4194304 5208918 140735837323280 140735837319656 4211605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17556/statm: 15756 14736 104 248 0 15505 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 125856
[startup+162.3 s]
/proc/loadavg: 2.00 1.73 1.56 3/183 17564
/proc/meminfo: memFree=30141920/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=0.47 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 7776 6829 0 0 29 5 11 2 20 0 1 0 382133562 45604864 9551 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 11134 9551 175 442 0 10688 0
[pid=17555] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/183 17738
/proc/meminfo: memFree=30076368/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1229.3 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 35821 151501 0 0 193 21 122657 59 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17736] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17736/stat : 17736 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382256537 9367552 267 33554432000 4194304 5064252 140733985329328 140733985328240 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17736/statm: 2287 267 226 213 0 72 0
[pid=17737] ppid=17736 vsize=106708 CPUtime=132.52 cores=1,3,5,7
/proc/17737/stat : 17737 (glucose) R 17736 17542 12494 0 -1 4202496 12994 0 0 0 13248 4 0 0 20 0 1 0 382256538 109268992 25116 33554432000 4194304 5208918 140736898352048 140736898348424 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17737/statm: 26677 25116 104 248 0 26426 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 169540
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.86 3/183 17738
/proc/meminfo: memFree=30040148/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1229.3 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 35821 151501 0 0 193 21 122657 59 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17736] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17736/stat : 17736 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382256537 9367552 267 33554432000 4194304 5064252 140733985329328 140733985328240 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17736/statm: 2287 267 226 213 0 72 0
[pid=17737] ppid=17736 vsize=106708 CPUtime=192.51 cores=1,3,5,7
/proc/17737/stat : 17737 (glucose) R 17736 17542 12494 0 -1 4202496 13277 0 0 0 19247 4 0 0 20 0 1 0 382256538 109268992 25628 33554432000 4194304 5208918 140736898352048 140736898347736 4211488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17737/statm: 26677 25628 104 248 0 26426 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 169540
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/183 17738
/proc/meminfo: memFree=30073580/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1229.3 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 35821 151501 0 0 193 21 122657 59 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17736] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17736/stat : 17736 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382256537 9367552 267 33554432000 4194304 5064252 140733985329328 140733985328240 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17736/statm: 2287 267 226 213 0 72 0
[pid=17737] ppid=17736 vsize=106708 CPUtime=252.49 cores=1,3,5,7
/proc/17737/stat : 17737 (glucose) R 17736 17542 12494 0 -1 4202496 13561 0 0 0 25245 4 0 0 20 0 1 0 382256538 109268992 25628 33554432000 4194304 5208918 140736898352048 140736898348360 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17737/statm: 26677 25628 104 248 0 26426 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 169540
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.88 3/184 17748
/proc/meminfo: memFree=30048356/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1229.3 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 35821 151501 0 0 193 21 122657 59 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17736] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17736/stat : 17736 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382256537 9367552 267 33554432000 4194304 5064252 140733985329328 140733985328240 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17736/statm: 2287 267 226 213 0 72 0
[pid=17737] ppid=17736 vsize=156028 CPUtime=312.49 cores=1,3,5,7
/proc/17737/stat : 17737 (glucose) R 17736 17542 12494 0 -1 4202496 13848 0 0 0 31244 5 0 0 20 0 1 0 382256538 159772672 37157 33554432000 4194304 5208918 140736898352048 140736898348360 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17737/statm: 39007 37157 104 248 0 38756 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 218860
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.88 3/183 17807
/proc/meminfo: memFree=29954072/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1562.73 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 38660 169538 0 0 212 23 155967 71 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17754] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17754/stat : 17754 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382289885 9367552 266 33554432000 4194304 5064252 140736984771392 140736984770304 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17754/statm: 2287 266 226 213 0 72 0
[pid=17755] ppid=17754 vsize=48736 CPUtime=39.05 cores=1,3,5,7
/proc/17755/stat : 17755 (glucose) R 17754 17542 12494 0 -1 4202496 10696 0 0 0 3902 3 0 0 20 0 1 0 382289885 49905664 10598 33554432000 4194304 5208918 140735835775744 140735835773832 4228930 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17755/statm: 12184 10598 104 248 0 11933 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 111568
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/183 17808
/proc/meminfo: memFree=29919248/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1562.73 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 38660 169538 0 0 212 23 155967 71 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17754] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17754/stat : 17754 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382289885 9367552 266 33554432000 4194304 5064252 140736984771392 140736984770304 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17754/statm: 2287 266 226 213 0 72 0
[pid=17755] ppid=17754 vsize=86268 CPUtime=99.04 cores=1,3,5,7
/proc/17755/stat : 17755 (glucose) R 17754 17542 12494 0 -1 4202496 11713 0 0 0 9900 4 0 0 20 0 1 0 382289885 88338432 15805 33554432000 4194304 5208918 140735835775744 140735835773688 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17755/statm: 21567 15805 104 248 0 21316 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 149100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 17815
/proc/meminfo: memFree=29928056/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1702.02 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 41460 185259 0 0 229 24 169872 77 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17814] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17814/stat : 17814 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382303817 9367552 266 33554432000 4194304 5064252 140736946586192 140736946585104 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17814/statm: 2287 266 226 213 0 72 0
[pid=17815] ppid=17814 vsize=54400 CPUtime=19.73 cores=1,3,5,7
/proc/17815/stat : 17815 (glucose) R 17814 17542 12494 0 -1 4202496 11929 0 0 0 1971 2 0 0 20 0 1 0 382303817 55705600 12130 33554432000 4194304 5208918 140733639799408 140733639795176 4219464 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17815/statm: 13600 12130 104 248 0 13349 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 117232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 17829
/proc/meminfo: memFree=29915036/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1750.66 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 47138 215876 0 0 267 28 174678 93 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17828] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17828/stat : 17828 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382308682 9367552 267 33554432000 4194304 5064252 140736605323264 140736605322176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17828/statm: 2287 267 226 213 0 72 0
[pid=17829] ppid=17828 vsize=59560 CPUtime=31.07 cores=1,3,5,7
/proc/17829/stat : 17829 (glucose) R 17828 17542 12494 0 -1 4202496 10691 0 0 0 3105 2 0 0 20 0 1 0 382308682 60989440 13531 33554432000 4194304 5208918 140734432259040 140734432255352 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 14890 13531 104 248 0 14639 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 122392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 17829
/proc/meminfo: memFree=29923484/32873648 swapFree=7628/7628
[pid=17542] ppid=17540 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (npSolver-pbo.sh) S 17540 17542 12494 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382133562 9367552 275 33554432000 4194304 5064252 140734449481888 140734449480800 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17542/statm: 2287 275 233 213 0 72 0
[pid=17543] ppid=17542 vsize=44536 CPUtime=1750.66 cores=1,3,5,7
/proc/17543/stat : 17543 (npSolver-pbo) S 17542 17542 12494 0 -1 4202496 47138 215876 0 0 267 28 174678 93 20 0 1 0 382133562 45604864 9611 33554432000 4194304 6004724 140736326425088 140736326417440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/17543/statm: 11134 9611 176 442 0 10688 0
[pid=17828] ppid=17543 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17828/stat : 17828 (satsolver.sh) S 17543 17542 12494 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382308682 9367552 267 33554432000 4194304 5064252 140736605323264 140736605322176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17828/statm: 2287 267 226 213 0 72 0
[pid=17829] ppid=17828 vsize=48064 CPUtime=49.39 cores=1,3,5,7
/proc/17829/stat : 17829 (glucose) R 17828 17542 12494 0 -1 4202496 11778 0 0 0 4936 3 0 0 20 0 1 0 382308682 49217536 10663 33554432000 4194304 5208918 140734432259040 140734432257128 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17829/statm: 12016 10663 104 248 0 11765 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110896
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1798.83
CPU system time (s): 1.25881
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 250240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.25881
maximum resident set size= 157096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275781
page faults= 0
swaps= 0
block input operations= 8
block output operations= 319216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 990
involuntary context switches= 2005
runsolver used 4.75728 second user time and 13.258 second system time
The end