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-3499178-1308506795/watcher-3499178-1308506795 -o /tmp/evaluation-result-3499178-1308506795/solver-3499178-1308506795 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499178-1308506795.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.92 0.98 1.17 2/178 6306
/proc/meminfo: memFree=28604800/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0

[startup+0.04536 s]
/proc/loadavg: 0.92 0.98 1.17 2/178 6306
/proc/meminfo: memFree=28604800/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100352 s]
/proc/loadavg: 0.92 0.98 1.17 2/178 6306
/proc/meminfo: memFree=28604800/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300313 s]
/proc/loadavg: 0.92 0.98 1.17 2/178 6306
/proc/meminfo: memFree=28604800/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.700245 s]
/proc/loadavg: 0.92 0.98 1.17 2/178 6306
/proc/meminfo: memFree=28604800/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.5011 s]
/proc/loadavg: 0.92 0.98 1.17 3/180 6308
/proc/meminfo: memFree=28593400/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
[pid=6307] ppid=6306 vsize=8220 CPUtime=1.49 cores=1,3,5,7
/proc/6307/stat : 6307 (march_dl2004) R 6306 6306 5291 0 -1 4202496 5055 0 0 0 149 0 0 0 25 0 1 0 1040910149 8417280 1401 33554432000 134512640 134996440 4290064000 18446744073709551615 134528181 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/6307/statm: 2055 1401 75 119 0 1934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10356

[startup+3.10082 s]
/proc/loadavg: 0.92 0.98 1.17 3/180 6308
/proc/meminfo: memFree=28592792/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 163 0 0 0 0 0 0 0 23 0 1 0 1040910149 2187264 115 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 3 0 0 0
/proc/6306/statm: 534 115 97 400 0 131 0
[pid=6307] ppid=6306 vsize=8480 CPUtime=3.09 cores=1,3,5,7
/proc/6307/stat : 6307 (march_dl2004) R 6306 6306 5291 0 -1 4202496 5115 0 0 0 309 0 0 0 25 0 1 0 1040910149 8683520 1461 33554432000 134512640 134996440 4290064000 18446744073709551615 134532970 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/6307/statm: 2120 1461 75 119 0 1999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10616

[startup+6.30027 s]
/proc/loadavg: 1.09 1.02 1.18 3/180 6310
/proc/meminfo: memFree=28594908/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=2136 CPUtime=4.99 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 187 5153 0 0 0 0 499 0 18 0 1 0 1040910149 2187264 128 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 534 128 108 400 0 131 0
[pid=6310] ppid=6306 vsize=5184 CPUtime=1.29 cores=1,3,5,7
/proc/6310/stat : 6310 (mxc-sr08) R 6306 6306 5291 0 -1 4202496 1430 0 0 0 129 0 0 0 22 0 1 0 1040910649 5308416 1174 33554432000 134512640 135078026 4287105360 18446744073709551615 134534305 0 0 8392704 0 0 0 0 17 3 0 0 0
/proc/6310/statm: 1296 1174 73 139 0 1155 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7320

[startup+12.7011 s]
/proc/loadavg: 1.16 1.03 1.18 3/179 6313
/proc/meminfo: memFree=28590948/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=4568 CPUtime=11.29 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 1314 8414 0 0 118 0 1010 1 19 0 1 0 1040910149 4677632 761 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1142 761 137 400 0 739 0
[pid=6313] ppid=6306 vsize=8384 CPUtime=1.38 cores=1,3,5,7
/proc/6313/stat : 6313 (zchaff07) R 6306 6306 5291 0 -1 4202496 1786 0 0 0 136 2 0 0 25 0 1 0 1040911280 8585216 1420 33554432000 134512640 135538726 4293215216 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 5 0 0 0
/proc/6313/statm: 2096 1420 127 251 0 1843 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 12952

[startup+25.5009 s]
/proc/loadavg: 1.34 1.08 1.19 3/180 6316
/proc/meminfo: memFree=28572356/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=16932 CPUtime=6.76 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 4010 0 0 0 676 0 0 0 25 0 1 0 1040912022 17338368 3982 33554432000 134512640 134998072 4291983104 18446744073709551615 134525536 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 4233 3982 59 119 0 4111 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24192

