0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400713-1306361686.cnf'
0.00/0.08 c -- header says num vars: 153284
0.00/0.08 c -- header says num clauses: 2473656
183.36/13.18 c -- clauses added: 0 learnts, 2473656 normals, 0 xors
183.36/13.18 c -- vars added 153284
183.36/13.18 c Parsing time: 2.67 s
183.36/13.18 c N st 0 0 153284 73962 2026036 0 4799185 0 no data no data
218.80/15.14 c asymm cl-useful: 683/1183/61968 lits-rem:28657 time: 1.13
689.16/29.85 c Flit: 262 Blit: 9074 bXBeca: 0 bXProp: 503 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 14.70
691.68/29.94 c Cleaning up after failed var search: 0.09 s
694.81/30.10 c Replacing 503 vars Replaced 29207 lits Time: 0.15 s
740.23/32.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
745.89/32.84 c bin-w-bin subsume rem 734 bins time: 0.27 s
772.33/33.88 c subs with bin: 33 lits-rem: 151 v-fix: 0 time: 0.80 s
892.55/38.76 c Subs w/ non-existent bins: 0 l-rem: 345 v-fix: 0 done: 28605 time: 3.96 s
902.12/39.04 c Removed useless bin: 3998 fixed: 0 props: 20.02M time: 0.28 s
918.08/39.58 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.53 s
921.87/39.68 c Finding binary XORs T: 0.10 s found: 192
927.66/39.82 c Replacing 192 vars Replaced 15185 lits Time: 0.15 s
930.85/39.95 c Finding non-binary XORs: 0.07 s (found: 0, avg size: nan)
930.85/39.95 c calculated reachability. Time: 0.00
934.05/40.01 c Calc default polars - time: 0.06 s pos: 3041 undec: 56053 neg: 94190
934.05/40.01 c =========================================================================================
934.05/40.01 c types(t): F = full restart, N = normal restart
934.05/40.01 c types(t): S = simplification begin/end, E = solution found
934.05/40.01 c restart types(rt): st = static, dy = dynamic
934.05/40.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
934.05/40.01 c B st 0 0 97237 56981 1295586 0 3120648 0 no data no data
1336.49/52.68 c N dy 12 4462 97215 56981 1295650 4369 3120648 3655946 38.21 40.79
1675.33/63.29 c N dy 27 8671 96498 56981 1297702 8475 3120648 6425605 36.95 46.13
1994.96/73.23 c N dy 40 12939 95948 56310 1277617 12556 3067535 9129976 33.24 35.75
2292.81/82.58 c N dy 56 17018 95935 56310 1277668 16554 3067535 11439074 32.02 35.03
2579.50/91.54 c N dy 77 21025 95639 56310 1279326 10761 3067535 2113847 31.50 33.21
2866.76/100.58 c F st 97 25000 95362 56310 1280966 14668 3067535 4339672 31.42 16.41
2905.13/101.77 c N st 98 25254 95362 56057 1271561 14855 3045384 4513565 31.42 no data
3413.36/117.69 c N dy 103 30000 95361 56057 1271608 19533 3045384 9387823 31.42 no data
3413.36/117.69 c S st 103 30000 95361 56057 1271608 19533 3045384 9387823 31.42 no data
3467.70/119.39 c S st 103 30501 95356 56057 1273599 20018 3045384 9503352 31.42 no data
3474.10/119.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
4240.95/143.55 c Flit: 343 Blit: 982 bXBeca: 0 bXProp: 144 Bins: 554017 BRemL: 50 BRemN: 936 P: 200.0M T: 24.03
4244.15/143.68 c Cleaning up after failed var search: 0.13 s
4256.95/144.03 c Replacing 144 vars Replaced 46050 lits Time: 0.34 s
4263.96/144.28 c blocked clauses removed: 0 vars: 0 tried: 93415 T: 0.10 s
4269.71/144.47 c bin-w-bin subsume rem 6020 bins time: 0.18 s
4285.59/144.96 c subs with bin: 32 lits-rem: 16 v-fix: 0 time: 0.49 s
4451.51/150.15 c Subs w/ non-existent bins: 9 l-rem: 247 v-fix: 33 done: 29438 time: 5.12 s
4464.22/150.51 c Removed useless bin: 9294 fixed: 0 props: 20.00M time: 0.36 s
4483.18/151.14 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.62 s
4617.04/155.38 c subs with bin: 12 lits-rem: 2127 v-fix: 0 time: 1.86 s
4696.94/157.83 c lits-rem: 2194 cl-subs: 764 v-elim: 0 v-fix: 0 time: 2.30 s
4725.70/158.75 c asymm cl-useful: 39/907/55216 lits-rem:77 time: 0.93
4728.90/158.83 c calculated reachability. Time: 0.01
4728.90/158.83 c N dy 103 30501 93381 55216 1725454 18847 2958587 10005866 31.42 no data
4732.10/158.93 c Finding binary XORs T: 0.10 s found: 156
5057.93/169.12 c N dy 118 34940 93375 55216 1725492 23226 2958587 12295058 30.61 33.63
5377.00/182.23 c N dy 133 39003 93150 55216 1729794 27239 2958587 16067449 30.55 35.16
5987.90/224.25 c N dy 146 43009 93148 55216 1874161 16192 2958587 2979082 30.69 36.13
6007.90/225.08 c Finding binary XORs T: 0.11 s found: 118
6147.96/230.49 c S st 158 45751 93050 55057 1856920 18824 2947173 4680646 30.44 19.51
6180.71/231.87 c S st 158 46253 93050 55057 1856928 19317 2947173 4856606 30.44 no data
6185.29/232.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
6689.97/249.65 c Flit: 277 Blit: 318 bXBeca: 0 bXProp: 39 Bins: 394379 BRemL: 3087 BRemN: 271 P: 200.1M T: 17.62
6689.97/249.65 c Cleaning up after failed var search: 0.00 s
6702.74/250.05 c Replacing 313 vars Replaced 74808 lits Time: 0.39 s
6709.10/250.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
6718.70/250.53 c bin-w-bin subsume rem 38716 bins time: 0.31 s
6737.86/251.18 c subs with bin: 37 lits-rem: 6 v-fix: 0 time: 0.65 s
6907.86/256.46 c Subs w/ non-existent bins: 3 l-rem: 318 v-fix: 32 done: 29638 time: 5.22 s
6920.01/256.85 c Removed useless bin: 8643 fixed: 0 props: 20.00M time: 0.39 s
6939.77/257.50 c lits-rem: 0 cl-subs: 43 v-elim: 15 v-fix: 0 time: 0.66 s
7019.08/259.96 c subs with bin: 2 lits-rem: 14 v-fix: 0 time: 1.90 s
7045.26/260.79 c lits-rem: 566 cl-subs: 334 v-elim: 0 v-fix: 0 time: 0.74 s
7076.60/261.78 c asymm cl-useful: 113/436/54685 lits-rem:1582 time: 0.99
7080.39/261.86 c calculated reachability. Time: 0.01
7080.39/261.87 c N dy 158 46253 92061 54685 2135949 18752 2895744 5345269 30.44 no data
7083.62/261.98 c Finding binary XORs T: 0.11 s found: 41
7370.91/271.06 c N dy 173 50443 91609 54685 2220848 22888 2895744 7390399 30.13 31.80
7578.06/277.72 c Finding binary XORs T: 0.12 s found: 94
7638.53/279.66 c N dy 176 54510 91601 54472 2161453 26308 2877731 8907335 28.88 31.22
7975.72/290.33 c N dy 195 58662 91386 54472 2198869 30424 2877731 12009003 28.82 30.57
8295.84/300.36 c N dy 207 62784 91342 54472 2200948 34501 2877731 14295932 28.41 30.14
8608.29/310.11 c N dy 218 67274 91341 54472 2200972 21060 2877731 4413247 27.83 30.43
8745.71/314.43 c S st 226 69380 91318 54472 2202038 23141 2877731 5390899 27.76 13.68
8780.87/315.51 c Finding binary XORs T: 0.12 s found: 60
8800.04/316.15 c S st 226 69881 91318 54332 2179641 23594 2866976 5461005 27.76 no data
8806.44/316.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
9331.80/332.93 c Flit: 189 Blit: 153 bXBeca: 0 bXProp: 6 Bins: 536938 BRemL: 6848 BRemN: 484 P: 200.0M T: 16.62
9331.80/332.94 c Cleaning up after failed var search: 0.00 s
9345.10/333.37 c Replacing 201 vars Replaced 107510 lits Time: 0.43 s
9350.90/333.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
9363.66/333.99 c bin-w-bin subsume rem 48201 bins time: 0.45 s
9392.42/334.80 c subs with bin: 36 lits-rem: 5 v-fix: 0 time: 0.80 s
9559.06/340.06 c Subs w/ non-existent bins: 6 l-rem: 258 v-fix: 7 done: 31142 time: 5.26 s
9571.22/340.48 c Removed useless bin: 11466 fixed: 0 props: 20.00M time: 0.42 s
9596.78/341.20 c lits-rem: 4 cl-subs: 9 v-elim: 8 v-fix: 0 time: 0.72 s
9676.69/343.77 c subs with bin: 2 lits-rem: 59 v-fix: 0 time: 2.00 s
9708.66/344.80 c lits-rem: 903 cl-subs: 466 v-elim: 0 v-fix: 0 time: 0.94 s
9743.82/345.87 c asymm cl-useful: 314/427/54147 lits-rem:4428 time: 1.08
9747.02/345.97 c calculated reachability. Time: 0.01
9747.02/345.97 c N dy 226 69881 90792 54147 2623091 22869 2825912 6221850 27.76 no data
9753.41/346.10 c Finding binary XORs T: 0.12 s found: 15
10085.19/356.68 c N dy 241 74370 90559 54147 2842131 27316 2825912 9142026 27.41 29.30
10109.11/357.58 c Finding binary XORs T: 0.13 s found: 85
10357.65/367.03 c N dy 261 79188 90466 53967 2726949 31953 2812256 11443161 27.40 29.73
11008.50/392.66 c Finding binary XORs T: 0.13 s found: 50
11305.52/401.90 c N dy 288 84530 90452 53962 2838267 37226 2811737 14979860 27.35 29.37
11612.04/411.56 c F st 298 87500 90226 53962 2840207 40168 2811737 18033804 27.19 13.38
11636.99/412.32 c Replacing 150 vars Replaced 67153 lits Time: 0.59 s
12074.76/426.03 c N st 303 90802 90098 53846 2788520 23281 2802580 7821116 27.19 no data
12646.57/443.95 c N dy 320 98157 89986 53846 2806832 30583 2802580 12906623 26.85 28.50
13074.72/457.36 c N dy 341 104798 89964 53846 2808273 37165 2802580 15447357 26.62 28.36
13077.92/457.42 c S st 342 104822 89964 53846 2808273 37189 2802580 15448965 26.62 no data
13129.06/459.07 c S st 342 105323 89964 53846 2808284 37678 2802580 15538312 26.62 no data
13135.45/459.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
13717.73/477.48 c Flit: 54 Blit: 42 bXBeca: 0 bXProp: 14 Bins: 317198 BRemL: 7726 BRemN: 1729 P: 200.0M T: 18.20
13739.52/478.16 c Replacing 15 vars Replaced 12040 lits Time: 0.67 s
13745.91/478.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
13761.88/478.88 c bin-w-bin subsume rem 60281 bins time: 0.54 s
13791.28/479.75 c subs with bin: 24 lits-rem: 11 v-fix: 0 time: 0.87 s
13967.07/485.23 c Subs w/ non-existent bins: 0 l-rem: 155 v-fix: 1 done: 30934 time: 5.48 s
13985.61/485.85 c Removed useless bin: 39090 fixed: 0 props: 20.00M time: 0.61 s
14011.15/486.66 c lits-rem: 1 cl-subs: 26 v-elim: 46 v-fix: 0 time: 0.81 s
14129.40/490.30 c subs with bin: 22 lits-rem: 278 v-fix: 0 time: 1.96 s
14213.09/492.98 c lits-rem: 2873 cl-subs: 837 v-elim: 0 v-fix: 0 time: 2.55 s
14244.94/493.96 c asymm cl-useful: 3/813/53783 lits-rem:32 time: 0.97
14248.14/494.06 c calculated reachability. Time: 0.01
14248.14/494.07 c N dy 342 105323 89806 53783 2955604 34703 2710660 14657885 26.62 no data
14253.89/494.20 c Finding binary XORs T: 0.13 s found: 46
14722.88/509.84 c N dy 363 112127 89679 53783 3010468 41452 2710660 17912329 26.25 27.98
15291.31/527.60 c N dy 382 119744 89631 53783 3020671 28237 2710660 8063445 25.81 29.05
15297.70/527.85 c Finding binary XORs T: 0.13 s found: 62
15680.95/539.98 c Finding binary XORs T: 0.14 s found: 10
15863.67/545.63 c N dy 409 127426 89548 53633 3140913 35760 2699708 12337815 25.70 27.25
16516.93/566.18 c N dy 433 135583 89545 53633 3145448 43833 2699708 16879786 25.47 26.94
17119.21/585.45 c N dy 443 144307 89497 53633 3153890 29671 2699708 9207703 24.94 27.78
17462.31/598.28 c Finding binary XORs T: 0.15 s found: 33
17959.45/613.86 c N dy 466 153724 89468 53594 3552366 38962 2696705 15526050 24.53 25.93
18395.35/627.50 c S st 476 157984 89440 53594 3553428 43192 2696705 18427720 24.37 21.96
18456.06/629.43 c S st 476 158484 89440 53594 3553439 43681 2696705 18544506 24.37 no data
18462.45/629.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.22
19158.45/651.42 c Flit: 59 Blit: 45 bXBeca: 0 bXProp: 3 Bins: 207452 BRemL: 6392 BRemN: 233 P: 200.0M T: 21.77
19158.45/651.43 c Cleaning up after failed var search: 0.00 s
19184.04/652.26 c Replacing 154 vars Replaced 100069 lits Time: 0.83 s
19191.05/652.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
19209.61/653.06 c bin-w-bin subsume rem 49522 bins time: 0.59 s
19247.97/654.22 c subs with bin: 61 lits-rem: 99 v-fix: 0 time: 1.16 s
19417.26/659.52 c Subs w/ non-existent bins: 0 l-rem: 318 v-fix: 0 done: 31554 time: 5.29 s
19437.08/660.13 c Removed useless bin: 22907 fixed: 0 props: 20.01M time: 0.61 s
19462.02/660.90 c lits-rem: 2 cl-subs: 81 v-elim: 33 v-fix: 0 time: 0.77 s
19589.87/664.92 c subs with bin: 1 lits-rem: 22 v-fix: 0 time: 1.96 s
19688.95/668.05 c lits-rem: 2553 cl-subs: 1002 v-elim: 0 v-fix: 0 time: 3.02 s
19727.31/669.25 c asymm cl-useful: 3/340/53494 lits-rem:3 time: 1.20
19730.51/669.38 c calculated reachability. Time: 0.01
19730.51/669.39 c N dy 476 158484 89165 53494 3644080 40463 2643217 16235830 24.37 no data
19736.91/669.54 c Finding binary XORs T: 0.15 s found: 18
20557.09/695.26 c N dy 502 169020 89075 53494 3661888 28833 2643217 8306326 23.98 25.72
20872.31/705.17 c Finding binary XORs T: 0.16 s found: 89
21396.28/722.08 c Finding binary XORs T: 0.16 s found: 7
21613.31/728.82 c N dy 534 181814 88969 53376 4050743 41419 2634472 14776550 23.58 25.45
22666.18/761.86 c N dy 573 194282 88882 53376 4057132 30207 2634472 8003166 23.33 29.93
23615.31/791.58 c N dy 621 206712 88842 53376 4083543 42545 2634472 13666980 23.16 24.63
23794.09/797.13 c Finding binary XORs T: 0.16 s found: 36
24479.76/818.69 c Finding binary XORs T: 0.15 s found: 12
24837.10/829.89 c N dy 665 221344 88805 53303 4190821 32454 2627872 7397086 22.97 25.24
25332.28/845.38 c Finding binary XORs T: 0.16 s found: 9
25853.13/861.68 c N dy 698 235509 88748 53288 4279681 46524 2626781 13429097 22.70 27.50
26102.41/869.44 c S st 709 237730 88748 53288 4279694 48724 2626781 15527451 22.68 16.12
26160.55/871.23 c S st 709 238230 88748 53288 4279701 49217 2626781 15613465 22.68 no data
26166.31/871.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.22
26814.97/891.74 c Flit: 23 Blit: 26 bXBeca: 0 bXProp: 5 Bins: 230821 BRemL: 6647 BRemN: 197 P: 200.0M T: 20.28
26837.34/892.50 c Replacing 176 vars Replaced 113973 lits Time: 0.75 s
26846.93/892.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
26869.25/893.44 c bin-w-bin subsume rem 55063 bins time: 0.73 s
26910.73/894.79 c subs with bin: 61 lits-rem: 120 v-fix: 0 time: 1.35 s
27074.29/899.91 c Subs w/ non-existent bins: 0 l-rem: 230 v-fix: 0 done: 30814 time: 5.12 s
27089.68/900.38 c Removed useless bin: 9282 fixed: 0 props: 20.02M time: 0.47 s
27115.19/901.12 c lits-rem: 5 cl-subs: 130 v-elim: 52 v-fix: 0 time: 0.74 s
27211.02/904.21 c subs with bin: 9 lits-rem: 64 v-fix: 0 time: 1.99 s
27300.50/906.93 c lits-rem: 1938 cl-subs: 953 v-elim: 0 v-fix: 0 time: 2.62 s
27332.47/907.98 c asymm cl-useful: 4/320/53222 lits-rem:100 time: 1.05
27338.87/908.13 c calculated reachability. Time: 0.01
27338.87/908.13 c N dy 709 238230 88490 53222 4418684 46031 2602459 13958505 22.68 no data
27342.06/908.29 c Finding binary XORs T: 0.16 s found: 6
28656.32/949.61 c N dy 758 254769 88463 53222 4423874 38516 2602459 9590892 22.42 25.07
29177.05/965.92 c Finding binary XORs T: 0.16 s found: 27
29962.19/990.56 c N dy 790 272023 88431 53190 4491100 55617 2600250 17140063 22.00 26.85
30179.25/997.33 c Finding binary XORs T: 0.16 s found: 8
31422.49/1036.28 c N dy 859 289432 88417 53180 4672271 46479 2599572 13329322 21.98 31.80
32708.38/1076.53 c Finding binary XORs T: 0.16 s found: 15
32845.75/1080.82 c F st 909 306250 88379 53163 4686931 63160 2598263 21533205 21.86 no data
32865.56/1081.45 c Replacing 56 vars Replaced 81661 lits Time: 0.63 s
33076.36/1088.05 c N st 913 308283 88323 53162 4686803 65177 2598090 23501126 21.86 no data
34641.37/1137.08 c N dy 957 328291 88310 53162 4688638 57587 2598090 16770368 21.69 22.98
36187.81/1185.40 c N dy 1010 348664 88297 53162 4690037 49355 2598090 11053403 21.50 24.63
36807.57/1204.81 c S st 1036 357345 88296 53162 4690955 57997 2598090 15087193 21.43 no data
36868.88/1206.73 c S st 1036 357847 88296 53162 4690965 58489 2598090 15232305 21.43 no data
36874.67/1206.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.23
37466.55/1225.52 c Flit: 18 Blit: 6 bXBeca: 0 bXProp: 0 Bins: 376817 BRemL: 8606 BRemN: 603 P: 200.0M T: 18.55
37485.11/1226.08 c Replacing 1 vars Replaced 797 lits Time: 0.55 s
37491.50/1226.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
37517.07/1227.01 c bin-w-bin subsume rem 29939 bins time: 0.72 s
37564.92/1228.52 c subs with bin: 91 lits-rem: 241 v-fix: 0 time: 1.51 s
37727.89/1233.78 c Subs w/ non-existent bins: 0 l-rem: 119 v-fix: 0 done: 30768 time: 5.26 s
37746.42/1234.34 c Removed useless bin: 21875 fixed: 0 props: 20.00M time: 0.56 s
37770.37/1235.12 c lits-rem: 8 cl-subs: 87 v-elim: 56 v-fix: 0 time: 0.78 s
37852.68/1237.93 c subs with bin: 6 lits-rem: 83 v-fix: 0 time: 1.98 s
37915.39/1240.14 c lits-rem: 1655 cl-subs: 1139 v-elim: 0 v-fix: 0 time: 2.13 s
37937.57/1241.08 c asymm cl-useful: 2/582/53126 lits-rem:31 time: 0.93
37942.57/1241.24 c calculated reachability. Time: 0.01
37942.57/1241.25 c N dy 1036 357847 88215 53126 4984447 54839 2550159 13330584 21.43 no data
37947.69/1241.42 c Finding binary XORs T: 0.17 s found: 26
38496.18/1260.48 c Finding binary XORs T: 0.17 s found: 7
39451.44/1291.89 c N dy 1094 377929 88203 53114 5285365 46759 2549542 10341982 21.29 34.23
39547.94/1294.83 c Finding binary XORs T: 0.17 s found: 9
41044.45/1341.77 c N dy 1162 398221 88189 53109 5426682 66935 2549179 20510243 21.31 22.59
41057.86/1342.13 c Finding binary XORs T: 0.18 s found: 7
42530.62/1388.22 c Finding binary XORs T: 0.18 s found: 7
42686.61/1393.14 c N dy 1214 418421 88134 53084 5516780 56275 2547303 13597351 21.16 22.41
44408.91/1447.01 c N dy 1301 439343 88104 53084 5523131 77086 2547303 23191436 21.21 23.49
46467.19/1511.46 c N dy 1386 461387 88102 53084 5524532 67832 2547303 18241610 21.26 22.47
48230.44/1566.62 c N dy 1441 481532 88070 53084 5532320 87874 2547303 28417915 21.16 22.37
50067.55/1624.11 c N dy 1528 501879 88065 53084 5533592 75872 2547303 21641323 21.14 23.18
52013.42/1685.05 c N dy 1621 521909 88056 53084 5534926 63007 2547303 12433004 21.23 40.85
53314.01/1725.71 c S st 1686 536770 88039 53084 5544666 77787 2547303 19769200 21.26 no data
53371.54/1727.52 c S st 1686 537270 88039 53084 5544675 78278 2547303 19880635 21.26 no data
53377.93/1727.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
54036.17/1748.36 c Flit: 8 Blit: 12 bXBeca: 0 bXProp: 7 Bins: 192664 BRemL: 31576 BRemN: 1870 P: 200.1M T: 20.57
54062.34/1749.15 c Replacing 64 vars Replaced 68033 lits Time: 0.77 s
54068.10/1749.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
54097.50/1750.23 c bin-w-bin subsume rem 55432 bins time: 0.85 s
54154.38/1752.01 c subs with bin: 101 lits-rem: 392 v-fix: 0 time: 1.78 s
54317.31/1757.17 c Subs w/ non-existent bins: 4 l-rem: 222 v-fix: 0 done: 31431 time: 5.16 s
54336.50/1757.70 c Removed useless bin: 8651 fixed: 0 props: 20.00M time: 0.53 s
54362.07/1758.56 c lits-rem: 4 cl-subs: 106 v-elim: 86 v-fix: 0 time: 0.86 s
54470.73/1761.94 c subs with bin: 14 lits-rem: 137 v-fix: 0 time: 2.11 s
54563.43/1764.90 c lits-rem: 1711 cl-subs: 1602 v-elim: 0 v-fix: 0 time: 2.86 s
54598.57/1765.98 c asymm cl-useful: 34/371/53053 lits-rem:498 time: 1.09
54604.96/1766.17 c calculated reachability. Time: 0.01
54604.96/1766.17 c N dy 1686 537270 87870 53053 5584268 72137 2520222 17048599 21.26 no data
54611.36/1766.35 c Finding binary XORs T: 0.18 s found: 46
56437.40/1823.70 c Finding binary XORs T: 0.18 s found: 17
56517.18/1826.28 c N dy 1760 557369 87838 53033 5739405 92116 2518426 27815502 21.21 40.70
57854.63/1868.17 c Finding binary XORs T: 0.18 s found: 9
58381.88/1884.60 c N dy 1822 578668 87810 53020 5806116 81771 2516738 22953124 21.12 23.96
60314.83/1945.10 c N dy 1911 598987 87777 53020 5807630 66803 2516738 11774970 21.17 23.21
60330.82/1945.70 c Finding binary XORs T: 0.18 s found: 13
61362.94/1978.02 c Finding binary XORs T: 0.19 s found: 13
62066.71/2000.11 c N dy 1988 619106 87713 52979 6115675 86743 2512956 22168908 21.19 22.59
63510.44/2045.38 c Finding binary XORs T: 0.19 s found: 15
64012.15/2061.07 c N dy 2031 640767 87696 52968 6157661 72253 2512251 12815789 21.06 22.49
65932.53/2121.12 c N dy 2088 661642 87653 52968 6174567 93034 2512251 25696881 21.00 22.69
65948.53/2121.65 c Finding binary XORs T: 0.19 s found: 30
67904.09/2182.81 c N dy 2183 681664 87607 52927 6222589 75618 2509138 13960463 21.05 22.59
68130.76/2189.93 c Finding binary XORs T: 0.19 s found: 14
69508.68/2233.12 c Finding binary XORs T: 0.19 s found: 6
69725.37/2239.89 c N dy 2253 701805 87590 52910 6271387 95633 2507926 24723063 21.03 22.82
70907.50/2276.87 c Finding binary XORs T: 0.19 s found: 7
71678.62/2301.00 c Finding binary XORs T: 0.20 s found: 12
71777.68/2304.12 c N dy 2324 721941 87563 52902 6515957 77715 2507056 13472454 21.02 24.53
73645.97/2362.66 c N dy 2392 742259 87558 52902 6600148 97919 2507056 26075148 21.02 22.21
73958.78/2372.41 c Finding binary XORs T: 0.20 s found: 4
74980.75/2404.93 c Finding binary XORs T: 0.20 s found: 4
75530.37/2422.16 c N dy 2450 762668 87541 52894 6698155 118221 2506383 37201444 20.95 22.49
77546.50/2485.27 c N dy 2559 784019 87517 52894 6699120 99980 2506383 25812238 21.00 22.18
79517.90/2546.96 c N dy 2663 804134 87495 52894 6704036 119995 2506383 37540661 21.05 22.41
79671.34/2551.71 c S st 2673 805905 87495 52894 6704039 121761 2506383 38198441 21.06 no data
79728.77/2553.59 c S st 2673 806405 87495 52894 6704040 122260 2506383 38282241 21.06 no data
79741.55/2553.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
80380.55/2573.96 c Flit: 6 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 390568 BRemL: 7626 BRemN: 847 P: 200.0M T: 20.03
80428.43/2575.48 c Replacing 190 vars Replaced 139460 lits Time: 1.52 s
80438.03/2575.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
80476.38/2576.92 c bin-w-bin subsume rem 78083 bins time: 1.18 s
80546.71/2579.16 c subs with bin: 171 lits-rem: 523 v-fix: 0 time: 2.24 s
80763.99/2585.92 c Subs w/ non-existent bins: 2 l-rem: 204 v-fix: 0 done: 31888 time: 6.77 s
80779.93/2586.50 c Removed useless bin: 9591 fixed: 0 props: 20.00M time: 0.57 s
80815.06/2587.50 c lits-rem: 4 cl-subs: 245 v-elim: 172 v-fix: 0 time: 1.00 s
80942.86/2591.50 c subs with bin: 45 lits-rem: 508 v-fix: 0 time: 2.00 s
81070.64/2595.56 c lits-rem: 1287 cl-subs: 2627 v-elim: 0 v-fix: 0 time: 3.96 s
81109.00/2596.72 c asymm cl-useful: 75/597/52878 lits-rem:913 time: 1.16
81115.40/2596.95 c calculated reachability. Time: 0.01
81115.40/2596.95 c N dy 2673 806405 87147 52878 6955497 107511 2479015 23959394 21.06 no data
81122.38/2597.16 c Finding binary XORs T: 0.20 s found: 18
82888.15/2654.84 c N dy 2729 826466 87136 52878 6998809 96324 2479015 20468833 20.99 32.27
84836.97/2715.87 c N dy 2786 846917 87136 52878 6999817 116704 2479015 31365382 20.95 22.36
86699.71/2774.21 c N dy 2856 867025 87129 52878 7000875 95784 2479015 20024424 20.95 22.61
87552.69/2800.84 c Finding binary XORs T: 0.21 s found: 21
88571.71/2832.72 c N dy 2936 887093 87117 52861 7068968 115708 2478037 30778014 20.95 28.39
88817.82/2840.51 c Finding binary XORs T: 0.21 s found: 5
90475.13/2892.78 c N dy 3015 907251 87110 52855 7233579 94123 2477837 17568573 20.94 22.14
92401.91/2953.05 c N dy 3094 928200 87108 52855 7235064 114963 2477837 28727600 20.95 22.35
94386.35/3015.20 c N dy 3179 948263 87089 52855 7246513 92139 2477837 14815332 20.98 22.68
95993.09/3065.47 c Finding binary XORs T: 0.21 s found: 17
96328.69/3075.90 c N dy 3262 968313 87081 52841 7309188 112073 2476753 27077808 20.97 22.08
98609.55/3147.37 c N dy 3320 988850 87078 52841 7310416 132515 2476753 40955364 20.92 22.09
99960.45/3189.75 c Finding binary XORs T: 0.21 s found: 8
100642.34/3211.14 c N dy 3396 1008889 87071 52837 7439616 108942 2476501 22178915 20.91 22.16
102789.72/3278.40 c N dy 3483 1029537 87058 52837 7443919 129520 2476501 34598352 20.93 22.31
105080.05/3350.06 c N dy 3551 1049781 87050 52837 7454360 104902 2476501 18407767 20.92 22.55
107201.89/3416.41 c N dy 3616 1069837 87043 52837 7455331 124875 2476501 28717533 20.91 22.06
107454.78/3424.38 c Finding binary XORs T: 0.23 s found: 24
107470.16/3424.82 c F st 3633 1071879 87039 52818 7522132 126874 2475384 30267016 20.93 no data
107502.13/3425.81 c Replacing 93 vars Replaced 114766 lits Time: 0.99 s
109735.05/3495.77 c N dy 3698 1090069 86942 52765 7522974 144965 2474695 43203522 20.95 22.09
111956.14/3565.26 c N dy 3769 1110665 86925 52765 7559740 119399 2474695 24540195 20.93 22.23
114259.45/3637.32 c N dy 3851 1130740 86913 52765 7560699 139397 2474695 36561716 20.95 23.28
114403.02/3641.89 c Finding binary XORs T: 0.23 s found: 29
116745.08/3715.11 c N dy 3959 1151279 86875 52731 7596890 113008 2472526 17775151 21.02 22.28
117355.30/3734.23 c Finding binary XORs T: 0.22 s found: 12
118572.22/3772.32 c Finding binary XORs T: 0.23 s found: 10
118881.91/3782.02 c N dy 4029 1171351 86853 52707 7715162 132969 2470740 28319644 21.03 128.51
121313.38/3858.14 c N dy 4135 1191384 86837 52707 7768252 152916 2470740 40346730 21.10 22.31
121639.36/3868.36 c Finding binary XORs T: 0.23 s found: 9
123297.68/3920.24 c Finding binary XORs T: 0.23 s found: 8
123604.47/3929.84 c S st 4217 1209607 86826 52695 7844276 123408 2469293 23271553 21.13 10.98
123677.93/3932.18 c S st 4217 1210110 86826 52695 7844279 123908 2469293 23426295 21.13 no data
123687.52/3932.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
124406.48/3954.92 c Flit: 5 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 204372 BRemL: 7956 BRemN: 195 P: 200.0M T: 22.41
124432.65/3955.80 c Replacing 69 vars Replaced 94357 lits Time: 0.87 s
124441.65/3956.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
124486.37/3957.40 c bin-w-bin subsume rem 78130 bins time: 1.33 s
124570.09/3960.11 c subs with bin: 341 lits-rem: 704 v-fix: 0 time: 2.71 s
124777.26/3966.54 c Subs w/ non-existent bins: 0 l-rem: 115 v-fix: 0 done: 30995 time: 6.42 s
124799.62/3967.30 c Removed useless bin: 16594 fixed: 0 props: 20.00M time: 0.76 s
124837.98/3968.42 c lits-rem: 4 cl-subs: 222 v-elim: 217 v-fix: 0 time: 1.12 s
124940.20/3971.60 c subs with bin: 27 lits-rem: 100 v-fix: 0 time: 2.08 s
125023.31/3974.29 c lits-rem: 1554 cl-subs: 2968 v-elim: 0 v-fix: 0 time: 2.59 s
125062.26/3975.49 c asymm cl-useful: 52/462/52678 lits-rem:506 time: 1.19
125071.25/3975.75 c calculated reachability. Time: 0.01
125071.25/3975.75 c N dy 4217 1210110 86534 52677 7928461 115151 2431662 19433791 21.13 no data
125308.09/3983.16 c Finding binary XORs T: 0.23 s found: 12
127336.79/4047.20 c Finding binary XORs T: 0.24 s found: 7
127509.21/4052.56 c N dy 4289 1230175 86500 52665 8192016 135091 2430273 33618132 21.12 25.19
128457.62/4082.23 c Finding binary XORs T: 0.22 s found: 12
129684.61/4120.63 c N dy 4380 1250192 86490 52654 8262853 154991 2429529 45259317 21.16 23.00
131693.86/4183.50 c N dy 4434 1270245 86478 52654 8266075 127004 2429529 24656781 21.11 25.41
133783.36/4248.93 c N dy 4522 1290342 86478 52654 8266785 147022 2429529 34980834 21.12 34.00
136029.39/4319.25 c N dy 4607 1311625 86469 52654 8295005 118909 2429529 18224701 21.11 22.54
136955.47/4348.31 c Finding binary XORs T: 0.23 s found: 11
138224.75/4387.95 c N dy 4684 1331789 86464 52634 8364595 138970 2428162 31884516 21.08 22.89
140513.75/4459.62 c N dy 4750 1352192 86463 52634 8365480 159329 2428162 43208531 21.08 22.36
143161.94/4542.54 c N dy 4840 1372198 86461 52634 8366547 128588 2428162 24880215 21.11 22.57
144175.09/4574.26 c Finding binary XORs T: 0.24 s found: 14
145478.50/4615.09 c N dy 4917 1392199 86452 52626 8448862 148505 2427726 35349735 21.10 38.13
147727.78/4685.47 c N dy 4997 1412300 86437 52626 8493805 168543 2427726 45195335 21.10 22.30
149941.45/4754.71 c N dy 5068 1432576 86437 52626 8496550 136807 2427726 24749999 21.08 22.55
151059.92/4789.75 c Finding binary XORs T: 0.24 s found: 15
152280.98/4827.93 c N dy 5136 1453161 86428 52612 8523736 157305 2427077 35698669 21.05 22.17
154775.94/4906.08 c N dy 5234 1473347 86411 52612 8575487 177409 2427077 48468592 21.07 23.07
157053.45/4977.36 c N dy 5295 1493451 86409 52612 8576709 144829 2427077 27697702 21.04 22.42
157791.59/5000.41 c Finding binary XORs T: 0.24 s found: 11
159491.20/5053.63 c N dy 5372 1513604 86400 52594 8646769 164868 2425922 38718253 21.03 22.74
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-3400713-1306361686/watcher-3400713-1306361686 -o /tmp/evaluation-result-3400713-1306361686/solver-3400713-1306361686 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400713-1306361686.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: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=338000 CPUtime=0.83 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 466 0 0 0 83 0 0 0 25 0 32 0 747655287 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 84500 407 300 95 0 79482 0
[pid=18910/tid=18911] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 4 0 0 0 2 0 0 0 21 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456144 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=338000 CPUtime=0 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456556 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456151 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456153 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456147 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 747655288 346112000 407 268435456000 4194304 4580107 140734659523200 18446744073709551615 47436857456157 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.122705 s]
/proc/loadavg: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=1110416 CPUtime=2.26 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 15521 0 0 0 153 73 0 0 17 0 32 0 747655287 1137065984 14911 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 283981 15543 335 95 0 278963 0
[pid=18910/tid=18911] ppid=18908 vsize=1136440 CPUtime=0.05 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 275 0 0 0 4 1 0 0 17 0 32 0 747655288 1163714560 15719 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604504401247712 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=1144900 CPUtime=0.06 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 779 0 0 0 4 2 0 0 17 0 32 0 747655288 1172377600 15738 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=1153104 CPUtime=0.06 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 646 0 0 0 4 2 0 0 18 0 32 0 747655288 1180778496 15753 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=1153104 CPUtime=0.07 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 456 0 0 0 5 2 0 0 17 0 32 0 747655288 1180778496 15925 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512098 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=1161308 CPUtime=0.06 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 442 0 0 0 5 1 0 0 18 0 32 0 747655288 1189179392 15962 268435456000 4194304 4580107 140734659523200 18446744073709551615 4252939 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=1161308 CPUtime=0.05 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 289 0 0 0 4 1 0 0 17 0 32 0 747655288 1189179392 15974 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=1161308 CPUtime=0.05 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 333 0 0 0 4 1 0 0 17 0 32 0 747655288 1189179392 15978 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=1169512 CPUtime=0.05 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 270 0 0 0 4 1 0 0 17 0 32 0 747655288 1197580288 15987 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604477946232288 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=1169512 CPUtime=0.07 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 467 0 0 0 5 2 0 0 17 0 32 0 747655288 1197580288 16010 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=1177716 CPUtime=0.07 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 648 0 0 0 5 2 0 0 17 0 32 0 747655288 1205981184 16066 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=1177716 CPUtime=0.06 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 473 0 0 0 4 2 0 0 17 0 32 0 747655288 1205981184 16111 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=1177716 CPUtime=0.07 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 573 0 0 0 5 2 0 0 17 0 32 0 747655288 1205981184 16154 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510869 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=1177972 CPUtime=0.07 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 580 0 0 0 5 2 0 0 17 0 32 0 747655288 1206243328 16134 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=1177712 CPUtime=0.05 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 269 0 0 0 4 1 0 0 17 0 32 0 747655288 1205977088 16073 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604482478816736 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=1177712 CPUtime=0.03 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 543 0 0 0 1 2 0 0 17 0 32 0 747655288 1205977088 16120 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=1177712 CPUtime=0.07 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 542 0 0 0 5 2 0 0 17 0 32 0 747655288 1205977088 16214 268435456000 4194304 4580107 140734659523200 18446744073709551615 4354880 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=1177712 CPUtime=0.07 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 570 0 0 0 5 2 0 0 18 0 32 0 747655288 1205977088 16219 268435456000 4194304 4580107 140734659523200 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 608 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16231 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 323 0 0 0 4 1 0 0 17 0 32 0 747655288 1214377984 16279 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604483775233504 0 0 -1 14 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 634 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16309 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 568 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16324 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604480593739232 0 0 -1 21 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 412 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16377 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 22 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 457 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16378 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 514 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16383 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510902 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 543 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16409 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=1185916 CPUtime=0.08 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 715 0 0 0 5 3 0 0 17 0 32 0 747655288 1214377984 16432 268435456000 4194304 4580107 140734659523200 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=1185916 CPUtime=0.06 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 851 0 0 0 4 2 0 0 17 0 32 0 747655288 1214377984 16448 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353262 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 442 0 0 0 3 2 0 0 17 0 32 0 747655288 1214377984 16452 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=1185916 CPUtime=0.05 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 286 0 0 0 4 1 0 0 17 0 32 0 747655288 1214377984 16492 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 16 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=1185916 CPUtime=0.07 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 531 0 0 0 5 2 0 0 17 0 32 0 747655288 1214377984 16497 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446604485784206816 0 0 -1 29 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=1185916 CPUtime=0.08 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 746 0 0 0 5 3 0 0 17 0 32 0 747655288 1214377984 16529 268435456000 4194304 4580107 140734659523200 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 1110416
[startup+0.209798 s]
/proc/loadavg: 23.95 28.52 30.63 1/413 18910
/proc/meminfo: memFree=255087768/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=1373872 CPUtime=3.91 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) D 18908 18910 18704 0 -1 4202496 40955 0 0 0 277 114 0 0 17 0 32 0 747655287 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18910/statm: 343468 35502 336 95 0 338450 0
[pid=18910/tid=18911] ppid=18908 vsize=1373872 CPUtime=0.1 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 709 0 0 0 8 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=1373872 CPUtime=0.1 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1491 0 0 0 7 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=1373872 CPUtime=0.11 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1760 0 0 0 8 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1293 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1034 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353601 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 768 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4510858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1284 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511009 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) S 18908 18910 18704 0 -1 4202560 1136 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 20 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1171 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512149 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1567 0 0 0 10 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 258651013786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1032 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4353782 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1460 0 0 0 9 4 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1392 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512303 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1075 0 0 0 7 2 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4512124 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=1373872 CPUtime=0.09 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) D 18908 18910 18704 0 -1 4202560 1357 0 0 0 5 4 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=1373872 CPUtime=0.12 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1176 0 0 0 9 3 0 0 17 0 32 0 747655288 1406844928 35502 268435456000 4194304 4580107 140734659523200 18446744073709551615 4511192 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=1373872 CPUtime=0.13 cores=0-31
################
# More data... #
################
[pid=18910/tid=18920] ppid=18908 vsize=28262384 CPUtime=4960.01 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 890280 0 0 0 495057 944 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294562 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=28262384 CPUtime=4945.1 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 933184 0 0 0 493518 992 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=28262384 CPUtime=4955.6 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1023645 0 0 0 494531 1029 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=28262384 CPUtime=4939.85 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 961697 0 0 0 493008 977 0 0 25 0 32 0 747655288 28940681216 5799909 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=28262384 CPUtime=4956.27 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 936652 0 0 0 494676 951 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=28262384 CPUtime=4936.95 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 916205 0 0 0 492726 969 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316385 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=28262384 CPUtime=4953.01 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 943754 0 0 0 494348 953 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=28262384 CPUtime=4950.33 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 931778 0 0 0 494058 975 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=28262384 CPUtime=4949.68 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 937586 0 0 0 494033 935 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=28262384 CPUtime=4950.83 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 996498 0 0 0 494062 1021 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4321629 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=28262384 CPUtime=4929.41 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 961560 0 0 0 491908 1033 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=28262384 CPUtime=4945.29 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 934835 0 0 0 493556 973 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=28262384 CPUtime=4956.45 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 935314 0 0 0 494712 933 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=28262384 CPUtime=4949.88 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 868825 0 0 0 494022 966 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=28262384 CPUtime=4957.38 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 916106 0 0 0 494764 974 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=28262384 CPUtime=4959.24 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 899877 0 0 0 495031 893 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=28262384 CPUtime=4943.45 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 883563 0 0 0 493396 949 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=28262384 CPUtime=4960.61 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 937069 0 0 0 495114 947 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=28262384 CPUtime=4957.56 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 946706 0 0 0 494715 1041 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=28262384 CPUtime=4948.14 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 993049 0 0 0 493864 950 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=28262384 CPUtime=4960.53 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 922378 0 0 0 495145 908 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=28262384 CPUtime=4955.33 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 940988 0 0 0 494653 880 0 0 25 0 32 0 747655288 28940681216 5799912 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 158491
Current children cumulated vsize (KiB) 28262384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5069.6 s]
/proc/loadavg: 32.13 32.14 32.03 33/445 19091
/proc/meminfo: memFree=231763524/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=29812920 CPUtime=160003 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) R 18908 18910 18704 0 -1 4202496 30006104 0 0 0 15969401 30916 0 0 25 0 32 0 747655287 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 7453230 5822813 392 95 0 7448212 0
[pid=18910/tid=18911] ppid=18908 vsize=29812920 CPUtime=5012.51 cores=0-31
/proc/18910/task/18911/stat : 18911 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 962452 0 0 0 500235 1016 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18910/tid=18912] ppid=18908 vsize=29812920 CPUtime=5015.77 cores=0-31
/proc/18910/task/18912/stat : 18912 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 910378 0 0 0 500663 914 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18910/tid=18913] ppid=18908 vsize=29812920 CPUtime=5012.21 cores=0-31
/proc/18910/task/18913/stat : 18913 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 904444 0 0 0 500261 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18910/tid=18914] ppid=18908 vsize=29812920 CPUtime=5015.85 cores=0-31
/proc/18910/task/18914/stat : 18914 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 976355 0 0 0 500527 1058 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18910/tid=18915] ppid=18908 vsize=29812920 CPUtime=4990.39 cores=0-31
/proc/18910/task/18915/stat : 18915 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 952230 0 0 0 498079 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18910/tid=18916] ppid=18908 vsize=29812920 CPUtime=4995.9 cores=0-31
/proc/18910/task/18916/stat : 18916 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 907057 0 0 0 498630 960 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4321016 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18910/tid=18917] ppid=18908 vsize=29812920 CPUtime=5001.9 cores=0-31
/proc/18910/task/18917/stat : 18917 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 907846 0 0 0 499232 958 0 0 25 0 32 0 747655288 30528430080 5822813 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18910/tid=18918] ppid=18908 vsize=29812920 CPUtime=4999.67 cores=0-31
/proc/18910/task/18918/stat : 18918 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 905245 0 0 0 499018 949 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18910/tid=18919] ppid=18908 vsize=29812920 CPUtime=5010.84 cores=0-31
/proc/18910/task/18919/stat : 18919 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 886261 0 0 0 500132 952 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293310 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18910/tid=18920] ppid=18908 vsize=29812920 CPUtime=5007.32 cores=0-31
/proc/18910/task/18920/stat : 18920 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 897378 0 0 0 499784 948 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18910/tid=18921] ppid=18908 vsize=29812920 CPUtime=4992.36 cores=0-31
/proc/18910/task/18921/stat : 18921 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 942599 0 0 0 498240 996 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18910/tid=18922] ppid=18908 vsize=29812920 CPUtime=5002.88 cores=0-31
/proc/18910/task/18922/stat : 18922 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1028776 0 0 0 499257 1031 0 0 25 0 32 0 747655288 30528430080 5822815 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18910/tid=18923] ppid=18908 vsize=29812920 CPUtime=4987.15 cores=0-31
/proc/18910/task/18923/stat : 18923 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 968315 0 0 0 497734 981 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18910/tid=18924] ppid=18908 vsize=29812920 CPUtime=5003.56 cores=0-31
/proc/18910/task/18924/stat : 18924 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 944177 0 0 0 499401 955 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18910/tid=18925] ppid=18908 vsize=29812920 CPUtime=4984.26 cores=0-31
/proc/18910/task/18925/stat : 18925 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 923845 0 0 0 497453 973 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18910/tid=18926] ppid=18908 vsize=29812920 CPUtime=5000.29 cores=0-31
/proc/18910/task/18926/stat : 18926 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 951917 0 0 0 499072 957 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18910/tid=18927] ppid=18908 vsize=29812920 CPUtime=4997.1 cores=0-31
/proc/18910/task/18927/stat : 18927 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 939722 0 0 0 498731 979 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18910/tid=18928] ppid=18908 vsize=29812920 CPUtime=4996.96 cores=0-31
/proc/18910/task/18928/stat : 18928 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 944432 0 0 0 498758 938 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18910/tid=18929] ppid=18908 vsize=29812920 CPUtime=4998.13 cores=0-31
/proc/18910/task/18929/stat : 18929 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1004899 0 0 0 498787 1026 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18910/tid=18930] ppid=18908 vsize=29812920 CPUtime=4976.71 cores=0-31
/proc/18910/task/18930/stat : 18930 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 969536 0 0 0 496635 1036 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18910/tid=18931] ppid=18908 vsize=29812920 CPUtime=4992.6 cores=0-31
/proc/18910/task/18931/stat : 18931 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 941818 0 0 0 498283 977 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=29812920 CPUtime=5003.01 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 943404 0 0 0 499365 936 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18910/tid=18933] ppid=18908 vsize=29812920 CPUtime=4997.17 cores=0-31
/proc/18910/task/18933/stat : 18933 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 876061 0 0 0 498748 969 0 0 25 0 32 0 747655288 30528430080 5822816 268435456000 4194304 4580107 140734659523200 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18910/tid=18934] ppid=18908 vsize=29812920 CPUtime=5004.67 cores=0-31
/proc/18910/task/18934/stat : 18934 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 924312 0 0 0 499488 979 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18910/tid=18935] ppid=18908 vsize=29812920 CPUtime=5006.53 cores=0-31
/proc/18910/task/18935/stat : 18935 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 906749 0 0 0 499757 896 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18910/tid=18936] ppid=18908 vsize=29812920 CPUtime=4990.75 cores=0-31
/proc/18910/task/18936/stat : 18936 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 887134 0 0 0 498123 952 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18910/tid=18937] ppid=18908 vsize=29812920 CPUtime=5007.89 cores=0-31
/proc/18910/task/18937/stat : 18937 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 946262 0 0 0 499837 952 0 0 25 0 32 0 747655288 30528430080 5822819 268435456000 4194304 4580107 140734659523200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18910/tid=18938] ppid=18908 vsize=29812920 CPUtime=5004.86 cores=0-31
/proc/18910/task/18938/stat : 18938 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 957836 0 0 0 499438 1048 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18910/tid=18939] ppid=18908 vsize=29812920 CPUtime=4995.43 cores=0-31
/proc/18910/task/18939/stat : 18939 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 1000156 0 0 0 498590 953 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18910/tid=18940] ppid=18908 vsize=29812920 CPUtime=5007.81 cores=0-31
/proc/18910/task/18940/stat : 18940 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 928923 0 0 0 499869 912 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18910/tid=18941] ppid=18908 vsize=29812920 CPUtime=5002.54 cores=0-31
/proc/18910/task/18941/stat : 18941 (strangenight2-m) R 18908 18910 18704 0 -1 4202560 947464 0 0 0 499370 884 0 0 25 0 32 0 747655288 30528430080 5822823 268435456000 4194304 4580107 140734659523200 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 29812920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5070.3 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=234379660/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160004 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 30983 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5003.68 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1003 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5071.12 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31065 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.5 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1085 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5071.5 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31103 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.88 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1123 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5071.6 s]
/proc/loadavg: 32.13 32.14 32.03 2/416 19092
/proc/meminfo: memFree=247654216/264257624 swapFree=67111528/67111528
[pid=18910] ppid=18908 vsize=0 CPUtime=160005 cores=0-31
/proc/18910/stat : 18910 (strangenight2-m) Z 18908 18910 18704 0 -1 4203548 30006138 0 0 0 15969424 31113 0 0 25 0 2 0 747655287 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18910/statm: 0 0 0 0 0 0 0
[pid=18910/tid=18932] ppid=18908 vsize=0 CPUtime=5004.98 cores=0-31
/proc/18910/task/18932/stat : 18932 (strangenight2-m) R 18908 18910 18704 0 -1 4203588 943404 0 0 0 499365 1133 0 0 25 0 2 0 747655288 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5071.62
CPU time (s): 160005
CPU user time (s): 159694
CPU system time (s): 311.154
CPU usage (%): 3154.92
Max. virtual memory (cumulated for all children) (KiB): 29812920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159694
system time used= 311.154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30006138
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= 6486934
involuntary context switches= 334670
runsolver used 25.6221 second user time and 116.903 second system time
The end
Begin job on node200 at 2011-05-26 00:14:49
IDJOB=3400713
IDBENCH=82363
IDSOLVER=1886
FILE ID=node200/3400713-1306361686
RUNJOBID= node200-1306361502-18718
PBS_JOBID= 13457871
Free space on /tmp= 62004 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400713-1306361686/watcher-3400713-1306361686 -o /tmp/evaluation-result-3400713-1306361686/solver-3400713-1306361686 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400713-1306361686.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=948296927
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: 255088048 kB
Buffers: 469636 kB
Cached: 8284340 kB
SwapCached: 0 kB
Active: 7824932 kB
Inactive: 1002280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255088048 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 49488 kB
Writeback: 0 kB
AnonPages: 73436 kB
Mapped: 14480 kB
Slab: 257784 kB
PageTables: 4344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 176396 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= 61996 MiB
End job on node200 at 2011-05-26 01:39:20