0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3309067-1303985960.cnf
0.00/0.00 c found header 'p cnf 435701 1379987'
1.69/1.72 c finished parsing
1.69/1.72 c
1.69/1.72 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.69/1.72 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.69/1.72 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.69/1.72 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.69/1.72 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.69/1.72 c --random=1 --spread=2000 --seed=0 --skip=25
1.69/1.72 c
1.69/1.72 c sizeof vars[0] = 16 alignment = 0 7 MB
1.69/1.72 c sizeof orgs[0] = 8 alignment = 0 3 MB
1.69/1.72 c sizeof occs[0] = 8 alignment = 0 3 MB
1.69/1.72 c sizeof iirfs[0..1] = 8 alignment = 0 3 MB
1.69/1.72 c
1.69/1.72 c starting search after 1.7 seconds
1.69/1.72 c no decision limit
1.69/1.79 c
1.69/1.79 c original/binary fixed eliminated learned agility
1.69/1.79 c seconds variables equivalent conflicts height MB
1.69/1.79 c
1.69/1.79 c * 1.8 1377499 430026 1469 4206 0 0 0 0.0 0 115
13.20/13.28 c s 13.3 586538 102813 10020 78722 244146 0 0 0.0 0 84
13.20/13.28 c l 13.3 586538 102813 10020 78722 244146 0 487361 0.0 0 84
13.59/13.65 c R 13.7 587584 102777 10042 78736 244146 104 97 27.9 6 87
14.30/14.35 c R 14.4 611219 102646 10051 78858 244146 504 466 134.8 12 89
15.49/15.56 c B 15.6 642715 102477 10168 78910 244146 1000 940 135.9 11 92
17.19/17.27 c R 17.3 671708 102233 10288 79034 244146 1861 1782 145.8 3 95
17.39/17.42 c B 17.4 671882 102226 10288 79041 244146 2000 1918 151.1 9 95
26.39/26.44 c s 26.4 731131 98276 11524 79386 246515 5628 5116 153.8 1 96
26.39/26.44 c - 26.4 731131 98276 11524 79386 246515 5628 467867 153.8 1 96
30.19/30.24 c B 30.2 979757 97356 12172 79658 246515 8005 7451 151.4 7 113
41.99/42.01 c s 42.0 857205 94120 13799 80376 247406 12939 11834 134.5 0 104
41.99/42.01 c - 42.0 857205 94120 13799 80376 247406 12939 449153 134.5 0 104
62.09/62.14 c s 62.1 1384528 91747 14807 81095 248052 21487 19967 128.0 8 137
62.09/62.14 c - 62.1 1384528 91747 14807 81095 248052 21487 431187 128.0 8 137
66.39/66.41 c B 66.4 1516703 91317 15139 81193 248052 24012 22475 125.7 9 156
82.20/82.28 c R 82.3 2146515 87429 17795 82425 248052 32440 30859 119.3 15 192
93.29/93.31 c s 93.3 1919248 86017 18420 82710 248554 35960 32749 116.9 6 176
93.29/93.31 c - 93.3 1919248 86017 18420 82710 248554 35960 405316 116.9 6 176
105.19/105.24 c
105.19/105.24 c original/binary fixed eliminated learned agility
105.19/105.24 c seconds variables equivalent conflicts height MB
105.19/105.24 c
105.19/105.24 c R 105.2 2190883 85258 18949 82940 248554 42772 39525 113.2 9 196
140.59/140.62 c s 140.6 1392248 83745 19535 83384 249037 63523 58553 106.6 14 146
140.59/140.62 c - 140.6 1392248 83745 19535 83384 249037 63523 397210 106.6 14 146
141.59/141.64 c B 141.7 1395439 83732 19544 83388 249037 64026 59052 106.5 3 148
175.70/175.73 c s 175.7 1481918 82946 19786 83829 249140 85272 77348 103.2 2 156
213.60/213.69 c s 213.7 1503324 82030 20298 84145 249228 105798 96892 100.3 5 171
252.20/252.27 c s 252.3 1437090 79880 20612 84398 250811 125612 104998 97.8 9 160
252.20/252.27 c - 252.3 1437090 79880 20612 84398 250811 125612 393238 97.8 9 160
280.70/280.77 c R 280.8 1548465 79421 20963 84506 250811 141569 120926 96.7 8 184
289.00/289.03 c s 289.0 1488283 78729 20981 84551 251440 144478 116454 96.2 0 173
317.00/317.03 c B 317.0 1549449 78440 21169 84652 251440 160043 131988 94.8 20 187
326.61/326.66 c s 326.7 1536273 78045 21278 84737 251641 163165 134009 94.5 9 180
366.20/366.23 c s 366.2 1572923 76997 21747 84994 251963 183643 153632 92.2 9 188
366.20/366.23 c - 366.2 1572923 76997 21747 84994 251963 183643 389306 92.2 9 188
410.10/410.12 c s 410.1 1614834 76131 22173 85325 252072 205501 173617 90.0 4 196
410.10/410.12 c - 410.1 1614834 76131 22173 85325 252072 205501 385413 90.0 4 196
456.51/456.56 c s 456.6 1716608 75861 22306 85462 252072 227205 195140 88.1 1 207
506.51/506.58 c s 506.6 1793673 75688 22420 85521 252072 250595 218332 85.9 2 218
559.11/559.18 c s 559.2 1763848 74968 22554 85591 252588 276385 233977 84.6 4 220
612.61/612.68 c
612.61/612.68 c original/binary fixed eliminated learned agility
612.61/612.68 c seconds variables equivalent conflicts height MB
612.61/612.68 c
612.61/612.68 c s 612.7 1815650 70736 23511 87634 253820 301425 203601 83.2 5 215
612.61/612.68 c - 612.7 1815650 70736 23511 87634 253820 301425 366143 83.2 5 215
667.51/667.54 c s 667.6 1919811 70172 23785 87834 253910 330113 228745 81.3 8 227
723.40/723.47 c s 723.5 2024115 70014 23867 87892 253928 360293 258623 79.9 5 242
732.30/732.30 c + 732.3 2048167 69985 23892 87896 253928 366143 402757 79.8 13 250
733.10/733.15 c R 733.2 2050298 69984 23893 87896 253928 366755 265082 79.8 9 251
764.00/764.06 c B 764.1 2160858 69903 23967 87903 253928 384086 282409 79.3 22 265
783.41/783.41 c s 783.4 2121469 69796 23988 87919 253998 391616 286330 79.0 5 256
847.41/847.48 c s 847.5 2095991 67591 24452 88539 255119 424372 258232 77.9 15 250
847.41/847.48 c - 847.5 2095991 67591 24452 88539 255119 424372 390675 77.9 15 250
885.51/885.59 c + 885.6 2147951 67420 24584 88578 255119 443948 429742 77.7 16 270
911.51/911.56 c s 911.6 2134778 67211 24690 88681 255119 454161 286083 77.4 10 264
981.61/981.66 c s 981.7 2086928 64923 24949 88795 257034 484918 292862 76.8 19 264
981.61/981.66 c - 981.7 2086928 64923 24949 88795 257034 484918 421148 76.8 19 264
1049.72/1049.76 c s 1049.8 2149464 64154 25232 88909 257406 513258 317552 75.8 12 277
1049.72/1049.76 c - 1049.8 2149464 64154 25232 88909 257406 513258 416937 75.8 12 277
1109.62/1109.60 c + 1109.6 2324656 62617 25994 89684 257406 538400 458630 75.4 6 307
1120.83/1120.83 c s 1120.9 1808572 61210 26111 90372 258008 540853 330569 75.4 6 265
1120.83/1120.83 c - 1120.9 1808572 61210 26111 90372 258008 540853 440285 75.4 6 265
1184.52/1184.54 c
1184.52/1184.54 c original/binary fixed eliminated learned agility
1184.52/1184.54 c seconds variables equivalent conflicts height MB
1184.52/1184.54 c
1184.52/1184.54 c s 1184.6 1771334 57101 26971 92706 258923 565730 313426 74.8 8 258
1184.52/1184.54 c - 1184.6 1771334 57101 26971 92706 258923 565730 418271 74.8 8 258
1239.23/1239.22 c s 1239.3 1686474 49390 28182 94464 263665 588249 258338 74.0 15 236
1239.23/1239.22 c - 1239.3 1686474 49390 28182 94464 263665 588249 359714 74.0 15 236
1239.23/1239.22 c + 1239.3 1686474 49390 28182 94464 263665 588249 395685 74.0 15 236
1260.02/1260.00 c s 1260.0 13006 1085 40935 105855 287826 594578 329 73.6 3 51
1260.02/1260.00 c - 1260.0 13006 1085 40935 105855 287826 594578 11871 73.6 3 51
1260.02/1260.00 c + 1260.0 13006 1085 40935 105855 287826 594578 13058 73.6 3 51
1260.02/1260.00 c 0 1260.0 13281 800 41220 105855 287826 594586 331 73.6 4 51
1260.02/1260.00 c
1260.02/1260.00 s UNSATISFIABLE
1260.02/1260.00 c
1260.02/1260.00 c 594586 conflicts, 1947105 decisions, 622 random
1260.02/1260.00 c 137 iterations, 2357 restarts, 17 skipped
1260.02/1260.00 c 5 enlarged, 32177 shrunken, 5818 rescored, 188 rebiased
1260.02/1260.00 c 28 simplifications, 0 reductions
1260.02/1260.00 c
1260.02/1260.00 c vars: 41220 fixed, 105855 equiv, 287826 elim, 111921 merged
1260.02/1260.00 c elim: 15038664 resolutions, 28 phases, 6 rounds
1260.02/1260.00 c sbst: 91% substituted, 7.2% nots, 55.9% ands, 34.4% xors, 2.5% ites
1260.02/1260.00 c arty: 2.09 and 2.00 xor average arity
1260.02/1260.00 c prbe: 467799 probed, 1674 phases, 3 rounds
1260.02/1260.00 c prbe: 3658 failed, 7705 lifted, 4049 merged
1260.02/1260.00 c sccs: 2402 non trivial, 10 fixed, 86769 merged
1260.02/1260.00 c hash: 4769 units, 21103 merged
1260.02/1260.00 c mins: 43293098 learned, 51% deleted, 549 strong, 698 depth
1260.02/1260.00 c subs: 52778 forward, 128017 backward, 637725 doms
1260.02/1260.00 c strs: 83617 forward, 7848 backward
1260.02/1260.00 c doms: 804993 dominators, 610874 high, 1942 low
1260.02/1260.00 c prps: 1924825891 propagations, 1.53 megaprops
1260.02/1260.00 c
1260.02/1260.00 c 1260.0 seconds, 316 MB max, 469 MB recycled
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309067-1303985960/watcher-3309067-1303985960 -o /tmp/evaluation-result-3309067-1303985960/solver-3309067-1303985960 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309067-1303985960.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.66 3.03 3.06 4/189 16813
/proc/meminfo: memFree=13427680/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=17888 CPUtime=0 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 3605 0 0 0 0 0 0 0 23 0 1 0 510197105 18317312 3561 33554432000 134512640 135151029 4289802528 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16813/statm: 4472 3562 60 156 0 4315 0
[startup+0.0809669 s]
/proc/loadavg: 3.66 3.03 3.06 4/189 16813
/proc/meminfo: memFree=13427680/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=40500 CPUtime=0.07 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 9991 0 0 0 7 0 0 0 23 0 1 0 510197105 41472000 9914 33554432000 134512640 135151029 4289802528 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 10125 9915 65 156 0 9968 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40500
[startup+0.100955 s]
/proc/loadavg: 3.66 3.03 3.06 4/189 16813
/proc/meminfo: memFree=13427680/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=42084 CPUtime=0.09 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 10376 0 0 0 8 1 0 0 23 0 1 0 510197105 43094016 10299 33554432000 134512640 135151029 4289802528 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 10521 10300 65 156 0 10364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42084
[startup+0.30093 s]
/proc/loadavg: 3.66 3.03 3.06 4/189 16813
/proc/meminfo: memFree=13427680/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=55524 CPUtime=0.29 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 13950 0 0 0 28 1 0 0 25 0 1 0 510197105 56856576 13679 33554432000 134512640 135151029 4289802528 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 13881 13680 65 156 0 13724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55524
[startup+0.700848 s]
/proc/loadavg: 3.66 3.03 3.06 4/189 16813
/proc/meminfo: memFree=13427680/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=79056 CPUtime=0.69 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 20597 0 0 0 67 2 0 0 25 0 1 0 510197105 80953344 19556 33554432000 134512640 135151029 4289802528 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 19764 19557 65 156 0 19607 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79056
[startup+1.50071 s]
/proc/loadavg: 3.69 3.04 3.07 5/190 16814
/proc/meminfo: memFree=13331704/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=123808 CPUtime=1.49 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 32809 0 0 0 145 4 0 0 25 0 1 0 510197105 126779392 30743 33554432000 134512640 135151029 4289802528 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 30952 30743 65 156 0 30795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123808
[startup+3.10042 s]
/proc/loadavg: 3.69 3.04 3.07 5/190 16814
/proc/meminfo: memFree=13278756/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=137072 CPUtime=3.09 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 40454 0 0 0 304 5 0 0 25 0 1 0 510197105 140361728 33873 33554432000 134512640 135151029 4289802528 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 34268 33873 80 156 0 34111 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137072
[startup+6.30086 s]
/proc/loadavg: 3.71 3.06 3.07 5/190 16814
/proc/meminfo: memFree=13251360/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=174592 CPUtime=6.29 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 51354 0 0 0 622 7 0 0 25 0 1 0 510197105 178782208 42978 33554432000 134512640 135151029 4289802528 18446744073709551615 134573511 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 43648 42978 80 156 0 43491 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174592
[startup+12.7007 s]
/proc/loadavg: 3.74 3.07 3.08 5/190 16815
/proc/meminfo: memFree=13227052/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=175200 CPUtime=12.69 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 57215 0 0 0 1260 9 0 0 25 0 1 0 510197105 179404800 42708 33554432000 134512640 135151029 4289802528 18446744073709551615 134677715 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 43800 42708 80 156 0 43643 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175200
[startup+25.5005 s]
/proc/loadavg: 3.79 3.12 3.09 5/190 16815
/proc/meminfo: memFree=13232020/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=187828 CPUtime=25.49 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 67346 0 0 0 2539 10 0 0 25 0 1 0 510197105 192335872 45883 33554432000 134512640 135151029 4289802528 18446744073709551615 134573872 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 46957 45883 80 156 0 46800 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 187828
[startup+51.1009 s]
/proc/loadavg: 3.86 3.19 3.11 5/190 16816
/proc/meminfo: memFree=13210840/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=175600 CPUtime=51.09 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 84962 0 0 0 5097 12 0 0 25 0 1 0 510197105 179814400 42873 33554432000 134512640 135151029 4289802528 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 43900 42873 80 156 0 43743 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 175600
[startup+102.307 s]
/proc/loadavg: 3.94 3.31 3.16 5/190 16817
/proc/meminfo: memFree=13118172/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=235768 CPUtime=102.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 147757 0 0 0 10207 23 0 0 25 0 1 0 510197105 241426432 57842 33554432000 134512640 135151029 4289802528 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 58942 57842 80 156 0 58785 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 235768
[startup+162.3 s]
/proc/loadavg: 3.98 3.43 3.21 5/190 16819
/proc/meminfo: memFree=13108276/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=237896 CPUtime=162.29 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 165210 0 0 0 16202 27 0 0 25 0 1 0 510197105 243605504 58365 33554432000 134512640 135151029 4289802528 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 59474 58365 80 156 0 59317 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 237896
[startup+222.301 s]
/proc/loadavg: 3.99 3.53 3.25 5/190 16820
/proc/meminfo: memFree=13057504/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=246088 CPUtime=222.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 211121 0 0 0 22196 34 0 0 25 0 1 0 510197105 251994112 60430 33554432000 134512640 135151029 4289802528 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 61522 60430 80 156 0 61365 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 246088
[startup+282.301 s]
/proc/loadavg: 4.05 3.63 3.30 5/190 16822
/proc/meminfo: memFree=13033344/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=246088 CPUtime=282.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 234085 0 0 0 28192 38 0 0 25 0 1 0 510197105 251994112 60447 33554432000 134512640 135151029 4289802528 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 61522 60447 80 156 0 61365 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 246088
[startup+342.3 s]
/proc/loadavg: 3.67 3.62 3.32 4/184 16841
/proc/meminfo: memFree=13468956/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=246088 CPUtime=342.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 280000 0 0 0 34186 44 0 0 25 0 1 0 510197105 251994112 60468 33554432000 134512640 135151029 4289802528 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 61522 60468 80 156 0 61365 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 246088
[startup+402.301 s]
/proc/loadavg: 3.24 3.50 3.29 4/184 16842
/proc/meminfo: memFree=13468564/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=246088 CPUtime=402.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 302954 0 0 0 40184 46 0 0 25 0 1 0 510197105 251994112 60475 33554432000 134512640 135151029 4289802528 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 61522 60475 80 156 0 61365 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 246088
[startup+462.301 s]
/proc/loadavg: 3.09 3.41 3.27 4/184 16844
/proc/meminfo: memFree=13465020/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=246088 CPUtime=462.3 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 348868 0 0 0 46177 53 0 0 25 0 1 0 510197105 251994112 60495 33554432000 134512640 135151029 4289802528 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 61522 60495 80 156 0 61365 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 246088
[startup+522.3 s]
/proc/loadavg: 3.03 3.33 3.25 4/184 16845
/proc/meminfo: memFree=13443908/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=257460 CPUtime=522.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 375052 0 0 0 52173 58 0 0 25 0 1 0 510197105 263639040 63345 33554432000 134512640 135151029 4289802528 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 64365 63345 80 156 0 64208 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 257460
[startup+582.301 s]
/proc/loadavg: 3.01 3.27 3.23 4/184 16847
/proc/meminfo: memFree=13432568/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=268896 CPUtime=582.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 401196 0 0 0 58168 63 0 0 25 0 1 0 510197105 275349504 66155 33554432000 134512640 135151029 4289802528 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 67224 66155 80 156 0 67067 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 268896
[startup+642.3 s]
/proc/loadavg: 3.00 3.22 3.22 4/184 16849
/proc/meminfo: memFree=13418660/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=280972 CPUtime=642.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 427463 0 0 0 64164 67 0 0 25 0 1 0 510197105 287715328 69217 33554432000 134512640 135151029 4289802528 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 70243 69217 80 156 0 70086 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 280972
[startup+702.301 s]
/proc/loadavg: 3.05 3.19 3.20 3/179 16867
/proc/meminfo: memFree=13491944/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=281460 CPUtime=702.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 450753 0 0 0 70161 70 0 0 25 0 1 0 510197105 288215040 69329 33554432000 134512640 135151029 4289802528 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 70365 69329 80 156 0 70208 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 281460
[startup+762.307 s]
/proc/loadavg: 2.38 2.97 3.13 3/178 16869
/proc/meminfo: memFree=13476948/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=296604 CPUtime=762.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 478106 0 0 0 76157 74 0 0 25 0 1 0 510197105 303722496 73119 33554432000 134512640 135151029 4289802528 18446744073709551615 134581556 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 74151 73119 80 156 0 73994 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 296604
[startup+822.3 s]
/proc/loadavg: 2.22 2.81 3.06 3/178 16870
/proc/meminfo: memFree=13464840/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=308316 CPUtime=822.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 504227 0 0 0 82151 80 0 0 25 0 1 0 510197105 315715584 76071 33554432000 134512640 135151029 4289802528 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 77079 76071 80 156 0 76922 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 308316
[startup+882.301 s]
/proc/loadavg: 2.15 2.67 2.99 3/178 16872
/proc/meminfo: memFree=13456980/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=315684 CPUtime=882.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 529169 0 0 0 88147 84 0 0 25 0 1 0 510197105 323260416 77937 33554432000 134512640 135151029 4289802528 18446744073709551615 134554693 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 78921 77937 80 156 0 78764 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 315684
[startup+942.301 s]
/proc/loadavg: 2.05 2.55 2.93 3/178 16873
/proc/meminfo: memFree=13456808/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=315684 CPUtime=942.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 552123 0 0 0 94144 87 0 0 25 0 1 0 510197105 323260416 77944 33554432000 134512640 135151029 4289802528 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 78921 77944 80 156 0 78764 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 315684
[startup+1002.3 s]
/proc/loadavg: 2.02 2.45 2.87 3/178 16875
/proc/meminfo: memFree=13439392/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=324772 CPUtime=1002.31 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 577556 0 0 0 100139 92 0 0 25 0 1 0 510197105 332566528 80212 33554432000 134512640 135151029 4289802528 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 81193 80212 80 156 0 81036 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 324772
[startup+1062.3 s]
/proc/loadavg: 2.00 2.36 2.81 3/178 16877
/proc/meminfo: memFree=13433520/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=326028 CPUtime=1062.32 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 600842 0 0 0 106136 96 0 0 25 0 1 0 510197105 333852672 80551 33554432000 134512640 135151029 4289802528 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 81507 80551 80 156 0 81350 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 326028
[startup+1122.3 s]
/proc/loadavg: 2.00 2.29 2.76 3/178 16878
/proc/meminfo: memFree=13415480/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=344808 CPUtime=1122.32 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 628423 0 0 0 112131 101 0 0 25 0 1 0 510197105 353083392 85185 33554432000 134512640 135151029 4289802528 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 86202 85185 80 156 0 86045 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 344808
[startup+1182.3 s]
/proc/loadavg: 2.00 2.24 2.71 3/178 16880
/proc/meminfo: memFree=13407628/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=348844 CPUtime=1182.32 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 643179 0 0 0 118129 103 0 0 25 0 1 0 510197105 357216256 86201 33554432000 134512640 135151029 4289802528 18446744073709551615 134526320 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 87211 86201 80 156 0 87054 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 348844
[startup+1242.3 s]
/proc/loadavg: 1.37 2.01 2.60 2/172 16900
/proc/meminfo: memFree=13575460/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=344808 CPUtime=1242.33 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 673850 0 0 0 124125 108 0 0 25 0 1 0 510197105 353083392 85232 33554432000 134512640 135151029 4289802528 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 86202 85232 80 156 0 86045 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 344808
Solver just ended. Dumping a history of the last processes samples
[startup+1247.9 s]
/proc/loadavg: 1.34 1.99 2.59 2/172 16900
/proc/meminfo: memFree=13575320/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=344808 CPUtime=1247.93 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 673850 0 0 0 124685 108 0 0 25 0 1 0 510197105 353083392 85232 33554432000 134512640 135151029 4289802528 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 86202 85232 80 156 0 86045 0
Current children cumulated CPU time (s) 1247.93
Current children cumulated vsize (KiB) 344808
[startup+1254.3 s]
/proc/loadavg: 1.31 1.98 2.58 2/172 16900
/proc/meminfo: memFree=13575564/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=344808 CPUtime=1254.33 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 673850 0 0 0 125325 108 0 0 25 0 1 0 510197105 353083392 85232 33554432000 134512640 135151029 4289802528 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 86202 85232 80 156 0 86045 0
Current children cumulated CPU time (s) 1254.33
Current children cumulated vsize (KiB) 344808
[startup+1257.5 s]
/proc/loadavg: 1.28 1.96 2.57 2/172 16900
/proc/meminfo: memFree=13575440/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=351616 CPUtime=1257.52 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 675552 0 0 0 125644 108 0 0 25 0 1 0 510197105 360054784 86934 33554432000 134512640 135151029 4289802528 18446744073709551615 134532197 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 87904 86934 80 156 0 87747 0
Current children cumulated CPU time (s) 1257.52
Current children cumulated vsize (KiB) 351616
[startup+1259.1 s]
/proc/loadavg: 1.28 1.96 2.57 2/172 16900
/proc/meminfo: memFree=13572464/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=348404 CPUtime=1259.13 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 681017 0 0 0 125804 109 0 0 25 0 1 0 510197105 356765696 86233 33554432000 134512640 135151029 4289802528 18446744073709551615 134547798 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 87101 86233 80 156 0 86944 0
Current children cumulated CPU time (s) 1259.13
Current children cumulated vsize (KiB) 348404
[startup+1259.51 s]
/proc/loadavg: 1.28 1.96 2.57 2/172 16900
/proc/meminfo: memFree=13571968/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=348404 CPUtime=1259.53 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 681043 0 0 0 125844 109 0 0 25 0 1 0 510197105 356765696 86259 33554432000 134512640 135151029 4289802528 18446744073709551615 134548213 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 87101 86259 80 156 0 86944 0
Current children cumulated CPU time (s) 1259.53
Current children cumulated vsize (KiB) 348404
[startup+1259.9 s]
/proc/loadavg: 1.28 1.96 2.57 2/172 16900
/proc/meminfo: memFree=13571968/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=348404 CPUtime=1259.93 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 681086 0 0 0 125884 109 0 0 25 0 1 0 510197105 356765696 86302 33554432000 134512640 135151029 4289802528 18446744073709551615 134548113 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 87101 86302 80 156 0 86944 0
Current children cumulated CPU time (s) 1259.93
Current children cumulated vsize (KiB) 348404
[startup+1260 s]
/proc/loadavg: 1.28 1.96 2.57 2/172 16900
/proc/meminfo: memFree=13571968/32951124 swapFree=67111528/67111528
[pid=16813] ppid=16811 vsize=327980 CPUtime=1260.02 cores=1,3
/proc/16813/stat : 16813 (precosat) R 16811 16813 16199 0 -1 4202496 681086 0 0 0 125893 109 0 0 25 0 1 0 510197105 335851520 81196 33554432000 134512640 135151029 4289802528 18446744073709551615 134550736 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16813/statm: 81995 81196 80 156 0 81838 0
Current children cumulated CPU time (s) 1260.02
Current children cumulated vsize (KiB) 327980
Child status: 20
Real time (s): 1260.02
CPU time (s): 1260.05
CPU user time (s): 1258.94
CPU system time (s): 1.10783
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 353004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1258.94
system time used= 1.10783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681087
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= 5
involuntary context switches= 1556
runsolver used 1.90671 second user time and 4.90325 second system time
The end
Begin job on node108 at 2011-04-28 12:19:22
IDJOB=3309067
IDBENCH=84246
IDSOLVER=1690
FILE ID=node108/3309067-1303985960
RUNJOBID= node108-1303985844-16689
PBS_JOBID= 13168718
Free space on /tmp= 72020 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309067-1303985960/watcher-3309067-1303985960 -o /tmp/evaluation-result-3309067-1303985960/solver-3309067-1303985960 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309067-1303985960.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=1906769917
node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 13427960 kB
Buffers: 2290976 kB
Cached: 16173608 kB
SwapCached: 0 kB
Active: 10698328 kB
Inactive: 8242312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 13427960 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 78256 kB
Writeback: 0 kB
AnonPages: 475328 kB
Mapped: 16120 kB
Slab: 518804 kB
PageTables: 6020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 664556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72092 MiB
End job on node108 at 2011-04-28 12:40:22