0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400860-1307064266.cnf'
0.00/0.09 c -- header says num vars: 4264
0.00/0.09 c -- header says num clauses: 14751
3.68/0.29 c -- clauses added: 0 learnts, 14751 normals, 0 xors
3.68/0.29 c -- vars added 4264
3.68/0.29 c Parsing time: 0.03 s
3.68/0.29 c N st 0 0 4264 10534 4212 0 40026 0 no data no data
6.10/0.62 c asymm cl-useful: 0/10533/10533 lits-rem:0 time: 0.33
6.10/0.69 c Flit: 170 Blit: 1223 bXBeca: 0 bXProp: 344 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05
6.10/0.69 c Cleaning up after failed var search: 0.01 s
6.10/0.70 c Replacing 344 vars Replaced 2881 lits Time: 0.00 s
6.10/0.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.10/0.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
6.10/0.72 c subs with bin: 204 lits-rem: 136 v-fix: 0 time: 0.00 s
6.10/0.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1165 time: 0.00 s
6.10/0.72 c Removed useless bin: 0 fixed: 0 props: 0.04M time: 0.00 s
19.24/0.76 c lits-rem: 0 cl-subs: 4 v-elim: 163 v-fix: 0 time: 0.02 s
19.24/0.76 c Finding binary XORs T: 0.00 s found: 1
19.24/0.76 c Replacing 1 vars Replaced 12 lits Time: 0.00 s
19.24/0.77 c Finding non-binary XORs: 0.00 s (found: 506, avg size: 3.0)
19.24/0.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 11 locsubst: 2 time: 0.00
19.24/0.77 c calculated reachability. Time: 0.00
19.24/0.77 c Calc default polars - time: 0.00 s pos: 209 undec: 3307 neg: 748
19.24/0.77 c =========================================================================================
19.24/0.77 c types(t): F = full restart, N = normal restart
19.24/0.77 c types(t): S = simplification begin/end, E = solution found
19.24/0.77 c restart types(rt): st = static, dy = dynamic
19.24/0.77 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19.24/0.77 c B st 0 0 990 852 771 0 5826 0 no data no data
24.07/0.93 c Decided on static restart strategy
33.60/1.26 c N st 8 4917 970 852 1099 4497 5826 155004 no data no data
52.70/1.83 c N st 10 11299 967 852 1603 4759 5826 114812 no data no data
52.70/1.83 c Finding binary XORs T: 0.00 s found: 1
52.70/1.83 c Replacing 28 vars Replaced 1609 lits Time: 0.00 s
65.47/2.21 c N st 11 17044 858 625 1496 10319 4755 273832 no data no data
81.43/2.76 c F st 12 25001 857 625 1634 12960 4755 355298 no data no data
81.43/2.76 c Replacing 2 vars Replaced 30 lits Time: 0.00 s
81.43/2.76 c N st 12 25001 850 613 1600 12955 4682 354108 no data no data
81.43/2.77 c Finding binary XORs T: 0.00 s found: 0
94.24/3.14 c Decided on static restart strategy
94.24/3.14 c N st 18 30002 850 613 1714 11436 4682 265956 no data no data
94.24/3.14 c S st 18 30002 850 613 1714 11436 4682 265956 no data no data
94.24/3.18 c S st 18 30504 850 613 1714 11936 4682 276663 no data no data
94.24/3.18 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
97.43/3.23 c Flit: 2 Blit: 2 bXBeca: 1 bXProp: 1 Bins: 525 BRemL: 264 BRemN: 0 P: 0.7M T: 0.04
97.43/3.23 c Replacing 2 vars Replaced 48 lits Time: 0.00 s
97.43/3.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
97.43/3.23 c bin-w-bin subsume rem 72 bins time: 0.00 s
97.43/3.23 c subs with bin: 40 lits-rem: 4 v-fix: 0 time: 0.00 s
97.43/3.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 844 time: 0.00 s
97.43/3.24 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
97.43/3.24 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 0.00 s
100.61/3.31 c subs with bin: 65 lits-rem: 2953 v-fix: 0 time: 0.03 s
100.61/3.40 c lits-rem: 493 cl-subs: 483 v-elim: 0 v-fix: 0 time: 0.09 s
103.82/3.41 c asymm cl-useful: 1/563/563 lits-rem:1 time: 0.01
103.82/3.41 c calculated reachability. Time: 0.00
103.82/3.41 c N st 18 30504 844 563 1860 11383 4487 259802 no data no data
103.82/3.41 c Finding binary XORs T: 0.00 s found: 0
119.77/4.00 c N st 20 37616 843 563 1890 10843 4487 248952 no data no data
138.95/4.58 c N st 21 44017 843 563 1891 17172 4487 460716 no data no data
138.95/4.59 c Finding binary XORs T: 0.00 s found: 0
142.70/4.71 c S st 22 45757 840 561 2129 10097 4467 168905 no data no data
145.93/4.76 c S st 22 46258 840 561 2129 10597 4467 180012 no data no data
145.93/4.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
145.93/4.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 65 BRemL: 221 BRemN: 0 P: 0.7M T: 0.04
145.93/4.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
145.93/4.80 c bin-w-bin subsume rem 75 bins time: 0.00 s
145.93/4.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
145.93/4.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.00 s
145.93/4.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
148.49/4.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
148.49/4.83 c subs with bin: 6 lits-rem: 93 v-fix: 0 time: 0.02 s
148.49/4.85 c lits-rem: 184 cl-subs: 56 v-elim: 0 v-fix: 0 time: 0.02 s
148.49/4.85 c vivif2 -- cl tried 561 cl shrink 0 lits rem 0 time: 0.00
148.49/4.86 c vivif2 -- cl tried 10535 cl shrink 2508 lits rem 6135 time: 0.01
148.49/4.87 c asymm cl-useful: 1/561/561 lits-rem:1 time: 0.01
148.49/4.87 c calculated reachability. Time: 0.00
148.49/4.87 c N st 22 46258 840 561 1901 10532 4464 172305 no data no data
196.43/6.36 c N st 23 60655 840 561 1902 15121 4464 365827 no data no data
196.43/6.36 c Finding binary XORs T: 0.00 s found: 0
228.40/7.32 c N st 24 69387 840 561 1987 12987 4464 227916 no data no data
228.40/7.32 c S st 24 69387 840 561 1987 12987 4464 227916 no data no data
228.40/7.37 c S st 24 69891 840 561 2004 13488 4464 239671 no data no data
228.40/7.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
231.60/7.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 28 BRemL: 90 BRemN: 0 P: 0.8M T: 0.04
231.60/7.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
231.60/7.41 c bin-w-bin subsume rem 10 bins time: 0.00 s
231.60/7.41 c subs with bin: 6 lits-rem: 1 v-fix: 0 time: 0.00 s
231.60/7.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.00 s
231.60/7.42 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
231.60/7.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
231.60/7.46 c subs with bin: 3 lits-rem: 398 v-fix: 0 time: 0.02 s
231.60/7.49 c lits-rem: 134 cl-subs: 159 v-elim: 0 v-fix: 0 time: 0.03 s
231.60/7.49 c vivif2 -- cl tried 555 cl shrink 0 lits rem 0 time: 0.00
234.75/7.50 c vivif2 -- cl tried 13326 cl shrink 1672 lits rem 7714 time: 0.01
234.75/7.52 c asymm cl-useful: 8/555/555 lits-rem:28 time: 0.01
234.75/7.52 c calculated reachability. Time: 0.00
234.75/7.52 c N st 24 69891 840 547 1940 13326 4439 228097 no data no data
298.65/9.51 c F st 25 87501 840 547 1940 19022 4439 455691 no data no data
298.65/9.51 c N st 25 87501 840 547 1940 19022 4439 455691 no data no data
298.65/9.52 c Finding binary XORs T: 0.00 s found: 0
314.63/10.02 c Decided on static restart strategy
324.24/10.32 c N st 32 95548 840 547 2117 26993 4439 727466 no data no data
336.99/10.79 c Finding binary XORs T: 0.00 s found: 2
353.59/11.26 c N st 34 104836 838 543 2243 23418 4421 576062 no data no data
353.59/11.26 c S st 34 104836 838 543 2243 23418 4421 576062 no data no data
356.84/11.35 c S st 34 105338 838 543 2340 23916 4421 589949 no data no data
356.84/11.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
359.36/11.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 10 BRemL: 239 BRemN: 0 P: 1.4M T: 0.06
359.36/11.41 c Replacing 2 vars Replaced 88 lits Time: 0.00 s
359.36/11.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
359.36/11.41 c bin-w-bin subsume rem 32 bins time: 0.00 s
359.36/11.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
359.36/11.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 836 time: 0.00 s
359.36/11.41 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
359.36/11.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
362.55/11.53 c subs with bin: 13 lits-rem: 903 v-fix: 0 time: 0.08 s
368.99/11.71 c lits-rem: 1326 cl-subs: 302 v-elim: 0 v-fix: 0 time: 0.17 s
368.99/11.71 c vivif2 -- cl tried 543 cl shrink 0 lits rem 0 time: 0.00
368.99/11.75 c vivif2 -- cl tried 23601 cl shrink 6454 lits rem 31756 time: 0.05
368.99/11.78 c asymm cl-useful: 1/543/543 lits-rem:4 time: 0.02
368.99/11.78 c calculated reachability. Time: 0.00
368.99/11.78 c N st 34 105338 836 542 2077 23601 4411 544362 no data no data
407.31/12.97 c N st 35 114937 836 542 2077 19308 4411 369124 no data no data
407.31/12.97 c Finding binary XORs T: 0.00 s found: 0
464.83/14.79 c N st 36 129334 836 542 2089 18738 4411 351856 no data no data
557.51/17.60 c N st 37 150930 836 542 2139 24375 4411 593567 no data no data
557.51/17.60 c Finding binary XORs T: 0.00 s found: 0
583.09/18.46 c S st 38 158008 836 542 2197 31367 4411 807806 no data no data
586.28/18.56 c S st 38 158515 836 542 2248 31873 4411 822489 no data no data
586.28/18.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
589.48/18.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 13 BRemL: 89 BRemN: 0 P: 1.7M T: 0.09
589.48/18.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
589.48/18.66 c bin-w-bin subsume rem 24 bins time: 0.00 s
589.48/18.66 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
589.48/18.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 836 time: 0.00 s
589.48/18.66 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
589.48/18.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
595.87/18.86 c subs with bin: 2 lits-rem: 827 v-fix: 0 time: 0.12 s
611.85/19.36 c lits-rem: 1022 cl-subs: 683 v-elim: 0 v-fix: 0 time: 0.50 s
611.85/19.36 c vivif2 -- cl tried 541 cl shrink 0 lits rem 0 time: 0.00
615.04/19.44 c vivif2 -- cl tried 31188 cl shrink 9470 lits rem 40081 time: 0.07
615.04/19.47 c asymm cl-useful: 1/541/541 lits-rem:4 time: 0.03
615.04/19.47 c calculated reachability. Time: 0.00
615.04/19.47 c N st 38 158515 836 540 2149 31188 4407 750639 no data no data
825.97/26.06 c N st 39 207103 836 540 2149 25905 4407 519975 no data no data
825.97/26.07 c Finding binary XORs T: 0.00 s found: 1
954.41/30.09 c N st 40 237772 834 538 2370 36357 4393 839321 no data no data
954.41/30.09 c S st 40 237772 834 538 2370 36357 4393 839321 no data no data
954.41/30.09 c Finding binary XORs T: 0.00 s found: 0
960.19/30.21 c S st 40 238274 834 538 2446 36855 4393 855887 no data no data
960.19/30.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.00
960.19/30.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 164 BRemL: 356 BRemN: 0 P: 1.9M T: 0.08
960.19/30.30 c Replacing 1 vars Replaced 320 lits Time: 0.00 s
960.19/30.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
960.19/30.30 c bin-w-bin subsume rem 41 bins time: 0.00 s
963.39/30.30 c subs with bin: 6 lits-rem: 0 v-fix: 0 time: 0.00 s
963.39/30.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 832 time: 0.00 s
963.39/30.30 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
963.39/30.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
966.59/30.46 c subs with bin: 17 lits-rem: 554 v-fix: 0 time: 0.10 s
995.34/31.38 c lits-rem: 1139 cl-subs: 2279 v-elim: 0 v-fix: 0 time: 0.92 s
995.34/31.38 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
998.55/31.45 c vivif2 -- cl tried 34296 cl shrink 8595 lits rem 39186 time: 0.07
998.55/31.48 c asymm cl-useful: 2/532/532 lits-rem:8 time: 0.03
998.55/31.48 c calculated reachability. Time: 0.00
998.55/31.48 c N st 40 238274 832 530 2202 34295 4372 740878 no data no data
1334.11/41.97 c F st 41 306252 832 530 2202 36819 4372 908718 no data no data
1334.11/41.97 c N st 41 306252 832 530 2202 36819 4372 908718 no data no data
1334.11/41.99 c Finding binary XORs T: 0.00 s found: 1
1356.48/42.64 c Decided on static restart strategy
1452.36/45.60 c N st 51 334553 830 528 2666 41031 4358 918932 no data no data
1529.08/48.08 c Finding binary XORs T: 0.00 s found: 0
1567.42/49.23 c N st 53 357411 830 528 2718 39078 4358 1000647 no data no data
1567.42/49.23 c S st 53 357411 830 528 2718 39078 4358 1000647 no data no data
1570.62/49.36 c S st 53 357917 830 528 2719 39582 4358 1015520 no data no data
1570.62/49.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1573.81/49.45 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 30 BRemL: 140 BRemN: 0 P: 2.1M T: 0.09
1573.81/49.48 c Replacing 2 vars Replaced 1180 lits Time: 0.02 s
1573.81/49.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1573.81/49.48 c bin-w-bin subsume rem 28 bins time: 0.00 s
1573.81/49.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1573.81/49.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 827 time: 0.00 s
1573.81/49.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1573.81/49.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
1584.02/49.73 c subs with bin: 8 lits-rem: 910 v-fix: 0 time: 0.17 s
1596.17/50.18 c lits-rem: 390 cl-subs: 300 v-elim: 0 v-fix: 0 time: 0.44 s
1596.17/50.18 c vivif2 -- cl tried 527 cl shrink 0 lits rem 0 time: 0.00
1599.37/50.27 c vivif2 -- cl tried 39270 cl shrink 10340 lits rem 75062 time: 0.09
1602.56/50.31 c asymm cl-useful: 1/527/527 lits-rem:4 time: 0.04
1602.56/50.31 c calculated reachability. Time: 0.00
1602.56/50.31 c N st 53 357917 827 526 2148 39270 4342 928004 no data no data
1755.97/55.15 c N st 54 390309 827 526 2148 45495 4342 963142 no data no data
1755.97/55.16 c Finding binary XORs T: 0.00 s found: 0
2066.00/64.85 c N st 55 438899 827 526 2156 39090 4342 774210 no data no data
2066.00/64.86 c Finding binary XORs T: 0.00 s found: 0
2507.02/78.63 c N st 56 511781 826 525 2222 52887 4337 1215813 no data no data
2507.02/78.65 c Finding binary XORs T: 0.00 s found: 1
2634.91/82.66 c N st 57 536875 825 521 2226 47111 4325 1007575 no data no data
2634.91/82.66 c S st 57 536875 825 521 2226 47111 4325 1007575 no data no data
2638.69/82.80 c S st 57 537375 825 521 2226 47611 4325 1025730 no data no data
2638.69/82.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2644.47/82.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 89 BRemN: 0 P: 2.4M T: 0.12
2644.47/82.95 c Replacing 1 vars Replaced 2429 lits Time: 0.01 s
2644.47/82.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2644.47/82.95 c bin-w-bin subsume rem 9 bins time: 0.00 s
2644.47/82.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2644.47/82.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
2644.47/82.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
2644.47/82.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2650.87/83.20 c subs with bin: 12 lits-rem: 1748 v-fix: 0 time: 0.16 s
2679.64/84.06 c lits-rem: 1584 cl-subs: 1483 v-elim: 0 v-fix: 0 time: 0.86 s
2679.64/84.06 c vivif2 -- cl tried 521 cl shrink 0 lits rem 0 time: 0.00
2682.83/84.16 c vivif2 -- cl tried 46096 cl shrink 12220 lits rem 45808 time: 0.10
2686.03/84.22 c asymm cl-useful: 0/521/521 lits-rem:0 time: 0.06
2686.03/84.22 c calculated reachability. Time: 0.00
2686.03/84.22 c N st 57 537375 824 521 2128 46096 4321 944690 no data no data
3763.81/117.97 c N st 58 701359 824 521 2128 40532 4321 609831 no data no data
3763.81/117.97 c Finding binary XORs T: 0.00 s found: 0
4517.54/141.54 c N st 59 806065 824 521 2161 70024 4321 2095560 no data no data
4517.54/141.54 c S st 59 806065 824 521 2161 70024 4321 2095560 no data no data
4523.94/141.74 c S st 59 806566 824 521 2169 70523 4321 2114219 no data no data
4523.94/141.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4530.33/141.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 27 BRemL: 44 BRemN: 0 P: 3.6M T: 0.19
4530.33/141.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4530.33/141.94 c bin-w-bin subsume rem 1 bins time: 0.00 s
4530.33/141.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4530.33/141.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
4530.33/141.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
4530.33/141.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
4549.51/142.51 c subs with bin: 44 lits-rem: 541 v-fix: 0 time: 0.39 s
4678.00/146.58 c lits-rem: 5261 cl-subs: 1525 v-elim: 0 v-fix: 0 time: 4.07 s
4678.00/146.58 c vivif2 -- cl tried 521 cl shrink 0 lits rem 0 time: 0.00
4686.95/146.82 c vivif2 -- cl tried 68954 cl shrink 26055 lits rem 183370 time: 0.23
4690.15/146.91 c asymm cl-useful: 1/521/521 lits-rem:1 time: 0.09
4690.15/146.91 c calculated reachability. Time: 0.00
4690.15/146.91 c N st 59 806566 824 521 2151 68954 4320 1865405 no data no data
4690.15/146.92 c Finding binary XORs T: 0.00 s found: 0
6524.86/204.39 c F st 60 1071875 824 521 2151 83736 4320 1770562 no data no data
6524.86/204.39 c N st 60 1071875 824 521 2151 83736 4320 1770562 no data no data
6524.86/204.39 c Finding binary XORs T: 0.00 s found: 0
6569.62/205.75 c Decided on static restart strategy
6707.05/210.05 c N st 70 1100180 824 521 2234 67958 4320 1436268 no data no data
6978.75/218.52 c N st 72 1136172 824 521 2236 58304 4320 1068056 no data no data
7279.82/227.94 c N st 73 1168564 824 521 2241 90420 4320 2475627 no data no data
7570.07/237.00 c N st 74 1209849 824 521 2241 84901 4320 2018785 no data no data
7570.07/237.00 c S st 74 1209849 824 521 2241 84901 4320 2018785 no data no data
7576.46/237.22 c S st 74 1210356 824 521 2244 85407 4320 2035434 no data no data
7576.46/237.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
7582.87/237.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 35 BRemN: 0 P: 4.3M T: 0.25
7582.87/237.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7582.87/237.48 c bin-w-bin subsume rem 12 bins time: 0.00 s
7582.87/237.48 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
7582.87/237.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
7582.87/237.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
7586.07/237.52 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
7599.45/237.99 c subs with bin: 0 lits-rem: 108 v-fix: 0 time: 0.33 s
7723.52/241.84 c lits-rem: 2209 cl-subs: 1734 v-elim: 0 v-fix: 0 time: 3.85 s
7723.52/241.84 c vivif2 -- cl tried 520 cl shrink 0 lits rem 0 time: 0.00
7733.11/242.13 c vivif2 -- cl tried 83673 cl shrink 30390 lits rem 151650 time: 0.29
7736.90/242.26 c asymm cl-useful: 0/520/520 lits-rem:0 time: 0.13
7736.90/242.27 c calculated reachability. Time: 0.00
7736.90/242.27 c N st 74 1210356 824 520 2197 83673 4319 1832015 no data no data
8295.65/259.75 c N st 75 1283238 824 520 2197 59420 4319 987086 no data no data
9184.24/287.54 c N st 76 1392562 824 520 2199 68128 4319 1220264 no data no data
9184.24/287.54 c Finding binary XORs T: 0.00 s found: 0
10501.12/328.72 c N st 77 1556548 824 520 2200 72545 4319 1376511 no data no data
11808.47/369.62 c N st 78 1710356 824 520 2202 58681 4319 826357 no data no data
11808.47/369.62 c S st 78 1710356 824 520 2202 58681 4319 826357 no data no data
11811.68/369.81 c S st 78 1710859 824 520 2206 59184 4319 843835 no data no data
11815.46/369.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
11821.24/370.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 4 BRemN: 0 P: 3.4M T: 0.22
11821.24/370.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11821.24/370.05 c bin-w-bin subsume rem 1 bins time: 0.00 s
11821.24/370.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11821.24/370.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
11821.24/370.05 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
11821.24/370.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
11827.64/370.23 c subs with bin: 0 lits-rem: 13 v-fix: 0 time: 0.09 s
11837.23/370.56 c lits-rem: 811 cl-subs: 542 v-elim: 0 v-fix: 0 time: 0.33 s
11837.23/370.56 c vivif2 -- cl tried 520 cl shrink 0 lits rem 0 time: 0.00
11840.43/370.63 c vivif2 -- cl tried 58642 cl shrink 3135 lits rem 8542 time: 0.06
11843.64/370.72 c asymm cl-useful: 0/520/520 lits-rem:0 time: 0.09
11843.64/370.72 c calculated reachability. Time: 0.00
11843.64/370.72 c N st 78 1710859 824 520 2202 58642 4319 827510 no data no data
15350.13/480.47 c N st 79 2079823 824 520 2203 64243 4319 887625 no data no data
15350.13/480.48 c Finding binary XORs T: 0.00 s found: 0
16580.76/518.90 c N st 80 2210860 824 520 2217 66558 4319 917262 no data no data
16580.76/518.90 c S st 80 2210860 824 520 2217 66558 4319 917262 no data no data
16587.15/519.11 c S st 80 2211364 824 520 2219 67062 4319 933790 no data no data
16587.15/519.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
16593.56/519.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 2 BRemN: 0 P: 3.5M T: 0.22
16593.56/519.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16593.56/519.34 c bin-w-bin subsume rem 2 bins time: 0.00 s
16593.56/519.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
16593.56/519.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
16593.56/519.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
16593.56/519.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
16600.54/519.57 c subs with bin: 541 lits-rem: 98 v-fix: 0 time: 0.14 s
16609.53/519.90 c lits-rem: 969 cl-subs: 377 v-elim: 0 v-fix: 0 time: 0.32 s
16609.53/519.90 c vivif2 -- cl tried 520 cl shrink 0 lits rem 0 time: 0.00
16612.72/519.96 c vivif2 -- cl tried 66144 cl shrink 2530 lits rem 6123 time: 0.07
16615.92/520.06 c asymm cl-useful: 0/520/520 lits-rem:0 time: 0.09
16615.92/520.06 c calculated reachability. Time: 0.00
16615.92/520.06 c N st 80 2211364 824 520 2215 66144 4319 915186 no data no data
22219.26/695.37 c N st 81 2711367 824 520 2215 84477 4319 1544033 no data no data
22219.26/695.37 c S st 81 2711367 824 520 2215 84477 4319 1544033 no data no data
22228.80/695.63 c S st 81 2711870 824 520 2223 84979 4319 1558752 no data no data
22228.80/695.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
22235.20/695.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 4.3M T: 0.24
22235.20/695.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22235.20/695.88 c bin-w-bin subsume rem 2 bins time: 0.00 s
22235.20/695.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
22235.20/695.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
22235.20/695.89 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
22238.40/695.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
22247.99/696.25 c subs with bin: 0 lits-rem: 13 v-fix: 0 time: 0.22 s
22276.76/697.19 c lits-rem: 549 cl-subs: 435 v-elim: 0 v-fix: 0 time: 0.94 s
22276.76/697.19 c vivif2 -- cl tried 520 cl shrink 0 lits rem 0 time: 0.00
22283.14/697.33 c vivif2 -- cl tried 84544 cl shrink 9836 lits rem 50698 time: 0.13
22286.33/697.44 c asymm cl-useful: 0/520/520 lits-rem:0 time: 0.11
22286.33/697.45 c calculated reachability. Time: 0.00
22286.33/697.45 c N st 81 2711870 824 520 2220 84544 4319 1494903 no data no data
28142.27/880.64 c N st 82 3211870 824 520 2220 129423 4319 2670596 no data no data
28142.27/880.64 c S st 82 3211870 824 520 2220 129423 4319 2670596 no data no data
28142.27/880.64 c Finding binary XORs T: 0.00 s found: 0
28155.07/881.04 c S st 82 3212374 824 520 2231 129927 4319 2688742 no data no data
28155.07/881.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
28171.04/881.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 3 BRemN: 0 P: 6.4M T: 0.47
28171.04/881.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28171.04/881.53 c bin-w-bin subsume rem 2 bins time: 0.00 s
28171.04/881.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
28171.04/881.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 824 time: 0.00 s
28171.04/881.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
28171.04/881.59 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
28190.23/882.14 c subs with bin: 0 lits-rem: 13 v-fix: 0 time: 0.35 s
28520.08/892.47 c lits-rem: 6335 cl-subs: 5721 v-elim: 0 v-fix: 0 time: 10.33 s
28520.08/892.47 c vivif2 -- cl tried 520 cl shrink 0 lits rem 0 time: 0.00
28532.24/892.90 c vivif2 -- cl tried 124206 cl shrink 27884 lits rem 86084 time: 0.42
28541.83/893.11 c asymm cl-useful: 0/520/520 lits-rem:0 time: 0.22
28541.83/893.12 c calculated reachability. Time: 0.00
28541.83/893.12 c N st 82 3212374 824 520 2226 124206 4319 2480055 no data no data
35177.66/1100.72 c N st 83 3712375 824 520 2226 135858 4319 2975716 no data no data
35177.66/1100.72 c S st 83 3712375 824 520 2226 135858 4319 2975716 no data no data
35177.66/1100.76 c Finding binary XORs T: 0.00 s found: 1
35190.45/1101.11 c S st 83 3712881 823 519 2162 136361 4312 2994180 no data no data
35190.45/1101.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
35203.25/1101.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 13 BRemN: 0 P: 5.9M T: 0.41
35206.42/1101.63 c Replacing 1 vars Replaced 5403 lits Time: 0.09 s
35206.42/1101.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
35206.42/1101.63 c bin-w-bin subsume rem 6 bins time: 0.00 s
35206.42/1101.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
35206.42/1101.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 822 time: 0.00 s
35206.42/1101.63 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
35206.42/1101.70 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
35232.58/1102.49 c subs with bin: 39 lits-rem: 6324 v-fix: 0 time: 0.58 s
35628.36/1114.87 c lits-rem: 3706 cl-subs: 2438 v-elim: 0 v-fix: 0 time: 12.38 s
35628.36/1114.88 c vivif2 -- cl tried 519 cl shrink 0 lits rem 0 time: 0.00
35650.75/1115.54 c vivif2 -- cl tried 133884 cl shrink 42949 lits rem 173766 time: 0.65
35660.32/1115.80 c asymm cl-useful: 0/519/519 lits-rem:0 time: 0.26
35660.32/1115.81 c calculated reachability. Time: 0.00
35660.32/1115.81 c N st 83 3712881 822 519 2141 133884 4309 2731057 no data no data
36107.79/1129.91 c F st 84 3751562 822 519 2141 88273 4309 1281452 no data no data
36107.79/1129.91 c N st 84 3751562 822 519 2141 88273 4309 1281452 no data no data
36168.51/1131.75 c Decided on static restart strategy
36405.07/1139.11 c N st 94 3779867 822 519 2145 116209 4309 2168324 no data no data
36779.67/1150.89 c N st 96 3815859 822 519 2147 151619 4309 3375820 no data no data
37162.62/1162.91 c N st 97 3848254 822 519 2147 99082 4309 1742490 no data no data
37629.31/1177.47 c N st 98 3896843 822 519 2151 146659 4309 3434646 no data no data
38569.07/1206.88 c N st 99 3969725 822 519 2153 133313 4309 3230975 no data no data
38569.07/1206.88 c Finding binary XORs T: 0.00 s found: 0
39579.15/1238.44 c N st 100 4079051 822 519 2168 154495 4309 3909213 no data no data
41424.10/1296.18 c N st 101 4212881 822 519 2170 108883 4309 2032414 no data no data
41424.10/1296.18 c S st 101 4212881 822 519 2170 108883 4309 2032414 no data no data
41439.45/1296.66 c S st 101 4213384 822 519 2183 109384 4309 2051081 no data no data
41439.45/1296.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
41456.03/1297.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 22 BRemN: 0 P: 5.5M T: 0.50
41456.03/1297.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
41456.03/1297.19 c bin-w-bin subsume rem 3 bins time: 0.00 s
41456.03/1297.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
41456.03/1297.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 822 time: 0.00 s
41456.03/1297.19 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
41459.23/1297.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
41477.81/1297.80 c subs with bin: 6 lits-rem: 316 v-fix: 0 time: 0.40 s
41612.04/1302.02 c lits-rem: 1416 cl-subs: 3001 v-elim: 0 v-fix: 0 time: 4.22 s
41612.04/1302.02 c vivif2 -- cl tried 519 cl shrink 0 lits rem 0 time: 0.00
41618.43/1302.23 c vivif2 -- cl tried 106377 cl shrink 12305 lits rem 51861 time: 0.21
41624.86/1302.46 c asymm cl-useful: 0/519/519 lits-rem:0 time: 0.23
41624.86/1302.46 c calculated reachability. Time: 0.00
41624.86/1302.46 c N st 101 4213384 822 519 2161 106377 4309 1907645 no data no data
41624.86/1302.47 c Finding binary XORs T: 0.00 s found: 0
44942.80/1406.26 c N st 102 4459360 822 519 2161 167438 4309 3498857 no data no data
48053.00/1503.54 c N st 103 4713384 821 519 2170 139224 4309 2579241 no data no data
48053.00/1503.54 c S st 103 4713384 821 519 2170 139224 4309 2579241 no data no data
48053.00/1503.58 c Finding binary XORs T: 0.00 s found: 0
48069.57/1504.06 c S st 103 4713889 821 518 2162 139694 4300 2593853 no data no data
48069.57/1504.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
48088.12/1504.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 25 BRemN: 0 P: 6.0M T: 0.58
48088.12/1504.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
48088.12/1504.67 c bin-w-bin subsume rem 3 bins time: 0.00 s
48088.12/1504.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
48088.12/1504.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 821 time: 0.00 s
48088.12/1504.67 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
48091.33/1504.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
48110.49/1505.38 c subs with bin: 6 lits-rem: 861 v-fix: 0 time: 0.45 s
48695.48/1523.65 c lits-rem: 2212 cl-subs: 16765 v-elim: 0 v-fix: 0 time: 18.26 s
48695.48/1523.65 c vivif2 -- cl tried 518 cl shrink 0 lits rem 0 time: 0.00
48705.05/1523.94 c vivif2 -- cl tried 122923 cl shrink 21676 lits rem 62485 time: 0.29
48711.45/1524.19 c asymm cl-useful: 0/518/518 lits-rem:0 time: 0.25
48714.65/1524.20 c calculated reachability. Time: 0.00
48714.65/1524.20 c N st 103 4713889 821 518 2134 122923 4300 2194893 no data no data
57006.29/1783.61 c N st 104 5213889 821 518 2134 134877 4300 2509309 no data no data
57006.29/1783.61 c S st 104 5213889 821 518 2134 134877 4300 2509309 no data no data
57019.08/1784.03 c S st 104 5214394 821 518 2138 135382 4300 2528464 no data no data
57019.08/1784.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
57038.25/1784.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 1 BRemN: 0 P: 6.6M T: 0.58
57038.25/1784.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
57038.25/1784.64 c bin-w-bin subsume rem 0 bins time: 0.00 s
57038.25/1784.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
57038.25/1784.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 821 time: 0.00 s
57038.25/1784.64 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
57041.44/1784.71 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
57060.64/1785.32 c subs with bin: 1 lits-rem: 18 v-fix: 0 time: 0.43 s
57268.41/1791.85 c lits-rem: 5883 cl-subs: 3143 v-elim: 0 v-fix: 0 time: 6.53 s
57268.41/1791.85 c vivif2 -- cl tried 518 cl shrink 0 lits rem 0 time: 0.00
57278.60/1792.20 c vivif2 -- cl tried 132238 cl shrink 24152 lits rem 83742 time: 0.35
57290.78/1792.50 c asymm cl-useful: 0/518/518 lits-rem:0 time: 0.30
57290.78/1792.51 c calculated reachability. Time: 0.00
57290.78/1792.51 c N st 104 5214394 821 518 2138 132238 4300 2358867 no data no data
64284.62/2011.36 c N st 105 5714396 821 518 2138 117249 4300 1794408 no data no data
64284.62/2011.36 c S st 105 5714396 821 518 2138 117249 4300 1794408 no data no data
64294.18/2011.69 c S st 105 5714899 821 518 2146 117750 4300 1814190 no data no data
64297.41/2011.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
64306.98/2012.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.7M T: 0.36
64306.98/2012.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
64306.98/2012.08 c bin-w-bin subsume rem 0 bins time: 0.00 s
64306.98/2012.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
64306.98/2012.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 821 time: 0.00 s
64306.98/2012.08 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
64310.80/2012.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
64319.78/2012.47 c subs with bin: 2 lits-rem: 83 v-fix: 0 time: 0.21 s
64364.51/2013.88 c lits-rem: 936 cl-subs: 1298 v-elim: 0 v-fix: 0 time: 1.41 s
64364.51/2013.88 c vivif2 -- cl tried 518 cl shrink 0 lits rem 0 time: 0.00
64370.90/2014.05 c vivif2 -- cl tried 116450 cl shrink 9463 lits rem 35629 time: 0.17
64377.31/2014.22 c asymm cl-useful: 0/518/518 lits-rem:0 time: 0.16
64377.31/2014.22 c calculated reachability. Time: 0.00
64377.31/2014.22 c N st 105 5714899 821 518 2147 116450 4300 1749084 no data no data
71831.31/2247.45 c N st 106 6214902 821 518 2148 185988 4300 3875669 no data no data
71831.31/2247.45 c S st 106 6214902 821 518 2148 185988 4300 3875669 no data no data
71831.31/2247.45 c Finding binary XORs T: 0.00 s found: 0
71850.49/2248.01 c S st 106 6215405 821 518 2158 186491 4300 3893660 no data no data
71850.49/2248.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
71873.50/2248.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 4 BRemN: 0 P: 9.7M T: 0.75
71873.50/2248.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
71873.50/2248.79 c bin-w-bin subsume rem 1 bins time: 0.00 s
71873.50/2248.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
71873.50/2248.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 821 time: 0.00 s
71873.50/2248.79 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
71876.05/2248.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
71901.64/2249.69 c subs with bin: 43 lits-rem: 394 v-fix: 0 time: 0.52 s
72662.30/2273.51 c lits-rem: 14566 cl-subs: 4463 v-elim: 0 v-fix: 0 time: 23.82 s
72662.30/2273.51 c vivif2 -- cl tried 518 cl shrink 0 lits rem 0 time: 0.00
72694.25/2274.52 c vivif2 -- cl tried 181985 cl shrink 60251 lits rem 199687 time: 1.00
72707.05/2274.92 c asymm cl-useful: 0/518/518 lits-rem:0 time: 0.41
72707.05/2274.93 c calculated reachability. Time: 0.00
72707.05/2274.93 c N st 106 6215405 821 518 2153 181985 4300 3563033 no data no data
81375.80/2546.14 c N st 107 6715405 821 518 2154 122585 4300 1801296 no data no data
81375.80/2546.14 c S st 107 6715405 821 518 2154 122585 4300 1801296 no data no data
81375.80/2546.18 c Finding binary XORs T: 0.00 s found: 1
81388.60/2546.59 c S st 107 6715907 819 516 2087 120081 4286 1761392 no data no data
81391.77/2546.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
81407.74/2547.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 25 BRemN: 0 P: 5.4M T: 0.51
81407.74/2547.16 c Replacing 2 vars Replaced 96 lits Time: 0.03 s
81407.74/2547.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
81407.74/2547.16 c bin-w-bin subsume rem 5 bins time: 0.00 s
81407.74/2547.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
81407.74/2547.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
81407.74/2547.16 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
81410.94/2547.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
81455.69/2548.67 c subs with bin: 2869 lits-rem: 423 v-fix: 0 time: 1.31 s
81474.87/2549.20 c lits-rem: 434 cl-subs: 221 v-elim: 0 v-fix: 0 time: 0.53 s
81474.87/2549.20 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
81478.06/2549.35 c vivif2 -- cl tried 116991 cl shrink 4652 lits rem 18700 time: 0.14
81484.46/2549.58 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.24
81484.46/2549.59 c calculated reachability. Time: 0.00
81484.46/2549.59 c N st 107 6715907 817 516 2059 116991 4280 1663944 no data no data
88963.98/2783.57 c N st 108 7215908 817 516 2059 153178 4280 2725685 no data no data
88963.98/2783.57 c S st 108 7215908 817 516 2059 153178 4280 2725685 no data no data
88963.98/2783.57 c Finding binary XORs T: 0.00 s found: 0
88979.97/2784.03 c S st 108 7216410 817 516 2072 153679 4280 2742978 no data no data
88979.97/2784.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
88999.13/2784.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 16 BRemN: 0 P: 7.3M T: 0.54
88999.13/2784.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
88999.13/2784.60 c bin-w-bin subsume rem 1 bins time: 0.00 s
88999.13/2784.61 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 0.00 s
88999.13/2784.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
88999.13/2784.61 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
88999.13/2784.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
89018.32/2785.29 c subs with bin: 165 lits-rem: 1871 v-fix: 0 time: 0.42 s
89312.40/2794.40 c lits-rem: 3518 cl-subs: 4588 v-elim: 0 v-fix: 0 time: 9.11 s
89312.40/2794.40 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
89321.98/2794.76 c vivif2 -- cl tried 148926 cl shrink 24318 lits rem 87567 time: 0.36
89331.59/2795.01 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.25
89331.59/2795.02 c calculated reachability. Time: 0.00
89331.59/2795.02 c N st 108 7216410 817 516 2055 148926 4276 2539754 no data no data
97475.68/3049.84 c N st 109 7716410 817 516 2055 169602 4276 3893641 no data no data
97475.68/3049.84 c S st 109 7716410 817 516 2055 169602 4276 3893641 no data no data
97494.87/3050.45 c S st 109 7716913 817 516 2059 170105 4276 3910527 no data no data
97494.87/3050.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
97523.62/3051.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 7.8M T: 0.82
97523.62/3051.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
97523.62/3051.31 c bin-w-bin subsume rem 0 bins time: 0.00 s
97523.62/3051.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
97523.62/3051.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
97523.62/3051.32 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
97526.84/3051.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
97565.19/3052.64 c subs with bin: 0 lits-rem: 44 v-fix: 0 time: 0.93 s
97942.34/3064.48 c lits-rem: 1666 cl-subs: 2005 v-elim: 0 v-fix: 0 time: 11.83 s
97942.34/3064.48 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
97964.70/3065.14 c vivif2 -- cl tried 168100 cl shrink 37275 lits rem 218889 time: 0.66
97977.50/3065.54 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.40
97977.50/3065.55 c calculated reachability. Time: 0.00
97977.50/3065.55 c N st 109 7716913 817 516 2058 168100 4276 3625940 no data no data
106348.74/3327.45 c N st 110 8216915 817 516 2059 167986 4276 3037187 no data no data
106348.74/3327.45 c S st 110 8216915 817 516 2059 167986 4276 3037187 no data no data
106367.91/3328.05 c S st 110 8217421 817 516 2061 168489 4276 3055139 no data no data
106367.91/3328.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
106394.09/3328.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 1 BRemN: 0 P: 7.7M T: 0.79
106394.09/3328.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
106394.09/3328.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
106394.09/3328.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
106394.09/3328.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
106394.09/3328.88 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
106397.29/3328.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
106422.27/3329.72 c subs with bin: 59 lits-rem: 6 v-fix: 0 time: 0.52 s
106764.20/3340.49 c lits-rem: 3511 cl-subs: 3465 v-elim: 0 v-fix: 0 time: 10.77 s
106764.20/3340.49 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
106776.98/3340.92 c vivif2 -- cl tried 164965 cl shrink 23830 lits rem 57138 time: 0.43
106792.93/3341.33 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.41
106792.93/3341.33 c calculated reachability. Time: 0.00
106792.93/3341.33 c N st 110 8217421 817 516 2062 164965 4276 2897390 no data no data
116620.37/3648.90 c N st 111 8717423 817 516 2062 150394 4276 2322763 no data no data
116620.37/3648.90 c S st 111 8717423 817 516 2062 150394 4276 2322763 no data no data
116636.35/3649.34 c S st 111 8717927 817 516 2065 150898 4276 2342943 no data no data
116636.35/3649.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
116652.34/3649.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 7.5M T: 0.50
116652.34/3649.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
116652.34/3649.87 c bin-w-bin subsume rem 0 bins time: 0.00 s
116652.34/3649.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
116652.34/3649.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
116652.34/3649.87 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
116655.54/3649.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
116668.30/3650.37 c subs with bin: 0 lits-rem: 21 v-fix: 0 time: 0.27 s
116789.76/3654.19 c lits-rem: 1805 cl-subs: 5717 v-elim: 0 v-fix: 0 time: 3.82 s
116789.76/3654.19 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
116796.15/3654.41 c vivif2 -- cl tried 145181 cl shrink 11557 lits rem 38610 time: 0.22
116805.73/3654.64 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.22
116805.73/3654.64 c calculated reachability. Time: 0.00
116805.73/3654.64 c N st 111 8717927 817 516 2064 145181 4276 2195206 no data no data
125058.97/3912.86 c N st 112 9217927 817 516 2064 246915 4276 5019841 no data no data
125058.97/3912.86 c S st 112 9217927 817 516 2064 246915 4276 5019841 no data no data
125087.73/3913.75 c S st 112 9218429 817 516 2066 247416 4276 5037452 no data no data
125087.73/3913.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
125129.30/3915.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 11.6M T: 1.21
125129.30/3915.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
125129.30/3915.01 c bin-w-bin subsume rem 0 bins time: 0.00 s
125129.30/3915.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
125129.30/3915.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 817 time: 0.00 s
125129.30/3915.01 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
125133.07/3915.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.13 s
125168.23/3916.27 c subs with bin: 10 lits-rem: 1 v-fix: 0 time: 0.74 s
129546.79/4053.29 c lits-rem: 12475 cl-subs: 31022 v-elim: 0 v-fix: 0 time: 136.99 s
129546.79/4053.29 c vivif2 -- cl tried 516 cl shrink 0 lits rem 0 time: 0.00
129585.16/4054.44 c vivif2 -- cl tried 216384 cl shrink 49780 lits rem 124920 time: 1.14
129601.73/4054.95 c asymm cl-useful: 0/516/516 lits-rem:0 time: 0.51
129601.73/4054.96 c calculated reachability. Time: 0.00
129601.73/4054.96 c N st 112 9218429 817 516 2066 216384 4276 4206638 no data no data
138218.81/4324.57 c N st 113 9718432 817 516 2066 175672 4276 3001402 no data no data
138218.81/4324.57 c S st 113 9718432 817 516 2066 175672 4276 3001402 no data no data
138222.02/4324.62 c Finding binary XORs T: 0.00 s found: 0
138241.19/4325.25 c S st 113 9718935 816 515 2054 176153 4269 3018935 no data no data
138241.19/4325.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
138269.97/4326.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 19 BRemL: 15 BRemN: 0 P: 8.0M T: 0.84
138269.97/4326.18 c Replacing 1 vars Replaced 1079 lits Time: 0.05 s
138269.97/4326.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
138269.97/4326.18 c bin-w-bin subsume rem 0 bins time: 0.00 s
138269.97/4326.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
138269.97/4326.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 815 time: 0.00 s
138269.97/4326.18 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
138273.17/4326.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
138298.73/4327.03 c subs with bin: 21 lits-rem: 1185 v-fix: 0 time: 0.52 s
138884.31/4345.34 c lits-rem: 5296 cl-subs: 8523 v-elim: 0 v-fix: 0 time: 18.31 s
138884.31/4345.34 c vivif2 -- cl tried 515 cl shrink 0 lits rem 0 time: 0.00
138896.50/4345.77 c vivif2 -- cl tried 167609 cl shrink 21492 lits rem 63637 time: 0.44
138912.45/4346.22 c asymm cl-useful: 0/515/515 lits-rem:0 time: 0.45
138912.45/4346.23 c calculated reachability. Time: 0.00
138912.45/4346.23 c N st 113 9718935 815 515 2058 167609 4266 2765192 no data no data
138912.45/4346.23 c Finding binary XORs T: 0.00 s found: 0
150691.30/4714.76 c N st 114 10218935 815 515 2059 251683 4266 5848241 no data no data
150691.30/4714.76 c S st 114 10218935 815 515 2059 251683 4266 5848241 no data no data
150691.30/4714.76 c Finding binary XORs T: 0.00 s found: 0
150720.06/4715.64 c S st 114 10219437 815 515 2080 252184 4266 5866757 no data no data
150720.06/4715.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
150755.23/4716.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 20 BRemN: 0 P: 11.5M T: 1.11
150755.23/4716.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
150755.23/4716.80 c bin-w-bin subsume rem 5 bins time: 0.00 s
150755.23/4716.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
150758.44/4716.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 815 time: 0.00 s
150758.44/4716.80 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
150761.64/4716.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.13 s
150809.58/4718.46 c subs with bin: 49 lits-rem: 257 v-fix: 0 time: 1.10 s
153376.30/4798.74 c lits-rem: 14144 cl-subs: 11713 v-elim: 0 v-fix: 0 time: 80.26 s
153376.30/4798.74 c vivif2 -- cl tried 515 cl shrink 0 lits rem 0 time: 0.00
153427.44/4800.33 c vivif2 -- cl tried 240422 cl shrink 69792 lits rem 215771 time: 1.58
153446.62/4800.94 c asymm cl-useful: 0/515/515 lits-rem:0 time: 0.60
153446.62/4800.95 c calculated reachability. Time: 0.00
153446.62/4800.95 c N st 114 10219437 815 515 2055 240422 4266 5310826 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400860-1307064266/watcher-3400860-1307064266 -o /tmp/evaluation-result-3400860-1307064266/solver-3400860-1307064266 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400860-1307064266.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=338000 CPUtime=0.83 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) R 9695 9697 9671 0 -1 4202496 437 0 0 0 83 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 84500 376 297 95 0 79482 0
[pid=9697/tid=9698] ppid=9695 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891824 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=338000 CPUtime=0 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=338000 CPUtime=0 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891830 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891816 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.0971109 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=1191640 CPUtime=2.24 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) S 9695 9697 9671 0 -1 4202496 3407 0 0 0 190 34 0 0 17 0 32 0 12338997 1220239360 3279 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 297910 3285 331 95 0 292892 0
[pid=9697/tid=9698] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 95 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3289 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604641971338720 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 118 0 0 0 6 0 0 0 18 0 32 0 12338997 1220239360 3298 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 160 0 0 0 6 1 0 0 18 0 32 0 12338997 1220239360 3300 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 104 0 0 0 6 0 0 0 18 0 32 0 12338997 1220239360 3312 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 76 0 0 0 6 1 0 0 25 0 32 0 12338997 1220239360 3314 268435456000 4194304 4580107 140735071953728 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 72 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3320 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 71 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3334 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 119 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3334 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=1191640 CPUtime=0.05 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 68 0 0 0 5 0 0 0 17 0 32 0 12338997 1220239360 3342 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 31 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=1191640 CPUtime=0.02 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 103 0 0 0 1 1 0 0 18 0 32 0 12338997 1220239360 3350 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604500652252640 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=1191640 CPUtime=0.04 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 68 0 0 0 3 1 0 0 25 0 32 0 12338997 1220239360 3359 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 70 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3362 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604633187065312 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 71 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3366 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 413696 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 130 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3371 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604641971338720 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 108 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3378 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 86 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3384 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604467116449248 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 122 0 0 0 6 0 0 0 17 0 32 0 12338998 1220239360 3391 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 73 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3398 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 148 0 0 0 6 1 0 0 18 0 32 0 12338998 1220239360 3409 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 119 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3421 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 133 0 0 0 6 1 0 0 25 0 32 0 12338998 1220239360 3424 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 5 1 0 0 17 0 32 0 12338998 1220382720 3428 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566931304 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 116 0 0 0 6 1 0 0 18 0 32 0 12338998 1220382720 3433 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 116 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3444 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 71 0 0 0 6 0 0 0 17 0 32 0 12338998 1220382720 3461 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604500020076000 0 0 -1 15 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 93 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3468 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 91 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3479 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604642787909088 0 0 -1 19 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 87 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3480 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604635948359136 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 104 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3502 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 68 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3514 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3514 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604640001891808 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 1191640
[startup+0.10409 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=1192340 CPUtime=2.31 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) S 9695 9697 9671 0 -1 4202496 4187 0 0 0 192 39 0 0 17 0 32 0 12338997 1220956160 4059 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 298085 4066 331 95 0 293067 0
[pid=9697/tid=9698] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 126 0 0 0 6 1 0 0 17 0 32 0 12338997 1220956160 4072 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 162 0 0 0 6 1 0 0 18 0 32 0 12338997 1220956160 4081 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604506592950304 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 206 0 0 0 6 1 0 0 17 0 32 0 12338997 1220956160 4083 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 158 0 0 0 6 1 0 0 18 0 32 0 12338997 1220956160 4091 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=1192472 CPUtime=0.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 109 0 0 0 6 1 0 0 17 0 32 0 12338997 1221091328 4094 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 78 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4108 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604502398582240 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 96 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4109 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 166 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4116 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=1192604 CPUtime=0.05 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 72 0 0 0 5 0 0 0 17 0 32 0 12338997 1221226496 4118 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 31 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=1192604 CPUtime=0.02 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 127 0 0 0 1 1 0 0 17 0 32 0 12338997 1221226496 4126 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=1192604 CPUtime=0.04 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 3 1 0 0 17 0 32 0 12338997 1221226496 4134 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566923944 0 0 -1 29 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 78 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4137 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 95 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4151 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 161 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4151 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 125 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4165 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 114 0 0 0 6 1 0 0 17 0 32 0 12338998 1221226496 4166 268435456000 4194304 4580107 140735071953728 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 442889 0 0 0 495549 289 0 0 25 0 32 0 12338997 13998911488 2554321 268435456000 4194304 4580107 140735071953728 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=13670812 CPUtime=4961.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 334692 0 0 0 495886 221 0 0 25 0 32 0 12338997 13998911488 2554321 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=13670812 CPUtime=4959.68 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470412 0 0 0 495703 265 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=13670812 CPUtime=4961.09 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 419196 0 0 0 495873 236 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=13670812 CPUtime=4961.05 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472289 0 0 0 495840 265 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=13670812 CPUtime=4930.43 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 465847 0 0 0 492751 292 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 353853 0 0 0 495908 198 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=13670812 CPUtime=4954.13 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 379227 0 0 0 495172 241 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 453640 0 0 0 495846 260 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=13670812 CPUtime=4960.87 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 443561 0 0 0 495817 270 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=13670812 CPUtime=4960.6 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 407161 0 0 0 495792 268 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=13670812 CPUtime=4960.98 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 475775 0 0 0 495804 294 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=13670812 CPUtime=4945.79 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 351730 0 0 0 494351 228 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=13670812 CPUtime=4960.98 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 510111 0 0 0 495784 314 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=13670812 CPUtime=4957.73 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 419887 0 0 0 495500 273 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=13670812 CPUtime=4961.11 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 435617 0 0 0 495840 271 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=13670812 CPUtime=4959.61 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 372107 0 0 0 495750 211 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=13670812 CPUtime=4955.38 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408249 0 0 0 495289 249 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 486897 0 0 0 495815 291 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=13670812 CPUtime=4945.19 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 450226 0 0 0 494224 295 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=13670812 CPUtime=4961.07 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472663 0 0 0 495802 305 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=13670812 CPUtime=4910.39 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 401211 0 0 0 490779 260 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=13670812 CPUtime=4961.1 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 391251 0 0 0 495864 246 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=13670812 CPUtime=4956.83 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 468323 0 0 0 495387 296 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=13670812 CPUtime=4961.13 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403296 0 0 0 495877 236 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406360 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=13670812 CPUtime=4953.19 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 343527 0 0 0 495097 222 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=13670812 CPUtime=4961.09 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 404402 0 0 0 495850 259 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=13670812 CPUtime=4960.79 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 164940 0 0 0 495944 135 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 158606
Current children cumulated vsize (KiB) 13670812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006 s]
/proc/loadavg: 32.07 32.06 32.19 33/445 12044
/proc/meminfo: memFree=252842184/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=13350792 CPUtime=160003 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) R 9695 9697 9671 0 -1 4202496 13239237 0 0 0 15992081 8228 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 3337698 2562172 379 95 0 3332680 0
[pid=9697/tid=9698] ppid=9695 vsize=13350792 CPUtime=5004.13 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 391326 0 0 0 500176 237 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=13350792 CPUtime=5004.71 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403662 0 0 0 500237 234 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=13350792 CPUtime=5004.56 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408920 0 0 0 500199 257 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=13350792 CPUtime=5002.04 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 444332 0 0 0 499912 292 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=13350792 CPUtime=5004.77 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 335641 0 0 0 500255 222 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=13350792 CPUtime=5003.36 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470412 0 0 0 500071 265 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=13350792 CPUtime=5004.78 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 423799 0 0 0 500239 239 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=13350792 CPUtime=5004.74 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472289 0 0 0 500209 265 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=13350792 CPUtime=4974.12 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470185 0 0 0 497118 294 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 356552 0 0 0 500274 201 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=13350792 CPUtime=4997.82 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 385092 0 0 0 499538 244 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 453640 0 0 0 500215 260 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=13350792 CPUtime=5004.56 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 449181 0 0 0 500182 274 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=13350792 CPUtime=5004.3 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 407435 0 0 0 500161 269 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=13350792 CPUtime=5004.67 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 477357 0 0 0 500172 295 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=13350792 CPUtime=4989.48 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 351730 0 0 0 498720 228 0 0 25 0 32 0 12338998 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=13350792 CPUtime=5004.67 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 510111 0 0 0 500153 314 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=13350792 CPUtime=5001.43 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 422487 0 0 0 499867 276 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=13350792 CPUtime=5004.8 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 440162 0 0 0 500205 275 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=13350792 CPUtime=5003.3 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 377157 0 0 0 500116 214 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=13350792 CPUtime=4999.07 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 409629 0 0 0 499656 251 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 489633 0 0 0 500181 294 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=13350792 CPUtime=4988.89 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 452939 0 0 0 498590 299 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=13350792 CPUtime=5004.76 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 477979 0 0 0 500168 308 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=13350792 CPUtime=4952.85 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 406936 0 0 0 495021 264 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=13350792 CPUtime=5004.8 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 392689 0 0 0 500232 248 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=13350792 CPUtime=5000.52 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470354 0 0 0 499754 298 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=13350792 CPUtime=5004.82 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403296 0 0 0 500246 236 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=13350792 CPUtime=4996.88 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 347101 0 0 0 499463 225 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=13350792 CPUtime=5004.78 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408116 0 0 0 500217 261 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=13350792 CPUtime=5004.49 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 166130 0 0 0 500312 137 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 13350792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006.5 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8275 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.33 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 311 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5006.7 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8295 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.53 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 331 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5006.8 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8305 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.63 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) S 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 341 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.8
CPU time (s): 160004
CPU user time (s): 159921
CPU system time (s): 83.0514
CPU usage (%): 3195.73
Max. virtual memory (cumulated for all children) (KiB): 13751952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159921
system time used= 83.0514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13239243
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= 83041
involuntary context switches= 345260
runsolver used 28.3367 second user time and 112.218 second system time
The end
Begin job on node200 at 2011-06-03 03:24:26
IDJOB=3400860
IDBENCH=84237
IDSOLVER=1886
FILE ID=node200/3400860-1307064266
RUNJOBID= node200-1307064266-9685
PBS_JOBID= 13497817
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400860-1307064266/watcher-3400860-1307064266 -o /tmp/evaluation-result-3400860-1307064266/solver-3400860-1307064266 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400860-1307064266.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=268500903
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.043
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.043
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.05
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.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.35
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.043
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: 263280528 kB
Buffers: 46040 kB
Cached: 774336 kB
SwapCached: 7940 kB
Active: 73700 kB
Inactive: 764668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263280528 kB
SwapTotal: 67111528 kB
SwapFree: 67054984 kB
Dirty: 5836 kB
Writeback: 4 kB
AnonPages: 16492 kB
Mapped: 7392 kB
Slab: 53056 kB
PageTables: 4184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184464 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= 61736 MiB
End job on node200 at 2011-06-03 04:47:54