0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400828-1306881851.cnf'
0.00/0.04 c -- header says num vars: 1000
0.00/0.04 c -- header says num clauses: 5176
1.78/0.12 c -- clauses added: 0 learnts, 5176 normals, 0 xors
1.78/0.12 c -- vars added 1000
1.78/0.12 c Parsing time: 0.01 s
1.78/0.12 c N st 0 0 1000 4848 160 0 19728 0 no data no data
1.78/0.17 c asymm cl-useful: 0/4336/4336 lits-rem:0 time: 0.01
1.78/0.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 192 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1.78/0.18 c Replacing 192 vars Replaced 5480 lits Time: 0.00 s
3.40/0.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.40/0.24 c bin-w-bin subsume rem 0 bins time: 0.00 s
3.40/0.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.40/0.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 672 time: 0.00 s
3.40/0.24 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
3.40/0.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
3.40/0.26 c Finding binary XORs T: 0.00 s found: 0
3.40/0.28 c Finding non-binary XORs: 0.00 s (found: 384, avg size: 3.7)
3.40/0.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 92 locsubst: 0 time: 0.00
3.40/0.28 c calculated reachability. Time: 0.00
3.40/0.28 c Calc default polars - time: 0.00 s pos: 16 undec: 420 neg: 564
3.40/0.28 c =========================================================================================
3.40/0.28 c types(t): F = full restart, N = normal restart
3.40/0.28 c types(t): S = simplification begin/end, E = solution found
3.40/0.28 c restart types(rt): st = static, dy = dynamic
3.40/0.28 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.40/0.28 c B st 0 0 580 1264 32 0 5848 0 no data no data
3.40/0.48 c Decided on static restart strategy
3.40/0.76 c N st 8 4919 580 1264 39 4673 5848 155463 no data no data
3.40/1.21 c N st 10 11302 580 1264 117 4473 5848 88727 no data no data
3.40/1.53 c N st 11 17046 580 1264 117 9866 5848 268099 no data no data
60.30/2.12 c F st 12 25001 580 1264 123 12332 5848 367114 no data no data
60.30/2.12 c N st 12 25001 580 1264 123 12332 5848 367114 no data no data
60.30/2.13 c Finding binary XORs T: 0.00 s found: 62
60.30/2.14 c Replacing 62 vars Replaced 8897 lits Time: 0.01 s
69.83/2.40 c Decided on static restart strategy
69.83/2.40 c N st 18 30002 518 1264 2 10639 5784 232902 no data no data
69.83/2.40 c S st 18 30002 518 1264 2 10639 5784 232902 no data no data
73.60/2.43 c S st 18 30503 518 1264 2 11116 5784 241763 no data no data
73.60/2.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 20 locsubst: 0 time: 0.00
73.60/2.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
73.60/2.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
73.60/2.44 c bin-w-bin subsume rem 0 bins time: 0.00 s
73.60/2.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
73.60/2.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 498 time: 0.00 s
73.60/2.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
73.60/2.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
73.60/2.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
76.83/2.57 c lits-rem: 1479 cl-subs: 421 v-elim: 0 v-fix: 0 time: 0.11 s
76.83/2.57 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
76.83/2.58 c calculated reachability. Time: 0.00
76.83/2.58 c N st 18 30503 498 1264 2 8790 5744 181441 no data no data
92.17/3.06 c N st 20 37613 498 1264 4 9201 5744 184100 no data no data
108.74/3.55 c N st 21 44013 498 1264 4 15350 5744 430996 no data no data
114.52/3.73 c S st 22 45755 498 1264 4 8977 5744 141658 no data no data
114.52/3.76 c S st 22 46257 498 1264 4 9457 5744 153344 no data no data
114.52/3.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
114.52/3.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
114.52/3.77 c Replacing 2 vars Replaced 50 lits Time: 0.00 s
114.52/3.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
114.52/3.77 c bin-w-bin subsume rem 0 bins time: 0.00 s
114.52/3.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
114.52/3.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
114.52/3.77 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
114.52/3.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
114.52/3.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
117.73/3.81 c lits-rem: 279 cl-subs: 104 v-elim: 0 v-fix: 0 time: 0.03 s
117.73/3.81 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
117.73/3.81 c vivif2 -- cl tried 9351 cl shrink 0 lits rem 0 time: 0.00
117.73/3.82 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
117.73/3.82 c calculated reachability. Time: 0.00
117.73/3.82 c N st 22 46257 496 1264 0 9351 5744 151203 no data no data
152.88/4.90 c N st 23 60655 496 1264 0 13924 5744 303558 no data no data
182.31/5.83 c N st 24 69385 496 1264 0 11864 5744 203722 no data no data
182.31/5.83 c S st 24 69385 496 1264 0 11864 5744 203722 no data no data
182.31/5.87 c S st 24 69885 496 1264 0 12353 5744 215572 no data no data
182.31/5.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
182.31/5.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
182.31/5.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
182.31/5.87 c bin-w-bin subsume rem 0 bins time: 0.00 s
182.31/5.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
182.31/5.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
182.31/5.87 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
182.31/5.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
182.31/5.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
184.84/5.96 c lits-rem: 848 cl-subs: 349 v-elim: 0 v-fix: 0 time: 0.07 s
184.84/5.96 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
184.84/5.97 c vivif2 -- cl tried 12004 cl shrink 0 lits rem 0 time: 0.00
184.84/5.97 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
184.84/5.97 c calculated reachability. Time: 0.00
184.84/5.97 c N st 24 69885 496 1264 0 12004 5744 209611 no data no data
235.99/7.59 c F st 25 87500 496 1264 0 17739 5744 391121 no data no data
235.99/7.59 c N st 25 87500 496 1264 0 17739 5744 391121 no data no data
249.40/7.98 c Decided on static restart strategy
255.15/8.18 c N st 32 95538 496 1264 0 25450 5744 664809 no data no data
277.54/8.83 c N st 34 104828 496 1264 0 21839 5744 505245 no data no data
277.54/8.83 c S st 34 104828 496 1264 0 21839 5744 505245 no data no data
280.74/8.90 c S st 34 105330 496 1264 0 22333 5744 519045 no data no data
280.74/8.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
280.74/8.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
280.74/8.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
280.74/8.92 c bin-w-bin subsume rem 0 bins time: 0.00 s
280.74/8.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
280.74/8.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
280.74/8.92 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
280.74/8.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
280.74/8.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
293.52/9.35 c lits-rem: 2618 cl-subs: 500 v-elim: 0 v-fix: 0 time: 0.39 s
293.52/9.35 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
293.52/9.36 c vivif2 -- cl tried 21833 cl shrink 0 lits rem 0 time: 0.01
293.52/9.37 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
293.52/9.37 c calculated reachability. Time: 0.00
293.52/9.37 c N st 34 105330 496 1264 0 21833 5744 500714 no data no data
322.92/10.26 c N st 35 114928 496 1264 0 17682 5744 349201 no data no data
383.02/12.11 c N st 36 129326 496 1264 0 17261 5744 313239 no data no data
460.35/14.52 c N st 37 150921 496 1264 0 22546 5744 505680 no data no data
482.10/15.24 c S st 38 157995 496 1264 0 29373 5744 747346 no data no data
485.29/15.32 c S st 38 158497 496 1264 0 29863 5744 759639 no data no data
485.29/15.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
485.29/15.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
485.29/15.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
485.29/15.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
485.29/15.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
485.29/15.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
485.29/15.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
485.29/15.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
485.29/15.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
520.44/16.41 c lits-rem: 2482 cl-subs: 1130 v-elim: 0 v-fix: 0 time: 1.02 s
520.44/16.41 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
520.44/16.42 c vivif2 -- cl tried 28733 cl shrink 0 lits rem 0 time: 0.01
520.44/16.44 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
520.44/16.44 c calculated reachability. Time: 0.00
520.44/16.44 c N st 38 158497 496 1264 0 28733 5744 711948 no data no data
788.92/24.85 c N st 39 207086 496 1264 0 23417 5744 537318 no data no data
920.59/29.00 c N st 40 237745 496 1264 0 33926 5744 910816 no data no data
920.59/29.00 c S st 40 237745 496 1264 0 33926 5744 910816 no data no data
926.35/29.11 c S st 40 238248 496 1264 0 34417 5744 923495 no data no data
926.35/29.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
926.35/29.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
926.35/29.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
926.35/29.12 c bin-w-bin subsume rem 0 bins time: 0.00 s
926.35/29.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
926.35/29.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
926.35/29.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
926.35/29.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
926.35/29.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
974.30/30.68 c lits-rem: 3729 cl-subs: 850 v-elim: 0 v-fix: 0 time: 1.49 s
974.30/30.68 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
974.30/30.70 c vivif2 -- cl tried 33567 cl shrink 0 lits rem 0 time: 0.01
977.50/30.71 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
977.50/30.71 c calculated reachability. Time: 0.00
977.50/30.71 c N st 40 238248 496 1264 0 33567 5744 889530 no data no data
1357.89/42.63 c F st 41 306251 496 1264 0 35819 5744 951478 no data no data
1357.89/42.63 c N st 41 306251 496 1264 0 35819 5744 951478 no data no data
1380.26/43.33 c Decided on static restart strategy
1501.73/47.17 c N st 51 334555 496 1264 0 40098 5744 1091366 no data no data
1635.98/51.36 c N st 53 357372 496 1264 0 37915 5744 925979 no data no data
1635.98/51.36 c S st 53 357372 496 1264 0 37915 5744 925979 no data no data
1639.19/51.48 c S st 53 357876 496 1264 0 38403 5744 940131 no data no data
1639.19/51.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1642.38/51.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
1642.38/51.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1642.38/51.50 c bin-w-bin subsume rem 0 bins time: 0.00 s
1642.38/51.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1642.38/51.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
1642.38/51.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1642.38/51.52 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1642.38/51.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1715.90/53.81 c lits-rem: 2990 cl-subs: 2561 v-elim: 0 v-fix: 0 time: 2.24 s
1715.90/53.81 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
1715.90/53.83 c vivif2 -- cl tried 35842 cl shrink 0 lits rem 0 time: 0.02
1715.90/53.85 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
1715.90/53.85 c calculated reachability. Time: 0.00
1715.90/53.85 c N st 53 357876 496 1264 0 35842 5744 845689 no data no data
1898.08/59.56 c N st 54 390269 496 1264 0 41981 5744 1032924 no data no data
2230.50/69.92 c N st 55 438857 496 1264 0 35651 5744 769126 no data no data
2713.77/85.05 c N st 56 511740 496 1264 0 48091 5744 1256998 no data no data
2863.38/89.78 c N st 57 536814 496 1264 0 42765 5744 985526 no data no data
2863.38/89.78 c S st 57 536814 496 1264 0 42765 5744 985526 no data no data
2869.78/89.92 c S st 57 537314 496 1264 0 43251 5744 998551 no data no data
2869.78/89.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2869.78/89.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.02
2869.78/89.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2869.78/89.95 c bin-w-bin subsume rem 0 bins time: 0.00 s
2869.78/89.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2869.78/89.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
2869.78/89.95 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2869.78/89.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2872.97/90.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3023.22/94.76 c lits-rem: 4623 cl-subs: 3210 v-elim: 0 v-fix: 0 time: 4.72 s
3023.22/94.76 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
3023.22/94.77 c vivif2 -- cl tried 40041 cl shrink 0 lits rem 0 time: 0.02
3023.22/94.81 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.04
3023.22/94.81 c calculated reachability. Time: 0.00
3023.22/94.81 c N st 57 537314 496 1264 0 40041 5744 877013 no data no data
4250.64/133.19 c N st 58 701298 496 1264 0 70093 5744 2178732 no data no data
5129.64/160.69 c N st 59 805971 496 1264 0 63443 5744 1751870 no data no data
5129.64/160.69 c S st 59 805971 496 1264 0 63443 5744 1751870 no data no data
5136.62/160.88 c S st 59 806474 496 1264 0 63929 5744 1765683 no data no data
5136.62/160.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
5139.85/160.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.04
5139.85/160.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5139.85/160.93 c bin-w-bin subsume rem 0 bins time: 0.00 s
5139.85/160.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5139.85/160.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
5139.85/160.93 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
5139.85/160.96 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
5142.41/161.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5740.13/179.70 c lits-rem: 5080 cl-subs: 4490 v-elim: 0 v-fix: 0 time: 18.62 s
5740.13/179.70 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
5740.13/179.73 c vivif2 -- cl tried 59439 cl shrink 0 lits rem 0 time: 0.03
5740.13/179.78 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
5740.13/179.78 c calculated reachability. Time: 0.00
5740.13/179.78 c N st 59 806474 496 1264 0 59439 5744 1596853 no data no data
8115.13/254.01 c F st 60 1071875 496 1264 0 73798 5744 1936343 no data no data
8115.13/254.01 c N st 60 1071875 496 1264 0 73798 5744 1936343 no data no data
8147.09/255.03 c Decided on static restart strategy
8313.27/260.29 c N st 70 1100177 496 1264 0 58746 5744 1267442 no data no data
8677.69/271.68 c N st 72 1136172 496 1264 0 49480 5744 902737 no data no data
9016.53/282.30 c N st 73 1168566 496 1264 0 80408 5744 2276188 no data no data
9403.27/294.35 c N st 74 1209712 496 1264 0 74713 5744 1930663 no data no data
9403.27/294.35 c S st 74 1209712 496 1264 0 74713 5744 1930663 no data no data
9416.06/294.72 c S st 74 1210215 496 1264 0 75203 5744 1944605 no data no data
9416.06/294.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
9419.27/294.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08
9419.27/294.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9419.27/294.81 c bin-w-bin subsume rem 0 bins time: 0.00 s
9419.27/294.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9419.27/294.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
9419.27/294.81 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
9419.27/294.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
9422.47/294.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
10490.09/328.37 c lits-rem: 5416 cl-subs: 7472 v-elim: 0 v-fix: 0 time: 33.39 s
10490.09/328.37 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
10493.29/328.41 c vivif2 -- cl tried 67731 cl shrink 0 lits rem 0 time: 0.04
10496.49/328.50 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.09
10496.49/328.50 c calculated reachability. Time: 0.00
10496.49/328.50 c N st 74 1210215 496 1264 0 67731 5744 1679868 no data no data
11065.44/346.30 c N st 75 1283098 496 1264 0 92774 5744 2655622 no data no data
11986.03/375.18 c N st 76 1392421 496 1264 0 54637 5744 968774 no data no data
13827.18/432.76 c N st 77 1556405 496 1264 0 57304 5744 1019025 no data no data
15904.89/497.73 c N st 78 1710216 496 1264 0 97176 5744 2667571 no data no data
15904.89/497.73 c S st 78 1710216 496 1264 0 97176 5744 2667571 no data no data
15917.68/498.18 c S st 78 1710721 496 1264 0 97670 5744 2682016 no data no data
15917.68/498.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
15920.88/498.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08
15920.88/498.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
15920.88/498.28 c bin-w-bin subsume rem 0 bins time: 0.00 s
15920.88/498.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
15920.88/498.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
15920.88/498.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
15924.09/498.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
15927.28/498.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
20354.36/636.96 c lits-rem: 7497 cl-subs: 19783 v-elim: 0 v-fix: 0 time: 138.42 s
20354.36/636.96 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
20357.56/637.00 c vivif2 -- cl tried 77887 cl shrink 0 lits rem 0 time: 0.04
20357.56/637.08 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
20357.56/637.08 c calculated reachability. Time: 0.00
20357.56/637.08 c N st 78 1710721 496 1264 0 77887 5744 1963111 no data no data
26526.64/830.09 c N st 79 2079686 496 1264 0 90558 5744 2273160 no data no data
28108.92/879.56 c N st 80 2210723 496 1264 0 94803 5744 2410361 no data no data
28108.92/879.56 c S st 80 2210723 496 1264 0 94803 5744 2410361 no data no data
28124.91/880.06 c S st 80 2211226 496 1264 0 95293 5744 2425054 no data no data
28124.91/880.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
28128.11/880.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09
28128.11/880.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28128.11/880.17 c bin-w-bin subsume rem 0 bins time: 0.00 s
28128.11/880.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
28128.11/880.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
28128.11/880.17 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
28128.11/880.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
28135.12/880.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
30528.61/955.26 c lits-rem: 4373 cl-subs: 12739 v-elim: 0 v-fix: 0 time: 74.87 s
30528.61/955.26 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
30531.81/955.30 c vivif2 -- cl tried 82554 cl shrink 0 lits rem 0 time: 0.04
30535.01/955.43 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.12
30535.01/955.43 c calculated reachability. Time: 0.00
30535.01/955.43 c N st 80 2211226 496 1264 0 82554 5744 1971792 no data no data
38273.63/1197.51 c N st 81 2711227 496 1264 0 106024 5744 2663493 no data no data
38273.63/1197.51 c S st 81 2711227 496 1264 0 106024 5744 2663493 no data no data
38293.38/1198.13 c S st 81 2711731 496 1264 0 106514 5744 2676525 no data no data
38293.38/1198.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
38296.61/1198.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.13
38296.61/1198.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
38296.61/1198.29 c bin-w-bin subsume rem 0 bins time: 0.00 s
38296.61/1198.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
38296.61/1198.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
38296.61/1198.29 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
38299.17/1198.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
38305.57/1198.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
42099.77/1317.25 c lits-rem: 5073 cl-subs: 16628 v-elim: 0 v-fix: 0 time: 118.70 s
42099.77/1317.25 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
42102.97/1317.30 c vivif2 -- cl tried 89886 cl shrink 0 lits rem 0 time: 0.05
42106.17/1317.46 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.16
42106.17/1317.46 c calculated reachability. Time: 0.00
42106.17/1317.46 c N st 81 2711731 496 1264 0 89886 5744 2092315 no data no data
49982.27/1563.87 c N st 82 3211731 496 1264 0 140466 5744 3910055 no data no data
49982.27/1563.87 c S st 82 3211731 496 1264 0 140466 5744 3910055 no data no data
50007.84/1564.62 c S st 82 3212235 496 1264 0 140963 5744 3924565 no data no data
50007.84/1564.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
50011.04/1564.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.12
50011.04/1564.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
50011.04/1564.77 c bin-w-bin subsume rem 0 bins time: 0.00 s
50011.04/1564.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
50011.04/1564.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
50011.04/1564.77 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
50014.24/1564.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
50023.83/1565.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
62227.98/1946.98 c lits-rem: 6351 cl-subs: 31034 v-elim: 0 v-fix: 0 time: 381.80 s
62227.98/1946.98 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
62231.18/1947.04 c vivif2 -- cl tried 109929 cl shrink 0 lits rem 0 time: 0.06
62234.38/1947.16 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.11
62234.38/1947.16 c calculated reachability. Time: 0.00
62234.38/1947.16 c N st 82 3212235 496 1264 0 109929 5744 2766946 no data no data
70724.21/2212.74 c N st 83 3712235 496 1264 0 126623 5744 3227252 no data no data
70724.21/2212.74 c S st 83 3712235 496 1264 0 126623 5744 3227252 no data no data
70752.98/2213.65 c S st 83 3712739 496 1264 0 127120 5744 3242330 no data no data
70752.98/2213.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
70759.38/2213.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.15
70759.38/2213.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
70759.38/2213.83 c bin-w-bin subsume rem 0 bins time: 0.00 s
70759.38/2213.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
70759.38/2213.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
70759.38/2213.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
70762.57/2213.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
70768.98/2214.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
76707.98/2399.93 c lits-rem: 7321 cl-subs: 20861 v-elim: 0 v-fix: 0 time: 185.78 s
76707.98/2399.93 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
76707.98/2399.99 c vivif2 -- cl tried 106259 cl shrink 0 lits rem 0 time: 0.06
76714.38/2400.16 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.17
76714.38/2400.17 c calculated reachability. Time: 0.00
76714.38/2400.17 c N st 83 3712739 496 1264 0 106259 5744 2483052 no data no data
77568.48/2426.92 c F st 84 3751562 496 1264 0 142562 5744 3996714 no data no data
77571.66/2426.92 c N st 84 3751562 496 1264 0 142562 5744 3996714 no data no data
77663.72/2429.84 c Decided on static restart strategy
77948.23/2438.75 c N st 94 3779861 496 1264 0 92164 5744 1919018 no data no data
78389.31/2452.58 c N st 96 3815855 496 1264 0 126417 5744 3353085 no data no data
78760.12/2464.14 c N st 97 3848247 496 1264 0 157332 5744 4613732 no data no data
79421.79/2484.81 c N st 98 3896836 496 1264 0 123147 5744 3111641 no data no data
80396.72/2515.38 c N st 99 3969718 496 1264 0 112003 5744 2646918 no data no data
81847.95/2560.77 c N st 100 4079042 496 1264 0 132909 5744 3396108 no data no data
83877.66/2624.20 c N st 101 4212741 496 1264 0 91514 5744 1659971 no data no data
83877.66/2624.20 c S st 101 4212741 496 1264 0 91514 5744 1659971 no data no data
83893.65/2624.76 c S st 101 4213245 496 1264 0 92001 5744 1674226 no data no data
83893.65/2624.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
83897.47/2624.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09
83897.47/2624.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
83897.47/2624.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
83897.47/2624.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
83897.47/2624.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
83897.47/2624.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
83900.70/2624.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
83903.25/2625.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
84126.99/2632.08 c lits-rem: 2178 cl-subs: 2684 v-elim: 0 v-fix: 0 time: 7.03 s
84126.99/2632.08 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
84130.18/2632.11 c vivif2 -- cl tried 89317 cl shrink 0 lits rem 0 time: 0.04
84133.38/2632.23 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.11
84133.38/2632.23 c calculated reachability. Time: 0.00
84133.38/2632.23 c N st 101 4213245 496 1264 0 89317 5744 1582466 no data no data
88164.09/2758.35 c N st 102 4459222 496 1264 0 151217 5744 4036059 no data no data
92206.43/2884.82 c N st 103 4713247 496 1264 0 128236 5744 3077640 no data no data
92206.43/2884.82 c S st 103 4713247 496 1264 0 128236 5744 3077640 no data no data
92229.44/2885.57 c S st 103 4713750 496 1264 0 128734 5744 3091559 no data no data
92229.44/2885.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
92235.19/2885.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.14
92235.19/2885.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
92235.19/2885.74 c bin-w-bin subsume rem 0 bins time: 0.00 s
92235.19/2885.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
92235.19/2885.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
92235.19/2885.74 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
92238.39/2885.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
92244.78/2886.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
95425.30/2985.58 c lits-rem: 10558 cl-subs: 14401 v-elim: 0 v-fix: 0 time: 99.54 s
95425.30/2985.58 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
95429.12/2985.64 c vivif2 -- cl tried 114333 cl shrink 0 lits rem 0 time: 0.06
95432.32/2985.78 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.14
95432.32/2985.79 c calculated reachability. Time: 0.00
95432.32/2985.79 c N st 103 4713750 496 1264 0 114333 5744 2556835 no data no data
103665.70/3243.38 c N st 104 5213750 496 1264 0 127131 5744 2916311 no data no data
103665.70/3243.38 c S st 104 5213750 496 1264 0 127131 5744 2916311 no data no data
103695.14/3244.24 c S st 104 5214253 496 1264 0 127629 5744 2931743 no data no data
103695.14/3244.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
103700.87/3244.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.15
103700.87/3244.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
103700.87/3244.42 c bin-w-bin subsume rem 0 bins time: 0.00 s
103700.87/3244.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
103700.87/3244.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
103700.87/3244.42 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
103700.87/3244.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
103707.26/3244.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
106970.88/3346.77 c lits-rem: 5120 cl-subs: 14630 v-elim: 0 v-fix: 0 time: 102.06 s
106970.88/3346.77 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
106974.08/3346.82 c vivif2 -- cl tried 112999 cl shrink 0 lits rem 0 time: 0.06
106980.48/3347.00 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.18
106980.48/3347.01 c calculated reachability. Time: 0.00
106980.48/3347.01 c N st 104 5214253 496 1264 0 112999 5744 2375700 no data no data
115952.96/3627.77 c N st 105 5714254 496 1264 0 105660 5744 1910312 no data no data
115952.96/3627.77 c S st 105 5714254 496 1264 0 105660 5744 1910312 no data no data
115968.93/3628.29 c S st 105 5714757 496 1264 0 106147 5744 1923736 no data no data
115972.12/3628.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
115975.34/3628.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.10
115975.34/3628.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115975.34/3628.41 c bin-w-bin subsume rem 0 bins time: 0.00 s
115975.34/3628.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
115975.34/3628.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
115975.34/3628.41 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
115975.34/3628.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
115981.73/3628.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
116215.06/3635.97 c lits-rem: 1645 cl-subs: 2336 v-elim: 0 v-fix: 0 time: 7.36 s
116215.06/3635.97 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
116218.26/3636.01 c vivif2 -- cl tried 103811 cl shrink 0 lits rem 0 time: 0.04
116221.46/3636.14 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.13
116221.46/3636.15 c calculated reachability. Time: 0.00
116221.46/3636.15 c N st 105 5714757 496 1264 0 103811 5744 1851218 no data no data
125632.46/3930.59 c N st 106 6214759 496 1264 0 174749 5744 4806300 no data no data
125632.46/3930.59 c S st 106 6214759 496 1264 0 174749 5744 4806300 no data no data
125673.36/3931.80 c S st 106 6215263 496 1264 0 175245 5744 4821547 no data no data
125673.36/3931.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
125679.77/3932.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.19
125679.77/3932.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
125679.77/3932.03 c bin-w-bin subsume rem 0 bins time: 0.00 s
125679.77/3932.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
125679.77/3932.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
125679.77/3932.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
125682.96/3932.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
125692.55/3932.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
137171.02/4291.52 c lits-rem: 16571 cl-subs: 26621 v-elim: 0 v-fix: 0 time: 358.96 s
137171.02/4291.52 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
137171.02/4291.60 c vivif2 -- cl tried 148624 cl shrink 0 lits rem 0 time: 0.08
137177.41/4291.76 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.16
137177.41/4291.77 c calculated reachability. Time: 0.00
137177.41/4291.77 c N st 106 6215263 496 1264 0 148624 5744 3864060 no data no data
147201.47/4605.38 c N st 107 6715263 496 1264 0 203237 5744 5585090 no data no data
147201.47/4605.38 c S st 107 6715263 496 1264 0 203237 5744 5585090 no data no data
147249.42/4606.87 c S st 107 6715766 496 1264 0 203728 5744 5601633 no data no data
147252.58/4606.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
147259.64/4607.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.23
147259.64/4607.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
147259.64/4607.14 c bin-w-bin subsume rem 0 bins time: 0.00 s
147259.64/4607.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
147259.64/4607.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 496 time: 0.00 s
147259.64/4607.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
147262.19/4607.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
147274.94/4607.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400828-1306881851/watcher-3400828-1306881851 -o /tmp/evaluation-result-3400828-1306881851/solver-3400828-1306881851 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400828-1306881851.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.49 31.51 31.88 1/413 25814
/proc/meminfo: memFree=263494496/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=338000 CPUtime=0.9 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) R 25812 25814 25788 0 -1 4202496 468 0 0 0 90 0 0 0 25 0 32 0 14151061 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 84500 408 300 95 0 79482 0
[pid=25814/tid=25815] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25815/stat : 25815 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 4 0 0 0 3 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25814/tid=25816] ppid=25812 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25814/task/25816/stat : 25816 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970970034 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25814/tid=25817] ppid=25812 vsize=338000 CPUtime=0 cores=0-31
/proc/25814/task/25817/stat : 25817 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25814/tid=25818] ppid=25812 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25814/task/25818/stat : 25818 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25819] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25819/stat : 25819 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25814/tid=25820] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25820/stat : 25820 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25814/tid=25821] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25821/stat : 25821 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25814/tid=25822] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25822/stat : 25822 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25814/tid=25823] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25823/stat : 25823 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25814/tid=25824] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25824/stat : 25824 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25814/tid=25825] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25825/stat : 25825 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25814/tid=25827] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25827/stat : 25827 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969616 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25814/tid=25828] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25828/stat : 25828 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25814/tid=25829] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25829/stat : 25829 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25814/tid=25830] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25830/stat : 25830 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25814/tid=25831] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25831/stat : 25831 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25814/tid=25832] ppid=25812 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25814/task/25832/stat : 25832 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25814/tid=25833] ppid=25812 vsize=338000 CPUtime=0.01 cores=0-31
/proc/25814/task/25833/stat : 25833 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25814/tid=25834] ppid=25812 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25814/task/25834/stat : 25834 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25814/tid=25835] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25835/stat : 25835 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25814/tid=25836] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25836/stat : 25836 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25814/tid=25837] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25837/stat : 25837 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969616 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25814/tid=25838] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25838/stat : 25838 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25814/tid=25839] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25839/stat : 25839 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969616 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25814/tid=25840] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25840/stat : 25840 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25814/tid=25841] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25841/stat : 25841 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969629 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25814/tid=25842] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25842/stat : 25842 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25814/tid=25843] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25843/stat : 25843 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969623 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25814/tid=25844] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25844/stat : 25844 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969625 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25814/tid=25845] ppid=25812 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25814/task/25845/stat : 25845 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14151062 346112000 408 268435456000 4194304 4580107 140734585786512 18446744073709551615 47074970969619 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0773989 s]
/proc/loadavg: 29.49 31.51 31.88 1/413 25814
/proc/meminfo: memFree=263494496/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=1323672 CPUtime=1.29 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) R 25812 25814 25788 0 -1 4202496 4105 0 0 0 112 17 0 0 17 0 32 0 14151061 1355440128 3948 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 330918 3961 335 95 0 325900 0
[pid=25814/tid=25815] ppid=25812 vsize=1323672 CPUtime=0.03 cores=0-31
/proc/25814/task/25815/stat : 25815 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 129 0 0 0 3 0 0 0 17 0 32 0 14151062 1355440128 3962 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25814/tid=25816] ppid=25812 vsize=1323672 CPUtime=0.02 cores=0-31
/proc/25814/task/25816/stat : 25816 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 113 0 0 0 2 0 0 0 17 0 32 0 14151062 1355440128 3978 268435456000 4194304 4580107 140734585786512 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25817] ppid=25812 vsize=1323672 CPUtime=0.01 cores=0-31
/proc/25814/task/25817/stat : 25817 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 113 0 0 0 1 0 0 0 17 0 32 0 14151062 1355440128 3982 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604575252422112 0 0 -1 20 0 0 0
[pid=25814/tid=25818] ppid=25812 vsize=1323672 CPUtime=0.03 cores=0-31
/proc/25814/task/25818/stat : 25818 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 118 0 0 0 3 0 0 0 17 0 32 0 14151062 1355440128 4002 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604488573173216 0 0 -1 12 0 0 0
[pid=25814/tid=25819] ppid=25812 vsize=1331876 CPUtime=0.03 cores=0-31
/proc/25814/task/25819/stat : 25819 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 102 0 0 0 3 0 0 0 17 0 32 0 14151062 1363841024 4003 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25814/tid=25820] ppid=25812 vsize=1331876 CPUtime=0.03 cores=0-31
/proc/25814/task/25820/stat : 25820 (strangenight2-m) D 25812 25814 25788 0 -1 4202560 109 0 0 0 3 0 0 0 17 0 32 0 14151062 1363841024 4004 268435456000 4194304 4580107 140734585786512 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25814/tid=25821] ppid=25812 vsize=1331876 CPUtime=0.04 cores=0-31
/proc/25814/task/25821/stat : 25821 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 143 0 0 0 4 0 0 0 17 0 32 0 14151062 1363841024 4005 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604457111731680 0 0 -1 8 0 0 0
[pid=25814/tid=25822] ppid=25812 vsize=1331876 CPUtime=0.03 cores=0-31
/proc/25814/task/25822/stat : 25822 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 75 0 0 0 3 0 0 0 17 0 32 0 14151062 1363841024 4023 268435456000 4194304 4580107 140734585786512 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25814/tid=25823] ppid=25812 vsize=1331876 CPUtime=0.03 cores=0-31
/proc/25814/task/25823/stat : 25823 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 92 0 0 0 3 0 0 0 17 0 32 0 14151062 1363841024 4029 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744071566926344 0 0 -1 5 0 0 0
[pid=25814/tid=25824] ppid=25812 vsize=1331876 CPUtime=0.03 cores=0-31
/proc/25814/task/25824/stat : 25824 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 48 0 0 0 3 0 0 0 17 0 32 0 14151062 1363841024 4044 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25814/tid=25825] ppid=25812 vsize=1340080 CPUtime=0.03 cores=0-31
/proc/25814/task/25825/stat : 25825 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 71 0 0 0 3 0 0 0 17 0 32 0 14151062 1372241920 4046 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604503897783776 0 0 -1 3 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=1340080 CPUtime=0.03 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 99 0 0 0 3 0 0 0 17 0 32 0 14151062 1372241920 4050 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25814/tid=25827] ppid=25812 vsize=1340080 CPUtime=0.03 cores=0-31
/proc/25814/task/25827/stat : 25827 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 194 0 0 0 3 0 0 0 17 0 32 0 14151062 1372241920 4064 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25814/tid=25828] ppid=25812 vsize=1340080 CPUtime=0.03 cores=0-31
/proc/25814/task/25828/stat : 25828 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 163 0 0 0 3 0 0 0 17 0 32 0 14151062 1372241920 4076 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25814/tid=25829] ppid=25812 vsize=1340080 CPUtime=0.03 cores=0-31
/proc/25814/task/25829/stat : 25829 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 139 0 0 0 3 0 0 0 17 0 32 0 14151062 1372241920 4087 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604575301656032 0 0 -1 13 0 0 0
[pid=25814/tid=25830] ppid=25812 vsize=1348284 CPUtime=0.03 cores=0-31
/proc/25814/task/25830/stat : 25830 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 152 0 0 0 3 0 0 0 17 0 32 0 14151062 1380642816 4089 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25814/tid=25831] ppid=25812 vsize=1348284 CPUtime=0.03 cores=0-31
/proc/25814/task/25831/stat : 25831 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 111 0 0 0 3 0 0 0 17 0 32 0 14151062 1380642816 4093 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25814/tid=25832] ppid=25812 vsize=1348284 CPUtime=0.03 cores=0-31
/proc/25814/task/25832/stat : 25832 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 104 0 0 0 3 0 0 0 25 0 32 0 14151062 1380642816 4096 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604450466356704 0 0 -1 0 0 0 0
[pid=25814/tid=25833] ppid=25812 vsize=1348284 CPUtime=0.02 cores=0-31
/proc/25814/task/25833/stat : 25833 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 94 0 0 0 2 0 0 0 17 0 32 0 14151062 1380642816 4117 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604503337434592 0 0 -1 27 0 0 0
[pid=25814/tid=25834] ppid=25812 vsize=1348284 CPUtime=0.03 cores=0-31
/proc/25814/task/25834/stat : 25834 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 133 0 0 0 3 0 0 0 17 0 32 0 14151062 1380642816 4126 268435456000 4194304 4580107 140734585786512 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25814/tid=25835] ppid=25812 vsize=1348284 CPUtime=0.03 cores=0-31
/proc/25814/task/25835/stat : 25835 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 145 0 0 0 3 0 0 0 17 0 32 0 14151062 1380642816 4135 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604477874798048 0 0 -1 4 0 0 0
[pid=25814/tid=25836] ppid=25812 vsize=1356488 CPUtime=0.03 cores=0-31
/proc/25814/task/25836/stat : 25836 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 102 0 0 0 3 0 0 0 17 0 32 0 14151062 1389043712 4135 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604448731725280 0 0 -1 17 0 0 0
[pid=25814/tid=25837] ppid=25812 vsize=1364692 CPUtime=0.03 cores=0-31
/proc/25814/task/25837/stat : 25837 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 183 0 0 0 3 0 0 0 17 0 32 0 14151062 1397444608 4145 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25814/tid=25838] ppid=25812 vsize=1364692 CPUtime=0.03 cores=0-31
/proc/25814/task/25838/stat : 25838 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 92 0 0 0 3 0 0 0 17 0 32 0 14151062 1397444608 4153 268435456000 4194304 4580107 140734585786512 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25814/tid=25839] ppid=25812 vsize=1364692 CPUtime=0.03 cores=0-31
/proc/25814/task/25839/stat : 25839 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 152 0 0 0 3 0 0 0 17 0 32 0 14151062 1397444608 4156 268435456000 4194304 4580107 140734585786512 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25814/tid=25840] ppid=25812 vsize=1364692 CPUtime=0.03 cores=0-31
/proc/25814/task/25840/stat : 25840 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 141 0 0 0 3 0 0 0 17 0 32 0 14151062 1397444608 4166 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25814/tid=25841] ppid=25812 vsize=1372896 CPUtime=0.03 cores=0-31
/proc/25814/task/25841/stat : 25841 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 98 0 0 0 3 0 0 0 17 0 32 0 14151062 1405845504 4169 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25814/tid=25842] ppid=25812 vsize=1372896 CPUtime=0.03 cores=0-31
/proc/25814/task/25842/stat : 25842 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 155 0 0 0 3 0 0 0 17 0 32 0 14151062 1405845504 4172 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25814/tid=25843] ppid=25812 vsize=1372896 CPUtime=0.03 cores=0-31
/proc/25814/task/25843/stat : 25843 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 109 0 0 0 3 0 0 0 17 0 32 0 14151062 1405845504 4179 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744071566927184 0 0 -1 26 0 0 0
[pid=25814/tid=25844] ppid=25812 vsize=1372896 CPUtime=0.03 cores=0-31
/proc/25814/task/25844/stat : 25844 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 120 0 0 0 3 0 0 0 17 0 32 0 14151062 1405845504 4183 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25814/tid=25845] ppid=25812 vsize=1372896 CPUtime=0.03 cores=0-31
/proc/25814/task/25845/stat : 25845 (strangenight2-m) D 25812 25814 25788 0 -1 4202560 65 0 0 0 3 0 0 0 17 0 32 0 14151062 1405845504 4184 268435456000 4194304 4580107 140734585786512 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 1323672
[startup+0.103399 s]
/proc/loadavg: 29.49 31.51 31.88 1/413 25814
/proc/meminfo: memFree=263494496/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=1389540 CPUtime=1.78 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) R 25812 25814 25788 0 -1 4202496 5887 0 0 0 128 50 0 0 17 0 32 0 14151061 1422888960 5731 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 347385 5732 340 95 0 342367 0
[pid=25814/tid=25815] ppid=25812 vsize=1389540 CPUtime=0.05 cores=0-31
/proc/25814/task/25815/stat : 25815 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 193 0 0 0 4 1 0 0 17 0 32 0 14151062 1422888960 5734 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25814/tid=25816] ppid=25812 vsize=1389540 CPUtime=0.04 cores=0-31
/proc/25814/task/25816/stat : 25816 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 163 0 0 0 3 1 0 0 17 0 32 0 14151062 1422888960 5737 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25814/tid=25817] ppid=25812 vsize=1389540 CPUtime=0.02 cores=0-31
/proc/25814/task/25817/stat : 25817 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 141 0 0 0 1 1 0 0 17 0 32 0 14151062 1422888960 5739 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25818] ppid=25812 vsize=1389536 CPUtime=0.04 cores=0-31
/proc/25814/task/25818/stat : 25818 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 164 0 0 0 3 1 0 0 17 0 32 0 14151062 1422884864 5741 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25819] ppid=25812 vsize=1389536 CPUtime=0.04 cores=0-31
/proc/25814/task/25819/stat : 25819 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 147 0 0 0 3 1 0 0 17 0 32 0 14151062 1422884864 5745 268435456000 4194304 4580107 140734585786512 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25814/tid=25820] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25820/stat : 25820 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 163 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5745 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25814/tid=25821] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25821/stat : 25821 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 165 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5745 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604455107517920 0 0 -1 8 0 0 0
[pid=25814/tid=25822] ppid=25812 vsize=1389536 CPUtime=0.04 cores=0-31
/proc/25814/task/25822/stat : 25822 (strangenight2-m) D 25812 25814 25788 0 -1 4202560 143 0 0 0 3 1 0 0 17 0 32 0 14151062 1422884864 5748 268435456000 4194304 4580107 140734585786512 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25814/tid=25823] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25823/stat : 25823 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 135 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5754 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25814/tid=25824] ppid=25812 vsize=1389536 CPUtime=0.04 cores=0-31
/proc/25814/task/25824/stat : 25824 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 139 0 0 0 3 1 0 0 17 0 32 0 14151062 1422884864 5760 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 6 0 0 0
[pid=25814/tid=25825] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25825/stat : 25825 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 142 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5760 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446744071566928544 0 0 -1 3 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 140 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5769 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 18446604449408499168 0 0 -1 9 0 0 0
[pid=25814/tid=25827] ppid=25812 vsize=1389536 CPUtime=0.06 cores=0-31
/proc/25814/task/25827/stat : 25827 (strangenight2-m) S 25812 25814 25788 0 -1 4202560 238 0 0 0 5 1 0 0 17 0 32 0 14151062 1422884864 5778 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25814/tid=25828] ppid=25812 vsize=1389536 CPUtime=0.06 cores=0-31
/proc/25814/task/25828/stat : 25828 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 232 0 0 0 4 2 0 0 17 0 32 0 14151062 1422884864 5781 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25814/tid=25829] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25829/stat : 25829 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 196 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5782 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25814/tid=25830] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
/proc/25814/task/25830/stat : 25830 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 211 0 0 0 4 1 0 0 17 0 32 0 14151062 1422884864 5785 268435456000 4194304 4580107 140734585786512 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25814/tid=25831] ppid=25812 vsize=1389536 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=255001016/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=11408908 CPUtime=158613 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) R 25812 25814 25788 0 -1 4202496 8604050 0 0 0 15854951 6384 0 0 25 0 32 0 14151061 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 2852227 2119446 379 95 0 2847209 0
[pid=25814/tid=25815] ppid=25812 vsize=11408908 CPUtime=4961.2 cores=0-31
/proc/25814/task/25815/stat : 25815 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 250328 0 0 0 495939 181 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25814/tid=25816] ppid=25812 vsize=11408908 CPUtime=4961.22 cores=0-31
/proc/25814/task/25816/stat : 25816 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 255851 0 0 0 495956 166 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25814/tid=25817] ppid=25812 vsize=11408908 CPUtime=4961.18 cores=0-31
/proc/25814/task/25817/stat : 25817 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 311191 0 0 0 495899 219 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25818] ppid=25812 vsize=11408908 CPUtime=4960.88 cores=0-31
/proc/25814/task/25818/stat : 25818 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 203481 0 0 0 495929 159 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25814/tid=25819] ppid=25812 vsize=11408908 CPUtime=4961.22 cores=0-31
/proc/25814/task/25819/stat : 25819 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 317507 0 0 0 495911 211 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25814/tid=25820] ppid=25812 vsize=11408908 CPUtime=4959.96 cores=0-31
/proc/25814/task/25820/stat : 25820 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 244631 0 0 0 495824 172 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25814/tid=25821] ppid=25812 vsize=11408908 CPUtime=4961.22 cores=0-31
/proc/25814/task/25821/stat : 25821 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 310512 0 0 0 495914 208 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25814/tid=25822] ppid=25812 vsize=11408908 CPUtime=4946.55 cores=0-31
/proc/25814/task/25822/stat : 25822 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 276828 0 0 0 494443 212 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25814/tid=25823] ppid=25812 vsize=11408908 CPUtime=4961.23 cores=0-31
/proc/25814/task/25823/stat : 25823 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 289541 0 0 0 495917 206 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25814/tid=25824] ppid=25812 vsize=11408908 CPUtime=4960.14 cores=0-31
/proc/25814/task/25824/stat : 25824 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 312388 0 0 0 495797 217 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25814/tid=25825] ppid=25812 vsize=11408908 CPUtime=4961.2 cores=0-31
/proc/25814/task/25825/stat : 25825 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 245773 0 0 0 495938 182 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=11408908 CPUtime=4905.05 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 247073 0 0 0 490316 189 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25814/tid=25827] ppid=25812 vsize=11408908 CPUtime=4961.16 cores=0-31
/proc/25814/task/25827/stat : 25827 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 174573 0 0 0 495990 126 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25814/tid=25828] ppid=25812 vsize=11408908 CPUtime=4943.33 cores=0-31
/proc/25814/task/25828/stat : 25828 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 224447 0 0 0 494166 167 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25814/tid=25829] ppid=25812 vsize=11408908 CPUtime=4961.16 cores=0-31
/proc/25814/task/25829/stat : 25829 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 249432 0 0 0 495940 176 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25814/tid=25830] ppid=25812 vsize=11408908 CPUtime=4961.2 cores=0-31
/proc/25814/task/25830/stat : 25830 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 332365 0 0 0 495880 240 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25814/tid=25831] ppid=25812 vsize=11408908 CPUtime=4919.43 cores=0-31
/proc/25814/task/25831/stat : 25831 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 372159 0 0 0 491675 268 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25814/tid=25832] ppid=25812 vsize=11408908 CPUtime=4961.21 cores=0-31
/proc/25814/task/25832/stat : 25832 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 286836 0 0 0 495903 218 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25814/tid=25833] ppid=25812 vsize=11408908 CPUtime=4959.37 cores=0-31
/proc/25814/task/25833/stat : 25833 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 185431 0 0 0 495786 151 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25814/tid=25834] ppid=25812 vsize=11408908 CPUtime=4961.25 cores=0-31
/proc/25814/task/25834/stat : 25834 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 211022 0 0 0 495966 159 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25814/tid=25835] ppid=25812 vsize=11408908 CPUtime=4958.1 cores=0-31
/proc/25814/task/25835/stat : 25835 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 314349 0 0 0 495554 256 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25814/tid=25836] ppid=25812 vsize=11408908 CPUtime=4961.06 cores=0-31
/proc/25814/task/25836/stat : 25836 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 238754 0 0 0 495916 190 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25814/tid=25837] ppid=25812 vsize=11408908 CPUtime=4961.2 cores=0-31
/proc/25814/task/25837/stat : 25837 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 279379 0 0 0 495910 210 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25814/tid=25838] ppid=25812 vsize=11408908 CPUtime=4953.73 cores=0-31
/proc/25814/task/25838/stat : 25838 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 326909 0 0 0 495120 253 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25814/tid=25839] ppid=25812 vsize=11408908 CPUtime=4961.2 cores=0-31
/proc/25814/task/25839/stat : 25839 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 384854 0 0 0 495828 292 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25814/tid=25840] ppid=25812 vsize=11408908 CPUtime=4961.22 cores=0-31
/proc/25814/task/25840/stat : 25840 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 368666 0 0 0 495854 268 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25814/tid=25841] ppid=25812 vsize=11408908 CPUtime=4961.25 cores=0-31
/proc/25814/task/25841/stat : 25841 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 297208 0 0 0 495908 217 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25814/tid=25842] ppid=25812 vsize=11408908 CPUtime=4961.18 cores=0-31
/proc/25814/task/25842/stat : 25842 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 245148 0 0 0 495915 203 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25814/tid=25843] ppid=25812 vsize=11408908 CPUtime=4961.21 cores=0-31
/proc/25814/task/25843/stat : 25843 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 283591 0 0 0 495928 193 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25814/tid=25844] ppid=25812 vsize=11408908 CPUtime=4961.25 cores=0-31
/proc/25814/task/25844/stat : 25844 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 261941 0 0 0 495918 207 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25814/tid=25845] ppid=25812 vsize=11408908 CPUtime=4961.27 cores=0-31
/proc/25814/task/25845/stat : 25845 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 110576 0 0 0 496023 104 0 0 25 0 32 0 14151062 11682721792 2119446 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158613
Current children cumulated vsize (KiB) 11408908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.8 s]
/proc/loadavg: 32.11 32.09 32.09 33/445 26001
/proc/meminfo: memFree=254983660/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=11695932 CPUtime=160004 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) R 25812 25814 25788 0 -1 4202496 8642728 0 0 0 15993954 6427 0 0 25 0 32 0 14151061 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 2923983 2124512 379 95 0 2918965 0
[pid=25814/tid=25815] ppid=25812 vsize=11695932 CPUtime=5004.69 cores=0-31
/proc/25814/task/25815/stat : 25815 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 250328 0 0 0 500288 181 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4416130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25814/tid=25816] ppid=25812 vsize=11695932 CPUtime=5004.71 cores=0-31
/proc/25814/task/25816/stat : 25816 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 255851 0 0 0 500305 166 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25814/tid=25817] ppid=25812 vsize=11695932 CPUtime=5004.67 cores=0-31
/proc/25814/task/25817/stat : 25817 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 311191 0 0 0 500248 219 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25814/tid=25818] ppid=25812 vsize=11695932 CPUtime=5004.38 cores=0-31
/proc/25814/task/25818/stat : 25818 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 203643 0 0 0 500278 160 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25814/tid=25819] ppid=25812 vsize=11695932 CPUtime=5004.71 cores=0-31
/proc/25814/task/25819/stat : 25819 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 319422 0 0 0 500258 213 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25814/tid=25820] ppid=25812 vsize=11695932 CPUtime=5003.44 cores=0-31
/proc/25814/task/25820/stat : 25820 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 246816 0 0 0 500170 174 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25814/tid=25821] ppid=25812 vsize=11695932 CPUtime=5004.71 cores=0-31
/proc/25814/task/25821/stat : 25821 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 311237 0 0 0 500263 208 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25814/tid=25822] ppid=25812 vsize=11695932 CPUtime=4990.05 cores=0-31
/proc/25814/task/25822/stat : 25822 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 278377 0 0 0 498791 214 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25814/tid=25823] ppid=25812 vsize=11695932 CPUtime=5004.72 cores=0-31
/proc/25814/task/25823/stat : 25823 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 289541 0 0 0 500266 206 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25814/tid=25824] ppid=25812 vsize=11695932 CPUtime=5003.63 cores=0-31
/proc/25814/task/25824/stat : 25824 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 312388 0 0 0 500146 217 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25814/tid=25825] ppid=25812 vsize=11695932 CPUtime=5004.69 cores=0-31
/proc/25814/task/25825/stat : 25825 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 247210 0 0 0 500285 184 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=11695932 CPUtime=4947.72 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 247264 0 0 0 494583 189 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25814/tid=25827] ppid=25812 vsize=11695932 CPUtime=5004.65 cores=0-31
/proc/25814/task/25827/stat : 25827 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 175885 0 0 0 500338 127 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25814/tid=25828] ppid=25812 vsize=11695932 CPUtime=4986.82 cores=0-31
/proc/25814/task/25828/stat : 25828 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 225996 0 0 0 498513 169 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25814/tid=25829] ppid=25812 vsize=11695932 CPUtime=5004.66 cores=0-31
/proc/25814/task/25829/stat : 25829 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 250892 0 0 0 500288 178 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25814/tid=25830] ppid=25812 vsize=11695932 CPUtime=5004.69 cores=0-31
/proc/25814/task/25830/stat : 25830 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 337375 0 0 0 500224 245 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25814/tid=25831] ppid=25812 vsize=11695932 CPUtime=4962.49 cores=0-31
/proc/25814/task/25831/stat : 25831 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 372159 0 0 0 495981 268 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25814/tid=25832] ppid=25812 vsize=11695932 CPUtime=5004.7 cores=0-31
/proc/25814/task/25832/stat : 25832 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 286836 0 0 0 500252 218 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25814/tid=25833] ppid=25812 vsize=11695932 CPUtime=5002.86 cores=0-31
/proc/25814/task/25833/stat : 25833 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 189972 0 0 0 500132 154 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25814/tid=25834] ppid=25812 vsize=11695932 CPUtime=5004.74 cores=0-31
/proc/25814/task/25834/stat : 25834 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 211022 0 0 0 500315 159 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25814/tid=25835] ppid=25812 vsize=11695932 CPUtime=5001.55 cores=0-31
/proc/25814/task/25835/stat : 25835 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 318291 0 0 0 499896 259 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25814/tid=25836] ppid=25812 vsize=11695932 CPUtime=5004.55 cores=0-31
/proc/25814/task/25836/stat : 25836 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 238754 0 0 0 500265 190 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25814/tid=25837] ppid=25812 vsize=11695932 CPUtime=5004.7 cores=0-31
/proc/25814/task/25837/stat : 25837 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 280942 0 0 0 500258 212 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25814/tid=25838] ppid=25812 vsize=11695932 CPUtime=4997.21 cores=0-31
/proc/25814/task/25838/stat : 25838 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 328808 0 0 0 499466 255 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25814/tid=25839] ppid=25812 vsize=11695932 CPUtime=5004.69 cores=0-31
/proc/25814/task/25839/stat : 25839 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 384854 0 0 0 500177 292 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25814/tid=25840] ppid=25812 vsize=11695932 CPUtime=5004.72 cores=0-31
/proc/25814/task/25840/stat : 25840 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 368666 0 0 0 500204 268 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25814/tid=25841] ppid=25812 vsize=11695932 CPUtime=5004.74 cores=0-31
/proc/25814/task/25841/stat : 25841 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 298259 0 0 0 500256 218 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25814/tid=25842] ppid=25812 vsize=11695932 CPUtime=5004.67 cores=0-31
/proc/25814/task/25842/stat : 25842 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 246475 0 0 0 500262 205 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25814/tid=25843] ppid=25812 vsize=11695932 CPUtime=5004.71 cores=0-31
/proc/25814/task/25843/stat : 25843 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 287644 0 0 0 500275 196 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25814/tid=25844] ppid=25812 vsize=11695932 CPUtime=5004.74 cores=0-31
/proc/25814/task/25844/stat : 25844 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 264539 0 0 0 500262 212 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25814/tid=25845] ppid=25812 vsize=11695932 CPUtime=5004.76 cores=0-31
/proc/25814/task/25845/stat : 25845 (strangenight2-m) R 25812 25814 25788 0 -1 4202560 110785 0 0 0 500372 104 0 0 25 0 32 0 14151062 11976634368 2124512 268435456000 4194304 4580107 140734585786512 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 11695932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006 s]
/proc/loadavg: 32.11 32.09 32.09 33/445 26001
/proc/meminfo: memFree=254983660/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=0 CPUtime=160004 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) Z 25812 25814 25788 0 -1 4203548 8642732 0 0 0 15993976 6444 0 0 25 0 2 0 14151061 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 0 0 0 0 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=0 CPUtime=4947.9 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4203588 247264 0 0 0 494584 206 0 0 25 0 2 0 14151062 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5006.43 s]
/proc/loadavg: 32.11 32.09 32.09 2/416 26002
/proc/meminfo: memFree=261536796/264257624 swapFree=67044780/67111528
[pid=25814] ppid=25812 vsize=0 CPUtime=160005 cores=0-31
/proc/25814/stat : 25814 (strangenight2-m) Z 25812 25814 25788 0 -1 4203548 8642732 0 0 0 15993976 6487 0 0 25 0 2 0 14151061 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/25814/statm: 0 0 0 0 0 0 0
[pid=25814/tid=25826] ppid=25812 vsize=0 CPUtime=4948.33 cores=0-31
/proc/25814/task/25826/stat : 25826 (strangenight2-m) R 25812 25814 25788 0 -1 4203588 247264 0 0 0 494584 249 0 0 25 0 2 0 14151062 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.47
CPU time (s): 160005
CPU user time (s): 159940
CPU system time (s): 64.9081
CPU usage (%): 3195.96
Max. virtual memory (cumulated for all children) (KiB): 11923744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159940
system time used= 64.9081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8642732
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= 69665
involuntary context switches= 330138
runsolver used 27.1709 second user time and 114.425 second system time
The end
Begin job on node200 at 2011-06-01 00:44:11
IDJOB=3400828
IDBENCH=83418
IDSOLVER=1886
FILE ID=node200/3400828-1306881851
RUNJOBID= node200-1306881851-25802
PBS_JOBID= 13471381
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_2_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400828-1306881851/watcher-3400828-1306881851 -o /tmp/evaluation-result-3400828-1306881851/solver-3400828-1306881851 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400828-1306881851.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1024a3346322fdba0a20b51f99eae4c0
RANDOM SEED=621804674
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: 263494660 kB
Buffers: 161168 kB
Cached: 409580 kB
SwapCached: 29976 kB
Active: 138964 kB
Inactive: 463916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263494660 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5804 kB
Writeback: 0 kB
AnonPages: 30128 kB
Mapped: 7268 kB
Slab: 74932 kB
PageTables: 4192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-06-01 02:07:39