0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400863-1307075013.cnf'
2.30/0.09 c -- header says num vars: 261352
2.30/0.09 c -- header says num clauses: 773077
143.75/7.64 c -- clauses added: 0 learnts, 773077 normals, 0 xors
143.75/7.64 c -- vars added 261352
143.75/7.64 c Parsing time: 1.81 s
143.75/7.64 c N st 0 0 261352 412533 356701 0 1977922 0 no data no data
250.97/11.07 c asymm cl-useful: 0/111/411007 lits-rem:0 time: 3.40
2305.34/75.31 c Flit: 28 Blit: 213 bXBeca: 0 bXProp: 50816 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 64.21
2308.52/75.40 c Cleaning up after failed var search: 0.08 s
2317.99/75.75 c Replacing 50816 vars Replaced 710912 lits Time: 0.33 s
2342.60/76.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2347.94/76.84 c bin-w-bin subsume rem 740 bins time: 0.15 s
2359.01/77.27 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.40 s
2914.78/94.78 c Subs w/ non-existent bins: 884 l-rem: 37 v-fix: 148 done: 30644 time: 17.43 s
2948.65/95.83 c Removed useless bin: 0 fixed: 153 props: 20.01M time: 1.04 s
3024.22/98.20 c lits-rem: 237 cl-subs: 5948 v-elim: 69246 v-fix: 76 time: 2.23 s
3027.42/98.35 c Finding binary XORs T: 0.14 s found: 1272
3033.80/98.52 c Replacing 1272 vars Replaced 32542 lits Time: 0.17 s
3052.97/99.20 c Finding non-binary XORs: 0.43 s (found: 68252, avg size: 3.0)
3052.97/99.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 26 time: 0.20
3056.18/99.25 c calculated reachability. Time: 0.01
3059.37/99.31 c Calc default polars - time: 0.06 s pos: 47581 undec: 135996 neg: 77775
3059.37/99.31 c =========================================================================================
3059.37/99.31 c types(t): F = full restart, N = normal restart
3059.37/99.31 c types(t): S = simplification begin/end, E = solution found
3059.37/99.31 c restart types(rt): st = static, dy = dynamic
3059.37/99.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3059.37/99.31 c B st 0 0 137127 91104 114400 0 737258 0 no data no data
3417.22/110.56 c Decided on static restart strategy
3615.40/116.79 c N st 8 4911 137108 91104 114504 4758 737258 176036 no data no data
3835.96/123.64 c Finding binary XORs T: 0.13 s found: 911
3839.16/123.76 c Replacing 1372 vars Replaced 11230 lits Time: 0.11 s
4254.69/136.79 c N st 10 11294 133961 88804 122484 10605 720287 417428 no data no data
4629.29/148.48 c N st 11 17037 133689 88804 126838 16119 720287 614718 no data no data
5226.98/167.21 c Finding binary XORs T: 0.14 s found: 442
5386.21/172.14 c F st 12 25000 133450 88284 129878 16810 716693 577055 no data no data
5389.41/172.27 c Replacing 464 vars Replaced 7963 lits Time: 0.12 s
5395.80/172.44 c Replacing 1 vars Replaced 6 lits Time: 0.11 s
5469.33/174.73 c N st 12 25000 132984 88223 128659 16800 714177 574984 no data no data
5769.80/184.19 c Decided on static restart strategy
5769.80/184.19 c N st 18 30000 132984 88223 128673 21716 714177 803712 no data no data
5769.80/184.20 c S st 18 30000 132984 88223 128673 21716 714177 803712 no data no data
5804.96/185.26 c S st 18 30501 132825 88223 130375 22186 714177 826409 no data no data
5811.35/185.43 c x-sub: 12 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 12 time: 0.17
6572.09/209.25 c Flit: 45 Blit: 742 bXBeca: 0 bXProp: 272 Bins: 29205 BRemL: 1 BRemN: 1 P: 200.1M T: 23.81
6572.09/209.25 c Cleaning up after failed var search: 0.00 s
6578.49/209.47 c Replacing 1004 vars Replaced 14609 lits Time: 0.20 s
6581.68/209.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
6584.88/209.64 c bin-w-bin subsume rem 12585 bins time: 0.05 s
6591.29/209.89 c subs with bin: 29241 lits-rem: 20833 v-fix: 0 time: 0.25 s
7099.47/225.71 c Subs w/ non-existent bins: 72 l-rem: 71 v-fix: 8 done: 31200 time: 15.81 s
7109.05/226.05 c Removed useless bin: 19 fixed: 0 props: 20.97M time: 0.33 s
7134.60/226.87 c lits-rem: 357 cl-subs: 4764 v-elim: 19574 v-fix: 3 time: 0.80 s
7137.79/226.99 c Replacing 18 vars Replaced 132 lits Time: 0.11 s
7147.39/227.26 c subs with bin: 1052 lits-rem: 6643 v-fix: 0 time: 0.16 s
7156.98/227.60 c lits-rem: 704 cl-subs: 391 v-elim: 0 v-fix: 0 time: 0.31 s
7208.12/229.17 c asymm cl-useful: 34/245/51160 lits-rem:260 time: 1.56
7211.32/229.21 c calculated reachability. Time: 0.01
7211.32/229.22 c N st 18 30501 111354 51160 136889 18124 642717 375839 no data no data
7214.52/229.34 c Finding binary XORs T: 0.12 s found: 47
7467.04/237.23 c N st 20 37612 111351 51160 136900 25120 642717 806608 no data no data
7537.36/239.45 c N st 21 44012 111100 51160 143161 19494 642717 353813 no data no data
7607.69/241.62 c S st 22 45751 111097 51160 143593 21198 642717 450788 no data no data
7610.89/241.79 c Finding binary XORs T: 0.12 s found: 64
7646.05/242.81 c S st 22 46253 111097 51131 142891 21683 639982 479701 no data no data
7649.25/242.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 44 locsubst: 24 time: 0.16
8518.62/270.19 c Flit: 33 Blit: 30 bXBeca: 0 bXProp: 5 Bins: 5750 BRemL: 0 BRemN: 0 P: 200.2M T: 27.21
8525.03/270.38 c Replacing 256 vars Replaced 3399 lits Time: 0.16 s
8528.23/270.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
8528.23/270.50 c bin-w-bin subsume rem 2589 bins time: 0.04 s
8537.80/270.70 c subs with bin: 13743 lits-rem: 6839 v-fix: 0 time: 0.20 s
9059.45/287.11 c Subs w/ non-existent bins: 0 l-rem: 27 v-fix: 15 done: 25924 time: 16.40 s
9081.19/287.73 c Removed useless bin: 29 fixed: 0 props: 20.03M time: 0.61 s
9090.79/288.06 c lits-rem: 1 cl-subs: 13 v-elim: 53 v-fix: 1 time: 0.33 s
9094.60/288.18 c Replacing 27 vars Replaced 225 lits Time: 0.11 s
9103.56/288.45 c subs with bin: 406 lits-rem: 2688 v-fix: 0 time: 0.17 s
9113.15/288.77 c lits-rem: 195 cl-subs: 402 v-elim: 0 v-fix: 0 time: 0.29 s
9145.11/289.75 c asymm cl-useful: 0/423/37339 lits-rem:0 time: 0.98
9145.11/289.79 c calculated reachability. Time: 0.01
9148.31/289.80 c N st 22 46253 110618 37339 149908 20859 605450 462895 no data no data
9509.52/301.15 c N st 23 60650 110617 37339 149923 35040 605450 1327453 no data no data
9516.50/301.41 c Finding binary XORs T: 0.13 s found: 677
9653.33/305.63 c N st 24 69381 109471 37077 182714 27776 595214 706163 no data no data
9653.33/305.63 c S st 24 69381 109471 37077 182714 27776 595214 706163 no data no data
9701.29/307.13 c S st 24 69884 109457 37077 186122 28254 595214 739387 no data no data
9707.66/307.30 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 18 time: 0.17
10430.66/329.95 c Flit: 0 Blit: 326 bXBeca: 0 bXProp: 69 Bins: 529 BRemL: 0 BRemN: 1 P: 200.0M T: 22.65
10430.66/329.96 c Cleaning up after failed var search: 0.00 s
10436.44/330.16 c Replacing 1031 vars Replaced 28798 lits Time: 0.19 s
10439.64/330.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10439.64/330.30 c bin-w-bin subsume rem 23929 bins time: 0.05 s
10446.03/330.46 c subs with bin: 355 lits-rem: 99 v-fix: 0 time: 0.17 s
10986.21/347.30 c Subs w/ non-existent bins: 21 l-rem: 65 v-fix: 5 done: 26219 time: 16.83 s
11002.18/347.84 c Removed useless bin: 86 fixed: 0 props: 20.52M time: 0.54 s
11011.78/348.16 c lits-rem: 0 cl-subs: 23 v-elim: 96 v-fix: 0 time: 0.32 s
11014.98/348.28 c Replacing 6 vars Replaced 53 lits Time: 0.12 s
11024.57/348.62 c subs with bin: 655 lits-rem: 13049 v-fix: 0 time: 0.23 s
11040.54/349.03 c lits-rem: 1241 cl-subs: 358 v-elim: 0 v-fix: 0 time: 0.38 s
11069.31/349.97 c asymm cl-useful: 63/519/36528 lits-rem:63 time: 0.94
11072.51/350.02 c calculated reachability. Time: 0.01
11072.51/350.02 c N st 24 69884 108112 36528 158007 26925 585154 606319 no data no data
11692.61/369.45 c F st 25 87500 108112 36528 158050 44204 585154 1627631 no data no data
11696.40/369.56 c Replacing 4 vars Replaced 173 lits Time: 0.11 s
11746.94/371.17 c N st 25 87500 108108 36528 158042 44204 585138 1627631 no data no data
11756.53/371.42 c Finding binary XORs T: 0.13 s found: 195
11938.75/377.11 c Decided on static restart strategy
12057.01/380.89 c N st 32 95539 107727 36412 190912 35471 582474 985689 no data no data
12443.80/392.98 c N st 34 104826 107713 36412 191354 44551 582474 1599915 no data no data
12443.80/392.98 c S st 34 104826 107713 36412 191354 44551 582474 1599915 no data no data
12453.36/393.20 c Finding binary XORs T: 0.13 s found: 129
12478.92/394.09 c S st 34 105329 107623 36380 197959 45027 582135 1642275 no data no data
12485.36/394.26 c x-sub: 4 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 2 time: 0.17
13326.01/420.50 c Flit: 13 Blit: 218 bXBeca: 0 bXProp: 159 Bins: 9693 BRemL: 3 BRemN: 0 P: 200.1M T: 26.24
13326.01/420.51 c Cleaning up after failed var search: 0.00 s
13332.41/420.76 c Replacing 696 vars Replaced 32171 lits Time: 0.23 s
13335.61/420.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
13335.61/420.89 c bin-w-bin subsume rem 8542 bins time: 0.05 s
13342.00/421.06 c subs with bin: 2719 lits-rem: 238 v-fix: 0 time: 0.17 s
13876.32/437.73 c Subs w/ non-existent bins: 51 l-rem: 55 v-fix: 0 done: 25843 time: 16.66 s
13888.51/438.15 c Removed useless bin: 24 fixed: 0 props: 20.79M time: 0.43 s
13898.10/438.45 c lits-rem: 16 cl-subs: 25 v-elim: 93 v-fix: 0 time: 0.29 s
13917.27/439.06 c subs with bin: 456 lits-rem: 10375 v-fix: 0 time: 0.45 s
13936.46/439.69 c lits-rem: 831 cl-subs: 749 v-elim: 0 v-fix: 0 time: 0.61 s
13968.42/440.68 c asymm cl-useful: 49/404/33493 lits-rem:51 time: 0.99
13971.61/440.73 c calculated reachability. Time: 0.01
13971.61/440.74 c N st 34 105329 106634 33493 196999 42104 575967 1239092 no data no data
13974.81/440.86 c Finding binary XORs T: 0.13 s found: 25
14307.25/451.28 c N st 35 114927 106634 33493 197002 33738 575967 668944 no data no data
14320.04/451.64 c Finding binary XORs T: 0.13 s found: 120
14972.09/472.01 c N st 36 129324 106579 33477 241455 47857 575172 1999603 no data no data
14978.48/472.28 c Finding binary XORs T: 0.13 s found: 0
15544.25/489.92 c N st 37 150921 106576 33477 252619 49864 574911 2207984 no data no data
15553.83/490.25 c Finding binary XORs T: 0.13 s found: 11
15739.83/496.06 c S st 38 157993 106572 33477 260683 56894 574675 3051743 no data no data
15790.37/497.68 c S st 38 158496 106571 33477 261163 57387 574675 3081805 no data no data
15796.77/497.87 c x-sub: 13 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 38 time: 0.18
16717.30/526.60 c Flit: 4 Blit: 13 bXBeca: 0 bXProp: 150 Bins: 3689 BRemL: 0 BRemN: 0 P: 200.1M T: 28.73
16724.31/526.88 c Replacing 341 vars Replaced 13418 lits Time: 0.27 s
16727.51/526.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
16730.07/527.05 c bin-w-bin subsume rem 28047 bins time: 0.08 s
16736.47/527.23 c subs with bin: 357 lits-rem: 57 v-fix: 0 time: 0.18 s
17350.17/546.44 c Subs w/ non-existent bins: 6 l-rem: 6 v-fix: 0 done: 27615 time: 19.20 s
17369.34/547.07 c Removed useless bin: 73 fixed: 0 props: 20.47M time: 0.63 s
17382.14/547.40 c lits-rem: 31 cl-subs: 83 v-elim: 104 v-fix: 0 time: 0.33 s
17427.48/548.91 c subs with bin: 197 lits-rem: 9210 v-fix: 0 time: 1.19 s
17554.75/552.86 c lits-rem: 2096 cl-subs: 585 v-elim: 0 v-fix: 0 time: 3.92 s
17586.71/553.88 c asymm cl-useful: 67/350/33097 lits-rem:67 time: 1.02
17589.91/553.94 c calculated reachability. Time: 0.01
17589.91/553.94 c N st 38 158496 106112 33097 235648 56175 574743 2896390 no data no data
18721.44/589.39 c N st 39 207084 106112 33097 235692 59600 574743 1685854 no data no data
18731.65/589.69 c Finding binary XORs T: 0.13 s found: 142
19335.14/608.52 c N st 40 237744 105997 33043 264778 65424 572344 3230598 no data no data
19335.14/608.52 c S st 40 237744 105997 33043 264778 65424 572344 3230598 no data no data
19341.54/608.77 c Finding binary XORs T: 0.13 s found: 61
19383.09/610.05 c S st 40 238245 105970 33032 271091 65899 571968 3253548 no data no data
19389.50/610.23 c x-sub: 14 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 50 time: 0.18
20233.36/636.60 c Flit: 6 Blit: 31 bXBeca: 0 bXProp: 46 Bins: 3798 BRemL: 74 BRemN: 0 P: 200.0M T: 26.37
20243.58/636.96 c Replacing 305 vars Replaced 30647 lits Time: 0.33 s
20246.17/637.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
20249.34/637.11 c bin-w-bin subsume rem 12310 bins time: 0.07 s
20252.54/637.29 c subs with bin: 149 lits-rem: 23 v-fix: 0 time: 0.18 s
20856.58/656.19 c Subs w/ non-existent bins: 2 l-rem: 3 v-fix: 0 done: 27758 time: 18.89 s
20876.36/656.76 c Removed useless bin: 75 fixed: 0 props: 20.46M time: 0.57 s
20888.54/657.16 c lits-rem: 24 cl-subs: 184 v-elim: 133 v-fix: 0 time: 0.40 s
20933.28/658.52 c subs with bin: 394 lits-rem: 35660 v-fix: 0 time: 1.03 s
21077.13/663.08 c lits-rem: 1779 cl-subs: 743 v-elim: 0 v-fix: 0 time: 4.54 s
21109.06/664.04 c asymm cl-useful: 8/519/32821 lits-rem:8 time: 0.96
21109.06/664.09 c calculated reachability. Time: 0.01
21112.26/664.10 c N st 40 238245 105495 32821 260900 64450 577671 3058918 no data no data
21115.50/664.23 c Finding binary XORs T: 0.13 s found: 7
22732.86/714.84 c F st 41 306250 105495 32821 260905 76996 577671 3706741 no data no data
22736.65/714.98 c Replacing 7 vars Replaced 431 lits Time: 0.14 s
22787.19/716.53 c N st 41 306250 105488 32821 260891 76996 577651 3706733 no data no data
22799.98/716.93 c Finding binary XORs T: 0.13 s found: 134
22940.63/721.39 c Decided on static restart strategy
23372.74/734.83 c Finding binary XORs T: 0.14 s found: 91
23724.37/745.86 c N st 51 334557 105357 32760 325028 75610 572474 3626069 no data no data
24337.44/765.00 c N st 53 357367 105348 32760 325899 68360 572474 2971868 no data no data
24337.44/765.00 c S st 53 357367 105348 32760 325899 68360 572474 2971868 no data no data
24343.83/765.25 c Finding binary XORs T: 0.14 s found: 61
24379.00/766.33 c S st 53 357868 105318 32740 332116 68837 571720 3023831 no data no data
24385.39/766.51 c x-sub: 31 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 36 time: 0.18
25146.17/790.38 c Flit: 2 Blit: 6 bXBeca: 0 bXProp: 25 Bins: 441 BRemL: 15 BRemN: 0 P: 200.3M T: 23.86
25158.94/790.74 c Replacing 335 vars Replaced 71765 lits Time: 0.34 s
25162.76/790.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
25162.76/790.91 c bin-w-bin subsume rem 27821 bins time: 0.08 s
25171.71/791.10 c subs with bin: 112 lits-rem: 52 v-fix: 0 time: 0.19 s
25699.12/807.60 c Subs w/ non-existent bins: 7 l-rem: 8 v-fix: 0 done: 27824 time: 16.49 s
25715.11/808.13 c Removed useless bin: 51 fixed: 0 props: 20.14M time: 0.53 s
25725.30/808.50 c lits-rem: 25 cl-subs: 94 v-elim: 134 v-fix: 0 time: 0.37 s
25779.04/810.17 c subs with bin: 969 lits-rem: 54539 v-fix: 0 time: 1.39 s
25862.15/812.74 c lits-rem: 5993 cl-subs: 520 v-elim: 0 v-fix: 0 time: 2.54 s
25890.92/813.65 c asymm cl-useful: 8/488/32491 lits-rem:23 time: 0.91
25894.12/813.71 c calculated reachability. Time: 0.01
25894.12/813.71 c N st 53 357868 104857 32486 303493 66696 574178 2722962 no data no data
26713.03/839.34 c N st 54 390260 104857 32486 303494 67918 574178 3191436 no data no data
26721.97/839.61 c Finding binary XORs T: 0.13 s found: 40
28214.67/886.39 c N st 55 438849 104832 32469 314574 83598 572640 4069990 no data no data
28224.88/886.64 c Finding binary XORs T: 0.13 s found: 5
30880.52/969.79 c N st 56 511733 104823 32468 317684 88818 571916 5365454 no data no data
30890.11/970.07 c Finding binary XORs T: 0.14 s found: 60
31615.66/992.75 c N st 57 536803 104705 32431 323150 78862 570363 4313173 no data no data
31615.66/992.75 c S st 57 536803 104705 32431 323150 78862 570363 4313173 no data no data
31625.25/993.07 c Finding binary XORs T: 0.14 s found: 120
31660.42/994.15 c S st 57 537305 104646 32402 346360 79301 569681 4385560 no data no data
31667.41/994.35 c x-sub: 17 x-cut: 0 vfix: 0 v-elim: 10 locsubst: 8 time: 0.20
32520.26/1021.02 c Flit: 4 Blit: 18 bXBeca: 0 bXProp: 46 Bins: 12016 BRemL: 133 BRemN: 0 P: 200.0M T: 26.66
32533.05/1021.46 c Replacing 302 vars Replaced 49707 lits Time: 0.42 s
32536.24/1021.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
32539.44/1021.62 c bin-w-bin subsume rem 7665 bins time: 0.07 s
32546.44/1021.84 c subs with bin: 62 lits-rem: 23 v-fix: 0 time: 0.22 s
33117.99/1039.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 24211 time: 17.90 s
33140.37/1040.45 c Removed useless bin: 65 fixed: 0 props: 20.00M time: 0.70 s
33153.15/1040.86 c lits-rem: 21 cl-subs: 65 v-elim: 88 v-fix: 0 time: 0.41 s
33242.66/1043.61 c subs with bin: 776 lits-rem: 64913 v-fix: 0 time: 2.32 s
33344.95/1046.80 c lits-rem: 8979 cl-subs: 655 v-elim: 0 v-fix: 0 time: 3.17 s
33370.52/1047.70 c asymm cl-useful: 8/634/32270 lits-rem:17 time: 0.89
33373.71/1047.76 c calculated reachability. Time: 0.01
33373.71/1047.76 c N st 57 537305 104249 32267 349258 75848 571515 3686912 no data no data
33376.91/1047.90 c Finding binary XORs T: 0.14 s found: 1
43836.02/1375.09 c N st 58 701289 104249 32267 349441 93471 571515 8519766 no data no data
43854.60/1375.60 c Finding binary XORs T: 0.15 s found: 406
46635.29/1462.60 c N st 59 805959 103903 32205 454042 116537 565771 8254115 no data no data
46635.29/1462.60 c S st 59 805959 103903 32205 454042 116537 565771 8254115 no data no data
46648.69/1463.04 c Finding binary XORs T: 0.15 s found: 111
46692.81/1464.48 c S st 59 806461 103679 32136 487821 116948 562240 8342599 no data no data
46702.41/1464.71 c x-sub: 6 x-cut: 0 vfix: 0 v-elim: 4 locsubst: 16 time: 0.23
47479.12/1489.00 c Flit: 6 Blit: 2 bXBeca: 0 bXProp: 5 Bins: 4029 BRemL: 44 BRemN: 0 P: 200.0M T: 24.29
47501.49/1489.75 c Replacing 630 vars Replaced 283189 lits Time: 0.73 s
47504.68/1489.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
47507.88/1489.97 c bin-w-bin subsume rem 41272 bins time: 0.12 s
47517.48/1490.21 c subs with bin: 404 lits-rem: 131 v-fix: 0 time: 0.24 s
48172.71/1510.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 26089 time: 20.54 s
48185.49/1511.14 c Removed useless bin: 28 fixed: 0 props: 20.01M time: 0.38 s
48201.45/1511.70 c lits-rem: 44 cl-subs: 201 v-elim: 128 v-fix: 0 time: 0.55 s
48326.12/1515.56 c subs with bin: 472 lits-rem: 67469 v-fix: 0 time: 3.05 s
48601.03/1524.20 c lits-rem: 2717 cl-subs: 1386 v-elim: 0 v-fix: 0 time: 8.61 s
48636.19/1525.24 c asymm cl-useful: 32/626/31690 lits-rem:50 time: 1.04
48639.39/1525.30 c calculated reachability. Time: 0.01
48639.39/1525.31 c N st 59 806461 102912 31684 447589 112431 571573 7392246 no data no data
48642.59/1525.45 c Finding binary XORs T: 0.14 s found: 2
61229.96/1919.21 c F st 60 1071876 102912 31684 447635 110462 571573 12149151 no data no data
61233.16/1919.41 c Replacing 2 vars Replaced 297 lits Time: 0.20 s
61281.10/1920.85 c N st 60 1071876 102910 31684 447631 110462 571565 12149151 no data no data
61303.36/1921.50 c Finding binary XORs T: 0.15 s found: 449
61990.59/1943.01 c N dy 119 1091959 102557 31620 568018 129899 568024 13655991 13.28 14.58
62872.82/1970.68 c N dy 187 1112033 102557 31620 573786 82765 568024 2423016 12.49 13.15
62946.34/1972.91 c Finding binary XORs T: 0.15 s found: 16
63953.25/2004.49 c N dy 263 1132636 102523 31620 577348 103191 568000 3654554 12.18 12.88
64835.46/2032.06 c N dy 340 1153350 102508 31620 577648 69151 567999 1759788 12.06 12.81
65311.73/2046.98 c Finding binary XORs T: 0.15 s found: 24
65532.28/2053.85 c N dy 399 1173893 102475 31615 570587 89455 567914 2753548 11.78 12.59
65804.00/2062.30 c Finding binary XORs T: 0.15 s found: 74
66526.38/2084.94 c N dy 459 1194171 102380 31585 598436 109549 567655 3935308 11.67 12.48
66721.98/2091.11 c Finding binary XORs T: 0.15 s found: 33
67267.96/2108.10 c S st 509 1209691 102380 31585 608288 78997 567631 2134017 11.58 9.15
67309.51/2109.50 c S st 509 1210192 102379 31585 608455 79489 567631 2164108 11.58 no data
67315.91/2109.70 c x-sub: 65 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 6 time: 0.21
68070.30/2133.26 c Flit: 1 Blit: 7 bXBeca: 0 bXProp: 6 Bins: 1091 BRemL: 32 BRemN: 0 P: 200.0M T: 23.55
68079.90/2133.57 c Replacing 724 vars Replaced 47820 lits Time: 0.29 s
68083.09/2133.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
68086.30/2133.80 c bin-w-bin subsume rem 26621 bins time: 0.13 s
68096.52/2134.10 c subs with bin: 218 lits-rem: 208 v-fix: 0 time: 0.30 s
68556.14/2148.43 c Subs w/ non-existent bins: 1 l-rem: 3 v-fix: 0 done: 25482 time: 14.33 s
68568.94/2148.86 c Removed useless bin: 21 fixed: 0 props: 20.00M time: 0.43 s
68594.51/2149.61 c lits-rem: 3 cl-subs: 242 v-elim: 979 v-fix: 0 time: 0.75 s
68632.87/2150.87 c subs with bin: 1163 lits-rem: 15519 v-fix: 0 time: 1.07 s
68664.83/2151.85 c lits-rem: 5102 cl-subs: 875 v-elim: 0 v-fix: 0 time: 0.96 s
68696.80/2152.87 c asymm cl-useful: 42/44/31985 lits-rem:45 time: 1.01
68699.99/2152.93 c calculated reachability. Time: 0.01
68699.99/2152.94 c N dy 509 1210192 100687 31984 553521 76710 520862 1936227 11.58 no data
68937.18/2160.33 c Finding binary XORs T: 0.15 s found: 70
69573.27/2180.26 c N dy 581 1230534 100640 31981 562396 96786 520294 3001576 11.49 12.25
70071.26/2195.86 c Finding binary XORs T: 0.15 s found: 32
70589.73/2212.05 c N dy 696 1251313 100634 31979 572694 117370 520103 4288709 11.55 12.74
71030.23/2225.85 c Finding binary XORs T: 0.15 s found: 36
71525.67/2241.39 c N dy 794 1271401 100622 31971 576947 89505 520050 2633156 11.64 21.06
72024.26/2256.98 c Finding binary XORs T: 0.15 s found: 35
72331.14/2266.55 c N dy 877 1291605 100618 31966 595489 109502 519496 3794044 11.66 12.68
72580.47/2274.37 c Finding binary XORs T: 0.15 s found: 26
73360.40/2298.75 c N dy 984 1312160 100618 31966 595751 82024 519496 1878438 11.73 12.36
74217.03/2325.56 c N dy 1076 1332199 100618 31966 595911 101918 519496 3021521 11.76 13.65
75204.76/2356.46 c N dy 1169 1352446 100618 31966 596131 121984 519496 4249825 11.79 12.47
75575.57/2368.04 c Finding binary XORs T: 0.15 s found: 29
76141.33/2385.79 c N dy 1216 1372532 100611 31966 620790 92446 519484 2376374 11.68 12.34
77154.61/2417.43 c Finding binary XORs T: 0.15 s found: 20
77314.42/2422.47 c N dy 1294 1393710 100600 31963 626607 113432 519448 3804209 11.66 12.40
78325.09/2454.07 c N dy 1382 1413948 100600 31963 628288 133509 519448 5169578 11.70 12.61
79190.73/2481.14 c N dy 1455 1434038 100600 31963 631048 103436 519448 2796787 11.68 12.42
79775.68/2499.43 c Finding binary XORs T: 0.15 s found: 8
80220.02/2513.35 c N dy 1539 1454084 100600 31963 631216 123341 519448 4201419 11.68 12.34
80491.72/2521.87 c Finding binary XORs T: 0.15 s found: 26
81300.45/2547.18 c N dy 1647 1474193 100583 31963 657757 143277 519434 5650317 11.75 12.47
82176.24/2574.55 c N dy 1746 1494680 100582 31963 661133 112045 519434 3130488 11.78 12.51
82275.30/2577.65 c Finding binary XORs T: 0.15 s found: 6
82991.32/2600.05 c Finding binary XORs T: 0.15 s found: 28
83234.27/2607.61 c N dy 1845 1515328 100574 31963 678108 132523 519194 4525328 11.84 12.62
84237.95/2639.07 c Finding binary XORs T: 0.15 s found: 10
84376.01/2643.39 c N dy 1962 1535559 100557 31958 680831 99849 518687 2174745 11.93 12.65
85382.34/2674.87 c N dy 2033 1555697 100548 31958 681394 119776 518687 3410050 11.90 12.68
86453.09/2708.30 c N dy 2130 1575871 100548 31958 684462 139764 518687 4816073 11.93 12.73
87482.38/2740.52 c Finding binary XORs T: 0.15 s found: 47
87565.48/2743.19 c N dy 2220 1595962 100542 31956 696676 106036 518495 2431745 11.95 20.93
88771.19/2780.87 c N dy 2289 1617013 100540 31956 697112 126923 518495 3825685 11.92 12.70
89911.55/2816.59 c Finding binary XORs T: 0.16 s found: 22
90001.68/2819.36 c N dy 2405 1638876 100521 31956 717737 148632 518469 5544120 11.97 12.66
90931.23/2848.43 c N dy 2477 1659037 100520 31956 720453 113658 518469 2609896 11.96 12.77
91394.70/2862.96 c Finding binary XORs T: 0.16 s found: 8
91918.91/2879.38 c N dy 2567 1679095 100520 31956 743763 133621 518254 4143923 11.99 20.19
92312.05/2891.66 c Finding binary XORs T: 0.16 s found: 11
93025.53/2913.97 c N dy 2669 1699157 100517 31956 748002 153563 518254 5685501 12.04 12.70
93450.05/2927.28 c Finding binary XORs T: 0.16 s found: 9
93658.43/2933.75 c S st 2730 1710192 100497 31927 751827 164392 518084 6598904 12.09 10.65
93705.76/2935.21 c S st 2730 1710697 100497 31927 752062 164897 518084 6644876 12.09 no data
93712.15/2935.45 c x-sub: 37 x-cut: 0 vfix: 0 v-elim: 1899 locsubst: 36 time: 0.24
94444.14/2958.32 c Flit: 2 Blit: 2 bXBeca: 0 bXProp: 13 Bins: 5987 BRemL: 1512 BRemN: 1 P: 200.1M T: 22.86
94456.93/2958.79 c Replacing 478 vars Replaced 49462 lits Time: 0.45 s
94460.12/2958.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
94467.13/2959.04 c bin-w-bin subsume rem 22093 bins time: 0.15 s
94476.10/2959.32 c subs with bin: 1046 lits-rem: 647 v-fix: 0 time: 0.28 s
95057.88/2977.57 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 31586 time: 18.25 s
95070.65/2977.95 c Removed useless bin: 91 fixed: 0 props: 20.18M time: 0.38 s
95086.64/2978.42 c lits-rem: 0 cl-subs: 15 v-elim: 183 v-fix: 0 time: 0.46 s
95208.09/2982.29 c subs with bin: 261 lits-rem: 10909 v-fix: 0 time: 3.23 s
95403.07/2988.33 c lits-rem: 8639 cl-subs: 2763 v-elim: 0 v-fix: 0 time: 6.01 s
95431.84/2989.27 c asymm cl-useful: 31/474/31073 lits-rem:46 time: 0.94
95435.03/2989.34 c calculated reachability. Time: 0.01
95435.03/2989.35 c N dy 2730 1710697 97939 31068 710740 158688 524628 5621441 12.09 no data
95780.26/3000.10 c Finding binary XORs T: 0.15 s found: 6
96477.09/3021.91 c N dy 2832 1730926 97925 31064 722812 124665 524588 3565673 12.14 12.86
97244.87/3045.96 c N dy 2900 1751055 97925 31064 722929 144512 524588 4764689 12.11 13.03
97669.39/3059.24 c Finding binary XORs T: 0.15 s found: 25
98327.88/3079.80 c N dy 2977 1771225 97922 31062 724389 164519 524574 6327211 12.12 13.50
99034.88/3101.97 c Finding binary XORs T: 0.15 s found: 16
99337.97/3111.43 c N dy 3061 1791408 97919 31062 731048 128948 524568 3321471 12.11 12.77
100357.66/3143.33 c N dy 3158 1811409 97918 31062 731195 148841 524568 4736962 12.12 15.54
100610.18/3151.22 c Finding binary XORs T: 0.15 s found: 12
101588.30/3181.83 c N dy 3275 1831929 97913 31062 750892 169252 524560 6550812 12.15 12.90
102633.54/3214.53 c N dy 3374 1852009 97912 31062 751057 131632 524560 3287507 12.16 12.81
103576.54/3244.00 c N dy 3454 1872137 97911 31062 751198 151590 524560 4665759 12.16 12.91
104474.70/3272.15 c Finding binary XORs T: 0.16 s found: 8
104586.58/3275.72 c N dy 3572 1892139 97907 31056 762425 171437 524096 6326132 12.21 42.24
105430.47/3302.12 c Finding binary XORs T: 0.15 s found: 24
105673.41/3309.70 c N dy 3676 1912607 97898 31056 770974 133538 524081 3150841 12.23 13.56
106379.81/3331.77 c Finding binary XORs T: 0.16 s found: 25
106712.26/3342.16 c N dy 3785 1932674 97865 31048 793348 153402 523834 4679679 12.26 30.65
107674.41/3372.23 c N dy 3897 1952727 97850 31048 797400 173352 523834 6211048 12.30 12.96
108805.25/3407.62 c N dy 3993 1973808 97835 31048 797774 134419 523834 2958226 12.32 13.18
108888.23/3410.22 c Finding binary XORs T: 0.15 s found: 44
109917.12/3442.48 c N dy 4070 1993864 97819 31034 802203 154098 523381 4223087 12.31 13.96
111094.00/3479.22 c N dy 4180 2013989 97819 31034 802368 174083 523381 5852708 12.34 13.03
112231.35/3514.84 c N dy 4267 2034122 97798 31034 804542 194012 523381 7261429 12.33 13.25
112717.23/3530.06 c Finding binary XORs T: 0.16 s found: 42
113340.55/3549.62 c N dy 4361 2054391 97791 31034 825312 153805 523343 4155763 12.35 13.67
113942.07/3568.35 c Finding binary XORs T: 0.16 s found: 2
114465.72/3584.75 c N dy 4437 2074751 97789 31030 825285 173959 522999 5612715 12.34 13.19
115622.84/3620.91 c N dy 4536 2094787 97789 31030 826834 193839 522999 7165058 12.35 30.07
116811.94/3658.10 c N dy 4638 2115484 97773 31030 829430 152783 522999 3857713 12.37 13.13
117915.33/3692.65 c N dy 4729 2135653 97773 31030 829610 172787 522999 5257731 12.36 13.09
119114.00/3730.19 c N dy 4842 2155701 97769 31030 829741 192744 522999 6945647 12.41 16.94
120033.98/3758.93 c Finding binary XORs T: 0.16 s found: 18
120289.66/3766.97 c N dy 4968 2176647 97768 31030 823818 150720 522975 3382997 12.43 13.13
121075.98/3791.50 c Finding binary XORs T: 0.16 s found: 29
121466.58/3803.76 c N dy 5042 2197339 97759 31030 847596 171223 522965 4919521 12.41 13.07
122064.32/3822.48 c S st 5105 2210699 97751 31030 848932 184508 522965 5962627 12.42 11.09
122124.43/3824.37 c S st 5105 2211200 97751 31030 848932 185009 522965 6015221 12.42 no data
122130.82/3824.61 c x-sub: 65 x-cut: 0 vfix: 0 v-elim: 210 locsubst: 120 time: 0.24
122939.54/3849.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 794 BRemL: 100 BRemN: 0 P: 200.0M T: 25.25
122955.52/3850.32 c Replacing 268 vars Replaced 39903 lits Time: 0.44 s
122958.71/3850.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
122961.91/3850.57 c bin-w-bin subsume rem 14783 bins time: 0.15 s
122971.50/3850.87 c subs with bin: 198 lits-rem: 350 v-fix: 0 time: 0.29 s
123562.87/3869.40 c Subs w/ non-existent bins: 0 l-rem: 19 v-fix: 0 done: 33426 time: 18.53 s
123576.28/3869.77 c Removed useless bin: 138 fixed: 0 props: 20.00M time: 0.37 s
123591.63/3870.23 c lits-rem: 0 cl-subs: 3 v-elim: 129 v-fix: 0 time: 0.47 s
123716.88/3874.13 c subs with bin: 736 lits-rem: 11292 v-fix: 0 time: 3.28 s
123936.84/3881.02 c lits-rem: 17134 cl-subs: 1800 v-elim: 0 v-fix: 0 time: 6.86 s
123963.02/3881.84 c asymm cl-useful: 4/489/30919 lits-rem:7 time: 0.82
123966.25/3881.92 c calculated reachability. Time: 0.01
123966.25/3881.93 c N dy 5105 2211200 97167 30918 830523 182336 520498 5890612 12.42 no data
124298.07/3892.35 c Finding binary XORs T: 0.16 s found: 8
125221.85/3921.27 c N dy 5210 2232285 97151 30912 849746 203210 520037 7463534 12.43 13.20
126362.95/3956.92 c N dy 5301 2252914 97151 30912 853509 158714 520037 3768753 12.44 13.15
126455.67/3959.83 c Finding binary XORs T: 0.16 s found: 15
127424.15/3990.18 c N dy 5396 2272953 97151 30912 861578 178639 520037 5447313 12.46 18.70
127711.84/3999.10 c Finding binary XORs T: 0.16 s found: 0
128396.52/4020.55 c N dy 5493 2293088 97151 30912 880540 198693 520037 7101764 12.46 13.12
128555.72/4025.52 c Finding binary XORs T: 0.16 s found: 0
129530.64/4056.09 c N dy 5612 2313414 97151 30912 881368 218887 520037 8901027 12.51 13.56
129706.38/4061.59 c Finding binary XORs T: 0.16 s found: 4
130789.98/4095.42 c N dy 5712 2334305 97055 30740 910977 174692 518626 4891601 12.51 13.44
131886.39/4129.79 c Finding binary XORs T: 0.16 s found: 3
131934.34/4131.22 c N dy 5795 2354996 97049 30740 923129 195221 518616 6695885 12.55 13.26
133171.34/4169.90 c N dy 5909 2375012 97016 30740 928894 215134 518616 8653278 12.58 18.73
133893.75/4192.56 c Finding binary XORs T: 0.16 s found: 85
134344.48/4206.69 c N dy 5995 2395052 97005 30740 929126 169139 518562 4173697 12.58 22.05
135571.91/4245.09 c N dy 6086 2415140 97002 30740 929262 189107 518562 5892547 12.58 13.97
135780.31/4251.59 c Finding binary XORs T: 0.16 s found: 24
136575.64/4276.47 c N dy 6156 2435229 96991 30740 940257 208992 518546 7147080 12.56 14.63
137925.16/4318.65 c N dy 6252 2455524 96991 30740 940403 229124 518546 8872821 12.57 13.34
139056.09/4354.10 c N dy 6339 2475596 96991 30740 940556 182903 518546 5036063 12.57 13.25
140229.22/4390.73 c Finding binary XORs T: 0.16 s found: 6
140277.78/4392.23 c N dy 6434 2495630 96983 30740 948022 202842 518534 6845157 12.59 20.52
141565.34/4432.51 c N dy 6560 2515731 96974 30740 954841 222860 518534 8704156 12.62 32.60
141792.91/4439.69 c Finding binary XORs T: 0.16 s found: 7
142930.22/4475.23 c N dy 6682 2536073 96974 30736 953371 175728 517999 4182235 12.65 13.35
144215.80/4515.49 c N dy 6788 2556186 96971 30736 958823 195746 517999 6243809 12.66 13.34
144589.20/4527.16 c Finding binary XORs T: 0.16 s found: 17
145544.95/4557.09 c N dy 6880 2576196 96969 30736 961076 215560 517993 8058585 12.68 13.50
146385.59/4583.39 c Finding binary XORs T: 0.17 s found: 0
146801.14/4596.38 c N dy 6973 2596256 96968 30736 968997 235494 517991 9701630 12.68 13.54
148124.47/4637.76 c N dy 7070 2616508 96968 30736 969095 187322 517991 4880980 12.70 13.37
149352.56/4676.17 c N dy 7155 2636624 96968 30736 969198 207330 517991 6580858 12.70 13.91
150748.84/4719.80 c N dy 7275 2656710 96968 30736 969329 227312 517991 8508215 12.73 18.84
152127.14/4762.92 c N dy 7373 2681700 96968 30736 973010 182796 517991 3992129 12.73 13.51
152542.08/4775.95 c Finding binary XORs T: 0.16 s found: 4
153252.27/4798.14 c N dy 7477 2701742 96968 30736 978561 202725 517991 5645029 12.75 13.51
153705.59/4812.32 c S st 7523 2711200 96967 30736 978593 212132 517991 6309349 12.75 12.99
153740.75/4813.48 c S st 7523 2711704 96967 30736 978594 212634 517991 6357770 12.75 no data
153750.33/4813.72 c x-sub: 56 x-cut: 0 vfix: 0 v-elim: 96 locsubst: 30 time: 0.24
154444.00/4835.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2559 BRemL: 179 BRemN: 0 P: 200.3M T: 21.75
154456.78/4835.89 c Replacing 175 vars Replaced 16167 lits Time: 0.40 s
154463.17/4836.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
154466.38/4836.17 c bin-w-bin subsume rem 17842 bins time: 0.17 s
154475.97/4836.48 c subs with bin: 176 lits-rem: 237 v-fix: 0 time: 0.31 s
154971.39/4851.92 c Subs w/ non-existent bins: 2 l-rem: 18 v-fix: 0 done: 30728 time: 15.42 s
154984.17/4852.30 c Removed useless bin: 27 fixed: 0 props: 20.00M time: 0.38 s
154996.95/4852.79 c lits-rem: 0 cl-subs: 2 v-elim: 88 v-fix: 0 time: 0.49 s
155115.83/4856.44 c subs with bin: 470 lits-rem: 10921 v-fix: 0 time: 3.02 s
155307.03/4862.48 c lits-rem: 13764 cl-subs: 1756 v-elim: 0 v-fix: 0 time: 6.02 s
155332.58/4863.27 c asymm cl-useful: 9/493/30643 lits-rem:9 time: 0.79
155335.80/4863.36 c calculated reachability. Time: 0.01
155335.80/4863.36 c N dy 7523 2711704 96618 30643 960264 210215 516136 6239284 12.75 no data
155383.75/4864.86 c Finding binary XORs T: 0.16 s found: 0
156496.11/4899.69 c Finding binary XORs T: 0.16 s found: 1
156560.67/4901.66 c N dy 7619 2731777 96612 30642 984379 230187 516122 8337440 12.76 70.23
157432.66/4928.93 c Finding binary XORs T: 0.16 s found: 0
157739.48/4938.54 c N dy 7727 2752122 96602 30642 995455 250392 516114 10186900 12.78 13.57
158672.86/4967.70 c Finding binary XORs T: 0.16 s found: 1
158835.89/4972.80 c N dy 7831 2772377 96597 30642 1003222 198285 516108 5165348 12.78 13.60
159852.34/5004.62 c N dy 7939 2792704 96575 30642 1007375 218500 516108 6873457 12.80 13.53
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400863-1307075013/watcher-3400863-1307075013 -o /tmp/evaluation-result-3400863-1307075013/solver-3400863-1307075013 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400863-1307075013.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.48 31.53 31.65 1/413 12431
/proc/meminfo: memFree=263042684/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=338000 CPUtime=0.85 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) R 12429 12431 12405 0 -1 4202496 437 0 0 0 85 0 0 0 22 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451254 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/12431/statm: 84500 377 297 95 0 79482 0
[pid=12431/tid=12432] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12432/stat : 12432 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12431/tid=12433] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12433/stat : 12433 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12434/stat : 12434 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12435/stat : 12435 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12436/stat : 12436 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12437/stat : 12437 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12438/stat : 12438 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451248 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12439/stat : 12439 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12440/stat : 12440 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12441/stat : 12441 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451254 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12442/stat : 12442 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12443/stat : 12443 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12444/stat : 12444 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12445/stat : 12445 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=338000 CPUtime=0 cores=0-31
/proc/12431/task/12446/stat : 12446 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=338000 CPUtime=0 cores=0-31
/proc/12431/task/12447/stat : 12447 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12448/stat : 12448 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451248 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12449/stat : 12449 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12450/stat : 12450 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12431/tid=12451] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12451/stat : 12451 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 13413845 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12431/tid=12452] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12452/stat : 12452 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12431/tid=12453] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12453/stat : 12453 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451240 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12431/tid=12455] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12455/stat : 12455 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12431/tid=12456] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12456/stat : 12456 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451240 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12431/tid=12457] ppid=12429 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12431/task/12457/stat : 12457 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12431/tid=12458] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12458/stat : 12458 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12431/tid=12459] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12459/stat : 12459 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451244 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12431/tid=12460] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12460/stat : 12460 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12431/tid=12461] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12461/stat : 12461 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12431/tid=12462] ppid=12429 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12431/task/12462/stat : 12462 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 13413846 346112000 377 268435456000 4194304 4580107 140734527227184 18446744073709551615 47738804451250 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0922909 s]
/proc/loadavg: 29.48 31.53 31.65 1/413 12431
/proc/meminfo: memFree=263042684/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=797972 CPUtime=2.3 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) D 12429 12431 12405 0 -1 4202496 7934 0 0 0 173 57 0 0 18 0 32 0 13413845 817123328 7770 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/12431/statm: 199493 7831 330 95 0 194475 0
[pid=12431/tid=12432] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12432/stat : 12432 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 201 0 0 0 5 1 0 0 25 0 32 0 13413845 817123328 7834 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12431/tid=12433] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12433/stat : 12433 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 278 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 7846 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12434/stat : 12434 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 268 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 7877 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12435/stat : 12435 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 217 0 0 0 5 1 0 0 20 0 32 0 13413845 817123328 7906 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12436/stat : 12436 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 251 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 7911 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12437/stat : 12437 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 265 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 7941 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12438/stat : 12438 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 238 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 7944 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12439/stat : 12439 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 270 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 7971 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12440/stat : 12440 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 222 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 7978 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12441/stat : 12441 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 231 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 8005 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12442/stat : 12442 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 238 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 8012 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12443/stat : 12443 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 256 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 8027 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12444/stat : 12444 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 226 0 0 0 5 1 0 0 21 0 32 0 13413845 817123328 8042 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=797972 CPUtime=0.06 cores=0-31
/proc/12431/task/12445/stat : 12445 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 226 0 0 0 5 1 0 0 18 0 32 0 13413845 817123328 8055 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=797972 CPUtime=0.01 cores=0-31
/proc/12431/task/12446/stat : 12446 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 271 0 0 0 0 1 0 0 18 0 32 0 13413845 817123328 8071 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=797972 CPUtime=0.04 cores=0-31
/proc/12431/task/12447/stat : 12447 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 282 0 0 0 3 1 0 0 18 0 32 0 13413845 817123328 8071 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=798108 CPUtime=0.05 cores=0-31
/proc/12431/task/12448/stat : 12448 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 216 0 0 0 4 1 0 0 18 0 32 0 13413845 817262592 8078 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=929180 CPUtime=0.06 cores=0-31
/proc/12431/task/12449/stat : 12449 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 224 0 0 0 4 2 0 0 18 0 32 0 13413845 951480320 8092 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=929180 CPUtime=0.06 cores=0-31
/proc/12431/task/12450/stat : 12450 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 206 0 0 0 5 1 0 0 22 0 32 0 13413845 951480320 8107 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12431/tid=12451] ppid=12429 vsize=929180 CPUtime=0.07 cores=0-31
/proc/12431/task/12451/stat : 12451 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 215 0 0 0 5 2 0 0 22 0 32 0 13413845 951480320 8107 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12431/tid=12452] ppid=12429 vsize=863696 CPUtime=0.06 cores=0-31
/proc/12431/task/12452/stat : 12452 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 250 0 0 0 5 1 0 0 23 0 32 0 13413846 884424704 8115 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12431/tid=12453] ppid=12429 vsize=863696 CPUtime=0.06 cores=0-31
/proc/12431/task/12453/stat : 12453 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 241 0 0 0 5 1 0 0 18 0 32 0 13413846 884424704 8124 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=863696 CPUtime=0.07 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 237 0 0 0 5 2 0 0 23 0 32 0 13413846 884424704 8134 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12431/tid=12455] ppid=12429 vsize=863696 CPUtime=0.06 cores=0-31
/proc/12431/task/12455/stat : 12455 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 276 0 0 0 5 1 0 0 23 0 32 0 13413846 884424704 8136 268435456000 4194304 4580107 140734527227184 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12431/tid=12456] ppid=12429 vsize=863644 CPUtime=0.07 cores=0-31
/proc/12431/task/12456/stat : 12456 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 223 0 0 0 5 2 0 0 23 0 32 0 13413846 884371456 8145 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12431/tid=12457] ppid=12429 vsize=863644 CPUtime=0.06 cores=0-31
/proc/12431/task/12457/stat : 12457 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 272 0 0 0 5 1 0 0 18 0 32 0 13413846 884371456 8163 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12431/tid=12458] ppid=12429 vsize=863644 CPUtime=0.06 cores=0-31
/proc/12431/task/12458/stat : 12458 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 282 0 0 0 5 1 0 0 23 0 32 0 13413846 884371456 8172 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12431/tid=12459] ppid=12429 vsize=863644 CPUtime=0.06 cores=0-31
/proc/12431/task/12459/stat : 12459 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 224 0 0 0 5 1 0 0 24 0 32 0 13413846 884371456 8182 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12431/tid=12460] ppid=12429 vsize=863644 CPUtime=0.07 cores=0-31
/proc/12431/task/12460/stat : 12460 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 217 0 0 0 5 2 0 0 24 0 32 0 13413846 884371456 8209 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12431/tid=12461] ppid=12429 vsize=863644 CPUtime=0.06 cores=0-31
/proc/12431/task/12461/stat : 12461 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 277 0 0 0 5 1 0 0 18 0 32 0 13413846 884371456 8227 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12431/tid=12462] ppid=12429 vsize=863644 CPUtime=0.06 cores=0-31
/proc/12431/task/12462/stat : 12462 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 220 0 0 0 5 1 0 0 24 0 32 0 13413846 884371456 8271 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 797972
[startup+0.106772 s]
/proc/loadavg: 29.48 31.53 31.65 1/413 12431
/proc/meminfo: memFree=263042684/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=1060392 CPUtime=2.43 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) D 12429 12431 12405 0 -1 4202496 9506 0 0 0 174 69 0 0 17 0 32 0 13413845 1085841408 9342 268435456000 4194304 4580107 140734527227184 18446744073709551615 4349556 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/12431/statm: 265098 9352 331 95 0 260080 0
[pid=12431/tid=12432] ppid=12429 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/12431/task/12432/stat : 12432 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 256 0 0 0 5 2 0 0 25 0 32 0 13413845 1085841408 9359 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12431/tid=12433] ppid=12429 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/12431/task/12433/stat : 12433 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 318 0 0 0 6 1 0 0 18 0 32 0 13413845 1085841408 9372 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=1060392 CPUtime=0.07 cores=0-31
/proc/12431/task/12434/stat : 12434 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 321 0 0 0 5 2 0 0 18 0 32 0 13413845 1085841408 9372 268435456000 4194304 4580107 140734527227184 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=1125928 CPUtime=0.07 cores=0-31
/proc/12431/task/12435/stat : 12435 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 277 0 0 0 5 2 0 0 19 0 32 0 13413845 1152950272 9373 268435456000 4194304 4580107 140734527227184 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=1125928 CPUtime=0.07 cores=0-31
/proc/12431/task/12436/stat : 12436 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 283 0 0 0 5 2 0 0 17 0 32 0 13413845 1152950272 9383 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=1125928 CPUtime=0.07 cores=0-31
/proc/12431/task/12437/stat : 12437 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 303 0 0 0 5 2 0 0 17 0 32 0 13413845 1152950272 9389 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446604465440947680 0 0 -1 4 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12438/stat : 12438 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 292 0 0 0 5 2 0 0 18 0 32 0 13413845 1153093632 9391 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=1126068 CPUtime=0.06 cores=0-31
/proc/12431/task/12439/stat : 12439 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 313 0 0 0 5 1 0 0 21 0 32 0 13413845 1153093632 9401 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12440/stat : 12440 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 271 0 0 0 5 2 0 0 21 0 32 0 13413845 1153093632 9402 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446744071566929104 0 0 -1 3 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12441/stat : 12441 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 268 0 0 0 5 2 0 0 21 0 32 0 13413845 1153093632 9417 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446744071566933464 0 0 -1 9 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12442/stat : 12442 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 270 0 0 0 5 2 0 0 17 0 32 0 13413845 1153093632 9417 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446744071566927104 0 0 -1 10 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12443/stat : 12443 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 302 0 0 0 5 2 0 0 21 0 32 0 13413845 1153093632 9428 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12444/stat : 12444 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 271 0 0 0 5 2 0 0 21 0 32 0 13413845 1153093632 9430 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446744071566929624 0 0 -1 13 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=1126068 CPUtime=0.07 cores=0-31
/proc/12431/task/12445/stat : 12445 (strangenight2-m) S 12429 12431 12405 0 -1 4202560 267 0 0 0 5 2 0 0 17 0 32 0 13413845 1153093632 9436 268435456000 4194304 4580107 140734527227184 18446744073709551615 258651060958 0 0 4096 2 18446604483393641952 0 0 -1 31 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=1126068 CPUtime=0.01 cores=0-31
/proc/12431/task/12446/stat : 12446 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 307 0 0 0 0 1 0 0 17 0 32 0 13413845 1153093632 9444 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=1126068 CPUtime=0.04 cores=0-31
/proc/12431/task/12447/stat : 12447 (strangenight2-m) D 12429 12431 12405 0 -1 4202560 313 0 0 0 3 1 0 0 17 0 32 0 13413845 1153093632 9452 268435456000 4194304 4580107 140734527227184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=1126068 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/12431/task/12434/stat : 12434 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 553892 0 0 0 494295 542 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=21511736 CPUtime=4959.26 cores=0-31
/proc/12431/task/12435/stat : 12435 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 532595 0 0 0 495544 382 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4230286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=21511736 CPUtime=4957.32 cores=0-31
/proc/12431/task/12436/stat : 12436 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 421201 0 0 0 495326 406 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=21511736 CPUtime=4956.33 cores=0-31
/proc/12431/task/12437/stat : 12437 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 496502 0 0 0 495136 497 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=21511736 CPUtime=4956.52 cores=0-31
/proc/12431/task/12438/stat : 12438 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 419567 0 0 0 495149 503 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=21511736 CPUtime=4958.57 cores=0-31
/proc/12431/task/12439/stat : 12439 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 449134 0 0 0 495410 447 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=21511736 CPUtime=4949.21 cores=0-31
/proc/12431/task/12440/stat : 12440 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 515775 0 0 0 494440 481 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=21511736 CPUtime=4957.23 cores=0-31
/proc/12431/task/12441/stat : 12441 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 672715 0 0 0 495230 493 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=21511736 CPUtime=4956.64 cores=0-31
/proc/12431/task/12442/stat : 12442 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 516118 0 0 0 495174 490 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=21511736 CPUtime=4957.84 cores=0-31
/proc/12431/task/12443/stat : 12443 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 431125 0 0 0 495362 422 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=21511736 CPUtime=4958.01 cores=0-31
/proc/12431/task/12444/stat : 12444 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 420249 0 0 0 495388 413 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=21511736 CPUtime=4927.51 cores=0-31
/proc/12431/task/12445/stat : 12445 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 535184 0 0 0 492268 483 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=21511736 CPUtime=4957.89 cores=0-31
/proc/12431/task/12446/stat : 12446 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 687192 0 0 0 495295 494 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=21511736 CPUtime=4956.82 cores=0-31
/proc/12431/task/12447/stat : 12447 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 476295 0 0 0 495203 479 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292057 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=21511736 CPUtime=4887.12 cores=0-31
/proc/12431/task/12448/stat : 12448 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 773270 0 0 0 488164 548 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=21511736 CPUtime=4956.43 cores=0-31
/proc/12431/task/12449/stat : 12449 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 476978 0 0 0 495190 453 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4497208 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=21511736 CPUtime=4956.84 cores=0-31
/proc/12431/task/12450/stat : 12450 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 623862 0 0 0 495208 476 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12431/tid=12451] ppid=12429 vsize=21511736 CPUtime=4951.13 cores=0-31
/proc/12431/task/12451/stat : 12451 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 560065 0 0 0 494593 520 0 0 25 0 32 0 13413845 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12431/tid=12452] ppid=12429 vsize=21511736 CPUtime=4957.61 cores=0-31
/proc/12431/task/12452/stat : 12452 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 640597 0 0 0 495304 457 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12431/tid=12453] ppid=12429 vsize=21511736 CPUtime=4954.43 cores=0-31
/proc/12431/task/12453/stat : 12453 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 565301 0 0 0 494940 503 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=21511736 CPUtime=4957.08 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 421354 0 0 0 495235 473 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12431/tid=12455] ppid=12429 vsize=21511736 CPUtime=4945.77 cores=0-31
/proc/12431/task/12455/stat : 12455 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 580246 0 0 0 494058 519 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12431/tid=12456] ppid=12429 vsize=21511736 CPUtime=4956.98 cores=0-31
/proc/12431/task/12456/stat : 12456 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 695050 0 0 0 495135 563 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12431/tid=12457] ppid=12429 vsize=21511736 CPUtime=4959 cores=0-31
/proc/12431/task/12457/stat : 12457 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 536446 0 0 0 495464 436 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12431/tid=12458] ppid=12429 vsize=21511736 CPUtime=4956.46 cores=0-31
/proc/12431/task/12458/stat : 12458 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 434714 0 0 0 495162 484 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12431/tid=12459] ppid=12429 vsize=21511736 CPUtime=4956.91 cores=0-31
/proc/12431/task/12459/stat : 12459 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 601100 0 0 0 495132 559 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295075 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12431/tid=12460] ppid=12429 vsize=21511736 CPUtime=4959.88 cores=0-31
/proc/12431/task/12460/stat : 12460 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 677778 0 0 0 495482 506 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12431/tid=12461] ppid=12429 vsize=21511736 CPUtime=4953.93 cores=0-31
/proc/12431/task/12461/stat : 12461 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 594850 0 0 0 494843 550 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12431/tid=12462] ppid=12429 vsize=21511736 CPUtime=4957.71 cores=0-31
/proc/12431/task/12462/stat : 12462 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 1587751 0 0 0 495062 709 0 0 25 0 32 0 13413846 22028017664 4324289 268435456000 4194304 4580107 140734527227184 18446744073709551615 4316424 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158500
Current children cumulated vsize (KiB) 21511736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5009.3 s]
/proc/loadavg: 32.08 32.07 32.09 33/445 12609
/proc/meminfo: memFree=245605776/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=21781200 CPUtime=160004 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) R 12429 12431 12405 0 -1 4202496 18772356 0 0 0 15984547 15836 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/12431/statm: 5445300 4351184 379 95 0 5440282 0
[pid=12431/tid=12432] ppid=12429 vsize=21781200 CPUtime=5005.67 cores=0-31
/proc/12431/task/12432/stat : 12432 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 529986 0 0 0 500115 452 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12431/tid=12433] ppid=12429 vsize=21781200 CPUtime=5006.25 cores=0-31
/proc/12431/task/12433/stat : 12433 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 901155 0 0 0 500065 560 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=21781200 CPUtime=4995.4 cores=0-31
/proc/12431/task/12434/stat : 12434 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 555898 0 0 0 498996 544 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4339642 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=21781200 CPUtime=5006.29 cores=0-31
/proc/12431/task/12435/stat : 12435 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 533491 0 0 0 500245 384 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=21781200 CPUtime=5004.35 cores=0-31
/proc/12431/task/12436/stat : 12436 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 423502 0 0 0 500027 408 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=21781200 CPUtime=5003.35 cores=0-31
/proc/12431/task/12437/stat : 12437 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 498574 0 0 0 499836 499 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=21781200 CPUtime=5003.54 cores=0-31
/proc/12431/task/12438/stat : 12438 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 421758 0 0 0 499850 504 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=21781200 CPUtime=5005.61 cores=0-31
/proc/12431/task/12439/stat : 12439 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 451405 0 0 0 500112 449 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=21781200 CPUtime=4996.19 cores=0-31
/proc/12431/task/12440/stat : 12440 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 517972 0 0 0 499136 483 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12431/tid=12441] ppid=12429 vsize=21781200 CPUtime=5004.25 cores=0-31
/proc/12431/task/12441/stat : 12441 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 674090 0 0 0 499931 494 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12431/tid=12442] ppid=12429 vsize=21781200 CPUtime=5003.66 cores=0-31
/proc/12431/task/12442/stat : 12442 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 517954 0 0 0 499874 492 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12431/tid=12443] ppid=12429 vsize=21781200 CPUtime=5004.87 cores=0-31
/proc/12431/task/12443/stat : 12443 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 431125 0 0 0 500065 422 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12431/tid=12444] ppid=12429 vsize=21781200 CPUtime=5005.04 cores=0-31
/proc/12431/task/12444/stat : 12444 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 422407 0 0 0 500089 415 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12431/tid=12445] ppid=12429 vsize=21781200 CPUtime=4973.2 cores=0-31
/proc/12431/task/12445/stat : 12445 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 535476 0 0 0 496836 484 0 0 25 0 32 0 13413845 22303948800 4351184 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=12431/tid=12446] ppid=12429 vsize=21781200 CPUtime=5004.92 cores=0-31
/proc/12431/task/12446/stat : 12446 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 687927 0 0 0 499997 495 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12431/tid=12447] ppid=12429 vsize=21781200 CPUtime=5003.85 cores=0-31
/proc/12431/task/12447/stat : 12447 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 478001 0 0 0 499904 481 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12431/tid=12448] ppid=12429 vsize=21781200 CPUtime=4934.15 cores=0-31
/proc/12431/task/12448/stat : 12448 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 774310 0 0 0 492867 548 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295047 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12431/tid=12449] ppid=12429 vsize=21781200 CPUtime=5003.46 cores=0-31
/proc/12431/task/12449/stat : 12449 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 477908 0 0 0 499892 454 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12431/tid=12450] ppid=12429 vsize=21781200 CPUtime=5003.88 cores=0-31
/proc/12431/task/12450/stat : 12450 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 630191 0 0 0 499909 479 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12431/tid=12451] ppid=12429 vsize=21781200 CPUtime=4998.16 cores=0-31
/proc/12431/task/12451/stat : 12451 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 561816 0 0 0 499294 522 0 0 25 0 32 0 13413845 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12431/tid=12452] ppid=12429 vsize=21781200 CPUtime=5004.64 cores=0-31
/proc/12431/task/12452/stat : 12452 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 642426 0 0 0 500005 459 0 0 25 0 32 0 13413846 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12431/tid=12453] ppid=12429 vsize=21781200 CPUtime=5001.47 cores=0-31
/proc/12431/task/12453/stat : 12453 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 566945 0 0 0 499642 505 0 0 25 0 32 0 13413846 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=21781200 CPUtime=5004.11 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 422765 0 0 0 499936 475 0 0 25 0 32 0 13413846 22303948800 4351185 268435456000 4194304 4580107 140734527227184 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12431/tid=12455] ppid=12429 vsize=21781200 CPUtime=4992.8 cores=0-31
/proc/12431/task/12455/stat : 12455 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 582241 0 0 0 498759 521 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=12431/tid=12456] ppid=12429 vsize=21781200 CPUtime=5004.01 cores=0-31
/proc/12431/task/12456/stat : 12456 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 695050 0 0 0 499838 563 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12431/tid=12457] ppid=12429 vsize=21781200 CPUtime=5006.01 cores=0-31
/proc/12431/task/12457/stat : 12457 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 536803 0 0 0 500165 436 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12431/tid=12458] ppid=12429 vsize=21781200 CPUtime=5003.49 cores=0-31
/proc/12431/task/12458/stat : 12458 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 436628 0 0 0 499862 487 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12431/tid=12459] ppid=12429 vsize=21781200 CPUtime=5003.95 cores=0-31
/proc/12431/task/12459/stat : 12459 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 601530 0 0 0 499835 560 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12431/tid=12460] ppid=12429 vsize=21781200 CPUtime=5006.91 cores=0-31
/proc/12431/task/12460/stat : 12460 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 680417 0 0 0 500182 509 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12431/tid=12461] ppid=12429 vsize=21781200 CPUtime=5000.96 cores=0-31
/proc/12431/task/12461/stat : 12461 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 597037 0 0 0 499544 552 0 0 25 0 32 0 13413846 22303948800 4351186 268435456000 4194304 4580107 140734527227184 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12431/tid=12462] ppid=12429 vsize=21781200 CPUtime=5004.73 cores=0-31
/proc/12431/task/12462/stat : 12462 (strangenight2-m) R 12429 12431 12405 0 -1 4202560 1590455 0 0 0 499762 711 0 0 25 0 32 0 13413846 22303948800 4351187 268435456000 4194304 4580107 140734527227184 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 21781200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5009.45 s]
/proc/loadavg: 32.08 32.07 32.09 33/445 12609
/proc/meminfo: memFree=245605776/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=0 CPUtime=160004 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) Z 12429 12431 12405 0 -1 4203548 18772367 0 0 0 15984569 15846 0 0 25 0 2 0 13413845 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/12431/statm: 0 0 0 0 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=0 CPUtime=5004.22 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4203588 422765 0 0 0 499937 485 0 0 25 0 2 0 13413846 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5010.2 s]
/proc/loadavg: 32.08 32.07 32.09 33/445 12609
/proc/meminfo: memFree=245605776/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=0 CPUtime=160005 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) Z 12429 12431 12405 0 -1 4203548 18772367 0 0 0 15984569 15921 0 0 25 0 2 0 13413845 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/12431/statm: 0 0 0 0 0 0 0
[pid=12431/tid=12454] ppid=12429 vsize=0 CPUtime=5004.97 cores=0-31
/proc/12431/task/12454/stat : 12454 (strangenight2-m) R 12429 12431 12405 0 -1 4203588 422765 0 0 0 499937 560 0 0 25 0 2 0 13413846 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5010.4 s]
/proc/loadavg: 32.08 32.07 32.09 2/416 12610
/proc/meminfo: memFree=262964856/264257624 swapFree=67054988/67111528
[pid=12431] ppid=12429 vsize=0 CPUtime=160005 cores=0-31
/proc/12431/stat : 12431 (strangenight2-m) Z 12429 12431 12405 0 -1 4203548 18772367 0 0 0 15984569 15942 0 0 25 0 1 0 13413845 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/12431/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.44
CPU time (s): 160005
CPU user time (s): 159846
CPU system time (s): 159.428
CPU usage (%): 3193.44
Max. virtual memory (cumulated for all children) (KiB): 22305824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159846
system time used= 159.428
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18772367
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= 1812148
involuntary context switches= 335889
runsolver used 30.5244 second user time and 109.877 second system time
The end
Begin job on node200 at 2011-06-03 06:23:35
IDJOB=3400863
IDBENCH=84248
IDSOLVER=1886
FILE ID=node200/3400863-1307075013
RUNJOBID= node200-1307075013-12419
PBS_JOBID= 13497836
Free space on /tmp= 61728 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400863-1307075013/watcher-3400863-1307075013 -o /tmp/evaluation-result-3400863-1307075013/solver-3400863-1307075013 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400863-1307075013.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 3fef216b3efe77c0f10ea0e0be664a94
RANDOM SEED=1353570859
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263043080 kB
Buffers: 82376 kB
Cached: 941444 kB
SwapCached: 8288 kB
Active: 118096 kB
Inactive: 923876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263043080 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 21064 kB
Writeback: 0 kB
AnonPages: 15212 kB
Mapped: 8416 kB
Slab: 87720 kB
PageTables: 4368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181724 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= 61724 MiB
End job on node200 at 2011-06-03 07:47:06