0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400683-1306331010.cnf'
0.00/0.08 c -- header says num vars: 258781
0.00/0.08 c -- header says num clauses: 1372095
182.30/10.28 c -- clauses added: 0 learnts, 1372095 normals, 0 xors
182.30/10.28 c -- vars added 258781
182.30/10.28 c Parsing time: 1.84 s
182.30/10.28 c N st 0 0 258781 378643 979353 0 3290715 0 no data no data
213.94/11.39 c asymm cl-useful: 3/1464/332664 lits-rem:12 time: 0.97
939.43/34.07 c Flit: 82 Blit: 1280 bXBeca: 0 bXProp: 1159 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 22.73
943.24/34.17 c Cleaning up after failed var search: 0.10 s
948.99/34.33 c Replacing 1159 vars Replaced 35218 lits Time: 0.15 s
963.59/34.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
966.29/34.91 c bin-w-bin subsume rem 36158 bins time: 0.10 s
971.37/35.18 c subs with bin: 5231 lits-rem: 48130 v-fix: 0 time: 0.25 s
1037.74/38.25 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 2524 done: 15395 time: 2.77 s
1051.57/38.72 c Removed useless bin: 685 fixed: 0 props: 20.02M time: 0.47 s
1121.51/41.08 c lits-rem: 2541 cl-subs: 7148 v-elim: 62934 v-fix: 0 time: 1.67 s
1124.69/41.20 c Finding binary XORs T: 0.12 s found: 675
1131.07/41.34 c Replacing 675 vars Replaced 13594 lits Time: 0.15 s
1140.64/41.62 c Finding non-binary XORs: 0.19 s (found: 0, avg size: nan)
1140.64/41.62 c calculated reachability. Time: 0.01
1140.64/41.68 c Calc default polars - time: 0.06 s pos: 28415 undec: 127557 neg: 102809
1140.64/41.68 c =========================================================================================
1140.64/41.68 c types(t): F = full restart, N = normal restart
1140.64/41.68 c types(t): S = simplification begin/end, E = solution found
1140.64/41.68 c restart types(rt): st = static, dy = dynamic
1140.64/41.68 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1140.64/41.68 c B st 0 0 131627 389046 476461 0 2380949 0 no data no data
1371.53/48.98 c N dy 15 4039 116212 360419 414642 3532 2101667 227528 7.23 7.61
1509.65/53.35 c Finding binary XORs T: 0.11 s found: 3578
1515.39/53.54 c Replacing 3578 vars Replaced 143892 lits Time: 0.16 s
1545.32/54.51 c N dy 35 8119 104643 338637 376149 7078 1918653 490332 9.34 12.39
1747.98/60.90 c N dy 56 12187 103954 338637 376395 10827 1918653 805594 9.71 10.27
1863.05/64.53 c Finding binary XORs T: 0.11 s found: 1468
1866.25/64.68 c Replacing 1468 vars Replaced 60924 lits Time: 0.14 s
2017.11/69.33 c N dy 83 16303 95267 302264 357860 14537 1731441 1138899 10.34 11.02
2224.22/75.91 c Finding binary XORs T: 0.11 s found: 2929
2231.27/76.08 c Replacing 2929 vars Replaced 95831 lits Time: 0.17 s
2278.58/77.53 c N dy 114 20764 88820 283215 347025 9587 1616840 377739 10.87 12.03
2607.75/87.85 c N dy 145 24808 85639 271378 348403 13189 1554107 962485 11.48 28.92
2620.52/88.28 c F st 147 25000 85639 271378 348405 13376 1554107 983960 11.60 no data
2710.02/91.08 c Finding binary XORs T: 0.11 s found: 1897
2716.42/91.23 c Replacing 1897 vars Replaced 61254 lits Time: 0.15 s
3029.58/101.06 c N dy 153 30000 83668 270900 338954 18152 1535443 1919512 11.60 no data
3029.58/101.06 c S st 153 30000 83668 270900 338954 18152 1535443 1919512 11.60 no data
3147.86/104.74 c S st 153 30500 81317 256789 338043 17927 1472102 1861439 11.60 no data
3151.03/104.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
4209.03/137.95 c Flit: 801 Blit: 2452 bXBeca: 0 bXProp: 917 Bins: 34685 BRemL: 1549 BRemN: 20 P: 200.0M T: 33.11
4212.22/138.03 c Cleaning up after failed var search: 0.08 s
4218.62/138.22 c Replacing 918 vars Replaced 87314 lits Time: 0.18 s
4225.02/138.46 c blocked clauses removed: 0 vars: 0 tried: 76543 T: 0.09 s
4228.21/138.53 c bin-w-bin subsume rem 12035 bins time: 0.06 s
4232.03/138.68 c subs with bin: 3449 lits-rem: 2631 v-fix: 0 time: 0.16 s
4493.51/146.85 c Subs w/ non-existent bins: 2145 l-rem: 338 v-fix: 288 done: 30679 time: 8.16 s
4509.48/147.41 c Removed useless bin: 6083 fixed: 0 props: 20.00M time: 0.56 s
4538.25/148.21 c lits-rem: 294 cl-subs: 7674 v-elim: 4980 v-fix: 0 time: 0.77 s
4544.64/148.45 c subs with bin: 346 lits-rem: 953 v-fix: 0 time: 0.16 s
4554.21/148.71 c lits-rem: 103 cl-subs: 435 v-elim: 0 v-fix: 0 time: 0.16 s
4602.18/150.27 c asymm cl-useful: 564/2171/221213 lits-rem:1102 time: 1.56
4605.38/150.32 c calculated reachability. Time: 0.01
4605.38/150.32 c N dy 153 30500 71275 221213 314499 6822 1293742 274347 11.60 no data
4608.57/150.42 c Finding binary XORs T: 0.10 s found: 135
4912.17/159.93 c N dy 181 34550 71267 221213 314577 10740 1293742 768657 11.75 19.17
5184.50/168.49 c Finding binary XORs T: 0.10 s found: 552
5263.75/170.99 c N dy 214 38853 69444 205174 317718 14725 1233798 1375357 12.36 13.44
5682.46/184.07 c N dy 243 42984 69427 205174 328045 9992 1233798 601938 13.03 14.10
5957.97/192.63 c S st 260 45753 68867 205174 328076 12698 1233798 1170537 13.27 11.15
5998.89/193.97 c Finding binary XORs T: 0.10 s found: 25
6005.29/194.10 c Replacing 712 vars Replaced 21629 lits Time: 0.14 s
6037.25/195.15 c S st 260 46256 68035 199415 322907 13113 1205946 1274366 13.27 no data
6040.45/195.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
7104.81/228.53 c Flit: 841 Blit: 1192 bXBeca: 0 bXProp: 404 Bins: 31776 BRemL: 2384 BRemN: 18 P: 200.0M T: 33.28
7108.01/228.60 c Cleaning up after failed var search: 0.07 s
7111.20/228.75 c Replacing 424 vars Replaced 28722 lits Time: 0.13 s
7115.02/228.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7118.21/228.93 c bin-w-bin subsume rem 12545 bins time: 0.06 s
7120.77/229.08 c subs with bin: 2100 lits-rem: 3661 v-fix: 0 time: 0.14 s
7357.32/236.51 c Subs w/ non-existent bins: 1279 l-rem: 608 v-fix: 189 done: 30142 time: 7.43 s
7379.69/237.12 c Removed useless bin: 7856 fixed: 0 props: 20.00M time: 0.61 s
7396.31/237.64 c lits-rem: 156 cl-subs: 3617 v-elim: 2250 v-fix: 0 time: 0.51 s
7402.06/237.86 c subs with bin: 154 lits-rem: 501 v-fix: 0 time: 0.16 s
7408.46/238.08 c lits-rem: 12 cl-subs: 151 v-elim: 0 v-fix: 0 time: 0.15 s
7459.61/239.61 c asymm cl-useful: 200/2891/172279 lits-rem:280 time: 1.53
7459.61/239.65 c calculated reachability. Time: 0.01
7459.61/239.65 c N dy 260 46256 62225 172279 304219 7448 1068246 316034 13.27 no data
7462.81/239.74 c Finding binary XORs T: 0.09 s found: 22
7804.81/250.42 c N dy 291 50331 60730 166015 319173 11411 1034598 1089769 13.79 19.82
7868.74/252.47 c Finding binary XORs T: 0.09 s found: 424
8197.95/262.73 c N dy 321 54412 60730 166015 319204 15418 1034598 1939617 14.13 16.78
8600.67/275.38 c N dy 337 58473 60165 166015 328124 19413 1034598 3042448 14.13 15.02
8798.87/281.61 c Finding binary XORs T: 0.09 s found: 107
9057.78/289.68 c N dy 364 62532 59763 162419 331477 23391 1018959 4043357 14.56 31.26
9518.03/304.03 c N dy 398 66661 59762 162419 331497 15040 1018959 1288334 15.31 16.19
9831.27/313.83 c S st 411 69384 59739 162419 333156 17726 1018959 1965674 15.37 no data
9895.84/315.84 c Finding binary XORs T: 0.09 s found: 60
9901.60/316.02 c Replacing 613 vars Replaced 51967 lits Time: 0.17 s
9917.59/316.53 c S st 411 69887 59106 159705 327824 18156 1003419 2031361 15.37 no data
9920.79/316.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
11039.54/351.62 c Flit: 360 Blit: 367 bXBeca: 0 bXProp: 311 Bins: 40789 BRemL: 3061 BRemN: 22 P: 200.0M T: 34.86
11039.54/351.69 c Cleaning up after failed var search: 0.07 s
11045.93/351.84 c Replacing 312 vars Replaced 19804 lits Time: 0.14 s
11049.13/351.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
11052.95/352.02 c bin-w-bin subsume rem 14252 bins time: 0.06 s
11056.15/352.18 c subs with bin: 1326 lits-rem: 2667 v-fix: 0 time: 0.15 s
11240.88/357.98 c Subs w/ non-existent bins: 1161 l-rem: 772 v-fix: 4 done: 36689 time: 5.80 s
11256.91/358.42 c Removed useless bin: 6647 fixed: 0 props: 20.00M time: 0.43 s
11272.85/358.92 c lits-rem: 100 cl-subs: 4700 v-elim: 1960 v-fix: 0 time: 0.50 s
11279.28/359.19 c subs with bin: 119 lits-rem: 473 v-fix: 0 time: 0.21 s
11288.84/359.41 c lits-rem: 35 cl-subs: 192 v-elim: 0 v-fix: 0 time: 0.15 s
11308.01/360.05 c vivif2 -- cl tried 151828 cl shrink 5978 lits rem 6453 time: 0.63
11311.21/360.16 c vivif2 -- cl tried 8672 cl shrink 2570 lits rem 29418 time: 0.11
11365.56/361.82 c asymm cl-useful: 208/896/150491 lits-rem:218 time: 1.66
11375.13/362.15 c calculated reachability. Time: 0.30
11375.13/362.16 c N dy 411 69887 55931 150491 328839 8144 940512 410729 15.37 no data
11407.78/363.19 c Finding binary XORs T: 1.03 s found: 1
11854.63/377.14 c Finding binary XORs T: 0.92 s found: 184
12203.04/388.03 c N dy 412 77181 54406 137717 349584 14043 887162 1371660 14.57 15.38
12979.78/412.30 c N dy 413 83647 54406 137717 349615 20419 887162 2446548 14.08 14.85
13011.71/413.35 c Finding binary XORs T: 0.92 s found: 52
13417.66/426.10 c F st 417 87500 53961 134247 367195 12176 871831 685023 13.83 no data
13424.06/426.20 c Replacing 237 vars Replaced 9038 lits Time: 0.10 s
13641.43/433.02 c N st 421 89533 53725 134195 366402 14170 870825 1019730 13.83 no data
14361.21/455.56 c N dy 429 96175 53300 134195 371225 20740 870825 2243705 13.69 14.66
14657.85/464.83 c Finding binary XORs T: 0.93 s found: 78
15386.62/487.62 c N dy 431 104139 53058 131104 391307 27900 854868 3392835 13.30 14.49
15469.75/490.23 c S st 432 104830 53058 131104 391313 28584 854868 3501702 13.25 7.60
15536.88/492.38 c S st 432 105332 52932 131104 394374 29050 854868 3580899 13.25 no data
15540.07/492.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
16674.77/528.00 c Flit: 237 Blit: 196 bXBeca: 0 bXProp: 213 Bins: 30376 BRemL: 1684 BRemN: 13 P: 200.0M T: 35.42
16678.54/528.08 c Cleaning up after failed var search: 0.07 s
16684.31/528.25 c Replacing 291 vars Replaced 17181 lits Time: 0.17 s
16687.51/528.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
16690.72/528.44 c bin-w-bin subsume rem 32646 bins time: 0.07 s
16697.11/528.60 c subs with bin: 1114 lits-rem: 2108 v-fix: 0 time: 0.16 s
16844.13/533.20 c Subs w/ non-existent bins: 196 l-rem: 156 v-fix: 0 done: 38750 time: 4.58 s
16857.55/533.64 c Removed useless bin: 5949 fixed: 0 props: 20.00M time: 0.43 s
16869.70/534.08 c lits-rem: 48 cl-subs: 5007 v-elim: 1988 v-fix: 0 time: 0.44 s
16882.49/534.45 c subs with bin: 938 lits-rem: 831 v-fix: 0 time: 0.30 s
16889.51/534.68 c lits-rem: 101 cl-subs: 398 v-elim: 0 v-fix: 0 time: 0.16 s
16914.46/535.48 c vivif2 -- cl tried 127708 cl shrink 3449 lits rem 4154 time: 0.80
16920.85/535.70 c vivif2 -- cl tried 10628 cl shrink 2008 lits rem 20715 time: 0.22
16978.38/537.45 c asymm cl-useful: 144/1062/127066 lits-rem:148 time: 1.75
16991.18/537.90 c calculated reachability. Time: 0.41
16991.18/537.90 c N dy 432 105332 50172 127065 364575 10379 810828 584601 13.25 no data
17039.11/539.33 c Finding binary XORs T: 1.43 s found: 1
18001.25/569.40 c N dy 441 115665 49970 127065 378432 11817 810828 1025097 12.81 13.55
18039.61/570.66 c Finding binary XORs T: 1.21 s found: 10
18624.51/588.95 c Finding binary XORs T: 1.21 s found: 0
19612.20/619.81 c N dy 446 128567 49851 125250 420922 24479 803207 3189245 12.38 13.31
19656.95/621.22 c Finding binary XORs T: 1.22 s found: 4
20519.97/648.26 c N dy 455 137395 49474 121890 464351 33037 790967 4507673 12.12 12.79
21574.73/681.29 c N dy 461 146706 49236 121890 468143 25597 790967 3121760 11.88 12.53
22012.65/694.90 c Finding binary XORs T: 1.23 s found: 45
22977.95/725.16 c N dy 468 157999 49065 119288 454672 35707 779422 4662082 11.66 10.60
22977.95/725.17 c S st 468 157999 49065 119288 454672 35707 779422 4662082 11.66 10.60
23045.72/727.25 c S st 468 158503 48903 119288 458885 36197 779422 4760529 11.66 no data
23048.28/727.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
24192.54/763.16 c Flit: 68 Blit: 146 bXBeca: 0 bXProp: 148 Bins: 29893 BRemL: 3414 BRemN: 14 P: 200.0M T: 35.67
24192.54/763.16 c Cleaning up after failed var search: 0.00 s
24198.94/763.40 c Replacing 208 vars Replaced 9335 lits Time: 0.23 s
24202.76/763.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
24205.95/763.60 c bin-w-bin subsume rem 44568 bins time: 0.09 s
24211.72/763.77 c subs with bin: 922 lits-rem: 1254 v-fix: 0 time: 0.17 s
24349.16/768.03 c Subs w/ non-existent bins: 122 l-rem: 76 v-fix: 8 done: 43437 time: 4.26 s
24365.16/768.57 c Removed useless bin: 6627 fixed: 0 props: 20.00M time: 0.54 s
24378.53/769.00 c lits-rem: 147 cl-subs: 2218 v-elim: 1659 v-fix: 0 time: 0.43 s
24397.11/769.58 c subs with bin: 233 lits-rem: 995 v-fix: 0 time: 0.48 s
24406.71/769.84 c lits-rem: 100 cl-subs: 917 v-elim: 0 v-fix: 0 time: 0.20 s
24435.47/770.76 c vivif2 -- cl tried 118047 cl shrink 2911 lits rem 3528 time: 0.91
24445.07/771.07 c vivif2 -- cl tried 14443 cl shrink 2299 lits rem 38847 time: 0.31
24505.80/772.95 c asymm cl-useful: 102/1036/117497 lits-rem:120 time: 1.88
24522.41/773.46 c calculated reachability. Time: 0.48
24522.41/773.46 c N dy 468 158503 46739 117497 414162 14378 746794 830436 11.66 no data
24579.33/775.21 c Finding binary XORs T: 1.75 s found: 2
25260.77/796.53 c Finding binary XORs T: 1.44 s found: 12
25614.92/807.62 c N dy 491 168712 46444 115104 442597 14199 738742 1209349 11.52 12.24
26110.32/823.10 c Finding binary XORs T: 1.44 s found: 2
26714.44/842.00 c Finding binary XORs T: 1.44 s found: 66
26938.19/849.05 c N dy 511 180163 46203 114484 473882 25432 734156 2632069 11.38 12.15
28246.11/889.94 c Finding binary XORs T: 1.47 s found: 12
28427.71/895.63 c N dy 534 192386 46112 113935 475987 18932 731779 1312579 11.27 11.92
29709.47/935.72 c Finding binary XORs T: 1.45 s found: 20
29958.81/943.51 c N dy 547 204774 45915 112890 488018 25132 727095 2008435 11.09 11.69
30496.40/960.41 c Finding binary XORs T: 1.45 s found: 7
31547.45/993.31 c N dy 578 218382 45803 112493 522586 38284 725519 3693174 11.00 11.68
32145.19/1011.99 c Finding binary XORs T: 1.45 s found: 7
33267.14/1047.03 c N dy 635 232380 45694 112099 522382 32030 723819 2715541 10.97 11.62
33906.97/1067.10 c S st 671 237754 45623 112099 522903 37355 723819 3327464 10.98 no data
33967.07/1068.93 c S st 671 238254 45622 112099 522909 37846 723819 3389003 10.98 no data
33970.27/1069.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
35175.99/1106.73 c Flit: 378 Blit: 120 bXBeca: 0 bXProp: 8 Bins: 66066 BRemL: 475 BRemN: 12 P: 200.0M T: 37.61
35178.55/1106.81 c Cleaning up after failed var search: 0.07 s
35181.75/1106.96 c Replacing 136 vars Replaced 10048 lits Time: 0.15 s
35184.94/1107.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
35188.14/1107.17 c bin-w-bin subsume rem 45266 bins time: 0.10 s
35194.54/1107.36 c subs with bin: 824 lits-rem: 339 v-fix: 0 time: 0.19 s
35328.79/1111.53 c Subs w/ non-existent bins: 164 l-rem: 60 v-fix: 0 done: 44966 time: 4.15 s
35341.58/1111.91 c Removed useless bin: 3359 fixed: 0 props: 9.83M time: 0.38 s
35354.36/1112.31 c lits-rem: 101 cl-subs: 1674 v-elim: 1224 v-fix: 0 time: 0.40 s
35402.30/1113.81 c subs with bin: 393 lits-rem: 1538 v-fix: 0 time: 1.38 s
35418.91/1114.34 c lits-rem: 413 cl-subs: 1053 v-elim: 0 v-fix: 0 time: 0.47 s
35450.26/1115.38 c vivif2 -- cl tried 108388 cl shrink 969 lits rem 1122 time: 1.04
35466.24/1115.86 c vivif2 -- cl tried 21525 cl shrink 4336 lits rem 131630 time: 0.48
35524.40/1117.72 c asymm cl-useful: 135/1086/108008 lits-rem:166 time: 1.85
35542.96/1118.27 c calculated reachability. Time: 0.51
35542.96/1118.27 c N dy 671 238254 43742 108008 503187 21441 694637 1302880 10.98 no data
35603.69/1120.12 c Finding binary XORs T: 1.84 s found: 2
36111.94/1136.08 c Finding binary XORs T: 1.61 s found: 23
37374.56/1175.56 c N dy 716 253877 43455 107748 538502 20192 692305 1345214 10.90 11.89
37428.89/1177.24 c Finding binary XORs T: 1.61 s found: 13
39254.72/1234.33 c N dy 767 270166 42962 104792 532517 36073 681085 2906565 10.86 17.09
41079.91/1291.45 c Finding binary XORs T: 1.61 s found: 22
41303.00/1298.40 c N dy 809 287471 42901 102576 553623 29527 673454 1950635 10.81 11.46
42575.23/1338.28 c Finding binary XORs T: 1.61 s found: 10
43521.39/1367.81 c N dy 858 305937 42289 99037 571207 46518 660015 3980411 10.73 11.43
43546.96/1368.61 c F st 862 306250 42289 99037 571207 46827 660015 4023096 10.73 no data
43553.35/1368.82 c Replacing 70 vars Replaced 9174 lits Time: 0.15 s
44505.90/1398.64 c Finding binary XORs T: 1.62 s found: 495
44509.10/1398.75 c Replacing 495 vars Replaced 30529 lits Time: 0.11 s
44693.78/1416.38 c Following stats are for *FIRST FINISHED THREAD ONLY*
44693.78/1416.38 c num threads : 32
44693.78/1416.38 c restarts : 729
44693.78/1416.38 c dynamic restarts : 705
44693.78/1416.38 c static restarts : 24
44693.78/1416.38 c full restarts : 3
44693.78/1416.38 c total simplify time : 9.79
44693.78/1416.38 c learnts DL2 : 0
44693.78/1416.38 c learnts size 2 : 1993825
44693.78/1416.38 c learnts size 1 : 145317 (56.15 % of vars)
44693.78/1416.38 c filedLit time : 56.24 (4.01 % time)
44693.78/1416.38 c v-elim SatELite : 68366 (26.42 % vars)
44693.78/1416.38 c SatELite time : 20.56 (1.47 % time)
44693.78/1416.38 c v-elim xor : 0 (0.00 % vars)
44693.78/1416.38 c xor elim time : 0.10 (0.01 % time)
44693.78/1416.38 c num binary xor trees : 8198
44693.78/1416.38 c binxor trees' crown : 17452 (2.13 leafs/tree)
44693.78/1416.38 c bin xor find time : 3.60
44693.78/1416.38 c OTF clause improved : 4205 (0.01 clauses/conflict)
44693.78/1416.38 c OTF impr. size diff : 7313 (1.74 lits/clause)
44693.78/1416.38 c OTF cl watch-shrink : 183933 (0.53 clauses/conflict)
44693.78/1416.38 c OTF cl watch-sh-lit : 967964 (5.26 lits/clause)
44693.78/1416.38 c tried to recurMin cls : 0 (0.00 % of conflicts)
44693.78/1416.38 c updated cache : 0 (nan lits/tried recurMin)
44693.78/1416.38 c unit cls recevied : 21016 (14.46 % of units)
44693.78/1416.38 c unit cls sent : 982 (0.68 % of units)
44693.78/1416.38 c bin cls recevied : 814525
44693.78/1416.38 c bin cls sent : 9667
44693.78/1416.38 c clauses over max glue : 0 (0.00 % of all clauses)
44693.78/1416.38 c conflicts : 347075 (247.34 / sec)
44693.78/1416.38 c decisions : 961771 (1.20 % random)
44693.78/1416.38 c bogo-props : 15535987894 (11071364.25 / sec)
44693.78/1416.38 c conflict literals : 63781965 (47.09 % deleted)
44693.78/1416.38 c Memory used : 18330.29 MB
44693.78/1416.38 c single-thread CPU time : 1403.26 s
44693.78/1416.38 c all-threads sum CPU time : 44527.98 s
44693.78/1416.38 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400683-1306331010/watcher-3400683-1306331010 -o /tmp/evaluation-result-3400683-1306331010/solver-3400683-1306331010 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400683-1306331010.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=338000 CPUtime=0.88 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) R 15975 15977 15773 0 -1 4202496 437 0 0 0 88 0 0 0 24 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 84500 377 297 95 0 79482 0
[pid=15977/tid=15978] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=338000 CPUtime=0 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=338000 CPUtime=0 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587618 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163890 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163888 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163894 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163884 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744587619 346112000 377 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163880 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.130849 s]
/proc/loadavg: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=1437156 CPUtime=2.4 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) R 15975 15977 15773 0 -1 4202496 14976 0 0 0 156 84 0 0 18 0 32 0 744587618 1471647744 14261 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653381 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 359354 14270 335 95 0 354336 0
[pid=15977/tid=15978] ppid=15975 vsize=1437416 CPUtime=0.07 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 408 0 0 0 5 2 0 0 17 0 32 0 744587618 1471913984 14348 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604477748911584 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=1437608 CPUtime=0.07 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 480 0 0 0 5 2 0 0 21 0 32 0 744587618 1472110592 14430 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604504073600480 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=1438052 CPUtime=0.07 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 515 0 0 0 5 2 0 0 17 0 32 0 744587618 1472565248 14477 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=1438052 CPUtime=0.07 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 511 0 0 0 5 2 0 0 17 0 32 0 744587618 1472565248 14508 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566928944 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=1438052 CPUtime=0.08 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 618 0 0 0 5 3 0 0 17 0 32 0 744587618 1472565248 14517 268435456000 4194304 4580107 140734749580544 18446744073709551615 4308004 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=1438052 CPUtime=0.08 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 539 0 0 0 5 3 0 0 17 0 32 0 744587618 1472565248 14532 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=1438052 CPUtime=0.02 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 390 0 0 0 0 2 0 0 17 0 32 0 744587618 1472565248 14627 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=1438052 CPUtime=0.06 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 398 0 0 0 4 2 0 0 17 0 32 0 744587618 1472565248 14656 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=1437920 CPUtime=0.07 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 570 0 0 0 5 2 0 0 17 0 32 0 744587618 1472430080 14673 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=1437920 CPUtime=0.06 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 551 0 0 0 5 1 0 0 17 0 32 0 744587618 1472430080 14717 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604486425042400 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=1438180 CPUtime=0.04 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 270 0 0 0 2 2 0 0 17 0 32 0 744587618 1472696320 14768 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 598 0 0 0 3 3 0 0 18 0 32 0 744587618 1472696320 14768 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 463 0 0 0 4 2 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=1438180 CPUtime=0.08 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 590 0 0 0 5 3 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 744587619 1472696320 14779 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604492060851680 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=1438180 CPUtime=0.06 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 466 0 0 0 4 2 0 0 24 0 32 0 744587619 1472696320 14785 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=1438888 CPUtime=0.06 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 282 0 0 0 4 2 0 0 17 0 32 0 744587619 1473421312 14828 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604479452085728 0 0 -1 9 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=1438888 CPUtime=0.05 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 272 0 0 0 4 1 0 0 17 0 32 0 744587619 1473421312 14886 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 10 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=1438888 CPUtime=0.08 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 582 0 0 0 5 3 0 0 17 0 32 0 744587619 1473421312 14892 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566933544 0 0 -1 7 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=1438888 CPUtime=0.07 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 373 0 0 0 5 2 0 0 17 0 32 0 744587619 1473421312 14909 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566923984 0 0 -1 14 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=1439148 CPUtime=0.08 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 633 0 0 0 5 3 0 0 18 0 32 0 744587619 1473687552 14990 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 386 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15001 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 698 0 0 0 4 3 0 0 25 0 32 0 744587619 1474215936 15039 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 338 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15101 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566926744 0 0 -1 15 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 520 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15110 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650616986 0 0 4096 2 1597440 0 0 -1 17 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 343 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15118 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604499794968032 0 0 -1 22 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 460 0 0 0 5 2 0 0 17 0 32 0 744587619 1474215936 15196 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=1439664 CPUtime=0.06 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 744587619 1474215936 15196 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604477748911584 0 0 -1 21 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=1439664 CPUtime=0.07 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 567 0 0 0 4 3 0 0 17 0 32 0 744587619 1474215936 15210 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=1439664 CPUtime=0.08 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 497 0 0 0 5 3 0 0 17 0 32 0 744587619 1474215936 15238 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566927104 0 0 -1 23 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=1439664 CPUtime=0.08 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 618 0 0 0 5 3 0 0 17 0 32 0 744587619 1474215936 15244 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 1437156
[startup+0.20793 s]
/proc/loadavg: 26.19 27.20 26.08 1/413 15977
/proc/meminfo: memFree=255117936/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=1488096 CPUtime=3.29 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) D 15975 15977 15773 0 -1 4202496 34050 0 0 0 171 158 0 0 18 0 32 0 744587618 1523810304 29734 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15977/statm: 371895 29619 337 95 0 366877 0
[pid=15977/tid=15978] ppid=15975 vsize=1487580 CPUtime=0.08 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 767 0 0 0 5 3 0 0 17 0 32 0 744587618 1523281920 29630 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=1487580 CPUtime=0.1 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 1268 0 0 0 5 5 0 0 17 0 32 0 744587618 1523281920 29781 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=1487580 CPUtime=0.11 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1297 0 0 0 6 5 0 0 17 0 32 0 744587618 1523281920 29783 268435456000 4194304 4580107 140734749580544 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=1487864 CPUtime=0.09 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1240 0 0 0 5 4 0 0 17 0 32 0 744587618 1523572736 29993 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=1487864 CPUtime=0.11 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1401 0 0 0 5 6 0 0 17 0 32 0 744587618 1523572736 30011 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=1487348 CPUtime=0.11 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1233 0 0 0 5 6 0 0 17 0 32 0 744587618 1523044352 29883 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=1487348 CPUtime=0.04 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 917 0 0 0 0 4 0 0 17 0 32 0 744587618 1523044352 29905 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=1487348 CPUtime=0.1 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1051 0 0 0 5 5 0 0 17 0 32 0 744587618 1523044352 29906 268435456000 4194304 4580107 140734749580544 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=1487348 CPUtime=0.08 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 845 0 0 0 5 3 0 0 17 0 32 0 744587618 1523044352 29955 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=1487348 CPUtime=0.09 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1165 0 0 0 5 4 0 0 17 0 32 0 744587618 1523044352 29955 268435456000 4194304 4580107 140734749580544 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=1487348 CPUtime=0.05 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 309 0 0 0 3 2 0 0 17 0 32 0 744587618 1523044352 30037 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604501502729696 0 0 -1 30 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=1487348 CPUtime=0.11 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1488 0 0 0 4 7 0 0 18 0 32 0 744587618 1523044352 30226 268435456000 4194304 4580107 140734749580544 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=1487348 CPUtime=0.08 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 965 0 0 0 5 3 0 0 17 0 32 0 744587619 1523044352 30234 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446604481404648928 0 0 -1 4 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=1487348 CPUtime=0.1 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1256 0 0 0 5 5 0 0 17 0 32 0 744587619 1523044352 30105 268435456000 4194304 4580107 140734749580544 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=1486832 CPUtime=0.07 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 389 0 0 0 5 2 0 0 17 0 32 0 744587619 1522515968 30137 268435456000 4194304 4580107 140734749580544 18446744073709551615 258651060958 0 0 4096 2 18446744071566926744 0 0 -1 25 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=1486832 CPUtime=0.09 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) D 15975 15977 15773 0 -1 4202560 1021 0 0 0 5 4 0 0 17 0 32 0 744587619 1522515968 30137 268435456000 4194304 4580107 140734749580544 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=1488884 CPUtime=0.08 cores=0-31
################
# More data... #
################
/proc/15977/stat : 15977 (strangenight2-m) S 15975 15977 15773 0 -1 4202496 6850331 0 0 0 4452401 16597 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 4692552 3877387 378 95 0 4687534 0
[pid=15977/tid=15978] ppid=15975 vsize=18770208 CPUtime=1396.29 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219795 0 0 0 139077 552 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479452085728 0 0 -1 29 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=18770208 CPUtime=1397.47 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 209410 0 0 0 139226 521 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604573090176480 0 0 -1 11 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=18770208 CPUtime=1391.43 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203752 0 0 0 138643 500 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476273278432 0 0 -1 19 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=18770208 CPUtime=1393.68 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 186716 0 0 0 138856 512 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478144069088 0 0 -1 15 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=18770208 CPUtime=1396.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 230548 0 0 0 139030 573 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481240096224 0 0 -1 13 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=18770208 CPUtime=1396.94 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 198399 0 0 0 139137 557 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484807220704 0 0 -1 20 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 180183 0 0 0 139232 523 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505052093920 0 0 -1 17 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=18770208 CPUtime=1408.08 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 213578 0 0 0 140299 509 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=18770208 CPUtime=1397.25 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 155891 0 0 0 139232 493 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474284129760 0 0 -1 25 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=18770208 CPUtime=1405.58 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 158273 0 0 0 140127 431 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686138923 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=18770208 CPUtime=1396.28 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 159204 0 0 0 139090 538 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479484001760 0 0 -1 27 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=18770208 CPUtime=1397.26 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202403 0 0 0 139178 548 0 0 25 0 32 0 744587618 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604500187659744 0 0 -1 16 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=18770208 CPUtime=1397.6 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219646 0 0 0 139275 485 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504131050976 0 0 -1 7 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=18770208 CPUtime=1398.04 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 189933 0 0 0 139356 448 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474729799136 0 0 -1 28 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=18770208 CPUtime=1395.88 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202582 0 0 0 139061 527 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504073600480 0 0 -1 22 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=18770208 CPUtime=1396.97 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 211578 0 0 0 139162 535 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505062161888 0 0 -1 8 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=18770208 CPUtime=1396.38 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 242104 0 0 0 139093 545 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501699444192 0 0 -1 2 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=18770208 CPUtime=1388.06 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 222390 0 0 0 138288 518 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604503502003680 0 0 -1 31 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=18770208 CPUtime=1396.13 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 197033 0 0 0 139080 533 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484754038240 0 0 -1 12 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=18770208 CPUtime=1396.33 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239329 0 0 0 139049 584 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504630894048 0 0 -1 1 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=18770208 CPUtime=1380.78 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 263374 0 0 0 137523 555 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481404648928 0 0 -1 29 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=18770208 CPUtime=1396.72 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203438 0 0 0 139150 522 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604492060851680 0 0 -1 4 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=18770208 CPUtime=1396.41 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 236103 0 0 0 139162 479 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501502729696 0 0 -1 14 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=18770208 CPUtime=1395.86 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239766 0 0 0 139060 526 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604475899338208 0 0 -1 9 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=18770208 CPUtime=1397.3 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 226631 0 0 0 139204 526 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744071566923944 0 0 -1 30 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=18770208 CPUtime=1397.87 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 276161 0 0 0 139265 522 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604499794968032 0 0 -1 6 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=18770208 CPUtime=1396.58 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 207993 0 0 0 139075 583 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478851759584 0 0 -1 24 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=18770208 CPUtime=1399.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 247328 0 0 0 139585 318 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604498980527584 0 0 -1 10 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=18770208 CPUtime=1398.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203654 0 0 0 139301 502 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476746251744 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=18770208 CPUtime=1396.61 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 227645 0 0 0 139074 587 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604477748911584 0 0 -1 0 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 237112 0 0 0 139247 508 0 0 25 0 32 0 744587619 19220692992 3877387 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478660378080 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44690
Current children cumulated vsize (KiB) 18770208
[startup+1416 s]
/proc/loadavg: 27.53 31.09 30.41 3/445 16056
/proc/meminfo: memFree=239586124/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=18770208 CPUtime=44693.2 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) S 15975 15977 15773 0 -1 4202496 6850492 0 0 0 4452721 16597 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 4692552 3877548 378 95 0 4687534 0
[pid=15977/tid=15978] ppid=15975 vsize=18770208 CPUtime=1396.29 cores=0-31
/proc/15977/task/15978/stat : 15978 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219795 0 0 0 139077 552 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479452085728 0 0 -1 29 0 0 0
[pid=15977/tid=15979] ppid=15975 vsize=18770208 CPUtime=1397.47 cores=0-31
/proc/15977/task/15979/stat : 15979 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 209410 0 0 0 139226 521 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604573090176480 0 0 -1 11 0 0 0
[pid=15977/tid=15980] ppid=15975 vsize=18770208 CPUtime=1391.43 cores=0-31
/proc/15977/task/15980/stat : 15980 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203752 0 0 0 138643 500 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476273278432 0 0 -1 19 0 0 0
[pid=15977/tid=15981] ppid=15975 vsize=18770208 CPUtime=1393.68 cores=0-31
/proc/15977/task/15981/stat : 15981 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 186716 0 0 0 138856 512 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478144069088 0 0 -1 15 0 0 0
[pid=15977/tid=15982] ppid=15975 vsize=18770208 CPUtime=1396.03 cores=0-31
/proc/15977/task/15982/stat : 15982 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 230548 0 0 0 139030 573 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481240096224 0 0 -1 13 0 0 0
[pid=15977/tid=15983] ppid=15975 vsize=18770208 CPUtime=1396.94 cores=0-31
/proc/15977/task/15983/stat : 15983 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 198399 0 0 0 139137 557 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484807220704 0 0 -1 20 0 0 0
[pid=15977/tid=15984] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/15984/stat : 15984 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 180183 0 0 0 139232 523 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505052093920 0 0 -1 17 0 0 0
[pid=15977/tid=15985] ppid=15975 vsize=18770208 CPUtime=1409.68 cores=0-31
/proc/15977/task/15985/stat : 15985 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 213739 0 0 0 140459 509 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15977/tid=15986] ppid=15975 vsize=18770208 CPUtime=1397.25 cores=0-31
/proc/15977/task/15986/stat : 15986 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 155891 0 0 0 139232 493 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474284129760 0 0 -1 25 0 0 0
[pid=15977/tid=15987] ppid=15975 vsize=18770208 CPUtime=1407.18 cores=0-31
/proc/15977/task/15987/stat : 15987 (strangenight2-m) R 15975 15977 15773 0 -1 4202560 158273 0 0 0 140287 431 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686138923 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15977/tid=15988] ppid=15975 vsize=18770208 CPUtime=1396.28 cores=0-31
/proc/15977/task/15988/stat : 15988 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 159204 0 0 0 139090 538 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604479484001760 0 0 -1 27 0 0 0
[pid=15977/tid=15989] ppid=15975 vsize=18770208 CPUtime=1397.26 cores=0-31
/proc/15977/task/15989/stat : 15989 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202403 0 0 0 139178 548 0 0 25 0 32 0 744587618 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604500187659744 0 0 -1 16 0 0 0
[pid=15977/tid=15990] ppid=15975 vsize=18770208 CPUtime=1397.6 cores=0-31
/proc/15977/task/15990/stat : 15990 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 219646 0 0 0 139275 485 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504131050976 0 0 -1 7 0 0 0
[pid=15977/tid=15991] ppid=15975 vsize=18770208 CPUtime=1398.04 cores=0-31
/proc/15977/task/15991/stat : 15991 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 189933 0 0 0 139356 448 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604474729799136 0 0 -1 28 0 0 0
[pid=15977/tid=15992] ppid=15975 vsize=18770208 CPUtime=1395.88 cores=0-31
/proc/15977/task/15992/stat : 15992 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 202582 0 0 0 139061 527 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504073600480 0 0 -1 22 0 0 0
[pid=15977/tid=15993] ppid=15975 vsize=18770208 CPUtime=1396.97 cores=0-31
/proc/15977/task/15993/stat : 15993 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 211578 0 0 0 139162 535 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604505062161888 0 0 -1 8 0 0 0
[pid=15977/tid=15994] ppid=15975 vsize=18770208 CPUtime=1396.38 cores=0-31
/proc/15977/task/15994/stat : 15994 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 242104 0 0 0 139093 545 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501699444192 0 0 -1 2 0 0 0
[pid=15977/tid=15995] ppid=15975 vsize=18770208 CPUtime=1388.06 cores=0-31
/proc/15977/task/15995/stat : 15995 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 222390 0 0 0 138288 518 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604503502003680 0 0 -1 31 0 0 0
[pid=15977/tid=15996] ppid=15975 vsize=18770208 CPUtime=1396.13 cores=0-31
/proc/15977/task/15996/stat : 15996 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 197033 0 0 0 139080 533 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604484754038240 0 0 -1 12 0 0 0
[pid=15977/tid=15997] ppid=15975 vsize=18770208 CPUtime=1396.33 cores=0-31
/proc/15977/task/15997/stat : 15997 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239329 0 0 0 139049 584 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604504630894048 0 0 -1 1 0 0 0
[pid=15977/tid=15998] ppid=15975 vsize=18770208 CPUtime=1380.78 cores=0-31
/proc/15977/task/15998/stat : 15998 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 263374 0 0 0 137523 555 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604481404648928 0 0 -1 29 0 0 0
[pid=15977/tid=15999] ppid=15975 vsize=18770208 CPUtime=1396.72 cores=0-31
/proc/15977/task/15999/stat : 15999 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203438 0 0 0 139150 522 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604492060851680 0 0 -1 4 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=18770208 CPUtime=1396.41 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 236103 0 0 0 139162 479 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604501502729696 0 0 -1 14 0 0 0
[pid=15977/tid=16001] ppid=15975 vsize=18770208 CPUtime=1395.86 cores=0-31
/proc/15977/task/16001/stat : 16001 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 239766 0 0 0 139060 526 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604475899338208 0 0 -1 9 0 0 0
[pid=15977/tid=16002] ppid=15975 vsize=18770208 CPUtime=1397.3 cores=0-31
/proc/15977/task/16002/stat : 16002 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 226631 0 0 0 139204 526 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446744071566923944 0 0 -1 30 0 0 0
[pid=15977/tid=16003] ppid=15975 vsize=18770208 CPUtime=1397.87 cores=0-31
/proc/15977/task/16003/stat : 16003 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 276161 0 0 0 139265 522 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604499794968032 0 0 -1 6 0 0 0
[pid=15977/tid=16004] ppid=15975 vsize=18770208 CPUtime=1396.58 cores=0-31
/proc/15977/task/16004/stat : 16004 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 207993 0 0 0 139075 583 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478851759584 0 0 -1 24 0 0 0
[pid=15977/tid=16005] ppid=15975 vsize=18770208 CPUtime=1399.03 cores=0-31
/proc/15977/task/16005/stat : 16005 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 247328 0 0 0 139585 318 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604498980527584 0 0 -1 10 0 0 0
[pid=15977/tid=16006] ppid=15975 vsize=18770208 CPUtime=1398.03 cores=0-31
/proc/15977/task/16006/stat : 16006 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 203654 0 0 0 139301 502 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604476746251744 0 0 -1 26 0 0 0
[pid=15977/tid=16007] ppid=15975 vsize=18770208 CPUtime=1396.61 cores=0-31
/proc/15977/task/16007/stat : 16007 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 227645 0 0 0 139074 587 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604477748911584 0 0 -1 0 0 0 0
[pid=15977/tid=16008] ppid=15975 vsize=18770208 CPUtime=1397.55 cores=0-31
/proc/15977/task/16008/stat : 16008 (strangenight2-m) S 15975 15977 15773 0 -1 4202560 237112 0 0 0 139247 508 0 0 25 0 32 0 744587619 19220692992 3877548 268435456000 4194304 4580107 140734749580544 18446744073709551615 47296686163508 0 0 4096 2 18446604478660378080 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44693.2
Current children cumulated vsize (KiB) 18770208
[startup+1416.8 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44694.4 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16644 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1396.86 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 524 0 0 18 0 2 0 744587619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 44694.4
Current children cumulated vsize (KiB) 0
[startup+1417.2 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44694.8 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16681 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1397.22 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 560 0 0 18 0 2 0 744587619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 44694.8
Current children cumulated vsize (KiB) 0
[startup+1417.6 s]
/proc/loadavg: 27.53 31.09 30.41 2/415 16056
/proc/meminfo: memFree=244116240/264257624 swapFree=67111528/67111528
[pid=15977] ppid=15975 vsize=0 CPUtime=44695.2 cores=0-31
/proc/15977/stat : 15977 (strangenight2-m) Z 15975 15977 15773 0 -1 4203548 6850496 0 0 0 4452797 16721 0 0 18 0 2 0 744587618 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/15977/statm: 0 0 0 0 0 0 0
[pid=15977/tid=16000] ppid=15975 vsize=0 CPUtime=1397.62 cores=0-31
/proc/15977/task/16000/stat : 16000 (strangenight2-m) R 15975 15977 15773 0 -1 4203588 236103 0 0 0 139162 600 0 0 19 0 2 0 744587619 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 44695.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1417.61
CPU time (s): 44695.2
CPU user time (s): 44528
CPU system time (s): 167.214
CPU usage (%): 3152.86
Max. virtual memory (cumulated for all children) (KiB): 18770208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44528
system time used= 167.214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6850496
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= 3449771
involuntary context switches= 142973
runsolver used 8.25574 second user time and 32.3311 second system time
The end
Begin job on node200 at 2011-05-25 15:43:32
IDJOB=3400683
IDBENCH=71036
IDSOLVER=1886
FILE ID=node200/3400683-1306331010
RUNJOBID= node200-1306330849-15787
PBS_JOBID= 13411792
Free space on /tmp= 62020 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400683-1306331010/watcher-3400683-1306331010 -o /tmp/evaluation-result-3400683-1306331010/solver-3400683-1306331010 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400683-1306331010.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=1432750434
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255118216 kB
Buffers: 467748 kB
Cached: 8259352 kB
SwapCached: 0 kB
Active: 7800740 kB
Inactive: 996600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255118216 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 31284 kB
Writeback: 0 kB
AnonPages: 70092 kB
Mapped: 14536 kB
Slab: 256424 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 170212 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= 62016 MiB
End job on node200 at 2011-05-25 16:07:10