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/308101-1172515708/instance-308101-1172515708.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-308101-1172515708 -o ROOT/results/node66/solver-308101-1172515708 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308101-1172515708/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/308101-1172515708/instance-308101-1172515708.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: 1.00 1.10 1.45 3/64 10737
/proc/meminfo: memFree=1946448/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=1932 CPUtime=0
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 271528312 1978368 247 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134518176 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 483 247 126 302 0 178 0
[startup+0.107951 s]
/proc/loadavg: 1.00 1.10 1.45 3/64 10737
/proc/meminfo: memFree=1946448/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=2464 CPUtime=0.1
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 427 0 0 0 10 0 0 0 18 0 1 0 271528312 2523136 411 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 616 411 140 302 0 311 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2464
[startup+0.518996 s]
/proc/loadavg: 1.00 1.10 1.45 3/64 10737
/proc/meminfo: memFree=1946448/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=2848 CPUtime=0.51
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 544 0 0 0 51 0 0 0 21 0 1 0 271528312 2916352 528 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134539587 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 712 528 140 302 0 407 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2848
[startup+1.33916 s]
/proc/loadavg: 1.00 1.10 1.45 2/65 10738
/proc/meminfo: memFree=1944264/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=3620 CPUtime=1.33
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 715 0 0 0 132 1 0 0 25 0 1 0 271528312 3706880 699 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 905 699 140 302 0 600 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3620
[startup+2.97549 s]
/proc/loadavg: 1.00 1.10 1.45 2/65 10738
/proc/meminfo: memFree=1943240/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=4932 CPUtime=2.96
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 1042 0 0 0 295 1 0 0 25 0 1 0 271528312 5050368 1026 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 1233 1026 140 302 0 928 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4932
[startup+6.25315 s]
/proc/loadavg: 1.00 1.10 1.45 2/65 10738
/proc/meminfo: memFree=1941128/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=6724 CPUtime=6.24
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 1487 0 0 0 621 3 0 0 25 0 1 0 271528312 6885376 1471 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 1681 1471 140 302 0 1376 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6724
[startup+12.7075 s]
/proc/loadavg: 1.00 1.10 1.44 2/65 10738
/proc/meminfo: memFree=1938568/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=9164 CPUtime=12.69
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 2113 0 0 0 1264 5 0 0 25 0 1 0 271528312 9383936 2064 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 2291 2064 140 302 0 1986 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9164
[startup+25.511 s]
/proc/loadavg: 1.00 1.09 1.44 2/65 10738
/proc/meminfo: memFree=1934664/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=13148 CPUtime=25.49
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 3125 0 0 0 2540 9 0 0 25 0 1 0 271528312 13463552 3076 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 3287 3076 140 302 0 2982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13148
[startup+51.1222 s]
/proc/loadavg: 1.00 1.08 1.42 2/65 10738
/proc/meminfo: memFree=1929224/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=18736 CPUtime=51.09
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 4536 0 0 0 5094 15 0 0 25 0 1 0 271528312 19185664 4422 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527154 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 4684 4422 140 302 0 4379 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18736
[startup+102.338 s]
/proc/loadavg: 1.00 1.07 1.40 2/65 10738
/proc/meminfo: memFree=1921096/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=27296 CPUtime=102.28
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 6700 0 0 0 10203 25 0 0 25 0 1 0 271528312 27951104 6457 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526928 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 6824 6457 140 302 0 6519 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27296
[startup+162.359 s]
/proc/loadavg: 1.00 1.05 1.37 2/65 10738
/proc/meminfo: memFree=1913032/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=35376 CPUtime=162.29
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 8663 0 0 0 16194 35 0 0 25 0 1 0 271528312 36225024 8420 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527100 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 8844 8420 140 302 0 8539 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35376
[startup+222.378 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 10738
/proc/meminfo: memFree=1906632/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=41692 CPUtime=222.29
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 10251 0 0 0 22186 43 0 0 25 0 1 0 271528312 42692608 10008 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527012 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 10423 10008 140 302 0 10118 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41692
[startup+282.398 s]
/proc/loadavg: 1.00 1.03 1.32 2/65 10738
/proc/meminfo: memFree=1901640/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=46740 CPUtime=282.28
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 11547 0 0 0 28177 51 0 0 25 0 1 0 271528312 47861760 11304 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 11685 11304 140 302 0 11380 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 46740
[startup+342.419 s]
/proc/loadavg: 1.03 1.04 1.30 2/65 10738
/proc/meminfo: memFree=1896200/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=53288 CPUtime=342.27
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 13140 0 0 0 34168 59 0 0 25 0 1 0 271528312 54566912 12640 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526767 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 13322 12640 140 302 0 13017 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 53288
[startup+402.443 s]
/proc/loadavg: 1.01 1.03 1.28 2/65 10738
/proc/meminfo: memFree=1890696/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=58616 CPUtime=402.28
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 14483 0 0 0 40162 66 0 0 25 0 1 0 271528312 60022784 13983 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 14654 13983 140 302 0 14349 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 58616
[startup+462.464 s]
/proc/loadavg: 1.00 1.02 1.26 2/65 10738
/proc/meminfo: memFree=1885768/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=63756 CPUtime=462.27
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 15732 0 0 0 46156 71 0 0 25 0 1 0 271528312 65286144 15232 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 15939 15232 140 302 0 15634 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 63756
[startup+522.48 s]
/proc/loadavg: 1.00 1.02 1.24 2/65 10738
/proc/meminfo: memFree=1881928/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=67516 CPUtime=522.27
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 16697 0 0 0 52149 78 0 0 25 0 1 0 271528312 69136384 16197 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527166 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 16879 16197 140 302 0 16574 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 67516
[startup+582.501 s]
/proc/loadavg: 1.04 1.03 1.23 2/65 10738
/proc/meminfo: memFree=1877832/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=71452 CPUtime=582.28
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 17682 0 0 0 58144 84 0 0 25 0 1 0 271528312 73166848 17182 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 17863 17182 140 302 0 17558 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 71452
[startup+642.524 s]
/proc/loadavg: 1.01 1.02 1.21 2/65 10738
/proc/meminfo: memFree=1873160/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=76248 CPUtime=642.27
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 18843 0 0 0 64137 90 0 0 25 0 1 0 271528312 78077952 18343 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526812 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 19062 18343 140 302 0 18757 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 76248
[startup+702.549 s]
/proc/loadavg: 1.00 1.01 1.20 2/65 10738
/proc/meminfo: memFree=1869512/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=80240 CPUtime=702.27
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 19762 0 0 0 70132 95 0 0 25 0 1 0 271528312 82165760 19262 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 20060 19262 140 302 0 19755 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 80240
[startup+762.577 s]
/proc/loadavg: 1.00 1.01 1.18 2/71 10804
/proc/meminfo: memFree=1864720/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=84228 CPUtime=762.26
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 20670 0 0 0 76126 100 0 0 25 0 1 0 271528312 86249472 20170 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526969 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 21057 20170 140 302 0 20752 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 84228
[startup+822.627 s]
/proc/loadavg: 1.00 1.00 1.17 2/71 10896
/proc/meminfo: memFree=1861336/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=87524 CPUtime=822.23
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 21488 0 0 0 82118 105 0 0 25 0 1 0 271528312 89624576 20988 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 21881 20988 140 302 0 21576 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 87524
[startup+882.657 s]
/proc/loadavg: 1.00 1.00 1.16 2/65 10936
/proc/meminfo: memFree=1859400/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=90552 CPUtime=882.21
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 22225 0 0 0 88111 110 0 0 25 0 1 0 271528312 92725248 21725 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526761 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 22638 21725 140 302 0 22333 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 90552
[startup+942.68 s]
/proc/loadavg: 1.07 1.02 1.15 2/65 10936
/proc/meminfo: memFree=1856328/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=93904 CPUtime=942.21
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 23023 0 0 0 94108 113 0 0 25 0 1 0 271528312 96157696 22523 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 23476 22523 140 302 0 23171 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 93904
[startup+1002.7 s]
/proc/loadavg: 1.02 1.01 1.14 2/65 10936
/proc/meminfo: memFree=1852936/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=97272 CPUtime=1002.21
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 23867 0 0 0 100102 119 0 0 25 0 1 0 271528312 99606528 23367 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 24318 23367 140 302 0 24013 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 97272
[startup+1062.73 s]
/proc/loadavg: 1.01 1.00 1.13 2/65 10936
/proc/meminfo: memFree=1849672/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=102336 CPUtime=1062.21
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 25172 0 0 0 106098 123 0 0 25 0 1 0 271528312 104792064 24159 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527089 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 25584 24159 140 302 0 25279 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 102336
[startup+1122.75 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 10936
/proc/meminfo: memFree=1846984/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=105004 CPUtime=1122.21
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 25848 0 0 0 112093 128 0 0 25 0 1 0 271528312 107524096 24835 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 26251 24835 140 302 0 25946 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 105004
[startup+1182.77 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 10936
/proc/meminfo: memFree=1844296/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=107820 CPUtime=1182.2
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 26509 0 0 0 118089 131 0 0 25 0 1 0 271528312 110407680 25496 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 26955 25496 140 302 0 26650 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 107820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.59 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 10936
/proc/meminfo: memFree=1843592/2055920 swapFree=4179812/4192956
[pid=10737] ppid=10735 vsize=108452 CPUtime=1200.03
/proc/10737/stat : 10737 (Spear-32) R 10735 10737 10679 0 -1 4194304 26698 0 0 0 119870 133 0 0 25 0 1 0 271528312 111054848 25685 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134527092 0 0 4096 0 0 0 0 17 1 0 0
/proc/10737/statm: 27113 25685 140 302 0 26808 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 108452
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.61
CPU time (s): 1200.05
CPU user time (s): 1198.71
CPU system time (s): 1.3478
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 108452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.71
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26698
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= 1454
runsolver used 0.869867 second user time and 2.43063 second system time
The end
Begin job on node66 on Mon Feb 26 18:48:28 UTC 2007
IDJOB= 308101
IDBENCH= 20222
IDSOLVER= 132
FILE ID= node66/308101-1172515708
PBS_JOBID= 3971780
Free space on /tmp= 66561 MiB
SOLVER NAME= Spear FH 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/308101-1172515708/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/308101-1172515708/instance-308101-1172515708.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-308101-1172515708 -o ROOT/results/node66/solver-308101-1172515708 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308101-1172515708/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/308101-1172515708/instance-308101-1172515708.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 999d1a34639cbd28758ef0f4a062ee27
RANDOM SEED= 596745041
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node66.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 : 5931.00
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: 1947368 kB
Buffers: 20012 kB
Cached: 47552 kB
SwapCached: 7236 kB
Active: 22080 kB
Inactive: 58300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1947368 kB
SwapTotal: 4192956 kB
SwapFree: 4179812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 14956 kB
Slab: 14192 kB
Committed_AS: 651768 kB
PageTables: 1376 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= 66561 MiB
End job on node66 on Mon Feb 26 19:08:30 UTC 2007