0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
1.88/0.08 c This is CryptoMiniSat 3.0.0
1.88/0.08 c WARNING: for repeatability, setting FPU to use double precision
1.88/0.08 c Reading file 'HOME/instance-3400834-1306897052.cnf'
1.88/0.08 c -- header says num vars: 912
1.88/0.08 c -- header says num clauses: 3488
2.40/0.14 c -- clauses added: 0 learnts, 3488 normals, 0 xors
2.40/0.14 c -- vars added 912
2.40/0.14 c Parsing time: 0.01 s
2.40/0.14 c N st 0 0 912 3184 160 0 10640 0 no data no data
2.40/0.15 c asymm cl-useful: 0/2928/2928 lits-rem:0 time: 0.00
2.40/0.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 128 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
2.40/0.16 c Replacing 128 vars Replaced 2484 lits Time: 0.00 s
2.40/0.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.40/0.18 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.40/0.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.40/0.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 704 time: 0.00 s
2.40/0.18 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
3.91/0.23 c lits-rem: 0 cl-subs: 0 v-elim: 110 v-fix: 0 time: 0.01 s
3.91/0.23 c Finding binary XORs T: 0.00 s found: 0
3.91/0.23 c Finding non-binary XORs: 0.00 s (found: 306, avg size: 3.4)
3.91/0.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 26 locsubst: 0 time: 0.00
3.91/0.23 c calculated reachability. Time: 0.00
3.91/0.23 c Calc default polars - time: 0.00 s pos: 0 undec: 344 neg: 568
3.91/0.23 c =========================================================================================
3.91/0.23 c types(t): F = full restart, N = normal restart
3.91/0.23 c types(t): S = simplification begin/end, E = solution found
3.91/0.23 c restart types(rt): st = static, dy = dynamic
3.91/0.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.91/0.23 c B st 0 0 568 1264 32 0 5600 0 no data no data
3.91/0.36 c Decided on static restart strategy
3.91/0.67 c N st 8 4915 568 1264 37 4621 5600 117979 no data no data
3.91/1.27 c N st 10 11297 568 1264 75 4351 5600 72491 no data no data
52.82/1.78 c N st 11 17043 568 1264 78 9773 5600 227018 no data no data
77.00/2.56 c F st 12 25001 568 1264 103 12221 5600 283857 no data no data
77.00/2.56 c N st 12 25001 568 1264 103 12221 5600 283857 no data no data
77.00/2.56 c Finding binary XORs T: 0.00 s found: 51
77.00/2.58 c Replacing 51 vars Replaced 10114 lits Time: 0.01 s
92.98/3.01 c Decided on static restart strategy
92.98/3.01 c N st 18 30000 517 1264 6 10590 5538 207778 no data no data
92.98/3.01 c S st 18 30000 517 1264 6 10590 5538 207778 no data no data
92.98/3.05 c S st 18 30500 517 1264 7 11068 5538 216021 no data no data
92.98/3.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
92.98/3.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
92.98/3.06 c Replacing 1 vars Replaced 47 lits Time: 0.00 s
92.98/3.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
92.98/3.06 c bin-w-bin subsume rem 0 bins time: 0.00 s
92.98/3.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
92.98/3.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 516 time: 0.00 s
92.98/3.06 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
92.98/3.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
92.98/3.08 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 0.00 s
99.37/3.29 c lits-rem: 1621 cl-subs: 1067 v-elim: 0 v-fix: 0 time: 0.21 s
102.55/3.30 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
102.55/3.30 c calculated reachability. Time: 0.00
102.55/3.30 c N st 18 30500 516 1264 5 9999 5538 186983 no data no data
124.90/4.00 c N st 20 37610 516 1264 6 9253 5538 151290 no data no data
144.74/4.63 c N st 21 44009 516 1264 7 15340 5538 327516 no data no data
150.47/4.80 c S st 22 45752 516 1264 7 16986 5538 377186 no data no data
150.47/4.87 c S st 22 46254 516 1264 8 9054 5538 121342 no data no data
150.47/4.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
150.47/4.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
150.47/4.87 c Replacing 1 vars Replaced 26 lits Time: 0.00 s
150.47/4.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
150.47/4.87 c bin-w-bin subsume rem 0 bins time: 0.00 s
150.47/4.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
150.47/4.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 515 time: 0.00 s
150.47/4.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
150.47/4.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
150.47/4.88 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
153.66/4.90 c lits-rem: 283 cl-subs: 76 v-elim: 0 v-fix: 0 time: 0.02 s
153.66/4.90 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
153.66/4.90 c vivif2 -- cl tried 8976 cl shrink 0 lits rem 0 time: 0.00
153.66/4.91 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
153.66/4.91 c calculated reachability. Time: 0.00
153.66/4.91 c N st 22 46254 515 1264 6 8976 5538 119970 no data no data
204.81/6.50 c N st 23 60652 515 1264 6 13332 5538 243008 no data no data
239.97/7.62 c N st 24 69381 515 1264 8 11208 5538 150785 no data no data
239.97/7.62 c S st 24 69381 515 1264 8 11208 5538 150785 no data no data
239.97/7.66 c S st 24 69884 515 1264 12 11689 5538 159252 no data no data
239.97/7.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
239.97/7.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
239.97/7.67 c Replacing 3 vars Replaced 1261 lits Time: 0.00 s
239.97/7.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
239.97/7.67 c bin-w-bin subsume rem 0 bins time: 0.00 s
239.97/7.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
239.97/7.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 512 time: 0.00 s
239.97/7.67 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
239.97/7.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
239.97/7.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
243.16/7.72 c lits-rem: 590 cl-subs: 158 v-elim: 0 v-fix: 0 time: 0.03 s
243.16/7.72 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
243.16/7.72 c vivif2 -- cl tried 11531 cl shrink 0 lits rem 0 time: 0.00
243.16/7.73 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
243.16/7.73 c calculated reachability. Time: 0.00
243.16/7.73 c N st 24 69884 512 1264 6 11531 5536 155755 no data no data
313.48/9.94 c F st 25 87500 512 1264 6 17122 5536 320756 no data no data
313.48/9.94 c N st 25 87500 512 1264 6 17122 5536 320756 no data no data
313.48/9.94 c Finding binary XORs T: 0.00 s found: 4
332.65/10.50 c Decided on static restart strategy
342.25/10.82 c N st 32 95540 512 1264 10 24922 5536 555482 no data no data
371.01/11.74 c N st 34 104827 512 1264 14 21197 5536 391759 no data no data
371.01/11.74 c S st 34 104827 512 1264 14 21197 5536 391759 no data no data
374.21/11.82 c S st 34 105329 512 1264 15 21681 5536 402209 no data no data
374.21/11.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
374.21/11.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
374.21/11.84 c Replacing 7 vars Replaced 1566 lits Time: 0.01 s
374.21/11.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
374.21/11.84 c bin-w-bin subsume rem 0 bins time: 0.00 s
374.21/11.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
374.21/11.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 505 time: 0.00 s
374.21/11.84 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
374.21/11.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
374.21/11.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
393.38/12.42 c lits-rem: 1446 cl-subs: 1636 v-elim: 0 v-fix: 0 time: 0.55 s
393.38/12.42 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
393.38/12.43 c vivif2 -- cl tried 20044 cl shrink 0 lits rem 0 time: 0.00
393.38/12.43 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
393.38/12.43 c calculated reachability. Time: 0.00
393.38/12.43 c N st 34 105329 505 1264 1 20044 5536 353859 no data no data
434.93/13.70 c N st 35 114927 505 1264 1 15814 5536 235326 no data no data
496.29/15.63 c N st 36 129325 505 1264 2 15162 5536 197975 no data no data
594.76/18.71 c N st 37 150922 505 1264 2 20710 5536 380459 no data no data
626.72/19.78 c S st 38 157993 505 1264 2 27576 5536 570119 no data no data
629.92/19.89 c S st 38 158496 505 1264 2 28059 5536 579435 no data no data
629.92/19.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
629.92/19.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
629.92/19.91 c Replacing 1 vars Replaced 14 lits Time: 0.00 s
629.92/19.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
629.92/19.91 c bin-w-bin subsume rem 0 bins time: 0.00 s
629.92/19.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
629.92/19.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
629.92/19.91 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
629.92/19.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
633.74/19.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
652.28/20.56 c lits-rem: 2779 cl-subs: 906 v-elim: 0 v-fix: 0 time: 0.61 s
652.28/20.56 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
652.28/20.57 c vivif2 -- cl tried 27153 cl shrink 0 lits rem 0 time: 0.01
652.28/20.58 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
652.28/20.58 c calculated reachability. Time: 0.00
652.28/20.58 c N st 38 158496 504 1264 0 27153 5536 551113 no data no data
959.14/30.12 c N st 39 207085 504 1264 0 22234 5536 338747 no data no data
1122.15/35.21 c N st 40 237745 504 1264 0 32304 5536 601989 no data no data
1122.15/35.21 c S st 40 237745 504 1264 0 32304 5536 601989 no data no data
1126.00/35.33 c S st 40 238251 504 1264 0 32791 5536 611442 no data no data
1126.00/35.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1126.00/35.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
1126.00/35.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1126.00/35.35 c bin-w-bin subsume rem 0 bins time: 0.00 s
1126.00/35.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1126.00/35.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
1126.00/35.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1126.00/35.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1126.00/35.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1161.12/36.45 c lits-rem: 3104 cl-subs: 1915 v-elim: 0 v-fix: 0 time: 1.06 s
1161.12/36.45 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
1161.12/36.46 c vivif2 -- cl tried 30876 cl shrink 0 lits rem 0 time: 0.01
1161.12/36.47 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
1161.12/36.47 c calculated reachability. Time: 0.00
1161.12/36.47 c N st 40 238251 504 1264 0 30876 5536 556200 no data no data
1560.04/48.99 c F st 41 306250 504 1264 0 33404 5536 598058 no data no data
1560.04/48.99 c N st 41 306250 504 1264 0 33404 5536 598058 no data no data
1588.80/49.87 c Decided on static restart strategy
1735.83/54.41 c N st 51 334557 504 1264 0 37308 5536 707292 no data no data
1873.28/58.71 c N st 53 357377 504 1264 0 34922 5536 605185 no data no data
1873.28/58.71 c S st 53 357377 504 1264 0 34922 5536 605185 no data no data
1876.48/58.85 c S st 53 357881 504 1264 0 35411 5536 615402 no data no data
1876.48/58.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1876.48/58.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
1876.48/58.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1876.48/58.87 c bin-w-bin subsume rem 0 bins time: 0.00 s
1876.48/58.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1876.48/58.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
1876.48/58.87 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1876.48/58.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1879.68/58.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1921.23/60.23 c lits-rem: 1268 cl-subs: 3015 v-elim: 0 v-fix: 0 time: 1.31 s
1921.23/60.23 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
1921.23/60.24 c vivif2 -- cl tried 32396 cl shrink 0 lits rem 0 time: 0.01
1921.23/60.25 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
1921.23/60.25 c calculated reachability. Time: 0.00
1921.23/60.25 c N st 53 357881 504 1264 0 32396 5536 534057 no data no data
2128.97/66.75 c N st 54 390273 504 1264 0 38607 5536 704060 no data no data
2493.39/78.18 c N st 55 438861 504 1264 0 32341 5536 459596 no data no data
3039.94/95.25 c N st 56 511745 504 1264 0 46886 5536 929081 no data no data
3177.39/99.59 c N st 57 536822 504 1264 0 40830 5536 646914 no data no data
3177.39/99.59 c S st 57 536822 504 1264 0 40830 5536 646914 no data no data
3183.79/99.74 c S st 57 537325 504 1264 0 41315 5536 657626 no data no data
3183.79/99.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3183.79/99.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
3183.79/99.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3183.79/99.76 c bin-w-bin subsume rem 0 bins time: 0.00 s
3183.79/99.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3183.79/99.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
3183.79/99.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
3183.79/99.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
3186.99/99.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3218.95/100.81 c lits-rem: 1598 cl-subs: 2047 v-elim: 0 v-fix: 0 time: 1.00 s
3218.95/100.81 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
3218.95/100.82 c vivif2 -- cl tried 39268 cl shrink 0 lits rem 0 time: 0.01
3218.95/100.84 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
3218.95/100.84 c calculated reachability. Time: 0.00
3218.95/100.84 c N st 57 537325 504 1264 0 39268 5536 606637 no data no data
4513.52/141.32 c N st 58 701310 504 1264 0 66303 5536 1266522 no data no data
5267.88/164.97 c N st 59 805988 504 1264 0 60242 5536 1101561 no data no data
5267.88/164.97 c S st 59 805988 504 1264 0 60242 5536 1101561 no data no data
5278.09/165.23 c S st 59 806490 504 1264 0 60730 5536 1112756 no data no data
5278.09/165.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
5278.09/165.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.03
5278.09/165.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5278.09/165.27 c bin-w-bin subsume rem 0 bins time: 0.00 s
5278.09/165.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5278.09/165.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
5278.09/165.27 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
5278.09/165.29 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
5280.65/165.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5565.15/174.22 c lits-rem: 2203 cl-subs: 10263 v-elim: 0 v-fix: 0 time: 8.86 s
5565.15/174.22 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
5565.15/174.23 c vivif2 -- cl tried 50467 cl shrink 0 lits rem 0 time: 0.02
5565.15/174.26 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.03
5565.15/174.26 c calculated reachability. Time: 0.00
5565.15/174.26 c N st 59 806490 504 1264 0 50467 5536 861320 no data no data
7841.59/245.46 c F st 60 1071878 504 1264 0 65171 5536 1160542 no data no data
7841.59/245.46 c N st 60 1071878 504 1264 0 65171 5536 1160542 no data no data
7885.70/246.87 c Decided on static restart strategy
8058.30/252.25 c N st 70 1100182 504 1264 0 50457 5536 771448 no data no data
8320.41/260.40 c N st 72 1136176 504 1264 0 84886 5536 1737611 no data no data
8569.72/268.24 c N st 73 1168568 504 1264 0 71736 5536 1313509 no data no data
8937.33/279.70 c N st 74 1209735 504 1264 0 66163 5536 1145793 no data no data
8937.33/279.70 c S st 74 1209735 504 1264 0 66163 5536 1145793 no data no data
8946.93/280.01 c S st 74 1210238 504 1264 0 66656 5536 1157298 no data no data
8946.93/280.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
8946.93/280.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.05
8946.93/280.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8946.93/280.07 c bin-w-bin subsume rem 0 bins time: 0.00 s
8946.93/280.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8946.93/280.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
8946.93/280.07 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
8946.93/280.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
8950.12/280.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9343.31/292.49 c lits-rem: 1684 cl-subs: 13097 v-elim: 0 v-fix: 0 time: 12.32 s
9343.31/292.49 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
9346.51/292.51 c vivif2 -- cl tried 53559 cl shrink 0 lits rem 0 time: 0.02
9346.51/292.55 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
9346.51/292.56 c calculated reachability. Time: 0.00
9346.51/292.56 c N st 74 1210238 504 1264 0 53559 5536 819757 no data no data
9976.19/312.25 c N st 75 1283120 504 1264 0 77400 5536 1453058 no data no data
11002.26/344.31 c N st 76 1392443 504 1264 0 86457 5536 1643438 no data no data
12549.34/392.70 c N st 77 1556427 504 1264 0 93857 5536 1791927 no data no data
14249.85/445.94 c N st 78 1710240 504 1264 0 84204 5536 1506675 no data no data
14249.85/445.94 c S st 78 1710240 504 1264 0 84204 5536 1506675 no data no data
14265.84/446.44 c S st 78 1710745 504 1264 0 84698 5536 1518848 no data no data
14265.84/446.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
14269.04/446.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.06
14269.04/446.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14269.04/446.52 c bin-w-bin subsume rem 0 bins time: 0.00 s
14269.04/446.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
14269.04/446.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
14269.04/446.52 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
14269.04/446.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
14272.24/446.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
15359.05/480.60 c lits-rem: 4553 cl-subs: 16805 v-elim: 0 v-fix: 0 time: 33.95 s
15359.05/480.60 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
15359.05/480.62 c vivif2 -- cl tried 67893 cl shrink 0 lits rem 0 time: 0.02
15359.05/480.68 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
15359.05/480.68 c calculated reachability. Time: 0.00
15359.05/480.68 c N st 78 1710745 504 1264 0 67893 5536 1132540 no data no data
19485.71/609.71 c N st 79 2079710 504 1264 0 79761 5536 1347670 no data no data
20908.15/654.28 c N st 80 2210746 504 1264 0 82935 5536 1404944 no data no data
20908.15/654.28 c S st 80 2210746 504 1264 0 82935 5536 1404944 no data no data
20927.31/654.80 c S st 80 2211251 504 1264 0 83433 5536 1416625 no data no data
20927.31/654.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
20927.31/654.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07
20927.31/654.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
20927.31/654.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
20927.31/654.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
20927.31/654.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
20927.31/654.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
20930.50/654.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
20933.70/655.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
21931.02/686.24 c lits-rem: 2730 cl-subs: 12831 v-elim: 0 v-fix: 0 time: 31.23 s
21931.02/686.24 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
21931.02/686.26 c vivif2 -- cl tried 70602 cl shrink 0 lits rem 0 time: 0.02
21934.21/686.32 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
21934.21/686.32 c calculated reachability. Time: 0.00
21934.21/686.32 c N st 80 2211251 504 1264 0 70602 5536 1111799 no data no data
28320.74/886.17 c N st 81 2711251 504 1264 0 93897 5536 1604859 no data no data
28320.74/886.17 c S st 81 2711251 504 1264 0 93897 5536 1604859 no data no data
28346.31/886.98 c S st 81 2711754 504 1264 0 94389 5536 1616222 no data no data
28346.31/887.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
28349.51/887.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.10
28349.51/887.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28349.51/887.10 c bin-w-bin subsume rem 0 bins time: 0.00 s
28352.70/887.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
28352.70/887.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
28352.70/887.10 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
28352.70/887.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
28355.90/887.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
29918.96/936.20 c lits-rem: 1958 cl-subs: 18888 v-elim: 0 v-fix: 0 time: 48.95 s
29918.96/936.20 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
29922.78/936.23 c vivif2 -- cl tried 75501 cl shrink 0 lits rem 0 time: 0.03
29922.78/936.31 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.08
29922.78/936.31 c calculated reachability. Time: 0.00
29922.78/936.31 c N st 81 2711754 504 1264 0 75501 5536 1189255 no data no data
36631.54/1146.11 c N st 82 3211755 504 1264 0 126804 5536 2430114 no data no data
36631.54/1146.11 c S st 82 3211755 504 1264 0 126804 5536 2430114 no data no data
36660.31/1147.08 c S st 82 3212256 504 1264 0 127299 5536 2441570 no data no data
36663.51/1147.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
36666.71/1147.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.11
36666.71/1147.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36666.71/1147.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
36666.71/1147.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
36666.71/1147.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
36666.71/1147.21 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
36666.71/1147.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
36673.72/1147.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
41247.90/1290.55 c lits-rem: 3962 cl-subs: 25516 v-elim: 0 v-fix: 0 time: 143.10 s
41247.90/1290.55 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
41247.90/1290.59 c vivif2 -- cl tried 101783 cl shrink 0 lits rem 0 time: 0.04
41250.42/1290.66 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
41250.42/1290.66 c calculated reachability. Time: 0.00
41250.42/1290.66 c N st 82 3212256 504 1264 0 101783 5536 1855916 no data no data
48400.97/1514.33 c N st 83 3712257 504 1264 0 118738 5536 2106014 no data no data
48400.97/1514.33 c S st 83 3712257 504 1264 0 118738 5536 2106014 no data no data
48429.70/1515.24 c S st 83 3712762 504 1264 0 119237 5536 2118264 no data no data
48429.70/1515.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
48432.90/1515.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.10
48432.90/1515.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
48432.90/1515.36 c bin-w-bin subsume rem 0 bins time: 0.00 s
48432.90/1515.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
48432.90/1515.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
48432.90/1515.36 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
48436.10/1515.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
48439.29/1515.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
52367.76/1638.47 c lits-rem: 2469 cl-subs: 27899 v-elim: 0 v-fix: 0 time: 122.91 s
52367.76/1638.47 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
52370.96/1638.50 c vivif2 -- cl tried 91338 cl shrink 0 lits rem 0 time: 0.03
52370.96/1638.58 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
52370.96/1638.58 c calculated reachability. Time: 0.00
52370.96/1638.58 c N st 83 3712762 504 1264 0 91338 5536 1487874 no data no data
52901.58/1655.12 c F st 84 3751564 504 1264 0 127236 5536 2448558 no data no data
52901.58/1655.12 c N st 84 3751564 504 1264 0 127236 5536 2448558 no data no data
52965.49/1657.14 c Decided on static restart strategy
53301.12/1667.62 c N st 94 3779867 504 1264 0 153571 5536 3182352 no data no data
53742.25/1681.44 c N st 96 3815860 504 1264 0 110472 5536 2002104 no data no data
54196.12/1695.63 c N st 97 3848252 504 1264 0 140706 5536 2811718 no data no data
54761.91/1713.35 c N st 98 3896842 504 1264 0 107396 5536 1867963 no data no data
55736.81/1743.81 c N st 99 3969724 504 1264 0 95321 5536 1542647 no data no data
57143.26/1787.85 c N st 100 4079047 504 1264 0 115870 5536 2058031 no data no data
58958.88/1844.66 c N st 101 4212762 504 1264 0 159054 5536 3179125 no data no data
58958.88/1844.66 c S st 101 4212762 504 1264 0 159054 5536 3179125 no data no data
58997.24/1845.83 c S st 101 4213264 504 1264 0 159543 5536 3190137 no data no data
58997.24/1845.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
59001.06/1845.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.14
59001.06/1845.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
59001.06/1845.99 c bin-w-bin subsume rem 0 bins time: 0.00 s
59001.06/1845.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
59001.06/1845.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
59001.06/1845.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
59004.27/1846.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
59010.02/1846.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
69892.70/2186.77 c lits-rem: 7059 cl-subs: 44186 v-elim: 0 v-fix: 0 time: 340.43 s
69892.70/2186.77 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
69895.89/2186.81 c vivif2 -- cl tried 115357 cl shrink 0 lits rem 0 time: 0.04
69895.89/2186.91 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.10
69899.72/2186.92 c calculated reachability. Time: 0.00
69899.72/2186.92 c N st 101 4213264 504 1264 0 115357 5536 2069869 no data no data
73475.94/2298.87 c N st 102 4459240 504 1264 0 94522 5536 1423979 no data no data
77059.19/2410.95 c N st 103 4713265 504 1264 0 157855 5536 2999229 no data no data
77059.19/2410.95 c S st 103 4713265 504 1264 0 157855 5536 2999229 no data no data
77097.55/2412.13 c S st 103 4713767 504 1264 0 158347 5536 3010506 no data no data
77097.55/2412.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
77100.73/2412.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.14
77100.73/2412.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
77100.73/2412.29 c bin-w-bin subsume rem 0 bins time: 0.00 s
77100.73/2412.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
77100.73/2412.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
77100.73/2412.29 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
77103.94/2412.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
77110.95/2412.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
85881.41/2686.92 c lits-rem: 7578 cl-subs: 41732 v-elim: 0 v-fix: 0 time: 274.31 s
85881.41/2686.92 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
85881.41/2686.96 c vivif2 -- cl tried 116615 cl shrink 0 lits rem 0 time: 0.04
85884.61/2687.05 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.09
85884.61/2687.05 c calculated reachability. Time: 0.00
85884.61/2687.05 c N st 103 4713767 504 1264 0 116615 5536 2043921 no data no data
93543.38/2926.61 c N st 104 5213767 504 1264 0 137688 5536 2444738 no data no data
93543.38/2926.61 c S st 104 5213767 504 1264 0 137688 5536 2444738 no data no data
93581.74/2927.80 c S st 104 5214273 504 1264 0 138187 5536 2456859 no data no data
93581.74/2927.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
93584.95/2927.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.15
93584.95/2927.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
93584.95/2927.98 c bin-w-bin subsume rem 0 bins time: 0.00 s
93584.95/2927.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
93584.95/2927.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
93584.95/2927.98 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
93588.14/2928.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
93591.35/2928.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
97689.20/3056.30 c lits-rem: 5566 cl-subs: 27871 v-elim: 0 v-fix: 0 time: 128.08 s
97689.20/3056.30 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
97689.20/3056.35 c vivif2 -- cl tried 110316 cl shrink 0 lits rem 0 time: 0.05
97692.41/3056.47 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.12
97692.41/3056.48 c calculated reachability. Time: 0.00
97692.41/3056.48 c N st 104 5214273 504 1264 0 110316 5536 1824130 no data no data
105792.27/3309.80 c N st 105 5714274 504 1264 0 109522 5536 1685444 no data no data
105792.27/3309.80 c S st 105 5714274 504 1264 0 109522 5536 1685444 no data no data
105824.23/3310.85 c S st 105 5714780 504 1264 0 110024 5536 1697188 no data no data
105824.23/3310.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
105827.43/3310.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.12
105827.43/3310.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
105827.43/3310.99 c bin-w-bin subsume rem 0 bins time: 0.00 s
105827.43/3310.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
105827.43/3310.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
105827.43/3310.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
105830.62/3311.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
105834.44/3311.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
106498.71/3331.95 c lits-rem: 2344 cl-subs: 7239 v-elim: 0 v-fix: 0 time: 20.78 s
106498.71/3331.95 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
106498.71/3331.99 c vivif2 -- cl tried 102785 cl shrink 0 lits rem 0 time: 0.04
106502.53/3332.11 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.12
106502.53/3332.11 c calculated reachability. Time: 0.00
106502.53/3332.11 c N st 105 5714780 504 1264 0 102785 5536 1533738 no data no data
115563.84/3615.52 c N st 106 6214780 504 1264 0 173316 5536 3187248 no data no data
115563.84/3615.52 c S st 106 6214780 504 1264 0 173316 5536 3187248 no data no data
115614.98/3617.13 c S st 106 6215283 504 1264 0 173809 5536 3198924 no data no data
115614.98/3617.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
115621.38/3617.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.17
115621.38/3617.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115621.38/3617.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
115621.38/3617.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
115621.38/3617.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
115621.38/3617.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
115624.57/3617.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
115630.97/3617.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
128461.30/4019.09 c lits-rem: 3197 cl-subs: 52397 v-elim: 0 v-fix: 0 time: 401.37 s
128461.30/4019.09 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
128464.55/4019.13 c vivif2 -- cl tried 121412 cl shrink 0 lits rem 0 time: 0.04
128467.75/4019.22 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.09
128467.75/4019.23 c calculated reachability. Time: 0.00
128467.75/4019.23 c N st 106 6215283 504 1264 0 121412 5536 1989567 no data no data
138210.50/4324.03 c N st 107 6715285 504 1264 0 181977 5536 3344760 no data no data
138210.50/4324.03 c S st 107 6715285 504 1264 0 181977 5536 3344760 no data no data
138258.44/4325.53 c S st 107 6715786 504 1264 0 182472 5536 3356035 no data no data
138258.44/4325.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
138264.83/4325.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.16
138264.83/4325.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
138264.83/4325.71 c bin-w-bin subsume rem 0 bins time: 0.00 s
138264.83/4325.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
138264.83/4325.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 504 time: 0.00 s
138264.83/4325.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
138264.83/4325.78 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
138274.42/4326.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
151613.75/4743.40 c lits-rem: 5073 cl-subs: 52901 v-elim: 0 v-fix: 0 time: 417.31 s
151613.75/4743.40 c vivif2 -- cl tried 1264 cl shrink 0 lits rem 0 time: 0.00
151616.95/4743.45 c vivif2 -- cl tried 129571 cl shrink 0 lits rem 0 time: 0.05
151619.48/4743.56 c asymm cl-useful: 0/1264/1264 lits-rem:0 time: 0.11
151619.48/4743.56 c calculated reachability. Time: 0.00
151619.48/4743.56 c N st 107 6715786 504 1264 0 129571 5536 2173290 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400834-1306897052/watcher-3400834-1306897052 -o /tmp/evaluation-result-3400834-1306897052/solver-3400834-1306897052 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400834-1306897052.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.55 31.56 31.88 2/413 27165
/proc/meminfo: memFree=263484220/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=338000 CPUtime=0.89 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) R 27163 27165 27139 0 -1 4202496 438 0 0 0 89 0 0 0 25 0 32 0 15671180 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27165/statm: 84500 377 297 95 0 79482 0
[pid=27165/tid=27166] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27166/stat : 27166 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27165/tid=27167] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27167/stat : 27167 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27168/stat : 27168 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27169/stat : 27169 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27165/tid=27170] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27170/stat : 27170 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27165/tid=27171] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27171/stat : 27171 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27165/tid=27172] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27172/stat : 27172 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27165/tid=27173] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27173/stat : 27173 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27165/tid=27174] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27174/stat : 27174 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27165/tid=27175] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27175/stat : 27175 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27165/tid=27176] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27176/stat : 27176 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27165/tid=27177] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27177/stat : 27177 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27165/tid=27178] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27178/stat : 27178 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27165/tid=27179] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27179/stat : 27179 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27165/tid=27180] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27180/stat : 27180 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27165/tid=27181] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27181/stat : 27181 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27165/tid=27182] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27182/stat : 27182 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27165/tid=27183] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27183/stat : 27183 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27165/tid=27184] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27184/stat : 27184 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27165/tid=27185] ppid=27163 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27165/task/27185/stat : 27185 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27165/tid=27186] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27186/stat : 27186 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27165/tid=27187] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27187/stat : 27187 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27188] ppid=27163 vsize=338000 CPUtime=0 cores=0-31
/proc/27165/task/27188/stat : 27188 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27189] ppid=27163 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27165/task/27189/stat : 27189 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27165/tid=27190] ppid=27163 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27165/task/27190/stat : 27190 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070064 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27165/tid=27191] ppid=27163 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27165/task/27191/stat : 27191 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27165/tid=27192] ppid=27163 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27165/task/27192/stat : 27192 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070060 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27165/tid=27193] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27193/stat : 27193 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070070 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27165/tid=27195] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27195/stat : 27195 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27165/tid=27196] ppid=27163 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27165/task/27196/stat : 27196 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15671181 346112000 377 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070056 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.0700801 s]
/proc/loadavg: 29.55 31.56 31.88 2/413 27165
/proc/meminfo: memFree=263484220/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=338000 CPUtime=1.88 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) R 27163 27165 27139 0 -1 4202496 470 0 0 0 188 0 0 0 25 0 32 0 15671180 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27165/statm: 84500 409 300 95 0 79482 0
[pid=27165/tid=27166] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27166/stat : 27166 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27165/tid=27167] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27167/stat : 27167 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27168/stat : 27168 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27169/stat : 27169 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27165/tid=27170] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27170/stat : 27170 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27165/tid=27171] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27171/stat : 27171 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27165/tid=27172] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27172/stat : 27172 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27165/tid=27173] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27173/stat : 27173 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27165/tid=27174] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27174/stat : 27174 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069655 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27165/tid=27175] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27175/stat : 27175 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27165/tid=27176] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27176/stat : 27176 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27165/tid=27177] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27177/stat : 27177 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27165/tid=27178] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27178/stat : 27178 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27165/tid=27179] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27179/stat : 27179 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27165/tid=27180] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27180/stat : 27180 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27165/tid=27181] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27181/stat : 27181 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27165/tid=27182] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27182/stat : 27182 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27165/tid=27183] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27183/stat : 27183 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27165/tid=27184] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27184/stat : 27184 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27165/tid=27185] ppid=27163 vsize=338000 CPUtime=0.04 cores=0-31
/proc/27165/task/27185/stat : 27185 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069655 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27165/tid=27186] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27186/stat : 27186 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27165/tid=27187] ppid=27163 vsize=338000 CPUtime=0.04 cores=0-31
/proc/27165/task/27187/stat : 27187 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576070066 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27188] ppid=27163 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27165/task/27188/stat : 27188 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27189] ppid=27163 vsize=338000 CPUtime=0.04 cores=0-31
/proc/27165/task/27189/stat : 27189 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27165/tid=27190] ppid=27163 vsize=338000 CPUtime=0.04 cores=0-31
/proc/27165/task/27190/stat : 27190 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27165/tid=27191] ppid=27163 vsize=338000 CPUtime=0.05 cores=0-31
/proc/27165/task/27191/stat : 27191 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27165/tid=27192] ppid=27163 vsize=338000 CPUtime=0.05 cores=0-31
/proc/27165/task/27192/stat : 27192 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069648 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27165/tid=27193] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27193/stat : 27193 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069657 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069661 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27165/tid=27195] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27195/stat : 27195 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069651 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27165/tid=27196] ppid=27163 vsize=338000 CPUtime=0.06 cores=0-31
/proc/27165/task/27196/stat : 27196 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 15671181 346112000 409 268435456000 4194304 4580107 140734525177648 18446744073709551615 47583576069655 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 338000
[startup+0.103094 s]
/proc/loadavg: 29.55 31.56 31.88 2/413 27165
/proc/meminfo: memFree=263484220/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=1134128 CPUtime=2.4 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) R 27163 27165 27139 0 -1 4202496 2225 0 0 0 228 12 0 0 17 0 32 0 15671180 1161347072 2064 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27165/statm: 283532 2067 335 95 0 278514 0
[pid=27165/tid=27166] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27166/stat : 27166 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 57 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2069 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604453985336800 0 0 -1 1 0 0 0
[pid=27165/tid=27167] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27167/stat : 27167 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 99 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2073 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604453394570720 0 0 -1 20 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27168/stat : 27168 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 50 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2079 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446744071566932104 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27169/stat : 27169 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 72 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2084 268435456000 4194304 4580107 140734525177648 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27165/tid=27170] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27170/stat : 27170 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 133 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2092 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27165/tid=27171] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27171/stat : 27171 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 112 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2101 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27165/tid=27172] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27172/stat : 27172 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 99 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2111 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27165/tid=27173] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27173/stat : 27173 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 41 0 0 0 7 0 0 0 25 0 32 0 15671181 1161347072 2120 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604484370996704 0 0 -1 5 0 0 0
[pid=27165/tid=27174] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27174/stat : 27174 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 89 0 0 0 7 0 0 0 18 0 32 0 15671181 1161347072 2126 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27165/tid=27175] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27175/stat : 27175 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 39 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2126 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604494166769120 0 0 -1 9 0 0 0
[pid=27165/tid=27176] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27176/stat : 27176 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 56 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2132 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604449350835680 0 0 -1 6 0 0 0
[pid=27165/tid=27177] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27177/stat : 27177 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 65 0 0 0 7 0 0 0 18 0 32 0 15671181 1161347072 2143 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27165/tid=27178] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27178/stat : 27178 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 58 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2149 268435456000 4194304 4580107 140734525177648 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27165/tid=27179] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27179/stat : 27179 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 69 0 0 0 7 0 0 0 18 0 32 0 15671181 1161347072 2149 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604452776533472 0 0 -1 14 0 0 0
[pid=27165/tid=27180] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27180/stat : 27180 (strangenight2-m) D 27163 27165 27139 0 -1 4202560 37 0 0 0 7 0 0 0 25 0 32 0 15671181 1161347072 2155 268435456000 4194304 4580107 140734525177648 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27165/tid=27181] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
/proc/27165/task/27181/stat : 27181 (strangenight2-m) S 27163 27165 27139 0 -1 4202560 39 0 0 0 7 0 0 0 17 0 32 0 15671181 1161347072 2160 268435456000 4194304 4580107 140734525177648 18446744073709551615 258651060958 0 0 4096 2 18446604516343397856 0 0 -1 17 0 0 0
[pid=27165/tid=27182] ppid=27163 vsize=1134128 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=257475760/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=8356468 CPUtime=158614 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) R 27163 27165 27139 0 -1 4202496 6195181 0 0 0 15856785 4605 0 0 25 0 32 0 15671180 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27165/statm: 2089117 1499628 378 95 0 2084099 0
[pid=27165/tid=27166] ppid=27163 vsize=8356468 CPUtime=4961.25 cores=0-31
/proc/27165/task/27166/stat : 27166 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 113859 0 0 0 496037 88 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27165/tid=27167] ppid=27163 vsize=8356468 CPUtime=4958.81 cores=0-31
/proc/27165/task/27167/stat : 27167 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 155121 0 0 0 495761 120 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=8356468 CPUtime=4961.24 cores=0-31
/proc/27165/task/27168/stat : 27168 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 183723 0 0 0 495979 145 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=8356468 CPUtime=4959.87 cores=0-31
/proc/27165/task/27169/stat : 27169 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 222242 0 0 0 495831 156 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406360 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27165/tid=27170] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27170/stat : 27170 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 191658 0 0 0 496005 122 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27165/tid=27171] ppid=27163 vsize=8356468 CPUtime=4959.7 cores=0-31
/proc/27165/task/27171/stat : 27171 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 185026 0 0 0 495794 176 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27165/tid=27172] ppid=27163 vsize=8356468 CPUtime=4961.04 cores=0-31
/proc/27165/task/27172/stat : 27172 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 227412 0 0 0 495936 168 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27165/tid=27173] ppid=27163 vsize=8356468 CPUtime=4961.26 cores=0-31
/proc/27165/task/27173/stat : 27173 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 172951 0 0 0 496003 123 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27165/tid=27174] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27174/stat : 27174 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 203666 0 0 0 495981 147 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27165/tid=27175] ppid=27163 vsize=8356468 CPUtime=4961.29 cores=0-31
/proc/27165/task/27175/stat : 27175 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 227428 0 0 0 495962 167 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27165/tid=27176] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27176/stat : 27176 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 194357 0 0 0 495992 135 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27165/tid=27177] ppid=27163 vsize=8356468 CPUtime=4914.41 cores=0-31
/proc/27165/task/27177/stat : 27177 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 241322 0 0 0 491255 186 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27165/tid=27178] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27178/stat : 27178 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 143503 0 0 0 496013 115 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27165/tid=27179] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27179/stat : 27179 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 201282 0 0 0 495973 154 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27165/tid=27180] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27180/stat : 27180 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 214339 0 0 0 495960 167 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27165/tid=27181] ppid=27163 vsize=8356468 CPUtime=4960.59 cores=0-31
/proc/27165/task/27181/stat : 27181 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 208409 0 0 0 495908 151 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27165/tid=27182] ppid=27163 vsize=8356468 CPUtime=4961.26 cores=0-31
/proc/27165/task/27182/stat : 27182 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 228414 0 0 0 495962 164 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27165/tid=27183] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27183/stat : 27183 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 194564 0 0 0 495986 142 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27165/tid=27184] ppid=27163 vsize=8356468 CPUtime=4961.25 cores=0-31
/proc/27165/task/27184/stat : 27184 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 226183 0 0 0 495950 175 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27165/tid=27185] ppid=27163 vsize=8356468 CPUtime=4961.26 cores=0-31
/proc/27165/task/27185/stat : 27185 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 184083 0 0 0 495989 137 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27165/tid=27186] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27186/stat : 27186 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 137521 0 0 0 496025 103 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27187] ppid=27163 vsize=8356468 CPUtime=4959.72 cores=0-31
/proc/27165/task/27187/stat : 27187 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 232054 0 0 0 495817 155 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27165/tid=27188] ppid=27163 vsize=8356468 CPUtime=4961.24 cores=0-31
/proc/27165/task/27188/stat : 27188 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 130148 0 0 0 496041 83 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27165/tid=27189] ppid=27163 vsize=8356468 CPUtime=4961.06 cores=0-31
/proc/27165/task/27189/stat : 27189 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 206011 0 0 0 495953 153 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27165/tid=27190] ppid=27163 vsize=8356468 CPUtime=4961.23 cores=0-31
/proc/27165/task/27190/stat : 27190 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 154291 0 0 0 496006 117 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27165/tid=27191] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27191/stat : 27191 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 183224 0 0 0 495980 147 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27165/tid=27192] ppid=27163 vsize=8356468 CPUtime=4961.27 cores=0-31
/proc/27165/task/27192/stat : 27192 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 205232 0 0 0 495987 140 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27165/tid=27193] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27193/stat : 27193 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 145487 0 0 0 496017 111 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=8356468 CPUtime=4869.55 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 287338 0 0 0 486739 216 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=27165/tid=27195] ppid=27163 vsize=8356468 CPUtime=4961.28 cores=0-31
/proc/27165/task/27195/stat : 27195 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 234801 0 0 0 495961 167 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27165/tid=27196] ppid=27163 vsize=8356468 CPUtime=4960.96 cores=0-31
/proc/27165/task/27196/stat : 27196 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 202055 0 0 0 495933 163 0 0 25 0 32 0 15671181 8557023232 1499628 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 158614
Current children cumulated vsize (KiB) 8356468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.7 s]
/proc/loadavg: 32.08 32.05 32.06 33/445 27352
/proc/meminfo: memFree=257400368/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=8226660 CPUtime=160001 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) R 27163 27165 27139 0 -1 4202496 6230758 0 0 0 15995474 4642 0 0 25 0 32 0 15671180 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27165/statm: 2056665 1518362 378 95 0 2051647 0
[pid=27165/tid=27166] ppid=27163 vsize=8226660 CPUtime=5004.64 cores=0-31
/proc/27165/task/27166/stat : 27166 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 113859 0 0 0 500376 88 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27165/tid=27167] ppid=27163 vsize=8226660 CPUtime=5002.2 cores=0-31
/proc/27165/task/27167/stat : 27167 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 155390 0 0 0 500100 120 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=8226660 CPUtime=5004.63 cores=0-31
/proc/27165/task/27168/stat : 27168 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 184456 0 0 0 500317 146 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=8226660 CPUtime=5003.25 cores=0-31
/proc/27165/task/27169/stat : 27169 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 222242 0 0 0 500169 156 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27165/tid=27170] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27170/stat : 27170 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 192448 0 0 0 500344 123 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27165/tid=27171] ppid=27163 vsize=8226660 CPUtime=5003.08 cores=0-31
/proc/27165/task/27171/stat : 27171 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 185026 0 0 0 500131 177 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27165/tid=27172] ppid=27163 vsize=8226660 CPUtime=5004.44 cores=0-31
/proc/27165/task/27172/stat : 27172 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 227412 0 0 0 500276 168 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27165/tid=27173] ppid=27163 vsize=8226660 CPUtime=5004.65 cores=0-31
/proc/27165/task/27173/stat : 27173 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 174630 0 0 0 500340 125 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27165/tid=27174] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27174/stat : 27174 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 203984 0 0 0 500320 147 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27165/tid=27175] ppid=27163 vsize=8226660 CPUtime=5004.69 cores=0-31
/proc/27165/task/27175/stat : 27175 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 229246 0 0 0 500300 169 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27165/tid=27176] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27176/stat : 27176 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 194357 0 0 0 500332 135 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27165/tid=27177] ppid=27163 vsize=8226660 CPUtime=4957.81 cores=0-31
/proc/27165/task/27177/stat : 27177 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 242337 0 0 0 495593 188 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27165/tid=27178] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27178/stat : 27178 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 147136 0 0 0 500350 117 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27165/tid=27179] ppid=27163 vsize=8226660 CPUtime=5004.66 cores=0-31
/proc/27165/task/27179/stat : 27179 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 202131 0 0 0 500311 155 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27165/tid=27180] ppid=27163 vsize=8226660 CPUtime=5004.66 cores=0-31
/proc/27165/task/27180/stat : 27180 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 214339 0 0 0 500299 167 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27165/tid=27181] ppid=27163 vsize=8226660 CPUtime=5003.98 cores=0-31
/proc/27165/task/27181/stat : 27181 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 208983 0 0 0 500247 151 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27165/tid=27182] ppid=27163 vsize=8226660 CPUtime=5004.65 cores=0-31
/proc/27165/task/27182/stat : 27182 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 230331 0 0 0 500299 166 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4306066 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27165/tid=27183] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27183/stat : 27183 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 195147 0 0 0 500324 143 0 0 25 0 32 0 15671181 8424099840 1518362 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27165/tid=27184] ppid=27163 vsize=8226660 CPUtime=5004.65 cores=0-31
/proc/27165/task/27184/stat : 27184 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 227342 0 0 0 500288 177 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27165/tid=27185] ppid=27163 vsize=8226660 CPUtime=5004.65 cores=0-31
/proc/27165/task/27185/stat : 27185 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 184083 0 0 0 500328 137 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27165/tid=27186] ppid=27163 vsize=8226660 CPUtime=5004.68 cores=0-31
/proc/27165/task/27186/stat : 27186 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 140805 0 0 0 500363 105 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27165/tid=27187] ppid=27163 vsize=8226660 CPUtime=5003.1 cores=0-31
/proc/27165/task/27187/stat : 27187 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 234165 0 0 0 500152 158 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27165/tid=27188] ppid=27163 vsize=8226660 CPUtime=5004.63 cores=0-31
/proc/27165/task/27188/stat : 27188 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 133462 0 0 0 500378 85 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27165/tid=27189] ppid=27163 vsize=8226660 CPUtime=5004.45 cores=0-31
/proc/27165/task/27189/stat : 27189 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 206145 0 0 0 500292 153 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27165/tid=27190] ppid=27163 vsize=8226660 CPUtime=5004.62 cores=0-31
/proc/27165/task/27190/stat : 27190 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 154291 0 0 0 500345 117 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27165/tid=27191] ppid=27163 vsize=8226660 CPUtime=5004.66 cores=0-31
/proc/27165/task/27191/stat : 27191 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 183417 0 0 0 500319 147 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27165/tid=27192] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27192/stat : 27192 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 206459 0 0 0 500325 142 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27165/tid=27193] ppid=27163 vsize=8226660 CPUtime=5004.67 cores=0-31
/proc/27165/task/27193/stat : 27193 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 146211 0 0 0 500355 112 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=8226660 CPUtime=4911.7 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 287338 0 0 0 490954 216 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=27165/tid=27195] ppid=27163 vsize=8226660 CPUtime=5004.68 cores=0-31
/proc/27165/task/27195/stat : 27195 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 236428 0 0 0 500298 170 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27165/tid=27196] ppid=27163 vsize=8226660 CPUtime=5004.35 cores=0-31
/proc/27165/task/27196/stat : 27196 (strangenight2-m) R 27163 27165 27139 0 -1 4202560 206059 0 0 0 500269 166 0 0 25 0 32 0 15671181 8424099840 1518363 268435456000 4194304 4580107 140734525177648 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 8226660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5005.9 s]
/proc/loadavg: 32.08 32.05 32.06 33/445 27352
/proc/meminfo: memFree=257400368/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=0 CPUtime=160002 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) Z 27163 27165 27139 0 -1 4203548 6230760 0 0 0 15995497 4659 0 0 25 0 2 0 15671180 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27165/statm: 0 0 0 0 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=0 CPUtime=4911.88 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4203588 287338 0 0 0 490954 234 0 0 25 0 2 0 15671181 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) 160002
Current children cumulated vsize (KiB) 0
[startup+5006.1 s]
/proc/loadavg: 32.08 32.05 32.06 33/445 27352
/proc/meminfo: memFree=257400368/264257624 swapFree=67044780/67111528
[pid=27165] ppid=27163 vsize=0 CPUtime=160002 cores=0-31
/proc/27165/stat : 27165 (strangenight2-m) Z 27163 27165 27139 0 -1 4203548 6230760 0 0 0 15995497 4679 0 0 25 0 2 0 15671180 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27165/statm: 0 0 0 0 0 0 0
[pid=27165/tid=27194] ppid=27163 vsize=0 CPUtime=4912.08 cores=0-31
/proc/27165/task/27194/stat : 27194 (strangenight2-m) R 27163 27165 27139 0 -1 4203588 287338 0 0 0 490954 254 0 0 25 0 2 0 15671181 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) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.18
CPU time (s): 160002
CPU user time (s): 159955
CPU system time (s): 46.8689
CPU usage (%): 3196.09
Max. virtual memory (cumulated for all children) (KiB): 8674908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159955
system time used= 46.8689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6230760
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= 56440
involuntary context switches= 349871
runsolver used 27.4148 second user time and 114.865 second system time
The end
Begin job on node200 at 2011-06-01 04:57:32
IDJOB=3400834
IDBENCH=83431
IDSOLVER=1886
FILE ID=node200/3400834-1306897052
RUNJOBID= node200-1306897052-27153
PBS_JOBID= 13471401
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400834-1306897052/watcher-3400834-1306897052 -o /tmp/evaluation-result-3400834-1306897052/solver-3400834-1306897052 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400834-1306897052.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=1125594467
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: 263484384 kB
Buffers: 169232 kB
Cached: 410136 kB
SwapCached: 29976 kB
Active: 148684 kB
Inactive: 462584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263484384 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5848 kB
Writeback: 0 kB
AnonPages: 30456 kB
Mapped: 7896 kB
Slab: 75140 kB
PageTables: 4496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191044 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 06:21:00