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-3694793-1338054911/watcher-3694793-1338054911 -o /tmp/evaluation-result-3694793-1338054911/solver-3694793-1338054911 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694793-1338054911.opb 644341272 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.00 2.00 2.00 2/169 18315
/proc/meminfo: memFree=28153684/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[startup+0.023628 s]
/proc/loadavg: 2.00 2.00 2.00 2/169 18315
/proc/meminfo: memFree=28153684/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100358 s]
/proc/loadavg: 2.00 2.00 2.00 2/169 18315
/proc/meminfo: memFree=28153684/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 2/169 18315
/proc/meminfo: memFree=28153684/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 2/169 18315
/proc/meminfo: memFree=28153684/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18342
/proc/meminfo: memFree=28117564/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=3328 CPUtime=0.01 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 987 1367 0 0 1 0 0 0 20 0 1 0 271616978 3407872 467 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 832 467 178 410 0 414 0
[pid=18323] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271616981 9367552 267 33554432000 4194304 5064252 140734042176000 140734042174912 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18323/statm: 2287 267 226 213 0 72 0
[pid=18324] ppid=18323 vsize=8120 CPUtime=1.45 cores=1,3,5,7
/proc/18324/stat : 18324 (glucose_static) R 18323 18315 18174 0 -1 4202496 3404 0 0 0 145 0 0 0 20 0 1 0 271616981 8314880 1659 33554432000 4194304 4896791 140735739555408 140735739551080 4225348 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 2030 1659 78 172 0 1856 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29744
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18342
/proc/meminfo: memFree=28113556/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=3328 CPUtime=0.01 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 987 1367 0 0 1 0 0 0 20 0 1 0 271616978 3407872 467 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 832 467 178 410 0 414 0
[pid=18323] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18323/stat : 18323 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271616981 9367552 267 33554432000 4194304 5064252 140734042176000 140734042174912 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18323/statm: 2287 267 226 213 0 72 0
[pid=18324] ppid=18323 vsize=9232 CPUtime=3.05 cores=1,3,5,7
/proc/18324/stat : 18324 (glucose_static) R 18323 18315 18174 0 -1 4202496 5946 0 0 0 305 0 0 0 20 0 1 0 271616981 9453568 1788 33554432000 4194304 4896791 140735739555408 140735739552616 4230803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18324/statm: 2308 1788 78 172 0 2134 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30856
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18348
/proc/meminfo: memFree=28110760/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=4348 CPUtime=5.96 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 2616 17423 0 0 6 0 587 3 20 0 1 0 271616978 4452352 691 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 1087 691 179 410 0 669 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13496
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18357
/proc/meminfo: memFree=28100392/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=4348 CPUtime=10.96 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 3706 28637 0 0 9 1 1081 5 20 0 1 0 271616978 4452352 691 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 1087 691 179 410 0 669 0
[pid=18356] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18356/stat : 18356 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271618076 9367552 267 33554432000 4194304 5064252 140736839925200 140736839924112 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18356/statm: 2287 267 226 213 0 72 0
[pid=18357] ppid=18356 vsize=7380 CPUtime=1.7 cores=1,3,5,7
/proc/18357/stat : 18357 (glucose_static) R 18356 18315 18174 0 -1 4202496 4124 0 0 0 170 0 0 0 20 0 1 0 271618076 7557120 1503 33554432000 4194304 4896791 140736968449632 140736968446840 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18357/statm: 1845 1503 78 172 0 1671 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30024
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18369
/proc/meminfo: memFree=28011452/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=76972 CPUtime=4.39 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 16268 0 0 0 436 3 0 0 20 0 1 0 271619087 78819328 17310 33554432000 4194304 4896791 140736310544512 140736310541832 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 19243 17310 76 172 0 19069 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 114944
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18369
/proc/meminfo: memFree=28003296/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=86044 CPUtime=29.98 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 17460 0 0 0 2994 4 0 0 20 0 1 0 271619087 88109056 18241 33554432000 4194304 4896791 140736310544512 140736310541720 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 21511 18241 77 172 0 21337 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 124016
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18369
/proc/meminfo: memFree=27979892/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=80200 CPUtime=81.17 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 19563 0 0 0 8112 5 0 0 20 0 1 0 271619087 82124800 18537 33554432000 4194304 4896791 140736310544512 140736310541720 4224722 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 20050 18537 77 172 0 19876 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 118172
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18370
/proc/meminfo: memFree=27961032/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=88496 CPUtime=141.16 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 21158 0 0 0 14109 7 0 0 20 0 1 0 271619087 90619904 19099 33554432000 4194304 4896791 140736310544512 140736310542040 4224960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 22124 19099 77 172 0 21950 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18406
/proc/meminfo: memFree=27880348/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=97500 CPUtime=1340.96 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 39777 0 0 0 134072 24 0 0 20 0 1 0 271619087 99840000 22557 33554432000 4194304 4896791 140736310544512 140736310542088 4224732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 24375 22557 77 172 0 24201 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 135472
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18406
/proc/meminfo: memFree=27881376/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=109560 CPUtime=1400.96 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 40811 0 0 0 140071 25 0 0 20 0 1 0 271619087 112189440 24078 33554432000 4194304 4896791 140736310544512 140736310541768 4225550 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 27390 24078 77 172 0 27216 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 147532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18409
/proc/meminfo: memFree=27977412/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=97884 CPUtime=1460.94 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 41062 0 0 0 146069 25 0 0 20 0 1 0 271619087 100233216 22722 33554432000 4194304 4896791 140736310544512 140736310542088 4224722 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 24471 22722 77 172 0 24297 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 135856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18412
/proc/meminfo: memFree=27952344/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=110556 CPUtime=1520.93 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 42151 0 0 0 152067 26 0 0 20 0 1 0 271619087 113209344 24827 33554432000 4194304 4896791 140736310544512 140736310541944 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 27639 24827 77 172 0 27465 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 148528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18412
/proc/meminfo: memFree=27951904/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=99020 CPUtime=1580.92 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 42626 0 0 0 158066 26 0 0 20 0 1 0 271619087 101396480 23175 33554432000 4194304 4896791 140736310544512 140736310542088 4225376 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 24755 23175 77 172 0 24581 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 136992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18413
/proc/meminfo: memFree=27929828/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=110792 CPUtime=1640.91 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 43328 0 0 0 164064 27 0 0 20 0 1 0 271619087 113451008 24878 33554432000 4194304 4896791 140736310544512 140736310541944 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 27698 24878 77 172 0 27524 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 148764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18413
/proc/meminfo: memFree=27923948/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=99116 CPUtime=1700.9 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 43746 0 0 0 170063 27 0 0 20 0 1 0 271619087 101494784 23169 33554432000 4194304 4896791 140736310544512 140736310542088 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 24779 23169 77 172 0 24605 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 137088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18413
/proc/meminfo: memFree=27913088/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=111276 CPUtime=1760.89 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 44531 0 0 0 176061 28 0 0 20 0 1 0 271619087 113946624 24454 33554432000 4194304 4896791 140736310544512 140736310541720 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 27819 24454 77 172 0 27645 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 149248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18413
/proc/meminfo: memFree=27916076/32873852 swapFree=6848/6848
[pid=18315] ppid=18313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18315/stat : 18315 (runPb2satCp2.sh) S 18313 18315 18174 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271616977 9367552 275 33554432000 4194304 5064252 140733840303456 140733840302368 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18315/statm: 2287 275 233 213 0 72 0
[pid=18316] ppid=18315 vsize=19676 CPUtime=21.05 cores=1,3,5,7
/proc/18316/stat : 18316 (pb2sat) S 18315 18315 18174 0 -1 4202496 8696 51092 0 0 25 3 2067 10 20 0 1 0 271616978 20148224 2964 33554432000 4194304 5873084 140734471393072 140734471386888 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18316/statm: 4919 2964 180 410 0 4501 0
[pid=18368] ppid=18316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (satsolver.sh) S 18316 18315 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271619087 9367552 267 33554432000 4194304 5064252 140735809867488 140735809866400 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18368/statm: 2287 267 226 213 0 72 0
[pid=18369] ppid=18368 vsize=111276 CPUtime=1778.99 cores=1,3,5,7
/proc/18369/stat : 18369 (glucose_static) R 18368 18315 18174 0 -1 4202496 44555 0 0 0 177871 28 0 0 20 0 1 0 271619087 113946624 24984 33554432000 4194304 4896791 140736310544512 140736310541720 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18369/statm: 27819 24984 77 172 0 27645 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 149248
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.65
CPU system time (s): 0.437933
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 167344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.437933
maximum resident set size= 114448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137
involuntary context switches= 1907
runsolver used 3.81142 second user time and 9.2256 second system time
The end