0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
1.44/0.09 c This is CryptoMiniSat 3.0.0
1.44/0.09 c WARNING: for repeatability, setting FPU to use double precision
1.44/0.09 c Reading file 'HOME/instance-3400811-1306820669.cnf'
3.08/0.12 c -- header says num vars: 40286
3.08/0.12 c -- header says num clauses: 134663
22.01/1.15 c -- clauses added: 0 learnts, 134663 normals, 0 xors
22.01/1.15 c -- vars added 40286
22.01/1.15 c Parsing time: 0.18 s
22.01/1.15 c N st 0 0 40286 64540 61901 0 324131 0 no data no data
71.34/2.72 c asymm cl-useful: 8/41688/64540 lits-rem:89 time: 1.57
285.86/15.69 c Flit: 77 Blit: 3602 bXBeca: 0 bXProp: 6566 Bins: 0 BRemL: 0 BRemN: 0 P: 46.5M T: 6.02
288.77/15.70 c Cleaning up after failed var search: 0.01 s
291.14/15.84 c Replacing 6566 vars Replaced 182598 lits Time: 0.04 s
293.44/15.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
293.44/15.96 c bin-w-bin subsume rem 797 bins time: 0.01 s
293.44/15.98 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
295.60/16.05 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 28162 time: 0.05 s
295.60/16.09 c Removed useless bin: 44 fixed: 0 props: 4.21M time: 0.04 s
311.58/16.86 c lits-rem: 0 cl-subs: 240 v-elim: 9387 v-fix: 0 time: 0.27 s
316.51/17.03 c Finding binary XORs T: 0.17 s found: 19
316.51/17.05 c Replacing 19 vars Replaced 232 lits Time: 0.01 s
319.56/17.17 c Finding non-binary XORs: 0.07 s (found: 9044, avg size: 3.0)
319.56/17.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1457 locsubst: 5778 time: 0.04
319.56/17.18 c Replacing 2889 vars Replaced 17334 lits Time: 0.01 s
319.56/17.20 c calculated reachability. Time: 0.01
322.72/17.20 c Calc default polars - time: 0.01 s pos: 1795 undec: 25928 neg: 12563
322.72/17.20 c =========================================================================================
322.72/17.20 c types(t): F = full restart, N = normal restart
322.72/17.20 c types(t): S = simplification begin/end, E = solution found
322.72/17.20 c restart types(rt): st = static, dy = dynamic
322.72/17.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
322.72/17.20 c B st 0 0 14410 23624 18787 0 155599 0 no data no data
341.81/17.80 c Decided on static restart strategy
360.99/18.47 c N st 8 4915 14405 23624 18884 4720 155599 179650 no data no data
408.90/19.95 c N st 10 11297 14405 23624 20476 10887 155599 431401 no data no data
412.10/20.03 c Finding binary XORs T: 0.07 s found: 5
450.45/21.20 c N st 11 17040 14375 23616 20076 16417 154730 597726 no data no data
527.08/23.65 c F st 12 25001 14365 23616 20925 14735 154730 683981 no data no data
527.08/23.67 c Replacing 5 vars Replaced 42 lits Time: 0.01 s
527.08/23.70 c N st 12 25001 14362 23613 20816 14730 154496 683944 no data no data
530.27/23.78 c Finding binary XORs T: 0.07 s found: 3
571.84/25.06 c Decided on static restart strategy
571.84/25.06 c N st 18 30002 14357 23613 21242 19639 154392 907897 no data no data
571.84/25.06 c S st 18 30002 14357 23613 21242 19639 154392 907897 no data no data
582.02/25.32 c S st 18 30503 14353 23613 21272 20106 154392 916032 no data no data
582.02/25.35 c x-sub: 2889 x-cut: 0 vfix: 0 v-elim: 720 locsubst: 0 time: 0.03
632.53/26.93 c Flit: 70 Blit: 9 bXBeca: 0 bXProp: 22 Bins: 205786 BRemL: 138051 BRemN: 10 P: 12.6M T: 1.56
632.53/26.96 c Replacing 25 vars Replaced 2761 lits Time: 0.03 s
632.53/26.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
632.53/26.99 c bin-w-bin subsume rem 537 bins time: 0.01 s
635.72/27.01 c subs with bin: 883 lits-rem: 563 v-fix: 0 time: 0.02 s
635.72/27.05 c Subs w/ non-existent bins: 0 l-rem: 10 v-fix: 0 done: 13529 time: 0.04 s
635.72/27.06 c Removed useless bin: 61 fixed: 0 props: 0.45M time: 0.01 s
638.92/27.14 c lits-rem: 257 cl-subs: 252 v-elim: 2007 v-fix: 0 time: 0.07 s
638.92/27.19 c subs with bin: 60 lits-rem: 420 v-fix: 0 time: 0.03 s
642.11/27.24 c lits-rem: 232 cl-subs: 305 v-elim: 0 v-fix: 0 time: 0.03 s
658.06/27.71 c asymm cl-useful: 227/23047/23047 lits-rem:937 time: 0.47
658.06/27.73 c calculated reachability. Time: 0.01
658.06/27.73 c N st 18 30503 11522 23047 73942 5278 136489 214407 no data no data
661.26/27.81 c Finding binary XORs T: 0.08 s found: 0
711.33/29.44 c N st 20 37617 11522 23047 74130 12283 136489 685959 no data no data
748.54/31.01 c N st 21 44016 11521 23047 74130 10767 136489 688303 no data no data
752.35/31.28 c Finding binary XORs T: 0.06 s found: 1
760.19/31.61 c S st 22 45755 11513 23022 177870 12487 136298 1018320 no data no data
762.16/31.76 c S st 22 46257 11513 23022 177872 12986 136298 1027988 no data no data
762.16/31.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 360 locsubst: 0 time: 0.02
778.66/32.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 39 BRemL: 80990 BRemN: 0 P: 5.3M T: 0.78
778.66/32.59 c Replacing 1 vars Replaced 99 lits Time: 0.02 s
780.84/32.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
780.84/32.62 c bin-w-bin subsume rem 761 bins time: 0.01 s
780.84/32.64 c subs with bin: 59 lits-rem: 167 v-fix: 0 time: 0.02 s
780.84/32.67 c Subs w/ non-existent bins: 0 l-rem: 5 v-fix: 0 done: 11152 time: 0.03 s
780.84/32.68 c Removed useless bin: 96 fixed: 0 props: 0.33M time: 0.01 s
783.01/32.71 c lits-rem: 0 cl-subs: 41 v-elim: 55 v-fix: 0 time: 0.03 s
783.01/32.79 c subs with bin: 10 lits-rem: 791 v-fix: 0 time: 0.06 s
785.28/32.85 c lits-rem: 190 cl-subs: 148 v-elim: 0 v-fix: 0 time: 0.05 s
785.28/32.86 c vivif2 -- cl tried 22922 cl shrink 123 lits rem 276 time: 0.01
785.28/32.88 c vivif2 -- cl tried 8069 cl shrink 399 lits rem 1189 time: 0.01
797.47/33.32 c asymm cl-useful: 78/22890/22890 lits-rem:223 time: 0.44
797.47/33.33 c calculated reachability. Time: 0.01
797.47/33.33 c N st 22 46257 11097 22890 89859 8068 134418 337585 no data no data
928.65/37.61 c N st 23 60657 11097 22890 89862 22249 134418 1960949 no data no data
931.86/37.72 c Finding binary XORs T: 0.06 s found: 0
1021.35/40.51 c N st 24 69386 11091 22877 110237 18652 134319 1255368 no data no data
1021.35/40.51 c S st 24 69386 11091 22877 110237 18652 134319 1255368 no data no data
1028.36/40.74 c S st 24 69887 11091 22877 110460 19145 134319 1265963 no data no data
1028.36/40.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 180 locsubst: 0 time: 0.02
1050.10/41.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 2336 BRemL: 39474 BRemN: 35 P: 8.2M T: 0.66
1050.10/41.43 c Replacing 9 vars Replaced 199 lits Time: 0.01 s
1050.10/41.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1050.10/41.46 c bin-w-bin subsume rem 20249 bins time: 0.01 s
1050.10/41.48 c subs with bin: 49 lits-rem: 50 v-fix: 0 time: 0.02 s
1053.29/41.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10902 time: 0.02 s
1053.29/41.52 c Removed useless bin: 1 fixed: 0 props: 0.43M time: 0.01 s
1053.29/41.56 c lits-rem: 0 cl-subs: 85 v-elim: 50 v-fix: 0 time: 0.04 s
1066.05/41.92 c subs with bin: 2 lits-rem: 12 v-fix: 0 time: 0.28 s
1082.04/42.44 c lits-rem: 1464 cl-subs: 562 v-elim: 0 v-fix: 0 time: 0.51 s
1082.04/42.45 c vivif2 -- cl tried 22748 cl shrink 52 lits rem 64 time: 0.01
1085.22/42.51 c vivif2 -- cl tried 15605 cl shrink 1956 lits rem 8244 time: 0.06
1098.63/42.97 c asymm cl-useful: 310/21713/22747 lits-rem:809 time: 0.47
1098.63/42.99 c calculated reachability. Time: 0.01
1098.63/42.99 c N st 24 69887 10852 22561 52751 15605 132780 863371 no data no data
1372.86/51.52 c F st 25 87500 10852 22561 52751 16990 132779 859735 no data no data
1372.86/51.53 c N st 25 87500 10852 22561 52751 16990 132779 859735 no data no data
1372.86/51.61 c Finding binary XORs T: 0.06 s found: 98
1414.98/52.83 c Decided on static restart strategy
1443.16/53.74 c N st 32 95541 10846 22544 52399 24937 132594 1715620 no data no data
1520.46/56.17 c N st 34 104834 10842 22544 54149 34025 132594 2545024 no data no data
1520.46/56.17 c S st 34 104834 10842 22544 54149 34025 132594 2545024 no data no data
1523.05/56.26 c Finding binary XORs T: 0.06 s found: 1
1532.64/56.57 c S st 34 105336 10838 22535 52866 34516 132323 2555714 no data no data
1532.64/56.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 36 locsubst: 0 time: 0.02
1558.21/57.36 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 6 Bins: 561 BRemL: 2616 BRemN: 70 P: 10.3M T: 0.76
1561.41/57.42 c Replacing 105 vars Replaced 2550 lits Time: 0.06 s
1561.41/57.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1561.41/57.44 c bin-w-bin subsume rem 791 bins time: 0.01 s
1561.41/57.46 c subs with bin: 163 lits-rem: 157 v-fix: 0 time: 0.02 s
1561.41/57.48 c Subs w/ non-existent bins: 0 l-rem: 5 v-fix: 0 done: 10695 time: 0.02 s
1561.41/57.49 c Removed useless bin: 4 fixed: 0 props: 0.42M time: 0.01 s
1564.60/57.55 c lits-rem: 16 cl-subs: 200 v-elim: 44 v-fix: 0 time: 0.05 s
1628.53/59.54 c subs with bin: 12 lits-rem: 1118 v-fix: 0 time: 1.81 s
1708.40/62.09 c lits-rem: 2380 cl-subs: 1144 v-elim: 0 v-fix: 0 time: 2.54 s
1708.40/62.10 c vivif2 -- cl tried 22130 cl shrink 0 lits rem 0 time: 0.01
1714.81/62.26 c vivif2 -- cl tried 32820 cl shrink 5770 lits rem 28704 time: 0.16
1731.42/62.78 c asymm cl-useful: 44/15559/22130 lits-rem:56 time: 0.52
1731.42/62.79 c calculated reachability. Time: 0.01
1731.42/62.79 c N st 34 105336 10651 22130 49048 32820 130434 2306801 no data no data
1734.01/62.85 c Finding binary XORs T: 0.06 s found: 0
1858.64/66.78 c N st 35 114936 10651 22130 49048 22937 130434 1478048 no data no data
1861.83/66.86 c Finding binary XORs T: 0.06 s found: 2
1974.31/70.37 c N st 36 129334 10642 22122 49807 37093 130169 2292312 no data no data
1977.54/70.46 c Finding binary XORs T: 0.06 s found: 2
2139.93/75.57 c N st 37 150929 10639 22119 50544 36388 130125 1443842 no data no data
2143.14/75.65 c Finding binary XORs T: 0.06 s found: 0
2223.67/78.19 c S st 38 158004 10638 22118 51445 43374 130108 2811937 no data no data
2235.82/78.51 c S st 38 158505 10634 22118 51646 43872 130108 2827018 no data no data
2235.82/78.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2261.38/79.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 433 BRemL: 12247 BRemN: 3 P: 11.3M T: 0.77
2261.38/79.35 c Replacing 4 vars Replaced 213 lits Time: 0.05 s
2261.38/79.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2261.38/79.37 c bin-w-bin subsume rem 1419 bins time: 0.01 s
2261.38/79.39 c subs with bin: 32 lits-rem: 74 v-fix: 0 time: 0.01 s
2264.58/79.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10630 time: 0.02 s
2264.58/79.42 c Removed useless bin: 3 fixed: 0 props: 0.39M time: 0.01 s
2264.58/79.48 c lits-rem: 3 cl-subs: 28 v-elim: 26 v-fix: 0 time: 0.06 s
2322.13/81.28 c subs with bin: 6 lits-rem: 1224 v-fix: 0 time: 1.63 s
2437.20/84.90 c lits-rem: 4706 cl-subs: 932 v-elim: 0 v-fix: 0 time: 3.60 s
2440.39/84.91 c vivif2 -- cl tried 22023 cl shrink 4 lits rem 4 time: 0.01
2443.59/85.09 c vivif2 -- cl tried 42332 cl shrink 7415 lits rem 40635 time: 0.18
2453.18/85.31 c asymm cl-useful: 14/6462/22021 lits-rem:42 time: 0.22
2453.18/85.32 c calculated reachability. Time: 0.00
2453.18/85.32 c N st 38 158505 10604 22007 35952 42332 129461 2553165 no data no data
3181.94/108.14 c N st 39 207093 10604 22007 35954 42022 129461 3727557 no data no data
3185.14/108.24 c Finding binary XORs T: 0.06 s found: 18
3623.02/121.94 c N st 40 237757 10591 21976 33421 45722 129131 2975048 no data no data
3623.02/121.94 c S st 40 237757 10591 21976 33421 45722 129131 2975048 no data no data
3626.81/122.04 c Finding binary XORs T: 0.06 s found: 1
3638.99/122.41 c S st 40 238257 10590 21969 33983 46217 129094 2989574 no data no data
3638.99/122.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3665.20/123.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 181 BRemL: 3290 BRemN: 9 P: 11.1M T: 0.79
3665.20/123.25 c Replacing 29 vars Replaced 1165 lits Time: 0.03 s
3665.20/123.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3665.20/123.27 c bin-w-bin subsume rem 436 bins time: 0.00 s
3665.20/123.29 c subs with bin: 73 lits-rem: 75 v-fix: 0 time: 0.01 s
3667.75/123.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10561 time: 0.02 s
3667.75/123.32 c Removed useless bin: 1 fixed: 0 props: 0.38M time: 0.01 s
3667.75/123.39 c lits-rem: 0 cl-subs: 41 v-elim: 11 v-fix: 0 time: 0.07 s
3722.11/125.00 c subs with bin: 27 lits-rem: 2159 v-fix: 0 time: 1.41 s
3908.08/130.92 c lits-rem: 3637 cl-subs: 1597 v-elim: 0 v-fix: 0 time: 5.91 s
3911.31/130.93 c vivif2 -- cl tried 21839 cl shrink 0 lits rem 0 time: 0.01
3917.07/131.16 c vivif2 -- cl tried 44383 cl shrink 10969 lits rem 58626 time: 0.23
3936.25/131.73 c asymm cl-useful: 37/13778/21839 lits-rem:48 time: 0.57
3936.25/131.74 c calculated reachability. Time: 0.01
3936.25/131.74 c N st 40 238257 10550 21837 30035 44382 128620 2781408 no data no data
3939.46/131.80 c Finding binary XORs T: 0.06 s found: 0
4923.88/162.62 c F st 41 306251 10550 21837 30035 55772 128620 3421129 no data no data
4923.88/162.64 c N st 41 306251 10550 21837 30035 55772 128620 3421129 no data no data
4927.66/162.74 c Finding binary XORs T: 0.06 s found: 2
4978.21/164.31 c Decided on static restart strategy
5214.64/171.71 c N st 51 334555 10549 21836 30507 54402 128607 4288558 no data no data
5444.72/179.00 c N st 53 357386 10549 21836 30518 46402 128607 2235047 no data no data
5444.72/179.00 c S st 53 357386 10549 21836 30518 46402 128607 2235047 no data no data
5458.13/179.35 c S st 53 357889 10549 21836 30522 46895 128607 2250275 no data no data
5458.13/179.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
5479.87/180.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 1005 BRemL: 2933 BRemN: 2 P: 11.0M T: 0.72
5483.06/180.12 c Replacing 5 vars Replaced 129 lits Time: 0.02 s
5483.06/180.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5483.06/180.14 c bin-w-bin subsume rem 191 bins time: 0.00 s
5483.06/180.15 c subs with bin: 14 lits-rem: 18 v-fix: 0 time: 0.01 s
5483.06/180.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10544 time: 0.02 s
5483.06/180.18 c Removed useless bin: 2 fixed: 0 props: 0.38M time: 0.01 s
5486.27/180.24 c lits-rem: 0 cl-subs: 19 v-elim: 8 v-fix: 0 time: 0.06 s
5525.25/181.44 c subs with bin: 5 lits-rem: 837 v-fix: 0 time: 1.05 s
5620.52/184.47 c lits-rem: 2537 cl-subs: 1058 v-elim: 0 v-fix: 0 time: 3.03 s
5620.52/184.48 c vivif2 -- cl tried 21791 cl shrink 0 lits rem 0 time: 0.01
5626.92/184.65 c vivif2 -- cl tried 45458 cl shrink 6655 lits rem 31918 time: 0.16
5636.49/184.93 c asymm cl-useful: 0/8013/21791 lits-rem:0 time: 0.28
5636.49/184.94 c calculated reachability. Time: 0.00
5636.49/184.94 c N st 53 357889 10536 21791 28203 45458 128344 2109697 no data no data
5639.68/185.00 c Finding binary XORs T: 0.06 s found: 0
6141.47/200.71 c N st 54 390281 10536 21791 28203 45978 128344 2689814 no data no data
6675.25/217.47 c N st 55 438872 10534 21791 28211 61809 128344 4958503 no data no data
6678.45/217.58 c Finding binary XORs T: 0.06 s found: 0
8132.77/263.09 c N st 56 511754 10533 21788 29073 66208 128223 6214414 no data no data
8522.68/275.29 c N st 57 536833 10532 21788 29113 55074 128223 2676845 no data no data
8522.68/275.29 c S st 57 536833 10532 21788 29113 55074 128223 2676845 no data no data
8538.67/275.70 c S st 57 537336 10532 21788 29116 55577 128223 2692235 no data no data
8538.67/275.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
8564.24/276.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9 BRemL: 1295 BRemN: 0 P: 12.1M T: 0.77
8564.24/276.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8564.24/276.53 c bin-w-bin subsume rem 52 bins time: 0.00 s
8564.24/276.54 c subs with bin: 4 lits-rem: 2 v-fix: 0 time: 0.01 s
8564.24/276.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10532 time: 0.02 s
8564.24/276.57 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
8567.44/276.64 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
8605.79/277.87 c subs with bin: 1 lits-rem: 119 v-fix: 0 time: 1.02 s
8752.85/282.43 c lits-rem: 2194 cl-subs: 1601 v-elim: 0 v-fix: 0 time: 4.55 s
8752.85/282.44 c vivif2 -- cl tried 21782 cl shrink 0 lits rem 0 time: 0.01
8759.83/282.68 c vivif2 -- cl tried 53973 cl shrink 13285 lits rem 90435 time: 0.23
8778.41/283.28 c asymm cl-useful: 56/9134/21782 lits-rem:56 time: 0.60
8778.41/283.29 c calculated reachability. Time: 0.01
8778.41/283.29 c N st 57 537336 10532 21782 27531 53973 128088 2501855 no data no data
12140.78/388.43 c N st 58 701320 10532 21782 27531 63351 128088 3935772 no data no data
12140.78/388.49 c Finding binary XORs T: 0.06 s found: 4
14867.05/473.73 c N st 59 806007 10532 21782 27797 84114 128088 6701978 no data no data
14867.05/473.73 c S st 59 806007 10532 21782 27797 84114 128088 6701978 no data no data
14883.01/474.23 c S st 59 806507 10531 21782 27895 84613 128088 6716806 no data no data
14883.01/474.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
14915.61/475.29 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 8 Bins: 106 BRemL: 388 BRemN: 0 P: 13.9M T: 1.02
14921.36/475.41 c Replacing 12 vars Replaced 1310 lits Time: 0.12 s
14921.36/475.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14921.36/475.43 c bin-w-bin subsume rem 38 bins time: 0.00 s
14921.36/475.44 c subs with bin: 25 lits-rem: 14 v-fix: 0 time: 0.01 s
14921.36/475.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10518 time: 0.02 s
14921.36/475.48 c Removed useless bin: 1 fixed: 0 props: 0.37M time: 0.01 s
14924.56/475.60 c lits-rem: 0 cl-subs: 22 v-elim: 5 v-fix: 0 time: 0.12 s
15033.23/478.90 c subs with bin: 0 lits-rem: 59 v-fix: 0 time: 2.82 s
16720.66/531.80 c lits-rem: 1770 cl-subs: 9127 v-elim: 0 v-fix: 0 time: 52.88 s
16723.86/531.81 c vivif2 -- cl tried 21720 cl shrink 0 lits rem 0 time: 0.01
16740.44/532.40 c vivif2 -- cl tried 74473 cl shrink 23727 lits rem 148678 time: 0.59
16755.83/532.89 c asymm cl-useful: 1/9338/21720 lits-rem:3 time: 0.48
16759.03/532.90 c calculated reachability. Time: 0.00
16759.03/532.90 c N st 59 806507 10513 21719 26952 74472 127864 5865029 no data no data
16759.03/532.96 c Finding binary XORs T: 0.06 s found: 0
22105.97/700.20 c F st 60 1071877 10513 21719 26952 70383 127864 6438304 no data no data
22105.97/700.22 c N st 60 1071877 10513 21719 26952 70383 127864 6438304 no data no data
22109.17/700.34 c Finding binary XORs T: 0.06 s found: 0
22179.50/702.56 c Decided on static restart strategy
22479.95/711.94 c N st 70 1100189 10512 21718 27306 98247 127851 8854753 no data no data
23004.08/728.38 c N st 72 1136182 10512 21718 27330 84802 127851 5601980 no data no data
23416.42/741.24 c N st 73 1168575 10511 21718 27345 67686 127851 3800356 no data no data
24330.33/769.89 c N st 74 1209760 10511 21718 27348 58241 127851 2785716 no data no data
24330.33/769.89 c S st 74 1209760 10511 21718 27348 58241 127851 2785716 no data no data
24346.31/770.33 c S st 74 1210262 10511 21718 27396 58742 127851 2801528 no data no data
24346.31/770.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
24372.49/771.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 9 BRemL: 382 BRemN: 0 P: 12.3M T: 0.81
24375.07/771.23 c Replacing 5 vars Replaced 253 lits Time: 0.06 s
24375.07/771.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
24375.07/771.25 c bin-w-bin subsume rem 59 bins time: 0.00 s
24375.07/771.27 c subs with bin: 18 lits-rem: 7 v-fix: 0 time: 0.01 s
24375.07/771.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10506 time: 0.02 s
24378.27/771.30 c Removed useless bin: 2 fixed: 0 props: 0.37M time: 0.01 s
24378.27/771.38 c lits-rem: 0 cl-subs: 5 v-elim: 4 v-fix: 0 time: 0.07 s
24439.56/773.28 c subs with bin: 29 lits-rem: 1103 v-fix: 0 time: 1.71 s
24534.87/776.21 c lits-rem: 2149 cl-subs: 914 v-elim: 0 v-fix: 0 time: 2.92 s
24534.87/776.22 c vivif2 -- cl tried 21685 cl shrink 0 lits rem 0 time: 0.01
24538.07/776.39 c vivif2 -- cl tried 56873 cl shrink 4617 lits rem 113439 time: 0.17
24545.05/776.53 c asymm cl-useful: 0/3213/21685 lits-rem:0 time: 0.15
24545.05/776.55 c calculated reachability. Time: 0.01
24545.05/776.55 c N st 74 1210262 10502 21685 26855 56873 127734 2569445 no data no data
25666.15/811.60 c N st 75 1283145 10502 21685 26855 77864 127734 3649985 no data no data
28306.23/894.23 c N st 76 1392468 10502 21685 26886 81041 127734 5822120 no data no data
31475.70/993.46 c N st 77 1556452 10501 21685 26902 76945 127734 5770133 no data no data
31478.90/993.57 c Finding binary XORs T: 0.06 s found: 1
37097.98/1169.38 c N st 78 1710263 10501 21683 26958 114159 127685 14521149 no data no data
37097.98/1169.38 c S st 78 1710263 10501 21683 26958 114159 127685 14521149 no data no data
37119.76/1170.05 c S st 78 1710764 10500 21683 27065 114660 127685 14538389 no data no data
37122.93/1170.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
37161.29/1171.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 57 BRemL: 228 BRemN: 0 P: 17.4M T: 1.19
37165.08/1171.49 c Replacing 2 vars Replaced 1043 lits Time: 0.19 s
37165.08/1171.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
37165.08/1171.51 c bin-w-bin subsume rem 22 bins time: 0.00 s
37168.30/1171.52 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 0.01 s
37168.30/1171.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10498 time: 0.02 s
37168.30/1171.56 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
37174.06/1171.75 c lits-rem: 0 cl-subs: 1 v-elim: 2 v-fix: 0 time: 0.19 s
37292.35/1175.40 c subs with bin: 22 lits-rem: 2646 v-fix: 0 time: 2.48 s
38474.79/1212.49 c lits-rem: 15715 cl-subs: 1288 v-elim: 0 v-fix: 0 time: 37.07 s
38477.99/1212.50 c vivif2 -- cl tried 21672 cl shrink 0 lits rem 0 time: 0.01
38522.73/1214.00 c vivif2 -- cl tried 112615 cl shrink 41914 lits rem 354204 time: 1.47
38545.10/1214.69 c asymm cl-useful: 10/1388/21672 lits-rem:27 time: 0.70
38548.30/1214.71 c calculated reachability. Time: 0.00
38548.30/1214.71 c N st 78 1710764 10496 21672 26739 112614 127609 13853575 no data no data
46646.62/1468.10 c N st 79 2079729 10496 21672 26739 104871 127609 8041577 no data no data
46649.82/1468.24 c Finding binary XORs T: 0.06 s found: 2
49653.67/1562.29 c N st 80 2210765 10495 21671 26865 103402 127593 5661745 no data no data
49653.67/1562.29 c S st 80 2210765 10495 21671 26865 103402 127593 5661745 no data no data
49676.05/1562.95 c S st 80 2211271 10495 21671 26955 103907 127593 5678969 no data no data
49676.05/1563.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
49711.17/1564.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 210 BRemN: 0 P: 16.2M T: 1.12
49714.95/1564.16 c Replacing 2 vars Replaced 1139 lits Time: 0.04 s
49714.95/1564.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
49714.95/1564.18 c bin-w-bin subsume rem 35 bins time: 0.00 s
49714.95/1564.20 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 0.01 s
49718.15/1564.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10493 time: 0.02 s
49718.15/1564.24 c Removed useless bin: 1 fixed: 0 props: 0.37M time: 0.01 s
49720.74/1564.35 c lits-rem: 0 cl-subs: 4 v-elim: 1 v-fix: 0 time: 0.11 s
49807.04/1567.03 c subs with bin: 47 lits-rem: 6806 v-fix: 0 time: 2.28 s
50625.23/1592.61 c lits-rem: 4352 cl-subs: 3854 v-elim: 0 v-fix: 0 time: 25.57 s
50625.23/1592.62 c vivif2 -- cl tried 21649 cl shrink 0 lits rem 0 time: 0.01
50641.20/1593.12 c vivif2 -- cl tried 100004 cl shrink 22016 lits rem 101752 time: 0.49
50660.39/1593.77 c asymm cl-useful: 23/11949/21649 lits-rem:23 time: 0.66
50660.39/1593.79 c calculated reachability. Time: 0.00
50660.39/1593.79 c N st 80 2211271 10492 21649 26709 100002 127491 5360848 no data no data
64826.87/2037.07 c N st 81 2711273 10492 21649 26709 103656 127491 5710065 no data no data
64826.87/2037.07 c S st 81 2711273 10492 21649 26709 103656 127491 5710065 no data no data
64830.65/2037.19 c Finding binary XORs T: 0.06 s found: 2
64855.63/2037.99 c S st 81 2711773 10491 21648 26833 104154 127477 5728480 no data no data
64858.83/2038.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
64900.91/2039.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 225 BRemN: 0 P: 16.7M T: 1.30
64900.91/2039.40 c Replacing 2 vars Replaced 687 lits Time: 0.06 s
64904.14/2039.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
64904.14/2039.43 c bin-w-bin subsume rem 9 bins time: 0.00 s
64904.14/2039.44 c subs with bin: 9 lits-rem: 8 v-fix: 0 time: 0.01 s
64904.14/2039.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10489 time: 0.03 s
64904.14/2039.48 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
64909.89/2039.62 c lits-rem: 6 cl-subs: 7 v-elim: 6 v-fix: 0 time: 0.14 s
65009.57/2042.75 c subs with bin: 36 lits-rem: 1736 v-fix: 0 time: 2.75 s
65980.51/2073.14 c lits-rem: 7470 cl-subs: 5115 v-elim: 0 v-fix: 0 time: 30.37 s
65980.51/2073.15 c vivif2 -- cl tried 21638 cl shrink 0 lits rem 0 time: 0.01
65996.45/2073.60 c vivif2 -- cl tried 97757 cl shrink 15476 lits rem 114415 time: 0.45
66018.86/2074.31 c asymm cl-useful: 0/7989/21638 lits-rem:0 time: 0.71
66018.86/2074.32 c calculated reachability. Time: 0.00
66018.86/2074.32 c N st 81 2711773 10483 21638 26578 97757 127495 5197326 no data no data
80975.72/2542.31 c N st 82 3211773 10483 21638 26578 133063 127494 9355588 no data no data
80975.72/2542.31 c S st 82 3211773 10483 21638 26578 133063 127494 9355588 no data no data
81007.66/2543.34 c S st 82 3212273 10483 21638 26715 133560 127494 9369557 no data no data
81010.87/2543.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
81058.82/2544.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 17 BRemL: 65 BRemN: 0 P: 18.3M T: 1.54
81058.82/2544.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
81058.82/2544.97 c bin-w-bin subsume rem 12 bins time: 0.01 s
81058.82/2544.98 c subs with bin: 4 lits-rem: 1 v-fix: 0 time: 0.01 s
81062.01/2545.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10483 time: 0.03 s
81062.01/2545.03 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.02 s
81068.40/2545.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s
81186.59/2548.92 c subs with bin: 1 lits-rem: 45 v-fix: 0 time: 3.03 s
82900.12/2602.56 c lits-rem: 5817 cl-subs: 7355 v-elim: 0 v-fix: 0 time: 53.62 s
82900.12/2602.56 c vivif2 -- cl tried 21634 cl shrink 0 lits rem 0 time: 0.01
82928.29/2603.44 c vivif2 -- cl tried 126204 cl shrink 36105 lits rem 349086 time: 0.86
82957.05/2604.31 c asymm cl-useful: 9/3223/21634 lits-rem:10 time: 0.87
82957.05/2604.33 c calculated reachability. Time: 0.00
82957.05/2604.33 c N st 82 3212273 10483 21634 26658 126202 127472 8537041 no data no data
97027.59/3044.64 c N st 83 3712273 10483 21634 26658 126153 127472 6408651 no data no data
97027.59/3044.64 c S st 83 3712273 10483 21634 26658 126153 127472 6408651 no data no data
97031.37/3044.77 c Finding binary XORs T: 0.06 s found: 1
97059.54/3045.65 c S st 83 3712777 10482 21633 26417 126648 127461 6423393 no data no data
97062.74/3045.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
97110.67/3047.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 80 BRemN: 1 P: 19.0M T: 1.52
97110.67/3047.28 c Replacing 1 vars Replaced 81 lits Time: 0.06 s
97110.67/3047.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
97113.88/3047.30 c bin-w-bin subsume rem 5 bins time: 0.00 s
97113.88/3047.32 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
97113.88/3047.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10481 time: 0.03 s
97113.88/3047.36 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
97120.27/3047.51 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.15 s
97222.52/3050.71 c subs with bin: 10 lits-rem: 390 v-fix: 0 time: 2.75 s
98453.01/3089.21 c lits-rem: 201 cl-subs: 7328 v-elim: 0 v-fix: 0 time: 38.48 s
98453.01/3089.22 c vivif2 -- cl tried 21626 cl shrink 0 lits rem 0 time: 0.01
98469.01/3089.78 c vivif2 -- cl tried 119310 cl shrink 22912 lits rem 149500 time: 0.55
98494.58/3090.53 c asymm cl-useful: 5/10923/21626 lits-rem:5 time: 0.75
98494.58/3090.55 c calculated reachability. Time: 0.00
98494.58/3090.55 c N st 83 3712777 10481 21626 26336 119310 127429 5879129 no data no data
99322.20/3116.50 c F st 84 3751565 10481 21626 26336 157921 127429 13281921 no data no data
99325.40/3116.52 c N st 84 3751565 10481 21626 26336 157921 127429 13281921 no data no data
99466.00/3120.94 c Decided on static restart strategy
100012.53/3138.03 c N st 94 3779868 10481 21626 26358 100510 127429 4412205 no data no data
100945.75/3167.29 c N st 96 3815863 10481 21626 26403 136261 127429 10500528 no data no data
102019.60/3200.81 c N st 97 3848258 10481 21626 26409 168609 127429 18710553 no data no data
102875.95/3227.69 c N st 98 3896846 10481 21626 26410 130017 127429 9924173 no data no data
104665.43/3283.62 c N st 99 3969731 10481 21626 26428 114166 127429 6374520 no data no data
106812.84/3350.84 c N st 100 4079054 10480 21626 26433 132904 127428 6535174 no data no data
112150.73/3517.87 c N st 101 4212777 10480 21626 26436 174536 127428 14063277 no data no data
112150.73/3517.87 c S st 101 4212777 10480 21626 26436 174536 127428 14063277 no data no data
112188.46/3519.01 c S st 101 4213279 10480 21626 26442 175037 127428 14079688 no data no data
112188.46/3519.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
112236.41/3520.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 49 BRemN: 0 P: 20.9M T: 1.47
112236.41/3520.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
112236.41/3520.57 c bin-w-bin subsume rem 7 bins time: 0.01 s
112236.41/3520.58 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
112239.61/3520.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10480 time: 0.03 s
112239.61/3520.62 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
112246.01/3520.84 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.22 s
112367.48/3524.69 c subs with bin: 1 lits-rem: 28 v-fix: 0 time: 2.71 s
117116.69/3673.24 c lits-rem: 6244 cl-subs: 6724 v-elim: 0 v-fix: 0 time: 148.50 s
117116.69/3673.25 c vivif2 -- cl tried 21622 cl shrink 0 lits rem 0 time: 0.01
117167.85/3674.86 c vivif2 -- cl tried 168297 cl shrink 67378 lits rem 461870 time: 1.59
117186.97/3675.46 c asymm cl-useful: 0/5595/21622 lits-rem:0 time: 0.60
117186.97/3675.48 c calculated reachability. Time: 0.00
117186.97/3675.48 c N st 101 4213279 10480 21622 26347 168296 127342 13126490 no data no data
125029.37/3920.82 c N st 102 4459259 10480 21622 26347 136134 127342 9724202 no data no data
133706.19/4192.39 c N st 103 4713279 10479 21622 26401 102044 127342 3735768 no data no data
133706.19/4192.39 c S st 103 4713279 10479 21622 26401 102044 127342 3735768 no data no data
133709.38/4192.49 c Finding binary XORs T: 0.06 s found: 2
133732.36/4193.19 c S st 103 4713782 10478 21620 26235 102541 127312 3752597 no data no data
133735.58/4193.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
133770.75/4194.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 76 BRemN: 0 P: 16.4M T: 1.15
133773.33/4194.44 c Replacing 2 vars Replaced 245 lits Time: 0.05 s
133773.33/4194.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
133773.33/4194.46 c bin-w-bin subsume rem 11 bins time: 0.00 s
133773.33/4194.48 c subs with bin: 10 lits-rem: 8 v-fix: 0 time: 0.02 s
133776.50/4194.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10476 time: 0.03 s
133776.50/4194.52 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.02 s
133779.69/4194.63 c lits-rem: 0 cl-subs: 4 v-elim: 1 v-fix: 0 time: 0.11 s
133846.81/4196.74 c subs with bin: 8 lits-rem: 236 v-fix: 0 time: 1.83 s
133978.42/4200.89 c lits-rem: 1498 cl-subs: 680 v-elim: 0 v-fix: 0 time: 4.14 s
133978.42/4200.90 c vivif2 -- cl tried 21607 cl shrink 0 lits rem 0 time: 0.01
133987.41/4201.11 c vivif2 -- cl tried 101778 cl shrink 2518 lits rem 7335 time: 0.21
133990.61/4201.24 c asymm cl-useful: 0/1866/21607 lits-rem:0 time: 0.13
133990.61/4201.26 c calculated reachability. Time: 0.01
133990.61/4201.26 c N st 103 4713782 10475 21607 25823 101778 127287 3717534 no data no data
144493.42/4529.83 c N st 104 5213783 10475 21607 25823 205086 127287 19628442 no data no data
144493.42/4529.83 c S st 104 5213783 10475 21607 25823 205086 127287 19628442 no data no data
144540.77/4531.34 c S st 104 5214284 10475 21607 25878 205586 127287 19645908 no data no data
144543.97/4531.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
144614.27/4533.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 95 BRemL: 99 BRemN: 0 P: 25.2M T: 2.24
144617.45/4533.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
144617.45/4533.70 c bin-w-bin subsume rem 9 bins time: 0.01 s
144617.45/4533.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
144617.45/4533.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10475 time: 0.03 s
144617.45/4533.76 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.02 s
144627.05/4534.05 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.28 s
144767.64/4538.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.81 s
146806.89/4602.30 c lits-rem: 15329 cl-subs: 3228 v-elim: 0 v-fix: 0 time: 63.80 s
146806.89/4602.31 c vivif2 -- cl tried 21606 cl shrink 0 lits rem 0 time: 0.01
146877.22/4604.40 c vivif2 -- cl tried 201671 cl shrink 65590 lits rem 1318264 time: 2.06
146905.98/4605.38 c asymm cl-useful: 6/1371/21606 lits-rem:11 time: 0.98
146909.17/4605.40 c calculated reachability. Time: 0.00
146909.17/4605.40 c N st 104 5214284 10474 21606 25866 201671 127263 17979382 no data no data
150492.17/4717.54 c Finding binary XORs T: 0.06 s found: 1
159866.36/5010.82 c N st 105 5714286 10473 21605 25843 182866 127247 12926147 no data no data
159866.36/5010.82 c S st 105 5714286 10473 21605 25843 182866 127247 12926147 no data no data
159898.31/5011.85 c S st 105 5714787 10473 21605 25862 183365 127247 12944121 no data no data
159901.50/5011.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
159965.42/5013.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 6 BRemL: 23 BRemN: 0 P: 24.0M T: 2.04
159968.61/5014.05 c Replacing 2 vars Replaced 531 lits Time: 0.09 s
159968.61/5014.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
159968.61/5014.08 c bin-w-bin subsume rem 8 bins time: 0.00 s
159968.61/5014.09 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
159971.81/5014.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10471 time: 0.03 s
159971.81/5014.13 c Removed useless bin: 0 fixed: 0 props: 0.37M time: 0.01 s
159978.20/5014.36 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.23 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400811-1306820669/watcher-3400811-1306820669 -o /tmp/evaluation-result-3400811-1306820669/solver-3400811-1306820669 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400811-1306820669.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: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=338000 CPUtime=0.88 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 467 0 0 0 88 0 0 0 25 0 32 0 8032919 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 84500 407 300 95 0 79482 0
[pid=22674/tid=22675] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=338000 CPUtime=0 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.054202 s]
/proc/loadavg: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=338000 CPUtime=1.44 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 467 0 0 0 144 0 0 0 25 0 32 0 8032919 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 84500 407 300 95 0 79482 0
[pid=22674/tid=22675] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033245 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=338000 CPUtime=0 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033239 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033232 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033241 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=338000 CPUtime=0.04 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 8032920 346112000 407 268435456000 4194304 4580107 140735538396944 18446744073709551615 47792841033235 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 338000
[startup+0.117009 s]
/proc/loadavg: 31.76 31.53 31.77 1/413 22674
/proc/meminfo: memFree=263539808/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=732436 CPUtime=3.08 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) D 22672 22674 22468 0 -1 4202496 7767 0 0 0 250 58 0 0 25 0 32 0 8032919 750014464 7625 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/22674/statm: 183109 7625 330 95 0 178091 0
[pid=22674/tid=22675] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 206 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7677 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 233 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7683 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 259 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7690 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 230 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7745 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 215 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7745 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 196 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7760 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 273 0 0 0 8 2 0 0 25 0 32 0 8032920 750014464 7778 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 264 0 0 0 8 2 0 0 18 0 32 0 8032920 750014464 7809 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 214 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7815 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) S 22672 22674 22468 0 -1 4202560 277 0 0 0 8 1 0 0 18 0 32 0 8032920 750014464 7836 268435456000 4194304 4580107 140735538396944 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 5 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 277 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7852 268435456000 4194304 4580107 140735538396944 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=732436 CPUtime=0.09 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 190 0 0 0 8 1 0 0 25 0 32 0 8032920 750014464 7904 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=732436 CPUtime=0.1 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 250 0 0 0 8 2 0 0 25 0 32 0 8032920 750014464 7955 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=732436 CPUtime=0.01 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 227 0 0 0 0 1 0 0 18 0 32 0 8032920 750014464 7965 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 214 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7974 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) D 22672 22674 22468 0 -1 4202560 235 0 0 0 7 1 0 0 25 0 32 0 8032920 750014464 7974 268435456000 4194304 4580107 140735538396944 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=732436 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=22674/tid=22684] ppid=22672 vsize=27334664 CPUtime=4944.62 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 920404 0 0 0 493881 581 0 0 25 0 32 0 8032920 27990695936 5460802 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=27334664 CPUtime=4950.98 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 773634 0 0 0 494548 550 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=27334664 CPUtime=4944.72 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 622081 0 0 0 494020 452 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=27334664 CPUtime=4952.65 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 808920 0 0 0 494710 555 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=27334664 CPUtime=4952.35 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1010596 0 0 0 494604 631 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=27334664 CPUtime=4947.41 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 782832 0 0 0 494183 558 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=27334664 CPUtime=4944.96 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 873361 0 0 0 493918 578 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=27334664 CPUtime=4939.84 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 694675 0 0 0 493494 490 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=27334664 CPUtime=4950.57 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 798205 0 0 0 494536 521 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=27334664 CPUtime=4950.01 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 781759 0 0 0 494488 513 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=27334664 CPUtime=4940.75 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 725240 0 0 0 493586 489 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=27334664 CPUtime=4941.63 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 948767 0 0 0 493562 601 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=27334664 CPUtime=4946.24 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 726789 0 0 0 494146 478 0 0 25 0 32 0 8032920 27990695936 5460804 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=27334664 CPUtime=4948.11 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1115793 0 0 0 494145 666 0 0 25 0 32 0 8032920 27990695936 5460805 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=27334664 CPUtime=4946.22 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 678234 0 0 0 494138 484 0 0 25 0 32 0 8032920 27990695936 5460805 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=27334664 CPUtime=4952.72 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 866509 0 0 0 494685 587 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=27334664 CPUtime=4951.01 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 748965 0 0 0 494559 542 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=27334664 CPUtime=4952.53 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 837512 0 0 0 494703 550 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=27334664 CPUtime=4952.2 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 857582 0 0 0 494670 550 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=27334664 CPUtime=4951.22 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 703246 0 0 0 494612 510 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4305152 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=27334664 CPUtime=4952.79 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 795754 0 0 0 494765 514 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=27334664 CPUtime=4952.51 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 201285 0 0 0 495066 185 0 0 25 0 32 0 8032920 27990695936 5460806 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 158316
Current children cumulated vsize (KiB) 27334664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5015 s]
/proc/loadavg: 32.07 32.08 32.07 33/445 22859
/proc/meminfo: memFree=241367456/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=28305564 CPUtime=160001 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22468 0 -1 4202496 25092227 0 0 0 15983233 16890 0 0 25 0 32 0 8032919 28984897536 5538174 268435456000 4194304 4580107 140735538396944 18446744073709551615 4401345 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 7076391 5538174 427 95 0 7071373 0
[pid=22674/tid=22675] ppid=22672 vsize=28305564 CPUtime=4991.53 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 770928 0 0 0 498644 509 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=28305564 CPUtime=5001.67 cores=0-31
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 742275 0 0 0 499659 508 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=28305564 CPUtime=4990.23 cores=0-31
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 726345 0 0 0 498514 509 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=28305564 CPUtime=5006.58 cores=0-31
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 758904 0 0 0 500161 497 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=28305564 CPUtime=4997.87 cores=0-31
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 739670 0 0 0 499270 517 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=28305564 CPUtime=4994.32 cores=0-31
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 857345 0 0 0 498841 591 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=28305564 CPUtime=5003.76 cores=0-31
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 694761 0 0 0 499869 507 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22682] ppid=22672 vsize=28305564 CPUtime=4983.43 cores=0-31
/proc/22674/task/22682/stat : 22682 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 879918 0 0 0 497777 566 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22674/tid=22683] ppid=22672 vsize=28305564 CPUtime=5000.41 cores=0-31
/proc/22674/task/22683/stat : 22683 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 700377 0 0 0 499568 473 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22684] ppid=22672 vsize=28305564 CPUtime=4997.31 cores=0-31
/proc/22674/task/22684/stat : 22684 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 931614 0 0 0 499146 585 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22674/tid=22685] ppid=22672 vsize=28305564 CPUtime=5003.68 cores=0-31
/proc/22674/task/22685/stat : 22685 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 785269 0 0 0 499811 557 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22674/tid=22686] ppid=22672 vsize=28305564 CPUtime=4997.43 cores=0-31
/proc/22674/task/22686/stat : 22686 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 625677 0 0 0 499289 454 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22674/tid=22687] ppid=22672 vsize=28305564 CPUtime=5005.36 cores=0-31
/proc/22674/task/22687/stat : 22687 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 812574 0 0 0 499977 559 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22674/tid=22688] ppid=22672 vsize=28305564 CPUtime=5005.04 cores=0-31
/proc/22674/task/22688/stat : 22688 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1014767 0 0 0 499871 633 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22674/tid=22689] ppid=22672 vsize=28305564 CPUtime=5000.12 cores=0-31
/proc/22674/task/22689/stat : 22689 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 787341 0 0 0 499451 561 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22674/tid=22690] ppid=22672 vsize=28305564 CPUtime=4997.67 cores=0-31
/proc/22674/task/22690/stat : 22690 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 884663 0 0 0 499186 581 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22674/tid=22691] ppid=22672 vsize=28305564 CPUtime=4992.55 cores=0-31
/proc/22674/task/22691/stat : 22691 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 699558 0 0 0 498761 494 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22692] ppid=22672 vsize=28305564 CPUtime=5003.27 cores=0-31
/proc/22674/task/22692/stat : 22692 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 808884 0 0 0 499795 532 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22674/tid=22693] ppid=22672 vsize=28305564 CPUtime=5002.72 cores=0-31
/proc/22674/task/22693/stat : 22693 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 790591 0 0 0 499754 518 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22674/tid=22694] ppid=22672 vsize=28305564 CPUtime=4993.46 cores=0-31
/proc/22674/task/22694/stat : 22694 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 730690 0 0 0 498854 492 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22674/tid=22695] ppid=22672 vsize=28305564 CPUtime=4994.34 cores=0-31
/proc/22674/task/22695/stat : 22695 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 954060 0 0 0 498827 607 0 0 25 0 32 0 8032920 28984897536 5538175 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22674/tid=22696] ppid=22672 vsize=28305564 CPUtime=4998.93 cores=0-31
/proc/22674/task/22696/stat : 22696 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 731653 0 0 0 499412 481 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295036 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22674/tid=22697] ppid=22672 vsize=28305564 CPUtime=5000.81 cores=0-31
/proc/22674/task/22697/stat : 22697 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 1129521 0 0 0 499407 674 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22674/tid=22698] ppid=22672 vsize=28305564 CPUtime=4998.93 cores=0-31
/proc/22674/task/22698/stat : 22698 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 678504 0 0 0 499409 484 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22699] ppid=22672 vsize=28305564 CPUtime=5005.42 cores=0-31
/proc/22674/task/22699/stat : 22699 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 870902 0 0 0 499951 591 0 0 25 0 32 0 8032920 28984897536 5538176 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22674/tid=22700] ppid=22672 vsize=28305564 CPUtime=5003.71 cores=0-31
/proc/22674/task/22700/stat : 22700 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 756984 0 0 0 499824 547 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22701] ppid=22672 vsize=28305564 CPUtime=5005.22 cores=0-31
/proc/22674/task/22701/stat : 22701 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 845144 0 0 0 499967 555 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22674/tid=22702] ppid=22672 vsize=28305564 CPUtime=5004.91 cores=0-31
/proc/22674/task/22702/stat : 22702 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 861623 0 0 0 499938 553 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22674/tid=22703] ppid=22672 vsize=28305564 CPUtime=5003.92 cores=0-31
/proc/22674/task/22703/stat : 22703 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 713284 0 0 0 499877 515 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4298994 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22674/tid=22704] ppid=22672 vsize=28305564 CPUtime=5005.49 cores=0-31
/proc/22674/task/22704/stat : 22704 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 801162 0 0 0 500031 518 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22674/tid=22705] ppid=22672 vsize=28305564 CPUtime=5005.2 cores=0-31
/proc/22674/task/22705/stat : 22705 (strangenight2-m) R 22672 22674 22468 0 -1 4202560 202485 0 0 0 500334 186 0 0 25 0 32 0 8032920 28984897536 5538177 268435456000 4194304 4580107 140735538396944 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 28305564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5015.8 s]
/proc/loadavg: 32.07 32.08 32.07 33/445 22859
/proc/meminfo: memFree=241367456/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160002 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 16967 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4992.3 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 586 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5016.2 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17007 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4992.7 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 626 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5016.6 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17047 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4993.1 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 666 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5016.7 s]
/proc/loadavg: 32.07 32.08 32.07 2/416 22860
/proc/meminfo: memFree=251547676/264257624 swapFree=67044764/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=160003 cores=0-31
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22468 0 -1 4203548 25092327 0 0 0 15983252 17057 0 0 25 0 2 0 8032919 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=4993.2 cores=0-31
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22468 0 -1 4203588 770928 0 0 0 498644 676 0 0 25 0 2 0 8032920 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 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): 5016.71
CPU time (s): 160003
CPU user time (s): 159833
CPU system time (s): 170.584
CPU usage (%): 3189.4
Max. virtual memory (cumulated for all children) (KiB): 28435552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159833
system time used= 170.584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25092327
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= 1327647
involuntary context switches= 307610
runsolver used 25.5141 second user time and 113.31 second system time
The end
Begin job on node200 at 2011-05-31 07:44:29
IDJOB=3400811
IDBENCH=83119
IDSOLVER=1886
FILE ID=node200/3400811-1306820669
RUNJOBID= node200-1306820480-22482
PBS_JOBID= 13471338
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom19.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400811-1306820669/watcher-3400811-1306820669 -o /tmp/evaluation-result-3400811-1306820669/solver-3400811-1306820669 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400811-1306820669.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= d725e0d6a363434dce7cb39ffdb1b83f
RANDOM SEED=62215220
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: 263539848 kB
Buffers: 109008 kB
Cached: 397792 kB
SwapCached: 29992 kB
Active: 127952 kB
Inactive: 411792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263539848 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 8252 kB
Writeback: 0 kB
AnonPages: 31720 kB
Mapped: 8576 kB
Slab: 73636 kB
PageTables: 3496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193928 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-05-31 09:08:07