0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400858-1307054225.cnf'
0.00/0.09 c -- header says num vars: 28147
0.00/0.09 c -- header says num clauses: 108436
20.16/1.15 c -- clauses added: 0 learnts, 108436 normals, 0 xors
20.16/1.15 c -- vars added 28147
20.16/1.15 c Parsing time: 0.30 s
20.16/1.15 c N st 0 0 28147 89613 18786 0 372979 0 no data no data
36.40/1.98 c asymm cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.62
46.08/2.29 c Flit: 11 Blit: 0 bXBeca: 0 bXProp: 4694 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.29
50.83/2.43 c Replacing 4694 vars Replaced 77987 lits Time: 0.09 s
81.60/4.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
81.60/4.13 c bin-w-bin subsume rem 0 bins time: 0.01 s
81.60/4.18 c subs with bin: 246 lits-rem: 220 v-fix: 0 time: 0.04 s
83.45/4.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 16 done: 23417 time: 0.03 s
83.45/4.23 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.02 s
112.68/5.44 c lits-rem: 4096 cl-subs: 1951 v-elim: 662 v-fix: 0 time: 0.90 s
112.68/5.46 c Finding binary XORs T: 0.03 s found: 0
115.69/5.60 c Finding non-binary XORs: 0.10 s (found: 7758, avg size: 3.5)
115.69/5.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
117.66/5.61 c calculated reachability. Time: 0.00
117.66/5.63 c Calc default polars - time: 0.01 s pos: 4737 undec: 5932 neg: 17478
117.66/5.63 c =========================================================================================
117.66/5.63 c types(t): F = full restart, N = normal restart
117.66/5.63 c types(t): S = simplification begin/end, E = solution found
117.66/5.63 c restart types(rt): st = static, dy = dynamic
117.66/5.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
117.66/5.63 c B st 0 0 22743 41139 9807 0 220846 0 no data no data
155.77/6.83 c Decided on static restart strategy
190.93/7.97 c N st 8 4911 22527 41139 11284 3348 220846 16965 no data no data
222.90/8.96 c Finding binary XORs T: 0.02 s found: 0
318.80/11.95 c N st 10 11293 22386 39786 17085 9073 216972 55863 no data no data
357.75/13.21 c Finding binary XORs T: 0.02 s found: 0
488.18/17.28 c N st 11 17036 22347 39561 28631 14639 216413 109297 no data no data
775.88/26.25 c F st 12 25001 22347 39561 28656 19180 216413 737871 no data no data
775.88/26.28 c Replacing 4 vars Replaced 9 lits Time: 0.02 s
779.69/26.34 c N st 12 25001 22346 39549 28659 19180 216330 737871 no data no data
779.69/26.37 c Finding binary XORs T: 0.02 s found: 0
881.34/29.56 c Decided on static restart strategy
881.34/29.56 c N st 18 30004 22346 39549 30734 24134 216330 1474052 no data no data
881.34/29.56 c S st 18 30004 22346 39549 30734 24134 216330 1474052 no data no data
894.11/29.96 c S st 18 30504 22346 39549 30738 24627 216330 1482533 no data no data
894.11/29.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
920.29/30.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 23303 BRemL: 12920 BRemN: 43 P: 8.2M T: 0.76
920.29/30.79 c blocked clauses removed: 0 vars: 0 tried: 3698 T: 0.01 s
920.29/30.80 c bin-w-bin subsume rem 4502 bins time: 0.01 s
923.52/30.85 c subs with bin: 11453 lits-rem: 2382 v-fix: 0 time: 0.05 s
923.52/30.90 c Subs w/ non-existent bins: 711 l-rem: 184 v-fix: 0 done: 11495 time: 0.04 s
926.07/30.92 c Removed useless bin: 181 fixed: 0 props: 0.30M time: 0.02 s
929.28/31.05 c lits-rem: 3 cl-subs: 99 v-elim: 1081 v-fix: 0 time: 0.12 s
932.47/31.10 c subs with bin: 1127 lits-rem: 1597 v-fix: 0 time: 0.03 s
932.47/31.18 c lits-rem: 159 cl-subs: 169 v-elim: 0 v-fix: 0 time: 0.06 s
942.07/31.44 c asymm cl-useful: 288/29162/29162 lits-rem:292 time: 0.26
942.07/31.46 c calculated reachability. Time: 0.01
942.07/31.46 c N st 18 30504 21265 29160 32354 15821 194586 129198 no data no data
1005.99/33.47 c Finding binary XORs T: 0.03 s found: 0
1096.10/36.28 c N st 20 37617 21265 29160 32824 22804 194586 1024392 no data no data
1328.66/43.51 c N st 21 44023 21265 29160 32824 25568 194586 1456946 no data no data
1328.66/43.57 c Finding binary XORs T: 0.03 s found: 0
1360.62/44.56 c S st 22 45756 21265 29160 57227 27283 194586 1657011 no data no data
1373.42/44.96 c S st 22 46258 21265 29160 57228 27782 194586 1667234 no data no data
1373.42/44.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1398.98/45.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9391 BRemL: 23260 BRemN: 1 P: 7.4M T: 0.75
1398.98/45.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1398.98/45.79 c bin-w-bin subsume rem 8004 bins time: 0.01 s
1402.17/45.83 c subs with bin: 2198 lits-rem: 150 v-fix: 0 time: 0.03 s
1402.17/45.87 c Subs w/ non-existent bins: 72 l-rem: 20 v-fix: 0 done: 11442 time: 0.04 s
1402.17/45.89 c Removed useless bin: 1 fixed: 0 props: 0.24M time: 0.02 s
1405.36/45.96 c lits-rem: 0 cl-subs: 11 v-elim: 164 v-fix: 0 time: 0.06 s
1412.34/46.16 c subs with bin: 97 lits-rem: 1479 v-fix: 0 time: 0.13 s
1421.33/46.42 c lits-rem: 411 cl-subs: 226 v-elim: 0 v-fix: 0 time: 0.24 s
1421.33/46.44 c vivif2 -- cl tried 27060 cl shrink 641 lits rem 641 time: 0.02
1421.33/46.48 c vivif2 -- cl tried 21298 cl shrink 2790 lits rem 5058 time: 0.05
1430.92/46.74 c asymm cl-useful: 0/27017/27017 lits-rem:0 time: 0.25
1430.92/46.75 c calculated reachability. Time: 0.01
1430.92/46.75 c N st 22 46258 21101 27017 34817 21289 190594 591645 no data no data
1747.28/56.63 c N st 23 60658 21101 27017 34817 35524 190594 2936651 no data no data
1747.28/56.68 c Finding binary XORs T: 0.03 s found: 0
1894.25/61.26 c N st 24 69388 21101 27017 46782 34508 190594 2610527 no data no data
1894.25/61.26 c S st 24 69388 21101 27017 46782 34508 190594 2610527 no data no data
1904.42/61.59 c S st 24 69892 21101 27017 47534 35008 190594 2619405 no data no data
1907.65/61.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1929.35/62.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 665 BRemL: 11385 BRemN: 2 P: 5.9M T: 0.68
1929.35/62.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1929.35/62.35 c bin-w-bin subsume rem 2186 bins time: 0.01 s
1929.35/62.38 c subs with bin: 633 lits-rem: 2 v-fix: 0 time: 0.03 s
1932.55/62.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9867 time: 0.04 s
1932.55/62.44 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.02 s
1935.74/62.52 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.08 s
1961.30/63.39 c subs with bin: 8 lits-rem: 44 v-fix: 0 time: 0.64 s
2063.51/66.59 c lits-rem: 2282 cl-subs: 287 v-elim: 0 v-fix: 0 time: 3.18 s
2066.70/66.61 c vivif2 -- cl tried 26384 cl shrink 3 lits rem 3 time: 0.02
2073.09/66.81 c vivif2 -- cl tried 34714 cl shrink 5556 lits rem 14226 time: 0.20
2080.11/67.08 c asymm cl-useful: 4/26382/26382 lits-rem:231 time: 0.27
2080.11/67.10 c calculated reachability. Time: 0.01
2080.11/67.10 c N st 24 69892 21100 26381 34629 34714 189287 2540952 no data no data
2443.60/78.43 c F st 25 87500 21100 26381 34629 52105 189287 6399268 no data no data
2446.80/78.56 c N st 25 87500 21100 26381 34629 52105 189287 6399268 no data no data
2446.80/78.60 c Finding binary XORs T: 0.03 s found: 0
2593.80/83.15 c Decided on static restart strategy
2712.57/86.82 c N st 32 95535 21100 26381 35827 43916 189287 3670545 no data no data
2891.49/92.44 c N st 34 104839 21100 26381 35861 53091 189287 5855832 no data no data
2891.49/92.44 c S st 34 104839 21100 26381 35861 53091 189287 5855832 no data no data
2903.67/92.87 c S st 34 105344 21100 26381 35873 53595 189287 5867274 no data no data
2906.87/92.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
2929.23/93.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 912 BRemN: 0 P: 6.3M T: 0.71
2929.23/93.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2929.23/93.66 c bin-w-bin subsume rem 172 bins time: 0.01 s
2929.23/93.69 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.03 s
2932.44/93.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4318 time: 0.03 s
2932.44/93.75 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.02 s
2935.64/93.87 c lits-rem: 1 cl-subs: 6 v-elim: 3 v-fix: 0 time: 0.12 s
3015.55/96.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.02 s
3278.09/104.60 c lits-rem: 4247 cl-subs: 609 v-elim: 0 v-fix: 0 time: 8.21 s
3280.65/104.61 c vivif2 -- cl tried 26371 cl shrink 1 lits rem 1 time: 0.02
3293.44/105.09 c vivif2 -- cl tried 52985 cl shrink 11012 lits rem 43257 time: 0.47
3306.23/105.41 c asymm cl-useful: 2/26370/26370 lits-rem:2 time: 0.31
3306.23/105.43 c calculated reachability. Time: 0.01
3306.23/105.43 c N st 34 105344 21097 26370 34787 52985 188953 5683624 no data no data
3485.74/111.11 c N st 35 114943 21097 26370 34787 43319 188953 3428636 no data no data
3977.78/126.49 c N st 36 129340 21097 26370 34799 57390 188953 5636877 no data no data
4446.88/141.15 c N st 37 150936 21097 26370 34804 56848 188953 7002923 no data no data
4689.74/148.71 c S st 38 158016 21097 26370 34829 63842 188953 8065185 no data no data
4705.74/149.20 c S st 38 158516 21097 26370 34837 64342 188953 8073553 no data no data
4705.74/149.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
4728.11/149.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 46 BRemN: 0 P: 6.5M T: 0.73
4731.31/150.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4731.31/150.02 c bin-w-bin subsume rem 5 bins time: 0.01 s
4731.31/150.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
4731.31/150.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7017 time: 0.03 s
4734.50/150.11 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.02 s
4737.70/150.26 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s
4830.40/153.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.25 s
5296.79/167.75 c lits-rem: 13883 cl-subs: 980 v-elim: 0 v-fix: 0 time: 14.63 s
5296.79/167.77 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
5319.14/168.46 c vivif2 -- cl tried 63362 cl shrink 14360 lits rem 65353 time: 0.68
5331.91/168.80 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
5331.91/168.82 c calculated reachability. Time: 0.01
5331.91/168.82 c N st 38 158516 21097 26370 34786 63362 188948 7780475 no data no data
7022.01/221.73 c N st 39 207105 21097 26370 34786 62632 188948 6422661 no data no data
8038.14/253.54 c N st 40 237777 21097 26370 34860 66736 188948 8973905 no data no data
8038.14/253.54 c S st 40 237777 21097 26370 34860 66736 188948 8973905 no data no data
8050.94/253.94 c S st 40 238278 21097 26370 34865 67233 188948 8980269 no data no data
8050.94/254.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
8076.50/254.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 58 BRemN: 0 P: 6.6M T: 0.79
8079.69/254.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8079.69/254.83 c bin-w-bin subsume rem 14 bins time: 0.01 s
8079.69/254.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
8079.69/254.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6010 time: 0.03 s
8082.89/254.92 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.02 s
8086.09/255.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s
8185.13/258.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.38 s
8632.47/272.11 c lits-rem: 6582 cl-subs: 575 v-elim: 0 v-fix: 0 time: 13.95 s
8632.47/272.13 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
8658.03/272.94 c vivif2 -- cl tried 66658 cl shrink 14153 lits rem 77358 time: 0.79
8670.82/273.31 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.37
8670.82/273.33 c calculated reachability. Time: 0.01
8670.82/273.33 c N st 40 238278 21097 26370 34793 66658 188948 8770659 no data no data
10936.78/344.31 c F st 41 306253 21097 26370 34793 77857 188948 13810639 no data no data
10942.57/344.45 c N st 41 306253 21097 26370 34793 77857 188948 13810639 no data no data
11083.13/348.87 c Decided on static restart strategy
11811.71/371.69 c N st 51 334565 21097 26370 34834 76215 188948 7923083 no data no data
12329.40/387.86 c N st 53 357418 21097 26370 34838 68242 188948 6737037 no data no data
12329.40/387.86 c S st 53 357418 21097 26370 34838 68242 188948 6737037 no data no data
12345.99/388.33 c S st 53 357921 21097 26370 34838 68744 188948 6745955 no data no data
12345.99/388.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
12370.94/389.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 40 BRemN: 0 P: 6.6M T: 0.75
12370.94/389.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12370.94/389.17 c bin-w-bin subsume rem 1 bins time: 0.01 s
12370.94/389.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
12374.13/389.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11014 time: 0.04 s
12374.13/389.26 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.02 s
12377.95/389.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s
12460.40/391.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.07 s
12680.78/398.87 c lits-rem: 4340 cl-subs: 441 v-elim: 0 v-fix: 0 time: 6.89 s
12680.78/398.89 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
12699.95/399.43 c vivif2 -- cl tried 68303 cl shrink 11298 lits rem 47840 time: 0.52
12709.53/399.77 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
12709.53/399.79 c calculated reachability. Time: 0.01
12709.53/399.79 c N st 53 357921 21097 26370 34797 68303 188948 6624897 no data no data
13588.09/427.21 c N st 54 390314 21097 26370 34797 68795 188948 7604588 no data no data
15517.91/487.61 c N st 55 438903 21097 26370 34804 83950 188948 7845178 no data no data
17907.77/562.49 c N st 56 511785 21097 26370 34815 88358 188948 15476798 no data no data
18677.58/586.52 c N st 57 536881 21097 26370 34819 77431 188948 7606284 no data no data
18677.58/586.52 c S st 57 536881 21097 26370 34819 77431 188948 7606284 no data no data
18693.57/587.08 c S st 57 537382 21097 26370 34819 77931 188948 7618341 no data no data
18696.77/587.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
18722.34/587.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 20 BRemN: 0 P: 6.8M T: 0.81
18722.34/587.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18722.34/587.99 c bin-w-bin subsume rem 1 bins time: 0.01 s
18725.53/588.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
18725.53/588.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8132 time: 0.04 s
18725.53/588.09 c Removed useless bin: 0 fixed: 0 props: 0.22M time: 0.02 s
18731.94/588.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.16 s
18818.22/590.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.13 s
19284.62/605.59 c lits-rem: 6526 cl-subs: 852 v-elim: 0 v-fix: 0 time: 14.63 s
19287.82/605.61 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
19306.98/606.21 c vivif2 -- cl tried 77079 cl shrink 14355 lits rem 54013 time: 0.59
19316.58/606.57 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.36
19316.58/606.59 c calculated reachability. Time: 0.01
19316.58/606.59 c N st 57 537382 21097 26370 34798 77079 188948 7409939 no data no data
25997.19/815.65 c N st 58 701370 21097 26370 34798 87224 188948 12861844 no data no data
30025.78/941.70 c N st 59 806073 21097 26370 34812 65788 188948 4082155 no data no data
30025.78/941.70 c S st 59 806073 21097 26370 34812 65788 188948 4082155 no data no data
30041.74/942.20 c S st 59 806579 21097 26370 34840 66290 188948 4097456 no data no data
30041.74/942.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
30064.11/943.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 38 BRemN: 0 P: 6.5M T: 0.75
30067.27/943.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
30067.27/943.04 c bin-w-bin subsume rem 0 bins time: 0.01 s
30067.27/943.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
30070.48/943.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10477 time: 0.04 s
30070.48/943.13 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.02 s
30073.68/943.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s
30115.21/944.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.95 s
30214.27/947.62 c lits-rem: 3094 cl-subs: 286 v-elim: 0 v-fix: 0 time: 3.08 s
30214.27/947.64 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
30220.67/947.85 c vivif2 -- cl tried 66004 cl shrink 1819 lits rem 5614 time: 0.21
30230.85/948.19 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.34
30230.85/948.21 c calculated reachability. Time: 0.01
30230.85/948.21 c N st 59 806579 21097 26370 34802 66004 188948 4068231 no data no data
39246.76/1230.47 c F st 60 1071876 21097 26370 34802 101415 188948 17809956 no data no data
39253.16/1230.61 c N st 60 1071876 21097 26370 34802 101415 188948 17809956 no data no data
39486.28/1237.93 c Decided on static restart strategy
40370.81/1265.61 c N st 70 1100176 21097 26370 34851 80724 188948 6354342 no data no data
41568.66/1303.15 c N st 72 1136170 21097 26370 34851 116489 188948 16101739 no data no data
43376.51/1359.77 c N st 73 1168565 21097 26370 34851 98994 188948 11149791 no data no data
45152.48/1415.33 c N st 74 1209873 21097 26370 34851 89330 188948 7881643 no data no data
45152.48/1415.33 c S st 74 1209873 21097 26370 34851 89330 188948 7881643 no data no data
45171.64/1415.98 c S st 74 1210377 21097 26370 34851 89834 188948 7893667 no data no data
45174.83/1416.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
45203.60/1416.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 43 BRemN: 0 P: 7.0M T: 0.86
45203.60/1416.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45203.60/1416.94 c bin-w-bin subsume rem 2 bins time: 0.01 s
45203.60/1416.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
45206.80/1417.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11342 time: 0.04 s
45206.80/1417.04 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
45213.20/1417.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s
45303.30/1420.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.24 s
45650.83/1430.96 c lits-rem: 5299 cl-subs: 652 v-elim: 0 v-fix: 0 time: 10.83 s
45650.83/1430.98 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
45670.00/1431.58 c vivif2 -- cl tried 89182 cl shrink 11587 lits rem 45125 time: 0.59
45686.00/1432.01 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.43
45686.00/1432.03 c calculated reachability. Time: 0.01
45686.00/1432.03 c N st 74 1210377 21097 26370 34806 89182 188948 7773474 no data no data
48072.34/1506.70 c N st 75 1283259 21097 26370 34806 110081 188948 15676801 no data no data
48072.34/1506.74 c Finding binary XORs T: 0.04 s found: 0
53209.17/1667.62 c N st 76 1392582 21097 26370 34812 111887 188948 14035328 no data no data
58683.55/1838.92 c N st 77 1556566 21097 26370 34812 108391 188948 14158368 no data no data
65851.48/2063.37 c N st 78 1710377 21097 26370 34812 85342 188948 5666367 no data no data
65851.48/2063.37 c S st 78 1710377 21097 26370 34812 85342 188948 5666367 no data no data
65870.56/2063.98 c S st 78 1710878 21097 26370 34812 85842 188948 5678974 no data no data
65873.76/2064.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
65899.33/2064.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 6 BRemN: 0 P: 6.9M T: 0.84
65902.52/2064.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
65902.52/2064.92 c bin-w-bin subsume rem 0 bins time: 0.01 s
65902.52/2064.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
65902.52/2064.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11202 time: 0.04 s
65905.73/2065.02 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
65908.92/2065.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.16 s
65969.52/2067.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.36 s
66129.36/2072.08 c lits-rem: 4208 cl-subs: 412 v-elim: 0 v-fix: 0 time: 5.06 s
66132.55/2072.10 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
66142.77/2072.43 c vivif2 -- cl tried 85430 cl shrink 2709 lits rem 7764 time: 0.32
66154.93/2072.82 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.39
66154.93/2072.84 c calculated reachability. Time: 0.01
66154.93/2072.84 c N st 78 1710878 21097 26370 34806 85430 188948 5638916 no data no data
82251.34/2576.76 c N st 79 2079842 21097 26370 34806 138757 188948 22996585 no data no data
87210.33/2732.01 c N st 80 2210881 21097 26370 34806 137230 188948 23991291 no data no data
87210.33/2732.01 c S st 80 2210881 21097 26370 34806 137230 188948 23991291 no data no data
87235.91/2732.88 c S st 80 2211382 21097 26370 34806 137729 188948 24000033 no data no data
87239.10/2732.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
87274.20/2734.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.1M T: 1.07
87277.40/2734.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
87277.40/2734.14 c bin-w-bin subsume rem 0 bins time: 0.01 s
87277.40/2734.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
87280.60/2734.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10996 time: 0.04 s
87280.60/2734.24 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
87294.01/2734.64 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.38 s
87443.52/2739.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.37 s
89098.02/2791.12 c lits-rem: 16615 cl-subs: 967 v-elim: 0 v-fix: 0 time: 50.40 s
89098.02/2791.14 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
89174.57/2793.59 c vivif2 -- cl tried 136762 cl shrink 36958 lits rem 343339 time: 2.39
89193.75/2794.15 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.56
89193.75/2794.18 c calculated reachability. Time: 0.01
89193.75/2794.18 c N st 80 2211382 21097 26370 34806 136762 188948 23380277 no data no data
108810.60/3408.37 c N st 81 2711384 21097 26370 34806 138790 188948 18170163 no data no data
108810.60/3408.37 c S st 81 2711384 21097 26370 34806 138790 188948 18170163 no data no data
108836.16/3409.13 c S st 81 2711884 21097 26370 34806 139284 188948 18178756 no data no data
108839.36/3409.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
108871.33/3410.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.2M T: 1.00
108871.33/3410.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
108871.33/3410.26 c bin-w-bin subsume rem 0 bins time: 0.01 s
108871.33/3410.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
108874.49/3410.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11663 time: 0.04 s
108874.49/3410.36 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
108884.12/3410.66 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.30 s
109006.11/3414.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.32 s
111100.45/3480.08 c lits-rem: 2781 cl-subs: 2147 v-elim: 0 v-fix: 0 time: 65.62 s
111103.65/3480.10 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
111157.95/3481.84 c vivif2 -- cl tried 137137 cl shrink 32798 lits rem 177421 time: 1.70
111173.94/3482.37 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.53
111173.94/3482.39 c calculated reachability. Time: 0.01
111173.94/3482.39 c N st 81 2711884 21097 26370 34806 137137 188948 17457761 no data no data
130207.79/4078.27 c N st 82 3211885 21097 26370 34806 172218 188948 27288058 no data no data
130207.79/4078.27 c S st 82 3211885 21097 26370 34806 172218 188948 27288058 no data no data
130239.75/4079.29 c S st 82 3212388 21097 26370 34806 172719 188948 27296636 no data no data
130246.15/4079.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
130281.30/4080.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.9M T: 1.10
130281.30/4080.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
130281.30/4080.55 c bin-w-bin subsume rem 0 bins time: 0.01 s
130281.30/4080.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
130284.51/4080.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11339 time: 0.04 s
130284.51/4080.65 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
130297.92/4081.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.40 s
130447.34/4085.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.30 s
134255.20/4204.91 c lits-rem: 8816 cl-subs: 2554 v-elim: 0 v-fix: 0 time: 119.14 s
134255.20/4204.93 c vivif2 -- cl tried 26370 cl shrink 0 lits rem 0 time: 0.02
134347.66/4207.87 c vivif2 -- cl tried 170165 cl shrink 53688 lits rem 393389 time: 2.86
134366.84/4208.48 c asymm cl-useful: 0/26370/26370 lits-rem:0 time: 0.61
134366.84/4208.51 c calculated reachability. Time: 0.01
134366.84/4208.51 c N st 82 3212388 21097 26370 34806 170165 188948 26300534 no data no data
157659.48/4937.76 c N st 83 3712389 21097 26370 34806 169715 188948 23946328 no data no data
157659.48/4937.76 c S st 83 3712389 21097 26370 34806 169715 188948 23946328 no data no data
157688.25/4938.62 c S st 83 3712892 21097 26370 34806 170216 188948 23952448 no data no data
157691.45/4938.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
157729.58/4939.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.7M T: 1.21
157729.58/4939.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
157729.58/4940.00 c bin-w-bin subsume rem 0 bins time: 0.01 s
157733.36/4940.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
157733.36/4940.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4901 time: 0.04 s
157733.36/4940.11 c Removed useless bin: 0 fixed: 0 props: 0.23M time: 0.03 s
157745.56/4940.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.38 s
157888.89/4944.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.37 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400858-1307054225/watcher-3400858-1307054225 -o /tmp/evaluation-result-3400858-1307054225/solver-3400858-1307054225 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400858-1307054225.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=338000 CPUtime=0.85 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) R 9229 9231 9205 0 -1 4202496 437 0 0 0 85 0 0 0 25 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 84500 376 297 95 0 79482 0
[pid=9231/tid=9232] ppid=9229 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334917 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603496 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=338000 CPUtime=0 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603504 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603500 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11334918 346112000 376 268435456000 4194304 4580107 140733195832848 18446744073709551615 47184385603506 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.0978231 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=1191456 CPUtime=2.13 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) S 9229 9231 9205 0 -1 4202496 9723 0 0 0 141 72 0 0 17 0 32 0 11334917 1220050944 9571 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 297864 9580 331 95 0 292846 0
[pid=9231/tid=9232] ppid=9229 vsize=1191456 CPUtime=0.06 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 11334917 1220050944 9582 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=1191456 CPUtime=0.06 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 299 0 0 0 4 2 0 0 17 0 32 0 11334917 1220050944 9589 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=1322528 CPUtime=0.06 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 278 0 0 0 4 2 0 0 23 0 32 0 11334917 1354268672 9594 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 276 0 0 0 4 2 0 0 17 0 32 0 11334917 1287159808 9601 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604499193298400 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 302 0 0 0 4 2 0 0 18 0 32 0 11334917 1287159808 9613 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 277 0 0 0 4 2 0 0 18 0 32 0 11334917 1287159808 9613 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604498665725408 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 277 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9619 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929584 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 276 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9625 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929584 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 300 0 0 0 4 2 0 0 18 0 32 0 11334918 1287159808 9631 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 309 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9637 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 269 0 0 0 4 2 0 0 24 0 32 0 11334918 1287159808 9643 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 274 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9650 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604487742537184 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 286 0 0 0 4 2 0 0 24 0 32 0 11334918 1287159808 9665 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 312 0 0 0 4 2 0 0 18 0 32 0 11334918 1287159808 9668 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 267 0 0 0 4 2 0 0 25 0 32 0 11334918 1287159808 9672 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 311 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9680 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 319 0 0 0 4 2 0 0 25 0 32 0 11334918 1287159808 9688 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604499987955168 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 287 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 275 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9695 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 16 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 297 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9706 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 12 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=1256992 CPUtime=0.02 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 272 0 0 0 0 2 0 0 17 0 32 0 11334918 1287159808 9727 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 31 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=1256992 CPUtime=0.04 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 300 0 0 0 2 2 0 0 25 0 32 0 11334918 1287159808 9729 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 11334918 1287159808 9731 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 11334918 1287159808 9733 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 23 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 268 0 0 0 3 2 0 0 18 0 32 0 11334918 1287159808 9737 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604470607298016 0 0 -1 27 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=1256992 CPUtime=0.06 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 332 0 0 0 4 2 0 0 17 0 32 0 11334918 1287159808 9743 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=1256992 CPUtime=0.05 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 296 0 0 0 4 1 0 0 17 0 32 0 11334918 1287159808 9755 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 21 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 320 0 0 0 4 2 0 0 25 0 32 0 11334918 1287299072 9768 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 11334918 1287299072 9770 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=1257128 CPUtime=0.06 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 333 0 0 0 4 2 0 0 18 0 32 0 11334918 1287299072 9770 268435456000 4194304 4580107 140733195832848 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 1191456
[startup+0.103821 s]
/proc/loadavg: 32.09 30.30 28.09 1/413 9231
/proc/meminfo: memFree=263285320/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=1257260 CPUtime=2.16 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) D 9229 9231 9205 0 -1 4202496 10302 0 0 0 142 74 0 0 17 0 32 0 11334917 1287434240 10150 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9231/statm: 314315 10155 331 95 0 309297 0
[pid=9231/tid=9232] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 331 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10159 268435456000 4194304 4580107 140733195832848 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 325 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10167 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604459318975968 0 0 -1 2 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 300 0 0 0 4 2 0 0 23 0 32 0 11334917 1287434240 10172 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 286 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10180 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 337 0 0 0 4 2 0 0 18 0 32 0 11334917 1287434240 10200 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 4 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 302 0 0 0 4 2 0 0 17 0 32 0 11334917 1287434240 10211 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 289 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10212 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=1257260 CPUtime=0.05 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 281 0 0 0 4 1 0 0 17 0 32 0 11334918 1287434240 10219 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566931744 0 0 -1 6 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) D 9229 9231 9205 0 -1 4202560 338 0 0 0 4 2 0 0 18 0 32 0 11334918 1287434240 10220 268435456000 4194304 4580107 140733195832848 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 325 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10231 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446604442556653024 0 0 -1 9 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 270 0 0 0 4 2 0 0 24 0 32 0 11334918 1287434240 10257 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 287 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10260 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 319 0 0 0 4 2 0 0 24 0 32 0 11334918 1287434240 10271 268435456000 4194304 4580107 140733195832848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10273 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566924664 0 0 -1 14 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) S 9229 9231 9205 0 -1 4202560 268 0 0 0 4 2 0 0 18 0 32 0 11334918 1287434240 10280 268435456000 4194304 4580107 140733195832848 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 11 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 337 0 0 0 4 2 0 0 17 0 32 0 11334918 1287434240 10288 268435456000 4194304 4580107 140733195832848 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=1257260 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1164014 0 0 0 494828 722 0 0 25 0 32 0 11334917 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=32153116 CPUtime=4955.7 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1408760 0 0 0 494741 829 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=32153116 CPUtime=4944.37 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1286423 0 0 0 493651 786 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=32153116 CPUtime=4950.41 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1221189 0 0 0 494301 740 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=32153116 CPUtime=4955.17 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1282691 0 0 0 494773 744 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=32153116 CPUtime=4955.66 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1257447 0 0 0 494834 732 0 0 25 0 32 0 11334918 32924790784 6271013 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=32153116 CPUtime=4951.63 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1125440 0 0 0 494485 678 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=32153116 CPUtime=4956.56 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1270953 0 0 0 494892 764 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=32153116 CPUtime=4949.27 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1193056 0 0 0 494181 746 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=32153116 CPUtime=4944.1 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1191294 0 0 0 493675 735 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=32153116 CPUtime=4952.26 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1325252 0 0 0 494441 785 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4487417 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=32153116 CPUtime=4952.07 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1066542 0 0 0 494528 679 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=32153116 CPUtime=4941.12 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1045714 0 0 0 493456 656 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=32153116 CPUtime=4953.65 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1266050 0 0 0 494645 720 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=32153116 CPUtime=4954.4 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1346825 0 0 0 494643 797 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=32153116 CPUtime=4947.3 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1238624 0 0 0 493983 747 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=32153116 CPUtime=4943.95 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1238432 0 0 0 493639 756 0 0 25 0 32 0 11334918 32924790784 6271014 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=32153116 CPUtime=4954.93 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1338519 0 0 0 494699 794 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=32153116 CPUtime=4951.56 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1221092 0 0 0 494394 762 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=32153116 CPUtime=4954.32 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1125597 0 0 0 494717 715 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=32153116 CPUtime=4952.41 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1048293 0 0 0 494574 667 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=32153116 CPUtime=4954.27 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1146011 0 0 0 494699 728 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=32153116 CPUtime=4953.31 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1345006 0 0 0 494547 784 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4321718 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=32153116 CPUtime=4954.86 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1311466 0 0 0 494736 750 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294840 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=32153116 CPUtime=4937.52 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1159495 0 0 0 493030 722 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=32153116 CPUtime=4958.92 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 442876 0 0 0 495576 316 0 0 25 0 32 0 11334918 32924790784 6271015 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158445
Current children cumulated vsize (KiB) 32153116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011 s]
/proc/loadavg: 32.07 32.08 32.03 33/445 9409
/proc/meminfo: memFree=237969980/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=32826532 CPUtime=160001 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) R 9229 9231 9205 0 -1 4202496 39464974 0 0 0 15976475 23633 0 0 25 0 32 0 11334917 33614368768 6317663 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 8206633 6317663 402 95 0 8201615 0
[pid=9231/tid=9232] ppid=9229 vsize=32826532 CPUtime=4998.55 cores=0-31
/proc/9231/task/9232/stat : 9232 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1321488 0 0 0 499085 770 0 0 25 0 32 0 11334917 33614368768 6317663 268435456000 4194304 4580107 140733195832848 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9231/tid=9233] ppid=9229 vsize=32826532 CPUtime=5002.93 cores=0-31
/proc/9231/task/9233/stat : 9233 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1385265 0 0 0 499476 817 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9231/tid=9234] ppid=9229 vsize=32826532 CPUtime=5004.04 cores=0-31
/proc/9231/task/9234/stat : 9234 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1305845 0 0 0 499665 739 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9231/tid=9235] ppid=9229 vsize=32826532 CPUtime=5003.56 cores=0-31
/proc/9231/task/9235/stat : 9235 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1353595 0 0 0 499569 787 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9231/tid=9236] ppid=9229 vsize=32826532 CPUtime=5003.38 cores=0-31
/proc/9231/task/9236/stat : 9236 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1190224 0 0 0 499668 670 0 0 25 0 32 0 11334917 33614368768 6317664 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9231/tid=9237] ppid=9229 vsize=32826532 CPUtime=5004.17 cores=0-31
/proc/9231/task/9237/stat : 9237 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1171846 0 0 0 499689 728 0 0 25 0 32 0 11334917 33614368768 6317665 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9231/tid=9238] ppid=9229 vsize=32826532 CPUtime=5004.37 cores=0-31
/proc/9231/task/9238/stat : 9238 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1427030 0 0 0 499598 839 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9231/tid=9239] ppid=9229 vsize=32826532 CPUtime=4993.08 cores=0-31
/proc/9231/task/9239/stat : 9239 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1286423 0 0 0 498522 786 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9231/tid=9240] ppid=9229 vsize=32826532 CPUtime=4999.1 cores=0-31
/proc/9231/task/9240/stat : 9240 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1228665 0 0 0 499164 746 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9231/tid=9241] ppid=9229 vsize=32826532 CPUtime=5003.86 cores=0-31
/proc/9231/task/9241/stat : 9241 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1308191 0 0 0 499634 752 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9231/tid=9242] ppid=9229 vsize=32826532 CPUtime=5004.33 cores=0-31
/proc/9231/task/9242/stat : 9242 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1269470 0 0 0 499695 738 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9231/tid=9243] ppid=9229 vsize=32826532 CPUtime=5000.29 cores=0-31
/proc/9231/task/9243/stat : 9243 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1132455 0 0 0 499346 683 0 0 25 0 32 0 11334918 33614368768 6317666 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9231/tid=9244] ppid=9229 vsize=32826532 CPUtime=5005.25 cores=0-31
/proc/9231/task/9244/stat : 9244 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1285691 0 0 0 499754 771 0 0 25 0 32 0 11334918 33614368768 6317667 268435456000 4194304 4580107 140733195832848 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=32826532 CPUtime=4997.56 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1201701 0 0 0 499006 750 0 0 25 0 32 0 11334918 33614368768 6317668 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9231/tid=9246] ppid=9229 vsize=32826532 CPUtime=4992.79 cores=0-31
/proc/9231/task/9246/stat : 9246 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1226556 0 0 0 498532 747 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9231/tid=9247] ppid=9229 vsize=32826532 CPUtime=5000.93 cores=0-31
/proc/9231/task/9247/stat : 9247 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1334937 0 0 0 499301 792 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9231/tid=9248] ppid=9229 vsize=32826532 CPUtime=5000.76 cores=0-31
/proc/9231/task/9248/stat : 9248 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1077408 0 0 0 499393 683 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9231/tid=9249] ppid=9229 vsize=32826532 CPUtime=4989.79 cores=0-31
/proc/9231/task/9249/stat : 9249 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1052094 0 0 0 498319 660 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9231/tid=9250] ppid=9229 vsize=32826532 CPUtime=5001.32 cores=0-31
/proc/9231/task/9250/stat : 9250 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1274217 0 0 0 499406 726 0 0 25 0 32 0 11334918 33614368768 6317669 268435456000 4194304 4580107 140733195832848 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9231/tid=9251] ppid=9229 vsize=32826532 CPUtime=5003.05 cores=0-31
/proc/9231/task/9251/stat : 9251 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1357704 0 0 0 499502 803 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9231/tid=9252] ppid=9229 vsize=32826532 CPUtime=4995.97 cores=0-31
/proc/9231/task/9252/stat : 9252 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1247308 0 0 0 498845 752 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9231/tid=9253] ppid=9229 vsize=32826532 CPUtime=4992.61 cores=0-31
/proc/9231/task/9253/stat : 9253 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1245398 0 0 0 498502 759 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9231/tid=9254] ppid=9229 vsize=32826532 CPUtime=5003.6 cores=0-31
/proc/9231/task/9254/stat : 9254 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1346334 0 0 0 499562 798 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4305590 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9231/tid=9255] ppid=9229 vsize=32826532 CPUtime=5000.23 cores=0-31
/proc/9231/task/9255/stat : 9255 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1236340 0 0 0 499252 771 0 0 25 0 32 0 11334918 33614368768 6317670 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9231/tid=9256] ppid=9229 vsize=32826532 CPUtime=5003 cores=0-31
/proc/9231/task/9256/stat : 9256 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1131091 0 0 0 499580 720 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9231/tid=9257] ppid=9229 vsize=32826532 CPUtime=5001.08 cores=0-31
/proc/9231/task/9257/stat : 9257 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1056720 0 0 0 499436 672 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9231/tid=9258] ppid=9229 vsize=32826532 CPUtime=5002.91 cores=0-31
/proc/9231/task/9258/stat : 9258 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1154884 0 0 0 499557 734 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9231/tid=9259] ppid=9229 vsize=32826532 CPUtime=5001.98 cores=0-31
/proc/9231/task/9259/stat : 9259 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1352312 0 0 0 499410 788 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9231/tid=9260] ppid=9229 vsize=32826532 CPUtime=5003.53 cores=0-31
/proc/9231/task/9260/stat : 9260 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1326963 0 0 0 499593 760 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9231/tid=9261] ppid=9229 vsize=32826532 CPUtime=4986.21 cores=0-31
/proc/9231/task/9261/stat : 9261 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 1175225 0 0 0 497890 731 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9231/tid=9262] ppid=9229 vsize=32826532 CPUtime=5007.61 cores=0-31
/proc/9231/task/9262/stat : 9262 (strangenight2-m) R 9229 9231 9205 0 -1 4202560 446037 0 0 0 500442 319 0 0 25 0 32 0 11334918 33614368768 6317671 268435456000 4194304 4580107 140733195832848 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 32826532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9231
Solver just ended. Dumping a history of the last processes samples
[startup+5011.8 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=243999216/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160002 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23710 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4998.34 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 827 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5012.6 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=257735632/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160003 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23791 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4999.16 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 909 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5013 s]
/proc/loadavg: 29.58 31.57 31.86 2/416 9410
/proc/meminfo: memFree=257735632/264257624 swapFree=67054984/67111528
[pid=9231] ppid=9229 vsize=0 CPUtime=160003 cores=0-31
/proc/9231/stat : 9231 (strangenight2-m) Z 9229 9231 9205 0 -1 4203548 39465000 0 0 0 15976497 23830 0 0 25 0 2 0 11334917 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9245] ppid=9229 vsize=0 CPUtime=4999.54 cores=0-31
/proc/9231/task/9245/stat : 9245 (strangenight2-m) R 9229 9231 9205 0 -1 4203588 1201702 0 0 0 499007 947 0 0 25 0 2 0 11334918 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5013.09
CPU time (s): 160003
CPU user time (s): 159765
CPU system time (s): 238.394
CPU usage (%): 3191.71
Max. virtual memory (cumulated for all children) (KiB): 32874976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159765
system time used= 238.394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39465000
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= 1340986
involuntary context switches= 289669
runsolver used 27.6308 second user time and 112.503 second system time
The end
Begin job on node200 at 2011-06-03 00:37:05
IDJOB=3400858
IDBENCH=84223
IDSOLVER=1886
FILE ID=node200/3400858-1307054225
RUNJOBID= node200-1307054225-9219
PBS_JOBID= 13497798
Free space on /tmp= 61740 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400858-1307054225/watcher-3400858-1307054225 -o /tmp/evaluation-result-3400858-1307054225/solver-3400858-1307054225 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400858-1307054225.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=275653705
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263285848 kB
Buffers: 37484 kB
Cached: 774984 kB
SwapCached: 7848 kB
Active: 75664 kB
Inactive: 754724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263285848 kB
SwapTotal: 67111528 kB
SwapFree: 67054984 kB
Dirty: 7996 kB
Writeback: 0 kB
AnonPages: 15324 kB
Mapped: 7592 kB
Slab: 53012 kB
PageTables: 4772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-03 02:00:39