[startup+51.1004 s]
/proc/loadavg: 1.57 1.15 1.21 3/180 6317
/proc/meminfo: memFree=28557860/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=30868 CPUtime=32.36 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 7427 0 0 0 3235 1 0 0 25 0 1 0 1040912022 31608832 7399 33554432000 134512640 134998072 4291983104 18446744073709551615 134525785 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 7717 7399 59 119 0 7595 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38128

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.25 3/180 6319
/proc/meminfo: memFree=28550880/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=37872 CPUtime=83.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 9103 0 0 0 8355 2 0 0 25 0 1 0 1040912022 38780928 9075 33554432000 134512640 134998072 4291983104 18446744073709551615 134525536 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 9468 9075 59 119 0 9346 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 45132

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.30 3/180 6320
/proc/meminfo: memFree=28545020/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=43808 CPUtime=143.56 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 10537 0 0 0 14354 2 0 0 25 0 1 0 1040912022 44859392 10509 33554432000 134512640 134998072 4291983104 18446744073709551615 134525580 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 10952 10509 59 119 0 10830 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 51068

[startup+222.3 s]
/proc/loadavg: 2.02 1.53 1.34 3/180 6322
/proc/meminfo: memFree=28539660/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=49284 CPUtime=203.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 11867 0 0 0 20354 3 0 0 25 0 1 0 1040912022 50466816 11839 33554432000 134512640 134998072 4291983104 18446744073709551615 134525580 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 12321 11839 59 119 0 12199 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 56544

[startup+282.301 s]
/proc/loadavg: 2.01 1.61 1.38 3/180 6323
/proc/meminfo: memFree=28537400/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=52036 CPUtime=263.56 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 12532 0 0 0 26353 3 0 0 25 0 1 0 1040912022 53284864 12504 33554432000 134512640 134998072 4291983104 18446744073709551615 134525564 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 13009 12504 59 119 0 12887 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 59296

[startup+342.3 s]
/proc/loadavg: 2.04 1.69 1.42 3/180 6325
/proc/meminfo: memFree=28535012/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=54652 CPUtime=323.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 13080 0 0 0 32353 4 0 0 25 0 1 0 1040912022 55963648 13052 33554432000 134512640 134998072 4291983104 18446744073709551615 134525546 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 13663 13052 59 119 0 13541 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 61912

[startup+402.301 s]
/proc/loadavg: 2.01 1.75 1.46 3/180 6326
/proc/meminfo: memFree=28526172/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7

################
# More data... #
################


