0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400805-1306811604.cnf'
1.29/0.08 c -- header says num vars: 55875
1.29/0.08 c -- header says num clauses: 177646
22.38/1.23 c -- clauses added: 0 learnts, 177646 normals, 0 xors
22.38/1.23 c -- vars added 55875
22.38/1.23 c Parsing time: 0.21 s
22.38/1.23 c N st 0 0 55875 67709 99184 0 407954 0 no data no data
79.02/3.21 c asymm cl-useful: 17/20804/67709 lits-rem:58 time: 1.98
862.59/37.25 c Flit: 127 Blit: 18358 bXBeca: 0 bXProp: 14705 Bins: 0 BRemL: 0 BRemN: 0 P: 173.4M T: 24.78
862.59/37.28 c Cleaning up after failed var search: 0.02 s
862.59/37.31 c Replacing 14705 vars Replaced 270731 lits Time: 0.03 s
866.38/37.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
866.38/37.35 c bin-w-bin subsume rem 2372 bins time: 0.01 s
866.38/37.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
866.38/37.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 19136 time: 0.05 s
869.58/37.44 c Removed useless bin: 39 fixed: 0 props: 3.54M time: 0.04 s
872.17/37.58 c lits-rem: 7 cl-subs: 766 v-elim: 6378 v-fix: 0 time: 0.11 s
884.96/37.96 c Finding binary XORs T: 0.38 s found: 22
884.96/37.97 c Replacing 22 vars Replaced 261 lits Time: 0.01 s
888.16/38.02 c Finding non-binary XORs: 0.03 s (found: 5334, avg size: 3.0)
888.16/38.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 880 locsubst: 3234 time: 0.02
888.16/38.02 c Replacing 1617 vars Replaced 9702 lits Time: 0.01 s
888.16/38.04 c calculated reachability. Time: 0.01
888.16/38.04 c Calc default polars - time: 0.00 s pos: 1464 undec: 45857 neg: 8554
888.16/38.04 c =========================================================================================
888.16/38.04 c types(t): F = full restart, N = normal restart
888.16/38.04 c types(t): S = simplification begin/end, E = solution found
888.16/38.04 c restart types(rt): st = static, dy = dynamic
888.16/38.04 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
888.16/38.04 c B st 0 0 10239 15615 17026 0 113584 0 no data no data
897.75/38.31 c Decided on static restart strategy
910.53/38.74 c N st 8 4915 10229 15615 17449 4431 113584 122575 no data no data
948.85/39.96 c Finding binary XORs T: 0.27 s found: 247
948.85/39.97 c Replacing 247 vars Replaced 6539 lits Time: 0.01 s
961.63/40.35 c N st 10 11302 9635 14835 17408 8339 106064 264000 no data no data
980.78/40.98 c N st 11 17045 9635 14835 17418 13688 106064 384008 no data no data
1046.84/43.08 c F st 12 25000 9601 14835 17867 13326 106064 272839 no data no data
1046.84/43.10 c Replacing 22 vars Replaced 344 lits Time: 0.01 s
1050.04/43.11 c N st 12 25000 9579 14782 17659 13307 105478 271230 no data no data
1056.42/43.39 c Finding binary XORs T: 0.26 s found: 4
1094.77/44.51 c Decided on static restart strategy
1094.77/44.51 c N st 18 30001 9572 14781 18011 18182 105381 477292 no data no data
1094.77/44.51 c S st 18 30001 9572 14781 18011 18182 105381 477292 no data no data
1097.97/44.68 c S st 18 30503 9572 14781 18026 18669 105381 487254 no data no data
1101.17/44.70 c x-sub: 1437 x-cut: 0 vfix: 0 v-elim: 411 locsubst: 0 time: 0.02
1129.90/45.63 c Flit: 39 Blit: 8 bXBeca: 0 bXProp: 18 Bins: 77272 BRemL: 46448 BRemN: 23 P: 9.5M T: 0.91
1129.90/45.65 c Replacing 22 vars Replaced 2384 lits Time: 0.02 s
1129.90/45.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1129.90/45.67 c bin-w-bin subsume rem 440 bins time: 0.01 s
1129.90/45.68 c subs with bin: 380 lits-rem: 114 v-fix: 0 time: 0.01 s
1133.10/45.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9075 time: 0.02 s
1133.10/45.71 c Removed useless bin: 75 fixed: 0 props: 0.32M time: 0.01 s
1133.10/45.77 c lits-rem: 287 cl-subs: 255 v-elim: 1443 v-fix: 0 time: 0.05 s
1136.30/45.89 c subs with bin: 143 lits-rem: 10260 v-fix: 0 time: 0.11 s
1139.50/45.99 c lits-rem: 1134 cl-subs: 680 v-elim: 0 v-fix: 0 time: 0.09 s
1146.48/46.20 c asymm cl-useful: 101/13955/13955 lits-rem:422 time: 0.21
1146.48/46.21 c calculated reachability. Time: 0.00
1146.48/46.21 c N st 18 30503 7632 13955 35782 10112 91765 247633 no data no data
1155.46/46.48 c Finding binary XORs T: 0.27 s found: 0
1184.82/47.37 c N st 20 37614 7630 13955 36108 16789 91765 411987 no data no data
1216.68/48.41 c N st 21 44015 7624 13955 36110 13115 91765 326408 no data no data
1228.87/48.74 c Finding binary XORs T: 0.24 s found: 2
1238.47/49.05 c S st 22 45754 7619 13950 74153 14747 91420 454882 no data no data
1244.86/49.20 c S st 22 46256 7619 13950 74160 15238 91420 464622 no data no data
1244.86/49.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 202 locsubst: 0 time: 0.01
1257.66/49.67 c Flit: 2 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 8688 BRemL: 38077 BRemN: 227 P: 5.3M T: 0.45
1257.66/49.69 c Replacing 2 vars Replaced 842 lits Time: 0.02 s
1260.83/49.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1260.83/49.71 c bin-w-bin subsume rem 5558 bins time: 0.01 s
1260.83/49.72 c subs with bin: 14 lits-rem: 16 v-fix: 0 time: 0.01 s
1260.83/49.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7411 time: 0.01 s
1260.83/49.74 c Removed useless bin: 13 fixed: 0 props: 0.20M time: 0.01 s
1260.83/49.76 c lits-rem: 6 cl-subs: 7 v-elim: 6 v-fix: 0 time: 0.02 s
1264.03/49.87 c subs with bin: 50 lits-rem: 504 v-fix: 0 time: 0.08 s
1270.42/50.03 c lits-rem: 820 cl-subs: 403 v-elim: 0 v-fix: 0 time: 0.16 s
1270.42/50.03 c vivif2 -- cl tried 13927 cl shrink 42 lits rem 89 time: 0.00
1270.42/50.06 c vivif2 -- cl tried 13550 cl shrink 4038 lits rem 14827 time: 0.03
1276.82/50.29 c asymm cl-useful: 46/13894/13894 lits-rem:127 time: 0.23
1276.82/50.30 c calculated reachability. Time: 0.00
1276.82/50.30 c N st 22 46256 7405 13894 35969 13544 90090 334013 no data no data
1287.00/50.54 c Finding binary XORs T: 0.24 s found: 0
1357.33/52.77 c N st 23 60653 7401 13894 37368 27327 90090 804363 no data no data
1366.31/53.03 c Finding binary XORs T: 0.24 s found: 4
1414.27/54.60 c N st 24 69384 7396 13889 47457 21277 89871 543103 no data no data
1414.27/54.60 c S st 24 69384 7396 13889 47457 21277 89871 543103 no data no data
1420.67/54.78 c S st 24 69889 7396 13889 47895 21777 89871 555708 no data no data
1423.86/54.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 98 locsubst: 0 time: 0.02
1436.64/55.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1904 BRemL: 10719 BRemN: 5 P: 6.1M T: 0.44
1436.64/55.25 c Replacing 4 vars Replaced 341 lits Time: 0.01 s
1436.64/55.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1436.64/55.27 c bin-w-bin subsume rem 2919 bins time: 0.00 s
1436.64/55.28 c subs with bin: 25 lits-rem: 8 v-fix: 0 time: 0.01 s
1436.64/55.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7294 time: 0.02 s
1439.83/55.30 c Removed useless bin: 1 fixed: 0 props: 0.20M time: 0.01 s
1439.83/55.33 c lits-rem: 1 cl-subs: 6 v-elim: 5 v-fix: 0 time: 0.03 s
1443.03/55.48 c subs with bin: 46 lits-rem: 287 v-fix: 0 time: 0.11 s
1452.63/55.74 c lits-rem: 1013 cl-subs: 767 v-elim: 0 v-fix: 0 time: 0.25 s
1452.63/55.74 c vivif2 -- cl tried 13856 cl shrink 1 lits rem 1 time: 0.00
1452.63/55.77 c vivif2 -- cl tried 19619 cl shrink 2355 lits rem 15606 time: 0.03
1462.80/56.04 c asymm cl-useful: 241/13856/13856 lits-rem:640 time: 0.27
1462.80/56.05 c calculated reachability. Time: 0.00
1462.80/56.05 c N st 24 69889 7289 13730 35927 19617 89161 445839 no data no data
1548.52/58.77 c F st 25 87500 7288 13730 35941 36269 89161 939718 no data no data
1548.52/58.79 c N st 25 87500 7288 13730 35560 36259 89132 938879 no data no data
1558.11/59.05 c Finding binary XORs T: 0.24 s found: 59
1586.87/59.93 c Decided on static restart strategy
1599.66/60.33 c N st 32 95543 7287 13729 35799 26834 89105 586537 no data no data
1631.63/61.31 c Finding binary XORs T: 0.24 s found: 4
1654.00/62.05 c N st 34 104834 7285 13728 37915 35728 89059 832966 no data no data
1654.00/62.05 c S st 34 104834 7285 13728 37915 35728 89059 832966 no data no data
1660.39/62.28 c S st 34 105334 7285 13728 37969 36225 89059 848604 no data no data
1660.39/62.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 35 locsubst: 0 time: 0.01
1676.96/62.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1070 BRemL: 2828 BRemN: 46 P: 7.2M T: 0.50
1679.55/62.81 c Replacing 63 vars Replaced 1405 lits Time: 0.01 s
1679.55/62.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1679.55/62.82 c bin-w-bin subsume rem 668 bins time: 0.00 s
1679.55/62.84 c subs with bin: 66 lits-rem: 112 v-fix: 0 time: 0.01 s
1679.55/62.85 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 7187 time: 0.02 s
1679.55/62.86 c Removed useless bin: 4 fixed: 0 props: 0.20M time: 0.01 s
1679.55/62.89 c lits-rem: 21 cl-subs: 98 v-elim: 28 v-fix: 0 time: 0.03 s
1689.14/63.16 c subs with bin: 44 lits-rem: 2043 v-fix: 0 time: 0.22 s
1712.15/63.83 c lits-rem: 1817 cl-subs: 1225 v-elim: 0 v-fix: 0 time: 0.66 s
1712.15/63.83 c vivif2 -- cl tried 13587 cl shrink 9 lits rem 9 time: 0.00
1714.71/63.90 c vivif2 -- cl tried 34204 cl shrink 5723 lits rem 26576 time: 0.06
1724.31/64.20 c asymm cl-useful: 46/13586/13586 lits-rem:95 time: 0.30
1724.31/64.21 c calculated reachability. Time: 0.00
1724.31/64.21 c N st 34 105334 7159 13583 32804 34202 88037 732615 no data no data
1772.24/65.74 c N st 35 114934 7159 13583 32805 23849 88037 443080 no data no data
1779.22/66.00 c Finding binary XORs T: 0.24 s found: 0
1864.93/68.69 c N st 36 129331 7157 13582 35794 37863 87993 895572 no data no data
1967.22/71.84 c N st 37 150926 7155 13582 36816 36526 87993 746055 no data no data
1973.62/72.09 c Finding binary XORs T: 0.24 s found: 5
2008.77/73.11 c S st 38 158002 7152 13580 38024 43188 87834 906183 no data no data
2015.18/73.36 c S st 38 158507 7152 13580 38128 43690 87834 922159 no data no data
2015.18/73.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2031.14/73.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 2057 BRemL: 6795 BRemN: 5 P: 7.7M T: 0.51
2031.14/73.90 c Replacing 8 vars Replaced 976 lits Time: 0.01 s
2034.34/73.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2034.34/73.91 c bin-w-bin subsume rem 1008 bins time: 0.01 s
2034.34/73.92 c subs with bin: 61 lits-rem: 33 v-fix: 0 time: 0.01 s
2034.34/73.94 c Subs w/ non-existent bins: 2 l-rem: 1 v-fix: 0 done: 7144 time: 0.02 s
2034.34/73.95 c Removed useless bin: 2 fixed: 0 props: 0.20M time: 0.01 s
2034.34/73.98 c lits-rem: 4 cl-subs: 29 v-elim: 21 v-fix: 0 time: 0.03 s
2043.94/74.24 c subs with bin: 102 lits-rem: 4260 v-fix: 0 time: 0.20 s
2091.86/75.76 c lits-rem: 2701 cl-subs: 1673 v-elim: 0 v-fix: 0 time: 1.52 s
2091.86/75.77 c vivif2 -- cl tried 13490 cl shrink 9 lits rem 9 time: 0.00
2095.68/75.84 c vivif2 -- cl tried 41883 cl shrink 5717 lits rem 20177 time: 0.08
2104.66/76.16 c asymm cl-useful: 56/13487/13487 lits-rem:117 time: 0.31
2104.66/76.17 c calculated reachability. Time: 0.00
2104.66/76.17 c N st 38 158507 7123 13474 31368 41879 87209 842782 no data no data
2114.23/76.41 c Finding binary XORs T: 0.24 s found: 2
2440.29/86.66 c N st 39 207096 7123 13474 31389 41754 87208 980380 no data no data
2450.50/86.92 c Finding binary XORs T: 0.24 s found: 4
2587.93/91.22 c N st 40 237761 7121 13474 34446 45011 87132 1254844 no data no data
2587.93/91.22 c S st 40 237761 7121 13474 34446 45011 87132 1254844 no data no data
2593.71/91.48 c Finding binary XORs T: 0.24 s found: 0
2603.31/91.72 c S st 40 238263 7119 13471 34937 45508 87106 1269791 no data no data
2603.31/91.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2619.30/92.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 481 BRemL: 4093 BRemN: 4 P: 7.3M T: 0.49
2619.30/92.24 c Replacing 8 vars Replaced 2288 lits Time: 0.02 s
2619.30/92.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2619.30/92.26 c bin-w-bin subsume rem 671 bins time: 0.00 s
2619.30/92.27 c subs with bin: 43 lits-rem: 36 v-fix: 0 time: 0.01 s
2619.30/92.28 c Subs w/ non-existent bins: 4 l-rem: 4 v-fix: 0 done: 7111 time: 0.02 s
2619.30/92.29 c Removed useless bin: 1 fixed: 0 props: 0.19M time: 0.01 s
2623.09/92.32 c lits-rem: 3 cl-subs: 18 v-elim: 6 v-fix: 0 time: 0.03 s
2628.88/92.59 c subs with bin: 109 lits-rem: 316 v-fix: 0 time: 0.19 s
2830.29/98.87 c lits-rem: 2405 cl-subs: 1605 v-elim: 0 v-fix: 0 time: 6.28 s
2830.29/98.87 c vivif2 -- cl tried 13404 cl shrink 2 lits rem 2 time: 0.00
2834.07/98.98 c vivif2 -- cl tried 43791 cl shrink 7547 lits rem 32334 time: 0.11
2846.25/99.31 c asymm cl-useful: 54/13404/13404 lits-rem:122 time: 0.33
2846.25/99.32 c calculated reachability. Time: 0.00
2846.25/99.32 c N st 40 238263 7105 13397 30314 43786 86711 1180711 no data no data
2852.65/99.56 c Finding binary XORs T: 0.24 s found: 2
3086.00/106.89 c Finding binary XORs T: 0.24 s found: 5
3191.44/110.11 c F st 41 306251 7099 13383 32227 45948 86539 928518 no data no data
3191.44/110.13 c Replacing 7 vars Replaced 358 lits Time: 0.01 s
3191.44/110.14 c N st 41 306251 7092 13379 32212 45947 86519 928493 no data no data
3220.84/111.06 c Decided on static restart strategy
3303.33/113.60 c Finding binary XORs T: 0.24 s found: 5
3344.89/114.96 c N st 51 334551 7091 13371 35025 48851 86489 994209 no data no data
3475.94/119.09 c N st 53 357398 7089 13371 35765 43475 86489 959289 no data no data
3475.94/119.09 c S st 53 357398 7089 13371 35765 43475 86489 959289 no data no data
3485.54/119.35 c Finding binary XORs T: 0.24 s found: 0
3495.13/119.63 c S st 53 357899 7089 13369 35466 43971 86423 976970 no data no data
3495.13/119.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3511.10/120.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 789 BRemL: 6795 BRemN: 0 P: 7.8M T: 0.51
3511.10/120.18 c Replacing 9 vars Replaced 244 lits Time: 0.01 s
3511.10/120.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3511.10/120.19 c bin-w-bin subsume rem 1177 bins time: 0.00 s
3514.30/120.20 c subs with bin: 86 lits-rem: 40 v-fix: 0 time: 0.01 s
3514.30/120.22 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 7080 time: 0.02 s
3514.30/120.23 c Removed useless bin: 2 fixed: 0 props: 0.20M time: 0.01 s
3514.30/120.26 c lits-rem: 3 cl-subs: 29 v-elim: 7 v-fix: 0 time: 0.03 s
3523.90/120.55 c subs with bin: 35 lits-rem: 604 v-fix: 0 time: 0.23 s
3565.46/121.85 c lits-rem: 2050 cl-subs: 2236 v-elim: 0 v-fix: 0 time: 1.29 s
3565.46/121.86 c vivif2 -- cl tried 13247 cl shrink 3 lits rem 3 time: 0.00
3568.65/121.93 c vivif2 -- cl tried 41694 cl shrink 4931 lits rem 50985 time: 0.07
3578.23/122.28 c asymm cl-useful: 39/13247/13247 lits-rem:101 time: 0.35
3578.23/122.29 c calculated reachability. Time: 0.00
3578.23/122.29 c N st 53 357899 7073 13242 27946 41693 85927 847275 no data no data
3731.68/127.08 c N st 54 390292 7073 13242 27946 42694 85927 754306 no data no data
3741.28/127.33 c Finding binary XORs T: 0.24 s found: 0
4048.11/136.90 c N st 55 438880 7073 13242 28141 59033 85927 1145831 no data no data
4054.51/137.16 c Finding binary XORs T: 0.24 s found: 0
4386.95/147.53 c N st 56 511762 7072 13241 28582 62161 85912 1029945 no data no data
4393.34/147.79 c Finding binary XORs T: 0.24 s found: 3
4595.31/154.06 c N st 57 536848 7071 13235 28900 52664 85879 956061 no data no data
4595.31/154.06 c S st 57 536848 7071 13235 28900 52664 85879 956061 no data no data
4604.30/154.34 c S st 57 537350 7071 13235 29055 53161 85879 972747 no data no data
4604.30/154.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
4623.50/154.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 150 BRemL: 1332 BRemN: 1 P: 8.9M T: 0.55
4623.50/154.93 c Replacing 4 vars Replaced 79 lits Time: 0.01 s
4623.50/154.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4623.50/154.94 c bin-w-bin subsume rem 193 bins time: 0.00 s
4623.50/154.95 c subs with bin: 9 lits-rem: 13 v-fix: 0 time: 0.01 s
4623.50/154.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7067 time: 0.02 s
4623.50/154.98 c Removed useless bin: 0 fixed: 0 props: 0.20M time: 0.01 s
4623.50/155.01 c lits-rem: 0 cl-subs: 15 v-elim: 21 v-fix: 0 time: 0.04 s
4633.07/155.26 c subs with bin: 11 lits-rem: 123 v-fix: 0 time: 0.18 s
4668.23/156.35 c lits-rem: 3448 cl-subs: 1832 v-elim: 0 v-fix: 0 time: 1.09 s
4668.23/156.36 c vivif2 -- cl tried 13203 cl shrink 7 lits rem 10 time: 0.00
4671.43/156.45 c vivif2 -- cl tried 51277 cl shrink 6626 lits rem 29677 time: 0.09
4687.43/156.94 c asymm cl-useful: 73/13198/13198 lits-rem:131 time: 0.49
4687.43/156.95 c calculated reachability. Time: 0.00
4687.43/156.95 c N st 57 537350 7046 13197 27519 51277 85595 897401 no data no data
5563.26/184.35 c N st 58 701334 7046 13197 27519 61452 85595 993268 no data no data
5572.86/184.61 c Finding binary XORs T: 0.24 s found: 0
6205.74/204.44 c N st 59 806028 7045 13196 27681 81392 85582 1547323 no data no data
6205.74/204.44 c S st 59 806028 7045 13196 27681 81392 85582 1547323 no data no data
6218.51/204.85 c S st 59 806530 7045 13196 27791 81890 85582 1560982 no data no data
6218.51/204.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6240.90/205.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 264 BRemL: 412 BRemN: 0 P: 10.8M T: 0.74
6244.69/205.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6244.69/205.63 c bin-w-bin subsume rem 53 bins time: 0.00 s
6244.69/205.64 c subs with bin: 3 lits-rem: 1 v-fix: 0 time: 0.01 s
6244.69/205.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7045 time: 0.02 s
6244.69/205.66 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
6244.69/205.71 c lits-rem: 0 cl-subs: 19 v-elim: 9 v-fix: 0 time: 0.05 s
6256.87/206.04 c subs with bin: 8 lits-rem: 53 v-fix: 0 time: 0.21 s
6512.61/214.10 c lits-rem: 8592 cl-subs: 3149 v-elim: 0 v-fix: 0 time: 8.06 s
6515.81/214.10 c vivif2 -- cl tried 13174 cl shrink 1 lits rem 1 time: 0.01
6522.21/214.35 c vivif2 -- cl tried 78733 cl shrink 13339 lits rem 32179 time: 0.24
6538.18/214.88 c asymm cl-useful: 42/13173/13173 lits-rem:71 time: 0.53
6538.18/214.89 c calculated reachability. Time: 0.00
6538.18/214.89 c N st 59 806530 7036 13173 27580 78733 85393 1454614 no data no data
6547.77/215.13 c Finding binary XORs T: 0.24 s found: 0
8073.10/262.86 c F st 60 1071877 7036 13173 27581 69604 85393 1019231 no data no data
8073.10/262.87 c N st 60 1071877 7036 13173 27581 69604 85393 1019231 no data no data
8082.08/263.13 c Finding binary XORs T: 0.24 s found: 3
8111.45/264.04 c Decided on static restart strategy
8200.36/266.87 c Finding binary XORs T: 0.24 s found: 0
8254.70/268.53 c N st 70 1100183 7034 13172 29820 51156 85335 652391 no data no data
8510.40/276.59 c N st 72 1136178 7032 13172 29946 85627 85335 2013862 no data no data
8692.61/282.27 c N st 73 1168570 7032 13172 29957 68692 85335 981178 no data no data
8702.20/282.53 c Finding binary XORs T: 0.24 s found: 0
9095.99/294.85 c N st 74 1209795 7031 13167 29733 60000 85245 860108 no data no data
9095.99/294.85 c S st 74 1209795 7031 13167 29733 60000 85245 860108 no data no data
9101.76/295.09 c Finding binary XORs T: 0.24 s found: 2
9117.75/295.51 c S st 74 1210296 7031 13167 30462 60500 85245 880652 no data no data
9117.75/295.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
9140.11/296.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 24 BRemL: 2801 BRemN: 1 P: 8.7M T: 0.68
9140.11/296.23 c Replacing 5 vars Replaced 332 lits Time: 0.02 s
9140.11/296.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9140.11/296.25 c bin-w-bin subsume rem 176 bins time: 0.00 s
9140.11/296.26 c subs with bin: 14 lits-rem: 14 v-fix: 0 time: 0.01 s
9140.11/296.28 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 7026 time: 0.02 s
9140.11/296.29 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
9143.31/296.34 c lits-rem: 2 cl-subs: 17 v-elim: 12 v-fix: 0 time: 0.05 s
9149.71/296.57 c subs with bin: 27 lits-rem: 134 v-fix: 0 time: 0.17 s
9188.07/297.72 c lits-rem: 2842 cl-subs: 2681 v-elim: 0 v-fix: 0 time: 1.14 s
9188.07/297.72 c vivif2 -- cl tried 13143 cl shrink 1 lits rem 1 time: 0.01
9188.07/297.79 c vivif2 -- cl tried 57709 cl shrink 2969 lits rem 11630 time: 0.07
9207.24/298.37 c asymm cl-useful: 34/13143/13143 lits-rem:47 time: 0.57
9207.24/298.38 c calculated reachability. Time: 0.00
9207.24/298.38 c N st 74 1210296 7014 13143 27187 57708 85103 813320 no data no data
9632.36/311.65 c N st 75 1283179 7014 13143 27187 78906 85103 1594129 no data no data
9638.76/311.89 c Finding binary XORs T: 0.24 s found: 0
10198.15/329.37 c N st 76 1392502 7014 13143 27373 77854 85103 1098840 no data no data
11665.33/375.21 c N st 77 1556486 7013 13143 27514 77335 85103 1173871 no data no data
11671.73/375.47 c Finding binary XORs T: 0.24 s found: 2
12697.82/407.50 c N st 78 1710296 7011 13133 27423 114593 85027 3293178 no data no data
12697.82/407.50 c S st 78 1710296 7011 13133 27423 114593 85027 3293178 no data no data
12704.21/407.78 c Finding binary XORs T: 0.24 s found: 2
12723.38/408.35 c S st 78 1710799 7009 13131 27487 115087 84986 3313352 no data no data
12723.38/408.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.03
12758.54/409.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 350 BRemL: 1055 BRemN: 1 P: 12.8M T: 1.06
12758.54/409.47 c Replacing 5 vars Replaced 371 lits Time: 0.03 s
12758.54/409.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12758.54/409.49 c bin-w-bin subsume rem 110 bins time: 0.00 s
12761.75/409.50 c subs with bin: 12 lits-rem: 9 v-fix: 0 time: 0.01 s
12761.75/409.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7003 time: 0.02 s
12761.75/409.53 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.01 s
12764.94/409.60 c lits-rem: 0 cl-subs: 26 v-elim: 11 v-fix: 0 time: 0.08 s
12803.30/410.89 c subs with bin: 38 lits-rem: 153 v-fix: 0 time: 1.05 s
13394.63/429.38 c lits-rem: 11028 cl-subs: 2661 v-elim: 0 v-fix: 0 time: 18.47 s
13394.63/429.38 c vivif2 -- cl tried 13095 cl shrink 3 lits rem 3 time: 0.01
13410.62/429.86 c vivif2 -- cl tried 112140 cl shrink 20915 lits rem 92958 time: 0.48
13432.99/430.54 c asymm cl-useful: 34/7460/13095 lits-rem:37 time: 0.68
13432.99/430.56 c calculated reachability. Time: 0.00
13432.99/430.56 c N st 78 1710799 6992 13095 26361 112140 84718 3142815 no data no data
13442.58/430.80 c Finding binary XORs T: 0.24 s found: 0
17780.89/566.54 c N st 79 2079765 6992 13095 26367 105438 84718 1865779 no data no data
17789.84/566.81 c Finding binary XORs T: 0.24 s found: 1
18675.29/594.53 c N st 80 2210801 6991 13093 27261 103709 84706 1604092 no data no data
18675.29/594.53 c S st 80 2210801 6991 13093 27261 103709 84706 1604092 no data no data
18695.11/595.12 c S st 80 2211303 6990 13093 27384 104206 84706 1619997 no data no data
18695.11/595.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
18723.25/596.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 254 BRemL: 1077 BRemN: 1 P: 11.3M T: 0.90
18723.25/596.10 c Replacing 3 vars Replaced 446 lits Time: 0.05 s
18723.25/596.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18723.25/596.11 c bin-w-bin subsume rem 126 bins time: 0.00 s
18727.04/596.12 c subs with bin: 8 lits-rem: 5 v-fix: 0 time: 0.01 s
18727.04/596.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6987 time: 0.02 s
18727.04/596.15 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.01 s
18727.04/596.21 c lits-rem: 0 cl-subs: 16 v-elim: 3 v-fix: 0 time: 0.06 s
18742.43/596.60 c subs with bin: 23 lits-rem: 150 v-fix: 0 time: 0.27 s
18950.20/603.14 c lits-rem: 9082 cl-subs: 4324 v-elim: 0 v-fix: 0 time: 6.53 s
18950.20/603.14 c vivif2 -- cl tried 13060 cl shrink 5 lits rem 6 time: 0.01
18956.59/603.32 c vivif2 -- cl tried 99857 cl shrink 6647 lits rem 24811 time: 0.17
18962.99/603.52 c asymm cl-useful: 0/5600/13060 lits-rem:0 time: 0.20
18962.99/603.53 c calculated reachability. Time: 0.00
18962.99/603.53 c N st 80 2211303 6984 13060 26322 99856 84544 1514637 no data no data
18969.38/603.77 c Finding binary XORs T: 0.24 s found: 0
24406.65/773.81 c N st 81 2711303 6984 13060 26323 100318 84544 1493238 no data no data
24406.65/773.81 c S st 81 2711303 6984 13060 26323 100318 84544 1493238 no data no data
24413.04/774.08 c Finding binary XORs T: 0.24 s found: 5
24435.42/774.71 c S st 81 2711804 6980 13057 26852 100479 84447 1507542 no data no data
24435.42/774.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
24467.38/775.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 31 BRemL: 881 BRemN: 0 P: 12.0M T: 0.96
24467.38/775.73 c Replacing 5 vars Replaced 105 lits Time: 0.03 s
24467.38/775.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
24467.38/775.74 c bin-w-bin subsume rem 48 bins time: 0.00 s
24467.38/775.75 c subs with bin: 18 lits-rem: 14 v-fix: 0 time: 0.01 s
24467.38/775.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6975 time: 0.02 s
24467.38/775.78 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.01 s
24470.57/775.85 c lits-rem: 2 cl-subs: 10 v-elim: 4 v-fix: 0 time: 0.06 s
24483.37/776.23 c subs with bin: 26 lits-rem: 167 v-fix: 0 time: 0.27 s
24634.21/780.97 c lits-rem: 7914 cl-subs: 5046 v-elim: 0 v-fix: 0 time: 4.73 s
24634.21/780.97 c vivif2 -- cl tried 13020 cl shrink 1 lits rem 1 time: 0.00
24639.99/781.13 c vivif2 -- cl tried 95317 cl shrink 4164 lits rem 8859 time: 0.16
24662.38/781.82 c asymm cl-useful: 32/8794/13020 lits-rem:47 time: 0.68
24662.38/781.83 c calculated reachability. Time: 0.00
24662.38/781.83 c N st 81 2711804 6971 13017 25947 95317 84281 1404355 no data no data
28197.66/892.49 c N st 82 3211805 6971 13017 25949 129361 84281 1767865 no data no data
28197.66/892.49 c S st 82 3211805 6971 13017 25949 129361 84281 1767865 no data no data
28207.25/892.76 c Finding binary XORs T: 0.24 s found: 2
28220.63/893.18 c S st 82 3212305 6970 13013 26261 129858 84232 1784595 no data no data
28220.63/893.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
28248.80/894.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 73 BRemL: 263 BRemN: 1 P: 12.8M T: 0.81
28248.80/894.05 c Replacing 3 vars Replaced 60 lits Time: 0.02 s
28248.80/894.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28248.80/894.06 c bin-w-bin subsume rem 42 bins time: 0.00 s
28248.80/894.07 c subs with bin: 5 lits-rem: 3 v-fix: 0 time: 0.01 s
28248.80/894.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6967 time: 0.02 s
28252.00/894.10 c Removed useless bin: 2 fixed: 0 props: 0.21M time: 0.01 s
28252.00/894.16 c lits-rem: 0 cl-subs: 9 v-elim: 2 v-fix: 0 time: 0.06 s
28261.57/894.50 c subs with bin: 15 lits-rem: 579 v-fix: 0 time: 0.20 s
28689.90/907.83 c lits-rem: 14036 cl-subs: 8890 v-elim: 0 v-fix: 0 time: 13.32 s
28689.90/907.83 c vivif2 -- cl tried 12999 cl shrink 3 lits rem 5 time: 0.00
28696.29/908.03 c vivif2 -- cl tried 120938 cl shrink 4682 lits rem 8348 time: 0.20
28699.50/908.17 c asymm cl-useful: 0/4205/12999 lits-rem:0 time: 0.14
28699.50/908.18 c calculated reachability. Time: 0.00
28699.50/908.18 c N st 82 3212305 6965 12999 25970 120938 84150 1614188 no data no data
33854.30/1069.47 c N st 83 3712306 6965 12999 25970 120245 84150 1729489 no data no data
33854.30/1069.48 c S st 83 3712306 6965 12999 25970 120245 84150 1729489 no data no data
33863.90/1069.75 c Finding binary XORs T: 0.24 s found: 2
33880.47/1070.29 c S st 83 3712810 6963 12997 26511 120743 84110 1744798 no data no data
33883.68/1070.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
33918.84/1071.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 97 BRemL: 669 BRemN: 0 P: 13.3M T: 1.11
33918.84/1071.46 c Replacing 2 vars Replaced 162 lits Time: 0.03 s
33918.84/1071.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33918.84/1071.48 c bin-w-bin subsume rem 78 bins time: 0.00 s
33918.84/1071.49 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
33921.43/1071.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6961 time: 0.02 s
33921.43/1071.52 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
33921.43/1071.59 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.07 s
33937.42/1072.06 c subs with bin: 19 lits-rem: 157 v-fix: 0 time: 0.33 s
34177.13/1079.56 c lits-rem: 10040 cl-subs: 4888 v-elim: 0 v-fix: 0 time: 7.50 s
34177.13/1079.57 c vivif2 -- cl tried 12987 cl shrink 2 lits rem 3 time: 0.01
34183.53/1079.77 c vivif2 -- cl tried 115737 cl shrink 6602 lits rem 16909 time: 0.20
34205.89/1080.47 c asymm cl-useful: 16/7925/12986 lits-rem:18 time: 0.70
34205.89/1080.49 c calculated reachability. Time: 0.00
34205.89/1080.49 c N st 83 3712810 6959 12986 25857 115737 84044 1642629 no data no data
34478.24/1088.98 c F st 84 3751562 6959 12986 25857 151329 84044 2279647 no data no data
34478.24/1088.99 c N st 84 3751562 6959 12986 25857 151329 84044 2279647 no data no data
34487.20/1089.24 c Finding binary XORs T: 0.24 s found: 0
34548.54/1091.16 c Decided on static restart strategy
34806.86/1099.22 c N st 94 3779866 6959 12986 26094 97812 84044 1375267 no data no data
35081.73/1107.84 c N st 96 3815859 6959 12986 26098 132642 84044 2229346 no data no data
35251.76/1113.16 c N st 97 3848251 6959 12986 26098 161582 84044 2648797 no data no data
35516.49/1121.41 c N st 98 3896840 6959 12986 26166 126819 84044 1901710 no data no data
36734.33/1159.50 c N st 99 3969722 6959 12986 26185 113187 84044 1821418 no data no data
36740.73/1159.77 c Finding binary XORs T: 0.24 s found: 2
37942.63/1197.40 c N st 100 4079045 6958 12985 26134 131944 84030 2402791 no data no data
39070.98/1232.66 c N st 101 4212811 6958 12985 26195 172843 84030 3434566 no data no data
39070.98/1232.66 c S st 101 4212811 6958 12985 26195 172843 84030 3434566 no data no data
39093.35/1233.37 c S st 101 4213311 6958 12985 26281 173342 84030 3448561 no data no data
39093.35/1233.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
39134.91/1234.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1 BRemL: 402 BRemN: 0 P: 18.2M T: 1.22
39134.91/1234.66 c Replacing 3 vars Replaced 279 lits Time: 0.03 s
39134.91/1234.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
39134.91/1234.67 c bin-w-bin subsume rem 45 bins time: 0.00 s
39134.91/1234.68 c subs with bin: 7 lits-rem: 17 v-fix: 0 time: 0.01 s
39138.10/1234.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6955 time: 0.02 s
39138.10/1234.71 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
39138.10/1234.80 c lits-rem: 0 cl-subs: 12 v-elim: 3 v-fix: 0 time: 0.08 s
39170.08/1235.74 c subs with bin: 23 lits-rem: 178 v-fix: 0 time: 0.70 s
39815.78/1255.94 c lits-rem: 5474 cl-subs: 3616 v-elim: 0 v-fix: 0 time: 20.19 s
39815.78/1255.94 c vivif2 -- cl tried 12969 cl shrink 2 lits rem 4 time: 0.01
39844.55/1256.81 c vivif2 -- cl tried 169663 cl shrink 31138 lits rem 125822 time: 0.86
39854.15/1257.10 c asymm cl-useful: 0/5044/12969 lits-rem:0 time: 0.29
39854.15/1257.12 c calculated reachability. Time: 0.00
39854.15/1257.12 c N st 101 4213311 6952 12969 25685 169663 83936 3215515 no data no data
43031.48/1356.59 c N st 102 4459287 6952 12969 25685 135709 83936 1983353 no data no data
43041.04/1356.87 c Finding binary XORs T: 0.24 s found: 2
45483.81/1433.25 c N st 103 4713312 6950 12968 25980 100897 83893 1257821 no data no data
45483.81/1433.25 c S st 103 4713312 6950 12968 25980 100897 83893 1257821 no data no data
45495.99/1433.62 c S st 103 4713815 6950 12968 26055 101400 83893 1271429 no data no data
45495.99/1433.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
45518.96/1434.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 426 BRemN: 0 P: 11.4M T: 0.73
45518.96/1434.40 c Replacing 2 vars Replaced 398 lits Time: 0.02 s
45518.96/1434.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45518.96/1434.41 c bin-w-bin subsume rem 60 bins time: 0.00 s
45522.16/1434.42 c subs with bin: 3 lits-rem: 10 v-fix: 0 time: 0.01 s
45522.16/1434.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6948 time: 0.02 s
45522.16/1434.45 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
45524.75/1434.51 c lits-rem: 0 cl-subs: 2 v-elim: 2 v-fix: 0 time: 0.06 s
45531.15/1434.79 c subs with bin: 15 lits-rem: 42 v-fix: 0 time: 0.19 s
45566.31/1435.82 c lits-rem: 2277 cl-subs: 3375 v-elim: 0 v-fix: 0 time: 1.03 s
45566.31/1435.83 c vivif2 -- cl tried 12963 cl shrink 5 lits rem 5 time: 0.00
45569.51/1435.94 c vivif2 -- cl tried 97986 cl shrink 1871 lits rem 4350 time: 0.11
45589.29/1436.54 c asymm cl-useful: 17/8984/12963 lits-rem:19 time: 0.60
45589.29/1436.55 c calculated reachability. Time: 0.00
45589.29/1436.55 c N st 103 4713815 6946 12963 25455 97985 83840 1221657 no data no data
50856.55/1601.32 c N st 104 5213816 6946 12963 25455 198874 83840 3420179 no data no data
50856.55/1601.32 c S st 104 5213816 6946 12963 25455 198874 83840 3420179 no data no data
50863.53/1601.61 c Finding binary XORs T: 0.24 s found: 2
50888.51/1602.31 c S st 104 5214321 6944 12958 25361 198497 83803 3431171 no data no data
50888.51/1602.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
50923.67/1603.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 24 BRemL: 176 BRemN: 0 P: 16.4M T: 1.15
50926.87/1603.54 c Replacing 2 vars Replaced 1594 lits Time: 0.05 s
50926.87/1603.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
50926.87/1603.56 c bin-w-bin subsume rem 24 bins time: 0.00 s
50926.87/1603.57 c subs with bin: 4 lits-rem: 2 v-fix: 0 time: 0.01 s
50926.87/1603.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6942 time: 0.02 s
50926.87/1603.60 c Removed useless bin: 2 fixed: 0 props: 0.22M time: 0.01 s
50930.07/1603.68 c lits-rem: 1 cl-subs: 18 v-elim: 4 v-fix: 0 time: 0.09 s
51061.13/1607.75 c subs with bin: 1606 lits-rem: 4730 v-fix: 0 time: 3.82 s
52617.81/1656.42 c lits-rem: 10669 cl-subs: 17828 v-elim: 0 v-fix: 0 time: 48.66 s
52617.81/1656.43 c vivif2 -- cl tried 12939 cl shrink 3 lits rem 3 time: 0.00
52636.98/1657.08 c vivif2 -- cl tried 178936 cl shrink 22520 lits rem 40265 time: 0.65
52643.37/1657.27 c asymm cl-useful: 0/3955/12939 lits-rem:0 time: 0.19
52643.37/1657.29 c calculated reachability. Time: 0.00
52643.37/1657.29 c N st 104 5214321 6938 12939 25025 178936 83685 2992600 no data no data
57514.86/1809.68 c N st 105 5714322 6938 12939 25025 156339 83685 2187222 no data no data
57514.86/1809.68 c S st 105 5714322 6938 12939 25025 156339 83685 2187222 no data no data
57524.46/1809.95 c Finding binary XORs T: 0.24 s found: 2
57540.45/1810.51 c S st 105 5714823 6937 12931 25275 156670 83649 2200525 no data no data
57544.23/1810.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
57572.41/1811.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 297 BRemN: 1 P: 13.5M T: 0.91
57572.41/1811.48 c Replacing 2 vars Replaced 43 lits Time: 0.03 s
57572.41/1811.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
57575.62/1811.50 c bin-w-bin subsume rem 23 bins time: 0.00 s
57575.62/1811.51 c subs with bin: 6 lits-rem: 5 v-fix: 0 time: 0.01 s
57575.62/1811.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6935 time: 0.02 s
57575.62/1811.54 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
57575.62/1811.61 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.07 s
57591.59/1812.09 c subs with bin: 18 lits-rem: 184 v-fix: 0 time: 0.32 s
58032.69/1825.90 c lits-rem: 15668 cl-subs: 14035 v-elim: 0 v-fix: 0 time: 13.80 s
58032.69/1825.91 c vivif2 -- cl tried 12919 cl shrink 2 lits rem 2 time: 0.00
58042.26/1826.17 c vivif2 -- cl tried 142478 cl shrink 6297 lits rem 12927 time: 0.26
58061.45/1826.78 c asymm cl-useful: 12/6703/12919 lits-rem:13 time: 0.61
58064.65/1826.80 c calculated reachability. Time: 0.00
58064.65/1826.80 c N st 105 5714823 6933 12919 24921 142478 83591 1946140 no data no data
65442.14/2057.62 c N st 106 6214826 6933 12919 24921 213709 83591 4036838 no data no data
65442.14/2057.62 c S st 106 6214826 6933 12919 24921 213709 83591 4036838 no data no data
65451.74/2057.93 c Finding binary XORs T: 0.24 s found: 2
65483.71/2058.91 c S st 106 6215329 6932 12917 25497 211027 83567 4012388 no data no data
65483.71/2058.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
65541.24/2060.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 23 BRemL: 431 BRemN: 0 P: 21.8M T: 1.83
65544.43/2060.84 c Replacing 2 vars Replaced 1366 lits Time: 0.05 s
65544.43/2060.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
65544.43/2060.86 c bin-w-bin subsume rem 72 bins time: 0.00 s
65544.43/2060.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
65544.43/2060.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6930 time: 0.02 s
65544.43/2060.90 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
65550.83/2061.01 c lits-rem: 0 cl-subs: 1 v-elim: 1 v-fix: 0 time: 0.11 s
65596.21/2062.48 c subs with bin: 76 lits-rem: 859 v-fix: 0 time: 1.16 s
67008.43/2106.67 c lits-rem: 16499 cl-subs: 18149 v-elim: 0 v-fix: 0 time: 44.18 s
67008.43/2106.68 c vivif2 -- cl tried 12915 cl shrink 0 lits rem 0 time: 0.00
67027.62/2107.29 c vivif2 -- cl tried 192800 cl shrink 26213 lits rem 84761 time: 0.61
67046.79/2107.88 c asymm cl-useful: 0/6212/12915 lits-rem:0 time: 0.59
67046.79/2107.89 c calculated reachability. Time: 0.00
67046.79/2107.89 c N st 106 6215329 6929 12915 25010 192800 83543 3517248 no data no data
76335.80/2398.41 c N st 107 6715329 6929 12915 25011 134057 83543 1897876 no data no data
76335.80/2398.41 c S st 107 6715329 6929 12915 25011 134057 83543 1897876 no data no data
76342.19/2398.69 c Finding binary XORs T: 0.24 s found: 1
76361.36/2399.26 c S st 107 6715829 6926 12914 25382 133481 83458 1902261 no data no data
76361.36/2399.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
76396.53/2400.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 532 BRemL: 1143 BRemN: 1 P: 13.9M T: 1.01
76396.53/2400.34 c Replacing 1 vars Replaced 83 lits Time: 0.03 s
76396.53/2400.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
76396.53/2400.35 c bin-w-bin subsume rem 148 bins time: 0.00 s
76396.53/2400.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
76396.53/2400.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6925 time: 0.02 s
76396.53/2400.40 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
76399.73/2400.47 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.08 s
76415.72/2400.96 c subs with bin: 41 lits-rem: 1003 v-fix: 0 time: 0.35 s
76581.93/2406.16 c lits-rem: 4070 cl-subs: 6494 v-elim: 0 v-fix: 0 time: 5.20 s
76581.93/2406.17 c vivif2 -- cl tried 12913 cl shrink 1 lits rem 1 time: 0.01
76588.34/2406.34 c vivif2 -- cl tried 126454 cl shrink 4020 lits rem 15117 time: 0.17
76610.69/2407.05 c asymm cl-useful: 15/5965/12913 lits-rem:16 time: 0.72
76610.69/2407.07 c calculated reachability. Time: 0.00
76610.69/2407.07 c N st 107 6715829 6924 12913 24582 126453 83435 1707044 no data no data
76620.28/2407.31 c Finding binary XORs T: 0.24 s found: 0
81536.48/2561.12 c N st 108 7215831 6924 12913 24585 147568 83435 1759122 no data no data
81536.48/2561.12 c S st 108 7215831 6924 12913 24585 147568 83435 1759122 no data no data
81542.89/2561.37 c Finding binary XORs T: 0.24 s found: 2
81559.46/2561.87 c S st 108 7216333 6924 12913 25405 148068 83435 1778234 no data no data
81559.46/2561.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
81590.84/2562.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 838 BRemL: 1369 BRemN: 0 P: 14.0M T: 1.00
81594.62/2562.93 c Replacing 2 vars Replaced 42 lits Time: 0.03 s
81594.62/2562.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
81594.62/2562.95 c bin-w-bin subsume rem 65 bins time: 0.00 s
81594.62/2562.96 c subs with bin: 11 lits-rem: 10 v-fix: 0 time: 0.01 s
81594.62/2562.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6922 time: 0.02 s
81594.62/2562.99 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.01 s
81597.88/2563.07 c lits-rem: 1 cl-subs: 10 v-elim: 3 v-fix: 0 time: 0.08 s
81782.62/2568.86 c subs with bin: 14785 lits-rem: 254 v-fix: 0 time: 5.66 s
81875.93/2571.80 c lits-rem: 5044 cl-subs: 2691 v-elim: 0 v-fix: 0 time: 2.94 s
81875.93/2571.81 c vivif2 -- cl tried 12893 cl shrink 3 lits rem 3 time: 0.01
81881.72/2571.95 c vivif2 -- cl tried 130516 cl shrink 753 lits rem 1600 time: 0.14
81894.51/2572.33 c asymm cl-useful: 0/6926/12891 lits-rem:0 time: 0.39
81894.51/2572.35 c calculated reachability. Time: 0.01
81894.51/2572.35 c N st 108 7216333 6919 12891 24715 130515 83353 1556062 no data no data
90550.57/2843.14 c N st 109 7716334 6919 12891 24716 153566 83353 2391212 no data no data
90550.57/2843.14 c S st 109 7716334 6919 12891 24716 153566 83353 2391212 no data no data
90556.97/2843.38 c Finding binary XORs T: 0.24 s found: 0
90582.53/2844.13 c S st 109 7716836 6919 12891 25566 154068 83353 2412285 no data no data
90582.53/2844.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
90627.29/2845.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 143 BRemL: 739 BRemN: 0 P: 15.7M T: 1.44
90631.08/2845.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
90631.08/2845.63 c bin-w-bin subsume rem 53 bins time: 0.01 s
90631.08/2845.64 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
90631.08/2845.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6919 time: 0.02 s
90631.08/2845.67 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
90634.30/2845.77 c lits-rem: 0 cl-subs: 0 v-elim: 2 v-fix: 0 time: 0.10 s
90662.46/2846.65 c subs with bin: 116 lits-rem: 251 v-fix: 0 time: 0.71 s
90867.02/2853.01 c lits-rem: 6922 cl-subs: 6572 v-elim: 0 v-fix: 0 time: 6.35 s
90867.02/2853.02 c vivif2 -- cl tried 12892 cl shrink 0 lits rem 0 time: 0.01
90873.42/2853.29 c vivif2 -- cl tried 147359 cl shrink 10312 lits rem 48688 time: 0.27
90905.38/2854.20 c asymm cl-useful: 6/4102/12892 lits-rem:7 time: 0.91
90905.38/2854.22 c calculated reachability. Time: 0.00
90905.38/2854.22 c N st 109 7716836 6917 12892 24880 147359 83344 2230534 no data no data
100514.62/3154.88 c N st 110 8216836 6917 12892 24881 148435 83344 2161919 no data no data
100514.62/3154.88 c S st 110 8216836 6917 12892 24881 148435 83344 2161919 no data no data
100523.61/3155.17 c Finding binary XORs T: 0.24 s found: 0
100546.59/3155.84 c S st 110 8217339 6915 12892 25155 146510 83281 2158597 no data no data
100546.59/3155.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
100587.52/3157.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 17 BRemL: 329 BRemN: 0 P: 15.4M T: 1.28
100587.52/3157.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
100587.52/3157.17 c bin-w-bin subsume rem 98 bins time: 0.00 s
100587.52/3157.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
100590.71/3157.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6915 time: 0.02 s
100590.71/3157.21 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
100593.91/3157.31 c lits-rem: 1 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.10 s
100613.10/3157.95 c subs with bin: 24 lits-rem: 240 v-fix: 0 time: 0.48 s
100728.16/3161.54 c lits-rem: 3613 cl-subs: 3077 v-elim: 0 v-fix: 0 time: 3.59 s
100728.16/3161.55 c vivif2 -- cl tried 12889 cl shrink 0 lits rem 0 time: 0.01
100734.55/3161.79 c vivif2 -- cl tried 143409 cl shrink 7996 lits rem 32145 time: 0.24
100757.57/3162.48 c asymm cl-useful: 1/8787/12889 lits-rem:1 time: 0.69
100757.57/3162.49 c calculated reachability. Time: 0.00
100757.57/3162.49 c N st 110 8217339 6914 12889 24745 143408 83265 2061243 no data no data
108518.02/3405.20 c N st 111 8717340 6914 12889 24745 243642 83265 3506962 no data no data
108518.02/3405.21 c S st 111 8717340 6914 12889 24745 243642 83265 3506962 no data no data
108524.41/3405.50 c Finding binary XORs T: 0.24 s found: 2
108556.37/3406.46 c S st 111 8717843 6913 12883 24934 243979 83221 3528684 no data no data
108556.37/3406.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
108604.30/3407.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 26 BRemL: 159 BRemN: 5 P: 19.5M T: 1.48
108607.50/3408.02 c Replacing 2 vars Replaced 72 lits Time: 0.04 s
108607.50/3408.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
108607.50/3408.03 c bin-w-bin subsume rem 19 bins time: 0.00 s
108607.50/3408.05 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
108607.50/3408.07 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 6911 time: 0.02 s
108607.50/3408.08 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
108610.70/3408.18 c lits-rem: 0 cl-subs: 3 v-elim: 1 v-fix: 0 time: 0.10 s
108636.88/3408.95 c subs with bin: 30 lits-rem: 1156 v-fix: 0 time: 0.50 s
116640.37/3659.35 c lits-rem: 3374 cl-subs: 80487 v-elim: 0 v-fix: 0 time: 250.35 s
116640.37/3659.36 c vivif2 -- cl tried 12873 cl shrink 0 lits rem 0 time: 0.01
116650.55/3659.62 c vivif2 -- cl tried 163434 cl shrink 4724 lits rem 11403 time: 0.26
116672.34/3660.37 c asymm cl-useful: 11/4722/12873 lits-rem:11 time: 0.75
116672.34/3660.39 c calculated reachability. Time: 0.00
116672.34/3660.39 c N st 111 8717843 6910 12873 24774 163433 83163 2199910 no data no data
126897.99/3980.22 c N st 112 9217845 6910 12873 24774 146568 83163 2002420 no data no data
126897.99/3980.22 c S st 112 9217845 6910 12873 24774 146568 83163 2002420 no data no data
126907.55/3980.51 c Finding binary XORs T: 0.24 s found: 2
126923.56/3981.07 c S st 112 9218350 6907 12872 24789 145405 83088 2003131 no data no data
126926.72/3981.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
126961.88/3982.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 306 BRemN: 0 P: 16.0M T: 1.13
126961.88/3982.29 c Replacing 2 vars Replaced 1896 lits Time: 0.05 s
126965.09/3982.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
126965.09/3982.31 c bin-w-bin subsume rem 24 bins time: 0.00 s
126965.09/3982.32 c subs with bin: 3 lits-rem: 7 v-fix: 0 time: 0.01 s
126965.09/3982.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6905 time: 0.02 s
126965.09/3982.35 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
126968.29/3982.44 c lits-rem: 0 cl-subs: 5 v-elim: 4 v-fix: 0 time: 0.09 s
126991.29/3983.14 c subs with bin: 885 lits-rem: 730 v-fix: 0 time: 0.56 s
127064.20/3985.49 c lits-rem: 2474 cl-subs: 2202 v-elim: 0 v-fix: 0 time: 2.34 s
127067.38/3985.50 c vivif2 -- cl tried 12864 cl shrink 3 lits rem 3 time: 0.01
127070.57/3985.69 c vivif2 -- cl tried 140400 cl shrink 4008 lits rem 14020 time: 0.19
127086.56/3986.19 c asymm cl-useful: 0/8142/12864 lits-rem:0 time: 0.50
127089.77/3986.20 c calculated reachability. Time: 0.00
127089.77/3986.20 c N st 112 9218350 6901 12864 24211 140400 83046 1882345 no data no data
134802.88/4227.50 c N st 113 9718351 6901 12864 24212 226987 83046 3566916 no data no data
134802.88/4227.50 c S st 113 9718351 6901 12864 24212 226987 83046 3566916 no data no data
134809.28/4227.75 c Finding binary XORs T: 0.24 s found: 0
134838.03/4228.67 c S st 113 9718851 6901 12864 24770 227487 83046 3586434 no data no data
134841.23/4228.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
134886.00/4230.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 351 BRemL: 913 BRemN: 2 P: 19.0M T: 1.45
134886.00/4230.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
134886.00/4230.19 c bin-w-bin subsume rem 9 bins time: 0.00 s
134886.00/4230.20 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
134889.20/4230.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6901 time: 0.02 s
134889.20/4230.23 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
134892.39/4230.34 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.11 s
134917.97/4231.12 c subs with bin: 17 lits-rem: 146 v-fix: 0 time: 0.52 s
138335.02/4338.09 c lits-rem: 5893 cl-subs: 36096 v-elim: 0 v-fix: 0 time: 106.94 s
138335.02/4338.09 c vivif2 -- cl tried 12864 cl shrink 0 lits rem 0 time: 0.01
138351.00/4338.53 c vivif2 -- cl tried 191357 cl shrink 13035 lits rem 97863 time: 0.44
138373.38/4339.21 c asymm cl-useful: 5/4180/12864 lits-rem:5 time: 0.67
138373.38/4339.22 c calculated reachability. Time: 0.00
138373.38/4339.22 c N st 113 9718851 6900 12864 24127 191357 83031 2855593 no data no data
149556.81/4689.19 c N st 114 10218851 6900 12864 24130 142837 83031 1764699 no data no data
149556.81/4689.19 c S st 114 10218851 6900 12864 24130 142837 83031 1764699 no data no data
149566.39/4689.47 c Finding binary XORs T: 0.24 s found: 1
149585.58/4690.00 c S st 114 10219355 6899 12864 24362 142781 83002 1775126 no data no data
149585.58/4690.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
149617.55/4691.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 42 BRemL: 174 BRemN: 0 P: 14.0M T: 1.04
149620.73/4691.11 c Replacing 1 vars Replaced 35 lits Time: 0.04 s
149620.73/4691.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
149620.73/4691.13 c bin-w-bin subsume rem 6 bins time: 0.01 s
149620.73/4691.14 c subs with bin: 4 lits-rem: 4 v-fix: 0 time: 0.01 s
149620.73/4691.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6898 time: 0.02 s
149620.73/4691.17 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s
149623.91/4691.26 c lits-rem: 0 cl-subs: 3 v-elim: 1 v-fix: 0 time: 0.09 s
149639.92/4691.74 c subs with bin: 406 lits-rem: 83 v-fix: 0 time: 0.34 s
149666.05/4692.55 c lits-rem: 1946 cl-subs: 830 v-elim: 0 v-fix: 0 time: 0.80 s
149666.05/4692.56 c vivif2 -- cl tried 12859 cl shrink 0 lits rem 0 time: 0.00
149671.84/4692.70 c vivif2 -- cl tried 141543 cl shrink 1017 lits rem 3599 time: 0.15
149687.83/4693.26 c asymm cl-useful: 0/8679/12859 lits-rem:0 time: 0.56
149687.83/4693.28 c calculated reachability. Time: 0.00
149687.83/4693.28 c N st 114 10219355 6897 12859 24004 141543 82991 1752088 no data no data
156144.75/4895.27 c N st 115 10719355 6897 12859 24005 207042 82991 3014306 no data no data
156144.75/4895.27 c S st 115 10719355 6897 12859 24005 207042 82991 3014306 no data no data
156179.92/4896.31 c S st 115 10719859 6897 12859 24114 207543 82991 3029405 no data no data
156179.92/4896.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
156231.06/4897.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 73 BRemN: 0 P: 17.8M T: 1.59
156231.06/4897.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
156231.06/4897.96 c bin-w-bin subsume rem 3 bins time: 0.00 s
156231.06/4897.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
156231.06/4898.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6897 time: 0.02 s
156234.27/4898.01 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.01 s
156237.45/4898.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
156269.44/4899.13 c subs with bin: 405 lits-rem: 453 v-fix: 0 time: 0.78 s
156643.44/4910.82 c lits-rem: 9090 cl-subs: 7533 v-elim: 0 v-fix: 0 time: 11.68 s
156643.44/4910.82 c vivif2 -- cl tried 12859 cl shrink 0 lits rem 0 time: 0.00
156663.22/4911.44 c vivif2 -- cl tried 199605 cl shrink 19367 lits rem 32327 time: 0.61
156688.20/4912.28 c asymm cl-useful: 5/3633/12859 lits-rem:5 time: 0.84
156688.20/4912.30 c calculated reachability. Time: 0.00
156691.39/4912.30 c N st 115 10719859 6897 12859 24039 199605 82982 2872454 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400805-1306811604/watcher-3400805-1306811604 -o /tmp/evaluation-result-3400805-1306811604/solver-3400805-1306811604 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400805-1306811604.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.61 31.61 31.91 1/413 21990
/proc/meminfo: memFree=263570544/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=338000 CPUtime=0.78 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) R 21988 21990 21964 0 -1 4202496 437 0 0 0 78 0 0 0 24 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164648 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21990/statm: 84500 377 297 95 0 79482 0
[pid=21990/tid=21991] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21991/stat : 21991 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21990/tid=21992] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21992/stat : 21992 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164652 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21990/tid=21993] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21993/stat : 21993 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164652 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21990/tid=21994] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21994/stat : 21994 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21990/tid=21995] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21995/stat : 21995 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164652 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21990/tid=21996] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21996/stat : 21996 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21990/tid=21997] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21997/stat : 21997 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 7126400 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21990/tid=21998] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/21998/stat : 21998 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=338000 CPUtime=0 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=22000] ppid=21988 vsize=338000 CPUtime=0 cores=0-31
/proc/21990/task/22000/stat : 22000 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=22001] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22001/stat : 22001 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164648 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21990/tid=22002] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22002/stat : 22002 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21990/tid=22003] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22003/stat : 22003 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21990/tid=22004] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22004/stat : 22004 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21990/tid=22005] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22005/stat : 22005 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21990/tid=22006] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22006/stat : 22006 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21990/tid=22007] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22007/stat : 22007 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164662 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21990/tid=22008] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22008/stat : 22008 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164656 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21990/tid=22009] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22009/stat : 22009 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21990/tid=22010] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22010/stat : 22010 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21990/tid=22011] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22011/stat : 22011 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21990/tid=22012] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22012/stat : 22012 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21990/tid=22013] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22013/stat : 22013 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21990/tid=22014] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22014/stat : 22014 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164648 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21990/tid=22015] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22015/stat : 22015 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164662 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21990/tid=22016] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22016/stat : 22016 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21990/tid=22017] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22017/stat : 22017 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21990/tid=22018] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22018/stat : 22018 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21990/tid=22019] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22019/stat : 22019 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164648 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21990/tid=22020] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22020/stat : 22020 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164658 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21990/tid=22021] ppid=21988 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21990/task/22021/stat : 22021 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7126401 346112000 377 268435456000 4194304 4580107 140736051027584 18446744073709551615 47882754164652 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.060664 s]
/proc/loadavg: 29.61 31.61 31.91 1/413 21990
/proc/meminfo: memFree=263570544/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=797976 CPUtime=1.29 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) R 21988 21990 21964 0 -1 4202496 3705 0 0 0 103 26 0 0 18 0 32 0 7126400 817127424 3539 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21990/statm: 199494 3594 322 95 0 194476 0
[pid=21990/tid=21991] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21991/stat : 21991 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 83 0 0 0 3 0 0 0 21 0 32 0 7126400 817127424 3628 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21990/tid=21992] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21992/stat : 21992 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 141 0 0 0 3 0 0 0 22 0 32 0 7126400 817127424 3658 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21990/tid=21993] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21993/stat : 21993 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 114 0 0 0 3 0 0 0 18 0 32 0 7126400 817127424 3696 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21990/tid=21994] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21994/stat : 21994 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 115 0 0 0 3 0 0 0 18 0 32 0 7126400 817127424 3762 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21990/tid=21995] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21995/stat : 21995 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 142 0 0 0 3 0 0 0 18 0 32 0 7126400 817127424 3786 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21990/tid=21996] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21996/stat : 21996 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 119 0 0 0 3 0 0 0 21 0 32 0 7126400 817127424 3829 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21990/tid=21997] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21997/stat : 21997 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 102 0 0 0 3 0 0 0 21 0 32 0 7126400 817127424 3857 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21990/tid=21998] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/21998/stat : 21998 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 91 0 0 0 3 0 0 0 23 0 32 0 7126401 817127424 3904 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=797976 CPUtime=0 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 111 0 0 0 0 0 0 0 22 0 32 0 7126401 817127424 3935 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21990/tid=22000] ppid=21988 vsize=797976 CPUtime=0 cores=0-31
/proc/21990/task/22000/stat : 22000 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 73 0 0 0 0 0 0 0 22 0 32 0 7126401 817127424 3998 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21990/tid=22001] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22001/stat : 22001 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 95 0 0 0 3 0 0 0 17 0 32 0 7126401 817127424 4059 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21990/tid=22002] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22002/stat : 22002 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 106 0 0 0 3 1 0 0 23 0 32 0 7126401 817127424 4097 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21990/tid=22003] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22003/stat : 22003 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 122 0 0 0 3 0 0 0 23 0 32 0 7126401 817127424 4141 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21990/tid=22004] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22004/stat : 22004 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 110 0 0 0 3 0 0 0 17 0 32 0 7126401 817127424 4174 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21990/tid=22005] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22005/stat : 22005 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 117 0 0 0 3 0 0 0 24 0 32 0 7126401 817127424 4203 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21990/tid=22006] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22006/stat : 22006 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 116 0 0 0 3 1 0 0 18 0 32 0 7126401 817127424 4254 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21990/tid=22007] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22007/stat : 22007 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 132 0 0 0 3 1 0 0 24 0 32 0 7126401 817127424 4303 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21990/tid=22008] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22008/stat : 22008 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 144 0 0 0 3 1 0 0 18 0 32 0 7126401 817127424 4365 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21990/tid=22009] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22009/stat : 22009 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 150 0 0 0 3 1 0 0 24 0 32 0 7126401 817127424 4420 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21990/tid=22010] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22010/stat : 22010 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 119 0 0 0 3 0 0 0 24 0 32 0 7126401 817127424 4455 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21990/tid=22011] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22011/stat : 22011 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 111 0 0 0 3 1 0 0 24 0 32 0 7126401 817127424 4503 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21990/tid=22012] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22012/stat : 22012 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 159 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4572 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21990/tid=22013] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22013/stat : 22013 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 132 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4618 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21990/tid=22014] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22014/stat : 22014 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 123 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4651 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21990/tid=22015] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22015/stat : 22015 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 180 0 0 0 3 1 0 0 18 0 32 0 7126401 817127424 4704 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21990/tid=22016] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22016/stat : 22016 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 144 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4753 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21990/tid=22017] ppid=21988 vsize=797976 CPUtime=0.03 cores=0-31
/proc/21990/task/22017/stat : 22017 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 135 0 0 0 3 0 0 0 25 0 32 0 7126401 817127424 4800 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21990/tid=22018] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22018/stat : 22018 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 142 0 0 0 3 1 0 0 18 0 32 0 7126401 817127424 4868 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21990/tid=22019] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22019/stat : 22019 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 142 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4909 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21990/tid=22020] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22020/stat : 22020 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 129 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 4970 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21990/tid=22021] ppid=21988 vsize=797976 CPUtime=0.04 cores=0-31
/proc/21990/task/22021/stat : 22021 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 192 0 0 0 3 1 0 0 25 0 32 0 7126401 817127424 5015 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 797976
[startup+0.105653 s]
/proc/loadavg: 29.61 31.61 31.91 1/413 21990
/proc/meminfo: memFree=263570544/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=1128616 CPUtime=1.93 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) D 21988 21990 21964 0 -1 4202496 11407 0 0 0 107 86 0 0 17 0 32 0 7126400 1155702784 11235 268435456000 4194304 4580107 140736051027584 18446744073709551615 4307681 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21990/statm: 282154 11247 331 95 0 277136 0
[pid=21990/tid=21991] ppid=21988 vsize=1128616 CPUtime=0.05 cores=0-31
/proc/21990/task/21991/stat : 21991 (strangenight2-m) D 21988 21990 21964 0 -1 4202560 323 0 0 0 3 2 0 0 17 0 32 0 7126400 1155702784 11249 268435456000 4194304 4580107 140736051027584 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21990/tid=21992] ppid=21988 vsize=1128616 CPUtime=0.05 cores=0-31
/proc/21990/task/21992/stat : 21992 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 384 0 0 0 3 2 0 0 17 0 32 0 7126400 1155702784 11253 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446744071566923704 0 0 -1 2 0 0 0
[pid=21990/tid=21993] ppid=21988 vsize=1128616 CPUtime=0.05 cores=0-31
/proc/21990/task/21993/stat : 21993 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 348 0 0 0 3 2 0 0 17 0 32 0 7126400 1155702784 11277 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21990/tid=21994] ppid=21988 vsize=1128616 CPUtime=0.05 cores=0-31
/proc/21990/task/21994/stat : 21994 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 346 0 0 0 3 2 0 0 17 0 32 0 7126400 1155702784 11278 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604505294437856 0 0 -1 12 0 0 0
[pid=21990/tid=21995] ppid=21988 vsize=1128876 CPUtime=0.05 cores=0-31
/proc/21990/task/21995/stat : 21995 (strangenight2-m) D 21988 21990 21964 0 -1 4202560 411 0 0 0 3 2 0 0 17 0 32 0 7126400 1155969024 11289 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21990/tid=21996] ppid=21988 vsize=1128876 CPUtime=0.05 cores=0-31
/proc/21990/task/21996/stat : 21996 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 321 0 0 0 3 2 0 0 17 0 32 0 7126400 1155969024 11311 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604468092567008 0 0 -1 0 0 0 0
[pid=21990/tid=21997] ppid=21988 vsize=1128876 CPUtime=0.05 cores=0-31
/proc/21990/task/21997/stat : 21997 (strangenight2-m) D 21988 21990 21964 0 -1 4202560 312 0 0 0 3 2 0 0 17 0 32 0 7126400 1155969024 11312 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21990/tid=21998] ppid=21988 vsize=1128876 CPUtime=0.05 cores=0-31
/proc/21990/task/21998/stat : 21998 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 376 0 0 0 3 2 0 0 18 0 32 0 7126401 1155969024 11321 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604490013498848 0 0 -1 28 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=1129008 CPUtime=0.02 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 287 0 0 0 0 2 0 0 17 0 32 0 7126401 1156104192 11325 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446744071566926424 0 0 -1 27 0 0 0
[pid=21990/tid=22000] ppid=21988 vsize=1129008 CPUtime=0.02 cores=0-31
/proc/21990/task/22000/stat : 22000 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 267 0 0 0 0 2 0 0 22 0 32 0 7126401 1156104192 11340 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604447058894304 0 0 -1 31 0 0 0
[pid=21990/tid=22001] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22001/stat : 22001 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 7126401 1156104192 11343 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446744071566933464 0 0 -1 16 0 0 0
[pid=21990/tid=22002] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22002/stat : 22002 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 7126401 1156104192 11352 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604451698056672 0 0 -1 19 0 0 0
[pid=21990/tid=22003] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22003/stat : 22003 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 284 0 0 0 3 2 0 0 17 0 32 0 7126401 1156104192 11366 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 15 0 0 0
[pid=21990/tid=22004] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22004/stat : 22004 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 414 0 0 0 3 2 0 0 17 0 32 0 7126401 1156104192 11373 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21990/tid=22005] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22005/stat : 22005 (strangenight2-m) D 21988 21990 21964 0 -1 4202560 366 0 0 0 3 2 0 0 24 0 32 0 7126401 1156104192 11382 268435456000 4194304 4580107 140736051027584 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21990/tid=22006] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
/proc/21990/task/22006/stat : 22006 (strangenight2-m) S 21988 21990 21964 0 -1 4202560 275 0 0 0 3 2 0 0 17 0 32 0 7126401 1156104192 11390 268435456000 4194304 4580107 140736051027584 18446744073709551615 258651060958 0 0 4096 2 18446604451369147872 0 0 -1 5 0 0 0
[pid=21990/tid=22007] ppid=21988 vsize=1129008 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=244589052/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=23614724 CPUtime=158290 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) R 21988 21990 21964 0 -1 4202496 10846146 0 0 0 15816693 12269 0 0 25 0 32 0 7126400 24181477376 4736310 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/21990/statm: 5903681 4736310 402 95 0 5898663 0
[pid=21990/tid=21991] ppid=21988 vsize=23614724 CPUtime=4950.13 cores=0-31
/proc/21990/task/21991/stat : 21991 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 366493 0 0 0 494600 413 0 0 25 0 32 0 7126400 24181477376 4736310 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294127 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21990/tid=21992] ppid=21988 vsize=23614724 CPUtime=4951.14 cores=0-31
/proc/21990/task/21992/stat : 21992 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 388153 0 0 0 494709 405 0 0 25 0 32 0 7126400 24181477376 4736310 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21990/tid=21993] ppid=21988 vsize=23614724 CPUtime=4949.64 cores=0-31
/proc/21990/task/21993/stat : 21993 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 376059 0 0 0 494544 420 0 0 25 0 32 0 7126400 24181477376 4736310 268435456000 4194304 4580107 140736051027584 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21990/tid=21994] ppid=21988 vsize=23614724 CPUtime=4935.36 cores=0-31
/proc/21990/task/21994/stat : 21994 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 455548 0 0 0 493082 454 0 0 25 0 32 0 7126400 24181477376 4736310 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21990/tid=21995] ppid=21988 vsize=23614724 CPUtime=4948.86 cores=0-31
/proc/21990/task/21995/stat : 21995 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 385308 0 0 0 494413 473 0 0 25 0 32 0 7126400 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21990/tid=21996] ppid=21988 vsize=23614724 CPUtime=4938.9 cores=0-31
/proc/21990/task/21996/stat : 21996 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 285504 0 0 0 493529 361 0 0 25 0 32 0 7126400 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21990/tid=21997] ppid=21988 vsize=23614724 CPUtime=4949.45 cores=0-31
/proc/21990/task/21997/stat : 21997 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 421381 0 0 0 494481 464 0 0 25 0 32 0 7126400 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21990/tid=21998] ppid=21988 vsize=23614724 CPUtime=4906.28 cores=0-31
/proc/21990/task/21998/stat : 21998 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 331955 0 0 0 490236 392 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=23614724 CPUtime=4926.42 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 261624 0 0 0 492299 343 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21990/tid=22000] ppid=21988 vsize=23614724 CPUtime=4949.56 cores=0-31
/proc/21990/task/22000/stat : 22000 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 322409 0 0 0 494559 397 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21990/tid=22001] ppid=21988 vsize=23614724 CPUtime=4949.67 cores=0-31
/proc/21990/task/22001/stat : 22001 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 314163 0 0 0 494595 372 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=22002] ppid=21988 vsize=23614724 CPUtime=4942.83 cores=0-31
/proc/21990/task/22002/stat : 22002 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 265266 0 0 0 493945 338 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21990/tid=22003] ppid=21988 vsize=23614724 CPUtime=4940.62 cores=0-31
/proc/21990/task/22003/stat : 22003 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 415048 0 0 0 493612 450 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21990/tid=22004] ppid=21988 vsize=23614724 CPUtime=4954.39 cores=0-31
/proc/21990/task/22004/stat : 22004 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 377576 0 0 0 495044 395 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21990/tid=22005] ppid=21988 vsize=23614724 CPUtime=4949.79 cores=0-31
/proc/21990/task/22005/stat : 22005 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 357933 0 0 0 494595 384 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21990/tid=22006] ppid=21988 vsize=23614724 CPUtime=4949.73 cores=0-31
/proc/21990/task/22006/stat : 22006 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 338055 0 0 0 494589 384 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21990/tid=22007] ppid=21988 vsize=23614724 CPUtime=4951.33 cores=0-31
/proc/21990/task/22007/stat : 22007 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 282023 0 0 0 494779 354 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21990/tid=22008] ppid=21988 vsize=23614724 CPUtime=4933.19 cores=0-31
/proc/21990/task/22008/stat : 22008 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 298181 0 0 0 492956 363 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21990/tid=22009] ppid=21988 vsize=23614724 CPUtime=4952.19 cores=0-31
/proc/21990/task/22009/stat : 22009 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 258381 0 0 0 494905 314 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21990/tid=22010] ppid=21988 vsize=23614724 CPUtime=4953.11 cores=0-31
/proc/21990/task/22010/stat : 22010 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 447733 0 0 0 494870 441 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21990/tid=22011] ppid=21988 vsize=23614724 CPUtime=4949.8 cores=0-31
/proc/21990/task/22011/stat : 22011 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 311964 0 0 0 494589 391 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21990/tid=22012] ppid=21988 vsize=23614724 CPUtime=4950.56 cores=0-31
/proc/21990/task/22012/stat : 22012 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 388344 0 0 0 494651 405 0 0 25 0 32 0 7126401 24181477376 4736311 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21990/tid=22013] ppid=21988 vsize=23614724 CPUtime=4949.75 cores=0-31
/proc/21990/task/22013/stat : 22013 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 420071 0 0 0 494532 443 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21990/tid=22014] ppid=21988 vsize=23614724 CPUtime=4949.45 cores=0-31
/proc/21990/task/22014/stat : 22014 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 324188 0 0 0 494563 382 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4330101 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21990/tid=22015] ppid=21988 vsize=23614724 CPUtime=4941.46 cores=0-31
/proc/21990/task/22015/stat : 22015 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 314933 0 0 0 493819 327 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21990/tid=22016] ppid=21988 vsize=23614724 CPUtime=4953.07 cores=0-31
/proc/21990/task/22016/stat : 22016 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 383287 0 0 0 494930 377 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21990/tid=22017] ppid=21988 vsize=23614724 CPUtime=4947.93 cores=0-31
/proc/21990/task/22017/stat : 22017 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 303104 0 0 0 494421 372 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21990/tid=22018] ppid=21988 vsize=23614724 CPUtime=4953.06 cores=0-31
/proc/21990/task/22018/stat : 22018 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 257823 0 0 0 494982 324 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=21990/tid=22019] ppid=21988 vsize=23614724 CPUtime=4950.04 cores=0-31
/proc/21990/task/22019/stat : 22019 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 452676 0 0 0 494542 462 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21990/tid=22020] ppid=21988 vsize=23614724 CPUtime=4949.82 cores=0-31
/proc/21990/task/22020/stat : 22020 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 273085 0 0 0 494630 352 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21990/tid=22021] ppid=21988 vsize=23614724 CPUtime=4958.77 cores=0-31
/proc/21990/task/22021/stat : 22021 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 142515 0 0 0 495728 149 0 0 25 0 32 0 7126401 24181477376 4736312 268435456000 4194304 4580107 140736051027584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 158290
Current children cumulated vsize (KiB) 23614724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5015.9 s]
/proc/loadavg: 32.03 32.07 32.08 34/445 22171
/proc/meminfo: memFree=244515100/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=23368056 CPUtime=160004 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) R 21988 21990 21964 0 -1 4202496 10915324 0 0 0 15988092 12325 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/21990/statm: 5842014 4754649 402 95 0 5836996 0
[pid=21990/tid=21991] ppid=21988 vsize=23368056 CPUtime=5003.76 cores=0-31
/proc/21990/task/21991/stat : 21991 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 368869 0 0 0 499960 416 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4321083 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21990/tid=21992] ppid=21988 vsize=23368056 CPUtime=5004.77 cores=0-31
/proc/21990/task/21992/stat : 21992 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 391832 0 0 0 500068 409 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21990/tid=21993] ppid=21988 vsize=23368056 CPUtime=5003.27 cores=0-31
/proc/21990/task/21993/stat : 21993 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 377191 0 0 0 499906 421 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21990/tid=21994] ppid=21988 vsize=23368056 CPUtime=4988.98 cores=0-31
/proc/21990/task/21994/stat : 21994 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 461074 0 0 0 498441 457 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21990/tid=21995] ppid=21988 vsize=23368056 CPUtime=5002.48 cores=0-31
/proc/21990/task/21995/stat : 21995 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 385836 0 0 0 499773 475 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21990/tid=21996] ppid=21988 vsize=23368056 CPUtime=4992.53 cores=0-31
/proc/21990/task/21996/stat : 21996 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 288226 0 0 0 498890 363 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21990/tid=21997] ppid=21988 vsize=23368056 CPUtime=5003.07 cores=0-31
/proc/21990/task/21997/stat : 21997 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 425699 0 0 0 499840 467 0 0 25 0 32 0 7126400 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21990/tid=21998] ppid=21988 vsize=23368056 CPUtime=4959.92 cores=0-31
/proc/21990/task/21998/stat : 21998 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 336962 0 0 0 495596 396 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=23368056 CPUtime=4978.52 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 261995 0 0 0 497509 343 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21990/tid=22000] ppid=21988 vsize=23368056 CPUtime=5003.19 cores=0-31
/proc/21990/task/22000/stat : 22000 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 323150 0 0 0 499922 397 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21990/tid=22001] ppid=21988 vsize=23368056 CPUtime=5003.3 cores=0-31
/proc/21990/task/22001/stat : 22001 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 314478 0 0 0 499958 372 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21990/tid=22002] ppid=21988 vsize=23368056 CPUtime=4996.46 cores=0-31
/proc/21990/task/22002/stat : 22002 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 266080 0 0 0 499308 338 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21990/tid=22003] ppid=21988 vsize=23368056 CPUtime=4994.22 cores=0-31
/proc/21990/task/22003/stat : 22003 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 417548 0 0 0 498969 453 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21990/tid=22004] ppid=21988 vsize=23368056 CPUtime=5008.02 cores=0-31
/proc/21990/task/22004/stat : 22004 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 377576 0 0 0 500407 395 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21990/tid=22005] ppid=21988 vsize=23368056 CPUtime=5003.42 cores=0-31
/proc/21990/task/22005/stat : 22005 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 357933 0 0 0 499958 384 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21990/tid=22006] ppid=21988 vsize=23368056 CPUtime=5003.36 cores=0-31
/proc/21990/task/22006/stat : 22006 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 342734 0 0 0 499949 387 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21990/tid=22007] ppid=21988 vsize=23368056 CPUtime=5004.96 cores=0-31
/proc/21990/task/22007/stat : 22007 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 284902 0 0 0 500139 357 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21990/tid=22008] ppid=21988 vsize=23368056 CPUtime=4986.82 cores=0-31
/proc/21990/task/22008/stat : 22008 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 303137 0 0 0 498316 366 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21990/tid=22009] ppid=21988 vsize=23368056 CPUtime=5005.83 cores=0-31
/proc/21990/task/22009/stat : 22009 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 259487 0 0 0 500268 315 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21990/tid=22010] ppid=21988 vsize=23368056 CPUtime=5006.74 cores=0-31
/proc/21990/task/22010/stat : 22010 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 448187 0 0 0 500232 442 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21990/tid=22011] ppid=21988 vsize=23368056 CPUtime=5003.43 cores=0-31
/proc/21990/task/22011/stat : 22011 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 312947 0 0 0 499952 391 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21990/tid=22012] ppid=21988 vsize=23368056 CPUtime=5004.19 cores=0-31
/proc/21990/task/22012/stat : 22012 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 388390 0 0 0 500014 405 0 0 25 0 32 0 7126401 23928889344 4754649 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21990/tid=22013] ppid=21988 vsize=23368056 CPUtime=5003.38 cores=0-31
/proc/21990/task/22013/stat : 22013 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 424407 0 0 0 499892 446 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21990/tid=22014] ppid=21988 vsize=23368056 CPUtime=5003.08 cores=0-31
/proc/21990/task/22014/stat : 22014 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 326463 0 0 0 499924 384 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21990/tid=22015] ppid=21988 vsize=23368056 CPUtime=4995.1 cores=0-31
/proc/21990/task/22015/stat : 22015 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 321555 0 0 0 499178 332 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21990/tid=22016] ppid=21988 vsize=23368056 CPUtime=5006.7 cores=0-31
/proc/21990/task/22016/stat : 22016 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 387851 0 0 0 500289 381 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21990/tid=22017] ppid=21988 vsize=23368056 CPUtime=5001.53 cores=0-31
/proc/21990/task/22017/stat : 22017 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 303354 0 0 0 499781 372 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21990/tid=22018] ppid=21988 vsize=23368056 CPUtime=5006.69 cores=0-31
/proc/21990/task/22018/stat : 22018 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 260240 0 0 0 500343 326 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=21990/tid=22019] ppid=21988 vsize=23368056 CPUtime=5003.67 cores=0-31
/proc/21990/task/22019/stat : 22019 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 453839 0 0 0 499904 463 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21990/tid=22020] ppid=21988 vsize=23368056 CPUtime=5003.45 cores=0-31
/proc/21990/task/22020/stat : 22020 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 274905 0 0 0 499991 354 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21990/tid=22021] ppid=21988 vsize=23368056 CPUtime=5012.4 cores=0-31
/proc/21990/task/22021/stat : 22021 (strangenight2-m) R 21988 21990 21964 0 -1 4202560 142723 0 0 0 501091 149 0 0 25 0 32 0 7126401 23928889344 4754650 268435456000 4194304 4580107 140736051027584 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 23368056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5016.6 s]
/proc/loadavg: 32.03 32.07 32.08 34/445 22171
/proc/meminfo: memFree=244515100/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=0 CPUtime=160005 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) Z 21988 21990 21964 0 -1 4203548 10915328 0 0 0 15988115 12390 0 0 25 0 2 0 7126400 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/21990/statm: 0 0 0 0 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=0 CPUtime=4979.17 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4203588 261995 0 0 0 497509 408 0 0 25 0 2 0 7126401 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5017 s]
/proc/loadavg: 32.03 32.07 32.08 2/416 22172
/proc/meminfo: memFree=262080800/264257624 swapFree=67044764/67111528
[pid=21990] ppid=21988 vsize=0 CPUtime=160005 cores=0-31
/proc/21990/stat : 21990 (strangenight2-m) Z 21988 21990 21964 0 -1 4203548 10915328 0 0 0 15988115 12432 0 0 25 0 2 0 7126400 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/21990/statm: 0 0 0 0 0 0 0
[pid=21990/tid=21999] ppid=21988 vsize=0 CPUtime=4979.59 cores=0-31
/proc/21990/task/21999/stat : 21999 (strangenight2-m) R 21988 21990 21964 0 -1 4203588 261995 0 0 0 497509 450 0 0 25 0 2 0 7126401 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5017.09
CPU time (s): 160006
CPU user time (s): 159881
CPU system time (s): 124.4
CPU usage (%): 3189.21
Max. virtual memory (cumulated for all children) (KiB): 23681928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159881
system time used= 124.4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10915328
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= 2095668
involuntary context switches= 348930
runsolver used 25.6451 second user time and 114.537 second system time
The end
Begin job on node200 at 2011-05-31 05:13:24
IDJOB=3400805
IDBENCH=83113
IDSOLVER=1886
FILE ID=node200/3400805-1306811604
RUNJOBID= node200-1306811604-21978
PBS_JOBID= 13470335
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-top22.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400805-1306811604/watcher-3400805-1306811604 -o /tmp/evaluation-result-3400805-1306811604/solver-3400805-1306811604 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400805-1306811604.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e822739302a2d834ec9ddfe9fbd0caa2
RANDOM SEED=1481068082
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: 263570948 kB
Buffers: 101264 kB
Cached: 393828 kB
SwapCached: 29988 kB
Active: 127252 kB
Inactive: 400016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263570948 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 8704 kB
Writeback: 0 kB
AnonPages: 30272 kB
Mapped: 7692 kB
Slab: 72528 kB
PageTables: 5008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189704 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 06:37:02