0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400709-1306356431.cnf'
0.00/0.08 c -- header says num vars: 302076
0.00/0.08 c -- header says num clauses: 1039056
183.06/9.50 c -- clauses added: 0 learnts, 1039056 normals, 0 xors
183.06/9.50 c -- vars added 302076
183.06/9.50 c Parsing time: 1.62 s
183.06/9.50 c N st 0 0 302076 617361 418088 0 2720516 0 no data no data
243.78/11.48 c asymm cl-useful: 1520/51762/616695 lits-rem:1670 time: 1.90
1145.25/40.10 c Flit: 668 Blit: 4360 bXBeca: 0 bXProp: 16757 Bins: 0 BRemL: 0 BRemN: 0 P: 200.2M T: 28.58
1149.82/40.21 c Cleaning up after failed var search: 0.10 s
1159.52/40.67 c Replacing 16757 vars Replaced 376266 lits Time: 0.28 s
1261.45/45.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1263.85/45.54 c bin-w-bin subsume rem 2298 bins time: 0.12 s
1275.67/46.07 c subs with bin: 17633 lits-rem: 13975 v-fix: 0 time: 0.36 s
1308.36/47.35 c Subs w/ non-existent bins: 815 l-rem: 898 v-fix: 6 done: 133640 time: 1.13 s
1317.93/47.77 c Removed useless bin: 873 fixed: 0 props: 20.00M time: 0.41 s
1594.47/58.81 c lits-rem: 110 cl-subs: 53244 v-elim: 92731 v-fix: 0 time: 5.01 s
1597.63/58.95 c Finding binary XORs T: 0.13 s found: 365
1604.02/59.14 c Replacing 365 vars Replaced 4102 lits Time: 0.18 s
1629.39/59.97 c Finding non-binary XORs: 0.59 s (found: 79431, avg size: 3.1)
1629.39/59.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 14690 locsubst: 52 time: 0.20
1632.58/60.04 c calculated reachability. Time: 0.01
1635.74/60.10 c Calc default polars - time: 0.06 s pos: 30625 undec: 139011 neg: 132440
1635.74/60.10 c =========================================================================================
1635.74/60.10 c types(t): F = full restart, N = normal restart
1635.74/60.10 c types(t): S = simplification begin/end, E = solution found
1635.74/60.10 c restart types(rt): st = static, dy = dynamic
1635.74/60.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1635.74/60.10 c B st 0 0 170401 262434 162959 0 1392678 0 no data no data
1750.83/63.76 c Decided on static restart strategy
1926.65/69.27 c N st 8 4917 170393 262434 163095 4630 1392667 87036 no data no data
2185.52/77.37 c N st 10 11300 168561 257421 165279 10352 1372189 245748 no data no data
2322.97/81.62 c Finding binary XORs T: 0.11 s found: 1632
2326.17/81.77 c Replacing 3126 vars Replaced 90398 lits Time: 0.16 s
2501.96/87.26 c N st 11 17043 162820 252550 161138 15495 1342033 348834 no data no data
3020.24/103.42 c F st 12 25000 162234 245605 162760 13413 1315919 241872 no data no data
3026.00/103.60 c Replacing 1558 vars Replaced 16044 lits Time: 0.12 s
3217.78/109.69 c N st 12 25000 160058 241578 160323 12598 1297120 225358 no data no data
3390.39/115.01 c Finding binary XORs T: 0.11 s found: 3470
3393.59/115.14 c Replacing 4927 vars Replaced 51983 lits Time: 0.13 s
3508.67/118.74 c Decided on static restart strategy
3508.67/118.74 c N st 18 30000 151276 229764 152338 17168 1230638 350927 no data no data
3508.67/118.74 c S st 18 30000 151276 229764 152338 17168 1230638 350927 no data no data
3566.19/120.57 c S st 18 30503 151274 229764 152409 17583 1230638 356286 no data no data
3572.59/120.71 c x-sub: 27 x-cut: 0 vfix: 1 v-elim: 59 locsubst: 337 time: 0.14
4160.69/139.13 c Flit: 171 Blit: 672 bXBeca: 0 bXProp: 779 Bins: 116983 BRemL: 195 BRemN: 25 P: 200.0M T: 18.40
4160.69/139.20 c Cleaning up after failed var search: 0.06 s
4167.09/139.35 c Replacing 1680 vars Replaced 99389 lits Time: 0.14 s
4173.49/139.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
4180.50/139.74 c bin-w-bin subsume rem 6830 bins time: 0.19 s
4186.26/139.93 c subs with bin: 8340 lits-rem: 21365 v-fix: 0 time: 0.19 s
4218.87/140.98 c Subs w/ non-existent bins: 912 l-rem: 502 v-fix: 166 done: 131034 time: 1.05 s
4227.82/141.22 c Removed useless bin: 1208 fixed: 0 props: 16.35M time: 0.23 s
4256.58/142.12 c lits-rem: 288 cl-subs: 686 v-elim: 19563 v-fix: 3 time: 0.90 s
4259.79/142.27 c Replacing 85 vars Replaced 719 lits Time: 0.14 s
4266.18/142.48 c subs with bin: 220 lits-rem: 6163 v-fix: 0 time: 0.12 s
4282.17/142.91 c lits-rem: 831 cl-subs: 579 v-elim: 0 v-fix: 0 time: 0.32 s
4307.74/143.74 c asymm cl-useful: 0/2526/230194 lits-rem:0 time: 0.82
4310.94/143.80 c calculated reachability. Time: 0.01
4310.94/143.81 c N st 18 30503 127901 230194 121209 15036 1085160 346456 no data no data
4314.14/143.90 c Finding binary XORs T: 0.09 s found: 383
4429.83/147.54 c Replacing 2509 vars Replaced 27531 lits Time: 0.11 s
4640.79/154.20 c N st 20 37615 122573 222141 119981 21816 1044533 551086 no data no data
4947.00/163.72 c N st 21 44015 122573 222141 119987 16406 1044533 391888 no data no data
4954.05/163.94 c Finding binary XORs T: 0.09 s found: 718
4957.22/164.06 c Replacing 2248 vars Replaced 67282 lits Time: 0.12 s
5068.46/167.54 c S st 22 45755 118351 215562 174914 17989 1011313 559344 no data no data
5126.01/169.34 c S st 22 46255 118348 215562 174959 18427 1011313 565931 no data no data
5129.82/169.48 c x-sub: 97 x-cut: 0 vfix: 0 v-elim: 269 locsubst: 400 time: 0.13
5660.42/186.07 c Flit: 163 Blit: 392 bXBeca: 0 bXProp: 664 Bins: 40515 BRemL: 1825 BRemN: 0 P: 200.0M T: 16.59
5660.42/186.08 c Cleaning up after failed var search: 0.00 s
5666.18/186.28 c Replacing 981 vars Replaced 50762 lits Time: 0.19 s
5672.57/186.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
5723.70/188.03 c bin-w-bin subsume rem 63867 bins time: 1.58 s
5727.52/188.17 c subs with bin: 1433 lits-rem: 496 v-fix: 0 time: 0.14 s
5755.66/189.09 c Subs w/ non-existent bins: 600 l-rem: 145 v-fix: 10 done: 116445 time: 0.92 s
5765.91/189.37 c Removed useless bin: 199 fixed: 0 props: 19.13M time: 0.28 s
5778.03/189.72 c lits-rem: 35 cl-subs: 214 v-elim: 211 v-fix: 0 time: 0.35 s
5781.23/189.84 c Replacing 3 vars Replaced 25 lits Time: 0.11 s
5787.62/190.05 c subs with bin: 60 lits-rem: 5783 v-fix: 0 time: 0.13 s
5801.06/190.43 c lits-rem: 618 cl-subs: 408 v-elim: 0 v-fix: 0 time: 0.28 s
5829.18/191.33 c asymm cl-useful: 0/1550/211001 lits-rem:0 time: 0.90
5829.18/191.39 c calculated reachability. Time: 0.01
5829.18/191.40 c N st 22 46255 116221 211001 143528 17868 992123 485290 no data no data
5833.00/191.49 c Finding binary XORs T: 0.09 s found: 27
6382.15/208.64 c N st 23 60652 116220 211001 143567 31930 992123 937098 no data no data
6391.75/208.91 c Finding binary XORs T: 0.09 s found: 237
6820.68/222.33 c N st 24 69382 116000 209915 209820 24555 988707 740190 no data no data
6820.68/222.33 c S st 24 69382 116000 209915 209820 24555 988707 740190 no data no data
6829.60/222.64 c Finding binary XORs T: 0.10 s found: 119
6903.12/225.00 c S st 24 69883 115889 209245 238829 25003 986572 804825 no data no data
6909.52/225.14 c x-sub: 124 x-cut: 0 vfix: 0 v-elim: 181 locsubst: 366 time: 0.14
7478.48/242.93 c Flit: 74 Blit: 115 bXBeca: 0 bXProp: 238 Bins: 62798 BRemL: 2444 BRemN: 2 P: 200.0M T: 17.78
7478.48/242.94 c Cleaning up after failed var search: 0.00 s
7485.50/243.16 c Replacing 802 vars Replaced 84911 lits Time: 0.21 s
7491.26/243.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7539.20/244.88 c bin-w-bin subsume rem 91903 bins time: 1.54 s
7545.57/245.03 c subs with bin: 1280 lits-rem: 296 v-fix: 0 time: 0.16 s
7577.53/246.03 c Subs w/ non-existent bins: 73 l-rem: 9 v-fix: 4 done: 114667 time: 1.00 s
7583.91/246.22 c Removed useless bin: 65 fixed: 0 props: 6.87M time: 0.18 s
7594.12/246.55 c lits-rem: 23 cl-subs: 238 v-elim: 156 v-fix: 0 time: 0.33 s
7603.05/246.80 c subs with bin: 53 lits-rem: 5758 v-fix: 0 time: 0.15 s
7615.84/247.21 c lits-rem: 625 cl-subs: 369 v-elim: 0 v-fix: 0 time: 0.31 s
7641.40/248.09 c asymm cl-useful: 32/596/206230 lits-rem:96 time: 0.88
7644.60/248.16 c calculated reachability. Time: 0.01
7644.60/248.17 c N st 24 69883 114507 206198 202671 24338 974098 710079 no data no data
7647.80/248.26 c Finding binary XORs T: 0.09 s found: 5
8143.37/266.83 c F st 25 87502 114507 206198 202699 41553 974098 1305167 no data no data
8144.67/266.93 c Replacing 5 vars Replaced 64 lits Time: 0.11 s
8167.53/268.73 c N st 25 87502 114502 206198 202689 41553 974078 1305167 no data no data
8473.55/299.40 c Finding binary XORs T: 0.11 s found: 354
8537.33/306.92 c N dy 34 93126 114058 204138 364427 28161 967619 1112995 8.01 9.52
8676.54/320.53 c Finding binary XORs T: 0.11 s found: 1338
8679.43/320.69 c Replacing 1699 vars Replaced 67937 lits Time: 0.15 s
9055.60/332.42 c N dy 70 99109 110918 198192 347525 33987 941346 1190810 7.55 7.96
9158.57/335.65 c Finding binary XORs T: 0.10 s found: 4
9397.66/343.11 c S st 102 104824 110912 198170 356000 39605 941260 1316366 7.60 no data
9483.96/345.85 c S st 102 105326 110912 198170 356024 40074 941260 1322918 7.60 no data
9490.35/346.02 c x-sub: 149 x-cut: 0 vfix: 0 v-elim: 25 locsubst: 464 time: 0.16
10152.00/366.72 c Flit: 118 Blit: 191 bXBeca: 0 bXProp: 184 Bins: 60680 BRemL: 1418 BRemN: 0 P: 200.4M T: 20.70
10152.00/366.73 c Cleaning up after failed var search: 0.00 s
10158.40/366.98 c Replacing 504 vars Replaced 94186 lits Time: 0.24 s
10164.80/367.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10178.22/367.55 c bin-w-bin subsume rem 86799 bins time: 0.39 s
10183.97/367.73 c subs with bin: 1795 lits-rem: 393 v-fix: 0 time: 0.18 s
10215.94/368.73 c Subs w/ non-existent bins: 103 l-rem: 46 v-fix: 2 done: 110004 time: 1.00 s
10222.33/368.94 c Removed useless bin: 88 fixed: 0 props: 4.33M time: 0.20 s
10231.93/369.29 c lits-rem: 40 cl-subs: 252 v-elim: 181 v-fix: 0 time: 0.36 s
10245.35/369.66 c subs with bin: 175 lits-rem: 10865 v-fix: 0 time: 0.22 s
10263.89/370.21 c lits-rem: 1413 cl-subs: 684 v-elim: 0 v-fix: 0 time: 0.45 s
10292.66/371.17 c asymm cl-useful: 8/492/194572 lits-rem:24 time: 0.96
10295.85/371.24 c calculated reachability. Time: 0.01
10295.85/371.25 c N dy 102 105326 109822 194564 291265 39043 927873 1160699 7.60 no data
10299.05/371.35 c Finding binary XORs T: 0.10 s found: 9
10679.45/383.22 c Finding binary XORs T: 0.10 s found: 297
10781.75/386.44 c N dy 143 113033 109370 192557 296753 23463 921274 680271 7.65 8.09
10788.14/386.68 c Finding binary XORs T: 0.10 s found: 84
11216.44/400.05 c Finding binary XORs T: 0.10 s found: 70
11280.37/402.07 c N dy 186 120284 108974 191444 363380 30515 916720 961908 7.68 10.42
11624.61/412.90 c Finding binary XORs T: 0.12 s found: 903
11631.00/413.07 c Replacing 1436 vars Replaced 94705 lits Time: 0.17 s
11768.41/417.36 c N dy 228 128001 106873 188638 575582 37889 902183 1535439 7.68 8.10
11997.72/424.51 c Finding binary XORs T: 0.11 s found: 123
12288.57/433.63 c N dy 277 136223 106670 187678 612716 46000 898897 1794038 7.78 8.42
12563.33/442.27 c Finding binary XORs T: 0.11 s found: 177
12805.60/449.80 c N dy 330 145008 105773 186949 627392 31015 895800 1439336 7.85 11.51
13315.50/465.83 c Finding binary XORs T: 0.12 s found: 360
13321.28/466.01 c Replacing 1183 vars Replaced 75863 lits Time: 0.17 s
13571.08/474.29 c N dy 392 154304 104408 183477 656349 40021 880492 1690220 7.91 10.01
13984.53/490.34 c Finding binary XORs T: 0.12 s found: 220
14067.08/492.98 c S st 415 157990 104234 182679 696018 43608 877824 1843614 7.92 5.49
14139.89/495.27 c S st 415 158491 104233 182679 696028 44092 877824 1849949 7.92 no data
14146.17/495.45 c x-sub: 296 x-cut: 0 vfix: 0 v-elim: 34 locsubst: 345 time: 0.18
14794.73/515.70 c Flit: 105 Blit: 121 bXBeca: 0 bXProp: 111 Bins: 12105 BRemL: 467 BRemN: 1 P: 200.0M T: 20.24
14794.73/515.71 c Cleaning up after failed var search: 0.00 s
14801.75/515.96 c Replacing 588 vars Replaced 41322 lits Time: 0.24 s
14807.50/516.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
14890.62/518.75 c bin-w-bin subsume rem 261131 bins time: 2.61 s
14897.02/518.97 c subs with bin: 2807 lits-rem: 554 v-fix: 0 time: 0.22 s
14928.98/519.94 c Subs w/ non-existent bins: 70 l-rem: 33 v-fix: 7 done: 103220 time: 0.96 s
14935.39/520.15 c Removed useless bin: 80 fixed: 0 props: 8.10M time: 0.21 s
14948.15/520.52 c lits-rem: 23 cl-subs: 282 v-elim: 350 v-fix: 0 time: 0.36 s
14951.36/520.67 c Replacing 2 vars Replaced 43 lits Time: 0.14 s
14960.95/520.98 c subs with bin: 128 lits-rem: 4748 v-fix: 0 time: 0.19 s
14977.56/521.49 c lits-rem: 1689 cl-subs: 684 v-elim: 0 v-fix: 0 time: 0.42 s
15015.92/522.62 c asymm cl-useful: 36/386/177502 lits-rem:108 time: 1.13
15015.92/522.70 c calculated reachability. Time: 0.01
15018.48/522.70 c N dy 415 158491 102861 177466 432590 42469 858068 1280081 7.92 no data
15321.12/532.22 c Finding binary XORs T: 0.11 s found: 13
15759.03/545.91 c N dy 491 168675 102655 177466 440676 28499 858068 1001498 8.08 8.72
15778.23/546.58 c Finding binary XORs T: 0.11 s found: 174
16382.95/565.44 c N dy 552 179728 102591 176552 455055 39382 854511 1277493 8.13 8.59
16905.25/582.06 c Finding binary XORs T: 0.12 s found: 395
17163.35/591.05 c N dy 606 191846 102179 175329 571641 25952 849720 1175424 8.11 8.55
17334.32/597.24 c Finding binary XORs T: 0.12 s found: 431
17778.60/611.34 c Finding binary XORs T: 0.12 s found: 135
17784.99/611.51 c Replacing 1171 vars Replaced 96038 lits Time: 0.17 s
17995.02/618.21 c N dy 674 204249 100490 173195 683599 38196 838933 1664690 8.13 8.56
18576.43/636.37 c Finding binary XORs T: 0.12 s found: 134
18913.16/646.93 c N dy 749 217591 100290 172433 704209 51358 836149 2001947 8.16 8.63
19507.53/665.68 c Finding binary XORs T: 0.12 s found: 449
19890.11/679.19 c Finding binary XORs T: 0.12 s found: 6
20050.89/684.22 c N dy 829 231566 99939 171310 732590 38667 831609 1748360 8.19 8.70
20501.00/698.40 c S st 858 237736 99939 171310 734613 44758 831609 1888971 8.19 no data
20574.52/700.71 c S st 858 238238 99939 171310 734621 45247 831608 1895093 8.19 no data
20581.54/700.89 c x-sub: 253 x-cut: 0 vfix: 0 v-elim: 119 locsubst: 297 time: 0.18
21351.88/724.98 c Flit: 83 Blit: 88 bXBeca: 0 bXProp: 158 Bins: 57402 BRemL: 1789 BRemN: 0 P: 200.0M T: 24.08
21351.88/724.99 c Cleaning up after failed var search: 0.00 s
21360.84/725.25 c Replacing 815 vars Replaced 68165 lits Time: 0.25 s
21367.23/725.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
21488.72/729.26 c bin-w-bin subsume rem 228837 bins time: 3.83 s
21498.29/729.50 c subs with bin: 2113 lits-rem: 414 v-fix: 0 time: 0.24 s
21523.88/730.37 c Subs w/ non-existent bins: 41 l-rem: 17 v-fix: 0 done: 98782 time: 0.87 s
21530.89/730.57 c Removed useless bin: 41 fixed: 0 props: 5.14M time: 0.19 s
21539.85/730.88 c lits-rem: 30 cl-subs: 320 v-elim: 219 v-fix: 0 time: 0.31 s
21552.64/731.20 c subs with bin: 139 lits-rem: 2153 v-fix: 0 time: 0.21 s
21568.61/731.71 c lits-rem: 1030 cl-subs: 552 v-elim: 0 v-fix: 0 time: 0.42 s
21606.97/732.93 c asymm cl-useful: 23/414/167996 lits-rem:69 time: 1.22
21610.14/733.00 c calculated reachability. Time: 0.01
21610.14/733.01 c N dy 858 238238 98563 167973 525562 44418 818060 1462616 8.19 no data
21613.37/733.12 c Finding binary XORs T: 0.11 s found: 4
22284.36/754.15 c Finding binary XORs T: 0.11 s found: 6
22658.31/765.86 c N dy 953 253535 98558 167962 544360 32017 818006 1208684 8.24 9.23
23652.43/796.97 c N dy 1060 269819 98553 167962 545633 48127 818006 1588007 8.30 8.86
23953.54/806.42 c Finding binary XORs T: 0.12 s found: 149
24847.88/834.37 c N dy 1166 287045 98418 167644 538971 36616 816490 1291765 8.34 10.85
25097.22/842.17 c Finding binary XORs T: 0.12 s found: 150
25928.29/868.12 c N dy 1259 305456 98299 167368 550826 54802 815297 1768948 8.35 10.29
25989.05/870.11 c F st 1264 306251 98299 167368 550826 55588 815297 1787004 8.35 8.23
25998.62/870.33 c Replacing 314 vars Replaced 12437 lits Time: 0.15 s
26171.87/875.78 c Finding binary XORs T: 0.11 s found: 5
26980.56/901.09 c Finding binary XORs T: 0.12 s found: 120
27188.31/907.58 c N dy 1339 324957 97907 166982 556973 44476 813075 1527681 8.35 8.80
27526.51/918.15 c Finding binary XORs T: 0.12 s found: 220
27887.68/929.51 c Finding binary XORs T: 0.12 s found: 100
28278.23/941.67 c Finding binary XORs T: 0.12 s found: 0
28411.86/945.88 c N dy 1463 345078 97589 166057 659387 33985 809336 1441541 8.39 8.88
28689.95/954.58 c Finding binary XORs T: 0.12 s found: 130
29322.85/974.38 c S st 1528 357358 97481 165754 690630 46095 807999 1787095 8.39 6.67
29389.98/976.46 c S st 1528 357865 97481 165754 690643 46583 807999 1791983 8.39 no data
29396.38/976.64 c x-sub: 115 x-cut: 0 vfix: 0 v-elim: 104 locsubst: 268 time: 0.17
30173.12/1000.96 c Flit: 40 Blit: 32 bXBeca: 0 bXProp: 150 Bins: 79967 BRemL: 4794 BRemN: 1 P: 200.0M T: 24.32
30182.69/1001.22 c Replacing 775 vars Replaced 122779 lits Time: 0.25 s
30185.89/1001.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
30208.28/1002.09 c bin-w-bin subsume rem 128752 bins time: 0.69 s
30217.85/1002.34 c subs with bin: 1768 lits-rem: 631 v-fix: 0 time: 0.25 s
30240.24/1003.10 c Subs w/ non-existent bins: 43 l-rem: 29 v-fix: 0 done: 96535 time: 0.76 s
30247.26/1003.28 c Removed useless bin: 31 fixed: 0 props: 4.80M time: 0.19 s
30256.22/1003.58 c lits-rem: 27 cl-subs: 299 v-elim: 121 v-fix: 0 time: 0.29 s
30269.01/1003.91 c subs with bin: 131 lits-rem: 2111 v-fix: 0 time: 0.22 s
30282.42/1004.40 c lits-rem: 1178 cl-subs: 574 v-elim: 0 v-fix: 0 time: 0.40 s
30323.34/1005.60 c asymm cl-useful: 31/421/163145 lits-rem:93 time: 1.20
30323.34/1005.68 c calculated reachability. Time: 0.01
30323.34/1005.68 c N dy 1528 357865 96414 163114 630991 45744 797986 1655483 8.39 no data
30329.74/1005.80 c Finding binary XORs T: 0.12 s found: 9
31084.07/1029.46 c Finding binary XORs T: 0.12 s found: 3
31589.13/1045.23 c Finding binary XORs T: 0.12 s found: 2
31790.49/1051.52 c N dy 1655 377869 96409 163087 723095 34983 797902 1562726 8.43 10.68
32488.97/1073.71 c Finding binary XORs T: 0.12 s found: 106
33175.57/1095.12 c N dy 1779 398477 96329 162852 766104 55344 796943 2141736 8.46 8.98
34598.63/1139.66 c N dy 1899 418609 96317 162852 766476 43964 796943 1834362 8.48 8.95
34783.40/1145.49 c Finding binary XORs T: 0.13 s found: 204
35147.82/1156.81 c Finding binary XORs T: 0.13 s found: 48
35560.14/1169.70 c Finding binary XORs T: 0.13 s found: 1
35742.35/1175.43 c N dy 2003 438654 96233 162550 826972 63790 795801 2459614 8.49 8.99
37133.46/1218.97 c N dy 2132 458838 96230 162550 828552 51078 795801 2112074 8.52 9.14
38497.73/1261.67 c N dy 2267 478895 96226 162550 828977 70918 795801 2596326 8.56 10.79
38801.68/1271.28 c Finding binary XORs T: 0.13 s found: 115
39620.65/1297.09 c Finding binary XORs T: 0.13 s found: 5
39872.53/1304.97 c N dy 2358 498932 96087 162080 893310 57112 794042 2406064 8.56 10.94
41275.78/1348.85 c N dy 2499 519044 95889 162080 893630 42020 794042 1954651 8.60 9.12
42758.98/1395.21 c S st 2609 536797 95887 162080 894172 59550 794040 2368288 8.62 no data
42855.51/1398.27 c S st 2609 537298 95885 162080 894178 60041 794040 2373582 8.62 no data
42861.24/1398.46 c x-sub: 100 x-cut: 0 vfix: 0 v-elim: 40 locsubst: 286 time: 0.19
43661.03/1423.42 c Flit: 22 Blit: 22 bXBeca: 0 bXProp: 96 Bins: 58046 BRemL: 5893 BRemN: 1 P: 200.1M T: 24.96
43669.99/1423.71 c Replacing 794 vars Replaced 166005 lits Time: 0.26 s
43673.18/1423.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
43708.34/1424.93 c bin-w-bin subsume rem 164610 bins time: 1.05 s
43717.94/1425.20 c subs with bin: 795 lits-rem: 227 v-fix: 0 time: 0.27 s
43737.08/1425.88 c Subs w/ non-existent bins: 17 l-rem: 15 v-fix: 0 done: 95016 time: 0.68 s
43743.48/1426.07 c Removed useless bin: 18 fixed: 0 props: 4.08M time: 0.18 s
43753.10/1426.36 c lits-rem: 19 cl-subs: 264 v-elim: 83 v-fix: 0 time: 0.29 s
43766.45/1426.75 c subs with bin: 115 lits-rem: 1325 v-fix: 0 time: 0.26 s
43785.03/1427.33 c lits-rem: 1467 cl-subs: 967 v-elim: 0 v-fix: 0 time: 0.49 s
43820.20/1428.46 c asymm cl-useful: 44/489/160425 lits-rem:132 time: 1.14
43823.40/1428.54 c calculated reachability. Time: 0.01
43823.40/1428.55 c N dy 2609 537298 94933 160381 697333 58719 785097 1960279 8.62 no data
43826.60/1428.67 c Finding binary XORs T: 0.12 s found: 5
44382.76/1446.10 c Finding binary XORs T: 0.13 s found: 75
44836.28/1460.28 c Finding binary XORs T: 0.13 s found: 1
45213.49/1472.02 c N dy 2755 557363 94858 160100 829125 42858 784004 1818674 8.65 9.80
45338.07/1475.94 c Finding binary XORs T: 0.13 s found: 69
46623.03/1516.10 c Finding binary XORs T: 0.13 s found: 4
46680.59/1517.95 c N dy 2863 577448 94817 159972 859916 62726 783473 2381908 8.66 9.96
48231.53/1566.45 c N dy 3004 597621 94807 159972 860657 46007 783473 1924660 8.69 9.16
48991.54/1590.21 c Finding binary XORs T: 0.13 s found: 114
49387.87/1602.71 c Finding binary XORs T: 0.13 s found: 53
49669.17/1611.47 c N dy 3138 617961 94695 159600 900230 66133 782011 2507734 8.72 9.29
50733.52/1644.76 c Finding binary XORs T: 0.13 s found: 6
51235.34/1660.48 c N dy 3258 638041 94668 159563 895860 48064 781838 2016993 8.74 9.23
52118.27/1688.61 c Finding binary XORs T: 0.13 s found: 244
52565.02/1703.12 c Finding binary XORs T: 0.14 s found: 76
52637.78/1705.43 c N dy 3373 658339 94397 158748 1126753 68141 778562 3014822 8.75 9.24
53340.69/1727.78 c Finding binary XORs T: 0.14 s found: 41
53898.28/1745.28 c Finding binary XORs T: 0.14 s found: 128
54275.45/1757.09 c N dy 3506 678354 94160 158308 1171146 48931 776616 2566372 8.78 9.47
54668.64/1769.39 c Finding binary XORs T: 0.14 s found: 77
55084.17/1782.33 c Finding binary XORs T: 0.14 s found: 118
55090.56/1782.54 c Replacing 1015 vars Replaced 171853 lits Time: 0.21 s
55595.59/1798.34 c N dy 3622 698387 93089 157674 1176958 68705 772364 3108334 8.79 9.31
56388.30/1823.19 c Finding binary XORs T: 0.14 s found: 67
56842.19/1837.32 c Finding binary XORs T: 0.14 s found: 46
57264.13/1850.56 c N dy 3749 718390 92999 157393 1224678 88471 771277 3712005 8.81 10.91
57478.30/1857.25 c Finding binary XORs T: 0.14 s found: 42
58760.09/1897.33 c N dy 3869 739042 92921 157223 1247757 69254 770561 3219817 8.82 9.34
59495.28/1920.33 c Finding binary XORs T: 0.14 s found: 60
60150.58/1940.86 c N dy 4001 759334 92860 157021 1252836 89333 769808 3792454 8.85 9.32
61580.03/1985.57 c N dy 4117 779781 92857 157021 1253005 68691 769808 3228825 8.86 9.35
62881.01/2026.22 c Finding binary XORs T: 0.14 s found: 37
62934.72/2027.91 c N dy 4224 799956 92835 156955 1268321 88637 769541 3821514 8.86 9.35
63468.53/2044.62 c S st 4275 805947 92826 156955 1273388 53113 769541 2788542 8.87 8.01
63580.41/2048.21 c S st 4275 806450 92826 156955 1273394 53609 769541 2794178 8.87 no data
63589.99/2048.41 c x-sub: 306 x-cut: 0 vfix: 0 v-elim: 40 locsubst: 139 time: 0.20
64417.89/2074.31 c Flit: 24 Blit: 14 bXBeca: 0 bXProp: 58 Bins: 21301 BRemL: 4819 BRemN: 0 P: 200.1M T: 25.90
64424.29/2074.60 c Replacing 373 vars Replaced 28471 lits Time: 0.28 s
64431.30/2074.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
64469.02/2075.92 c bin-w-bin subsume rem 267935 bins time: 1.14 s
64478.62/2076.28 c subs with bin: 1711 lits-rem: 375 v-fix: 0 time: 0.36 s
64504.19/2077.09 c Subs w/ non-existent bins: 30 l-rem: 25 v-fix: 3 done: 92374 time: 0.81 s
64510.55/2077.27 c Removed useless bin: 17 fixed: 0 props: 3.75M time: 0.18 s
64523.34/2077.65 c lits-rem: 60 cl-subs: 374 v-elim: 164 v-fix: 0 time: 0.38 s
64533.56/2078.01 c subs with bin: 203 lits-rem: 1594 v-fix: 0 time: 0.24 s
64548.92/2078.41 c lits-rem: 627 cl-subs: 404 v-elim: 0 v-fix: 0 time: 0.31 s
64584.08/2079.59 c asymm cl-useful: 20/319/154688 lits-rem:60 time: 1.18
64587.28/2079.68 c calculated reachability. Time: 0.01
64587.28/2079.68 c N dy 4275 806450 92207 154668 972832 52572 760276 2182068 8.87 no data
64593.67/2079.82 c Finding binary XORs T: 0.13 s found: 1
65101.90/2095.77 c Finding binary XORs T: 0.13 s found: 21
65437.55/2106.27 c Finding binary XORs T: 0.13 s found: 24
66016.08/2124.34 c N dy 4407 826523 92182 154606 1035959 72475 760017 2845836 8.89 10.57
66489.19/2139.18 c Finding binary XORs T: 0.13 s found: 16
67639.90/2175.19 c N dy 4557 847071 92180 154600 1039654 92823 759975 3423429 8.91 9.47
68413.47/2199.39 c Finding binary XORs T: 0.14 s found: 50
68956.87/2216.30 c N dy 4674 867148 92138 154498 1101445 69510 759559 2872040 8.92 9.41
69183.80/2223.43 c Finding binary XORs T: 0.14 s found: 1
69867.86/2244.84 c Finding binary XORs T: 0.14 s found: 50
70433.64/2262.55 c N dy 4799 887239 92113 154373 1110824 89248 759126 3434671 8.94 10.02
71715.43/2302.65 c N dy 4908 907263 92108 154373 1110972 64966 759126 2748726 8.95 12.52
73218.41/2349.65 c N dy 5040 927278 92106 154373 1111078 84820 759126 3281546 8.97 9.80
73249.75/2350.70 c Finding binary XORs T: 0.14 s found: 133
74656.23/2394.69 c N dy 5178 947354 92084 154260 1136352 59770 758714 2629748 8.99 9.57
75906.02/2433.70 c Finding binary XORs T: 0.14 s found: 73
76059.47/2438.52 c N dy 5275 967380 91992 153482 1114013 79388 756195 3137549 8.99 10.33
77515.95/2484.17 c N dy 5417 987382 91988 153482 1115766 99203 756195 3685366 9.01 13.10
79203.70/2536.98 c N dy 5544 1007598 91986 153482 1116137 73290 756195 2905847 9.03 9.52
80766.77/2585.81 c N dy 5666 1027662 91984 153482 1116354 93149 756195 3469134 9.04 9.52
82528.05/2640.99 c N dy 5790 1047752 91981 153482 1116622 66206 756195 2684061 9.05 12.53
83173.74/2661.13 c Finding binary XORs T: 0.14 s found: 214
83854.56/2682.49 c N dy 5891 1067885 91912 153299 1140269 86100 755413 3294625 9.06 9.57
84142.23/2691.48 c F st 5909 1071876 91912 153299 1142417 90054 755413 3412393 9.06 8.95
84152.45/2691.79 c Replacing 585 vars Replaced 147114 lits Time: 0.23 s
84270.08/2695.49 c Finding binary XORs T: 0.14 s found: 2
84539.19/2703.86 c Finding binary XORs T: 0.14 s found: 36
85328.13/2728.53 c N dy 5988 1087925 91304 153088 1172923 105919 753486 3956624 9.07 10.32
86258.31/2757.61 c Finding binary XORs T: 0.14 s found: 50
86652.13/2769.92 c N dy 6116 1107955 91273 152999 1190897 77790 753074 3145310 9.08 10.92
88169.80/2817.50 c N dy 6208 1128056 91272 152999 1191109 97681 753074 3727378 9.08 9.63
89064.82/2845.47 c Finding binary XORs T: 0.14 s found: 32
89553.91/2860.77 c N dy 6329 1148618 91214 152873 1197615 69223 752563 2904752 9.09 9.58
90893.23/2902.67 c N dy 6443 1168657 91202 152873 1198031 89084 752563 3481574 9.10 12.33
91177.73/2911.58 c Finding binary XORs T: 0.14 s found: 51
91785.66/2930.57 c Finding binary XORs T: 0.14 s found: 33
92626.34/2956.82 c N dy 6556 1188726 91096 152676 1244548 108904 751670 4155784 9.10 9.95
93185.10/2974.32 c Finding binary XORs T: 0.14 s found: 166
94134.43/3004.06 c Finding binary XORs T: 0.15 s found: 30
94141.41/3004.25 c N dy 6681 1208868 90972 152398 1313358 78261 750299 3351615 9.11 9.75
94201.53/3006.15 c S st 6687 1209675 90972 152398 1313358 79054 750299 3371623 9.11 7.93
94319.77/3009.84 c S st 6687 1210175 90972 152398 1313361 79547 750299 3377445 9.11 no data
94326.17/3010.05 c x-sub: 160 x-cut: 0 vfix: 0 v-elim: 19 locsubst: 45 time: 0.21
95128.52/3035.15 c Flit: 9 Blit: 3 bXBeca: 0 bXProp: 28 Bins: 16081 BRemL: 4436 BRemN: 1 P: 200.1M T: 25.10
95138.08/3035.48 c Replacing 460 vars Replaced 66849 lits Time: 0.31 s
95144.48/3035.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
95170.05/3036.40 c bin-w-bin subsume rem 189905 bins time: 0.75 s
95182.84/3036.81 c subs with bin: 1918 lits-rem: 398 v-fix: 0 time: 0.40 s
95208.40/3037.60 c Subs w/ non-existent bins: 27 l-rem: 17 v-fix: 1 done: 90498 time: 0.79 s
95211.60/3037.78 c Removed useless bin: 7 fixed: 0 props: 3.55M time: 0.18 s
95224.39/3038.18 c lits-rem: 18 cl-subs: 341 v-elim: 125 v-fix: 0 time: 0.40 s
95243.59/3038.72 c subs with bin: 463 lits-rem: 4222 v-fix: 0 time: 0.36 s
95266.58/3039.48 c lits-rem: 2354 cl-subs: 1016 v-elim: 0 v-fix: 0 time: 0.67 s
95307.48/3040.78 c asymm cl-useful: 27/448/150017 lits-rem:81 time: 1.30
95310.69/3040.87 c calculated reachability. Time: 0.01
95310.69/3040.88 c N dy 6687 1210175 90372 149990 1123787 76624 741975 2952217 9.11 no data
95655.93/3051.61 c Finding binary XORs T: 0.14 s found: 47
96800.29/3087.43 c Finding binary XORs T: 0.14 s found: 33
96992.05/3093.42 c N dy 6797 1230739 90312 149841 1209214 96834 741303 3701573 9.12 9.70
98686.20/3146.47 c N dy 6918 1250801 90272 149841 1216240 65474 741303 2819439 9.13 9.61
100233.30/3194.84 c N dy 7019 1270847 90122 149841 1216894 85323 741303 3383379 9.13 9.63
101428.78/3232.21 c Finding binary XORs T: 0.15 s found: 284
101553.41/3236.15 c N dy 7113 1290958 90063 149345 1248903 105116 738928 4019915 9.13 9.63
102697.75/3271.93 c Finding binary XORs T: 0.14 s found: 30
103004.62/3281.56 c N dy 7242 1311080 90048 149303 1279586 73519 738756 3128638 9.14 9.67
103186.84/3287.28 c Finding binary XORs T: 0.15 s found: 96
104276.82/3321.37 c N dy 7359 1331116 89997 149112 1334271 93414 738081 3827817 9.15 9.64
105654.54/3364.46 c N dy 7481 1351169 89996 149112 1334396 113273 738081 4387964 9.16 9.67
106949.12/3404.99 c Finding binary XORs T: 0.15 s found: 54
107489.34/3421.85 c N dy 7583 1371268 89962 149007 1373436 80023 737685 3455220 9.16 9.65
108953.30/3467.65 c N dy 7688 1392626 89898 149007 1373533 101206 737685 4089147 9.16 9.70
110340.62/3511.06 c N dy 7794 1412707 89897 149007 1373681 121102 737685 4676370 9.17 10.53
111827.58/3557.59 c N dy 7905 1433045 89861 149007 1379457 87405 737685 3704590 9.17 9.67
113457.12/3608.51 c N dy 8027 1453166 89861 149007 1379727 107350 737685 4286899 9.18 9.75
114921.77/3654.36 c N dy 8147 1473658 89859 149007 1379800 72713 737685 3239361 9.19 9.71
116187.55/3693.93 c N dy 8269 1493753 89858 149007 1379845 92640 737685 3801414 9.20 12.10
117682.91/3740.71 c N dy 8402 1513896 89858 149007 1380005 112584 737685 4374434 9.21 9.84
119044.59/3783.35 c Finding binary XORs T: 0.15 s found: 198
119309.93/3791.65 c N dy 8521 1536348 89830 148212 1376951 78541 735350 3385531 9.21 9.70
120115.44/3816.85 c Finding binary XORs T: 0.15 s found: 3
120499.02/3828.83 c N dy 8597 1556428 89811 148212 1415655 98433 735350 4034225 9.21 9.78
120617.91/3832.55 c Finding binary XORs T: 0.15 s found: 30
121982.17/3875.31 c N dy 8696 1576695 89781 148138 1418807 118477 735055 4628761 9.21 9.70
122173.96/3881.23 c Finding binary XORs T: 0.15 s found: 38
123283.16/3915.90 c N dy 8806 1596856 89764 148046 1438717 81536 734652 3557163 9.22 9.72
124632.05/3958.15 c N dy 8937 1616901 89762 148046 1439111 101391 734652 4116239 9.22 10.18
126032.77/4001.93 c N dy 9025 1636955 89739 148046 1439468 121271 734652 4704297 9.23 14.77
127419.40/4045.33 c N dy 9145 1656978 89733 148046 1439657 83244 734652 3580737 9.23 11.09
127617.59/4051.58 c Finding binary XORs T: 0.15 s found: 72
128685.23/4084.98 c Finding binary XORs T: 0.15 s found: 32
128694.82/4085.24 c Replacing 918 vars Replaced 159091 lits Time: 0.26 s
128867.39/4090.63 c N dy 9238 1677010 88799 147644 1462336 102999 731368 4218216 9.23 9.74
129366.06/4106.28 c Finding binary XORs T: 0.15 s found: 36
130337.80/4136.62 c N dy 9357 1697064 88762 147624 1489189 122847 731266 4837882 9.24 9.78
130865.15/4153.11 c Finding binary XORs T: 0.15 s found: 47
131399.00/4169.88 c S st 9438 1710175 88706 147465 1532773 76768 730548 3547248 9.25 5.70
131409.20/4170.13 c Finding binary XORs T: 0.15 s found: 95
131488.48/4172.60 c S st 9438 1710676 88677 147394 1531693 77263 730219 3552200 9.25 no data
131494.88/4172.82 c x-sub: 105 x-cut: 0 vfix: 0 v-elim: 7 locsubst: 59 time: 0.21
132230.03/4195.90 c Flit: 9 Blit: 4 bXBeca: 0 bXProp: 20 Bins: 33213 BRemL: 5306 BRemN: 0 P: 200.1M T: 23.08
132242.83/4196.24 c Replacing 226 vars Replaced 46356 lits Time: 0.32 s
132249.23/4196.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
132271.59/4197.16 c bin-w-bin subsume rem 186109 bins time: 0.74 s
132284.39/4197.61 c subs with bin: 2482 lits-rem: 572 v-fix: 0 time: 0.45 s
132309.97/4198.38 c Subs w/ non-existent bins: 9 l-rem: 13 v-fix: 0 done: 88431 time: 0.76 s
132316.36/4198.57 c Removed useless bin: 8 fixed: 0 props: 3.55M time: 0.19 s
132329.12/4198.92 c lits-rem: 30 cl-subs: 424 v-elim: 96 v-fix: 0 time: 0.34 s
132341.91/4199.40 c subs with bin: 413 lits-rem: 4332 v-fix: 0 time: 0.34 s
132361.72/4199.95 c lits-rem: 1802 cl-subs: 915 v-elim: 0 v-fix: 0 time: 0.47 s
132399.44/4201.20 c asymm cl-useful: 7/385/144492 lits-rem:21 time: 1.25
132402.62/4201.29 c calculated reachability. Time: 0.01
132402.62/4201.30 c N dy 9438 1710676 88335 144485 1366330 75742 721679 3199517 9.25 no data
132757.41/4212.35 c Finding binary XORs T: 0.15 s found: 26
134022.75/4251.91 c Finding binary XORs T: 0.15 s found: 0
134492.64/4266.66 c N dy 9546 1730752 88312 144436 1507528 95592 721456 4016276 9.25 10.73
135723.30/4305.18 c Finding binary XORs T: 0.15 s found: 63
135966.16/4312.71 c N dy 9639 1750799 88282 144345 1546661 115451 721068 4688218 9.25 9.77
136902.69/4342.07 c Finding binary XORs T: 0.15 s found: 31
137913.34/4373.64 c N dy 9729 1773233 88270 144329 1576558 76901 720996 3636028 9.25 9.75
137922.33/4373.92 c Finding binary XORs T: 0.15 s found: 40
138401.81/4388.98 c Finding binary XORs T: 0.16 s found: 41
139328.69/4417.90 c N dy 9803 1793283 88235 144236 1650640 96772 720592 4382884 9.25 9.87
139335.09/4418.16 c Finding binary XORs T: 0.16 s found: 6
140051.06/4440.55 c Finding binary XORs T: 0.16 s found: 36
140648.80/4459.24 c N dy 9914 1813311 88185 144136 1671333 116647 720172 5043015 9.25 9.80
140932.83/4468.21 c Finding binary XORs T: 0.16 s found: 30
141306.19/4479.83 c Finding binary XORs T: 0.16 s found: 61
142151.53/4506.32 c N dy 10009 1833373 88135 144050 1788985 136551 719768 5875492 9.25 10.38
142509.25/4517.50 c Finding binary XORs T: 0.16 s found: 19
143688.72/4554.41 c N dy 10104 1853415 88131 144043 1809679 95577 719719 4627842 9.25 9.75
144957.73/4594.17 c N dy 10195 1873569 88131 144043 1809713 115529 719719 5198690 9.26 9.80
146498.44/4642.39 c N dy 10315 1894300 88131 144043 1809759 136065 719719 5789506 9.26 9.81
147850.58/4684.67 c N dy 10416 1914473 88126 144043 1809928 94210 719719 4544814 9.26 9.81
148163.83/4694.46 c Finding binary XORs T: 0.16 s found: 15
148886.25/4717.02 c Finding binary XORs T: 0.16 s found: 28
149439.23/4734.34 c N dy 10524 1934901 88103 144008 1862228 114420 719484 5221020 9.27 9.79
151075.83/4785.55 c N dy 10640 1954930 88103 144008 1862363 134279 719484 5836728 9.27 11.81
152415.17/4827.49 c N dy 10727 1975641 88103 144008 1862421 91769 719484 4572167 9.27 9.91
154049.19/4878.54 c N dy 10845 1996747 88103 144008 1862476 112664 719484 5163901 9.28 9.77
155499.78/4923.98 c N dy 10957 2017608 88098 144008 1862584 133336 719484 5791550 9.28 9.78
155979.28/4938.91 c Finding binary XORs T: 0.16 s found: 43
156845.52/4966.09 c Finding binary XORs T: 0.16 s found: 52
156963.80/4969.76 c N dy 11081 2037657 88058 143939 1888161 89219 719145 4492501 9.29 12.72
158392.61/5014.42 c N dy 11206 2057675 88053 143939 1893624 109075 719145 5097715 9.30 11.11
158555.62/5019.50 c Finding binary XORs T: 0.17 s found: 46
159875.81/5060.82 c N dy 11338 2077923 88034 143898 1931950 129085 718949 5760404 9.31 9.86
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-3400709-1306356431/watcher-3400709-1306356431 -o /tmp/evaluation-result-3400709-1306356431/solver-3400709-1306356431 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400709-1306356431.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: 20.72 23.32 18.17 1/413 18494
/proc/meminfo: memFree=255116048/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=338000 CPUtime=0.85 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) R 18492 18494 18468 0 -1 4202496 467 0 0 0 85 0 0 0 22 0 32 0 747129646 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18494/statm: 84500 407 300 95 0 79482 0
[pid=18494/tid=18495] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18495/stat : 18495 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18494/tid=18496] ppid=18492 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18494/task/18496/stat : 18496 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574770 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18494/tid=18497] ppid=18492 vsize=338000 CPUtime=0 cores=0-31
/proc/18494/task/18497/stat : 18497 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18494/tid=18498] ppid=18492 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18494/task/18498/stat : 18498 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18494/tid=18499] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18499/stat : 18499 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18494/tid=18500] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18500/stat : 18500 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574365 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18494/tid=18501] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18501/stat : 18501 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18494/tid=18502] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18502/stat : 18502 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18494/tid=18503] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18503/stat : 18503 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18494/tid=18504] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18504/stat : 18504 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18494/tid=18505] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18505/stat : 18505 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18494/tid=18506] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18506/stat : 18506 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18494/tid=18507] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18507/stat : 18507 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574359 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18494/tid=18508] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18508/stat : 18508 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18494/tid=18509] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18509/stat : 18509 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18494/tid=18510] ppid=18492 vsize=338000 CPUtime=0 cores=0-31
/proc/18494/task/18510/stat : 18510 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574365 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18494/tid=18511] ppid=18492 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18494/task/18511/stat : 18511 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18494/tid=18512] ppid=18492 vsize=338000 CPUtime=0 cores=0-31
/proc/18494/task/18512/stat : 18512 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574764 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18494/tid=18513] ppid=18492 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18494/task/18513/stat : 18513 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18494/tid=18514] ppid=18492 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18494/task/18514/stat : 18514 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18494/tid=18515] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18515/stat : 18515 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18494/tid=18516] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18516/stat : 18516 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18494/tid=18517] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18517/stat : 18517 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18494/tid=18518] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18518/stat : 18518 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18494/tid=18519] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18519/stat : 18519 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574359 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18494/tid=18521] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18521/stat : 18521 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574355 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18494/tid=18522] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18522/stat : 18522 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18494/tid=18523] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18523/stat : 18523 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574359 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18494/tid=18524] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18524/stat : 18524 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574361 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18494/tid=18525] ppid=18492 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18494/task/18525/stat : 18525 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 747129647 346112000 407 268435456000 4194304 4580107 140734589451360 18446744073709551615 47660282574352 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.116939 s]
/proc/loadavg: 20.72 23.32 18.17 1/413 18494
/proc/meminfo: memFree=255116048/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=1130732 CPUtime=2.24 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) R 18492 18494 18468 0 -1 4202496 12882 0 0 0 156 68 0 0 17 0 32 0 747129646 1157869568 12526 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650653097 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18494/statm: 282683 12535 331 95 0 277665 0
[pid=18494/tid=18495] ppid=18492 vsize=1130732 CPUtime=0.06 cores=0-31
/proc/18494/task/18495/stat : 18495 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 269 0 0 0 5 1 0 0 17 0 32 0 747129647 1157869568 12543 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18494/tid=18496] ppid=18492 vsize=1130992 CPUtime=0.03 cores=0-31
/proc/18494/task/18496/stat : 18496 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 269 0 0 0 2 1 0 0 17 0 32 0 747129647 1158135808 12546 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604481283743200 0 0 -1 26 0 0 0
[pid=18494/tid=18497] ppid=18492 vsize=1130992 CPUtime=0.03 cores=0-31
/proc/18494/task/18497/stat : 18497 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 335 0 0 0 2 1 0 0 17 0 32 0 747129647 1158135808 12549 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18494/tid=18498] ppid=18492 vsize=1130992 CPUtime=0.04 cores=0-31
/proc/18494/task/18498/stat : 18498 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 296 0 0 0 3 1 0 0 17 0 32 0 747129647 1158135808 12556 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604481391005952 0 0 -1 27 0 0 0
[pid=18494/tid=18499] ppid=18492 vsize=1130992 CPUtime=0.06 cores=0-31
/proc/18494/task/18499/stat : 18499 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 298 0 0 0 5 1 0 0 17 0 32 0 747129647 1158135808 12570 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604476809838048 0 0 -1 24 0 0 0
[pid=18494/tid=18500] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18500/stat : 18500 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 500 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12578 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18494/tid=18501] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18501/stat : 18501 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 403 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12578 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18494/tid=18502] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18502/stat : 18502 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 410 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12588 268435456000 4194304 4580107 140734589451360 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18494/tid=18503] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18503/stat : 18503 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 428 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12594 268435456000 4194304 4580107 140734589451360 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18494/tid=18504] ppid=18492 vsize=1130992 CPUtime=0.06 cores=0-31
/proc/18494/task/18504/stat : 18504 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 317 0 0 0 5 1 0 0 17 0 32 0 747129647 1158135808 12606 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 6 0 0 0
[pid=18494/tid=18505] ppid=18492 vsize=1130992 CPUtime=0.06 cores=0-31
/proc/18494/task/18505/stat : 18505 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 295 0 0 0 5 1 0 0 17 0 32 0 747129647 1158135808 12631 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566931904 0 0 -1 3 0 0 0
[pid=18494/tid=18506] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18506/stat : 18506 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 427 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12631 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18494/tid=18507] ppid=18492 vsize=1130992 CPUtime=0.06 cores=0-31
/proc/18494/task/18507/stat : 18507 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 274 0 0 0 5 1 0 0 18 0 32 0 747129647 1158135808 12644 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 10 0 0 0
[pid=18494/tid=18508] ppid=18492 vsize=1130992 CPUtime=0.07 cores=0-31
/proc/18494/task/18508/stat : 18508 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 373 0 0 0 5 2 0 0 17 0 32 0 747129647 1158135808 12675 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18494/tid=18509] ppid=18492 vsize=1131252 CPUtime=0.07 cores=0-31
/proc/18494/task/18509/stat : 18509 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 472 0 0 0 5 2 0 0 17 0 32 0 747129647 1158402048 12683 268435456000 4194304 4580107 140734589451360 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18494/tid=18510] ppid=18492 vsize=1131252 CPUtime=0.04 cores=0-31
/proc/18494/task/18510/stat : 18510 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 311 0 0 0 2 2 0 0 21 0 32 0 747129647 1158402048 12706 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18494/tid=18511] ppid=18492 vsize=1131252 CPUtime=0.06 cores=0-31
/proc/18494/task/18511/stat : 18511 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 548 0 0 0 4 2 0 0 18 0 32 0 747129647 1158402048 12722 268435456000 4194304 4580107 140734589451360 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18494/tid=18512] ppid=18492 vsize=1131512 CPUtime=0.04 cores=0-31
/proc/18494/task/18512/stat : 18512 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 483 0 0 0 2 2 0 0 17 0 32 0 747129647 1158668288 12742 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18494/tid=18513] ppid=18492 vsize=1131512 CPUtime=0.05 cores=0-31
/proc/18494/task/18513/stat : 18513 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 485 0 0 0 3 2 0 0 17 0 32 0 747129647 1158668288 12742 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18494/tid=18514] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18514/stat : 18514 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 487 0 0 0 5 2 0 0 17 0 32 0 747129647 1158799360 12725 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18494/tid=18515] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18515/stat : 18515 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 482 0 0 0 5 2 0 0 17 0 32 0 747129647 1158799360 12744 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18494/tid=18516] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18516/stat : 18516 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 352 0 0 0 5 2 0 0 17 0 32 0 747129647 1158799360 12772 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18494/tid=18517] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18517/stat : 18517 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 551 0 0 0 5 2 0 0 17 0 32 0 747129647 1158799360 12781 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18494/tid=18518] ppid=18492 vsize=1131640 CPUtime=0.06 cores=0-31
/proc/18494/task/18518/stat : 18518 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 282 0 0 0 5 1 0 0 17 0 32 0 747129647 1158799360 12810 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604574715813344 0 0 -1 11 0 0 0
[pid=18494/tid=18519] ppid=18492 vsize=1131640 CPUtime=0.06 cores=0-31
/proc/18494/task/18519/stat : 18519 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 311 0 0 0 5 1 0 0 17 0 32 0 747129647 1158799360 12815 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566924104 0 0 -1 17 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 455 0 0 0 5 2 0 0 17 0 32 0 747129647 1158799360 12834 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566925744 0 0 -1 18 0 0 0
[pid=18494/tid=18521] ppid=18492 vsize=1131640 CPUtime=0.07 cores=0-31
/proc/18494/task/18521/stat : 18521 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 520 0 0 0 5 2 0 0 23 0 32 0 747129647 1158799360 12869 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18494/tid=18522] ppid=18492 vsize=1131640 CPUtime=0.06 cores=0-31
/proc/18494/task/18522/stat : 18522 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 268 0 0 0 5 1 0 0 17 0 32 0 747129647 1158799360 12846 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 21 0 0 0
[pid=18494/tid=18523] ppid=18492 vsize=1131508 CPUtime=0.06 cores=0-31
/proc/18494/task/18523/stat : 18523 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 417 0 0 0 5 1 0 0 17 0 32 0 747129647 1158664192 12915 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18494/tid=18524] ppid=18492 vsize=1131508 CPUtime=0.07 cores=0-31
/proc/18494/task/18524/stat : 18524 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 562 0 0 0 5 2 0 0 17 0 32 0 747129647 1158664192 12925 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18494/tid=18525] ppid=18492 vsize=1131908 CPUtime=0.07 cores=0-31
/proc/18494/task/18525/stat : 18525 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 339 0 0 0 5 2 0 0 17 0 32 0 747129647 1159073792 12963 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 1130732
[startup+0.205895 s]
/proc/loadavg: 20.72 23.32 18.17 1/413 18494
/proc/meminfo: memFree=255116048/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=1166112 CPUtime=3.27 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) S 18492 18494 18468 0 -1 4202496 32795 0 0 0 176 151 0 0 17 0 32 0 747129646 1194098688 28555 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18494/statm: 291528 28561 332 95 0 286510 0
[pid=18494/tid=18495] ppid=18492 vsize=1166112 CPUtime=0.06 cores=0-31
/proc/18494/task/18495/stat : 18495 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 269 0 0 0 5 1 0 0 16 0 32 0 747129647 1194098688 28561 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566931904 0 0 -1 1 0 0 0
[pid=18494/tid=18496] ppid=18492 vsize=1166328 CPUtime=0.03 cores=0-31
/proc/18494/task/18496/stat : 18496 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 269 0 0 0 2 1 0 0 16 0 32 0 747129647 1194319872 28571 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604505660136928 0 0 -1 26 0 0 0
[pid=18494/tid=18497] ppid=18492 vsize=1166328 CPUtime=0.04 cores=0-31
/proc/18494/task/18497/stat : 18497 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 609 0 0 0 2 2 0 0 17 0 32 0 747129647 1194319872 28602 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604505286237664 0 0 -1 8 0 0 0
[pid=18494/tid=18498] ppid=18492 vsize=1166328 CPUtime=0.07 cores=0-31
/proc/18494/task/18498/stat : 18498 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 859 0 0 0 3 4 0 0 17 0 32 0 747129647 1194319872 28650 268435456000 4194304 4580107 140734589451360 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18494/tid=18499] ppid=18492 vsize=1166328 CPUtime=0.08 cores=0-31
/proc/18494/task/18499/stat : 18499 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 593 0 0 0 5 3 0 0 17 0 32 0 747129647 1194319872 28700 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604475869445600 0 0 -1 24 0 0 0
[pid=18494/tid=18500] ppid=18492 vsize=1166328 CPUtime=0.11 cores=0-31
/proc/18494/task/18500/stat : 18500 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1412 0 0 0 5 6 0 0 17 0 32 0 747129647 1194319872 28753 268435456000 4194304 4580107 140734589451360 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18494/tid=18501] ppid=18492 vsize=1166328 CPUtime=0.09 cores=0-31
/proc/18494/task/18501/stat : 18501 (strangenight2-m) D 18492 18494 18468 0 -1 4202560 1177 0 0 0 5 4 0 0 17 0 32 0 747129647 1194319872 28757 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18494/tid=18502] ppid=18492 vsize=1166612 CPUtime=0.09 cores=0-31
/proc/18494/task/18502/stat : 18502 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 891 0 0 0 5 4 0 0 17 0 32 0 747129647 1194610688 28767 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18494/tid=18503] ppid=18492 vsize=1166612 CPUtime=0.09 cores=0-31
/proc/18494/task/18503/stat : 18503 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 720 0 0 0 5 4 0 0 17 0 32 0 747129647 1194610688 28805 268435456000 4194304 4580107 140734589451360 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18494/tid=18504] ppid=18492 vsize=1166612 CPUtime=0.07 cores=0-31
/proc/18494/task/18504/stat : 18504 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 547 0 0 0 5 2 0 0 17 0 32 0 747129647 1194610688 28851 268435456000 4194304 4580107 140734589451360 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18494/tid=18505] ppid=18492 vsize=1166612 CPUtime=0.08 cores=0-31
/proc/18494/task/18505/stat : 18505 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 358 0 0 0 6 2 0 0 16 0 32 0 747129647 1194610688 28899 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604476543753696 0 0 -1 3 0 0 0
[pid=18494/tid=18506] ppid=18492 vsize=1166612 CPUtime=0.11 cores=0-31
/proc/18494/task/18506/stat : 18506 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 1204 0 0 0 6 5 0 0 17 0 32 0 747129647 1194610688 28953 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 9 0 0 0
[pid=18494/tid=18507] ppid=18492 vsize=1166612 CPUtime=0.09 cores=0-31
/proc/18494/task/18507/stat : 18507 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 807 0 0 0 6 3 0 0 17 0 32 0 747129647 1194610688 28959 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604505147882976 0 0 -1 10 0 0 0
[pid=18494/tid=18508] ppid=18492 vsize=1166612 CPUtime=0.1 cores=0-31
/proc/18494/task/18508/stat : 18508 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 1021 0 0 0 6 4 0 0 17 0 32 0 747129647 1194610688 28830 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604479058181600 0 0 -1 7 0 0 0
[pid=18494/tid=18509] ppid=18492 vsize=1166096 CPUtime=0.11 cores=0-31
/proc/18494/task/18509/stat : 18509 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1365 0 0 0 5 6 0 0 17 0 32 0 747129647 1194082304 28844 268435456000 4194304 4580107 140734589451360 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18494/tid=18510] ppid=18492 vsize=1166096 CPUtime=0.07 cores=0-31
/proc/18494/task/18510/stat : 18510 (strangenight2-m) S 18492 18494 18468 0 -1 4202560 1057 0 0 0 2 5 0 0 17 0 32 0 747129647 1194082304 28854 268435456000 4194304 4580107 140734589451360 18446744073709551615 258651060958 0 0 4096 2 18446604498216869344 0 0 -1 30 0 0 0
[pid=18494/tid=18511] ppid=18492 vsize=1166096 CPUtime=0.11 cores=0-31
################
# More data... #
################
/proc/18494/task/18498/stat : 18498 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 771441 0 0 0 495990 936 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18494/tid=18499] ppid=18492 vsize=19321304 CPUtime=4956.12 cores=0-31
/proc/18494/task/18499/stat : 18499 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1849223 0 0 0 494521 1091 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294283 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18494/tid=18500] ppid=18492 vsize=19321304 CPUtime=4964.91 cores=0-31
/proc/18494/task/18500/stat : 18500 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1654489 0 0 0 495412 1079 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18494/tid=18501] ppid=18492 vsize=19321304 CPUtime=4954.49 cores=0-31
/proc/18494/task/18501/stat : 18501 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 725395 0 0 0 494530 919 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18494/tid=18502] ppid=18492 vsize=19321304 CPUtime=4958.94 cores=0-31
/proc/18494/task/18502/stat : 18502 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 770243 0 0 0 494945 949 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4324559 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18494/tid=18503] ppid=18492 vsize=19321304 CPUtime=4955.66 cores=0-31
/proc/18494/task/18503/stat : 18503 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 640325 0 0 0 494671 895 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18494/tid=18504] ppid=18492 vsize=19321304 CPUtime=4955.02 cores=0-31
/proc/18494/task/18504/stat : 18504 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 571158 0 0 0 494550 952 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18494/tid=18505] ppid=18492 vsize=19321304 CPUtime=4968.07 cores=0-31
/proc/18494/task/18505/stat : 18505 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 717958 0 0 0 495910 897 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18494/tid=18506] ppid=18492 vsize=19321304 CPUtime=4970.2 cores=0-31
/proc/18494/task/18506/stat : 18506 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 591044 0 0 0 496143 877 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18494/tid=18507] ppid=18492 vsize=19321304 CPUtime=4961.15 cores=0-31
/proc/18494/task/18507/stat : 18507 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1942067 0 0 0 494913 1202 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18494/tid=18508] ppid=18492 vsize=19321304 CPUtime=4955.87 cores=0-31
/proc/18494/task/18508/stat : 18508 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1056853 0 0 0 494523 1064 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18494/tid=18509] ppid=18492 vsize=19321304 CPUtime=4956.4 cores=0-31
/proc/18494/task/18509/stat : 18509 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1085320 0 0 0 494636 1004 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18494/tid=18510] ppid=18492 vsize=19321304 CPUtime=4927.71 cores=0-31
/proc/18494/task/18510/stat : 18510 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 817315 0 0 0 491842 929 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18494/tid=18511] ppid=18492 vsize=19321304 CPUtime=4946.24 cores=0-31
/proc/18494/task/18511/stat : 18511 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 900929 0 0 0 493913 711 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18494/tid=18512] ppid=18492 vsize=19321304 CPUtime=4959.13 cores=0-31
/proc/18494/task/18512/stat : 18512 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 914466 0 0 0 494936 977 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18494/tid=18513] ppid=18492 vsize=19321304 CPUtime=4953.34 cores=0-31
/proc/18494/task/18513/stat : 18513 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1353275 0 0 0 494345 989 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18494/tid=18514] ppid=18492 vsize=19321304 CPUtime=4963.95 cores=0-31
/proc/18494/task/18514/stat : 18514 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 614162 0 0 0 495504 891 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18494/tid=18515] ppid=18492 vsize=19321304 CPUtime=4961.56 cores=0-31
/proc/18494/task/18515/stat : 18515 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1132731 0 0 0 495165 991 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18494/tid=18516] ppid=18492 vsize=19321304 CPUtime=4960.58 cores=0-31
/proc/18494/task/18516/stat : 18516 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 753966 0 0 0 495124 934 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18494/tid=18517] ppid=18492 vsize=19321304 CPUtime=4967.4 cores=0-31
/proc/18494/task/18517/stat : 18517 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2607622 0 0 0 495711 1029 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18494/tid=18518] ppid=18492 vsize=19321304 CPUtime=4941.93 cores=0-31
/proc/18494/task/18518/stat : 18518 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2080185 0 0 0 493035 1158 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18494/tid=18519] ppid=18492 vsize=19321304 CPUtime=4957.91 cores=0-31
/proc/18494/task/18519/stat : 18519 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 900205 0 0 0 494848 943 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=19321304 CPUtime=4943.12 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1878667 0 0 0 493184 1128 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18494/tid=18521] ppid=18492 vsize=19321304 CPUtime=4968.22 cores=0-31
/proc/18494/task/18521/stat : 18521 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 700125 0 0 0 495800 1022 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18494/tid=18522] ppid=18492 vsize=19321304 CPUtime=4960.33 cores=0-31
/proc/18494/task/18522/stat : 18522 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 823414 0 0 0 495156 877 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18494/tid=18523] ppid=18492 vsize=19321304 CPUtime=4964.88 cores=0-31
/proc/18494/task/18523/stat : 18523 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2122779 0 0 0 495243 1245 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4316849 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18494/tid=18524] ppid=18492 vsize=19321304 CPUtime=4963.46 cores=0-31
/proc/18494/task/18524/stat : 18524 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 926768 0 0 0 495369 977 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18494/tid=18525] ppid=18492 vsize=19321304 CPUtime=4961.34 cores=0-31
/proc/18494/task/18525/stat : 18525 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 874820 0 0 0 495507 627 0 0 25 0 32 0 747129647 19785015296 4005537 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 158645
Current children cumulated vsize (KiB) 19321304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5064.7 s]
/proc/loadavg: 32.09 32.15 32.03 33/445 18681
/proc/meminfo: memFree=239008552/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=19452376 CPUtime=160001 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) R 18492 18494 18468 0 -1 4202496 34995837 0 0 0 15969091 31018 0 0 25 0 32 0 747129646 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295272 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/18494/statm: 4863094 4022213 379 95 0 4858076 0
[pid=18494/tid=18495] ppid=18492 vsize=19452376 CPUtime=5001.5 cores=0-31
/proc/18494/task/18495/stat : 18495 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 591965 0 0 0 499279 871 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18494/tid=18496] ppid=18492 vsize=19452376 CPUtime=4991.31 cores=0-31
/proc/18494/task/18496/stat : 18496 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 684426 0 0 0 498240 891 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18494/tid=18497] ppid=18492 vsize=19452376 CPUtime=4999.15 cores=0-31
/proc/18494/task/18497/stat : 18497 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 753537 0 0 0 499033 882 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18494/tid=18498] ppid=18492 vsize=19452376 CPUtime=5011.67 cores=0-31
/proc/18494/task/18498/stat : 18498 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 773775 0 0 0 500230 937 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18494/tid=18499] ppid=18492 vsize=19452376 CPUtime=4998.53 cores=0-31
/proc/18494/task/18499/stat : 18499 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1849846 0 0 0 498761 1092 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18494/tid=18500] ppid=18492 vsize=19452376 CPUtime=5007.33 cores=0-31
/proc/18494/task/18500/stat : 18500 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1654489 0 0 0 499654 1079 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18494/tid=18501] ppid=18492 vsize=19452376 CPUtime=4996.89 cores=0-31
/proc/18494/task/18501/stat : 18501 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 725851 0 0 0 498770 919 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18494/tid=18502] ppid=18492 vsize=19452376 CPUtime=5001.36 cores=0-31
/proc/18494/task/18502/stat : 18502 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 770243 0 0 0 499187 949 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18494/tid=18503] ppid=18492 vsize=19452376 CPUtime=4998.06 cores=0-31
/proc/18494/task/18503/stat : 18503 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 640326 0 0 0 498911 895 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18494/tid=18504] ppid=18492 vsize=19452376 CPUtime=4997.43 cores=0-31
/proc/18494/task/18504/stat : 18504 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 571184 0 0 0 498791 952 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18494/tid=18505] ppid=18492 vsize=19452376 CPUtime=5010.48 cores=0-31
/proc/18494/task/18505/stat : 18505 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 717965 0 0 0 500151 897 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18494/tid=18506] ppid=18492 vsize=19452376 CPUtime=5012.62 cores=0-31
/proc/18494/task/18506/stat : 18506 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 591670 0 0 0 500384 878 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4394544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18494/tid=18507] ppid=18492 vsize=19452376 CPUtime=5003.57 cores=0-31
/proc/18494/task/18507/stat : 18507 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1942084 0 0 0 499155 1202 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18494/tid=18508] ppid=18492 vsize=19452376 CPUtime=4998.28 cores=0-31
/proc/18494/task/18508/stat : 18508 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1056876 0 0 0 498764 1064 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18494/tid=18509] ppid=18492 vsize=19452376 CPUtime=4998.82 cores=0-31
/proc/18494/task/18509/stat : 18509 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1085914 0 0 0 498877 1005 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18494/tid=18510] ppid=18492 vsize=19452376 CPUtime=4970.12 cores=0-31
/proc/18494/task/18510/stat : 18510 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 817315 0 0 0 496083 929 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18494/tid=18511] ppid=18492 vsize=19452376 CPUtime=4988.65 cores=0-31
/proc/18494/task/18511/stat : 18511 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 900929 0 0 0 498154 711 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18494/tid=18512] ppid=18492 vsize=19452376 CPUtime=5001.54 cores=0-31
/proc/18494/task/18512/stat : 18512 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 914497 0 0 0 499177 977 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18494/tid=18513] ppid=18492 vsize=19452376 CPUtime=4995.75 cores=0-31
/proc/18494/task/18513/stat : 18513 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1353670 0 0 0 498586 989 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18494/tid=18514] ppid=18492 vsize=19452376 CPUtime=5006.36 cores=0-31
/proc/18494/task/18514/stat : 18514 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 614162 0 0 0 499745 891 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18494/tid=18515] ppid=18492 vsize=19452376 CPUtime=5003.97 cores=0-31
/proc/18494/task/18515/stat : 18515 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1132808 0 0 0 499406 991 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295036 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18494/tid=18516] ppid=18492 vsize=19452376 CPUtime=5002.99 cores=0-31
/proc/18494/task/18516/stat : 18516 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 753966 0 0 0 499365 934 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18494/tid=18517] ppid=18492 vsize=19452376 CPUtime=5009.81 cores=0-31
/proc/18494/task/18517/stat : 18517 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2610396 0 0 0 499951 1030 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18494/tid=18518] ppid=18492 vsize=19452376 CPUtime=4984.34 cores=0-31
/proc/18494/task/18518/stat : 18518 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2082705 0 0 0 497275 1159 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18494/tid=18519] ppid=18492 vsize=19452376 CPUtime=5000.32 cores=0-31
/proc/18494/task/18519/stat : 18519 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 900741 0 0 0 499088 944 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=19452376 CPUtime=4984.3 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 1878667 0 0 0 497302 1128 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18494/tid=18521] ppid=18492 vsize=19452376 CPUtime=5010.63 cores=0-31
/proc/18494/task/18521/stat : 18521 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 700125 0 0 0 500041 1022 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18494/tid=18522] ppid=18492 vsize=19452376 CPUtime=5002.74 cores=0-31
/proc/18494/task/18522/stat : 18522 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 823983 0 0 0 499396 878 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18494/tid=18523] ppid=18492 vsize=19452376 CPUtime=5007.3 cores=0-31
/proc/18494/task/18523/stat : 18523 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 2125484 0 0 0 499483 1247 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18494/tid=18524] ppid=18492 vsize=19452376 CPUtime=5005.87 cores=0-31
/proc/18494/task/18524/stat : 18524 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 927382 0 0 0 499609 978 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18494/tid=18525] ppid=18492 vsize=19452376 CPUtime=5003.75 cores=0-31
/proc/18494/task/18525/stat : 18525 (strangenight2-m) R 18492 18494 18468 0 -1 4202560 875406 0 0 0 499747 628 0 0 25 0 32 0 747129647 19919233024 4022213 268435456000 4194304 4580107 140734589451360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 19452376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5065.5 s]
/proc/loadavg: 32.09 32.15 32.03 2/416 18682
/proc/meminfo: memFree=246011788/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=0 CPUtime=160002 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) Z 18492 18494 18468 0 -1 4203548 34995837 0 0 0 15969113 31098 0 0 25 0 2 0 747129646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/18494/statm: 0 0 0 0 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=0 CPUtime=4985.11 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4203588 1878667 0 0 0 497303 1208 0 0 25 0 2 0 747129647 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5065.9 s]
/proc/loadavg: 32.09 32.15 32.03 2/416 18682
/proc/meminfo: memFree=246011788/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=0 CPUtime=160002 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) Z 18492 18494 18468 0 -1 4203548 34995837 0 0 0 15969113 31135 0 0 25 0 2 0 747129646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/18494/statm: 0 0 0 0 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=0 CPUtime=4985.48 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4203588 1878667 0 0 0 497303 1245 0 0 25 0 2 0 747129647 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5066.3 s]
/proc/loadavg: 32.09 32.15 32.03 2/416 18682
/proc/meminfo: memFree=246011788/264257624 swapFree=67111528/67111528
[pid=18494] ppid=18492 vsize=0 CPUtime=160003 cores=0-31
/proc/18494/stat : 18494 (strangenight2-m) Z 18492 18494 18468 0 -1 4203548 34995837 0 0 0 15969113 31175 0 0 25 0 2 0 747129646 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/18494/statm: 0 0 0 0 0 0 0
[pid=18494/tid=18520] ppid=18492 vsize=0 CPUtime=4985.88 cores=0-31
/proc/18494/task/18520/stat : 18520 (strangenight2-m) R 18492 18494 18468 0 -1 4203588 1878667 0 0 0 497303 1285 0 0 25 0 2 0 747129647 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5066.32
CPU time (s): 160003
CPU user time (s): 159691
CPU system time (s): 311.767
CPU usage (%): 3158.17
Max. virtual memory (cumulated for all children) (KiB): 19452376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159691
system time used= 311.767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34995837
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= 7496366
involuntary context switches= 634235
runsolver used 28.3547 second user time and 115.088 second system time
The end
Begin job on node200 at 2011-05-25 22:47:12
IDJOB=3400709
IDBENCH=82354
IDSOLVER=1886
FILE ID=node200/3400709-1306356431
RUNJOBID= node200-1306356431-18482
PBS_JOBID= 13411803
Free space on /tmp= 62024 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-06.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400709-1306356431/watcher-3400709-1306356431 -o /tmp/evaluation-result-3400709-1306356431/solver-3400709-1306356431 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400709-1306356431.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6fd7d026c372988cefc364000243d13f
RANDOM SEED=902637960
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: 255116568 kB
Buffers: 469404 kB
Cached: 8260080 kB
SwapCached: 0 kB
Active: 7797212 kB
Inactive: 1000916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255116568 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26108 kB
Writeback: 0 kB
AnonPages: 70756 kB
Mapped: 13820 kB
Slab: 257264 kB
PageTables: 5580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 179564 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= 62020 MiB
End job on node200 at 2011-05-26 00:11:39