0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400833-1306892042.cnf'
0.00/0.05 c -- header says num vars: 1116
0.00/0.05 c -- header says num clauses: 4312
0.00/0.11 c -- clauses added: 0 learnts, 4312 normals, 0 xors
0.00/0.11 c -- vars added 1116
0.00/0.11 c Parsing time: 0.01 s
0.00/0.11 c N st 0 0 1116 3948 200 0 13204 0 no data no data
0.00/0.13 c asymm cl-useful: 0/3692/3692 lits-rem:0 time: 0.01
2.13/0.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 144 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
2.13/0.15 c Replacing 144 vars Replaced 2868 lits Time: 0.00 s
2.13/0.20 c blocked clauses removed: 0 vars: 0 tried: 888 T: 0.00 s
2.13/0.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.13/0.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.13/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 888 time: 0.00 s
2.13/0.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
3.52/0.24 c lits-rem: 0 cl-subs: 0 v-elim: 142 v-fix: 0 time: 0.01 s
3.52/0.24 c Finding binary XORs T: 0.00 s found: 0
3.52/0.24 c Finding non-binary XORs: 0.00 s (found: 386, avg size: 3.4)
3.52/0.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 34 locsubst: 0 time: 0.00
3.52/0.24 c calculated reachability. Time: 0.00
3.52/0.24 c Calc default polars - time: 0.00 s pos: 0 undec: 404 neg: 712
3.52/0.24 c =========================================================================================
3.52/0.24 c types(t): F = full restart, N = normal restart
3.52/0.24 c types(t): S = simplification begin/end, E = solution found
3.52/0.24 c restart types(rt): st = static, dy = dynamic
3.52/0.24 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.52/0.24 c B st 0 0 712 1580 40 0 7012 0 no data no data
3.52/0.35 c Decided on static restart strategy
3.52/0.77 c N st 8 4916 712 1580 51 4614 7012 125042 no data no data
48.41/1.67 c N st 10 11298 712 1580 127 4370 7012 68153 no data no data
76.51/2.50 c N st 11 17042 712 1580 127 9817 7012 276376 no data no data
76.51/2.50 c Finding binary XORs T: 0.00 s found: 66
76.51/2.52 c Replacing 66 vars Replaced 9977 lits Time: 0.01 s
111.67/3.67 c F st 12 25001 646 1580 9 12090 6938 327620 no data no data
111.67/3.67 c N st 12 25001 646 1580 9 12090 6938 327620 no data no data
134.03/4.37 c Decided on static restart strategy
134.03/4.37 c N st 18 30000 646 1580 18 10628 6938 248957 no data no data
134.03/4.37 c S st 18 30000 646 1580 18 10628 6938 248957 no data no data
137.24/4.41 c S st 18 30500 646 1580 19 11098 6938 256834 no data no data
137.24/4.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
137.24/4.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
137.24/4.42 c Replacing 7 vars Replaced 2947 lits Time: 0.01 s
137.24/4.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
137.24/4.42 c bin-w-bin subsume rem 0 bins time: 0.00 s
137.24/4.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
137.24/4.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 639 time: 0.00 s
137.24/4.42 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
137.24/4.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
137.24/4.44 c subs with bin: 1 lits-rem: 3 v-fix: 0 time: 0.00 s
143.63/4.65 c lits-rem: 1691 cl-subs: 1086 v-elim: 0 v-fix: 0 time: 0.21 s
143.63/4.66 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
143.63/4.66 c calculated reachability. Time: 0.00
143.63/4.66 c N st 18 30500 639 1580 5 10009 6934 227248 no data no data
175.59/5.64 c N st 20 37610 639 1580 7 9377 6934 153359 no data no data
207.55/6.65 c N st 21 44009 639 1580 7 15412 6934 351313 no data no data
217.13/6.97 c S st 22 45751 639 1580 8 17092 6934 412617 no data no data
220.92/7.04 c S st 22 46253 639 1580 8 9228 6934 119779 no data no data
220.92/7.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
220.92/7.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
220.92/7.05 c Replacing 3 vars Replaced 71 lits Time: 0.00 s
220.92/7.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
220.92/7.05 c bin-w-bin subsume rem 0 bins time: 0.00 s
220.92/7.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
220.92/7.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 636 time: 0.00 s
220.92/7.05 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
220.92/7.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
220.92/7.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
220.92/7.08 c lits-rem: 253 cl-subs: 166 v-elim: 0 v-fix: 0 time: 0.02 s
220.92/7.08 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
220.92/7.08 c vivif2 -- cl tried 9062 cl shrink 0 lits rem 0 time: 0.00
220.92/7.08 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
220.92/7.08 c calculated reachability. Time: 0.00
220.92/7.08 c N st 22 46253 636 1580 2 9062 6932 116728 no data no data
287.45/9.16 c N st 23 60653 636 1580 2 13384 6932 233834 no data no data
348.18/11.02 c N st 24 69380 636 1580 3 11400 6932 148433 no data no data
348.18/11.02 c S st 24 69380 636 1580 3 11400 6932 148433 no data no data
348.18/11.02 c Finding binary XORs T: 0.00 s found: 1
348.18/11.07 c S st 24 69884 636 1580 3 11884 6932 158186 no data no data
348.18/11.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
348.18/11.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
348.18/11.08 c Replacing 1 vars Replaced 23 lits Time: 0.00 s
348.18/11.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
348.18/11.08 c bin-w-bin subsume rem 0 bins time: 0.00 s
348.18/11.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
348.18/11.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 635 time: 0.00 s
348.18/11.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
348.18/11.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
348.18/11.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
351.37/11.12 c lits-rem: 569 cl-subs: 138 v-elim: 0 v-fix: 0 time: 0.03 s
351.37/11.12 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
351.37/11.12 c vivif2 -- cl tried 11746 cl shrink 0 lits rem 0 time: 0.00
351.37/11.13 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.00
351.37/11.13 c calculated reachability. Time: 0.00
351.37/11.13 c N st 24 69884 635 1580 1 11746 6932 155814 no data no data
453.65/14.30 c F st 25 87500 635 1580 1 17173 6932 301760 no data no data
453.65/14.30 c N st 25 87500 635 1580 1 17173 6932 301760 no data no data
482.43/15.22 c Decided on static restart strategy
502.21/15.86 c N st 32 95538 635 1580 2 24888 6932 583971 no data no data
559.15/17.63 c N st 34 104828 635 1580 3 21469 6932 496759 no data no data
559.15/17.63 c S st 34 104828 635 1580 3 21469 6932 496759 no data no data
562.34/17.70 c S st 34 105332 635 1580 4 21962 6932 508275 no data no data
562.34/17.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
562.34/17.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
562.34/17.72 c Replacing 2 vars Replaced 563 lits Time: 0.00 s
562.34/17.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
562.34/17.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
562.34/17.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
562.34/17.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 633 time: 0.00 s
562.34/17.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
562.34/17.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
562.34/17.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
581.51/18.30 c lits-rem: 1278 cl-subs: 842 v-elim: 0 v-fix: 0 time: 0.54 s
581.51/18.30 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
581.51/18.31 c vivif2 -- cl tried 21120 cl shrink 0 lits rem 0 time: 0.01
581.51/18.32 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
581.51/18.32 c calculated reachability. Time: 0.00
581.51/18.32 c N st 34 105332 633 1580 0 21120 6932 481893 no data no data
642.85/20.23 c N st 35 114930 633 1580 0 16813 6932 258713 no data no data
731.76/23.05 c N st 36 129329 633 1580 1 16306 6932 215327 no data no data
888.96/27.95 c N st 37 150925 633 1580 1 21615 6932 396840 no data no data
936.31/29.44 c S st 38 157998 633 1580 1 28235 6932 607552 no data no data
939.54/29.54 c S st 38 158502 633 1580 1 28721 6932 616899 no data no data
939.54/29.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
939.54/29.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
939.54/29.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
939.54/29.56 c bin-w-bin subsume rem 0 bins time: 0.00 s
939.54/29.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
939.54/29.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 633 time: 0.00 s
939.54/29.56 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
939.54/29.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
942.71/29.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
997.68/31.38 c lits-rem: 1286 cl-subs: 3734 v-elim: 0 v-fix: 0 time: 1.77 s
997.68/31.38 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
997.68/31.38 c vivif2 -- cl tried 24987 cl shrink 0 lits rem 0 time: 0.01
997.68/31.40 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
997.68/31.40 c calculated reachability. Time: 0.00
997.68/31.40 c N st 38 158502 633 1580 1 24987 6932 512822 no data no data
1393.40/43.75 c N st 39 207092 633 1580 1 20010 6932 274138 no data no data
1652.32/51.85 c N st 40 237753 633 1580 2 30125 6932 603682 no data no data
1652.32/51.85 c S st 40 237753 633 1580 2 30125 6932 603682 no data no data
1655.53/51.98 c S st 40 238255 633 1580 2 30617 6932 614012 no data no data
1655.53/51.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1655.53/52.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
1658.72/52.00 c Replacing 1 vars Replaced 14 lits Time: 0.00 s
1658.72/52.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1658.72/52.00 c bin-w-bin subsume rem 0 bins time: 0.00 s
1658.72/52.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1658.72/52.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
1658.72/52.00 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1658.72/52.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1658.72/52.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1748.21/54.82 c lits-rem: 718 cl-subs: 5899 v-elim: 0 v-fix: 0 time: 2.77 s
1748.21/54.82 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
1748.21/54.82 c vivif2 -- cl tried 24718 cl shrink 0 lits rem 0 time: 0.01
1748.21/54.83 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
1748.21/54.84 c calculated reachability. Time: 0.00
1748.21/54.84 c N st 40 238255 632 1580 0 24718 6932 445602 no data no data
2400.91/75.25 c F st 41 306250 632 1580 0 26826 6932 442093 no data no data
2400.91/75.25 c N st 41 306250 632 1580 0 26826 6932 442093 no data no data
2436.07/76.40 c Decided on static restart strategy
2643.18/82.82 c N st 51 334557 632 1580 0 31111 6932 610973 no data no data
2828.57/88.61 c N st 53 357382 632 1580 0 29233 6932 495603 no data no data
2828.57/88.61 c S st 53 357382 632 1580 0 29233 6932 495603 no data no data
2831.76/88.74 c S st 53 357887 632 1580 0 29727 6932 506173 no data no data
2831.76/88.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2831.76/88.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
2831.76/88.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2831.76/88.75 c bin-w-bin subsume rem 0 bins time: 0.00 s
2831.76/88.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2831.76/88.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
2831.76/88.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2831.76/88.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
2831.76/88.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2854.15/89.51 c lits-rem: 637 cl-subs: 1839 v-elim: 0 v-fix: 0 time: 0.71 s
2854.15/89.51 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
2857.97/89.52 c vivif2 -- cl tried 27888 cl shrink 0 lits rem 0 time: 0.01
2857.97/89.53 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.01
2857.97/89.53 c calculated reachability. Time: 0.00
2857.97/89.53 c N st 53 357887 632 1580 0 27888 6932 453959 no data no data
3180.19/99.65 c N st 54 390281 632 1580 0 33802 6932 636613 no data no data
3640.46/114.05 c N st 55 438872 632 1580 0 27739 6932 372028 no data no data
4426.81/138.65 c N st 56 511754 632 1580 0 41793 6932 870860 no data no data
4708.06/147.41 c N st 57 536830 632 1580 0 35800 6932 583408 no data no data
4708.06/147.41 c S st 57 536830 632 1580 0 35800 6932 583408 no data no data
4711.26/147.54 c S st 57 537333 632 1580 0 36289 6932 594284 no data no data
4711.26/147.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
4711.26/147.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
4711.26/147.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4711.26/147.56 c bin-w-bin subsume rem 0 bins time: 0.00 s
4711.26/147.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4711.26/147.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
4711.26/147.56 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
4711.26/147.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
4714.46/147.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4746.42/148.63 c lits-rem: 848 cl-subs: 2552 v-elim: 0 v-fix: 0 time: 1.02 s
4746.42/148.63 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
4746.42/148.64 c vivif2 -- cl tried 33737 cl shrink 0 lits rem 0 time: 0.01
4746.42/148.66 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.02
4746.42/148.66 c calculated reachability. Time: 0.00
4746.42/148.66 c N st 57 537333 632 1580 0 33737 6932 524257 no data no data
6651.50/208.24 c N st 58 701317 632 1580 0 62570 6932 1404713 no data no data
7878.95/246.66 c N st 59 805999 632 1580 0 56165 6932 1129513 no data no data
7878.95/246.66 c S st 59 805999 632 1580 0 56165 6932 1129513 no data no data
7889.17/246.95 c S st 59 806500 632 1580 0 56659 6932 1140840 no data no data
7889.17/246.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
7889.17/246.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.03
7889.17/246.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7889.17/246.99 c bin-w-bin subsume rem 0 bins time: 0.00 s
7889.17/246.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
7889.17/246.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
7889.17/246.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
7891.73/247.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
7891.73/247.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8182.59/256.17 c lits-rem: 1317 cl-subs: 10247 v-elim: 0 v-fix: 0 time: 9.07 s
8182.59/256.17 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
8182.59/256.18 c vivif2 -- cl tried 46412 cl shrink 0 lits rem 0 time: 0.02
8185.79/256.21 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.03
8185.79/256.21 c calculated reachability. Time: 0.00
8185.79/256.21 c N st 59 806500 632 1580 0 46412 6932 867404 no data no data
11638.00/364.20 c F st 60 1071875 632 1580 0 62247 6932 1245899 no data no data
11638.00/364.20 c N st 60 1071875 632 1580 0 62247 6932 1245899 no data no data
11708.33/366.41 c Decided on static restart strategy
12070.13/377.78 c N st 70 1100181 632 1580 0 46587 6932 699227 no data no data
12664.08/396.30 c N st 72 1136174 632 1580 0 81026 6932 1967289 no data no data
13111.56/410.32 c N st 73 1168567 632 1580 0 68128 6932 1478328 no data no data
13763.67/430.77 c N st 74 1209751 632 1580 0 62533 6932 1214892 no data no data
13763.67/430.77 c S st 74 1209751 632 1580 0 62533 6932 1214892 no data no data
13776.43/431.16 c S st 74 1210252 632 1580 0 63018 6932 1225253 no data no data
13776.43/431.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
13779.63/431.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.06
13779.63/431.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13779.63/431.23 c bin-w-bin subsume rem 0 bins time: 0.00 s
13779.63/431.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
13779.63/431.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
13779.63/431.23 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
13779.63/431.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
13782.82/431.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
14044.94/439.51 c lits-rem: 1819 cl-subs: 6768 v-elim: 0 v-fix: 0 time: 8.16 s
14044.94/439.51 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
14044.94/439.53 c vivif2 -- cl tried 56250 cl shrink 0 lits rem 0 time: 0.02
14044.94/439.58 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.05
14044.94/439.58 c calculated reachability. Time: 0.00
14044.94/439.58 c N st 74 1210252 632 1580 0 56250 6932 1044625 no data no data
15134.95/473.60 c N st 75 1283136 632 1580 0 80049 6932 1769236 no data no data
16730.00/523.50 c N st 76 1392461 632 1580 0 89999 6932 2104237 no data no data
19696.32/616.37 c N st 77 1556446 632 1580 0 96157 6932 2247087 no data no data
22513.06/704.47 c N st 78 1710253 632 1580 0 86497 6932 1826178 no data no data
22513.06/704.47 c S st 78 1710253 632 1580 0 86497 6932 1826178 no data no data
22528.41/704.93 c S st 78 1710758 632 1580 0 86985 6932 1836659 no data no data
22528.41/704.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
22531.61/705.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.08
22531.61/705.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22531.61/705.02 c bin-w-bin subsume rem 0 bins time: 0.00 s
22531.61/705.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
22531.61/705.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
22531.61/705.02 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
22531.61/705.06 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
22534.81/705.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
24523.00/767.33 c lits-rem: 2074 cl-subs: 20030 v-elim: 0 v-fix: 0 time: 62.13 s
24523.00/767.33 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
24523.00/767.36 c vivif2 -- cl tried 66955 cl shrink 0 lits rem 0 time: 0.03
24526.20/767.41 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.05
24526.20/767.41 c calculated reachability. Time: 0.00
24526.20/767.41 c N st 78 1710758 632 1580 0 66955 6932 1307467 no data no data
31539.30/986.80 c N st 79 2079722 632 1580 0 79458 6932 1501048 no data no data
34038.93/1065.03 c N st 80 2210758 632 1580 0 83609 6932 1638054 no data no data
34038.93/1065.03 c S st 80 2210758 632 1580 0 83609 6932 1638054 no data no data
34058.10/1065.66 c S st 80 2211261 632 1580 0 84102 6932 1649939 no data no data
34058.10/1065.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
34061.30/1065.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.10
34061.30/1065.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
34061.30/1065.78 c bin-w-bin subsume rem 0 bins time: 0.00 s
34061.30/1065.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
34061.30/1065.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
34061.30/1065.78 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
34064.50/1065.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
34067.69/1065.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
35017.04/1095.65 c lits-rem: 1713 cl-subs: 10240 v-elim: 0 v-fix: 0 time: 29.71 s
35017.04/1095.66 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
35017.04/1095.69 c vivif2 -- cl tried 73862 cl shrink 0 lits rem 0 time: 0.03
35020.24/1095.77 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
35020.24/1095.77 c calculated reachability. Time: 0.00
35020.24/1095.77 c N st 80 2211261 632 1580 0 73862 6932 1370086 no data no data
45322.52/1418.03 c N st 81 2711262 632 1580 0 96108 6932 1870140 no data no data
45322.52/1418.03 c S st 81 2711262 632 1580 0 96108 6932 1870140 no data no data
45348.09/1418.82 c S st 81 2711766 632 1580 0 96594 6932 1880836 no data no data
45348.09/1418.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
45351.29/1418.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.11
45351.29/1418.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45351.29/1418.94 c bin-w-bin subsume rem 0 bins time: 0.00 s
45351.29/1418.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
45351.29/1418.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
45351.29/1418.94 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
45351.29/1418.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
45357.68/1419.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
46991.07/1470.25 c lits-rem: 1113 cl-subs: 15582 v-elim: 0 v-fix: 0 time: 51.12 s
46991.07/1470.25 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
46991.07/1470.29 c vivif2 -- cl tried 81012 cl shrink 0 lits rem 0 time: 0.04
46994.27/1470.39 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.10
46994.27/1470.39 c calculated reachability. Time: 0.00
46994.27/1470.39 c N st 81 2711766 632 1580 0 81012 6932 1498866 no data no data
57552.50/1800.72 c N st 82 3211766 632 1580 0 130243 6932 2735258 no data no data
57552.50/1800.72 c S st 82 3211766 632 1580 0 130243 6932 2735258 no data no data
57574.87/1801.42 c S st 82 3212270 632 1580 0 130735 6932 2746373 no data no data
57574.87/1801.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
57578.06/1801.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.11
57578.06/1801.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
57578.06/1801.55 c bin-w-bin subsume rem 0 bins time: 0.00 s
57578.06/1801.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
57578.06/1801.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
57578.06/1801.55 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
57581.26/1801.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
57587.65/1801.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
64556.02/2019.85 c lits-rem: 2476 cl-subs: 37881 v-elim: 0 v-fix: 0 time: 218.00 s
64556.02/2019.85 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
64556.02/2019.89 c vivif2 -- cl tried 92854 cl shrink 0 lits rem 0 time: 0.04
64559.22/2019.97 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
64559.22/2019.97 c calculated reachability. Time: 0.00
64559.22/2019.97 c N st 82 3212270 632 1580 0 92854 6932 1739002 no data no data
75516.79/2362.71 c N st 83 3712271 632 1580 0 111883 6932 2111388 no data no data
75516.79/2362.71 c S st 83 3712271 632 1580 0 111883 6932 2111388 no data no data
75539.80/2363.46 c S st 83 3712773 632 1580 0 112377 6932 2122992 no data no data
75539.80/2363.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
75542.33/2363.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.09
75542.33/2363.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
75542.33/2363.57 c bin-w-bin subsume rem 0 bins time: 0.00 s
75542.33/2363.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
75542.33/2363.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
75542.33/2363.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
75545.56/2363.62 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
75548.73/2363.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
78451.16/2454.51 c lits-rem: 898 cl-subs: 22906 v-elim: 0 v-fix: 0 time: 90.72 s
78451.16/2454.51 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
78451.16/2454.54 c vivif2 -- cl tried 89471 cl shrink 0 lits rem 0 time: 0.03
78451.16/2454.61 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.08
78454.93/2454.62 c calculated reachability. Time: 0.00
78454.93/2454.62 c N st 83 3712773 632 1580 0 89471 6932 1520860 no data no data
79179.93/2477.39 c F st 84 3751563 632 1580 0 126913 6932 2737331 no data no data
79179.93/2477.39 c N st 84 3751563 632 1580 0 126913 6932 2737331 no data no data
79279.05/2480.49 c Decided on static restart strategy
79752.12/2495.21 c N st 94 3779863 632 1580 0 154079 6932 3677641 no data no data
80372.23/2514.68 c N st 96 3815857 632 1580 0 109934 6932 2212431 no data no data
81040.29/2535.56 c N st 97 3848251 632 1580 0 140924 6932 3459377 no data no data
81890.59/2562.12 c N st 98 3896839 632 1580 0 107079 6932 2106158 no data no data
83536.76/2613.67 c N st 99 3969721 632 1580 0 93841 6932 1553052 no data no data
86148.30/2695.32 c N st 100 4079045 632 1580 0 116148 6932 2271376 no data no data
89338.37/2795.16 c N st 101 4212774 632 1580 0 158902 6932 3649345 no data no data
89338.37/2795.16 c S st 101 4212774 632 1580 0 158902 6932 3649345 no data no data
89379.93/2796.46 c S st 101 4213277 632 1580 0 159396 6932 3661266 no data no data
89379.93/2796.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
89386.32/2796.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.18
89386.32/2796.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
89386.32/2796.67 c bin-w-bin subsume rem 0 bins time: 0.00 s
89386.32/2796.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
89386.32/2796.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
89386.32/2796.67 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
89390.14/2796.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
89399.10/2797.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
98186.21/3071.95 c lits-rem: 2997 cl-subs: 35959 v-elim: 0 v-fix: 0 time: 274.89 s
98186.21/3071.95 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
98189.41/3072.02 c vivif2 -- cl tried 123437 cl shrink 0 lits rem 0 time: 0.07
98195.80/3072.21 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.18
98195.80/3072.21 c calculated reachability. Time: 0.00
98195.80/3072.21 c N st 101 4213277 632 1580 0 123437 6932 2734940 no data no data
105301.54/3294.52 c N st 102 4459254 632 1580 0 100441 6932 1652115 no data no data
111060.39/3474.73 c N st 103 4713277 632 1580 0 167164 6932 3780149 no data no data
111060.39/3474.73 c S st 103 4713277 632 1580 0 167164 6932 3780149 no data no data
111105.15/3476.13 c S st 103 4713779 632 1580 0 167648 6932 3791237 no data no data
111105.15/3476.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
111111.55/3476.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.15
111111.55/3476.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
111111.55/3476.31 c bin-w-bin subsume rem 0 bins time: 0.00 s
111111.55/3476.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
111111.55/3476.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
111111.55/3476.31 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
111111.55/3476.38 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
111121.76/3476.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
118527.38/3708.39 c lits-rem: 3983 cl-subs: 33907 v-elim: 0 v-fix: 0 time: 231.69 s
118527.38/3708.39 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
118530.58/3708.44 c vivif2 -- cl tried 133741 cl shrink 0 lits rem 0 time: 0.06
118533.77/3708.58 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.13
118533.77/3708.58 c calculated reachability. Time: 0.00
118533.77/3708.58 c N st 103 4713779 632 1580 0 133741 6932 2852659 no data no data
131163.58/4103.66 c N st 104 5213779 632 1580 0 152405 6932 3191024 no data no data
131163.58/4103.66 c S st 104 5213779 632 1580 0 152405 6932 3191024 no data no data
131191.73/4104.52 c S st 104 5214281 632 1580 0 152898 6932 3202464 no data no data
131191.73/4104.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
131195.52/4104.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.13
131195.52/4104.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
131195.52/4104.67 c bin-w-bin subsume rem 0 bins time: 0.00 s
131195.52/4104.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
131195.52/4104.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
131195.52/4104.67 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
131198.75/4104.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
131204.50/4104.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
137469.62/4300.97 c lits-rem: 2769 cl-subs: 32982 v-elim: 0 v-fix: 0 time: 195.98 s
137469.62/4300.97 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
137472.81/4301.02 c vivif2 -- cl tried 119916 cl shrink 0 lits rem 0 time: 0.05
137476.02/4301.14 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.11
137476.02/4301.14 c calculated reachability. Time: 0.00
137476.02/4301.14 c N st 104 5214281 632 1580 0 119916 6932 2384491 no data no data
152039.16/4756.78 c N st 105 5714281 632 1580 0 119037 6932 2027594 no data no data
152039.16/4756.78 c S st 105 5714281 632 1580 0 119037 6932 2027594 no data no data
152071.12/4757.74 c S st 105 5714785 632 1580 0 119531 6932 2039268 no data no data
152071.12/4757.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
152074.31/4757.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.13
152074.31/4757.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
152074.31/4757.89 c bin-w-bin subsume rem 0 bins time: 0.00 s
152074.31/4757.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
152074.31/4757.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 632 time: 0.00 s
152074.31/4757.89 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
152077.52/4757.95 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
152081.33/4758.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
153180.27/4792.41 c lits-rem: 894 cl-subs: 10264 v-elim: 0 v-fix: 0 time: 34.31 s
153180.27/4792.41 c vivif2 -- cl tried 1580 cl shrink 0 lits rem 0 time: 0.00
153180.27/4792.46 c vivif2 -- cl tried 109267 cl shrink 0 lits rem 0 time: 0.04
153183.47/4792.59 c asymm cl-useful: 0/1580/1580 lits-rem:0 time: 0.13
153183.47/4792.59 c calculated reachability. Time: 0.00
153183.47/4792.59 c N st 105 5714785 632 1580 0 109267 6932 1754995 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400833-1306892042/watcher-3400833-1306892042 -o /tmp/evaluation-result-3400833-1306892042/solver-3400833-1306892042 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400833-1306892042.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: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=338000 CPUtime=0.75 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 466 0 0 0 75 0 0 0 25 0 32 0 15170167 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/26458/statm: 84500 406 300 95 0 79482 0
[pid=26458/tid=26459] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009623 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338010034 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=338000 CPUtime=0 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009619 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=338000 CPUtime=0 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009616 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15170168 346112000 406 268435456000 4194304 4580107 140733205782160 18446744073709551615 47700338009625 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.133383 s]
/proc/loadavg: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=1394200 CPUtime=2.13 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) D 26456 26458 26316 0 -1 4202496 7371 0 0 0 140 73 0 0 17 0 32 0 15170167 1427660800 7199 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/26458/statm: 348550 7206 362 95 0 343532 0
[pid=26458/tid=26459] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 293 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7219 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 262 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7228 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604706669149664 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 176 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7235 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604683134811616 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 177 0 0 0 3 1 0 0 17 0 32 0 15170168 1427660800 7269 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604659615931872 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 222 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7272 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 215 0 0 0 3 2 0 0 17 0 32 0 15170168 1427660800 7281 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 178 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7288 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 279 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7288 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604699371830752 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 184 0 0 0 3 3 0 0 17 0 32 0 15170168 1427660800 7291 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604710274383328 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 257 0 0 0 3 1 0 0 17 0 32 0 15170168 1427660800 7298 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 193 0 0 0 2 2 0 0 17 0 32 0 15170168 1427660800 7299 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=1394200 CPUtime=0.04 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 154 0 0 0 2 2 0 0 17 0 32 0 15170168 1427660800 7304 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604645714845152 0 0 -1 19 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 217 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7319 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604514443132384 0 0 -1 15 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 206 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7324 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604683134811616 0 0 -1 11 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 299 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7341 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 219 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7343 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 210 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7345 268435456000 4194304 4580107 140733205782160 18446744073709551615 4504444 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 249 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7348 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 173 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7372 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 229 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7381 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604699371830752 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 187 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7381 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7394 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 184 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7398 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 207 0 0 0 4 2 0 0 17 0 32 0 15170168 1427660800 7400 268435456000 4194304 4580107 140733205782160 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 248 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7404 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604676170120672 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 248 0 0 0 5 2 0 0 17 0 32 0 15170168 1427660800 7416 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=1394200 CPUtime=0.06 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 258 0 0 0 5 1 0 0 17 0 32 0 15170168 1427660800 7425 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604443248500192 0 0 -1 26 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=1394200 CPUtime=0.02 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 198 0 0 0 0 2 0 0 17 0 32 0 15170168 1427660800 7429 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) D 26456 26458 26316 0 -1 4202560 304 0 0 0 3 2 0 0 17 0 32 0 15170168 1427660800 7430 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=1394200 CPUtime=0.07 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 259 0 0 0 4 3 0 0 17 0 32 0 15170168 1427660800 7439 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604653354261984 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=1394200 CPUtime=0.05 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 198 0 0 0 4 1 0 0 17 0 32 0 15170168 1427660800 7440 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446744071566924504 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1394200
[startup+0.209478 s]
/proc/loadavg: 29.81 31.65 31.91 1/413 26458
/proc/meminfo: memFree=263481032/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=1395696 CPUtime=3.52 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) D 26456 26458 26316 0 -1 4202496 11834 0 0 0 206 146 0 0 17 0 32 0 15170167 1429192704 11117 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/26458/statm: 348924 11159 376 95 0 343906 0
[pid=26458/tid=26459] ppid=26456 vsize=1395696 CPUtime=0.12 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 513 0 0 0 9 3 0 0 17 0 32 0 15170168 1429192704 11168 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 409 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11200 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 322 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11265 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=1395696 CPUtime=0.09 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 244 0 0 0 6 3 0 0 16 0 32 0 15170168 1429192704 11283 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 427 0 0 0 6 5 0 0 17 0 32 0 15170168 1429192704 11283 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604710252117472 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=1395696 CPUtime=0.09 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 265 0 0 0 5 4 0 0 17 0 32 0 15170168 1429192704 11288 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 249 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11295 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604680161279456 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 456 0 0 0 7 4 0 0 17 0 32 0 15170168 1429192704 11300 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 236 0 0 0 5 5 0 0 17 0 32 0 15170168 1429192704 11312 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 527 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11343 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=1395696 CPUtime=0.08 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 390 0 0 0 4 4 0 0 17 0 32 0 15170168 1429192704 11363 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604676170120672 0 0 -1 3 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=1395696 CPUtime=0.08 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 194 0 0 0 4 4 0 0 17 0 32 0 15170168 1429192704 11378 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604492094324192 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 414 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11378 268435456000 4194304 4580107 140733205782160 18446744073709551615 258650615891 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=1395696 CPUtime=0.1 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) S 26456 26458 26316 0 -1 4202560 394 0 0 0 6 4 0 0 17 0 32 0 15170168 1429192704 11384 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 18446604698757651936 0 0 -1 31 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 529 0 0 0 8 3 0 0 17 0 32 0 15170168 1429192704 11398 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=1395696 CPUtime=0.12 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 331 0 0 0 7 5 0 0 17 0 32 0 15170168 1429192704 11447 268435456000 4194304 4580107 140733205782160 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=1395696 CPUtime=0.11 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=257775892/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=8104496 CPUtime=158611 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 5881997 0 0 0 15856675 4435 0 0 25 0 32 0 15170167 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 2026124 1426025 378 95 0 2021106 0
[pid=26458/tid=26459] ppid=26456 vsize=8104496 CPUtime=4960.03 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 191264 0 0 0 495855 148 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8104496 CPUtime=4951.1 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 148604 0 0 0 494993 117 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8104496 CPUtime=4961.23 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 200981 0 0 0 495988 135 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8104496 CPUtime=4960.68 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 242641 0 0 0 495898 170 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 227593 0 0 0 495965 159 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 130198 0 0 0 496039 85 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8104496 CPUtime=4958.16 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181619 0 0 0 495686 130 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 151823 0 0 0 496024 101 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8104496 CPUtime=4960.8 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 160298 0 0 0 495950 130 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8104496 CPUtime=4954.84 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 189791 0 0 0 495303 181 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8104496 CPUtime=4961.2 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 212686 0 0 0 495960 160 0 0 25 0 32 0 15170168 8299003904 1426025 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8104496 CPUtime=4960.88 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 168991 0 0 0 495957 131 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8104496 CPUtime=4961.23 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 201593 0 0 0 495971 152 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295507 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8104496 CPUtime=4959.98 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181373 0 0 0 495864 134 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 233576 0 0 0 495947 178 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=8104496 CPUtime=4961.22 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 195045 0 0 0 495976 146 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=8104496 CPUtime=4961.21 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 138993 0 0 0 496018 103 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 126488 0 0 0 496027 98 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=8104496 CPUtime=4888.64 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208795 0 0 0 488692 172 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 161541 0 0 0 495998 126 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4305192 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 173141 0 0 0 495997 128 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=8104496 CPUtime=4961.06 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 174947 0 0 0 495977 129 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=8104496 CPUtime=4961.03 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204546 0 0 0 495943 160 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=8104496 CPUtime=4961.19 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 252726 0 0 0 495920 199 0 0 25 0 32 0 15170168 8299003904 1426026 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=8104496 CPUtime=4961.12 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 145921 0 0 0 496009 103 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=8104496 CPUtime=4961.25 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 253105 0 0 0 495931 194 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=8104496 CPUtime=4909.6 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208878 0 0 0 490804 156 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=8104496 CPUtime=4961.19 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 136064 0 0 0 496016 103 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=8104496 CPUtime=4961.16 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 177815 0 0 0 495984 132 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 194362 0 0 0 495991 133 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=8104496 CPUtime=4961.24 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 111132 0 0 0 496044 80 0 0 25 0 32 0 15170168 8299003904 1426027 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158611
Current children cumulated vsize (KiB) 8104496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.8 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=8169548 CPUtime=160002 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) R 26456 26458 26316 0 -1 4202496 5910556 0 0 0 15995758 4461 0 0 25 0 32 0 15170167 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 2042387 1435872 378 95 0 2037369 0
[pid=26458/tid=26459] ppid=26456 vsize=8169548 CPUtime=5003.54 cores=0-31
/proc/26458/task/26459/stat : 26459 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 191264 0 0 0 500206 148 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26458/tid=26460] ppid=26456 vsize=8169548 CPUtime=4994.61 cores=0-31
/proc/26458/task/26460/stat : 26460 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 148878 0 0 0 499344 117 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=26458/tid=26461] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26461/stat : 26461 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 200981 0 0 0 500340 135 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26458/tid=26462] ppid=26456 vsize=8169548 CPUtime=5004.2 cores=0-31
/proc/26458/task/26462/stat : 26462 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 244255 0 0 0 500248 172 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26458/tid=26463] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26463/stat : 26463 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 227593 0 0 0 500316 159 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26458/tid=26464] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26464/stat : 26464 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 130832 0 0 0 500390 85 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26458/tid=26465] ppid=26456 vsize=8169548 CPUtime=5001.64 cores=0-31
/proc/26458/task/26465/stat : 26465 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 182418 0 0 0 500033 131 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26458/tid=26466] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26466/stat : 26466 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 154708 0 0 0 500373 103 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26458/tid=26467] ppid=26456 vsize=8169548 CPUtime=5004.31 cores=0-31
/proc/26458/task/26467/stat : 26467 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 160673 0 0 0 500301 130 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26458/tid=26468] ppid=26456 vsize=8169548 CPUtime=4998.35 cores=0-31
/proc/26458/task/26468/stat : 26468 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 192435 0 0 0 499651 184 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26458/tid=26469] ppid=26456 vsize=8169548 CPUtime=5004.72 cores=0-31
/proc/26458/task/26469/stat : 26469 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 213810 0 0 0 500310 162 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26458/tid=26470] ppid=26456 vsize=8169548 CPUtime=5004.4 cores=0-31
/proc/26458/task/26470/stat : 26470 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 169474 0 0 0 500308 132 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26458/tid=26471] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26471/stat : 26471 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 203149 0 0 0 500321 154 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26458/tid=26472] ppid=26456 vsize=8169548 CPUtime=5003.49 cores=0-31
/proc/26458/task/26472/stat : 26472 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 181373 0 0 0 500215 134 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26458/tid=26473] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26473/stat : 26473 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 233576 0 0 0 500298 178 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26458/tid=26474] ppid=26456 vsize=8169548 CPUtime=5004.73 cores=0-31
/proc/26458/task/26474/stat : 26474 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 196275 0 0 0 500326 147 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26458/tid=26475] ppid=26456 vsize=8169548 CPUtime=5004.73 cores=0-31
/proc/26458/task/26475/stat : 26475 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 138993 0 0 0 500370 103 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26458/tid=26476] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26476/stat : 26476 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 129856 0 0 0 500375 100 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=8169548 CPUtime=4930.9 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 209208 0 0 0 492917 173 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26458/tid=26478] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26478/stat : 26478 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 161541 0 0 0 500349 126 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26458/tid=26479] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26479/stat : 26479 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 174228 0 0 0 500347 129 0 0 25 0 32 0 15170168 8365617152 1435872 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26458/tid=26480] ppid=26456 vsize=8169548 CPUtime=5004.57 cores=0-31
/proc/26458/task/26480/stat : 26480 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 176077 0 0 0 500327 130 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26458/tid=26481] ppid=26456 vsize=8169548 CPUtime=5004.54 cores=0-31
/proc/26458/task/26481/stat : 26481 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 204546 0 0 0 500294 160 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26458/tid=26482] ppid=26456 vsize=8169548 CPUtime=5004.7 cores=0-31
/proc/26458/task/26482/stat : 26482 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 253899 0 0 0 500270 200 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=26458/tid=26483] ppid=26456 vsize=8169548 CPUtime=5004.64 cores=0-31
/proc/26458/task/26483/stat : 26483 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 145921 0 0 0 500361 103 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26458/tid=26484] ppid=26456 vsize=8169548 CPUtime=5004.76 cores=0-31
/proc/26458/task/26484/stat : 26484 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 254020 0 0 0 500282 194 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26458/tid=26485] ppid=26456 vsize=8169548 CPUtime=4953.11 cores=0-31
/proc/26458/task/26485/stat : 26485 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 208878 0 0 0 495155 156 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26458/tid=26486] ppid=26456 vsize=8169548 CPUtime=5004.71 cores=0-31
/proc/26458/task/26486/stat : 26486 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 139182 0 0 0 500365 106 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26458/tid=26487] ppid=26456 vsize=8169548 CPUtime=5004.67 cores=0-31
/proc/26458/task/26487/stat : 26487 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 180494 0 0 0 500334 133 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26458/tid=26488] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26488/stat : 26488 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 194708 0 0 0 500342 133 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26458/tid=26489] ppid=26456 vsize=8169548 CPUtime=5004.75 cores=0-31
/proc/26458/task/26489/stat : 26489 (strangenight2-m) R 26456 26458 26316 0 -1 4202560 111208 0 0 0 500395 80 0 0 25 0 32 0 15170168 8365617152 1435873 268435456000 4194304 4580107 140733205782160 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 8169548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=0 CPUtime=160003 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) Z 26456 26458 26316 0 -1 4203548 5910557 0 0 0 15995780 4479 0 0 25 0 2 0 15170167 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 0 0 0 0 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=0 CPUtime=4931.07 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4203588 209208 0 0 0 492917 190 0 0 25 0 2 0 15170168 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5006.2 s]
/proc/loadavg: 32.04 32.07 32.05 33/445 27116
/proc/meminfo: memFree=257737652/264257624 swapFree=67044780/67111528
[pid=26458] ppid=26456 vsize=0 CPUtime=160003 cores=0-31
/proc/26458/stat : 26458 (strangenight2-m) Z 26456 26458 26316 0 -1 4203548 5910557 0 0 0 15995780 4498 0 0 25 0 2 0 15170167 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26458/statm: 0 0 0 0 0 0 0
[pid=26458/tid=26477] ppid=26456 vsize=0 CPUtime=4931.27 cores=0-31
/proc/26458/task/26477/stat : 26477 (strangenight2-m) R 26456 26458 26316 0 -1 4203588 209208 0 0 0 492917 210 0 0 25 0 2 0 15170168 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.24
CPU time (s): 160003
CPU user time (s): 159958
CPU system time (s): 45.0282
CPU usage (%): 3196.07
Max. virtual memory (cumulated for all children) (KiB): 8366704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159958
system time used= 45.0282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5910557
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= 67482
involuntary context switches= 352263
runsolver used 29.2695 second user time and 112.081 second system time
The end
Begin job on node200 at 2011-06-01 03:34:02
IDJOB=3400833
IDBENCH=83430
IDSOLVER=1886
FILE ID=node200/3400833-1306892042
RUNJOBID= node200-1306892039-26330
PBS_JOBID= 13471400
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400833-1306892042/watcher-3400833-1306892042 -o /tmp/evaluation-result-3400833-1306892042/solver-3400833-1306892042 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400833-1306892042.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3f4ea4cf17e734bbe947db7c1dc9fde7
RANDOM SEED=1700729831
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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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 : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263481436 kB
Buffers: 166352 kB
Cached: 409744 kB
SwapCached: 29976 kB
Active: 143900 kB
Inactive: 464564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263481436 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5852 kB
Writeback: 0 kB
AnonPages: 29192 kB
Mapped: 7744 kB
Slab: 75384 kB
PageTables: 5908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188204 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= 61572 MiB
End job on node200 at 2011-06-01 04:57:30