0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
1.43/0.06 c This is CryptoMiniSat 3.0.0
1.43/0.06 c WARNING: for repeatability, setting FPU to use double precision
1.43/0.06 c Reading file 'HOME/instance-3400804-1306806581.cnf'
1.43/0.10 c -- header says num vars: 44362
1.43/0.10 c -- header says num clauses: 148436
21.98/1.23 c -- clauses added: 0 learnts, 148436 normals, 0 xors
21.98/1.23 c -- vars added 44362
21.98/1.23 c Parsing time: 0.21 s
21.98/1.23 c N st 0 0 44362 71422 67911 0 357440 0 no data no data
72.38/2.80 c asymm cl-useful: 8/40183/71422 lits-rem:88 time: 1.57
331.47/17.70 c Flit: 80 Blit: 3934 bXBeca: 0 bXProp: 7226 Bins: 0 BRemL: 0 BRemN: 0 P: 54.8M T: 7.27
331.47/17.72 c Cleaning up after failed var search: 0.01 s
333.95/17.83 c Replacing 7226 vars Replaced 201931 lits Time: 0.06 s
338.78/18.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
338.78/18.17 c bin-w-bin subsume rem 845 bins time: 0.01 s
338.78/18.19 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
340.41/18.25 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 31096 time: 0.05 s
342.53/18.33 c Removed useless bin: 45 fixed: 0 props: 4.74M time: 0.08 s
361.57/19.19 c lits-rem: 0 cl-subs: 255 v-elim: 10365 v-fix: 0 time: 0.38 s
370.88/19.41 c Finding binary XORs T: 0.21 s found: 20
370.88/19.42 c Replacing 20 vars Replaced 245 lits Time: 0.01 s
374.06/19.56 c Finding non-binary XORs: 0.08 s (found: 10050, avg size: 3.0)
374.06/19.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1620 locsubst: 6422 time: 0.05
374.06/19.58 c Replacing 3211 vars Replaced 19266 lits Time: 0.01 s
374.06/19.59 c calculated reachability. Time: 0.01
377.21/19.60 c Calc default polars - time: 0.01 s pos: 1922 undec: 28535 neg: 13905
377.21/19.60 c =========================================================================================
377.21/19.60 c types(t): F = full restart, N = normal restart
377.21/19.60 c types(t): S = simplification begin/end, E = solution found
377.21/19.60 c restart types(rt): st = static, dy = dynamic
377.21/19.60 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
377.21/19.60 c B st 0 0 15880 26056 20551 0 171687 0 no data no data
389.91/20.05 c Decided on static restart strategy
405.89/20.60 c N st 8 4915 15876 26056 20678 4630 171687 138366 no data no data
451.22/21.94 c N st 10 11297 15849 26056 22252 10845 171687 573712 no data no data
454.45/22.03 c Finding binary XORs T: 0.08 s found: 5
486.38/23.06 c N st 11 17041 15849 26049 21895 16456 170910 786036 no data no data
546.47/24.90 c F st 12 25001 15842 26049 22812 14709 170910 428242 no data no data
546.47/24.92 c Replacing 5 vars Replaced 93 lits Time: 0.01 s
546.47/24.95 c N st 12 25001 15838 26046 22719 14704 170771 428149 no data no data
572.04/25.79 c Finding binary XORs T: 0.09 s found: 0
595.04/26.42 c Decided on static restart strategy
595.04/26.42 c N st 18 30000 15835 26045 23238 19549 170708 934420 no data no data
595.04/26.42 c S st 18 30000 15835 26045 23238 19549 170708 934420 no data no data
600.80/26.68 c S st 18 30501 15835 26045 23275 20012 170708 942764 no data no data
604.00/26.71 c x-sub: 3211 x-cut: 0 vfix: 0 v-elim: 809 locsubst: 0 time: 0.03
655.14/28.38 c Flit: 73 Blit: 2 bXBeca: 0 bXProp: 7 Bins: 215576 BRemL: 141301 BRemN: 9 P: 10.1M T: 1.66
658.34/28.41 c Replacing 7 vars Replaced 464 lits Time: 0.03 s
658.34/28.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
658.34/28.44 c bin-w-bin subsume rem 528 bins time: 0.01 s
658.34/28.47 c subs with bin: 773 lits-rem: 546 v-fix: 0 time: 0.03 s
658.34/28.50 c Subs w/ non-existent bins: 103 l-rem: 9 v-fix: 0 done: 14944 time: 0.03 s
662.12/28.52 c Removed useless bin: 121 fixed: 0 props: 0.74M time: 0.02 s
662.12/28.60 c lits-rem: 272 cl-subs: 227 v-elim: 2146 v-fix: 0 time: 0.08 s
665.35/28.65 c subs with bin: 83 lits-rem: 421 v-fix: 0 time: 0.03 s
665.35/28.69 c lits-rem: 243 cl-subs: 248 v-elim: 0 v-fix: 0 time: 0.03 s
683.90/29.24 c asymm cl-useful: 280/25571/25571 lits-rem:1179 time: 0.55
683.90/29.26 c calculated reachability. Time: 0.01
683.90/29.26 c N st 18 30501 12798 25570 79242 5094 151327 225753 no data no data
687.09/29.35 c Finding binary XORs T: 0.09 s found: 0
742.66/31.25 c N st 20 37612 12796 25570 79435 12062 151327 633280 no data no data
749.12/31.59 c Finding binary XORs T: 0.08 s found: 4
777.13/33.21 c N st 21 44013 12788 25557 203379 10667 150914 991319 no data no data
782.45/33.51 c S st 22 45752 12787 25557 203437 12385 150914 1055065 no data no data
784.32/33.67 c S st 22 46253 12787 25557 203443 12878 150913 1073450 no data no data
784.32/33.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 396 locsubst: 0 time: 0.03
800.90/34.56 c Flit: 7 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 12695 BRemL: 76650 BRemN: 0 P: 6.1M T: 0.86
800.90/34.58 c Replacing 4 vars Replaced 583 lits Time: 0.02 s
800.90/34.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
802.73/34.61 c bin-w-bin subsume rem 336 bins time: 0.01 s
802.73/34.63 c subs with bin: 75 lits-rem: 144 v-fix: 0 time: 0.02 s
802.73/34.65 c Subs w/ non-existent bins: 0 l-rem: 15 v-fix: 0 done: 12380 time: 0.02 s
802.73/34.67 c Removed useless bin: 61 fixed: 0 props: 0.46M time: 0.01 s
802.73/34.70 c lits-rem: 0 cl-subs: 66 v-elim: 47 v-fix: 0 time: 0.03 s
806.56/34.80 c subs with bin: 6 lits-rem: 226 v-fix: 0 time: 0.09 s
806.56/34.86 c lits-rem: 263 cl-subs: 265 v-elim: 0 v-fix: 0 time: 0.04 s
806.56/34.87 c vivif2 -- cl tried 25419 cl shrink 150 lits rem 357 time: 0.01
806.56/34.88 c vivif2 -- cl tried 8023 cl shrink 722 lits rem 1629 time: 0.01
816.07/35.30 c asymm cl-useful: 94/22854/25378 lits-rem:257 time: 0.42
816.07/35.31 c calculated reachability. Time: 0.01
816.07/35.31 c N st 22 46253 12333 25378 119787 8023 148760 390601 no data no data
816.07/35.39 c Finding binary XORs T: 0.07 s found: 0
903.05/39.18 c N st 23 60652 12333 25378 119797 22061 148760 2294687 no data no data
912.63/39.43 c Finding binary XORs T: 0.08 s found: 1
1033.98/43.27 c N st 24 69380 12333 25378 184205 18517 148760 2136651 no data no data
1033.98/43.27 c S st 24 69380 12333 25378 184205 18517 148760 2136651 no data no data
1043.56/43.56 c S st 24 69883 12333 25378 188689 19013 148760 2157706 no data no data
1043.56/43.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 198 locsubst: 0 time: 0.03
1075.51/44.54 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 4815 BRemL: 68573 BRemN: 1 P: 6.5M T: 0.94
1075.51/44.57 c Replacing 1 vars Replaced 36 lits Time: 0.03 s
1075.51/44.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1078.74/44.61 c bin-w-bin subsume rem 32719 bins time: 0.02 s
1078.74/44.64 c subs with bin: 34 lits-rem: 18 v-fix: 0 time: 0.02 s
1078.74/44.67 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 12128 time: 0.03 s
1078.74/44.68 c Removed useless bin: 6 fixed: 0 props: 0.37M time: 0.01 s
1081.90/44.72 c lits-rem: 1 cl-subs: 70 v-elim: 48 v-fix: 0 time: 0.04 s
1088.29/44.94 c subs with bin: 13 lits-rem: 151 v-fix: 0 time: 0.19 s
1092.08/45.03 c lits-rem: 223 cl-subs: 218 v-elim: 0 v-fix: 0 time: 0.07 s
1092.08/45.04 c vivif2 -- cl tried 25258 cl shrink 55 lits rem 68 time: 0.01
1092.08/45.06 c vivif2 -- cl tried 10259 cl shrink 243 lits rem 2271 time: 0.02
1095.30/45.14 c asymm cl-useful: 150/2404/25258 lits-rem:450 time: 0.08
1095.30/45.15 c calculated reachability. Time: 0.01
1095.30/45.15 c N st 24 69883 12080 25108 81302 10259 147526 446954 no data no data
1264.04/50.41 c F st 25 87502 12080 25108 81304 14502 147526 796286 no data no data
1264.04/50.44 c N st 25 87502 12080 25107 79839 14502 147513 793360 no data no data
1267.83/50.52 c Finding binary XORs T: 0.07 s found: 74
1308.75/51.90 c Decided on static restart strategy
1327.95/52.50 c N st 32 95549 12079 25107 79870 22391 147512 1423191 no data no data
1427.00/55.59 c N st 34 104826 12079 25107 80165 31570 147512 2875929 no data no data
1427.00/55.59 c S st 34 104826 12079 25107 80165 31570 147512 2875929 no data no data
1430.19/55.69 c Finding binary XORs T: 0.07 s found: 10
1439.78/56.01 c S st 34 105328 12065 25083 74069 32015 147148 2875549 no data no data
1443.58/56.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 54 locsubst: 0 time: 0.03
1471.74/56.95 c Flit: 1 Blit: 2 bXBeca: 0 bXProp: 17 Bins: 4910 BRemL: 18869 BRemN: 89 P: 11.2M T: 0.91
1471.74/56.99 c Replacing 101 vars Replaced 1796 lits Time: 0.04 s
1474.94/57.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1474.94/57.02 c bin-w-bin subsume rem 1416 bins time: 0.01 s
1474.94/57.04 c subs with bin: 171 lits-rem: 154 v-fix: 0 time: 0.02 s
1474.94/57.07 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 11907 time: 0.03 s
1474.94/57.08 c Removed useless bin: 4 fixed: 0 props: 0.46M time: 0.01 s
1478.73/57.14 c lits-rem: 17 cl-subs: 175 v-elim: 42 v-fix: 0 time: 0.05 s
1542.06/59.20 c subs with bin: 16 lits-rem: 1398 v-fix: 0 time: 1.81 s
1609.18/61.29 c lits-rem: 1809 cl-subs: 776 v-elim: 0 v-fix: 0 time: 2.08 s
1612.38/61.30 c vivif2 -- cl tried 24677 cl shrink 0 lits rem 0 time: 0.01
1615.58/61.48 c vivif2 -- cl tried 29604 cl shrink 5965 lits rem 71536 time: 0.18
1634.74/62.01 c asymm cl-useful: 123/16465/24677 lits-rem:275 time: 0.53
1634.74/62.02 c calculated reachability. Time: 0.01
1634.74/62.02 c N st 34 105328 11865 24667 57556 29603 145015 2397038 no data no data
1634.74/62.10 c Finding binary XORs T: 0.07 s found: 0
1724.84/64.84 c N st 35 114926 11865 24667 57556 21551 145015 1023584 no data no data
1855.27/68.99 c N st 36 129324 11855 24667 58583 35728 145015 3292521 no data no data
1858.47/69.09 c Finding binary XORs T: 0.07 s found: 12
2069.44/75.64 c N st 37 150920 11853 24650 58120 35971 144690 1510235 no data no data
2072.64/75.73 c Finding binary XORs T: 0.07 s found: 26
2139.76/77.87 c S st 38 157992 11851 24648 58378 42940 144659 2389053 no data no data
2152.53/78.21 c S st 38 158494 11850 24648 58736 43438 144659 2402822 no data no data
2152.53/78.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2181.90/79.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 282 BRemL: 9364 BRemN: 0 P: 12.8M T: 0.90
2181.90/79.19 c Replacing 38 vars Replaced 1095 lits Time: 0.05 s
2181.90/79.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2181.90/79.21 c bin-w-bin subsume rem 990 bins time: 0.01 s
2185.14/79.23 c subs with bin: 92 lits-rem: 75 v-fix: 0 time: 0.02 s
2185.14/79.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11812 time: 0.02 s
2185.14/79.27 c Removed useless bin: 3 fixed: 0 props: 0.45M time: 0.01 s
2187.69/79.33 c lits-rem: 11 cl-subs: 79 v-elim: 39 v-fix: 0 time: 0.06 s
2248.44/81.25 c subs with bin: 9 lits-rem: 10506 v-fix: 0 time: 1.77 s
2331.53/83.89 c lits-rem: 2307 cl-subs: 994 v-elim: 0 v-fix: 0 time: 2.63 s
2334.73/83.90 c vivif2 -- cl tried 24443 cl shrink 1 lits rem 1 time: 0.01
2341.12/84.10 c vivif2 -- cl tried 41900 cl shrink 12909 lits rem 71669 time: 0.20
2347.52/84.36 c asymm cl-useful: 10/7977/24442 lits-rem:30 time: 0.26
2347.52/84.38 c calculated reachability. Time: 0.01
2347.52/84.38 c N st 38 158494 11773 24432 45986 41899 143880 2195460 no data no data
3220.10/111.69 c N st 39 207082 11773 24432 45986 42336 143878 6374126 no data no data
3226.50/111.81 c Finding binary XORs T: 0.07 s found: 28
3542.96/121.79 c N st 40 237741 11761 24407 44677 46331 143582 4297402 no data no data
3542.96/121.79 c S st 40 237741 11761 24407 44677 46331 143582 4297402 no data no data
3556.34/122.15 c S st 40 238242 11760 24407 44963 46829 143582 4312582 no data no data
3556.34/122.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3584.51/123.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 131 BRemL: 3913 BRemN: 10 P: 12.0M T: 0.86
3584.51/123.11 c Replacing 30 vars Replaced 1315 lits Time: 0.07 s
3588.27/123.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3588.27/123.13 c bin-w-bin subsume rem 635 bins time: 0.01 s
3588.27/123.15 c subs with bin: 66 lits-rem: 71 v-fix: 0 time: 0.02 s
3588.27/123.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11730 time: 0.02 s
3588.27/123.18 c Removed useless bin: 2 fixed: 0 props: 0.41M time: 0.01 s
3591.50/123.26 c lits-rem: 3 cl-subs: 45 v-elim: 14 v-fix: 0 time: 0.08 s
3661.83/125.45 c subs with bin: 32 lits-rem: 5563 v-fix: 0 time: 1.89 s
3814.63/130.21 c lits-rem: 3512 cl-subs: 853 v-elim: 0 v-fix: 0 time: 4.75 s
3814.63/130.22 c vivif2 -- cl tried 24255 cl shrink 1 lits rem 1 time: 0.01
3824.23/130.56 c vivif2 -- cl tried 45556 cl shrink 10783 lits rem 228287 time: 0.33
3843.40/131.14 c asymm cl-useful: 47/14948/24255 lits-rem:69 time: 0.58
3843.40/131.15 c calculated reachability. Time: 0.01
3843.40/131.15 c N st 40 238242 11716 24255 40374 45556 142927 3915927 no data no data
4025.57/136.82 c Finding binary XORs T: 0.07 s found: 0
5054.73/169.10 c F st 41 306251 11713 24253 39843 57199 142861 7178024 no data no data
5057.93/169.12 c N st 41 306251 11713 24253 39843 57199 142861 7178024 no data no data
5061.13/169.25 c Finding binary XORs T: 0.07 s found: 0
5115.46/170.93 c Decided on static restart strategy
5393.44/179.65 c N st 51 334549 11710 24251 43275 55714 142735 4994298 no data no data
5812.09/192.79 c N st 53 357363 11709 24251 43286 47653 142735 4238033 no data no data
5812.09/192.79 c S st 53 357363 11709 24251 43286 47653 142735 4238033 no data no data
5824.89/193.18 c S st 53 357863 11709 24251 43290 48151 142735 4252205 no data no data
5828.08/193.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
5853.65/194.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 118 BRemL: 7062 BRemN: 1 P: 11.3M T: 0.81
5856.85/194.10 c Replacing 5 vars Replaced 1050 lits Time: 0.08 s
5856.85/194.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5856.85/194.12 c bin-w-bin subsume rem 268 bins time: 0.01 s
5856.85/194.14 c subs with bin: 22 lits-rem: 13 v-fix: 0 time: 0.01 s
5856.85/194.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11704 time: 0.03 s
5856.85/194.18 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s
5860.05/194.25 c lits-rem: 0 cl-subs: 19 v-elim: 8 v-fix: 0 time: 0.07 s
5930.36/196.49 c subs with bin: 9 lits-rem: 749 v-fix: 0 time: 2.01 s
6080.61/201.20 c lits-rem: 1113 cl-subs: 1019 v-elim: 0 v-fix: 0 time: 4.69 s
6080.61/201.21 c vivif2 -- cl tried 24189 cl shrink 0 lits rem 0 time: 0.01
6090.18/201.45 c vivif2 -- cl tried 43119 cl shrink 8358 lits rem 112220 time: 0.24
6099.78/201.80 c asymm cl-useful: 0/9241/24189 lits-rem:0 time: 0.35
6102.97/201.81 c calculated reachability. Time: 0.01
6102.97/201.81 c N st 53 357863 11696 24189 35447 43119 142442 3196610 no data no data
6102.97/201.88 c Finding binary XORs T: 0.07 s found: 0
6691.04/220.21 c N st 54 390255 11696 24189 35447 45428 142442 2683361 no data no data
7969.42/260.29 c N st 55 438843 11693 24189 35455 61904 142442 7372964 no data no data
9643.93/312.69 c N st 56 511728 11693 24189 35619 66423 142442 4765850 no data no data
9650.33/312.82 c Finding binary XORs T: 0.07 s found: 1
9995.47/323.69 c N st 57 536796 11693 24187 34960 55609 142370 3835107 no data no data
9995.47/323.69 c S st 57 536796 11693 24187 34960 55609 142370 3835107 no data no data
10011.46/324.11 c S st 57 537301 11693 24187 34968 56112 142370 3849669 no data no data
10011.46/324.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
10037.02/324.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 6 BRemL: 245 BRemN: 0 P: 11.3M T: 0.81
10037.02/324.99 c Replacing 2 vars Replaced 211 lits Time: 0.03 s
10040.21/325.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10040.21/325.02 c bin-w-bin subsume rem 87 bins time: 0.01 s
10040.21/325.03 c subs with bin: 9 lits-rem: 7 v-fix: 0 time: 0.02 s
10040.21/325.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11691 time: 0.02 s
10040.21/325.07 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s
10043.41/325.15 c lits-rem: 0 cl-subs: 4 v-elim: 5 v-fix: 0 time: 0.08 s
10113.72/327.37 c subs with bin: 1 lits-rem: 77 v-fix: 0 time: 1.99 s
10251.16/331.64 c lits-rem: 3847 cl-subs: 1923 v-elim: 0 v-fix: 0 time: 4.27 s
10251.16/331.65 c vivif2 -- cl tried 24172 cl shrink 0 lits rem 0 time: 0.01
10260.76/331.92 c vivif2 -- cl tried 52286 cl shrink 11370 lits rem 83123 time: 0.26
10279.93/332.56 c asymm cl-useful: 43/7585/24172 lits-rem:60 time: 0.63
10279.93/332.57 c calculated reachability. Time: 0.01
10279.93/332.57 c N st 57 537301 11686 24172 34442 52286 142250 3371046 no data no data
11855.49/381.81 c Finding binary XORs T: 0.07 s found: 1
13485.20/432.82 c N st 58 701286 11685 24171 34392 64360 142235 5111576 no data no data
15009.37/480.54 c N st 59 805952 11684 24171 34483 86160 142235 6191460 no data no data
15009.37/480.54 c S st 59 805952 11684 24171 34483 86160 142235 6191460 no data no data
15034.93/481.33 c S st 59 806455 11683 24171 34514 44479 142235 1826727 no data no data
15034.93/481.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
15063.70/482.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 31 BRemL: 328 BRemN: 0 P: 10.1M T: 0.85
15063.70/482.28 c Replacing 2 vars Replaced 81 lits Time: 0.06 s
15063.70/482.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
15066.90/482.30 c bin-w-bin subsume rem 26 bins time: 0.01 s
15066.90/482.32 c subs with bin: 16 lits-rem: 10 v-fix: 0 time: 0.02 s
15066.90/482.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11681 time: 0.03 s
15066.90/482.36 c Removed useless bin: 2 fixed: 0 props: 0.39M time: 0.02 s
15070.09/482.44 c lits-rem: 1 cl-subs: 17 v-elim: 4 v-fix: 0 time: 0.08 s
15111.65/483.77 c subs with bin: 76 lits-rem: 180 v-fix: 0 time: 1.19 s
15150.01/484.97 c lits-rem: 1748 cl-subs: 510 v-elim: 0 v-fix: 0 time: 1.19 s
15150.01/484.99 c vivif2 -- cl tried 24132 cl shrink 0 lits rem 0 time: 0.01
15153.79/485.08 c vivif2 -- cl tried 43868 cl shrink 1020 lits rem 9849 time: 0.10
15175.56/485.79 c asymm cl-useful: 47/14589/24132 lits-rem:51 time: 0.71
15178.75/485.81 c calculated reachability. Time: 0.01
15178.75/485.81 c N st 59 806455 11677 24130 33365 43868 142074 1790975 no data no data
21182.96/673.78 c F st 60 1071878 11677 24130 33367 79905 142074 9996480 no data no data
21186.16/673.80 c N st 60 1071878 11677 24130 33367 79905 142074 9996480 no data no data
21186.16/673.89 c Finding binary XORs T: 0.08 s found: 4
21291.63/677.17 c Decided on static restart strategy
21742.15/691.26 c N st 70 1100184 11676 24130 33760 59347 142073 3847632 no data no data
22195.98/705.47 c N st 72 1136177 11676 24130 33789 94906 142073 6970032 no data no data
22646.36/719.53 c N st 73 1168569 11676 24130 33796 77293 142073 4689536 no data no data
23497.89/746.29 c N st 74 1209683 11676 24130 33919 67775 142073 5458404 no data no data
23497.89/746.29 c S st 74 1209683 11676 24130 33919 67775 142073 5458404 no data no data
23504.25/746.42 c Finding binary XORs T: 0.08 s found: 2
23520.78/746.98 c S st 74 1210184 11676 24128 33756 68262 142065 5476091 no data no data
23523.27/747.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
23557.86/748.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 7 BRemL: 496 BRemN: 0 P: 13.2M T: 1.07
23557.86/748.15 c Replacing 6 vars Replaced 1134 lits Time: 0.05 s
23557.86/748.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
23557.86/748.18 c bin-w-bin subsume rem 51 bins time: 0.01 s
23557.86/748.20 c subs with bin: 22 lits-rem: 10 v-fix: 0 time: 0.02 s
23561.05/748.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11670 time: 0.02 s
23561.05/748.24 c Removed useless bin: 1 fixed: 0 props: 0.39M time: 0.01 s
23564.16/748.35 c lits-rem: 0 cl-subs: 27 v-elim: 8 v-fix: 0 time: 0.11 s
23665.56/751.55 c subs with bin: 12 lits-rem: 2794 v-fix: 0 time: 2.25 s
23876.31/758.17 c lits-rem: 6276 cl-subs: 1313 v-elim: 0 v-fix: 0 time: 6.61 s
23876.31/758.19 c vivif2 -- cl tried 24077 cl shrink 0 lits rem 0 time: 0.01
23889.10/758.57 c vivif2 -- cl tried 66636 cl shrink 9299 lits rem 276091 time: 0.38
23892.29/758.66 c asymm cl-useful: 0/1903/24077 lits-rem:0 time: 0.08
23892.29/758.67 c calculated reachability. Time: 0.01
23892.29/758.67 c N st 74 1210184 11662 24077 33193 66635 141880 5067290 no data no data
25624.28/812.89 c N st 75 1283066 11662 24077 33194 87529 141880 7024918 no data no data
28211.54/893.81 c N st 76 1392389 11662 24077 33249 90283 141880 11118089 no data no data
30990.82/980.82 c N st 77 1556374 11661 24077 33362 86338 141879 5064196 no data no data
34991.42/1106.07 c N st 78 1710186 11660 24077 33369 63779 141879 2638626 no data no data
34991.42/1106.07 c S st 78 1710186 11660 24077 33369 63779 141879 2638626 no data no data
34994.62/1106.18 c Finding binary XORs T: 0.08 s found: 1
35007.98/1106.61 c S st 78 1710693 11659 24071 32478 64153 141789 2648193 no data no data
35011.22/1106.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
35039.36/1107.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 52 BRemL: 219 BRemN: 1 P: 12.4M T: 0.93
35043.14/1107.65 c Replacing 1 vars Replaced 174 lits Time: 0.04 s
35043.14/1107.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
35043.14/1107.68 c bin-w-bin subsume rem 43 bins time: 0.01 s
35043.14/1107.70 c subs with bin: 5 lits-rem: 3 v-fix: 0 time: 0.02 s
35046.37/1107.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11658 time: 0.03 s
35046.37/1107.74 c Removed useless bin: 1 fixed: 0 props: 0.39M time: 0.02 s
35048.94/1107.83 c lits-rem: 0 cl-subs: 3 v-elim: 2 v-fix: 0 time: 0.09 s
35109.68/1109.71 c subs with bin: 96 lits-rem: 1236 v-fix: 0 time: 1.64 s
35187.06/1112.15 c lits-rem: 2059 cl-subs: 897 v-elim: 0 v-fix: 0 time: 2.34 s
35187.06/1112.16 c vivif2 -- cl tried 24060 cl shrink 0 lits rem 0 time: 0.01
35192.78/1112.31 c vivif2 -- cl tried 63130 cl shrink 2602 lits rem 39876 time: 0.15
35215.17/1113.07 c asymm cl-useful: 29/8338/24060 lits-rem:48 time: 0.75
35215.17/1113.08 c calculated reachability. Time: 0.01
35215.17/1113.08 c N st 78 1710693 11656 24060 32264 63130 141693 2573963 no data no data
46545.60/1467.68 c N st 79 2079659 11656 24060 32264 117251 141693 12264195 no data no data
46548.79/1467.76 c Finding binary XORs T: 0.08 s found: 4
49770.01/1568.54 c N st 80 2210699 11656 24060 32603 114842 141693 9015325 no data no data
49770.01/1568.54 c S st 80 2210699 11656 24060 32603 114842 141693 9015325 no data no data
49791.77/1569.20 c S st 80 2211202 11656 24060 32622 115343 141693 9031661 no data no data
49791.77/1569.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
49836.49/1570.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 90 BRemL: 289 BRemN: 0 P: 18.4M T: 1.38
49836.49/1570.69 c Replacing 4 vars Replaced 224 lits Time: 0.05 s
49836.49/1570.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
49836.49/1570.72 c bin-w-bin subsume rem 28 bins time: 0.01 s
49840.27/1570.73 c subs with bin: 9 lits-rem: 3 v-fix: 0 time: 0.02 s
49840.27/1570.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11652 time: 0.03 s
49840.27/1570.78 c Removed useless bin: 0 fixed: 0 props: 0.38M time: 0.02 s
49846.06/1570.93 c lits-rem: 0 cl-subs: 12 v-elim: 5 v-fix: 0 time: 0.15 s
49951.46/1574.24 c subs with bin: 4 lits-rem: 98 v-fix: 0 time: 2.58 s
50587.31/1594.15 c lits-rem: 10950 cl-subs: 1775 v-elim: 0 v-fix: 0 time: 19.89 s
50587.31/1594.16 c vivif2 -- cl tried 24035 cl shrink 0 lits rem 0 time: 0.01
50619.27/1595.18 c vivif2 -- cl tried 113205 cl shrink 40559 lits rem 552648 time: 1.01
50644.86/1595.92 c asymm cl-useful: 2/7435/24035 lits-rem:2 time: 0.74
50644.86/1595.94 c calculated reachability. Time: 0.01
50644.86/1595.94 c N st 80 2211202 11647 24035 32346 113203 141582 8242566 no data no data
65960.37/2075.25 c N st 81 2711202 11647 24035 32346 115773 141582 6205580 no data no data
65960.37/2075.25 c S st 81 2711202 11647 24035 32346 115773 141582 6205580 no data no data
65963.57/2075.39 c Finding binary XORs T: 0.08 s found: 0
65989.12/2076.14 c S st 81 2711703 11645 24033 32285 116248 141538 6219357 no data no data
65989.12/2076.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
66037.02/2077.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 146 BRemN: 1 P: 19.1M T: 1.45
66037.02/2077.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
66037.02/2077.67 c bin-w-bin subsume rem 39 bins time: 0.01 s
66037.02/2077.69 c subs with bin: 5 lits-rem: 2 v-fix: 0 time: 0.02 s
66040.23/2077.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11645 time: 0.03 s
66040.23/2077.74 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
66044.01/2077.87 c lits-rem: 0 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.14 s
66136.02/2080.73 c subs with bin: 12 lits-rem: 344 v-fix: 0 time: 2.39 s
66715.07/2098.89 c lits-rem: 4572 cl-subs: 2642 v-elim: 0 v-fix: 0 time: 18.14 s
66717.63/2098.90 c vivif2 -- cl tried 24025 cl shrink 0 lits rem 0 time: 0.01
66736.84/2099.56 c vivif2 -- cl tried 113591 cl shrink 26022 lits rem 133967 time: 0.65
66762.39/2100.35 c asymm cl-useful: 0/7429/24025 lits-rem:0 time: 0.79
66762.39/2100.37 c calculated reachability. Time: 0.01
66762.39/2100.37 c N st 81 2711703 11644 24025 32065 113591 141446 5923408 no data no data
84751.55/2663.38 c N st 82 3211706 11644 24025 32065 150547 141446 22661804 no data no data
84751.55/2663.38 c S st 82 3211706 11644 24025 32065 150547 141446 22661804 no data no data
84783.52/2664.37 c S st 82 3212213 11644 24025 32235 151054 141446 22678182 no data no data
84786.72/2664.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
84844.27/2666.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 99 BRemL: 321 BRemN: 0 P: 20.6M T: 1.78
84844.27/2666.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
84844.27/2666.28 c bin-w-bin subsume rem 4 bins time: 0.01 s
84844.27/2666.29 c subs with bin: 3 lits-rem: 1 v-fix: 0 time: 0.02 s
84848.05/2666.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11644 time: 0.03 s
84848.05/2666.34 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
84857.02/2666.65 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.30 s
84997.67/2671.08 c subs with bin: 0 lits-rem: 1597 v-fix: 0 time: 2.58 s
87020.74/2734.34 c lits-rem: 9041 cl-subs: 1363 v-elim: 0 v-fix: 0 time: 63.24 s
87020.74/2734.36 c vivif2 -- cl tried 24022 cl shrink 0 lits rem 0 time: 0.01
87091.06/2736.59 c vivif2 -- cl tried 149691 cl shrink 49571 lits rem 1162062 time: 2.20
87103.84/2736.92 c asymm cl-useful: 0/820/24022 lits-rem:0 time: 0.33
87103.84/2736.94 c calculated reachability. Time: 0.01
87103.84/2736.94 c N st 82 3212213 11644 24022 32011 149690 141441 21223049 no data no data
100097.02/3143.50 c N st 83 3712213 11644 24022 32011 145658 141441 8350772 no data no data
100097.02/3143.50 c S st 83 3712213 11644 24022 32011 145658 141441 8350772 no data no data
100097.02/3143.59 c Finding binary XORs T: 0.08 s found: 0
100125.79/3144.45 c S st 83 3712720 11644 24022 32276 146164 141441 8369713 no data no data
100128.99/3144.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
100177.45/3146.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 111 BRemN: 0 P: 22.3M T: 1.57
100180.02/3146.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
100180.02/3146.11 c bin-w-bin subsume rem 20 bins time: 0.01 s
100180.02/3146.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
100180.02/3146.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11644 time: 0.03 s
100180.02/3146.17 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
100186.41/3146.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.16 s
100282.95/3149.39 c subs with bin: 156 lits-rem: 1634 v-fix: 0 time: 2.47 s
101618.73/3191.15 c lits-rem: 7909 cl-subs: 4136 v-elim: 0 v-fix: 0 time: 41.73 s
101618.73/3191.16 c vivif2 -- cl tried 24022 cl shrink 0 lits rem 0 time: 0.01
101643.65/3191.98 c vivif2 -- cl tried 141872 cl shrink 36621 lits rem 162267 time: 0.80
101669.22/3192.74 c asymm cl-useful: 12/1570/24022 lits-rem:40 time: 0.76
101669.22/3192.76 c calculated reachability. Time: 0.01
101669.22/3192.76 c N st 83 3712720 11644 24022 32145 141872 141401 7906525 no data no data
102784.34/3227.61 c F st 84 3751562 11644 24022 32145 95389 141401 4785324 no data no data
102784.34/3227.63 c N st 84 3751562 11644 24022 32145 95389 141401 4785324 no data no data
102915.84/3231.78 c Decided on static restart strategy
103436.12/3248.01 c N st 94 3779869 11644 24022 32185 123499 141401 9071209 no data no data
104449.06/3279.78 c N st 96 3815867 11644 24022 32190 159228 141401 15280046 no data no data
105321.53/3307.10 c N st 97 3848259 11644 24022 32194 104846 141401 6098076 no data no data
106682.73/3349.68 c N st 98 3896850 11643 24022 32217 152686 141401 14068070 no data no data
108926.71/3419.87 c N st 99 3969732 11643 24022 32230 136890 141401 11123856 no data no data
112354.88/3527.14 c N st 100 4079055 11642 24022 32246 155478 141401 10575266 no data no data
116330.27/3651.52 c N st 101 4212720 11642 24022 32279 106746 141401 4954836 no data no data
116330.27/3651.52 c S st 101 4212720 11642 24022 32279 106746 141401 4954836 no data no data
116349.43/3652.17 c S st 101 4213225 11642 24022 32317 107248 141401 4968024 no data no data
116352.63/3652.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
116390.99/3653.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 60 BRemN: 0 P: 17.2M T: 1.22
116390.99/3653.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
116390.99/3653.47 c bin-w-bin subsume rem 19 bins time: 0.01 s
116390.99/3653.49 c subs with bin: 6 lits-rem: 4 v-fix: 0 time: 0.02 s
116394.19/3653.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11642 time: 0.03 s
116394.19/3653.54 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
116397.38/3653.67 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.13 s
116477.30/3656.19 c subs with bin: 19 lits-rem: 262 v-fix: 0 time: 2.17 s
116617.93/3660.55 c lits-rem: 2063 cl-subs: 1587 v-elim: 0 v-fix: 0 time: 4.35 s
116617.93/3660.56 c vivif2 -- cl tried 24012 cl shrink 0 lits rem 0 time: 0.01
116628.14/3660.86 c vivif2 -- cl tried 98732 cl shrink 8619 lits rem 87664 time: 0.30
116653.03/3661.63 c asymm cl-useful: 27/13016/24012 lits-rem:27 time: 0.77
116653.03/3661.65 c calculated reachability. Time: 0.01
116653.03/3661.65 c N st 101 4213225 11642 24012 31478 98732 141321 4343261 no data no data
125105.83/3926.17 c N st 102 4459202 11642 24012 31478 163236 141321 11830465 no data no data
125112.23/3926.36 c Finding binary XORs T: 0.08 s found: 0
134631.83/4224.28 c N st 103 4713227 11641 24011 31296 130587 141308 8712301 no data no data
134631.83/4224.28 c S st 103 4713227 11641 24011 31296 130587 141308 8712301 no data no data
134658.00/4225.06 c S st 103 4713728 11641 24011 31336 131082 141308 8725654 no data no data
134661.19/4225.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
134714.89/4226.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 11 BRemL: 100 BRemN: 0 P: 19.9M T: 1.69
134718.09/4226.92 c Replacing 1 vars Replaced 1362 lits Time: 0.09 s
134718.09/4226.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
134718.09/4226.95 c bin-w-bin subsume rem 25 bins time: 0.01 s
134718.09/4226.96 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.02 s
134718.09/4226.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11640 time: 0.03 s
134721.31/4227.01 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
134724.47/4227.20 c lits-rem: 0 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.19 s
134842.73/4230.80 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 2.97 s
136137.61/4271.33 c lits-rem: 2420 cl-subs: 4088 v-elim: 0 v-fix: 0 time: 40.50 s
136137.61/4271.34 c vivif2 -- cl tried 24008 cl shrink 0 lits rem 0 time: 0.01
136159.34/4272.05 c vivif2 -- cl tried 126993 cl shrink 21626 lits rem 185845 time: 0.70
136188.11/4272.94 c asymm cl-useful: 0/6623/24008 lits-rem:0 time: 0.90
136188.11/4272.96 c calculated reachability. Time: 0.01
136188.11/4272.96 c N st 103 4713728 11639 24008 31217 126993 141301 7977746 no data no data
156972.41/4923.32 c N st 104 5213729 11639 24008 31217 128969 141301 9468544 no data no data
156972.41/4923.32 c S st 104 5213729 11639 24008 31217 128969 141301 9468544 no data no data
157001.17/4924.27 c S st 104 5214232 11639 24008 31324 129469 141301 9485759 no data no data
157004.36/4924.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
157058.70/4926.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 65 BRemN: 0 P: 19.3M T: 1.68
157058.70/4926.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
157058.70/4926.06 c bin-w-bin subsume rem 9 bins time: 0.01 s
157058.70/4926.08 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.02 s
157061.91/4926.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11639 time: 0.03 s
157061.91/4926.12 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.02 s
157068.31/4926.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.20 s
157164.20/4929.34 c subs with bin: 15 lits-rem: 749 v-fix: 0 time: 2.36 s
157627.69/4943.89 c lits-rem: 14251 cl-subs: 856 v-elim: 0 v-fix: 0 time: 14.53 s
157630.88/4943.90 c vivif2 -- cl tried 24006 cl shrink 0 lits rem 0 time: 0.01
157653.25/4944.68 c vivif2 -- cl tried 128598 cl shrink 17921 lits rem 260027 time: 0.77
157669.20/4945.12 c asymm cl-useful: 0/2797/24006 lits-rem:0 time: 0.44
157669.20/4945.14 c calculated reachability. Time: 0.01
157669.20/4945.14 c N st 104 5214232 11639 24006 31252 128597 141295 9114470 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400804-1306806581/watcher-3400804-1306806581 -o /tmp/evaluation-result-3400804-1306806581/solver-3400804-1306806581 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400804-1306806581.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=338000 CPUtime=0.74 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 468 0 0 0 74 0 0 0 25 0 32 0 6624109 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656626 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 84500 408 300 95 0 79482 0
[pid=21254/tid=21255] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=338000 CPUtime=0.01 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656620 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0570379 s]
/proc/loadavg: 29.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=338000 CPUtime=1.43 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 468 0 0 0 143 0 0 0 25 0 32 0 6624109 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 84500 408 300 95 0 79482 0
[pid=21254/tid=21255] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 4 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656208 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=338000 CPUtime=0.05 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=338000 CPUtime=0.02 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656211 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656215 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=338000 CPUtime=0.03 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656221 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=338000 CPUtime=0 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 6624110 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656620 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=338000 CPUtime=0.04 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 6624111 346112000 408 268435456000 4194304 4580107 140734653258624 18446744073709551615 46978803656217 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 338000
[startup+0.103079 s]
/proc/loadavg: 29.58 31.57 31.91 1/413 21254
/proc/meminfo: memFree=263612712/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=732568 CPUtime=2.47 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) D 21252 21254 21228 0 -1 4202496 8282 0 0 0 174 73 0 0 18 0 32 0 6624109 750149632 8116 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/21254/statm: 183142 8149 330 95 0 178124 0
[pid=21254/tid=21255] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 286 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 240 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 240 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8149 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 260 0 0 0 5 2 0 0 23 0 32 0 6624110 750149632 8161 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 266 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8178 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 209 0 0 0 6 2 0 0 23 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=732568 CPUtime=0.08 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 259 0 0 0 6 2 0 0 18 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 290 0 0 0 5 2 0 0 18 0 32 0 6624110 750149632 8186 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=732568 CPUtime=0.05 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 267 0 0 0 3 2 0 0 24 0 32 0 6624110 750149632 8191 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 229 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8210 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 214 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8247 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 221 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 236 0 0 0 5 2 0 0 18 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 209 0 0 0 5 2 0 0 24 0 32 0 6624110 750149632 8270 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 249 0 0 0 5 2 0 0 25 0 32 0 6624110 750149632 8276 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) D 21252 21254 21228 0 -1 4202560 220 0 0 0 5 2 0 0 25 0 32 0 6624110 750149632 8282 268435456000 4194304 4580107 140734653258624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=732568 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=21254/tid=21264] ppid=21252 vsize=31720500 CPUtime=4944.42 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1091904 0 0 0 493789 653 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=31720500 CPUtime=4946.92 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1026162 0 0 0 494028 664 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=31720500 CPUtime=4948.93 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 835867 0 0 0 494349 544 0 0 25 0 32 0 6624110 32481792000 6226988 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=31720500 CPUtime=4948.62 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 989742 0 0 0 494230 632 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=31720500 CPUtime=4946.48 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 954789 0 0 0 494049 599 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=31720500 CPUtime=4922.13 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1250862 0 0 0 491447 766 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=31720500 CPUtime=4939.96 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1073107 0 0 0 493315 681 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=31720500 CPUtime=4944.46 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 786695 0 0 0 493936 510 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=31720500 CPUtime=4951.23 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1086462 0 0 0 494475 648 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=31720500 CPUtime=4940.03 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 901092 0 0 0 493435 568 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=31720500 CPUtime=4952.23 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 849803 0 0 0 494674 549 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=31720500 CPUtime=4942.04 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 930494 0 0 0 493611 593 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=31720500 CPUtime=4946.25 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 872295 0 0 0 494070 555 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=31720500 CPUtime=4939.27 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 896255 0 0 0 493316 611 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=31720500 CPUtime=4939.26 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 981606 0 0 0 493273 653 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=31720500 CPUtime=4949.64 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 891374 0 0 0 494385 579 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=31720500 CPUtime=4948.86 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 863500 0 0 0 494329 557 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=31720500 CPUtime=4947.66 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 878449 0 0 0 494187 579 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=31720500 CPUtime=4948.97 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 959991 0 0 0 494324 573 0 0 25 0 32 0 6624110 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=31720500 CPUtime=4941.87 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1046376 0 0 0 493549 638 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=31720500 CPUtime=4943 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 660161 0 0 0 493813 487 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=31720500 CPUtime=4947.99 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 152117 0 0 0 494650 149 0 0 25 0 32 0 6624111 32481792000 6226989 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158219
Current children cumulated vsize (KiB) 31720500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5018.1 s]
/proc/loadavg: 32.19 32.14 32.09 34/445 21941
/proc/meminfo: memFree=238656256/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=31126348 CPUtime=160003 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) R 21252 21254 21228 0 -1 4202496 29390909 0 0 0 15981502 18811 0 0 25 0 32 0 6624109 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 7781587 6217949 425 95 0 7776569 0
[pid=21254/tid=21255] ppid=21252 vsize=31126348 CPUtime=5000.12 cores=0-31
/proc/21254/task/21255/stat : 21255 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 848031 0 0 0 499473 539 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=21254/tid=21256] ppid=21252 vsize=31126348 CPUtime=5004.88 cores=0-31
/proc/21254/task/21256/stat : 21256 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 873414 0 0 0 499894 594 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=21254/tid=21257] ppid=21252 vsize=31126348 CPUtime=5001.41 cores=0-31
/proc/21254/task/21257/stat : 21257 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902296 0 0 0 499563 578 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21254/tid=21258] ppid=21252 vsize=31126348 CPUtime=5003.22 cores=0-31
/proc/21254/task/21258/stat : 21258 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 990393 0 0 0 499679 643 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21254/tid=21259] ppid=21252 vsize=31126348 CPUtime=4995 cores=0-31
/proc/21254/task/21259/stat : 21259 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 968618 0 0 0 498898 602 0 0 25 0 32 0 6624110 31873380352 6217949 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=21254/tid=21260] ppid=21252 vsize=31126348 CPUtime=4999.62 cores=0-31
/proc/21254/task/21260/stat : 21260 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 984058 0 0 0 499361 601 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21254/tid=21261] ppid=21252 vsize=31126348 CPUtime=4993.89 cores=0-31
/proc/21254/task/21261/stat : 21261 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 845740 0 0 0 498842 547 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21254/tid=21262] ppid=21252 vsize=31126348 CPUtime=5002.69 cores=0-31
/proc/21254/task/21262/stat : 21262 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 845613 0 0 0 499680 589 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=21254/tid=21263] ppid=21252 vsize=31126348 CPUtime=5007.51 cores=0-31
/proc/21254/task/21263/stat : 21263 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 939372 0 0 0 500160 591 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=21254/tid=21264] ppid=21252 vsize=31126348 CPUtime=5000.23 cores=0-31
/proc/21254/task/21264/stat : 21264 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1096578 0 0 0 499367 656 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=21254/tid=21265] ppid=21252 vsize=31126348 CPUtime=5002.72 cores=0-31
/proc/21254/task/21265/stat : 21265 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1030056 0 0 0 499605 667 0 0 25 0 32 0 6624110 31873380352 6217950 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=21254/tid=21266] ppid=21252 vsize=31126348 CPUtime=5004.74 cores=0-31
/proc/21254/task/21266/stat : 21266 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 839739 0 0 0 499928 546 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=21254/tid=21267] ppid=21252 vsize=31126348 CPUtime=5004.46 cores=0-31
/proc/21254/task/21267/stat : 21267 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 993654 0 0 0 499809 637 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=21254/tid=21268] ppid=21252 vsize=31126348 CPUtime=5002.29 cores=0-31
/proc/21254/task/21268/stat : 21268 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 959805 0 0 0 499625 604 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=21254/tid=21269] ppid=21252 vsize=31126348 CPUtime=4977.92 cores=0-31
/proc/21254/task/21269/stat : 21269 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1261300 0 0 0 497020 772 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21254/tid=21270] ppid=21252 vsize=31126348 CPUtime=4994.22 cores=0-31
/proc/21254/task/21270/stat : 21270 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1079955 0 0 0 498735 687 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=21254/tid=21271] ppid=21252 vsize=31126348 CPUtime=5000.28 cores=0-31
/proc/21254/task/21271/stat : 21271 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 791823 0 0 0 499515 513 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=21254/tid=21272] ppid=21252 vsize=31126348 CPUtime=5007.04 cores=0-31
/proc/21254/task/21272/stat : 21272 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1095826 0 0 0 500051 653 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=21254/tid=21273] ppid=21252 vsize=31126348 CPUtime=4995.87 cores=0-31
/proc/21254/task/21273/stat : 21273 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902446 0 0 0 499017 570 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21254/tid=21274] ppid=21252 vsize=31126348 CPUtime=5008.02 cores=0-31
/proc/21254/task/21274/stat : 21274 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 861698 0 0 0 500246 556 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4316421 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=21254/tid=21275] ppid=21252 vsize=31126348 CPUtime=4997.86 cores=0-31
/proc/21254/task/21275/stat : 21275 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 934900 0 0 0 499190 596 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=21254/tid=21276] ppid=21252 vsize=31126348 CPUtime=5002.05 cores=0-31
/proc/21254/task/21276/stat : 21276 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 881277 0 0 0 499644 561 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=21254/tid=21277] ppid=21252 vsize=31126348 CPUtime=4995.08 cores=0-31
/proc/21254/task/21277/stat : 21277 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 902840 0 0 0 498894 614 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=21254/tid=21278] ppid=21252 vsize=31126348 CPUtime=4995.07 cores=0-31
/proc/21254/task/21278/stat : 21278 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 992936 0 0 0 498848 659 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=31126348 CPUtime=5005.46 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 901953 0 0 0 499960 586 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=21254/tid=21280] ppid=21252 vsize=31126348 CPUtime=5004.7 cores=0-31
/proc/21254/task/21280/stat : 21280 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 868949 0 0 0 499908 562 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21254/tid=21281] ppid=21252 vsize=31126348 CPUtime=5003.48 cores=0-31
/proc/21254/task/21281/stat : 21281 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 890286 0 0 0 499763 585 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=21254/tid=21282] ppid=21252 vsize=31126348 CPUtime=5004.77 cores=0-31
/proc/21254/task/21282/stat : 21282 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 974728 0 0 0 499895 582 0 0 25 0 32 0 6624110 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=21254/tid=21283] ppid=21252 vsize=31126348 CPUtime=4997.67 cores=0-31
/proc/21254/task/21283/stat : 21283 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 1056981 0 0 0 499123 644 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=21254/tid=21284] ppid=21252 vsize=31126348 CPUtime=4998.83 cores=0-31
/proc/21254/task/21284/stat : 21284 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 663277 0 0 0 499394 489 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21254/tid=21285] ppid=21252 vsize=31126348 CPUtime=5003.82 cores=0-31
/proc/21254/task/21285/stat : 21285 (strangenight2-m) R 21252 21254 21228 0 -1 4202560 154973 0 0 0 500231 151 0 0 25 0 32 0 6624111 31873380352 6217951 268435456000 4194304 4580107 140734653258624 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 31126348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5019 s]
/proc/loadavg: 32.19 32.14 32.09 34/445 21941
/proc/meminfo: memFree=238656256/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160004 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18896 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5006.31 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 671 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5019.4 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18936 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5006.71 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 711 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5019.8 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18976 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5007.11 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 751 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5019.9 s]
/proc/loadavg: 32.19 32.14 32.09 2/416 21942
/proc/meminfo: memFree=253000684/264257624 swapFree=67044764/67111528
[pid=21254] ppid=21252 vsize=0 CPUtime=160005 cores=0-31
/proc/21254/stat : 21254 (strangenight2-m) Z 21252 21254 21228 0 -1 4203548 29390925 0 0 0 15981524 18986 0 0 25 0 2 0 6624109 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/21254/statm: 0 0 0 0 0 0 0
[pid=21254/tid=21279] ppid=21252 vsize=0 CPUtime=5007.21 cores=0-31
/proc/21254/task/21279/stat : 21279 (strangenight2-m) R 21252 21254 21228 0 -1 4203588 901954 0 0 0 499960 761 0 0 25 0 2 0 6624110 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5019.95
CPU time (s): 160005
CPU user time (s): 159815
CPU system time (s): 189.917
CPU usage (%): 3187.38
Max. virtual memory (cumulated for all children) (KiB): 31934276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159815
system time used= 189.917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29390925
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= 1438949
involuntary context switches= 316685
runsolver used 27.6098 second user time and 112.524 second system time
The end
Begin job on node200 at 2011-05-31 03:49:41
IDJOB=3400804
IDBENCH=83110
IDSOLVER=1886
FILE ID=node200/3400804-1306806581
RUNJOBID= node200-1306806581-21242
PBS_JOBID= 13470334
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400804-1306806581/watcher-3400804-1306806581 -o /tmp/evaluation-result-3400804-1306806581/solver-3400804-1306806581 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400804-1306806581.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9851f8e63efc4505343bf50c1cf30646
RANDOM SEED=92593326
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263612992 kB
Buffers: 78636 kB
Cached: 385672 kB
SwapCached: 29980 kB
Active: 120644 kB
Inactive: 376084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263612992 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 7992 kB
Writeback: 0 kB
AnonPages: 29640 kB
Mapped: 8372 kB
Slab: 61196 kB
PageTables: 5460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 05:13:22