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/291536-1171743690/instance-291536-1171743690.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-291536-1171743690 -o ROOT/results/node43/solver-291536-1171743690 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/291536-1171743690/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/291536-1171743690/instance-291536-1171743690.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.00 0.05 0.37 3/64 3433
/proc/meminfo: memFree=612520/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=1396 CPUtime=0
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 194325041 1429504 169 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 349 170 128 302 0 44 0
[startup+0.106711 s]
/proc/loadavg: 0.00 0.05 0.37 3/64 3433
/proc/meminfo: memFree=612520/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=1796 CPUtime=0.1
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 291 0 0 0 10 0 0 0 18 0 1 0 194325041 1839104 275 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 449 275 140 302 0 144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1796
[startup+0.514777 s]
/proc/loadavg: 0.00 0.05 0.37 3/64 3433
/proc/meminfo: memFree=612520/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=2712 CPUtime=0.51
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 490 0 0 0 50 1 0 0 22 0 1 0 194325041 2777088 474 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 678 474 140 302 0 373 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2712
[startup+1.33491 s]
/proc/loadavg: 0.00 0.05 0.37 2/65 3434
/proc/meminfo: memFree=610400/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=3636 CPUtime=1.32
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 739 0 0 0 131 1 0 0 25 0 1 0 194325041 3723264 723 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 909 723 140 302 0 604 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3636
[startup+2.97519 s]
/proc/loadavg: 0.00 0.05 0.37 2/65 3434
/proc/meminfo: memFree=609312/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=4848 CPUtime=2.96
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 1026 0 0 0 294 2 0 0 25 0 1 0 194325041 4964352 1010 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 1212 1010 140 302 0 907 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4848
[startup+6.25173 s]
/proc/loadavg: 0.08 0.06 0.37 2/65 3434
/proc/meminfo: memFree=607456/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=6460 CPUtime=6.24
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 1444 0 0 0 620 4 0 0 25 0 1 0 194325041 6615040 1395 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 1615 1395 140 302 0 1310 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6460
[startup+12.7068 s]
/proc/loadavg: 0.15 0.08 0.38 2/65 3434
/proc/meminfo: memFree=605280/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=8444 CPUtime=12.69
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 1942 0 0 0 1263 6 0 0 25 0 1 0 194325041 8646656 1893 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 2111 1893 140 302 0 1806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8444
[startup+25.5129 s]
/proc/loadavg: 0.34 0.12 0.39 2/65 3434
/proc/meminfo: memFree=602720/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=11504 CPUtime=25.49
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 2677 0 0 0 2541 8 0 0 25 0 1 0 194325041 11780096 2563 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 2876 2563 140 302 0 2571 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11504
[startup+51.1352 s]
/proc/loadavg: 0.56 0.19 0.40 2/65 3434
/proc/meminfo: memFree=598752/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=15436 CPUtime=51.08
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 3653 0 0 0 5097 11 0 0 25 0 1 0 194325041 15806464 3539 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526822 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 3859 3539 140 302 0 3554 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15436
[startup+102.365 s]
/proc/loadavg: 0.81 0.31 0.43 2/65 3434
/proc/meminfo: memFree=593120/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=21784 CPUtime=102.28
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 5173 0 0 0 10208 20 0 0 25 0 1 0 194325041 22306816 4930 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 5446 4930 140 302 0 5141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 21784
[startup+162.407 s]
/proc/loadavg: 0.98 0.45 0.47 2/65 3434
/proc/meminfo: memFree=587936/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=27184 CPUtime=162.28
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 6460 0 0 0 16201 27 0 0 25 0 1 0 194325041 27836416 6217 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 6796 6217 140 302 0 6491 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 27184
[startup+222.448 s]
/proc/loadavg: 0.99 0.55 0.50 2/65 3434
/proc/meminfo: memFree=583584/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=31988 CPUtime=222.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 7554 0 0 0 22194 33 0 0 25 0 1 0 194325041 32755712 7311 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526871 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 7997 7311 140 302 0 7692 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 31988
[startup+282.487 s]
/proc/loadavg: 0.99 0.63 0.53 2/65 3434
/proc/meminfo: memFree=579808/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=36752 CPUtime=282.28
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 8753 0 0 0 28187 41 0 0 25 0 1 0 194325041 37634048 8253 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 9188 8253 140 302 0 8883 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 36752
[startup+342.522 s]
/proc/loadavg: 0.99 0.69 0.55 2/65 3434
/proc/meminfo: memFree=576160/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=40440 CPUtime=342.28
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 9658 0 0 0 34182 46 0 0 25 0 1 0 194325041 41410560 9158 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526871 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 10110 9158 140 302 0 9805 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 40440
[startup+402.562 s]
/proc/loadavg: 0.99 0.74 0.58 2/65 3434
/proc/meminfo: memFree=573088/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=43272 CPUtime=402.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 10415 0 0 0 40176 51 0 0 25 0 1 0 194325041 44310528 9915 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526752 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 10818 9915 140 302 0 10513 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 43272
[startup+462.605 s]
/proc/loadavg: 0.99 0.79 0.60 2/65 3434
/proc/meminfo: memFree=570400/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=46168 CPUtime=462.28
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 11086 0 0 0 46172 56 0 0 25 0 1 0 194325041 47276032 10586 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 11542 10586 140 302 0 11237 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 46168
[startup+522.641 s]
/proc/loadavg: 0.99 0.82 0.62 2/65 3434
/proc/meminfo: memFree=567584/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=49200 CPUtime=522.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 11794 0 0 0 52167 60 0 0 25 0 1 0 194325041 50380800 11294 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 12300 11294 140 302 0 11995 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 49200
[startup+582.677 s]
/proc/loadavg: 0.99 0.85 0.64 2/65 3434
/proc/meminfo: memFree=565088/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=51872 CPUtime=582.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 12413 0 0 0 58163 64 0 0 25 0 1 0 194325041 53116928 11913 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 12968 11913 140 302 0 12663 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 51872
[startup+642.719 s]
/proc/loadavg: 0.99 0.88 0.66 2/65 3434
/proc/meminfo: memFree=562656/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=54172 CPUtime=642.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 13015 0 0 0 64159 68 0 0 25 0 1 0 194325041 55472128 12515 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 13543 12515 140 302 0 13238 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 54172
[startup+702.755 s]
/proc/loadavg: 0.99 0.90 0.68 2/65 3434
/proc/meminfo: memFree=560224/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=56908 CPUtime=702.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 13632 0 0 0 70153 74 0 0 25 0 1 0 194325041 58273792 13132 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526745 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 14227 13132 140 302 0 13922 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 56908
[startup+762.791 s]
/proc/loadavg: 0.99 0.91 0.70 2/65 3434
/proc/meminfo: memFree=557984/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=59092 CPUtime=762.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 14196 0 0 0 76149 77 0 0 25 0 1 0 194325041 60510208 13696 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526790 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 14773 13696 140 302 0 14468 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 59092
[startup+822.83 s]
/proc/loadavg: 0.99 0.93 0.72 2/65 3434
/proc/meminfo: memFree=555872/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=61204 CPUtime=822.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 14711 0 0 0 82145 81 0 0 25 0 1 0 194325041 62672896 14211 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 15301 14211 140 302 0 14996 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 61204
[startup+882.866 s]
/proc/loadavg: 0.99 0.94 0.73 2/65 3434
/proc/meminfo: memFree=553760/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=63184 CPUtime=882.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 15225 0 0 0 88141 85 0 0 25 0 1 0 194325041 64700416 14725 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 15796 14725 140 302 0 15491 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 63184
[startup+942.908 s]
/proc/loadavg: 0.99 0.95 0.74 2/65 3434
/proc/meminfo: memFree=551840/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=67668 CPUtime=942.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 16234 0 0 0 94137 89 0 0 25 0 1 0 194325041 69292032 15221 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526739 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 16917 15221 140 302 0 16612 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 67668
[startup+1002.94 s]
/proc/loadavg: 0.99 0.95 0.75 2/65 3434
/proc/meminfo: memFree=549792/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=69600 CPUtime=1002.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 16745 0 0 0 100133 93 0 0 25 0 1 0 194325041 71270400 15732 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 17400 15732 140 302 0 17095 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 69600
[startup+1062.99 s]
/proc/loadavg: 0.99 0.96 0.77 2/65 3436
/proc/meminfo: memFree=548000/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=71196 CPUtime=1062.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 17136 0 0 0 106130 97 0 0 25 0 1 0 194325041 72904704 16123 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 17799 16123 140 302 0 17494 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 71196
[startup+1123.02 s]
/proc/loadavg: 0.99 0.96 0.78 2/65 3436
/proc/meminfo: memFree=545760/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=73464 CPUtime=1122.26
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 17721 0 0 0 112126 100 0 0 25 0 1 0 194325041 75227136 16708 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 18366 16708 140 302 0 18061 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 73464
[startup+1183.06 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 3436
/proc/meminfo: memFree=544032/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=75652 CPUtime=1182.27
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 18174 0 0 0 118124 103 0 0 25 0 1 0 194325041 77467648 17161 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 18913 17161 140 302 0 18608 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 75652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.89 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 3436
/proc/meminfo: memFree=543520/2055920 swapFree=4183376/4192956
[pid=3433] ppid=3431 vsize=76168 CPUtime=1200.08
/proc/3433/stat : 3433 (Spear-32) R 3431 3433 3376 0 -1 4194304 18305 0 0 0 119904 104 0 0 25 0 1 0 194325041 77996032 17292 18446744073709551615 134512640 135752790 4294956560 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 0 0 0
/proc/3433/statm: 19042 17292 140 302 0 18737 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 76168
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.91
CPU time (s): 1200.11
CPU user time (s): 1199.05
CPU system time (s): 1.05784
CPU usage (%): 99.9335
Max. virtual memory (cumulated for all children) (KiB): 76168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.05
system time used= 1.05784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18305
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= 4831
runsolver used 1.18682 second user time and 3.08453 second system time
The end
Begin job on node43 on Sat Feb 17 20:21:30 UTC 2007
IDJOB= 291536
IDBENCH= 19817
IDSOLVER= 131
FILE ID= node43/291536-1171743690
PBS_JOBID= 3839467
Free space on /tmp= 66563 MiB
SOLVER NAME= Spear FHS 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v80/unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/291536-1171743690/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/291536-1171743690/instance-291536-1171743690.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-291536-1171743690 -o ROOT/results/node43/solver-291536-1171743690 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/291536-1171743690/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs /tmp/evaluation/291536-1171743690/instance-291536-1171743690.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 6d383381e8ab688e1b7567de1fb83536
RANDOM SEED= 750419966
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node43.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.281
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.281
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: 613056 kB
Buffers: 49816 kB
Cached: 1272708 kB
SwapCached: 4020 kB
Active: 807312 kB
Inactive: 525048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 613056 kB
SwapTotal: 4192956 kB
SwapFree: 4183376 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 15112 kB
Slab: 96628 kB
Committed_AS: 478492 kB
PageTables: 1392 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= 66563 MiB
End job on node43 on Sat Feb 17 20:41:33 UTC 2007