0.00/0.00 c Outputting solution to console
0.00/0.06 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400617-1306235090.cnf'
2.61/0.11 c -- header says num vars: 164158
2.61/0.11 c -- header says num clauses: 730719
91.86/5.79 c -- clauses added: 0 learnts, 730719 normals, 0 xors
91.86/5.79 c -- vars added 164158
91.86/5.79 c Parsing time: 0.90 s
91.86/5.79 c N st 0 0 164158 118150 599287 0 1645964 0 no data no data
120.15/6.71 c asymm cl-useful: 0/1189/94810 lits-rem:0 time: 0.88
710.27/25.12 c Flit: 1284 Blit: 8997 bXBeca: 0 bXProp: 15316 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 18.39
710.27/25.18 c Cleaning up after failed var search: 0.06 s
713.47/25.26 c Replacing 15316 vars Replaced 270530 lits Time: 0.07 s
717.28/25.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
717.28/25.35 c bin-w-bin subsume rem 7845 bins time: 0.03 s
717.28/25.41 c subs with bin: 154 lits-rem: 6011 v-fix: 0 time: 0.07 s
1048.59/35.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 26699 time: 10.33 s
1061.33/36.19 c Removed useless bin: 3709 fixed: 0 props: 20.01M time: 0.44 s
1080.37/36.72 c lits-rem: 671 cl-subs: 6606 v-elim: 20703 v-fix: 0 time: 0.48 s
1080.37/36.77 c Finding binary XORs T: 0.05 s found: 12895
1083.54/36.83 c Replacing 12895 vars Replaced 171918 lits Time: 0.05 s
1083.54/36.88 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
1083.54/36.88 c calculated reachability. Time: 0.00
1083.54/36.89 c Calc default polars - time: 0.02 s pos: 6390 undec: 136668 neg: 21100
1083.54/36.89 c =========================================================================================
1083.54/36.89 c types(t): F = full restart, N = normal restart
1083.54/36.89 c types(t): S = simplification begin/end, E = solution found
1083.54/36.89 c restart types(rt): st = static, dy = dynamic
1083.54/36.89 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1083.54/36.89 c B st 0 0 28513 64285 105990 0 446299 0 no data no data
1188.50/40.13 c N dy 13 4212 28511 64285 106019 4100 446299 1142751 34.09 36.08
1226.86/41.31 c Finding binary XORs T: 0.03 s found: 98
1265.18/42.54 c N dy 22 8353 28414 63964 117369 8121 442490 1724309 27.71 29.65
1364.27/45.66 c N dy 47 12678 28379 63964 126410 12339 442489 2514399 29.46 31.39
1469.71/48.90 c Finding binary XORs T: 0.03 s found: 248
1472.90/49.02 c Replacing 346 vars Replaced 17110 lits Time: 0.11 s
1479.30/49.22 c N dy 74 16792 27777 63299 123450 16241 434511 3239887 33.40 35.24
1591.06/52.73 c N dy 96 20831 27627 63299 126119 10525 434511 1178241 35.50 38.83
1696.41/56.06 c F st 108 25001 27556 63299 127301 14590 434511 2024560 34.66 17.62
1703.42/56.22 c N st 108 25001 27556 61897 120807 13517 419314 1848982 34.66 17.62
1830.62/60.27 c N dy 114 30001 27232 61897 120818 18447 419314 3156776 34.66 no data
1830.62/60.27 c S st 114 30001 27232 61897 120818 18447 419314 3156776 34.66 no data
1844.03/60.65 c Finding binary XORs T: 0.03 s found: 327
1846.59/60.79 c Replacing 327 vars Replaced 16136 lits Time: 0.14 s
1865.78/61.31 c S st 114 30511 26886 61748 121390 18888 417310 3185336 34.66 no data
1865.78/61.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
2619.41/84.90 c Flit: 719 Blit: 329 bXBeca: 0 bXProp: 663 Bins: 123451 BRemL: 3150 BRemN: 15 P: 200.0M T: 23.11
2619.41/84.95 c Cleaning up after failed var search: 0.05 s
2625.80/85.14 c Replacing 663 vars Replaced 50482 lits Time: 0.19 s
2625.80/85.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2628.98/85.23 c bin-w-bin subsume rem 19458 bins time: 0.04 s
2628.98/85.29 c subs with bin: 1405 lits-rem: 6524 v-fix: 0 time: 0.06 s
2673.70/86.70 c Subs w/ non-existent bins: 1499 l-rem: 518 v-fix: 0 done: 22972 time: 1.40 s
2687.10/87.06 c Removed useless bin: 6970 fixed: 0 props: 20.01M time: 0.36 s
2692.86/87.29 c lits-rem: 3 cl-subs: 1164 v-elim: 2456 v-fix: 0 time: 0.22 s
2696.05/87.36 c subs with bin: 100 lits-rem: 460 v-fix: 0 time: 0.05 s
2699.24/87.43 c lits-rem: 83 cl-subs: 209 v-elim: 0 v-fix: 0 time: 0.05 s
2719.01/88.10 c asymm cl-useful: 458/3342/54212 lits-rem:545 time: 0.66
2724.76/88.23 c calculated reachability. Time: 0.12
2724.76/88.23 c N dy 114 30511 20516 54212 167052 2402 324672 268040 34.66 no data
2740.75/88.71 c Finding binary XORs T: 0.48 s found: 84
2983.31/96.37 c N dy 120 45767 20513 54212 167104 10891 324672 1068024 28.12 17.86
2983.31/96.37 c S st 120 45767 20513 54212 167104 10891 324672 1068024 28.12 17.86
3003.11/96.93 c S st 120 46269 20510 54212 170424 11345 324672 1096177 28.12 no data
3003.11/96.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3574.21/114.89 c Flit: 56 Blit: 5 bXBeca: 0 bXProp: 14 Bins: 155186 BRemL: 12395 BRemN: 52 P: 147.7M T: 17.86
3577.42/114.97 c Replacing 98 vars Replaced 3355 lits Time: 0.08 s
3580.62/115.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3580.62/115.05 c bin-w-bin subsume rem 1902 bins time: 0.04 s
3583.82/115.13 c subs with bin: 489 lits-rem: 2361 v-fix: 0 time: 0.08 s
3612.55/116.07 c Subs w/ non-existent bins: 165 l-rem: 93 v-fix: 0 done: 20345 time: 0.94 s
3622.14/116.34 c Removed useless bin: 1244 fixed: 0 props: 17.30M time: 0.27 s
3628.52/116.51 c lits-rem: 2 cl-subs: 632 v-elim: 1050 v-fix: 0 time: 0.17 s
3632.30/116.67 c subs with bin: 41 lits-rem: 194 v-fix: 0 time: 0.11 s
3638.09/116.80 c lits-rem: 152 cl-subs: 283 v-elim: 0 v-fix: 0 time: 0.11 s
3644.47/117.05 c vivif2 -- cl tried 55483 cl shrink 1503 lits rem 1654 time: 0.25
3647.66/117.16 c vivif2 -- cl tried 5960 cl shrink 1659 lits rem 11208 time: 0.10
3670.64/117.83 c asymm cl-useful: 17/2000/55040 lits-rem:23 time: 0.67
3673.20/117.95 c calculated reachability. Time: 0.10
3673.20/117.95 c N dy 120 46269 19295 55040 285683 5819 318672 664766 28.12 no data
3685.99/118.33 c Finding binary XORs T: 0.38 s found: 1
3823.36/122.65 c N dy 121 55487 19295 55040 285702 14766 318672 1324159 24.98 26.70
3836.13/123.07 c Finding binary XORs T: 0.31 s found: 32
3909.62/125.35 c N dy 122 59808 19239 54680 330615 18985 316817 1766067 24.10 25.94
4072.58/130.41 c N dy 126 69404 19238 54680 330620 17041 316817 1484903 22.51 13.05
4072.58/130.41 c S st 126 69404 19238 54680 330620 17041 316817 1484903 22.51 13.05
4082.14/130.79 c Finding binary XORs T: 0.30 s found: 26
4098.11/131.29 c S st 126 69906 19204 54491 353053 12683 315648 1409779 22.51 no data
4101.31/131.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
4535.93/144.90 c Flit: 55 Blit: 10 bXBeca: 0 bXProp: 3 Bins: 3908 BRemL: 12571 BRemN: 12 P: 132.1M T: 13.56
4535.93/144.98 c Replacing 62 vars Replaced 18447 lits Time: 0.08 s
4539.13/145.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4539.13/145.08 c bin-w-bin subsume rem 44440 bins time: 0.06 s
4542.33/145.16 c subs with bin: 286 lits-rem: 67 v-fix: 0 time: 0.07 s
4564.69/145.89 c Subs w/ non-existent bins: 80 l-rem: 46 v-fix: 0 done: 19071 time: 0.73 s
4574.28/146.12 c Removed useless bin: 496 fixed: 0 props: 15.29M time: 0.24 s
4577.48/146.26 c lits-rem: 2 cl-subs: 676 v-elim: 465 v-fix: 0 time: 0.14 s
4590.24/146.63 c subs with bin: 9 lits-rem: 106 v-fix: 0 time: 0.31 s
4596.64/146.89 c lits-rem: 177 cl-subs: 176 v-elim: 0 v-fix: 0 time: 0.24 s
4606.23/147.12 c vivif2 -- cl tried 54253 cl shrink 414 lits rem 465 time: 0.22
4609.43/147.21 c vivif2 -- cl tried 9147 cl shrink 1644 lits rem 16873 time: 0.09
4631.79/147.94 c asymm cl-useful: 389/2351/54097 lits-rem:397 time: 0.73
4635.00/148.04 c calculated reachability. Time: 0.08
4635.00/148.05 c N dy 126 69906 18606 54097 280681 9142 310781 914828 22.51 no data
4644.59/148.37 c Finding binary XORs T: 0.32 s found: 3
4750.05/151.64 c N dy 128 75875 18405 53589 275087 14498 305466 1583555 21.47 22.70
4928.98/157.24 c Finding binary XORs T: 0.28 s found: 25
4932.79/157.35 c N dy 130 85893 18388 53499 278071 22691 305142 2580323 19.81 21.16
4960.94/158.22 c F st 133 87500 18388 53499 278074 12502 305142 1302049 19.74 17.62
4964.17/158.30 c Replacing 28 vars Replaced 8880 lits Time: 0.06 s
5073.38/161.75 c N dy 139 92699 18359 53494 277837 17556 305035 2046848 19.74 no data
5206.98/165.97 c N dy 156 99544 18359 53494 278571 24284 305035 3021247 19.62 20.65
5306.03/169.06 c S st 163 104860 18359 53494 278590 29551 305035 3613175 19.17 7.06
5322.66/169.57 c S st 163 105361 18359 53494 278603 30036 305035 3646472 19.17 no data
5325.19/169.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
5782.17/183.92 c Flit: 32 Blit: 4 bXBeca: 0 bXProp: 2 Bins: 3812 BRemL: 7416 BRemN: 8 P: 130.8M T: 14.30
5785.38/184.02 c Replacing 2 vars Replaced 60 lits Time: 0.09 s
5785.38/184.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5785.38/184.10 c bin-w-bin subsume rem 7130 bins time: 0.04 s
5788.57/184.16 c subs with bin: 138 lits-rem: 20 v-fix: 0 time: 0.06 s
5804.56/184.69 c Subs w/ non-existent bins: 34 l-rem: 15 v-fix: 0 done: 18319 time: 0.53 s
5811.55/184.91 c Removed useless bin: 323 fixed: 0 props: 13.36M time: 0.21 s
5817.33/185.04 c lits-rem: 2 cl-subs: 1326 v-elim: 124 v-fix: 0 time: 0.13 s
5897.23/187.53 c subs with bin: 5 lits-rem: 361 v-fix: 0 time: 2.30 s
5932.37/188.64 c lits-rem: 266 cl-subs: 707 v-elim: 0 v-fix: 0 time: 1.08 s
5938.76/188.85 c vivif2 -- cl tried 52066 cl shrink 512 lits rem 542 time: 0.21
5952.17/189.23 c vivif2 -- cl tried 22289 cl shrink 5782 lits rem 141928 time: 0.38
5977.12/190.05 c asymm cl-useful: 162/2254/51977 lits-rem:168 time: 0.81
5980.31/190.15 c calculated reachability. Time: 0.08
5980.31/190.15 c N dy 163 105361 18195 51975 262642 22278 298022 2063722 19.17 no data
6114.54/194.37 c Finding binary XORs T: 0.31 s found: 8
6117.73/194.49 c N dy 166 112196 18179 51931 267914 14852 297766 1279550 18.65 19.71
6469.21/205.48 c N dy 168 127808 18156 51931 273996 30130 297766 2286971 17.41 18.43
6676.98/211.93 c N dy 178 138677 18156 51931 274003 21522 297766 1625928 17.05 18.23
6686.57/212.26 c Finding binary XORs T: 0.29 s found: 5
6996.52/221.95 c N dy 188 155328 18150 51446 273997 35722 296545 3198971 16.51 17.53
7057.23/223.89 c S st 191 158043 18133 51446 276509 38387 296545 3453794 16.49 13.12
7073.22/224.41 c S st 191 158548 18133 51446 276533 38867 296545 3497223 16.49 no data
7077.04/224.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
7590.90/240.53 c Flit: 7 Blit: 8 bXBeca: 0 bXProp: 22 Bins: 4853 BRemL: 7190 BRemN: 3 P: 142.0M T: 16.04
7594.11/240.64 c Replacing 35 vars Replaced 12793 lits Time: 0.10 s
7594.11/240.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7597.30/240.72 c bin-w-bin subsume rem 3304 bins time: 0.04 s
7597.30/240.79 c subs with bin: 149 lits-rem: 76 v-fix: 0 time: 0.07 s
7613.27/241.29 c Subs w/ non-existent bins: 23 l-rem: 14 v-fix: 0 done: 18083 time: 0.50 s
7619.67/241.46 c Removed useless bin: 229 fixed: 0 props: 10.05M time: 0.18 s
7626.07/241.61 c lits-rem: 6 cl-subs: 470 v-elim: 95 v-fix: 0 time: 0.14 s
7715.52/244.48 c subs with bin: 119 lits-rem: 5359 v-fix: 0 time: 2.66 s
7881.71/249.66 c lits-rem: 1080 cl-subs: 1634 v-elim: 0 v-fix: 0 time: 5.16 s
7888.72/249.88 c vivif2 -- cl tried 50647 cl shrink 427 lits rem 477 time: 0.22
7910.47/250.58 c vivif2 -- cl tried 33361 cl shrink 13781 lits rem 518627 time: 0.70
7939.21/251.47 c asymm cl-useful: 118/2104/50515 lits-rem:130 time: 0.89
7942.40/251.58 c calculated reachability. Time: 0.09
7942.40/251.58 c N dy 191 158548 17988 50511 260712 33358 292153 2291881 16.49 no data
7951.99/251.90 c Finding binary XORs T: 0.32 s found: 3
8137.32/257.62 c Finding binary XORs T: 0.32 s found: 7
8140.52/257.73 c N dy 197 168748 17971 50442 273530 23978 291820 1956947 16.23 17.37
8373.83/265.01 c N dy 208 181040 17969 50442 273905 36085 291820 3107362 15.98 16.84
8568.82/271.15 c Finding binary XORs T: 0.31 s found: 3
8635.92/273.21 c N dy 222 194202 17960 50366 329491 24221 291142 1920748 15.71 16.65
8917.17/282.08 c N dy 247 208033 17953 50366 331302 37890 291142 3642559 15.46 16.33
9562.79/302.22 c N dy 255 237822 17948 50366 332108 42842 291142 3474329 14.84 8.42
9562.79/302.22 c S st 255 237822 17948 50366 332108 42842 291142 3474329 14.84 8.42
9572.97/302.59 c Finding binary XORs T: 0.31 s found: 2
9591.56/303.19 c S st 255 238326 17901 50077 331483 43220 290015 3510175 14.84 no data
9594.76/303.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
10093.40/318.81 c Flit: 12 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 6190 BRemL: 9375 BRemN: 4 P: 142.4M T: 15.56
10096.61/318.91 c Replacing 18 vars Replaced 6344 lits Time: 0.10 s
10096.61/318.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10096.61/319.00 c bin-w-bin subsume rem 10492 bins time: 0.05 s
10100.43/319.08 c subs with bin: 275 lits-rem: 79 v-fix: 0 time: 0.08 s
10118.98/319.67 c Subs w/ non-existent bins: 21 l-rem: 21 v-fix: 0 done: 17870 time: 0.59 s
10125.37/319.84 c Removed useless bin: 280 fixed: 0 props: 8.99M time: 0.16 s
10128.57/319.98 c lits-rem: 3 cl-subs: 313 v-elim: 107 v-fix: 0 time: 0.14 s
10211.67/322.58 c subs with bin: 105 lits-rem: 1172 v-fix: 0 time: 2.40 s
10288.39/324.90 c lits-rem: 335 cl-subs: 1673 v-elim: 0 v-fix: 0 time: 2.30 s
10294.78/325.12 c vivif2 -- cl tried 49567 cl shrink 263 lits rem 273 time: 0.22
10314.58/325.77 c vivif2 -- cl tried 34281 cl shrink 9765 lits rem 337315 time: 0.65
10342.73/326.62 c asymm cl-useful: 119/1795/49428 lits-rem:158 time: 0.85
10346.52/326.73 c calculated reachability. Time: 0.09
10346.52/326.73 c N dy 255 238326 17763 49415 312900 34271 287028 2415458 14.84 no data
10355.51/327.06 c Finding binary XORs T: 0.33 s found: 0
10490.36/331.28 c Finding binary XORs T: 0.32 s found: 0
10780.61/340.31 c N dy 264 258240 17751 49368 343640 31011 286820 2309606 14.47 15.27
11314.44/357.01 c N dy 299 280972 17749 49368 346303 27267 286820 2005123 14.30 15.40
11455.04/361.46 c Finding binary XORs T: 0.32 s found: 1
11848.22/373.71 c F st 343 306250 17745 49348 347839 52226 286740 4664581 14.05 6.48
11851.42/373.82 c Replacing 1 vars Replaced 20 lits Time: 0.07 s
11854.63/373.90 c N st 343 306250 17744 49334 347613 50136 286688 4621181 14.05 6.48
12318.70/388.49 c N dy 356 327233 17738 49334 350033 43456 286688 2909226 13.88 14.62
12330.81/388.86 c Finding binary XORs T: 0.32 s found: 1
12928.57/407.59 c N dy 374 353084 17732 49284 353277 39456 286531 2595385 13.66 14.44
13021.91/410.44 c S st 388 357490 17731 49284 353438 43807 286531 3077371 13.68 10.77
13040.46/411.02 c S st 388 357990 17731 49284 353463 44281 286531 3114652 13.68 no data
13040.46/411.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
13584.47/428.09 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 2044 BRemL: 4415 BRemN: 1 P: 152.8M T: 17.00
13590.23/428.21 c Replacing 8 vars Replaced 1690 lits Time: 0.11 s
13590.23/428.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13590.23/428.30 c bin-w-bin subsume rem 6066 bins time: 0.05 s
13593.43/428.38 c subs with bin: 113 lits-rem: 33 v-fix: 0 time: 0.08 s
13609.41/428.85 c Subs w/ non-existent bins: 21 l-rem: 12 v-fix: 0 done: 17722 time: 0.47 s
13612.62/429.00 c Removed useless bin: 128 fixed: 0 props: 7.84M time: 0.15 s
13619.63/429.15 c lits-rem: 1 cl-subs: 151 v-elim: 43 v-fix: 0 time: 0.16 s
13714.90/432.13 c subs with bin: 583 lits-rem: 891 v-fix: 0 time: 2.77 s
13795.44/434.63 c lits-rem: 807 cl-subs: 1495 v-elim: 0 v-fix: 0 time: 2.48 s
13801.20/434.85 c vivif2 -- cl tried 49037 cl shrink 150 lits rem 165 time: 0.22
13823.59/435.61 c vivif2 -- cl tried 40902 cl shrink 9697 lits rem 264686 time: 0.75
13855.55/436.52 c asymm cl-useful: 115/1577/48976 lits-rem:130 time: 0.92
13858.75/436.63 c calculated reachability. Time: 0.09
13858.75/436.63 c N dy 388 357990 17679 48971 342358 40895 285020 2660953 13.68 no data
13868.33/436.97 c Finding binary XORs T: 0.33 s found: 0
13999.41/441.01 c Finding binary XORs T: 0.33 s found: 1
14440.47/454.87 c N dy 405 381361 17673 48927 368566 33605 284880 2134704 13.50 14.29
15076.53/474.80 c N dy 466 409767 17671 48927 368831 61712 284880 5245336 13.37 14.33
15364.16/483.71 c Finding binary XORs T: 0.33 s found: 0
15504.79/488.13 c N dy 515 430186 17667 48887 382512 47321 284750 4433518 13.29 14.28
15949.08/502.02 c N dy 576 450285 17665 48887 382717 35216 284750 2552105 13.27 14.25
16409.30/516.42 c N dy 649 472727 17664 48887 382779 57398 284750 5561515 13.26 14.26
16789.59/528.37 c Finding binary XORs T: 0.33 s found: 3
16898.24/531.71 c N dy 747 492761 17649 48753 384490 43427 284326 3503607 13.31 19.43
17425.59/548.27 c N dy 812 514114 17647 48753 384613 64531 284326 6566764 13.27 14.25
17901.82/563.14 c N dy 895 534445 17647 48753 384757 49464 284326 4358571 13.29 14.15
17956.16/564.83 c S st 897 536985 17647 48753 384795 51944 284326 4607947 13.28 11.69
17972.14/565.41 c S st 897 537489 17647 48753 384798 52443 284326 4671906 13.28 no data
17975.93/565.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
18553.79/583.50 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9200 BRemL: 5359 BRemN: 4 P: 173.6M T: 18.03
18556.98/583.64 c Replacing 4 vars Replaced 1863 lits Time: 0.13 s
18556.98/583.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18560.19/583.74 c bin-w-bin subsume rem 3191 bins time: 0.05 s
18563.39/583.82 c subs with bin: 182 lits-rem: 148 v-fix: 0 time: 0.09 s
18579.35/584.30 c Subs w/ non-existent bins: 25 l-rem: 11 v-fix: 0 done: 17640 time: 0.48 s
18582.56/584.42 c Removed useless bin: 173 fixed: 0 props: 5.73M time: 0.12 s
18585.76/584.58 c lits-rem: 2 cl-subs: 184 v-elim: 37 v-fix: 0 time: 0.16 s
18687.98/587.77 c subs with bin: 141 lits-rem: 55 v-fix: 0 time: 2.93 s
18831.81/592.26 c lits-rem: 696 cl-subs: 1325 v-elim: 0 v-fix: 0 time: 4.46 s
18838.21/592.48 c vivif2 -- cl tried 48413 cl shrink 89 lits rem 105 time: 0.22
18863.78/593.29 c vivif2 -- cl tried 46653 cl shrink 9986 lits rem 626482 time: 0.80
18895.74/594.28 c asymm cl-useful: 4/1497/48392 lits-rem:12 time: 0.99
18898.94/594.39 c calculated reachability. Time: 0.09
18898.94/594.39 c N dy 897 537489 17603 48388 383566 46639 282275 3120158 13.28 no data
18911.73/594.73 c Finding binary XORs T: 0.34 s found: 0
19378.38/609.32 c N dy 958 557509 17598 48388 384293 66491 282275 5883110 13.25 14.18
19800.25/622.61 c Finding binary XORs T: 0.34 s found: 0
19848.18/624.09 c N dy 1007 577667 17595 48304 391089 52266 282043 4292770 13.21 13.92
20353.20/639.86 c N dy 1050 598858 17594 48304 391287 36812 282043 2333291 13.14 13.88
20829.39/654.77 c N dy 1096 620969 17592 48304 392348 58668 282043 4816851 13.08 13.83
21065.93/662.21 c Finding binary XORs T: 0.34 s found: 0
21516.60/676.23 c N dy 1149 648965 17590 48286 395372 48290 281947 3275401 13.02 13.77
22008.84/691.63 c N dy 1186 668972 17587 48286 396970 68102 281947 5837504 12.96 13.68
22085.56/694.08 c Finding binary XORs T: 0.34 s found: 0
22529.83/707.93 c N dy 1238 689402 17586 48169 406785 48487 281534 3676646 12.93 13.69
23054.02/724.31 c N dy 1303 709622 17582 48169 410202 68497 281534 6013307 12.92 13.64
23066.82/724.71 c Finding binary XORs T: 0.34 s found: 0
23587.80/741.05 c N dy 1376 730577 17567 48085 415455 47750 281239 3594149 12.92 13.64
23601.22/741.43 c Finding binary XORs T: 0.34 s found: 4
24076.87/756.36 c N dy 1442 751335 17564 48037 415166 68236 281079 6577424 12.91 14.39
24175.91/759.43 c Finding binary XORs T: 0.34 s found: 1
24505.15/769.70 c Finding binary XORs T: 0.34 s found: 0
24601.04/772.75 c N dy 1520 771463 17562 48025 445167 47548 281006 3316229 12.93 13.72
24674.57/775.04 c Finding binary XORs T: 0.34 s found: 1
25128.42/789.27 c N dy 1638 791481 17556 47998 472992 67423 280928 6780740 13.01 25.34
25166.78/790.45 c Finding binary XORs T: 0.34 s found: 0
25527.99/801.74 c S st 1694 806234 17551 47976 475429 82089 280866 9173602 13.03 no data
25550.36/802.41 c S st 1694 806739 17551 47976 475432 82591 280866 9240241 13.03 no data
25550.36/802.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
26192.81/822.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1905 BRemL: 66454 BRemN: 12 P: 200.0M T: 20.10
26199.21/822.80 c Replacing 6 vars Replaced 2824 lits Time: 0.20 s
26202.99/822.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26202.99/822.91 c bin-w-bin subsume rem 20542 bins time: 0.06 s
26208.78/823.00 c subs with bin: 170 lits-rem: 386 v-fix: 0 time: 0.09 s
26224.77/823.60 c Subs w/ non-existent bins: 4 l-rem: 4 v-fix: 0 done: 17545 time: 0.60 s
26231.17/823.71 c Removed useless bin: 203 fixed: 0 props: 5.12M time: 0.11 s
26234.37/823.90 c lits-rem: 0 cl-subs: 191 v-elim: 60 v-fix: 0 time: 0.19 s
26339.84/827.14 c subs with bin: 74 lits-rem: 159 v-fix: 0 time: 2.79 s
26493.25/831.98 c lits-rem: 778 cl-subs: 834 v-elim: 0 v-fix: 0 time: 4.82 s
26502.83/832.22 c vivif2 -- cl tried 47698 cl shrink 164 lits rem 176 time: 0.23
26541.20/833.41 c vivif2 -- cl tried 63616 cl shrink 20418 lits rem 1151850 time: 1.19
26569.96/834.38 c asymm cl-useful: 6/1545/47646 lits-rem:18 time: 0.97
26573.16/834.50 c calculated reachability. Time: 0.10
26576.36/834.50 c N dy 1694 806739 17485 47640 384469 63597 278937 4609291 13.03 no data
26717.00/838.98 c Finding binary XORs T: 0.37 s found: 0
27065.36/849.86 c N dy 1792 826795 17477 47530 392771 50346 278662 4022253 13.08 25.77
27525.64/864.23 c N dy 1859 846840 17477 47530 394138 70146 278662 6483824 13.09 19.74
27806.86/873.06 c Finding binary XORs T: 0.36 s found: 2
28062.55/881.06 c N dy 1964 867088 17473 47498 396196 51373 278558 3967790 13.15 14.05
28609.11/898.14 c N dy 2079 887122 17471 47498 397801 71242 278558 6847872 13.22 21.46
29171.59/915.73 c N dy 2196 907125 17471 47498 397902 48924 278558 3208264 13.29 19.58
29705.32/932.45 c N dy 2311 927150 17469 47498 397975 68773 278558 5804808 13.36 17.40
30223.07/948.69 c Finding binary XORs T: 0.37 s found: 1
30392.47/953.93 c N dy 2425 949059 17465 47432 403817 46101 278360 2531950 13.42 14.32
30590.60/960.19 c Finding binary XORs T: 0.37 s found: 0
30949.17/971.41 c N dy 2574 969364 17462 47406 427502 66280 278292 5568557 13.51 14.47
31453.55/987.16 c Finding binary XORs T: 0.37 s found: 0
31603.75/991.84 c N dy 2689 991610 17458 47352 436140 88317 278144 8536493 13.56 14.31
32127.95/1008.24 c N dy 2766 1011613 17457 47352 436190 62121 278144 4650958 13.58 25.40
32760.81/1028.07 c N dy 2866 1033500 17456 47352 436267 83791 278144 7693190 13.63 14.45
33336.07/1046.10 c N dy 2999 1053507 17455 47352 436372 56348 278144 3804654 13.70 15.72
33396.80/1047.94 c Finding binary XORs T: 0.37 s found: 0
33850.61/1062.13 c F st 3127 1071875 17454 47334 451194 72664 278078 6676153 13.80 13.72
33853.82/1062.27 c Replacing 3 vars Replaced 536 lits Time: 0.08 s
33911.34/1064.04 c N st 3131 1073905 17451 47328 451082 74669 278052 6967823 13.80 no data
33956.10/1065.47 c Finding binary XORs T: 0.37 s found: 0
34470.62/1081.54 c Finding binary XORs T: 0.37 s found: 0
34505.78/1082.66 c N dy 3233 1093975 17446 47310 482429 94575 277971 10100130 13.85 14.63
35036.28/1099.25 c N dy 3341 1114731 17444 47310 482949 67679 277971 5728916 13.91 14.69
35276.61/1106.74 c Finding binary XORs T: 0.37 s found: 0
35573.25/1116.05 c N dy 3415 1134802 17443 47284 491332 87671 277901 8636769 13.91 14.79
35889.67/1125.98 c Finding binary XORs T: 0.37 s found: 0
36164.50/1134.58 c N dy 3530 1155044 17441 47258 497801 58715 277825 4337908 13.97 14.75
36602.39/1148.20 c Finding binary XORs T: 0.37 s found: 0
36736.61/1152.49 c N dy 3663 1175053 17440 47250 516939 78596 277801 7523628 14.06 14.98
36810.09/1154.72 c Finding binary XORs T: 0.37 s found: 0
37366.22/1172.18 c N dy 3767 1195494 17438 47250 523375 98896 277801 10599607 14.12 15.17
37382.80/1172.63 c Finding binary XORs T: 0.37 s found: 0
37567.59/1178.45 c Finding binary XORs T: 0.37 s found: 0
37823.30/1186.42 c S st 3856 1210108 17431 47190 551076 63089 277607 5214470 14.16 8.26
37843.08/1187.08 c S st 3856 1210611 17431 47190 551076 63591 277607 5282087 14.16 no data
37845.67/1187.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
38520.02/1208.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 11054 BRemL: 43252 BRemN: 8 P: 200.0M T: 21.09
38523.22/1208.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
38523.22/1208.39 c bin-w-bin subsume rem 20727 bins time: 0.08 s
38529.62/1208.50 c subs with bin: 176 lits-rem: 664 v-fix: 0 time: 0.11 s
38546.22/1209.06 c Subs w/ non-existent bins: 16 l-rem: 5 v-fix: 0 done: 17431 time: 0.55 s
38548.78/1209.14 c Removed useless bin: 222 fixed: 0 props: 2.95M time: 0.08 s
38555.19/1209.36 c lits-rem: 4 cl-subs: 306 v-elim: 36 v-fix: 0 time: 0.22 s
38660.65/1212.63 c subs with bin: 2 lits-rem: 84 v-fix: 0 time: 2.92 s
38827.44/1217.87 c lits-rem: 2259 cl-subs: 799 v-elim: 0 v-fix: 0 time: 5.21 s
38836.40/1218.11 c vivif2 -- cl tried 46768 cl shrink 148 lits rem 152 time: 0.24
38868.40/1219.12 c vivif2 -- cl tried 59908 cl shrink 13448 lits rem 821665 time: 1.00
38903.53/1220.23 c asymm cl-useful: 2/1099/46719 lits-rem:6 time: 1.11
38906.72/1220.35 c calculated reachability. Time: 0.10
38906.72/1220.36 c N dy 3856 1210611 17395 46717 495978 59887 274868 3854143 14.16 no data
38919.51/1220.75 c Finding binary XORs T: 0.39 s found: 0
39018.60/1223.81 c Finding binary XORs T: 0.39 s found: 0
39446.90/1237.27 c N dy 3919 1230824 17389 46677 551163 79866 274736 6689801 14.14 14.94
39708.94/1245.44 c Finding binary XORs T: 0.39 s found: 0
40095.66/1257.51 c N dy 3964 1255613 17384 46649 571079 54461 274654 3421960 14.10 15.16
40613.46/1273.81 c N dy 4028 1275841 17383 46649 571142 74532 274654 6586047 14.10 14.91
41250.14/1293.64 c N dy 4067 1298628 17383 46649 571169 97089 274654 9319207 14.06 14.89
41808.81/1311.21 c Finding binary XORs T: 0.39 s found: 0
41818.38/1311.46 c N dy 4163 1318720 17381 46601 575599 65237 274518 4857848 14.08 14.86
42355.39/1328.25 c N dy 4241 1338786 17381 46601 576089 85137 274518 7732339 14.08 15.34
42902.51/1345.38 c N dy 4294 1359011 17381 46601 576158 105226 274518 10649455 14.06 14.86
43413.28/1361.35 c N dy 4366 1379049 17381 46601 577421 71910 274518 5518405 14.06 15.38
44004.59/1379.84 c N dy 4447 1399064 17380 46601 577453 91752 274518 8360439 14.08 14.98
44136.18/1384.00 c Finding binary XORs T: 0.39 s found: 0
44687.76/1401.23 c N dy 4557 1419206 17380 46597 586860 57395 274502 3389377 14.10 14.91
45243.57/1418.65 c N dy 4643 1439226 17380 46597 587935 77204 274502 6121186 14.11 17.30
45834.88/1437.13 c N dy 4692 1459289 17380 46597 587987 97045 274502 8825523 14.09 18.70
46464.50/1456.86 c N dy 4762 1480013 17379 46597 588021 62198 274502 3983954 14.09 14.88
46656.30/1462.80 c Finding binary XORs T: 0.39 s found: 0
47177.28/1479.10 c N dy 4801 1503792 17377 46581 591093 85728 274446 6400395 14.07 14.84
47190.67/1479.61 c Finding binary XORs T: 0.39 s found: 0
48158.43/1509.86 c N dy 4865 1534392 17376 46575 609431 59601 274424 3316861 14.04 14.78
48730.56/1527.76 c N dy 4973 1554804 17374 46575 611603 79811 274424 5881258 14.06 15.19
49347.38/1547.01 c Finding binary XORs T: 0.39 s found: 0
49392.14/1548.41 c N dy 5040 1575702 17371 46547 627069 100516 274326 8630967 14.06 14.88
49983.46/1566.91 c Finding binary XORs T: 0.39 s found: 0
50136.87/1571.76 c N dy 5068 1598901 17370 46543 654718 66094 274310 4362636 14.03 14.96
50389.97/1579.64 c Finding binary XORs T: 0.39 s found: 0
50731.30/1590.38 c N dy 5096 1621748 17368 46511 666103 88691 274230 7556668 14.00 14.75
50747.27/1590.89 c Finding binary XORs T: 0.39 s found: 2
51571.89/1616.63 c N dy 5117 1648764 17366 46510 685018 115250 274208 9932572 13.95 14.82
51977.81/1629.34 c Finding binary XORs T: 0.38 s found: 0
52186.20/1635.83 c N dy 5182 1669160 17362 46459 696521 77164 274063 5682598 13.95 14.70
52380.54/1641.95 c Finding binary XORs T: 0.38 s found: 0
52799.23/1655.06 c N dy 5255 1690878 17361 46443 714517 98725 274023 8620711 13.95 14.77
53403.31/1673.96 c S st 5302 1710611 17360 46443 732023 118236 274023 11231934 13.93 10.27
53419.27/1674.42 c Finding binary XORs T: 0.37 s found: 0
53441.66/1675.19 c S st 5302 1711117 17359 46415 732016 118740 273951 11288925 13.93 no data
53444.86/1675.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
54071.35/1694.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5818 BRemL: 13812 BRemN: 14 P: 200.0M T: 19.55
54074.54/1694.96 c Replacing 2 vars Replaced 84 lits Time: 0.11 s
54077.75/1695.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
54081.56/1695.13 c bin-w-bin subsume rem 22955 bins time: 0.11 s
54084.76/1695.26 c subs with bin: 50 lits-rem: 55 v-fix: 0 time: 0.14 s
54103.31/1695.80 c Subs w/ non-existent bins: 6 l-rem: 4 v-fix: 0 done: 17357 time: 0.53 s
54103.31/1695.88 c Removed useless bin: 128 fixed: 0 props: 2.51M time: 0.08 s
54112.91/1696.11 c lits-rem: 0 cl-subs: 73 v-elim: 17 v-fix: 0 time: 0.23 s
54211.97/1699.23 c subs with bin: 7 lits-rem: 675 v-fix: 0 time: 2.47 s
54442.09/1706.40 c lits-rem: 992 cl-subs: 2435 v-elim: 0 v-fix: 0 time: 7.15 s
54448.49/1706.65 c vivif2 -- cl tried 46325 cl shrink 92 lits rem 102 time: 0.24
54528.39/1709.12 c vivif2 -- cl tried 102945 cl shrink 38681 lits rem 1756891 time: 2.45
54560.35/1710.14 c asymm cl-useful: 1/836/46308 lits-rem:3 time: 1.02
54563.55/1710.28 c calculated reachability. Time: 0.10
54563.55/1710.28 c N dy 5302 1711117 17340 46307 699413 102938 273131 6484581 13.93 no data
54758.47/1716.32 c Finding binary XORs T: 0.40 s found: 0
55129.27/1727.91 c N dy 5375 1731187 17335 46279 727523 70081 273051 5168696 13.93 17.83
55491.05/1739.24 c Finding binary XORs T: 0.40 s found: 0
55717.39/1746.30 c N dy 5430 1752712 17333 46235 735041 91409 272929 8231671 13.92 14.69
56340.65/1765.87 c N dy 5508 1772834 17333 46235 735586 111377 272929 11117942 13.93 14.83
56899.99/1783.34 c N dy 5578 1792865 17333 46235 738717 74209 272929 5282012 13.93 16.59
57149.28/1791.14 c Finding binary XORs T: 0.40 s found: 0
57495.13/1801.93 c N dy 5638 1812947 17332 46229 736335 94079 272907 7972611 13.93 25.19
58140.12/1822.15 c N dy 5707 1834322 17332 46229 736369 115245 272907 10901761 13.92 14.83
58441.19/1831.57 c Finding binary XORs T: 0.40 s found: 0
58852.89/1844.47 c N dy 5763 1856364 17327 46153 740232 75887 272714 5377911 13.92 14.66
59412.26/1861.95 c N dy 5828 1876928 17326 46153 740262 96264 272714 7623957 13.91 14.91
59645.56/1869.28 c Finding binary XORs T: 0.40 s found: 0
60026.51/1881.18 c N dy 5916 1896960 17326 46143 753325 116082 272686 10016642 13.92 14.76
60553.89/1897.69 c N dy 5994 1917035 17326 46143 753358 75127 272686 5174632 13.93 20.97
61237.25/1919.10 c N dy 6048 1937174 17326 46143 753389 95017 272686 7637660 13.92 15.98
61528.11/1928.17 c Finding binary XORs T: 0.40 s found: 0
61914.81/1940.30 c N dy 6124 1958477 17325 46137 757468 116066 272666 10030013 13.92 14.78
62506.06/1958.76 c Finding binary XORs T: 0.40 s found: 0
62605.14/1961.85 c N dy 6218 1978577 17325 46137 769068 73447 272666 4954334 13.94 15.14
63241.20/1981.71 c N dy 6289 2001556 17325 46137 771847 96209 272666 8026352 13.94 14.82
63282.75/1983.10 c Finding binary XORs T: 0.40 s found: 0
63944.35/2003.71 c N dy 6377 2022662 17325 46137 776752 117045 272666 10375758 13.95 14.81
64526.63/2021.92 c N dy 6457 2042745 17325 46137 776796 73001 272666 4655290 13.95 19.97
65101.34/2039.90 c N dy 6546 2062794 17325 46137 776812 92853 272666 7278396 13.96 14.81
65711.79/2059.01 c N dy 6608 2082860 17324 46137 776834 112741 272666 9475809 13.96 17.03
66038.46/2069.23 c Finding binary XORs T: 0.40 s found: 0
66382.98/2080.10 c Finding binary XORs T: 0.40 s found: 0
66418.15/2081.11 c N dy 6674 2102903 17321 46101 797502 67470 272560 4009838 13.96 21.61
67063.74/2101.36 c N dy 6739 2122978 17321 46101 804330 87354 272560 6259120 13.96 19.24
67191.61/2105.38 c Finding binary XORs T: 0.40 s found: 0
67738.16/2122.49 c N dy 6811 2143427 17320 46101 822232 107620 272560 8954341 13.97 14.76
68326.18/2140.81 c Finding binary XORs T: 0.39 s found: 0
68496.22/2146.21 c N dy 6905 2165316 17319 46087 827423 129367 272516 12245322 13.97 14.74
69112.48/2165.45 c N dy 6963 2186294 17319 46087 829287 83868 272516 5970308 13.96 15.10
69911.55/2190.44 c N dy 7023 2208459 17318 46087 829341 105819 272516 8490489 13.96 14.75
69927.54/2190.93 c Finding binary XORs T: 0.38 s found: 0
70020.23/2193.84 c S st 7045 2211119 17318 46071 836745 108465 272476 8888707 13.96 14.30
70039.41/2194.49 c S st 7045 2211623 17318 46071 836745 108969 272476 8961710 13.96 no data
70043.20/2194.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
70707.45/2215.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2748 BRemL: 15777 BRemN: 21 P: 200.0M T: 20.83
70711.26/2215.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
70714.48/2215.58 c bin-w-bin subsume rem 14743 bins time: 0.11 s
70720.22/2215.73 c subs with bin: 49 lits-rem: 129 v-fix: 0 time: 0.15 s
70736.21/2216.29 c Subs w/ non-existent bins: 2 l-rem: 3 v-fix: 0 done: 17318 time: 0.55 s
70739.41/2216.37 c Removed useless bin: 64 fixed: 0 props: 2.45M time: 0.08 s
70746.40/2216.61 c lits-rem: 0 cl-subs: 88 v-elim: 21 v-fix: 0 time: 0.25 s
70857.66/2220.03 c subs with bin: 7 lits-rem: 2 v-fix: 0 time: 2.85 s
71084.62/2227.14 c lits-rem: 905 cl-subs: 2209 v-elim: 0 v-fix: 0 time: 7.08 s
71091.02/2227.39 c vivif2 -- cl tried 45979 cl shrink 38 lits rem 38 time: 0.25
71168.34/2229.73 c vivif2 -- cl tried 103660 cl shrink 33164 lits rem 1613102 time: 2.33
71199.66/2230.74 c asymm cl-useful: 1/1065/45970 lits-rem:3 time: 1.00
71203.48/2230.88 c calculated reachability. Time: 0.11
71203.48/2230.88 c N dy 7045 2211623 17297 45969 804052 103654 271755 6492889 13.96 no data
71347.33/2235.33 c Finding binary XORs T: 0.41 s found: 0
72085.68/2258.44 c N dy 7102 2235669 17295 45961 828363 127399 271720 8776023 13.95 14.72
72180.95/2261.42 c Finding binary XORs T: 0.41 s found: 0
72724.28/2278.48 c N dy 7169 2258023 17294 45961 833484 83859 271720 5603541 13.95 14.72
74993.66/2349.41 c Finding binary XORs T: 0.41 s found: 0
75012.84/2350.04 c N dy 7226 2314512 17286 45875 841212 64957 271472 3971714 13.87 14.64
75572.16/2367.54 c N dy 7310 2334600 17285 45875 841222 84844 271472 6607279 13.88 17.64
76246.55/2388.69 c N dy 7400 2355663 17285 45875 842123 105726 271472 9103568 13.89 14.69
76949.70/2410.63 c N dy 7518 2376254 17283 45875 842386 126168 271472 12184418 13.91 14.68
77576.16/2430.30 c N dy 7658 2396713 17283 45875 844108 81134 271472 6091437 13.94 14.82
77828.66/2438.16 c Finding binary XORs T: 0.41 s found: 0
78200.01/2449.79 c N dy 7751 2417205 17282 45851 847146 101442 271400 8887736 13.95 14.80
78832.86/2469.58 c N dy 7815 2437628 17282 45851 850273 121709 271400 11650078 13.95 14.74
79171.07/2480.20 c Finding binary XORs T: 0.41 s found: 0
79481.08/2489.84 c N dy 7888 2457757 17281 45841 856781 73282 271372 4563966 13.95 14.76
80053.18/2507.71 c N dy 7975 2478128 17280 45841 856809 93402 271372 6926072 13.96 14.71
80676.40/2527.20 c N dy 8067 2498398 17279 45841 857301 113477 271372 9532076 13.96 14.76
81341.17/2548.07 c N dy 8160 2518457 17279 45841 858159 133287 271372 11823008 13.97 25.78
82015.58/2569.19 c N dy 8266 2540847 17278 45841 858179 85169 271372 5831108 13.98 14.77
82715.57/2591.08 c N dy 8359 2562311 17274 45841 858472 106429 271372 8167317 13.99 14.95
82859.40/2595.54 c Finding binary XORs T: 0.41 s found: 0
83418.69/2613.00 c N dy 8414 2583302 17272 45781 861222 126727 271180 10989606 13.98 14.73
84137.82/2635.53 c N dy 8504 2604113 17271 45781 861279 75803 271180 4468115 13.99 14.98
84719.56/2653.74 c N dy 8590 2624127 17271 45781 862872 95584 271180 6652603 13.99 20.83
84757.92/2654.98 c Finding binary XORs T: 0.41 s found: 0
85298.05/2671.90 c N dy 8652 2644129 17270 45761 866389 115402 271122 9235855 13.99 17.38
85953.24/2692.39 c N dy 8747 2664711 17270 45761 871539 135750 271122 11724999 14.00 14.75
86413.50/2706.72 c Finding binary XORs T: 0.40 s found: 0
86624.47/2713.39 c N dy 8851 2684797 17270 45745 877023 82822 271082 5349846 14.01 15.03
87094.89/2728.05 c Finding binary XORs T: 0.39 s found: 0
87222.14/2732.02 c N dy 8952 2704825 17269 45739 878526 102715 271060 8406152 14.03 14.81
87429.89/2738.51 c S st 8982 2711626 17269 45739 878662 109452 271060 9080262 14.03 13.18
87455.45/2739.34 c S st 8982 2712130 17269 45739 878663 109952 271060 9143833 14.03 no data
87458.65/2739.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
88091.49/2759.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1415 BRemL: 10086 BRemN: 5 P: 200.0M T: 19.79
88091.49/2759.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
88097.89/2759.41 c bin-w-bin subsume rem 14925 bins time: 0.12 s
88101.08/2759.56 c subs with bin: 60 lits-rem: 318 v-fix: 0 time: 0.16 s
88120.23/2760.10 c Subs w/ non-existent bins: 2 l-rem: 3 v-fix: 0 done: 17269 time: 0.53 s
88120.23/2760.18 c Removed useless bin: 75 fixed: 0 props: 2.37M time: 0.08 s
88129.84/2760.44 c lits-rem: 6 cl-subs: 149 v-elim: 22 v-fix: 0 time: 0.26 s
88235.32/2763.71 c subs with bin: 2 lits-rem: 20 v-fix: 0 time: 2.70 s
88506.99/2772.24 c lits-rem: 1080 cl-subs: 1982 v-elim: 0 v-fix: 0 time: 8.51 s
88513.38/2772.48 c vivif2 -- cl tried 45588 cl shrink 43 lits rem 43 time: 0.24
88586.89/2774.71 c vivif2 -- cl tried 104428 cl shrink 27256 lits rem 1657630 time: 2.21
88615.65/2775.69 c asymm cl-useful: 0/1337/45575 lits-rem:0 time: 0.97
88622.04/2775.84 c calculated reachability. Time: 0.11
88622.04/2775.84 c N dy 8982 2712130 17247 45575 850415 104425 269901 6630433 14.03 no data
89251.68/2795.52 c N dy 9051 2732209 17245 45575 854483 124291 269901 9019560 14.03 16.81
89830.20/2813.60 c Finding binary XORs T: 0.42 s found: 0
90060.31/2820.86 c N dy 9154 2754466 17245 45563 856366 73976 269861 4111215 14.04 14.88
90613.83/2838.17 c N dy 9246 2774591 17243 45563 857041 93891 269861 6463120 14.05 14.92
91226.82/2857.34 c N dy 9321 2794789 17243 45563 860159 113911 269861 9201060 14.06 14.90
91990.57/2881.20 c N dy 9386 2815402 17243 45563 860353 134313 269861 11677218 14.05 14.87
92712.81/2903.87 c N dy 9459 2835495 17241 45563 860870 79957 269861 4771412 14.06 25.61
93348.82/2923.78 c N dy 9518 2855724 17241 45563 860889 100017 269861 7505058 14.05 14.81
93646.03/2933.04 c Finding binary XORs T: 0.44 s found: 0
94061.57/2946.09 c N dy 9612 2875776 17241 45539 864804 119831 269779 10270786 14.06 23.21
94825.45/2969.98 c N dy 9692 2896137 17241 45539 864830 140065 269779 13140163 14.06 14.84
95538.14/2992.26 c Finding binary XORs T: 0.43 s found: 0
95567.54/2993.21 c N dy 9756 2916225 17241 45539 878947 84131 269779 5202893 14.05 15.28
96200.34/3012.99 c N dy 9861 2936281 17241 45539 879227 104009 269779 8143925 14.07 14.81
96998.75/3037.99 c N dy 9943 2959893 17241 45539 879258 127325 269779 10547977 14.07 15.11
97747.30/3061.38 c N dy 10040 2979976 17240 45539 880438 147270 269779 13312924 14.08 16.78
98411.52/3082.20 c N dy 10129 3000150 17239 45539 880454 90257 269779 5687539 14.08 15.16
99037.96/3101.78 c N dy 10202 3020213 17238 45539 883839 110126 269779 8349510 14.09 25.16
99824.88/3126.37 c N dy 10288 3042610 17238 45539 883857 132306 269779 11088006 14.09 14.85
100102.94/3135.10 c Finding binary XORs T: 0.43 s found: 0
100712.81/3154.20 c N dy 10396 3064280 17236 45523 888925 153774 269721 13875805 14.10 14.85
101310.48/3172.89 c Finding binary XORs T: 0.43 s found: 0
101355.23/3174.26 c N dy 10467 3084640 17236 45501 891673 95874 269661 6789817 14.11 14.90
101991.21/3194.12 c N dy 10542 3104833 17236 45501 892225 115969 269661 10017972 14.11 14.95
102691.17/3216.07 c N dy 10626 3125153 17236 45501 895264 136075 269661 12593026 14.12 15.25
103478.06/3240.62 c N dy 10662 3148939 17235 45501 896051 80451 269661 4435712 14.11 14.92
103493.45/3241.14 c Finding binary XORs T: 0.42 s found: 0
104139.06/3261.34 c N dy 10768 3169041 17235 45493 899425 100355 269637 6927944 14.12 32.15
104817.22/3282.53 c N dy 10870 3189062 17234 45493 902509 120167 269637 9274014 14.13 14.90
105570.88/3306.18 c N dy 10971 3209081 17234 45493 902545 139978 269637 11799891 14.14 15.01
105698.73/3310.14 c S st 10986 3212131 17234 45493 904746 143002 269637 12158181 14.14 15.46
105724.32/3310.93 c S st 10986 3212638 17234 45493 904746 143509 269637 12240639 14.14 no data
105728.10/3311.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
106382.75/3331.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 942 BRemL: 31597 BRemN: 27 P: 200.1M T: 20.54
106385.94/3331.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
106389.15/3331.76 c bin-w-bin subsume rem 4359 bins time: 0.11 s
106396.16/3331.93 c subs with bin: 8 lits-rem: 123 v-fix: 0 time: 0.17 s
106411.52/3332.49 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 17234 time: 0.56 s
106414.71/3332.58 c Removed useless bin: 28 fixed: 0 props: 2.45M time: 0.08 s
106427.50/3332.90 c lits-rem: 0 cl-subs: 67 v-elim: 9 v-fix: 0 time: 0.32 s
106548.97/3336.77 c subs with bin: 1 lits-rem: 21 v-fix: 0 time: 2.93 s
107037.99/3352.03 c lits-rem: 957 cl-subs: 2467 v-elim: 0 v-fix: 0 time: 15.24 s
107047.55/3352.31 c vivif2 -- cl tried 45426 cl shrink 46 lits rem 46 time: 0.28
107169.61/3356.15 c vivif2 -- cl tried 134861 cl shrink 49970 lits rem 2712850 time: 3.82
107200.97/3357.19 c asymm cl-useful: 3/1197/45421 lits-rem:9 time: 1.03
107207.99/3357.35 c calculated reachability. Time: 0.12
107207.99/3357.35 c N dy 10986 3212638 17225 45418 869064 134858 269096 8665802 14.14 no data
107220.14/3357.79 c Finding binary XORs T: 0.44 s found: 0
107665.14/3371.66 c Finding binary XORs T: 0.44 s found: 0
108057.48/3383.99 c N dy 11084 3233024 17225 45418 880739 77911 269096 4269939 14.15 15.00
108693.56/3403.86 c N dy 11153 3253370 17225 45418 882504 98029 269096 6583832 14.15 14.98
109393.51/3425.70 c N dy 11237 3273463 17225 45418 884865 117853 269096 8931234 14.15 21.05
110138.19/3449.01 c N dy 11307 3293963 17225 45418 884874 138145 269096 11605069 14.15 15.19
110879.70/3472.28 c N dy 11341 3316188 17225 45418 884880 80633 269096 4438177 14.13 15.05
110896.28/3472.79 c Finding binary XORs T: 0.44 s found: 0
111547.73/3493.14 c N dy 11434 3337439 17224 45414 885334 101668 269076 7008777 14.14 14.91
112228.53/3514.41 c N dy 11522 3357964 17222 45414 885352 121971 269076 9240750 14.14 14.95
112947.66/3536.98 c N dy 11588 3378655 17222 45414 885359 142481 269076 11629791 14.14 14.90
113775.55/3562.87 c N dy 11645 3399686 17222 45414 885389 81857 269076 4450104 14.13 14.93
114392.37/3582.11 c N dy 11711 3419732 17221 45414 886939 101707 269076 6623754 14.13 19.97
115127.48/3605.13 c N dy 11795 3439989 17221 45414 886966 121787 269076 9285979 14.13 15.02
115888.77/3629.01 c N dy 11847 3460988 17221 45414 888472 142610 269076 11871109 14.13 15.00
116170.04/3637.74 c Finding binary XORs T: 0.44 s found: 0
116802.95/3657.58 c N dy 11954 3481053 17221 45378 900513 162399 268980 14223915 14.13 20.22
117537.48/3680.61 c N dy 12039 3501155 17221 45378 904599 99495 268980 6405601 14.14 24.04
117726.07/3686.45 c Finding binary XORs T: 0.44 s found: 0
118288.59/3704.08 c N dy 12108 3521462 17220 45372 907883 119548 268960 8460819 14.14 14.94
119141.96/3730.76 c N dy 12179 3541881 17220 45372 907909 139726 268960 11022016 14.14 14.92
119953.83/3756.14 c N dy 12239 3561922 17219 45372 912550 159559 268960 13827348 14.14 19.82
120213.35/3764.30 c Finding binary XORs T: 0.44 s found: 0
120759.26/3781.30 c N dy 12318 3581936 17219 45366 912996 77706 268940 6067377 14.14 14.93
121491.18/3804.24 c N dy 12435 3602009 17218 45366 916474 97646 268940 9076456 14.16 15.85
122267.85/3828.55 c N dy 12511 3622156 17218 45366 918616 117620 268940 12155369 14.16 14.98
122628.99/3839.82 c Finding binary XORs T: 0.43 s found: 0
123131.41/3855.59 c N dy 12611 3642930 17218 45352 920531 138199 268904 15365230 14.17 15.06
123859.48/3878.38 c N dy 12693 3662947 17218 45352 923838 81917 268904 5764291 14.18 21.30
124581.75/3900.94 c N dy 12790 3682950 17216 45352 925407 101761 268904 9216686 14.19 15.30
125303.95/3923.55 c Finding binary XORs T: 0.42 s found: 0
125371.07/3925.62 c N dy 12890 3703501 17214 45318 925455 122105 268800 12233621 14.21 15.01
125764.05/3937.93 c S st 12938 3712638 17214 45318 925497 131175 268800 13711266 14.21 8.92
125792.80/3938.86 c S st 12938 3713142 17214 45318 925497 131678 268800 13795466 14.21 no data
125796.00/3938.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
126563.11/3962.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2024 BRemL: 10216 BRemN: 9 P: 200.0M T: 23.98
126566.31/3963.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
126569.51/3963.16 c bin-w-bin subsume rem 8947 bins time: 0.13 s
126576.50/3963.33 c subs with bin: 15 lits-rem: 24 v-fix: 0 time: 0.18 s
126591.87/3963.89 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 17214 time: 0.55 s
126595.09/3963.97 c Removed useless bin: 40 fixed: 0 props: 2.39M time: 0.08 s
126604.66/3964.30 c lits-rem: 0 cl-subs: 35 v-elim: 14 v-fix: 0 time: 0.33 s
126738.91/3968.42 c subs with bin: 2 lits-rem: 44 v-fix: 0 time: 3.12 s
127179.97/3982.21 c lits-rem: 359 cl-subs: 1917 v-elim: 0 v-fix: 0 time: 13.75 s
127186.36/3982.48 c vivif2 -- cl tried 45301 cl shrink 28 lits rem 28 time: 0.27
127288.61/3985.65 c vivif2 -- cl tried 126726 cl shrink 46223 lits rem 3443517 time: 3.16
127323.78/3986.79 c asymm cl-useful: 1/875/45297 lits-rem:3 time: 1.13
127330.17/3986.95 c calculated reachability. Time: 0.12
127330.17/3986.95 c N dy 12938 3713142 17200 45296 906460 126716 268510 9389061 14.21 no data
128240.93/4015.40 c N dy 13030 3733687 17199 45296 907730 147070 268510 12693969 14.22 15.07
128972.62/4038.37 c F st 13082 3751563 17199 45296 908107 84575 268510 5546696 14.21 11.76
129075.54/4041.53 c N st 13087 3754863 17199 45290 907665 87849 268490 6232310 14.21 no data
129768.45/4063.26 c N dy 13162 3774926 17198 45290 908102 107739 268490 9306159 14.21 23.81
130509.96/4086.51 c N dy 13239 3794993 17198 45290 908125 127663 268490 12270243 14.21 14.97
131360.64/4113.04 c N dy 13311 3815578 17198 45290 908141 148099 268490 15139000 14.21 15.07
132302.72/4142.55 c N dy 13414 3837718 17197 45290 908169 85835 268490 5399952 14.22 15.03
133012.83/4164.76 c N dy 13496 3857899 17196 45290 908911 105823 268490 8497632 14.23 15.08
133338.25/4174.99 c Finding binary XORs T: 0.44 s found: 0
133801.67/4189.45 c N dy 13611 3878310 17196 45273 909173 126077 268433 11702491 14.24 15.24
134504.81/4211.50 c N dy 13655 3898361 17196 45273 909515 145962 268433 14528912 14.23 20.16
135316.55/4236.89 c N dy 13736 3918459 17196 45273 911679 165863 268433 17493517 14.24 30.73
136093.17/4261.19 c N dy 13807 3938814 17196 45273 913795 99250 268433 7356644 14.24 15.29
136275.31/4266.83 c Finding binary XORs T: 0.44 s found: 0
137064.66/4291.51 c N dy 13892 3964803 17196 45273 916898 125004 268433 11399917 14.24 15.00
138090.62/4323.65 c N dy 13937 3991264 17196 45273 918230 150935 268433 14891192 14.23 15.05
138979.03/4351.44 c N dy 14027 4011281 17195 45273 918956 170752 268433 18000425 14.23 15.05
139746.11/4375.44 c N dy 14107 4031356 17195 45273 919491 102342 268433 7512424 14.24 25.54
140509.91/4399.39 c N dy 14199 4051872 17195 45273 920403 122638 268433 10474437 14.24 14.99
141363.33/4426.08 c N dy 14267 4071891 17195 45273 921037 142438 268433 13492191 14.24 15.27
142146.34/4450.58 c Finding binary XORs T: 0.44 s found: 0
142296.56/4455.25 c N dy 14347 4092983 17195 45267 922567 163306 268413 16474551 14.24 15.05
143210.53/4483.85 c N dy 14446 4113012 17194 45267 923456 93510 268413 5868206 14.25 20.53
143987.17/4508.18 c N dy 14583 4133697 17193 45267 927499 113998 268413 8990721 14.26 15.17
144766.98/4532.55 c N dy 14690 4153703 17193 45267 928401 133810 268413 12126001 14.27 23.88
145585.14/4558.16 c N dy 14766 4173800 17193 45267 928780 153560 268413 14664458 14.27 25.45
146550.30/4588.36 c N dy 14838 4195412 17193 45267 928803 174892 268413 17760687 14.27 15.17
147064.72/4604.47 c Finding binary XORs T: 0.42 s found: 0
147250.67/4610.29 c S st 14892 4213144 17193 45251 929004 101684 268363 7221653 14.27 no data
147278.83/4611.10 c S st 14892 4213646 17193 45251 929317 102186 268363 7288320 14.27 no data
147278.83/4611.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
148029.95/4634.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 478 BRemL: 67308 BRemN: 13 P: 200.0M T: 23.46
148033.17/4634.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
148036.36/4634.84 c bin-w-bin subsume rem 3220 bins time: 0.11 s
148042.75/4635.01 c subs with bin: 8 lits-rem: 176 v-fix: 0 time: 0.17 s
148059.36/4635.56 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 0 done: 17193 time: 0.55 s
148061.92/4635.64 c Removed useless bin: 19 fixed: 0 props: 2.19M time: 0.08 s
148071.56/4635.92 c lits-rem: 5 cl-subs: 88 v-elim: 14 v-fix: 0 time: 0.28 s
148170.61/4639.02 c subs with bin: 3 lits-rem: 26 v-fix: 0 time: 2.64 s
148308.06/4643.36 c lits-rem: 496 cl-subs: 1634 v-elim: 0 v-fix: 0 time: 4.31 s
148317.67/4643.63 c vivif2 -- cl tried 45185 cl shrink 29 lits rem 31 time: 0.27
148365.62/4645.11 c vivif2 -- cl tried 98902 cl shrink 12672 lits rem 725152 time: 1.47
148400.78/4646.26 c asymm cl-useful: 2/1419/45180 lits-rem:6 time: 1.16
148407.78/4646.43 c calculated reachability. Time: 0.12
148407.78/4646.43 c N dy 14892 4213646 17179 45178 857105 98902 267776 6085715 14.27 no data
149171.03/4670.35 c N dy 14997 4234023 17179 45178 860112 119081 267776 8985332 14.28 15.33
149963.67/4695.12 c N dy 15087 4254820 17179 45178 860125 139696 267776 12152641 14.28 15.21
150733.78/4719.25 c N dy 15108 4279058 17179 45178 860128 163861 267776 16672356 14.27 15.10
151657.45/4748.14 c N dy 15206 4299063 17179 45178 860166 92483 267776 5479586 14.27 25.98
152478.91/4773.82 c N dy 15287 4322365 17178 45178 860179 115438 267776 8391697 14.27 15.17
153268.38/4798.52 c N dy 15376 4342396 17176 45178 861538 135217 267776 11120802 14.28 15.05
153825.14/4815.94 c Finding binary XORs T: 0.44 s found: 0
154192.05/4827.46 c N dy 15483 4362619 17176 45150 865884 155230 267696 13795632 14.29 15.05
155161.14/4857.76 c N dy 15594 4383707 17176 45150 867992 176121 267696 16899835 14.30 15.07
155294.72/4861.92 c Finding binary XORs T: 0.44 s found: 0
156023.44/4884.78 c N dy 15672 4403744 17176 45150 873678 103392 267696 6830017 14.30 15.07
156787.17/4908.67 c N dy 15772 4423784 17176 45150 875078 123203 267696 9696029 14.31 26.47
157653.91/4935.80 c N dy 15865 4444057 17176 45150 876937 143238 267696 12639220 14.31 15.23
158673.42/4967.62 c N dy 15960 4466793 17175 45150 877841 165690 267696 15492895 14.32 15.17
159576.73/4995.94 c Finding binary XORs T: 0.44 s found: 0
159653.30/4998.34 c N dy 16042 4486848 17174 45130 878092 185541 267644 18375964 14.32 17.35
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-3400617-1306235090/watcher-3400617-1306235090 -o /tmp/evaluation-result-3400617-1306235090/solver-3400617-1306235090 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400617-1306235090.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.54 31.53 30.35 1/413 7917
/proc/meminfo: memFree=255160404/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=338000 CPUtime=0.84 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) R 7915 7917 7891 0 -1 4202496 437 0 0 0 84 0 0 0 22 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/7917/statm: 84500 377 297 95 0 79482 0
[pid=7917/tid=7918] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7918/stat : 7918 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7919/stat : 7919 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7920/stat : 7920 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7921/stat : 7921 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738864 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7922/stat : 7922 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7923/stat : 7923 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7924/stat : 7924 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7925/stat : 7925 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7926/stat : 7926 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7927/stat : 7927 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7928/stat : 7928 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7917/tid=7929] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7929/stat : 7929 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=7917/tid=7930] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7930/stat : 7930 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7917/tid=7931] ppid=7915 vsize=338000 CPUtime=0.03 cores=0-31
/proc/7917/task/7931/stat : 7931 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7917/tid=7932] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7932/stat : 7932 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738856 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7933] ppid=7915 vsize=338000 CPUtime=0 cores=0-31
/proc/7917/task/7933/stat : 7933 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=338000 CPUtime=0.01 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=7917/tid=7935] ppid=7915 vsize=338000 CPUtime=0.01 cores=0-31
/proc/7917/task/7935/stat : 7935 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=7917/tid=7936] ppid=7915 vsize=338000 CPUtime=0.01 cores=0-31
/proc/7917/task/7936/stat : 7936 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7917/tid=7937] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7937/stat : 7937 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=7917/tid=7938] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7938/stat : 7938 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 734995476 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738870 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7917/tid=7939] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7939/stat : 7939 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738856 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=7917/tid=7940] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7940/stat : 7940 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=7917/tid=7941] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7941/stat : 7941 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7917/tid=7942] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7942/stat : 7942 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738870 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=7917/tid=7943] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7943/stat : 7943 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=7917/tid=7944] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7944/stat : 7944 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7917/tid=7945] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7945/stat : 7945 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738860 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=7917/tid=7946] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7946/stat : 7946 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738864 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7917/tid=7947] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7947/stat : 7947 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738856 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=7917/tid=7948] ppid=7915 vsize=338000 CPUtime=0.02 cores=0-31
/proc/7917/task/7948/stat : 7948 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 734995477 346112000 377 268435456000 4194304 4580107 140737027070032 18446744073709551615 47186454738866 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.107946 s]
/proc/loadavg: 29.54 31.53 30.35 1/413 7917
/proc/meminfo: memFree=255160404/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=986708 CPUtime=2.61 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) D 7915 7917 7891 0 -1 4202496 8962 0 0 0 181 80 0 0 23 0 32 0 734995476 1010388992 8831 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/7917/statm: 242573 8845 333 95 0 237555 0
[pid=7917/tid=7918] ppid=7915 vsize=970292 CPUtime=0.08 cores=0-31
/proc/7917/task/7918/stat : 7918 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 244 0 0 0 6 2 0 0 24 0 32 0 734995476 993579008 8848 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=970292 CPUtime=0.07 cores=0-31
/proc/7917/task/7919/stat : 7919 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 237 0 0 0 5 2 0 0 24 0 32 0 734995476 993579008 8862 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=970292 CPUtime=0.08 cores=0-31
/proc/7917/task/7920/stat : 7920 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 250 0 0 0 6 2 0 0 19 0 32 0 734995476 993579008 8865 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=978496 CPUtime=0.08 cores=0-31
/proc/7917/task/7921/stat : 7921 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 261 0 0 0 6 2 0 0 19 0 32 0 734995476 1001979904 8872 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=978496 CPUtime=0.07 cores=0-31
/proc/7917/task/7922/stat : 7922 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 261 0 0 0 5 2 0 0 19 0 32 0 734995476 1001979904 8892 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=978496 CPUtime=0.07 cores=0-31
/proc/7917/task/7923/stat : 7923 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 264 0 0 0 5 2 0 0 19 0 32 0 734995476 1001979904 8893 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1109568 CPUtime=0.08 cores=0-31
/proc/7917/task/7924/stat : 7924 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 273 0 0 0 6 2 0 0 19 0 32 0 734995476 1136197632 8910 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1117772 CPUtime=0.08 cores=0-31
/proc/7917/task/7925/stat : 7925 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 734995476 1144598528 8916 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7926/stat : 7926 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 270 0 0 0 6 2 0 0 20 0 32 0 734995476 1077489664 8931 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7927/stat : 7927 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 264 0 0 0 6 2 0 0 21 0 32 0 734995476 1077489664 8945 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7928/stat : 7928 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 257 0 0 0 6 2 0 0 21 0 32 0 734995476 1077489664 8950 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7917/tid=7929] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7929/stat : 7929 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 272 0 0 0 6 2 0 0 21 0 32 0 734995476 1077489664 8954 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=7917/tid=7930] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7930/stat : 7930 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 251 0 0 0 6 2 0 0 21 0 32 0 734995476 1077489664 8960 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7917/tid=7931] ppid=7915 vsize=1052236 CPUtime=0.08 cores=0-31
/proc/7917/task/7931/stat : 7931 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 253 0 0 0 6 2 0 0 21 0 32 0 734995476 1077489664 8990 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7917/tid=7932] ppid=7915 vsize=1052236 CPUtime=0.06 cores=0-31
/proc/7917/task/7932/stat : 7932 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 260 0 0 0 4 2 0 0 22 0 32 0 734995476 1077489664 8992 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=7917/tid=7933] ppid=7915 vsize=1060440 CPUtime=0.03 cores=0-31
/proc/7917/task/7933/stat : 7933 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 319 0 0 0 1 2 0 0 18 0 32 0 734995476 1085890560 9005 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=1060440 CPUtime=0.06 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 266 0 0 0 4 2 0 0 17 0 32 0 734995476 1085890560 9016 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 29 0 0 0
[pid=7917/tid=7935] ppid=7915 vsize=1060440 CPUtime=0.06 cores=0-31
/proc/7917/task/7935/stat : 7935 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 266 0 0 0 4 2 0 0 18 0 32 0 734995476 1085890560 9024 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604483589488096 0 0 -1 23 0 0 0
[pid=7917/tid=7936] ppid=7915 vsize=1068644 CPUtime=0.06 cores=0-31
/proc/7917/task/7936/stat : 7936 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 734995476 1094291456 9024 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7917/tid=7937] ppid=7915 vsize=1068644 CPUtime=0.07 cores=0-31
/proc/7917/task/7937/stat : 7937 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 301 0 0 0 5 2 0 0 18 0 32 0 734995476 1094291456 9025 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=7917/tid=7938] ppid=7915 vsize=1068644 CPUtime=0.07 cores=0-31
/proc/7917/task/7938/stat : 7938 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 298 0 0 0 5 2 0 0 17 0 32 0 734995476 1094291456 9026 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604505023274464 0 0 -1 0 0 0 0
[pid=7917/tid=7939] ppid=7915 vsize=1068644 CPUtime=0.07 cores=0-31
/proc/7917/task/7939/stat : 7939 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 303 0 0 0 5 2 0 0 18 0 32 0 734995477 1094291456 9031 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604480161127904 0 0 -1 14 0 0 0
[pid=7917/tid=7940] ppid=7915 vsize=1142384 CPUtime=0.07 cores=0-31
/proc/7917/task/7940/stat : 7940 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 312 0 0 0 5 2 0 0 18 0 32 0 734995477 1169801216 9036 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566927184 0 0 -1 11 0 0 0
[pid=7917/tid=7941] ppid=7915 vsize=1142384 CPUtime=0.07 cores=0-31
/proc/7917/task/7941/stat : 7941 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 266 0 0 0 5 2 0 0 23 0 32 0 734995477 1169801216 9051 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566932744 0 0 -1 17 0 0 0
[pid=7917/tid=7942] ppid=7915 vsize=1142384 CPUtime=0.07 cores=0-31
/proc/7917/task/7942/stat : 7942 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 271 0 0 0 5 2 0 0 23 0 32 0 734995477 1169801216 9055 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604505990651360 0 0 -1 18 0 0 0
[pid=7917/tid=7943] ppid=7915 vsize=1085052 CPUtime=0.07 cores=0-31
/proc/7917/task/7943/stat : 7943 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 734995477 1111093248 9058 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566924464 0 0 -1 15 0 0 0
[pid=7917/tid=7944] ppid=7915 vsize=1085052 CPUtime=0.07 cores=0-31
/proc/7917/task/7944/stat : 7944 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 734995477 1111093248 9062 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7917/tid=7945] ppid=7915 vsize=1085052 CPUtime=0.07 cores=0-31
/proc/7917/task/7945/stat : 7945 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 290 0 0 0 5 2 0 0 23 0 32 0 734995477 1111093248 9069 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=7917/tid=7946] ppid=7915 vsize=1216124 CPUtime=0.07 cores=0-31
/proc/7917/task/7946/stat : 7946 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 246 0 0 0 5 2 0 0 24 0 32 0 734995477 1245310976 9079 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7917/tid=7947] ppid=7915 vsize=1216124 CPUtime=0.07 cores=0-31
/proc/7917/task/7947/stat : 7947 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 287 0 0 0 5 2 0 0 24 0 32 0 734995477 1245310976 9084 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=7917/tid=7948] ppid=7915 vsize=1216124 CPUtime=0.07 cores=0-31
/proc/7917/task/7948/stat : 7948 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 284 0 0 0 5 2 0 0 24 0 32 0 734995477 1245310976 9091 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 986708
[startup+0.203833 s]
/proc/loadavg: 29.54 31.53 30.35 1/413 7917
/proc/meminfo: memFree=255160404/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=1540260 CPUtime=3.48 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) R 7915 7917 7891 0 -1 4202496 25147 0 0 0 196 152 0 0 17 0 32 0 734995476 1577226240 22650 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/7917/statm: 385065 22682 335 95 0 380047 0
[pid=7917/tid=7918] ppid=7915 vsize=1540260 CPUtime=0.08 cores=0-31
/proc/7917/task/7918/stat : 7918 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 288 0 0 0 6 2 0 0 17 0 32 0 734995476 1577226240 22682 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566926864 0 0 -1 1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=1540260 CPUtime=0.11 cores=0-31
/proc/7917/task/7919/stat : 7919 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 833 0 0 0 6 5 0 0 17 0 32 0 734995476 1577226240 22689 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650653280 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=1540260 CPUtime=0.1 cores=0-31
/proc/7917/task/7920/stat : 7920 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 677 0 0 0 6 4 0 0 17 0 32 0 734995476 1577226240 22723 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604505342500320 0 0 -1 4 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=1540260 CPUtime=0.11 cores=0-31
/proc/7917/task/7921/stat : 7921 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 958 0 0 0 6 5 0 0 17 0 32 0 734995476 1577226240 22744 268435456000 4194304 4580107 140737027070032 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=1540400 CPUtime=0.11 cores=0-31
/proc/7917/task/7922/stat : 7922 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 779 0 0 0 6 5 0 0 17 0 32 0 734995476 1577369600 22761 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604480161127904 0 0 -1 12 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=1540400 CPUtime=0.12 cores=0-31
/proc/7917/task/7923/stat : 7923 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 820 0 0 0 6 6 0 0 17 0 32 0 734995476 1577369600 22761 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=1540540 CPUtime=0.11 cores=0-31
/proc/7917/task/7924/stat : 7924 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 803 0 0 0 6 5 0 0 17 0 32 0 734995476 1577512960 22761 268435456000 4194304 4580107 140737027070032 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=1540540 CPUtime=0.08 cores=0-31
/proc/7917/task/7925/stat : 7925 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 332 0 0 0 6 2 0 0 17 0 32 0 734995476 1577512960 22769 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446744071566931704 0 0 -1 5 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=1540540 CPUtime=0.11 cores=0-31
/proc/7917/task/7926/stat : 7926 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 1060 0 0 0 6 5 0 0 17 0 32 0 734995476 1577512960 22779 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=1540540 CPUtime=0.11 cores=0-31
/proc/7917/task/7927/stat : 7927 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 890 0 0 0 6 5 0 0 17 0 32 0 734995476 1577512960 22788 268435456000 4194304 4580107 140737027070032 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=1540540 CPUtime=0.09 cores=0-31
/proc/7917/task/7928/stat : 7928 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 528 0 0 0 6 3 0 0 17 0 32 0 734995476 1577512960 22826 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7917/tid=7929] ppid=7915 vsize=1540540 CPUtime=0.11 cores=0-31
/proc/7917/task/7929/stat : 7929 (strangenight2-m) S 7915 7917 7891 0 -1 4202560 881 0 0 0 6 5 0 0 17 0 32 0 734995476 1577512960 22839 268435456000 4194304 4580107 140737027070032 18446744073709551615 258651060958 0 0 4096 2 18446604483589488096 0 0 -1 10 0 0 0
[pid=7917/tid=7930] ppid=7915 vsize=1540540 CPUtime=0.09 cores=0-31
/proc/7917/task/7930/stat : 7930 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 469 0 0 0 6 3 0 0 17 0 32 0 734995476 1577512960 22846 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650653289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7917/tid=7931] ppid=7915 vsize=1540540 CPUtime=0.1 cores=0-31
/proc/7917/task/7931/stat : 7931 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 979 0 0 0 6 4 0 0 17 0 32 0 734995476 1577512960 22867 268435456000 4194304 4580107 140737027070032 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7917/tid=7932] ppid=7915 vsize=1540540 CPUtime=0.08 cores=0-31
/proc/7917/task/7932/stat : 7932 (strangenight2-m) D 7915 7917 7891 0 -1 4202560 541 0 0 0 5 3 0 0 17 0 32 0 734995476 1577512960 22947 268435456000 4194304 4580107 140737027070032 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7917/tid=7933] ppid=7915 vsize=1540540 CPUtime=0.06 cores=0-31
/proc/7917/task/7933/stat : 7933 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 924 0 0 0 1 5 0 0 17 0 32 0 734995476 1577512960 22957 268435456000 4194304 4580107 140737027070032 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=1540824 CPUtime=0.06 cores=0-31
################
# More data... #
################
[pid=7917/tid=7927] ppid=7915 vsize=26697248 CPUtime=4952.77 cores=0-31
/proc/7917/task/7927/stat : 7927 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 670284 0 0 0 494682 595 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=26697248 CPUtime=4954.38 cores=0-31
/proc/7917/task/7928/stat : 7928 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 638630 0 0 0 494857 581 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7917/tid=7929] ppid=7915 vsize=26697248 CPUtime=4957.79 cores=0-31
/proc/7917/task/7929/stat : 7929 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 650558 0 0 0 495157 622 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=7917/tid=7930] ppid=7915 vsize=26697248 CPUtime=4923.92 cores=0-31
/proc/7917/task/7930/stat : 7930 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 626484 0 0 0 491806 586 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7917/tid=7931] ppid=7915 vsize=26697248 CPUtime=4957.94 cores=0-31
/proc/7917/task/7931/stat : 7931 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 658515 0 0 0 495191 603 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4306352 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7917/tid=7932] ppid=7915 vsize=26697248 CPUtime=4954.69 cores=0-31
/proc/7917/task/7932/stat : 7932 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 645349 0 0 0 494847 622 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=7917/tid=7933] ppid=7915 vsize=26697248 CPUtime=4946.53 cores=0-31
/proc/7917/task/7933/stat : 7933 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 689261 0 0 0 494036 617 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=26697248 CPUtime=4944.01 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 794004 0 0 0 493731 670 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=7917/tid=7935] ppid=7915 vsize=26697248 CPUtime=4951.92 cores=0-31
/proc/7917/task/7935/stat : 7935 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 604051 0 0 0 494615 577 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7917/tid=7936] ppid=7915 vsize=26697248 CPUtime=4956.04 cores=0-31
/proc/7917/task/7936/stat : 7936 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 735924 0 0 0 494960 644 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=7917/tid=7937] ppid=7915 vsize=26697248 CPUtime=4955.37 cores=0-31
/proc/7917/task/7937/stat : 7937 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 599407 0 0 0 494947 590 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7917/tid=7938] ppid=7915 vsize=26697248 CPUtime=4957.93 cores=0-31
/proc/7917/task/7938/stat : 7938 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 720449 0 0 0 495177 616 0 0 25 0 32 0 734995476 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7939] ppid=7915 vsize=26697248 CPUtime=4950.15 cores=0-31
/proc/7917/task/7939/stat : 7939 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 595990 0 0 0 494487 528 0 0 25 0 32 0 734995477 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4317974 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=7917/tid=7940] ppid=7915 vsize=26697248 CPUtime=4950.33 cores=0-31
/proc/7917/task/7940/stat : 7940 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 671656 0 0 0 494417 616 0 0 25 0 32 0 734995477 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=7917/tid=7941] ppid=7915 vsize=26697248 CPUtime=4957.88 cores=0-31
/proc/7917/task/7941/stat : 7941 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 751352 0 0 0 495147 641 0 0 25 0 32 0 734995477 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7917/tid=7942] ppid=7915 vsize=26697248 CPUtime=4948.91 cores=0-31
/proc/7917/task/7942/stat : 7942 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 643867 0 0 0 494300 591 0 0 25 0 32 0 734995477 27337981952 5350514 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7917/tid=7943] ppid=7915 vsize=26697248 CPUtime=4955.51 cores=0-31
/proc/7917/task/7943/stat : 7943 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 652420 0 0 0 494968 583 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7917/tid=7944] ppid=7915 vsize=26697248 CPUtime=4957.79 cores=0-31
/proc/7917/task/7944/stat : 7944 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 796161 0 0 0 495088 691 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4325169 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7917/tid=7945] ppid=7915 vsize=26697248 CPUtime=4954.63 cores=0-31
/proc/7917/task/7945/stat : 7945 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 620734 0 0 0 494872 591 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=7917/tid=7946] ppid=7915 vsize=26697248 CPUtime=4954.22 cores=0-31
/proc/7917/task/7946/stat : 7946 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 676788 0 0 0 494815 607 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7917/tid=7947] ppid=7915 vsize=26697248 CPUtime=4957.94 cores=0-31
/proc/7917/task/7947/stat : 7947 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 663171 0 0 0 495190 604 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=7917/tid=7948] ppid=7915 vsize=26697248 CPUtime=4957.6 cores=0-31
/proc/7917/task/7948/stat : 7948 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 727468 0 0 0 495132 628 0 0 25 0 32 0 734995477 27337981952 5350515 268435456000 4194304 4580107 140737027070032 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 158503
Current children cumulated vsize (KiB) 26697248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5009.2 s]
/proc/loadavg: 32.37 32.11 32.03 33/445 8098
/proc/meminfo: memFree=233714856/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=26307584 CPUtime=160002 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) R 7915 7917 7891 0 -1 4202496 21916069 0 0 0 15980450 19734 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/7917/statm: 6576896 5351486 385 95 0 6571878 0
[pid=7917/tid=7918] ppid=7915 vsize=26307584 CPUtime=5004.6 cores=0-31
/proc/7917/task/7918/stat : 7918 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 655333 0 0 0 499836 624 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7917/tid=7919] ppid=7915 vsize=26307584 CPUtime=4999.62 cores=0-31
/proc/7917/task/7919/stat : 7919 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 820180 0 0 0 499247 715 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=7917/tid=7920] ppid=7915 vsize=26307584 CPUtime=5001.03 cores=0-31
/proc/7917/task/7920/stat : 7920 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 643155 0 0 0 499491 612 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=26307584 CPUtime=5003.76 cores=0-31
/proc/7917/task/7921/stat : 7921 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 709890 0 0 0 499760 616 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=26307584 CPUtime=5001.38 cores=0-31
/proc/7917/task/7922/stat : 7922 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 683912 0 0 0 499526 612 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=26307584 CPUtime=5003.78 cores=0-31
/proc/7917/task/7923/stat : 7923 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 704117 0 0 0 499741 637 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=26307584 CPUtime=4992.68 cores=0-31
/proc/7917/task/7924/stat : 7924 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 662735 0 0 0 498675 593 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=26307584 CPUtime=5001.96 cores=0-31
/proc/7917/task/7925/stat : 7925 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 694745 0 0 0 499597 599 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7917/tid=7926] ppid=7915 vsize=26307584 CPUtime=5003.73 cores=0-31
/proc/7917/task/7926/stat : 7926 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 716522 0 0 0 499756 617 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=7917/tid=7927] ppid=7915 vsize=26307584 CPUtime=4999.68 cores=0-31
/proc/7917/task/7927/stat : 7927 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 672563 0 0 0 499371 597 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=7917/tid=7928] ppid=7915 vsize=26307584 CPUtime=5001.29 cores=0-31
/proc/7917/task/7928/stat : 7928 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 642461 0 0 0 499545 584 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7917/tid=7929] ppid=7915 vsize=26307584 CPUtime=5004.59 cores=0-31
/proc/7917/task/7929/stat : 7929 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 653864 0 0 0 499835 624 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=7917/tid=7930] ppid=7915 vsize=26307584 CPUtime=4970.83 cores=0-31
/proc/7917/task/7930/stat : 7930 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 632817 0 0 0 496495 588 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=7917/tid=7931] ppid=7915 vsize=26307584 CPUtime=5004.82 cores=0-31
/proc/7917/task/7931/stat : 7931 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 663505 0 0 0 499874 608 0 0 25 0 32 0 734995476 26938966016 5351486 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=7917/tid=7932] ppid=7915 vsize=26307584 CPUtime=5001.59 cores=0-31
/proc/7917/task/7932/stat : 7932 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 649581 0 0 0 499535 624 0 0 25 0 32 0 734995476 26938966016 5351487 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=7917/tid=7933] ppid=7915 vsize=26307584 CPUtime=4993.44 cores=0-31
/proc/7917/task/7933/stat : 7933 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 693510 0 0 0 498723 621 0 0 25 0 32 0 734995476 26938966016 5351487 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=26307584 CPUtime=4990.75 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 798514 0 0 0 498402 673 0 0 25 0 32 0 734995476 26938966016 5351487 268435456000 4194304 4580107 140737027070032 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=7917/tid=7935] ppid=7915 vsize=26307584 CPUtime=4998.83 cores=0-31
/proc/7917/task/7935/stat : 7935 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 606172 0 0 0 499303 580 0 0 25 0 32 0 734995476 26938966016 5351487 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7917/tid=7936] ppid=7915 vsize=26307584 CPUtime=5001.76 cores=0-31
/proc/7917/task/7936/stat : 7936 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 739400 0 0 0 499529 647 0 0 25 0 32 0 734995476 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=7917/tid=7937] ppid=7915 vsize=26307584 CPUtime=5002.25 cores=0-31
/proc/7917/task/7937/stat : 7937 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 603239 0 0 0 499633 592 0 0 25 0 32 0 734995476 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=7917/tid=7938] ppid=7915 vsize=26307584 CPUtime=5004.83 cores=0-31
/proc/7917/task/7938/stat : 7938 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 724875 0 0 0 499864 619 0 0 25 0 32 0 734995476 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=7917/tid=7939] ppid=7915 vsize=26307584 CPUtime=4997.06 cores=0-31
/proc/7917/task/7939/stat : 7939 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 599135 0 0 0 499177 529 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=7917/tid=7940] ppid=7915 vsize=26307584 CPUtime=4997.25 cores=0-31
/proc/7917/task/7940/stat : 7940 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 675707 0 0 0 499105 620 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=7917/tid=7941] ppid=7915 vsize=26307584 CPUtime=5004.79 cores=0-31
/proc/7917/task/7941/stat : 7941 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 755960 0 0 0 499834 645 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=7917/tid=7942] ppid=7915 vsize=26307584 CPUtime=4995.82 cores=0-31
/proc/7917/task/7942/stat : 7942 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 647902 0 0 0 498988 594 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=7917/tid=7943] ppid=7915 vsize=26307584 CPUtime=5002.37 cores=0-31
/proc/7917/task/7943/stat : 7943 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 657004 0 0 0 499650 587 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=7917/tid=7944] ppid=7915 vsize=26307584 CPUtime=5004.69 cores=0-31
/proc/7917/task/7944/stat : 7944 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 801596 0 0 0 499774 695 0 0 25 0 32 0 734995477 26938966016 5351488 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=7917/tid=7945] ppid=7915 vsize=26307584 CPUtime=5001.54 cores=0-31
/proc/7917/task/7945/stat : 7945 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 623372 0 0 0 499560 594 0 0 25 0 32 0 734995477 26938966016 5351489 268435456000 4194304 4580107 140737027070032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=7917/tid=7946] ppid=7915 vsize=26307584 CPUtime=5001.13 cores=0-31
/proc/7917/task/7946/stat : 7946 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 678112 0 0 0 499505 608 0 0 25 0 32 0 734995477 26938966016 5351489 268435456000 4194304 4580107 140737027070032 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=7917/tid=7947] ppid=7915 vsize=26307584 CPUtime=5004.84 cores=0-31
/proc/7917/task/7947/stat : 7947 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 667696 0 0 0 499877 607 0 0 25 0 32 0 734995477 26938966016 5351490 268435456000 4194304 4580107 140737027070032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=7917/tid=7948] ppid=7915 vsize=26307584 CPUtime=5004.41 cores=0-31
/proc/7917/task/7948/stat : 7948 (strangenight2-m) R 7915 7917 7891 0 -1 4202560 729584 0 0 0 499811 630 0 0 25 0 32 0 734995477 26938966016 5351490 268435456000 4194304 4580107 140737027070032 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 26307584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5009.52 s]
/proc/loadavg: 32.37 32.11 32.03 2/416 8099
/proc/meminfo: memFree=235691384/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=0 CPUtime=160002 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) Z 7915 7917 7891 0 -1 4203548 21916085 0 0 0 15980472 19763 0 0 25 0 2 0 734995476 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/7917/statm: 0 0 0 0 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=0 CPUtime=4991.04 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4203588 798514 0 0 0 498402 702 0 0 25 0 2 0 734995476 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) 160002
Current children cumulated vsize (KiB) 0
[startup+5010.3 s]
/proc/loadavg: 32.37 32.11 32.03 2/416 8099
/proc/meminfo: memFree=235691384/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=0 CPUtime=160003 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) Z 7915 7917 7891 0 -1 4203548 21916085 0 0 0 15980472 19841 0 0 25 0 2 0 734995476 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/7917/statm: 0 0 0 0 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=0 CPUtime=4991.82 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4203588 798514 0 0 0 498402 780 0 0 25 0 2 0 734995476 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) 160003
Current children cumulated vsize (KiB) 0
[startup+5010.7 s]
/proc/loadavg: 32.37 32.11 32.03 2/416 8099
/proc/meminfo: memFree=250463008/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=0 CPUtime=160004 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) Z 7915 7917 7891 0 -1 4203548 21916085 0 0 0 15980472 19881 0 0 25 0 2 0 734995476 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/7917/statm: 0 0 0 0 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=0 CPUtime=4992.22 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4203588 798514 0 0 0 498402 820 0 0 25 0 2 0 734995476 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) 160004
Current children cumulated vsize (KiB) 0
[startup+5010.8 s]
/proc/loadavg: 32.37 32.11 32.03 2/416 8099
/proc/meminfo: memFree=250463008/264257624 swapFree=67111528/67111528
[pid=7917] ppid=7915 vsize=0 CPUtime=160004 cores=0-31
/proc/7917/stat : 7917 (strangenight2-m) Z 7915 7917 7891 0 -1 4203548 21916085 0 0 0 15980472 19891 0 0 25 0 2 0 734995476 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/7917/statm: 0 0 0 0 0 0 0
[pid=7917/tid=7934] ppid=7915 vsize=0 CPUtime=4992.32 cores=0-31
/proc/7917/task/7934/stat : 7934 (strangenight2-m) R 7915 7917 7891 0 -1 4203588 798514 0 0 0 498402 830 0 0 25 0 2 0 734995476 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) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.85
CPU time (s): 160004
CPU user time (s): 159805
CPU system time (s): 198.963
CPU usage (%): 3193.15
Max. virtual memory (cumulated for all children) (KiB): 27024704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159805
system time used= 198.963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21916085
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= 1455612
involuntary context switches= 312756
runsolver used 26.432 second user time and 115.064 second system time
The end
Begin job on node200 at 2011-05-24 13:04:51
IDJOB=3400617
IDBENCH=20386
IDSOLVER=1886
FILE ID=node200/3400617-1306235090
RUNJOBID= node200-1306235090-7905
PBS_JOBID= 13411752
Free space on /tmp= 62036 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400617-1306235090/watcher-3400617-1306235090 -o /tmp/evaluation-result-3400617-1306235090/solver-3400617-1306235090 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400617-1306235090.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1651841078
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.049
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.09
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.049
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.049
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.08
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
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 : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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 : 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255160808 kB
Buffers: 462976 kB
Cached: 8226356 kB
SwapCached: 0 kB
Active: 7777560 kB
Inactive: 980480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255160808 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 18680 kB
Writeback: 0 kB
AnonPages: 69032 kB
Mapped: 14480 kB
Slab: 255340 kB
PageTables: 4424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192992 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= 62028 MiB
End job on node200 at 2011-05-24 14:28:22