0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400820-1306841720.cnf'
2.62/0.10 c -- header says num vars: 32733
2.62/0.10 c -- header says num clauses: 109177
18.99/1.11 c -- clauses added: 0 learnts, 109177 normals, 0 xors
18.99/1.11 c -- vars added 32733
18.99/1.11 c Parsing time: 0.17 s
18.99/1.11 c N st 0 0 32733 51834 50731 0 262491 0 no data no data
71.53/2.77 c asymm cl-useful: 8/43842/51834 lits-rem:89 time: 1.68
222.49/12.47 c Flit: 71 Blit: 2980 bXBeca: 0 bXProp: 5339 Bins: 0 BRemL: 0 BRemN: 0 P: 32.7M T: 4.07
222.49/12.48 c Cleaning up after failed var search: 0.01 s
225.35/12.58 c Replacing 5339 vars Replaced 146931 lits Time: 0.04 s
229.12/12.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
229.12/12.77 c bin-w-bin subsume rem 701 bins time: 0.01 s
229.12/12.78 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
230.79/12.83 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 22743 time: 0.04 s
230.79/12.87 c Removed useless bin: 42 fixed: 0 props: 3.28M time: 0.04 s
243.26/13.49 c lits-rem: 0 cl-subs: 210 v-elim: 7581 v-fix: 0 time: 0.23 s
248.99/13.61 c Finding binary XORs T: 0.12 s found: 17
248.99/13.62 c Replacing 17 vars Replaced 212 lits Time: 0.01 s
252.14/13.71 c Finding non-binary XORs: 0.05 s (found: 7191, avg size: 3.0)
252.14/13.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1151 locsubst: 4592 time: 0.03
252.14/13.72 c Replacing 2296 vars Replaced 13776 lits Time: 0.01 s
252.14/13.73 c calculated reachability. Time: 0.01
252.14/13.74 c Calc default polars - time: 0.00 s pos: 1544 undec: 21077 neg: 10112
252.14/13.74 c =========================================================================================
252.14/13.74 c types(t): F = full restart, N = normal restart
252.14/13.74 c types(t): S = simplification begin/end, E = solution found
252.14/13.74 c restart types(rt): st = static, dy = dynamic
252.14/13.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
252.14/13.74 c B st 0 0 11698 19122 15531 0 126043 0 no data no data
261.66/14.09 c Decided on static restart strategy
280.80/14.63 c N st 8 4916 11698 19122 15582 4685 126043 180261 no data no data
319.11/15.81 c N st 10 11300 11664 19122 16615 6839 126043 222561 no data no data
367.07/17.35 c N st 11 17043 11664 19122 16644 12486 126043 746724 no data no data
370.26/17.41 c Finding binary XORs T: 0.05 s found: 3
440.58/19.60 c F st 12 25000 11657 19114 17018 13667 125087 507875 no data no data
440.58/19.61 c Replacing 3 vars Replaced 171 lits Time: 0.01 s
440.58/19.63 c N st 12 25000 11654 19113 17008 13667 125074 507865 no data no data
485.31/21.07 c Decided on static restart strategy
485.31/21.07 c N st 18 30000 11652 19113 17495 10120 125074 303734 no data no data
485.31/21.07 c S st 18 30000 11652 19113 17495 10120 125074 303734 no data no data
491.70/21.25 c S st 18 30501 11652 19113 17534 10579 125074 311204 no data no data
491.70/21.27 c x-sub: 2296 x-cut: 0 vfix: 0 v-elim: 576 locsubst: 0 time: 0.02
530.06/22.42 c Flit: 65 Blit: 2 bXBeca: 0 bXProp: 7 Bins: 162118 BRemL: 108214 BRemN: 11 P: 9.5M T: 1.15
530.06/22.44 c Replacing 7 vars Replaced 673 lits Time: 0.02 s
530.06/22.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
530.06/22.46 c bin-w-bin subsume rem 396 bins time: 0.01 s
530.06/22.48 c subs with bin: 733 lits-rem: 469 v-fix: 0 time: 0.02 s
533.25/22.51 c Subs w/ non-existent bins: 0 l-rem: 7 v-fix: 0 done: 11002 time: 0.03 s
533.25/22.52 c Removed useless bin: 51 fixed: 0 props: 0.37M time: 0.01 s
533.25/22.58 c lits-rem: 223 cl-subs: 197 v-elim: 1750 v-fix: 0 time: 0.06 s
536.45/22.60 c subs with bin: 91 lits-rem: 305 v-fix: 0 time: 0.01 s
536.45/22.63 c lits-rem: 100 cl-subs: 197 v-elim: 0 v-fix: 0 time: 0.02 s
546.03/22.96 c asymm cl-useful: 206/18703/18703 lits-rem:956 time: 0.33
546.03/22.97 c calculated reachability. Time: 0.01
546.03/22.97 c N st 18 30501 9252 18703 59209 3426 110262 142963 no data no data
549.82/23.03 c Finding binary XORs T: 0.06 s found: 0
596.05/24.56 c N st 20 37613 9252 18703 59287 10379 110261 437237 no data no data
618.79/25.48 c N st 21 44014 9249 18703 59291 10037 110261 406677 no data no data
649.60/26.81 c Finding binary XORs T: 0.05 s found: 1
659.76/27.20 c S st 22 45752 9248 18700 171432 11755 110194 807451 no data no data
662.52/27.38 c S st 22 46253 9248 18700 171436 12248 110194 818581 no data no data
662.52/27.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 288 locsubst: 0 time: 0.02
686.11/28.12 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1387 BRemL: 76488 BRemN: 86 P: 4.3M T: 0.72
686.11/28.14 c Replacing 2 vars Replaced 205 lits Time: 0.02 s
686.11/28.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
686.11/28.17 c bin-w-bin subsume rem 19868 bins time: 0.02 s
686.11/28.19 c subs with bin: 44 lits-rem: 107 v-fix: 0 time: 0.02 s
689.31/28.21 c Subs w/ non-existent bins: 0 l-rem: 14 v-fix: 0 done: 8951 time: 0.01 s
689.31/28.21 c Removed useless bin: 9 fixed: 0 props: 0.25M time: 0.01 s
689.31/28.24 c lits-rem: 0 cl-subs: 41 v-elim: 47 v-fix: 0 time: 0.02 s
692.50/28.31 c subs with bin: 2 lits-rem: 342 v-fix: 0 time: 0.05 s
692.50/28.39 c lits-rem: 292 cl-subs: 259 v-elim: 0 v-fix: 0 time: 0.07 s
695.69/28.40 c vivif2 -- cl tried 18596 cl shrink 136 lits rem 261 time: 0.01
695.69/28.41 c vivif2 -- cl tried 8267 cl shrink 692 lits rem 2046 time: 0.01
705.27/28.79 c asymm cl-useful: 54/18554/18554 lits-rem:138 time: 0.38
708.48/28.80 c calculated reachability. Time: 0.00
708.48/28.80 c N st 22 46253 8904 18553 58892 8265 108364 269368 no data no data
852.31/33.37 c N st 23 60650 8904 18553 58893 14809 108364 1219475 no data no data
855.50/33.44 c Finding binary XORs T: 0.04 s found: 18
945.61/36.28 c N st 24 69380 8889 18512 52898 12923 108031 662977 no data no data
945.61/36.28 c S st 24 69380 8889 18512 52898 12923 108031 662977 no data no data
951.39/36.47 c S st 24 69882 8886 18512 54219 13421 108031 678530 no data no data
951.39/36.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 144 locsubst: 0 time: 0.02
967.39/36.92 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 17 Bins: 784 BRemL: 9078 BRemN: 19 P: 5.3M T: 0.43
967.39/36.94 c Replacing 35 vars Replaced 922 lits Time: 0.02 s
967.39/36.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
967.39/36.96 c bin-w-bin subsume rem 596 bins time: 0.00 s
967.39/36.97 c subs with bin: 102 lits-rem: 76 v-fix: 0 time: 0.01 s
967.39/36.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8706 time: 0.02 s
970.59/37.00 c Removed useless bin: 2 fixed: 0 props: 0.24M time: 0.01 s
970.59/37.03 c lits-rem: 1 cl-subs: 101 v-elim: 42 v-fix: 0 time: 0.03 s
973.78/37.13 c subs with bin: 3 lits-rem: 29 v-fix: 0 time: 0.08 s
973.78/37.19 c lits-rem: 118 cl-subs: 188 v-elim: 0 v-fix: 0 time: 0.05 s
973.78/37.20 c vivif2 -- cl tried 18256 cl shrink 33 lits rem 39 time: 0.01
976.98/37.21 c vivif2 -- cl tried 9783 cl shrink 326 lits rem 1409 time: 0.01
986.55/37.54 c asymm cl-useful: 292/18256/18256 lits-rem:761 time: 0.32
986.55/37.54 c calculated reachability. Time: 0.00
986.55/37.54 c N st 24 69882 8664 18060 44101 9783 106257 308945 no data no data
1114.43/41.51 c Finding binary XORs T: 0.04 s found: 78
1162.37/43.09 c F st 25 87501 8656 18045 40287 16453 106110 1029311 no data no data
1165.56/43.10 c Replacing 78 vars Replaced 1460 lits Time: 0.01 s
1165.56/43.12 c N st 25 87501 8578 18045 40131 16449 105954 1029136 no data no data
1200.72/44.27 c Decided on static restart strategy
1230.13/45.15 c N st 32 95540 8575 18045 40419 24298 105953 1602919 no data no data
1322.19/48.06 c N st 34 104824 8572 18045 41290 20462 105953 1125152 no data no data
1322.19/48.06 c S st 34 104824 8572 18045 41290 20462 105953 1125152 no data no data
1325.38/48.12 c Finding binary XORs T: 0.04 s found: 2
1332.37/48.35 c S st 34 105327 8568 18030 41255 20895 105582 1135623 no data no data
1332.37/48.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1344.55/48.80 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 5 Bins: 53 BRemL: 3639 BRemN: 3 P: 6.1M T: 0.42
1347.74/48.82 c Replacing 7 vars Replaced 1027 lits Time: 0.03 s
1347.74/48.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1347.74/48.84 c bin-w-bin subsume rem 914 bins time: 0.00 s
1347.74/48.85 c subs with bin: 118 lits-rem: 142 v-fix: 0 time: 0.01 s
1347.74/48.87 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 8560 time: 0.02 s
1347.74/48.88 c Removed useless bin: 2 fixed: 0 props: 0.22M time: 0.01 s
1350.95/48.92 c lits-rem: 22 cl-subs: 161 v-elim: 46 v-fix: 0 time: 0.04 s
1367.55/49.47 c subs with bin: 5 lits-rem: 248 v-fix: 0 time: 0.47 s
1386.11/50.00 c lits-rem: 619 cl-subs: 428 v-elim: 0 v-fix: 0 time: 0.52 s
1386.11/50.01 c vivif2 -- cl tried 17725 cl shrink 2 lits rem 2 time: 0.01
1386.11/50.08 c vivif2 -- cl tried 20082 cl shrink 3702 lits rem 24644 time: 0.07
1398.90/50.49 c asymm cl-useful: 67/17724/17724 lits-rem:120 time: 0.41
1398.90/50.50 c calculated reachability. Time: 0.00
1398.90/50.50 c N st 34 105327 8514 17708 35647 20082 104246 1038809 no data no data
1402.71/50.55 c Finding binary XORs T: 0.04 s found: 5
1517.14/54.12 c N st 35 114926 8514 17708 35649 15090 104246 571762 no data no data
1692.92/59.69 c N st 36 129323 8506 17708 36727 29285 104246 2389978 no data no data
1696.11/59.76 c Finding binary XORs T: 0.04 s found: 12
1958.24/67.96 c N st 37 150921 8502 17690 34733 34305 103954 1753754 no data no data
1961.45/68.03 c Finding binary XORs T: 0.04 s found: 1
2054.14/70.90 c S st 38 157992 8496 17688 35965 24203 103778 1140667 no data no data
2060.53/71.14 c S st 38 158495 8493 17688 36264 24706 103778 1153760 no data no data
2060.53/71.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2073.94/71.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1656 BRemL: 7001 BRemN: 8 P: 5.8M T: 0.43
2076.50/71.62 c Replacing 19 vars Replaced 2082 lits Time: 0.03 s
2076.50/71.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2076.50/71.64 c bin-w-bin subsume rem 791 bins time: 0.00 s
2076.50/71.65 c subs with bin: 58 lits-rem: 67 v-fix: 0 time: 0.01 s
2076.50/71.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8475 time: 0.02 s
2076.50/71.68 c Removed useless bin: 3 fixed: 0 props: 0.23M time: 0.01 s
2079.70/71.71 c lits-rem: 5 cl-subs: 33 v-elim: 30 v-fix: 0 time: 0.03 s
2092.49/72.20 c subs with bin: 7 lits-rem: 2657 v-fix: 0 time: 0.41 s
2127.64/73.30 c lits-rem: 817 cl-subs: 1787 v-elim: 0 v-fix: 0 time: 1.09 s
2130.84/73.30 c vivif2 -- cl tried 17555 cl shrink 4 lits rem 4 time: 0.01
2130.84/73.37 c vivif2 -- cl tried 22319 cl shrink 4211 lits rem 50869 time: 0.07
2144.26/73.79 c asymm cl-useful: 27/17554/17554 lits-rem:44 time: 0.42
2146.82/73.80 c calculated reachability. Time: 0.00
2146.82/73.80 c N st 38 158495 8445 17549 29057 22319 103239 950384 no data no data
2146.82/73.85 c Finding binary XORs T: 0.04 s found: 0
2584.71/87.54 c N st 39 207086 8445 17549 29061 33312 103239 1848743 no data no data
2587.91/87.60 c Finding binary XORs T: 0.04 s found: 5
3055.20/102.24 c N st 40 237743 8439 17537 29255 22512 103125 790221 no data no data
3055.20/102.24 c S st 40 237743 8439 17537 29255 22512 103125 790221 no data no data
3055.20/102.30 c Finding binary XORs T: 0.04 s found: 6
3064.18/102.54 c S st 40 238249 8436 17533 29379 23007 103023 803373 no data no data
3064.18/102.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3076.97/102.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 154 BRemL: 2936 BRemN: 1 P: 5.8M T: 0.39
3076.97/102.96 c Replacing 11 vars Replaced 1029 lits Time: 0.01 s
3076.97/102.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3076.97/102.98 c bin-w-bin subsume rem 527 bins time: 0.00 s
3076.97/102.99 c subs with bin: 36 lits-rem: 35 v-fix: 0 time: 0.01 s
3080.16/103.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8425 time: 0.01 s
3080.16/103.01 c Removed useless bin: 1 fixed: 0 props: 0.22M time: 0.01 s
3080.16/103.04 c lits-rem: 1 cl-subs: 16 v-elim: 9 v-fix: 0 time: 0.03 s
3090.38/103.37 c subs with bin: 10 lits-rem: 288 v-fix: 0 time: 0.27 s
3099.34/103.60 c lits-rem: 796 cl-subs: 360 v-elim: 0 v-fix: 0 time: 0.23 s
3099.34/103.61 c vivif2 -- cl tried 17470 cl shrink 3 lits rem 3 time: 0.01
3099.34/103.65 c vivif2 -- cl tried 22419 cl shrink 1386 lits rem 8727 time: 0.04
3112.12/104.07 c asymm cl-useful: 16/17470/17470 lits-rem:50 time: 0.42
3112.12/104.08 c calculated reachability. Time: 0.00
3112.12/104.08 c N st 40 238249 8416 17469 26006 22419 102805 762625 no data no data
3115.32/104.12 c Finding binary XORs T: 0.04 s found: 0
3927.21/129.59 c F st 41 306251 8416 17469 26009 43754 102805 2512993 no data no data
3930.40/129.61 c N st 41 306251 8416 17469 26009 43754 102805 2512993 no data no data
3930.40/129.68 c Finding binary XORs T: 0.04 s found: 2
3981.53/131.23 c Decided on static restart strategy
4237.23/139.26 c N st 51 334560 8410 17450 27030 47642 102612 2835531 no data no data
4240.41/139.33 c Finding binary XORs T: 0.04 s found: 13
4512.09/147.85 c N st 53 357374 8410 17449 27017 44950 102598 2233037 no data no data
4512.09/147.85 c S st 53 357374 8410 17449 27017 44950 102598 2233037 no data no data
4521.68/148.14 c S st 53 357876 8410 17449 27021 45448 102598 2246668 no data no data
4521.68/148.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
4537.66/148.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 15 BRemL: 2998 BRemN: 1 P: 7.9M T: 0.51
4540.85/148.71 c Replacing 16 vars Replaced 4335 lits Time: 0.04 s
4540.85/148.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4540.85/148.72 c bin-w-bin subsume rem 278 bins time: 0.00 s
4540.85/148.73 c subs with bin: 26 lits-rem: 22 v-fix: 0 time: 0.01 s
4540.85/148.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8394 time: 0.01 s
4540.85/148.76 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
4544.05/148.81 c lits-rem: 2 cl-subs: 21 v-elim: 7 v-fix: 0 time: 0.05 s
4575.99/149.83 c subs with bin: 9 lits-rem: 1540 v-fix: 0 time: 0.87 s
4655.91/152.36 c lits-rem: 1818 cl-subs: 1387 v-elim: 0 v-fix: 0 time: 2.52 s
4655.91/152.37 c vivif2 -- cl tried 17383 cl shrink 0 lits rem 0 time: 0.01
4662.31/152.53 c vivif2 -- cl tried 42646 cl shrink 10026 lits rem 48001 time: 0.16
4678.28/153.04 c asymm cl-useful: 13/12334/17383 lits-rem:14 time: 0.51
4678.28/153.05 c calculated reachability. Time: 0.00
4678.28/153.05 c N st 53 357876 8387 17383 23617 42645 102352 1991433 no data no data
5208.88/169.65 c N st 54 390268 8387 17383 23617 49280 102352 3312344 no data no data
5212.07/169.73 c Finding binary XORs T: 0.04 s found: 0
5813.02/188.58 c N st 55 438856 8385 17381 23494 42506 102290 2661091 no data no data
6752.77/217.94 c N st 56 511739 8385 17381 23620 55017 102290 3194014 no data no data
7190.68/231.61 c N st 57 536815 8384 17381 23644 48528 102290 2383066 no data no data
7190.68/231.61 c S st 57 536815 8384 17381 23644 48528 102290 2383066 no data no data
7190.68/231.68 c Finding binary XORs T: 0.04 s found: 3
7204.08/232.08 c S st 57 537317 8384 17380 23550 49027 102276 2397218 no data no data
7204.08/232.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
7222.63/232.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 204 BRemN: 0 P: 7.9M T: 0.52
7222.63/232.64 c Replacing 3 vars Replaced 232 lits Time: 0.02 s
7222.63/232.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7222.63/232.65 c bin-w-bin subsume rem 59 bins time: 0.00 s
7222.63/232.66 c subs with bin: 15 lits-rem: 13 v-fix: 0 time: 0.01 s
7222.63/232.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8381 time: 0.02 s
7222.63/232.69 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
7225.83/232.75 c lits-rem: 0 cl-subs: 12 v-elim: 0 v-fix: 0 time: 0.05 s
7267.38/234.07 c subs with bin: 7 lits-rem: 231 v-fix: 0 time: 1.17 s
7372.87/237.36 c lits-rem: 1192 cl-subs: 1617 v-elim: 0 v-fix: 0 time: 3.27 s
7372.87/237.36 c vivif2 -- cl tried 17350 cl shrink 0 lits rem 0 time: 0.01
7379.86/237.56 c vivif2 -- cl tried 47402 cl shrink 10244 lits rem 64133 time: 0.20
7385.65/237.72 c asymm cl-useful: 0/5016/17350 lits-rem:0 time: 0.16
7385.65/237.73 c calculated reachability. Time: 0.00
7385.65/237.73 c N st 57 537317 8381 17350 23291 47402 102145 2262237 no data no data
10949.54/349.26 c N st 58 701301 8381 17350 23291 38917 102145 1370267 no data no data
10952.73/349.33 c Finding binary XORs T: 0.04 s found: 11
12279.24/390.83 c N st 59 805976 8377 17346 23036 67005 102092 4109484 no data no data
12279.24/390.83 c S st 59 805976 8377 17346 23036 67005 102092 4109484 no data no data
12295.24/391.32 c S st 59 806480 8377 17346 23053 67505 102092 4123548 no data no data
12295.24/391.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
12314.41/391.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 12 BRemL: 186 BRemN: 0 P: 9.4M T: 0.63
12317.60/392.02 c Replacing 12 vars Replaced 1765 lits Time: 0.03 s
12317.60/392.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12317.60/392.03 c bin-w-bin subsume rem 42 bins time: 0.00 s
12317.60/392.04 c subs with bin: 27 lits-rem: 14 v-fix: 0 time: 0.01 s
12317.60/392.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8365 time: 0.02 s
12317.60/392.07 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
12320.80/392.14 c lits-rem: 0 cl-subs: 12 v-elim: 4 v-fix: 0 time: 0.07 s
12397.53/394.55 c subs with bin: 21 lits-rem: 5399 v-fix: 0 time: 2.11 s
12605.26/401.02 c lits-rem: 3662 cl-subs: 1255 v-elim: 0 v-fix: 0 time: 6.46 s
12605.26/401.03 c vivif2 -- cl tried 17291 cl shrink 0 lits rem 0 time: 0.01
12614.86/401.34 c vivif2 -- cl tried 65680 cl shrink 15537 lits rem 192524 time: 0.31
12634.02/401.97 c asymm cl-useful: 51/7620/17291 lits-rem:70 time: 0.63
12634.02/401.98 c calculated reachability. Time: 0.00
12634.02/401.98 c N st 59 806480 8361 17291 22820 65680 101855 3797438 no data no data
17418.81/551.61 c F st 60 1071875 8361 17291 22823 77322 101855 3935476 no data no data
17418.81/551.62 c N st 60 1071875 8361 17291 22823 77322 101855 3935476 no data no data
17422.00/551.71 c Finding binary XORs T: 0.04 s found: 1
17476.33/553.43 c Decided on static restart strategy
17732.07/561.48 c N st 70 1100180 8359 17289 23067 60967 101825 2654010 no data no data
18320.18/579.88 c N st 72 1136173 8359 17289 23103 50876 101825 1919855 no data no data
18866.75/596.97 c N st 73 1168567 8359 17289 23108 82739 101825 4624797 no data no data
18869.95/597.06 c Finding binary XORs T: 0.04 s found: 2
19768.13/625.10 c N st 74 1209720 8357 17278 22890 76538 101781 3942025 no data no data
19768.13/625.10 c S st 74 1209720 8357 17278 22890 76538 101781 3942025 no data no data
19784.12/625.65 c S st 74 1210225 8356 17278 22940 77041 101781 3955598 no data no data
19784.12/625.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
19806.48/626.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 147 BRemL: 471 BRemN: 0 P: 10.5M T: 0.67
19809.68/626.43 c Replacing 8 vars Replaced 1666 lits Time: 0.08 s
19809.68/626.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19809.68/626.45 c bin-w-bin subsume rem 66 bins time: 0.00 s
19809.68/626.46 c subs with bin: 17 lits-rem: 9 v-fix: 0 time: 0.01 s
19809.68/626.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8349 time: 0.02 s
19809.68/626.49 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
19812.88/626.57 c lits-rem: 0 cl-subs: 15 v-elim: 6 v-fix: 0 time: 0.08 s
19883.20/628.77 c subs with bin: 23 lits-rem: 4137 v-fix: 0 time: 1.96 s
20126.13/636.35 c lits-rem: 2625 cl-subs: 1280 v-elim: 0 v-fix: 0 time: 7.56 s
20126.13/636.36 c vivif2 -- cl tried 17236 cl shrink 0 lits rem 0 time: 0.01
20138.93/636.73 c vivif2 -- cl tried 73588 cl shrink 23082 lits rem 187598 time: 0.36
20154.90/637.25 c asymm cl-useful: 13/7121/17236 lits-rem:13 time: 0.51
20154.90/637.26 c calculated reachability. Time: 0.00
20154.90/637.26 c N st 74 1210225 8343 17236 22497 73588 101579 3544706 no data no data
20158.10/637.30 c Finding binary XORs T: 0.04 s found: 0
21356.77/674.81 c N st 75 1283107 8343 17236 22497 98256 101579 4424162 no data no data
22986.90/725.81 c N st 76 1392431 8343 17236 22632 57807 101579 2045294 no data no data
22986.90/725.85 c Finding binary XORs T: 0.04 s found: 0
26240.82/827.64 c N st 77 1556416 8343 17236 22710 61671 101579 2365373 no data no data
29277.40/922.62 c N st 78 1710227 8343 17236 22735 99863 101579 4673658 no data no data
29277.40/922.62 c S st 78 1710227 8343 17236 22735 99863 101579 4673658 no data no data
29280.60/922.71 c Finding binary XORs T: 0.04 s found: 2
29296.57/923.27 c S st 78 1710728 8342 17235 22868 100348 101533 4692065 no data no data
29299.77/923.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
29325.34/924.17 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 16 BRemL: 242 BRemN: 0 P: 13.7M T: 0.87
29328.54/924.25 c Replacing 2 vars Replaced 484 lits Time: 0.08 s
29328.54/924.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
29328.54/924.27 c bin-w-bin subsume rem 37 bins time: 0.00 s
29328.54/924.28 c subs with bin: 5 lits-rem: 0 v-fix: 0 time: 0.01 s
29328.54/924.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8339 time: 0.02 s
29331.73/924.31 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.01 s
29331.73/924.40 c lits-rem: 0 cl-subs: 2 v-elim: 2 v-fix: 0 time: 0.09 s
29411.65/926.82 c subs with bin: 27 lits-rem: 7034 v-fix: 0 time: 2.10 s
31000.26/976.54 c lits-rem: 1581 cl-subs: 12079 v-elim: 0 v-fix: 0 time: 49.70 s
31000.26/976.55 c vivif2 -- cl tried 17218 cl shrink 0 lits rem 0 time: 0.01
31013.04/976.98 c vivif2 -- cl tried 87822 cl shrink 24385 lits rem 165586 time: 0.42
31019.43/977.16 c asymm cl-useful: 0/2477/17218 lits-rem:0 time: 0.18
31019.43/977.17 c calculated reachability. Time: 0.00
31019.43/977.17 c N st 78 1710728 8337 17218 22557 87822 101382 3966318 no data no data
39285.09/1235.72 c N st 79 2079692 8337 17218 22557 98656 101382 4910049 no data no data
39288.29/1235.81 c Finding binary XORs T: 0.04 s found: 3
41950.84/1319.13 c N st 80 2210729 8336 17217 22935 101491 101374 5074508 no data no data
41950.84/1319.13 c S st 80 2210729 8336 17217 22935 101491 101374 5074508 no data no data
41973.23/1319.91 c S st 80 2211231 8336 17217 22989 101993 101374 5085495 no data no data
41977.01/1319.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
42008.39/1320.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 9 BRemL: 380 BRemN: 1 P: 12.6M T: 0.99
42008.39/1320.99 c Replacing 4 vars Replaced 463 lits Time: 0.04 s
42008.39/1321.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
42008.39/1321.01 c bin-w-bin subsume rem 31 bins time: 0.00 s
42012.18/1321.02 c subs with bin: 13 lits-rem: 9 v-fix: 0 time: 0.01 s
42012.18/1321.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8332 time: 0.02 s
42012.18/1321.05 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
42015.40/1321.16 c lits-rem: 2 cl-subs: 6 v-elim: 3 v-fix: 0 time: 0.11 s
42113.85/1324.30 c subs with bin: 83 lits-rem: 3559 v-fix: 0 time: 2.81 s
42535.79/1337.41 c lits-rem: 242 cl-subs: 1993 v-elim: 0 v-fix: 0 time: 13.10 s
42535.79/1337.42 c vivif2 -- cl tried 17196 cl shrink 0 lits rem 0 time: 0.01
42551.77/1337.94 c vivif2 -- cl tried 98406 cl shrink 27676 lits rem 149359 time: 0.51
42577.98/1338.78 c asymm cl-useful: 23/8789/17196 lits-rem:34 time: 0.84
42577.98/1338.79 c calculated reachability. Time: 0.00
42577.98/1338.79 c N st 80 2211231 8329 17196 22546 98406 101266 4707091 no data no data
53988.39/1695.75 c N st 81 2711233 8329 17196 22547 119446 101265 5858093 no data no data
53988.39/1695.75 c S st 81 2711233 8329 17196 22547 119446 101265 5858093 no data no data
53991.59/1695.86 c Finding binary XORs T: 0.04 s found: 0
54020.36/1696.79 c S st 81 2711736 8327 17193 22578 119478 101181 5846700 no data no data
54023.56/1696.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
54061.92/1698.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 12 BRemL: 72 BRemN: 0 P: 15.8M T: 1.25
54065.11/1698.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
54065.11/1698.11 c bin-w-bin subsume rem 14 bins time: 0.00 s
54065.11/1698.12 c subs with bin: 5 lits-rem: 2 v-fix: 0 time: 0.01 s
54065.11/1698.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8327 time: 0.02 s
54065.11/1698.15 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
54068.32/1698.28 c lits-rem: 0 cl-subs: 8 v-elim: 2 v-fix: 0 time: 0.12 s
54173.80/1701.58 c subs with bin: 5 lits-rem: 486 v-fix: 0 time: 2.91 s
54650.05/1716.43 c lits-rem: 9368 cl-subs: 2896 v-elim: 0 v-fix: 0 time: 14.82 s
54650.05/1716.43 c vivif2 -- cl tried 17180 cl shrink 0 lits rem 0 time: 0.01
54666.03/1716.98 c vivif2 -- cl tried 116193 cl shrink 28610 lits rem 259025 time: 0.53
54688.39/1717.68 c asymm cl-useful: 0/3750/17180 lits-rem:0 time: 0.70
54688.39/1717.69 c calculated reachability. Time: 0.00
54688.39/1717.69 c N st 81 2711736 8325 17180 22339 116193 101129 5391018 no data no data
68512.79/2150.19 c N st 82 3211739 8325 17180 22339 87383 101129 3140525 no data no data
68512.79/2150.19 c S st 82 3211739 8325 17180 22339 87383 101129 3140525 no data no data
68531.96/2150.77 c S st 82 3212242 8325 17180 22431 87885 101129 3155115 no data no data
68535.16/2150.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
68558.17/2151.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 15 BRemL: 59 BRemN: 0 P: 12.0M T: 0.80
68561.37/2151.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
68561.37/2151.63 c bin-w-bin subsume rem 11 bins time: 0.00 s
68561.37/2151.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
68561.37/2151.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8325 time: 0.02 s
68561.37/2151.67 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
68563.92/2151.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
68618.28/2153.44 c subs with bin: 5 lits-rem: 87 v-fix: 0 time: 1.49 s
68772.33/2158.28 c lits-rem: 3123 cl-subs: 1601 v-elim: 0 v-fix: 0 time: 4.83 s
68772.33/2158.29 c vivif2 -- cl tried 17180 cl shrink 0 lits rem 0 time: 0.01
68778.10/2158.48 c vivif2 -- cl tried 86279 cl shrink 5580 lits rem 28338 time: 0.19
68787.70/2158.71 c asymm cl-useful: 0/4641/17180 lits-rem:0 time: 0.24
68787.70/2158.73 c calculated reachability. Time: 0.00
68787.70/2158.73 c N st 82 3212242 8325 17180 22376 86279 101129 3058940 no data no data
84900.48/2662.89 c N st 83 3712244 8325 17180 22376 94581 101128 3855974 no data no data
84900.48/2662.89 c S st 83 3712244 8325 17180 22376 94581 101128 3855974 no data no data
84903.69/2662.98 c Finding binary XORs T: 0.04 s found: 1
84922.87/2663.57 c S st 83 3712749 8323 17179 22897 95058 101076 3871588 no data no data
84926.05/2663.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
84951.63/2664.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 15 BRemL: 330 BRemN: 0 P: 12.6M T: 0.82
84951.63/2664.47 c Replacing 1 vars Replaced 354 lits Time: 0.04 s
84951.63/2664.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
84951.63/2664.48 c bin-w-bin subsume rem 17 bins time: 0.00 s
84951.63/2664.50 c subs with bin: 5 lits-rem: 2 v-fix: 0 time: 0.01 s
84954.83/2664.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8322 time: 0.02 s
84954.83/2664.53 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
84958.02/2664.62 c lits-rem: 0 cl-subs: 11 v-elim: 3 v-fix: 0 time: 0.09 s
85031.54/2666.96 c subs with bin: 38 lits-rem: 1442 v-fix: 0 time: 2.11 s
85168.99/2671.28 c lits-rem: 882 cl-subs: 617 v-elim: 0 v-fix: 0 time: 4.32 s
85168.99/2671.29 c vivif2 -- cl tried 17164 cl shrink 0 lits rem 0 time: 0.01
85178.58/2671.52 c vivif2 -- cl tried 89712 cl shrink 6853 lits rem 52615 time: 0.23
85200.96/2672.23 c asymm cl-useful: 24/4575/17164 lits-rem:25 time: 0.71
85200.96/2672.24 c calculated reachability. Time: 0.00
85200.96/2672.24 c N st 83 3712749 8319 17164 21980 89712 100965 3551954 no data no data
86185.42/2703.03 c F st 84 3751562 8319 17164 21980 127712 100965 6293147 no data no data
86185.42/2703.04 c N st 84 3751562 8319 17164 21980 127712 100965 6293147 no data no data
86284.48/2706.19 c Decided on static restart strategy
86668.66/2718.17 c N st 94 3779874 8319 17164 21997 155683 100965 8667128 no data no data
87310.51/2738.27 c N st 96 3815867 8319 17164 22000 108962 100965 4572646 no data no data
88068.02/2762.01 c N st 97 3848262 8319 17164 22007 141139 100965 9151371 no data no data
88994.98/2790.93 c N st 98 3896853 8319 17164 22020 104432 100965 3961500 no data no data
90647.48/2842.62 c N st 99 3969735 8319 17164 22037 90164 100965 3041389 no data no data
93032.60/2917.24 c N st 100 4079059 8319 17164 22048 111752 100965 5115262 no data no data
95726.57/3001.57 c N st 101 4212749 8319 17164 22060 152510 100964 5814415 no data no data
95726.57/3001.57 c S st 101 4212749 8319 17164 22060 152510 100964 5814415 no data no data
95729.74/3001.61 c Finding binary XORs T: 0.04 s found: 1
95755.30/3002.43 c S st 101 4213253 8319 17164 22141 153011 100964 5829043 no data no data
95755.30/3002.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
95796.87/3003.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 28 BRemL: 90 BRemN: 1 P: 18.9M T: 1.23
95796.87/3003.76 c Replacing 2 vars Replaced 143 lits Time: 0.05 s
95796.87/3003.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
95796.87/3003.77 c bin-w-bin subsume rem 10 bins time: 0.00 s
95796.87/3003.79 c subs with bin: 13 lits-rem: 9 v-fix: 0 time: 0.01 s
95800.06/3003.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8317 time: 0.02 s
95800.06/3003.82 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
95803.27/3003.94 c lits-rem: 0 cl-subs: 7 v-elim: 1 v-fix: 0 time: 0.12 s
95892.76/3006.73 c subs with bin: 53 lits-rem: 1589 v-fix: 0 time: 2.40 s
98309.25/3082.38 c lits-rem: 573 cl-subs: 26314 v-elim: 0 v-fix: 0 time: 75.61 s
98309.25/3082.39 c vivif2 -- cl tried 17145 cl shrink 0 lits rem 0 time: 0.01
98325.24/3082.86 c vivif2 -- cl tried 126385 cl shrink 26757 lits rem 130773 time: 0.46
98347.61/3083.57 c asymm cl-useful: 3/6395/17145 lits-rem:3 time: 0.71
98347.61/3083.58 c calculated reachability. Time: 0.00
98347.61/3083.58 c N st 101 4213253 8316 17145 21835 126385 100904 4771104 no data no data
106973.52/3353.43 c N st 102 4459231 8316 17145 21835 101040 100904 3863037 no data no data
115121.05/3608.33 c N st 103 4713253 8315 17145 21909 167409 100904 13903546 no data no data
115121.05/3608.33 c S st 103 4713253 8315 17145 21909 167409 100904 13903546 no data no data
115159.41/3609.50 c S st 103 4713758 8315 17145 21958 167913 100904 13920161 no data no data
115159.41/3609.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
115204.17/3610.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 6 BRemL: 43 BRemN: 0 P: 20.2M T: 1.37
115204.17/3610.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115204.17/3610.96 c bin-w-bin subsume rem 16 bins time: 0.00 s
115204.17/3610.97 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
115204.17/3610.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8315 time: 0.02 s
115207.37/3611.00 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
115210.56/3611.20 c lits-rem: 0 cl-subs: 9 v-elim: 4 v-fix: 0 time: 0.20 s
115325.62/3614.73 c subs with bin: 0 lits-rem: 40 v-fix: 0 time: 2.45 s
116322.93/3645.99 c lits-rem: 48068 cl-subs: 2197 v-elim: 0 v-fix: 0 time: 31.24 s
116322.93/3645.99 c vivif2 -- cl tried 17134 cl shrink 0 lits rem 0 time: 0.01
116364.49/3647.30 c vivif2 -- cl tried 162966 cl shrink 43053 lits rem 751138 time: 1.29
116390.05/3648.06 c asymm cl-useful: 0/4879/17134 lits-rem:0 time: 0.76
116390.05/3648.07 c calculated reachability. Time: 0.00
116390.05/3648.07 c N st 103 4713758 8311 17134 21743 162966 100843 12500032 no data no data
116393.25/3648.12 c Finding binary XORs T: 0.05 s found: 0
131019.80/4105.74 c N st 104 5213758 8311 17134 21743 176954 100843 10426763 no data no data
131019.80/4105.74 c S st 104 5213758 8311 17134 21743 176954 100843 10426763 no data no data
131051.76/4106.75 c S st 104 5214260 8311 17134 21897 177454 100843 10444719 no data no data
131054.95/4106.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
131099.72/4108.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 90 BRemN: 0 P: 21.5M T: 1.41
131099.72/4108.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
131099.72/4108.24 c bin-w-bin subsume rem 25 bins time: 0.00 s
131099.72/4108.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
131099.72/4108.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8311 time: 0.02 s
131099.72/4108.28 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
131106.72/4108.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s
131212.22/4111.80 c subs with bin: 34 lits-rem: 1783 v-fix: 0 time: 2.66 s
132947.23/4166.02 c lits-rem: 5488 cl-subs: 4738 v-elim: 0 v-fix: 0 time: 54.18 s
132947.23/4166.02 c vivif2 -- cl tried 17134 cl shrink 0 lits rem 0 time: 0.01
132982.39/4167.12 c vivif2 -- cl tried 172682 cl shrink 54969 lits rem 641081 time: 1.07
132988.80/4167.30 c asymm cl-useful: 0/1285/17134 lits-rem:0 time: 0.18
132988.80/4167.32 c calculated reachability. Time: 0.00
132988.80/4167.32 c N st 104 5214260 8311 17134 21783 172681 100843 9502265 no data no data
153522.48/4809.73 c N st 105 5714260 8311 17134 21783 155094 100840 6621854 no data no data
153522.48/4809.73 c S st 105 5714260 8311 17134 21783 155094 100840 6621854 no data no data
153525.69/4809.84 c Finding binary XORs T: 0.05 s found: 1
153554.45/4810.74 c S st 105 5714765 8309 17132 21644 155585 100812 6634020 no data no data
153554.45/4810.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
153596.00/4812.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 15 BRemL: 62 BRemN: 0 P: 19.6M T: 1.21
153596.00/4812.06 c Replacing 1 vars Replaced 529 lits Time: 0.05 s
153596.00/4812.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
153596.00/4812.08 c bin-w-bin subsume rem 14 bins time: 0.00 s
153596.00/4812.09 c subs with bin: 6 lits-rem: 4 v-fix: 0 time: 0.01 s
153599.22/4812.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8308 time: 0.02 s
153599.22/4812.12 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
153602.41/4812.25 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.13 s
153695.09/4815.16 c subs with bin: 54 lits-rem: 5738 v-fix: 0 time: 2.49 s
155581.62/4874.15 c lits-rem: 6034 cl-subs: 11232 v-elim: 0 v-fix: 0 time: 58.95 s
155581.62/4874.16 c vivif2 -- cl tried 17124 cl shrink 0 lits rem 0 time: 0.01
155600.17/4874.71 c vivif2 -- cl tried 144297 cl shrink 30926 lits rem 161794 time: 0.55
155622.55/4875.40 c asymm cl-useful: 10/1690/17124 lits-rem:11 time: 0.69
155622.55/4875.42 c calculated reachability. Time: 0.00
155622.55/4875.42 c N st 105 5714765 8308 17124 21587 144294 100786 5999502 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-3400820-1306841720/watcher-3400820-1306841720 -o /tmp/evaluation-result-3400820-1306841720/solver-3400820-1306841720 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400820-1306841720.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.57 31.56 31.86 1/413 23964
/proc/meminfo: memFree=263531784/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=338000 CPUtime=0.89 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) R 23962 23964 23938 0 -1 4202496 437 0 0 0 89 0 0 0 25 0 32 0 10138021 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23964/statm: 84500 376 297 95 0 79482 0
[pid=23964/tid=23965] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23965/stat : 23965 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23964/tid=23966] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23966/stat : 23966 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23964/tid=23967] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23967/stat : 23967 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23964/tid=23968] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23968/stat : 23968 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23964/tid=23969] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23969/stat : 23969 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23964/tid=23970] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23970/stat : 23970 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780918 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23964/tid=23971] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23971/stat : 23971 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23964/tid=23972] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23972/stat : 23972 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23973] ppid=23962 vsize=338000 CPUtime=0 cores=0-31
/proc/23964/task/23973/stat : 23973 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23974] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23974/stat : 23974 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23964/tid=23975] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23975/stat : 23975 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23964/tid=23976] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23976/stat : 23976 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23964/tid=23977] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23977/stat : 23977 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23964/tid=23978] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23978/stat : 23978 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780918 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23964/tid=23979] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23979/stat : 23979 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780904 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23964/tid=23980] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23980/stat : 23980 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23964/tid=23981] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23981/stat : 23981 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23964/tid=23982] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23982/stat : 23982 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780912 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23964/tid=23983] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23983/stat : 23983 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23964/tid=23984] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23984/stat : 23984 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23964/tid=23985] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23985/stat : 23985 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23964/tid=23986] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23986/stat : 23986 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23964/tid=23987] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23987/stat : 23987 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23964/tid=23988] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23988/stat : 23988 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780918 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23964/tid=23989] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23989/stat : 23989 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23964/tid=23990] ppid=23962 vsize=338000 CPUtime=0.03 cores=0-31
/proc/23964/task/23990/stat : 23990 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23964/tid=23991] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23991/stat : 23991 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780904 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23964/tid=23993] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23993/stat : 23993 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780918 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23964/tid=23994] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23994/stat : 23994 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780908 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23964/tid=23995] ppid=23962 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23964/task/23995/stat : 23995 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 10138022 346112000 376 268435456000 4194304 4580107 140736954632016 18446744073709551615 47710541780914 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.0744921 s]
/proc/loadavg: 29.57 31.56 31.86 1/413 23964
/proc/meminfo: memFree=263531784/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=601136 CPUtime=2.01 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) D 23962 23964 23938 0 -1 4202496 703 0 0 0 201 0 0 0 25 0 32 0 10138021 615563264 559 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23964/statm: 150284 560 322 95 0 145266 0
[pid=23964/tid=23965] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23965/stat : 23965 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 10 0 0 0 6 0 0 0 18 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23964/tid=23966] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23966/stat : 23966 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 23 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604505506340320 0 0 -1 2 0 0 0
[pid=23964/tid=23967] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23967/stat : 23967 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 3 0 0 0 6 0 0 0 24 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604461875977696 0 0 -1 24 0 0 0
[pid=23964/tid=23968] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23968/stat : 23968 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 28 0 0 0 6 0 0 0 18 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23964/tid=23969] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23969/stat : 23969 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 23 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604488531459552 0 0 -1 5 0 0 0
[pid=23964/tid=23970] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23970/stat : 23970 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 6 0 0 0 6 0 0 0 23 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604506465377760 0 0 -1 6 0 0 0
[pid=23964/tid=23971] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23971/stat : 23971 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 24 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604506517175776 0 0 -1 3 0 0 0
[pid=23964/tid=23972] ppid=23962 vsize=601136 CPUtime=0.04 cores=0-31
/proc/23964/task/23972/stat : 23972 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23964/tid=23973] ppid=23962 vsize=601136 CPUtime=0.01 cores=0-31
/proc/23964/task/23973/stat : 23973 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 7 0 0 0 1 0 0 0 25 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23974] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23974/stat : 23974 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604488611765728 0 0 -1 12 0 0 0
[pid=23964/tid=23975] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23975/stat : 23975 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604484271955424 0 0 -1 16 0 0 0
[pid=23964/tid=23976] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23976/stat : 23976 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 17 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23964/tid=23977] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23977/stat : 23977 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 24 0 32 0 10138022 615563264 560 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604449916067296 0 0 -1 20 0 0 0
[pid=23964/tid=23978] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23978/stat : 23978 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615563264 561 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604502323822048 0 0 -1 25 0 0 0
[pid=23964/tid=23979] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23979/stat : 23979 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 18 0 0 0 6 0 0 0 25 0 32 0 10138022 615563264 561 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23964/tid=23980] ppid=23962 vsize=601136 CPUtime=0.06 cores=0-31
/proc/23964/task/23980/stat : 23980 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615563264 568 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604460144213472 0 0 -1 7 0 0 0
[pid=23964/tid=23981] ppid=23962 vsize=601140 CPUtime=0.06 cores=0-31
/proc/23964/task/23981/stat : 23981 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615567360 588 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604463405178336 0 0 -1 9 0 0 0
[pid=23964/tid=23982] ppid=23962 vsize=601140 CPUtime=0.06 cores=0-31
/proc/23964/task/23982/stat : 23982 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615567360 616 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604481365179872 0 0 -1 14 0 0 0
[pid=23964/tid=23983] ppid=23962 vsize=601140 CPUtime=0.06 cores=0-31
/proc/23964/task/23983/stat : 23983 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615567360 657 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604494203887072 0 0 -1 11 0 0 0
[pid=23964/tid=23984] ppid=23962 vsize=601140 CPUtime=0.06 cores=0-31
/proc/23964/task/23984/stat : 23984 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 40 0 0 0 6 0 0 0 18 0 32 0 10138022 615567360 674 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23964/tid=23985] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23985/stat : 23985 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 27 0 0 0 6 0 0 0 18 0 32 0 10138022 615571456 691 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23964/tid=23986] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23986/stat : 23986 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615571456 723 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23964/tid=23987] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23987/stat : 23987 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 8 0 0 0 6 0 0 0 25 0 32 0 10138022 615571456 723 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23964/tid=23988] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23988/stat : 23988 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 6 0 0 0 6 0 0 0 25 0 32 0 10138022 615571456 723 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604451696942560 0 0 -1 22 0 0 0
[pid=23964/tid=23989] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23989/stat : 23989 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615571456 723 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604458830585312 0 0 -1 19 0 0 0
[pid=23964/tid=23990] ppid=23962 vsize=601144 CPUtime=0.06 cores=0-31
/proc/23964/task/23990/stat : 23990 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 6 0 0 0 6 0 0 0 25 0 32 0 10138022 615571456 729 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604449503288800 0 0 -1 21 0 0 0
[pid=23964/tid=23991] ppid=23962 vsize=601148 CPUtime=0.06 cores=0-31
/proc/23964/task/23991/stat : 23991 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615575552 729 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604500131429856 0 0 -1 26 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=601152 CPUtime=0.06 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 32 0 10138022 615579648 731 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23964/tid=23993] ppid=23962 vsize=601152 CPUtime=0.06 cores=0-31
/proc/23964/task/23993/stat : 23993 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 48 0 0 0 6 0 0 0 18 0 32 0 10138022 615579648 734 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23964/tid=23994] ppid=23962 vsize=601152 CPUtime=0.06 cores=0-31
/proc/23964/task/23994/stat : 23994 (strangenight2-m) S 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 615579648 736 268435456000 4194304 4580107 140736954632016 18446744073709551615 258651060958 0 0 4096 2 18446604471937760736 0 0 -1 30 0 0 0
[pid=23964/tid=23995] ppid=23962 vsize=732224 CPUtime=0.06 cores=0-31
/proc/23964/task/23995/stat : 23995 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 5 0 0 0 6 0 0 0 25 0 32 0 10138022 749797376 736 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 601136
[startup+0.103608 s]
/proc/loadavg: 29.57 31.56 31.86 1/413 23964
/proc/meminfo: memFree=263531784/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=732448 CPUtime=2.62 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) D 23962 23964 23938 0 -1 4202496 7398 0 0 0 201 61 0 0 18 0 32 0 10138021 750026752 7251 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23964/statm: 183112 7273 330 95 0 178094 0
[pid=23964/tid=23965] ppid=23962 vsize=732448 CPUtime=0.08 cores=0-31
/proc/23964/task/23965/stat : 23965 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 226 0 0 0 6 2 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23964/tid=23966] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23966/stat : 23966 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 251 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23964/tid=23967] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23967/stat : 23967 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 199 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23964/tid=23968] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23968/stat : 23968 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 274 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23964/tid=23969] ppid=23962 vsize=732448 CPUtime=0.08 cores=0-31
/proc/23964/task/23969/stat : 23969 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 209 0 0 0 6 2 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23964/tid=23970] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23970/stat : 23970 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 250 0 0 0 6 1 0 0 24 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23964/tid=23971] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23971/stat : 23971 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 195 0 0 0 6 1 0 0 24 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23964/tid=23972] ppid=23962 vsize=732448 CPUtime=0.05 cores=0-31
/proc/23964/task/23972/stat : 23972 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 217 0 0 0 4 1 0 0 25 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23964/tid=23973] ppid=23962 vsize=732448 CPUtime=0.03 cores=0-31
/proc/23964/task/23973/stat : 23973 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 243 0 0 0 1 2 0 0 18 0 32 0 10138022 750026752 7287 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23974] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23974/stat : 23974 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 197 0 0 0 6 1 0 0 25 0 32 0 10138022 750026752 7288 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23964/tid=23975] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23975/stat : 23975 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 201 0 0 0 6 1 0 0 25 0 32 0 10138022 750026752 7297 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23964/tid=23976] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23976/stat : 23976 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 152 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7318 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23964/tid=23977] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23977/stat : 23977 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 200 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7352 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23964/tid=23978] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23978/stat : 23978 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 212 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7355 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23964/tid=23979] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
/proc/23964/task/23979/stat : 23979 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 288 0 0 0 6 1 0 0 18 0 32 0 10138022 750026752 7356 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23964/tid=23980] ppid=23962 vsize=732448 CPUtime=0.08 cores=0-31
/proc/23964/task/23980/stat : 23980 (strangenight2-m) D 23962 23964 23938 0 -1 4202560 210 0 0 0 6 2 0 0 25 0 32 0 10138022 750026752 7356 268435456000 4194304 4580107 140736954632016 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23964/tid=23981] ppid=23962 vsize=732448 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=23964/tid=23974] ppid=23962 vsize=22379276 CPUtime=4955.71 cores=0-31
/proc/23964/task/23974/stat : 23974 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 588101 0 0 0 495148 423 0 0 25 0 32 0 10138022 22916378624 4217069 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23964/tid=23975] ppid=23962 vsize=22379276 CPUtime=4954.03 cores=0-31
/proc/23964/task/23975/stat : 23975 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 488984 0 0 0 495035 368 0 0 25 0 32 0 10138022 22916378624 4217069 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23964/tid=23976] ppid=23962 vsize=22379276 CPUtime=4947.68 cores=0-31
/proc/23964/task/23976/stat : 23976 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 448539 0 0 0 494431 337 0 0 25 0 32 0 10138022 22916378624 4217069 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23964/tid=23977] ppid=23962 vsize=22379276 CPUtime=4954.82 cores=0-31
/proc/23964/task/23977/stat : 23977 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 496590 0 0 0 495115 367 0 0 25 0 32 0 10138022 22916378624 4217069 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23964/tid=23978] ppid=23962 vsize=22379276 CPUtime=4951.29 cores=0-31
/proc/23964/task/23978/stat : 23978 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 428128 0 0 0 494784 345 0 0 25 0 32 0 10138022 22916378624 4217069 268435456000 4194304 4580107 140736954632016 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23964/tid=23979] ppid=23962 vsize=22379276 CPUtime=4955.18 cores=0-31
/proc/23964/task/23979/stat : 23979 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 561380 0 0 0 495128 390 0 0 25 0 32 0 10138022 22916378624 4217071 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23964/tid=23980] ppid=23962 vsize=22379276 CPUtime=4952.19 cores=0-31
/proc/23964/task/23980/stat : 23980 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 445043 0 0 0 494864 355 0 0 25 0 32 0 10138022 22916378624 4217071 268435456000 4194304 4580107 140736954632016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23964/tid=23981] ppid=23962 vsize=22379276 CPUtime=4954.74 cores=0-31
/proc/23964/task/23981/stat : 23981 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 564357 0 0 0 495023 451 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23964/tid=23982] ppid=23962 vsize=22379276 CPUtime=4934.85 cores=0-31
/proc/23964/task/23982/stat : 23982 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 569647 0 0 0 493058 427 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23964/tid=23983] ppid=23962 vsize=22379276 CPUtime=4932.13 cores=0-31
/proc/23964/task/23983/stat : 23983 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 513959 0 0 0 492806 407 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23964/tid=23984] ppid=23962 vsize=22379276 CPUtime=4953.72 cores=0-31
/proc/23964/task/23984/stat : 23984 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 444796 0 0 0 495004 368 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23964/tid=23985] ppid=23962 vsize=22379276 CPUtime=4954.95 cores=0-31
/proc/23964/task/23985/stat : 23985 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 535438 0 0 0 495083 412 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23964/tid=23986] ppid=23962 vsize=22379276 CPUtime=4942.43 cores=0-31
/proc/23964/task/23986/stat : 23986 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 440931 0 0 0 493888 355 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23964/tid=23987] ppid=23962 vsize=22379276 CPUtime=4952.53 cores=0-31
/proc/23964/task/23987/stat : 23987 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 495391 0 0 0 494849 404 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23964/tid=23988] ppid=23962 vsize=22379276 CPUtime=4937.5 cores=0-31
/proc/23964/task/23988/stat : 23988 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 510593 0 0 0 493374 376 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23964/tid=23989] ppid=23962 vsize=22379276 CPUtime=4943.67 cores=0-31
/proc/23964/task/23989/stat : 23989 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 419339 0 0 0 494000 367 0 0 25 0 32 0 10138022 22916378624 4217072 268435456000 4194304 4580107 140736954632016 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23964/tid=23990] ppid=23962 vsize=22379276 CPUtime=4955.06 cores=0-31
/proc/23964/task/23990/stat : 23990 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 521132 0 0 0 495103 403 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23964/tid=23991] ppid=23962 vsize=22379276 CPUtime=4954.55 cores=0-31
/proc/23964/task/23991/stat : 23991 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 400939 0 0 0 495154 301 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=22379276 CPUtime=4938.64 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 615554 0 0 0 493407 457 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4302554 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23964/tid=23993] ppid=23962 vsize=22379276 CPUtime=4954.72 cores=0-31
/proc/23964/task/23993/stat : 23993 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 387132 0 0 0 495155 317 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23994] ppid=23962 vsize=22379276 CPUtime=4953.85 cores=0-31
/proc/23964/task/23994/stat : 23994 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 494822 0 0 0 494993 392 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23964/tid=23995] ppid=23962 vsize=22379276 CPUtime=4957.25 cores=0-31
/proc/23964/task/23995/stat : 23995 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 124389 0 0 0 495597 128 0 0 25 0 32 0 10138022 22916378624 4217073 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 158400
Current children cumulated vsize (KiB) 22379276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5012.4 s]
/proc/loadavg: 32.13 32.11 32.07 33/445 24142
/proc/meminfo: memFree=246696396/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=21958736 CPUtime=160002 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) R 23962 23964 23938 0 -1 4202496 16028680 0 0 0 15987934 12288 0 0 25 0 32 0 10138021 22485745664 4200998 268435456000 4194304 4580107 140736954632016 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23964/statm: 5489684 4200998 400 95 0 5484666 0
[pid=23964/tid=23965] ppid=23962 vsize=21958736 CPUtime=5003.86 cores=0-31
/proc/23964/task/23965/stat : 23965 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 601307 0 0 0 499955 431 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23964/tid=23966] ppid=23962 vsize=21958736 CPUtime=4996.34 cores=0-31
/proc/23964/task/23966/stat : 23966 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 462639 0 0 0 499271 363 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23964/tid=23967] ppid=23962 vsize=21958736 CPUtime=5000.51 cores=0-31
/proc/23964/task/23967/stat : 23967 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 539824 0 0 0 499657 394 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23964/tid=23968] ppid=23962 vsize=21958736 CPUtime=4992.54 cores=0-31
/proc/23964/task/23968/stat : 23968 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 456698 0 0 0 498900 354 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23964/tid=23969] ppid=23962 vsize=21958736 CPUtime=5003.32 cores=0-31
/proc/23964/task/23969/stat : 23969 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 575741 0 0 0 499902 430 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23964/tid=23970] ppid=23962 vsize=21958736 CPUtime=5002.29 cores=0-31
/proc/23964/task/23970/stat : 23970 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 514290 0 0 0 499802 427 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23964/tid=23971] ppid=23962 vsize=21958736 CPUtime=5003.85 cores=0-31
/proc/23964/task/23971/stat : 23971 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 462239 0 0 0 500030 355 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23964/tid=23972] ppid=23962 vsize=21958736 CPUtime=5000.75 cores=0-31
/proc/23964/task/23972/stat : 23972 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 511572 0 0 0 499667 408 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23964/tid=23973] ppid=23962 vsize=21958736 CPUtime=5003.58 cores=0-31
/proc/23964/task/23973/stat : 23973 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 621896 0 0 0 499924 434 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23964/tid=23974] ppid=23962 vsize=21958736 CPUtime=5005.83 cores=0-31
/proc/23964/task/23974/stat : 23974 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 590077 0 0 0 500157 426 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23964/tid=23975] ppid=23962 vsize=21958736 CPUtime=5004.14 cores=0-31
/proc/23964/task/23975/stat : 23975 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 492590 0 0 0 500043 371 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23964/tid=23976] ppid=23962 vsize=21958736 CPUtime=4997.79 cores=0-31
/proc/23964/task/23976/stat : 23976 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 449741 0 0 0 499441 338 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23964/tid=23977] ppid=23962 vsize=21958736 CPUtime=5004.92 cores=0-31
/proc/23964/task/23977/stat : 23977 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 500609 0 0 0 500121 371 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23964/tid=23978] ppid=23962 vsize=21958736 CPUtime=5001.41 cores=0-31
/proc/23964/task/23978/stat : 23978 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 431605 0 0 0 499792 349 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23964/tid=23979] ppid=23962 vsize=21958736 CPUtime=5005.3 cores=0-31
/proc/23964/task/23979/stat : 23979 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 561380 0 0 0 500140 390 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23964/tid=23980] ppid=23962 vsize=21958736 CPUtime=5002.3 cores=0-31
/proc/23964/task/23980/stat : 23980 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 447644 0 0 0 499872 358 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23964/tid=23981] ppid=23962 vsize=21958736 CPUtime=5004.85 cores=0-31
/proc/23964/task/23981/stat : 23981 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 564357 0 0 0 500034 451 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23964/tid=23982] ppid=23962 vsize=21958736 CPUtime=4984.96 cores=0-31
/proc/23964/task/23982/stat : 23982 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 573504 0 0 0 498064 432 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23964/tid=23983] ppid=23962 vsize=21958736 CPUtime=4982.23 cores=0-31
/proc/23964/task/23983/stat : 23983 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 516660 0 0 0 497813 410 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23964/tid=23984] ppid=23962 vsize=21958736 CPUtime=5003.82 cores=0-31
/proc/23964/task/23984/stat : 23984 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 445977 0 0 0 500012 370 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23964/tid=23985] ppid=23962 vsize=21958736 CPUtime=5005.05 cores=0-31
/proc/23964/task/23985/stat : 23985 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 538898 0 0 0 500089 416 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23964/tid=23986] ppid=23962 vsize=21958736 CPUtime=4992.53 cores=0-31
/proc/23964/task/23986/stat : 23986 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 450059 0 0 0 498894 359 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23964/tid=23987] ppid=23962 vsize=21958736 CPUtime=5002.63 cores=0-31
/proc/23964/task/23987/stat : 23987 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 503441 0 0 0 499854 409 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23964/tid=23988] ppid=23962 vsize=21958736 CPUtime=4987.61 cores=0-31
/proc/23964/task/23988/stat : 23988 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 510988 0 0 0 498384 377 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23964/tid=23989] ppid=23962 vsize=21958736 CPUtime=4993.78 cores=0-31
/proc/23964/task/23989/stat : 23989 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 419354 0 0 0 499011 367 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23964/tid=23990] ppid=23962 vsize=21958736 CPUtime=5005.16 cores=0-31
/proc/23964/task/23990/stat : 23990 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 532190 0 0 0 500107 409 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23964/tid=23991] ppid=23962 vsize=21958736 CPUtime=5004.66 cores=0-31
/proc/23964/task/23991/stat : 23991 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 403054 0 0 0 500164 302 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=21958736 CPUtime=4987.33 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 622683 0 0 0 498274 459 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23964/tid=23993] ppid=23962 vsize=21958736 CPUtime=5004.83 cores=0-31
/proc/23964/task/23993/stat : 23993 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 389248 0 0 0 500164 319 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23964/tid=23994] ppid=23962 vsize=21958736 CPUtime=5003.96 cores=0-31
/proc/23964/task/23994/stat : 23994 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 495695 0 0 0 500002 394 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23964/tid=23995] ppid=23962 vsize=21958736 CPUtime=5007.36 cores=0-31
/proc/23964/task/23995/stat : 23995 (strangenight2-m) R 23962 23964 23938 0 -1 4202560 126009 0 0 0 500607 129 0 0 25 0 32 0 10138022 22485745664 4200999 268435456000 4194304 4580107 140736954632016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 21958736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5012.6 s]
/proc/loadavg: 32.13 32.11 32.07 2/416 24143
/proc/meminfo: memFree=249031332/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=0 CPUtime=160003 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) Z 23962 23964 23938 0 -1 4203548 16028689 0 0 0 15987960 12307 0 0 25 0 2 0 10138021 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23964/statm: 0 0 0 0 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=0 CPUtime=4987.52 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4203588 622683 0 0 0 498274 478 0 0 25 0 2 0 10138022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5013 s]
/proc/loadavg: 32.13 32.11 32.07 2/416 24143
/proc/meminfo: memFree=249031332/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=0 CPUtime=160003 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) Z 23962 23964 23938 0 -1 4203548 16028689 0 0 0 15987960 12345 0 0 25 0 2 0 10138021 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23964/statm: 0 0 0 0 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=0 CPUtime=4987.9 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4203588 622683 0 0 0 498274 516 0 0 25 0 2 0 10138022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5013.4 s]
/proc/loadavg: 32.13 32.11 32.07 2/416 24143
/proc/meminfo: memFree=249031332/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=0 CPUtime=160003 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) Z 23962 23964 23938 0 -1 4203548 16028689 0 0 0 15987960 12385 0 0 25 0 2 0 10138021 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23964/statm: 0 0 0 0 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=0 CPUtime=4988.3 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4203588 622683 0 0 0 498274 556 0 0 25 0 2 0 10138022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5013.5 s]
/proc/loadavg: 32.13 32.11 32.07 2/416 24143
/proc/meminfo: memFree=249031332/264257624 swapFree=67044776/67111528
[pid=23964] ppid=23962 vsize=0 CPUtime=160004 cores=0-31
/proc/23964/stat : 23964 (strangenight2-m) Z 23962 23964 23938 0 -1 4203548 16028689 0 0 0 15987960 12395 0 0 25 0 2 0 10138021 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23964/statm: 0 0 0 0 0 0 0
[pid=23964/tid=23992] ppid=23962 vsize=0 CPUtime=4988.4 cores=0-31
/proc/23964/task/23992/stat : 23992 (strangenight2-m) R 23962 23964 23938 0 -1 4203588 622683 0 0 0 498274 566 0 0 25 0 2 0 10138022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5013.53
CPU time (s): 160004
CPU user time (s): 159880
CPU system time (s): 123.984
CPU usage (%): 3191.43
Max. virtual memory (cumulated for all children) (KiB): 22680928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159880
system time used= 123.984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16028689
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= 1105856
involuntary context switches= 327552
runsolver used 30.8323 second user time and 110.653 second system time
The end
Begin job on node200 at 2011-05-31 13:35:20
IDJOB=3400820
IDBENCH=83134
IDSOLVER=1886
FILE ID=node200/3400820-1306841720
RUNJOBID= node200-1306841720-23952
PBS_JOBID= 13471344
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400820-1306841720/watcher-3400820-1306841720 -o /tmp/evaluation-result-3400820-1306841720/solver-3400820-1306841720 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400820-1306841720.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=1395601226
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: 263532188 kB
Buffers: 126000 kB
Cached: 408024 kB
SwapCached: 29980 kB
Active: 130076 kB
Inactive: 436108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263532188 kB
SwapTotal: 67111528 kB
SwapFree: 67044776 kB
Dirty: 7280 kB
Writeback: 0 kB
AnonPages: 29428 kB
Mapped: 7548 kB
Slab: 73796 kB
PageTables: 6896 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 14:58:55