0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400692-1306335182.cnf'
1.63/0.09 c -- header says num vars: 1278
1.63/0.09 c -- header says num clauses: 68055
7.36/0.63 c -- clauses added: 0 learnts, 68055 normals, 0 xors
7.36/0.63 c -- vars added 1278
7.36/0.63 c Parsing time: 0.06 s
7.36/0.63 c N st 0 0 1278 65907 2148 0 202155 0 no data no data
44.67/1.85 c asymm cl-useful: 0/13596/65907 lits-rem:0 time: 1.22
47.25/1.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 157 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.05
48.96/2.02 c Replacing 157 vars Replaced 33916 lits Time: 0.04 s
51.11/2.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
52.26/2.30 c bin-w-bin subsume rem 0 bins time: 0.00 s
52.26/2.32 c subs with bin: 3572 lits-rem: 0 v-fix: 0 time: 0.01 s
52.26/2.34 c Subs w/ non-existent bins: 2960 l-rem: 0 v-fix: 0 done: 1121 time: 0.01 s
52.26/2.34 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.00 s
57.25/2.54 c lits-rem: 0 cl-subs: 0 v-elim: 312 v-fix: 0 time: 0.17 s
57.25/2.55 c Finding binary XORs T: 0.00 s found: 0
57.25/2.58 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
57.25/2.58 c calculated reachability. Time: 0.00
57.25/2.59 c Calc default polars - time: 0.00 s pos: 442 undec: 536 neg: 300
57.25/2.59 c =========================================================================================
57.25/2.59 c types(t): F = full restart, N = normal restart
57.25/2.59 c types(t): S = simplification begin/end, E = solution found
57.25/2.59 c restart types(rt): st = static, dy = dynamic
57.25/2.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
57.25/2.59 c B st 0 0 809 58996 1947 0 181288 0 no data no data
76.17/3.20 c N dy 12 4179 809 58996 1947 4133 181288 243984 11.72 12.42
101.74/3.98 c N dy 30 10251 809 58996 1947 10086 181288 503251 11.36 12.21
124.09/4.64 c N dy 44 15075 809 58996 1947 14763 181288 670769 10.95 11.68
143.26/5.29 c N dy 57 19644 809 58996 1947 19187 181288 839155 10.80 11.54
159.20/5.78 c N dy 67 23740 809 58996 1947 13421 181288 459051 10.64 12.65
165.59/5.93 c F st 74 25002 809 58996 1947 14672 181288 518740 10.69 8.21
178.38/6.33 c N st 79 28298 809 58996 1947 17932 181288 706576 10.69 no data
185.40/6.57 c S st 80 30000 809 58996 1947 19616 181288 794852 10.69 no data
188.60/6.67 c S st 80 30501 809 58996 1947 20116 181288 812774 10.69 no data
188.60/6.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
191.16/6.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.06
191.16/6.75 c blocked clauses removed: 0 vars: 0 tried: 809 T: 0.00 s
191.16/6.75 c bin-w-bin subsume rem 0 bins time: 0.00 s
191.16/6.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
191.16/6.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
191.16/6.77 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
191.16/6.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
200.75/7.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.16 s
255.66/8.80 c lits-rem: 273 cl-subs: 693 v-elim: 0 v-fix: 0 time: 1.78 s
267.81/9.12 c asymm cl-useful: 0/2879/58996 lits-rem:0 time: 0.32
267.81/9.13 c calculated reachability. Time: 0.00
267.81/9.13 c N dy 80 30501 809 58996 1947 19423 181288 800237 10.69 no data
299.77/10.17 c N dy 95 37136 809 58996 1947 25834 181288 1029068 10.48 11.06
329.18/11.03 c N dy 117 42540 809 58996 1947 15998 181288 509350 10.47 11.21
341.32/11.48 c S st 145 45752 809 58996 1947 19190 181288 683971 10.74 no data
344.52/11.58 c S st 145 46256 809 58996 1947 19694 181288 703212 10.74 no data
344.52/11.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
347.72/11.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.06
347.72/11.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
347.72/11.67 c bin-w-bin subsume rem 0 bins time: 0.00 s
347.72/11.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
347.72/11.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
347.72/11.68 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
350.92/11.71 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
354.12/11.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.14 s
376.44/12.55 c lits-rem: 76 cl-subs: 360 v-elim: 0 v-fix: 0 time: 0.65 s
376.44/12.56 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
376.44/12.59 c vivif2 -- cl tried 19334 cl shrink 2891 lits rem 17281 time: 0.03
389.24/12.94 c asymm cl-useful: 0/3793/58996 lits-rem:0 time: 0.35
389.24/12.95 c calculated reachability. Time: 0.00
389.24/12.95 c N dy 145 46256 809 58996 1947 19334 181288 680556 10.74 no data
453.13/14.91 c N dy 155 56842 809 58996 1947 29419 181288 955788 10.38 10.97
475.49/15.61 c N dy 169 60912 809 58996 1947 33363 181288 1122466 10.37 19.88
504.89/16.54 c N dy 193 65987 809 58996 1947 20092 181288 569866 10.46 11.01
520.21/17.00 c S st 203 69384 809 58996 1947 23365 181288 689204 10.41 8.65
520.21/17.09 c S st 203 69886 809 58996 1947 23867 181288 707920 10.41 no data
523.40/17.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
523.40/17.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.06
523.40/17.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
523.40/17.18 c bin-w-bin subsume rem 0 bins time: 0.00 s
523.40/17.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
523.40/17.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
523.40/17.19 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
526.60/17.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
529.80/17.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s
548.96/17.96 c lits-rem: 281 cl-subs: 1574 v-elim: 0 v-fix: 0 time: 0.59 s
548.96/17.97 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
548.96/18.00 c vivif2 -- cl tried 22293 cl shrink 1868 lits rem 9964 time: 0.02
561.75/18.34 c asymm cl-useful: 0/2512/58996 lits-rem:0 time: 0.34
561.75/18.34 c calculated reachability. Time: 0.00
561.75/18.34 c N dy 203 69886 809 58996 1947 22293 181288 678227 10.41 no data
587.32/19.13 c N dy 217 74408 809 58996 1947 26731 181288 839631 10.36 14.52
612.88/19.93 c N dy 247 79238 809 58996 1947 31491 181288 1068494 10.46 11.40
648.04/21.09 c N dy 257 84335 809 58996 1947 36386 181288 1212455 10.38 10.93
673.59/21.82 c F st 260 87500 809 58996 1947 39364 181288 1283048 10.33 7.71
692.76/22.47 c N st 265 90800 809 58996 1947 22347 181288 631629 10.33 no data
721.52/23.39 c N dy 298 96687 809 58996 1947 28103 181288 930431 10.48 11.50
763.07/24.61 c N dy 336 102870 809 58996 1947 34135 181288 1207234 10.59 11.35
772.67/24.98 c S st 344 104830 809 58996 1947 36039 181288 1299552 10.58 no data
779.07/25.13 c S st 344 105331 809 58996 1947 36538 181288 1318781 10.58 no data
779.07/25.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
782.87/25.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.2M T: 0.10
782.87/25.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
782.87/25.26 c bin-w-bin subsume rem 0 bins time: 0.00 s
782.87/25.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
782.87/25.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
782.87/25.28 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
782.87/25.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
798.22/25.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
884.52/28.49 c lits-rem: 182 cl-subs: 1158 v-elim: 0 v-fix: 0 time: 2.78 s
884.52/28.49 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
888.34/28.56 c vivif2 -- cl tried 35380 cl shrink 5539 lits rem 44591 time: 0.06
897.29/28.88 c asymm cl-useful: 0/3366/58996 lits-rem:0 time: 0.32
897.29/28.88 c calculated reachability. Time: 0.00
897.29/28.88 c N dy 344 105331 809 58996 1947 35380 181288 1255594 10.58 no data
951.65/30.53 c N dy 393 112362 809 58996 1947 42267 181288 1595134 10.75 11.33
993.78/31.86 c N dy 425 119583 809 58996 1947 27508 181288 884644 10.81 15.49
1034.70/33.18 c N dy 458 127651 809 58996 1947 35420 181288 1298834 10.83 11.41
1099.20/35.21 c N dy 468 136931 809 58996 1947 44387 181288 1635605 10.72 11.49
1162.40/37.11 c N dy 500 145815 809 58996 1947 29786 181288 822574 10.73 11.35
1216.73/38.83 c N dy 534 155281 809 58996 1947 39048 181288 1233887 10.72 11.35
1235.92/39.46 c S st 538 157998 809 58996 1947 41633 181288 1318305 10.70 7.89
1239.73/39.59 c S st 538 158501 809 58996 1947 42136 181288 1337798 10.70 no data
1239.73/39.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1245.49/39.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.9M T: 0.10
1245.49/39.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1245.49/39.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
1245.49/39.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1245.49/39.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
1245.49/39.74 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.01 s
1245.49/39.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
1258.28/40.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.28 s
1350.87/43.04 c lits-rem: 941 cl-subs: 2457 v-elim: 0 v-fix: 0 time: 2.90 s
1350.87/43.05 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
1354.07/43.12 c vivif2 -- cl tried 39679 cl shrink 5731 lits rem 41200 time: 0.07
1363.62/43.45 c asymm cl-useful: 0/2565/58996 lits-rem:0 time: 0.33
1363.62/43.45 c calculated reachability. Time: 0.00
1363.62/43.45 c N dy 538 158501 809 58996 1947 39679 181288 1260055 10.70 no data
1440.33/45.88 c N dy 578 169297 809 58996 1947 26060 181288 656583 10.71 11.30
1501.06/47.76 c N dy 622 180222 809 58996 1947 36796 181288 1170971 10.73 11.37
1587.35/50.48 c N dy 658 191808 809 58996 1947 48010 181288 1625379 10.71 11.29
1603.33/50.99 c Finding binary XORs T: 0.00 s found: 0
1667.22/53.00 c N dy 716 204234 809 58996 2014 34970 181288 1049633 10.77 11.42
1759.91/55.84 c N dy 774 217316 809 58996 2014 47795 181288 1653938 10.80 12.05
1862.19/59.09 c N dy 831 232297 809 58996 2014 36035 181288 1034883 10.79 11.56
1900.55/60.27 c S st 842 237753 809 58996 2014 41259 181288 1233226 10.76 10.70
1907.56/60.42 c S st 842 238258 809 58996 2014 41763 181288 1251122 10.76 no data
1907.56/60.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1910.76/60.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.1M T: 0.11
1910.76/60.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1910.76/60.55 c bin-w-bin subsume rem 67 bins time: 0.00 s
1910.76/60.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1910.76/60.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
1910.76/60.57 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
1913.32/60.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1922.91/60.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s
2002.82/63.44 c lits-rem: 372 cl-subs: 2366 v-elim: 0 v-fix: 0 time: 2.48 s
2002.82/63.45 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
2006.02/63.50 c vivif2 -- cl tried 39397 cl shrink 4175 lits rem 25209 time: 0.05
2016.23/63.82 c asymm cl-useful: 0/2245/58996 lits-rem:0 time: 0.32
2016.23/63.83 c calculated reachability. Time: 0.00
2016.23/63.83 c N dy 842 238258 809 58996 1947 39397 181288 1193972 10.76 no data
2146.59/67.95 c N dy 895 254044 809 58996 1947 27481 181288 688353 10.75 11.34
2248.76/71.17 c N dy 964 270509 809 58996 1947 43560 181288 1471861 10.80 11.56
2395.81/75.75 c N dy 1036 288566 809 58996 1947 32986 181288 902676 10.81 11.39
2523.64/79.74 c F st 1074 306250 809 58996 1947 49679 181288 1351030 10.77 no data
2533.23/80.03 c N st 1077 307440 809 58996 1947 50818 181288 1402541 10.77 no data
2657.89/83.97 c N dy 1141 327149 809 58996 1947 41179 181288 1258279 10.79 11.37
2827.29/89.22 c N dy 1227 347364 809 58996 1947 30798 181288 711602 10.81 11.39
2891.76/91.23 c S st 1260 357388 809 58996 1947 40461 181288 1085153 10.81 10.72
2894.96/91.37 c S st 1260 357889 809 58996 1947 40962 181288 1107075 10.81 no data
2894.96/91.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2897.52/91.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.1M T: 0.11
2900.72/91.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2900.72/91.51 c bin-w-bin subsume rem 0 bins time: 0.00 s
2900.72/91.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2900.72/91.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
2900.72/91.52 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
2900.72/91.56 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
2910.31/91.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.21 s
2958.24/93.32 c lits-rem: 299 cl-subs: 1124 v-elim: 0 v-fix: 0 time: 1.48 s
2958.24/93.33 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
2958.24/93.38 c vivif2 -- cl tried 39838 cl shrink 3711 lits rem 25731 time: 0.05
2971.02/93.72 c asymm cl-useful: 0/3256/58996 lits-rem:0 time: 0.34
2971.02/93.72 c calculated reachability. Time: 0.00
2971.02/93.72 c N dy 1260 357889 809 58996 1947 39838 181288 1064391 10.81 no data
3133.97/98.81 c N dy 1347 378635 809 58996 1947 60073 181288 2023876 10.85 11.43
3268.09/103.10 c N dy 1415 399263 809 58996 1947 49153 181288 1518408 10.84 11.42
3434.29/108.25 c N dy 1468 419507 809 58996 1947 36643 181288 865736 10.81 11.38
3590.87/113.21 c N dy 1545 441363 809 58996 1947 57909 181288 1880108 10.80 11.38
3760.17/118.41 c N dy 1636 461452 809 58996 1947 44434 181288 1306305 10.82 12.18
3919.93/123.41 c N dy 1680 481485 809 58996 1947 63849 181288 2102054 10.78 15.69
4066.92/128.02 c N dy 1777 501538 809 58996 1947 49446 181288 1510820 10.82 16.71
4252.23/133.81 c N dy 1851 523331 809 58996 1947 35644 181288 816304 10.82 11.41
4348.11/136.83 c S st 1920 536833 809 58996 1947 48802 181288 1415252 10.85 no data
4351.32/136.99 c S st 1920 537335 809 58996 1947 49304 181288 1432810 10.85 no data
4354.51/137.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4357.71/137.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.5M T: 0.12
4357.71/137.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4357.71/137.14 c bin-w-bin subsume rem 0 bins time: 0.00 s
4357.71/137.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4357.71/137.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
4357.71/137.16 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
4357.71/137.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
4371.12/137.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s
4450.37/140.06 c lits-rem: 156 cl-subs: 938 v-elim: 0 v-fix: 0 time: 2.50 s
4450.37/140.07 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
4453.57/140.14 c vivif2 -- cl tried 48366 cl shrink 4986 lits rem 36950 time: 0.06
4463.16/140.47 c asymm cl-useful: 0/2084/58996 lits-rem:0 time: 0.33
4463.16/140.48 c calculated reachability. Time: 0.00
4463.16/140.48 c N dy 1920 537335 809 58996 1947 48366 181288 1382068 10.85 no data
4649.15/146.26 c N dy 1970 557412 809 58996 1947 67285 181288 1941609 10.84 11.42
4805.04/151.18 c N dy 2084 577509 809 58996 1947 51166 181288 1603816 10.88 14.14
5022.24/157.91 c N dy 2159 597682 809 58996 1947 70743 181288 2411062 10.90 11.48
5204.39/163.65 c N dy 2194 618261 809 58996 1947 53577 181288 1423132 10.87 11.52
5396.00/169.61 c N dy 2283 638744 809 58996 1947 73272 181288 2271262 10.89 11.53
5571.74/175.12 c N dy 2383 659532 809 58996 1947 55782 181288 1631983 10.92 11.50
5756.99/180.93 c N dy 2465 679586 809 58996 1947 75335 181288 2573364 10.94 17.66
5939.11/186.70 c N dy 2542 700617 809 58996 1947 56999 181288 1629830 10.94 11.86
6134.07/192.78 c N dy 2625 720625 809 58996 1947 76412 181288 2486492 10.95 13.52
6297.02/197.85 c N dy 2699 740671 809 58996 1947 56171 181288 1651238 10.95 14.66
6482.36/203.67 c N dy 2772 760711 809 58996 1947 75641 181288 2566901 10.96 11.55
6648.59/208.85 c N dy 2857 780768 809 58996 1947 54422 181288 1609355 10.97 11.69
6849.88/215.12 c N dy 2962 801711 809 58996 1947 74770 181288 2632011 10.99 11.60
6898.49/216.68 c S st 2974 806002 809 58996 1947 78946 181288 2809946 10.99 7.90
6907.40/216.94 c S st 2974 806506 809 58996 1947 79448 181288 2833573 10.99 no data
6907.40/216.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6913.80/217.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.3M T: 0.22
6913.80/217.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6913.80/217.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
6916.99/217.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6916.99/217.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
6916.99/217.21 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
6916.99/217.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
6948.91/218.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.77 s
7204.50/226.28 c lits-rem: 429 cl-subs: 2451 v-elim: 0 v-fix: 0 time: 8.04 s
7204.50/226.28 c vivif2 -- cl tried 58996 cl shrink 0 lits rem 0 time: 0.01
7210.90/226.45 c vivif2 -- cl tried 76997 cl shrink 13931 lits rem 117226 time: 0.16
7220.47/226.75 c asymm cl-useful: 0/941/58996 lits-rem:0 time: 0.30
7220.47/226.76 c calculated reachability. Time: 0.00
7220.47/226.76 c N dy 2974 806506 809 58996 1947 76997 181288 2679132 10.99 no data
7437.83/233.54 c N dy 3094 827569 809 58996 1947 55677 181288 1599968 11.03 11.82
7648.71/240.11 c N dy 3172 849449 809 58996 1947 76838 181288 2494160 11.03 11.67
7827.67/245.79 c N dy 3259 869636 809 58996 1947 53812 181288 1572211 11.04 11.77
8026.49/251.93 c N dy 3352 889681 809 58996 1947 73376 181288 2591288 11.07 15.65
8223.95/258.19 c N dy 3402 909774 809 58996 1947 49193 181288 1321169 11.05 18.30
8399.73/263.66 c N dy 3479 929841 809 58996 1947 68732 181288 2308035 11.06 14.19
8613.84/270.38 c N dy 3518 950299 809 58996 1947 88277 181288 2974279 11.03 11.78
8818.39/276.78 c N dy 3590 970428 809 58996 1947 63142 181288 1797413 11.03 11.70
9077.90/284.83 c N dy 3737 991221 809 58996 1947 83489 181288 2902273 11.09 11.69
9307.45/292.08 c N dy 3821 1011516 809 58996 1947 57654 181288 1645886 11.09 11.81
9524.77/298.89 c N dy 3885 1031572 809 58996 1947 77003 181288 2504986 11.09 16.41
9777.29/306.76 c N dy 3980 1051958 809 58996 1947 50219 181288 1252982 11.11 11.72
9960.07/312.48 c F st 4038 1071876 809 58996 1947 69463 181288 2050298 11.10 9.73
9962.63/312.59 c N st 4039 1072129 809 58996 1947 69707 181288 2055397 11.10 no data
10183.19/319.41 c N dy 4105 1092177 809 58996 1947 89107 181288 2916061 11.11 21.27
10374.90/325.45 c N dy 4190 1112280 809 58996 1948 61172 181288 1768306 11.12 11.76
10608.11/332.71 c N dy 4276 1132551 809 58996 1948 80919 181288 2744263 11.14 11.74
10879.77/341.24 c N dy 4379 1154113 809 58996 1948 53380 181288 1334344 11.16 11.77
11058.78/346.84 c N dy 4467 1174121 809 58996 1948 72907 181288 2334131 11.17 11.77
11282.54/353.87 c N dy 4536 1194934 809 58996 1948 93104 181288 3341738 11.17 11.78
11433.33/358.53 c S st 4590 1209760 809 58996 1948 57976 181288 1574159 11.17 11.32
11439.11/358.75 c S st 4590 1210263 809 58996 1948 58479 181288 1594484 11.17 no data
11439.11/358.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
11445.51/358.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.3M T: 0.16
11445.51/358.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11445.51/358.95 c bin-w-bin subsume rem 0 bins time: 0.00 s
11445.51/358.95 c subs with bin: 36 lits-rem: 0 v-fix: 0 time: 0.00 s
11445.51/358.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
11445.51/358.97 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
11448.74/359.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
11458.30/359.38 c subs with bin: 3 lits-rem: 40 v-fix: 0 time: 0.28 s
11542.04/362.00 c lits-rem: 136 cl-subs: 431 v-elim: 0 v-fix: 0 time: 2.61 s
11544.60/362.01 c vivif2 -- cl tried 58960 cl shrink 0 lits rem 0 time: 0.01
11544.60/362.06 c vivif2 -- cl tried 58045 cl shrink 3005 lits rem 31958 time: 0.06
11554.19/362.38 c asymm cl-useful: 0/2738/58960 lits-rem:0 time: 0.31
11554.19/362.39 c calculated reachability. Time: 0.00
11554.19/362.39 c N dy 4590 1210263 809 58960 1948 58045 181182 1555170 11.17 no data
11777.95/369.30 c N dy 4699 1230886 809 58960 1948 78178 181182 2604146 11.20 11.83
12046.44/377.80 c N dy 4805 1252405 809 58960 1948 99110 181182 3692124 11.23 11.95
12242.03/383.85 c N dy 4869 1272478 809 58960 1948 67951 181182 1985586 11.23 16.26
12477.96/391.26 c N dy 4946 1293170 809 58960 1948 87834 181182 2850723 11.24 11.86
12727.14/399.05 c N dy 5045 1314169 809 58960 1948 56875 181182 1462297 11.26 11.88
12938.12/405.67 c N dy 5130 1334260 809 58960 1948 76389 181182 2381884 11.26 12.02
13212.89/414.26 c N dy 5208 1354316 809 58960 1949 95628 181182 3189582 11.27 17.91
13449.42/421.66 c N dy 5309 1375119 809 58960 1949 63603 181182 1770296 11.29 11.89
13666.79/428.43 c N dy 5388 1395565 809 58960 1949 83474 181182 2752528 11.29 12.02
13944.79/437.13 c N dy 5496 1415848 809 58960 1949 103291 181182 3809567 11.31 12.03
14140.37/443.23 c N dy 5568 1435990 809 58960 1950 69352 181182 1971100 11.31 11.93
14395.46/451.22 c N dy 5696 1456314 809 58960 1950 89239 181182 2985035 11.33 11.95
14699.09/460.74 c N dy 5792 1476725 809 58960 1950 54653 181182 1262668 11.35 11.96
14890.87/466.76 c N dy 5889 1496791 809 58960 1950 74198 181182 2269078 11.37 16.92
15117.80/473.86 c N dy 5954 1516969 809 58960 1950 93807 181182 3246416 11.37 12.21
15427.82/483.52 c N dy 6045 1537331 809 58960 1950 58135 181182 1418799 11.38 11.99
15632.22/489.99 c N dy 6147 1557677 809 58960 1950 77932 181182 2421863 11.40 12.06
15866.20/497.23 c N dy 6216 1577872 809 58960 1950 97617 181182 3430674 11.40 12.03
16185.15/507.23 c N dy 6307 1598030 809 58960 1951 60735 181182 1521605 11.41 12.11
16393.55/513.75 c N dy 6378 1618294 809 58960 1951 80432 181182 2501876 11.41 12.05
16699.71/523.37 c N dy 6475 1638735 809 58960 1951 100293 181182 3536819 11.43 12.09
17058.27/534.52 c N dy 6584 1659111 809 58960 1951 62736 181182 1574136 11.44 12.10
17262.06/540.99 c N dy 6682 1679317 809 58960 1951 82384 181182 2555703 11.46 12.10
17546.54/549.84 c N dy 6808 1699619 809 58960 1951 102128 181182 3595804 11.48 12.13
17715.92/555.14 c S st 6869 1710264 809 58960 1951 112467 181182 4135643 11.49 no data
17731.93/555.61 c S st 6869 1710770 809 58960 1951 112972 181182 4161811 11.49 no data
17731.93/555.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
17747.88/556.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 10.2M T: 0.48
17747.88/556.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17747.88/556.13 c bin-w-bin subsume rem 0 bins time: 0.00 s
17747.88/556.13 c subs with bin: 88 lits-rem: 0 v-fix: 0 time: 0.00 s
17747.88/556.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
17747.88/556.15 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
17751.08/556.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
17796.36/557.67 c subs with bin: 18 lits-rem: 64 v-fix: 0 time: 1.20 s
18319.98/574.09 c lits-rem: 679 cl-subs: 2454 v-elim: 0 v-fix: 0 time: 16.40 s
18319.98/574.10 c vivif2 -- cl tried 58872 cl shrink 0 lits rem 0 time: 0.01
18329.55/574.35 c vivif2 -- cl tried 110500 cl shrink 16724 lits rem 183531 time: 0.25
18342.34/574.71 c asymm cl-useful: 0/1177/58872 lits-rem:0 time: 0.37
18342.34/574.72 c calculated reachability. Time: 0.00
18342.34/574.72 c N dy 6869 1710770 809 58872 1951 110500 180924 3931887 11.49 no data
18617.16/583.35 c N dy 6912 1731747 809 58872 1951 72412 180924 1935466 11.48 12.09
18824.79/589.89 c N dy 6967 1752276 809 58872 1951 92291 180924 2869900 11.47 12.08
19240.98/602.87 c N dy 7038 1777335 809 58872 1951 116383 180924 3877867 11.47 12.10
19444.94/609.22 c N dy 7088 1797421 809 58872 1951 76748 180924 2174523 11.46 15.22
19675.05/616.44 c N dy 7157 1817597 809 58872 1951 96307 180924 3133827 11.46 12.19
20004.29/626.78 c N dy 7218 1837673 809 58872 1951 115582 180924 3912866 11.45 19.44
20269.56/635.04 c N dy 7323 1858032 809 58872 1952 75427 180924 2167819 11.47 12.09
20541.88/643.57 c N dy 7401 1878150 809 58872 1952 94894 180924 3089730 11.47 12.37
20912.04/655.17 c N dy 7463 1898238 809 58872 1952 114087 180924 3811260 11.47 12.29
21177.30/663.49 c N dy 7534 1919393 809 58872 1952 73792 180924 2035248 11.47 12.15
21420.87/671.09 c N dy 7608 1940772 809 58872 1953 94484 180924 3018809 11.47 12.10
21730.24/680.72 c N dy 7694 1960774 809 58872 1954 113836 180924 3892192 11.47 17.56
21985.94/688.78 c N dy 7753 1981932 809 58872 1954 72473 180924 1900247 11.47 12.11
22219.30/696.07 c N dy 7817 2002006 809 58872 1954 91898 180924 2840182 11.47 12.12
22494.15/704.63 c N dy 7908 2022008 809 58872 1954 111270 180924 3809392 11.47 14.03
22792.05/713.96 c N dy 7976 2042016 809 58872 1956 67728 180924 1670273 11.47 13.74
23027.98/721.38 c N dy 8048 2062106 809 58872 1956 87107 180924 2482823 11.47 12.12
23286.77/729.43 c N dy 8138 2082514 809 58872 1956 106911 180924 3490901 11.48 12.30
23619.18/739.80 c N dy 8206 2103522 809 58872 1956 127199 180924 4418899 11.48 12.11
23843.56/746.86 c N dy 8258 2123620 809 58872 1958 82707 180924 2236895 11.47 12.45
24108.22/755.11 c N dy 8316 2145456 809 58872 1958 103729 180924 3246366 11.46 12.16
24447.06/765.74 c N dy 8405 2165582 809 58872 1958 123222 180924 4146155 11.47 12.13
24731.55/774.60 c N dy 8492 2185959 809 58872 1958 78230 180924 2082260 11.47 12.12
24996.81/782.91 c N dy 8577 2205999 809 58872 1958 97669 180924 3035679 11.47 14.21
25060.74/784.91 c S st 8598 2210770 809 58872 1958 102308 180924 3278255 11.48 no data
25074.15/785.34 c S st 8598 2211272 809 58872 1958 102808 180924 3301956 11.48 no data
25074.15/785.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
25089.54/785.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.1M T: 0.47
25089.54/785.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
25089.54/785.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
25089.54/785.85 c subs with bin: 242 lits-rem: 0 v-fix: 0 time: 0.01 s
25089.54/785.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
25089.54/785.87 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.00 s
25092.70/785.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
25134.26/787.23 c subs with bin: 26 lits-rem: 198 v-fix: 0 time: 1.10 s
25482.64/798.18 c lits-rem: 717 cl-subs: 2288 v-elim: 0 v-fix: 0 time: 10.94 s
25482.64/798.19 c vivif2 -- cl tried 58630 cl shrink 0 lits rem 0 time: 0.01
25489.03/798.37 c vivif2 -- cl tried 100494 cl shrink 11422 lits rem 105580 time: 0.19
25505.01/798.84 c asymm cl-useful: 0/1128/58630 lits-rem:0 time: 0.46
25505.01/798.84 c calculated reachability. Time: 0.00
25505.01/798.84 c N dy 8598 2211272 809 58630 1958 100494 180212 3157543 11.48 no data
25878.98/810.55 c N dy 8681 2232158 809 58630 1958 120760 180212 4103347 11.48 12.10
26230.60/821.52 c N dy 8781 2252179 809 58630 1959 74403 180212 1951474 11.49 13.13
26492.70/829.71 c N dy 8864 2272478 809 58630 1959 94001 180212 2864027 11.49 12.14
26863.49/841.35 c N dy 8919 2292559 809 58630 1959 113208 180212 3609290 11.48 12.11
27282.24/854.48 c N dy 8990 2313028 809 58630 1960 133069 180212 4539576 11.48 12.11
27627.38/865.26 c N dy 9042 2336976 809 58630 1960 89391 180212 2430538 11.47 12.16
27915.04/874.25 c N dy 9108 2357085 809 58630 1960 108901 180212 3345026 11.47 12.13
28269.86/885.32 c N dy 9185 2377292 809 58630 1961 128559 180212 4265994 11.47 12.16
28547.96/894.02 c N dy 9236 2397374 809 58630 1961 80085 180212 2062173 11.47 13.14
28790.86/901.63 c N dy 9283 2417415 809 58630 1961 99455 180212 2892591 11.46 12.11
29088.12/910.93 c N dy 9358 2437575 809 58630 1961 119049 180212 3830628 11.46 12.12
29433.96/921.77 c N dy 9409 2457644 809 58630 1961 69829 180212 1619384 11.45 17.01
29680.14/929.46 c N dy 9486 2480354 809 58630 1961 91669 180212 2574394 11.45 12.20
29948.00/937.87 c N dy 9563 2500464 809 58630 1961 111217 180212 3583987 11.45 12.07
30286.83/948.49 c N dy 9643 2521160 809 58630 1961 131204 180212 4527762 11.46 12.15
30555.26/956.87 c N dy 9710 2541231 809 58630 1961 81113 180212 2088538 11.46 15.18
30810.96/964.82 c Finding binary XORs T: 0.00 s found: 0
30830.15/965.40 c N dy 9775 2562482 809 58630 1962 101569 180212 2955334 11.46 12.06
31105.06/974.03 c N dy 9822 2583222 809 58630 1962 121517 180212 3888043 11.45 12.19
31508.33/986.64 c N dy 9922 2604031 809 58630 1963 71174 180212 1626809 11.45 12.43
31763.43/994.63 c N dy 9982 2626125 809 58630 1963 92509 180212 2546220 11.45 12.06
32035.78/1003.21 c N dy 10074 2646852 809 58630 1963 112587 180212 3543764 11.45 12.07
32428.32/1015.46 c N dy 10122 2666951 809 58630 1963 131748 180212 4262175 11.45 13.80
32751.09/1025.60 c N dy 10220 2687142 809 58630 1963 79950 180212 2007137 11.46 12.14
33003.63/1033.42 c N dy 10282 2707311 809 58630 1963 99467 180212 2881206 11.45 12.20
33061.16/1035.22 c S st 10295 2711273 809 58630 1963 103283 180212 3045762 11.45 7.62
33070.76/1035.58 c S st 10295 2711781 809 58630 1963 103790 180212 3064828 11.45 no data
33070.76/1035.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
33083.55/1035.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.6M T: 0.38
33083.55/1036.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33086.75/1036.00 c bin-w-bin subsume rem 0 bins time: 0.00 s
33086.75/1036.01 c subs with bin: 155 lits-rem: 0 v-fix: 0 time: 0.01 s
33086.75/1036.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
33086.75/1036.02 c Removed useless bin: 0 fixed: 0 props: 0.43M time: 0.00 s
33086.75/1036.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
33118.71/1037.02 c subs with bin: 43 lits-rem: 135 v-fix: 0 time: 0.76 s
33361.46/1044.64 c lits-rem: 868 cl-subs: 2623 v-elim: 0 v-fix: 0 time: 7.62 s
33361.46/1044.65 c vivif2 -- cl tried 58475 cl shrink 0 lits rem 0 time: 0.01
33367.85/1044.81 c vivif2 -- cl tried 101124 cl shrink 9749 lits rem 92886 time: 0.16
33377.42/1045.18 c asymm cl-useful: 0/989/58475 lits-rem:0 time: 0.37
33377.42/1045.19 c calculated reachability. Time: 0.00
33377.42/1045.19 c N dy 10295 2711781 809 58475 1963 101124 179757 2929256 11.45 no data
33723.27/1055.95 c N dy 10398 2731810 809 58475 1963 120518 179757 3912467 11.46 17.99
34115.84/1068.30 c N dy 10503 2751833 809 58475 1963 139890 179757 4881283 11.47 12.08
34403.46/1077.22 c N dy 10576 2771852 809 58475 1963 86879 179757 2334823 11.47 20.24
34652.65/1085.01 c N dy 10660 2792034 809 58475 1963 106445 179757 3322066 11.47 12.18
34985.10/1095.40 c N dy 10734 2812053 809 58475 1963 125839 179757 4281840 11.47 16.91
35397.43/1108.38 c N dy 10810 2832762 809 58475 1963 145906 179757 5253916 11.48 12.09
35717.10/1118.34 c N dy 10916 2853574 809 58475 1963 92581 179757 2667434 11.48 12.10
36062.30/1129.15 c N dy 11026 2875225 809 58475 1963 113580 179757 3720646 11.50 12.12
36487.42/1142.46 c N dy 11136 2895298 809 58475 1964 133083 179757 4705235 11.51 12.18
36931.66/1156.36 c N dy 11208 2915800 809 58475 1965 78193 179757 1870164 11.51 12.18
37168.84/1163.78 c N dy 11275 2935963 809 58475 1965 97621 179757 2773342 11.50 12.17
37494.26/1173.92 c N dy 11377 2956011 809 58475 1965 117054 179757 3737817 11.51 17.06
37893.79/1186.48 c N dy 11424 2976470 809 58475 1966 136774 179757 4583864 11.51 12.23
38274.18/1198.38 c N dy 11513 2996483 809 58475 1966 80685 179757 1997317 11.51 12.77
38548.98/1206.96 c N dy 11600 3016500 809 58475 1966 99915 179757 2834045 11.52 16.57
38821.31/1215.51 c N dy 11651 3037589 809 58475 1966 120234 179757 3754836 11.51 12.12
39185.05/1226.89 c N dy 11719 3057646 809 58475 1966 139498 179757 4613060 11.51 12.18
39616.50/1240.33 c N dy 11827 3077973 809 58475 1966 82982 179757 2062162 11.52 12.16
39894.61/1249.03 c N dy 11913 3098625 809 58475 1967 102956 179757 2996037 11.52 12.21
40227.69/1259.43 c N dy 11964 3118718 809 58475 1967 122305 179757 3904890 11.51 12.68
40693.53/1274.04 c N dy 12062 3138807 809 58475 1967 141655 179757 4833727 11.52 15.06
41118.68/1287.32 c N dy 12176 3158856 809 58475 1967 83878 179757 2079924 11.53 12.16
41399.94/1296.11 c N dy 12238 3180350 809 58475 1967 104623 179757 3061043 11.53 12.14
41725.97/1306.31 c N dy 12328 3200378 809 58475 1967 123998 179757 3977604 11.53 19.89
41927.35/1312.60 c S st 12395 3211781 809 58475 1967 135038 179757 4540293 11.54 10.89
41950.35/1313.33 c S st 12395 3212285 809 58475 1967 135539 179757 4560158 11.54 no data
41950.35/1313.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
41965.70/1313.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.7M T: 0.50
41965.70/1313.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
41965.70/1313.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
41965.70/1313.88 c subs with bin: 120 lits-rem: 0 v-fix: 0 time: 0.01 s
41965.70/1313.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
41965.70/1313.89 c Removed useless bin: 0 fixed: 0 props: 0.43M time: 0.00 s
41968.90/1313.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
42029.63/1315.86 c subs with bin: 149 lits-rem: 257 v-fix: 0 time: 1.63 s
42598.53/1333.67 c lits-rem: 763 cl-subs: 4179 v-elim: 0 v-fix: 0 time: 17.80 s
42598.53/1333.68 c vivif2 -- cl tried 58355 cl shrink 0 lits rem 0 time: 0.01
42608.12/1333.96 c vivif2 -- cl tried 131211 cl shrink 17544 lits rem 214428 time: 0.28
42618.30/1334.28 c asymm cl-useful: 0/667/58355 lits-rem:0 time: 0.32
42618.30/1334.29 c calculated reachability. Time: 0.00
42618.30/1334.29 c N dy 12395 3212285 809 58355 1967 131211 179405 4275397 11.54 no data
43055.65/1347.91 c N dy 12482 3232369 809 58355 1967 150683 179405 5240724 11.54 13.30
43391.81/1358.45 c N dy 12567 3252409 809 58355 1967 91740 179405 2425631 11.54 15.62
43743.44/1369.45 c N dy 12643 3273963 809 58355 1967 112656 179405 3424176 11.54 12.23
44100.82/1380.65 c N dy 12698 3294081 809 58355 1967 132030 179405 4380803 11.54 12.21
44561.09/1395.05 c N dy 12790 3314108 809 58355 1967 151425 179405 5344009 11.55 12.26
44899.93/1405.71 c N dy 12862 3335015 809 58355 1967 92384 179405 2405300 11.54 12.19
45232.34/1416.08 c N dy 12935 3355084 809 58355 1967 111646 179405 3237696 11.55 15.49
45603.15/1427.67 c N dy 13027 3375171 809 58355 1967 131078 179405 4173557 11.55 14.67
46076.19/1442.44 c N dy 13151 3395270 809 58355 1967 150517 179405 5175759 11.56 22.32
46454.01/1454.27 c N dy 13231 3415328 809 58355 1967 89728 179405 2309973 11.56 18.50
46712.28/1462.40 c N dy 13275 3435723 809 58355 1967 109224 179405 3164405 11.56 12.26
47035.12/1472.49 c N dy 13328 3456410 809 58355 1967 129239 179405 4130444 11.55 12.20
47415.52/1484.33 c N dy 13392 3476417 809 58355 1967 148392 179405 4985182 11.55 12.33
47857.19/1498.19 c N dy 13497 3498997 809 58355 1967 89315 179405 2277560 11.56 12.25
48157.08/1507.51 c N dy 13560 3520891 809 58355 1967 110390 179405 3255941 11.56 12.21
48495.92/1518.19 c N dy 13663 3540987 809 58355 1967 129837 179405 4235130 11.56 19.63
48850.65/1529.28 c N dy 13726 3561000 809 58355 1967 149121 179405 5185750 11.56 12.24
49291.72/1543.01 c N dy 13829 3581023 809 58355 1967 86503 179405 2127787 11.57 14.50
49556.99/1551.30 c N dy 13909 3601120 809 58355 1967 105949 179405 3058146 11.57 13.52
49882.99/1561.59 c N dy 13998 3621806 809 58355 1967 125921 179405 4017407 11.58 12.25
50304.94/1574.71 c N dy 14097 3643693 809 58355 1967 147063 179405 5053466 11.58 12.21
50778.66/1589.60 c N dy 14173 3664000 809 58355 1968 83627 179405 1945603 11.58 12.24
51068.88/1598.61 c N dy 14238 3684328 809 58355 1968 103218 179405 2808286 11.58 12.20
51439.63/1610.26 c N dy 14279 3706337 809 58355 1968 124334 179405 3716060 11.57 12.19
51557.89/1613.94 c S st 14307 3712285 809 58355 1968 130083 179405 4005309 11.57 10.25
51577.07/1614.57 c S st 14307 3712789 809 58355 1968 130584 179405 4032489 11.57 no data
51580.28/1614.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
51599.45/1615.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.5M T: 0.65
51599.45/1615.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
51599.45/1615.27 c bin-w-bin subsume rem 0 bins time: 0.00 s
51599.45/1615.27 c subs with bin: 20 lits-rem: 0 v-fix: 0 time: 0.01 s
51599.45/1615.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 809 time: 0.01 s
51599.45/1615.29 c Removed useless bin: 0 fixed: 0 props: 0.43M time: 0.00 s
51602.64/1615.38 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
51666.56/1617.37 c subs with bin: 173 lits-rem: 253 v-fix: 0 time: 1.76 s
52193.95/1633.80 c lits-rem: 2166 cl-subs: 4248 v-elim: 0 v-fix: 0 time: 16.42 s
52193.95/1633.81 c vivif2 -- cl tried 58335 cl shrink 0 lits rem 0 time: 0.01
52200.35/1634.06 c vivif2 -- cl tried 126163 cl shrink 13236 lits rem 131430 time: 0.25
52216.96/1634.52 c asymm cl-useful: 0/976/58335 lits-rem:0 time: 0.46
52216.96/1634.53 c calculated reachability. Time: 0.00
52216.96/1634.53 c N dy 14307 3712789 809 58335 1968 126163 179347 3831245 11.57 no data
52654.20/1648.20 c N dy 14392 3732814 809 58335 1968 145384 179347 4742371 11.58 16.55
53108.12/1662.43 c F st 14449 3751564 809 58335 1970 163392 179347 5540715 11.58 8.77
53149.68/1663.76 c N st 14453 3753596 809 58335 1970 165358 179347 5639752 11.58 no data
53475.64/1673.94 c N dy 14519 3774590 809 58335 1971 101747 179347 2777035 11.58 12.32
53849.63/1685.62 c N dy 14614 3794827 809 58335 1972 121237 179347 3724895 11.58 12.37
54271.55/1698.86 c N dy 14696 3815309 809 58335 1973 140991 179347 4665474 11.58 12.22
54824.52/1716.14 c N dy 14804 3835343 809 58335 1973 160193 179347 5589920 11.59 15.82
55240.68/1729.18 c N dy 14889 3855377 809 58335 1973 94924 179347 2452879 11.59 21.63
55588.49/1740.08 c N dy 14974 3875410 809 58335 1974 114223 179347 3335852 11.60 19.38
55847.41/1748.13 c Finding binary XORs T: 0.00 s found: 0
56042.37/1754.28 c N dy 15041 3895573 809 58335 1979 133609 179347 4169927 11.60 12.21
56531.43/1769.52 c N dy 15130 3916081 809 58335 1979 153206 179347 5091787 11.60 12.22
57055.46/1785.97 c N dy 15212 3936486 809 58335 1984 87206 179347 2052071 11.60 12.23
57318.21/1794.20 c N dy 15304 3956520 809 58335 1987 106555 179347 2982926 11.60 12.25
57666.62/1805.04 c N dy 15356 3978609 809 58335 1989 127574 179347 3852385 11.60 12.27
57784.24/1808.71 c Finding binary XORs T: 0.00 s found: 0
58081.52/1818.06 c N dy 15447 3999091 809 58335 1998 147178 179347 4732346 11.60 12.34
58487.48/1830.72 c N dy 15501 4019109 808 58335 2006 166339 179347 5591718 11.60 12.22
58819.76/1841.11 c N dy 15564 4039202 808 58335 2006 99317 179347 2581447 11.60 12.22
59196.91/1852.95 c N dy 15678 4059282 808 58335 2006 118775 179347 3526105 11.60 12.46
59660.38/1867.48 c N dy 15782 4079817 808 58335 2006 138612 179347 4521330 11.61 12.31
60280.40/1886.87 c N dy 15886 4100770 808 58335 2007 158788 179347 5406279 11.61 12.40
60846.14/1904.53 c N dy 15949 4120801 808 58335 2008 90446 179347 2145252 11.61 12.26
61152.98/1914.17 c N dy 16061 4141453 808 58335 2008 110466 179347 3105311 11.62 12.30
61510.98/1925.32 c N dy 16145 4161508 808 58335 2008 129883 179347 3962614 11.62 14.16
61923.83/1938.26 c N dy 16247 4181807 808 58335 2008 149422 179347 4868581 11.63 12.30
62409.05/1953.41 c N dy 16352 4202088 808 58335 2008 169034 179347 5805525 11.63 12.28
62699.92/1962.58 c S st 16405 4212791 808 58335 2008 90678 179347 2140954 11.64 7.08
62715.91/1963.00 c S st 16405 4213293 808 58335 2008 91179 179347 2162248 11.64 no data
62715.91/1963.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
62729.30/1963.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.5M T: 0.39
62729.30/1963.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62729.30/1963.45 c bin-w-bin subsume rem 11 bins time: 0.00 s
62729.30/1963.45 c subs with bin: 132 lits-rem: 0 v-fix: 0 time: 0.00 s
62729.30/1963.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 808 time: 0.01 s
62729.30/1963.46 c Removed useless bin: 0 fixed: 0 props: 0.40M time: 0.00 s
62732.53/1963.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
62751.08/1964.18 c subs with bin: 25 lits-rem: 91 v-fix: 0 time: 0.49 s
62850.17/1967.25 c lits-rem: 94 cl-subs: 354 v-elim: 0 v-fix: 0 time: 3.06 s
62850.17/1967.26 c vivif2 -- cl tried 58047 cl shrink 0 lits rem 0 time: 0.01
62853.37/1967.33 c vivif2 -- cl tried 87217 cl shrink 839 lits rem 8812 time: 0.07
62866.16/1967.71 c asymm cl-useful: 0/1526/58047 lits-rem:0 time: 0.39
62866.16/1967.72 c calculated reachability. Time: 0.00
62866.16/1967.72 c N dy 16405 4213293 808 58047 1956 87217 178457 2076694 11.64 no data
63049.00/1973.42 c Finding binary XORs T: 0.00 s found: 0
63189.61/1977.86 c N dy 16472 4234789 808 58047 1957 108039 178457 3016896 11.63 12.40
63626.87/1991.52 c N dy 16550 4256876 808 58047 1957 129359 178457 3942766 11.63 12.29
64103.73/2006.45 c N dy 16608 4279534 808 58047 1959 151231 178457 4969901 11.63 12.26
64579.37/2021.31 c N dy 16663 4299836 808 58047 1959 170793 178457 5867442 11.63 12.35
64927.78/2032.28 c N dy 16724 4319841 808 58047 1959 102174 178457 2723066 11.62 18.14
65276.18/2043.17 c N dy 16773 4341780 808 58047 1959 123260 178457 3672977 11.62 12.27
65672.56/2055.53 c N dy 16841 4361787 808 58047 1959 142555 178457 4554492 11.62 15.02
66245.38/2073.49 c N dy 16907 4381998 808 58047 1959 161873 178457 5325954 11.62 12.33
66813.65/2091.29 c N dy 16962 4402083 808 58047 1959 91508 178457 2194002 11.62 13.19
67053.86/2098.76 c N dy 17003 4422516 808 58047 1959 111112 178457 3041770 11.61 12.27
67413.99/2110.01 c N dy 17082 4443225 808 58047 1959 131041 178457 3914953 11.61 12.25
67803.39/2122.28 c N dy 17182 4463305 808 58047 1959 150445 178457 4836844 11.61 12.36
68244.30/2136.11 c N dy 17270 4483402 808 58047 1959 169856 178457 5784059 11.62 14.54
68647.03/2148.61 c N dy 17334 4503422 808 58047 1960 98085 178457 2437245 11.61 14.74
68982.64/2159.22 c N dy 17388 4526627 808 58047 1960 120326 178457 3303696 11.61 12.26
69324.66/2169.80 c N dy 17460 4546701 808 58047 1961 139614 178457 4203887 11.61 12.38
69759.99/2183.42 c N dy 17503 4567209 808 58047 1962 159229 178457 4991037 11.60 12.27
70206.88/2197.45 c N dy 17572 4587272 808 58047 1962 178500 178457 5857514 11.60 17.41
70564.84/2208.72 c N dy 17642 4607341 808 58047 1962 105750 178457 2750778 11.60 13.13
70874.79/2218.31 c N dy 17730 4627401 808 58047 1962 125080 178457 3664128 11.60 12.35
71255.15/2230.21 c N dy 17803 4648331 808 58047 1962 145310 178457 4577302 11.60 12.23
71702.62/2244.28 c N dy 17877 4668388 808 58047 1962 164574 178457 5418010 11.60 15.43
72214.07/2260.22 c N dy 17985 4688448 808 58047 1962 183937 178457 6332655 11.61 15.42
72565.67/2271.22 c N dy 18041 4709903 808 58047 1962 111260 178457 2947965 11.60 12.22
72613.60/2272.79 c S st 18046 4713293 808 58047 1962 114542 178457 3094180 11.60 12.02
72629.59/2273.22 c S st 18046 4713793 808 58047 1962 115040 178457 3114804 11.60 no data
72629.59/2273.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
72643.00/2273.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.2M T: 0.40
72643.00/2273.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
72643.00/2273.67 c bin-w-bin subsume rem 0 bins time: 0.01 s
72643.00/2273.67 c subs with bin: 181 lits-rem: 0 v-fix: 0 time: 0.00 s
72643.00/2273.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 808 time: 0.01 s
72643.00/2273.68 c Removed useless bin: 0 fixed: 0 props: 0.43M time: 0.00 s
72646.21/2273.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
72678.16/2274.77 c subs with bin: 138 lits-rem: 271 v-fix: 0 time: 0.83 s
72859.74/2280.41 c lits-rem: 639 cl-subs: 2408 v-elim: 0 v-fix: 0 time: 5.64 s
72859.74/2280.42 c vivif2 -- cl tried 57866 cl shrink 0 lits rem 0 time: 0.01
72862.93/2280.57 c vivif2 -- cl tried 112494 cl shrink 7184 lits rem 59015 time: 0.14
72875.72/2280.95 c asymm cl-useful: 0/1116/57866 lits-rem:0 time: 0.38
72875.72/2280.96 c calculated reachability. Time: 0.00
72875.72/2280.96 c N dy 18046 4713793 808 57866 1962 112494 177926 3019745 11.60 no data
73214.56/2291.51 c N dy 18105 4733873 808 57866 1962 131767 177926 3883894 11.60 19.01
73620.49/2304.24 c N dy 18192 4753970 808 57866 1962 151173 177926 4803069 11.60 16.55
74035.96/2317.29 c N dy 18248 4774023 808 57866 1962 170333 177926 5664251 11.60 18.00
74576.74/2334.19 c N dy 18310 4794570 808 57866 1962 95961 177926 2286681 11.60 12.27
74905.34/2344.46 c N dy 18365 4814666 808 57866 1962 115256 177926 3164464 11.60 12.30
75333.66/2357.87 c N dy 18450 4834959 808 57866 1962 134859 177926 4086611 11.60 12.23
75861.09/2374.32 c N dy 18520 4856012 808 57866 1963 155011 177926 4952359 11.60 12.35
76465.19/2393.25 c N dy 18619 4876178 808 57866 1963 174413 177926 5888869 11.60 12.27
76957.43/2408.65 c N dy 18700 4896273 808 57866 1963 98472 177926 2362679 11.60 12.76
77252.16/2417.84 c N dy 18740 4916945 808 57866 1963 118331 177926 3251251 11.60 12.26
77631.90/2429.82 c N dy 18845 4938652 808 57866 1963 139271 177926 4231818 11.60 12.35
78127.91/2445.30 c N dy 18927 4960051 808 57866 1963 159762 177926 5112141 11.60 12.27
78673.89/2462.37 c N dy 19023 4980100 808 57866 1963 179138 177926 6040200 11.60 14.94
79130.95/2476.62 c N dy 19077 5001440 808 57866 1963 103532 177926 2559966 11.60 12.26
79418.62/2485.66 c N dy 19131 5021943 808 57866 1963 123284 177926 3461562 11.60 12.24
79805.38/2497.70 c N dy 19191 5043426 808 57866 1963 143903 177926 4344214 11.59 12.30
80202.35/2510.14 c N dy 19259 5063450 808 57866 1963 163027 177926 5204834 11.59 14.91
80655.57/2524.39 c N dy 19334 5083562 808 57866 1963 182357 177926 6103571 11.59 12.38
81112.69/2538.64 c N dy 19388 5103653 808 57866 1964 104654 177926 2620909 11.59 17.24
81480.25/2550.10 c N dy 19465 5126416 808 57866 1964 126503 177926 3586518 11.59 12.26
81825.48/2560.90 c N dy 19530 5146694 808 57866 1964 145938 177926 4443943 11.59 12.24
82234.65/2573.71 c N dy 19605 5166791 808 57866 1964 165265 177926 5347872 11.59 12.22
82656.57/2586.98 c N dy 19661 5188203 808 57866 1964 185667 177926 6245843 11.59 12.23
83113.68/2601.22 c N dy 19739 5209411 808 57866 1965 108167 177926 2757534 11.59 12.21
83174.41/2603.18 c S st 19748 5213793 808 57866 1965 112365 177926 2945740 11.59 9.12
83187.18/2603.61 c S st 19748 5214295 808 57866 1965 112866 177926 2966766 11.59 no data
83191.00/2603.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
83203.16/2604.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.2M T: 0.38
83203.16/2604.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
83203.16/2604.04 c bin-w-bin subsume rem 0 bins time: 0.00 s
83203.16/2604.04 c subs with bin: 93 lits-rem: 0 v-fix: 0 time: 0.00 s
83203.16/2604.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 808 time: 0.01 s
83203.16/2604.06 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.00 s
83206.36/2604.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
83235.12/2605.01 c subs with bin: 55 lits-rem: 163 v-fix: 0 time: 0.71 s
83378.95/2609.54 c lits-rem: 413 cl-subs: 1718 v-elim: 0 v-fix: 0 time: 4.51 s
83378.95/2609.54 c vivif2 -- cl tried 57773 cl shrink 0 lits rem 0 time: 0.01
83382.14/2609.67 c vivif2 -- cl tried 111093 cl shrink 5103 lits rem 60290 time: 0.13
83394.93/2610.08 c asymm cl-useful: 0/932/57773 lits-rem:0 time: 0.40
83394.93/2610.09 c calculated reachability. Time: 0.00
83394.93/2610.09 c N dy 19748 5214295 808 57773 1965 111093 177653 2881260 11.59 no data
83718.40/2620.15 c N dy 19823 5234374 808 57773 1965 130364 177653 3743105 11.59 18.17
84101.38/2632.10 c N dy 19887 5255714 808 57773 1965 150893 177653 4652724 11.59 12.29
84536.06/2645.77 c N dy 19958 5277291 808 57773 1965 171581 177653 5572244 11.59 12.21
85015.56/2660.76 c N dy 20019 5297372 808 57773 1965 190859 177653 6467735 11.58 12.33
85479.66/2675.29 c N dy 20098 5319683 808 57773 1965 113505 177653 2992331 11.58 12.20
85789.10/2684.96 c N dy 20146 5339920 808 57773 1965 132936 177653 3826684 11.58 12.24
86188.66/2697.41 c N dy 20212 5360344 808 57773 1965 152562 177653 4702844 11.58 12.24
86818.34/2717.12 c N dy 20324 5383278 808 57773 1965 174535 177653 5630138 11.58 12.27
87375.15/2734.57 c N dy 20402 5403355 808 57773 1965 193775 177653 6485426 11.58 12.29
87847.57/2749.33 c N dy 20482 5424524 808 57773 1965 114325 177653 3013893 11.58 12.21
88311.08/2763.86 c N dy 20571 5444577 808 57773 1965 133608 177653 3867194 11.59 16.47
88774.57/2778.32 c N dy 20631 5464647 808 57773 1965 152816 177653 4638422 11.59 14.98
89292.38/2794.54 c N dy 20718 5484737 808 57773 1965 172090 177653 5518122 11.59 14.73
89912.49/2813.99 c N dy 20820 5505204 808 57773 1965 191731 177653 6414814 11.59 12.22
90379.19/2828.53 c N dy 20891 5525206 808 57773 1965 110100 177653 2716520 11.59 12.60
90750.58/2840.13 c N dy 20952 5547305 808 57773 1966 131238 177653 3643791 11.59 12.20
91274.20/2856.55 c N dy 21059 5567324 808 57773 1966 150453 177653 4512600 11.59 24.87
91843.75/2874.36 c N dy 21156 5588562 808 57773 1966 170847 177653 5468261 11.59 12.33
92438.25/2892.98 c N dy 21218 5608845 808 57773 1966 190296 177653 6297354 11.59 12.35
92971.48/2909.68 c N dy 21282 5629265 808 57773 1966 108175 177653 2645828 11.59 12.22
93313.51/2920.42 c N dy 21351 5650886 808 57773 1966 128973 177653 3542028 11.59 12.23
93687.49/2932.06 c N dy 21420 5670985 808 57773 1966 148206 177653 4404549 11.59 12.97
94170.16/2947.17 c N dy 21492 5691263 808 57773 1967 167640 177653 5176689 11.59 12.28
94614.47/2961.11 c N dy 21555 5711294 808 57773 1970 186864 177653 6084482 11.59 15.47
94694.38/2963.58 c S st 21566 5714299 808 57773 1970 189719 177653 6202473 11.59 no data
94723.77/2964.46 c S st 21566 5714803 808 57773 1970 190220 177653 6224929 11.59 no data
94723.77/2964.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
94748.72/2965.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.5M T: 0.76
94748.72/2965.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
94748.72/2965.28 c bin-w-bin subsume rem 1 bins time: 0.00 s
94748.72/2965.28 c subs with bin: 91 lits-rem: 0 v-fix: 0 time: 0.01 s
94748.72/2965.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 808 time: 0.01 s
94748.72/2965.30 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s
94751.91/2965.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
94956.45/2971.72 c subs with bin: 940 lits-rem: 4910 v-fix: 0 time: 5.92 s
96030.38/3005.35 c lits-rem: 2062 cl-subs: 8047 v-elim: 0 v-fix: 0 time: 33.62 s
96030.38/3005.36 c vivif2 -- cl tried 57682 cl shrink 0 lits rem 0 time: 0.01
96046.38/3005.89 c vivif2 -- cl tried 181233 cl shrink 27781 lits rem 300751 time: 0.52
96063.02/3006.37 c asymm cl-useful: 0/382/57682 lits-rem:0 time: 0.48
96063.02/3006.38 c calculated reachability. Time: 0.00
96063.02/3006.38 c N dy 21566 5714803 808 57682 1969 181233 177386 5764885 11.59 no data
96273.96/3012.99 c Finding binary XORs T: 0.00 s found: 0
96679.29/3025.60 c N dy 21650 5737283 808 57682 1971 202695 177386 6707983 11.59 12.36
97079.46/3038.17 c N dy 21719 5758175 808 57682 1971 120372 177386 3170497 11.59 12.31
97456.04/3049.93 c N dy 21784 5778703 808 57682 1971 140165 177386 4044123 11.59 12.62
97865.16/3062.72 c N dy 21835 5799138 808 57682 1971 159748 177386 4852154 11.59 12.23
98345.27/3077.78 c N dy 21923 5819225 808 57682 1971 178959 177386 5714505 11.59 13.69
98913.60/3095.57 c N dy 22008 5839307 808 57682 1972 198192 177386 6557273 11.59 20.46
99377.09/3110.01 c N dy 22078 5859920 808 57682 1972 114561 177386 2853114 11.59 12.24
99767.08/3122.20 c N dy 22165 5882693 808 57682 1973 136441 177386 3814725 11.59 12.21
100212.02/3136.14 c N dy 22247 5903550 808 57682 1975 156460 177386 4725129 11.59 12.23
100732.39/3152.42 c N dy 22320 5924142 808 57682 1975 176150 177386 5599203 11.59 12.27
101307.76/3170.48 c N dy 22423 5944239 808 57682 1976 195371 177386 6464908 11.59 12.21
101838.36/3187.04 c N dy 22490 5965836 808 57682 1976 111566 177386 2750894 11.59 12.24
102218.77/3198.98 c N dy 22594 5986151 808 57682 1978 131067 177386 3640553 11.60 12.25
102723.79/3214.78 c N dy 22637 6006785 808 57682 1979 150711 177386 4349469 11.59 12.30
103206.47/3229.88 c N dy 22697 6026970 808 57682 1981 169965 177386 5189851 11.59 12.30
103749.86/3246.85 c N dy 22779 6047128 808 57682 1982 189264 177386 6079247 11.59 12.28
104283.66/3263.54 c N dy 22840 6067162 808 57682 1983 208427 177386 6949047 11.59 16.31
104677.48/3275.88 c N dy 22918 6087472 808 57682 1983 122546 177386 3227992 11.59 12.20
105041.26/3287.29 c N dy 23000 6107549 808 57682 1983 141767 177386 4048599 11.59 14.59
105463.16/3300.46 c N dy 23060 6129467 808 57682 1985 162598 177386 4952412 11.59 12.22
105747.47/3309.36 c Finding binary XORs T: 0.00 s found: 0
105943.10/3315.49 c N dy 23123 6151101 808 57682 1986 183226 177386 5861916 11.59 12.61
106489.05/3332.50 c N dy 23205 6171115 808 57682 1993 202342 177386 6694003 11.59 12.38
106987.68/3348.11 c N dy 23289 6191614 808 57682 1997 115870 177386 2898035 11.59 12.20
107473.56/3363.36 c N dy 23346 6211760 807 57682 1997 135003 177386 3613669 11.59 12.27
107543.89/3365.55 c S st 23358 6214804 807 57682 1997 137926 177386 3743914 11.59 no data
107566.26/3366.26 c S st 23358 6215305 807 57682 1997 138427 177386 3762608 11.59 no data
107566.26/3366.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
107588.65/3366.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.6M T: 0.63
107588.65/3366.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
107588.65/3366.95 c bin-w-bin subsume rem 7 bins time: 0.00 s
107588.65/3366.95 c subs with bin: 143 lits-rem: 0 v-fix: 0 time: 0.00 s
107588.65/3366.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 807 time: 0.01 s
107588.65/3366.97 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.00 s
107592.47/3367.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
107655.77/3369.07 c subs with bin: 384 lits-rem: 1963 v-fix: 0 time: 1.74 s
108023.31/3380.52 c lits-rem: 985 cl-subs: 4868 v-elim: 0 v-fix: 0 time: 11.43 s
108023.31/3380.53 c vivif2 -- cl tried 57462 cl shrink 0 lits rem 0 time: 0.01
108029.71/3380.73 c vivif2 -- cl tried 131104 cl shrink 8999 lits rem 94912 time: 0.20
108045.70/3381.23 c asymm cl-useful: 0/536/57462 lits-rem:0 time: 0.50
108045.70/3381.24 c calculated reachability. Time: 0.00
108045.70/3381.24 c N dy 23358 6215305 807 57462 1956 131104 176694 3526227 11.59 no data
108612.10/3399.02 c N dy 23410 6236853 807 57462 1956 151722 176694 4321176 11.58 12.33
109333.87/3421.53 c N dy 23482 6258045 807 57462 1957 171922 176694 5053540 11.58 12.21
109874.02/3438.45 c N dy 23528 6278059 807 57462 1957 191149 176694 5886433 11.58 12.29
110622.00/3461.81 c N dy 23589 6298956 807 57462 1957 211107 176694 6611961 11.58 12.26
111069.48/3475.87 c N dy 23635 6321913 807 57462 1957 127093 176694 3262606 11.57 12.43
111491.42/3489.05 c N dy 23673 6343109 807 57462 1957 147346 176694 4143972 11.57 12.29
112054.01/3506.60 c N dy 23716 6365064 807 57462 1957 168426 176694 5054968 11.56 12.33
112620.40/3524.34 c N dy 23758 6385425 807 57462 1958 187876 176694 5766056 11.56 12.32
113163.18/3541.33 c N dy 23827 6405533 807 57462 1958 207088 176694 6563225 11.56 12.23
113700.19/3558.10 c N dy 23846 6426015 807 57462 1959 119245 176694 2940206 11.55 12.20
114086.97/3570.23 c N dy 23898 6446480 807 57462 1959 138890 176694 3776795 11.55 12.26
114173.27/3572.92 c Finding binary XORs T: 0.00 s found: 0
114601.59/3586.31 c N dy 23942 6466946 807 57462 1963 158543 176694 4544874 11.55 12.19
115180.13/3604.48 c N dy 23983 6488851 807 57462 1963 179384 176694 5421934 11.54 12.38
116564.21/3647.78 c N dy 24014 6525627 807 57462 1965 213782 176694 6364387 11.53 12.15
116980.38/3660.76 c N dy 24053 6545860 807 57462 1966 124690 176694 3144482 11.53 12.28
117372.91/3673.04 c N dy 24111 6566254 807 57462 1966 144241 176694 3945949 11.53 12.33
117807.66/3686.66 c N dy 24157 6586725 807 57462 1966 163734 176694 4684766 11.52 12.53
118718.66/3715.13 c N dy 24192 6615451 807 57462 1966 190775 176694 5420753 11.52 12.14
119304.23/3733.47 c N dy 24222 6637432 807 57462 1966 211625 176694 6192793 11.51 12.18
119821.41/3749.66 c N dy 24264 6658054 807 57462 1970 122043 176694 3011092 11.51 12.12
120278.52/3763.96 c N dy 24316 6678531 807 57462 1970 141540 176694 3719561 11.50 12.14
120780.98/3779.62 c N dy 24338 6698789 807 57462 1972 160757 176694 4419013 11.50 12.44
121202.91/3792.88 c S st 24358 6715305 807 57462 1972 176480 176694 4985632 11.49 8.01
121227.87/3793.68 c S st 24358 6715807 807 57462 1972 176982 176694 5005310 11.49 no data
121231.07/3793.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
121253.45/3794.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 10.1M T: 0.74
121253.45/3794.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
121253.45/3794.48 c bin-w-bin subsume rem 3 bins time: 0.00 s
121253.45/3794.49 c subs with bin: 171 lits-rem: 0 v-fix: 0 time: 0.01 s
121253.45/3794.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 807 time: 0.01 s
121256.64/3794.50 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.00 s
121259.84/3794.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
121378.73/3798.33 c subs with bin: 733 lits-rem: 5754 v-fix: 0 time: 3.40 s
122314.70/3827.63 c lits-rem: 3020 cl-subs: 11298 v-elim: 0 v-fix: 0 time: 29.28 s
122314.70/3827.64 c vivif2 -- cl tried 57291 cl shrink 0 lits rem 0 time: 0.01
122328.09/3828.04 c vivif2 -- cl tried 164951 cl shrink 18842 lits rem 144182 time: 0.40
122343.45/3828.54 c asymm cl-useful: 0/413/57291 lits-rem:0 time: 0.50
122343.45/3828.56 c calculated reachability. Time: 0.00
122343.45/3828.56 c N dy 24358 6715807 807 57291 1969 164951 176193 4676973 11.49 no data
123008.30/3849.35 c N dy 24405 6736099 807 57291 1972 184183 176193 5274051 11.49 12.12
123596.45/3867.79 c N dy 24475 6756138 807 57291 1973 203316 176193 6127201 11.49 16.30
124219.75/3887.23 c N dy 24547 6776656 807 57291 1973 112856 176193 2642326 11.49 12.12
124306.05/3889.96 c Finding binary XORs T: 0.00 s found: 0
124603.35/3899.22 c N dy 24637 6796670 807 57291 1975 132031 176193 3469025 11.49 14.12
125070.67/3913.82 c N dy 24725 6816758 807 57291 1975 151269 176193 4265728 11.49 14.11
125536.69/3928.45 c N dy 24786 6836791 807 57291 1977 170300 176193 5057669 11.49 15.81
126128.03/3946.95 c N dy 24840 6857412 807 57291 1980 189933 176193 5809779 11.49 12.21
126965.89/3973.18 c N dy 24893 6884321 807 57291 1981 215660 176193 6773760 11.48 12.17
127543.84/3991.28 c N dy 24975 6904400 807 57291 1984 123480 176193 3056109 11.49 16.83
128000.93/4005.56 c N dy 25046 6924404 807 57291 1986 142596 176193 3894625 11.49 12.28
128528.34/4022.05 c N dy 25106 6944848 807 57291 1987 162150 176193 4715236 11.48 12.14
128931.09/4034.60 c Finding binary XORs T: 0.00 s found: 0
129206.00/4043.25 c N dy 25173 6964855 807 57291 1993 181212 176193 5470580 11.48 12.21
129864.48/4063.88 c N dy 25245 6985092 807 57291 1998 200505 176193 6270228 11.48 12.09
130513.32/4084.11 c Finding binary XORs T: 0.00 s found: 0
130526.09/4084.56 c N dy 25296 7005239 807 57291 2009 219628 176193 7073978 11.48 12.46
130992.77/4099.20 c N dy 25368 7025322 807 57291 2009 126263 176193 3128428 11.48 12.38
131353.98/4110.41 c N dy 25415 7045509 807 57291 2014 145425 176193 3892525 11.48 12.13
131779.11/4123.72 c N dy 25491 7065706 807 57291 2014 164741 176193 4704706 11.48 12.25
132261.80/4138.80 c N dy 25552 7086640 807 57291 2021 184650 176193 5472840 11.47 12.10
132367.30/4142.19 c Finding binary XORs T: 0.00 s found: 0
132876.14/4158.08 c N dy 25621 7108729 807 57291 2037 205620 176193 6302104 11.47 12.11
132911.28/4159.12 c Finding binary XORs T: 0.00 s found: 0
133281.47/4170.75 c Finding binary XORs T: 0.00 s found: 0
133505.80/4177.77 c N dy 25705 7129932 807 57291 2064 225781 176193 7118259 11.47 12.11
133716.80/4184.40 c Finding binary XORs T: 0.00 s found: 0
133962.94/4192.10 c N dy 25751 7149965 804 57220 2058 127713 175936 3111043 11.47 20.37
134470.53/4207.96 c N dy 25816 7171564 804 57220 2058 148273 175936 3825349 11.47 12.20
134476.94/4208.13 c Finding binary XORs T: 0.00 s found: 0
135013.97/4224.93 c N dy 25883 7192327 804 57114 1938 152628 175528 4219739 11.47 12.09
135595.70/4243.17 c N dy 25966 7212450 804 57114 1941 171808 175528 4972418 11.47 12.27
135691.62/4246.16 c S st 25980 7215807 804 57114 1941 174995 175528 5091113 11.47 9.37
135726.78/4247.21 c S st 25980 7216308 804 57114 1941 175496 175528 5109308 11.47 no data
135726.78/4247.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
135752.36/4248.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 6 BRemN: 0 P: 11.2M T: 0.81
135752.36/4248.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
135752.36/4248.08 c bin-w-bin subsume rem 7 bins time: 0.00 s
135752.36/4248.08 c subs with bin: 229 lits-rem: 0 v-fix: 0 time: 0.00 s
135752.36/4248.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 804 time: 0.01 s
135752.36/4248.09 c Removed useless bin: 0 fixed: 0 props: 0.36M time: 0.00 s
135759.38/4248.23 c lits-rem: 0 cl-subs: 0 v-elim: 3 v-fix: 0 time: 0.13 s
135883.41/4252.14 c subs with bin: 542 lits-rem: 11105 v-fix: 0 time: 3.60 s
136765.62/4279.78 c lits-rem: 2680 cl-subs: 7596 v-elim: 0 v-fix: 0 time: 27.62 s
136765.62/4279.79 c vivif2 -- cl tried 56722 cl shrink 0 lits rem 0 time: 0.01
136779.06/4280.19 c vivif2 -- cl tried 165807 cl shrink 20370 lits rem 132814 time: 0.40
136797.61/4280.72 c asymm cl-useful: 0/595/56722 lits-rem:0 time: 0.52
136797.61/4280.73 c calculated reachability. Time: 0.00
136797.61/4280.73 c N dy 25980 7216308 801 56722 1920 165807 174408 4768611 11.47 no data
136797.61/4280.73 c Finding binary XORs T: 0.00 s found: 0
137225.92/4294.15 c Finding binary XORs T: 0.00 s found: 0
137433.70/4300.64 c N dy 26026 7238221 800 56722 1940 186626 174408 5591869 11.46 12.12
138072.98/4320.64 c N dy 26069 7258938 800 56722 1945 206296 174408 6361553 11.46 12.15
138396.42/4330.79 c N dy 26111 7278965 800 56722 1946 121720 174408 3056864 11.46 15.40
138779.98/4342.77 c N dy 26140 7299949 800 56722 1951 141602 174408 3787397 11.45 12.13
139124.59/4353.55 c Finding binary XORs T: 0.00 s found: 0
139294.02/4358.81 c N dy 26210 7320324 800 56695 1909 160061 174269 4475016 11.45 12.06
139908.36/4378.02 c N dy 26266 7340338 800 56695 1916 179066 174269 5103126 11.45 12.18
140035.59/4382.00 c Finding binary XORs T: 0.00 s found: 0
140550.25/4398.17 c N dy 26339 7361207 800 56695 1931 198823 174269 5850261 11.45 12.12
140815.55/4406.43 c Finding binary XORs T: 0.00 s found: 0
141206.14/4418.70 c N dy 26379 7381227 799 56695 1954 217644 174269 6542477 11.44 12.06
141327.00/4422.42 c Finding binary XORs T: 0.00 s found: 0
141653.02/4432.69 c N dy 26432 7403205 798 56642 1863 122980 174016 3098062 11.44 12.51
142167.62/4448.78 c N dy 26470 7424175 798 56642 1874 142761 174016 3667606 11.44 12.11
142445.75/4457.46 c Finding binary XORs T: 0.00 s found: 0
142640.70/4463.53 c Finding binary XORs T: 0.00 s found: 0
142756.39/4467.12 c N dy 26506 7444331 798 56642 1910 161738 174016 4113237 11.43 12.98
142960.31/4473.54 c Finding binary XORs T: 0.00 s found: 0
143321.52/4484.81 c N dy 26561 7464549 797 56625 1859 180835 173911 4661665 11.43 12.11
143922.45/4503.67 c Finding binary XORs T: 0.00 s found: 0
143983.78/4505.60 c N dy 26574 7484948 797 56625 1882 199829 173911 5089212 11.43 12.20
144539.36/4522.99 c Finding binary XORs T: 0.00 s found: 0
144852.64/4532.73 c N dy 26600 7508412 797 56625 1908 112609 173911 2481364 11.42 12.09
145341.69/4548.04 c N dy 26647 7529068 795 56625 1912 132022 173911 2978230 11.42 12.04
145770.02/4561.49 c Finding binary XORs T: 0.00 s found: 0
145933.06/4566.59 c N dy 26684 7549676 795 56592 1799 150407 173710 3493548 11.41 12.02
146486.03/4583.87 c N dy 26739 7569893 794 56592 1809 169470 173710 4049099 11.41 12.15
147042.81/4601.30 c N dy 26816 7590104 794 56592 1810 188579 173710 4668427 11.41 12.08
147799.83/4624.99 c N dy 26867 7613787 794 56592 1811 210992 173710 5322786 11.41 12.02
148186.58/4637.05 c Finding binary XORs T: 0.00 s found: 0
148391.14/4643.44 c N dy 26917 7634184 794 56578 1751 115917 173620 2584002 11.41 12.03
148848.22/4657.73 c N dy 26979 7659086 794 56578 1758 139606 173620 3378043 11.40 12.06
149353.30/4673.53 c N dy 27050 7680211 794 56578 1761 159708 173620 3994711 11.40 12.03
149650.58/4682.86 c Finding binary XORs T: 0.00 s found: 0
149826.34/4688.35 c N dy 27112 7702140 794 56578 1765 180509 173620 4710989 11.40 12.08
150293.06/4703.00 c S st 27126 7716311 794 56578 1771 193841 173620 4986322 11.40 9.88
150318.62/4703.76 c S st 27126 7716817 794 56578 1771 194344 173620 5004794 11.40 no data
150318.62/4703.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
150334.61/4704.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 3 BRemN: 0 P: 7.8M T: 0.50
150337.81/4704.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
150337.81/4704.31 c bin-w-bin subsume rem 9 bins time: 0.00 s
150337.81/4704.31 c subs with bin: 294 lits-rem: 0 v-fix: 0 time: 0.00 s
150337.81/4704.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 794 time: 0.01 s
150337.81/4704.32 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.00 s
150341.02/4704.43 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.10 s
150453.53/4707.92 c subs with bin: 1170 lits-rem: 4730 v-fix: 0 time: 3.18 s
151552.41/4742.37 c lits-rem: 3281 cl-subs: 15458 v-elim: 0 v-fix: 0 time: 34.43 s
151552.41/4742.38 c vivif2 -- cl tried 56280 cl shrink 0 lits rem 0 time: 0.01
151568.36/4742.83 c vivif2 -- cl tried 177716 cl shrink 23588 lits rem 83164 time: 0.44
151581.80/4743.26 c asymm cl-useful: 0/771/56280 lits-rem:0 time: 0.43
151581.80/4743.27 c calculated reachability. Time: 0.00
151581.80/4743.27 c N dy 27126 7716817 790 56280 1743 177716 172926 4667409 11.40 no data
151664.30/4745.82 c Finding binary XORs T: 0.00 s found: 0
152383.47/4768.32 c N dy 27164 7743393 789 56267 1714 202173 172829 5363152 11.39 12.00
152981.19/4787.04 c N dy 27213 7763443 789 56267 1718 221234 172829 5995366 11.39 12.13
153390.38/4799.82 c Finding binary XORs T: 0.00 s found: 0
153524.61/4804.09 c N dy 27244 7783464 789 56267 1728 126036 172829 2858812 11.39 16.23
153984.91/4818.47 c N dy 27265 7803541 788 56267 1728 144985 172829 3360827 11.38 12.00
154410.02/4831.77 c N dy 27303 7823774 788 56267 1729 164099 172829 3898341 11.38 12.01
154915.09/4847.52 c N dy 27355 7844315 788 56267 1731 183516 172829 4430255 11.38 11.98
155442.50/4864.04 c N dy 27379 7864620 788 56267 1732 202576 172829 4923251 11.37 12.02
155957.14/4880.19 c Finding binary XORs T: 0.00 s found: 0
156033.86/4882.56 c N dy 27413 7885028 788 56254 1689 220576 172738 5379730 11.37 11.97
156548.44/4898.69 c N dy 27461 7905406 788 56254 1691 124113 172738 2748324 11.36 12.16
156993.36/4912.53 c N dy 27554 7925493 788 56254 1691 143291 172738 3414406 11.36 11.98
157491.41/4928.19 c N dy 27585 7945805 788 56254 1693 162441 172738 3946920 11.36 12.25
157961.28/4942.86 c N dy 27614 7965883 788 56254 1696 181387 172738 4579777 11.36 12.69
158603.81/4962.91 c N dy 27659 7985990 788 56254 1700 200369 172738 5154413 11.35 11.96
159367.77/4986.80 c N dy 27687 8007268 788 56254 1701 220352 172738 5677554 11.35 11.97
159367.77/4986.80 c Finding binary XORs T: 0.00 s found: 0
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-3400692-1306335182/watcher-3400692-1306335182 -o /tmp/evaluation-result-3400692-1306335182/solver-3400692-1306335182 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400692-1306335182.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 25.74 29.51 30.51 1/413 16731
/proc/meminfo: memFree=255140424/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=338000 CPUtime=0.79 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) R 16729 16731 16525 0 -1 4202496 467 0 0 0 79 0 0 0 24 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754135 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/16731/statm: 84500 407 300 95 0 79482 0
[pid=16731/tid=16732] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16732/stat : 16732 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16731/tid=16733] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16733/stat : 16733 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16731/tid=16734] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16734/stat : 16734 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754131 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16731/tid=16735] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16735/stat : 16735 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16731/tid=16736] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16736/stat : 16736 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754141 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16731/tid=16737] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16737/stat : 16737 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16731/tid=16738] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16738/stat : 16738 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754141 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16731/tid=16739] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16739/stat : 16739 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16731/tid=16740] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16740/stat : 16740 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754135 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16731/tid=16741] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16741/stat : 16741 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16731/tid=16742] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16742/stat : 16742 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16731/tid=16743] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16743/stat : 16743 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16731/tid=16744] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16744/stat : 16744 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16731/tid=16745] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16745/stat : 16745 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 745004582 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754131 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16731/tid=16746] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16746/stat : 16746 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16731/tid=16747] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16747/stat : 16747 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16731/tid=16748] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16748/stat : 16748 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754141 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16731/tid=16749] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16749/stat : 16749 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754131 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16731/tid=16750] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16750/stat : 16750 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16731/tid=16751] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16751/stat : 16751 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754128 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16731/tid=16752] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16752/stat : 16752 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754135 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16731/tid=16753] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16753/stat : 16753 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16731/tid=16754] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16754/stat : 16754 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16731/tid=16755] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16755/stat : 16755 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16731/tid=16756] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16756/stat : 16756 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16731/tid=16757] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16757/stat : 16757 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16758] ppid=16729 vsize=338000 CPUtime=0 cores=0-31
/proc/16731/task/16758/stat : 16758 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754546 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=338000 CPUtime=0 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16760] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16760/stat : 16760 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16731/tid=16761] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16761/stat : 16761 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16731/tid=16762] ppid=16729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16731/task/16762/stat : 16762 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 745004583 346112000 407 268435456000 4194304 4580107 140734815812480 18446744073709551615 47793609754137 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0668789 s]
/proc/loadavg: 25.74 29.51 30.51 1/413 16731
/proc/meminfo: memFree=255140424/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=666704 CPUtime=1.63 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) D 16729 16731 16525 0 -1 4202496 1047 0 0 0 159 4 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/16731/statm: 166676 900 322 95 0 161658 0
[pid=16731/tid=16732] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16732/stat : 16732 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 36 0 0 0 5 0 0 0 22 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16731/tid=16733] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16733/stat : 16733 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 22 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604504219016672 0 0 -1 2 0 0 0
[pid=16731/tid=16734] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16734/stat : 16734 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 31 0 0 0 5 0 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16731/tid=16735] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16735/stat : 16735 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 45 0 0 0 5 0 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16731/tid=16736] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16736/stat : 16736 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 62 0 0 0 5 0 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16731/tid=16737] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16737/stat : 16737 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 6 0 0 0 5 0 0 0 22 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604487914274272 0 0 -1 5 0 0 0
[pid=16731/tid=16738] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16738/stat : 16738 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 12 0 0 0 5 0 0 0 22 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16731/tid=16739] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16739/stat : 16739 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 7 0 0 0 5 0 0 0 23 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16731/tid=16740] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16740/stat : 16740 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 14 0 0 0 5 0 0 0 23 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16731/tid=16741] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16741/stat : 16741 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 57 0 0 0 5 0 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16731/tid=16742] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16742/stat : 16742 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 4 0 0 0 5 0 0 0 23 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604491346034144 0 0 -1 7 0 0 0
[pid=16731/tid=16743] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16743/stat : 16743 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 36 0 0 0 5 0 0 0 23 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16731/tid=16744] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16744/stat : 16744 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 28 0 0 0 5 0 0 0 18 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16731/tid=16745] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16745/stat : 16745 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 7 0 0 0 5 0 0 0 23 0 32 0 745004582 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604478008475104 0 0 -1 28 0 0 0
[pid=16731/tid=16746] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16746/stat : 16746 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604503903321568 0 0 -1 13 0 0 0
[pid=16731/tid=16747] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16747/stat : 16747 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 33 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16731/tid=16748] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16748/stat : 16748 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 6 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16731/tid=16749] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16749/stat : 16749 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 3 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604506027220448 0 0 -1 17 0 0 0
[pid=16731/tid=16750] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16750/stat : 16750 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 10 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16731/tid=16751] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16751/stat : 16751 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 39 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16731/tid=16752] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16752/stat : 16752 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 24 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604481556053472 0 0 -1 21 0 0 0
[pid=16731/tid=16753] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16753/stat : 16753 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604477920443872 0 0 -1 22 0 0 0
[pid=16731/tid=16754] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16754/stat : 16754 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16731/tid=16755] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16755/stat : 16755 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 14 0 0 0 5 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16731/tid=16756] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16756/stat : 16756 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604505725099488 0 0 -1 26 0 0 0
[pid=16731/tid=16757] ppid=16729 vsize=666704 CPUtime=0.04 cores=0-31
/proc/16731/task/16757/stat : 16757 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 16 0 0 0 4 0 0 0 18 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16758] ppid=16729 vsize=666704 CPUtime=0 cores=0-31
/proc/16731/task/16758/stat : 16758 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446604506330742240 0 0 -1 27 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=666704 CPUtime=0.02 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16731/tid=16760] ppid=16729 vsize=666704 CPUtime=0.04 cores=0-31
/proc/16731/task/16760/stat : 16760 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 11 0 0 0 4 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16731/tid=16761] ppid=16729 vsize=666704 CPUtime=0.05 cores=0-31
/proc/16731/task/16761/stat : 16761 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 15 0 0 0 5 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16731/tid=16762] ppid=16729 vsize=666704 CPUtime=0.04 cores=0-31
/proc/16731/task/16762/stat : 16762 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 8 0 0 0 4 0 0 0 25 0 32 0 745004583 682704896 900 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 666704
[startup+0.102911 s]
/proc/loadavg: 25.74 29.51 30.51 1/413 16731
/proc/meminfo: memFree=255140424/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=912864 CPUtime=2.36 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) S 16729 16731 16525 0 -1 4202496 8700 0 0 0 160 76 0 0 17 0 32 0 745004582 934772736 8551 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/16731/statm: 228216 8566 334 95 0 223198 0
[pid=16731/tid=16732] ppid=16729 vsize=912864 CPUtime=0.07 cores=0-31
/proc/16731/task/16732/stat : 16732 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 271 0 0 0 5 2 0 0 22 0 32 0 745004582 934772736 8574 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 1 0 0 0
[pid=16731/tid=16733] ppid=16729 vsize=912864 CPUtime=0.07 cores=0-31
/proc/16731/task/16733/stat : 16733 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 221 0 0 0 5 2 0 0 22 0 32 0 745004582 934772736 8574 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16731/tid=16734] ppid=16729 vsize=912864 CPUtime=0.07 cores=0-31
/proc/16731/task/16734/stat : 16734 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 278 0 0 0 5 2 0 0 17 0 32 0 745004582 934772736 8582 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16731/tid=16735] ppid=16729 vsize=921068 CPUtime=0.06 cores=0-31
/proc/16731/task/16735/stat : 16735 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 312 0 0 0 5 1 0 0 18 0 32 0 745004582 943173632 8588 268435456000 4194304 4580107 140734815812480 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16731/tid=16736] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16736/stat : 16736 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 308 0 0 0 5 2 0 0 18 0 32 0 745004582 943173632 8595 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446744071566930024 0 0 -1 16 0 0 0
[pid=16731/tid=16737] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16737/stat : 16737 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 237 0 0 0 5 2 0 0 22 0 32 0 745004582 943173632 8600 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16731/tid=16738] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16738/stat : 16738 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 258 0 0 0 5 2 0 0 22 0 32 0 745004582 943173632 8606 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16731/tid=16739] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16739/stat : 16739 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 264 0 0 0 5 2 0 0 23 0 32 0 745004582 943173632 8623 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16731/tid=16740] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16740/stat : 16740 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 267 0 0 0 5 2 0 0 23 0 32 0 745004582 943173632 8637 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16731/tid=16741] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16741/stat : 16741 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 288 0 0 0 5 2 0 0 18 0 32 0 745004582 943173632 8637 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650620954 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16731/tid=16742] ppid=16729 vsize=921068 CPUtime=0.07 cores=0-31
/proc/16731/task/16742/stat : 16742 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 252 0 0 0 5 2 0 0 18 0 32 0 745004582 943173632 8637 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16731/tid=16743] ppid=16729 vsize=1052140 CPUtime=0.07 cores=0-31
/proc/16731/task/16743/stat : 16743 (strangenight2-m) S 16729 16731 16525 0 -1 4202560 271 0 0 0 5 2 0 0 17 0 32 0 745004582 1077391360 8640 268435456000 4194304 4580107 140734815812480 18446744073709551615 258651060958 0 0 4096 2 18446744071566926984 0 0 -1 0 0 0 0
[pid=16731/tid=16744] ppid=16729 vsize=1052140 CPUtime=0.07 cores=0-31
/proc/16731/task/16744/stat : 16744 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 289 0 0 0 5 2 0 0 18 0 32 0 745004582 1077391360 8654 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16731/tid=16745] ppid=16729 vsize=1052140 CPUtime=0.06 cores=0-31
/proc/16731/task/16745/stat : 16745 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 272 0 0 0 5 1 0 0 18 0 32 0 745004582 1077391360 8654 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16731/tid=16746] ppid=16729 vsize=986604 CPUtime=0.07 cores=0-31
/proc/16731/task/16746/stat : 16746 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 242 0 0 0 5 2 0 0 18 0 32 0 745004583 1010282496 8662 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16731/tid=16747] ppid=16729 vsize=986604 CPUtime=0.07 cores=0-31
/proc/16731/task/16747/stat : 16747 (strangenight2-m) D 16729 16731 16525 0 -1 4202560 272 0 0 0 5 2 0 0 18 0 32 0 745004583 1010282496 8671 268435456000 4194304 4580107 140734815812480 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16731/tid=16748] ppid=16729 vsize=986604 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=247202384/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=10273152 CPUtime=158585 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) R 16729 16731 16525 0 -1 4202496 11921101 0 0 0 15850597 7864 0 0 25 0 32 0 745004582 10519707648 1981823 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/16731/statm: 2568288 1981823 446 95 0 2563270 0
[pid=16731/tid=16732] ppid=16729 vsize=10273152 CPUtime=4960.4 cores=0-31
/proc/16731/task/16732/stat : 16732 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 332334 0 0 0 495805 235 0 0 25 0 32 0 745004582 10519707648 1981823 268435456000 4194304 4580107 140734815812480 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16731/tid=16733] ppid=16729 vsize=10273152 CPUtime=4960.13 cores=0-31
/proc/16731/task/16733/stat : 16733 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 336934 0 0 0 495789 224 0 0 25 0 32 0 745004582 10519707648 1981823 268435456000 4194304 4580107 140734815812480 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16731/tid=16734] ppid=16729 vsize=10273152 CPUtime=4959.62 cores=0-31
/proc/16731/task/16734/stat : 16734 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 472610 0 0 0 495655 307 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16731/tid=16735] ppid=16729 vsize=10273152 CPUtime=4960.54 cores=0-31
/proc/16731/task/16735/stat : 16735 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 327950 0 0 0 495822 232 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16731/tid=16736] ppid=16729 vsize=10273152 CPUtime=4956.14 cores=0-31
/proc/16731/task/16736/stat : 16736 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 287755 0 0 0 495423 191 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16731/tid=16737] ppid=16729 vsize=10273152 CPUtime=4960.32 cores=0-31
/proc/16731/task/16737/stat : 16737 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 315991 0 0 0 495827 205 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16731/tid=16738] ppid=16729 vsize=10273152 CPUtime=4960.25 cores=0-31
/proc/16731/task/16738/stat : 16738 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 353246 0 0 0 495785 240 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16731/tid=16739] ppid=16729 vsize=10273152 CPUtime=4953.98 cores=0-31
/proc/16731/task/16739/stat : 16739 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 386213 0 0 0 495162 236 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16731/tid=16740] ppid=16729 vsize=10273152 CPUtime=4960.34 cores=0-31
/proc/16731/task/16740/stat : 16740 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330846 0 0 0 495807 227 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16731/tid=16741] ppid=16729 vsize=10273152 CPUtime=4955.34 cores=0-31
/proc/16731/task/16741/stat : 16741 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 407352 0 0 0 495252 282 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16731/tid=16742] ppid=16729 vsize=10273152 CPUtime=4960.12 cores=0-31
/proc/16731/task/16742/stat : 16742 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 395563 0 0 0 495749 263 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16731/tid=16743] ppid=16729 vsize=10273152 CPUtime=4959.38 cores=0-31
/proc/16731/task/16743/stat : 16743 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 385121 0 0 0 495697 241 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16731/tid=16744] ppid=16729 vsize=10273152 CPUtime=4958.99 cores=0-31
/proc/16731/task/16744/stat : 16744 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 339942 0 0 0 495690 209 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16731/tid=16745] ppid=16729 vsize=10273152 CPUtime=4959.66 cores=0-31
/proc/16731/task/16745/stat : 16745 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 326320 0 0 0 495756 210 0 0 25 0 32 0 745004582 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16731/tid=16746] ppid=16729 vsize=10273152 CPUtime=4958.02 cores=0-31
/proc/16731/task/16746/stat : 16746 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 395690 0 0 0 495541 261 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16731/tid=16747] ppid=16729 vsize=10273152 CPUtime=4960.31 cores=0-31
/proc/16731/task/16747/stat : 16747 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330826 0 0 0 495806 225 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16731/tid=16748] ppid=16729 vsize=10273152 CPUtime=4960.24 cores=0-31
/proc/16731/task/16748/stat : 16748 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 389533 0 0 0 495769 255 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16731/tid=16749] ppid=16729 vsize=10273152 CPUtime=4960.3 cores=0-31
/proc/16731/task/16749/stat : 16749 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 319801 0 0 0 495798 232 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4416643 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16731/tid=16750] ppid=16729 vsize=10273152 CPUtime=4960.2 cores=0-31
/proc/16731/task/16750/stat : 16750 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 460640 0 0 0 495739 281 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16731/tid=16751] ppid=16729 vsize=10273152 CPUtime=4959.65 cores=0-31
/proc/16731/task/16751/stat : 16751 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 432283 0 0 0 495689 276 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16731/tid=16752] ppid=16729 vsize=10273152 CPUtime=4960.56 cores=0-31
/proc/16731/task/16752/stat : 16752 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 284116 0 0 0 495855 201 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16753] ppid=16729 vsize=10273152 CPUtime=4958.31 cores=0-31
/proc/16731/task/16753/stat : 16753 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 460453 0 0 0 495537 294 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16731/tid=16754] ppid=16729 vsize=10273152 CPUtime=4919.2 cores=0-31
/proc/16731/task/16754/stat : 16754 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 379994 0 0 0 491661 259 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16731/tid=16755] ppid=16729 vsize=10273152 CPUtime=4960.29 cores=0-31
/proc/16731/task/16755/stat : 16755 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 474772 0 0 0 495720 309 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16731/tid=16756] ppid=16729 vsize=10273152 CPUtime=4954.62 cores=0-31
/proc/16731/task/16756/stat : 16756 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330049 0 0 0 495232 230 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16731/tid=16757] ppid=16729 vsize=10273152 CPUtime=4958.59 cores=0-31
/proc/16731/task/16757/stat : 16757 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 466032 0 0 0 495568 291 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16731/tid=16758] ppid=16729 vsize=10273152 CPUtime=4959.53 cores=0-31
/proc/16731/task/16758/stat : 16758 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330252 0 0 0 495737 216 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=10273152 CPUtime=4912.08 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 314187 0 0 0 490996 212 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16731/tid=16760] ppid=16729 vsize=10273152 CPUtime=4944.91 cores=0-31
/proc/16731/task/16760/stat : 16760 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 417456 0 0 0 494214 277 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16731/tid=16761] ppid=16729 vsize=10273152 CPUtime=4952.74 cores=0-31
/proc/16731/task/16761/stat : 16761 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 486229 0 0 0 494981 293 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16731/tid=16762] ppid=16729 vsize=10273152 CPUtime=4959.24 cores=0-31
/proc/16731/task/16762/stat : 16762 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 279708 0 0 0 495725 199 0 0 25 0 32 0 745004583 10519707648 1981824 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158585
Current children cumulated vsize (KiB) 10273152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006.6 s]
/proc/loadavg: 32.22 32.14 32.09 33/445 16918
/proc/meminfo: memFree=247433560/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=9570216 CPUtime=160001 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) R 16729 16731 16525 0 -1 4202496 11953219 0 0 0 15992237 7892 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/16731/statm: 2392554 1922973 446 95 0 2387536 0
[pid=16731/tid=16732] ppid=16729 vsize=9570216 CPUtime=5004.72 cores=0-31
/proc/16731/task/16732/stat : 16732 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 332645 0 0 0 500236 236 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16731/tid=16733] ppid=16729 vsize=9570216 CPUtime=5004.45 cores=0-31
/proc/16731/task/16733/stat : 16733 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 337464 0 0 0 500220 225 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16731/tid=16734] ppid=16729 vsize=9570216 CPUtime=5003.93 cores=0-31
/proc/16731/task/16734/stat : 16734 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 473279 0 0 0 500085 308 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16731/tid=16735] ppid=16729 vsize=9570216 CPUtime=5004.85 cores=0-31
/proc/16731/task/16735/stat : 16735 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 328232 0 0 0 500253 232 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16731/tid=16736] ppid=16729 vsize=9570216 CPUtime=5000.45 cores=0-31
/proc/16731/task/16736/stat : 16736 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 288738 0 0 0 499853 192 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16731/tid=16737] ppid=16729 vsize=9570216 CPUtime=5004.64 cores=0-31
/proc/16731/task/16737/stat : 16737 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 315991 0 0 0 500259 205 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16731/tid=16738] ppid=16729 vsize=9570216 CPUtime=5004.56 cores=0-31
/proc/16731/task/16738/stat : 16738 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 353246 0 0 0 500216 240 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16731/tid=16739] ppid=16729 vsize=9570216 CPUtime=4998.28 cores=0-31
/proc/16731/task/16739/stat : 16739 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 386611 0 0 0 499592 236 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16731/tid=16740] ppid=16729 vsize=9570216 CPUtime=5004.65 cores=0-31
/proc/16731/task/16740/stat : 16740 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330933 0 0 0 500238 227 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16731/tid=16741] ppid=16729 vsize=9570216 CPUtime=4999.63 cores=0-31
/proc/16731/task/16741/stat : 16741 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 407902 0 0 0 499680 283 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16731/tid=16742] ppid=16729 vsize=9570216 CPUtime=5004.42 cores=0-31
/proc/16731/task/16742/stat : 16742 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 399962 0 0 0 500177 265 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16731/tid=16743] ppid=16729 vsize=9570216 CPUtime=5003.7 cores=0-31
/proc/16731/task/16743/stat : 16743 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 385784 0 0 0 500127 243 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16731/tid=16744] ppid=16729 vsize=9570216 CPUtime=5003.28 cores=0-31
/proc/16731/task/16744/stat : 16744 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 340053 0 0 0 500119 209 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16731/tid=16745] ppid=16729 vsize=9570216 CPUtime=5003.97 cores=0-31
/proc/16731/task/16745/stat : 16745 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 326813 0 0 0 500187 210 0 0 25 0 32 0 745004582 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16731/tid=16746] ppid=16729 vsize=9570216 CPUtime=5002.33 cores=0-31
/proc/16731/task/16746/stat : 16746 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 395690 0 0 0 499972 261 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16731/tid=16747] ppid=16729 vsize=9570216 CPUtime=5004.62 cores=0-31
/proc/16731/task/16747/stat : 16747 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 334751 0 0 0 500236 226 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16731/tid=16748] ppid=16729 vsize=9570216 CPUtime=5004.55 cores=0-31
/proc/16731/task/16748/stat : 16748 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 394653 0 0 0 500198 257 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16731/tid=16749] ppid=16729 vsize=9570216 CPUtime=5004.61 cores=0-31
/proc/16731/task/16749/stat : 16749 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 320088 0 0 0 500229 232 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16731/tid=16750] ppid=16729 vsize=9570216 CPUtime=5004.51 cores=0-31
/proc/16731/task/16750/stat : 16750 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 465584 0 0 0 500168 283 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16731/tid=16751] ppid=16729 vsize=9570216 CPUtime=5003.96 cores=0-31
/proc/16731/task/16751/stat : 16751 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 433905 0 0 0 500118 278 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16731/tid=16752] ppid=16729 vsize=9570216 CPUtime=5004.88 cores=0-31
/proc/16731/task/16752/stat : 16752 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 284327 0 0 0 500287 201 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16731/tid=16753] ppid=16729 vsize=9570216 CPUtime=5002.62 cores=0-31
/proc/16731/task/16753/stat : 16753 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 460453 0 0 0 499968 294 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16731/tid=16754] ppid=16729 vsize=9570216 CPUtime=4963.51 cores=0-31
/proc/16731/task/16754/stat : 16754 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 380646 0 0 0 496092 259 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16731/tid=16755] ppid=16729 vsize=9570216 CPUtime=5004.61 cores=0-31
/proc/16731/task/16755/stat : 16755 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 476305 0 0 0 500150 311 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16731/tid=16756] ppid=16729 vsize=9570216 CPUtime=4998.94 cores=0-31
/proc/16731/task/16756/stat : 16756 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330899 0 0 0 499662 232 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16731/tid=16757] ppid=16729 vsize=9570216 CPUtime=5002.9 cores=0-31
/proc/16731/task/16757/stat : 16757 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 467189 0 0 0 499998 292 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16731/tid=16758] ppid=16729 vsize=9570216 CPUtime=5003.85 cores=0-31
/proc/16731/task/16758/stat : 16758 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 330634 0 0 0 500168 217 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=9570216 CPUtime=4955.13 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 314187 0 0 0 495301 212 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16731/tid=16760] ppid=16729 vsize=9570216 CPUtime=4989.22 cores=0-31
/proc/16731/task/16760/stat : 16760 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 418061 0 0 0 498644 278 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16731/tid=16761] ppid=16729 vsize=9570216 CPUtime=4997.05 cores=0-31
/proc/16731/task/16761/stat : 16761 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 486229 0 0 0 499412 293 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16731/tid=16762] ppid=16729 vsize=9570216 CPUtime=5003.56 cores=0-31
/proc/16731/task/16762/stat : 16762 (strangenight2-m) R 16729 16731 16525 0 -1 4202560 279925 0 0 0 500156 200 0 0 25 0 32 0 745004583 9799901184 1922973 268435456000 4194304 4580107 140734815812480 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 9570216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5007 s]
/proc/loadavg: 32.22 32.14 32.09 33/445 16918
/proc/meminfo: memFree=247433560/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=0 CPUtime=160002 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) Z 16729 16731 16525 0 -1 4203548 11953221 0 0 0 15992259 7929 0 0 25 0 2 0 745004582 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/16731/statm: 0 0 0 0 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=0 CPUtime=4955.51 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4203588 314187 0 0 0 495302 249 0 0 25 0 2 0 745004583 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5007.22 s]
/proc/loadavg: 32.22 32.14 32.09 2/416 16919
/proc/meminfo: memFree=253095384/264257624 swapFree=67111528/67111528
[pid=16731] ppid=16729 vsize=0 CPUtime=160002 cores=0-31
/proc/16731/stat : 16731 (strangenight2-m) Z 16729 16731 16525 0 -1 4203548 11953221 0 0 0 15992259 7951 0 0 25 0 2 0 745004582 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/16731/statm: 0 0 0 0 0 0 0
[pid=16731/tid=16759] ppid=16729 vsize=0 CPUtime=4955.73 cores=0-31
/proc/16731/task/16759/stat : 16759 (strangenight2-m) R 16729 16731 16525 0 -1 4203588 314187 0 0 0 495302 271 0 0 25 0 2 0 745004583 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.25
CPU time (s): 160002
CPU user time (s): 159923
CPU system time (s): 79.5499
CPU usage (%): 3195.41
Max. virtual memory (cumulated for all children) (KiB): 10974924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159923
system time used= 79.5499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11953221
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= 203799
involuntary context switches= 314099
runsolver used 29.2735 second user time and 112.09 second system time
The end
Begin job on node200 at 2011-05-25 16:53:02
IDJOB=3400692
IDBENCH=71078
IDSOLVER=1886
FILE ID=node200/3400692-1306335182
RUNJOBID= node200-1306334953-16539
PBS_JOBID= 13411797
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400692-1306335182/watcher-3400692-1306335182 -o /tmp/evaluation-result-3400692-1306335182/solver-3400692-1306335182 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400692-1306335182.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=842111321
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255140456 kB
Buffers: 468280 kB
Cached: 8237036 kB
SwapCached: 0 kB
Active: 7775684 kB
Inactive: 998644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255140456 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6820 kB
Writeback: 0 kB
AnonPages: 69288 kB
Mapped: 14872 kB
Slab: 255888 kB
PageTables: 5216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-25 18:16:30