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/301172-1171955776/instance-301172-1171955776.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-301172-1171955776 -o ROOT/results/node17/solver-301172-1171955776 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301172-1171955776/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/301172-1171955776/instance-301172-1171955776.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.92 0.98 0.99 3/77 1732
/proc/meminfo: memFree=1559632/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=1548 CPUtime=0
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 215531798 1585152 178 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 387 179 128 302 0 82 0
[startup+0.107077 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1732
/proc/meminfo: memFree=1559632/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=2464 CPUtime=0.1
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 456 0 0 0 10 0 0 0 18 0 1 0 215531798 2523136 440 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 616 440 140 302 0 311 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2464
[startup+0.515119 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1732
/proc/meminfo: memFree=1559632/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=4016 CPUtime=0.5
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 836 0 0 0 50 0 0 0 21 0 1 0 215531798 4112384 820 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 1004 820 140 302 0 699 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4016
[startup+1.3402 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1555016/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=6448 CPUtime=1.33
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 1448 0 0 0 132 1 0 0 25 0 1 0 215531798 6602752 1432 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527012 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 1612 1432 140 302 0 1307 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 6448
[startup+2.97738 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1552200/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=10168 CPUtime=2.97
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 2356 0 0 0 293 4 0 0 25 0 1 0 215531798 10412032 2340 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 2542 2340 140 302 0 2237 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10168
[startup+6.25372 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1545992/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=15556 CPUtime=6.24
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 3708 0 0 0 618 6 0 0 25 0 1 0 215531798 15929344 3692 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 3889 3692 140 302 0 3584 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 15556
[startup+12.7104 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1537608/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=23368 CPUtime=12.7
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 5677 0 0 0 1260 10 0 0 25 0 1 0 215531798 23928832 5628 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 5842 5628 140 302 0 5537 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 23368
[startup+25.5107 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1526216/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=35036 CPUtime=25.49
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 8631 0 0 0 2534 15 0 0 25 0 1 0 215531798 35876864 8517 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 8759 8517 140 302 0 8454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35036
[startup+51.1244 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1733
/proc/meminfo: memFree=1509128/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=51720 CPUtime=51.1
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 12825 0 0 0 5086 24 0 0 25 0 1 0 215531798 52961280 12711 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 12930 12711 140 302 0 12625 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 51720
[startup+102.348 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1485320/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=76152 CPUtime=102.3
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 18936 0 0 0 10192 38 0 0 25 0 1 0 215531798 77979648 18693 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 19038 18693 140 302 0 18733 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76152
[startup+162.383 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1463624/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=97268 CPUtime=162.32
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 24252 0 0 0 16182 50 0 0 25 0 1 0 215531798 99602432 24009 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 24317 24009 140 302 0 24012 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 97268
[startup+222.417 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1445320/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=115592 CPUtime=222.34
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 28822 0 0 0 22174 60 0 0 25 0 1 0 215531798 118366208 28579 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 28898 28579 140 302 0 28593 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 115592
[startup+282.448 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1429960/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=132044 CPUtime=282.37
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 32949 0 0 0 28166 71 0 0 25 0 1 0 215531798 135213056 32449 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 33011 32449 140 302 0 32706 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 132044
[startup+342.486 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 1733
/proc/meminfo: memFree=1414024/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=148016 CPUtime=342.39
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 36950 0 0 0 34157 82 0 0 25 0 1 0 215531798 151568384 36450 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 37004 36450 140 302 0 36699 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 148016
[startup+402.524 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 1733
/proc/meminfo: memFree=1399176/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=162672 CPUtime=402.41
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 40604 0 0 0 40149 92 0 0 25 0 1 0 215531798 166576128 40104 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 40668 40104 140 302 0 40363 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 162672
[startup+462.556 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1386120/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=175696 CPUtime=462.43
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 43876 0 0 0 46141 102 0 0 25 0 1 0 215531798 179912704 43376 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 43924 43376 140 302 0 43619 0
Current children cumulated CPU time (s) 462.43
Current children cumulated vsize (KiB) 175696
[startup+522.588 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1374216/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=187556 CPUtime=522.44
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 46857 0 0 0 52134 110 0 0 25 0 1 0 215531798 192057344 46357 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 46889 46357 140 302 0 46584 0
Current children cumulated CPU time (s) 522.44
Current children cumulated vsize (KiB) 187556
[startup+582.622 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1362824/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=198840 CPUtime=582.47
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 49649 0 0 0 58130 117 0 0 25 0 1 0 215531798 203612160 49149 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 49710 49149 140 302 0 49405 0
Current children cumulated CPU time (s) 582.47
Current children cumulated vsize (KiB) 198840
[startup+642.661 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1351048/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=210740 CPUtime=642.49
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 52607 0 0 0 64124 125 0 0 25 0 1 0 215531798 215797760 52107 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 52685 52107 140 302 0 52380 0
Current children cumulated CPU time (s) 642.49
Current children cumulated vsize (KiB) 210740
[startup+702.696 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1340360/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=221404 CPUtime=702.5
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 55295 0 0 0 70117 133 0 0 25 0 1 0 215531798 226717696 54795 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527172 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 55351 54795 140 302 0 55046 0
Current children cumulated CPU time (s) 702.5
Current children cumulated vsize (KiB) 221404
[startup+762.732 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1330248/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=231632 CPUtime=762.52
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 57839 0 0 0 76112 140 0 0 25 0 1 0 215531798 237191168 57339 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 57908 57339 140 302 0 57603 0
Current children cumulated CPU time (s) 762.52
Current children cumulated vsize (KiB) 231632
[startup+822.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1320072/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=243640 CPUtime=822.55
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 60846 0 0 0 82106 149 0 0 25 0 1 0 215531798 249487360 59833 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 60910 59833 140 302 0 60605 0
Current children cumulated CPU time (s) 822.55
Current children cumulated vsize (KiB) 243640
[startup+882.804 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1310664/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=253172 CPUtime=882.56
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 63207 0 0 0 88102 154 0 0 25 0 1 0 215531798 259248128 62194 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526775 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 63293 62194 140 302 0 62988 0
Current children cumulated CPU time (s) 882.56
Current children cumulated vsize (KiB) 253172
[startup+942.836 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1301448/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=262356 CPUtime=942.58
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 65514 0 0 0 94097 161 0 0 25 0 1 0 215531798 268652544 64501 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 65589 64501 140 302 0 65284 0
Current children cumulated CPU time (s) 942.58
Current children cumulated vsize (KiB) 262356
[startup+1002.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1292808/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=271004 CPUtime=1002.6
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 67670 0 0 0 100092 168 0 0 25 0 1 0 215531798 277508096 66657 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 67751 66657 140 302 0 67446 0
Current children cumulated CPU time (s) 1002.6
Current children cumulated vsize (KiB) 271004
[startup+1062.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1284680/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=279092 CPUtime=1062.62
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 69670 0 0 0 106089 173 0 0 25 0 1 0 215531798 285790208 68657 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 69773 68657 140 302 0 69468 0
Current children cumulated CPU time (s) 1062.62
Current children cumulated vsize (KiB) 279092
[startup+1122.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1276872/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=286936 CPUtime=1122.64
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 71640 0 0 0 112085 179 0 0 25 0 1 0 215531798 293822464 70627 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526860 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 71734 70627 140 302 0 71429 0
Current children cumulated CPU time (s) 1122.64
Current children cumulated vsize (KiB) 286936
[startup+1182.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1733
/proc/meminfo: memFree=1269000/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=294928 CPUtime=1182.65
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 73609 0 0 0 118081 184 0 0 25 0 1 0 215531798 302006272 72596 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 73732 72596 140 302 0 73427 0
Current children cumulated CPU time (s) 1182.65
Current children cumulated vsize (KiB) 294928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.39 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 1733
/proc/meminfo: memFree=1266760/2055920 swapFree=4192812/4192956
[pid=1732] ppid=1730 vsize=297028 CPUtime=1200.08
/proc/1732/stat : 1732 (Spear-32) R 1730 1732 343 0 -1 4194304 74138 0 0 0 119822 186 0 0 25 0 1 0 215531798 304156672 73125 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/1732/statm: 74257 73125 140 302 0 73952 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 297028
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.44
CPU time (s): 1200.13
CPU user time (s): 1198.22
CPU system time (s): 1.90971
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 297028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.22
system time used= 1.90971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74138
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= 1903
runsolver used 1.38979 second user time and 2.88056 second system time
The end
Begin job on node17 on Tue Feb 20 07:16:16 UTC 2007
IDJOB= 301172
IDBENCH= 20052
IDSOLVER= 132
FILE ID= node17/301172-1171955776
PBS_JOBID= 3848949
Free space on /tmp= 66545 MiB
SOLVER NAME= Spear FH 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v600/unif-k5-r20-v600-c12000-S883927618-10.cnf
COMMAND LINE= /tmp/evaluation/301172-1171955776/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/301172-1171955776/instance-301172-1171955776.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-301172-1171955776 -o ROOT/results/node17/solver-301172-1171955776 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301172-1171955776/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/301172-1171955776/instance-301172-1171955776.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= f65bec0a86c887b34d745bc7beb4cebd
RANDOM SEED= 241329063
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node17.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.229
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.229
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: 1560104 kB
Buffers: 53632 kB
Cached: 324788 kB
SwapCached: 0 kB
Active: 282712 kB
Inactive: 140292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1560104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1836 kB
Writeback: 0 kB
Mapped: 63452 kB
Slab: 58352 kB
Committed_AS: 781872 kB
PageTables: 1748 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= 66545 MiB
End job on node17 on Tue Feb 20 07:36:18 UTC 2007