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/300762-1171935011/instance-300762-1171935011.cnf
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-300762-1171935011 -o ROOT/results/node19/solver-300762-1171935011 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300762-1171935011/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/300762-1171935011/instance-300762-1171935011.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.99 0.97 0.91 3/77 5948
/proc/meminfo: memFree=1375600/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=1548 CPUtime=0
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 196 0 0 0 0 0 0 0 18 0 1 0 213455163 1585152 180 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 387 181 128 302 0 82 0
[startup+0.107137 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 5948
/proc/meminfo: memFree=1375600/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=2596 CPUtime=0.1
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 486 0 0 0 10 0 0 0 18 0 1 0 213455163 2658304 470 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 649 470 140 302 0 344 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2596
[startup+0.51518 s]
/proc/loadavg: 0.99 0.97 0.91 3/77 5948
/proc/meminfo: memFree=1375600/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=4264 CPUtime=0.51
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 895 0 0 0 51 0 0 0 21 0 1 0 213455163 4366336 879 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 1066 879 140 302 0 761 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 4264
[startup+1.33527 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1370536/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=6828 CPUtime=1.32
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 1545 0 0 0 131 1 0 0 25 0 1 0 213455163 6991872 1529 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 1707 1529 140 302 0 1402 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 6828
[startup+2.97145 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1367464/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=10808 CPUtime=2.96
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 2527 0 0 0 294 2 0 0 25 0 1 0 213455163 11067392 2511 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 2702 2511 140 302 0 2397 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10808
[startup+6.2538 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1360808/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=16952 CPUtime=6.24
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 4053 0 0 0 619 5 0 0 25 0 1 0 213455163 17358848 4037 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 4238 4037 140 302 0 3933 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 16952
[startup+12.7065 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1351336/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=25664 CPUtime=12.69
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 6247 0 0 0 1260 9 0 0 25 0 1 0 213455163 26279936 6198 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 6416 6198 140 302 0 6111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25664
[startup+25.5129 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1338344/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=39012 CPUtime=25.5
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 9617 0 0 0 2535 15 0 0 25 0 1 0 213455163 39948288 9503 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 9753 9503 140 302 0 9448 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 39012
[startup+51.1277 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1318824/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=58028 CPUtime=51.11
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 14408 0 0 0 5085 26 0 0 25 0 1 0 213455163 59420672 14294 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 14507 14294 140 302 0 14202 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 58028
[startup+102.349 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1292008/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=85448 CPUtime=102.31
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 21264 0 0 0 10193 38 0 0 25 0 1 0 213455163 87498752 21021 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 21362 21021 140 302 0 21057 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 85448
[startup+162.385 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1267624/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=109300 CPUtime=162.33
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 27258 0 0 0 16181 52 0 0 25 0 1 0 213455163 111923200 27015 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 27325 27015 140 302 0 27020 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 109300
[startup+222.42 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1246952/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=129956 CPUtime=222.35
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 32423 0 0 0 22171 64 0 0 25 0 1 0 213455163 133074944 32180 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526962 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 32489 32180 140 302 0 32184 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 129956
[startup+282.454 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1229864/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=147956 CPUtime=282.37
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 36948 0 0 0 28166 71 0 0 25 0 1 0 213455163 151506944 36448 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 36989 36448 140 302 0 36684 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 147956
[startup+342.487 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 5949
/proc/meminfo: memFree=1213032/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=164852 CPUtime=342.39
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 41165 0 0 0 34158 81 0 0 25 0 1 0 213455163 168808448 40665 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134558750 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 41213 40665 140 302 0 40908 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 164852
[startup+402.526 s]
/proc/loadavg: 1.05 0.99 0.91 2/78 5949
/proc/meminfo: memFree=1198376/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=179240 CPUtime=402.4
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 44767 0 0 0 40150 90 0 0 25 0 1 0 213455163 183541760 44267 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527157 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 44810 44267 140 302 0 44505 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 179240
[startup+462.557 s]
/proc/loadavg: 1.02 0.99 0.91 2/78 5949
/proc/meminfo: memFree=1185128/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=192560 CPUtime=462.42
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 48088 0 0 0 46142 100 0 0 25 0 1 0 213455163 197181440 47588 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526818 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 48140 47588 140 302 0 47835 0
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (KiB) 192560
[startup+522.596 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5949
/proc/meminfo: memFree=1173928/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=203732 CPUtime=522.44
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 50895 0 0 0 52136 108 0 0 25 0 1 0 213455163 208621568 50395 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 50933 50395 140 302 0 50628 0
Current children cumulated CPU time (s) 522.44
Current children cumulated vsize (KiB) 203732
[startup+582.628 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5949
/proc/meminfo: memFree=1162920/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=215028 CPUtime=582.47
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 53635 0 0 0 58130 117 0 0 25 0 1 0 213455163 220188672 53135 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 53757 53135 140 302 0 53452 0
Current children cumulated CPU time (s) 582.47
Current children cumulated vsize (KiB) 215028
[startup+642.663 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5951
/proc/meminfo: memFree=1152168/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=225856 CPUtime=642.48
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 56330 0 0 0 64125 123 0 0 25 0 1 0 213455163 231276544 55830 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 56464 55830 140 302 0 56159 0
Current children cumulated CPU time (s) 642.48
Current children cumulated vsize (KiB) 225856
[startup+702.695 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5951
/proc/meminfo: memFree=1139752/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=238420 CPUtime=702.5
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 59424 0 0 0 70118 132 0 0 25 0 1 0 213455163 244142080 58924 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 59605 58924 140 302 0 59300 0
Current children cumulated CPU time (s) 702.5
Current children cumulated vsize (KiB) 238420
[startup+762.729 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5951
/proc/meminfo: memFree=1128296/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=249808 CPUtime=762.52
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 62286 0 0 0 76113 139 0 0 25 0 1 0 213455163 255803392 61786 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526950 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 62452 61786 140 302 0 62147 0
Current children cumulated CPU time (s) 762.52
Current children cumulated vsize (KiB) 249808
[startup+822.765 s]
/proc/loadavg: 1.07 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1117416/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=260596 CPUtime=822.54
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 64979 0 0 0 82109 145 0 0 25 0 1 0 213455163 266850304 64479 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 65149 64479 140 302 0 64844 0
Current children cumulated CPU time (s) 822.54
Current children cumulated vsize (KiB) 260596
[startup+882.8 s]
/proc/loadavg: 1.02 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1107432/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=272716 CPUtime=882.55
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 68000 0 0 0 88104 151 0 0 25 0 1 0 213455163 279261184 66987 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 68179 66987 140 302 0 67874 0
Current children cumulated CPU time (s) 882.55
Current children cumulated vsize (KiB) 272716
[startup+942.832 s]
/proc/loadavg: 1.01 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1097704/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=282504 CPUtime=942.58
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 70444 0 0 0 94101 157 0 0 25 0 1 0 213455163 289284096 69431 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 70626 69431 140 302 0 70321 0
Current children cumulated CPU time (s) 942.58
Current children cumulated vsize (KiB) 282504
[startup+1002.87 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1088552/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=291592 CPUtime=1002.59
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 72729 0 0 0 100097 162 0 0 25 0 1 0 213455163 298590208 71716 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527022 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 72898 71716 140 302 0 72593 0
Current children cumulated CPU time (s) 1002.59
Current children cumulated vsize (KiB) 291592
[startup+1062.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1079464/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=300600 CPUtime=1062.61
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 74967 0 0 0 106092 169 0 0 25 0 1 0 213455163 307814400 73954 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526926 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 75150 73954 140 302 0 74845 0
Current children cumulated CPU time (s) 1062.61
Current children cumulated vsize (KiB) 300600
[startup+1122.93 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1071208/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=308840 CPUtime=1122.63
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 77049 0 0 0 112087 176 0 0 25 0 1 0 213455163 316252160 76036 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 77210 76036 140 302 0 76905 0
Current children cumulated CPU time (s) 1122.63
Current children cumulated vsize (KiB) 308840
[startup+1182.97 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1062632/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=317452 CPUtime=1182.65
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 79185 0 0 0 118081 184 0 0 25 0 1 0 213455163 325070848 78172 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 79363 78172 140 302 0 79058 0
Current children cumulated CPU time (s) 1182.65
Current children cumulated vsize (KiB) 317452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.38 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 5951
/proc/meminfo: memFree=1060264/2055920 swapFree=4192812/4192956
[pid=5948] ppid=5946 vsize=320024 CPUtime=1200.07
/proc/5948/stat : 5948 (Spear-32) R 5946 5948 5497 0 -1 4194304 79748 0 0 0 119821 186 0 0 25 0 1 0 213455163 327704576 78735 18446744073709551615 134512640 135752790 4294956544 18446744073709551615 134527175 0 0 4096 0 0 0 0 17 1 0 0
/proc/5948/statm: 80006 78735 140 302 0 79701 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 320024
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.12
CPU user time (s): 1198.21
CPU system time (s): 1.91171
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 320024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.21
system time used= 1.91171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79748
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= 1319
runsolver used 1.2768 second user time and 2.99654 second system time
The end
Begin job on node19 on Tue Feb 20 01:30:11 UTC 2007
IDJOB= 300762
IDBENCH= 20042
IDSOLVER= 132
FILE ID= node19/300762-1171935011
PBS_JOBID= 3848923
Free space on /tmp= 66543 MiB
SOLVER NAME= Spear FH 1.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v700/unif-k5-r20-v700-c14000-S1121059923-10.cnf
COMMAND LINE= /tmp/evaluation/300762-1171935011/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/300762-1171935011/instance-300762-1171935011.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-300762-1171935011 -o ROOT/results/node19/solver-300762-1171935011 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300762-1171935011/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/300762-1171935011/instance-300762-1171935011.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= 66b921164fd5e4b2a03cd80961fa2940
RANDOM SEED= 856968017
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node19.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.214
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.214
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: 1376008 kB
Buffers: 57312 kB
Cached: 504640 kB
SwapCached: 0 kB
Active: 290340 kB
Inactive: 315248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1376008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 62528 kB
Slab: 59872 kB
Committed_AS: 877148 kB
PageTables: 1756 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= 66543 MiB
End job on node19 on Tue Feb 20 01:50:14 UTC 2007