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-3696066-1338109440/watcher-3696066-1338109440 -o /tmp/evaluation-result-3696066-1338109440/solver-3696066-1338109440 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696066-1338109440.opb 998864336 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.79 2.25 2.08 3/179 10710
/proc/meminfo: memFree=29875864/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[startup+0.059964 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 10710
/proc/meminfo: memFree=29875864/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 10710
/proc/meminfo: memFree=29875864/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300331 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 10710
/proc/meminfo: memFree=29875864/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700197 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 10710
/proc/meminfo: memFree=29875864/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 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.79 2.25 2.08 3/183 10714
/proc/meminfo: memFree=29751560/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=46564 CPUtime=1.48 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) R 10710 10710 7054 0 -1 4202496 7212 17351 0 0 76 20 47 5 20 0 1 0 277072572 47681536 7654 33554432000 4194304 5873084 140736776842000 140736776838424 5127520 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 11641 7654 167 410 0 11223 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55712
[startup+3.10039 s]
/proc/loadavg: 2.79 2.25 2.08 3/181 10714
/proc/meminfo: memFree=29816428/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=73636 CPUtime=3.07 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) R 10710 10710 7054 0 -1 4202496 14974 17865 0 0 117 135 47 8 20 0 1 0 277072572 75403264 14255 33554432000 4194304 5873084 140736776842000 140736776836952 4920028 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 18442 14258 175 410 0 18024 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 82784
[startup+6.30037 s]
/proc/loadavg: 2.72 2.24 2.08 3/181 10715
/proc/meminfo: memFree=29559956/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=398292 CPUtime=6.27 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) R 10710 10710 7054 0 -1 4202496 27147 17865 0 0 426 146 47 8 20 0 1 0 277072572 407851008 86103 33554432000 4194304 5873084 140736776842000 140736776836392 4393011 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 99573 86103 177 410 0 99155 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 407440
[startup+12.7004 s]
/proc/loadavg: 2.66 2.24 2.08 3/183 10717
/proc/meminfo: memFree=28584272/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=386784 CPUtime=1.55 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 51058 0 0 0 141 14 0 0 20 0 1 0 277073685 396066816 80521 33554432000 4194304 4896791 140735262586672 140735261535464 4229413 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10717/statm: 96696 80521 58 172 0 96522 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1010240
[startup+25.5004 s]
/proc/loadavg: 2.66 2.26 2.09 3/183 10717
/proc/meminfo: memFree=27604936/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1344056 CPUtime=14.34 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 169279 0 0 0 1369 65 0 0 20 0 1 0 277073685 1376313344 293934 33554432000 4194304 4896791 140735262586672 140735262583880 4224990 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 336014 293934 77 172 0 335840 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1967512
[startup+51.1004 s]
/proc/loadavg: 2.43 2.24 2.09 3/183 10717
/proc/meminfo: memFree=27595908/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1345784 CPUtime=39.94 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 169831 0 0 0 3928 66 0 0 20 0 1 0 277073685 1378082816 295508 33554432000 4194304 4896791 140735262586672 140735262583880 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 336446 295508 78 172 0 336272 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1969240
[startup+102.3 s]
/proc/loadavg: 2.19 2.20 2.08 3/183 10717
/proc/meminfo: memFree=27575876/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1346988 CPUtime=91.13 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 170534 0 0 0 9047 66 0 0 20 0 1 0 277073685 1379315712 297190 33554432000 4194304 4896791 140735262586672 140735262583992 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 336747 297190 78 172 0 336573 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1970444
[startup+162.3 s]
/proc/loadavg: 2.07 2.16 2.07 3/183 10717
/proc/meminfo: memFree=27584140/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1346988 CPUtime=151.12 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 170535 0 0 0 15046 66 0 0 20 0 1 0 277073685 1379315712 297191 33554432000 4194304 4896791 140735262586672 140735262583992 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 336747 297191 78 172 0 336573 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1970444
[startup+222.3 s]
/proc/loadavg: 2.08 2.14 2.07 3/183 10718
/proc/meminfo: memFree=27566192/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174031 0 0 0 141015 70 0 0 20 0 1 0 277073685 1390538752 310987 33554432000 4194304 4896791 140735262586672 140735262584200 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339487 310987 78 172 0 339313 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1981404
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 10728
/proc/meminfo: memFree=27479696/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1357948 CPUtime=1470.84 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174034 0 0 0 147014 70 0 0 20 0 1 0 277073685 1390538752 311292 33554432000 4194304 4896791 140735262586672 140735262584200 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339487 311292 78 172 0 339313 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1981404
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 10728
/proc/meminfo: memFree=27756408/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1358504 CPUtime=1530.83 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174132 0 0 0 153013 70 0 0 20 0 1 0 277073685 1391108096 311390 33554432000 4194304 4896791 140735262586672 140735262584216 4225008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339626 311390 78 172 0 339452 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1981960
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 10735
/proc/meminfo: memFree=27338380/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1590.82 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174307 0 0 0 159012 70 0 0 20 0 1 0 277073685 1391689728 311562 33554432000 4194304 4896791 140735262586672 140735262583896 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 311562 78 172 0 339594 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1982528
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10777
/proc/meminfo: memFree=27617380/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1650.81 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174307 0 0 0 165011 70 0 0 20 0 1 0 277073685 1391689728 311562 33554432000 4194304 4896791 140735262586672 140735262583896 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 311562 78 172 0 339594 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1982528
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 10780
/proc/meminfo: memFree=25872676/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1710.8 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174308 0 0 0 171010 70 0 0 20 0 1 0 277073685 1391689728 311563 33554432000 4194304 4896791 140735262586672 140735262583896 4224960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 311563 78 172 0 339594 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1982528
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 10781
/proc/meminfo: memFree=25866660/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1770.8 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174308 0 0 0 177010 70 0 0 20 0 1 0 277073685 1391689728 311563 33554432000 4194304 4896791 140735262586672 140735262583896 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 311563 78 172 0 339594 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1982528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 10781
/proc/meminfo: memFree=25858532/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1789 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174309 0 0 0 178830 70 0 0 20 0 1 0 277073685 1391689728 312075 33554432000 4194304 4896791 140735262586672 140735262583896 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 312075 78 172 0 339594 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1982528
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 10781
/proc/meminfo: memFree=25858532/32873844 swapFree=7108/7108
[pid=10710] ppid=10708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (runPb2sat.sh) S 10708 10710 7054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277072572 9367552 275 33554432000 4194304 5064252 140734604252288 140734604251200 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10710/statm: 2287 275 233 213 0 72 0
[pid=10711] ppid=10710 vsize=605160 CPUtime=11.1 cores=1,3,5,7
/proc/10711/stat : 10711 (pb2sat) S 10710 10710 7054 0 -1 4202496 28547 17865 0 0 817 238 47 8 20 0 1 0 277072572 619683840 141948 33554432000 4194304 5873084 140736776842000 140736776835816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10711/statm: 151290 141948 177 410 0 150872 0
[pid=10716] ppid=10711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10716/stat : 10716 (satsolver.sh) S 10711 10710 7054 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277073685 9367552 267 33554432000 4194304 5064252 140733760208208 140733760207120 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10716/statm: 2287 267 226 213 0 72 0
[pid=10717] ppid=10716 vsize=1359072 CPUtime=1789 cores=1,3,5,7
/proc/10717/stat : 10717 (glucose_static) R 10716 10710 7054 0 -1 4202496 174309 0 0 0 178830 70 0 0 20 0 1 0 277073685 1391689728 312075 33554432000 4194304 4896791 140735262586672 140735262583896 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10717/statm: 339768 312075 78 172 0 339594 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1982528
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10710 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=653684
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=473623
# CPU time returned by wait4() is 11.1273
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1796.94
CPU system time (s): 3.16
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 2485716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.65368
system time used= 2.47362
maximum resident set size= 1071064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1113680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 29
runsolver used 3.44448 second user time and 8.13776 second system time
The end