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-3749928-1339160254/watcher-3749928-1339160254 -o /tmp/evaluation-result-3749928-1339160254/solver-3749928-1339160254 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749928-1339160254.opb 1600786673 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 1.79 1.58 2/177 11280
/proc/meminfo: memFree=30151940/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[startup+0.076772 s]
/proc/loadavg: 2.00 1.79 1.58 2/177 11280
/proc/meminfo: memFree=30151940/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.00 1.79 1.58 2/177 11280
/proc/meminfo: memFree=30151940/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.00 1.79 1.58 2/177 11280
/proc/meminfo: memFree=30151940/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700151 s]
/proc/loadavg: 2.00 1.79 1.58 2/177 11280
/proc/meminfo: memFree=30151940/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 1.79 1.59 3/179 11291
/proc/meminfo: memFree=30088860/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=110852 CPUtime=1.48 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) R 11280 11280 6255 0 -1 4202496 15308 12775 0 0 83 14 45 6 20 0 1 0 382153856 113512448 24303 33554432000 4194304 6004724 140735217456928 140735217450976 4581092 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 27713 24303 173 442 0 27267 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120000
[startup+3.1004 s]
/proc/loadavg: 2.00 1.79 1.59 3/181 11294
/proc/meminfo: memFree=29945112/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=131944 CPUtime=1.11 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 27704 0 0 0 105 6 0 0 20 0 1 0 382154054 135110656 29479 33554432000 4194304 5208918 140735117108272 140735116057672 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 32986 29479 104 248 0 32735 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 293860
[startup+6.30036 s]
/proc/loadavg: 2.00 1.79 1.59 3/181 11294
/proc/meminfo: memFree=29856956/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=132080 CPUtime=4.31 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 27719 0 0 0 425 6 0 0 20 0 1 0 382154054 135249920 29494 33554432000 4194304 5208918 140735117108272 140735117105944 4205227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 33020 29494 104 248 0 32769 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 293996
[startup+12.7003 s]
/proc/loadavg: 2.07 1.82 1.60 3/181 11294
/proc/meminfo: memFree=29863212/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=132416 CPUtime=10.71 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 27791 0 0 0 1065 6 0 0 20 0 1 0 382154054 135593984 30077 33554432000 4194304 5208918 140735117108272 140735117106232 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 33104 30077 104 248 0 32853 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 294332
[startup+25.5003 s]
/proc/loadavg: 2.06 1.82 1.60 3/181 11294
/proc/meminfo: memFree=29854296/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=136152 CPUtime=23.51 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 28610 0 0 0 2345 6 0 0 20 0 1 0 382154054 139419648 30896 33554432000 4194304 5208918 140735117108272 140735117104648 4205640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 34038 30896 104 248 0 33787 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 298068
[startup+51.1004 s]
/proc/loadavg: 2.04 1.84 1.61 3/181 11301
/proc/meminfo: memFree=29851088/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=158340 CPUtime=49.1 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 30016 0 0 0 4904 6 0 0 20 0 1 0 382154054 162140160 32784 33554432000 4194304 5208918 140735117108272 140735117106024 4211176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 39585 32784 104 248 0 39334 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 320256
[startup+102.306 s]
/proc/loadavg: 2.01 1.86 1.63 3/181 11371
/proc/meminfo: memFree=29633740/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=164588 CPUtime=100.3 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 32120 0 0 0 10022 8 0 0 20 0 1 0 382154054 168538112 34265 33554432000 4194304 5208918 140735117108272 140735117106120 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 41147 34265 104 248 0 40896 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 326504
[startup+162.3 s]
/proc/loadavg: 2.00 1.88 1.65 3/182 11374
/proc/meminfo: memFree=29603136/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=169736 CPUtime=160.26 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 33532 0 0 0 16017 9 0 0 20 0 1 0 382154054 173809664 38216 33554432000 4194304 5208918 140735117108272 140735117106120 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 42434 38216 104 248 0 42183 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/182 11408
/proc/meminfo: memFree=29485048/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=231816 CPUtime=1360.06 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 48746 0 0 0 135976 30 0 0 20 0 1 0 382154054 237379584 51675 33554432000 4194304 5208918 140735117108272 140735117104648 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 57954 51675 104 248 0 57703 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 393732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 11408
/proc/meminfo: memFree=29485864/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=232920 CPUtime=1420.06 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 49356 0 0 0 141975 31 0 0 20 0 1 0 382154054 238510080 50465 33554432000 4194304 5208918 140735117108272 140735117104648 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 58230 50465 104 248 0 57979 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 394836
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.89 3/181 11409
/proc/meminfo: memFree=29478988/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=234640 CPUtime=1480.04 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 49797 0 0 0 147973 31 0 0 20 0 1 0 382154054 240271360 53461 33554432000 4194304 5208918 140735117108272 140735117106024 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 58660 53461 104 248 0 58409 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 396556
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/181 11409
/proc/meminfo: memFree=29483332/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=235628 CPUtime=1540.03 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 50339 0 0 0 153971 32 0 0 20 0 1 0 382154054 241283072 51253 33554432000 4194304 5208918 140735117108272 140735117106120 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 58907 51253 104 248 0 58656 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 397544
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 11409
/proc/meminfo: memFree=29465956/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=236664 CPUtime=1600.02 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 50610 0 0 0 159969 33 0 0 20 0 1 0 382154054 242343936 54590 33554432000 4194304 5208918 140735117108272 140735117104648 4211570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 59166 54590 104 248 0 58915 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 398580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 11409
/proc/meminfo: memFree=29466888/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=238308 CPUtime=1660.01 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 51229 0 0 0 165967 34 0 0 20 0 1 0 382154054 244027392 53430 33554432000 4194304 5208918 140735117108272 140735117106024 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 59577 53430 104 248 0 59326 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 400224
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/181 11409
/proc/meminfo: memFree=29449132/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=239008 CPUtime=1720 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 51407 0 0 0 171966 34 0 0 20 0 1 0 382154054 244744192 56167 33554432000 4194304 5208918 140735117108272 140735117104648 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 59752 56167 104 248 0 59501 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 400924
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 11410
/proc/meminfo: memFree=29454348/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=241304 CPUtime=1779.99 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 51798 0 0 0 177964 35 0 0 20 0 1 0 382154054 247095296 52285 33554432000 4194304 5208918 140735117108272 140735117104648 4229546 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 60326 52285 104 248 0 60075 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 403220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.91 3/181 11410
/proc/meminfo: memFree=29448080/32873844 swapFree=7124/7124
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-pbo.sh) S 11278 11280 6255 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382153856 9367552 274 33554432000 4194304 5064252 140735175609376 140735175608288 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=143620 CPUtime=1.96 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-pbo) S 11280 11280 6255 0 -1 4202496 16832 12775 0 0 123 22 45 6 20 0 1 0 382153856 147066880 30961 33554432000 4194304 6004724 140735217456928 140735217449280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11281/statm: 35905 30961 175 442 0 35459 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382154053 9367552 267 33554432000 4194304 5064252 140734767409296 140734767408208 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11293/statm: 2287 267 226 213 0 72 0
[pid=11294] ppid=11293 vsize=241484 CPUtime=1798.09 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 6255 0 -1 4202496 51847 0 0 0 179774 35 0 0 20 0 1 0 382154054 247279616 53356 33554432000 4194304 5208918 140735117108272 140735117104648 4211665 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 60371 53356 104 248 0 60120 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 403400
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.41
CPU time (s): 1800.09
CPU user time (s): 1799.44
CPU system time (s): 0.6519
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 483360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.6519
maximum resident set size= 287416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 2030
runsolver used 4.5883 second user time and 11.8092 second system time
The end