0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3250364-1303543715.cnf'
0.00/0.00 c -- header says num vars: 34307
0.00/0.00 c -- header says num clauses: 708206
0.29/0.32 c -- clauses added: 0 learnts, 708206 normals, 0 xors
0.29/0.32 c -- vars added 34307
0.29/0.32 c Parsing time: 0.29 s
0.29/0.32 c N st 0 0 34307 708206 0 0 3541030 0 no data no data --
0.69/0.74 c asymm cl-useful: 0/41100/708206 lits-rem:0 time: 0.42
1.09/1.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.5M T: 0.36
1.49/1.52 c bin-w-bin subsume rem 0 bins time: 0.00 s
1.49/1.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.49/1.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 34307 time: 0.00 s
1.49/1.53 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
2.99/3.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.49 s
2.99/3.04 c Finding binary XORs T: 0.01 s found: 0
3.39/3.45 c Finding non-binary XORs: 0.39 s (found: 0, avg size: nan)
3.39/3.45 c calculated reachability. Time: 0.00
3.49/3.50 c Calc default polars - time: 0.04 s pos: 0 undec: 34307 neg: 0
3.49/3.50 c =========================================================================================
3.49/3.50 c types(t): F = full restart, N = normal restart
3.49/3.50 c types(t): S = simplification begin/end, E = solution found
3.49/3.50 c restart types(rt): st = static, dy = dynamic
3.49/3.50 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.49/3.50 c B st 0 0 34307 708206 0 0 3541030 0 no data no data --
4.09/4.13 c N dy 20 4300 34307 708206 0 4294 3541030 1008255 159.13 169.26 --
4.49/4.54 c N dy 42 8305 34307 708206 0 8297 3541030 1815613 151.08 159.16 --
4.89/4.97 c N dy 65 12337 34307 708206 0 12328 3541030 2595581 147.64 155.43 --
5.40/5.46 c N dy 93 16380 34307 708206 0 16369 3541030 3400197 147.17 164.65 --
5.99/6.02 c N dy 119 20484 34307 708206 0 10481 3541030 716324 146.11 154.60 --
6.39/6.48 c N dy 145 24584 34307 708206 0 14580 3541030 1517968 145.84 164.93 --
6.49/6.52 c F st 147 25001 34307 708206 0 14997 3541030 1594218 145.63 132.25 --
6.69/6.71 c Found part 41 vars: 4293 clauses: 88534 lits size: 442670
6.69/6.71 c Found part 48 vars: 4265 clauses: 86046 lits size: 430230
6.69/6.71 c Found part 63 vars: 4257 clauses: 85800 lits size: 429000
6.69/6.71 c Found part 66 vars: 4296 clauses: 89914 lits size: 449570
6.69/6.71 c Found part 67 vars: 17196 clauses: 357912 lits size: 1789560
6.69/6.71 c Found parts: 5 time: 0.19 s
6.69/6.71 c Solving part 63
6.69/6.79 c N st 0 0 4257 85800 0 0 429000 0 no data no data --
7.09/7.13 c asymm cl-useful: 0/85800/85800 lits-rem:0 time: 0.33
7.09/7.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03
7.09/7.16 c Finding binary XORs T: 0.00 s found: 0
7.09/7.19 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
7.09/7.19 c calculated reachability. Time: 0.00
7.19/7.20 c Calc default polars - time: 0.00 s pos: 0 undec: 34307 neg: 0
7.19/7.20 c =========================================================================================
7.19/7.20 c types(t): F = full restart, N = normal restart
7.19/7.20 c types(t): S = simplification begin/end, E = solution found
7.19/7.20 c restart types(rt): st = static, dy = dynamic
7.19/7.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
7.19/7.20 c B st 0 0 4257 85800 0 0 429000 0 no data no data --
7.70/7.73 c N dy 17 4285 4257 85800 0 4285 429000 965177 152.87 162.70 --
8.09/8.15 c N dy 42 8397 4257 85800 0 8394 429000 1794414 150.25 158.53 --
8.49/8.58 c N dy 69 12496 4257 85800 0 12490 429000 2621131 149.80 174.37 --
8.99/9.03 c N dy 94 16511 4257 85800 0 16503 429000 3415634 148.37 196.45 --
9.49/9.53 c N dy 119 20600 4257 85800 0 10595 429000 759543 148.43 186.45 --
9.90/9.99 c N dy 145 24790 4257 85800 0 14783 429000 1586289 147.62 156.50 --
9.99/10.01 c F st 147 25002 4257 85800 0 14995 429000 1629109 147.54 no data --
10.59/10.61 c N dy 153 30203 4257 85800 0 20193 429000 2848312 147.54 no data --
11.09/11.10 c N dy 178 34318 4257 85800 0 24305 429000 3687061 147.63 158.56 --
11.59/11.62 c N dy 207 38407 4257 85800 0 28392 429000 4507898 147.97 156.79 --
12.10/12.14 c N dy 233 42586 4257 85800 0 17081 429000 1036767 147.39 155.74 --
12.59/12.65 c N dy 263 46747 4257 85800 0 21240 429000 1889594 147.70 157.45 --
13.10/13.13 c N dy 289 50838 4257 85800 0 25330 429000 2691327 147.35 155.35 --
13.59/13.65 c N dy 316 54877 4257 85800 0 29367 429000 3496990 147.29 157.51 --
14.09/14.17 c N dy 342 58968 4257 85800 0 33457 429000 4314808 147.01 155.61 --
14.69/14.77 c N dy 369 63124 4257 85800 0 18873 429000 716909 146.95 158.32 --
15.19/15.27 c N dy 395 67247 4257 85800 0 22994 429000 1551585 146.78 155.41 --
15.79/15.80 c N dy 420 71689 4257 85800 0 27436 429000 2431850 146.50 159.81 --
16.29/16.39 c N dy 448 76303 4257 85800 0 32048 429000 3338278 146.23 155.31 --
16.99/17.03 c N dy 478 81200 4257 85800 0 36944 429000 4288347 145.85 154.82 --
17.79/17.80 c N dy 516 86380 4257 85800 0 21258 429000 712267 145.84 157.79 --
17.89/17.93 c F st 524 87500 4257 85800 0 22376 429000 924494 145.78 121.85 --
18.49/18.58 c N dy 530 92696 4257 85800 0 27566 429000 2186878 145.78 no data --
19.29/19.35 c N dy 565 98661 4257 85800 0 33528 429000 3378624 145.61 157.12 --
20.19/20.23 c N dy 609 105014 4257 85800 0 39879 429000 4645291 145.70 155.25 --
21.19/21.22 c N dy 658 111795 4257 85800 0 24236 429000 966734 145.82 181.60 --
22.09/22.13 c N dy 708 119015 4257 85800 0 31453 429000 2394993 145.75 159.58 --
23.19/23.20 c N dy 762 126638 4257 85800 0 39076 429000 3950102 145.95 155.11 --
24.29/24.39 c N dy 810 134790 4257 85800 0 47223 429000 5572567 145.81 156.83 --
25.49/25.57 c N dy 867 143680 4257 85800 0 32402 429000 2328247 145.89 158.53 --
26.79/26.85 c N dy 927 152950 4257 85800 0 41669 429000 4164676 145.84 154.62 --
28.29/28.36 c N dy 1002 162973 4257 85800 0 26834 429000 923432 145.95 163.49 --
29.70/29.75 c N dy 1077 173433 4257 85800 0 37290 429000 3004461 146.01 174.37 --
31.39/31.42 c N dy 1159 184700 4257 85800 0 48552 429000 5273453 146.15 157.93 --
33.00/33.05 c N dy 1239 196485 4257 85800 0 34414 429000 2221821 146.11 154.34 --
34.79/34.86 c N dy 1323 209164 4257 85800 0 47090 429000 4741212 145.96 156.08 --
36.69/36.78 c N dy 1411 222610 4257 85800 0 33569 429000 1810777 145.82 155.05 --
38.79/38.81 c N dy 1503 236892 4257 85800 0 47848 429000 4648460 145.66 155.52 --
40.89/40.99 c N dy 1601 252065 4257 85800 0 35045 429000 1883639 145.58 164.23 --
43.29/43.37 c N dy 1715 268251 4257 85800 0 51228 429000 5191290 145.71 160.03 --
45.79/45.84 c N dy 1814 285460 4257 85800 0 39449 429000 2584690 145.47 191.41 --
48.59/48.64 c N dy 1936 303741 4257 85800 0 57722 429000 6234312 145.51 156.81 --
49.09/49.10 c F st 1956 306250 4257 85800 0 30243 429000 536304 145.53 no data --
51.39/51.47 c N dy 2037 323225 4257 85800 0 47213 429000 4204623 145.49 153.51 --
54.49/54.58 c N dy 2171 343226 4257 85800 0 36223 429000 1550426 145.46 160.59 --
57.49/57.52 c N dy 2301 363231 4257 85800 0 56220 429000 5557271 145.42 157.62 --
60.49/60.56 c N dy 2428 383511 4257 85800 0 44500 429000 2965524 145.32 154.46 --
63.80/63.81 c N dy 2564 403552 4257 85800 0 64536 429000 6986046 145.38 202.52 --
66.69/66.79 c N dy 2693 423594 4257 85800 0 51592 429000 4222136 145.35 156.60 --
69.99/70.09 c N dy 2823 443712 4257 85800 0 37713 429000 1231559 145.32 154.42 --
73.09/73.17 c N dy 2953 463947 4257 85800 0 57942 429000 5255408 145.27 158.83 --
76.29/76.39 c N dy 3085 484026 4257 85800 0 43021 429000 2093732 145.27 156.28 --
79.50/79.54 c N dy 3207 504096 4257 85800 0 63089 429000 6057175 145.20 157.90 --
82.69/82.71 c N dy 3336 524261 4257 85800 0 47263 429000 2746245 145.15 154.72 --
85.99/86.03 c N dy 3473 544381 4257 85800 0 67377 429000 6794319 145.20 155.36 --
89.19/89.23 c N dy 3602 564526 4257 85800 0 50529 429000 3200358 145.19 153.27 --
92.60/92.62 c N dy 3740 584584 4257 85800 0 70581 429000 7180079 145.20 153.86 --
95.79/95.82 c N dy 3872 604678 4257 85800 0 52680 429000 3470876 145.21 165.72 --
99.29/99.33 c N dy 4014 624743 4257 85800 0 72738 429000 7482823 145.25 153.00 --
102.49/102.57 c N dy 4144 644958 4257 85800 0 53958 429000 3458998 145.22 154.57 --
106.00/106.05 c N dy 4280 665001 4257 85800 0 73995 429000 7493214 145.24 153.68 --
109.29/109.39 c N dy 4415 685070 4257 85800 0 54067 429000 3342325 145.25 153.56 --
112.79/112.83 c N dy 4551 705267 4257 85800 0 74259 429000 7411480 145.27 154.56 --
116.20/116.24 c N dy 4690 725414 4257 85800 0 53412 429000 3014808 145.34 156.15 --
119.60/119.68 c N dy 4819 745432 4257 85800 0 73423 429000 7032468 145.37 154.67 --
123.10/123.11 c N dy 4952 765495 4257 85800 0 51493 429000 2437616 145.39 167.33 --
126.40/126.44 c N dy 5089 785503 4257 85800 0 71491 429000 6415607 145.42 157.32 --
129.89/129.98 c N dy 5213 805641 4257 85800 0 48638 429000 1639898 145.38 155.16 --
133.20/133.26 c N dy 5350 825712 4257 85800 0 68702 429000 5639768 145.38 155.38 --
136.99/137.03 c N dy 5485 845739 4257 85800 0 44734 429000 694024 145.39 172.47 --
140.10/140.19 c N dy 5613 865803 4257 85800 0 64790 429000 4685660 145.38 155.73 --
143.80/143.86 c N dy 5748 885895 4257 85800 0 84874 429000 8690901 145.37 155.97 --
147.19/147.25 c N dy 5886 905944 4257 85800 0 59935 429000 3537354 145.38 154.37 --
150.70/150.79 c N dy 6021 925985 4257 85800 0 79974 429000 7573550 145.40 161.87 --
154.39/154.45 c N dy 6163 946008 4257 85800 0 54004 429000 2142134 145.43 154.50 --
157.79/157.85 c N dy 6298 966103 4257 85800 0 74096 429000 6144257 145.43 153.65 --
161.70/161.77 c N dy 6430 986161 4257 85800 0 47158 429000 597310 145.40 156.28 --
164.90/164.95 c N dy 6567 1006196 4257 85800 0 67185 429000 4614274 145.40 153.34 --
168.49/168.55 c N dy 6701 1026282 4257 85800 0 87262 429000 8613795 145.39 157.82 --
172.09/172.12 c N dy 6836 1046349 4257 85800 0 59331 429000 2821550 145.40 156.77 --
175.50/175.58 c N dy 6962 1066490 4257 85800 0 79463 429000 6834325 145.38 155.73 --
176.50/176.59 c F st 6995 1071876 4257 85800 0 84844 429000 7899520 145.37 no data --
179.30/179.36 c N dy 7063 1086637 4257 85800 0 50618 429000 901908 145.35 153.27 --
182.69/182.72 c N dy 7198 1106749 4257 85800 0 70723 429000 4939532 145.37 153.78 --
186.59/186.63 c N dy 7333 1126839 4257 85800 0 90803 429000 8936056 145.36 154.39 --
190.30/190.39 c N dy 7474 1146899 4257 85800 0 60884 429000 2781231 145.37 153.53 --
193.80/193.89 c N dy 7600 1166960 4257 85800 0 80934 429000 6775253 145.37 185.18 --
197.90/197.98 c N dy 7736 1187092 4257 85800 0 101065 429000 10800669 145.38 154.09 --
201.30/201.33 c N dy 7867 1207166 4257 85800 0 70160 429000 4424049 145.37 153.92 --
205.10/205.18 c N dy 8006 1227317 4257 85800 0 90303 429000 8453299 145.38 155.68 --
209.00/209.07 c N dy 8142 1247348 4257 85800 0 58343 429000 1859782 145.37 158.43 --
212.49/212.51 c N dy 8270 1267671 4257 85800 0 78656 429000 5889917 145.35 154.12 --
216.49/216.57 c N dy 8408 1287849 4257 85800 0 98825 429000 9965796 145.36 155.30 --
220.19/220.26 c N dy 8548 1307937 4257 85800 0 65921 429000 3155966 145.37 153.73 --
223.80/223.88 c N dy 8686 1327996 4257 85800 0 85974 429000 7160942 145.37 153.10 --
228.00/228.00 c N dy 8823 1348080 4257 85800 0 106054 429000 11169850 145.38 154.42 --
231.49/231.54 c N dy 8967 1368117 4257 85800 0 72108 429000 4244963 145.40 153.45 --
235.30/235.35 c N dy 9100 1388128 4257 85800 0 92111 429000 8276750 145.42 154.66 --
239.49/239.55 c N dy 9226 1408146 4257 85800 0 57133 429000 1032162 145.39 153.56 --
243.01/243.06 c N dy 9369 1428235 4257 85800 0 77214 429000 5046712 145.41 162.17 --
247.00/247.09 c N dy 9513 1448243 4257 85800 0 97211 429000 9133467 145.46 174.73 --
251.19/251.25 c N dy 9647 1468249 4257 85800 0 61232 429000 1653937 145.46 191.51 --
254.69/254.79 c N dy 9789 1488290 4257 85800 0 81269 429000 5714197 145.49 155.99 --
258.80/258.85 c N dy 9926 1508377 4257 85800 0 101347 429000 9748978 145.50 154.52 --
262.99/263.01 c N dy 10066 1528460 4257 85800 0 64443 429000 2132908 145.53 153.55 --
266.60/266.69 c N dy 10193 1548525 4257 85800 0 84500 429000 6104117 145.51 153.41 --
270.70/270.78 c N dy 10324 1568616 4257 85800 0 104580 429000 10097676 145.49 154.76 --
274.80/274.87 c N dy 10456 1588622 4257 85800 0 66607 429000 2341716 145.50 155.23 --
278.49/278.56 c N dy 10584 1608702 4257 85800 0 86680 429000 6367026 145.48 155.30 --
282.70/282.80 c N dy 10717 1628704 4257 85800 0 106677 429000 10388885 145.48 154.25 --
286.90/286.96 c N dy 10856 1648767 4257 85800 0 67761 429000 2391225 145.50 178.73 --
290.70/290.74 c N dy 10997 1668802 4257 85800 0 87791 429000 6395940 145.51 160.85 --
295.00/295.00 c N dy 11130 1688894 4257 85800 0 107879 429000 10407286 145.51 155.70 --
299.21/299.27 c N dy 11272 1709038 4257 85800 0 68026 429000 2251324 145.53 154.20 --
303.10/303.18 c N dy 11411 1729243 4257 85800 0 88222 429000 6323031 145.54 154.72 --
307.40/307.48 c N dy 11544 1749467 4257 85800 0 108441 429000 10423101 145.55 155.51 --
311.80/311.89 c N dy 11694 1769603 4257 85800 0 67591 429000 1980390 145.59 158.31 --
315.60/315.61 c N dy 11831 1789614 4257 85800 0 87596 429000 5972357 145.60 154.96 --
319.80/319.85 c N dy 11967 1809690 4257 85800 0 107666 429000 9990648 145.61 154.01 --
324.40/324.41 c N dy 12109 1829751 4257 85800 0 65740 429000 1404011 145.64 156.39 --
328.10/328.16 c N dy 12247 1849792 4257 85800 0 85775 429000 5422651 145.65 182.28 --
332.30/332.37 c N dy 12383 1869863 4257 85800 0 105835 429000 9424218 145.65 155.83 --
337.00/337.07 c N dy 12515 1889962 4257 85800 0 125927 429000 13437090 145.65 156.60 --
340.80/340.81 c N dy 12658 1910023 4257 85800 0 83010 429000 4686240 145.68 167.76 --
344.90/344.97 c N dy 12799 1930202 4257 85800 0 103182 429000 8810918 145.70 157.66 --
349.70/349.79 c N dy 12943 1950446 4257 85800 0 123420 429000 12878686 145.71 155.65 --
353.80/353.82 c N dy 13079 1970590 4257 85800 0 79579 429000 3781715 145.71 154.03 --
357.80/357.82 c N dy 13211 1990666 4257 85800 0 99646 429000 7781781 145.71 173.89 --
362.40/362.44 c N dy 13351 2010877 4257 85800 0 119849 429000 11843587 145.72 160.29 --
366.70/366.77 c N dy 13490 2030908 4257 85800 0 74898 429000 2642813 145.74 154.53 --
370.60/370.66 c N dy 13623 2051013 4257 85800 0 94997 429000 6686391 145.74 155.84 --
375.01/375.02 c N dy 13762 2071042 4257 85800 0 115021 429000 10701322 145.74 159.69 --
379.60/379.65 c N dy 13896 2091110 4257 85800 0 69101 429000 1288123 145.74 161.41 --
383.40/383.46 c N dy 14033 2111192 4257 85800 0 89177 429000 5349030 145.76 163.37 --
387.80/387.85 c N dy 14170 2131539 4257 85800 0 109514 429000 9523380 145.78 155.29 --
392.40/392.49 c N dy 14304 2151562 4257 85800 0 129531 429000 13521791 145.79 153.51 --
396.50/396.53 c N dy 14436 2171804 4257 85800 0 82791 429000 3796523 145.77 157.62 --
400.50/400.59 c N dy 14571 2191956 4257 85800 0 102938 429000 7838351 145.77 157.39 --
405.20/405.28 c N dy 14716 2211985 4257 85800 0 122960 429000 11901096 145.79 154.05 --
409.80/409.89 c N dy 14858 2232086 4257 85800 0 75083 429000 2107943 145.81 155.24 --
413.70/413.78 c N dy 14997 2252148 4257 85800 0 95138 429000 6142851 145.82 155.18 --
418.11/418.19 c N dy 15132 2272259 4257 85800 0 115240 429000 10160349 145.82 158.96 --
423.10/423.18 c N dy 15280 2292328 4257 85800 0 135305 429000 14213125 145.84 154.35 --
427.00/427.08 c N dy 15408 2312393 4257 85800 0 86384 429000 4164446 145.82 157.21 --
431.31/431.30 c N dy 15549 2332498 4257 85800 0 106484 429000 8222707 145.84 154.34 --
435.90/435.98 c N dy 15689 2352502 4257 85800 0 126484 429000 12265305 145.86 153.96 --
440.60/440.67 c N dy 15824 2372543 4257 85800 0 76538 429000 2054477 145.88 217.66 --
444.60/444.60 c N dy 15959 2392579 4257 85800 0 96568 429000 6146129 145.89 159.03 --
449.00/449.00 c N dy 16090 2412620 4257 85800 0 116599 429000 10215480 145.89 181.41 --
453.91/453.92 c N dy 16223 2432690 4257 85800 0 136664 429000 14245340 145.90 168.00 --
458.10/458.17 c N dy 16366 2452770 4257 85800 0 85760 429000 3740808 145.92 166.31 --
462.20/462.27 c N dy 16498 2472827 4257 85800 0 105810 429000 7750821 145.92 157.01 --
466.90/466.98 c N dy 16635 2493026 4257 85800 0 126002 429000 11823280 145.93 155.84 --
472.10/472.11 c N dy 16777 2513125 4257 85800 0 74114 429000 1138176 145.94 154.42 --
476.00/476.09 c N dy 16924 2533196 4257 85800 0 94177 429000 5212945 145.96 176.23 --
480.50/480.59 c N dy 17062 2553298 4257 85800 0 114274 429000 9339171 145.98 154.43 --
485.60/485.60 c N dy 17203 2573389 4257 85800 0 134360 429000 13390885 145.99 162.17 --
490.30/490.30 c N dy 17337 2593452 4257 85800 0 81435 429000 2444851 145.99 155.90 --
494.40/494.44 c N dy 17475 2613563 4257 85800 0 101535 429000 6544130 146.00 155.31 --
498.90/498.97 c N dy 17613 2633674 4257 85800 0 121632 429000 10571653 146.01 155.79 --
504.00/504.10 c N dy 17749 2653810 4257 85800 0 141760 429000 14631188 146.01 155.25 --
508.50/508.58 c N dy 17891 2673936 4257 85800 0 87915 429000 3538246 146.02 155.58 --
512.80/512.85 c N dy 18028 2694008 4257 85800 0 107979 429000 7568210 146.02 154.99 --
517.60/517.60 c N dy 18167 2714224 4257 85800 0 128190 429000 11687626 146.04 154.52 --
522.80/522.89 c N dy 18303 2734433 4257 85800 0 148390 429000 15747206 146.04 154.62 --
527.01/527.06 c N dy 18442 2754505 4257 85800 0 93495 429000 4525001 146.07 156.09 --
531.40/531.45 c N dy 18579 2774535 4257 85800 0 113518 429000 8602219 146.09 176.97 --
536.30/536.37 c N dy 18720 2794629 4257 85800 0 133605 429000 12658441 146.10 154.05 --
541.70/541.77 c N dy 18863 2814727 4257 85800 0 77722 429000 1116324 146.12 165.22 --
545.62/545.69 c N dy 18995 2834822 4257 85800 0 97811 429000 5163413 146.12 154.05 --
550.21/550.21 c N dy 19131 2854937 4257 85800 0 117922 429000 9189155 146.12 154.31 --
555.11/555.14 c N dy 19264 2875095 4257 85800 0 138079 429000 13291782 146.13 159.35 --
560.31/560.34 c N dy 19398 2895120 4257 85800 0 81117 429000 1606944 146.13 156.04 --
564.40/564.44 c N dy 19537 2915189 4257 85800 0 101181 429000 5681434 146.14 154.26 --
568.90/568.99 c N dy 19668 2935243 4257 85800 0 121226 429000 9704777 146.14 164.43 --
574.00/574.04 c N dy 19805 2955253 4257 85800 0 141232 429000 13738367 146.14 155.85 --
579.21/579.25 c N dy 19943 2975397 4257 85800 0 83385 429000 1874653 146.16 154.02 --
583.30/583.37 c N dy 20071 2995639 4257 85800 0 103621 429000 5912035 146.15 155.09 --
588.01/588.06 c N dy 20211 3015713 4257 85800 0 123691 429000 9972814 146.16 162.11 --
593.11/593.11 c N dy 20341 3035716 4257 85800 0 143690 429000 13983354 146.16 162.36 --
598.20/598.27 c N dy 20476 3055795 4257 85800 0 84783 429000 1978845 146.16 155.29 --
602.31/602.38 c N dy 20607 3075818 4257 85800 0 104801 429000 6007358 146.15 155.88 --
607.01/607.06 c N dy 20739 3095870 4257 85800 0 124846 429000 10038339 146.15 159.18 --
612.21/612.27 c N dy 20873 3115951 4257 85800 0 144923 429000 14069752 146.14 156.66 --
617.61/617.62 c N dy 21006 3135980 4257 85800 0 84971 429000 1817885 146.15 157.07 --
621.71/621.76 c N dy 21145 3155989 4257 85800 0 104973 429000 5865155 146.17 155.36 --
626.31/626.39 c N dy 21286 3176086 4257 85800 0 125065 429000 9948173 146.18 154.19 --
631.51/631.55 c N dy 21429 3196150 4257 85800 0 145121 429000 14035089 146.19 195.18 --
637.01/637.08 c N dy 21570 3216167 4257 85800 0 84153 429000 1448168 146.20 155.73 --
641.21/641.26 c N dy 21704 3236264 4257 85800 0 104242 429000 5490367 146.21 162.09 --
645.91/645.90 c N dy 21843 3256290 4257 85800 0 124264 429000 9507963 146.22 155.11 --
651.11/651.10 c N dy 21987 3276322 4257 85800 0 144291 429000 13568757 146.23 154.52 --
656.91/656.92 c N dy 22131 3296404 4257 85800 0 82390 429000 908263 146.25 155.68 --
661.02/661.03 c N dy 22270 3316441 4257 85800 0 102422 429000 4975264 146.26 155.10 --
665.61/665.63 c N dy 22411 3336476 4257 85800 0 122447 429000 9022426 146.27 168.43 --
670.61/670.69 c N dy 22552 3356536 4257 85800 0 142503 429000 13050100 146.28 154.26 --
676.20/676.23 c N dy 22687 3376786 4257 85800 0 162747 429000 17104337 146.28 154.93 --
680.61/680.66 c N dy 22822 3396836 4257 85800 0 99819 429000 4207262 146.28 165.85 --
685.11/685.12 c N dy 22966 3416951 4257 85800 0 119928 429000 8273494 146.29 155.59 --
689.81/689.85 c N dy 23088 3437032 4257 85800 0 140002 429000 12293450 146.28 154.80 --
695.31/695.39 c N dy 23233 3457052 4257 85800 0 160014 429000 16409339 146.31 190.59 --
700.11/700.17 c N dy 23368 3477082 4257 85800 0 96059 429000 3279909 146.31 156.70 --
704.41/704.44 c N dy 23501 3497215 4257 85800 0 116190 429000 7328757 146.31 156.22 --
709.21/709.21 c N dy 23634 3517298 4257 85800 0 136268 429000 11349316 146.31 155.93 --
714.51/714.56 c N dy 23767 3537348 4257 85800 0 156316 429000 15359476 146.31 157.92 --
719.81/719.86 c N dy 23911 3557356 4257 85800 0 91346 429000 2143609 146.33 160.19 --
724.11/724.14 c N dy 24053 3577468 4257 85800 0 111455 429000 6198201 146.33 156.18 --
728.91/728.92 c N dy 24191 3597471 4257 85800 0 131454 429000 10220136 146.33 154.57 --
734.01/734.04 c N dy 24313 3617543 4257 85800 0 151517 429000 14248295 146.32 167.71 --
739.81/739.86 c N dy 24455 3637567 4257 85800 0 171528 429000 18261658 146.32 162.05 --
744.11/744.16 c N dy 24589 3657664 4257 85800 0 105646 429000 4835558 146.33 167.86 --
748.81/748.84 c N dy 24729 3677748 4257 85800 0 125721 429000 8846963 146.33 159.53 --
754.01/754.07 c N dy 24868 3697761 4257 85800 0 145727 429000 12846606 146.33 154.74 --
759.81/759.86 c N dy 25007 3717889 4257 85800 0 165850 429000 16931540 146.34 157.78 --
765.01/765.00 c N dy 25144 3737933 4257 85800 0 98917 429000 3315299 146.35 186.17 --
768.01/768.07 c F st 25239 3751564 4257 85800 0 112545 429000 6057041 146.35 151.80 --
769.31/769.39 c N dy 25254 3757971 4257 85800 0 118946 429000 7513921 146.35 155.12 --
774.51/774.51 c N dy 25399 3778098 4257 85800 0 139070 429000 11591465 146.36 154.18 --
779.92/779.97 c N dy 25536 3798319 4257 85800 0 159288 429000 15650910 146.37 155.30 --
785.71/785.74 c N dy 25670 3818425 4257 85800 0 91411 429000 1575814 146.37 156.30 --
790.01/790.05 c N dy 25805 3838586 4257 85800 0 111569 429000 5632268 146.38 155.88 --
794.91/794.94 c N dy 25938 3858786 4257 85800 0 131764 429000 9706966 146.38 155.95 --
800.22/800.29 c N dy 26066 3878867 4257 85800 0 151840 429000 13727476 146.37 160.91 --
806.11/806.10 c N dy 26201 3898918 4257 85800 0 171884 429000 17773234 146.38 155.11 --
811.01/811.01 c N dy 26340 3918988 4257 85800 0 102971 429000 3715742 146.38 159.27 --
815.61/815.61 c N dy 26476 3939210 4257 85800 0 123186 429000 7812836 146.39 157.86 --
820.62/820.62 c N dy 26604 3959300 4257 85800 0 143264 429000 11884761 146.39 155.38 --
826.21/826.25 c N dy 26744 3979302 4257 85800 0 163260 429000 15951365 146.40 154.89 --
831.91/831.99 c N dy 26870 3999394 4257 85800 0 93385 429000 1584256 146.40 177.77 --
836.31/836.37 c N dy 27004 4019463 4257 85800 0 113442 429000 5652552 146.40 156.73 --
841.22/841.23 c N dy 27144 4039541 4257 85800 0 133514 429000 9654745 146.40 156.36 --
846.72/846.73 c N dy 27284 4059654 4257 85800 0 153625 429000 13731262 146.41 158.00 --
852.82/852.81 c N dy 27424 4079954 4257 85800 0 173921 429000 17802667 146.41 157.43 --
858.02/858.01 c N dy 27557 4099969 4257 85800 0 102952 429000 3315404 146.41 154.29 --
862.61/862.63 c N dy 27689 4120060 4257 85800 0 123037 429000 7372696 146.41 191.31 --
867.82/867.85 c N dy 27827 4140179 4257 85800 0 143152 429000 11444044 146.41 160.41 --
873.42/873.45 c N dy 27957 4160277 4257 85800 0 163243 429000 15515235 146.42 154.70 --
879.52/879.52 c N dy 28091 4180425 4257 85800 0 183388 429000 19561966 146.41 161.72 --
884.01/884.05 c N dy 28235 4200518 4257 85800 0 111500 429000 4858740 146.42 156.48 --
888.92/888.91 c N dy 28376 4220554 4257 85800 0 131528 429000 8915316 146.44 171.87 --
894.22/894.28 c N dy 28517 4240559 4257 85800 0 151523 429000 12976005 146.44 156.23 --
900.11/900.17 c N dy 28652 4260571 4257 85800 0 171529 429000 16983327 146.45 167.05 --
905.92/905.96 c N dy 28791 4280719 4257 85800 0 98700 429000 2094869 146.45 155.40 --
910.41/910.46 c N dy 28930 4300743 4257 85800 0 118721 429000 6131004 146.45 156.25 --
915.42/915.41 c N dy 29062 4320744 4257 85800 0 138716 429000 10185643 146.45 155.19 --
920.72/920.79 c N dy 29193 4340839 4257 85800 0 158803 429000 14286449 146.45 168.57 --
926.82/926.82 c N dy 29332 4360958 4257 85800 0 178918 429000 18386518 146.46 154.51 --
932.12/932.15 c N dy 29472 4380980 4257 85800 0 104960 429000 3185944 146.47 156.62 --
936.82/936.86 c N dy 29613 4401034 4257 85800 0 125008 429000 7286917 146.49 160.94 --
941.92/941.98 c N dy 29744 4421106 4257 85800 0 145077 429000 11328035 146.49 154.86 --
947.62/947.65 c N dy 29879 4441150 4257 85800 0 165113 429000 15371857 146.49 157.81 --
953.82/953.85 c N dy 30013 4461292 4257 85800 0 185251 429000 19470639 146.50 155.42 --
958.72/958.76 c N dy 30151 4481353 4257 85800 0 110333 429000 4051962 146.50 156.90 --
963.42/963.44 c N dy 30289 4501478 4257 85800 0 130450 429000 8137088 146.50 154.30 --
968.62/968.67 c N dy 30427 4521526 4257 85800 0 150490 429000 12237530 146.52 155.26 --
974.32/974.32 c N dy 30557 4541527 4257 85800 0 170486 429000 16226878 146.51 154.48 --
980.52/980.53 c N dy 30698 4561529 4257 85800 0 190485 429000 20274545 146.52 155.20 --
985.12/985.17 c N dy 30835 4581535 4257 85800 0 114510 429000 4682013 146.52 162.90 --
990.03/990.06 c N dy 30978 4601560 4257 85800 0 134525 429000 8739003 146.53 164.22 --
995.32/995.38 c N dy 31120 4621607 4257 85800 0 154563 429000 12796390 146.54 155.39 --
1001.03/1001.09 c N dy 31248 4641818 4257 85800 0 174769 429000 16829552 146.53 158.26 --
1007.53/1007.53 c N dy 31394 4661898 4257 85800 0 97876 429000 1158658 146.54 155.66 --
1011.82/1011.85 c N dy 31534 4681979 4257 85800 0 117953 429000 5197489 146.55 154.63 --
1016.62/1016.66 c N dy 31669 4702066 4257 85800 0 138035 429000 9256906 146.55 241.25 --
1022.12/1022.10 c N dy 31813 4722249 4257 85800 0 158211 429000 13378044 146.57 157.65 --
1027.92/1027.90 c N dy 31945 4742359 4257 85800 0 178319 429000 17415850 146.56 155.33 --
1034.03/1034.01 c N dy 32067 4762474 4257 85800 0 100470 429000 1469986 146.56 157.78 --
1038.52/1038.53 c N dy 32202 4782742 4257 85800 0 120736 429000 5573944 146.57 157.51 --
1043.52/1043.55 c N dy 32339 4802749 4257 85800 0 140735 429000 9638195 146.57 155.30 --
1049.02/1049.00 c N dy 32475 4822953 4257 85800 0 160931 429000 13690102 146.57 160.84 --
1054.93/1054.90 c N dy 32601 4843100 4257 85800 0 181073 429000 17749377 146.57 156.62 --
1061.32/1061.33 c N dy 32739 4863194 4257 85800 0 102188 429000 1642971 146.58 169.45 --
1065.83/1065.85 c N dy 32870 4883205 4257 85800 0 122186 429000 5694979 146.58 155.14 --
1070.73/1070.77 c N dy 33000 4903453 4257 85800 0 142427 429000 9749495 146.58 158.05 --
1076.23/1076.22 c N dy 33134 4923552 4257 85800 0 162519 429000 13789423 146.57 178.34 --
1082.22/1082.21 c N dy 33271 4943650 4257 85800 0 182608 429000 17827667 146.58 154.80 --
1088.52/1088.56 c N dy 33405 4963683 4257 85800 0 102660 429000 1546412 146.58 154.99 --
1092.92/1092.92 c N dy 33537 4983696 4257 85800 0 122668 429000 5572861 146.58 154.59 --
1097.92/1097.94 c N dy 33678 5003822 4257 85800 0 142790 429000 9642621 146.59 154.57 --
1103.33/1103.39 c N dy 33812 5023862 4257 85800 0 162827 429000 13696729 146.59 155.43 --
1109.32/1109.36 c N dy 33943 5043873 4257 85800 0 182831 429000 17752531 146.59 156.18 --
1115.92/1115.94 c N dy 34086 5064103 4257 85800 0 102079 429000 1229673 146.60 155.53 --
1120.42/1120.41 c N dy 34219 5084243 4257 85800 0 122211 429000 5274330 146.60 154.71 --
1125.42/1125.40 c N dy 34352 5104270 4257 85800 0 142235 429000 9275548 146.59 155.70 --
1130.92/1130.98 c N dy 34490 5124305 4257 85800 0 162266 429000 13335160 146.60 156.53 --
1137.13/1137.12 c N dy 34629 5144394 4257 85800 0 182349 429000 17359257 146.60 158.80 --
1143.62/1143.65 c N dy 34771 5164395 4257 85800 0 202345 429000 21383797 146.60 155.25 --
1148.32/1148.36 c N dy 34899 5184528 4257 85800 0 120493 429000 4790702 146.60 154.61 --
1153.33/1153.32 c N dy 35037 5204532 4257 85800 0 140492 429000 8837505 146.60 169.84 --
1158.63/1158.68 c N dy 35167 5224718 4257 85800 0 160675 429000 12909678 146.60 158.97 --
1164.83/1164.85 c N dy 35310 5244776 4257 85800 0 180727 429000 16979991 146.62 161.11 --
1171.32/1171.33 c N dy 35440 5264879 4257 85800 0 200827 429000 21003739 146.61 155.03 --
1176.52/1176.54 c N dy 35587 5285008 4257 85800 0 117986 429000 4057917 146.62 154.68 --
1181.43/1181.44 c N dy 35725 5305018 4257 85800 0 137991 429000 8134902 146.63 154.60 --
1186.83/1186.83 c N dy 35861 5325190 4257 85800 0 158158 429000 12215788 146.63 164.42 --
1192.73/1192.70 c N dy 35997 5345195 4257 85800 0 178157 429000 16223021 146.63 155.77 --
1199.12/1199.15 c N dy 36140 5365251 4257 85800 0 198206 429000 20292623 146.64 183.96 --
1204.93/1204.90 c N dy 36279 5385264 4257 85800 0 114252 429000 3141374 146.64 159.62 --
1209.83/1209.82 c N dy 36422 5405413 4257 85800 0 134393 429000 7231927 146.65 154.89 --
1215.13/1215.12 c N dy 36557 5425454 4257 85800 0 154429 429000 11290376 146.65 161.31 --
1221.04/1221.08 c N dy 36699 5445749 4257 85800 0 174715 429000 15446939 146.66 154.38 --
1227.54/1227.51 c N dy 36837 5465917 4257 85800 0 194879 429000 19536559 146.66 154.56 --
1233.82/1233.87 c N dy 36966 5486018 4257 85800 0 110012 429000 2053325 146.66 157.04 --
1238.53/1238.59 c N dy 37106 5506064 4257 85800 0 130051 429000 6122505 146.67 160.38 --
1243.83/1243.82 c N dy 37237 5526320 4257 85800 0 150301 429000 10205208 146.66 156.68 --
1249.43/1249.46 c N dy 37375 5546419 4257 85800 0 170392 429000 14269122 146.66 156.49 --
1255.53/1255.53 c N dy 37506 5566486 4257 85800 0 190452 429000 18296879 146.66 155.55 --
1262.32/1262.35 c N dy 37643 5586530 4257 85800 0 210491 429000 22348834 146.67 158.10 --
1267.23/1267.21 c N dy 37772 5606615 4257 85800 0 124604 429000 4814794 146.67 157.62 --
1272.33/1272.31 c N dy 37911 5626798 4257 85800 0 144777 429000 8925244 146.68 154.68 --
1277.83/1277.80 c N dy 38054 5646806 4257 85800 0 164782 429000 12993139 146.68 156.33 --
1283.83/1283.86 c N dy 38195 5666913 4257 85800 0 184880 429000 17077561 146.68 159.35 --
1290.43/1290.43 c N dy 38330 5686951 4257 85800 0 204915 429000 21108057 146.69 155.09 --
1296.23/1296.27 c N dy 38466 5706958 4257 85800 0 117939 429000 3320247 146.70 156.78 --
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-3250364-1303543715/watcher-3250364-1303543715 -o /tmp/evaluation-result-3250364-1303543715/solver-3250364-1303543715 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3250364-1303543715.cnf
running on 2 cores: 4,6
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.38 3.84 3.59 4/193 14593
/proc/meminfo: memFree=11862360/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=30900 CPUtime=0 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 1095 0 0 0 0 0 0 0 23 0 1 0 465969512 31641600 1002 33554432000 4194304 4650387 140736539198784 18446744073709551615 4317100 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 7725 1004 328 112 0 2690 0
[startup+0.046144 s]
/proc/loadavg: 3.38 3.84 3.59 4/193 14593
/proc/meminfo: memFree=11862360/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=37708 CPUtime=0.03 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 3476 0 0 0 3 0 0 0 23 0 1 0 465969512 38612992 3181 33554432000 4194304 4650387 140736539198784 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 9427 3181 329 112 0 4392 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37708
[startup+0.101134 s]
/proc/loadavg: 3.38 3.84 3.59 4/193 14593
/proc/meminfo: memFree=11862360/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=44504 CPUtime=0.09 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 6099 0 0 0 8 1 0 0 23 0 1 0 465969512 45572096 5529 33554432000 4194304 4650387 140736539198784 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 11159 5531 329 112 0 6124 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44504
[startup+0.301063 s]
/proc/loadavg: 3.38 3.84 3.59 4/193 14593
/proc/meminfo: memFree=11862360/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=95976 CPUtime=0.29 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 14174 0 0 0 27 2 0 0 25 0 1 0 465969512 98279424 13076 33554432000 4194304 4650387 140736539198784 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 23994 13078 329 112 0 18959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95976
[startup+0.701045 s]
/proc/loadavg: 3.38 3.84 3.59 4/193 14593
/proc/meminfo: memFree=11862360/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=105436 CPUtime=0.69 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 16375 0 0 0 66 3 0 0 25 0 1 0 465969512 107966464 15277 33554432000 4194304 4650387 140736539198784 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 26359 15277 345 112 0 21324 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105436
[startup+1.50089 s]
/proc/loadavg: 3.38 3.84 3.59 5/194 14594
/proc/meminfo: memFree=11774808/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=199840 CPUtime=1.49 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 51468 0 0 0 141 8 0 0 25 0 1 0 465969512 204636160 39160 33554432000 4194304 4650387 140736539198784 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 49960 39163 355 112 0 44925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199840
[startup+3.10061 s]
/proc/loadavg: 3.43 3.84 3.59 5/194 14594
/proc/meminfo: memFree=11658700/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=243956 CPUtime=3.09 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 62214 0 0 0 301 8 0 0 25 0 1 0 465969512 249810944 47137 33554432000 4194304 4650387 140736539198784 18446744073709551615 4313035 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 60989 47137 375 112 0 55954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243956
[startup+6.30103 s]
/proc/loadavg: 3.43 3.84 3.59 5/194 14594
/proc/meminfo: memFree=11597708/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=247020 CPUtime=6.29 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 73403 0 0 0 619 10 0 0 25 0 1 0 465969512 252948480 48722 33554432000 4194304 4650387 140736539198784 18446744073709551615 4331143 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 61755 48722 379 112 0 56720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 247020
[startup+12.7009 s]
/proc/loadavg: 3.52 3.85 3.60 5/194 14595
/proc/meminfo: memFree=11549396/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=272984 CPUtime=12.69 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 86139 0 0 0 1256 13 0 0 25 0 1 0 465969512 279535616 57513 33554432000 4194304 4650387 140736539198784 18446744073709551615 4328243 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 68246 57513 382 112 0 63211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 272984
[startup+25.5005 s]
/proc/loadavg: 3.59 3.85 3.60 5/194 14595
/proc/meminfo: memFree=11534276/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=274052 CPUtime=25.49 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 95871 0 0 0 2535 14 0 0 25 0 1 0 465969512 280629248 57755 33554432000 4194304 4650387 140736539198784 18446744073709551615 4360291 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 68513 57755 382 112 0 63478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 274052
[startup+51.1009 s]
/proc/loadavg: 3.79 3.88 3.61 5/194 14596
/proc/meminfo: memFree=11518964/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=330552 CPUtime=51.09 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 116812 0 0 0 5091 18 0 0 25 0 1 0 465969512 338485248 58632 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366118 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 82638 58632 382 112 0 77603 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 330552
[startup+102.307 s]
/proc/loadavg: 3.92 3.90 3.64 5/194 14597
/proc/meminfo: memFree=11453048/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=345760 CPUtime=102.3 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 163619 0 0 0 10202 28 0 0 25 0 1 0 465969512 354058240 61685 33554432000 4194304 4650387 140736539198784 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 86440 61685 382 112 0 81405 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 345760
[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.65 5/194 14626
/proc/meminfo: memFree=11441664/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=302936 CPUtime=162.29 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 219043 0 0 0 16189 40 0 0 25 0 1 0 465969512 310206464 65058 33554432000 4194304 4650387 140736539198784 18446744073709551615 4314691 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 75734 65058 382 112 0 70699 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 302936
[startup+222.301 s]
/proc/loadavg: 4.04 3.94 3.68 5/194 14627
/proc/meminfo: memFree=11442848/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=363216 CPUtime=222.29 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 269063 0 0 0 22178 51 0 0 25 0 1 0 465969512 371933184 67632 33554432000 4194304 4650387 140736539198784 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 90804 67632 382 112 0 85769 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 363216
[startup+282.301 s]
/proc/loadavg: 4.01 3.95 3.69 5/194 14629
/proc/meminfo: memFree=11387508/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=364448 CPUtime=282.3 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 318471 0 0 0 28167 63 0 0 25 0 1 0 465969512 373194752 72111 33554432000 4194304 4650387 140736539198784 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 91112 72111 382 112 0 86077 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 364448
[startup+342.301 s]
/proc/loadavg: 4.00 3.95 3.71 5/194 14630
/proc/meminfo: memFree=11426316/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=365900 CPUtime=342.3 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 364993 0 0 0 34157 73 0 0 25 0 1 0 465969512 374681600 68607 33554432000 4194304 4650387 140736539198784 18446744073709551615 4364730 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 91475 68608 382 112 0 86440 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 365900
[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.73 5/194 14632
/proc/meminfo: memFree=11403852/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=366912 CPUtime=402.31 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 411897 0 0 0 40147 84 0 0 25 0 1 0 465969512 375717888 71786 33554432000 4194304 4650387 140736539198784 18446744073709551615 4364740 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 91728 71786 382 112 0 86693 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 366912
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.74 5/194 14661
/proc/meminfo: memFree=11444608/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=368332 CPUtime=462.3 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 457236 0 0 0 46137 93 0 0 25 0 1 0 465969512 377171968 70266 33554432000 4194304 4650387 140736539198784 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 92083 70266 382 112 0 87048 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 368332
[startup+522.301 s]
/proc/loadavg: 4.10 4.00 3.76 5/194 14689
/proc/meminfo: memFree=11417984/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=369536 CPUtime=522.31 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 502176 0 0 0 52127 104 0 0 25 0 1 0 465969512 378404864 77825 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 92384 77825 382 112 0 87349 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 369536
[startup+582.3 s]
/proc/loadavg: 4.12 4.03 3.79 5/194 14691
/proc/meminfo: memFree=11424616/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=371576 CPUtime=582.3 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 544601 0 0 0 58117 113 0 0 25 0 1 0 465969512 380493824 67679 33554432000 4194304 4650387 140736539198784 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 92894 67679 382 112 0 87859 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 371576
[startup+642.3 s]
/proc/loadavg: 4.18 4.07 3.81 5/194 14692
/proc/meminfo: memFree=11390744/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=372836 CPUtime=642.31 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 587679 0 0 0 64107 124 0 0 25 0 1 0 465969512 381784064 69345 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 93209 69345 382 112 0 88174 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 372836
[startup+702.3 s]
/proc/loadavg: 4.07 4.05 3.82 5/194 14694
/proc/meminfo: memFree=11441932/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=342608 CPUtime=702.31 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 634035 0 0 0 70096 135 0 0 25 0 1 0 465969512 350830592 60737 33554432000 4194304 4650387 140736539198784 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 85652 60737 382 112 0 80617 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 342608
[startup+762.307 s]
/proc/loadavg: 4.13 4.07 3.84 5/194 14696
/proc/meminfo: memFree=11315420/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=342728 CPUtime=762.32 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 685037 0 0 0 76085 147 0 0 25 0 1 0 465969512 350953472 73746 33554432000 4194304 4650387 140736539198784 18446744073709551615 4364730 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 85682 73746 382 112 0 80647 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 342728
[startup+822.301 s]
/proc/loadavg: 4.12 4.07 3.85 5/194 14697
/proc/meminfo: memFree=11340072/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=342912 CPUtime=822.31 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 738552 0 0 0 82073 158 0 0 25 0 1 0 465969512 351141888 68444 33554432000 4194304 4650387 140736539198784 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 85728 68444 382 112 0 80693 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 342912
[startup+882.301 s]
/proc/loadavg: 4.04 4.05 3.86 5/194 14699
/proc/meminfo: memFree=11395336/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=277556 CPUtime=882.32 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 789454 0 0 0 88062 170 0 0 25 0 1 0 465969512 284217344 58629 33554432000 4194304 4650387 140736539198784 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 69389 58629 382 112 0 64354 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 277556
[startup+942.301 s]
/proc/loadavg: 4.01 4.04 3.86 5/194 14700
/proc/meminfo: memFree=11294256/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=343216 CPUtime=942.32 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 839309 0 0 0 94052 180 0 0 25 0 1 0 465969512 351453184 66877 33554432000 4194304 4650387 140736539198784 18446744073709551615 4363279 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 85804 66877 382 112 0 80769 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 343216
[startup+1002.3 s]
/proc/loadavg: 4.00 4.03 3.87 5/194 14702
/proc/meminfo: memFree=11316308/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=343336 CPUtime=1002.32 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 887823 0 0 0 100039 193 0 0 25 0 1 0 465969512 351576064 72890 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366837 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 85834 72890 382 112 0 80799 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 343336
[startup+1062.3 s]
/proc/loadavg: 4.00 4.02 3.87 5/194 14703
/proc/meminfo: memFree=11380764/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=279004 CPUtime=1062.32 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 938164 0 0 0 106028 204 0 0 25 0 1 0 465969512 285700096 58036 33554432000 4194304 4650387 140736539198784 18446744073709551615 4363834 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 69751 58036 382 112 0 64716 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 279004
[startup+1122.3 s]
/proc/loadavg: 4.00 4.02 3.88 5/194 14705
/proc/meminfo: memFree=11355440/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=344664 CPUtime=1122.33 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 986906 0 0 0 112018 215 0 0 25 0 1 0 465969512 352935936 62289 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366584 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 86166 62289 382 112 0 81131 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 344664
[startup+1182.3 s]
/proc/loadavg: 4.10 4.04 3.90 5/194 14707
/proc/meminfo: memFree=11319688/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=344792 CPUtime=1182.33 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 1034144 0 0 0 118007 226 0 0 25 0 1 0 465969512 353067008 64236 33554432000 4194304 4650387 140736539198784 18446744073709551615 4364740 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 86198 64236 382 112 0 81163 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 344792
[startup+1242.3 s]
/proc/loadavg: 4.06 4.05 3.91 5/194 14708
/proc/meminfo: memFree=11285192/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=346328 CPUtime=1242.33 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 1081152 0 0 0 123996 237 0 0 25 0 1 0 465969512 354639872 64884 33554432000 4194304 4650387 140736539198784 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 86582 64884 382 112 0 81547 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 346328
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.04 3.91 3/190 14712
/proc/meminfo: memFree=11569896/32951124 swapFree=67111528/67111528
[pid=14593] ppid=14591 vsize=346444 CPUtime=1300.04 cores=4,6
/proc/14593/stat : 14593 (strangenight1-s) R 14591 14593 13829 0 -1 4202496 1125782 0 0 0 129758 246 0 0 25 0 1 0 465969512 354758656 62397 33554432000 4194304 4650387 140736539198784 18446744073709551615 4366825 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14593/statm: 86611 62397 382 112 0 81576 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 346444
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): 1300.02
CPU time (s): 1300.06
CPU user time (s): 1297.58
CPU system time (s): 2.47362
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 427972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.58
system time used= 2.47362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1125782
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= 780
runsolver used 2.27065 second user time and 4.85326 second system time
The end
Begin job on node133 at 2011-04-23 09:28:36
IDJOB=3250364
IDBENCH=83251
IDSOLVER=1589
FILE ID=node133/3250364-1303543715
RUNJOBID= node133-1303543715-14552
PBS_JOBID= 13143105
Free space on /tmp= 71584 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250364-1303543715/watcher-3250364-1303543715 -o /tmp/evaluation-result-3250364-1303543715/solver-3250364-1303543715 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3250364-1303543715.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=150140069
node133.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.834
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.66
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.834
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 : 5332.75
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.834
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.834
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 : 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 11862516 kB
Buffers: 2159392 kB
Cached: 18228992 kB
SwapCached: 0 kB
Active: 9065112 kB
Inactive: 11462508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 11862516 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 52456 kB
Writeback: 0 kB
AnonPages: 138172 kB
Mapped: 16164 kB
Slab: 499044 kB
PageTables: 5628 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 380156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71592 MiB
End job on node133 at 2011-04-23 09:50:18