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-3499268-1308509771/watcher-3499268-1308509771 -o /tmp/evaluation-result-3499268-1308509771/solver-3499268-1308509771 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499268-1308509771.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): 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 0.99 4/171 17672
/proc/meminfo: memFree=25878140/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
[startup+0.0582531 s]
/proc/loadavg: 0.92 0.98 0.99 4/171 17672
/proc/meminfo: memFree=25878140/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.100246 s]
/proc/loadavg: 0.92 0.98 0.99 4/171 17672
/proc/meminfo: memFree=25878140/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.300213 s]
/proc/loadavg: 0.92 0.98 0.99 4/171 17672
/proc/meminfo: memFree=25878140/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.701157 s]
/proc/loadavg: 0.92 0.98 0.99 4/171 17672
/proc/meminfo: memFree=25878140/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+1.50098 s]
/proc/loadavg: 0.92 0.98 0.99 4/175 17676
/proc/meminfo: memFree=25877120/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
[pid=17674] ppid=17670 vsize=1248 CPUtime=1.49 cores=0,2,4,6
/proc/17674/stat : 17674 (march_dl2004) R 17670 17670 16414 0 -1 4202496 262 0 0 0 149 0 0 0 25 0 1 0 962576695 1277952 232 33554432000 134512640 134996440 4294596832 18446744073709551615 134527835 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/17674/statm: 312 232 74 119 0 191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3384
[startup+3.10074 s]
/proc/loadavg: 0.92 0.98 0.99 4/175 17676
/proc/meminfo: memFree=25876376/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 163 0 0 0 0 0 0 0 19 0 1 0 962576695 2187264 114 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 2 0 0 0
/proc/17670/statm: 534 114 97 400 0 131 0
[pid=17674] ppid=17670 vsize=1248 CPUtime=3.09 cores=0,2,4,6
/proc/17674/stat : 17674 (march_dl2004) R 17670 17670 16414 0 -1 4202496 265 0 0 0 309 0 0 0 25 0 1 0 962576695 1277952 235 33554432000 134512640 134996440 4294596832 18446744073709551615 134587241 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/17674/statm: 312 235 74 119 0 191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3384
[startup+6.30121 s]
/proc/loadavg: 1.01 1.00 1.00 4/175 17678
/proc/meminfo: memFree=25872248/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=2136 CPUtime=4.99 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 187 267 0 0 0 0 499 0 18 0 1 0 962576695 2187264 127 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 534 127 108 400 0 131 0
[pid=17678] ppid=17670 vsize=2008 CPUtime=1.28 cores=0,2,4,6
/proc/17678/stat : 17678 (mxc-sr08) R 17670 17670 16414 0 -1 4202496 438 0 0 0 128 0 0 0 22 0 1 0 962577195 2056192 411 33554432000 134512640 135078026 4287195040 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/17678/statm: 502 411 73 139 0 361 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 4144
[startup+12.7011 s]
/proc/loadavg: 1.17 1.03 1.01 3/175 17682
/proc/meminfo: memFree=25863388/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=7320 CPUtime=12.67 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) R 17668 17670 16414 0 -1 4202496 445 2813 0 0 58 5 1200 4 18 0 1 0 962576695 7495680 341 33554432000 134512640 136149437 4287757696 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17670/statm: 1830 341 208 400 0 1427 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 7320
[startup+25.501 s]
/proc/loadavg: 1.57 1.13 1.04 4/175 17684
/proc/meminfo: memFree=25858212/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=8472 CPUtime=8.69 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 2042 0 0 0 869 0 0 0 25 0 1 0 962578375 8675328 2015 33554432000 134512640 134965848 4288172736 18446744073709551615 134538924 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/17684/statm: 2118 2015 68 111 0 2005 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 11692
[startup+51.1006 s]
/proc/loadavg: 1.72 1.20 1.07 4/175 17684
/proc/meminfo: memFree=25840784/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=15988 CPUtime=34.29 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 3934 0 0 0 3429 0 0 0 25 0 1 0 962578375 16371712 3907 33554432000 134512640 134965848 4288172736 18446744073709551615 134534080 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 3997 3907 68 111 0 3884 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19208
[startup+102.307 s]
/proc/loadavg: 1.87 1.32 1.11 4/175 17686
/proc/meminfo: memFree=25815316/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=25372 CPUtime=85.5 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 6243 0 0 0 8549 1 0 0 25 0 1 0 962578375 25980928 6216 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 6343 6216 68 111 0 6230 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28592
[startup+162.301 s]
/proc/loadavg: 1.95 1.44 1.17 4/175 17688
/proc/meminfo: memFree=25787908/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=36156 CPUtime=145.49 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 8995 0 0 0 14547 2 0 0 25 0 1 0 962578375 37023744 8968 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 9039 8968 68 111 0 8926 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 39376
[startup+222.301 s]
/proc/loadavg: 1.98 1.54 1.21 4/175 17690
/proc/meminfo: memFree=25764964/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=43188 CPUtime=205.49 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 10716 0 0 0 20545 4 0 0 25 0 1 0 962578375 44224512 10689 33554432000 134512640 134965848 4288172736 18446744073709551615 134534080 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 10797 10689 68 111 0 10684 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 46408
[startup+282.301 s]
/proc/loadavg: 1.99 1.62 1.26 4/175 17690
/proc/meminfo: memFree=25749832/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=49752 CPUtime=265.49 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 12373 0 0 0 26545 4 0 0 25 0 1 0 962578375 50946048 12346 33554432000 134512640 134965848 4288172736 18446744073709551615 134534060 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 12438 12346 68 111 0 12325 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 52972
[startup+342.301 s]
/proc/loadavg: 1.99 1.69 1.30 4/175 17701
/proc/meminfo: memFree=25737800/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=58660 CPUtime=325.49 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 14578 0 0 0 32542 7 0 0 25 0 1 0 962578375 60067840 14551 33554432000 134512640 134965848 4288172736 18446744073709551615 134534047 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 14665 14551 68 111 0 14552 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 61880
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.34 4/175 17703
/proc/meminfo: memFree=25727256/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=63580 CPUtime=385.5 cores=0,2,4,6
################
# More data... #
################
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17832
/proc/meminfo: memFree=25059448/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=271960 CPUtime=4645.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 67926 0 0 0 464478 79 0 0 25 0 1 0 962578375 278487040 67899 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 67990 67899 68 111 0 67877 0
Current children cumulated CPU time (s) 4662.34
Current children cumulated vsize (KiB) 275180
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17834
/proc/meminfo: memFree=25057948/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=272664 CPUtime=4705.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 68089 0 0 0 470478 79 0 0 25 0 1 0 962578375 279207936 68062 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 68166 68062 68 111 0 68053 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 275884
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17834
/proc/meminfo: memFree=25055460/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=273604 CPUtime=4765.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 68345 0 0 0 476477 80 0 0 25 0 1 0 962578375 280170496 68318 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 68401 68318 68 111 0 68288 0
Current children cumulated CPU time (s) 4782.34
Current children cumulated vsize (KiB) 276824
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17836
/proc/meminfo: memFree=25053220/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=274776 CPUtime=4825.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 68625 0 0 0 482476 81 0 0 25 0 1 0 962578375 281370624 68598 33554432000 134512640 134965848 4288172736 18446744073709551615 134534114 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 68694 68598 68 111 0 68581 0
Current children cumulated CPU time (s) 4842.34
Current children cumulated vsize (KiB) 277996
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17838
/proc/meminfo: memFree=25050484/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=275712 CPUtime=4885.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 68830 0 0 0 488476 81 0 0 25 0 1 0 962578375 282329088 68803 33554432000 134512640 134965848 4288172736 18446744073709551615 134534348 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 68928 68803 68 111 0 68815 0
Current children cumulated CPU time (s) 4902.34
Current children cumulated vsize (KiB) 278932
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25045268/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=278292 CPUtime=4945.56 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69489 0 0 0 494475 81 0 0 25 0 1 0 962578375 284971008 69462 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69573 69462 68 111 0 69460 0
Current children cumulated CPU time (s) 4962.33
Current children cumulated vsize (KiB) 281512
Solver just ended. Dumping a history of the last processes samples
[startup+4966.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25044896/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=278524 CPUtime=4949.56 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69531 0 0 0 494875 81 0 0 25 0 1 0 962578375 285208576 69504 33554432000 134512640 134965848 4288172736 18446744073709551615 134534022 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69631 69504 68 111 0 69518 0
Current children cumulated CPU time (s) 4966.33
Current children cumulated vsize (KiB) 281744
[startup+4979.1 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25043656/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=279228 CPUtime=4962.37 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69752 0 0 0 496155 82 0 0 25 0 1 0 962578375 285929472 69725 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69807 69725 68 111 0 69694 0
Current children cumulated CPU time (s) 4979.14
Current children cumulated vsize (KiB) 282448
[startup+4991.9 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042784/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=279696 CPUtime=4975.17 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69873 0 0 0 497435 82 0 0 25 0 1 0 962578375 286408704 69846 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69924 69846 68 111 0 69811 0
Current children cumulated CPU time (s) 4991.94
Current children cumulated vsize (KiB) 282916
[startup+4995.11 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042288/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=279932 CPUtime=4978.37 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69917 0 0 0 497755 82 0 0 25 0 1 0 962578375 286650368 69890 33554432000 134512640 134965848 4288172736 18446744073709551615 134534080 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69983 69890 68 111 0 69870 0
Current children cumulated CPU time (s) 4995.14
Current children cumulated vsize (KiB) 283152
[startup+4996.7 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042288/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=279932 CPUtime=4979.97 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69939 0 0 0 497915 82 0 0 25 0 1 0 962578375 286650368 69912 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 69983 69912 68 111 0 69870 0
Current children cumulated CPU time (s) 4996.74
Current children cumulated vsize (KiB) 283152
[startup+4998.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042160/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=280164 CPUtime=4981.57 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69965 0 0 0 498075 82 0 0 25 0 1 0 962578375 286887936 69938 33554432000 134512640 134965848 4288172736 18446744073709551615 134534174 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 70041 69938 68 111 0 69928 0
Current children cumulated CPU time (s) 4998.34
Current children cumulated vsize (KiB) 283384
[startup+4998.7 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042160/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=280164 CPUtime=4981.97 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69969 0 0 0 498115 82 0 0 25 0 1 0 962578375 286887936 69942 33554432000 134512640 134965848 4288172736 18446744073709551615 134534330 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 70041 69942 68 111 0 69928 0
Current children cumulated CPU time (s) 4998.74
Current children cumulated vsize (KiB) 283384
[startup+4998.9 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 17840
/proc/meminfo: memFree=25042160/32951132 swapFree=67061148/67111528
[pid=17670] ppid=17668 vsize=3220 CPUtime=16.77 cores=0,2,4,6
/proc/17670/stat : 17670 (SATzilla2009_C) S 17668 17670 16414 0 -1 4202496 501 2813 0 0 429 44 1200 4 25 0 1 0 962576695 3297280 343 33554432000 134512640 136149437 4287757696 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/17670/statm: 805 343 220 400 0 402 0
[pid=17684] ppid=17670 vsize=280164 CPUtime=4982.17 cores=0,2,4,6
/proc/17684/stat : 17684 (tts-4-0) R 17670 17670 16414 0 -1 4202496 69969 0 0 0 498135 82 0 0 25 0 1 0 962578375 286887936 69942 33554432000 134512640 134965848 4288172736 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/17684/statm: 70041 69942 68 111 0 69928 0
Current children cumulated CPU time (s) 4998.94
Current children cumulated vsize (KiB) 283384
Child status: 17
Real time (s): 4998.98
CPU time (s): 4999.05
CPU user time (s): 4997.71
CPU system time (s): 1.3318
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 283384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.71
system time used= 1.3318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73300
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= 13
involuntary context switches= 3689
runsolver used 8.36973 second user time and 18.7462 second system time
The end