0.00/0.00 c (*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)
0.00/0.00 c (*) (*)
0.00/0.00 c (*) Spear theorem prover (*)
0.00/0.00 c (*) Copyright (C) 2006,2007 (*)
0.00/0.00 c (*) Domagoj Babic. All rights reserved. (*)
0.00/0.00 c (*) (*)
0.00/0.00 c (*) There is NO warranty, not even for (*)
0.00/0.00 c (*) merchantability or fitness for a particular (*)
0.00/0.00 c (*) purpose. Please run with --license to see (*)
0.00/0.00 c (*) license details. (*)
0.00/0.00 c (*) (*)
0.00/0.00 c (*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)
0.00/0.00 c
0.00/0.00 c solving /tmp/evaluation/304164-1172052700/instance-304164-1172052700.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-304164-1172052700 -o ROOT/results/node35/solver-304164-1172052700 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304164-1172052700/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/304164-1172052700/instance-304164-1172052700.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 26863
/proc/meminfo: memFree=1492840/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=1396 CPUtime=0
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 199033760 1429504 167 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 349 167 129 302 0 44 0
[startup+0.106613 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 26863
/proc/meminfo: memFree=1492840/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=2844 CPUtime=0.1
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 536 0 0 0 10 0 0 0 18 0 1 0 199033760 2912256 520 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 711 520 140 302 0 406 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2844
[startup+0.514692 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 26863
/proc/meminfo: memFree=1492840/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=3872 CPUtime=0.5
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 796 0 0 0 50 0 0 0 21 0 1 0 199033760 3964928 780 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 968 780 140 302 0 663 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3872
[startup+1.33485 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1488992/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=5536 CPUtime=1.33
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 1190 0 0 0 131 2 0 0 25 0 1 0 199033760 5668864 1174 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 1384 1174 140 302 0 1079 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5536
[startup+2.97318 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1487008/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=8108 CPUtime=2.96
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 1821 0 0 0 293 3 0 0 25 0 1 0 199033760 8302592 1805 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 2027 1805 140 302 0 1722 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 8108
[startup+6.24983 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1482784/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=11836 CPUtime=6.24
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 2762 0 0 0 619 5 0 0 25 0 1 0 199033760 12120064 2746 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 2959 2746 140 302 0 2654 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 11836
[startup+12.7061 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1477096/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=17096 CPUtime=12.69
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 4110 0 0 0 1261 8 0 0 25 0 1 0 199033760 17506304 4061 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 4274 4061 140 302 0 3969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17096
[startup+25.5066 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1469672/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=24828 CPUtime=25.48
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 6064 0 0 0 2536 12 0 0 25 0 1 0 199033760 25423872 5950 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 6207 5950 140 302 0 5902 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24828
[startup+51.1147 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1458088/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=36116 CPUtime=51.09
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 8907 0 0 0 5090 19 0 0 25 0 1 0 199033760 36982784 8793 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 9029 8793 140 302 0 8724 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36116
[startup+102.322 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1442344/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=52440 CPUtime=102.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 12977 0 0 0 10198 29 0 0 25 0 1 0 199033760 53698560 12734 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 13110 12734 140 302 0 12805 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52440
[startup+162.348 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1427368/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=67248 CPUtime=162.28
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 16650 0 0 0 16187 41 0 0 25 0 1 0 199033760 68861952 16407 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526800 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 16812 16407 140 302 0 16507 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 67248
[startup+222.37 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1416040/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=78564 CPUtime=222.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 19478 0 0 0 22178 49 0 0 25 0 1 0 199033760 80449536 19235 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 19641 19235 140 302 0 19336 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 78564
[startup+282.388 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1406440/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=89328 CPUtime=282.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 22137 0 0 0 28169 58 0 0 25 0 1 0 199033760 91471872 21637 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 22332 21637 140 302 0 22027 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 89328
[startup+342.405 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1397160/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=98804 CPUtime=342.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 24469 0 0 0 34161 65 0 0 25 0 1 0 199033760 101175296 23969 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526794 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 24701 23969 140 302 0 24396 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 98804
[startup+402.429 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1388456/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=107412 CPUtime=402.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 26613 0 0 0 40155 72 0 0 25 0 1 0 199033760 109989888 26113 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526739 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 26853 26113 140 302 0 26548 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 107412
[startup+462.453 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1380264/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=115676 CPUtime=462.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 28659 0 0 0 46148 79 0 0 25 0 1 0 199033760 118452224 28159 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 28919 28159 140 302 0 28614 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 115676
[startup+522.478 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1372904/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=123248 CPUtime=522.28
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 30516 0 0 0 52142 86 0 0 25 0 1 0 199033760 126205952 30016 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 30812 30016 140 302 0 30507 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 123248
[startup+582.499 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1365736/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=130168 CPUtime=582.28
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 32261 0 0 0 58136 92 0 0 25 0 1 0 199033760 133292032 31761 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 32542 31761 140 302 0 32237 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 130168
[startup+642.521 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1358952/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=137172 CPUtime=642.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 33978 0 0 0 64130 97 0 0 25 0 1 0 199033760 140464128 33478 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 34293 33478 140 302 0 33988 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 137172
[startup+702.539 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1351976/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=144280 CPUtime=702.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 35717 0 0 0 70125 102 0 0 25 0 1 0 199033760 147742720 35217 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526939 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 36070 35217 140 302 0 35765 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 144280
[startup+762.56 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26864
/proc/meminfo: memFree=1346088/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=150064 CPUtime=762.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 37183 0 0 0 76119 107 0 0 25 0 1 0 199033760 153665536 36683 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 37516 36683 140 302 0 37211 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 150064
[startup+822.591 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1340136/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=155896 CPUtime=822.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 38649 0 0 0 82115 112 0 0 25 0 1 0 199033760 159637504 38149 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526972 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 38974 38149 140 302 0 38669 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 155896
[startup+882.608 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1334376/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=161660 CPUtime=882.27
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 40077 0 0 0 88110 117 0 0 25 0 1 0 199033760 165539840 39577 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526822 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 40415 39577 140 302 0 40110 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 161660
[startup+942.626 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1328680/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=167452 CPUtime=942.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 41516 0 0 0 94105 121 0 0 25 0 1 0 199033760 171470848 41016 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527089 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 41863 41016 140 302 0 41558 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 167452
[startup+1002.64 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1323368/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=174764 CPUtime=1002.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 43357 0 0 0 100101 125 0 0 25 0 1 0 199033760 178958336 42344 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 43691 42344 140 302 0 43386 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 174764
[startup+1062.67 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1318248/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=179668 CPUtime=1062.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 44618 0 0 0 106096 130 0 0 25 0 1 0 199033760 183980032 43605 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527154 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 44917 43605 140 302 0 44612 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 179668
[startup+1122.69 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1313000/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=185304 CPUtime=1122.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 45934 0 0 0 112092 134 0 0 25 0 1 0 199033760 189751296 44921 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526873 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 46326 44921 140 302 0 46021 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 185304
[startup+1182.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1307880/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=190328 CPUtime=1182.26
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 47214 0 0 0 118087 139 0 0 25 0 1 0 199033760 194895872 46201 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 47582 46201 140 302 0 47277 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 190328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.53 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26866
/proc/meminfo: memFree=1306344/2055920 swapFree=4183800/4192956
[pid=26863] ppid=26861 vsize=191788 CPUtime=1200.07
/proc/26863/stat : 26863 (Spear-32) R 26861 26863 25764 0 -1 4194304 47574 0 0 0 119867 140 0 0 25 0 1 0 199033760 196390912 46561 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26863/statm: 47947 46561 140 302 0 47642 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 191788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.57
CPU time (s): 1200.11
CPU user time (s): 1198.68
CPU system time (s): 1.43878
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 191788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.68
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47574
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= 6
involuntary context switches= 2021
runsolver used 0.757884 second user time and 2.45363 second system time
The end
Begin job on node35 on Wed Feb 21 10:11:40 UTC 2007
IDJOB= 304164
IDBENCH= 20125
IDSOLVER= 131
FILE ID= node35/304164-1172052700
PBS_JOBID= 3892747
Free space on /tmp= 66560 MiB
SOLVER NAME= Spear FHS 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v220/unif-k7-r85-v220-c18700-S1941321941-16.cnf
COMMAND LINE= /tmp/evaluation/304164-1172052700/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/304164-1172052700/instance-304164-1172052700.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-304164-1172052700 -o ROOT/results/node35/solver-304164-1172052700 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304164-1172052700/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/304164-1172052700/instance-304164-1172052700.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 29d9197b533e62223ea94a4a8ccad596
RANDOM SEED= 463683295
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1493248 kB
Buffers: 41164 kB
Cached: 427656 kB
SwapCached: 3372 kB
Active: 119964 kB
Inactive: 358572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1493248 kB
SwapTotal: 4192956 kB
SwapFree: 4183800 kB
Dirty: 2092 kB
Writeback: 0 kB
Mapped: 15612 kB
Slab: 70204 kB
Committed_AS: 759044 kB
PageTables: 1412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node35 on Wed Feb 21 10:31:43 UTC 2007