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-3400660-1306301982.cnf'
0.00/0.08 c -- header says num vars: 200308
0.00/0.08 c -- header says num clauses: 598619
83.77/5.44 c -- clauses added: 0 learnts, 598619 normals, 0 xors
83.77/5.44 c -- vars added 200308
83.77/5.44 c Parsing time: 0.86 s
83.77/5.44 c N st 0 0 200308 199539 399078 0 1396773 0 no data no data
146.41/7.58 c asymm cl-useful: 0/452/199522 lits-rem:0 time: 2.12
1391.89/46.58 c Flit: 11 Blit: 55 bXBeca: 0 bXProp: 171 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 38.99
1396.99/46.74 c Replacing 171 vars Replaced 3396 lits Time: 0.15 s
1428.72/48.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1430.49/48.52 c bin-w-bin subsume rem 0 bins time: 0.08 s
1434.85/48.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.20 s
1652.66/55.74 c Subs w/ non-existent bins: 17 l-rem: 0 v-fix: 15 done: 37169 time: 6.84 s
1668.22/56.26 c Removed useless bin: 0 fixed: 0 props: 20.07M time: 0.52 s
1801.93/60.85 c lits-rem: 0 cl-subs: 1430 v-elim: 66681 v-fix: 0 time: 3.16 s
1805.08/60.93 c Finding binary XORs T: 0.08 s found: 12
1808.20/61.01 c Replacing 12 vars Replaced 192 lits Time: 0.08 s
1814.44/61.21 c Finding non-binary XORs: 0.12 s (found: 7993, avg size: 3.0)
1814.44/61.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
1814.44/61.25 c calculated reachability. Time: 0.00
1817.62/61.30 c Calc default polars - time: 0.05 s pos: 1981 undec: 80072 neg: 118255
1817.62/61.30 c =========================================================================================
1817.62/61.30 c types(t): F = full restart, N = normal restart
1817.62/61.30 c types(t): S = simplification begin/end, E = solution found
1817.62/61.30 c restart types(rt): st = static, dy = dynamic
1817.62/61.30 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1817.62/61.30 c B st 0 0 133337 178626 248652 0 1156172 0 no data no data
2060.81/69.40 c N dy 11 5596 133337 178626 248690 5452 1156172 337097 24.65 26.71
2239.23/83.81 c N dy 16 12652 133274 178626 249610 12390 1156172 616336 17.19 18.65
2434.68/114.44 c N dy 21 17479 133272 178626 250945 17110 1156172 824216 15.30 16.12
2575.32/118.86 c N dy 28 21560 133267 178626 251840 11335 1156172 297575 14.71 15.77
2728.07/123.66 c F st 43 25000 133266 178626 251865 14684 1156172 477645 14.82 no data
2766.36/124.82 c Finding binary XORs T: 0.09 s found: 217
2827.09/126.77 c N st 45 25626 133266 177928 251064 15262 1151462 509218 14.82 no data
3044.43/133.56 c N dy 49 30001 133234 177928 252022 19455 1151462 721066 14.82 no data
3044.43/133.56 c S st 49 30001 133234 177928 252022 19455 1151462 721066 14.82 no data
3095.59/135.21 c S st 49 30502 133234 177928 252029 19945 1151462 747473 14.82 no data
3099.40/135.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
3958.59/162.12 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 118 Bins: 84534 BRemL: 60 BRemN: 0 P: 200.0M T: 26.83
3964.98/162.30 c Replacing 335 vars Replaced 11273 lits Time: 0.16 s
3968.21/162.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3971.38/162.52 c bin-w-bin subsume rem 635 bins time: 0.07 s
3974.58/162.70 c subs with bin: 826 lits-rem: 768 v-fix: 0 time: 0.18 s
4089.64/166.25 c Subs w/ non-existent bins: 499 l-rem: 2312 v-fix: 0 done: 55215 time: 3.55 s
4099.23/166.53 c Removed useless bin: 4 fixed: 0 props: 20.04M time: 0.28 s
4150.35/168.11 c lits-rem: 291 cl-subs: 1628 v-elim: 55935 v-fix: 0 time: 1.49 s
4154.17/168.23 c subs with bin: 58 lits-rem: 541 v-fix: 0 time: 0.08 s
4159.93/168.48 c lits-rem: 337 cl-subs: 266 v-elim: 0 v-fix: 0 time: 0.15 s
4198.29/169.68 c asymm cl-useful: 569/18585/207664 lits-rem:569 time: 1.19
4201.48/169.73 c calculated reachability. Time: 0.01
4201.48/169.73 c N dy 49 30502 76963 207664 155434 6990 1057764 228282 14.82 no data
4204.68/169.80 c Finding binary XORs T: 0.07 s found: 29
4372.88/175.63 c N dy 56 36022 76917 207664 158761 12278 1057764 445946 14.09 15.04
4602.87/191.56 c N dy 69 40071 76916 207664 159971 16190 1057764 594392 14.15 34.50
4647.68/195.19 c N dy 92 44459 76916 207664 159997 11724 1057764 400630 14.67 15.67
4812.18/204.91 c S st 101 45754 76916 207664 166792 12965 1057764 467143 14.78 no data
4840.95/205.84 c Finding binary XORs T: 0.07 s found: 349
4860.13/206.44 c S st 101 46259 76913 206458 165090 13342 1046310 492556 14.78 no data
4863.33/206.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
5431.14/224.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3962 BRemL: 46 BRemN: 0 P: 200.0M T: 17.89
5436.90/224.50 c Replacing 378 vars Replaced 15082 lits Time: 0.09 s
5440.09/224.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
5443.30/224.70 c bin-w-bin subsume rem 1407 bins time: 0.05 s
5446.49/224.85 c subs with bin: 1866 lits-rem: 222 v-fix: 0 time: 0.14 s
5472.05/225.64 c Subs w/ non-existent bins: 1503 l-rem: 7845 v-fix: 0 done: 76537 time: 0.79 s
5484.85/226.02 c Removed useless bin: 342 fixed: 0 props: 20.00M time: 0.38 s
5497.65/226.44 c lits-rem: 0 cl-subs: 293 v-elim: 854 v-fix: 0 time: 0.41 s
5501.46/226.60 c subs with bin: 159 lits-rem: 793 v-fix: 0 time: 0.11 s
5510.42/226.89 c lits-rem: 422 cl-subs: 237 v-elim: 0 v-fix: 0 time: 0.18 s
5558.37/228.39 c asymm cl-useful: 48/13819/203801 lits-rem:48 time: 1.50
5561.57/228.44 c calculated reachability. Time: 0.01
5561.57/228.44 c N dy 101 46259 75683 203801 160447 10200 1046302 329862 14.78 no data
5564.76/228.51 c Finding binary XORs T: 0.07 s found: 0
5718.17/233.32 c N dy 119 50521 75683 203801 160463 14285 1046302 492731 14.93 16.11
5900.37/239.05 c N dy 133 54546 75669 203801 164221 18044 1046300 655353 15.10 17.24
6034.63/243.21 c N dy 142 58880 75656 203801 165538 22279 1046300 818883 15.03 15.83
6159.28/247.11 c N dy 150 63464 75656 203801 165548 26760 1046300 1069838 14.79 15.59
6162.47/247.22 c Finding binary XORs T: 0.07 s found: 327
6351.05/253.14 c N dy 178 67560 75656 202773 148932 17124 1039549 510704 15.13 15.95
6392.61/254.44 c S st 181 69392 75656 202773 148933 18916 1039549 567327 15.03 11.11
6434.17/255.70 c S st 181 69893 75656 202773 148966 19379 1039549 589196 15.03 no data
6434.17/255.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
7095.78/276.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 10348 BRemL: 0 BRemN: 0 P: 200.0M T: 20.62
7098.98/276.51 c Replacing 332 vars Replaced 46567 lits Time: 0.09 s
7102.18/276.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7105.38/276.71 c bin-w-bin subsume rem 943 bins time: 0.04 s
7108.58/276.85 c subs with bin: 1303 lits-rem: 7 v-fix: 0 time: 0.13 s
7137.34/277.73 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 75324 time: 0.88 s
7150.13/278.20 c Removed useless bin: 12 fixed: 0 props: 16.04M time: 0.47 s
7162.90/278.54 c lits-rem: 4 cl-subs: 11 v-elim: 42 v-fix: 0 time: 0.33 s
7169.30/278.76 c subs with bin: 139 lits-rem: 1161 v-fix: 0 time: 0.14 s
7182.10/279.15 c lits-rem: 940 cl-subs: 633 v-elim: 0 v-fix: 0 time: 0.28 s
7233.23/280.78 c asymm cl-useful: 199/6601/201069 lits-rem:227 time: 1.63
7236.43/280.82 c calculated reachability. Time: 0.01
7236.43/280.83 c N dy 181 69893 75282 201068 156172 18069 1035063 551300 15.03 no data
7316.35/283.34 c Finding binary XORs T: 0.07 s found: 189
7440.99/287.26 c N dy 200 76130 75262 200566 174163 23636 1032078 833126 14.96 16.21
7649.41/293.74 c N dy 219 81046 75257 200566 174845 28322 1032077 1061599 15.05 32.51
7825.20/299.29 c N dy 236 86283 75255 200566 175819 33406 1032076 1266886 14.96 26.09
7907.71/301.88 c F st 240 87500 75253 200566 175827 17295 1032076 406956 14.91 no data
7914.06/302.01 c Replacing 189 vars Replaced 4554 lits Time: 0.09 s
8169.75/310.04 c N dy 246 92698 75061 200326 175550 21880 1030680 616567 14.91 no data
8393.43/317.10 c Finding binary XORs T: 0.07 s found: 89
8412.62/317.65 c N dy 269 99207 75056 200190 162534 27877 1029811 830790 14.96 16.18
8614.00/323.94 c S st 292 104841 75056 200190 170842 33421 1029811 1071495 14.98 9.15
8671.50/325.71 c S st 292 105344 75056 200190 170880 33881 1029811 1090747 14.98 no data
8671.50/325.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
9393.93/348.37 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 7 Bins: 4336 BRemL: 13 BRemN: 0 P: 200.1M T: 22.58
9400.32/348.52 c Replacing 96 vars Replaced 2969 lits Time: 0.14 s
9404.14/348.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
9407.33/348.74 c bin-w-bin subsume rem 1814 bins time: 0.05 s
9409.89/348.87 c subs with bin: 1505 lits-rem: 0 v-fix: 0 time: 0.13 s
9442.50/349.89 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 74958 time: 1.01 s
9454.64/350.27 c Removed useless bin: 2 fixed: 0 props: 11.59M time: 0.38 s
9467.43/350.62 c lits-rem: 0 cl-subs: 90 v-elim: 35 v-fix: 0 time: 0.35 s
9477.62/350.96 c subs with bin: 259 lits-rem: 1787 v-fix: 0 time: 0.23 s
9499.40/351.63 c lits-rem: 1840 cl-subs: 1012 v-elim: 0 v-fix: 0 time: 0.54 s
9553.72/353.30 c asymm cl-useful: 183/2240/198413 lits-rem:184 time: 1.67
9553.72/353.35 c calculated reachability. Time: 0.01
9553.72/353.35 c N dy 292 105344 74923 198413 172964 30460 1026311 942528 14.98 no data
9556.92/353.42 c Finding binary XORs T: 0.07 s found: 4
9844.57/362.43 c N dy 309 112754 74917 198413 189657 18913 1026311 389297 14.89 15.82
9847.77/362.55 c Finding binary XORs T: 0.07 s found: 99
10154.64/372.11 c N dy 336 120101 74910 198387 190510 25972 1026147 738603 15.18 15.98
10499.80/382.90 c N dy 371 127930 74905 198387 191628 33587 1026147 1124911 15.51 16.38
10822.67/393.06 c N dy 396 136262 74902 198387 192277 41737 1026146 1475099 15.50 16.32
11071.99/400.85 c Finding binary XORs T: 0.07 s found: 322
11247.80/406.32 c N dy 423 147604 74884 197724 171515 30886 1022054 743968 15.29 16.15
11532.26/415.27 c Finding binary XORs T: 0.07 s found: 63
11695.28/420.36 c N dy 464 157179 74873 197720 180990 40115 1022019 1198072 15.48 16.62
11720.87/421.14 c S st 466 158016 74873 197720 180992 40931 1022019 1231671 15.46 11.72
11778.40/422.90 c S st 466 158518 74873 197720 181004 41416 1022019 1256039 15.46 no data
11778.40/422.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
12574.29/447.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 60 Bins: 4493 BRemL: 7 BRemN: 0 P: 200.0M T: 24.86
12580.69/448.04 c Replacing 549 vars Replaced 19441 lits Time: 0.16 s
12583.88/448.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
12587.09/448.25 c bin-w-bin subsume rem 1435 bins time: 0.05 s
12590.28/448.38 c subs with bin: 2029 lits-rem: 55 v-fix: 0 time: 0.13 s
12625.44/449.43 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 74324 time: 1.05 s
12635.03/449.80 c Removed useless bin: 0 fixed: 0 props: 9.61M time: 0.37 s
12647.79/450.19 c lits-rem: 0 cl-subs: 124 v-elim: 75 v-fix: 0 time: 0.38 s
12660.57/450.56 c subs with bin: 304 lits-rem: 2009 v-fix: 0 time: 0.23 s
12686.12/451.31 c lits-rem: 1573 cl-subs: 1147 v-elim: 0 v-fix: 0 time: 0.62 s
12737.28/452.92 c asymm cl-useful: 5/2389/194407 lits-rem:5 time: 1.60
12737.28/452.97 c calculated reachability. Time: 0.01
12737.28/452.97 c N dy 466 158518 74249 194407 182250 36796 1013448 999016 15.46 no data
12836.37/456.10 c Finding binary XORs T: 0.07 s found: 437
13184.68/466.99 c N dy 500 168727 74220 193893 207305 24910 1010314 593310 15.46 16.56
13651.38/481.52 c N dy 534 180208 74215 193893 208180 36154 1010314 1108522 15.47 16.32
13654.58/481.66 c Finding binary XORs T: 0.07 s found: 289
14175.57/497.96 c N dy 584 191924 74193 193477 209573 47343 1008018 1607866 15.52 16.44
14498.43/508.10 c Finding binary XORs T: 0.08 s found: 387
14505.44/508.22 c Replacing 1113 vars Replaced 33927 lits Time: 0.12 s
14850.05/519.07 c N dy 615 206790 73055 191039 215779 39643 996401 1095120 15.27 16.33
15396.62/536.10 c N dy 648 221266 73033 191039 218843 31171 996400 587804 15.14 16.06
15399.82/536.24 c Finding binary XORs T: 0.08 s found: 469
16093.44/557.95 c N dy 698 236686 73007 190151 224360 45932 991801 1274426 15.09 16.29
16141.40/559.40 c S st 703 237778 73007 190151 224361 47012 991801 1330196 15.09 13.92
16166.97/560.20 c Finding binary XORs T: 0.08 s found: 209
16193.17/561.03 c S st 703 238280 73007 189818 224170 47350 990056 1341033 15.09 no data
16195.73/561.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
17068.95/588.48 c Flit: 2 Blit: 3 bXBeca: 0 bXProp: 24 Bins: 10383 BRemL: 1 BRemN: 0 P: 200.0M T: 27.35
17074.78/588.68 c Replacing 703 vars Replaced 26781 lits Time: 0.18 s
17081.14/588.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
17084.34/588.90 c bin-w-bin subsume rem 9534 bins time: 0.06 s
17087.53/589.05 c subs with bin: 3133 lits-rem: 53 v-fix: 0 time: 0.15 s
17119.50/590.02 c Subs w/ non-existent bins: 13 l-rem: 2 v-fix: 0 done: 72302 time: 0.95 s
17129.10/590.33 c Removed useless bin: 2 fixed: 0 props: 7.94M time: 0.31 s
17142.51/590.74 c lits-rem: 4 cl-subs: 52 v-elim: 136 v-fix: 0 time: 0.41 s
17154.67/591.16 c subs with bin: 343 lits-rem: 3387 v-fix: 0 time: 0.29 s
17174.44/591.81 c lits-rem: 1082 cl-subs: 971 v-elim: 0 v-fix: 0 time: 0.53 s
17234.59/593.64 c asymm cl-useful: 18/3478/185178 lits-rem:48 time: 1.83
17234.59/593.69 c calculated reachability. Time: 0.01
17234.59/593.69 c N dy 703 238280 72166 185168 221707 42276 978671 1054083 15.09 no data
17237.78/593.77 c Finding binary XORs T: 0.07 s found: 20
17397.60/598.76 c Finding binary XORs T: 0.08 s found: 807
17400.80/598.89 c Replacing 830 vars Replaced 28785 lits Time: 0.13 s
17960.17/616.35 c Finding binary XORs T: 0.08 s found: 158
18030.48/618.52 c N dy 741 253647 71262 181902 253016 36152 962301 719600 14.92 15.90
18740.02/640.71 c Finding binary XORs T: 0.08 s found: 351
18743.22/640.90 c N dy 787 269906 71237 181341 258253 51870 959653 1333941 14.80 48.71
19590.29/667.37 c N dy 850 287156 71200 181341 261787 44886 959653 900955 14.82 23.49
19852.39/675.52 c Finding binary XORs T: 0.08 s found: 756
19855.59/675.65 c Replacing 1273 vars Replaced 45033 lits Time: 0.13 s
20475.75/695.10 c N dy 903 305492 69902 177679 260082 62194 942868 1609669 14.74 60.10
20514.67/696.26 c F st 905 306250 69902 177679 260083 62941 942868 1636363 14.73 5.72
20520.49/696.42 c Replacing 2 vars Replaced 499 lits Time: 0.11 s
20820.94/705.84 c Finding binary XORs T: 0.08 s found: 455
21389.90/723.66 c N dy 959 325027 69873 176698 263009 57476 938677 1234295 14.73 15.84
21693.57/733.13 c Finding binary XORs T: 0.08 s found: 548
21696.77/733.26 c Replacing 1006 vars Replaced 32901 lits Time: 0.13 s
22486.93/757.95 c N dy 1021 345046 68834 173935 268501 51528 926604 813937 14.67 15.65
22933.82/771.97 c Finding binary XORs T: 0.08 s found: 504
23096.84/777.07 c S st 1066 357422 68810 172465 270065 63032 920766 1248438 14.61 no data
23138.40/778.37 c S st 1066 357923 68810 172465 270067 63530 920766 1265650 14.61 no data
23141.60/778.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
23969.47/804.35 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 75 Bins: 4962 BRemL: 56 BRemN: 0 P: 200.0M T: 25.88
23975.87/804.55 c Replacing 584 vars Replaced 31900 lits Time: 0.19 s
23982.26/804.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
23982.26/804.80 c bin-w-bin subsume rem 14064 bins time: 0.08 s
23988.66/804.95 c subs with bin: 2766 lits-rem: 118 v-fix: 0 time: 0.15 s
24030.81/806.24 c Subs w/ non-existent bins: 6 l-rem: 1 v-fix: 0 done: 68224 time: 1.29 s
24039.80/806.51 c Removed useless bin: 3 fixed: 0 props: 6.30M time: 0.28 s
24052.59/806.97 c lits-rem: 5 cl-subs: 86 v-elim: 245 v-fix: 0 time: 0.45 s
24066.00/807.37 c subs with bin: 438 lits-rem: 6974 v-fix: 0 time: 0.26 s
24084.55/807.93 c lits-rem: 1064 cl-subs: 1144 v-elim: 0 v-fix: 0 time: 0.45 s
24136.30/809.56 c asymm cl-useful: 1/345/168442 lits-rem:3 time: 1.63
24136.30/809.61 c calculated reachability. Time: 0.01
24136.30/809.61 c N dy 1066 357923 67979 168441 243083 58336 909830 1034933 14.61 no data
24298.70/814.62 c Finding binary XORs T: 0.08 s found: 583
25370.14/848.17 c N dy 1139 379327 67929 167210 251728 55114 904960 772127 14.55 15.34
25446.22/850.59 c Finding binary XORs T: 0.08 s found: 486
25452.62/850.72 c Replacing 1070 vars Replaced 35187 lits Time: 0.13 s
26123.88/871.73 c Finding binary XORs T: 0.08 s found: 417
26492.09/883.30 c N dy 1226 399366 66748 163677 261382 74119 889915 1504463 14.56 19.01
27578.31/917.28 c Finding binary XORs T: 0.08 s found: 734
27582.13/917.41 c Replacing 1161 vars Replaced 33991 lits Time: 0.13 s
27629.44/918.81 c N dy 1287 419773 65546 159732 249843 67307 872630 1015560 14.47 15.33
27894.75/927.21 c Finding binary XORs T: 0.08 s found: 403
28316.67/940.33 c Finding binary XORs T: 0.08 s found: 252
28773.76/954.65 c N dy 1331 439935 65502 157768 322669 86738 865866 1823045 14.34 15.44
29026.91/962.59 c Finding binary XORs T: 0.08 s found: 152
29032.66/962.75 c Replacing 808 vars Replaced 33131 lits Time: 0.16 s
29732.70/984.68 c Finding binary XORs T: 0.08 s found: 468
29982.01/992.48 c N dy 1412 460028 64655 154836 329854 80104 853994 1410546 14.34 15.35
31001.70/1024.39 c Finding binary XORs T: 0.08 s found: 473
31008.10/1024.57 c Replacing 942 vars Replaced 50458 lits Time: 0.18 s
31263.83/1032.59 c N dy 1492 480407 63685 152053 331358 99416 841984 2126003 14.36 15.42
32526.43/1072.05 c N dy 1544 500617 63668 152053 333533 91950 841982 1720268 14.23 15.08
32711.83/1077.90 c Finding binary XORs T: 0.08 s found: 605
33849.77/1113.43 c N dy 1617 520946 63489 150011 337694 83099 835156 1088607 14.22 15.08
33923.30/1115.77 c Finding binary XORs T: 0.08 s found: 571
33929.70/1115.90 c Replacing 1176 vars Replaced 34542 lits Time: 0.13 s
34901.42/1146.35 c S st 1687 536884 62231 146277 338589 98295 820100 1669591 14.21 10.74
34946.17/1147.73 c S st 1687 537387 62231 146277 338595 98788 820100 1689057 14.21 no data
34949.37/1147.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
35559.89/1166.92 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 177 Bins: 1104 BRemL: 3023 BRemN: 0 P: 200.0M T: 19.08
35566.91/1167.15 c Replacing 180 vars Replaced 79941 lits Time: 0.22 s
35572.66/1167.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
35575.86/1167.49 c bin-w-bin subsume rem 72357 bins time: 0.18 s
35582.26/1167.63 c subs with bin: 1584 lits-rem: 132 v-fix: 0 time: 0.14 s
35630.22/1169.22 c Subs w/ non-existent bins: 31 l-rem: 8 v-fix: 0 done: 62050 time: 1.58 s
35639.76/1169.44 c Removed useless bin: 33 fixed: 0 props: 4.78M time: 0.23 s
35655.76/1169.92 c lits-rem: 5 cl-subs: 275 v-elim: 479 v-fix: 0 time: 0.47 s
35669.17/1170.39 c subs with bin: 522 lits-rem: 12160 v-fix: 0 time: 0.29 s
35690.92/1171.01 c lits-rem: 1170 cl-subs: 1911 v-elim: 0 v-fix: 0 time: 0.51 s
35735.68/1172.50 c asymm cl-useful: 0/511/142424 lits-rem:0 time: 1.49
35739.50/1172.55 c calculated reachability. Time: 0.01
35739.50/1172.55 c N dy 1687 537387 61571 142424 258772 89163 807303 1151905 14.21 no data
35742.69/1172.63 c Finding binary XORs T: 0.07 s found: 298
36445.87/1194.70 c Finding binary XORs T: 0.08 s found: 646
36451.63/1194.84 c Replacing 944 vars Replaced 38764 lits Time: 0.14 s
36812.86/1206.20 c N dy 1732 557573 60564 139235 264050 107987 794212 1745903 14.12 15.68
37439.34/1225.79 c Finding binary XORs T: 0.08 s found: 601
37957.78/1241.99 c N dy 1780 577579 60491 137127 269445 100896 787812 1423177 14.02 21.67
38283.19/1252.16 c Finding binary XORs T: 0.08 s found: 372
38289.59/1252.30 c Replacing 973 vars Replaced 40714 lits Time: 0.14 s
39235.70/1281.98 c Finding binary XORs T: 0.08 s found: 378
39309.22/1284.29 c N dy 1841 597793 59465 133476 279787 116908 773210 2110741 13.97 14.85
40137.72/1310.17 c Finding binary XORs T: 0.08 s found: 750
40143.47/1310.32 c Replacing 1128 vars Replaced 50032 lits Time: 0.15 s
40654.92/1326.37 c Finding binary XORs T: 0.08 s found: 391
40785.98/1330.49 c N dy 1883 618253 58153 129011 299512 105672 756340 1553899 13.86 14.79
41377.32/1348.95 c Finding binary XORs T: 0.08 s found: 564
41383.72/1349.13 c Replacing 955 vars Replaced 67860 lits Time: 0.18 s
41971.86/1367.56 c N dy 1956 639185 57035 126405 313907 121878 746212 2330129 13.80 16.62
41978.26/1367.72 c Finding binary XORs T: 0.08 s found: 591
41981.45/1367.90 c Replacing 591 vars Replaced 42247 lits Time: 0.18 s
42285.09/1377.32 c Finding binary XORs T: 0.08 s found: 600
42288.32/1377.47 c Replacing 600 vars Replaced 29910 lits Time: 0.15 s
42566.95/1395.42 c Following stats are for *FIRST FINISHED THREAD ONLY*
42566.95/1395.42 c num threads : 32
42566.95/1395.42 c restarts : 2463
42566.95/1395.42 c dynamic restarts : 2439
42566.95/1395.42 c static restarts : 24
42566.95/1395.42 c full restarts : 3
42566.95/1395.42 c total simplify time : 11.78
42566.95/1395.42 c learnts DL2 : 0
42566.95/1395.42 c learnts size 2 : 1708463
42566.95/1395.42 c learnts size 1 : 10909 (5.45 % of vars)
42566.95/1395.42 c filedLit time : 81.70 (6.11 % time)
42566.95/1395.42 c v-elim SatELite : 124215 (62.01 % vars)
42566.95/1395.42 c SatELite time : 19.06 (1.43 % time)
42566.95/1395.42 c v-elim xor : 0 (0.00 % vars)
42566.95/1395.42 c xor elim time : 0.28 (0.02 % time)
42566.95/1395.42 c num binary xor trees : 2067
42566.95/1395.42 c binxor trees' crown : 18718 (9.06 leafs/tree)
42566.95/1395.42 c bin xor find time : 4.23
42566.95/1395.42 c OTF clause improved : 12247 (0.02 clauses/conflict)
42566.95/1395.42 c OTF impr. size diff : 15993 (1.31 lits/clause)
42566.95/1395.42 c OTF cl watch-shrink : 245811 (0.31 clauses/conflict)
42566.95/1395.42 c OTF cl watch-sh-lit : 864969 (3.52 lits/clause)
42566.95/1395.42 c tried to recurMin cls : 0 (0.00 % of conflicts)
42566.95/1395.42 c updated cache : 0 (nan lits/tried recurMin)
42566.95/1395.42 c unit cls recevied : 903 (8.28 % of units)
42566.95/1395.42 c unit cls sent : 92 (0.84 % of units)
42566.95/1395.42 c bin cls recevied : 632006
42566.95/1395.42 c bin cls sent : 16405
42566.95/1395.42 c clauses over max glue : 0 (0.00 % of all clauses)
42566.95/1395.42 c conflicts : 791659 (592.13 / sec)
42566.95/1395.42 c decisions : 5792558 (1.71 % random)
42566.95/1395.42 c bogo-props : 19912921425 (14894048.02 / sec)
42566.95/1395.42 c conflict literals : 34895419 (37.57 % deleted)
42566.95/1395.42 c Memory used : 12228.57 MB
42566.95/1395.42 c single-thread CPU time : 1336.97 s
42566.95/1395.42 c all-threads sum CPU time : 42465.89 s
42566.95/1395.42 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400660-1306301982/watcher-3400660-1306301982 -o /tmp/evaluation-result-3400660-1306301982/solver-3400660-1306301982 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400660-1306301982.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=338000 CPUtime=0.89 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) R 13481 13483 13457 0 -1 4202496 437 0 0 0 89 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 84500 377 297 95 0 79482 0
[pid=13483/tid=13484] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=338000 CPUtime=0 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=338000 CPUtime=0 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762418 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762416 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 741684705 346112000 377 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762412 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0982021 s]
/proc/loadavg: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=1127256 CPUtime=2.05 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) D 13481 13483 13457 0 -1 4202496 10704 0 0 0 145 60 0 0 18 0 32 0 741684705 1154310144 10543 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 281814 10558 334 95 0 276796 0
[pid=13483/tid=13484] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 268 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10566 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604498640199136 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 286 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10570 268435456000 4194304 4580107 140733376124448 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 433 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10583 268435456000 4194304 4580107 140733376124448 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10591 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10604 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 268 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10607 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 270 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10617 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10626 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477324221920 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=1135460 CPUtime=0.07 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 363 0 0 0 5 2 0 0 17 0 32 0 741684705 1162711040 10628 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 296 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10637 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=1135460 CPUtime=0.05 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 266 0 0 0 4 1 0 0 17 0 32 0 741684705 1162711040 10647 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=1135592 CPUtime=0.06 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 353 0 0 0 5 1 0 0 17 0 32 0 741684705 1162846208 10658 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604474772446688 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=1135592 CPUtime=0.05 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 402 0 0 0 4 1 0 0 17 0 32 0 741684705 1162846208 10668 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604498324495840 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=1135592 CPUtime=0.01 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 375 0 0 0 0 1 0 0 17 0 32 0 741684705 1162846208 10671 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=1143796 CPUtime=0.02 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 323 0 0 0 1 1 0 0 17 0 32 0 741684705 1171247104 10691 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604476730752480 0 0 -1 31 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=1143796 CPUtime=0.03 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 298 0 0 0 2 1 0 0 17 0 32 0 741684705 1171247104 10767 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=1143796 CPUtime=0.05 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 301 0 0 0 4 1 0 0 17 0 32 0 741684705 1171247104 10804 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 27 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=1143928 CPUtime=0.05 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 365 0 0 0 4 1 0 0 17 0 32 0 741684705 1171382272 10808 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566924584 0 0 -1 0 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=1144060 CPUtime=0.05 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 351 0 0 0 4 1 0 0 17 0 32 0 741684705 1171517440 10816 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=1152264 CPUtime=0.06 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 371 0 0 0 4 2 0 0 17 0 32 0 741684705 1179918336 10834 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604489895411168 0 0 -1 13 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=1152264 CPUtime=0.05 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 741684705 1179918336 10846 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 14 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 4 2 0 0 17 0 32 0 741684705 1180053504 10850 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477794008544 0 0 -1 11 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 319 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10852 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 352 0 0 0 5 1 0 0 17 0 32 0 741684705 1180053504 10858 268435456000 4194304 4580107 140733376124448 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 364 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10867 268435456000 4194304 4580107 140733376124448 18446744073709551615 4510902 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=1152396 CPUtime=0.06 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 356 0 0 0 4 2 0 0 17 0 32 0 741684705 1180053504 10898 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 21 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=1152396 CPUtime=0.05 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 267 0 0 0 4 1 0 0 17 0 32 0 741684705 1180053504 10902 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604504906513888 0 0 -1 22 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 358 0 0 0 4 2 0 0 17 0 32 0 741684705 1188454400 10931 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604477547019744 0 0 -1 19 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=1160600 CPUtime=0.05 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 311 0 0 0 4 1 0 0 17 0 32 0 741684705 1188454400 10933 268435456000 4194304 4580107 140733376124448 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 291 0 0 0 4 2 0 0 17 0 32 0 741684705 1188454400 10942 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604489895411168 0 0 -1 26 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=1160600 CPUtime=0.06 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 285 0 0 0 4 2 0 0 24 0 32 0 741684705 1188454400 10965 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 1127256
[startup+0.105013 s]
/proc/loadavg: 25.48 30.69 31.62 1/413 13483
/proc/meminfo: memFree=255150484/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=1210388 CPUtime=2.16 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 11606 0 0 0 149 67 0 0 17 0 32 0 741684705 1239437312 11445 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/13483/statm: 302597 11457 334 95 0 297579 0
[pid=13483/tid=13484] ppid=13481 vsize=1210520 CPUtime=0.07 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 292 0 0 0 5 2 0 0 17 0 32 0 741684705 1239572480 11468 268435456000 4194304 4580107 140733376124448 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=1210520 CPUtime=0.05 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 339 0 0 0 4 1 0 0 17 0 32 0 741684705 1239572480 11487 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604502800473568 0 0 -1 16 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=1218724 CPUtime=0.06 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 442 0 0 0 4 2 0 0 17 0 32 0 741684705 1247973376 11488 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604504411299296 0 0 -1 20 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=1218724 CPUtime=0.05 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 370 0 0 0 4 1 0 0 17 0 32 0 741684705 1247973376 11493 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=1218724 CPUtime=0.07 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 364 0 0 0 5 2 0 0 17 0 32 0 741684705 1247973376 11521 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604484481261024 0 0 -1 8 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=1218724 CPUtime=0.07 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 319 0 0 0 5 2 0 0 17 0 32 0 741684705 1247973376 11558 268435456000 4194304 4580107 140733376124448 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=1218856 CPUtime=0.06 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 301 0 0 0 5 1 0 0 17 0 32 0 741684705 1248108544 11585 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=1235264 CPUtime=0.05 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) D 13481 13483 13457 0 -1 4202560 302 0 0 0 4 1 0 0 17 0 32 0 741684705 1264910336 11622 268435456000 4194304 4580107 140733376124448 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=1235264 CPUtime=0.07 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 393 0 0 0 5 2 0 0 17 0 32 0 741684705 1264910336 11642 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=1235396 CPUtime=0.06 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 330 0 0 0 5 1 0 0 17 0 32 0 741684705 1265045504 11666 268435456000 4194304 4580107 140733376124448 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=1235396 CPUtime=0.06 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 312 0 0 0 4 2 0 0 17 0 32 0 741684705 1265045504 11694 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604505913753056 0 0 -1 10 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=1235396 CPUtime=0.07 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 377 0 0 0 5 2 0 0 17 0 32 0 741684705 1265045504 11696 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 7 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=1235528 CPUtime=0.06 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430 0 0 0 5 1 0 0 17 0 32 0 741684705 1265180672 11705 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 24 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=1235528 CPUtime=0.02 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 419 0 0 0 0 2 0 0 17 0 32 0 741684705 1265180672 11740 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 30 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=1235528 CPUtime=0.03 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 357 0 0 0 1 2 0 0 17 0 32 0 741684705 1265180672 11751 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604475951234528 0 0 -1 31 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=1235528 CPUtime=0.03 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 331 0 0 0 2 1 0 0 17 0 32 0 741684705 1265180672 11754 268435456000 4194304 4580107 140733376124448 18446744073709551615 258651060958 0 0 4096 2 18446604478970019296 0 0 -1 29 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=1235528 CPUtime=0.06 cores=0-31
################
# More data... #
################
[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606891 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606891 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42560
Current children cumulated vsize (KiB) 12522048
[startup+1393.5 s]
/proc/loadavg: 27.49 31.04 31.18 3/445 13560
/proc/meminfo: memFree=244720616/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=12522048 CPUtime=42563.1 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 7877720 0 0 0 4246204 10111 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 3130512 2606717 460 95 0 3125494 0
[pid=13483/tid=13484] ppid=13481 vsize=12522048 CPUtime=1336.9 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 214609 0 0 0 133359 331 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 4416496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 219828 0 0 0 133684 327 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502800473568 0 0 -1 8 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=12522048 CPUtime=1341.57 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 197952 0 0 0 133841 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484056194528 0 0 -1 16 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=12522048 CPUtime=1348 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 330222 0 0 0 134523 277 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604476730752480 0 0 -1 27 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 249999 0 0 0 133681 330 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505294355936 0 0 -1 23 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=12522048 CPUtime=1339.2 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 188613 0 0 0 133612 308 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477547019744 0 0 -1 17 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=12522048 CPUtime=1333.48 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 263243 0 0 0 133031 317 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498640199136 0 0 -1 25 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=12522048 CPUtime=1327.73 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195876 0 0 0 132457 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=12522048 CPUtime=1332.2 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190648 0 0 0 132904 316 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505913753056 0 0 -1 30 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=12522048 CPUtime=1325.97 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 126256 0 0 0 132298 299 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604553568435680 0 0 -1 0 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=12522048 CPUtime=1327.11 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 182203 0 0 0 132385 326 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478913355232 0 0 -1 7 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=12522048 CPUtime=1326.11 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 274610 0 0 0 132270 341 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604493530267104 0 0 -1 3 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=12522048 CPUtime=1326.28 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 193890 0 0 0 132313 315 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489963036128 0 0 -1 29 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=12522048 CPUtime=1324.46 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 501608 0 0 0 132082 364 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504906513888 0 0 -1 11 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=12522048 CPUtime=1330.25 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 211337 0 0 0 132719 306 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478970019296 0 0 -1 22 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=12522048 CPUtime=1329.53 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430982 0 0 0 132601 352 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505949093344 0 0 -1 26 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=12522048 CPUtime=1327.8 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 319966 0 0 0 132441 339 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604480208748000 0 0 -1 1 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=12522048 CPUtime=1332.44 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 241919 0 0 0 132940 304 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604482175811040 0 0 -1 20 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=12522048 CPUtime=1329.51 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354188 0 0 0 132622 329 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505920036320 0 0 -1 13 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=12522048 CPUtime=1338.43 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 207048 0 0 0 133504 339 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262737451 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=12522048 CPUtime=1295.58 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 141911 0 0 0 129247 311 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502045335008 0 0 -1 19 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=12522048 CPUtime=1326.33 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195782 0 0 0 132337 296 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604499772874208 0 0 -1 6 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=12522048 CPUtime=1332.36 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 350851 0 0 0 132929 307 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478703271392 0 0 -1 15 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=12522048 CPUtime=1326.88 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 272167 0 0 0 132385 303 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502100999648 0 0 -1 28 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=12522048 CPUtime=1324.23 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 399293 0 0 0 132091 332 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489895411168 0 0 -1 4 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=12522048 CPUtime=1328.53 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 207993 0 0 0 132534 319 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744071566933624 0 0 -1 12 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=12522048 CPUtime=1332.52 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269138 0 0 0 132946 306 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504241503712 0 0 -1 23 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=12522048 CPUtime=1330.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 297098 0 0 0 132690 313 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478630067680 0 0 -1 5 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=12522048 CPUtime=1326.7 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 133193 0 0 0 132372 298 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604475951234528 0 0 -1 18 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606717 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42563.1
Current children cumulated vsize (KiB) 12522048
[startup+1395.1 s]
/proc/loadavg: 27.49 31.04 31.18 3/445 13560
/proc/meminfo: memFree=244715300/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=12522048 CPUtime=42566.4 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) S 13481 13483 13457 0 -1 4202496 7877820 0 0 0 4246524 10111 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 3130512 2606751 460 95 0 3125494 0
[pid=13483/tid=13484] ppid=13481 vsize=12522048 CPUtime=1338.5 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 214709 0 0 0 133519 331 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13483/tid=13485] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13485/stat : 13485 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 219828 0 0 0 133684 327 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502800473568 0 0 -1 8 0 0 0
[pid=13483/tid=13486] ppid=13481 vsize=12522048 CPUtime=1341.57 cores=0-31
/proc/13483/task/13486/stat : 13486 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 197952 0 0 0 133841 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484056194528 0 0 -1 16 0 0 0
[pid=13483/tid=13487] ppid=13481 vsize=12522048 CPUtime=1348 cores=0-31
/proc/13483/task/13487/stat : 13487 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 330222 0 0 0 134523 277 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604476730752480 0 0 -1 27 0 0 0
[pid=13483/tid=13488] ppid=13481 vsize=12522048 CPUtime=1340.11 cores=0-31
/proc/13483/task/13488/stat : 13488 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 249999 0 0 0 133681 330 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505294355936 0 0 -1 23 0 0 0
[pid=13483/tid=13489] ppid=13481 vsize=12522048 CPUtime=1339.2 cores=0-31
/proc/13483/task/13489/stat : 13489 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 188613 0 0 0 133612 308 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477547019744 0 0 -1 17 0 0 0
[pid=13483/tid=13490] ppid=13481 vsize=12522048 CPUtime=1333.48 cores=0-31
/proc/13483/task/13490/stat : 13490 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 263243 0 0 0 133031 317 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498640199136 0 0 -1 25 0 0 0
[pid=13483/tid=13491] ppid=13481 vsize=12522048 CPUtime=1327.73 cores=0-31
/proc/13483/task/13491/stat : 13491 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195876 0 0 0 132457 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604484481261024 0 0 -1 10 0 0 0
[pid=13483/tid=13492] ppid=13481 vsize=12522048 CPUtime=1332.2 cores=0-31
/proc/13483/task/13492/stat : 13492 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190648 0 0 0 132904 316 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505913753056 0 0 -1 30 0 0 0
[pid=13483/tid=13493] ppid=13481 vsize=12522048 CPUtime=1325.97 cores=0-31
/proc/13483/task/13493/stat : 13493 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 126256 0 0 0 132298 299 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604553568435680 0 0 -1 0 0 0 0
[pid=13483/tid=13494] ppid=13481 vsize=12522048 CPUtime=1327.11 cores=0-31
/proc/13483/task/13494/stat : 13494 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 182203 0 0 0 132385 326 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478913355232 0 0 -1 7 0 0 0
[pid=13483/tid=13495] ppid=13481 vsize=12522048 CPUtime=1326.11 cores=0-31
/proc/13483/task/13495/stat : 13495 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 274610 0 0 0 132270 341 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604493530267104 0 0 -1 3 0 0 0
[pid=13483/tid=13496] ppid=13481 vsize=12522048 CPUtime=1326.28 cores=0-31
/proc/13483/task/13496/stat : 13496 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 193890 0 0 0 132313 315 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489963036128 0 0 -1 29 0 0 0
[pid=13483/tid=13497] ppid=13481 vsize=12522048 CPUtime=1324.46 cores=0-31
/proc/13483/task/13497/stat : 13497 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 501608 0 0 0 132082 364 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504906513888 0 0 -1 11 0 0 0
[pid=13483/tid=13498] ppid=13481 vsize=12522048 CPUtime=1330.25 cores=0-31
/proc/13483/task/13498/stat : 13498 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 211337 0 0 0 132719 306 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478970019296 0 0 -1 22 0 0 0
[pid=13483/tid=13499] ppid=13481 vsize=12522048 CPUtime=1329.53 cores=0-31
/proc/13483/task/13499/stat : 13499 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 430982 0 0 0 132601 352 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505949093344 0 0 -1 26 0 0 0
[pid=13483/tid=13500] ppid=13481 vsize=12522048 CPUtime=1327.8 cores=0-31
/proc/13483/task/13500/stat : 13500 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 319966 0 0 0 132441 339 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604480208748000 0 0 -1 1 0 0 0
[pid=13483/tid=13501] ppid=13481 vsize=12522048 CPUtime=1332.44 cores=0-31
/proc/13483/task/13501/stat : 13501 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 241919 0 0 0 132940 304 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604482175811040 0 0 -1 20 0 0 0
[pid=13483/tid=13502] ppid=13481 vsize=12522048 CPUtime=1329.51 cores=0-31
/proc/13483/task/13502/stat : 13502 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 354188 0 0 0 132622 329 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604505920036320 0 0 -1 13 0 0 0
[pid=13483/tid=13503] ppid=13481 vsize=12522048 CPUtime=1340.03 cores=0-31
/proc/13483/task/13503/stat : 13503 (strangenight2-m) R 13481 13483 13457 0 -1 4202560 207048 0 0 0 133664 339 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262737604 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13483/tid=13504] ppid=13481 vsize=12522048 CPUtime=1295.58 cores=0-31
/proc/13483/task/13504/stat : 13504 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 141911 0 0 0 129247 311 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502045335008 0 0 -1 19 0 0 0
[pid=13483/tid=13505] ppid=13481 vsize=12522048 CPUtime=1326.33 cores=0-31
/proc/13483/task/13505/stat : 13505 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 195782 0 0 0 132337 296 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604499772874208 0 0 -1 6 0 0 0
[pid=13483/tid=13506] ppid=13481 vsize=12522048 CPUtime=1332.36 cores=0-31
/proc/13483/task/13506/stat : 13506 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 350851 0 0 0 132929 307 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478703271392 0 0 -1 15 0 0 0
[pid=13483/tid=13507] ppid=13481 vsize=12522048 CPUtime=1326.88 cores=0-31
/proc/13483/task/13507/stat : 13507 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 272167 0 0 0 132385 303 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604502100999648 0 0 -1 28 0 0 0
[pid=13483/tid=13508] ppid=13481 vsize=12522048 CPUtime=1324.23 cores=0-31
/proc/13483/task/13508/stat : 13508 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 399293 0 0 0 132091 332 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604489895411168 0 0 -1 4 0 0 0
[pid=13483/tid=13509] ppid=13481 vsize=12522048 CPUtime=1328.53 cores=0-31
/proc/13483/task/13509/stat : 13509 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 207993 0 0 0 132534 319 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446744071566933624 0 0 -1 12 0 0 0
[pid=13483/tid=13510] ppid=13481 vsize=12522048 CPUtime=1332.52 cores=0-31
/proc/13483/task/13510/stat : 13510 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 269138 0 0 0 132946 306 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604504241503712 0 0 -1 23 0 0 0
[pid=13483/tid=13511] ppid=13481 vsize=12522048 CPUtime=1330.03 cores=0-31
/proc/13483/task/13511/stat : 13511 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 297098 0 0 0 132690 313 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604478630067680 0 0 -1 5 0 0 0
[pid=13483/tid=13512] ppid=13481 vsize=12522048 CPUtime=1326.7 cores=0-31
/proc/13483/task/13512/stat : 13512 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 133193 0 0 0 132372 298 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604475951234528 0 0 -1 18 0 0 0
[pid=13483/tid=13513] ppid=13481 vsize=12522048 CPUtime=1321.64 cores=0-31
/proc/13483/task/13513/stat : 13513 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 96097 0 0 0 131877 287 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604498324495840 0 0 -1 9 0 0 0
[pid=13483/tid=13514] ppid=13481 vsize=12522048 CPUtime=1338.86 cores=0-31
/proc/13483/task/13514/stat : 13514 (strangenight2-m) S 13481 13483 13457 0 -1 4202560 190330 0 0 0 133626 260 0 0 25 0 32 0 741684705 12822577152 2606751 268435456000 4194304 4580107 140733376124448 18446744073709551615 47724262762036 0 0 4096 2 18446604477324221920 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 42566.3
Current children cumulated vsize (KiB) 12522048
[startup+1395.92 s]
/proc/loadavg: 27.49 31.04 31.18 2/415 13560
/proc/meminfo: memFree=248660600/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=0 CPUtime=42567.5 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) Z 13481 13483 13457 0 -1 4203548 7877824 0 0 0 4246589 10163 0 0 18 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 0 0 0 0 0 0 0
[pid=13483/tid=13484] ppid=13481 vsize=0 CPUtime=1339.32 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4203588 214709 0 0 0 133552 380 0 0 25 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42567.5
Current children cumulated vsize (KiB) 0
[startup+1396.3 s]
/proc/loadavg: 27.49 31.04 31.18 2/415 13560
/proc/meminfo: memFree=248660600/264257624 swapFree=67111528/67111528
[pid=13483] ppid=13481 vsize=0 CPUtime=42567.9 cores=0-31
/proc/13483/stat : 13483 (strangenight2-m) Z 13481 13483 13457 0 -1 4203548 7877824 0 0 0 4246589 10201 0 0 18 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13483/statm: 0 0 0 0 0 0 0
[pid=13483/tid=13484] ppid=13481 vsize=0 CPUtime=1339.71 cores=0-31
/proc/13483/task/13484/stat : 13484 (strangenight2-m) R 13481 13483 13457 0 -1 4203588 214709 0 0 0 133552 419 0 0 25 0 2 0 741684705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42567.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1396.32
CPU time (s): 42567.9
CPU user time (s): 42465.9
CPU system time (s): 102.033
CPU usage (%): 3048.57
Max. virtual memory (cumulated for all children) (KiB): 12522048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42465.9
system time used= 102.033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7877824
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= 2674588
involuntary context switches= 163244
runsolver used 8.16276 second user time and 31.2902 second system time
The end
Begin job on node200 at 2011-05-25 07:39:43
IDJOB=3400660
IDBENCH=70808
IDSOLVER=1886
FILE ID=node200/3400660-1306301982
RUNJOBID= node200-1306301982-13471
PBS_JOBID= 13411779
Free space on /tmp= 62036 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400660-1306301982/watcher-3400660-1306301982 -o /tmp/evaluation-result-3400660-1306301982/solver-3400660-1306301982 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400660-1306301982.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1078825566
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255150764 kB
Buffers: 465984 kB
Cached: 8230380 kB
SwapCached: 0 kB
Active: 7781340 kB
Inactive: 984264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255150764 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 15796 kB
Writeback: 0 kB
AnonPages: 69172 kB
Mapped: 14184 kB
Slab: 256084 kB
PageTables: 5532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188364 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= 62032 MiB
End job on node200 at 2011-05-25 08:02:59