0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3370321-1305391489.cnf'
0.00/0.01 c -- header says num vars: 34307
0.00/0.01 c -- header says num clauses: 708206
0.29/0.39 c -- clauses added: 0 learnts, 708206 normals, 0 xors
0.29/0.39 c -- vars added 34307
0.29/0.39 c Parsing time: 0.36 s
0.29/0.39 c N st 0 0 34307 708206 0 0 3541030 0 no data no data --
0.89/0.95 c asymm cl-useful: 0/41100/708206 lits-rem:0 time: 0.56
1.48/1.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.5M T: 0.47
1.88/1.93 c bin-w-bin subsume rem 0 bins time: 0.00 s
1.88/1.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.88/1.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 34307 time: 0.00 s
1.88/1.93 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
3.68/3.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.82 s
3.68/3.77 c Finding binary XORs T: 0.01 s found: 0
4.19/4.30 c Finding non-binary XORs: 0.50 s (found: 0, avg size: nan)
4.19/4.30 c calculated reachability. Time: 0.00
4.30/4.36 c Calc default polars - time: 0.06 s pos: 0 undec: 34307 neg: 0
4.30/4.36 c =========================================================================================
4.30/4.36 c types(t): F = full restart, N = normal restart
4.30/4.36 c types(t): S = simplification begin/end, E = solution found
4.30/4.36 c restart types(rt): st = static, dy = dynamic
4.30/4.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
4.30/4.36 c B st 0 0 34307 708206 0 0 3541030 0 no data no data --
5.09/5.17 c N dy 20 4300 34307 708206 0 4294 3541030 1008255 159.13 169.26 --
5.59/5.68 c N dy 42 8305 34307 708206 0 8297 3541030 1815613 151.08 159.16 --
6.19/6.21 c N dy 65 12337 34307 708206 0 12328 3541030 2595581 147.64 155.43 --
6.79/6.84 c N dy 93 16380 34307 708206 0 16369 3541030 3400197 147.17 164.65 --
7.48/7.57 c N dy 119 20484 34307 708206 0 10481 3541030 716324 146.11 154.60 --
8.09/8.15 c N dy 145 24584 34307 708206 0 14580 3541030 1517968 145.84 164.93 --
8.19/8.20 c F st 147 25001 34307 708206 0 14997 3541030 1594218 145.63 132.25 --
8.39/8.42 c Found part 41 vars: 4293 clauses: 88534 lits size: 442670
8.39/8.42 c Found part 48 vars: 4265 clauses: 86046 lits size: 430230
8.39/8.42 c Found part 63 vars: 4257 clauses: 85800 lits size: 429000
8.39/8.42 c Found part 66 vars: 4296 clauses: 89914 lits size: 449570
8.39/8.42 c Found part 67 vars: 17196 clauses: 357912 lits size: 1789560
8.39/8.42 c Found parts: 5 time: 0.22 s
8.39/8.42 c Solving part 63
8.49/8.51 c N st 0 0 4257 85800 0 0 429000 0 no data no data --
8.89/8.97 c asymm cl-useful: 0/85800/85800 lits-rem:0 time: 0.46
8.99/9.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03
8.99/9.02 c Finding binary XORs T: 0.00 s found: 0
8.99/9.05 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
8.99/9.05 c calculated reachability. Time: 0.00
8.99/9.06 c Calc default polars - time: 0.00 s pos: 0 undec: 34307 neg: 0
8.99/9.06 c =========================================================================================
8.99/9.06 c types(t): F = full restart, N = normal restart
8.99/9.06 c types(t): S = simplification begin/end, E = solution found
8.99/9.06 c restart types(rt): st = static, dy = dynamic
8.99/9.06 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8.99/9.06 c B st 0 0 4257 85800 0 0 429000 0 no data no data --
9.68/9.72 c N dy 17 4285 4257 85800 0 4285 429000 965177 152.87 162.70 --
10.19/10.21 c N dy 42 8397 4257 85800 0 8394 429000 1794414 150.25 158.53 --
10.69/10.73 c N dy 69 12496 4257 85800 0 12490 429000 2621131 149.80 174.37 --
11.19/11.25 c N dy 94 16511 4257 85800 0 16503 429000 3415634 148.37 196.45 --
11.79/11.84 c N dy 119 20600 4257 85800 0 10595 429000 759543 148.43 186.45 --
12.29/12.33 c N dy 145 24790 4257 85800 0 14783 429000 1586289 147.62 156.50 --
12.29/12.36 c F st 147 25002 4257 85800 0 14995 429000 1629109 147.54 no data --
12.89/12.96 c N dy 153 30203 4257 85800 0 20193 429000 2848312 147.54 no data --
13.38/13.46 c N dy 178 34318 4257 85800 0 24305 429000 3687061 147.63 158.56 --
13.89/13.98 c N dy 207 38407 4257 85800 0 28392 429000 4507898 147.97 156.79 --
14.48/14.51 c N dy 233 42586 4257 85800 0 17081 429000 1036767 147.39 155.74 --
14.98/15.02 c N dy 263 46747 4257 85800 0 21240 429000 1889594 147.70 157.45 --
15.48/15.50 c N dy 289 50838 4257 85800 0 25330 429000 2691327 147.35 155.35 --
15.99/16.02 c N dy 316 54877 4257 85800 0 29367 429000 3496990 147.29 157.51 --
16.50/16.55 c N dy 342 58968 4257 85800 0 33457 429000 4314808 147.01 155.61 --
17.09/17.13 c N dy 369 63124 4257 85800 0 18873 429000 716909 146.95 158.32 --
17.60/17.64 c N dy 395 67247 4257 85800 0 22994 429000 1551585 146.78 155.41 --
18.09/18.17 c N dy 420 71689 4257 85800 0 27436 429000 2431850 146.50 159.81 --
18.70/18.75 c N dy 448 76303 4257 85800 0 32048 429000 3338278 146.23 155.31 --
19.29/19.40 c N dy 478 81200 4257 85800 0 36944 429000 4288347 145.85 154.82 --
20.08/20.17 c N dy 516 86380 4257 85800 0 21258 429000 712267 145.84 157.79 --
20.29/20.30 c F st 524 87500 4257 85800 0 22376 429000 924494 145.78 121.85 --
20.90/20.96 c N dy 530 92696 4257 85800 0 27566 429000 2186878 145.78 no data --
21.69/21.74 c N dy 565 98661 4257 85800 0 33528 429000 3378624 145.61 157.12 --
22.59/22.64 c N dy 609 105014 4257 85800 0 39879 429000 4645291 145.70 155.25 --
23.59/23.65 c N dy 658 111795 4257 85800 0 24236 429000 966734 145.82 181.60 --
24.49/24.58 c N dy 708 119015 4257 85800 0 31453 429000 2394993 145.75 159.58 --
25.59/25.66 c N dy 762 126638 4257 85800 0 39076 429000 3950102 145.95 155.11 --
26.79/26.85 c N dy 810 134790 4257 85800 0 47223 429000 5572567 145.81 156.83 --
27.99/28.03 c N dy 867 143680 4257 85800 0 32402 429000 2328247 145.89 158.53 --
29.29/29.31 c N dy 927 152950 4257 85800 0 41669 429000 4164676 145.84 154.62 --
30.80/30.84 c N dy 1002 162973 4257 85800 0 26834 429000 923432 145.95 163.49 --
32.19/32.23 c N dy 1077 173433 4257 85800 0 37290 429000 3004461 146.01 174.37 --
33.89/33.92 c N dy 1159 184700 4257 85800 0 48552 429000 5273453 146.15 157.93 --
35.59/35.60 c N dy 1239 196485 4257 85800 0 34414 429000 2221821 146.11 154.34 --
37.40/37.46 c N dy 1323 209164 4257 85800 0 47090 429000 4741212 145.96 156.08 --
39.28/39.39 c N dy 1411 222610 4257 85800 0 33569 429000 1810777 145.82 155.05 --
41.39/41.41 c N dy 1503 236892 4257 85800 0 47848 429000 4648460 145.66 155.52 --
43.59/43.63 c N dy 1601 252065 4257 85800 0 35045 429000 1883639 145.58 164.23 --
45.99/46.04 c N dy 1715 268251 4257 85800 0 51228 429000 5191290 145.71 160.03 --
48.49/48.50 c N dy 1814 285460 4257 85800 0 39449 429000 2584690 145.47 191.41 --
51.19/51.26 c N dy 1936 303741 4257 85800 0 57722 429000 6234312 145.51 156.81 --
51.70/51.72 c F st 1956 306250 4257 85800 0 30243 429000 536304 145.53 no data --
54.08/54.11 c N dy 2037 323225 4257 85800 0 47213 429000 4204623 145.49 153.51 --
57.20/57.21 c N dy 2171 343226 4257 85800 0 36223 429000 1550426 145.46 160.59 --
60.08/60.11 c N dy 2301 363231 4257 85800 0 56220 429000 5557271 145.42 157.62 --
63.09/63.11 c N dy 2428 383511 4257 85800 0 44500 429000 2965524 145.32 154.46 --
66.19/66.29 c N dy 2564 403552 4257 85800 0 64536 429000 6986046 145.38 202.52 --
69.19/69.23 c N dy 2693 423594 4257 85800 0 51592 429000 4222136 145.35 156.60 --
72.39/72.47 c N dy 2823 443712 4257 85800 0 37713 429000 1231559 145.32 154.42 --
75.49/75.57 c N dy 2953 463947 4257 85800 0 57942 429000 5255408 145.27 158.83 --
78.79/78.80 c N dy 3085 484026 4257 85800 0 43021 429000 2093732 145.27 156.28 --
81.89/81.90 c N dy 3207 504096 4257 85800 0 63089 429000 6057175 145.20 157.90 --
84.98/85.07 c N dy 3336 524261 4257 85800 0 47263 429000 2746245 145.15 154.72 --
88.29/88.38 c N dy 3473 544381 4257 85800 0 67377 429000 6794319 145.20 155.36 --
91.49/91.56 c N dy 3602 564526 4257 85800 0 50529 429000 3200358 145.19 153.27 --
94.89/94.92 c N dy 3740 584584 4257 85800 0 70581 429000 7180079 145.20 153.86 --
98.09/98.11 c N dy 3872 604678 4257 85800 0 52680 429000 3470876 145.21 165.72 --
101.49/101.59 c N dy 4014 624743 4257 85800 0 72738 429000 7482823 145.25 153.00 --
104.79/104.82 c N dy 4144 644958 4257 85800 0 53958 429000 3458998 145.22 154.57 --
108.19/108.22 c N dy 4280 665001 4257 85800 0 73995 429000 7493214 145.24 153.68 --
111.39/111.48 c N dy 4415 685070 4257 85800 0 54067 429000 3342325 145.25 153.56 --
114.89/114.90 c N dy 4551 705267 4257 85800 0 74259 429000 7411480 145.27 154.56 --
118.39/118.42 c N dy 4690 725414 4257 85800 0 53412 429000 3014808 145.34 156.15 --
122.79/122.89 c N dy 4819 745432 4257 85800 0 73423 429000 7032468 145.37 154.67 --
127.49/127.53 c N dy 4952 765495 4257 85800 0 51493 429000 2437616 145.39 167.33 --
132.00/132.03 c N dy 5089 785503 4257 85800 0 71491 429000 6415607 145.42 157.32 --
136.59/136.69 c N dy 5213 805641 4257 85800 0 48638 429000 1639898 145.38 155.16 --
140.49/140.53 c N dy 5350 825712 4257 85800 0 68702 429000 5639768 145.38 155.38 --
145.20/145.21 c N dy 5485 845739 4257 85800 0 44734 429000 694024 145.39 172.47 --
149.09/149.16 c N dy 5613 865803 4257 85800 0 64790 429000 4685660 145.38 155.73 --
153.69/153.71 c N dy 5748 885895 4257 85800 0 84874 429000 8690901 145.37 155.97 --
157.79/157.87 c N dy 5886 905944 4257 85800 0 59935 429000 3537354 145.38 154.37 --
162.09/162.13 c N dy 6021 925985 4257 85800 0 79974 429000 7573550 145.40 161.87 --
166.29/166.38 c N dy 6163 946008 4257 85800 0 54004 429000 2142134 145.43 154.50 --
169.69/169.73 c N dy 6298 966103 4257 85800 0 74096 429000 6144257 145.43 153.65 --
173.59/173.70 c N dy 6430 986161 4257 85800 0 47158 429000 597310 145.40 156.28 --
176.89/176.91 c N dy 6567 1006196 4257 85800 0 67185 429000 4614274 145.40 153.34 --
180.59/180.60 c N dy 6701 1026282 4257 85800 0 87262 429000 8613795 145.39 157.82 --
184.19/184.20 c N dy 6836 1046349 4257 85800 0 59331 429000 2821550 145.40 156.77 --
187.59/187.63 c N dy 6962 1066490 4257 85800 0 79463 429000 6834325 145.38 155.73 --
188.59/188.64 c F st 6995 1071876 4257 85800 0 84844 429000 7899520 145.37 no data --
191.39/191.46 c N dy 7063 1086637 4257 85800 0 50618 429000 901908 145.35 153.27 --
194.70/194.79 c N dy 7198 1106749 4257 85800 0 70723 429000 4939532 145.37 153.78 --
198.59/198.68 c N dy 7333 1126839 4257 85800 0 90803 429000 8936056 145.36 154.39 --
202.40/202.45 c N dy 7474 1146899 4257 85800 0 60884 429000 2781231 145.37 153.53 --
205.88/205.99 c N dy 7600 1166960 4257 85800 0 80934 429000 6775253 145.37 185.18 --
209.99/210.10 c N dy 7736 1187092 4257 85800 0 101065 429000 10800669 145.38 154.09 --
213.40/213.47 c N dy 7867 1207166 4257 85800 0 70160 429000 4424049 145.37 153.92 --
217.29/217.33 c N dy 8006 1227317 4257 85800 0 90303 429000 8453299 145.38 155.68 --
221.19/221.24 c N dy 8142 1247348 4257 85800 0 58343 429000 1859782 145.37 158.43 --
224.69/224.74 c N dy 8270 1267671 4257 85800 0 78656 429000 5889917 145.35 154.12 --
228.80/228.81 c N dy 8408 1287849 4257 85800 0 98825 429000 9965796 145.36 155.30 --
232.49/232.58 c N dy 8548 1307937 4257 85800 0 65921 429000 3155966 145.37 153.73 --
236.19/236.23 c N dy 8686 1327996 4257 85800 0 85974 429000 7160942 145.37 153.10 --
240.29/240.39 c N dy 8823 1348080 4257 85800 0 106054 429000 11169850 145.38 154.42 --
243.89/243.91 c N dy 8967 1368117 4257 85800 0 72108 429000 4244963 145.40 153.45 --
247.69/247.70 c N dy 9100 1388128 4257 85800 0 92111 429000 8276750 145.42 154.66 --
251.90/251.95 c N dy 9226 1408146 4257 85800 0 57133 429000 1032162 145.39 153.56 --
255.29/255.38 c N dy 9369 1428235 4257 85800 0 77214 429000 5046712 145.41 162.17 --
259.29/259.35 c N dy 9513 1448243 4257 85800 0 97211 429000 9133467 145.46 174.73 --
263.39/263.46 c N dy 9647 1468249 4257 85800 0 61232 429000 1653937 145.46 191.51 --
266.99/267.06 c N dy 9789 1488290 4257 85800 0 81269 429000 5714197 145.49 155.99 --
271.09/271.15 c N dy 9926 1508377 4257 85800 0 101347 429000 9748978 145.50 154.52 --
275.19/275.22 c N dy 10066 1528460 4257 85800 0 64443 429000 2132908 145.53 153.55 --
278.79/278.87 c N dy 10193 1548525 4257 85800 0 84500 429000 6104117 145.51 153.41 --
282.89/282.90 c N dy 10324 1568616 4257 85800 0 104580 429000 10097676 145.49 154.76 --
286.79/286.89 c N dy 10456 1588622 4257 85800 0 66607 429000 2341716 145.50 155.23 --
290.40/290.47 c N dy 10584 1608702 4257 85800 0 86680 429000 6367026 145.48 155.30 --
294.59/294.67 c N dy 10717 1628704 4257 85800 0 106677 429000 10388885 145.48 154.25 --
298.80/298.84 c N dy 10856 1648767 4257 85800 0 67761 429000 2391225 145.50 178.73 --
303.09/303.15 c N dy 10997 1668802 4257 85800 0 87791 429000 6395940 145.51 160.85 --
308.60/308.66 c N dy 11130 1688894 4257 85800 0 107879 429000 10407286 145.51 155.70 --
314.29/314.37 c N dy 11272 1709038 4257 85800 0 68026 429000 2251324 145.53 154.20 --
319.49/319.57 c N dy 11411 1729243 4257 85800 0 88222 429000 6323031 145.54 154.72 --
325.09/325.12 c N dy 11544 1749467 4257 85800 0 108441 429000 10423101 145.55 155.51 --
330.39/330.47 c N dy 11694 1769603 4257 85800 0 67591 429000 1980390 145.59 158.31 --
334.89/334.93 c N dy 11831 1789614 4257 85800 0 87596 429000 5972357 145.60 154.96 --
339.99/340.07 c N dy 11967 1809690 4257 85800 0 107666 429000 9990648 145.61 154.01 --
345.69/345.70 c N dy 12109 1829751 4257 85800 0 65740 429000 1404011 145.64 156.39 --
349.29/349.38 c N dy 12247 1849792 4257 85800 0 85775 429000 5422651 145.65 182.28 --
353.49/353.56 c N dy 12383 1869863 4257 85800 0 105835 429000 9424218 145.65 155.83 --
358.09/358.19 c N dy 12515 1889962 4257 85800 0 125927 429000 13437090 145.65 156.60 --
361.80/361.89 c N dy 12658 1910023 4257 85800 0 83010 429000 4686240 145.68 167.76 --
366.00/366.01 c N dy 12799 1930202 4257 85800 0 103182 429000 8810918 145.70 157.66 --
370.70/370.74 c N dy 12943 1950446 4257 85800 0 123420 429000 12878686 145.71 155.65 --
374.60/374.66 c N dy 13079 1970590 4257 85800 0 79579 429000 3781715 145.71 154.03 --
378.59/378.60 c N dy 13211 1990666 4257 85800 0 99646 429000 7781781 145.71 173.89 --
383.09/383.14 c N dy 13351 2010877 4257 85800 0 119849 429000 11843587 145.72 160.29 --
387.30/387.39 c N dy 13490 2030908 4257 85800 0 74898 429000 2642813 145.74 154.53 --
391.19/391.20 c N dy 13623 2051013 4257 85800 0 94997 429000 6686391 145.74 155.84 --
395.60/395.61 c N dy 13762 2071042 4257 85800 0 115021 429000 10701322 145.74 159.69 --
400.20/400.26 c N dy 13896 2091110 4257 85800 0 69101 429000 1288123 145.74 161.41 --
404.00/404.01 c N dy 14033 2111192 4257 85800 0 89177 429000 5349030 145.76 163.37 --
408.29/408.31 c N dy 14170 2131539 4257 85800 0 109514 429000 9523380 145.78 155.29 --
412.89/412.91 c N dy 14304 2151562 4257 85800 0 129531 429000 13521791 145.79 153.51 --
416.91/416.97 c N dy 14436 2171804 4257 85800 0 82791 429000 3796523 145.77 157.62 --
420.99/421.00 c N dy 14571 2191956 4257 85800 0 102938 429000 7838351 145.77 157.39 --
425.71/425.71 c N dy 14716 2211985 4257 85800 0 122960 429000 11901096 145.79 154.05 --
430.30/430.34 c N dy 14858 2232086 4257 85800 0 75083 429000 2107943 145.81 155.24 --
434.20/434.22 c N dy 14997 2252148 4257 85800 0 95138 429000 6142851 145.82 155.18 --
438.60/438.70 c N dy 15132 2272259 4257 85800 0 115240 429000 10160349 145.82 158.96 --
443.70/443.71 c N dy 15280 2292328 4257 85800 0 135305 429000 14213125 145.84 154.35 --
447.50/447.57 c N dy 15408 2312393 4257 85800 0 86384 429000 4164446 145.82 157.21 --
451.80/451.81 c N dy 15549 2332498 4257 85800 0 106484 429000 8222707 145.84 154.34 --
456.60/456.61 c N dy 15689 2352502 4257 85800 0 126484 429000 12265305 145.86 153.96 --
461.40/461.40 c N dy 15824 2372543 4257 85800 0 76538 429000 2054477 145.88 217.66 --
465.40/465.40 c N dy 15959 2392579 4257 85800 0 96568 429000 6146129 145.89 159.03 --
469.90/469.93 c N dy 16090 2412620 4257 85800 0 116599 429000 10215480 145.89 181.41 --
474.80/474.86 c N dy 16223 2432690 4257 85800 0 136664 429000 14245340 145.90 168.00 --
479.10/479.14 c N dy 16366 2452770 4257 85800 0 85760 429000 3740808 145.92 166.31 --
483.20/483.28 c N dy 16498 2472827 4257 85800 0 105810 429000 7750821 145.92 157.01 --
488.00/488.06 c N dy 16635 2493026 4257 85800 0 126002 429000 11823280 145.93 155.84 --
493.30/493.34 c N dy 16777 2513125 4257 85800 0 74114 429000 1138176 145.94 154.42 --
498.31/498.33 c N dy 16924 2533196 4257 85800 0 94177 429000 5212945 145.96 176.23 --
504.40/504.48 c N dy 17062 2553298 4257 85800 0 114274 429000 9339171 145.98 154.43 --
511.00/511.02 c N dy 17203 2573389 4257 85800 0 134360 429000 13390885 145.99 162.17 --
517.60/517.64 c N dy 17337 2593452 4257 85800 0 81435 429000 2444851 145.99 155.90 --
523.20/523.20 c N dy 17475 2613563 4257 85800 0 101535 429000 6544130 146.00 155.31 --
529.12/529.18 c N dy 17613 2633674 4257 85800 0 121632 429000 10571653 146.01 155.79 --
536.00/536.08 c N dy 17749 2653810 4257 85800 0 141760 429000 14631188 146.01 155.25 --
542.10/542.10 c N dy 17891 2673936 4257 85800 0 87915 429000 3538246 146.02 155.58 --
547.71/547.78 c N dy 18028 2694008 4257 85800 0 107979 429000 7568210 146.02 154.99 --
553.90/553.96 c N dy 18167 2714224 4257 85800 0 128190 429000 11687626 146.04 154.52 --
560.60/560.60 c N dy 18303 2734433 4257 85800 0 148390 429000 15747206 146.04 154.62 --
565.91/565.97 c N dy 18442 2754505 4257 85800 0 93495 429000 4525001 146.07 156.09 --
571.50/571.57 c N dy 18579 2774535 4257 85800 0 113518 429000 8602219 146.09 176.97 --
577.60/577.65 c N dy 18720 2794629 4257 85800 0 133605 429000 12658441 146.10 154.05 --
584.40/584.41 c N dy 18863 2814727 4257 85800 0 77722 429000 1116324 146.12 165.22 --
589.20/589.20 c N dy 18995 2834822 4257 85800 0 97811 429000 5163413 146.12 154.05 --
594.60/594.68 c N dy 19131 2854937 4257 85800 0 117922 429000 9189155 146.12 154.31 --
600.51/600.53 c N dy 19264 2875095 4257 85800 0 138079 429000 13291782 146.13 159.35 --
606.61/606.60 c N dy 19398 2895120 4257 85800 0 81117 429000 1606944 146.13 156.04 --
610.81/610.89 c N dy 19537 2915189 4257 85800 0 101181 429000 5681434 146.14 154.26 --
615.40/615.42 c N dy 19668 2935243 4257 85800 0 121226 429000 9704777 146.14 164.43 --
620.41/620.42 c N dy 19805 2955253 4257 85800 0 141232 429000 13738367 146.14 155.85 --
625.40/625.43 c N dy 19943 2975397 4257 85800 0 83385 429000 1874653 146.16 154.02 --
629.51/629.52 c N dy 20071 2995639 4257 85800 0 103621 429000 5912035 146.15 155.09 --
634.11/634.15 c N dy 20211 3015713 4257 85800 0 123691 429000 9972814 146.16 162.11 --
639.20/639.25 c N dy 20341 3035716 4257 85800 0 143690 429000 13983354 146.16 162.36 --
644.40/644.45 c N dy 20476 3055795 4257 85800 0 84783 429000 1978845 146.16 155.29 --
648.51/648.54 c N dy 20607 3075818 4257 85800 0 104801 429000 6007358 146.15 155.88 --
653.10/653.16 c N dy 20739 3095870 4257 85800 0 124846 429000 10038339 146.15 159.18 --
658.31/658.32 c N dy 20873 3115951 4257 85800 0 144923 429000 14069752 146.14 156.66 --
663.50/663.55 c N dy 21006 3135980 4257 85800 0 84971 429000 1817885 146.15 157.07 --
667.61/667.61 c N dy 21145 3155989 4257 85800 0 104973 429000 5865155 146.17 155.36 --
672.12/672.19 c N dy 21286 3176086 4257 85800 0 125065 429000 9948173 146.18 154.19 --
677.20/677.27 c N dy 21429 3196150 4257 85800 0 145121 429000 14035089 146.19 195.18 --
682.71/682.70 c N dy 21570 3216167 4257 85800 0 84153 429000 1448168 146.20 155.73 --
686.70/686.73 c N dy 21704 3236264 4257 85800 0 104242 429000 5490367 146.21 162.09 --
691.31/691.31 c N dy 21843 3256290 4257 85800 0 124264 429000 9507963 146.22 155.11 --
696.51/696.53 c N dy 21987 3276322 4257 85800 0 144291 429000 13568757 146.23 154.52 --
702.30/702.35 c N dy 22131 3296404 4257 85800 0 82390 429000 908263 146.25 155.68 --
706.30/706.38 c N dy 22270 3316441 4257 85800 0 102422 429000 4975264 146.26 155.10 --
710.91/710.91 c N dy 22411 3336476 4257 85800 0 122447 429000 9022426 146.27 168.43 --
716.02/716.02 c N dy 22552 3356536 4257 85800 0 142503 429000 13050100 146.28 154.26 --
721.62/721.65 c N dy 22687 3376786 4257 85800 0 162747 429000 17104337 146.28 154.93 --
726.11/726.16 c N dy 22822 3396836 4257 85800 0 99819 429000 4207262 146.28 165.85 --
730.71/730.74 c N dy 22966 3416951 4257 85800 0 119928 429000 8273494 146.29 155.59 --
735.41/735.49 c N dy 23088 3437032 4257 85800 0 140002 429000 12293450 146.28 154.80 --
741.01/741.02 c N dy 23233 3457052 4257 85800 0 160014 429000 16409339 146.31 190.59 --
745.71/745.80 c N dy 23368 3477082 4257 85800 0 96059 429000 3279909 146.31 156.70 --
750.22/750.22 c N dy 23501 3497215 4257 85800 0 116190 429000 7328757 146.31 156.22 --
755.01/755.08 c N dy 23634 3517298 4257 85800 0 136268 429000 11349316 146.31 155.93 --
761.51/761.58 c N dy 23767 3537348 4257 85800 0 156316 429000 15359476 146.31 157.92 --
768.81/768.90 c N dy 23911 3557356 4257 85800 0 91346 429000 2143609 146.33 160.19 --
774.71/774.76 c N dy 24053 3577468 4257 85800 0 111455 429000 6198201 146.33 156.18 --
781.32/781.31 c N dy 24191 3597471 4257 85800 0 131454 429000 10220136 146.33 154.57 --
788.32/788.33 c N dy 24313 3617543 4257 85800 0 151517 429000 14248295 146.32 167.71 --
796.42/796.42 c N dy 24455 3637567 4257 85800 0 171528 429000 18261658 146.32 162.05 --
802.11/802.18 c N dy 24589 3657664 4257 85800 0 105646 429000 4835558 146.33 167.86 --
808.53/808.52 c N dy 24729 3677748 4257 85800 0 125721 429000 8846963 146.33 159.53 --
815.61/815.67 c N dy 24868 3697761 4257 85800 0 145727 429000 12846606 146.33 154.74 --
823.52/823.53 c N dy 25007 3717889 4257 85800 0 165850 429000 16931540 146.34 157.78 --
830.42/830.41 c N dy 25144 3737933 4257 85800 0 98917 429000 3315299 146.35 186.17 --
834.41/834.42 c F st 25239 3751564 4257 85800 0 112545 429000 6057041 146.35 151.80 --
836.12/836.12 c N dy 25254 3757971 4257 85800 0 118946 429000 7513921 146.35 155.12 --
842.63/842.67 c N dy 25399 3778098 4257 85800 0 139070 429000 11591465 146.36 154.18 --
848.82/848.82 c N dy 25536 3798319 4257 85800 0 159288 429000 15650910 146.37 155.30 --
856.31/856.37 c N dy 25670 3818425 4257 85800 0 91411 429000 1575814 146.37 156.30 --
861.91/861.97 c N dy 25805 3838586 4257 85800 0 111569 429000 5632268 146.38 155.88 --
868.11/868.16 c N dy 25938 3858786 4257 85800 0 131764 429000 9706966 146.38 155.95 --
875.01/875.07 c N dy 26066 3878867 4257 85800 0 151840 429000 13727476 146.37 160.91 --
882.72/882.76 c N dy 26201 3898918 4257 85800 0 171884 429000 17773234 146.38 155.11 --
888.83/888.84 c N dy 26340 3918988 4257 85800 0 102971 429000 3715742 146.38 159.27 --
894.11/894.19 c N dy 26476 3939210 4257 85800 0 123186 429000 7812836 146.39 157.86 --
900.02/900.07 c N dy 26604 3959300 4257 85800 0 143264 429000 11884761 146.39 155.38 --
906.71/906.70 c N dy 26744 3979302 4257 85800 0 163260 429000 15951365 146.40 154.89 --
913.42/913.47 c N dy 26870 3999394 4257 85800 0 93385 429000 1584256 146.40 177.77 --
918.53/918.59 c N dy 27004 4019463 4257 85800 0 113442 429000 5652552 146.40 156.73 --
924.41/924.43 c N dy 27144 4039541 4257 85800 0 133514 429000 9654745 146.40 156.36 --
930.91/931.00 c N dy 27284 4059654 4257 85800 0 153625 429000 13731262 146.41 158.00 --
938.12/938.15 c N dy 27424 4079954 4257 85800 0 173921 429000 17802667 146.41 157.43 --
943.92/943.97 c N dy 27557 4099969 4257 85800 0 102952 429000 3315404 146.41 154.29 --
948.52/948.53 c N dy 27689 4120060 4257 85800 0 123037 429000 7372696 146.41 191.31 --
953.73/953.72 c N dy 27827 4140179 4257 85800 0 143152 429000 11444044 146.41 160.41 --
959.31/959.38 c N dy 27957 4160277 4257 85800 0 163243 429000 15515235 146.42 154.70 --
965.41/965.49 c N dy 28091 4180425 4257 85800 0 183388 429000 19561966 146.41 161.72 --
969.92/970.00 c N dy 28235 4200518 4257 85800 0 111500 429000 4858740 146.42 156.48 --
974.82/974.84 c N dy 28376 4220554 4257 85800 0 131528 429000 8915316 146.44 171.87 --
980.13/980.14 c N dy 28517 4240559 4257 85800 0 151523 429000 12976005 146.44 156.23 --
986.02/986.01 c N dy 28652 4260571 4257 85800 0 171529 429000 16983327 146.45 167.05 --
991.81/991.82 c N dy 28791 4280719 4257 85800 0 98700 429000 2094869 146.45 155.40 --
996.02/996.08 c N dy 28930 4300743 4257 85800 0 118721 429000 6131004 146.45 156.25 --
1000.62/1000.66 c N dy 29062 4320744 4257 85800 0 138716 429000 10185643 146.45 155.19 --
1005.62/1005.69 c N dy 29193 4340839 4257 85800 0 158803 429000 14286449 146.45 168.57 --
1011.22/1011.27 c N dy 29332 4360958 4257 85800 0 178918 429000 18386518 146.46 154.51 --
1016.12/1016.19 c N dy 29472 4380980 4257 85800 0 104960 429000 3185944 146.47 156.62 --
1020.52/1020.55 c N dy 29613 4401034 4257 85800 0 125008 429000 7286917 146.49 160.94 --
1025.24/1025.28 c N dy 29744 4421106 4257 85800 0 145077 429000 11328035 146.49 154.86 --
1030.53/1030.50 c N dy 29879 4441150 4257 85800 0 165113 429000 15371857 146.49 157.81 --
1036.33/1036.30 c N dy 30013 4461292 4257 85800 0 185251 429000 19470639 146.50 155.42 --
1040.92/1040.97 c N dy 30151 4481353 4257 85800 0 110333 429000 4051962 146.50 156.90 --
1045.32/1045.39 c N dy 30289 4501478 4257 85800 0 130450 429000 8137088 146.50 154.30 --
1050.32/1050.33 c N dy 30427 4521526 4257 85800 0 150490 429000 12237530 146.52 155.26 --
1055.62/1055.68 c N dy 30557 4541527 4257 85800 0 170486 429000 16226878 146.51 154.48 --
1061.53/1061.58 c N dy 30698 4561529 4257 85800 0 190485 429000 20274545 146.52 155.20 --
1065.94/1065.93 c N dy 30835 4581535 4257 85800 0 114510 429000 4682013 146.52 162.90 --
1070.53/1070.50 c N dy 30978 4601560 4257 85800 0 134525 429000 8739003 146.53 164.22 --
1075.52/1075.56 c N dy 31120 4621607 4257 85800 0 154563 429000 12796390 146.54 155.39 --
1080.92/1080.99 c N dy 31248 4641818 4257 85800 0 174769 429000 16829552 146.53 158.26 --
1087.02/1087.08 c N dy 31394 4661898 4257 85800 0 97876 429000 1158658 146.54 155.66 --
1091.24/1091.23 c N dy 31534 4681979 4257 85800 0 117953 429000 5197489 146.55 154.63 --
1095.83/1095.82 c N dy 31669 4702066 4257 85800 0 138035 429000 9256906 146.55 241.25 --
1100.92/1100.99 c N dy 31813 4722249 4257 85800 0 158211 429000 13378044 146.57 157.65 --
1106.53/1106.55 c N dy 31945 4742359 4257 85800 0 178319 429000 17415850 146.56 155.33 --
1112.32/1112.36 c N dy 32067 4762474 4257 85800 0 100470 429000 1469986 146.56 157.78 --
1116.63/1116.61 c N dy 32202 4782742 4257 85800 0 120736 429000 5573944 146.57 157.51 --
1121.33/1121.35 c N dy 32339 4802749 4257 85800 0 140735 429000 9638195 146.57 155.30 --
1126.52/1126.52 c N dy 32475 4822953 4257 85800 0 160931 429000 13690102 146.57 160.84 --
1132.02/1132.07 c N dy 32601 4843100 4257 85800 0 181073 429000 17749377 146.57 156.62 --
1138.03/1138.04 c N dy 32739 4863194 4257 85800 0 102188 429000 1642971 146.58 169.45 --
1142.23/1142.25 c N dy 32870 4883205 4257 85800 0 122186 429000 5694979 146.58 155.14 --
1146.93/1146.96 c N dy 33000 4903453 4257 85800 0 142427 429000 9749495 146.58 158.05 --
1152.12/1152.12 c N dy 33134 4923552 4257 85800 0 162519 429000 13789423 146.57 178.34 --
1157.72/1157.77 c N dy 33271 4943650 4257 85800 0 182608 429000 17827667 146.58 154.80 --
1163.73/1163.71 c N dy 33405 4963683 4257 85800 0 102660 429000 1546412 146.58 154.99 --
1167.82/1167.89 c N dy 33537 4983696 4257 85800 0 122668 429000 5572861 146.58 154.59 --
1172.64/1172.64 c N dy 33678 5003822 4257 85800 0 142790 429000 9642621 146.59 154.57 --
1177.73/1177.77 c N dy 33812 5023862 4257 85800 0 162827 429000 13696729 146.59 155.43 --
1183.33/1183.37 c N dy 33943 5043873 4257 85800 0 182831 429000 17752531 146.59 156.18 --
1189.63/1189.60 c N dy 34086 5064103 4257 85800 0 102079 429000 1229673 146.60 155.53 --
1193.83/1193.82 c N dy 34219 5084243 4257 85800 0 122211 429000 5274330 146.60 154.71 --
1198.43/1198.46 c N dy 34352 5104270 4257 85800 0 142235 429000 9275548 146.59 155.70 --
1203.62/1203.63 c N dy 34490 5124305 4257 85800 0 162266 429000 13335160 146.60 156.53 --
1209.32/1209.32 c N dy 34629 5144394 4257 85800 0 182349 429000 17359257 146.60 158.80 --
1215.43/1215.47 c N dy 34771 5164395 4257 85800 0 202345 429000 21383797 146.60 155.25 --
1219.94/1219.93 c N dy 34899 5184528 4257 85800 0 120493 429000 4790702 146.60 154.61 --
1224.53/1224.58 c N dy 35037 5204532 4257 85800 0 140492 429000 8837505 146.60 169.84 --
1229.63/1229.60 c N dy 35167 5224718 4257 85800 0 160675 429000 12909678 146.60 158.97 --
1235.34/1235.33 c N dy 35310 5244776 4257 85800 0 180727 429000 16979991 146.62 161.11 --
1241.43/1241.40 c N dy 35440 5264879 4257 85800 0 200827 429000 21003739 146.61 155.03 --
1246.34/1246.39 c N dy 35587 5285008 4257 85800 0 117986 429000 4057917 146.62 154.68 --
1251.03/1251.04 c N dy 35725 5305018 4257 85800 0 137991 429000 8134902 146.63 154.60 --
1256.13/1256.13 c N dy 35861 5325190 4257 85800 0 158158 429000 12215788 146.63 164.42 --
1261.63/1261.68 c N dy 35997 5345195 4257 85800 0 178157 429000 16223021 146.63 155.77 --
1267.83/1267.80 c N dy 36140 5365251 4257 85800 0 198206 429000 20292623 146.64 183.96 --
1273.23/1273.22 c N dy 36279 5385264 4257 85800 0 114252 429000 3141374 146.64 159.62 --
1277.83/1277.85 c N dy 36422 5405413 4257 85800 0 134393 429000 7231927 146.65 154.89 --
1282.83/1282.81 c N dy 36557 5425454 4257 85800 0 154429 429000 11290376 146.65 161.31 --
1288.43/1288.45 c N dy 36699 5445749 4257 85800 0 174715 429000 15446939 146.66 154.38 --
1294.53/1294.52 c N dy 36837 5465917 4257 85800 0 194879 429000 19536559 146.66 154.56 --
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3370321-1305391489/watcher-3370321-1305391489 -o /tmp/evaluation-result-3370321-1305391489/solver-3370321-1305391489 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370321-1305391489.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: 4.04 4.01 3.99 4/307 725
/proc/meminfo: memFree=12830820/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=21468 CPUtime=0 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 521 0 0 0 0 0 0 0 23 0 1 0 650748801 21983232 463 33554432000 4194304 4650387 140734755961808 18446744073709551615 208080232192 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 5367 474 312 112 0 332 0
[startup+0.0885219 s]
/proc/loadavg: 4.04 4.01 3.99 4/307 725
/proc/meminfo: memFree=12830820/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=42240 CPUtime=0.07 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 4909 0 0 0 7 0 0 0 23 0 1 0 650748801 43253760 4349 33554432000 4194304 4650387 140734755961808 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 10560 4351 329 112 0 5525 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 42240
[startup+0.100518 s]
/proc/loadavg: 4.04 4.01 3.99 4/307 725
/proc/meminfo: memFree=12830820/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=42504 CPUtime=0.09 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 5315 0 0 0 8 1 0 0 23 0 1 0 650748801 43524096 4752 33554432000 4194304 4650387 140734755961808 18446744073709551615 208079893189 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 10626 4753 329 112 0 5591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42504
[startup+0.300485 s]
/proc/loadavg: 4.04 4.01 3.99 4/307 725
/proc/meminfo: memFree=12830820/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=92892 CPUtime=0.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 12232 0 0 0 27 2 0 0 24 0 1 0 650748801 95121408 11135 33554432000 4194304 4650387 140734755961808 18446744073709551615 4519989 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 23223 11135 329 112 0 18188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92892
[startup+0.700404 s]
/proc/loadavg: 4.04 4.01 3.99 4/307 725
/proc/meminfo: memFree=12830820/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=104384 CPUtime=0.69 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 16125 0 0 0 66 3 0 0 25 0 1 0 650748801 106889216 15028 33554432000 4194304 4650387 140734755961808 18446744073709551615 4370490 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 26096 15028 345 112 0 21061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104384
[startup+1.50025 s]
/proc/loadavg: 4.04 4.01 3.99 5/308 726
/proc/meminfo: memFree=12744012/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=110932 CPUtime=1.48 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 29587 0 0 0 144 4 0 0 25 0 1 0 650748801 113594368 17280 33554432000 4194304 4650387 140734755961808 18446744073709551615 4370665 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 27733 17280 349 112 0 22698 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 110932
[startup+3.10095 s]
/proc/loadavg: 4.04 4.01 3.99 5/308 726
/proc/meminfo: memFree=12665396/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=232568 CPUtime=3.09 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 57407 0 0 0 301 8 0 0 25 0 1 0 650748801 238149632 45100 33554432000 4194304 4650387 140734755961808 18446744073709551615 4476277 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 58142 45100 365 112 0 53107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232568
[startup+6.30033 s]
/proc/loadavg: 4.04 4.01 3.99 5/308 726
/proc/meminfo: memFree=12600644/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=243960 CPUtime=6.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 65257 0 0 0 619 10 0 0 25 0 1 0 650748801 249815040 50174 33554432000 4194304 4650387 140734755961808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 60990 50174 377 112 0 55955 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 243960
[startup+12.7011 s]
/proc/loadavg: 4.03 4.01 3.99 5/308 726
/proc/meminfo: memFree=12570276/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=272988 CPUtime=12.69 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 82499 0 0 0 1255 14 0 0 25 0 1 0 650748801 279539712 55908 33554432000 4194304 4650387 140734755961808 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 68247 55908 382 112 0 63212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 272988
[startup+25.5007 s]
/proc/loadavg: 4.11 4.02 4.00 5/308 726
/proc/meminfo: memFree=12557452/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=332292 CPUtime=25.49 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 93980 0 0 0 2532 17 0 0 25 0 1 0 650748801 340267008 58518 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365291 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 83073 58519 382 112 0 78038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 332292
[startup+51.1008 s]
/proc/loadavg: 4.07 4.02 4.00 5/308 727
/proc/meminfo: memFree=12547076/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=330544 CPUtime=51.09 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 115298 0 0 0 5087 22 0 0 25 0 1 0 650748801 338477056 60960 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 82636 60960 382 112 0 77601 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 330544
[startup+102.311 s]
/proc/loadavg: 4.03 4.01 4.00 5/308 728
/proc/meminfo: memFree=12532120/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=332648 CPUtime=102.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 159808 0 0 0 10199 30 0 0 25 0 1 0 650748801 340631552 63535 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 83162 63535 382 112 0 78127 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 332648
[startup+162.301 s]
/proc/loadavg: 4.13 4.04 4.01 5/308 758
/proc/meminfo: memFree=12547596/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=361452 CPUtime=162.28 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 209655 0 0 0 16180 48 0 0 25 0 1 0 650748801 370126848 69851 33554432000 4194304 4650387 140734755961808 18446744073709551615 4328222 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 90363 69851 382 112 0 85328 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 361452
[startup+222.301 s]
/proc/loadavg: 4.05 4.03 4.00 5/308 787
/proc/meminfo: memFree=12510308/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=363100 CPUtime=222.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 258361 0 0 0 22169 60 0 0 25 0 1 0 650748801 371814400 65335 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 90775 65335 382 112 0 85740 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 363100
[startup+282.301 s]
/proc/loadavg: 4.08 4.04 4.00 5/308 788
/proc/meminfo: memFree=12474636/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=364272 CPUtime=282.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 308806 0 0 0 28159 70 0 0 25 0 1 0 650748801 373014528 71778 33554432000 4194304 4650387 140734755961808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 91068 71778 382 112 0 86033 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 364272
[startup+342.3 s]
/proc/loadavg: 4.08 4.04 4.00 5/308 790
/proc/meminfo: memFree=12446448/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=365268 CPUtime=342.29 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 349686 0 0 0 34143 86 0 0 25 0 1 0 650748801 374034432 73853 33554432000 4194304 4650387 140734755961808 18446744073709551615 4366803 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 91317 73853 382 112 0 86282 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 365268
[startup+402.301 s]
/proc/loadavg: 4.03 4.03 4.00 5/308 791
/proc/meminfo: memFree=12448504/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=366680 CPUtime=402.3 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 394832 0 0 0 40133 97 0 0 25 0 1 0 650748801 375480320 65997 33554432000 4194304 4650387 140734755961808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 91670 65997 382 112 0 86635 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 366680
[startup+462.3 s]
/proc/loadavg: 4.01 4.02 4.00 5/308 793
/proc/meminfo: memFree=12448068/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=305248 CPUtime=462.3 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 440492 0 0 0 46124 106 0 0 25 0 1 0 650748801 312573952 65635 33554432000 4194304 4650387 140734755961808 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 76312 65635 382 112 0 71277 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 305248
[startup+522.301 s]
/proc/loadavg: 4.00 4.02 4.00 5/308 795
/proc/meminfo: memFree=12432128/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=369288 CPUtime=522.3 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 480181 0 0 0 52111 119 0 0 25 0 1 0 650748801 378150912 68474 33554432000 4194304 4650387 140734755961808 18446744073709551615 4363848 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 92322 68474 382 112 0 87287 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 369288
[startup+582.301 s]
/proc/loadavg: 4.03 4.03 4.00 5/308 796
/proc/meminfo: memFree=12370956/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=370320 CPUtime=582.31 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 515229 0 0 0 58094 137 0 0 25 0 1 0 650748801 379207680 78059 33554432000 4194304 4650387 140734755961808 18446744073709551615 4366837 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 92580 78059 382 112 0 87545 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 370320
[startup+642.301 s]
/proc/loadavg: 4.01 4.02 4.00 5/308 798
/proc/meminfo: memFree=12375756/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=371580 CPUtime=642.31 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 555873 0 0 0 64082 149 0 0 25 0 1 0 650748801 380497920 78952 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365268 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 92895 78952 382 112 0 87860 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 371580
[startup+702.301 s]
/proc/loadavg: 4.00 4.01 4.00 5/308 799
/proc/meminfo: memFree=12361692/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=307388 CPUtime=702.3 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 598720 0 0 0 70071 159 0 0 25 0 1 0 650748801 314765312 66170 33554432000 4194304 4650387 140734755961808 18446744073709551615 4315657 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 76847 66170 382 112 0 71812 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 307388
[startup+762.312 s]
/proc/loadavg: 4.03 4.02 4.00 5/308 801
/proc/meminfo: memFree=12386092/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=342612 CPUtime=762.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 644270 0 0 0 76065 167 0 0 25 0 1 0 650748801 350834688 70973 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 85653 70973 382 112 0 80618 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 342612
[startup+822.301 s]
/proc/loadavg: 4.04 4.03 4.00 5/308 803
/proc/meminfo: memFree=12396348/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=342732 CPUtime=822.31 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 682856 0 0 0 82045 186 0 0 25 0 1 0 650748801 350957568 71566 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 85683 71566 382 112 0 80648 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 342732
[startup+882.3 s]
/proc/loadavg: 4.05 4.04 4.00 5/308 804
/proc/meminfo: memFree=12391832/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=342856 CPUtime=882.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 723161 0 0 0 88026 206 0 0 25 0 1 0 650748801 351084544 72782 33554432000 4194304 4650387 140734755961808 18446744073709551615 4364719 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 85714 72782 382 112 0 80679 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 342856
[startup+942.301 s]
/proc/loadavg: 4.02 4.03 4.00 5/308 806
/proc/meminfo: memFree=12417464/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=277492 CPUtime=942.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 767498 0 0 0 94011 221 0 0 25 0 1 0 650748801 284151808 57105 33554432000 4194304 4650387 140734755961808 18446744073709551615 4364753 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 69373 57105 382 112 0 64338 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 277492
[startup+1002.3 s]
/proc/loadavg: 3.85 3.99 3.99 4/302 842
/proc/meminfo: memFree=12540528/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=343160 CPUtime=1002.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 818347 0 0 0 99999 233 0 0 25 0 1 0 650748801 351395840 66889 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365293 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 85790 66889 382 112 0 80755 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 343160
[startup+1062.3 s]
/proc/loadavg: 3.31 3.81 3.92 4/302 844
/proc/meminfo: memFree=12424252/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=277796 CPUtime=1062.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 871418 0 0 0 105988 244 0 0 25 0 1 0 650748801 284463104 56486 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365244 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 69449 56486 382 112 0 64414 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 277796
[startup+1122.3 s]
/proc/loadavg: 3.16 3.67 3.87 4/302 846
/proc/meminfo: memFree=12465872/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=343476 CPUtime=1122.33 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 923894 0 0 0 111977 256 0 0 25 0 1 0 650748801 351719424 65723 33554432000 4194304 4650387 140734755961808 18446744073709551615 4365214 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 85869 65723 382 112 0 80834 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 343476
[startup+1182.3 s]
/proc/loadavg: 2.57 3.42 3.77 3/296 875
/proc/meminfo: memFree=12726192/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=344608 CPUtime=1182.32 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 974590 0 0 0 117966 266 0 0 25 0 1 0 650748801 352878592 72361 33554432000 4194304 4650387 140734755961808 18446744073709551615 4366888 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 86152 72361 382 112 0 81117 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 344608
[startup+1242.3 s]
/proc/loadavg: 2.21 3.16 3.66 3/296 877
/proc/meminfo: memFree=12706264/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=410272 CPUtime=1242.33 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 1023990 0 0 0 123957 276 0 0 25 0 1 0 650748801 420118528 76901 33554432000 4194304 4650387 140734755961808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 102568 76901 382 112 0 97533 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 410272
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.08 2.96 3.56 3/296 878
/proc/meminfo: memFree=12780976/32950928 swapFree=67083212/67111528
[pid=725] ppid=723 vsize=280788 CPUtime=1300.04 cores=4,6
/proc/725/stat : 725 (strangenight1-s) R 723 725 32651 0 -1 4202496 1073705 0 0 0 129715 289 0 0 25 0 1 0 650748801 287526912 57438 33554432000 4194304 4650387 140734755961808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/725/statm: 70197 57438 382 112 0 65162 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 280788
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.16
CPU system time (s): 2.90356
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 427976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.16
system time used= 2.90356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1073711
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= 12
involuntary context switches= 1094
runsolver used 3.63245 second user time and 8.60969 second system time
The end
Begin job on node127 at 2011-05-14 18:44:51
IDJOB=3370321
IDBENCH=83251
IDSOLVER=1847
FILE ID=node127/3370321-1305391489
RUNJOBID= node127-1305391178-530
PBS_JOBID= 13324406
Free space on /tmp= 73440 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
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-3370321-1305391489/watcher-3370321-1305391489 -o /tmp/evaluation-result-3370321-1305391489/solver-3370321-1305391489 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370321-1305391489.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=317688551
node127.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.823
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.823
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.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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: 32950928 kB
MemFree: 12831100 kB
Buffers: 281316 kB
Cached: 3377472 kB
SwapCached: 1620 kB
Active: 17044640 kB
Inactive: 2737040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12831100 kB
SwapTotal: 67111528 kB
SwapFree: 67083212 kB
Dirty: 28908 kB
Writeback: 0 kB
AnonPages: 16121540 kB
Mapped: 27548 kB
Slab: 226824 kB
PageTables: 48024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 44697924 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= 73444 MiB
End job on node127 at 2011-05-14 19:06:33