0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3400822-1306851761.cnf'
0.00/0.04 c -- header says num vars: 57800
0.00/0.04 c -- header says num clauses: 193923
23.34/1.49 c -- clauses added: 0 learnts, 193923 normals, 0 xors
23.34/1.49 c -- vars added 57800
23.34/1.49 c Parsing time: 0.31 s
23.34/1.49 c N st 0 0 57800 94196 87665 0 467419 0 no data no data
80.10/3.25 c asymm cl-useful: 8/39774/94196 lits-rem:83 time: 1.75
504.75/25.73 c Flit: 89 Blit: 5014 bXBeca: 0 bXProp: 9392 Bins: 0 BRemL: 0 BRemN: 0 P: 86.2M T: 11.99
504.75/25.75 c Cleaning up after failed var search: 0.02 s
509.52/25.90 c Replacing 9392 vars Replaced 265992 lits Time: 0.09 s
517.43/26.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
517.43/26.39 c bin-w-bin subsume rem 989 bins time: 0.02 s
519.71/26.43 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.04 s
521.77/26.55 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 40808 time: 0.11 s
524.21/26.66 c Removed useless bin: 48 fixed: 0 props: 6.55M time: 0.11 s
547.70/27.57 c lits-rem: 0 cl-subs: 300 v-elim: 13602 v-fix: 0 time: 0.55 s
556.11/27.90 c Finding binary XORs T: 0.32 s found: 23
559.28/27.91 c Replacing 23 vars Replaced 278 lits Time: 0.01 s
562.46/28.04 c Finding non-binary XORs: 0.07 s (found: 13386, avg size: 3.0)
562.46/28.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2177 locsubst: 8558 time: 0.04
562.46/28.06 c Replacing 4279 vars Replaced 25674 lits Time: 0.02 s
562.46/28.08 c calculated reachability. Time: 0.01
562.46/28.09 c Calc default polars - time: 0.01 s pos: 2318 undec: 37138 neg: 18344
562.46/28.09 c =========================================================================================
562.46/28.09 c types(t): F = full restart, N = normal restart
562.46/28.09 c types(t): S = simplification begin/end, E = solution found
562.46/28.09 c restart types(rt): st = static, dy = dynamic
562.46/28.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
562.46/28.09 c B st 0 0 20727 34135 26323 0 225024 0 no data no data
578.96/28.58 c Decided on static restart strategy
603.90/29.31 c N st 8 4917 20719 34135 26439 4711 225024 206666 no data no data
652.46/30.86 c N st 10 11300 20689 34135 28556 10920 225024 539762 no data no data
658.21/31.00 c Finding binary XORs T: 0.13 s found: 6
693.36/32.11 c N st 11 17043 20689 34112 28139 16436 223981 689324 no data no data
801.98/35.60 c F st 12 25001 20684 34112 29034 14831 223981 1466107 no data no data
805.18/35.63 c Replacing 6 vars Replaced 46 lits Time: 0.02 s
805.18/35.67 c N st 12 25001 20680 34111 28988 14825 223883 1465731 no data no data
811.58/35.82 c Finding binary XORs T: 0.13 s found: 1
856.34/37.22 c Decided on static restart strategy
856.34/37.22 c N st 18 30003 20678 34111 29838 19768 223832 1807340 no data no data
856.34/37.22 c S st 18 30003 20678 34111 29838 19768 223832 1807340 no data no data
865.91/37.56 c S st 18 30506 20678 34111 29880 20227 223832 1814338 no data no data
869.10/37.61 c x-sub: 4279 x-cut: 0 vfix: 0 v-elim: 1080 locsubst: 0 time: 0.04
936.20/39.80 c Flit: 74 Blit: 9 bXBeca: 0 bXProp: 16 Bins: 297086 BRemL: 88633 BRemN: 5 P: 13.7M T: 2.16
939.40/39.84 c Replacing 17 vars Replaced 866 lits Time: 0.04 s
939.40/39.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
942.60/39.90 c bin-w-bin subsume rem 672 bins time: 0.03 s
942.60/39.95 c subs with bin: 518 lits-rem: 516 v-fix: 0 time: 0.05 s
945.80/40.00 c Subs w/ non-existent bins: 146 l-rem: 151 v-fix: 0 done: 19498 time: 0.05 s
945.80/40.03 c Removed useless bin: 6 fixed: 0 props: 0.86M time: 0.03 s
949.00/40.16 c lits-rem: 414 cl-subs: 155 v-elim: 2505 v-fix: 0 time: 0.12 s
952.20/40.22 c subs with bin: 84 lits-rem: 520 v-fix: 0 time: 0.04 s
952.20/40.29 c lits-rem: 551 cl-subs: 374 v-elim: 0 v-fix: 0 time: 0.05 s
971.36/40.82 c asymm cl-useful: 323/20481/33735 lits-rem:1393 time: 0.52
971.36/40.84 c calculated reachability. Time: 0.01
971.36/40.84 c N st 18 30506 16993 33735 184744 5504 200031 438824 no data no data
974.55/40.98 c Finding binary XORs T: 0.14 s found: 0
1037.17/42.93 c N st 20 37616 16992 33735 185026 12466 200031 754936 no data no data
1095.75/45.72 c N st 21 44015 16992 33735 185039 10811 200031 1425570 no data no data
1200.89/52.44 c Finding binary XORs T: 0.13 s found: 2
1206.21/52.76 c S st 22 45760 16989 33733 407621 12506 199939 1931821 no data no data
1209.14/52.93 c S st 22 46260 16989 33733 407627 12997 199939 1942394 no data no data
1209.14/52.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 540 locsubst: 0 time: 0.04
1225.97/54.07 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 91 BRemL: 69592 BRemN: 0 P: 9.4M T: 1.09
1227.57/54.12 c Replacing 2 vars Replaced 412 lits Time: 0.05 s
1227.57/54.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1229.18/54.22 c bin-w-bin subsume rem 47845 bins time: 0.07 s
1229.18/54.26 c subs with bin: 113 lits-rem: 108 v-fix: 0 time: 0.05 s
1230.77/54.31 c Subs w/ non-existent bins: 4 l-rem: 39 v-fix: 0 done: 16446 time: 0.05 s
1230.77/54.33 c Removed useless bin: 112 fixed: 0 props: 0.68M time: 0.02 s
1230.77/54.39 c lits-rem: 7 cl-subs: 47 v-elim: 61 v-fix: 0 time: 0.05 s
1235.35/54.61 c subs with bin: 9 lits-rem: 146 v-fix: 0 time: 0.18 s
1235.35/54.69 c lits-rem: 140 cl-subs: 186 v-elim: 0 v-fix: 0 time: 0.07 s
1236.95/54.71 c vivif2 -- cl tried 33584 cl shrink 140 lits rem 359 time: 0.02
1236.95/54.73 c vivif2 -- cl tried 8690 cl shrink 681 lits rem 2958 time: 0.02
1242.18/55.06 c asymm cl-useful: 0/13068/33549 lits-rem:0 time: 0.33
1242.18/55.09 c calculated reachability. Time: 0.01
1242.18/55.09 c N st 22 46260 16385 33549 274365 8690 197778 778228 no data no data
1419.45/62.64 c N st 23 60657 16385 33549 274368 22875 197778 4155579 no data no data
1425.21/62.81 c Finding binary XORs T: 0.13 s found: 0
1501.90/65.28 c N st 24 69391 16385 33549 295505 18827 197778 1695406 no data no data
1501.90/65.28 c S st 24 69391 16385 33549 295505 18827 197778 1695406 no data no data
1511.49/65.59 c S st 24 69893 16384 33549 295545 19321 197778 1709486 no data no data
1514.68/65.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 252 locsubst: 0 time: 0.04
1560.05/67.05 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 75 BRemL: 48639 BRemN: 0 P: 10.5M T: 1.42
1560.05/67.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1563.24/67.12 c bin-w-bin subsume rem 19439 bins time: 0.04 s
1563.24/67.17 c subs with bin: 19 lits-rem: 3 v-fix: 0 time: 0.05 s
1565.80/67.21 c Subs w/ non-existent bins: 4 l-rem: 9 v-fix: 0 done: 16130 time: 0.04 s
1565.80/67.24 c Removed useless bin: 1 fixed: 0 props: 0.68M time: 0.02 s
1568.99/67.31 c lits-rem: 0 cl-subs: 49 v-elim: 38 v-fix: 0 time: 0.07 s
1578.57/67.60 c subs with bin: 1 lits-rem: 10 v-fix: 0 time: 0.22 s
1588.15/67.92 c lits-rem: 424 cl-subs: 412 v-elim: 0 v-fix: 0 time: 0.30 s
1588.15/67.93 c vivif2 -- cl tried 33487 cl shrink 50 lits rem 76 time: 0.02
1588.15/67.98 c vivif2 -- cl tried 14339 cl shrink 1819 lits rem 6496 time: 0.05
1607.31/68.59 c asymm cl-useful: 267/20219/33487 lits-rem:660 time: 0.61
1610.51/68.62 c calculated reachability. Time: 0.01
1610.51/68.62 c N st 24 69893 16092 33450 223228 14339 196340 979802 no data no data
1806.07/74.74 c F st 25 87503 16092 33450 223233 16393 196340 1040548 no data no data
1806.07/74.78 c N st 25 87503 16092 33450 223233 16393 196340 1040548 no data no data
1869.37/76.76 c N dy 34 94124 16074 33450 223632 22927 196340 1723408 12.74 13.53
1923.71/78.45 c N dy 52 100484 16064 33450 223853 29188 196339 1993397 10.52 11.31
1962.06/79.67 c S st 67 104839 16061 33450 224047 33482 196339 2339806 10.27 7.13
1974.84/80.02 c S st 67 105341 16061 33450 224050 33979 196339 2353945 10.27 no data
1974.84/80.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 108 locsubst: 0 time: 0.04
2025.98/81.66 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 47 Bins: 406 BRemL: 54639 BRemN: 0 P: 12.2M T: 1.61
2029.17/81.72 c Replacing 47 vars Replaced 1251 lits Time: 0.06 s
2029.17/81.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2029.17/81.76 c bin-w-bin subsume rem 278 bins time: 0.02 s
2029.17/81.80 c subs with bin: 172 lits-rem: 136 v-fix: 0 time: 0.03 s
2032.40/81.84 c Subs w/ non-existent bins: 6 l-rem: 21 v-fix: 0 done: 15905 time: 0.04 s
2032.40/81.86 c Removed useless bin: 61 fixed: 0 props: 0.46M time: 0.02 s
2035.56/81.93 c lits-rem: 16 cl-subs: 199 v-elim: 58 v-fix: 0 time: 0.07 s
2099.45/83.94 c subs with bin: 8 lits-rem: 554 v-fix: 0 time: 1.75 s
2134.61/85.04 c lits-rem: 1551 cl-subs: 809 v-elim: 0 v-fix: 0 time: 1.08 s
2134.61/85.06 c vivif2 -- cl tried 33001 cl shrink 28 lits rem 46 time: 0.02
2141.01/85.20 c vivif2 -- cl tried 32290 cl shrink 4931 lits rem 52318 time: 0.14
2153.80/85.65 c asymm cl-useful: 177/12782/33001 lits-rem:531 time: 0.45
2153.80/85.67 c calculated reachability. Time: 0.01
2153.80/85.67 c N dy 67 105341 15847 32824 123621 32290 193344 1979868 10.27 no data
2157.62/85.80 c Finding binary XORs T: 0.12 s found: 81
2240.10/88.32 c N dy 98 112783 15844 32824 124392 20273 193344 620506 10.14 10.68
2310.40/90.52 c N dy 132 120303 15844 32824 125519 27722 193344 988134 10.12 10.76
2383.92/92.88 c N dy 165 128066 15843 32824 126203 35351 193344 1308710 10.08 12.75
2451.05/94.90 c Finding binary XORs T: 0.12 s found: 1
2483.01/95.98 c N dy 204 137044 15841 32817 115282 22192 193238 591661 10.17 10.83
2572.51/98.73 c N dy 246 146183 15839 32817 115443 31184 193238 1112029 10.26 10.81
2668.40/101.78 c N dy 301 155525 15839 32817 115614 40426 193238 1528260 10.41 12.02
2697.16/102.68 c S st 314 158013 15836 32817 115737 42893 193238 1633625 10.42 8.52
2709.96/103.05 c S st 314 158514 15836 32817 115743 43383 193237 1646942 10.42 no data
2709.96/103.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
2764.28/104.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 11732 BRemL: 47869 BRemN: 89 P: 16.3M T: 1.62
2764.28/104.76 c Replacing 89 vars Replaced 3274 lits Time: 0.05 s
2764.28/104.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2764.28/104.79 c bin-w-bin subsume rem 782 bins time: 0.01 s
2767.45/104.82 c subs with bin: 222 lits-rem: 277 v-fix: 0 time: 0.03 s
2767.45/104.86 c Subs w/ non-existent bins: 0 l-rem: 15 v-fix: 0 done: 15747 time: 0.04 s
2767.45/104.88 c Removed useless bin: 4 fixed: 0 props: 0.56M time: 0.02 s
2770.64/104.95 c lits-rem: 9 cl-subs: 151 v-elim: 77 v-fix: 0 time: 0.06 s
2805.80/106.06 c subs with bin: 317 lits-rem: 1102 v-fix: 0 time: 0.99 s
2840.96/107.10 c lits-rem: 1886 cl-subs: 1024 v-elim: 0 v-fix: 0 time: 1.03 s
2840.96/107.12 c vivif2 -- cl tried 32430 cl shrink 20 lits rem 25 time: 0.02
2844.16/107.25 c vivif2 -- cl tried 41168 cl shrink 5629 lits rem 40346 time: 0.13
2866.53/107.90 c asymm cl-useful: 64/19109/32430 lits-rem:98 time: 0.65
2866.53/107.92 c calculated reachability. Time: 0.01
2866.53/107.92 c N dy 314 158514 15670 32430 69813 41166 191318 1409599 10.42 no data
2869.73/108.04 c Finding binary XORs T: 0.12 s found: 0
2927.28/109.84 c Finding binary XORs T: 0.12 s found: 0
2994.40/111.91 c N dy 341 168921 15669 32423 79723 28060 191303 1014398 10.24 10.82
3103.08/115.36 c N dy 377 179754 15666 32423 81444 38790 191303 1857899 10.17 10.78
3125.45/116.09 c Finding binary XORs T: 0.12 s found: 10
3237.32/119.53 c N dy 419 191447 15665 32417 76020 25196 191229 513856 10.15 10.87
3349.20/123.07 c N dy 467 203718 15665 32417 77093 37352 191228 1513390 10.12 17.27
3480.25/127.19 c Finding binary XORs T: 0.12 s found: 3
3496.86/127.69 c N dy 526 216808 15664 32416 78159 50289 191212 2085798 10.17 14.62
3643.27/132.24 c N dy 603 230680 15662 32416 80443 37711 191212 1129552 10.24 15.12
3675.23/133.24 c Finding binary XORs T: 0.12 s found: 0
3723.15/134.72 c S st 641 237771 15661 32415 79747 44359 191148 1489042 10.31 7.59
3732.75/135.10 c S st 641 238273 15661 32415 79747 44860 191148 1506324 10.31 no data
3735.94/135.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3778.11/136.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 457 BRemL: 16113 BRemN: 1 P: 15.3M T: 1.35
3780.67/136.53 c Replacing 13 vars Replaced 301 lits Time: 0.05 s
3780.67/136.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3780.67/136.56 c bin-w-bin subsume rem 2262 bins time: 0.01 s
3780.67/136.59 c subs with bin: 57 lits-rem: 36 v-fix: 0 time: 0.02 s
3783.87/136.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15648 time: 0.03 s
3783.87/136.64 c Removed useless bin: 1 fixed: 0 props: 0.50M time: 0.02 s
3787.07/136.70 c lits-rem: 5 cl-subs: 39 v-elim: 10 v-fix: 0 time: 0.06 s
3822.23/137.83 c subs with bin: 108 lits-rem: 381 v-fix: 0 time: 1.02 s
3851.00/138.77 c lits-rem: 1129 cl-subs: 1082 v-elim: 0 v-fix: 0 time: 0.92 s
3851.00/138.79 c vivif2 -- cl tried 32286 cl shrink 2 lits rem 2 time: 0.02
3857.40/138.91 c vivif2 -- cl tried 43614 cl shrink 5281 lits rem 48319 time: 0.13
3873.39/139.47 c asymm cl-useful: 3/12242/32285 lits-rem:9 time: 0.55
3873.39/139.49 c calculated reachability. Time: 0.01
3873.39/139.49 c N dy 641 238273 15638 32282 61400 43614 190542 1376548 10.31 no data
4049.19/144.94 c N dy 677 253872 15637 32282 61886 31768 190542 876463 10.17 10.87
4100.33/146.51 c Finding binary XORs T: 0.12 s found: 0
4221.81/150.39 c N dy 709 270765 15637 32280 65218 48417 190470 2610586 10.02 10.63
4411.02/156.23 c N dy 753 288340 15636 32280 65390 37340 190470 1649293 9.96 10.51
4528.66/159.99 c Finding binary XORs T: 0.12 s found: 0
4646.92/163.65 c F st 815 306250 15635 32279 65978 55062 190454 4199136 9.95 no data
4659.72/164.03 c N st 817 306876 15635 32270 65406 55576 190437 4318814 9.95 no data
4736.41/166.40 c Decided on static restart strategy
4935.23/172.66 c Finding binary XORs T: 0.12 s found: 1
5129.57/178.75 c N st 825 334555 15633 32268 65027 53352 190372 7043004 9.95 no data
5679.27/195.91 c N st 827 357410 15631 32268 65091 46529 190372 7320686 9.95 no data
5679.27/195.91 c S st 827 357410 15631 32268 65091 46529 190372 7320686 9.95 no data
5692.05/196.34 c S st 827 357910 15631 32268 65113 47027 190372 7337203 9.95 no data
5692.05/196.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
5736.81/197.70 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 16 Bins: 1864 BRemL: 11205 BRemN: 0 P: 13.7M T: 1.31
5740.02/197.80 c Replacing 17 vars Replaced 754 lits Time: 0.10 s
5740.02/197.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5740.02/197.84 c bin-w-bin subsume rem 854 bins time: 0.01 s
5740.02/197.86 c subs with bin: 38 lits-rem: 28 v-fix: 0 time: 0.02 s
5740.02/197.89 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 15613 time: 0.03 s
5740.02/197.92 c Removed useless bin: 1 fixed: 0 props: 0.50M time: 0.02 s
5747.03/198.02 c lits-rem: 0 cl-subs: 38 v-elim: 13 v-fix: 0 time: 0.11 s
5829.50/200.66 c subs with bin: 12 lits-rem: 299 v-fix: 0 time: 2.10 s
6072.42/208.23 c lits-rem: 1768 cl-subs: 442 v-elim: 0 v-fix: 0 time: 7.56 s
6072.42/208.25 c vivif2 -- cl tried 32166 cl shrink 1 lits rem 1 time: 0.02
6085.20/208.68 c vivif2 -- cl tried 34785 cl shrink 8627 lits rem 372933 time: 0.42
6088.40/208.73 c asymm cl-useful: 0/815/32166 lits-rem:0 time: 0.04
6088.40/208.75 c calculated reachability. Time: 0.01
6088.40/208.75 c N st 827 357910 15600 32166 53751 34784 189843 6061088 9.95 no data
6091.60/208.87 c Finding binary XORs T: 0.12 s found: 0
6452.74/220.18 c N st 828 390302 15597 32166 55410 41534 189843 3888489 9.95 no data
6459.14/220.33 c Finding binary XORs T: 0.12 s found: 0
7040.83/238.52 c N st 829 438891 15596 32163 55096 60489 189721 5513687 9.95 no data
8808.27/293.87 c N st 830 511774 15596 32163 55247 67502 189721 14616139 9.95 no data
8811.47/294.00 c Finding binary XORs T: 0.12 s found: 3
9268.50/308.21 c N st 831 536866 15596 32163 55774 57152 189721 5861871 9.95 no data
9268.50/308.21 c S st 831 536866 15596 32163 55774 57152 189721 5861871 9.95 no data
9284.48/308.71 c S st 831 537368 15595 32163 56087 57652 189721 5876147 9.95 no data
9284.48/308.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
9329.83/310.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 125 BRemL: 2558 BRemN: 1 P: 16.2M T: 1.45
9335.62/310.32 c Replacing 5 vars Replaced 177 lits Time: 0.10 s
9335.62/310.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9335.62/310.35 c bin-w-bin subsume rem 228 bins time: 0.01 s
9335.62/310.38 c subs with bin: 30 lits-rem: 21 v-fix: 0 time: 0.03 s
9338.82/310.41 c Subs w/ non-existent bins: 0 l-rem: 2 v-fix: 0 done: 15590 time: 0.03 s
9338.82/310.43 c Removed useless bin: 2 fixed: 0 props: 0.49M time: 0.02 s
9342.02/310.56 c lits-rem: 3 cl-subs: 12 v-elim: 1 v-fix: 0 time: 0.12 s
9428.34/313.29 c subs with bin: 6 lits-rem: 542 v-fix: 0 time: 2.31 s
9677.66/321.02 c lits-rem: 4190 cl-subs: 1314 v-elim: 0 v-fix: 0 time: 7.71 s
9677.66/321.04 c vivif2 -- cl tried 32113 cl shrink 0 lits rem 0 time: 0.02
9693.63/321.50 c vivif2 -- cl tried 55983 cl shrink 15738 lits rem 409092 time: 0.46
9716.63/322.28 c asymm cl-useful: 25/8742/32113 lits-rem:33 time: 0.78
9716.63/322.30 c calculated reachability. Time: 0.01
9716.63/322.30 c N st 831 537368 15589 32113 52853 55979 189476 5329311 9.95 no data
15333.87/498.03 c N st 832 701353 15589 32113 52853 67052 189476 13132376 9.95 no data
15340.88/498.29 c Finding binary XORs T: 0.12 s found: 3
17703.99/572.27 c N st 833 806053 15585 32099 53503 88131 189397 11791305 9.95 no data
17703.99/572.27 c S st 833 806053 15585 32099 53503 88131 189397 11791305 9.95 no data
17726.37/572.93 c S st 833 806554 15585 32099 53713 46200 189397 3480010 9.95 no data
17726.37/572.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
17768.53/574.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 236 BRemL: 3354 BRemN: 0 P: 13.8M T: 1.30
17771.09/574.33 c Replacing 4 vars Replaced 134 lits Time: 0.05 s
17771.09/574.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17771.09/574.37 c bin-w-bin subsume rem 150 bins time: 0.01 s
17771.09/574.39 c subs with bin: 20 lits-rem: 6 v-fix: 0 time: 0.03 s
17774.29/574.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15581 time: 0.03 s
17774.29/574.45 c Removed useless bin: 0 fixed: 0 props: 0.48M time: 0.02 s
17777.48/574.56 c lits-rem: 1 cl-subs: 13 v-elim: 8 v-fix: 0 time: 0.11 s
17857.37/577.08 c subs with bin: 41 lits-rem: 3067 v-fix: 0 time: 2.24 s
17991.45/581.27 c lits-rem: 2418 cl-subs: 842 v-elim: 0 v-fix: 0 time: 4.17 s
17991.45/581.29 c vivif2 -- cl tried 32063 cl shrink 1 lits rem 1 time: 0.02
17997.88/581.47 c vivif2 -- cl tried 44480 cl shrink 2058 lits rem 25811 time: 0.18
18023.45/582.23 c asymm cl-useful: 48/15041/32063 lits-rem:48 time: 0.75
18023.45/582.25 c calculated reachability. Time: 0.01
18023.45/582.25 c N st 833 806554 15573 32063 49755 44480 189291 3241959 9.95 no data
18026.62/582.37 c Finding binary XORs T: 0.12 s found: 0
25515.40/816.84 c F st 834 1071875 15573 32063 49756 80319 189290 8536799 9.95 no data
25515.40/816.87 c N st 834 1071875 15573 32063 49756 80319 189290 8536799 9.95 no data
25521.80/817.07 c Finding binary XORs T: 0.12 s found: 0
25608.05/819.76 c Decided on static restart strategy
25988.51/831.64 c N st 844 1100188 15572 32062 49838 59930 189275 5123401 9.95 no data
26776.82/856.31 c N st 846 1136182 15572 32062 49844 95749 189275 14461020 9.95 no data
27242.92/870.99 c N st 847 1168575 15572 32062 49864 78068 189275 4298778 9.95 no data
28651.60/915.02 c N st 848 1209833 15572 32062 49866 68909 189275 9177451 9.95 no data
28651.60/915.02 c S st 848 1209833 15572 32062 49866 68909 189275 9177451 9.95 no data
28670.77/915.65 c S st 848 1210337 15572 32062 49894 69413 189275 9196979 9.95 no data
28673.94/915.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
28725.58/917.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 454 BRemL: 1359 BRemN: 2 P: 17.0M T: 1.63
28725.58/917.41 c Replacing 4 vars Replaced 135 lits Time: 0.06 s
28728.81/917.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28728.81/917.45 c bin-w-bin subsume rem 28 bins time: 0.01 s
28728.81/917.47 c subs with bin: 10 lits-rem: 5 v-fix: 0 time: 0.03 s
28731.37/917.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15568 time: 0.04 s
28731.37/917.53 c Removed useless bin: 1 fixed: 0 props: 0.47M time: 0.02 s
28737.76/917.70 c lits-rem: 1 cl-subs: 14 v-elim: 3 v-fix: 0 time: 0.16 s
28831.00/920.64 c subs with bin: 6 lits-rem: 2577 v-fix: 0 time: 2.17 s
29063.52/927.90 c lits-rem: 3913 cl-subs: 952 v-elim: 0 v-fix: 0 time: 7.24 s
29063.52/927.92 c vivif2 -- cl tried 32035 cl shrink 0 lits rem 0 time: 0.02
29085.84/928.61 c vivif2 -- cl tried 67912 cl shrink 10661 lits rem 286301 time: 0.67
29098.63/929.01 c asymm cl-useful: 0/8252/32035 lits-rem:0 time: 0.40
29098.63/929.03 c calculated reachability. Time: 0.01
29098.63/929.03 c N st 848 1210337 15565 32035 48948 67912 189157 8591715 9.95 no data
29101.82/929.15 c Finding binary XORs T: 0.12 s found: 0
30977.30/987.83 c N st 849 1283222 15565 32035 48948 88990 189157 10442240 9.95 no data
30979.87/987.95 c Finding binary XORs T: 0.12 s found: 0
34905.54/1110.87 c N st 850 1392547 15565 32035 49337 92120 189157 17197743 9.95 no data
39578.99/1257.14 c N st 851 1556533 15565 32035 49408 88146 189157 9855107 9.95 no data
43354.51/1375.35 c N st 852 1710337 15564 32035 49526 65098 189157 3718386 9.95 no data
43354.51/1375.35 c S st 852 1710337 15564 32035 49526 65098 189157 3718386 9.95 no data
43373.56/1375.99 c S st 852 1710838 15564 32035 49622 65595 189157 3738548 9.95 no data
43377.37/1376.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
43427.81/1377.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 24 BRemL: 562 BRemN: 0 P: 16.3M T: 1.56
43431.01/1377.71 c Replacing 1 vars Replaced 29 lits Time: 0.10 s
43431.01/1377.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
43431.01/1377.75 c bin-w-bin subsume rem 66 bins time: 0.01 s
43431.01/1377.77 c subs with bin: 9 lits-rem: 2 v-fix: 0 time: 0.03 s
43434.21/1377.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15563 time: 0.04 s
43434.21/1377.84 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
43437.41/1377.97 c lits-rem: 0 cl-subs: 1 v-elim: 2 v-fix: 0 time: 0.13 s
43523.59/1380.64 c subs with bin: 45 lits-rem: 968 v-fix: 0 time: 2.38 s
43651.25/1384.61 c lits-rem: 1549 cl-subs: 889 v-elim: 0 v-fix: 0 time: 3.95 s
43651.25/1384.63 c vivif2 -- cl tried 32021 cl shrink 0 lits rem 0 time: 0.02
43658.26/1384.85 c vivif2 -- cl tried 64554 cl shrink 1902 lits rem 14916 time: 0.22
43689.61/1385.90 c asymm cl-useful: 49/5923/32021 lits-rem:53 time: 1.05
43693.43/1385.92 c calculated reachability. Time: 0.01
43693.43/1385.92 c N st 852 1710838 15561 32021 48721 64554 189061 3673020 9.95 no data
53070.34/1679.57 c N st 853 2079802 15561 32021 48721 117788 189061 12581782 9.95 no data
53074.14/1679.69 c Finding binary XORs T: 0.12 s found: 0
55600.07/1758.70 c N st 854 2210839 15561 32021 49012 114608 189061 5866670 9.95 no data
55600.07/1758.70 c S st 854 2210839 15561 32021 49012 114608 189061 5866670 9.95 no data
55619.24/1759.31 c S st 854 2211340 15560 32021 49018 115108 189061 5882098 9.95 no data
55619.24/1759.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
55679.98/1761.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 43 BRemL: 520 BRemN: 0 P: 24.4M T: 1.89
55679.98/1761.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
55679.98/1761.29 c bin-w-bin subsume rem 30 bins time: 0.01 s
55683.18/1761.32 c subs with bin: 3 lits-rem: 1 v-fix: 0 time: 0.03 s
55683.18/1761.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15560 time: 0.04 s
55683.18/1761.38 c Removed useless bin: 1 fixed: 0 props: 0.47M time: 0.02 s
55689.54/1761.53 c lits-rem: 1 cl-subs: 5 v-elim: 3 v-fix: 0 time: 0.15 s
55772.66/1764.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.11 s
56356.97/1782.48 c lits-rem: 8188 cl-subs: 3298 v-elim: 0 v-fix: 0 time: 18.30 s
56356.97/1782.50 c vivif2 -- cl tried 32016 cl shrink 0 lits rem 0 time: 0.02
56376.75/1783.09 c vivif2 -- cl tried 111727 cl shrink 28503 lits rem 161474 time: 0.58
56398.53/1783.74 c asymm cl-useful: 14/13743/32016 lits-rem:16 time: 0.65
56398.53/1783.76 c calculated reachability. Time: 0.01
56398.53/1783.76 c N st 854 2211340 15557 32015 47973 111726 189059 5540040 9.95 no data
82924.59/2614.27 c N st 855 2711340 15557 32015 47973 117755 189059 17789199 9.95 no data
82924.59/2614.27 c S st 855 2711340 15557 32015 47973 117755 189059 17789199 9.95 no data
82934.18/2614.53 c Finding binary XORs T: 0.11 s found: 0
82956.52/2615.28 c S st 855 2711840 15555 32013 47390 118252 189032 17808214 9.95 no data
82959.72/2615.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
83020.42/2617.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 523 BRemL: 1162 BRemN: 0 P: 22.6M T: 1.85
83020.42/2617.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
83020.42/2617.25 c bin-w-bin subsume rem 20 bins time: 0.01 s
83020.42/2617.28 c subs with bin: 9 lits-rem: 5 v-fix: 0 time: 0.03 s
83023.61/2617.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15555 time: 0.04 s
83023.61/2617.34 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
83030.02/2617.60 c lits-rem: 0 cl-subs: 0 v-elim: 2 v-fix: 0 time: 0.25 s
83154.62/2621.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.22 s
84065.34/2649.96 c lits-rem: 3361 cl-subs: 931 v-elim: 0 v-fix: 0 time: 28.54 s
84065.34/2649.98 c vivif2 -- cl tried 32010 cl shrink 1 lits rem 1 time: 0.01
84115.84/2651.58 c vivif2 -- cl tried 117321 cl shrink 31832 lits rem 543450 time: 1.56
84138.22/2652.28 c asymm cl-useful: 0/7954/32010 lits-rem:0 time: 0.70
84141.41/2652.31 c calculated reachability. Time: 0.01
84141.41/2652.31 c N st 855 2711840 15553 32010 46728 117321 189035 17032287 9.95 no data
84144.61/2652.42 c Finding binary XORs T: 0.11 s found: 0
100859.02/3175.75 c N st 856 3211840 15553 32010 46731 152183 189035 31994629 9.95 no data
100859.02/3175.75 c S st 856 3211840 15553 32010 46731 152183 189035 31994629 9.95 no data
100861.57/3175.87 c Finding binary XORs T: 0.11 s found: 0
100894.18/3176.84 c S st 856 3212340 15553 32010 47373 152679 189035 32014587 9.95 no data
100896.73/3176.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
100970.14/3179.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 26 BRemL: 647 BRemN: 0 P: 27.9M T: 2.31
100970.14/3179.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
100970.14/3179.30 c bin-w-bin subsume rem 42 bins time: 0.01 s
100973.33/3179.32 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.02 s
100973.33/3179.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15553 time: 0.04 s
100973.33/3179.39 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
100986.09/3179.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.36 s
101164.93/3185.32 c subs with bin: 0 lits-rem: 3953 v-fix: 0 time: 2.69 s
104202.30/3280.47 c lits-rem: 3206 cl-subs: 1347 v-elim: 0 v-fix: 0 time: 95.11 s
104202.30/3280.49 c vivif2 -- cl tried 32001 cl shrink 0 lits rem 0 time: 0.02
104294.91/3283.32 c vivif2 -- cl tried 151340 cl shrink 48296 lits rem 2711107 time: 2.79
104320.48/3284.17 c asymm cl-useful: 0/4381/32001 lits-rem:0 time: 0.85
104323.68/3284.20 c calculated reachability. Time: 0.01
104323.68/3284.20 c N st 856 3212340 15553 32001 46710 151340 188999 28949400 9.95 no data
121530.43/3822.96 c N st 857 3712341 15553 32001 46710 149812 188999 12716277 9.95 no data
121530.43/3822.96 c S st 857 3712341 15553 32001 46710 149812 188999 12716277 9.95 no data
121556.00/3823.75 c S st 857 3712842 15549 32001 46868 150312 188999 12737661 9.95 no data
121559.03/3823.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
121629.34/3826.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 3 BRemL: 95 BRemN: 0 P: 27.5M T: 2.17
121632.54/3826.19 c Replacing 2 vars Replaced 60 lits Time: 0.18 s
121635.73/3826.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
121635.73/3826.22 c bin-w-bin subsume rem 11 bins time: 0.01 s
121635.73/3826.25 c subs with bin: 7 lits-rem: 5 v-fix: 0 time: 0.03 s
121635.73/3826.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15547 time: 0.04 s
121638.94/3826.31 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
121645.33/3826.53 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.22 s
121761.00/3830.13 c subs with bin: 15 lits-rem: 1 v-fix: 0 time: 2.58 s
123516.95/3885.14 c lits-rem: 17074 cl-subs: 3348 v-elim: 0 v-fix: 0 time: 54.99 s
123516.95/3885.16 c vivif2 -- cl tried 31981 cl shrink 0 lits rem 0 time: 0.02
123567.47/3886.72 c vivif2 -- cl tried 146230 cl shrink 47520 lits rem 440221 time: 1.55
123596.23/3887.61 c asymm cl-useful: 15/1903/31981 lits-rem:19 time: 0.89
123596.23/3887.63 c calculated reachability. Time: 0.01
123596.23/3887.63 c N st 857 3712842 15545 31981 45161 146230 188899 11881260 9.95 no data
124947.45/3929.96 c F st 858 3751562 15545 31981 45161 98974 188899 6432835 9.95 no data
124947.45/3929.99 c N st 858 3751562 15545 31981 45161 98974 188899 6432835 9.95 no data
125063.07/3933.55 c Decided on static restart strategy
125503.40/3947.32 c N st 868 3779865 15545 31981 45170 127058 188899 10959208 9.95 no data
126451.91/3977.06 c N st 870 3815858 15545 31981 45173 162820 188899 20932133 9.95 no data
127038.87/3995.47 c N st 871 3848250 15545 31981 45173 107969 188899 7052959 9.95 no data
128834.32/4051.67 c N st 872 3896839 15545 31981 45184 156388 188899 19739763 9.95 no data
130967.44/4118.49 c N st 873 3969722 15545 31981 45191 140627 188899 20711929 9.95 no data
134754.58/4237.08 c N st 874 4079047 15545 31981 45244 160087 188899 19004860 9.95 no data
141794.62/4457.45 c N st 875 4212843 15545 31981 45252 111411 188899 9471595 9.95 no data
141794.62/4457.45 c S st 875 4212843 15545 31981 45252 111411 188899 9471595 9.95 no data
141820.83/4458.22 c S st 875 4213349 15545 31981 45271 111914 188899 9490526 9.95 no data
141820.83/4458.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
141877.66/4460.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 77 BRemN: 0 P: 22.1M T: 1.75
141877.66/4460.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
141877.66/4460.08 c bin-w-bin subsume rem 13 bins time: 0.01 s
141880.84/4460.11 c subs with bin: 3 lits-rem: 1 v-fix: 0 time: 0.03 s
141880.84/4460.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15545 time: 0.04 s
141880.84/4460.17 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
141887.25/4460.36 c lits-rem: 0 cl-subs: 1 v-elim: 2 v-fix: 0 time: 0.19 s
141983.06/4463.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.27 s
142277.38/4472.58 c lits-rem: 2929 cl-subs: 617 v-elim: 0 v-fix: 0 time: 9.18 s
142277.38/4472.60 c vivif2 -- cl tried 31975 cl shrink 0 lits rem 0 time: 0.02
142299.14/4473.27 c vivif2 -- cl tried 111211 cl shrink 9989 lits rem 187347 time: 0.67
142327.91/4474.13 c asymm cl-useful: 19/15714/31975 lits-rem:19 time: 0.85
142327.91/4474.15 c calculated reachability. Time: 0.01
142327.91/4474.15 c N st 875 4213349 15543 31975 45184 111211 188862 9200706 9.95 no data
142331.11/4474.27 c Finding binary XORs T: 0.12 s found: 0
150690.33/4735.91 c N st 876 4459326 15543 31975 45184 169823 188862 27465942 9.95 no data
158355.89/4975.98 c N st 877 4713349 15543 31975 45196 136414 188862 11778522 9.95 no data
158355.89/4975.98 c S st 877 4713349 15543 31975 45196 136414 188862 11778522 9.95 no data
158384.67/4976.82 c S st 877 4713855 15543 31975 45215 136920 188862 11799683 9.95 no data
158387.88/4976.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
158454.95/4979.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 21 BRemN: 0 P: 26.6M T: 2.19
158458.11/4979.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
158458.11/4979.13 c bin-w-bin subsume rem 5 bins time: 0.01 s
158458.11/4979.16 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.03 s
158458.11/4979.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15543 time: 0.04 s
158461.31/4979.22 c Removed useless bin: 0 fixed: 0 props: 0.47M time: 0.02 s
158467.72/4979.43 c lits-rem: 0 cl-subs: 7 v-elim: 4 v-fix: 0 time: 0.21 s
158573.20/4982.73 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 2.40 s
158962.86/4995.00 c lits-rem: 5799 cl-subs: 932 v-elim: 0 v-fix: 0 time: 12.26 s
158966.69/4995.02 c vivif2 -- cl tried 31972 cl shrink 0 lits rem 0 time: 0.02
158998.00/4996.05 c vivif2 -- cl tried 129712 cl shrink 23389 lits rem 497346 time: 1.02
159020.39/4996.71 c asymm cl-useful: 0/2845/31972 lits-rem:0 time: 0.66
159020.39/4996.74 c calculated reachability. Time: 0.01
159020.39/4996.74 c N st 877 4713855 15539 31972 44706 129712 188833 10331273 9.95 no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400822-1306851761/watcher-3400822-1306851761 -o /tmp/evaluation-result-3400822-1306851761/solver-3400822-1306851761 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400822-1306851761.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: 29.52 31.51 31.84 1/413 24427
/proc/meminfo: memFree=263521540/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=798104 CPUtime=0.71 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) S 24425 24427 24401 0 -1 4202496 8362 0 0 0 16 55 0 0 18 0 32 0 11142141 817258496 8188 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24427/statm: 199526 8189 331 95 0 194508 0
[pid=24427/tid=24428] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 215 0 0 0 0 1 0 0 22 0 32 0 11142142 817258496 8214 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24427/tid=24429] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24429/stat : 24429 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 268 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8234 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 2 0 0 0
[pid=24427/tid=24430] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24430/stat : 24430 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 276 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8234 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24431] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24431/stat : 24431 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 219 0 0 0 0 1 0 0 22 0 32 0 11142142 817258496 8243 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24427/tid=24432] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24432/stat : 24432 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 217 0 0 0 0 1 0 0 22 0 32 0 11142142 817258496 8266 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24427/tid=24433] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24433/stat : 24433 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 280 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8275 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24434] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24434/stat : 24434 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 285 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8279 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24427/tid=24435] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24435/stat : 24435 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 252 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8289 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24427/tid=24436] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24436/stat : 24436 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 275 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8313 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24427/tid=24437] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24437/stat : 24437 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 276 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8326 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 28 0 0 0
[pid=24427/tid=24438] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24438/stat : 24438 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 257 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8326 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24427/tid=24439] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24439/stat : 24439 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 262 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8337 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=24427/tid=24440] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24440/stat : 24440 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 263 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8371 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24427/tid=24441] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24441/stat : 24441 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 262 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8392 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24427/tid=24442] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24442/stat : 24442 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 243 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8393 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24427/tid=24443] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24443/stat : 24443 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 247 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8405 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24427/tid=24444] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24444/stat : 24444 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 309 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8410 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604568458272224 0 0 -1 14 0 0 0
[pid=24427/tid=24445] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24445/stat : 24445 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 264 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8430 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24427/tid=24446] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24446/stat : 24446 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 248 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8430 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24427/tid=24447] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24447/stat : 24447 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 263 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8431 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24427/tid=24448] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24448/stat : 24448 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 268 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8441 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24427/tid=24449] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24449/stat : 24449 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 230 0 0 0 0 1 0 0 18 0 32 0 11142142 817258496 8457 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24427/tid=24450] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24450/stat : 24450 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 271 0 0 0 0 1 0 0 17 0 32 0 11142142 817258496 8463 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24427/tid=24451] ppid=24425 vsize=798104 CPUtime=0.01 cores=0-31
/proc/24427/task/24451/stat : 24451 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 266 0 0 0 0 1 0 0 25 0 32 0 11142142 817258496 8463 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24427/tid=24452] ppid=24425 vsize=863772 CPUtime=0.01 cores=0-31
/proc/24427/task/24452/stat : 24452 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 240 0 0 0 0 1 0 0 18 0 32 0 11142142 884502528 8471 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24427/tid=24453] ppid=24425 vsize=863772 CPUtime=0 cores=0-31
/proc/24427/task/24453/stat : 24453 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 32 0 11142142 884502528 8487 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24454] ppid=24425 vsize=863772 CPUtime=0.01 cores=0-31
/proc/24427/task/24454/stat : 24454 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 272 0 0 0 0 1 0 0 17 0 32 0 11142142 884502528 8493 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24427/tid=24455] ppid=24425 vsize=863772 CPUtime=0.01 cores=0-31
/proc/24427/task/24455/stat : 24455 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 279 0 0 0 0 1 0 0 18 0 32 0 11142142 884502528 8502 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604500168605152 0 0 -1 19 0 0 0
[pid=24427/tid=24456] ppid=24425 vsize=863772 CPUtime=0.01 cores=0-31
/proc/24427/task/24456/stat : 24456 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 249 0 0 0 0 1 0 0 18 0 32 0 11142142 884502528 8506 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24427/tid=24457] ppid=24425 vsize=863772 CPUtime=0.01 cores=0-31
/proc/24427/task/24457/stat : 24457 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 278 0 0 0 0 1 0 0 18 0 32 0 11142142 884502528 8520 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 30 0 0 0
[pid=24427/tid=24458] ppid=24425 vsize=863772 CPUtime=0.02 cores=0-31
/proc/24427/task/24458/stat : 24458 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 262 0 0 0 0 2 0 0 25 0 32 0 11142142 884502528 8523 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.085712 s]
/proc/loadavg: 29.52 31.51 31.84 1/413 24427
/proc/meminfo: memFree=263521540/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=1132364 CPUtime=0.98 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) R 24425 24427 24401 0 -1 4202496 13485 0 0 0 21 77 0 0 17 0 32 0 11142141 1159540736 13044 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24427/statm: 283091 13012 331 95 0 278073 0
[pid=24427/tid=24428] ppid=24425 vsize=1132232 CPUtime=0.03 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 354 0 0 0 1 2 0 0 17 0 32 0 11142142 1159405568 13018 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 1 0 0 0
[pid=24427/tid=24429] ppid=24425 vsize=1132232 CPUtime=0.01 cores=0-31
/proc/24427/task/24429/stat : 24429 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 270 0 0 0 0 1 0 0 17 0 32 0 11142142 1159405568 13033 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604490622541280 0 0 -1 2 0 0 0
[pid=24427/tid=24430] ppid=24425 vsize=1132232 CPUtime=0.03 cores=0-31
/proc/24427/task/24430/stat : 24430 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 485 0 0 0 1 2 0 0 17 0 32 0 11142142 1159405568 13033 268435456000 4194304 4580107 140735110068656 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24431] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24431/stat : 24431 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 307 0 0 0 0 2 0 0 22 0 32 0 11142142 1159405568 13035 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 13 0 0 0
[pid=24427/tid=24432] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24432/stat : 24432 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 317 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13046 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604448732413408 0 0 -1 17 0 0 0
[pid=24427/tid=24433] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24433/stat : 24433 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 502 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13057 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24434] ppid=24425 vsize=1132232 CPUtime=0.03 cores=0-31
/proc/24427/task/24434/stat : 24434 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 525 0 0 0 0 3 0 0 17 0 32 0 11142142 1159405568 13070 268435456000 4194304 4580107 140735110068656 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24427/tid=24435] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24435/stat : 24435 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 540 0 0 0 0 2 0 0 18 0 32 0 11142142 1159405568 13071 268435456000 4194304 4580107 140735110068656 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24427/tid=24436] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24436/stat : 24436 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 424 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13088 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24427/tid=24437] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24437/stat : 24437 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 439 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13113 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566932504 0 0 -1 28 0 0 0
[pid=24427/tid=24438] ppid=24425 vsize=1132232 CPUtime=0.01 cores=0-31
/proc/24427/task/24438/stat : 24438 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 282 0 0 0 0 1 0 0 17 0 32 0 11142142 1159405568 13114 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604445704535520 0 0 -1 23 0 0 0
[pid=24427/tid=24439] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24439/stat : 24439 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 426 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13133 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=24427/tid=24440] ppid=24425 vsize=1132232 CPUtime=0.02 cores=0-31
/proc/24427/task/24440/stat : 24440 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 307 0 0 0 0 2 0 0 17 0 32 0 11142142 1159405568 13153 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 6 0 0 0
[pid=24427/tid=24441] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24441/stat : 24441 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 379 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13153 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24427/tid=24442] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24442/stat : 24442 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 496 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13181 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24427/tid=24443] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24443/stat : 24443 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 360 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13210 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604441379438048 0 0 -1 5 0 0 0
[pid=24427/tid=24444] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24444/stat : 24444 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 578 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13244 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604504269135328 0 0 -1 14 0 0 0
[pid=24427/tid=24445] ppid=24425 vsize=1132400 CPUtime=0.01 cores=0-31
/proc/24427/task/24445/stat : 24445 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 286 0 0 0 0 1 0 0 17 0 32 0 11142142 1159577600 13247 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566925864 0 0 -1 7 0 0 0
[pid=24427/tid=24446] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24446/stat : 24446 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 413 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13257 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24427/tid=24447] ppid=24425 vsize=1132400 CPUtime=0.02 cores=0-31
/proc/24427/task/24447/stat : 24447 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 462 0 0 0 0 2 0 0 17 0 32 0 11142142 1159577600 13224 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24427/tid=24448] ppid=24425 vsize=1132268 CPUtime=0.02 cores=0-31
/proc/24427/task/24448/stat : 24448 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 461 0 0 0 0 2 0 0 17 0 32 0 11142142 1159442432 13237 268435456000 4194304 4580107 140735110068656 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24427/tid=24449] ppid=24425 vsize=1132268 CPUtime=0.02 cores=0-31
/proc/24427/task/24449/stat : 24449 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 519 0 0 0 0 2 0 0 18 0 32 0 11142142 1159442432 13244 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24427/tid=24450] ppid=24425 vsize=1132528 CPUtime=0.02 cores=0-31
/proc/24427/task/24450/stat : 24450 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 427 0 0 0 0 2 0 0 17 0 32 0 11142142 1159708672 13245 268435456000 4194304 4580107 140735110068656 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=24427/tid=24451] ppid=24425 vsize=1132528 CPUtime=0.02 cores=0-31
/proc/24427/task/24451/stat : 24451 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 326 0 0 0 0 2 0 0 17 0 32 0 11142142 1159708672 13248 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604490622500320 0 0 -1 15 0 0 0
[pid=24427/tid=24452] ppid=24425 vsize=1132396 CPUtime=0.03 cores=0-31
/proc/24427/task/24452/stat : 24452 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 563 0 0 0 0 3 0 0 18 0 32 0 11142142 1159573504 13225 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653351 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24427/tid=24453] ppid=24425 vsize=1132396 CPUtime=0 cores=0-31
/proc/24427/task/24453/stat : 24453 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 32 0 11142142 1159573504 13243 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24454] ppid=24425 vsize=1132396 CPUtime=0.03 cores=0-31
/proc/24427/task/24454/stat : 24454 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 572 0 0 0 0 3 0 0 17 0 32 0 11142142 1159573504 13246 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24427/tid=24455] ppid=24425 vsize=1132396 CPUtime=0.02 cores=0-31
/proc/24427/task/24455/stat : 24455 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 565 0 0 0 0 2 0 0 17 0 32 0 11142142 1159573504 13256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24427/tid=24456] ppid=24425 vsize=1132396 CPUtime=0.01 cores=0-31
/proc/24427/task/24456/stat : 24456 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 267 0 0 0 0 1 0 0 17 0 32 0 11142142 1159573504 13258 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604454430055904 0 0 -1 29 0 0 0
[pid=24427/tid=24457] ppid=24425 vsize=1132396 CPUtime=0.02 cores=0-31
/proc/24427/task/24457/stat : 24457 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 496 0 0 0 0 2 0 0 17 0 32 0 11142142 1159573504 13271 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24427/tid=24458] ppid=24425 vsize=1132396 CPUtime=0.02 cores=0-31
/proc/24427/task/24458/stat : 24458 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 295 0 0 0 0 2 0 0 17 0 32 0 11142142 1159573504 13315 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1132364
[startup+0.10372 s]
/proc/loadavg: 29.52 31.51 31.84 1/413 24427
/proc/meminfo: memFree=263521540/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=1137584 CPUtime=1.15 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) S 24425 24427 24401 0 -1 4202496 16610 0 0 0 24 91 0 0 17 0 32 0 11142141 1164886016 15835 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24427/statm: 284444 15841 331 95 0 279426 0
[pid=24427/tid=24428] ppid=24425 vsize=1137776 CPUtime=0.04 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 497 0 0 0 1 3 0 0 17 0 32 0 11142142 1165082624 15855 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24427/tid=24429] ppid=24425 vsize=1137776 CPUtime=0.01 cores=0-31
/proc/24427/task/24429/stat : 24429 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 270 0 0 0 0 1 0 0 17 0 32 0 11142142 1165082624 15872 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604488023391712 0 0 -1 2 0 0 0
[pid=24427/tid=24430] ppid=24425 vsize=1138292 CPUtime=0.03 cores=0-31
/proc/24427/task/24430/stat : 24430 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 568 0 0 0 1 2 0 0 17 0 32 0 11142142 1165611008 15872 268435456000 4194304 4580107 140735110068656 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24431] ppid=24425 vsize=1138292 CPUtime=0.02 cores=0-31
/proc/24427/task/24431/stat : 24431 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 366 0 0 0 0 2 0 0 22 0 32 0 11142142 1165611008 15886 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566932504 0 0 -1 13 0 0 0
[pid=24427/tid=24432] ppid=24425 vsize=1138292 CPUtime=0.02 cores=0-31
/proc/24427/task/24432/stat : 24432 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 363 0 0 0 0 2 0 0 17 0 32 0 11142142 1165611008 15900 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604489485450720 0 0 -1 17 0 0 0
[pid=24427/tid=24433] ppid=24425 vsize=1138552 CPUtime=0.03 cores=0-31
/proc/24427/task/24433/stat : 24433 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 598 0 0 0 0 3 0 0 17 0 32 0 11142142 1165877248 15901 268435456000 4194304 4580107 140735110068656 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24434] ppid=24425 vsize=1138552 CPUtime=0.03 cores=0-31
/proc/24427/task/24434/stat : 24434 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 625 0 0 0 0 3 0 0 17 0 32 0 11142142 1165877248 15912 268435456000 4194304 4580107 140735110068656 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24427/tid=24435] ppid=24425 vsize=1138552 CPUtime=0.03 cores=0-31
/proc/24427/task/24435/stat : 24435 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 691 0 0 0 0 3 0 0 18 0 32 0 11142142 1165877248 15921 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24427/tid=24436] ppid=24425 vsize=1138552 CPUtime=0.03 cores=0-31
/proc/24427/task/24436/stat : 24436 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 554 0 0 0 0 3 0 0 17 0 32 0 11142142 1165877248 15954 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24427/tid=24437] ppid=24425 vsize=1138552 CPUtime=0.02 cores=0-31
/proc/24427/task/24437/stat : 24437 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 510 0 0 0 0 2 0 0 17 0 32 0 11142142 1165877248 15995 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 28 0 0 0
[pid=24427/tid=24438] ppid=24425 vsize=1138552 CPUtime=0.01 cores=0-31
/proc/24427/task/24438/stat : 24438 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 295 0 0 0 0 1 0 0 17 0 32 0 11142142 1165877248 16018 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446604503818157536 0 0 -1 23 0 0 0
[pid=24427/tid=24439] ppid=24425 vsize=1138552 CPUtime=0.02 cores=0-31
/proc/24427/task/24439/stat : 24439 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 535 0 0 0 0 2 0 0 17 0 32 0 11142142 1165877248 16049 268435456000 4194304 4580107 140735110068656 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=24427/tid=24440] ppid=24425 vsize=1138744 CPUtime=0.02 cores=0-31
/proc/24427/task/24440/stat : 24440 (strangenight2-m) D 24425 24427 24401 0 -1 4202560 364 0 0 0 0 2 0 0 17 0 32 0 11142142 1166073856 16049 268435456000 4194304 4580107 140735110068656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24427/tid=24441] ppid=24425 vsize=1138744 CPUtime=0.03 cores=0-31
/proc/24427/task/24441/stat : 24441 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 540 0 0 0 0 3 0 0 17 0 32 0 11142142 1166073856 16067 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 10 0 0 0
[pid=24427/tid=24442] ppid=24425 vsize=1138744 CPUtime=0.03 cores=0-31
/proc/24427/task/24442/stat : 24442 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 689 0 0 0 0 3 0 0 17 0 32 0 11142142 1166073856 16107 268435456000 4194304 4580107 140735110068656 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24427/tid=24443] ppid=24425 vsize=1138744 CPUtime=0.02 cores=0-31
/proc/24427/task/24443/stat : 24443 (strangenight2-m) S 24425 24427 24401 0 -1 4202560 362 0 0 0 0 2 0 0 17 0 32 0 11142142 1166073856 16137 268435456000 4194304 4580107 140735110068656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 5 0 0 0
[pid=24427/tid=24444] ppid=24425 vsize=1138936 CPUtime=0.02 cores=0-31
################
# More data... #
################
[pid=24427/tid=24439] ppid=24425 vsize=37991396 CPUtime=4974.76 cores=0-31
/proc/24427/task/24439/stat : 24439 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1266901 0 0 0 496669 807 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24427/tid=24440] ppid=24425 vsize=37991396 CPUtime=5001.05 cores=0-31
/proc/24427/task/24440/stat : 24440 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1410852 0 0 0 499263 842 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24427/tid=24441] ppid=24425 vsize=37991396 CPUtime=5000.58 cores=0-31
/proc/24427/task/24441/stat : 24441 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1262270 0 0 0 499295 763 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24427/tid=24442] ppid=24425 vsize=37991396 CPUtime=5003.64 cores=0-31
/proc/24427/task/24442/stat : 24442 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1210540 0 0 0 499647 717 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24427/tid=24443] ppid=24425 vsize=37991396 CPUtime=4985.87 cores=0-31
/proc/24427/task/24443/stat : 24443 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1416555 0 0 0 497734 853 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24427/tid=24444] ppid=24425 vsize=37991396 CPUtime=4995.52 cores=0-31
/proc/24427/task/24444/stat : 24444 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1218437 0 0 0 498745 807 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24445] ppid=24425 vsize=37991396 CPUtime=4999.23 cores=0-31
/proc/24427/task/24445/stat : 24445 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1076128 0 0 0 499194 729 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24427/tid=24446] ppid=24425 vsize=37991396 CPUtime=4996.76 cores=0-31
/proc/24427/task/24446/stat : 24446 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1343731 0 0 0 498870 806 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24427/tid=24447] ppid=24425 vsize=37991396 CPUtime=4999.55 cores=0-31
/proc/24427/task/24447/stat : 24447 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1384371 0 0 0 499163 792 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24427/tid=24448] ppid=24425 vsize=37991396 CPUtime=4977.3 cores=0-31
/proc/24427/task/24448/stat : 24448 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1164288 0 0 0 496986 744 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24427/tid=24449] ppid=24425 vsize=37991396 CPUtime=4997.54 cores=0-31
/proc/24427/task/24449/stat : 24449 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 946538 0 0 0 499109 645 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24427/tid=24450] ppid=24425 vsize=37991396 CPUtime=4989.2 cores=0-31
/proc/24427/task/24450/stat : 24450 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1127020 0 0 0 498154 766 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24427/tid=24451] ppid=24425 vsize=37991396 CPUtime=4996.01 cores=0-31
/proc/24427/task/24451/stat : 24451 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1068808 0 0 0 498894 707 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24427/tid=24452] ppid=24425 vsize=37991396 CPUtime=4998.13 cores=0-31
/proc/24427/task/24452/stat : 24452 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1243551 0 0 0 499026 787 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4296249 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24427/tid=24453] ppid=24425 vsize=37991396 CPUtime=4994.95 cores=0-31
/proc/24427/task/24453/stat : 24453 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1422591 0 0 0 498638 857 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24427/tid=24454] ppid=24425 vsize=37991396 CPUtime=4995.86 cores=0-31
/proc/24427/task/24454/stat : 24454 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1217863 0 0 0 498818 768 0 0 25 0 32 0 11142142 38903189504 7839764 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24427/tid=24455] ppid=24425 vsize=37991396 CPUtime=4993.37 cores=0-31
/proc/24427/task/24455/stat : 24455 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1096953 0 0 0 498635 702 0 0 25 0 32 0 11142142 38903189504 7839765 268435456000 4194304 4580107 140735110068656 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24427/tid=24456] ppid=24425 vsize=37991396 CPUtime=5002.28 cores=0-31
/proc/24427/task/24456/stat : 24456 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1442027 0 0 0 499412 816 0 0 25 0 32 0 11142142 38903189504 7839767 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24427/tid=24457] ppid=24425 vsize=37991396 CPUtime=5005.1 cores=0-31
/proc/24427/task/24457/stat : 24457 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1313659 0 0 0 499712 798 0 0 25 0 32 0 11142142 38903189504 7839767 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24458] ppid=24425 vsize=37991396 CPUtime=5006.29 cores=0-31
/proc/24427/task/24458/stat : 24458 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 272177 0 0 0 500432 197 0 0 25 0 32 0 11142142 38903189504 7839767 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 159838
Current children cumulated vsize (KiB) 37991396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5027.4 s]
/proc/loadavg: 32.09 32.10 32.09 33/445 24608
/proc/meminfo: memFree=232147764/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=38381300 CPUtime=160001 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) R 24425 24427 24401 0 -1 4202496 40391735 0 0 0 15975067 25045 0 0 25 0 32 0 11142141 39302451200 7828255 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/24427/statm: 9595325 7828255 456 95 0 9590307 0
[pid=24427/tid=24428] ppid=24425 vsize=38381300 CPUtime=5008.51 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1423538 0 0 0 499983 868 0 0 25 0 32 0 11142142 39302451200 7828255 268435456000 4194304 4580107 140735110068656 18446744073709551615 4296266 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=24427/tid=24429] ppid=24425 vsize=38381300 CPUtime=5002.1 cores=0-31
/proc/24427/task/24429/stat : 24429 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1407417 0 0 0 499363 847 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295486 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24427/tid=24430] ppid=24425 vsize=38381300 CPUtime=4988.27 cores=0-31
/proc/24427/task/24430/stat : 24430 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1369187 0 0 0 497968 859 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=24427/tid=24431] ppid=24425 vsize=38381300 CPUtime=4995.57 cores=0-31
/proc/24427/task/24431/stat : 24431 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1373596 0 0 0 498705 852 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=24427/tid=24432] ppid=24425 vsize=38381300 CPUtime=4998.36 cores=0-31
/proc/24427/task/24432/stat : 24432 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1615112 0 0 0 498895 941 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=24427/tid=24433] ppid=24425 vsize=38381300 CPUtime=5000.77 cores=0-31
/proc/24427/task/24433/stat : 24433 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1620182 0 0 0 499128 949 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24427/tid=24434] ppid=24425 vsize=38381300 CPUtime=5004.75 cores=0-31
/proc/24427/task/24434/stat : 24434 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1354692 0 0 0 499623 852 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=24427/tid=24435] ppid=24425 vsize=38381300 CPUtime=5004.84 cores=0-31
/proc/24427/task/24435/stat : 24435 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1042115 0 0 0 499771 713 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=24427/tid=24436] ppid=24425 vsize=38381300 CPUtime=4992.82 cores=0-31
/proc/24427/task/24436/stat : 24436 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1261582 0 0 0 498491 791 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=24427/tid=24437] ppid=24425 vsize=38381300 CPUtime=4997.91 cores=0-31
/proc/24427/task/24437/stat : 24437 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1017964 0 0 0 499123 668 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24427/tid=24438] ppid=24425 vsize=38381300 CPUtime=4996.21 cores=0-31
/proc/24427/task/24438/stat : 24438 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1436986 0 0 0 498748 873 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=24427/tid=24439] ppid=24425 vsize=38381300 CPUtime=4979.8 cores=0-31
/proc/24427/task/24439/stat : 24439 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1267863 0 0 0 497173 807 0 0 25 0 32 0 11142142 39302451200 7828256 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=24427/tid=24440] ppid=24425 vsize=38381300 CPUtime=5006.16 cores=0-31
/proc/24427/task/24440/stat : 24440 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1411734 0 0 0 499774 842 0 0 25 0 32 0 11142142 39302451200 7828257 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=24427/tid=24441] ppid=24425 vsize=38381300 CPUtime=5005.68 cores=0-31
/proc/24427/task/24441/stat : 24441 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1262994 0 0 0 499805 763 0 0 25 0 32 0 11142142 39302451200 7828257 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24427/tid=24442] ppid=24425 vsize=38381300 CPUtime=5008.75 cores=0-31
/proc/24427/task/24442/stat : 24442 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1211496 0 0 0 500158 717 0 0 25 0 32 0 11142142 39302451200 7828258 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295625 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=24427/tid=24443] ppid=24425 vsize=38381300 CPUtime=4990.97 cores=0-31
/proc/24427/task/24443/stat : 24443 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1417382 0 0 0 498244 853 0 0 25 0 32 0 11142142 39302451200 7828258 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=24427/tid=24444] ppid=24425 vsize=38381300 CPUtime=5000.63 cores=0-31
/proc/24427/task/24444/stat : 24444 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1219527 0 0 0 499256 807 0 0 25 0 32 0 11142142 39302451200 7828258 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24427/tid=24445] ppid=24425 vsize=38381300 CPUtime=5004.35 cores=0-31
/proc/24427/task/24445/stat : 24445 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1077335 0 0 0 499705 730 0 0 25 0 32 0 11142142 39302451200 7828259 268435456000 4194304 4580107 140735110068656 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=24427/tid=24446] ppid=24425 vsize=38381300 CPUtime=5001.87 cores=0-31
/proc/24427/task/24446/stat : 24446 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1344826 0 0 0 499380 807 0 0 25 0 32 0 11142142 39302451200 7828259 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=24427/tid=24447] ppid=24425 vsize=38381300 CPUtime=5004.67 cores=0-31
/proc/24427/task/24447/stat : 24447 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1384371 0 0 0 499675 792 0 0 25 0 32 0 11142142 39302451200 7828260 268435456000 4194304 4580107 140735110068656 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=24427/tid=24448] ppid=24425 vsize=38381300 CPUtime=4982.42 cores=0-31
/proc/24427/task/24448/stat : 24448 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1165002 0 0 0 497497 745 0 0 25 0 32 0 11142142 39302451200 7828260 268435456000 4194304 4580107 140735110068656 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=24427/tid=24449] ppid=24425 vsize=38381300 CPUtime=5002.66 cores=0-31
/proc/24427/task/24449/stat : 24449 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 952289 0 0 0 499619 647 0 0 25 0 32 0 11142142 39302451200 7828260 268435456000 4194304 4580107 140735110068656 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=24427/tid=24450] ppid=24425 vsize=38381300 CPUtime=4994.31 cores=0-31
/proc/24427/task/24450/stat : 24450 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1127973 0 0 0 498665 766 0 0 25 0 32 0 11142142 39302451200 7828260 268435456000 4194304 4580107 140735110068656 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=24427/tid=24451] ppid=24425 vsize=38381300 CPUtime=5001.13 cores=0-31
/proc/24427/task/24451/stat : 24451 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1069280 0 0 0 499406 707 0 0 25 0 32 0 11142142 39302451200 7828261 268435456000 4194304 4580107 140735110068656 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=24427/tid=24452] ppid=24425 vsize=38381300 CPUtime=5003.25 cores=0-31
/proc/24427/task/24452/stat : 24452 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1244117 0 0 0 499537 788 0 0 25 0 32 0 11142142 39302451200 7828262 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=24427/tid=24453] ppid=24425 vsize=38381300 CPUtime=5000.06 cores=0-31
/proc/24427/task/24453/stat : 24453 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1423426 0 0 0 499148 858 0 0 25 0 32 0 11142142 39302451200 7828262 268435456000 4194304 4580107 140735110068656 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24427/tid=24454] ppid=24425 vsize=38381300 CPUtime=5000.98 cores=0-31
/proc/24427/task/24454/stat : 24454 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1218404 0 0 0 499329 769 0 0 25 0 32 0 11142142 39302451200 7828262 268435456000 4194304 4580107 140735110068656 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24427/tid=24455] ppid=24425 vsize=38381300 CPUtime=4998.5 cores=0-31
/proc/24427/task/24455/stat : 24455 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1096953 0 0 0 499148 702 0 0 25 0 32 0 11142142 39302451200 7828262 268435456000 4194304 4580107 140735110068656 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24427/tid=24456] ppid=24425 vsize=38381300 CPUtime=5007.38 cores=0-31
/proc/24427/task/24456/stat : 24456 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1443118 0 0 0 499922 816 0 0 25 0 32 0 11142142 39302451200 7828262 268435456000 4194304 4580107 140735110068656 18446744073709551615 4318683 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=24427/tid=24457] ppid=24425 vsize=38381300 CPUtime=5010.21 cores=0-31
/proc/24427/task/24457/stat : 24457 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 1320649 0 0 0 500220 801 0 0 25 0 32 0 11142142 39302451200 7828263 268435456000 4194304 4580107 140735110068656 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=24427/tid=24458] ppid=24425 vsize=38381300 CPUtime=5011.41 cores=0-31
/proc/24427/task/24458/stat : 24458 (strangenight2-m) R 24425 24427 24401 0 -1 4202560 275365 0 0 0 500943 198 0 0 25 0 32 0 11142142 39302451200 7828263 268435456000 4194304 4580107 140735110068656 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 38381300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24427
Solver just ended. Dumping a history of the last processes samples
[startup+5028.6 s]
/proc/loadavg: 32.09 32.10 32.09 2/416 24609
/proc/meminfo: memFree=240441720/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=0 CPUtime=160003 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) Z 24425 24427 24401 0 -1 4203548 40391775 0 0 0 15975090 25163 0 0 25 0 2 0 11142141 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/24427/statm: 0 0 0 0 0 0 0
[pid=24427/tid=24428] ppid=24425 vsize=0 CPUtime=5009.69 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4203588 1423539 0 0 0 499983 986 0 0 25 0 2 0 11142142 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5029.4 s]
/proc/loadavg: 32.09 32.10 32.09 2/416 24609
/proc/meminfo: memFree=256293272/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=0 CPUtime=160003 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) Z 24425 24427 24401 0 -1 4203548 40391775 0 0 0 15975090 25242 0 0 25 0 2 0 11142141 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/24427/statm: 0 0 0 0 0 0 0
[pid=24427/tid=24428] ppid=24425 vsize=0 CPUtime=5010.48 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4203588 1423539 0 0 0 499983 1065 0 0 25 0 2 0 11142142 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5029.6 s]
/proc/loadavg: 32.09 32.10 32.09 2/416 24609
/proc/meminfo: memFree=256293272/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=0 CPUtime=160004 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) Z 24425 24427 24401 0 -1 4203548 40391775 0 0 0 15975090 25262 0 0 25 0 2 0 11142141 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/24427/statm: 0 0 0 0 0 0 0
[pid=24427/tid=24428] ppid=24425 vsize=0 CPUtime=5010.68 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4203588 1423539 0 0 0 499983 1085 0 0 25 0 2 0 11142142 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5029.7 s]
/proc/loadavg: 32.09 32.10 32.09 2/416 24609
/proc/meminfo: memFree=256293272/264257624 swapFree=67044780/67111528
[pid=24427] ppid=24425 vsize=0 CPUtime=160004 cores=0-31
/proc/24427/stat : 24427 (strangenight2-m) Z 24425 24427 24401 0 -1 4203548 40391775 0 0 0 15975090 25272 0 0 25 0 2 0 11142141 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/24427/statm: 0 0 0 0 0 0 0
[pid=24427/tid=24428] ppid=24425 vsize=0 CPUtime=5010.78 cores=0-31
/proc/24427/task/24428/stat : 24428 (strangenight2-m) R 24425 24427 24401 0 -1 4203588 1423539 0 0 0 499983 1095 0 0 25 0 2 0 11142142 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5029.7
CPU time (s): 160004
CPU user time (s): 159751
CPU system time (s): 252.734
CPU usage (%): 3181.17
Max. virtual memory (cumulated for all children) (KiB): 38941944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159751
system time used= 252.734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40391775
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= 1988108
involuntary context switches= 301970
runsolver used 30.7163 second user time and 111.706 second system time
The end
Begin job on node200 at 2011-05-31 16:22:42
IDJOB=3400822
IDBENCH=83137
IDSOLVER=1886
FILE ID=node200/3400822-1306851761
RUNJOBID= node200-1306851761-24415
PBS_JOBID= 13471346
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400822-1306851761/watcher-3400822-1306851761 -o /tmp/evaluation-result-3400822-1306851761/solver-3400822-1306851761 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400822-1306851761.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e560aa6505ddce6d3784f70d5b7aff66
RANDOM SEED=299295482
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.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.042
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.12
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263522068 kB
Buffers: 133588 kB
Cached: 411652 kB
SwapCached: 29976 kB
Active: 133704 kB
Inactive: 443472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263522068 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 8724 kB
Writeback: 0 kB
AnonPages: 28296 kB
Mapped: 7716 kB
Slab: 74036 kB
PageTables: 3904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190668 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= 61568 MiB
End job on node200 at 2011-05-31 17:46:32