0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400628-1306253454.cnf'
0.00/0.06 c -- header says num vars: 1694
0.00/0.06 c -- header says num clauses: 5726
1.97/0.12 c -- clauses added: 0 learnts, 5726 normals, 0 xors
1.97/0.12 c -- vars added 1694
1.97/0.12 c Parsing time: 0.01 s
1.97/0.13 c N st 0 0 1694 3233 2490 0 14871 0 no data no data
1.97/0.14 c asymm cl-useful: 0/3233/3233 lits-rem:0 time: 0.01
1.97/0.17 c Flit: 12 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02
1.97/0.17 c Replacing 6 vars Replaced 79 lits Time: 0.00 s
3.21/0.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.21/0.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
3.21/0.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.21/0.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1667 time: 0.00 s
3.21/0.22 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s
3.21/0.28 c lits-rem: 0 cl-subs: 174 v-elim: 518 v-fix: 0 time: 0.03 s
3.21/0.28 c Finding binary XORs T: 0.00 s found: 0
3.21/0.29 c Finding non-binary XORs: 0.00 s (found: 457, avg size: 3.0)
3.21/0.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 13 locsubst: 0 time: 0.00
3.21/0.29 c calculated reachability. Time: 0.00
3.21/0.29 c Calc default polars - time: 0.00 s pos: 166 undec: 589 neg: 939
3.21/0.29 c =========================================================================================
3.21/0.29 c types(t): F = full restart, N = normal restart
3.21/0.29 c types(t): S = simplification begin/end, E = solution found
3.21/0.29 c restart types(rt): st = static, dy = dynamic
3.21/0.29 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.21/0.29 c B st 0 0 1136 1838 1021 0 9651 0 no data no data
5.57/0.60 c Decided on static restart strategy
5.57/1.00 c N st 8 4915 1136 1838 1121 4755 9651 168287 no data no data
50.15/1.74 c N st 10 11297 1136 1838 1147 4637 9651 96525 no data no data
75.72/2.51 c N st 11 17043 1133 1838 1164 10321 9651 362483 no data no data
75.72/2.51 c Finding binary XORs T: 0.00 s found: 1
110.87/3.64 c F st 12 25000 1130 1829 1703 12912 9580 467007 no data no data
110.87/3.64 c Replacing 1 vars Replaced 8 lits Time: 0.00 s
110.87/3.64 c N st 12 25000 1129 1829 1701 12912 9574 467003 no data no data
133.87/4.38 c Decided on static restart strategy
133.87/4.38 c N st 18 30002 1129 1829 1761 11350 9574 319554 no data no data
133.87/4.38 c S st 18 30002 1129 1829 1761 11350 9574 319554 no data no data
137.08/4.46 c S st 18 30505 1129 1829 1762 11851 9574 333019 no data no data
137.08/4.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
137.08/4.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 307 BRemL: 174 BRemN: 0 P: 0.6M T: 0.03
137.08/4.49 c blocked clauses removed: 0 vars: 0 tried: 284 T: 0.00 s
137.08/4.49 c bin-w-bin subsume rem 2 bins time: 0.00 s
137.08/4.49 c subs with bin: 25 lits-rem: 47 v-fix: 0 time: 0.00 s
137.08/4.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1129 time: 0.00 s
137.08/4.49 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
137.08/4.49 c lits-rem: 0 cl-subs: 7 v-elim: 7 v-fix: 0 time: 0.01 s
139.63/4.58 c subs with bin: 38 lits-rem: 4840 v-fix: 0 time: 0.06 s
146.03/4.72 c lits-rem: 932 cl-subs: 225 v-elim: 0 v-fix: 0 time: 0.14 s
146.03/4.73 c asymm cl-useful: 12/1807/1807 lits-rem:12 time: 0.02
146.03/4.74 c calculated reachability. Time: 0.00
146.03/4.74 c N st 18 30505 1122 1807 1826 11526 9482 320866 no data no data
158.81/5.14 c Finding binary XORs T: 0.00 s found: 0
181.18/5.81 c N st 20 37615 1122 1807 1841 10975 9482 246515 no data no data
213.14/6.89 c N st 21 44016 1122 1807 1841 17327 9482 537474 no data no data
222.74/7.12 c S st 22 45758 1122 1807 1955 10350 9482 178801 no data no data
222.74/7.18 c S st 22 46261 1122 1807 1955 10845 9482 190183 no data no data
222.74/7.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
225.93/7.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 77 BRemN: 7 P: 0.6M T: 0.02
225.93/7.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
225.93/7.20 c bin-w-bin subsume rem 0 bins time: 0.00 s
225.93/7.20 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.00 s
225.93/7.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1122 time: 0.00 s
225.93/7.21 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
225.93/7.21 c lits-rem: 0 cl-subs: 0 v-elim: 10 v-fix: 0 time: 0.00 s
225.93/7.23 c subs with bin: 1 lits-rem: 6 v-fix: 0 time: 0.01 s
225.93/7.24 c lits-rem: 135 cl-subs: 38 v-elim: 0 v-fix: 0 time: 0.01 s
225.93/7.25 c vivif2 -- cl tried 1821 cl shrink 2 lits rem 2 time: 0.00
225.93/7.25 c vivif2 -- cl tried 9597 cl shrink 1251 lits rem 2531 time: 0.01
225.93/7.27 c asymm cl-useful: 7/1821/1821 lits-rem:7 time: 0.01
225.93/7.27 c calculated reachability. Time: 0.00
225.93/7.27 c N st 22 46261 1112 1821 1745 9597 9500 156873 no data no data
299.45/9.59 c N st 23 60660 1112 1821 1745 14772 9500 326676 no data no data
299.45/9.59 c Finding binary XORs T: 0.00 s found: 0
341.02/10.87 c N st 24 69392 1112 1821 1782 13030 9500 215299 no data no data
341.02/10.87 c S st 24 69392 1112 1821 1782 13030 9500 215299 no data no data
344.83/10.95 c S st 24 69899 1111 1821 1809 13534 9500 227875 no data no data
344.83/10.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
344.83/10.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 14 BRemL: 23 BRemN: 0 P: 0.7M T: 0.02
344.83/10.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
344.83/10.98 c bin-w-bin subsume rem 0 bins time: 0.00 s
344.83/10.98 c subs with bin: 5 lits-rem: 2 v-fix: 0 time: 0.00 s
344.83/10.98 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1111 time: 0.00 s
344.83/10.98 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
344.83/10.99 c lits-rem: 0 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.00 s
348.03/11.02 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
348.03/11.05 c lits-rem: 363 cl-subs: 101 v-elim: 0 v-fix: 0 time: 0.03 s
348.03/11.05 c vivif2 -- cl tried 1815 cl shrink 0 lits rem 0 time: 0.00
348.03/11.07 c vivif2 -- cl tried 13233 cl shrink 806 lits rem 1710 time: 0.01
348.03/11.08 c asymm cl-useful: 14/1815/1815 lits-rem:21 time: 0.02
348.03/11.08 c calculated reachability. Time: 0.00
348.03/11.08 c N st 24 69899 1110 1812 1791 13233 9453 219276 no data no data
440.09/13.97 c F st 25 87501 1110 1812 1792 19289 9453 383798 no data no data
440.09/13.97 c N st 25 87501 1110 1812 1792 19289 9453 383798 no data no data
440.09/13.97 c Finding binary XORs T: 0.00 s found: 0
475.25/15.01 c Decided on static restart strategy
494.41/15.60 c N st 32 95539 1110 1812 1812 14635 9453 194585 no data no data
548.77/17.30 c N st 34 104848 1110 1812 1885 23816 9453 499425 no data no data
548.77/17.30 c S st 34 104848 1110 1812 1885 23816 9453 499425 no data no data
548.77/17.30 c Finding binary XORs T: 0.00 s found: 0
551.97/17.42 c S st 34 105350 1110 1812 1929 24315 9453 516180 no data no data
551.97/17.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
551.97/17.46 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9 BRemL: 78 BRemN: 1 P: 1.1M T: 0.03
551.97/17.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
551.97/17.46 c bin-w-bin subsume rem 0 bins time: 0.00 s
551.97/17.46 c subs with bin: 11 lits-rem: 2 v-fix: 0 time: 0.00 s
551.97/17.46 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 1109 time: 0.00 s
551.97/17.46 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
551.97/17.47 c lits-rem: 1 cl-subs: 7 v-elim: 1 v-fix: 0 time: 0.01 s
555.74/17.56 c subs with bin: 84 lits-rem: 163 v-fix: 0 time: 0.05 s
561.54/17.78 c lits-rem: 987 cl-subs: 1328 v-elim: 0 v-fix: 0 time: 0.22 s
561.54/17.78 c vivif2 -- cl tried 1796 cl shrink 0 lits rem 0 time: 0.00
564.74/17.81 c vivif2 -- cl tried 22831 cl shrink 3509 lits rem 6999 time: 0.03
564.74/17.84 c asymm cl-useful: 4/1796/1796 lits-rem:4 time: 0.03
564.74/17.84 c calculated reachability. Time: 0.00
564.74/17.84 c N st 34 105350 1108 1796 1836 22831 9383 480916 no data no data
631.85/19.91 c N st 35 114949 1108 1796 1836 18653 9383 296501 no data no data
727.74/23.01 c N st 36 129349 1108 1796 1848 18260 9383 251625 no data no data
727.74/23.02 c Finding binary XORs T: 0.00 s found: 0
881.13/27.79 c N st 37 150945 1106 1796 1873 23703 9367 423883 no data no data
929.08/29.22 c S st 38 158025 1106 1796 1887 30713 9367 683996 no data no data
932.29/29.37 c S st 38 158528 1106 1796 1887 31214 9367 694237 no data no data
932.29/29.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
935.49/29.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 26 BRemN: 0 P: 1.2M T: 0.04
935.49/29.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
935.49/29.42 c bin-w-bin subsume rem 1 bins time: 0.00 s
935.49/29.42 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.00 s
935.49/29.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1106 time: 0.00 s
935.49/29.42 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
935.49/29.43 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.01 s
938.69/29.55 c subs with bin: 1 lits-rem: 80 v-fix: 0 time: 0.07 s
948.26/29.89 c lits-rem: 564 cl-subs: 1262 v-elim: 0 v-fix: 0 time: 0.35 s
948.26/29.89 c vivif2 -- cl tried 1792 cl shrink 0 lits rem 0 time: 0.00
951.45/29.95 c vivif2 -- cl tried 29951 cl shrink 7371 lits rem 27124 time: 0.06
951.45/29.99 c asymm cl-useful: 1/1792/1792 lits-rem:1 time: 0.04
951.45/29.99 c calculated reachability. Time: 0.00
951.45/29.99 c N st 38 158528 1106 1792 1860 29951 9354 644854 no data no data
1168.82/36.79 c N st 39 207116 1106 1792 1860 24920 9354 301002 no data no data
1168.82/36.79 c Finding binary XORs T: 0.00 s found: 0
1386.17/43.55 c N st 40 237792 1106 1792 1879 35502 9354 645759 no data no data
1386.17/43.55 c S st 40 237792 1106 1792 1879 35502 9354 645759 no data no data
1392.57/43.71 c S st 40 238297 1106 1792 1891 36006 9354 659482 no data no data
1392.57/43.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1392.57/43.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 17 BRemN: 0 P: 1.5M T: 0.05
1392.57/43.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1392.57/43.76 c bin-w-bin subsume rem 1 bins time: 0.00 s
1392.57/43.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1392.57/43.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1106 time: 0.00 s
1392.57/43.76 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
1392.57/43.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1395.76/43.86 c subs with bin: 2 lits-rem: 22 v-fix: 0 time: 0.05 s
1421.34/44.62 c lits-rem: 984 cl-subs: 3212 v-elim: 0 v-fix: 0 time: 0.76 s
1421.34/44.62 c vivif2 -- cl tried 1792 cl shrink 0 lits rem 0 time: 0.00
1421.34/44.66 c vivif2 -- cl tried 32792 cl shrink 5091 lits rem 8567 time: 0.04
1424.53/44.70 c asymm cl-useful: 2/1792/1792 lits-rem:2 time: 0.04
1424.53/44.70 c calculated reachability. Time: 0.00
1424.53/44.70 c N st 40 238297 1106 1792 1874 32792 9352 588654 no data no data
2028.64/63.63 c F st 41 306250 1106 1792 1874 35056 9352 589655 no data no data
2028.64/63.63 c N st 41 306250 1106 1792 1874 35056 9352 589655 no data no data
2028.64/63.63 c Finding binary XORs T: 0.00 s found: 0
2063.80/64.82 c Decided on static restart strategy
2261.99/70.95 c N st 51 334559 1106 1792 1909 39308 9352 610023 no data no data
2441.00/76.60 c N st 53 357445 1106 1792 1909 37310 9352 630185 no data no data
2441.00/76.60 c S st 53 357445 1106 1792 1909 37310 9352 630185 no data no data
2447.40/76.79 c S st 53 357949 1106 1792 1910 37813 9352 643362 no data no data
2447.40/76.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2450.59/76.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 8 BRemN: 0 P: 1.6M T: 0.05
2450.59/76.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2450.59/76.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
2450.59/76.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2450.59/76.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1106 time: 0.00 s
2450.59/76.85 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
2450.59/76.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
2454.41/76.97 c subs with bin: 62 lits-rem: 55 v-fix: 0 time: 0.06 s
2463.37/77.21 c lits-rem: 1149 cl-subs: 591 v-elim: 0 v-fix: 0 time: 0.24 s
2463.37/77.21 c vivif2 -- cl tried 1792 cl shrink 0 lits rem 0 time: 0.00
2463.37/77.25 c vivif2 -- cl tried 37160 cl shrink 4971 lits rem 11389 time: 0.05
2463.37/77.30 c asymm cl-useful: 1/1792/1792 lits-rem:1 time: 0.04
2463.37/77.30 c calculated reachability. Time: 0.00
2463.37/77.30 c N st 53 357949 1106 1792 1902 37160 9351 620061 no data no data
2747.83/86.13 c N st 54 390341 1106 1792 1902 43421 9351 765517 no data no data
3144.21/98.57 c N st 55 438929 1106 1792 1903 37218 9351 496218 no data no data
3767.50/118.03 c N st 56 511811 1106 1792 1908 50246 9351 892533 no data no data
3767.50/118.03 c Finding binary XORs T: 0.00 s found: 0
4007.25/125.57 c N st 57 536923 1106 1792 1935 44796 9351 626165 no data no data
4007.25/125.57 c S st 57 536923 1106 1792 1935 44796 9351 626165 no data no data
4013.64/125.78 c S st 57 537428 1106 1792 1936 45300 9351 642636 no data no data
4013.64/125.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
4016.84/125.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 11 BRemN: 0 P: 1.8M T: 0.06
4016.84/125.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4016.84/125.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
4016.84/125.85 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 0.00 s
4016.84/125.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1106 time: 0.00 s
4016.84/125.85 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
4016.84/125.86 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
4020.04/125.95 c subs with bin: 2 lits-rem: 8 v-fix: 0 time: 0.04 s
4032.82/126.33 c lits-rem: 731 cl-subs: 1472 v-elim: 0 v-fix: 0 time: 0.38 s
4032.82/126.33 c vivif2 -- cl tried 1792 cl shrink 0 lits rem 0 time: 0.00
4032.82/126.38 c vivif2 -- cl tried 43826 cl shrink 4457 lits rem 8810 time: 0.05
4036.65/126.45 c asymm cl-useful: 2/1792/1792 lits-rem:2 time: 0.07
4036.65/126.45 c calculated reachability. Time: 0.00
4036.65/126.45 c N st 57 537428 1106 1792 1926 43826 9346 613085 no data no data
5746.10/179.97 c N st 58 701412 1106 1792 1926 72578 9346 1298812 no data no data
5752.50/180.12 c Finding binary XORs T: 0.00 s found: 0
6721.00/210.49 c N st 59 806145 1105 1791 1976 63473 9335 1115796 no data no data
6721.00/210.49 c S st 59 806145 1105 1791 1976 63473 9335 1115796 no data no data
6721.00/210.49 c Finding binary XORs T: 0.00 s found: 0
6733.79/210.80 c S st 59 806647 1105 1791 2019 63971 9335 1126337 no data no data
6733.79/210.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
6736.99/210.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 60 BRemN: 0 P: 2.9M T: 0.10
6736.99/210.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6736.99/210.91 c bin-w-bin subsume rem 3 bins time: 0.00 s
6736.99/210.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6736.99/210.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1105 time: 0.00 s
6736.99/210.91 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
6736.99/210.94 c lits-rem: 2 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.02 s
6752.96/211.43 c subs with bin: 1318 lits-rem: 2703 v-fix: 0 time: 0.42 s
6938.38/217.25 c lits-rem: 1680 cl-subs: 10859 v-elim: 0 v-fix: 0 time: 5.82 s
6938.38/217.25 c vivif2 -- cl tried 1792 cl shrink 3 lits rem 3 time: 0.00
6941.57/217.32 c vivif2 -- cl tried 50721 cl shrink 5168 lits rem 7201 time: 0.06
6944.77/217.40 c asymm cl-useful: 5/1792/1792 lits-rem:5 time: 0.08
6944.77/217.40 c calculated reachability. Time: 0.00
6944.77/217.40 c N st 59 806647 1104 1792 1956 50721 9387 848010 no data no data
9815.15/307.23 c F st 60 1071875 1104 1792 1957 71533 9387 1299403 no data no data
9815.15/307.24 c N st 60 1071875 1104 1792 1957 71533 9387 1299403 no data no data
9815.15/307.25 c Finding binary XORs T: 0.00 s found: 0
9873.32/309.03 c Decided on static restart strategy
10029.28/313.94 c Finding binary XORs T: 0.00 s found: 0
10137.97/317.37 c N st 70 1100177 1103 1791 2160 55445 9376 830560 no data no data
10307.39/322.61 c Finding binary XORs T: 0.00 s found: 0
10579.72/331.18 c N st 72 1136170 1103 1791 2188 90626 9376 1761028 no data no data
10940.30/342.48 c N st 73 1168563 1103 1791 2192 76812 9376 1284977 no data no data
11499.65/359.96 c N st 74 1209971 1103 1791 2193 71613 9376 1181905 no data no data
11499.65/359.96 c S st 74 1209971 1103 1791 2193 71613 9376 1181905 no data no data
11499.65/359.96 c Finding binary XORs T: 0.00 s found: 0
11512.45/360.33 c S st 74 1210472 1103 1791 2214 72110 9376 1193429 no data no data
11512.45/360.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
11515.65/360.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 177 BRemN: 0 P: 2.9M T: 0.11
11515.65/360.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11515.65/360.45 c bin-w-bin subsume rem 1 bins time: 0.00 s
11515.65/360.45 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
11515.65/360.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1103 time: 0.00 s
11515.65/360.45 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
11515.65/360.48 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.02 s
11522.05/360.64 c subs with bin: 105 lits-rem: 211 v-fix: 0 time: 0.09 s
11614.75/363.51 c lits-rem: 1995 cl-subs: 5373 v-elim: 0 v-fix: 0 time: 2.86 s
11614.75/363.51 c vivif2 -- cl tried 1789 cl shrink 0 lits rem 0 time: 0.00
11614.75/363.59 c vivif2 -- cl tried 66632 cl shrink 6071 lits rem 9590 time: 0.08
11621.14/363.71 c asymm cl-useful: 0/1789/1789 lits-rem:0 time: 0.12
11621.14/363.72 c calculated reachability. Time: 0.00
11621.14/363.72 c N st 74 1210472 1103 1789 2039 66632 9343 1090769 no data no data
12605.64/394.59 c N st 75 1283355 1103 1789 2039 91101 9343 1818429 no data no data
12605.64/394.59 c Finding binary XORs T: 0.00 s found: 0
13922.51/435.72 c N st 76 1392678 1103 1789 2071 100762 9343 1833453 no data no data
16080.13/503.27 c N st 77 1556663 1103 1789 2082 56602 9342 654030 no data no data
16080.13/503.28 c Finding binary XORs T: 0.00 s found: 0
18320.83/573.33 c N st 78 1710472 1100 1788 2058 98327 9311 1665222 no data no data
18320.83/573.33 c S st 78 1710472 1100 1788 2058 98327 9311 1665222 no data no data
18320.83/573.35 c Finding binary XORs T: 0.00 s found: 0
18336.83/573.88 c S st 78 1710979 1098 1786 2150 98676 9289 1675404 no data no data
18336.83/573.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
18343.22/574.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 44 BRemL: 158 BRemN: 0 P: 4.5M T: 0.21
18343.22/574.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18343.22/574.11 c bin-w-bin subsume rem 4 bins time: 0.00 s
18343.22/574.11 c subs with bin: 4 lits-rem: 6 v-fix: 0 time: 0.00 s
18343.22/574.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1098 time: 0.00 s
18343.22/574.11 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
18347.01/574.14 c lits-rem: 0 cl-subs: 3 v-elim: 2 v-fix: 0 time: 0.03 s
18352.82/574.39 c subs with bin: 66 lits-rem: 256 v-fix: 0 time: 0.13 s
18582.96/581.54 c lits-rem: 2046 cl-subs: 8840 v-elim: 0 v-fix: 0 time: 7.15 s
18582.96/581.54 c vivif2 -- cl tried 1787 cl shrink 0 lits rem 0 time: 0.00
18586.16/581.68 c vivif2 -- cl tried 89569 cl shrink 7802 lits rem 12093 time: 0.13
18593.15/581.91 c asymm cl-useful: 0/1787/1787 lits-rem:0 time: 0.23
18593.15/581.91 c calculated reachability. Time: 0.00
18593.15/581.91 c N st 78 1710979 1096 1787 2015 89569 9266 1528161 no data no data
18593.15/581.91 c Finding binary XORs T: 0.00 s found: 0
20341.02/636.56 c Finding binary XORs T: 0.00 s found: 0
24445.29/764.91 c N st 79 2079944 1094 1785 2034 100659 9240 1602513 no data no data
24445.29/764.94 c Finding binary XORs T: 0.00 s found: 0
26680.20/834.88 c N st 80 2210979 1091 1782 2353 104206 9207 1652890 no data no data
26680.20/834.88 c S st 80 2210979 1091 1782 2353 104206 9207 1652890 no data no data
26680.20/834.90 c Finding binary XORs T: 0.00 s found: 0
26698.79/835.46 c S st 80 2211482 1090 1780 2410 104695 9193 1665842 no data no data
26698.79/835.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
26705.18/835.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 35 BRemL: 377 BRemN: 0 P: 4.5M T: 0.21
26705.18/835.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26705.18/835.69 c bin-w-bin subsume rem 2 bins time: 0.00 s
26705.18/835.69 c subs with bin: 4 lits-rem: 6 v-fix: 0 time: 0.00 s
26705.18/835.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1090 time: 0.00 s
26705.18/835.69 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
26708.37/835.72 c lits-rem: 0 cl-subs: 3 v-elim: 2 v-fix: 0 time: 0.03 s
26715.39/835.93 c subs with bin: 4 lits-rem: 166 v-fix: 0 time: 0.09 s
27219.82/851.79 c lits-rem: 4957 cl-subs: 13332 v-elim: 0 v-fix: 0 time: 15.85 s
27219.82/851.79 c vivif2 -- cl tried 1781 cl shrink 0 lits rem 0 time: 0.00
27226.21/851.92 c vivif2 -- cl tried 91214 cl shrink 5974 lits rem 8528 time: 0.13
27232.62/852.18 c asymm cl-useful: 1/1781/1781 lits-rem:1 time: 0.26
27232.62/852.18 c calculated reachability. Time: 0.00
27232.62/852.18 c N st 80 2211482 1088 1781 2046 91214 9181 1423494 no data no data
35139.53/1099.56 c N st 81 2711483 1088 1781 2046 114002 9181 1764987 no data no data
35139.53/1099.56 c S st 81 2711483 1088 1781 2046 114002 9181 1764987 no data no data
35139.53/1099.58 c Finding binary XORs T: 0.00 s found: 0
35165.09/1100.32 c S st 81 2711989 1081 1773 2148 114128 9099 1771052 no data no data
35165.09/1100.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
35174.68/1100.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 70 BRemL: 221 BRemN: 0 P: 4.8M T: 0.30
35174.68/1100.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
35174.68/1100.64 c bin-w-bin subsume rem 6 bins time: 0.00 s
35174.68/1100.64 c subs with bin: 10 lits-rem: 9 v-fix: 0 time: 0.00 s
35174.68/1100.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1081 time: 0.00 s
35174.68/1100.64 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
35174.68/1100.69 c lits-rem: 0 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.05 s
35184.28/1101.00 c subs with bin: 110 lits-rem: 795 v-fix: 0 time: 0.18 s
35913.08/1123.72 c lits-rem: 4416 cl-subs: 24046 v-elim: 0 v-fix: 0 time: 22.71 s
35913.08/1123.72 c vivif2 -- cl tried 1765 cl shrink 3 lits rem 3 time: 0.00
35916.28/1123.83 c vivif2 -- cl tried 89917 cl shrink 4711 lits rem 5930 time: 0.11
35926.49/1124.15 c asymm cl-useful: 1/1765/1765 lits-rem:1 time: 0.32
35926.49/1124.16 c calculated reachability. Time: 0.00
35926.49/1124.16 c N st 81 2711989 1080 1765 1986 89917 9071 1349718 no data no data
45029.36/1408.95 c N st 82 3211989 1080 1765 1987 142187 9071 2355221 no data no data
45029.36/1408.95 c S st 82 3211989 1080 1765 1987 142187 9071 2355221 no data no data
45029.36/1408.99 c Finding binary XORs T: 0.00 s found: 0
45054.93/1409.76 c S st 82 3212492 1074 1755 2135 141522 9001 2353329 no data no data
45054.93/1409.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
45064.52/1410.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 17 BRemL: 190 BRemN: 0 P: 4.9M T: 0.32
45064.52/1410.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45064.52/1410.11 c bin-w-bin subsume rem 7 bins time: 0.00 s
45064.52/1410.11 c subs with bin: 6 lits-rem: 8 v-fix: 0 time: 0.00 s
45064.52/1410.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1074 time: 0.00 s
45064.52/1410.11 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
45068.34/1410.17 c lits-rem: 0 cl-subs: 2 v-elim: 2 v-fix: 0 time: 0.06 s
45080.50/1410.53 c subs with bin: 67 lits-rem: 646 v-fix: 0 time: 0.19 s
46445.36/1453.26 c lits-rem: 3858 cl-subs: 30389 v-elim: 0 v-fix: 0 time: 42.72 s
46445.36/1453.27 c vivif2 -- cl tried 1755 cl shrink 0 lits rem 0 time: 0.00
46451.76/1453.45 c vivif2 -- cl tried 110871 cl shrink 9638 lits rem 12649 time: 0.19
46461.38/1453.78 c asymm cl-useful: 1/1755/1755 lits-rem:1 time: 0.33
46461.38/1453.79 c calculated reachability. Time: 0.00
46461.38/1453.79 c N st 82 3212492 1072 1755 1938 110871 8982 1851846 no data no data
46461.38/1453.79 c Finding binary XORs T: 0.00 s found: 0
47576.95/1488.65 c Finding binary XORs T: 0.00 s found: 0
54970.39/1719.92 c N st 83 3712492 1069 1751 1814 130387 8946 2083894 no data no data
54970.39/1719.92 c S st 83 3712492 1069 1751 1814 130387 8946 2083894 no data no data
54970.39/1719.96 c Finding binary XORs T: 0.00 s found: 0
54995.96/1720.72 c S st 83 3712995 1065 1746 1871 129730 8908 2075719 no data no data
54995.96/1720.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
55005.55/1721.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 89 BRemL: 182 BRemN: 0 P: 4.9M T: 0.26
55005.55/1721.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
55005.55/1721.01 c bin-w-bin subsume rem 0 bins time: 0.00 s
55005.55/1721.01 c subs with bin: 11 lits-rem: 13 v-fix: 0 time: 0.00 s
55005.55/1721.01 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 0 done: 1065 time: 0.00 s
55005.55/1721.01 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
55005.55/1721.06 c lits-rem: 0 cl-subs: 3 v-elim: 3 v-fix: 0 time: 0.05 s
55037.50/1722.06 c subs with bin: 1037 lits-rem: 3390 v-fix: 0 time: 0.85 s
55782.29/1745.30 c lits-rem: 2389 cl-subs: 23369 v-elim: 0 v-fix: 0 time: 23.24 s
55782.29/1745.30 c vivif2 -- cl tried 1743 cl shrink 0 lits rem 0 time: 0.00
55785.48/1745.44 c vivif2 -- cl tried 104850 cl shrink 8145 lits rem 11640 time: 0.14
55792.50/1745.71 c asymm cl-useful: 3/1743/1743 lits-rem:5 time: 0.27
55792.50/1745.72 c calculated reachability. Time: 0.00
55792.50/1745.72 c N st 83 3712995 1062 1742 1757 104850 8888 1591165 no data no data
56594.17/1770.71 c F st 84 3751563 1062 1742 1757 143191 8888 2750504 no data no data
56594.17/1770.71 c N st 84 3751563 1062 1742 1757 143191 8888 2750504 no data no data
56594.17/1770.71 c Finding binary XORs T: 0.00 s found: 0
56715.63/1774.50 c Decided on static restart strategy
56777.00/1776.43 c Finding binary XORs T: 0.00 s found: 0
57202.15/1789.74 c N st 94 3779869 1062 1742 1881 90979 8888 1195257 no data no data
57202.15/1789.74 c Finding binary XORs T: 0.00 s found: 0
57808.85/1808.75 c N st 96 3815862 1062 1742 1903 126314 8888 2158316 no data no data
58176.40/1820.29 c Finding binary XORs T: 0.00 s found: 0
58441.70/1828.59 c N st 97 3848255 1059 1735 1846 156102 8848 3069819 no data no data
59263.21/1854.21 c N st 98 3896844 1059 1735 1846 121918 8848 1800444 no data no data
59263.21/1854.21 c Finding binary XORs T: 0.00 s found: 0
60554.58/1894.68 c N st 99 3969726 1059 1735 1899 110684 8848 1730125 no data no data
60557.78/1894.71 c Finding binary XORs T: 0.00 s found: 0
62661.05/1960.55 c N st 100 4079053 1057 1731 1924 131030 8821 1966943 no data no data
62661.05/1960.58 c Finding binary XORs T: 0.00 s found: 0
65637.59/2053.72 c N st 101 4212996 1056 1729 1936 89968 8809 1041126 no data no data
65637.59/2053.72 c S st 101 4212996 1056 1729 1936 89968 8809 1041126 no data no data
65640.81/2053.74 c Finding binary XORs T: 0.00 s found: 3
65656.12/2054.26 c S st 101 4213498 1053 1722 1926 90420 8776 1049959 no data no data
65656.12/2054.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
65662.53/2054.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 101 BRemL: 226 BRemN: 1 P: 3.5M T: 0.15
65662.53/2054.44 c Replacing 3 vars Replaced 450 lits Time: 0.01 s
65662.53/2054.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
65662.53/2054.44 c bin-w-bin subsume rem 18 bins time: 0.00 s
65662.53/2054.44 c subs with bin: 13 lits-rem: 20 v-fix: 0 time: 0.00 s
65662.53/2054.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1050 time: 0.00 s
65662.53/2054.45 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
65662.53/2054.48 c lits-rem: 0 cl-subs: 3 v-elim: 1 v-fix: 0 time: 0.04 s
65668.92/2054.70 c subs with bin: 1107 lits-rem: 5443 v-fix: 0 time: 0.15 s
65688.09/2055.21 c lits-rem: 1837 cl-subs: 775 v-elim: 0 v-fix: 0 time: 0.51 s
65688.09/2055.21 c vivif2 -- cl tried 1709 cl shrink 0 lits rem 0 time: 0.00
65688.09/2055.27 c vivif2 -- cl tried 88154 cl shrink 1354 lits rem 1658 time: 0.06
65694.50/2055.49 c asymm cl-useful: 1/1709/1709 lits-rem:1 time: 0.22
65694.50/2055.50 c calculated reachability. Time: 0.00
65697.69/2055.50 c N st 101 4213498 1049 1709 1774 88153 8711 1010969 no data no data
70214.27/2196.83 c N st 102 4459475 1049 1709 1774 151047 8711 2316572 no data no data
70214.27/2196.86 c Finding binary XORs T: 0.00 s found: 4
74599.82/2334.11 c N st 103 4713498 1042 1691 1966 125999 8622 1782017 no data no data
74599.82/2334.11 c S st 103 4713498 1042 1691 1966 125999 8622 1782017 no data no data
74603.64/2334.14 c Finding binary XORs T: 0.00 s found: 1
74634.98/2335.12 c S st 103 4713998 1038 1684 1909 125704 8565 1777154 no data no data
74634.98/2335.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.08
74644.55/2335.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 19 BRemL: 238 BRemN: 0 P: 3.8M T: 0.20
74644.55/2335.43 c Replacing 5 vars Replaced 1755 lits Time: 0.03 s
74644.55/2335.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
74644.55/2335.43 c bin-w-bin subsume rem 27 bins time: 0.00 s
74644.55/2335.44 c subs with bin: 12 lits-rem: 18 v-fix: 0 time: 0.00 s
74644.55/2335.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1032 time: 0.00 s
74644.55/2335.44 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
74644.55/2335.48 c lits-rem: 0 cl-subs: 5 v-elim: 5 v-fix: 0 time: 0.04 s
74657.35/2335.81 c subs with bin: 751 lits-rem: 3883 v-fix: 0 time: 0.22 s
74993.62/2346.36 c lits-rem: 2368 cl-subs: 16503 v-elim: 0 v-fix: 0 time: 10.55 s
74993.62/2346.36 c vivif2 -- cl tried 1666 cl shrink 3 lits rem 4 time: 0.00
74996.18/2346.45 c vivif2 -- cl tried 96450 cl shrink 2866 lits rem 3792 time: 0.09
75005.77/2346.72 c asymm cl-useful: 2/1666/1666 lits-rem:2 time: 0.27
75005.77/2346.73 c calculated reachability. Time: 0.00
75005.77/2346.73 c N st 103 4713998 1027 1666 1639 96450 8500 1262251 no data no data
75005.77/2346.73 c Finding binary XORs T: 0.00 s found: 0
85841.80/2685.77 c N st 104 5213998 1027 1666 1641 124135 8500 1718532 no data no data
85841.80/2685.77 c S st 104 5213998 1027 1666 1641 124135 8500 1718532 no data no data
85844.99/2685.81 c Finding binary XORs T: 0.00 s found: 6
85870.57/2686.63 c S st 104 5214500 1018 1636 1924 122843 8379 1697921 no data no data
85870.57/2686.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
85880.16/2686.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 65 BRemL: 327 BRemN: 0 P: 5.0M T: 0.26
85880.16/2686.98 c Replacing 6 vars Replaced 6488 lits Time: 0.06 s
85880.16/2686.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
85880.16/2686.98 c bin-w-bin subsume rem 24 bins time: 0.00 s
85880.16/2686.98 c subs with bin: 12 lits-rem: 5 v-fix: 0 time: 0.00 s
85880.16/2686.98 c Subs w/ non-existent bins: 2 l-rem: 2 v-fix: 0 done: 1012 time: 0.00 s
85880.16/2686.98 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
85883.36/2687.03 c lits-rem: 0 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.05 s
85899.34/2687.50 c subs with bin: 539 lits-rem: 3242 v-fix: 0 time: 0.35 s
86228.55/2697.82 c lits-rem: 2943 cl-subs: 15031 v-elim: 0 v-fix: 0 time: 10.32 s
86228.55/2697.82 c vivif2 -- cl tried 1621 cl shrink 0 lits rem 0 time: 0.00
86231.76/2697.93 c vivif2 -- cl tried 107102 cl shrink 4609 lits rem 5780 time: 0.11
86241.94/2698.25 c asymm cl-useful: 3/1621/1621 lits-rem:8 time: 0.32
86241.94/2698.25 c calculated reachability. Time: 0.00
86241.94/2698.25 c N st 104 5214500 1011 1621 1625 107101 8312 1436720 no data no data
86241.94/2698.26 c Finding binary XORs T: 0.00 s found: 0
87030.86/2722.95 c Finding binary XORs T: 0.00 s found: 0
98042.69/3067.49 c N st 105 5714500 1009 1613 1684 199217 8286 2983000 no data no data
98042.69/3067.49 c S st 105 5714500 1009 1613 1684 199217 8286 2983000 no data no data
98071.45/3068.32 c Finding binary XORs T: 0.00 s found: 9
98094.50/3069.10 c Replacing 10 vars Replaced 4829 lits Time: 0.06 s
98109.81/3069.51 c S st 105 5715003 984 1574 1938 174837 8072 2509677 no data no data
98109.81/3069.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
98122.61/3069.98 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 94 BRemL: 392 BRemN: 0 P: 9.0M T: 0.44
98122.61/3069.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
98122.61/3069.98 c bin-w-bin subsume rem 52 bins time: 0.00 s
98122.61/3069.98 c subs with bin: 19 lits-rem: 14 v-fix: 0 time: 0.00 s
98122.61/3069.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 983 time: 0.00 s
98122.61/3069.98 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
98126.42/3070.04 c lits-rem: 0 cl-subs: 7 v-elim: 5 v-fix: 0 time: 0.06 s
98164.81/3071.22 c subs with bin: 1492 lits-rem: 8251 v-fix: 0 time: 0.98 s
100126.80/3132.61 c lits-rem: 11144 cl-subs: 52403 v-elim: 0 v-fix: 0 time: 61.38 s
100126.80/3132.61 c vivif2 -- cl tried 1547 cl shrink 2 lits rem 2 time: 0.00
100130.61/3132.75 c vivif2 -- cl tried 118328 cl shrink 4579 lits rem 5557 time: 0.13
100142.77/3133.11 c asymm cl-useful: 5/1546/1546 lits-rem:7 time: 0.36
100142.77/3133.12 c calculated reachability. Time: 0.00
100142.77/3133.12 c N st 105 5715003 978 1545 1567 118326 7950 1675483 no data no data
100142.77/3133.12 c Finding binary XORs T: 0.00 s found: 1
106345.69/3327.72 c Following stats are for *FIRST FINISHED THREAD ONLY*
106345.69/3327.72 c num threads : 32
106345.69/3327.72 c restarts : 106
106345.69/3327.72 c dynamic restarts : 0
106345.69/3327.72 c static restarts : 106
106345.69/3327.72 c full restarts : 5
106345.69/3327.72 c total simplify time : 3.48
106345.69/3327.72 c learnts DL2 : 0
106345.69/3327.72 c learnts size 2 : 11436
106345.69/3327.72 c learnts size 1 : 373 (22.02 % of vars)
106345.69/3327.72 c filedLit time : 2.30 (0.07 % time)
106345.69/3327.72 c v-elim SatELite : 572 (33.77 % vars)
106345.69/3327.72 c SatELite time : 170.46 (5.14 % time)
106345.69/3327.72 c v-elim xor : 14 (0.83 % vars)
106345.69/3327.72 c xor elim time : 0.18 (0.01 % time)
106345.69/3327.72 c num binary xor trees : 123
106345.69/3327.72 c binxor trees' crown : 281 (2.28 leafs/tree)
106345.69/3327.72 c bin xor find time : 0.06
106345.69/3327.72 c OTF clause improved : 163822 (0.03 clauses/conflict)
106345.69/3327.72 c OTF impr. size diff : 178094 (1.09 lits/clause)
106345.69/3327.72 c OTF cl watch-shrink : 3741930 (0.63 clauses/conflict)
106345.69/3327.72 c OTF cl watch-sh-lit : 12256671 (3.28 lits/clause)
106345.69/3327.72 c tried to recurMin cls : 1218272 (20.58 % of conflicts)
106345.69/3327.72 c updated cache : 30105 (0.02 lits/tried recurMin)
106345.69/3327.72 c unit cls recevied : 134 (35.92 % of units)
106345.69/3327.72 c unit cls sent : 51 (13.67 % of units)
106345.69/3327.72 c bin cls recevied : 6843
106345.69/3327.72 c bin cls sent : 407
106345.69/3327.72 c clauses over max glue : 0 (0.00 % of all clauses)
106345.69/3327.72 c conflicts : 5918625 (1782.98 / sec)
106345.69/3327.72 c decisions : 6723355 (1.06 % random)
106345.69/3327.72 c bogo-props : 410463515440 (123651899.97 / sec)
106345.69/3327.72 c conflict literals : 157636644 (61.63 % deleted)
106345.69/3327.72 c Memory used : 5657.98 MB
106345.69/3327.72 c single-thread CPU time : 3319.51 s
106345.69/3327.72 c all-threads sum CPU time : 106312.10 s
106345.69/3327.72 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400628-1306253454/watcher-3400628-1306253454 -o /tmp/evaluation-result-3400628-1306253454/solver-3400628-1306253454 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400628-1306253454.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=338000 CPUtime=0.81 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 469 0 0 0 81 0 0 0 25 0 32 0 736831817 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 84500 409 300 95 0 79482 0
[pid=9240/tid=9241] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738714028 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=338000 CPUtime=0 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713629 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.121405 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=1525312 CPUtime=1.97 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 7909 0 0 0 144 53 0 0 17 0 32 0 736831817 1561919488 7750 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9240/statm: 381328 7751 347 95 0 376310 0
[pid=9240/tid=9241] ppid=9238 vsize=1525312 CPUtime=0.04 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 184 0 0 0 4 0 0 0 17 0 32 0 736831818 1561919488 7753 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 240 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7753 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480060259808 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=1525312 CPUtime=0.04 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 258 0 0 0 3 1 0 0 17 0 32 0 736831818 1561919488 7757 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=1525312 CPUtime=0.03 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 286 0 0 0 1 2 0 0 17 0 32 0 736831818 1561919488 7764 268435456000 4194304 4580107 140735043895136 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7764 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604477290601952 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 214 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7765 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 199 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7767 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 254 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7769 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 204 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7769 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604498490334688 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 248 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7774 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 252 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7775 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650604748 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 233 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7776 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 240 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7779 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604482970435040 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 221 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7782 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927024 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 281 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7784 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604502318005728 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 251 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7785 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 202 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7786 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566929144 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 164 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7787 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=1525312 CPUtime=0.07 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 258 0 0 0 6 1 0 0 18 0 32 0 736831818 1561919488 7789 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 229 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7792 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604478912945632 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 263 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7793 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566929664 0 0 -1 24 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 217 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7801 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 229 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7805 268435456000 4194304 4580107 140735043895136 18446744073709551615 4222056 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 240 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7806 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 222 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7807 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 238 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7810 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480120323552 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=1525308 CPUtime=0.07 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 259 0 0 0 6 1 0 0 18 0 32 0 736831818 1561915392 7822 268435456000 4194304 4580107 140735043895136 18446744073709551615 4234883 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=1525304 CPUtime=0.04 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 202 0 0 0 3 1 0 0 17 0 32 0 736831818 1561911296 7822 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 215 0 0 0 4 2 0 0 17 0 32 0 736831818 1561911296 7823 268435456000 4194304 4580107 140735043895136 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 269 0 0 0 5 1 0 0 17 0 32 0 736831818 1561911296 7827 268435456000 4194304 4580107 140735043895136 18446744073709551615 4292881 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 243 0 0 0 4 2 0 0 17 0 32 0 736831818 1561911296 7828 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 1525312
[startup+0.203412 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=1984652 CPUtime=3.21 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) S 9238 9240 9036 0 -1 4202496 11841 0 0 0 241 80 0 0 17 0 32 0 736831817 2032283648 11616 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9240/statm: 496163 11625 372 95 0 491145 0
[pid=9240/tid=9241] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 275 0 0 0 7 1 0 0 17 0 32 0 736831818 2032283648 11628 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 368 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11628 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566933504 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=1984652 CPUtime=0.07 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 378 0 0 0 6 1 0 0 17 0 32 0 736831818 2032283648 11632 268435456000 4194304 4580107 140735043895136 18446744073709551615 4402466 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 392 0 0 0 5 3 0 0 17 0 32 0 736831818 2032283648 11636 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 397 0 0 0 6 3 0 0 17 0 32 0 736831818 2032283648 11639 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480120323552 0 0 -1 8 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 350 0 0 0 8 1 0 0 17 0 32 0 736831818 2032283648 11642 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 321 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11646 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604498574024160 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 460 0 0 0 7 3 0 0 17 0 32 0 736831818 2032283648 11650 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 312 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11657 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 386 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11660 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604502760775136 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 479 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11660 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 373 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11664 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 323 0 0 0 7 3 0 0 17 0 32 0 736831818 2032283648 11670 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 394 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11674 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 421 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11676 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604503424982496 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 351 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11687 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=9240/tid=9270] ppid=9238 vsize=5920984 CPUtime=3321.81 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160224 0 0 0 332075 106 0 0 25 0 32 0 736831818 6063087616 1096277 268435456000 4194304 4580107 140735043895136 18446744073709551615 4321284 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5920984 CPUtime=3321.84 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 46847 0 0 0 332150 34 0 0 25 0 32 0 736831818 6063087616 1096277 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106200
Current children cumulated vsize (KiB) 5920984
[startup+3325.8 s]
/proc/loadavg: 32.02 32.05 31.99 33/445 9372
/proc/meminfo: memFree=250777864/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=5920984 CPUtime=106302 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 5253228 0 0 0 10626875 3362 0 0 25 0 32 0 736831817 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 1480246 1097782 379 95 0 1475228 0
[pid=9240/tid=9241] ppid=9238 vsize=5920984 CPUtime=3316.59 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 167223 0 0 0 331554 105 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 171482 0 0 0 332393 108 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 188954 0 0 0 332383 115 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=5920984 CPUtime=3324.95 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 119424 0 0 0 332427 68 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 182081 0 0 0 332395 104 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160397 0 0 0 332397 102 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=5920984 CPUtime=3312.71 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 185527 0 0 0 331153 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=5920984 CPUtime=3318.76 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176316 0 0 0 331758 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 159668 0 0 0 332403 98 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162015 0 0 0 332390 110 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 181863 0 0 0 332382 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=5920984 CPUtime=3325.02 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176451 0 0 0 332389 113 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 203875 0 0 0 332367 134 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=5920984 CPUtime=3301.67 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 163844 0 0 0 330057 110 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 159810 0 0 0 332403 96 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=5920984 CPUtime=3325.02 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 126071 0 0 0 332414 88 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162289 0 0 0 332399 102 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 174484 0 0 0 332385 113 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=5920984 CPUtime=3323.16 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 190820 0 0 0 332166 150 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 201976 0 0 0 332382 116 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=5920984 CPUtime=3324.96 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 182282 0 0 0 332395 101 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=5920984 CPUtime=3323.97 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 169010 0 0 0 332300 97 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162251 0 0 0 332396 104 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=5920984 CPUtime=3324.92 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 145660 0 0 0 332399 93 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4397329 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 174988 0 0 0 332395 105 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 170827 0 0 0 332388 111 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=5920984 CPUtime=3323.98 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 141697 0 0 0 332302 96 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=5920984 CPUtime=3281.5 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 197109 0 0 0 328020 130 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=5920984 CPUtime=3324.91 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 140343 0 0 0 332397 94 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160224 0 0 0 332395 106 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5920984 CPUtime=3325.04 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 46847 0 0 0 332470 34 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106302
Current children cumulated vsize (KiB) 5920984
[startup+3327.4 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=5793768 CPUtime=106345 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) S 9238 9240 9036 0 -1 4202496 5253811 0 0 0 10631148 3364 0 0 25 0 32 0 736831817 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 1448442 1083616 379 95 0 1443424 0
[pid=9240/tid=9241] ppid=9238 vsize=5793768 CPUtime=3317.91 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 167223 0 0 0 331686 105 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604479047966176 0 0 -1 14 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 171482 0 0 0 332525 108 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604487484931552 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 188998 0 0 0 332515 115 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604478912945632 0 0 -1 15 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=5793768 CPUtime=3326.27 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 119424 0 0 0 332559 68 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604503424982496 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 182110 0 0 0 332527 104 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446744071566927784 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 160435 0 0 0 332529 102 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504459042272 0 0 -1 24 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=5793768 CPUtime=3314.02 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 185567 0 0 0 331284 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498574024160 0 0 -1 1 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=5793768 CPUtime=3320.38 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176316 0 0 0 331920 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738689220 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 159689 0 0 0 332535 98 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504747884000 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162021 0 0 0 332521 111 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604563862167008 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 181889 0 0 0 332514 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480120323552 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=5793768 CPUtime=3326.64 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176451 0 0 0 332551 113 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 203904 0 0 0 332499 134 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504680955360 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=5793768 CPUtime=3302.96 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 163886 0 0 0 330186 110 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604501773319648 0 0 -1 31 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 159810 0 0 0 332535 96 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480999210464 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=5793768 CPUtime=3326.34 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 126071 0 0 0 332546 88 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604482368462304 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162326 0 0 0 332530 102 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604505290005984 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 174519 0 0 0 332517 113 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604476332203488 0 0 -1 19 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=5793768 CPUtime=3324.48 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 190820 0 0 0 332298 150 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604492786793952 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 202019 0 0 0 332514 116 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604501865184736 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=5793768 CPUtime=3326.28 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 182309 0 0 0 332527 101 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502798368224 0 0 -1 20 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=5793768 CPUtime=3325.29 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 169010 0 0 0 332432 97 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498666585568 0 0 -1 16 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162251 0 0 0 332528 104 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502760775136 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=5793768 CPUtime=3326.25 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 145760 0 0 0 332531 94 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604481063362016 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 174988 0 0 0 332527 105 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604505996156384 0 0 -1 7 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 170827 0 0 0 332520 111 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498490334688 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=5793768 CPUtime=3325.3 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 141697 0 0 0 332434 96 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604482970435040 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=5793768 CPUtime=3282.82 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 197140 0 0 0 328152 130 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604479243599328 0 0 -1 11 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=5793768 CPUtime=3326.23 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 140378 0 0 0 332529 94 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604477290601952 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 160224 0 0 0 332527 106 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480060259808 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5793768 CPUtime=3326.36 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 46847 0 0 0 332602 34 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502318005728 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106345
Current children cumulated vsize (KiB) 5793768
[startup+3327.8 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=0 CPUtime=106346 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) Z 9238 9240 9036 0 -1 4203548 5253815 0 0 0 10631209 3374 0 0 19 0 2 0 736831817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 0 0 0 0 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=0 CPUtime=3326.41 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4203588 203904 0 0 0 332499 142 0 0 19 0 2 0 736831818 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106346
Current children cumulated vsize (KiB) 0
[startup+3328.2 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=0 CPUtime=106346 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) Z 9238 9240 9036 0 -1 4203548 5253815 0 0 0 10631209 3414 0 0 19 0 2 0 736831817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 0 0 0 0 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=0 CPUtime=3326.81 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4203588 203904 0 0 0 332499 182 0 0 20 0 2 0 736831818 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106346
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3328.28
CPU time (s): 106346
CPU user time (s): 106312
CPU system time (s): 34.2268
CPU usage (%): 3195.23
Max. virtual memory (cumulated for all children) (KiB): 6049432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106312
system time used= 34.2268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5253815
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= 57815
involuntary context switches= 212505
runsolver used 19.0201 second user time and 74.8646 second system time
The end
Begin job on node200 at 2011-05-24 18:10:54
IDJOB=3400628
IDBENCH=20468
IDSOLVER=1886
FILE ID=node200/3400628-1306253454
RUNJOBID= node200-1306253326-9050
PBS_JOBID= 13411758
Free space on /tmp= 62048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400628-1306253454/watcher-3400628-1306253454 -o /tmp/evaluation-result-3400628-1306253454/solver-3400628-1306253454 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400628-1306253454.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=917571116
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255171040 kB
Buffers: 463564 kB
Cached: 8215192 kB
SwapCached: 0 kB
Active: 7766744 kB
Inactive: 981076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255171040 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6048 kB
Writeback: 0 kB
AnonPages: 69436 kB
Mapped: 14664 kB
Slab: 255340 kB
PageTables: 4816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 175540 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= 62040 MiB
End job on node200 at 2011-05-24 19:06:22