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/297237-1171835306/instance-297237-1171835306.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-297237-1171835306 -o ROOT/results/node43/solver-297237-1171835306 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297237-1171835306/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/297237-1171835306/instance-297237-1171835306.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.00 1.00 2/64 16748
/proc/meminfo: memFree=542824/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=1396 CPUtime=0
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 203486645 1429504 163 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 349 163 128 302 0 44 0
[startup+0.106506 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16748
/proc/meminfo: memFree=542824/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=2052 CPUtime=0.1
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 349 0 0 0 10 0 0 0 18 0 1 0 203486645 2101248 333 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 513 333 140 302 0 208 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2052
[startup+0.514573 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16748
/proc/meminfo: memFree=542824/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=2836 CPUtime=0.5
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 537 0 0 0 50 0 0 0 21 0 1 0 203486645 2904064 521 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 709 521 140 302 0 404 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2836
[startup+1.33471 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=540448/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=3936 CPUtime=1.32
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 800 0 0 0 131 1 0 0 25 0 1 0 203486645 4030464 784 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 984 784 141 302 0 679 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3936
[startup+2.97098 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=539232/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=5356 CPUtime=2.96
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 1150 0 0 0 294 2 0 0 25 0 1 0 203486645 5484544 1134 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 1339 1134 141 302 0 1034 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 5356
[startup+6.25052 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=536992/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=7392 CPUtime=6.24
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 1663 0 0 0 620 4 0 0 25 0 1 0 203486645 7569408 1614 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 1848 1614 141 302 0 1543 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 7392
[startup+12.7036 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=534240/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=9860 CPUtime=12.69
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 2281 0 0 0 1263 6 0 0 25 0 1 0 203486645 10096640 2232 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 2465 2232 141 302 0 2160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9860
[startup+25.5087 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=530720/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=13876 CPUtime=25.49
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 3240 0 0 0 2540 9 0 0 25 0 1 0 203486645 14209024 3126 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 3469 3126 141 302 0 3164 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13876
[startup+51.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=525600/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=19088 CPUtime=51.09
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 4505 0 0 0 5096 13 0 0 25 0 1 0 203486645 19546112 4391 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 4772 4391 141 302 0 4467 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19088
[startup+102.328 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=517920/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=27704 CPUtime=102.28
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 6545 0 0 0 10206 22 0 0 25 0 1 0 203486645 28368896 6302 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 6926 6302 141 302 0 6621 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27704
[startup+162.348 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=511072/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=34312 CPUtime=162.28
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 8243 0 0 0 16196 32 0 0 25 0 1 0 203486645 35135488 8000 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526710 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 8578 8000 141 302 0 8273 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 34312
[startup+222.365 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 16749
/proc/meminfo: memFree=506592/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=38964 CPUtime=222.28
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 9352 0 0 0 22189 39 0 0 25 0 1 0 203486645 39899136 9109 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 9741 9109 141 302 0 9436 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 38964
[startup+282.383 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16749
/proc/meminfo: memFree=501984/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=43752 CPUtime=282.28
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 10515 0 0 0 28183 45 0 0 25 0 1 0 203486645 44802048 10272 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 10938 10272 141 302 0 10633 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 43752
[startup+342.409 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 16749
/proc/meminfo: memFree=497760/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=48916 CPUtime=342.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 11816 0 0 0 34177 52 0 0 25 0 1 0 203486645 50089984 11316 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526849 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 12229 11316 141 302 0 11924 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48916
[startup+402.433 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 16749
/proc/meminfo: memFree=493088/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=54008 CPUtime=402.3
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 12973 0 0 0 40173 57 0 0 25 0 1 0 203486645 55304192 12473 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 13502 12473 141 302 0 13197 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 54008
[startup+462.451 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16749
/proc/meminfo: memFree=489440/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=57640 CPUtime=462.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 13881 0 0 0 46166 63 0 0 25 0 1 0 203486645 59023360 13381 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 14410 13381 141 302 0 14105 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 57640
[startup+522.47 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=485344/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=61864 CPUtime=522.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 14903 0 0 0 52160 69 0 0 25 0 1 0 203486645 63348736 14403 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 15466 14403 141 302 0 15161 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 61864
[startup+582.485 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=481952/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=65212 CPUtime=582.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 15768 0 0 0 58154 75 0 0 25 0 1 0 203486645 66777088 15268 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 16303 15268 141 302 0 15998 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 65212
[startup+642.511 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=478112/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=69080 CPUtime=642.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 16717 0 0 0 64149 80 0 0 25 0 1 0 203486645 70737920 16217 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 17270 16217 141 302 0 16965 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 69080
[startup+702.533 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16749
/proc/meminfo: memFree=474464/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=72816 CPUtime=702.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 17631 0 0 0 70144 85 0 0 25 0 1 0 203486645 74563584 17131 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 18204 17131 141 302 0 17899 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 72816
[startup+762.56 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 16815
/proc/meminfo: memFree=470440/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=75676 CPUtime=762.29
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 18336 0 0 0 76138 91 0 0 25 0 1 0 203486645 77492224 17836 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 18919 17836 141 302 0 18614 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 75676
[startup+822.619 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 16907
/proc/meminfo: memFree=467824/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=78176 CPUtime=822.27
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 18970 0 0 0 82131 96 0 0 25 0 1 0 203486645 80052224 18470 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 19544 18470 141 302 0 19239 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 78176
[startup+882.651 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=466208/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=80800 CPUtime=882.26
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 19648 0 0 0 88125 101 0 0 25 0 1 0 203486645 82739200 19148 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 20200 19148 141 302 0 19895 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 80800
[startup+942.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=464032/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=83260 CPUtime=942.26
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 20208 0 0 0 94121 105 0 0 25 0 1 0 203486645 85258240 19708 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 20815 19708 141 302 0 20510 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 83260
[startup+1002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=461280/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=87960 CPUtime=1002.27
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 21405 0 0 0 100117 110 0 0 25 0 1 0 203486645 90071040 20392 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527089 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 21990 20392 141 302 0 21685 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 87960
[startup+1062.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=458848/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=90428 CPUtime=1062.27
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 21988 0 0 0 106113 114 0 0 25 0 1 0 203486645 92598272 20975 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 22607 20975 141 302 0 22302 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 90428
[startup+1122.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=456544/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=92684 CPUtime=1122.27
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 22580 0 0 0 112109 118 0 0 25 0 1 0 203486645 94908416 21567 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527168 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 23171 21567 141 302 0 22866 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 92684
[startup+1182.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=454432/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=94876 CPUtime=1182.27
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 23125 0 0 0 118106 121 0 0 25 0 1 0 203486645 97153024 22112 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 23719 22112 141 302 0 23414 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 94876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16947
/proc/meminfo: memFree=453664/2055920 swapFree=4183376/4192956
[pid=16748] ppid=16746 vsize=95516 CPUtime=1200.09
/proc/16748/stat : 16748 (Spear-32) R 16746 16748 15427 0 -1 4194304 23306 0 0 0 119887 122 0 0 25 0 1 0 203486645 97808384 22293 18446744073709551615 134512640 135752790 4294956672 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/16748/statm: 23879 22293 141 302 0 23574 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 95516
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.6
CPU time (s): 1200.11
CPU user time (s): 1198.87
CPU system time (s): 1.24181
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 95516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.87
system time used= 1.24181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23306
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= 1794
runsolver used 0.91586 second user time and 2.39264 second system time
The end
Begin job on node43 on Sun Feb 18 21:48:26 UTC 2007
IDJOB= 297237
IDBENCH= 19956
IDSOLVER= 133
FILE ID= node43/297237-1171835306
PBS_JOBID= 3839697
Free space on /tmp= 66562 MiB
SOLVER NAME= Spear 2007-02-12
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297237-1171835306/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/297237-1171835306/instance-297237-1171835306.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-297237-1171835306 -o ROOT/results/node43/solver-297237-1171835306 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297237-1171835306/Spear-32 --model-stdout --time --dimacs /tmp/evaluation/297237-1171835306/instance-297237-1171835306.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 49b72effc87397af56532dec8a547366
RANDOM SEED= 110661907
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: 543232 kB
Buffers: 53300 kB
Cached: 1333016 kB
SwapCached: 4080 kB
Active: 868068 kB
Inactive: 528472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 543232 kB
SwapTotal: 4192956 kB
SwapFree: 4183376 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 15452 kB
Slab: 102148 kB
Committed_AS: 541960 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= 66562 MiB
End job on node43 on Sun Feb 18 22:08:29 UTC 2007