0.00/0.00 c Outputting solution to console
1.21/0.05 c Using 32 threads
1.21/0.07 c This is CryptoMiniSat 3.0.0
1.21/0.07 c WARNING: for repeatability, setting FPU to use double precision
1.21/0.07 c Reading file 'HOME/instance-3400861-1307069277.cnf'
1.21/0.10 c -- header says num vars: 985042
1.21/0.10 c -- header says num clauses: 3113540
575.23/31.15 c -- clauses added: 0 learnts, 3113540 normals, 0 xors
575.23/31.15 c -- vars added 985042
575.23/31.15 c Parsing time: 7.80 s
575.23/31.15 c N st 0 0 985042 1620902 1490503 0 7970771 0 no data no data
728.51/36.07 c asymm cl-useful: 0/175/1592883 lits-rem:0 time: 4.70
3531.75/125.32 c Flit: 42 Blit: 307 bXBeca: 0 bXProp: 40473 Bins: 0 BRemL: 0 BRemN: 0 P: 200.5M T: 89.05
3551.39/126.04 c Cleaning up after failed var search: 0.71 s
3589.15/127.68 c Replacing 40625 vars Replaced 572404 lits Time: 1.54 s
3907.41/140.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.05 s
3932.99/141.71 c bin-w-bin subsume rem 12 bins time: 0.74 s
3999.08/143.91 c subs with bin: 2718 lits-rem: 3854 v-fix: 0 time: 2.16 s
5960.88/205.67 c Subs w/ non-existent bins: 1613 l-rem: 22 v-fix: 164 done: 6074 time: 60.30 s
6052.22/208.55 c Removed useless bin: 3 fixed: 0 props: 20.05M time: 2.88 s
6712.36/230.80 c lits-rem: 1392 cl-subs: 80892 v-elim: 300875 v-fix: 1096 time: 18.45 s
6740.69/231.64 c Finding binary XORs T: 0.85 s found: 8933
6774.94/232.71 c Replacing 8933 vars Replaced 320347 lits Time: 1.00 s
6890.05/236.46 c Finding non-binary XORs: 2.24 s (found: 237993, avg size: 3.0)
6890.05/236.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 229 locsubst: 33934 time: 1.28
6923.66/237.56 c Replacing 16967 vars Replaced 182035 lits Time: 1.09 s
6932.39/237.85 c calculated reachability. Time: 0.03
6945.03/238.23 c Calc default polars - time: 0.36 s pos: 224652 undec: 431016 neg: 329374
6945.03/238.23 c =========================================================================================
6945.03/238.23 c types(t): F = full restart, N = normal restart
6945.03/238.23 c types(t): S = simplification begin/end, E = solution found
6945.03/238.23 c restart types(rt): st = static, dy = dynamic
6945.03/238.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6945.03/238.23 c B st 0 0 574294 501029 755256 0 3916267 0 no data no data
7893.59/267.94 c Decided on static restart strategy
8516.60/287.42 c N st 8 4917 568177 492588 748487 4325 3863490 283129 no data no data
9250.29/310.49 c Finding binary XORs T: 0.74 s found: 3054
9276.47/311.26 c Replacing 8383 vars Replaced 105898 lits Time: 0.72 s
10436.76/347.61 c N st 10 11300 524315 454809 844257 9514 3567017 1284038 no data no data
12226.08/403.51 c N st 11 17044 524314 454809 844369 15050 3567015 1787127 no data no data
12268.18/404.88 c Finding binary XORs T: 0.76 s found: 5027
12293.10/405.68 c Replacing 5448 vars Replaced 124064 lits Time: 0.78 s
14987.12/489.93 c F st 12 25000 507681 441920 840758 15307 3467005 1312124 no data no data
15028.68/491.22 c Replacing 1050 vars Replaced 7233 lits Time: 0.84 s
15070.23/492.59 c Replacing 3 vars Replaced 58 lits Time: 0.83 s
21328.20/688.34 c N st 12 25000 506625 438823 833083 15270 3440848 1302248 no data no data
22530.66/725.99 c Decided on static restart strategy
22530.66/725.99 c N st 18 30001 506618 438823 833126 20171 3440847 1609059 no data no data
22530.66/726.00 c S st 18 30001 506618 438823 833126 20171 3440847 1609059 no data no data
22811.97/734.75 c Finding binary XORs T: 0.72 s found: 2805
22996.73/740.51 c S st 18 30502 504546 434069 837828 20241 3415257 1579105 no data no data
23028.70/741.54 c x-sub: 14875 x-cut: 0 vfix: 0 v-elim: 1663 locsubst: 34 time: 1.03
23920.52/769.42 c Flit: 12 Blit: 935 bXBeca: 0 bXProp: 291 Bins: 44346 BRemL: 0 BRemN: 3 P: 200.2M T: 27.88
23923.72/769.52 c Cleaning up after failed var search: 0.00 s
23958.88/770.67 c Replacing 3750 vars Replaced 66478 lits Time: 1.03 s
23987.64/771.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.06 s
23997.24/771.88 c bin-w-bin subsume rem 161929 bins time: 0.37 s
24035.60/773.03 c subs with bin: 41872 lits-rem: 57502 v-fix: 0 time: 1.15 s
24972.04/802.36 c Subs w/ non-existent bins: 1473 l-rem: 1462 v-fix: 97 done: 26845 time: 29.29 s
25007.10/803.48 c Removed useless bin: 1892 fixed: 130 props: 20.04M time: 0.99 s
25265.94/811.52 c lits-rem: 37359 cl-subs: 90514 v-elim: 143971 v-fix: 4 time: 7.98 s
25281.91/812.02 c Replacing 16 vars Replaced 166 lits Time: 0.48 s
25301.10/812.61 c subs with bin: 188 lits-rem: 512 v-fix: 0 time: 0.32 s
25336.27/813.76 c lits-rem: 145 cl-subs: 379 v-elim: 0 v-fix: 0 time: 0.91 s
25393.79/815.58 c asymm cl-useful: 1/219/326534 lits-rem:12 time: 1.82
25400.19/815.78 c calculated reachability. Time: 0.04
25403.39/815.85 c N st 18 30502 354156 326534 442987 5460 2685873 209458 no data no data
25419.36/816.37 c Finding binary XORs T: 0.51 s found: 4090
25435.35/816.86 c Replacing 4092 vars Replaced 49245 lits Time: 0.49 s
26237.65/841.93 c N st 20 37613 349954 325676 434561 12374 2666363 685279 no data no data
27343.48/876.60 c Finding binary XORs T: 0.49 s found: 429
27388.21/877.92 c N st 21 44013 349479 324160 445239 11904 2655622 704403 no data no data
27589.58/884.27 c S st 22 45756 349449 324160 445251 13602 2655622 777938 no data no data
27804.34/890.94 c S st 22 46259 348387 324160 445272 14068 2655622 818284 no data no data
27829.32/891.72 c x-sub: 10 x-cut: 0 vfix: 0 v-elim: 949 locsubst: 44 time: 0.78
28922.30/925.97 c Flit: 3 Blit: 48 bXBeca: 0 bXProp: 60 Bins: 4785 BRemL: 0 BRemN: 5 P: 200.0M T: 34.24
28951.07/926.82 c Replacing 1116 vars Replaced 15615 lits Time: 0.68 s
28967.67/927.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
28973.43/927.54 c bin-w-bin subsume rem 17182 bins time: 0.15 s
28999.64/928.34 c subs with bin: 25121 lits-rem: 40704 v-fix: 0 time: 0.81 s
29871.63/955.63 c Subs w/ non-existent bins: 641 l-rem: 2519 v-fix: 110 done: 25830 time: 27.27 s
29900.36/956.58 c Removed useless bin: 1620 fixed: 122 props: 20.00M time: 0.92 s
29957.88/958.38 c lits-rem: 4421 cl-subs: 7231 v-elim: 5809 v-fix: 5 time: 1.79 s
29980.26/959.07 c Replacing 74 vars Replaced 666 lits Time: 0.67 s
30009.02/959.94 c subs with bin: 31 lits-rem: 431 v-fix: 0 time: 0.51 s
30050.58/961.30 c lits-rem: 421 cl-subs: 493 v-elim: 0 v-fix: 0 time: 1.11 s
30108.10/963.07 c asymm cl-useful: 281/787/292673 lits-rem:2299 time: 1.77
30114.47/963.26 c calculated reachability. Time: 0.04
30117.67/963.34 c N st 22 46259 340209 292644 429633 12580 2515602 679385 no data no data
30472.47/974.44 c Finding binary XORs T: 0.51 s found: 1817
30996.65/990.80 c Finding binary XORs T: 0.50 s found: 1117
32051.08/1023.80 c N st 23 60659 338274 291085 456922 26563 2499580 1550636 no data no data
32964.32/1052.45 c N st 24 69390 338131 291085 459879 23576 2499569 1580760 no data no data
32964.32/1052.46 c S st 24 69390 338131 291085 459879 23576 2499569 1580760 no data no data
33175.20/1059.08 c S st 24 69890 338093 291085 460842 24037 2499569 1619600 no data no data
33203.93/1059.91 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 927 locsubst: 4 time: 0.84
34315.65/1094.73 c Flit: 14 Blit: 68 bXBeca: 0 bXProp: 27 Bins: 3591 BRemL: 0 BRemN: 6 P: 200.4M T: 34.80
34347.60/1095.76 c Replacing 3174 vars Replaced 52586 lits Time: 0.83 s
34369.98/1096.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.05 s
34373.17/1096.57 c bin-w-bin subsume rem 37502 bins time: 0.17 s
34398.73/1097.31 c subs with bin: 3293 lits-rem: 5354 v-fix: 0 time: 0.74 s
35877.41/1143.67 c Subs w/ non-existent bins: 387 l-rem: 2384 v-fix: 18 done: 28826 time: 46.33 s
35915.75/1144.81 c Removed useless bin: 1889 fixed: 26 props: 20.02M time: 1.12 s
35973.26/1146.60 c lits-rem: 3526 cl-subs: 7538 v-elim: 3364 v-fix: 1 time: 1.78 s
35989.24/1147.19 c Replacing 25 vars Replaced 203 lits Time: 0.56 s
36040.34/1148.72 c subs with bin: 56 lits-rem: 865 v-fix: 0 time: 0.99 s
36098.48/1150.54 c lits-rem: 240 cl-subs: 528 v-elim: 0 v-fix: 0 time: 1.52 s
36158.60/1152.49 c asymm cl-useful: 1429/2530/280487 lits-rem:5088 time: 1.96
36164.98/1152.71 c calculated reachability. Time: 0.04
36168.77/1152.80 c N st 24 69890 330532 280234 410841 21893 2403987 1242228 no data no data
36187.33/1153.33 c Finding binary XORs T: 0.52 s found: 110
38234.59/1217.46 c F st 25 87501 330525 280234 410931 24650 2403956 979355 no data no data
38256.95/1218.19 c Replacing 128 vars Replaced 2116 lits Time: 0.49 s
38285.75/1219.01 c Replacing 14 vars Replaced 115 lits Time: 0.49 s
38308.11/1219.81 c Replacing 3 vars Replaced 25 lits Time: 0.49 s
38336.86/1220.62 c Replacing 2 vars Replaced 16 lits Time: 0.49 s
40506.78/1288.51 c N st 25 87501 330361 280176 410659 24649 2403094 979300 no data no data
40532.35/1289.37 c Finding binary XORs T: 0.49 s found: 447
42114.55/1338.88 c Decided on static restart strategy
42590.82/1353.77 c N st 32 95536 329812 279022 428029 32356 2391717 1632844 no data no data
43405.88/1379.31 c Finding binary XORs T: 0.48 s found: 612
43479.99/1381.54 c N st 34 104835 327177 273760 427578 38674 2354059 1760865 no data no data
43479.99/1381.55 c S st 34 104835 327177 273760 427578 38674 2354059 1760865 no data no data
43680.76/1387.88 c S st 34 105337 327173 273760 427596 39155 2354059 1799861 no data no data
43706.32/1388.66 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 3476 locsubst: 8 time: 0.78
44668.44/1418.72 c Flit: 10 Blit: 14 bXBeca: 0 bXProp: 47 Bins: 1666 BRemL: 1 BRemN: 1 P: 200.0M T: 30.05
44694.00/1419.60 c Replacing 2459 vars Replaced 39978 lits Time: 0.71 s
44713.82/1420.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
44716.38/1420.27 c bin-w-bin subsume rem 12343 bins time: 0.14 s
44738.76/1420.93 c subs with bin: 9688 lits-rem: 8925 v-fix: 0 time: 0.65 s
45598.56/1447.84 c Subs w/ non-existent bins: 368 l-rem: 1682 v-fix: 38 done: 27177 time: 26.89 s
45620.92/1448.60 c Removed useless bin: 1940 fixed: 0 props: 20.00M time: 0.73 s
45668.86/1450.04 c lits-rem: 3119 cl-subs: 4509 v-elim: 3721 v-fix: 5 time: 1.43 s
45684.85/1450.54 c Replacing 47 vars Replaced 526 lits Time: 0.48 s
45735.99/1452.10 c subs with bin: 165 lits-rem: 4187 v-fix: 0 time: 1.07 s
45787.14/1453.77 c lits-rem: 1163 cl-subs: 897 v-elim: 0 v-fix: 0 time: 1.44 s
45828.71/1455.04 c asymm cl-useful: 153/461/255399 lits-rem:503 time: 1.27
45831.90/1455.22 c calculated reachability. Time: 0.03
45835.68/1455.29 c N st 34 105337 317425 255372 405520 35676 2267094 1409219 no data no data
47235.11/1499.00 c N st 35 114936 317423 255372 405569 30464 2267088 1017540 no data no data
47260.64/1499.87 c Finding binary XORs T: 0.47 s found: 2961
47277.25/1500.38 c Replacing 5212 vars Replaced 54934 lits Time: 0.48 s
48571.17/1540.81 c N st 36 129333 302596 252713 393123 43963 2198078 2789256 no data no data
49827.24/1580.16 c N st 37 150928 302596 252713 393162 46629 2197963 1819751 no data no data
49849.60/1580.90 c Finding binary XORs T: 0.44 s found: 369
50773.30/1609.77 c S st 38 158008 302315 251905 395039 53353 2190967 2323381 no data no data
50958.66/1615.58 c S st 38 158509 301920 251905 397713 53828 2190967 2372928 no data no data
50984.23/1616.32 c x-sub: 7 x-cut: 0 vfix: 0 v-elim: 2608 locsubst: 216 time: 0.74
51991.64/1647.83 c Flit: 8 Blit: 98 bXBeca: 0 bXProp: 13 Bins: 494 BRemL: 0 BRemN: 1 P: 200.3M T: 31.50
51994.20/1647.90 c Cleaning up after failed var search: 0.00 s
52016.59/1648.70 c Replacing 1301 vars Replaced 24949 lits Time: 0.70 s
52035.76/1649.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
52038.96/1649.34 c bin-w-bin subsume rem 8944 bins time: 0.13 s
52058.74/1649.92 c subs with bin: 4470 lits-rem: 5033 v-fix: 0 time: 0.58 s
52988.13/1679.01 c Subs w/ non-existent bins: 278 l-rem: 1508 v-fix: 14 done: 27644 time: 29.08 s
53016.88/1679.98 c Removed useless bin: 7798 fixed: 23 props: 20.00M time: 0.96 s
53055.23/1681.13 c lits-rem: 1191 cl-subs: 1963 v-elim: 1472 v-fix: 1 time: 1.15 s
53071.23/1681.62 c Replacing 33 vars Replaced 326 lits Time: 0.47 s
53151.75/1684.18 c subs with bin: 196 lits-rem: 10231 v-fix: 0 time: 1.96 s
53222.08/1686.34 c lits-rem: 2271 cl-subs: 1815 v-elim: 0 v-fix: 0 time: 1.92 s
53259.80/1687.58 c asymm cl-useful: 258/593/243168 lits-rem:578 time: 1.24
53266.15/1687.75 c calculated reachability. Time: 0.03
53269.39/1687.82 c N st 38 158509 296323 243149 374539 48781 2125180 1912114 no data no data
55781.57/1766.51 c Finding binary XORs T: 0.45 s found: 1467
58866.06/1862.95 c N st 39 207097 294755 242553 400089 55742 2117246 2364820 no data no data
58891.62/1863.72 c Finding binary XORs T: 0.45 s found: 643
62617.46/1980.34 c N st 40 237766 294269 241988 405190 61915 2111895 2834205 no data no data
62617.46/1980.35 c S st 40 237766 294269 241988 405190 61915 2111895 2834205 no data no data
62646.21/1981.20 c Finding binary XORs T: 0.46 s found: 6168
62665.40/1981.81 c Replacing 8499 vars Replaced 150936 lits Time: 0.58 s
62841.21/1987.35 c S st 40 238266 278999 230369 386788 51328 1998156 2278423 no data no data
62863.58/1988.08 c x-sub: 453 x-cut: 0 vfix: 0 v-elim: 7120 locsubst: 710 time: 0.74
63867.29/2019.47 c Flit: 2 Blit: 197 bXBeca: 0 bXProp: 59 Bins: 1900 BRemL: 0 BRemN: 1 P: 200.0M T: 31.37
63871.11/2019.53 c Cleaning up after failed var search: 0.00 s
63896.06/2020.30 c Replacing 476 vars Replaced 22783 lits Time: 0.68 s
63909.47/2020.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
63912.03/2020.89 c bin-w-bin subsume rem 16830 bins time: 0.12 s
63931.22/2021.46 c subs with bin: 8519 lits-rem: 9899 v-fix: 0 time: 0.57 s
64791.04/2048.32 c Subs w/ non-existent bins: 299 l-rem: 1358 v-fix: 23 done: 32059 time: 26.84 s
64826.19/2049.42 c Removed useless bin: 5395 fixed: 29 props: 20.00M time: 1.10 s
64864.55/2050.61 c lits-rem: 1266 cl-subs: 2822 v-elim: 3902 v-fix: 0 time: 1.19 s
64877.35/2051.08 c Replacing 17 vars Replaced 157 lits Time: 0.45 s
64950.87/2053.33 c subs with bin: 339 lits-rem: 13275 v-fix: 0 time: 1.72 s
64999.44/2054.85 c lits-rem: 1336 cl-subs: 933 v-elim: 0 v-fix: 0 time: 1.31 s
65040.36/2056.11 c asymm cl-useful: 283/795/213815 lits-rem:665 time: 1.26
65043.55/2056.26 c calculated reachability. Time: 0.03
65046.75/2056.33 c N st 40 238266 267251 213790 355053 44320 1894399 1414116 no data no data
65059.55/2056.73 c Finding binary XORs T: 0.40 s found: 90
67968.26/2147.72 c Finding binary XORs T: 0.41 s found: 1374
74108.67/2339.81 c F st 41 306250 265170 210186 367378 64390 1866744 3290721 no data no data
74131.05/2340.53 c Replacing 2026 vars Replaced 61525 lits Time: 0.50 s
74153.42/2341.22 c Replacing 5 vars Replaced 40 lits Time: 0.41 s
74173.16/2341.90 c Replacing 4 vars Replaced 27 lits Time: 0.41 s
74847.03/2362.93 c N st 41 306250 263142 209799 361909 64190 1858352 3275470 no data no data
74876.45/2363.82 c Finding binary XORs T: 0.44 s found: 7832
74891.79/2364.37 c Replacing 8200 vars Replaced 196126 lits Time: 0.51 s
75556.66/2385.17 c Decided on static restart strategy
77487.32/2445.51 c Finding binary XORs T: 0.39 s found: 542
79175.06/2498.38 c N st 51 334550 245296 197796 353849 57269 1731409 2670701 no data no data
79197.45/2499.10 c Finding binary XORs T: 0.40 s found: 3050
79216.62/2499.63 c Replacing 4898 vars Replaced 192827 lits Time: 0.49 s
81866.51/2582.57 c Finding binary XORs T: 0.38 s found: 1758
82767.94/2610.75 c N st 53 357400 236326 190886 363457 47533 1663181 2079802 no data no data
82767.94/2610.76 c S st 53 357400 236326 190886 363457 47533 1663181 2079802 no data no data
82787.72/2611.42 c Finding binary XORs T: 0.37 s found: 602
82969.32/2617.07 c S st 53 357900 236267 190764 371698 47865 1661808 2126563 no data no data
82991.67/2617.75 c x-sub: 1095 x-cut: 0 vfix: 0 v-elim: 12421 locsubst: 3294 time: 0.67
83976.20/2648.59 c Flit: 16 Blit: 160 bXBeca: 0 bXProp: 118 Bins: 194 BRemL: 1 BRemN: 0 P: 200.3M T: 30.84
83979.39/2648.64 c Cleaning up after failed var search: 0.00 s
84001.77/2649.36 c Replacing 3062 vars Replaced 134982 lits Time: 0.63 s
84014.56/2649.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
84021.57/2649.92 c bin-w-bin subsume rem 48129 bins time: 0.15 s
84033.73/2650.38 c subs with bin: 7585 lits-rem: 5537 v-fix: 0 time: 0.45 s
84654.47/2669.72 c Subs w/ non-existent bins: 466 l-rem: 1670 v-fix: 7 done: 39596 time: 19.32 s
84679.41/2670.53 c Removed useless bin: 3168 fixed: 11 props: 20.03M time: 0.80 s
84711.38/2671.56 c lits-rem: 913 cl-subs: 3538 v-elim: 4674 v-fix: 0 time: 1.03 s
84724.80/2671.98 c Replacing 2 vars Replaced 13 lits Time: 0.39 s
84800.88/2674.35 c subs with bin: 736 lits-rem: 9191 v-fix: 0 time: 1.91 s
84839.20/2675.56 c lits-rem: 1053 cl-subs: 1189 v-elim: 0 v-fix: 0 time: 1.04 s
84883.95/2676.96 c asymm cl-useful: 539/1379/172702 lits-rem:958 time: 1.40
84887.16/2677.09 c calculated reachability. Time: 0.02
84890.34/2677.14 c N st 53 357900 215840 172647 292230 41808 1522471 1573909 no data no data
84900.57/2677.48 c Finding binary XORs T: 0.34 s found: 22
89155.11/2810.54 c N st 54 390292 215840 172647 292306 51493 1522467 2599217 no data no data
89176.88/2811.27 c Finding binary XORs T: 0.37 s found: 7802
89190.28/2811.68 c Replacing 7863 vars Replaced 181149 lits Time: 0.39 s
95378.67/3005.28 c N st 55 438881 199798 162491 281281 66543 1412549 3842967 no data no data
95400.41/3005.97 c Finding binary XORs T: 0.33 s found: 3148
95416.39/3006.45 c Replacing 5462 vars Replaced 281600 lits Time: 0.44 s
96349.77/3035.67 c Finding binary XORs T: 0.31 s found: 393
105702.36/3328.26 c N st 56 511763 189466 152494 297691 72250 1319309 5851045 no data no data
105731.12/3329.11 c Finding binary XORs T: 0.34 s found: 7021
105747.71/3329.63 c Replacing 9558 vars Replaced 577140 lits Time: 0.47 s
109103.39/3434.64 c N st 57 536850 171604 139333 337642 43813 1192745 2058903 no data no data
109103.39/3434.64 c S st 57 536850 171604 139333 337642 43813 1192745 2058903 no data no data
109119.39/3435.21 c Finding binary XORs T: 0.29 s found: 894
109234.42/3438.72 c S st 57 537354 170856 138020 351814 42988 1182412 2008562 no data no data
109253.61/3439.30 c x-sub: 1055 x-cut: 0 vfix: 0 v-elim: 20496 locsubst: 1482 time: 0.58
110244.52/3470.33 c Flit: 116 Blit: 1481 bXBeca: 0 bXProp: 346 Bins: 2116 BRemL: 4 BRemN: 2 P: 200.3M T: 31.03
110251.53/3470.54 c Cleaning up after failed var search: 0.17 s
110266.88/3471.05 c Replacing 3228 vars Replaced 235755 lits Time: 0.45 s
110276.48/3471.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
110286.70/3471.68 c bin-w-bin subsume rem 110416 bins time: 0.34 s
110298.85/3472.00 c subs with bin: 6987 lits-rem: 3634 v-fix: 0 time: 0.32 s
110644.09/3482.87 c Subs w/ non-existent bins: 356 l-rem: 653 v-fix: 9 done: 52252 time: 10.86 s
110666.47/3483.60 c Removed useless bin: 1798 fixed: 10 props: 20.00M time: 0.72 s
110695.23/3484.47 c lits-rem: 1019 cl-subs: 4738 v-elim: 7557 v-fix: 0 time: 0.86 s
110705.44/3484.78 c Replacing 4 vars Replaced 81 lits Time: 0.29 s
110759.16/3486.45 c subs with bin: 337 lits-rem: 15085 v-fix: 0 time: 1.33 s
110787.92/3487.38 c lits-rem: 1324 cl-subs: 1103 v-elim: 0 v-fix: 0 time: 0.82 s
110832.68/3488.70 c asymm cl-useful: 502/1289/110922 lits-rem:891 time: 1.32
110832.68/3488.79 c calculated reachability. Time: 0.02
110835.88/3488.82 c N st 57 537354 137663 110840 201793 33596 958981 1181065 no data no data
110842.28/3489.07 c Finding binary XORs T: 0.25 s found: 87
111980.22/3524.60 c Finding binary XORs T: 0.25 s found: 85
113015.86/3557.05 c Replacing 1736 vars Replaced 53377 lits Time: 0.45 s
126201.22/3969.59 c Finding binary XORs T: 0.29 s found: 11438
126217.19/3970.03 c Replacing 11889 vars Replaced 602503 lits Time: 0.41 s
127086.66/3997.30 c Finding binary XORs T: 0.22 s found: 211
127252.88/4002.46 c Replacing 1895 vars Replaced 176721 lits Time: 0.47 s
127984.83/4025.35 c Finding binary XORs T: 0.22 s found: 193
127997.62/4025.75 c Replacing 2423 vars Replaced 206559 lits Time: 0.35 s
128940.52/4055.24 c Finding binary XORs T: 0.21 s found: 145
130887.78/4116.18 c N st 58 701338 103067 86301 225852 56972 712669 2783037 no data no data
130903.17/4116.60 c Finding binary XORs T: 0.21 s found: 113
132814.62/4176.47 c Finding binary XORs T: 0.22 s found: 869
132827.41/4176.85 c Replacing 1554 vars Replaced 222353 lits Time: 0.37 s
135391.62/4257.02 c Finding binary XORs T: 0.22 s found: 2089
135403.78/4257.43 c Replacing 2715 vars Replaced 210932 lits Time: 0.39 s
135800.17/4269.84 c Replacing 5849 vars Replaced 259756 lits Time: 0.37 s
135986.12/4275.64 c Replacing 3464 vars Replaced 210854 lits Time: 0.38 s
135991.94/4275.80 c E st 59 743296 76299 65256 215477 31862 520200 1250376 no data no data
136069.95/4301.38 c Following stats are for *FIRST FINISHED THREAD ONLY*
136069.95/4301.38 c num threads : 32
136069.95/4301.38 c restarts : 59
136069.95/4301.38 c dynamic restarts : 0
136069.95/4301.38 c static restarts : 59
136069.95/4301.38 c full restarts : 3
136069.95/4301.38 c total simplify time : 40.07
136069.95/4301.38 c learnts DL2 : 0
136069.95/4301.38 c learnts size 2 : 3092070
136069.95/4301.38 c learnts size 1 : 207436 (21.06 % of vars)
136069.95/4301.38 c filedLit time : 342.20 (8.04 % time)
136069.95/4301.38 c v-elim SatELite : 475342 (48.26 % vars)
136069.95/4301.38 c SatELite time : 301.58 (7.09 % time)
136069.95/4301.38 c v-elim xor : 49889 (5.06 % vars)
136069.95/4301.38 c xor elim time : 7.43 (0.17 % time)
136069.95/4301.38 c num binary xor trees : 38233
136069.95/4301.38 c binxor trees' crown : 187684 (4.91 leafs/tree)
136069.95/4301.38 c bin xor find time : 15.71
136069.95/4301.38 c OTF clause improved : 13425 (0.02 clauses/conflict)
136069.95/4301.38 c OTF impr. size diff : 18772 (1.40 lits/clause)
136069.95/4301.38 c OTF cl watch-shrink : 411354 (0.55 clauses/conflict)
136069.95/4301.38 c OTF cl watch-sh-lit : 1346580 (3.27 lits/clause)
136069.95/4301.38 c tried to recurMin cls : 0 (0.00 % of conflicts)
136069.95/4301.38 c updated cache : 0 (nan lits/tried recurMin)
136069.95/4301.38 c unit cls recevied : 7587 (3.66 % of units)
136069.95/4301.38 c unit cls sent : 5201 (2.51 % of units)
136069.95/4301.38 c bin cls recevied : 1669770
136069.95/4301.38 c bin cls sent : 248096
136069.95/4301.38 c clauses over max glue : 0 (0.00 % of all clauses)
136069.95/4301.38 c conflicts : 743296 (174.64 / sec)
136069.95/4301.38 c decisions : 2538891 (0.92 % random)
136069.95/4301.38 c bogo-props : 49141473892 (11546095.17 / sec)
136069.95/4301.38 c conflict literals : 65794992 (40.51 % deleted)
136069.95/4301.38 c Memory used : 33258.48 MB
136069.95/4301.38 c single-thread CPU time : 4256.11 s
136069.95/4301.38 c all-threads sum CPU time : 135407.84 s
136069.95/4301.38 s UNSATISFIABLE
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-3400861-1307069277/watcher-3400861-1307069277 -o /tmp/evaluation-result-3400861-1307069277/solver-3400861-1307069277 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400861-1307069277.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: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=338000 CPUtime=1 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 438 0 0 0 100 0 0 0 22 0 32 0 12840641 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 84500 377 297 95 0 79482 0
[pid=12095/tid=12096] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=338000 CPUtime=0 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.045523 s]
/proc/loadavg: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=338000 CPUtime=1.21 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 438 0 0 0 121 0 0 0 22 0 32 0 12840641 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 84500 377 297 95 0 79482 0
[pid=12095/tid=12096] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=338000 CPUtime=0 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125032 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125046 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125042 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 12840642 346112000 377 268435456000 4194304 4580107 140736389244176 18446744073709551615 47396245125036 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 338000
[startup+0.103536 s]
/proc/loadavg: 27.30 31.04 31.86 1/413 12095
/proc/meminfo: memFree=263013364/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=863780 CPUtime=2.58 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) D 12093 12095 12069 0 -1 4202496 8822 0 0 0 185 73 0 0 18 0 32 0 12840641 884510720 8674 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/12095/statm: 215945 8682 330 95 0 210927 0
[pid=12095/tid=12096] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) S 12093 12095 12069 0 -1 4202560 275 0 0 0 6 1 0 0 17 0 32 0 12840642 884510720 8687 268435456000 4194304 4580107 140736389244176 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 1 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 12840642 884510720 8725 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 245 0 0 0 6 1 0 0 18 0 32 0 12840642 884510720 8737 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 240 0 0 0 5 2 0 0 20 0 32 0 12840642 884510720 8754 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 278 0 0 0 6 1 0 0 18 0 32 0 12840642 884510720 8766 268435456000 4194304 4580107 140736389244176 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 259 0 0 0 6 2 0 0 19 0 32 0 12840642 884510720 8783 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 266 0 0 0 6 2 0 0 18 0 32 0 12840642 884510720 8787 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 303 0 0 0 6 2 0 0 18 0 32 0 12840642 884510720 8787 268435456000 4194304 4580107 140736389244176 18446744073709551615 4307796 0 0 4096 2 6 0 0 -1 9 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 245 0 0 0 6 1 0 0 21 0 32 0 12840642 884510720 8797 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=863780 CPUtime=0.08 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 275 0 0 0 6 2 0 0 17 0 32 0 12840642 884510720 8805 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=863780 CPUtime=0.06 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 240 0 0 0 5 1 0 0 21 0 32 0 12840642 884510720 8817 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 262 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8829 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 254 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8834 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 258 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8850 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=863780 CPUtime=0.07 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 295 0 0 0 5 2 0 0 18 0 32 0 12840642 884510720 8850 268435456000 4194304 4580107 140736389244176 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=994852 CPUtime=0.03 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) D 12093 12095 12069 0 -1 4202560 298 0 0 0 1 2 0 0 18 0 32 0 12840642 1018728448 8873 268435456000 4194304 4580107 140736389244176 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=929316 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=12095/tid=12107] ppid=12093 vsize=33836792 CPUtime=4172.27 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6224999 0 0 0 414994 2233 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=33836792 CPUtime=4153.2 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4366996 0 0 0 412985 2335 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=33836792 CPUtime=4154.69 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4700065 0 0 0 413092 2377 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=33836792 CPUtime=4145.21 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2531379 0 0 0 412768 1753 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=33836792 CPUtime=4144.72 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4457353 0 0 0 412378 2094 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293114 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=33836792 CPUtime=4154.82 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3604004 0 0 0 413288 2194 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=33836792 CPUtime=4156.88 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5364745 0 0 0 413195 2493 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=33836792 CPUtime=4160.1 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5309112 0 0 0 413752 2258 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=33836792 CPUtime=4158.02 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4429574 0 0 0 413427 2375 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=33836792 CPUtime=4166.29 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6068067 0 0 0 414473 2156 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=33836792 CPUtime=4149.17 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5293785 0 0 0 412327 2590 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=33836792 CPUtime=4154.63 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4195883 0 0 0 413124 2339 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=33836792 CPUtime=4173.31 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6275821 0 0 0 415300 2031 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296164 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=33836792 CPUtime=4171.89 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5569846 0 0 0 415006 2183 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=33836792 CPUtime=4157.5 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2393797 0 0 0 413952 1798 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=33836792 CPUtime=4150.89 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2490335 0 0 0 413299 1790 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=33836792 CPUtime=4162.59 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5573965 0 0 0 414030 2229 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=33836792 CPUtime=4151.5 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6017555 0 0 0 412979 2171 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296144 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=33836792 CPUtime=4143.76 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4609798 0 0 0 412063 2313 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=33836792 CPUtime=4153.97 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 8333861 0 0 0 412689 2708 0 0 25 0 32 0 12840642 34648875008 7524292 268435456000 4194304 4580107 140736389244176 18446744073709551615 258650646730 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 133003
Current children cumulated vsize (KiB) 33836792
[startup+4242.3 s]
/proc/loadavg: 32.00 32.02 32.03 33/445 12251
/proc/meminfo: memFree=232788800/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=34143540 CPUtime=134921 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) R 12093 12095 12069 0 -1 4202496 129196663 0 0 0 13425905 66207 0 0 25 0 32 0 12840641 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4316555 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 8535885 7542397 379 95 0 8530867 0
[pid=12095/tid=12096] ppid=12093 vsize=34143540 CPUtime=4211.38 cores=0-31
/proc/12095/task/12096/stat : 12096 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2236041 0 0 0 419274 1864 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12095/tid=12097] ppid=12093 vsize=34143540 CPUtime=4210.2 cores=0-31
/proc/12095/task/12097/stat : 12097 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2205336 0 0 0 419214 1806 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12095/tid=12098] ppid=12093 vsize=34143540 CPUtime=4211.28 cores=0-31
/proc/12095/task/12098/stat : 12098 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2085035 0 0 0 419345 1783 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12095/tid=12099] ppid=12093 vsize=34143540 CPUtime=4204.8 cores=0-31
/proc/12095/task/12099/stat : 12099 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2050593 0 0 0 418800 1680 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12095/tid=12100] ppid=12093 vsize=34143540 CPUtime=4212.98 cores=0-31
/proc/12095/task/12100/stat : 12100 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2167558 0 0 0 419471 1827 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12095/tid=12101] ppid=12093 vsize=34143540 CPUtime=4213.61 cores=0-31
/proc/12095/task/12101/stat : 12101 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2644159 0 0 0 419434 1927 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12095/tid=12102] ppid=12093 vsize=34143540 CPUtime=4219.48 cores=0-31
/proc/12095/task/12102/stat : 12102 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2677958 0 0 0 420289 1659 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12095/tid=12103] ppid=12093 vsize=34143540 CPUtime=4217.51 cores=0-31
/proc/12095/task/12103/stat : 12103 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3085674 0 0 0 419819 1932 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12095/tid=12104] ppid=12093 vsize=34143540 CPUtime=4219.77 cores=0-31
/proc/12095/task/12104/stat : 12104 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2755942 0 0 0 420214 1763 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4296252 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12095/tid=12105] ppid=12093 vsize=34143540 CPUtime=4230.35 cores=0-31
/proc/12095/task/12105/stat : 12105 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3779105 0 0 0 421331 1704 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12095/tid=12106] ppid=12093 vsize=34143540 CPUtime=4220.23 cores=0-31
/proc/12095/task/12106/stat : 12106 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3572319 0 0 0 419914 2109 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12095/tid=12107] ppid=12093 vsize=34143540 CPUtime=4232.26 cores=0-31
/proc/12095/task/12107/stat : 12107 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6225784 0 0 0 420992 2234 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12095/tid=12108] ppid=12093 vsize=34143540 CPUtime=4213.19 cores=0-31
/proc/12095/task/12108/stat : 12108 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4366998 0 0 0 418984 2335 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12095/tid=12109] ppid=12093 vsize=34143540 CPUtime=4214.67 cores=0-31
/proc/12095/task/12109/stat : 12109 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4700102 0 0 0 419090 2377 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12095/tid=12110] ppid=12093 vsize=34143540 CPUtime=4205.21 cores=0-31
/proc/12095/task/12110/stat : 12110 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2531556 0 0 0 418767 1754 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12095/tid=12111] ppid=12093 vsize=34143540 CPUtime=4204.71 cores=0-31
/proc/12095/task/12111/stat : 12111 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4457640 0 0 0 418377 2094 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12095/tid=12112] ppid=12093 vsize=34143540 CPUtime=4214.8 cores=0-31
/proc/12095/task/12112/stat : 12112 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 3604340 0 0 0 419286 2194 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295644 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12095/tid=12113] ppid=12093 vsize=34143540 CPUtime=4216.87 cores=0-31
/proc/12095/task/12113/stat : 12113 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5364748 0 0 0 419194 2493 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12095/tid=12114] ppid=12093 vsize=34143540 CPUtime=4220.08 cores=0-31
/proc/12095/task/12114/stat : 12114 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5309112 0 0 0 419750 2258 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12095/tid=12115] ppid=12093 vsize=34143540 CPUtime=4218.01 cores=0-31
/proc/12095/task/12115/stat : 12115 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4430160 0 0 0 419424 2377 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12095/tid=12116] ppid=12093 vsize=34143540 CPUtime=4226.26 cores=0-31
/proc/12095/task/12116/stat : 12116 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6068319 0 0 0 420469 2157 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=34143540 CPUtime=4209.16 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5294203 0 0 0 418325 2591 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12095/tid=12118] ppid=12093 vsize=34143540 CPUtime=4214.62 cores=0-31
/proc/12095/task/12118/stat : 12118 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4201265 0 0 0 419120 2342 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12095/tid=12119] ppid=12093 vsize=34143540 CPUtime=4233.29 cores=0-31
/proc/12095/task/12119/stat : 12119 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6276768 0 0 0 421297 2032 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12095/tid=12120] ppid=12093 vsize=34143540 CPUtime=4231.88 cores=0-31
/proc/12095/task/12120/stat : 12120 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5569846 0 0 0 421005 2183 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12095/tid=12121] ppid=12093 vsize=34143540 CPUtime=4217.49 cores=0-31
/proc/12095/task/12121/stat : 12121 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2393797 0 0 0 419951 1798 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12095/tid=12122] ppid=12093 vsize=34143540 CPUtime=4210.88 cores=0-31
/proc/12095/task/12122/stat : 12122 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 2490337 0 0 0 419298 1790 0 0 25 0 32 0 12840642 34962984960 7542397 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12095/tid=12123] ppid=12093 vsize=34143540 CPUtime=4222.57 cores=0-31
/proc/12095/task/12123/stat : 12123 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 5574957 0 0 0 420027 2230 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295103 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12095/tid=12124] ppid=12093 vsize=34143540 CPUtime=4211.48 cores=0-31
/proc/12095/task/12124/stat : 12124 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 6022735 0 0 0 418976 2172 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12095/tid=12125] ppid=12093 vsize=34143540 CPUtime=4203.75 cores=0-31
/proc/12095/task/12125/stat : 12125 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 4610024 0 0 0 418062 2313 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12095/tid=12126] ppid=12093 vsize=34143540 CPUtime=4213.95 cores=0-31
/proc/12095/task/12126/stat : 12126 (strangenight2-m) R 12093 12095 12069 0 -1 4202560 8341192 0 0 0 418686 2709 0 0 25 0 32 0 12840642 34962984960 7542398 268435456000 4194304 4580107 140736389244176 18446744073709551615 4295860 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 134921
Current children cumulated vsize (KiB) 34143540
[startup+4302.3 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=237886284/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136071 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66321 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4243.77 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2683 0 0 19 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136071
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+4303.1 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66404 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4244.61 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2767 0 0 20 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0
[startup+4303.5 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66441 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4244.97 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2803 0 0 21 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0
[startup+4303.7 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136072 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66461 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4245.17 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2823 0 0 21 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136072
Current children cumulated vsize (KiB) 0
[startup+4303.8 s]
/proc/loadavg: 22.07 29.68 31.25 2/415 12253
/proc/meminfo: memFree=252052412/264257624 swapFree=67054988/67111528
[pid=12095] ppid=12093 vsize=0 CPUtime=136073 cores=0-31
/proc/12095/stat : 12095 (strangenight2-m) Z 12093 12095 12069 0 -1 4202524 129247380 0 0 0 13540784 66471 0 0 18 0 2 0 12840641 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/12095/statm: 0 0 0 0 0 0 0
[pid=12095/tid=12117] ppid=12093 vsize=0 CPUtime=4245.27 cores=0-31
/proc/12095/task/12117/stat : 12117 (strangenight2-m) R 12093 12095 12069 0 -1 4203588 5294462 0 0 0 421694 2833 0 0 22 0 2 0 12840642 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 136073
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4303.85
CPU time (s): 136073
CPU user time (s): 135408
CPU system time (s): 664.757
CPU usage (%): 3161.65
Max. virtual memory (cumulated for all children) (KiB): 34260476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135408
system time used= 664.757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129247380
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= 9961220
involuntary context switches= 532040
runsolver used 25.6181 second user time and 96.6393 second system time
The end
Begin job on node200 at 2011-06-03 04:48:03
IDJOB=3400861
IDBENCH=84238
IDSOLVER=1886
FILE ID=node200/3400861-1307069277
RUNJOBID= node200-1307069277-12083
PBS_JOBID= 13497818
Free space on /tmp= 61680 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400861-1307069277/watcher-3400861-1307069277 -o /tmp/evaluation-result-3400861-1307069277/solver-3400861-1307069277 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400861-1307069277.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=994695386
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: 263013652 kB
Buffers: 77172 kB
Cached: 973580 kB
SwapCached: 8248 kB
Active: 166280 kB
Inactive: 902596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263013652 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 70000 kB
Writeback: 0 kB
AnonPages: 15228 kB
Mapped: 8472 kB
Slab: 90224 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183888 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= 61676 MiB
End job on node200 at 2011-06-03 05:59:47