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/305641-1172082903/instance-305641-1172082903.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-305641-1172082903 -o ROOT/results/node33/solver-305641-1172082903 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305641-1172082903/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/305641-1172082903/instance-305641-1172082903.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.95 0.97 3/64 6478
/proc/meminfo: memFree=1495352/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=1932 CPUtime=0
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 133325580 1978368 246 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134518170 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 483 247 126 302 0 178 0
[startup+0.107446 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 6478
/proc/meminfo: memFree=1495352/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=3012 CPUtime=0.1
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 565 0 0 0 10 0 0 0 18 0 1 0 133325580 3084288 549 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 753 549 140 302 0 448 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3012
[startup+0.515529 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 6478
/proc/meminfo: memFree=1495352/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=4292 CPUtime=0.51
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 876 0 0 0 50 1 0 0 21 0 1 0 133325580 4395008 860 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 1073 860 140 302 0 768 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 4292
[startup+1.3357 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 6479
/proc/meminfo: memFree=1490672/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=6432 CPUtime=1.33
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 1426 0 0 0 131 2 0 0 25 0 1 0 133325580 6586368 1410 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 1608 1410 140 302 0 1303 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 6432
[startup+2.97304 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 6479
/proc/meminfo: memFree=1487792/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=10352 CPUtime=2.96
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 2408 0 0 0 293 3 0 0 25 0 1 0 133325580 10600448 2392 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 2588 2392 140 302 0 2283 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10352
[startup+6.25071 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 6479
/proc/meminfo: memFree=1480816/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=16552 CPUtime=6.24
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 3940 0 0 0 619 5 0 0 25 0 1 0 133325580 16949248 3924 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 4138 3924 140 302 0 3833 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 16552
[startup+12.705 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 6479
/proc/meminfo: memFree=1470448/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=26500 CPUtime=12.69
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 6441 0 0 0 1259 10 0 0 25 0 1 0 133325580 27136000 6392 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 6625 6392 140 302 0 6320 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26500
[startup+25.5097 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 6479
/proc/meminfo: memFree=1455984/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=41300 CPUtime=25.49
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 10191 0 0 0 2533 16 0 0 25 0 1 0 133325580 42291200 10077 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 10325 10077 140 302 0 10020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41300
[startup+51.119 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 6479
/proc/meminfo: memFree=1431472/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=65176 CPUtime=51.09
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 16188 0 0 0 5082 27 0 0 25 0 1 0 133325580 66740224 16074 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 16294 16074 140 302 0 15989 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65176
[startup+102.331 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 6479
/proc/meminfo: memFree=1396208/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=100948 CPUtime=102.28
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 25161 0 0 0 10183 45 0 0 25 0 1 0 133325580 103370752 24918 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526781 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 25237 24918 140 302 0 24932 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 100948
[startup+162.353 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6479
/proc/meminfo: memFree=1363760/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=132780 CPUtime=162.29
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 33157 0 0 0 16168 61 0 0 25 0 1 0 133325580 135966720 32914 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527089 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 33195 32914 140 302 0 32890 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132780
[startup+222.37 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6479
/proc/meminfo: memFree=1337008/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=160420 CPUtime=222.28
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 40101 0 0 0 22153 75 0 0 25 0 1 0 133325580 164270080 39601 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 40105 39601 140 302 0 39800 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 160420
[startup+282.391 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6479
/proc/meminfo: memFree=1315376/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=182112 CPUtime=282.28
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 45531 0 0 0 28139 89 0 0 25 0 1 0 133325580 186482688 45031 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 45528 45031 140 302 0 45223 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 182112
[startup+342.409 s]
/proc/loadavg: 1.03 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1291184/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=206324 CPUtime=342.28
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 51607 0 0 0 34125 103 0 0 25 0 1 0 133325580 211275776 51107 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 51581 51107 140 302 0 51276 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 206324
[startup+402.434 s]
/proc/loadavg: 1.01 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1270448/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=226584 CPUtime=402.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 56683 0 0 0 40113 114 0 0 25 0 1 0 133325580 232022016 56183 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 56646 56183 140 302 0 56341 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 226584
[startup+462.454 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1252464/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=244608 CPUtime=462.28
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 61199 0 0 0 46102 126 0 0 25 0 1 0 133325580 250478592 60699 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 61152 60699 140 302 0 60847 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 244608
[startup+522.471 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1236208/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=261000 CPUtime=522.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 65267 0 0 0 52092 135 0 0 25 0 1 0 133325580 267264000 64767 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 65250 64767 140 302 0 64945 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 261000
[startup+582.488 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1218928/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=278104 CPUtime=582.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 69533 0 0 0 58081 146 0 0 25 0 1 0 133325580 284778496 69033 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 69526 69033 140 302 0 69221 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 278104
[startup+642.512 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1201840/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=295028 CPUtime=642.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 73801 0 0 0 64071 156 0 0 25 0 1 0 133325580 302108672 73301 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 73757 73301 140 302 0 73452 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 295028
[startup+702.533 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 6479
/proc/meminfo: memFree=1187184/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=309672 CPUtime=702.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 77473 0 0 0 70063 164 0 0 25 0 1 0 133325580 317104128 76973 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 77418 76973 140 302 0 77113 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 309672
[startup+762.552 s]
/proc/loadavg: 1.03 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1172976/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=325872 CPUtime=762.26
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 81545 0 0 0 76052 174 0 0 25 0 1 0 133325580 333692928 80532 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 81468 80532 140 302 0 81163 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 325872
[startup+822.573 s]
/proc/loadavg: 1.01 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1159408/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=339216 CPUtime=822.27
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 84898 0 0 0 82046 181 0 0 25 0 1 0 133325580 347357184 83885 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 84804 83885 140 302 0 84499 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 339216
[startup+882.591 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1146736/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=351968 CPUtime=882.26
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 88057 0 0 0 88037 189 0 0 25 0 1 0 133325580 360415232 87044 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 87992 87044 140 302 0 87687 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 351968
[startup+942.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1136112/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=362704 CPUtime=942.26
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 90733 0 0 0 94030 196 0 0 25 0 1 0 133325580 371408896 89720 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527098 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 90676 89720 140 302 0 90371 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 362704
[startup+1002.63 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1125680/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=373032 CPUtime=1002.26
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 93340 0 0 0 100023 203 0 0 25 0 1 0 133325580 381984768 92327 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 93258 92327 140 302 0 92953 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 373032
[startup+1062.65 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1114608/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=384016 CPUtime=1062.26
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 96065 0 0 0 106016 210 0 0 25 0 1 0 133325580 393232384 95052 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527012 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 96004 95052 140 302 0 95699 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 384016
[startup+1122.67 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1104880/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=393820 CPUtime=1122.25
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 98550 0 0 0 112008 217 0 0 25 0 1 0 133325580 403271680 97537 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 98455 97537 140 302 0 98150 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 393820
[startup+1182.69 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 6479
/proc/meminfo: memFree=1095472/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=403348 CPUtime=1182.25
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 100894 0 0 0 118001 224 0 0 25 0 1 0 133325580 413028352 99881 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 100837 99881 140 302 0 100532 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 403348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.51 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 6479
/proc/meminfo: memFree=1092336/2055920 swapFree=4183936/4192956
[pid=6478] ppid=6476 vsize=406364 CPUtime=1200.08
/proc/6478/stat : 6478 (Spear-32) R 6476 6478 6124 0 -1 4194304 101643 0 0 0 119781 227 0 0 25 0 1 0 133325580 416116736 100630 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6478/statm: 101591 100630 140 302 0 101286 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 406364
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.58
CPU time (s): 1200.15
CPU user time (s): 1197.81
CPU system time (s): 2.33864
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 406364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.81
system time used= 2.33864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101643
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= 2793
runsolver used 0.748886 second user time and 2.46663 second system time
The end
Begin job on node33 on Wed Feb 21 18:35:03 UTC 2007
IDJOB= 305641
IDBENCH= 20161
IDSOLVER= 132
FILE ID= node33/305641-1172082903
PBS_JOBID= 3892827
Free space on /tmp= 66560 MiB
SOLVER NAME= Spear FH 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
COMMAND LINE= /tmp/evaluation/305641-1172082903/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/305641-1172082903/instance-305641-1172082903.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-305641-1172082903 -o ROOT/results/node33/solver-305641-1172082903 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305641-1172082903/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/305641-1172082903/instance-305641-1172082903.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 4d44215f03cf662ccd89594e005a5672
RANDOM SEED= 616681975
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node33.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.259
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.259
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: 1495760 kB
Buffers: 32160 kB
Cached: 434900 kB
SwapCached: 3092 kB
Active: 23540 kB
Inactive: 453108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1495760 kB
SwapTotal: 4192956 kB
SwapFree: 4183936 kB
Dirty: 1836 kB
Writeback: 0 kB
Mapped: 15520 kB
Slab: 69532 kB
Committed_AS: 218168 kB
PageTables: 1408 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 node33 on Wed Feb 21 18:55:05 UTC 2007