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-3696032-1338101502/watcher-3696032-1338101502 -o /tmp/evaluation-result-3696032-1338101502/solver-3696032-1338101502 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696032-1338101502.opb 875058542 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7319
/proc/meminfo: memFree=28927804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[startup+0.0674731 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7319
/proc/meminfo: memFree=28927804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7319
/proc/meminfo: memFree=28927804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7319
/proc/meminfo: memFree=28927804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700269 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7319
/proc/meminfo: memFree=28927804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7327
/proc/meminfo: memFree=28813104/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 85548
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28387448/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=142144 CPUtime=1.82 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 29516 0 0 0 175 7 0 0 20 0 1 0 276278868 145555456 32766 33554432000 4194304 4896791 140736909788496 140736909785704 4224980 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7331/statm: 35536 32766 76 172 0 35362 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 236840
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28422420/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=144140 CPUtime=5.02 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 30903 0 0 0 495 7 0 0 20 0 1 0 276278868 147599360 33323 33554432000 4194304 4896791 140736909788496 140736909785704 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7331/statm: 36035 33323 78 172 0 35861 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 238836
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28420980/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=146120 CPUtime=11.43 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 33571 0 0 0 1135 8 0 0 20 0 1 0 276278868 149626880 34362 33554432000 4194304 4896791 140736909788496 140736909786008 4225120 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 36530 34362 78 172 0 36356 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 240816
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28412616/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=148488 CPUtime=24.22 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 38367 0 0 0 2413 9 0 0 20 0 1 0 276278868 152051712 33939 33554432000 4194304 4896791 140736909788496 140736909786072 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 37122 33939 78 172 0 36948 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 243184
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28405240/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=152704 CPUtime=49.82 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 45452 0 0 0 4970 12 0 0 20 0 1 0 276278868 156368896 36013 33554432000 4194304 4896791 140736909788496 140736909786008 4203862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 38176 36013 78 172 0 38002 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 247400
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28391604/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=180656 CPUtime=101.01 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 56856 0 0 0 10084 17 0 0 20 0 1 0 276278868 184991744 38507 33554432000 4194304 4896791 140736909788496 140736909785704 4203058 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 45164 38507 78 172 0 44990 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 275352
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7331
/proc/meminfo: memFree=28359804/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=190960 CPUtime=161.01 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 63292 0 0 0 16079 22 0 0 20 0 1 0 276278868 195543040 44040 33554432000 4194304 4896791 140736909788496 140736909785704 4224960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 47740 44040 78 172 0 47566 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 130586 0 0 0 135943 131 0 0 20 0 1 0 276278868 381657088 82561 33554432000 4194304 4896791 140736909788496 140736909784232 4225201 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 93178 82561 78 172 0 93004 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 467408
[startup+1422.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/181 7365
/proc/meminfo: memFree=28043432/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=325236 CPUtime=1420.73 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 132548 0 0 0 141937 136 0 0 20 0 1 0 276278868 333041664 77799 33554432000 4194304 4896791 140736909788496 140736909786072 4225370 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 81309 77799 78 172 0 81135 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 419932
[startup+1482.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/181 7365
/proc/meminfo: memFree=28031468/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=377672 CPUtime=1480.73 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 134263 0 0 0 147932 141 0 0 20 0 1 0 276278868 386736128 84823 33554432000 4194304 4896791 140736909788496 140736909783512 4202992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 94418 84823 78 172 0 94244 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 472368
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/181 7366
/proc/meminfo: memFree=27927620/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=332668 CPUtime=1540.71 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 136217 0 0 0 153926 145 0 0 20 0 1 0 276278868 340652032 78500 33554432000 4194304 4896791 140736909788496 140736909784232 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 83167 78500 78 172 0 82993 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 427364
[startup+1602.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 7366
/proc/meminfo: memFree=27991628/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=385040 CPUtime=1600.7 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 137952 0 0 0 159921 149 0 0 20 0 1 0 276278868 394280960 85519 33554432000 4194304 4896791 140736909788496 140736909784232 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 96260 85519 78 172 0 96086 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 479736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 7366
/proc/meminfo: memFree=27979612/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=387032 CPUtime=1660.67 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 139342 0 0 0 165915 152 0 0 20 0 1 0 276278868 396320768 92333 33554432000 4194304 4896791 140736909788496 140736909784232 4224992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 96758 92333 78 172 0 96584 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 481728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 7369
/proc/meminfo: memFree=27983644/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=389164 CPUtime=1720.66 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 141510 0 0 0 171907 159 0 0 20 0 1 0 276278868 398503936 84252 33554432000 4194304 4896791 140736909788496 140736909784232 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 97291 84252 78 172 0 97117 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 483860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 7369
/proc/meminfo: memFree=27946952/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=391076 CPUtime=1780.66 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 142918 0 0 0 177903 163 0 0 20 0 1 0 276278868 400461824 90872 33554432000 4194304 4896791 140736909788496 140736909783576 4225160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 97769 90872 78 172 0 97595 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 485772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 4/173 7394
/proc/meminfo: memFree=28426964/32873844 swapFree=7104/7104
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (runPb2sat.sh) S 7317 7319 5985 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 276278742 9367552 274 33554432000 4194304 5064252 140734299421600 140734299420512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7319/statm: 2287 274 233 213 0 72 0
[pid=7320] ppid=7319 vsize=76400 CPUtime=1.23 cores=0,2,4,6
/proc/7320/stat : 7320 (pb2sat) S 7319 7319 5985 0 -1 4202496 6911 2673 0 0 97 16 10 0 20 0 1 0 276278742 78233600 15967 33554432000 4194304 5873084 140735484340992 140735484334808 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 19100 15967 179 410 0 18682 0
[pid=7330] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7330/stat : 7330 (satsolver.sh) S 7320 7319 5985 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276278868 9367552 267 33554432000 4194304 5064252 140736299342112 140736299341024 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7330/statm: 2287 267 226 213 0 72 0
[pid=7331] ppid=7330 vsize=473424 CPUtime=1798.86 cores=0,2,4,6
/proc/7331/stat : 7331 (glucose_static) R 7330 7319 5985 0 -1 4202496 143319 0 0 0 179722 164 0 0 20 0 1 0 276278868 484786176 96892 33554432000 4194304 4896791 140736909788496 140736909784168 4238495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7331/statm: 118356 96892 78 172 0 118182 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 568120
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7319 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=86834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=173973
# CPU time returned by wait4() is 1.26081
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.29
CPU system time (s): 1.8
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 568120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.08683
system time used= 0.173973
maximum resident set size= 118160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 113264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 11
runsolver used 2.93255 second user time and 7.10492 second system time
The end