[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.54 3/180 6331
/proc/meminfo: memFree=28510472/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=68724 CPUtime=563.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 16414 0 0 0 56352 5 0 0 25 0 1 0 1040912022 70373376 16386 33554432000 134512640 134998072 4291983104 18446744073709551615 134525785 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 17181 16386 59 119 0 17059 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 75984

[startup+642.301 s]
/proc/loadavg: 2.00 1.88 1.57 3/180 6333
/proc/meminfo: memFree=28509208/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=69856 CPUtime=623.58 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 16672 0 0 0 62353 5 0 0 25 0 1 0 1040912022 71532544 16644 33554432000 134512640 134998072 4291983104 18446744073709551615 134525570 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 17464 16644 59 119 0 17342 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 77116

[startup+702.3 s]
/proc/loadavg: 2.00 1.90 1.59 3/180 6335
/proc/meminfo: memFree=28508692/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=70020 CPUtime=683.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 16722 0 0 0 68352 5 0 0 25 0 1 0 1040912022 71700480 16694 33554432000 134512640 134998072 4291983104 18446744073709551615 134525785 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 17505 16694 59 119 0 17383 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 77280

[startup+762.307 s]
/proc/loadavg: 2.07 1.93 1.62 3/180 6336
/proc/meminfo: memFree=28500728/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=77804 CPUtime=743.58 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 18676 0 0 0 74352 6 0 0 25 0 1 0 1040912022 79671296 18648 33554432000 134512640 134998072 4291983104 18446744073709551615 134525440 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 19451 18648 59 119 0 19329 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 85064

[startup+822.3 s]
/proc/loadavg: 2.02 1.94 1.64 3/180 6338
/proc/meminfo: memFree=28500344/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=78404 CPUtime=803.57 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 18795 0 0 0 80351 6 0 0 25 0 1 0 1040912022 80285696 18767 33554432000 134512640 134998072 4291983104 18446744073709551615 134525504 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 19601 18767 59 119 0 19479 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 85664

[startup+882.301 s]
/proc/loadavg: 2.01 1.95 1.66 3/180 6339
/proc/meminfo: memFree=28499208/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=79704 CPUtime=863.58 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19095 0 0 0 86352 6 0 0 25 0 1 0 1040912022 81616896 19067 33554432000 134512640 134998072 4291983104 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 19926 19067 59 119 0 19804 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 86964

[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.68 3/180 6341
/proc/meminfo: memFree=28498436/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80524 CPUtime=923.58 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19287 0 0 0 92352 6 0 0 25 0 1 0 1040912022 82456576 19259 33554432000 134512640 134998072 4291983104 18446744073709551615 134525677 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20131 19259 59 119 0 20009 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 87784

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498292/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=983.58 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19333 0 0 0 98352 6 0 0 25 0 1 0 1040912022 82624512 19305 33554432000 134512640 134998072 4291983104 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19305 59 119 0 20050 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 87948

Solver just ended. Dumping a history of the last processes samples

[startup+1004.7 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498292/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=985.98 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19333 0 0 0 98592 6 0 0 25 0 1 0 1040912022 82624512 19305 33554432000 134512640 134998072 4291983104 18446744073709551615 134525546 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19305 59 119 0 20050 0
Current children cumulated CPU time (s) 1004.69
Current children cumulated vsize (KiB) 87948

[startup+1007.9 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498168/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=989.18 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19333 0 0 0 98912 6 0 0 25 0 1 0 1040912022 82624512 19305 33554432000 134512640 134998072 4291983104 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19305 59 119 0 20050 0
Current children cumulated CPU time (s) 1007.89
Current children cumulated vsize (KiB) 87948

[startup+1011.1 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498284/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=992.38 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19334 0 0 0 99232 6 0 0 25 0 1 0 1040912022 82624512 19306 33554432000 134512640 134998072 4291983104 18446744073709551615 134525440 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19306 59 119 0 20050 0
Current children cumulated CPU time (s) 1011.09
Current children cumulated vsize (KiB) 87948

[startup+1012.7 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498284/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=993.98 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19334 0 0 0 99392 6 0 0 25 0 1 0 1040912022 82624512 19306 33554432000 134512640 134998072 4291983104 18446744073709551615 134525767 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19306 59 119 0 20050 0
Current children cumulated CPU time (s) 1012.69
Current children cumulated vsize (KiB) 87948

[startup+1013.11 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498160/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=994.38 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19334 0 0 0 99432 6 0 0 25 0 1 0 1040912022 82624512 19306 33554432000 134512640 134998072 4291983104 18446744073709551615 134525536 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19306 59 119 0 20050 0
Current children cumulated CPU time (s) 1013.09
Current children cumulated vsize (KiB) 87948

[startup+1013.5 s]
/proc/loadavg: 2.00 1.96 1.70 3/180 6343
/proc/meminfo: memFree=28498160/32951124 swapFree=67054724/67111528
[pid=6306] ppid=6304 vsize=7260 CPUtime=18.71 cores=1,3,5,7
/proc/6306/stat : 6306 (SATzilla2009_C) S 6304 6306 5291 0 -1 4202496 2845 10417 0 0 648 12 1208 3 25 0 1 0 1040910149 7434240 1514 33554432000 134512640 136149437 4290576032 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 5 0 0 0
/proc/6306/statm: 1815 1514 220 400 0 1412 0
[pid=6315] ppid=6306 vsize=80688 CPUtime=994.78 cores=1,3,5,7
/proc/6315/stat : 6315 (minisat20) R 6306 6306 5291 0 -1 4202496 19334 0 0 0 99472 6 0 0 25 0 1 0 1040912022 82624512 19306 33554432000 134512640 134998072 4291983104 18446744073709551615 134525546 0 0 8392704 3 0 0 0 17 1 0 0 0
/proc/6315/statm: 20172 19306 59 119 0 20050 0
Current children cumulated CPU time (s) 1013.49
Current children cumulated vsize (KiB) 87948

Child status: 10
Real time (s): 1013.51
CPU time (s): 1013.53
CPU user time (s): 1013.29
CPU system time (s): 0.236963
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 87948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1013.29
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1502

runsolver used 1.59276 second user time and 3.45447 second system time

The end