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-3695959-1338088279/watcher-3695959-1338088279 -o /tmp/evaluation-result-3695959-1338088279/solver-3695959-1338088279 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3695959-1338088279.opb 1951405326 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: 1.65 1.42 1.68 3/177 6919
/proc/meminfo: memFree=27913292/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[startup+0.084424 s]
/proc/loadavg: 1.65 1.42 1.68 3/177 6919
/proc/meminfo: memFree=27913292/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 1.65 1.42 1.68 3/177 6919
/proc/meminfo: memFree=27913292/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 1.65 1.42 1.68 3/177 6919
/proc/meminfo: memFree=27913292/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700254 s]
/proc/loadavg: 1.65 1.42 1.68 3/177 6919
/proc/meminfo: memFree=27913292/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.65 1.42 1.68 3/179 6924
/proc/meminfo: memFree=27455960/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=99132 CPUtime=1.47 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) R 6919 6919 6783 0 -1 4202496 9849 9643 0 0 82 52 11 2 20 0 1 0 274953325 101511168 17494 33554432000 4194304 5873084 140735320641904 140735320636296 4664146 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6920/statm: 24783 17494 180 410 0 24365 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 108280
[startup+3.10027 s]
/proc/loadavg: 1.76 1.44 1.69 2/179 6924
/proc/meminfo: memFree=27161600/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=241888 CPUtime=2.06 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) D 6919 6919 6783 0 -1 4202496 11320 9643 0 0 137 56 11 2 20 0 1 0 274953325 247693312 46526 33554432000 4194304 5873084 140735320641904 140735320636360 5129975 0 0 4096 0 18446744071580543392 0 0 17 0 0 0 97 0 0
/proc/6920/statm: 60472 46526 180 410 0 60054 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 251036
heavy processes:
[startup+6.30694 s]
/proc/loadavg: 1.76 1.44 1.69 3/181 6926
/proc/meminfo: memFree=26559300/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=274152 CPUtime=2.97 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 45125 0 0 0 286 11 0 0 20 0 1 0 274953658 280731648 55118 33554432000 4194304 4896791 140735020369200 140735020366408 4224144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 68538 55118 78 172 0 68364 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 457116
[startup+12.7004 s]
/proc/loadavg: 1.87 1.48 1.70 3/181 6926
/proc/meminfo: memFree=26156528/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=276268 CPUtime=9.36 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 47112 0 0 0 924 12 0 0 20 0 1 0 274953658 282898432 55663 33554432000 4194304 4896791 140735020369200 140735020366408 4225148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 69067 55663 78 172 0 68893 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 459232
[startup+25.5004 s]
/proc/loadavg: 1.89 1.49 1.70 3/181 6926
/proc/meminfo: memFree=25135704/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=278284 CPUtime=22.15 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 49549 0 0 0 2203 12 0 0 20 0 1 0 274953658 284962816 57200 33554432000 4194304 4896791 140735020369200 140735020366712 4203889 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 69571 57200 78 172 0 69397 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 461248
[startup+51.1004 s]
/proc/loadavg: 1.92 1.53 1.71 3/181 6926
/proc/meminfo: memFree=23174592/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=278824 CPUtime=47.76 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 50145 0 0 0 4763 13 0 0 20 0 1 0 274953658 285515776 57324 33554432000 4194304 4896791 140735020369200 140735020366568 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 69706 57324 78 172 0 69532 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (KiB) 461788
[startup+102.3 s]
/proc/loadavg: 2.33 1.69 1.75 2/181 6927
/proc/meminfo: memFree=8629824/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=282372 CPUtime=98.94 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 54355 0 0 0 9881 13 0 0 20 0 1 0 274953658 289148928 58699 33554432000 4194304 4896791 140735020369200 140735020366408 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 70593 58699 78 172 0 70419 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 465336
[startup+162.3 s]
/proc/loadavg: 3.32 2.07 1.88 3/183 6974
/proc/meminfo: memFree=26509148/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=164668 CPUtime=2.16 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 11321 9643 0 0 137 66 11 2 20 0 1 0 274953325 168620032 27222 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 41167 27222 180 410 0 40749 0
[pid=6925] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6925/stat : 6925 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274953657 9367552 266 33554432000 4194304 5064252 140734979762896 140734979761808 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6925/statm: 2287 266 226 213 0 72 0
[pid=6926] ppid=6925 vsize=284460 CPUtime=158.93 cores=0,2,4,6
/proc/6926/stat : 6926 (glucose_static) R 6925 6919 6783 0 -1 4202496 58864 0 0 0 15879 14 0 0 20 0 1 0 274953658 291287040 60900 33554432000 4194304 4896791 140735020369200 140735020366424 4224166 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6926/statm: 71115 60900 78 172 0 70941 0
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (KiB) 467424
[startup+222.307 s]
/proc/loadavg: 3.01 2.27 1.96 3/183 6974
/proc/meminfo: memFree=28652688/32873844 swapFree=7384/7384
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.56 2.37 2.24 3/183 7263
/proc/meminfo: memFree=17623156/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=381680 CPUtime=819.29 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 86850 0 0 0 81904 25 0 0 20 0 1 0 275013612 390840320 79582 33554432000 4194304 4896791 140734690019904 140734690017128 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95420 79582 78 172 0 95246 0
Current children cumulated CPU time (s) 1420.91
Current children cumulated vsize (KiB) 559324
[startup+1482.3 s]
/proc/loadavg: 2.26 2.32 2.23 3/183 7263
/proc/meminfo: memFree=17623104/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=381680 CPUtime=879.27 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 86859 0 0 0 87902 25 0 0 20 0 1 0 275013612 390840320 80094 33554432000 4194304 4896791 140734690019904 140734690017128 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95420 80094 78 172 0 95246 0
Current children cumulated CPU time (s) 1480.89
Current children cumulated vsize (KiB) 559324
[startup+1542.31 s]
/proc/loadavg: 2.08 2.26 2.21 3/183 7263
/proc/meminfo: memFree=17618884/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=381700 CPUtime=939.26 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 88137 0 0 0 93901 25 0 0 20 0 1 0 275013612 390860800 81140 33554432000 4194304 4896791 140734690019904 140734690017128 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95425 81140 78 172 0 95251 0
Current children cumulated CPU time (s) 1540.88
Current children cumulated vsize (KiB) 559344
[startup+1602.3 s]
/proc/loadavg: 2.03 2.21 2.19 3/183 7263
/proc/meminfo: memFree=17616588/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=382120 CPUtime=999.25 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 88822 0 0 0 99900 25 0 0 20 0 1 0 275013612 391290880 81738 33554432000 4194304 4896791 140734690019904 140734690017128 4224934 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95530 81738 78 172 0 95356 0
Current children cumulated CPU time (s) 1600.87
Current children cumulated vsize (KiB) 559764
[startup+1662.3 s]
/proc/loadavg: 2.01 2.17 2.17 3/183 7264
/proc/meminfo: memFree=17614664/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=382384 CPUtime=1059.23 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 90116 0 0 0 105898 25 0 0 20 0 1 0 275013612 391561216 82347 33554432000 4194304 4896791 140734690019904 140734690017112 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95596 82347 78 172 0 95422 0
Current children cumulated CPU time (s) 1660.85
Current children cumulated vsize (KiB) 560028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.14 2.16 3/183 7264
/proc/meminfo: memFree=17611996/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=383028 CPUtime=1119.23 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 91506 0 0 0 111897 26 0 0 20 0 1 0 275013612 392220672 83021 33554432000 4194304 4896791 140734690019904 140734690017272 4204129 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95757 83021 78 172 0 95583 0
Current children cumulated CPU time (s) 1720.85
Current children cumulated vsize (KiB) 560672
[startup+1782.3 s]
/proc/loadavg: 2.07 2.14 2.16 3/184 7267
/proc/meminfo: memFree=17607272/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=382968 CPUtime=1179.22 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 92205 0 0 0 117896 26 0 0 20 0 1 0 275013612 392159232 84045 33554432000 4194304 4896791 140734690019904 140734690017416 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95742 84045 78 172 0 95568 0
Current children cumulated CPU time (s) 1780.84
Current children cumulated vsize (KiB) 560612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.05 2.13 2.16 3/184 7267
/proc/meminfo: memFree=17605596/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=383100 CPUtime=1198.42 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 92227 0 0 0 119816 26 0 0 20 0 1 0 275013612 392294400 84578 33554432000 4194304 4896791 140734690019904 140734690017128 4225088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95775 84578 78 172 0 95601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 560744
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.05 2.13 2.16 3/184 7267
/proc/meminfo: memFree=17605596/32873844 swapFree=7384/7384
[pid=6919] ppid=6917 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6919/stat : 6919 (runPb2sat.sh) S 6917 6919 6783 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274953324 9367552 274 33554432000 4194304 5064252 140735297928080 140735297926992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6919/statm: 2287 274 233 213 0 72 0
[pid=6920] ppid=6919 vsize=159348 CPUtime=601.62 cores=0,2,4,6
/proc/6920/stat : 6920 (pb2sat) S 6919 6919 6783 0 -1 4202496 18859 91276 0 0 289 87 59759 27 20 0 1 0 274953325 163172352 32068 33554432000 4194304 5873084 140735320641904 140735320635720 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 113 0 0
/proc/6920/statm: 39837 32068 180 410 0 39419 0
[pid=7028] ppid=6920 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7028/stat : 7028 (satsolver.sh) S 6920 6919 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275013612 9367552 267 33554432000 4194304 5064252 140735636153872 140735636152784 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7028/statm: 2287 267 226 213 0 72 0
[pid=7029] ppid=7028 vsize=383100 CPUtime=1198.42 cores=0,2,4,6
/proc/7029/stat : 7029 (glucose_static) R 7028 6919 6783 0 -1 4202496 92227 0 0 0 119816 26 0 0 20 0 1 0 275013612 392294400 84578 33554432000 4194304 4896791 140734690019904 140734690017128 4225088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7029/statm: 95775 84578 78 172 0 95601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 560744
Child status: 0
Real time (s): 1801.51
CPU time (s): 1800.08
CPU user time (s): 1798.66
CPU system time (s): 1.42678
CPU usage (%): 99.9206
Max. virtual memory (cumulated for all children) (KiB): 634548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.42678
maximum resident set size= 393696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 407104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 1908
runsolver used 2.73858 second user time and 7.12892 second system time
The end