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/298795-1171860783/instance-298795-1171860783.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-298795-1171860783 -o ROOT/results/node29/solver-298795-1171860783 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/298795-1171860783/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/298795-1171860783/instance-298795-1171860783.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.01 1.00 0.99 3/77 31736
/proc/meminfo: memFree=757656/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=1532 CPUtime=0
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 179842513 1568768 177 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 383 177 128 302 0 78 0
[startup+0.10674 s]
/proc/loadavg: 1.01 1.00 0.99 3/77 31736
/proc/meminfo: memFree=757656/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=1788 CPUtime=0.1
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 274 0 0 0 10 0 0 0 18 0 1 0 179842513 1830912 258 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 447 258 140 302 0 142 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1788
[startup+0.514766 s]
/proc/loadavg: 1.01 1.00 0.99 3/77 31736
/proc/meminfo: memFree=757656/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=2428 CPUtime=0.5
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 450 0 0 0 50 0 0 0 21 0 1 0 179842513 2486272 434 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 607 434 141 302 0 302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2428
[startup+1.33482 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 31737
/proc/meminfo: memFree=755728/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=3332 CPUtime=1.32
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 666 0 0 0 131 1 0 0 25 0 1 0 179842513 3411968 650 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 833 650 141 302 0 528 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3332
[startup+2.97092 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 31737
/proc/meminfo: memFree=754704/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=4628 CPUtime=2.96
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 961 0 0 0 294 2 0 0 25 0 1 0 179842513 4739072 945 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 1157 945 141 302 0 852 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4628
[startup+6.25412 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=752920/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=6128 CPUtime=6.24
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 1353 0 0 0 620 4 0 0 25 0 1 0 179842513 6275072 1304 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 1532 1304 141 302 0 1227 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6128
[startup+12.7055 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=750680/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=8396 CPUtime=12.69
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 1897 0 0 0 1262 7 0 0 25 0 1 0 179842513 8597504 1848 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 2099 1848 141 302 0 1794 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8396
[startup+25.5143 s]
/proc/loadavg: 1.00 1.00 0.99 3/78 31737
/proc/meminfo: memFree=747608/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=11816 CPUtime=25.49
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 2742 0 0 0 2538 11 0 0 25 0 1 0 179842513 12099584 2628 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 2954 2628 141 302 0 2649 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11816
[startup+51.1239 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=743064/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=16336 CPUtime=51.1
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 3846 0 0 0 5092 18 0 0 25 0 1 0 179842513 16728064 3732 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 4084 3732 141 302 0 3779 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 16336
[startup+102.343 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=736984/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=22900 CPUtime=102.31
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 5484 0 0 0 10203 28 0 0 25 0 1 0 179842513 23449600 5241 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 5725 5241 141 302 0 5420 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22900
[startup+162.377 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=731288/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=28896 CPUtime=162.33
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 6890 0 0 0 16197 36 0 0 25 0 1 0 179842513 29589504 6647 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526896 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 7224 6647 141 302 0 6919 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 28896
[startup+222.409 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=726936/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=33112 CPUtime=222.35
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 7967 0 0 0 22193 42 0 0 25 0 1 0 179842513 33906688 7724 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 8278 7724 141 302 0 7973 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 33112
[startup+282.44 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=722584/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=38648 CPUtime=282.37
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 9310 0 0 0 28187 50 0 0 25 0 1 0 179842513 39575552 8810 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 9662 8810 141 302 0 9357 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 38648
[startup+342.472 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=718680/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=42484 CPUtime=342.39
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 10290 0 0 0 34183 56 0 0 25 0 1 0 179842513 43503616 9790 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 10621 9790 141 302 0 10316 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 42484
[startup+402.508 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=715224/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=46216 CPUtime=402.41
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 11140 0 0 0 40177 64 0 0 25 0 1 0 179842513 47325184 10640 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 11554 10640 141 302 0 11249 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 46216
[startup+462.536 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31737
/proc/meminfo: memFree=712152/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=49312 CPUtime=462.43
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 11895 0 0 0 46174 69 0 0 25 0 1 0 179842513 50495488 11395 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 12328 11395 141 302 0 12023 0
Current children cumulated CPU time (s) 462.43
Current children cumulated vsize (KiB) 49312
[startup+522.591 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 31851
/proc/meminfo: memFree=708256/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=51956 CPUtime=522.42
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 12599 0 0 0 52168 74 0 0 25 0 1 0 179842513 53202944 12099 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 12989 12099 141 302 0 12684 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 51956
[startup+582.645 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 31935
/proc/meminfo: memFree=706264/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=54832 CPUtime=582.42
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 13328 0 0 0 58163 79 0 0 25 0 1 0 179842513 56147968 12828 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 13708 12828 141 302 0 13403 0
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (KiB) 54832
[startup+642.68 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 31935
/proc/meminfo: memFree=702744/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=58644 CPUtime=642.44
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 14198 0 0 0 64160 84 0 0 25 0 1 0 179842513 60051456 13698 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526843 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 14661 13698 141 302 0 14356 0
Current children cumulated CPU time (s) 642.44
Current children cumulated vsize (KiB) 58644
[startup+702.713 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31935
/proc/meminfo: memFree=700376/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=61100 CPUtime=702.46
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 14809 0 0 0 70157 89 0 0 25 0 1 0 179842513 62566400 14309 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 15275 14309 141 302 0 14970 0
Current children cumulated CPU time (s) 702.46
Current children cumulated vsize (KiB) 61100
[startup+762.748 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 31935
/proc/meminfo: memFree=698072/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=63276 CPUtime=762.48
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 15377 0 0 0 76155 93 0 0 25 0 1 0 179842513 64794624 14877 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 15819 14877 141 302 0 15514 0
Current children cumulated CPU time (s) 762.48
Current children cumulated vsize (KiB) 63276
[startup+822.785 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 31935
/proc/meminfo: memFree=696152/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=65472 CPUtime=822.51
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 15891 0 0 0 82154 97 0 0 25 0 1 0 179842513 67043328 15391 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 16368 15391 141 302 0 16063 0
Current children cumulated CPU time (s) 822.51
Current children cumulated vsize (KiB) 65472
[startup+882.815 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 31935
/proc/meminfo: memFree=694104/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=69444 CPUtime=882.52
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 16905 0 0 0 88150 102 0 0 25 0 1 0 179842513 71110656 15892 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 17361 15892 141 302 0 17056 0
Current children cumulated CPU time (s) 882.52
Current children cumulated vsize (KiB) 69444
[startup+942.848 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31935
/proc/meminfo: memFree=690904/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=73412 CPUtime=942.55
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 17718 0 0 0 94148 107 0 0 25 0 1 0 179842513 75173888 16705 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 18353 16705 141 302 0 18048 0
Current children cumulated CPU time (s) 942.55
Current children cumulated vsize (KiB) 73412
[startup+1002.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31935
/proc/meminfo: memFree=688664/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=75508 CPUtime=1002.57
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 18280 0 0 0 100144 113 0 0 25 0 1 0 179842513 77320192 17267 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 18877 17267 141 302 0 18572 0
Current children cumulated CPU time (s) 1002.57
Current children cumulated vsize (KiB) 75508
[startup+1062.92 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 31935
/proc/meminfo: memFree=686616/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=77432 CPUtime=1062.59
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 18784 0 0 0 106142 117 0 0 25 0 1 0 179842513 79290368 17771 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 19358 17771 141 302 0 19053 0
Current children cumulated CPU time (s) 1062.59
Current children cumulated vsize (KiB) 77432
[startup+1122.95 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 31935
/proc/meminfo: memFree=684568/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=79380 CPUtime=1122.61
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 19282 0 0 0 112139 122 0 0 25 0 1 0 179842513 81285120 18269 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 19845 18269 141 302 0 19540 0
Current children cumulated CPU time (s) 1122.61
Current children cumulated vsize (KiB) 79380
[startup+1182.98 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 31935
/proc/meminfo: memFree=682776/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=81044 CPUtime=1182.62
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 19743 0 0 0 118136 126 0 0 25 0 1 0 179842513 82989056 18730 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 20261 18730 141 302 0 19956 0
Current children cumulated CPU time (s) 1182.62
Current children cumulated vsize (KiB) 81044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31935
/proc/meminfo: memFree=682200/2055920 swapFree=4147432/4192956
[pid=31736] ppid=31734 vsize=81556 CPUtime=1200.05
/proc/31736/stat : 31736 (Spear-32) R 31734 31736 26081 0 -1 4194304 19867 0 0 0 119876 129 0 0 25 0 1 0 179842513 83513344 18854 18446744073709551615 134512640 135752790 4294956592 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 20389 18854 141 302 0 20084 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 81556
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.42
CPU time (s): 1200.07
CPU user time (s): 1198.76
CPU system time (s): 1.3058
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 81556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.76
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19867
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= 1204
runsolver used 1.19482 second user time and 3.07653 second system time
The end
Begin job on node29 on Mon Feb 19 04:53:03 UTC 2007
IDJOB= 298795
IDBENCH= 19994
IDSOLVER= 133
FILE ID= node29/298795-1171860783
PBS_JOBID= 3839662
Free space on /tmp= 66563 MiB
SOLVER NAME= Spear 2007-02-12
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v360/unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/298795-1171860783/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/298795-1171860783/instance-298795-1171860783.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-298795-1171860783 -o ROOT/results/node29/solver-298795-1171860783 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/298795-1171860783/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/298795-1171860783/instance-298795-1171860783.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 7faf66a7cdab73c483b5715fbee2bc7a
RANDOM SEED= 153637496
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node29.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.209
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.209
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: 758128 kB
Buffers: 50776 kB
Cached: 1120892 kB
SwapCached: 12280 kB
Active: 839760 kB
Inactive: 355248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 758128 kB
SwapTotal: 4192956 kB
SwapFree: 4147432 kB
Dirty: 1592 kB
Writeback: 0 kB
Mapped: 30240 kB
Slab: 88280 kB
Committed_AS: 667268 kB
PageTables: 1864 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 node29 on Mon Feb 19 05:13:05 UTC 2007