runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3209786-1303130890/watcher-3209786-1303130890 -o /tmp/evaluation-result-3209786-1303130890/solver-3209786-1303130890 -C 5000 -W 5000 -M 15500 HOME/SATzilla2009_R HOME/instance-3209786-1303130890.cnf
running on 4 cores: 0,2,4,6
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): 5000 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 1.97 2/178 20149
/proc/meminfo: memFree=17210180/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[startup+0.0463699 s]
/proc/loadavg: 2.00 2.00 1.97 2/178 20149
/proc/meminfo: memFree=17210180/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.100359 s]
/proc/loadavg: 2.00 2.00 1.97 2/178 20149
/proc/meminfo: memFree=17210180/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 1.97 2/178 20149
/proc/meminfo: memFree=17210180/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 1.97 2/178 20149
/proc/meminfo: memFree=17210180/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/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: 2.00 2.00 1.97 3/180 20151
/proc/meminfo: memFree=17206444/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[pid=20150] ppid=20149 vsize=14548 CPUtime=1.49 cores=0,2,4,6
/proc/20150/stat : 20150 (SATenstein) R 20149 20149 19641 0 -1 4202496 1206 0 0 0 149 0 0 0 25 0 1 0 503319689 14897152 1160 33554432000 134512640 134854740 4292689632 18446744073709551615 134760607 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20150/statm: 3637 1160 220 84 0 3162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16684
[startup+3.10083 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 20151
/proc/meminfo: memFree=17206072/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[pid=20150] ppid=20149 vsize=14548 CPUtime=3.09 cores=0,2,4,6
/proc/20150/stat : 20150 (SATenstein) R 20149 20149 19641 0 -1 4202496 1206 0 0 0 309 0 0 0 25 0 1 0 503319689 14897152 1160 33554432000 134512640 134854740 4292689632 18446744073709551615 134760607 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20150/statm: 3637 1160 220 84 0 3162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16684
[startup+6.30027 s]
/proc/loadavg: 2.16 2.03 1.98 3/180 20151
/proc/meminfo: memFree=17205320/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[pid=20150] ppid=20149 vsize=14548 CPUtime=6.29 cores=0,2,4,6
/proc/20150/stat : 20150 (SATenstein) R 20149 20149 19641 0 -1 4202496 1206 0 0 0 629 0 0 0 25 0 1 0 503319689 14897152 1160 33554432000 134512640 134854740 4292689632 18446744073709551615 134760053 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20150/statm: 3637 1160 220 84 0 3162 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16684
[startup+12.7011 s]
/proc/loadavg: 2.15 2.03 1.98 3/180 20152
/proc/meminfo: memFree=17205728/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[pid=20150] ppid=20149 vsize=14548 CPUtime=12.69 cores=0,2,4,6
/proc/20150/stat : 20150 (SATenstein) R 20149 20149 19641 0 -1 4202496 1206 0 0 0 1269 0 0 0 25 0 1 0 503319689 14897152 1160 33554432000 134512640 134854740 4292689632 18446744073709551615 134760576 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20150/statm: 3637 1160 220 84 0 3162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16684
[startup+25.5009 s]
/proc/loadavg: 2.11 2.03 1.98 3/180 20152
/proc/meminfo: memFree=17205964/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 164 0 0 0 0 0 0 0 25 0 1 0 503319689 2187264 115 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/20149/statm: 534 115 97 400 0 131 0
[pid=20150] ppid=20149 vsize=14548 CPUtime=25.49 cores=0,2,4,6
/proc/20150/stat : 20150 (SATenstein) R 20149 20149 19641 0 -1 4202496 1206 0 0 0 2549 0 0 0 25 0 1 0 503319689 14897152 1160 33554432000 134512640 134854740 4292689632 18446744073709551615 134760701 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20150/statm: 3637 1160 220 84 0 3162 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16684
[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 1.98 3/180 20154
/proc/meminfo: memFree=17203232/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=2136 CPUtime=29.98 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 185 1206 0 0 0 0 2998 0 18 0 1 0 503319689 2187264 124 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/20149/statm: 534 124 105 400 0 131 0
[pid=20153] ppid=20149 vsize=7348 CPUtime=21.1 cores=0,2,4,6
/proc/20153/stat : 20153 (mxc-sr08) R 20149 20149 19641 0 -1 4202496 1914 0 0 0 2110 0 0 0 25 0 1 0 503322689 7524352 1729 33554432000 134512640 135078026 4288067152 18446744073709551615 134521036 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/20153/statm: 1837 1729 73 139 0 1696 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9484
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.98 3/180 20158
/proc/meminfo: memFree=17201188/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=34.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 3446 0 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541193 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 226072
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.98 3/180 20160
/proc/meminfo: memFree=17201284/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=94.45 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 9445 0 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541225 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 226072
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/180 20168
/proc/meminfo: memFree=17200876/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=154.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 15445 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541218 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 226072
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 20177
/proc/meminfo: memFree=17200720/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=214.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 21445 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541427 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 226072
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 20185
/proc/meminfo: memFree=17200984/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=274.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 27445 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134542486 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 226072
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 20187
/proc/meminfo: memFree=17200944/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
################
# More data... #
################
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 20257
/proc/meminfo: memFree=17212556/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=694.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 69445 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134543184 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 226072
[startup+822.301 s]
/proc/loadavg: 2.07 2.02 1.99 3/180 20295
/proc/meminfo: memFree=17202676/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=754.45 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 75444 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 226072
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 20300
/proc/meminfo: memFree=17204724/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=814.45 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 81444 1 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 226072
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/180 20302
/proc/meminfo: memFree=17174408/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=874.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 87444 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541427 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 226072
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20304
/proc/meminfo: memFree=17174500/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=934.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 93444 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134542489 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 226072
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20306
/proc/meminfo: memFree=17174464/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=994.46 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 99444 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541427 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 226072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20307
/proc/meminfo: memFree=17174552/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1054.47 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 105445 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541448 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 226072
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20307
/proc/meminfo: memFree=17174664/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1058.47 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 105845 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1126.29
Current children cumulated vsize (KiB) 226072
[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1071.27 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107125 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541401 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1139.09
Current children cumulated vsize (KiB) 226072
[startup+1142.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1074.47 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107445 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134542053 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1142.29
Current children cumulated vsize (KiB) 226072
[startup+1143.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1076.07 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107605 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134541014 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1143.89
Current children cumulated vsize (KiB) 226072
[startup+1144.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1076.87 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107685 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134542254 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1144.69
Current children cumulated vsize (KiB) 226072
[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1077.67 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107765 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134543013 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1145.49
Current children cumulated vsize (KiB) 226072
[startup+1145.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20308
/proc/meminfo: memFree=17174536/32951124 swapFree=67102128/67111528
[pid=20149] ppid=20147 vsize=6296 CPUtime=67.82 cores=0,2,4,6
/proc/20149/stat : 20149 (SATzilla2009_R) S 20147 20149 19641 0 -1 4202496 1983 4868 0 0 575 6 6188 13 25 0 1 0 503319689 6447104 1193 33554432000 134512640 136149437 4290384320 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/20149/statm: 1574 1193 220 400 0 1171 0
[pid=20157] ppid=20149 vsize=219776 CPUtime=1077.87 cores=0,2,4,6
/proc/20157/stat : 20157 (adaptg2wsat+) R 20149 20149 19641 0 -1 4202496 1094 0 0 0 107785 2 0 0 25 0 1 0 503326472 225050624 1062 33554432000 134512640 134921272 4288708736 18446744073709551615 134543013 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 54944 1062 43 100 0 54451 0
Current children cumulated CPU time (s) 1145.69
Current children cumulated vsize (KiB) 226072
Child status: 10
Real time (s): 1145.72
CPU time (s): 1145.73
CPU user time (s): 1145.51
CPU system time (s): 0.218966
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 226072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1145.51
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7976
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= 32
involuntary context switches= 2374
runsolver used 1.74473 second user time and 3.47147 second system time
The end