0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3400854-1306915902.cnf'
0.00/0.06 c -- header says num vars: 4268
0.00/0.06 c -- header says num clauses: 38965
7.60/0.52 c -- clauses added: 0 learnts, 38965 normals, 0 xors
7.60/0.52 c -- vars added 4268
7.60/0.52 c Parsing time: 0.05 s
7.60/0.52 c N st 0 0 4268 2849 34958 0 83609 0 no data no data
7.60/0.60 c asymm cl-useful: 26/2789/2789 lits-rem:26 time: 0.02
13.93/0.80 c Flit: 1 Blit: 61 bXBeca: 0 bXProp: 28 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.12
13.93/0.81 c Replacing 28 vars Replaced 912 lits Time: 0.00 s
13.93/0.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13.93/0.83 c bin-w-bin subsume rem 0 bins time: 0.01 s
13.93/0.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
13.93/0.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3962 time: 0.02 s
13.93/0.88 c Removed useless bin: 26 fixed: 0 props: 0.56M time: 0.02 s
16.95/0.92 c lits-rem: 0 cl-subs: 0 v-elim: 87 v-fix: 0 time: 0.04 s
16.95/0.93 c Finding binary XORs T: 0.01 s found: 0
16.95/0.93 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
16.95/0.93 c calculated reachability. Time: 0.00
16.95/0.93 c Calc default polars - time: 0.00 s pos: 1910 undec: 393 neg: 1965
16.95/0.93 c =========================================================================================
16.95/0.93 c types(t): F = full restart, N = normal restart
16.95/0.93 c types(t): S = simplification begin/end, E = solution found
16.95/0.93 c restart types(rt): st = static, dy = dynamic
16.95/0.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
16.95/0.93 c B st 0 0 3875 2723 32303 0 77881 0 no data no data
29.65/1.36 c N dy 17 4611 3875 2723 32793 4063 77881 164082 7.13 8.06
39.14/1.60 c N dy 34 8686 3875 2723 37780 5585 77881 114771 6.40 6.81
45.51/1.84 c N dy 50 12702 3875 2723 41250 5450 77881 74305 6.23 7.12
51.88/2.09 c Finding binary XORs T: 0.01 s found: 3
51.88/2.11 c N dy 77 16731 3875 2723 41395 9254 77881 194804 6.65 10.36
61.42/2.40 c N dy 105 20808 3875 2723 44434 7949 77881 137429 6.79 7.35
71.02/2.64 c N dy 127 24835 3874 2723 46982 11743 77881 238627 6.80 10.58
71.02/2.65 c F st 129 25002 3874 2723 46983 11909 77881 243248 6.81 no data
71.02/2.66 c Replacing 3 vars Replaced 866 lits Time: 0.00 s
83.80/3.04 c N dy 135 30001 3869 2721 47003 10360 77824 247752 6.81 no data
83.80/3.04 c S st 135 30001 3869 2721 47003 10360 77824 247752 6.81 no data
83.80/3.09 c S st 135 30502 3869 2721 47015 10845 77824 259240 6.81 no data
83.80/3.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
102.96/3.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 22563 BRemL: 19806 BRemN: 852 P: 7.3M T: 0.59
102.96/3.69 c Replacing 2 vars Replaced 626 lits Time: 0.00 s
102.96/3.69 c blocked clauses removed: 0 vars: 0 tried: 3867 T: 0.00 s
102.96/3.70 c bin-w-bin subsume rem 207 bins time: 0.00 s
106.15/3.70 c subs with bin: 6 lits-rem: 50 v-fix: 0 time: 0.01 s
106.15/3.72 c Subs w/ non-existent bins: 0 l-rem: 26 v-fix: 0 done: 3867 time: 0.01 s
106.15/3.73 c Removed useless bin: 404 fixed: 0 props: 0.40M time: 0.01 s
106.15/3.75 c lits-rem: 0 cl-subs: 9 v-elim: 13 v-fix: 0 time: 0.02 s
115.75/4.08 c subs with bin: 2135 lits-rem: 4709 v-fix: 0 time: 0.30 s
118.94/4.13 c lits-rem: 575 cl-subs: 305 v-elim: 0 v-fix: 0 time: 0.04 s
118.94/4.17 c asymm cl-useful: 69/3163/3163 lits-rem:333 time: 0.04
118.94/4.17 c calculated reachability. Time: 0.00
118.94/4.17 c N dy 135 30502 3854 3114 47855 8222 75647 239117 6.81 no data
129.11/4.48 c Finding binary XORs T: 0.01 s found: 2
131.70/4.54 c N dy 165 34590 3847 3114 53186 12168 75528 394293 7.05 10.69
144.49/4.93 c N dy 197 38620 3847 3114 66616 8617 75528 166101 7.33 10.54
154.08/5.29 c N dy 221 42971 3847 3114 66683 12848 75528 285015 7.35 7.81
157.28/5.34 c Finding binary XORs T: 0.01 s found: 0
166.85/5.62 c S st 240 45753 3847 3114 77821 15574 75528 393448 7.41 no data
166.85/5.68 c S st 240 46257 3847 3114 77830 16067 75528 405277 7.41 no data
166.85/5.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
189.23/6.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 13402 BRemL: 30480 BRemN: 301 P: 9.9M T: 0.71
192.43/6.40 c Replacing 2 vars Replaced 862 lits Time: 0.01 s
192.43/6.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
192.43/6.41 c bin-w-bin subsume rem 122 bins time: 0.01 s
192.43/6.43 c subs with bin: 378 lits-rem: 264 v-fix: 0 time: 0.01 s
192.43/6.44 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 3845 time: 0.02 s
192.43/6.45 c Removed useless bin: 667 fixed: 0 props: 0.57M time: 0.01 s
192.43/6.48 c lits-rem: 0 cl-subs: 8 v-elim: 8 v-fix: 0 time: 0.02 s
211.59/7.01 c subs with bin: 1501 lits-rem: 5257 v-fix: 0 time: 0.49 s
211.59/7.07 c lits-rem: 540 cl-subs: 319 v-elim: 0 v-fix: 0 time: 0.06 s
211.59/7.08 c vivif2 -- cl tried 2961 cl shrink 234 lits rem 470 time: 0.00
214.79/7.11 c vivif2 -- cl tried 14217 cl shrink 5854 lits rem 41122 time: 0.03
214.79/7.16 c asymm cl-useful: 1/2753/2753 lits-rem:11 time: 0.05
214.79/7.17 c calculated reachability. Time: 0.00
214.79/7.17 c N dy 240 46257 3837 2753 60813 13272 73208 305329 7.41 no data
214.79/7.18 c Finding binary XORs T: 0.01 s found: 0
231.36/7.64 c N dy 263 51047 3836 2753 84842 9856 73208 206589 7.40 7.95
243.55/8.02 c Finding binary XORs T: 0.01 s found: 3
243.55/8.06 c N dy 278 55201 3830 2750 84528 13929 72985 310349 7.35 7.79
259.53/8.52 c N dy 295 59434 3830 2750 88153 18089 72985 433706 7.38 7.78
266.51/8.76 c Finding binary XORs T: 0.01 s found: 0
272.30/8.96 c N dy 318 63499 3821 2746 102424 12659 72640 294500 7.43 7.84
288.26/9.49 c N dy 339 68286 3821 2746 102992 17358 72640 426776 7.43 8.01
294.63/9.62 c S st 347 69385 3820 2746 102999 18439 72640 462421 7.46 no data
294.63/9.69 c S st 347 69891 3818 2746 103017 18920 72640 477811 7.46 no data
294.63/9.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
323.38/10.50 c Flit: 28 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 14078 BRemL: 34817 BRemN: 56 P: 11.9M T: 0.79
323.38/10.51 c Replacing 5 vars Replaced 1273 lits Time: 0.01 s
323.38/10.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
323.38/10.53 c bin-w-bin subsume rem 532 bins time: 0.01 s
323.38/10.54 c subs with bin: 8 lits-rem: 0 v-fix: 0 time: 0.01 s
323.38/10.56 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 3781 time: 0.02 s
323.38/10.57 c Removed useless bin: 760 fixed: 0 props: 0.51M time: 0.01 s
326.59/10.60 c lits-rem: 0 cl-subs: 9 v-elim: 34 v-fix: 0 time: 0.03 s
342.58/11.13 c subs with bin: 917 lits-rem: 3376 v-fix: 0 time: 0.50 s
345.75/11.21 c lits-rem: 585 cl-subs: 342 v-elim: 0 v-fix: 0 time: 0.07 s
345.75/11.21 c vivif2 -- cl tried 3127 cl shrink 435 lits rem 469 time: 0.00
345.75/11.25 c vivif2 -- cl tried 17335 cl shrink 4294 lits rem 32584 time: 0.04
348.94/11.32 c asymm cl-useful: 9/2704/2704 lits-rem:43 time: 0.07
348.94/11.33 c calculated reachability. Time: 0.01
348.94/11.33 c N dy 347 69891 3747 2696 78392 17147 69523 367923 7.46 no data
348.94/11.34 c Finding binary XORs T: 0.01 s found: 0
371.92/12.02 c N dy 369 75336 3746 2696 99348 12209 69523 248855 7.45 7.89
371.92/12.04 c Finding binary XORs T: 0.01 s found: 2
403.27/13.09 c N dy 382 83327 3707 2674 97824 20120 68644 452096 7.36 7.85
425.62/13.72 c F st 401 87500 3693 2674 105943 12652 68644 258399 7.36 6.42
425.62/13.73 c Replacing 2 vars Replaced 554 lits Time: 0.00 s
428.81/13.84 c N st 404 88688 3691 2664 104732 13824 68315 302309 7.36 no data
448.00/14.44 c Finding binary XORs T: 0.01 s found: 1
451.17/14.54 c N dy 419 94558 3690 2664 105174 19636 68298 478831 7.36 7.77
480.56/15.45 c N dy 450 101005 3682 2664 112796 13307 68298 265805 7.36 7.79
495.91/15.90 c S st 464 104836 3677 2664 115724 17108 68298 370863 7.34 5.34
495.91/15.98 c S st 464 105338 3677 2664 115728 17604 68298 384141 7.34 no data
495.91/15.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
521.47/16.70 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 6026 BRemL: 27746 BRemN: 692 P: 11.8M T: 0.72
521.47/16.71 c Replacing 2 vars Replaced 245 lits Time: 0.01 s
521.47/16.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
521.47/16.73 c bin-w-bin subsume rem 694 bins time: 0.01 s
521.47/16.75 c subs with bin: 20 lits-rem: 0 v-fix: 0 time: 0.02 s
521.47/16.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3674 time: 0.02 s
521.47/16.78 c Removed useless bin: 334 fixed: 0 props: 0.40M time: 0.01 s
524.67/16.80 c lits-rem: 0 cl-subs: 10 v-elim: 40 v-fix: 0 time: 0.03 s
527.87/16.99 c subs with bin: 359 lits-rem: 907 v-fix: 0 time: 0.17 s
531.06/17.02 c lits-rem: 209 cl-subs: 186 v-elim: 0 v-fix: 0 time: 0.03 s
531.06/17.03 c vivif2 -- cl tried 2934 cl shrink 334 lits rem 334 time: 0.00
531.06/17.05 c vivif2 -- cl tried 16363 cl shrink 2180 lits rem 10482 time: 0.03
534.26/17.12 c asymm cl-useful: 12/2622/2622 lits-rem:97 time: 0.07
534.26/17.13 c calculated reachability. Time: 0.01
534.26/17.13 c N dy 464 105338 3634 2610 90566 16264 65862 302676 7.34 no data
534.26/17.15 c Finding binary XORs T: 0.01 s found: 1
559.82/17.94 c N dy 478 112234 3634 2610 96030 23088 65862 480622 7.27 7.70
591.78/18.91 c N dy 500 119614 3634 2610 99125 17639 65862 329483 7.23 7.63
594.98/19.02 c Finding binary XORs T: 0.01 s found: 2
623.74/19.97 c N dy 533 127437 3634 2610 102146 25392 65862 537532 7.20 7.60
662.09/21.16 c N dy 560 135602 3634 2610 102281 19711 65862 350646 7.17 7.58
691.48/22.05 c Finding binary XORs T: 0.01 s found: 5
700.43/22.39 c N dy 595 144265 3634 2610 106471 28318 65862 571601 7.15 7.53
748.38/23.89 c N dy 620 154716 3634 2610 106947 24047 65862 430408 7.10 7.55
764.36/24.38 c S st 636 158008 3634 2610 108257 27318 65862 507677 7.10 no data
767.55/24.48 c S st 636 158509 3634 2610 108259 27817 65862 523011 7.10 no data
767.55/24.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
793.76/25.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 1201 BRemL: 13335 BRemN: 770 P: 14.1M T: 0.77
793.76/25.27 c Replacing 10 vars Replaced 5277 lits Time: 0.01 s
793.76/25.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
793.76/25.28 c bin-w-bin subsume rem 446 bins time: 0.01 s
793.76/25.30 c subs with bin: 23 lits-rem: 5 v-fix: 0 time: 0.02 s
796.96/25.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3624 time: 0.03 s
796.96/25.33 c Removed useless bin: 1262 fixed: 0 props: 0.39M time: 0.01 s
796.96/25.37 c lits-rem: 19 cl-subs: 17 v-elim: 52 v-fix: 0 time: 0.04 s
805.91/25.65 c subs with bin: 164 lits-rem: 514 v-fix: 0 time: 0.25 s
809.11/25.72 c lits-rem: 516 cl-subs: 377 v-elim: 0 v-fix: 0 time: 0.07 s
809.11/25.73 c vivif2 -- cl tried 3445 cl shrink 969 lits rem 1189 time: 0.01
809.11/25.77 c vivif2 -- cl tried 25155 cl shrink 3782 lits rem 15981 time: 0.04
812.30/25.87 c asymm cl-useful: 17/2512/2512 lits-rem:41 time: 0.10
812.30/25.88 c calculated reachability. Time: 0.01
812.30/25.88 c N dy 636 158509 3572 2500 92019 25140 61025 423439 7.10 no data
853.85/27.11 c Finding binary XORs T: 0.02 s found: 0
864.04/27.46 c N dy 666 168670 3572 2500 92225 20684 61025 303668 7.06 7.49
914.58/29.07 c N dy 714 179495 3572 2500 92456 31432 61025 564015 7.05 7.47
972.73/30.87 c N dy 755 191013 3572 2500 92784 26679 61025 401632 7.03 7.42
1036.03/32.82 c N dy 804 203267 3572 2500 92854 38841 61025 687807 7.01 7.64
1103.15/34.93 c N dy 854 216463 3572 2500 92933 34820 61025 550638 6.99 7.37
1183.69/37.45 c N dy 920 230443 3572 2500 93184 30515 61025 415719 6.98 7.37
1221.41/38.67 c S st 952 237763 3572 2500 93184 37787 61025 585240 6.97 5.87
1224.60/38.79 c S st 952 238265 3572 2500 93184 38289 61025 598392 6.97 no data
1224.60/38.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1250.75/39.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 76 BRemL: 2097 BRemN: 1009 P: 15.3M T: 0.79
1250.75/39.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1250.75/39.61 c bin-w-bin subsume rem 870 bins time: 0.01 s
1253.98/39.62 c subs with bin: 5 lits-rem: 0 v-fix: 0 time: 0.02 s
1253.98/39.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3572 time: 0.03 s
1253.98/39.66 c Removed useless bin: 65 fixed: 0 props: 0.36M time: 0.01 s
1253.98/39.69 c lits-rem: 0 cl-subs: 11 v-elim: 8 v-fix: 0 time: 0.03 s
1266.13/40.07 c subs with bin: 1 lits-rem: 4 v-fix: 0 time: 0.34 s
1272.53/40.20 c lits-rem: 1038 cl-subs: 545 v-elim: 0 v-fix: 0 time: 0.13 s
1272.53/40.21 c vivif2 -- cl tried 2508 cl shrink 15 lits rem 127 time: 0.00
1272.53/40.27 c vivif2 -- cl tried 37730 cl shrink 4544 lits rem 19016 time: 0.07
1275.73/40.39 c asymm cl-useful: 11/2505/2505 lits-rem:95 time: 0.11
1275.73/40.40 c calculated reachability. Time: 0.01
1275.73/40.40 c N dy 952 238265 3564 2500 88915 37730 58778 565650 6.97 no data
1278.92/40.41 c Finding binary XORs T: 0.02 s found: 0
1371.61/43.38 c N dy 1023 253475 3564 2500 88917 33288 58778 435436 6.97 7.39
1470.70/46.43 c N dy 1104 269751 3564 2500 89153 49462 58778 819518 6.96 7.38
1579.39/49.82 c N dy 1194 287035 3564 2500 89154 46613 58778 722795 6.96 8.69
1697.67/53.58 c N dy 1283 305795 3564 2500 89161 43976 58778 610351 6.96 7.36
1700.86/53.69 c F st 1286 306250 3564 2500 89161 44431 58778 621382 6.96 no data
1844.47/58.16 c N dy 1384 325400 3564 2500 89398 40956 58778 507779 6.98 7.45
1992.09/62.79 c N dy 1487 345486 3564 2500 89398 60925 58778 985457 6.99 7.40
2077.80/65.45 c S st 1549 357397 3564 2500 89398 49406 58778 677030 7.00 no data
2081.00/65.59 c S st 1549 357899 3564 2500 89398 49905 58778 688622 7.00 no data
2084.21/65.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2112.94/66.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 495 BRemN: 703 P: 17.6M T: 0.97
2112.94/66.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2112.94/66.59 c bin-w-bin subsume rem 8 bins time: 0.01 s
2116.17/66.61 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.02 s
2116.17/66.64 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 3564 time: 0.03 s
2116.17/66.65 c Removed useless bin: 0 fixed: 0 props: 0.33M time: 0.01 s
2116.17/66.68 c lits-rem: 0 cl-subs: 6 v-elim: 3 v-fix: 0 time: 0.04 s
2132.78/67.13 c subs with bin: 6 lits-rem: 7 v-fix: 0 time: 0.39 s
2138.53/67.34 c lits-rem: 1270 cl-subs: 636 v-elim: 0 v-fix: 0 time: 0.21 s
2138.53/67.34 c vivif2 -- cl tried 2510 cl shrink 10 lits rem 121 time: 0.00
2141.70/67.43 c vivif2 -- cl tried 49255 cl shrink 3885 lits rem 15422 time: 0.08
2144.89/67.58 c asymm cl-useful: 12/2510/2510 lits-rem:66 time: 0.16
2144.89/67.59 c calculated reachability. Time: 0.00
2144.89/67.59 c N dy 1549 357899 3561 2506 88112 49255 57351 663976 7.00 no data
2196.06/69.20 c Finding binary XORs T: 0.01 s found: 0
2308.55/72.66 c N dy 1666 378028 3561 2506 88356 44749 57351 530951 7.01 7.47
2467.73/77.69 c N dy 1787 398108 3561 2506 88357 64714 57351 1030881 7.02 7.46
2637.15/82.93 c N dy 1902 418114 3561 2506 88361 59363 57351 854655 7.04 7.42
2803.37/88.19 c N dy 2019 438190 3561 2506 88583 53154 57351 650287 7.05 7.55
2979.18/93.64 c N dy 2129 458234 3561 2506 88583 73097 57351 1142319 7.06 7.58
3164.58/99.44 c N dy 2254 478264 3561 2506 88584 65527 57351 922938 7.08 9.81
3369.12/105.88 c N dy 2380 498624 3561 2506 88792 57584 57351 686960 7.10 7.50
3557.73/111.71 c N dy 2501 518640 3561 2506 88792 77503 57351 1180733 7.12 7.62
3723.95/116.99 c S st 2608 536851 3561 2506 88792 66361 57351 865797 7.12 no data
3730.35/117.17 c S st 2608 537356 3561 2506 88792 66866 57351 879506 7.12 no data
3730.35/117.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
3768.70/118.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 694 BRemN: 1 P: 20.5M T: 1.19
3768.70/118.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3768.70/118.38 c bin-w-bin subsume rem 3 bins time: 0.01 s
3771.91/118.40 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
3771.91/118.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3561 time: 0.03 s
3771.91/118.44 c Removed useless bin: 0 fixed: 0 props: 0.34M time: 0.01 s
3771.91/118.48 c lits-rem: 0 cl-subs: 8 v-elim: 3 v-fix: 0 time: 0.04 s
3791.08/119.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.47 s
3800.67/119.31 c lits-rem: 1699 cl-subs: 768 v-elim: 0 v-fix: 0 time: 0.30 s
3800.67/119.32 c vivif2 -- cl tried 2518 cl shrink 16 lits rem 184 time: 0.00
3803.87/119.43 c vivif2 -- cl tried 65978 cl shrink 4906 lits rem 18572 time: 0.11
3813.45/119.79 c asymm cl-useful: 11/2518/2518 lits-rem:28 time: 0.37
3813.45/119.80 c calculated reachability. Time: 0.01
3813.45/119.80 c N dy 2608 537356 3558 2518 88008 65978 57421 846757 7.12 no data
4014.78/126.07 c N dy 2706 557777 3558 2518 88200 86285 57421 1368736 7.13 7.51
4200.19/131.89 c N dy 2818 577952 3558 2518 88201 75701 57421 1076797 7.14 7.57
4411.16/138.49 c N dy 2930 597968 3558 2518 88202 64641 57421 752499 7.15 8.97
4446.33/139.58 c Finding binary XORs T: 0.01 s found: 0
4612.54/144.73 c N dy 3041 618026 3558 2518 88577 84594 57421 1241796 7.16 9.17
4842.68/151.96 c N dy 3171 638126 3558 2518 89128 72609 57421 913876 7.18 7.71
4900.19/153.74 c Finding binary XORs T: 0.02 s found: 0
5063.21/158.86 c N dy 3283 658386 3558 2518 89261 92741 57421 1409177 7.19 7.63
5280.57/165.69 c N dy 3397 678751 3558 2518 89868 79821 57421 1045824 7.20 7.62
5332.34/167.26 c Finding binary XORs T: 0.02 s found: 0
5513.91/172.96 c N dy 3509 698854 3558 2518 90650 99802 57421 1532794 7.20 8.96
5731.28/179.75 c N dy 3619 719028 3558 2518 90797 85895 57421 1159120 7.21 7.66
5804.77/182.10 c Finding binary XORs T: 0.02 s found: 0
5989.95/187.87 c N dy 3736 739183 3558 2518 91158 105920 57421 1651874 7.23 7.66
6207.89/194.69 c N dy 3842 759314 3558 2518 91269 90805 57421 1221200 7.23 7.75
6447.04/202.17 c N dy 3932 779325 3558 2518 91270 74717 57421 793759 7.23 7.71
6673.96/209.27 c N dy 4058 799451 3558 2518 91270 94724 57421 1285830 7.24 7.64
6760.26/211.90 c S st 4095 806035 3558 2518 91270 101254 57421 1439854 7.24 no data
6766.66/212.21 c S st 4095 806536 3558 2518 91270 101753 57421 1454698 7.24 no data
6770.45/212.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6824.19/213.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 3345 BRemN: 0 P: 27.6M T: 1.70
6824.19/213.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6824.19/213.95 c bin-w-bin subsume rem 107 bins time: 0.01 s
6824.19/213.97 c subs with bin: 5 lits-rem: 0 v-fix: 0 time: 0.02 s
6827.39/214.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3558 time: 0.03 s
6827.39/214.01 c Removed useless bin: 0 fixed: 0 props: 0.34M time: 0.01 s
6827.39/214.06 c lits-rem: 2 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.06 s
6862.54/215.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.96 s
6894.51/216.15 c lits-rem: 2937 cl-subs: 1196 v-elim: 0 v-fix: 0 time: 1.00 s
6894.51/216.15 c vivif2 -- cl tried 2520 cl shrink 5 lits rem 69 time: 0.00
6900.91/216.37 c vivif2 -- cl tried 100559 cl shrink 11085 lits rem 42403 time: 0.21
6920.08/216.95 c asymm cl-useful: 14/2277/2520 lits-rem:54 time: 0.58
6920.08/216.96 c calculated reachability. Time: 0.01
6920.08/216.96 c N dy 4095 806536 3556 2520 87786 100559 57367 1387753 7.24 no data
7188.61/225.40 c N dy 4204 826570 3556 2520 87820 82856 57367 952064 7.25 10.56
7438.56/233.16 c N dy 4323 846656 3556 2520 87820 102834 57367 1473026 7.26 9.29
7723.05/242.08 c N dy 4443 866695 3556 2520 87822 84923 57367 967666 7.27 7.70
7997.31/250.60 c N dy 4551 886753 3556 2520 87822 104852 57367 1465016 7.28 7.69
8310.56/260.42 c N dy 4672 906798 3556 2520 87823 85874 57367 944600 7.28 7.69
8559.86/268.27 c N dy 4793 926838 3556 2520 87823 105789 57367 1449187 7.29 7.96
8880.11/278.26 c N dy 4924 946918 3556 2520 87823 86023 57367 903391 7.31 11.76
9122.45/285.89 c N dy 5044 966949 3556 2520 87825 105926 57367 1394026 7.31 9.59
9445.93/296.00 c N dy 5169 987533 3556 2520 87829 126411 57367 1917530 7.33 7.74
9707.37/304.16 c N dy 5278 1007681 3556 2520 87829 105473 57367 1332987 7.33 7.75
9995.07/313.12 c N dy 5390 1027826 3556 2520 87829 125484 57367 1829644 7.33 7.72
10286.56/322.32 c N dy 5517 1048065 3556 2520 87829 103875 57367 1249464 7.34 7.73
10592.80/331.84 c N dy 5632 1068149 3556 2520 87829 123840 57367 1745517 7.35 7.79
10656.74/333.89 c F st 5659 1071877 3556 2520 87829 127546 57367 1835009 7.35 no data
10893.28/341.20 c N dy 5731 1088198 3556 2520 87829 100904 57367 1141990 7.35 7.84
11187.36/350.43 c N dy 5853 1108654 3556 2520 87829 121233 57367 1633929 7.36 7.76
11517.21/360.82 c N dy 5964 1128668 3556 2520 87829 97605 57367 1007258 7.36 7.78
11804.26/369.80 c N dy 6085 1148792 3556 2520 87829 117618 57367 1494643 7.37 7.77
12127.12/379.87 c N dy 6207 1168845 3556 2520 87829 137553 57367 1980912 7.38 7.81
12431.40/389.36 c N dy 6303 1188994 3556 2520 87973 112609 57367 1313062 7.38 7.78
12769.60/399.99 c N dy 6425 1209040 3556 2520 87973 132552 57367 1804422 7.39 9.04
12783.01/400.39 c S st 6429 1209805 3556 2520 87973 133316 57367 1822986 7.39 4.87
12795.16/400.78 c S st 6429 1210309 3556 2520 87973 133817 57367 1837038 7.39 no data
12798.36/400.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
12868.68/403.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 204 BRemN: 0 P: 31.5M T: 2.22
12868.68/403.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12868.68/403.04 c bin-w-bin subsume rem 0 bins time: 0.01 s
12868.68/403.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
12868.68/403.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3556 time: 0.03 s
12868.68/403.10 c Removed useless bin: 0 fixed: 0 props: 0.34M time: 0.01 s
12871.88/403.17 c lits-rem: 0 cl-subs: 1 v-elim: 2 v-fix: 0 time: 0.07 s
12913.44/404.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.17 s
12977.37/406.41 c lits-rem: 3770 cl-subs: 1886 v-elim: 0 v-fix: 0 time: 1.92 s
12977.37/406.41 c vivif2 -- cl tried 2533 cl shrink 17 lits rem 164 time: 0.00
12986.97/406.71 c vivif2 -- cl tried 131927 cl shrink 14204 lits rem 54620 time: 0.30
13006.14/407.34 c asymm cl-useful: 16/1884/2533 lits-rem:89 time: 0.63
13006.14/407.36 c calculated reachability. Time: 0.01
13006.14/407.36 c N dy 6429 1210309 3554 2533 87702 131927 57415 1756454 7.39 no data
13386.50/419.23 c N dy 6556 1230478 3554 2533 87707 105033 57415 1131746 7.39 7.83
13690.19/428.78 c N dy 6679 1250538 3554 2533 87708 124976 57415 1641046 7.40 11.42
14070.54/440.68 c N dy 6809 1270558 3554 2533 87709 144910 57415 2154531 7.41 10.16
14415.76/451.40 c N dy 6931 1290648 3554 2533 87709 118483 57415 1393394 7.42 7.97
14790.40/463.13 c N dy 7067 1310654 3554 2533 87709 138376 57415 1921842 7.43 10.59
15179.71/475.39 c N dy 7186 1330764 3554 2533 87709 110689 57415 1163273 7.44 7.90
15508.96/485.61 c N dy 7322 1350767 3554 2533 87709 130592 57415 1667023 7.45 10.72
15901.86/497.96 c N dy 7457 1370799 3554 2533 87709 150520 57415 2191570 7.46 8.19
16285.45/509.94 c N dy 7582 1390907 3554 2533 87709 121605 57415 1403717 7.47 7.88
16669.04/521.93 c N dy 7714 1410942 3554 2533 87709 141528 57415 1911712 7.48 7.89
17094.15/535.25 c N dy 7848 1430956 3554 2533 87710 161443 57415 2412917 7.49 8.61
17459.15/546.64 c N dy 7975 1451302 3554 2533 87710 131763 57415 1602387 7.49 8.01
17838.92/558.51 c N dy 8091 1471391 3554 2533 87710 151724 57415 2090967 7.50 8.05
18289.62/572.64 c N dy 8227 1491434 3554 2533 87710 120845 57415 1285711 7.51 8.08
18737.11/586.60 c N dy 8365 1511579 3554 2533 87710 140875 57415 1789717 7.52 7.95
19248.55/602.62 c N dy 8496 1531661 3554 2533 87710 160850 57415 2285584 7.53 9.12
19734.39/617.83 c N dy 8633 1551797 3554 2533 87710 128833 57415 1446083 7.54 7.95
20124.39/630.03 c N dy 8762 1571884 3554 2533 87710 148805 57415 1943601 7.54 10.99
20559.07/643.67 c N dy 8886 1592099 3554 2533 87710 168878 57415 2434009 7.55 7.96
20978.44/656.77 c N dy 9003 1612152 3554 2533 87710 135977 57415 1585947 7.56 8.08
21393.36/669.74 c N dy 9133 1632251 3554 2533 87710 155959 57415 2077848 7.56 9.00
21898.41/685.59 c N dy 9278 1652706 3554 2533 87710 176298 57415 2590230 7.57 8.05
22294.76/697.93 c N dy 9398 1672870 3554 2533 87710 142400 57415 1686190 7.58 8.10
22739.07/711.81 c N dy 9526 1692918 3554 2533 87710 162360 57415 2167108 7.58 8.04
23161.02/725.05 c S st 9639 1710309 3554 2533 87710 179635 57415 2591524 7.59 no data
23183.38/725.71 c S st 9639 1710814 3554 2533 87710 180140 57415 2611997 7.59 no data
23183.38/725.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
23276.07/728.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 40.5M T: 2.91
23276.07/728.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
23276.07/728.67 c bin-w-bin subsume rem 0 bins time: 0.01 s
23276.07/728.68 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.02 s
23279.27/728.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3554 time: 0.03 s
23279.27/728.72 c Removed useless bin: 0 fixed: 0 props: 0.34M time: 0.01 s
23282.48/728.81 c lits-rem: 1 cl-subs: 6 v-elim: 2 v-fix: 0 time: 0.09 s
23346.40/730.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.84 s
23474.90/734.87 c lits-rem: 4498 cl-subs: 2316 v-elim: 0 v-fix: 0 time: 4.00 s
23474.90/734.87 c vivif2 -- cl tried 2535 cl shrink 9 lits rem 86 time: 0.00
23490.25/735.36 c vivif2 -- cl tried 177822 cl shrink 21858 lits rem 85111 time: 0.49
23499.85/735.61 c asymm cl-useful: 0/651/2535 lits-rem:0 time: 0.25
23499.85/735.63 c calculated reachability. Time: 0.00
23499.85/735.63 c N dy 9639 1710814 3552 2535 87641 177822 57457 2493475 7.59 no data
23912.21/748.59 c N dy 9772 1730877 3552 2535 87645 141631 57457 1669543 7.60 8.60
24318.76/761.25 c N dy 9893 1751011 3552 2535 87645 161662 57457 2189503 7.60 8.03
24791.23/776.06 c N dy 10013 1771042 3552 2535 87646 181602 57457 2706898 7.61 9.09
25261.11/790.81 c N dy 10139 1791118 3552 2535 87647 145929 57457 1731937 7.61 9.16
25750.19/806.05 c N dy 10264 1811172 3552 2535 87647 165877 57457 2240896 7.62 9.17
26338.32/824.46 c N dy 10381 1831463 3552 2535 87647 186032 57457 2749569 7.62 8.03
26776.87/838.13 c N dy 10510 1851549 3552 2535 87647 149440 57457 1750192 7.62 9.60
27210.96/851.77 c N dy 10629 1871642 3552 2535 87647 169426 57457 2240692 7.63 8.06
27741.56/868.33 c N dy 10758 1891896 3552 2535 87649 189576 57457 2753733 7.63 8.06
28183.32/882.21 c N dy 10855 1911965 3552 2535 87649 152112 57457 1760773 7.63 8.27
28690.92/898.02 c N dy 10963 1932176 3552 2535 87649 172206 57457 2259480 7.64 8.07
29285.49/916.64 c N dy 11077 1952270 3552 2535 87650 192174 57457 2767900 7.64 8.87
29784.12/932.22 c N dy 11220 1972534 3552 2535 87650 153662 57457 1758566 7.65 8.07
30241.23/946.53 c N dy 11355 1992619 3552 2535 87650 173647 57457 2259747 7.65 8.49
30746.28/962.32 c N dy 11470 2012911 3552 2535 87650 193797 57457 2755802 7.66 8.09
31212.96/976.93 c N dy 11593 2032915 3552 2535 87650 153955 57457 1723110 7.66 8.23
31667.48/991.15 c N dy 11700 2053315 3552 2535 87650 174214 57457 2211283 7.66 8.12
32219.84/1008.45 c N dy 11833 2073332 3552 2535 87650 194091 57457 2698634 7.67 8.14
32740.88/1024.71 c N dy 11956 2093565 3552 2535 87650 153609 57457 1664529 7.67 8.25
33281.67/1041.70 c N dy 12069 2113608 3552 2535 87650 173538 57457 2156669 7.68 8.28
33968.33/1063.12 c N dy 12216 2133689 3552 2535 87650 193497 57457 2648474 7.68 9.77
34621.02/1083.60 c N dy 12341 2153785 3552 2535 87652 151626 57457 1575833 7.69 8.11
35141.41/1099.89 c N dy 12464 2173904 3552 2535 87652 171634 57457 2070472 7.69 8.10
35774.33/1119.64 c N dy 12596 2193957 3552 2535 87653 191578 57457 2553484 7.70 10.52
36362.47/1138.02 c S st 12717 2210814 3552 2535 87655 208324 57457 2958709 7.70 no data
36391.23/1138.90 c S st 12717 2211317 3552 2535 87655 208827 57457 2973476 7.70 no data
36391.23/1138.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
36525.49/1143.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 6 BRemN: 0 P: 46.1M T: 4.19
36525.49/1143.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36525.49/1143.15 c bin-w-bin subsume rem 0 bins time: 0.01 s
36525.49/1143.17 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
36525.49/1143.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3552 time: 0.03 s
36528.69/1143.21 c Removed useless bin: 1 fixed: 0 props: 0.34M time: 0.01 s
36531.89/1143.33 c lits-rem: 0 cl-subs: 0 v-elim: 2 v-fix: 0 time: 0.12 s
36611.81/1145.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.27 s
36784.25/1151.22 c lits-rem: 3682 cl-subs: 2255 v-elim: 0 v-fix: 0 time: 5.38 s
36784.25/1151.22 c vivif2 -- cl tried 2549 cl shrink 14 lits rem 119 time: 0.00
36803.42/1151.81 c vivif2 -- cl tried 206571 cl shrink 23753 lits rem 87415 time: 0.59
36828.94/1152.66 c asymm cl-useful: 26/1262/2549 lits-rem:140 time: 0.85
36828.94/1152.68 c calculated reachability. Time: 0.00
36828.94/1152.68 c N dy 12717 2211317 3550 2549 87621 206571 57468 2853875 7.70 no data
37403.53/1170.63 c N dy 12840 2231356 3550 2549 87623 162491 57468 1839900 7.71 9.66
37985.14/1188.84 c N dy 12963 2251381 3550 2549 87624 182422 57468 2365995 7.71 10.26
38713.92/1211.67 c N dy 13098 2271384 3550 2549 87625 202326 57468 2893916 7.72 10.32
39404.39/1233.28 c N dy 13223 2291481 3550 2549 87626 158969 57468 1691349 7.72 8.14
39970.14/1250.92 c N dy 13359 2311501 3550 2549 87626 178891 57468 2207189 7.73 8.14
40670.17/1272.80 c N dy 13497 2331737 3550 2549 87626 199029 57468 2731465 7.73 8.18
41427.74/1296.54 c N dy 13631 2351764 3550 2549 87627 218956 57468 3240460 7.74 9.16
41945.59/1312.71 c N dy 13759 2371866 3550 2549 87627 174486 57468 2035923 7.74 8.19
42504.96/1330.29 c N dy 13900 2391931 3550 2549 87627 194442 57468 2553721 7.75 10.63
43125.66/1349.66 c N dy 14028 2411977 3550 2549 87627 214366 57468 3051079 7.75 11.57
43710.05/1367.94 c N dy 14137 2432006 3550 2549 87627 168715 57468 1833074 7.75 8.20
44336.54/1387.56 c N dy 14265 2452260 3550 2549 87628 188865 57468 2347906 7.76 8.33
45017.39/1408.88 c N dy 14387 2472287 3550 2549 87629 208765 57468 2849659 7.76 9.94
45803.74/1433.46 c N dy 14531 2492315 3550 2549 87632 162096 57468 1620865 7.77 8.19
46280.01/1448.38 c N dy 14637 2512320 3550 2549 87632 181979 57468 2111668 7.77 8.24
46852.80/1466.24 c N dy 14769 2532430 3550 2549 87632 201969 57468 2601950 7.77 8.28
47421.14/1484.05 c N dy 14870 2552501 3550 2549 87634 221928 57468 3090133 7.77 9.54
48079.64/1504.62 c N dy 15000 2572518 3550 2549 87635 174442 57468 1870509 7.77 8.19
48716.34/1524.60 c N dy 15119 2592581 3550 2549 87636 194376 57468 2355308 7.78 10.02
49486.11/1548.62 c N dy 15257 2612651 3550 2549 87636 214282 57468 2837754 7.78 10.54
50317.17/1574.62 c N dy 15373 2632744 3550 2549 87638 234261 57468 3324241 7.78 9.25
50914.90/1593.33 c N dy 15510 2652934 3550 2549 87640 185730 57468 2101081 7.79 8.25
51477.46/1610.97 c N dy 15631 2673141 3550 2549 87641 205770 57468 2575417 7.79 8.23
52116.79/1630.91 c N dy 15740 2693680 3550 2549 87644 226159 57468 3043505 7.79 8.31
52669.76/1648.20 c S st 15829 2711319 3550 2549 87646 174473 57468 1775806 7.79 no data
52689.58/1648.82 c S st 15829 2711823 3550 2549 87646 174975 57468 1788677 7.79 no data
52689.58/1648.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
52795.05/1652.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 37.6M T: 3.35
52795.05/1652.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
52798.25/1652.23 c bin-w-bin subsume rem 0 bins time: 0.01 s
52798.25/1652.25 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
52798.25/1652.28 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 3550 time: 0.03 s
52798.25/1652.29 c Removed useless bin: 0 fixed: 0 props: 0.34M time: 0.01 s
52800.80/1652.40 c lits-rem: 0 cl-subs: 3 v-elim: 3 v-fix: 0 time: 0.11 s
52830.21/1653.26 c subs with bin: 14 lits-rem: 4 v-fix: 0 time: 0.72 s
52865.38/1654.33 c lits-rem: 1826 cl-subs: 1326 v-elim: 0 v-fix: 0 time: 1.07 s
52865.38/1654.34 c vivif2 -- cl tried 2556 cl shrink 11 lits rem 82 time: 0.00
52874.33/1654.62 c vivif2 -- cl tried 173634 cl shrink 2478 lits rem 8109 time: 0.28
52893.52/1655.22 c asymm cl-useful: 0/1294/2556 lits-rem:0 time: 0.61
52893.52/1655.24 c calculated reachability. Time: 0.01
52893.52/1655.24 c N dy 15829 2711823 3547 2556 87567 173634 57546 1766285 7.79 no data
53466.30/1673.13 c N dy 15933 2731857 3547 2556 87568 193553 57546 2265594 7.79 9.74
54175.28/1695.32 c N dy 16073 2752038 3547 2556 87570 213642 57546 2795897 7.80 8.24
55035.15/1722.22 c N dy 16227 2772123 3547 2556 87575 233625 57546 3315833 7.81 8.30
55795.93/1746.05 c N dy 16355 2792187 3547 2556 87576 182128 57546 1945899 7.81 9.23
56483.19/1767.56 c N dy 16482 2812234 3547 2556 87576 202060 57546 2450388 7.81 8.36
57285.47/1792.66 c N dy 16622 2832387 3547 2556 87578 222122 57546 2970762 7.82 8.27
58055.82/1816.77 c N dy 16747 2852498 3547 2556 87580 242112 57546 3463930 7.82 8.33
58720.68/1837.59 c N dy 16857 2872594 3547 2556 87581 190518 57546 2092289 7.82 8.26
59420.73/1859.41 c N dy 16989 2892656 3547 2556 87582 210495 57546 2593931 7.83 9.64
60168.70/1882.81 c N dy 17094 2912668 3547 2556 87582 230392 57546 3101868 7.83 9.46
61098.87/1911.95 c N dy 17237 2932785 3547 2556 87583 250400 57546 3621509 7.84 8.32
61764.37/1932.73 c N dy 17339 2952919 3547 2556 87586 197914 57546 2241886 7.84 8.27
62473.35/1955.00 c N dy 17463 2972964 3547 2556 87587 217847 57546 2733369 7.84 8.37
63330.02/1981.74 c N dy 17597 2992992 3547 2556 87587 237777 57546 3229300 7.84 11.40
64164.28/2007.87 c N dy 17712 3013006 3547 2556 87587 184050 57546 1846885 7.85 9.56
64832.36/2028.72 c N dy 17827 3033456 3547 2556 87590 204385 57546 2334259 7.85 8.30
65573.95/2051.92 c N dy 17946 3053500 3547 2556 87591 224299 57546 2805550 7.85 8.28
66478.55/2080.25 c N dy 18088 3073525 3547 2556 87591 244203 57546 3297513 7.85 8.28
67355.03/2107.68 c N dy 18233 3093752 3547 2556 87593 189747 57546 1932814 7.86 8.31
67939.34/2125.90 c N dy 18352 3113812 3547 2556 87595 209688 57546 2416724 7.86 8.34
68623.38/2147.40 c N dy 18486 3133893 3547 2556 87595 229659 57546 2891845 7.87 11.26
69364.99/2170.59 c N dy 18616 3154524 3547 2556 87596 250149 57546 3381119 7.87 8.33
70094.40/2193.32 c N dy 18751 3174801 3547 2556 87597 194705 57546 2021200 7.87 8.29
70727.27/2213.13 c N dy 18882 3195043 3547 2556 87598 214827 57546 2512298 7.88 8.37
71222.74/2228.68 c S st 18965 3211824 3547 2556 87606 231473 57546 2895241 7.88 6.83
71244.49/2229.35 c S st 18965 3212330 3547 2556 87606 231978 57546 2908871 7.88 no data
71244.49/2229.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
71365.92/2233.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 10 BRemN: 0 P: 50.3M T: 3.78
71365.92/2233.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
71365.92/2233.19 c bin-w-bin subsume rem 0 bins time: 0.01 s
71369.12/2233.21 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
71369.12/2233.24 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 3547 time: 0.03 s
71369.12/2233.25 c Removed useless bin: 0 fixed: 0 props: 0.35M time: 0.01 s
71372.32/2233.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
71433.67/2235.25 c subs with bin: 8 lits-rem: 3 v-fix: 0 time: 1.66 s
71535.93/2238.43 c lits-rem: 2324 cl-subs: 2034 v-elim: 0 v-fix: 0 time: 3.17 s
71535.93/2238.43 c vivif2 -- cl tried 2551 cl shrink 0 lits rem 0 time: 0.00
71551.31/2238.96 c vivif2 -- cl tried 229936 cl shrink 16393 lits rem 58780 time: 0.53
71574.32/2239.68 c asymm cl-useful: 24/1222/2551 lits-rem:107 time: 0.71
71576.88/2239.70 c calculated reachability. Time: 0.01
71576.88/2239.70 c N dy 18965 3212330 3547 2551 87596 229936 57388 2821972 7.88 no data
72296.09/2262.29 c N dy 19081 3232405 3547 2551 87599 249905 57388 3326808 7.88 10.94
73111.17/2287.76 c N dy 19201 3254532 3547 2551 87601 194660 57388 2007554 7.88 8.58
73715.94/2306.63 c N dy 19325 3274967 3547 2551 87601 214986 57388 2530793 7.88 8.31
74392.97/2327.85 c N dy 19437 3295156 3547 2551 87601 235077 57388 3028039 7.88 8.35
75176.12/2352.40 c N dy 19567 3315199 3547 2551 87601 255010 57388 3539143 7.88 8.52
75924.08/2375.75 c N dy 19689 3335392 3547 2551 87604 197824 57388 2017525 7.89 8.40
76532.07/2394.79 c N dy 19800 3355671 3547 2551 87605 217988 57388 2515443 7.89 8.33
77180.31/2415.06 c N dy 19908 3376075 3547 2551 87606 238282 57388 3020389 7.89 8.35
77912.30/2438.00 c N dy 20032 3396117 3547 2551 87607 258189 57388 3511730 7.89 8.66
78749.77/2464.11 c N dy 20155 3416284 3547 2551 87610 200053 57388 2016709 7.89 8.31
79478.59/2486.95 c N dy 20257 3436801 3547 2551 87612 220447 57388 2502652 7.90 8.40
80332.05/2513.61 c N dy 20382 3456863 3547 2551 87612 240410 57388 2990303 7.90 8.34
81233.49/2541.88 c N dy 20501 3476965 3547 2551 87614 260368 57388 3487693 7.90 8.42
82275.52/2574.40 c N dy 20632 3497061 3547 2551 87616 201181 57388 1997870 7.90 9.26
82863.69/2592.84 c N dy 20743 3517139 3547 2551 87618 221167 57388 2474794 7.90 9.88
83561.14/2614.67 c N dy 20850 3537284 3547 2551 87620 241171 57388 2950749 7.91 8.34
84308.49/2638.09 c N dy 20974 3557326 3547 2551 87620 261059 57388 3418708 7.91 8.38
85114.00/2663.20 c N dy 21099 3577426 3547 2551 87621 280999 57388 3892286 7.91 8.39
85890.75/2687.57 c N dy 21211 3597433 3547 2551 87621 220694 57388 2410016 7.91 10.62
86693.71/2712.66 c N dy 21325 3617663 3547 2551 87623 240797 57388 2883583 7.91 8.34
87680.77/2743.55 c N dy 21460 3637887 3547 2551 87623 260845 57388 3338670 7.92 8.35
88726.03/2776.25 c N dy 21589 3658131 3547 2551 87625 280937 57388 3807945 7.92 8.39
89496.38/2800.34 c N dy 21707 3678195 3547 2551 87625 219608 57388 2343210 7.92 8.44
90177.24/2821.60 c N dy 21813 3698645 3547 2551 87627 239900 57388 2817086 7.92 8.35
90711.05/2838.34 c S st 21904 3712330 3547 2551 87629 253468 57388 3139040 7.92 8.34
90734.02/2839.10 c S st 21904 3712832 3547 2551 87629 253970 57388 3154006 7.92 no data
90737.26/2839.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
90870.91/2843.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 54.5M T: 4.17
90870.91/2843.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
90870.91/2843.32 c bin-w-bin subsume rem 0 bins time: 0.01 s
90870.91/2843.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
90870.91/2843.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3547 time: 0.03 s
90870.91/2843.38 c Removed useless bin: 0 fixed: 0 props: 0.35M time: 0.01 s
90874.71/2843.51 c lits-rem: 1 cl-subs: 10 v-elim: 2 v-fix: 0 time: 0.12 s
90941.22/2845.53 c subs with bin: 31 lits-rem: 11 v-fix: 0 time: 1.77 s
91056.28/2849.13 c lits-rem: 1572 cl-subs: 2471 v-elim: 0 v-fix: 0 time: 3.59 s
91056.28/2849.13 c vivif2 -- cl tried 2548 cl shrink 5 lits rem 47 time: 0.00
91075.47/2849.74 c vivif2 -- cl tried 251466 cl shrink 16792 lits rem 61198 time: 0.61
91097.85/2850.48 c asymm cl-useful: 0/1086/2548 lits-rem:0 time: 0.73
91101.04/2850.50 c calculated reachability. Time: 0.00
91101.04/2850.50 c N dy 21904 3712832 3545 2548 87563 251466 57400 3061682 7.92 no data
91919.34/2876.13 c N dy 22036 3733332 3545 2548 87566 271830 57400 3580221 7.93 8.35
92715.27/2901.06 c F st 22154 3751562 3545 2548 87569 289976 57400 4062456 7.93 no data
92791.98/2903.41 c N st 22158 3753594 3545 2548 87569 208626 57400 2056027 7.93 no data
93543.16/2926.91 c N dy 22257 3773645 3545 2548 87571 228574 57400 2596338 7.93 8.35
94399.80/2953.73 c N dy 22380 3793689 3545 2548 87572 248491 57400 3084555 7.93 8.36
95352.30/2983.55 c N dy 22509 3813793 3545 2548 87574 268457 57400 3577882 7.94 8.38
96400.70/3016.35 c N dy 22634 3833928 3545 2548 87575 288452 57400 4079128 7.94 8.40
97238.82/3042.53 c N dy 22743 3853969 3545 2548 87579 225098 57400 2425352 7.94 8.41
98117.87/3070.05 c N dy 22875 3874026 3545 2548 87579 245033 57400 2924236 7.94 10.69
99044.20/3099.06 c N dy 22997 3894117 3545 2548 87584 264993 57400 3409475 7.95 9.75
100070.29/3131.19 c N dy 23138 3914193 3545 2548 87587 284940 57400 3914414 7.95 11.65
101134.72/3164.44 c N dy 23261 3934938 3545 2548 87590 221055 57400 2269155 7.95 8.42
102013.76/3191.94 c N dy 23392 3954960 3545 2548 87591 240955 57400 2764681 7.96 8.40
102915.17/3220.14 c N dy 23510 3975006 3545 2548 87592 260849 57400 3239542 7.96 8.69
103925.23/3251.76 c N dy 23639 3995098 3545 2548 87592 280791 57400 3738845 7.96 8.52
105091.91/3288.27 c N dy 23768 4015132 3545 2548 87594 300697 57400 4221939 7.97 8.43
105954.98/3315.29 c N dy 23881 4035273 3545 2548 87600 235038 57400 2562529 7.97 8.39
106859.59/3343.56 c N dy 24004 4055501 3545 2548 87601 255111 57400 3060672 7.97 8.40
107850.52/3374.53 c N dy 24128 4075629 3545 2548 87601 275087 57400 3537060 7.97 8.44
108927.73/3408.21 c N dy 24259 4095636 3545 2548 87608 294953 57400 4021299 7.97 8.48
109902.67/3438.78 c N dy 24379 4115767 3545 2548 87610 228497 57400 2363374 7.98 8.40
110730.55/3464.63 c N dy 24495 4135769 3545 2548 87613 248369 57400 2845710 7.98 8.41
111766.20/3497.02 c N dy 24625 4155851 3545 2548 87616 268291 57400 3311662 7.98 10.65
112789.09/3529.08 c N dy 24736 4175858 3545 2548 87618 288136 57400 3779805 7.98 9.75
113975.59/3566.13 c N dy 24863 4195898 3545 2548 87620 307999 57400 4237723 7.98 8.83
114675.01/3588.03 c S st 24986 4212832 3545 2548 87621 237440 57400 2537724 7.99 8.11
114703.79/3588.91 c S st 24986 4213334 3545 2548 87621 237941 57400 2553594 7.99 no data
114703.79/3588.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
114834.84/3593.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 12 BRemN: 0 P: 53.1M T: 3.96
114834.84/3593.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
114834.84/3593.05 c bin-w-bin subsume rem 0 bins time: 0.01 s
114834.84/3593.07 c subs with bin: 4 lits-rem: 0 v-fix: 0 time: 0.02 s
114838.04/3593.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3545 time: 0.03 s
114838.04/3593.12 c Removed useless bin: 0 fixed: 0 props: 0.35M time: 0.01 s
114841.24/3593.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
114886.00/3594.61 c subs with bin: 46 lits-rem: 40 v-fix: 0 time: 1.12 s
114937.13/3596.24 c lits-rem: 1144 cl-subs: 1282 v-elim: 0 v-fix: 0 time: 1.57 s
114937.13/3596.24 c vivif2 -- cl tried 2544 cl shrink 0 lits rem 0 time: 0.00
114949.92/3596.68 c vivif2 -- cl tried 236613 cl shrink 5659 lits rem 20437 time: 0.43
114975.50/3597.42 c asymm cl-useful: 22/1266/2544 lits-rem:56 time: 0.72
114975.50/3597.44 c calculated reachability. Time: 0.01
114975.50/3597.44 c N dy 24986 4213334 3545 2544 87609 236613 57296 2518375 7.99 no data
115816.16/3623.77 c N dy 25106 4233370 3545 2544 87614 256531 57296 3023406 7.99 9.49
116736.76/3652.55 c N dy 25246 4253596 3545 2544 87616 276631 57296 3531692 7.99 8.44
117705.91/3682.85 c N dy 25378 4273616 3545 2544 87623 296508 57296 4016529 8.00 8.50
118763.31/3715.92 c N dy 25519 4293723 3545 2544 87625 227203 57296 2258393 8.00 8.43
119540.05/3740.21 c N dy 25648 4313779 3545 2544 87627 247125 57296 2748506 8.00 8.43
120310.42/3764.39 c N dy 25754 4333846 3545 2544 87630 267055 57296 3224937 8.00 8.44
121173.48/3791.38 c N dy 25882 4353869 3545 2544 87632 286951 57296 3704856 8.01 8.43
122206.57/3823.68 c N dy 26015 4373916 3545 2544 87633 306850 57296 4200692 8.01 10.01
123161.71/3853.54 c N dy 26129 4393932 3545 2544 87639 237340 57296 2453148 8.01 11.53
124178.16/3885.32 c N dy 26256 4414016 3545 2544 87642 257272 57296 2933796 8.01 9.27
124529.77/3896.35 c Finding binary XORs T: 0.02 s found: 0
125300.75/3920.47 c N dy 26388 4435221 3545 2544 87648 278248 57296 3435487 8.01 8.45
126431.66/3955.86 c N dy 26505 4455528 3545 2544 87650 298409 57296 3919319 8.01 8.47
127710.30/3995.87 c N dy 26642 4475894 3545 2544 87656 318611 57296 4391460 8.02 8.69
128532.42/4021.54 c N dy 26757 4495915 3545 2544 87659 248363 57296 2675117 8.02 10.99
129394.83/4048.52 c N dy 26891 4516133 3545 2544 87661 268423 57296 3160362 8.02 8.46
130290.45/4076.53 c N dy 27002 4536142 3545 2544 87663 288250 57296 3636165 8.02 9.71
131264.80/4107.09 c N dy 27132 4556221 3545 2544 87669 308189 57296 4108214 8.03 8.69
132325.98/4140.21 c N dy 27267 4576859 3545 2544 87671 237360 57296 2376228 8.03 8.49
133272.16/4169.89 c N dy 27381 4596884 3545 2544 87671 257250 57296 2847394 8.03 9.29
134337.22/4203.16 c N dy 27515 4616971 3545 2544 87677 277179 57296 3330988 8.03 9.87
135506.50/4239.70 c N dy 27645 4636982 3545 2544 87679 297024 57296 3802544 8.03 8.92
136826.64/4281.00 c N dy 27785 4657028 3545 2544 87680 316889 57296 4255282 8.04 8.70
137990.80/4317.49 c N dy 27920 4677267 3545 2544 87681 244479 57296 2503190 8.04 8.51
138792.50/4342.57 c N dy 28037 4697505 3545 2544 87684 264559 57296 2969050 8.04 8.60
139422.22/4362.25 c S st 28133 4713336 3545 2544 87684 280264 57296 3317758 8.04 no data
139454.19/4363.28 c S st 28133 4713842 3545 2544 87685 280767 57296 3333180 8.04 no data
139457.39/4363.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
139608.22/4368.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 6 BRemN: 0 P: 55.9M T: 4.58
139608.22/4368.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
139608.22/4368.08 c bin-w-bin subsume rem 0 bins time: 0.01 s
139608.22/4368.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
139611.45/4368.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3545 time: 0.03 s
139611.45/4368.14 c Removed useless bin: 0 fixed: 0 props: 0.35M time: 0.01 s
139614.00/4368.29 c lits-rem: 0 cl-subs: 5 v-elim: 2 v-fix: 0 time: 0.15 s
139684.33/4370.46 c subs with bin: 127 lits-rem: 64 v-fix: 0 time: 1.80 s
139802.58/4374.17 c lits-rem: 1147 cl-subs: 2265 v-elim: 0 v-fix: 0 time: 3.61 s
139802.58/4374.17 c vivif2 -- cl tried 2548 cl shrink 6 lits rem 50 time: 0.00
139824.94/4374.85 c vivif2 -- cl tried 278369 cl shrink 14432 lits rem 48962 time: 0.65
139847.33/4375.60 c asymm cl-useful: 0/1039/2548 lits-rem:0 time: 0.74
139850.53/4375.62 c calculated reachability. Time: 0.01
139850.53/4375.62 c N dy 28133 4713842 3543 2548 87579 278369 57337 3254777 8.04 no data
140739.12/4403.49 c N dy 28249 4733950 3543 2548 87583 298334 57337 3714688 8.04 8.50
141771.61/4435.76 c N dy 28371 4754001 3543 2548 87583 318245 57337 4197038 8.04 12.87
142839.27/4469.19 c N dy 28501 4774070 3543 2548 87585 244141 57337 2470548 8.05 8.50
143647.95/4494.42 c N dy 28616 4794170 3543 2548 87586 264049 57337 2939154 8.05 8.58
144475.83/4520.32 c N dy 28726 4814216 3543 2548 87589 283958 57337 3408485 8.05 9.24
145418.78/4549.89 c N dy 28860 4834269 3543 2548 87590 303875 57337 3887210 8.05 10.08
146448.06/4582.03 c N dy 28988 4854277 3543 2548 87595 323731 57337 4349242 8.05 9.95
147477.36/4614.23 c N dy 29121 4874426 3543 2548 87597 249441 57337 2549073 8.06 8.48
148305.23/4640.10 c N dy 29246 4894511 3543 2548 87602 269387 57337 3024816 8.06 8.82
149187.45/4667.79 c N dy 29358 4915248 3543 2548 87607 289990 57337 3513387 8.06 8.54
150187.98/4699.05 c N dy 29483 4935620 3543 2548 87613 310178 57337 3973224 8.06 8.53
151313.16/4734.23 c N dy 29628 4955747 3543 2548 87616 330118 57337 4448774 8.06 8.56
152300.70/4765.15 c N dy 29732 4976210 3543 2548 87618 255144 57337 2640923 8.06 8.53
153162.73/4792.17 c N dy 29863 4996626 3543 2548 87619 275371 57337 3106789 8.07 8.56
154083.33/4820.99 c N dy 29976 5016766 3543 2548 87620 295307 57337 3566778 8.07 8.52
155032.69/4850.62 c N dy 30090 5036844 3543 2548 87621 315225 57337 4017137 8.07 8.53
156154.66/4885.73 c N dy 30225 5056891 3543 2548 87625 335075 57337 4465516 8.07 10.39
157206.31/4918.68 c N dy 30354 5076988 3543 2548 87626 258837 57337 2686347 8.07 9.72
158178.02/4949.06 c N dy 30462 5097036 3543 2548 87628 278715 57337 3145813 8.07 10.24
159309.59/4984.44 c N dy 30587 5117713 3543 2548 87630 299188 57337 3618617 8.08 8.62
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400854-1306915902/watcher-3400854-1306915902 -o /tmp/evaluation-result-3400854-1306915902/solver-3400854-1306915902 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400854-1306915902.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: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=338000 CPUtime=0.8 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4202496 470 0 0 0 80 0 0 0 25 0 32 0 17556220 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29111/statm: 84500 409 300 95 0 79482 0
[pid=29111/tid=29112] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397136 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397143 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=338000 CPUtime=0 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397145 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 409 268435456000 4194304 4580107 140735113372576 18446744073709551615 47830595397139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 3 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 441 268435456000 4194304 4580107 140735113372576 18446744073709551615 4284112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 445 268435456000 4194304 4580107 140735113372576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 4345040 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604574493433312 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604455013424608 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604458887011808 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=338000 CPUtime=0.02 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 346112000 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604467310894560 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 447 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604463445827040 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 450 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449283136992 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 451 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604499424976352 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604475385568736 0 0 -1 4 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604479869361632 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=403536 CPUtime=0.02 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 17556221 413220864 452 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604502262144480 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=534608 CPUtime=0.02 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 547438592 458 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604478517804512 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=469072 CPUtime=0.02 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480329728 462 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604487668096480 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=469084 CPUtime=0.02 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480342016 472 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604491549466080 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=469084 CPUtime=0.02 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 17556221 480342016 480 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=469088 CPUtime=0.02 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 17556221 480346112 508 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604451098828256 0 0 -1 24 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=469092 CPUtime=0.01 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 5 0 0 0 1 0 0 0 25 0 32 0 17556221 480350208 542 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=469096 CPUtime=0.01 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 42 0 0 0 1 0 0 0 18 0 32 0 17556221 480354304 567 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=469096 CPUtime=0.01 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 32 0 17556221 480354304 569 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604453706333664 0 0 -1 29 0 0 0
[startup+0.0630459 s]
/proc/loadavg: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=863648 CPUtime=1.25 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) S 29109 29111 28825 0 -1 4202496 5016 0 0 0 84 41 0 0 18 0 32 0 17556220 884375552 4870 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/29111/statm: 215912 4874 331 95 0 210894 0
[pid=29111/tid=29112] ppid=29109 vsize=863780 CPUtime=0.04 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 182 0 0 0 3 1 0 0 18 0 32 0 17556221 884510720 4883 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 125 0 0 0 2 0 0 0 18 0 32 0 17556221 884510720 4886 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 61 0 0 0 2 0 0 0 18 0 32 0 17556221 884510720 4903 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=863780 CPUtime=0 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 133 0 0 0 0 0 0 0 18 0 32 0 17556221 884510720 4922 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 161 0 0 0 2 1 0 0 17 0 32 0 17556221 884510720 4922 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=863780 CPUtime=0.02 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 0 0 0 17 0 32 0 17556221 884510720 4930 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449527504352 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 24 0 32 0 17556221 884510720 4933 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 18 0 32 0 17556221 884510720 4939 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566927744 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 125 0 0 0 2 1 0 0 25 0 32 0 17556221 884510720 4945 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=863780 CPUtime=0.03 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 1 0 0 17 0 32 0 17556221 884510720 4950 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604500586487264 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 160 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4957 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933704 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156 0 0 0 2 1 0 0 17 0 32 0 17556221 951619584 4964 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 153 0 0 0 2 1 0 0 17 0 32 0 17556221 951619584 4974 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 142 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4981 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604449283136992 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 140 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4981 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 198 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4985 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 4993 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 132 0 0 0 2 1 0 0 25 0 32 0 17556221 951619584 4999 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=929316 CPUtime=0.03 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 145 0 0 0 2 1 0 0 18 0 32 0 17556221 951619584 5008 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 132 0 0 0 2 1 0 0 18 0 32 0 17556221 1085837312 5014 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 145 0 0 0 2 1 0 0 18 0 32 0 17556221 1085837312 5020 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566924864 0 0 -1 4 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 146 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5027 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151 0 0 0 2 1 0 0 18 0 32 0 17556221 1018728448 5034 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 140 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5036 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604452060585440 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 141 0 0 0 2 1 0 0 18 0 32 0 17556221 1018728448 5056 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604499424976352 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 148 0 0 0 2 1 0 0 25 0 32 0 17556221 1018728448 5056 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 174 0 0 0 2 1 0 0 17 0 32 0 17556221 1018728448 5058 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=994852 CPUtime=0.03 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 143 0 0 0 2 1 0 0 25 0 32 0 17556221 1018728448 5061 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 24 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=994852 CPUtime=0.02 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 157 0 0 0 1 1 0 0 17 0 32 0 17556221 1018728448 5074 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566924864 0 0 -1 0 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=1060388 CPUtime=0.03 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 189 0 0 0 2 1 0 0 17 0 32 0 17556221 1085837312 5081 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=1060388 CPUtime=0.02 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 142 0 0 0 1 1 0 0 25 0 32 0 17556221 1085837312 5091 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 863648
[startup+0.103041 s]
/proc/loadavg: 21.66 27.92 30.41 1/413 29111
/proc/meminfo: memFree=263441560/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=1132792 CPUtime=1.58 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) S 29109 29111 28825 0 -1 4202496 10248 0 0 0 90 68 0 0 17 0 32 0 17556220 1159979008 9638 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/29111/statm: 283198 9639 331 95 0 278180 0
[pid=29111/tid=29112] ppid=29109 vsize=1132792 CPUtime=0.05 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 471 0 0 0 3 2 0 0 17 0 32 0 17556221 1159979008 9647 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=1132792 CPUtime=0.04 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 205 0 0 0 3 1 0 0 17 0 32 0 17556221 1159979008 9673 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=1132792 CPUtime=0.02 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 175 0 0 0 2 0 0 0 17 0 32 0 17556221 1159979008 9718 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 8 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=1132792 CPUtime=0.02 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 438 0 0 0 0 2 0 0 17 0 32 0 17556221 1159979008 9727 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=1132792 CPUtime=0.03 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 316 0 0 0 2 1 0 0 17 0 32 0 17556221 1159979008 9727 268435456000 4194304 4580107 140735113372576 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=1132792 CPUtime=0.03 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 189 0 0 0 2 1 0 0 17 0 32 0 17556221 1159979008 9728 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604476242607584 0 0 -1 8 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=1132792 CPUtime=0.04 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 311 0 0 0 3 1 0 0 17 0 32 0 17556221 1159979008 9742 268435456000 4194304 4580107 140735113372576 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=1132792 CPUtime=0.05 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 326 0 0 0 3 2 0 0 17 0 32 0 17556221 1159979008 9743 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 432 0 0 0 3 2 0 0 18 0 32 0 17556221 1160245248 9753 268435456000 4194304 4580107 140735113372576 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=1133052 CPUtime=0.03 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 157 0 0 0 2 1 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446604500586487264 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 389 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) D 29109 29111 28825 0 -1 4202560 395 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9770 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=1133052 CPUtime=0.04 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 313 0 0 0 3 1 0 0 17 0 32 0 17556221 1160245248 9781 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=1133052 CPUtime=0.04 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 263 0 0 0 2 2 0 0 17 0 32 0 17556221 1160245248 9798 268435456000 4194304 4580107 140735113372576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=1133052 CPUtime=0.05 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 335 0 0 0 3 2 0 0 17 0 32 0 17556221 1160245248 9798 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=1132920 CPUtime=0.05 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) S 29109 29111 28825 0 -1 4202560 397 0 0 0 3 2 0 0 17 0 32 0 17556221 1160110080 9771 268435456000 4194304 4580107 140735113372576 18446744073709551615 258651060958 0 0 4096 2 18446744071566932984 0 0 -1 11 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=1132920 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182206 0 0 0 495968 134 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=8665320 CPUtime=4960.86 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 195482 0 0 0 495934 152 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200798 0 0 0 495955 132 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=8665320 CPUtime=4944 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 303548 0 0 0 494211 189 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=8665320 CPUtime=4960.86 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 166361 0 0 0 495972 114 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=8665320 CPUtime=4960.88 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200355 0 0 0 495951 137 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=8665320 CPUtime=4959.44 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 180274 0 0 0 495826 118 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=8665320 CPUtime=4960.9 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203424 0 0 0 495941 149 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=8665320 CPUtime=4961.09 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 199119 0 0 0 495966 143 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=8665320 CPUtime=4960.32 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 163158 0 0 0 495905 127 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=8665320 CPUtime=4960.09 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 218012 0 0 0 495851 158 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=8665320 CPUtime=4959.51 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151311 0 0 0 495841 110 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=8665320 CPUtime=4960.98 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 160478 0 0 0 495976 122 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=8665320 CPUtime=4961.03 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 157175 0 0 0 495980 123 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=8665320 CPUtime=4960.95 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 230430 0 0 0 495928 167 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=8665320 CPUtime=4886.76 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 231362 0 0 0 488509 167 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=8665320 CPUtime=4960.89 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220787 0 0 0 495926 163 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=8665320 CPUtime=4960.95 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156931 0 0 0 495976 119 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=8665320 CPUtime=4960.93 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182430 0 0 0 495961 132 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144905 0 0 0 495973 114 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=8665320 CPUtime=4959.39 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 143700 0 0 0 495846 93 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=8665320 CPUtime=4961.07 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220953 0 0 0 495956 151 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=8665320 CPUtime=4961.04 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 173968 0 0 0 495973 131 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=8665320 CPUtime=4960.91 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 215976 0 0 0 495937 154 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=8665320 CPUtime=4960.89 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203157 0 0 0 495942 147 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=8665320 CPUtime=4960.98 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 192073 0 0 0 495957 141 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=8665320 CPUtime=4960.87 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 199524 0 0 0 495960 127 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=8665320 CPUtime=4954.88 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 183199 0 0 0 495360 128 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=8665320 CPUtime=4959.64 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 145236 0 0 0 495825 139 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=8665320 CPUtime=4961.06 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 171096 0 0 0 495977 129 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=8665320 CPUtime=4960.88 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 108084 0 0 0 496000 88 0 0 25 0 32 0 17556221 8873287680 1683827 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158603
Current children cumulated vsize (KiB) 8665320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=8515892 CPUtime=160001 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4202496 5987114 0 0 0 15995781 4350 0 0 25 0 32 0 17556220 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/29111/statm: 2128973 1699144 377 95 0 2123955 0
[pid=29111/tid=29112] ppid=29109 vsize=8515892 CPUtime=5004.75 cores=0-31
/proc/29111/task/29112/stat : 29112 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182206 0 0 0 500341 134 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29111/tid=29113] ppid=29109 vsize=8515892 CPUtime=5004.58 cores=0-31
/proc/29111/task/29113/stat : 29113 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 196377 0 0 0 500306 152 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29111/tid=29114] ppid=29109 vsize=8515892 CPUtime=5004.6 cores=0-31
/proc/29111/task/29114/stat : 29114 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 201060 0 0 0 500328 132 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=29111/tid=29115] ppid=29109 vsize=8515892 CPUtime=4987.73 cores=0-31
/proc/29111/task/29115/stat : 29115 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 304318 0 0 0 498583 190 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=29111/tid=29116] ppid=29109 vsize=8515892 CPUtime=5004.59 cores=0-31
/proc/29111/task/29116/stat : 29116 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 166368 0 0 0 500345 114 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=29111/tid=29117] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29117/stat : 29117 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200355 0 0 0 500324 137 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=29111/tid=29118] ppid=29109 vsize=8515892 CPUtime=5003.16 cores=0-31
/proc/29111/task/29118/stat : 29118 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 180274 0 0 0 500197 119 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=29111/tid=29119] ppid=29109 vsize=8515892 CPUtime=5004.63 cores=0-31
/proc/29111/task/29119/stat : 29119 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 204120 0 0 0 500314 149 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29111/tid=29120] ppid=29109 vsize=8515892 CPUtime=5004.82 cores=0-31
/proc/29111/task/29120/stat : 29120 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200229 0 0 0 500338 144 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29111/tid=29121] ppid=29109 vsize=8515892 CPUtime=5004.05 cores=0-31
/proc/29111/task/29121/stat : 29121 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 163158 0 0 0 500278 127 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29111/tid=29122] ppid=29109 vsize=8515892 CPUtime=5003.83 cores=0-31
/proc/29111/task/29122/stat : 29122 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 218753 0 0 0 500224 159 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=29111/tid=29123] ppid=29109 vsize=8515892 CPUtime=5003.24 cores=0-31
/proc/29111/task/29123/stat : 29123 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 151311 0 0 0 500214 110 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=29111/tid=29124] ppid=29109 vsize=8515892 CPUtime=5004.71 cores=0-31
/proc/29111/task/29124/stat : 29124 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 160478 0 0 0 500349 122 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29111/tid=29125] ppid=29109 vsize=8515892 CPUtime=5004.77 cores=0-31
/proc/29111/task/29125/stat : 29125 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 157175 0 0 0 500354 123 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=29111/tid=29126] ppid=29109 vsize=8515892 CPUtime=5004.68 cores=0-31
/proc/29111/task/29126/stat : 29126 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 230563 0 0 0 500301 167 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=29111/tid=29127] ppid=29109 vsize=8515892 CPUtime=4930.48 cores=0-31
/proc/29111/task/29127/stat : 29127 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 235765 0 0 0 492880 168 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=29111/tid=29128] ppid=29109 vsize=8515892 CPUtime=5004.62 cores=0-31
/proc/29111/task/29128/stat : 29128 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 221539 0 0 0 500298 164 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=29111/tid=29129] ppid=29109 vsize=8515892 CPUtime=5004.68 cores=0-31
/proc/29111/task/29129/stat : 29129 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 156931 0 0 0 500349 119 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=29111/tid=29130] ppid=29109 vsize=8515892 CPUtime=5004.67 cores=0-31
/proc/29111/task/29130/stat : 29130 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 182430 0 0 0 500335 132 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=29111/tid=29131] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29131/stat : 29131 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 144905 0 0 0 500347 114 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=29111/tid=29132] ppid=29109 vsize=8515892 CPUtime=5003.11 cores=0-31
/proc/29111/task/29132/stat : 29132 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 143728 0 0 0 500218 93 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=29111/tid=29133] ppid=29109 vsize=8515892 CPUtime=5004.8 cores=0-31
/proc/29111/task/29133/stat : 29133 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 221664 0 0 0 500328 152 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=29111/tid=29134] ppid=29109 vsize=8515892 CPUtime=5004.77 cores=0-31
/proc/29111/task/29134/stat : 29134 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 173968 0 0 0 500346 131 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=29111/tid=29135] ppid=29109 vsize=8515892 CPUtime=5004.65 cores=0-31
/proc/29111/task/29135/stat : 29135 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 220070 0 0 0 500309 156 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=29111/tid=29136] ppid=29109 vsize=8515892 CPUtime=5004.62 cores=0-31
/proc/29111/task/29136/stat : 29136 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 203157 0 0 0 500315 147 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=29111/tid=29137] ppid=29109 vsize=8515892 CPUtime=5004.71 cores=0-31
/proc/29111/task/29137/stat : 29137 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 192073 0 0 0 500330 141 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=29111/tid=29138] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29138/stat : 29138 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 200273 0 0 0 500332 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29111/tid=29139] ppid=29109 vsize=8515892 CPUtime=4998.62 cores=0-31
/proc/29111/task/29139/stat : 29139 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 183199 0 0 0 499733 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=29111/tid=29140] ppid=29109 vsize=8515892 CPUtime=5003.37 cores=0-31
/proc/29111/task/29140/stat : 29140 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 145271 0 0 0 500197 140 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29111/tid=29141] ppid=29109 vsize=8515892 CPUtime=5004.79 cores=0-31
/proc/29111/task/29141/stat : 29141 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 171096 0 0 0 500350 129 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=29111/tid=29142] ppid=29109 vsize=8515892 CPUtime=5004.61 cores=0-31
/proc/29111/task/29142/stat : 29142 (strangenight2-m) R 29109 29111 28825 0 -1 4202560 108529 0 0 0 500372 89 0 0 25 0 32 0 17556221 8720273408 1699144 268435456000 4194304 4580107 140735113372576 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 8515892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006.2 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4366 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5006.4 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4386 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5006.5 s]
/proc/loadavg: 32.32 32.24 32.16 34/445 29317
/proc/meminfo: memFree=256633108/264257624 swapFree=67044780/67111528
[pid=29111] ppid=29109 vsize=0 CPUtime=160002 cores=0-31
/proc/29111/stat : 29111 (strangenight2-m) R 29109 29111 28825 0 -1 4203524 5987114 0 0 0 15995804 4396 0 0 25 0 1 0 17556220 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/29111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.56
CPU time (s): 160002
CPU user time (s): 159958
CPU system time (s): 44.0223
CPU usage (%): 3195.85
Max. virtual memory (cumulated for all children) (KiB): 8954264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159958
system time used= 44.0223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5987114
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= 220726
involuntary context switches= 351486
runsolver used 29.6905 second user time and 111.597 second system time
The end
Begin job on node200 at 2011-06-01 10:11:42
IDJOB=3400854
IDBENCH=84180
IDSOLVER=1886
FILE ID=node200/3400854-1306915902
RUNJOBID= node200-1306915599-28839
PBS_JOBID= 13471460
Free space on /tmp= 62052 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400854-1306915902/watcher-3400854-1306915902 -o /tmp/evaluation-result-3400854-1306915902/solver-3400854-1306915902 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400854-1306915902.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3889b7ed90cc1fbe8bc8d140a1763832
RANDOM SEED=955548023
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263441840 kB
Buffers: 181932 kB
Cached: 435824 kB
SwapCached: 29976 kB
Active: 158300 kB
Inactive: 491468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263441840 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 6344 kB
Writeback: 4 kB
AnonPages: 29296 kB
Mapped: 8732 kB
Slab: 77172 kB
PageTables: 4816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183044 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= 62044 MiB
End job on node200 at 2011-06-01 11:35:11