0.00/0.00 c Outputting solution to console
1.25/0.05 c Using 32 threads
1.25/0.07 c This is CryptoMiniSat 3.0.0
1.25/0.07 c WARNING: for repeatability, setting FPU to use double precision
1.25/0.07 c Reading file 'HOME/instance-3400658-1306294370.cnf'
2.57/0.10 c -- header says num vars: 92464
2.57/0.10 c -- header says num clauses: 276623
39.76/2.86 c -- clauses added: 0 learnts, 276623 normals, 0 xors
39.76/2.86 c -- vars added 92464
39.76/2.86 c Parsing time: 0.43 s
39.76/2.86 c N st 0 0 92464 92207 184414 0 645449 0 no data no data
101.50/4.86 c asymm cl-useful: 0/15665/92198 lits-rem:0 time: 1.53
760.15/25.58 c Flit: 71 Blit: 123 bXBeca: 0 bXProp: 501 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 21.17
760.15/25.58 c Cleaning up after failed var search: 0.00 s
763.10/25.66 c Replacing 501 vars Replaced 7176 lits Time: 0.07 s
766.05/25.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
769.08/25.82 c bin-w-bin subsume rem 2 bins time: 0.04 s
772.10/25.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.09 s
815.42/27.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 90196 time: 1.42 s
821.92/27.56 c Removed useless bin: 189 fixed: 0 props: 20.01M time: 0.18 s
904.19/30.90 c lits-rem: 0 cl-subs: 433 v-elim: 30586 v-fix: 0 time: 1.59 s
906.19/30.94 c Finding binary XORs T: 0.04 s found: 0
909.38/31.01 c Finding non-binary XORs: 0.04 s (found: 2227, avg size: 3.0)
909.38/31.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
909.38/31.02 c calculated reachability. Time: 0.00
909.38/31.04 c Calc default polars - time: 0.02 s pos: 1053 undec: 34820 neg: 56591
909.38/31.04 c =========================================================================================
909.38/31.04 c types(t): F = full restart, N = normal restart
909.38/31.04 c types(t): S = simplification begin/end, E = solution found
909.38/31.04 c restart types(rt): st = static, dy = dynamic
909.38/31.04 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
909.38/31.04 c B st 0 0 61173 74214 128869 0 526715 0 no data no data
1058.61/35.86 c N dy 16 4019 61173 74214 129033 3827 526714 360460 8.31 9.38
1128.44/38.74 c Finding binary XORs T: 0.04 s found: 870
1131.07/38.80 c Replacing 870 vars Replaced 21093 lits Time: 0.06 s
1178.31/40.46 c N dy 42 8043 60303 72156 132671 7189 520540 473960 9.48 9.99
1283.78/43.74 c N dy 68 12082 60303 72156 132834 11028 520540 562789 9.78 10.67
1443.56/48.70 c N dy 102 16099 60302 72156 138017 14912 520540 714706 11.51 15.65
1549.04/52.06 c Finding binary XORs T: 0.04 s found: 2099
1552.23/52.13 c Replacing 2099 vars Replaced 65296 lits Time: 0.07 s
1590.59/53.37 c N dy 127 20161 58203 68810 137478 8683 510498 88358 12.16 12.84
1751.04/58.35 c N dy 156 24226 58203 68810 137553 12622 510498 215799 12.54 20.81
1775.96/59.20 c F st 162 25000 58203 68810 140487 13384 510498 253774 12.65 11.72
1878.25/62.34 c N st 167 28295 58203 68810 140516 16590 510498 363744 12.65 no data
1919.80/63.69 c S st 168 30000 58203 68810 140545 18248 510498 408843 12.65 no data
1945.37/64.43 c S st 168 30505 58203 68810 143262 18734 510498 429511 12.65 no data
1945.37/64.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
2782.62/90.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1203 Bins: 28516 BRemL: 117 BRemN: 0 P: 200.0M T: 25.71
2785.79/90.72 c Replacing 1203 vars Replaced 55217 lits Time: 0.06 s
2785.79/90.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2788.98/90.81 c bin-w-bin subsume rem 6420 bins time: 0.03 s
2788.98/90.89 c subs with bin: 551 lits-rem: 252 v-fix: 0 time: 0.07 s
2824.14/91.93 c Subs w/ non-existent bins: 186 l-rem: 3186 v-fix: 0 done: 57000 time: 1.02 s
2837.56/92.34 c Removed useless bin: 1295 fixed: 0 props: 20.01M time: 0.41 s
2868.85/93.38 c lits-rem: 3143 cl-subs: 12067 v-elim: 36645 v-fix: 0 time: 0.90 s
2872.67/93.43 c subs with bin: 399 lits-rem: 369 v-fix: 0 time: 0.03 s
2875.90/93.52 c lits-rem: 210 cl-subs: 549 v-elim: 0 v-fix: 0 time: 0.06 s
2926.37/95.13 c asymm cl-useful: 2799/13608/63047 lits-rem:2804 time: 1.60
2929.56/95.20 c calculated reachability. Time: 0.07
2929.56/95.21 c N dy 168 30505 20355 63047 48980 7546 401065 94424 12.65 no data
2935.96/95.42 c Finding binary XORs T: 0.21 s found: 635
2935.96/95.45 c Replacing 635 vars Replaced 11996 lits Time: 0.03 s
3009.46/97.79 c N dy 180 34545 19719 61862 47757 11476 396207 261318 12.31 13.15
3066.96/99.59 c N dy 197 38674 19715 61862 52813 15524 396201 434715 12.18 12.97
3079.75/99.98 c Finding binary XORs T: 0.10 s found: 923
3083.56/100.02 c Replacing 923 vars Replaced 36065 lits Time: 0.05 s
3185.11/103.21 c N dy 211 42745 18791 59488 51647 9958 388347 134169 11.96 15.81
3236.14/104.87 c S st 227 45757 18791 59488 51666 12912 388347 256933 12.03 7.40
3252.13/105.34 c S st 227 46257 18790 59488 51705 13370 388346 278200 12.03 no data
3252.13/105.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3578.29/115.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 47 Bins: 6394 BRemL: 61 BRemN: 68 P: 83.3M T: 10.15
3580.86/115.64 c Replacing 47 vars Replaced 6658 lits Time: 0.05 s
3580.86/115.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3584.02/115.71 c bin-w-bin subsume rem 3439 bins time: 0.01 s
3584.02/115.75 c subs with bin: 804 lits-rem: 202 v-fix: 0 time: 0.04 s
3590.41/115.90 c Subs w/ non-existent bins: 1692 l-rem: 5880 v-fix: 0 done: 18743 time: 0.15 s
3590.41/115.96 c Removed useless bin: 271 fixed: 0 props: 1.80M time: 0.05 s
3596.79/116.11 c lits-rem: 8 cl-subs: 333 v-elim: 919 v-fix: 0 time: 0.14 s
3599.99/116.24 c subs with bin: 65 lits-rem: 1027 v-fix: 0 time: 0.10 s
3603.18/116.36 c lits-rem: 499 cl-subs: 433 v-elim: 0 v-fix: 0 time: 0.09 s
3606.39/116.48 c vivif2 -- cl tried 56500 cl shrink 191 lits rem 252 time: 0.11
3610.19/116.54 c vivif2 -- cl tried 12184 cl shrink 2564 lits rem 10962 time: 0.06
3631.94/117.24 c asymm cl-useful: 0/2741/56498 lits-rem:0 time: 0.70
3631.94/117.30 c calculated reachability. Time: 0.04
3631.94/117.30 c N dy 227 46257 17824 56498 46278 12105 372806 193786 12.03 no data
3638.32/117.42 c Finding binary XORs T: 0.13 s found: 4
3727.79/120.25 c N dy 238 50378 17822 56498 48652 16111 372801 592176 11.76 12.43
3807.68/122.73 c N dy 255 54523 17817 56498 48673 20147 372797 957272 11.74 12.59
3868.31/124.61 c Finding binary XORs T: 0.12 s found: 68
3906.61/125.86 c N dy 284 58922 17815 56476 48954 24362 372198 1572557 12.10 13.21
3999.93/128.72 c N dy 302 62965 17814 56476 49342 28310 372197 1959692 12.41 13.31
4075.99/131.11 c N dy 335 67024 17814 56476 49368 17692 372195 500290 12.91 15.16
4117.54/132.49 c S st 353 69385 17813 56476 50088 20000 372195 683314 13.31 no data
4133.53/132.95 c S st 353 69887 17813 56476 50100 20488 372195 715845 13.31 no data
4133.53/132.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
4500.38/144.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 17 Bins: 21564 BRemL: 1599 BRemN: 9 P: 89.8M T: 11.47
4503.58/144.52 c Replacing 89 vars Replaced 4318 lits Time: 0.06 s
4503.58/144.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4503.58/144.58 c bin-w-bin subsume rem 1059 bins time: 0.02 s
4506.78/144.63 c subs with bin: 48 lits-rem: 11 v-fix: 0 time: 0.05 s
4509.97/144.75 c Subs w/ non-existent bins: 15 l-rem: 0 v-fix: 0 done: 17722 time: 0.11 s
4509.97/144.79 c Removed useless bin: 9 fixed: 0 props: 0.95M time: 0.04 s
4513.16/144.89 c lits-rem: 4 cl-subs: 35 v-elim: 57 v-fix: 0 time: 0.10 s
4541.90/145.75 c subs with bin: 56 lits-rem: 1759 v-fix: 0 time: 0.79 s
4551.49/146.08 c lits-rem: 1808 cl-subs: 745 v-elim: 0 v-fix: 0 time: 0.29 s
4554.68/146.21 c vivif2 -- cl tried 56157 cl shrink 72 lits rem 72 time: 0.13
4558.53/146.32 c vivif2 -- cl tried 18890 cl shrink 2380 lits rem 26287 time: 0.11
4583.42/147.08 c asymm cl-useful: 0/2322/56156 lits-rem:0 time: 0.76
4586.61/147.14 c calculated reachability. Time: 0.05
4586.61/147.14 c N dy 353 69887 17665 56156 63960 18881 369946 544277 13.31 no data
4589.80/147.27 c Finding binary XORs T: 0.13 s found: 0
4702.29/150.74 c N dy 380 74673 17663 56156 63980 23533 369946 1139751 13.48 14.42
4787.88/153.44 c Finding binary XORs T: 0.13 s found: 20
4794.28/153.66 c N dy 412 79470 17660 56143 67801 26822 369862 1335807 13.72 16.17
4880.49/156.36 c N dy 439 84572 17658 56143 68470 31882 369859 1570864 13.77 20.77
4922.01/157.63 c F st 450 87500 17658 56143 68648 34794 369859 1699000 13.68 no data
4925.20/157.71 c Replacing 20 vars Replaced 3123 lits Time: 0.05 s
4966.72/159.07 c N st 455 90800 17638 56110 68426 20635 369456 475584 13.68 no data
5062.56/162.08 c N dy 489 96647 17638 56110 68548 26430 369450 901522 13.89 28.66
5132.58/164.22 c Finding binary XORs T: 0.14 s found: 14
5180.44/165.77 c N dy 538 102902 17637 56102 70203 32605 369429 1306264 14.35 15.16
5221.95/167.02 c S st 546 104830 17637 56102 70208 34513 369429 1382926 14.35 no data
5237.92/167.59 c S st 546 105332 17637 56102 70427 35003 369429 1424472 14.35 no data
5241.12/167.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
5627.75/179.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 8527 BRemL: 9960 BRemN: 11 P: 95.5M T: 12.14
5630.94/179.86 c Replacing 15 vars Replaced 6570 lits Time: 0.07 s
5634.14/179.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5634.14/179.92 c bin-w-bin subsume rem 854 bins time: 0.02 s
5634.14/179.97 c subs with bin: 14 lits-rem: 5 v-fix: 0 time: 0.05 s
5637.34/180.09 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 17622 time: 0.13 s
5640.53/180.14 c Removed useless bin: 8 fixed: 0 props: 1.07M time: 0.04 s
5643.72/180.25 c lits-rem: 23 cl-subs: 36 v-elim: 37 v-fix: 0 time: 0.11 s
5713.97/182.45 c subs with bin: 109 lits-rem: 7223 v-fix: 0 time: 2.05 s
5745.93/183.46 c lits-rem: 3697 cl-subs: 789 v-elim: 0 v-fix: 0 time: 0.97 s
5749.13/183.60 c vivif2 -- cl tried 56037 cl shrink 15 lits rem 76 time: 0.13
5761.90/183.93 c vivif2 -- cl tried 33655 cl shrink 7702 lits rem 109943 time: 0.34
5784.29/184.70 c asymm cl-useful: 0/1407/56032 lits-rem:0 time: 0.76
5788.11/184.76 c calculated reachability. Time: 0.05
5788.11/184.76 c N dy 546 105332 17585 56032 67876 33649 368906 1220969 14.35 no data
5791.31/184.90 c Finding binary XORs T: 0.14 s found: 2
5995.23/191.24 c Finding binary XORs T: 0.14 s found: 16
5999.05/191.32 c N dy 577 112065 17580 56005 73500 40191 368355 3215464 14.35 21.86
6213.21/198.03 c N dy 617 119265 17577 56005 73945 27000 368354 2047741 14.39 37.48
6353.85/202.45 c N dy 670 126973 17577 56005 74255 34639 368342 2611475 14.61 33.81
6506.61/207.23 c N dy 719 135119 17575 56005 74419 42724 368341 3304348 14.92 34.18
6644.02/211.57 c Finding binary XORs T: 0.14 s found: 9
6670.23/212.34 c N dy 778 143743 17575 55992 78192 28698 368263 780120 15.21 36.28
6839.00/217.69 c N dy 837 152999 17575 55992 78668 37894 368261 1638721 15.62 16.75
6938.06/220.73 c S st 870 158001 17575 55992 78944 42861 368261 2100291 15.82 no data
6954.02/221.20 c S st 870 158503 17575 55992 78948 43357 368261 2165088 15.82 no data
6954.02/221.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
7382.14/234.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 2495 BRemL: 6246 BRemN: 16 P: 104.9M T: 13.40
7385.34/234.77 c Replacing 33 vars Replaced 23896 lits Time: 0.11 s
7388.54/234.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7388.54/234.83 c bin-w-bin subsume rem 1532 bins time: 0.02 s
7388.54/234.89 c subs with bin: 23 lits-rem: 26 v-fix: 0 time: 0.06 s
7394.94/235.00 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 17542 time: 0.11 s
7394.94/235.04 c Removed useless bin: 6 fixed: 0 props: 1.00M time: 0.04 s
7398.13/235.16 c lits-rem: 83 cl-subs: 50 v-elim: 32 v-fix: 0 time: 0.12 s
7471.65/237.47 c subs with bin: 102 lits-rem: 10111 v-fix: 0 time: 2.14 s
7513.82/238.78 c lits-rem: 4615 cl-subs: 756 v-elim: 0 v-fix: 0 time: 1.27 s
7519.57/238.93 c vivif2 -- cl tried 55892 cl shrink 12 lits rem 12 time: 0.14
7532.36/239.33 c vivif2 -- cl tried 39917 cl shrink 10246 lits rem 154814 time: 0.40
7554.72/240.07 c asymm cl-useful: 1/1080/55889 lits-rem:3 time: 0.74
7557.91/240.14 c calculated reachability. Time: 0.05
7557.91/240.14 c N dy 870 158503 17510 55888 73369 39906 367203 1483111 15.82 no data
7561.11/240.29 c Finding binary XORs T: 0.15 s found: 4
7848.58/249.29 c N dy 900 168675 17500 55888 77505 29219 367203 1998859 15.71 29.22
8027.51/254.88 c Finding binary XORs T: 0.15 s found: 28
8225.48/261.02 c N dy 966 179529 17493 55824 79445 39854 366269 5871409 15.90 22.82
8468.25/268.63 c N dy 1039 191162 17488 55824 80190 51388 366264 6875298 16.19 18.24
8500.19/269.69 c Finding binary XORs T: 0.15 s found: 8
8723.75/276.63 c N dy 1127 203530 17487 55804 82413 39799 365972 1519163 16.56 17.85
8884.00/281.67 c Finding binary XORs T: 0.15 s found: 12
9004.79/285.49 c N dy 1201 216549 17486 55795 85117 52739 365949 2829240 16.83 18.90
9186.95/291.15 c Finding binary XORs T: 0.15 s found: 6
9295.60/294.57 c N dy 1297 230594 17486 55795 85809 42468 365948 1621060 17.17 19.80
9455.19/299.56 c S st 1351 237754 17485 55795 86048 49554 365947 2415489 17.45 no data
9474.37/300.10 c S st 1351 238254 17485 55795 86057 50043 365947 2452709 17.45 no data
9474.37/300.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
9931.37/314.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 2397 BRemL: 2917 BRemN: 13 P: 111.7M T: 14.32
9938.41/314.65 c Replacing 67 vars Replaced 29840 lits Time: 0.18 s
9940.95/314.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9940.95/314.72 c bin-w-bin subsume rem 1778 bins time: 0.02 s
9940.95/314.78 c subs with bin: 61 lits-rem: 103 v-fix: 0 time: 0.06 s
9944.14/314.88 c Subs w/ non-existent bins: 2 l-rem: 33 v-fix: 0 done: 17421 time: 0.10 s
9947.34/314.93 c Removed useless bin: 3 fixed: 0 props: 0.94M time: 0.04 s
9950.57/315.06 c lits-rem: 0 cl-subs: 57 v-elim: 37 v-fix: 0 time: 0.13 s
10024.01/317.33 c subs with bin: 30 lits-rem: 1327 v-fix: 0 time: 2.10 s
10084.71/319.21 c lits-rem: 7332 cl-subs: 761 v-elim: 0 v-fix: 0 time: 1.84 s
10087.92/319.37 c vivif2 -- cl tried 55654 cl shrink 30 lits rem 30 time: 0.16
10103.91/319.83 c vivif2 -- cl tried 47211 cl shrink 11889 lits rem 175608 time: 0.46
10126.27/320.58 c asymm cl-useful: 0/964/55649 lits-rem:0 time: 0.75
10129.46/320.65 c calculated reachability. Time: 0.06
10129.46/320.65 c N dy 1351 238254 17384 55649 83191 47156 365009 1761932 17.45 no data
10202.98/322.92 c Finding binary XORs T: 0.16 s found: 9
10554.60/333.94 c N dy 1391 253575 17379 55637 86781 38190 364549 2494052 17.27 18.28
11104.28/351.15 c N dy 1473 269842 17371 55637 87794 54339 364549 8273737 17.35 18.28
11228.94/355.02 c Finding binary XORs T: 0.16 s found: 32
11538.96/364.72 c N dy 1591 287136 17366 55574 87990 44160 364155 1528540 17.71 24.73
11647.64/368.12 c Finding binary XORs T: 0.16 s found: 10
11986.32/378.75 c N dy 1727 305554 17365 55566 91773 62448 364135 3918249 18.28 41.08
12009.33/379.44 c F st 1734 306250 17365 55566 91774 63132 364135 4030863 18.31 no data
12015.09/379.67 c Replacing 51 vars Replaced 26913 lits Time: 0.20 s
12344.31/389.92 c Finding binary XORs T: 0.16 s found: 8
12446.59/393.17 c N dy 1833 325095 17309 55515 91823 54243 363681 2668913 18.65 20.65
12689.47/400.75 c Finding binary XORs T: 0.16 s found: 5
12958.56/409.19 c N dy 1984 345104 17308 55503 95664 45280 363439 1060998 19.24 23.64
13248.78/418.28 c S st 2054 357385 17308 55503 95931 57474 363438 2614688 19.47 no data
13267.98/418.85 c S st 2054 357885 17308 55503 95937 57968 363438 2666434 19.47 no data
13267.98/418.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
13776.16/434.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 2493 BRemL: 2504 BRemN: 12 P: 124.6M T: 15.85
13779.35/434.88 c Replacing 16 vars Replaced 21981 lits Time: 0.13 s
13782.56/434.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13782.56/434.95 c bin-w-bin subsume rem 2283 bins time: 0.02 s
13785.75/435.02 c subs with bin: 67 lits-rem: 125 v-fix: 0 time: 0.07 s
13788.95/435.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 17293 time: 0.09 s
13788.95/435.17 c Removed useless bin: 8 fixed: 0 props: 0.95M time: 0.04 s
13795.34/435.31 c lits-rem: 1 cl-subs: 107 v-elim: 26 v-fix: 0 time: 0.14 s
13872.68/437.75 c subs with bin: 53 lits-rem: 1879 v-fix: 0 time: 2.20 s
13964.72/440.70 c lits-rem: 4562 cl-subs: 860 v-elim: 0 v-fix: 0 time: 2.91 s
13971.11/440.86 c vivif2 -- cl tried 55360 cl shrink 23 lits rem 31 time: 0.16
13990.28/441.45 c vivif2 -- cl tried 56547 cl shrink 12642 lits rem 246490 time: 0.58
14016.48/442.22 c asymm cl-useful: 0/1355/55359 lits-rem:0 time: 0.77
14016.48/442.29 c calculated reachability. Time: 0.06
14016.48/442.30 c N dy 2054 357885 17267 55359 93367 56463 362354 2318606 19.47 no data
14022.25/442.46 c Finding binary XORs T: 0.17 s found: 1
14476.10/456.70 c Finding binary XORs T: 0.17 s found: 30
14646.06/461.94 c N dy 2152 377889 17255 55294 96959 45664 361958 1257752 19.51 20.59
15262.19/481.26 c N dy 2245 397920 17255 55294 97649 65546 361958 9094580 19.54 20.73
15901.36/501.24 c N dy 2343 417996 17252 55294 98202 53869 361958 3248183 19.60 21.50
15907.76/501.44 c Finding binary XORs T: 0.16 s found: 13
16540.55/521.29 c N dy 2448 438053 17247 55275 98572 73629 361898 7267321 19.62 20.69
16665.19/525.15 c Finding binary XORs T: 0.17 s found: 18
17090.27/538.43 c N dy 2594 458134 17245 55258 102050 60816 361645 2756875 20.01 21.50
17445.00/549.51 c Finding binary XORs T: 0.17 s found: 7
17675.10/556.78 c N dy 2745 478181 17243 55246 103115 80372 361602 6387601 20.62 22.99
18235.05/574.28 c N dy 2901 498660 17241 55246 103476 67750 361602 3823707 21.10 22.55
18506.03/582.80 c Finding binary XORs T: 0.17 s found: 16
18860.69/593.82 c N dy 3062 518680 17235 55212 107459 53053 361493 1100722 21.81 24.04
19272.95/606.76 c Finding binary XORs T: 0.17 s found: 14
19388.02/610.36 c S st 3196 536828 17231 55192 108641 70966 361414 4216706 22.12 18.35
19407.18/610.99 c S st 3196 537328 17231 55192 108641 71465 361414 4299970 22.12 no data
19410.38/611.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
19960.09/628.26 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 13 Bins: 2407 BRemL: 4051 BRemN: 3 P: 136.6M T: 17.22
19969.65/628.59 c Replacing 112 vars Replaced 101317 lits Time: 0.32 s
19972.85/628.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19972.85/628.66 c bin-w-bin subsume rem 3453 bins time: 0.03 s
19976.02/628.75 c subs with bin: 80 lits-rem: 163 v-fix: 0 time: 0.09 s
19979.22/628.85 c Subs w/ non-existent bins: 2 l-rem: 23 v-fix: 0 done: 17119 time: 0.10 s
19979.22/628.90 c Removed useless bin: 10 fixed: 0 props: 0.95M time: 0.04 s
19985.62/629.07 c lits-rem: 0 cl-subs: 149 v-elim: 35 v-fix: 0 time: 0.17 s
20075.12/631.87 c subs with bin: 276 lits-rem: 11394 v-fix: 0 time: 2.59 s
20168.45/634.73 c lits-rem: 7810 cl-subs: 1106 v-elim: 0 v-fix: 0 time: 2.83 s
20174.17/634.91 c vivif2 -- cl tried 54911 cl shrink 29 lits rem 29 time: 0.18
20190.16/635.44 c vivif2 -- cl tried 63067 cl shrink 10603 lits rem 147774 time: 0.53
20218.92/636.32 c asymm cl-useful: 0/978/54906 lits-rem:0 time: 0.88
20222.12/636.40 c calculated reachability. Time: 0.06
20222.12/636.40 c N dy 3196 537328 17084 54906 102824 62933 359893 2038283 22.12 no data
20474.64/644.37 c Finding binary XORs T: 0.17 s found: 9
20915.61/658.18 c N dy 3268 557634 17079 54885 104891 52829 359652 971023 22.02 23.26
21497.28/676.38 c Finding binary XORs T: 0.17 s found: 17
21501.08/676.46 c N dy 3349 577703 17078 54861 108892 72711 359591 6948981 21.98 41.44
22213.06/698.79 c Finding binary XORs T: 0.17 s found: 11
22232.25/699.31 c N dy 3460 597800 17074 54847 111323 55955 359371 1310476 22.03 23.28
22746.69/715.44 c Finding binary XORs T: 0.17 s found: 12
22816.98/717.60 c N dy 3525 617979 17067 54804 115794 74776 359244 5772902 21.91 23.14
23213.12/730.06 c Finding binary XORs T: 0.17 s found: 17
23459.17/737.77 c N dy 3633 638050 17061 54781 119923 58082 359177 1477159 21.96 38.17
23817.03/748.91 c Finding binary XORs T: 0.17 s found: 10
23983.18/754.14 c N dy 3726 658351 17058 54764 122078 78161 358942 4894079 21.94 24.05
24232.29/761.99 c Finding binary XORs T: 0.17 s found: 4
24638.09/774.60 c N dy 3828 678401 17050 54758 129645 59222 358904 1301099 21.98 23.18
24913.41/783.25 c Finding binary XORs T: 0.17 s found: 11
25152.27/790.74 c N dy 3914 698571 17048 54728 130937 79180 358814 4652300 21.96 23.33
25810.14/811.30 c N dy 4011 718853 17039 54728 131301 99209 358814 7548089 21.96 23.47
26340.44/827.91 c N dy 4093 738957 17039 54728 131699 79170 358814 4338846 21.91 23.23
26580.06/835.42 c Finding binary XORs T: 0.17 s found: 22
26972.90/847.73 c N dy 4198 758973 17036 54673 134347 98868 358181 7381260 21.91 23.29
27097.53/851.61 c Finding binary XORs T: 0.17 s found: 17
27532.05/865.26 c N dy 4292 779043 17035 54663 136307 77714 358151 3424424 21.89 23.21
28174.20/885.31 c N dy 4384 799198 17029 54663 136807 97508 358151 5796580 21.88 23.61
28213.13/886.57 c Finding binary XORs T: 0.17 s found: 10
28420.13/893.06 c S st 4423 805992 17029 54643 136999 104086 357885 6672659 21.88 21.70
28442.45/893.78 c S st 4423 806493 17029 54643 137003 104583 357885 6720405 21.88 no data
28445.65/893.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
29033.55/912.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 12 Bins: 3767 BRemL: 9577 BRemN: 3 P: 150.4M T: 18.45
29046.31/912.65 c Replacing 152 vars Replaced 114832 lits Time: 0.36 s
29049.50/912.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
29049.50/912.73 c bin-w-bin subsume rem 6881 bins time: 0.03 s
29052.71/912.85 c subs with bin: 189 lits-rem: 289 v-fix: 0 time: 0.11 s
29056.52/912.96 c Subs w/ non-existent bins: 3 l-rem: 26 v-fix: 0 done: 16883 time: 0.11 s
29056.52/913.01 c Removed useless bin: 8 fixed: 0 props: 0.99M time: 0.04 s
29065.48/913.23 c lits-rem: 2 cl-subs: 95 v-elim: 57 v-fix: 0 time: 0.22 s
29170.93/916.57 c subs with bin: 45 lits-rem: 4136 v-fix: 0 time: 2.72 s
29592.68/929.70 c lits-rem: 19171 cl-subs: 5848 v-elim: 0 v-fix: 0 time: 13.09 s
29595.87/929.89 c vivif2 -- cl tried 54266 cl shrink 207 lits rem 210 time: 0.19
29646.97/931.48 c vivif2 -- cl tried 96723 cl shrink 34969 lits rem 681837 time: 1.57
29678.91/932.45 c asymm cl-useful: 2/948/54261 lits-rem:6 time: 0.97
29682.12/932.53 c calculated reachability. Time: 0.06
29682.12/932.53 c N dy 4423 806493 16826 54259 122650 96482 355569 5381177 21.88 no data
29838.67/937.40 c Finding binary XORs T: 0.19 s found: 1
30225.21/949.52 c Finding binary XORs T: 0.18 s found: 37
30311.48/952.25 c N dy 4517 826577 16812 54195 126007 73967 355371 4898289 21.94 23.10
30960.07/972.59 c N dy 4704 846646 16812 54195 126364 93901 355371 10060475 22.46 90.83
31327.52/984.08 c Finding binary XORs T: 0.19 s found: 20
31583.12/992.03 c N dy 4862 866703 16811 54022 126880 70953 353927 3135338 22.89 39.72
32180.59/1010.80 c N dy 5048 886747 16808 54022 127390 90816 353927 7195015 23.47 49.80
32541.68/1022.06 c Finding binary XORs T: 0.19 s found: 21
32826.02/1030.91 c N dy 5234 906829 16806 54004 134070 67346 353670 1909831 24.20 74.20
33394.74/1048.79 c Finding binary XORs T: 0.19 s found: 5
33420.27/1049.51 c N dy 5419 926888 16804 53994 134903 87201 353240 5944478 24.81 32.16
34094.46/1070.69 c N dy 5601 946956 16801 53994 135452 107141 353240 10494175 25.50 52.56
34628.00/1087.38 c Finding binary XORs T: 0.19 s found: 14
34659.95/1088.35 c N dy 5770 967045 16796 53971 139166 82631 352993 4401339 25.94 100.32
35183.93/1104.78 c Finding binary XORs T: 0.19 s found: 7
35295.79/1108.27 c N dy 5935 987127 16794 53961 143891 102571 352963 9011366 26.56 81.51
35915.66/1127.64 c N dy 6064 1007166 16787 53961 144337 76994 352960 3027808 26.87 54.78
36538.77/1147.16 c N dy 6221 1027195 16777 53961 144644 96853 352958 7246973 27.24 36.60
36781.54/1154.74 c Finding binary XORs T: 0.18 s found: 26
37228.90/1168.74 c N dy 6391 1047288 16774 53798 144509 116325 351604 11984138 27.74 29.27
37778.50/1185.99 c N dy 6526 1067302 16772 53798 144768 89723 351603 4828031 27.95 34.22
37919.13/1190.35 c F st 6564 1071876 16769 53798 144832 94253 351601 5823994 28.05 no data
37931.93/1190.76 c Replacing 131 vars Replaced 101554 lits Time: 0.35 s
38098.06/1195.96 c Decided on static restart strategy
38209.90/1199.42 c Finding binary XORs T: 0.19 s found: 42
38546.01/1210.00 c N st 6573 1090596 16641 53611 177359 111976 350555 11512805 28.05 no data
38554.97/1210.28 c Finding binary XORs T: 0.19 s found: 15
39379.37/1236.01 c N st 6575 1114593 16639 53601 183033 87284 350525 16380134 28.05 no data
39389.57/1236.33 c Finding binary XORs T: 0.19 s found: 46
40331.31/1265.87 c N st 6576 1136190 16629 53542 189804 108702 350187 29007208 28.05 no data
40344.08/1266.24 c Finding binary XORs T: 0.19 s found: 22
41704.97/1308.92 c N st 6577 1168585 16624 53519 199589 102668 350112 24818136 28.05 no data
41717.74/1309.29 c Finding binary XORs T: 0.19 s found: 21
43442.83/1363.21 c N st 6578 1209742 16613 53479 203153 99436 349746 17411726 28.05 no data
43442.83/1363.21 c S st 6578 1209742 16613 53479 203153 99436 349746 17411726 28.05 no data
43452.43/1363.53 c Finding binary XORs T: 0.19 s found: 30
43490.79/1364.70 c Replacing 176 vars Replaced 294313 lits Time: 1.16 s
43525.95/1365.88 c S st 6578 1210246 16425 53225 203288 99511 347958 17442737 28.05 no data
43529.15/1365.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
44244.71/1388.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 7950 BRemL: 27293 BRemN: 9 P: 200.0M T: 22.39
44251.10/1388.52 c Replacing 4 vars Replaced 923 lits Time: 0.13 s
44251.10/1388.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
44254.30/1388.64 c bin-w-bin subsume rem 19480 bins time: 0.07 s
44257.49/1388.77 c subs with bin: 528 lits-rem: 1191 v-fix: 0 time: 0.13 s
44263.89/1388.92 c Subs w/ non-existent bins: 23 l-rem: 136 v-fix: 0 done: 16421 time: 0.15 s
44263.89/1388.96 c Removed useless bin: 8 fixed: 0 props: 1.08M time: 0.04 s
44274.11/1389.26 c lits-rem: 101 cl-subs: 555 v-elim: 161 v-fix: 0 time: 0.29 s
44394.95/1393.08 c subs with bin: 45 lits-rem: 8354 v-fix: 0 time: 2.64 s
46235.17/1450.62 c lits-rem: 2842 cl-subs: 3068 v-elim: 0 v-fix: 0 time: 57.49 s
46242.19/1450.83 c vivif2 -- cl tried 52278 cl shrink 495 lits rem 623 time: 0.21
46289.48/1452.30 c vivif2 -- cl tried 85105 cl shrink 37085 lits rem 1303833 time: 1.45
46318.21/1453.27 c asymm cl-useful: 0/700/52243 lits-rem:0 time: 0.96
46321.41/1453.36 c calculated reachability. Time: 0.07
46321.41/1453.36 c N st 6578 1210246 16260 52243 160473 84607 340889 10267812 28.05 no data
46327.77/1453.58 c Finding binary XORs T: 0.22 s found: 11
49311.32/1546.91 c Finding binary XORs T: 0.21 s found: 192
49352.88/1548.21 c Replacing 203 vars Replaced 313939 lits Time: 1.30 s
49608.22/1556.21 c N st 6579 1283128 16000 51531 201861 112727 335485 22746122 28.05 no data
54926.89/1722.78 c N st 6580 1392451 16000 51531 201875 122892 335485 27248743 28.05 no data
54942.89/1723.25 c Finding binary XORs T: 0.21 s found: 176
55000.39/1725.09 c Replacing 176 vars Replaced 316127 lits Time: 1.84 s
56623.71/1775.89 c Finding binary XORs T: 0.21 s found: 113
59869.64/1877.49 c Finding binary XORs T: 0.21 s found: 123
59901.56/1878.49 c Replacing 236 vars Replaced 471855 lits Time: 1.00 s
61074.37/1915.17 c Finding binary XORs T: 0.21 s found: 73
63358.54/1986.69 c N st 6581 1556435 15475 50270 315193 112147 325908 21674308 28.05 no data
63373.90/1987.13 c Finding binary XORs T: 0.21 s found: 134
63415.46/1988.48 c Replacing 207 vars Replaced 370936 lits Time: 1.35 s
71827.05/2251.73 c N st 6582 1710251 15234 49825 331452 156448 322483 47034382 28.05 no data
71827.05/2251.73 c S st 6582 1710251 15234 49825 331452 156448 322483 47034382 28.05 no data
71845.57/2252.39 c Finding binary XORs T: 0.21 s found: 518
71944.56/2255.46 c Replacing 518 vars Replaced 2066394 lits Time: 3.07 s
71992.49/2256.91 c S st 6582 1710752 14591 47948 351219 152957 308395 45023142 28.05 no data
71995.69/2257.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
72692.06/2278.82 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 65 Bins: 998 BRemL: 14988 BRemN: 4 P: 200.1M T: 21.69
72755.98/2280.85 c Replacing 65 vars Replaced 130997 lits Time: 2.02 s
72759.18/2280.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
72762.38/2281.03 c bin-w-bin subsume rem 60553 bins time: 0.13 s
72765.57/2281.19 c subs with bin: 1768 lits-rem: 4904 v-fix: 0 time: 0.16 s
72772.59/2281.39 c Subs w/ non-existent bins: 89 l-rem: 468 v-fix: 0 done: 14522 time: 0.21 s
72775.82/2281.44 c Removed useless bin: 28 fixed: 0 props: 1.31M time: 0.04 s
72787.98/2281.83 c lits-rem: 162 cl-subs: 819 v-elim: 281 v-fix: 0 time: 0.39 s
72918.93/2285.98 c subs with bin: 610 lits-rem: 13992 v-fix: 0 time: 2.39 s
76149.99/2387.03 c lits-rem: 5364 cl-subs: 4292 v-elim: 0 v-fix: 0 time: 101.01 s
76155.75/2387.27 c vivif2 -- cl tried 45520 cl shrink 1389 lits rem 1902 time: 0.24
76264.40/2390.63 c vivif2 -- cl tried 97675 cl shrink 64309 lits rem 2981113 time: 3.33
76290.61/2391.48 c asymm cl-useful: 0/543/45427 lits-rem:0 time: 0.85
76293.17/2391.58 c calculated reachability. Time: 0.08
76293.17/2391.58 c N st 6582 1710752 14241 45427 268134 94462 289019 14879635 28.05 no data
76302.77/2391.86 c Finding binary XORs T: 0.28 s found: 9
83263.38/2611.24 c Following stats are for *FIRST FINISHED THREAD ONLY*
83263.38/2611.24 c num threads : 32
83263.38/2611.24 c restarts : 13518
83263.38/2611.24 c dynamic restarts : 13488
83263.38/2611.24 c static restarts : 30
83263.38/2611.24 c full restarts : 4
83263.38/2611.24 c total simplify time : 35.13
83263.38/2611.24 c learnts DL2 : 0
83263.38/2611.24 c learnts size 2 : 1347467
83263.38/2611.24 c learnts size 1 : 2453 (2.65 % of vars)
83263.38/2611.24 c filedLit time : 126.39 (4.86 % time)
83263.38/2611.24 c v-elim SatELite : 68728 (74.33 % vars)
83263.38/2611.24 c SatELite time : 32.36 (1.24 % time)
83263.38/2611.24 c v-elim xor : 0 (0.00 % vars)
83263.38/2611.24 c xor elim time : 0.34 (0.01 % time)
83263.38/2611.24 c num binary xor trees : 3357
83263.38/2611.24 c binxor trees' crown : 11160 (3.32 leafs/tree)
83263.38/2611.24 c bin xor find time : 19.93
83263.38/2611.24 c OTF clause improved : 25429 (0.01 clauses/conflict)
83263.38/2611.24 c OTF impr. size diff : 64266 (2.53 lits/clause)
83263.38/2611.24 c OTF cl watch-shrink : 2062525 (0.81 clauses/conflict)
83263.38/2611.24 c OTF cl watch-sh-lit : 68902562 (33.41 lits/clause)
83263.38/2611.24 c tried to recurMin cls : 1208299 (47.59 % of conflicts)
83263.38/2611.24 c updated cache : 106430 (0.09 lits/tried recurMin)
83263.38/2611.24 c unit cls recevied : 719 (29.31 % of units)
83263.38/2611.24 c unit cls sent : 104 (4.24 % of units)
83263.38/2611.24 c bin cls recevied : 804734
83263.38/2611.24 c bin cls sent : 36215
83263.38/2611.24 c clauses over max glue : 0 (0.00 % of all clauses)
83263.38/2611.24 c conflicts : 2538824 (975.51 / sec)
83263.38/2611.24 c decisions : 10754638 (0.70 % random)
83263.38/2611.24 c bogo-props : 54688334184 (21013209.20 / sec)
83263.38/2611.24 c conflict literals : 471225407 (41.43 % deleted)
83263.38/2611.24 c Memory used : 26833.74 MB
83263.38/2611.24 c single-thread CPU time : 2602.57 s
83263.38/2611.24 c all-threads sum CPU time : 83109.01 s
83263.38/2611.24 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400658-1306294370/watcher-3400658-1306294370 -o /tmp/evaluation-result-3400658-1306294370/solver-3400658-1306294370 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400658-1306294370.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.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=338000 CPUtime=0.82 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 436 0 0 0 82 0 0 0 25 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 84500 376 297 95 0 79482 0
[pid=13095/tid=13096] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258662753996 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.050383 s]
/proc/loadavg: 29.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=338000 CPUtime=1.25 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 436 0 0 0 125 0 0 0 25 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 84500 376 297 95 0 79482 0
[pid=13095/tid=13096] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717096 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 740923450 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=338000 CPUtime=0 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717104 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 740923451 346112000 376 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202717106 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 338000
[startup+0.103363 s]
/proc/loadavg: 29.53 31.60 31.90 1/413 13095
/proc/meminfo: memFree=255157120/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=732568 CPUtime=2.57 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) D 13093 13095 13069 0 -1 4202496 8509 0 0 0 197 60 0 0 25 0 32 0 740923450 750149632 8327 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/13095/statm: 183142 8367 332 95 0 178124 0
[pid=13095/tid=13096] ppid=13093 vsize=732568 CPUtime=0.08 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 252 0 0 0 6 2 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 236 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 271 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 309 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 222 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 243 0 0 0 6 1 0 0 24 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 225 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 246 0 0 0 6 1 0 0 17 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 247 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 241 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 272 0 0 0 6 1 0 0 18 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=732568 CPUtime=0.07 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 238 0 0 0 6 1 0 0 25 0 32 0 740923450 750149632 8381 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=740772 CPUtime=0.07 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 221 0 0 0 6 1 0 0 25 0 32 0 740923450 758550528 8382 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=740772 CPUtime=0.05 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) D 13093 13095 13069 0 -1 4202560 257 0 0 0 4 1 0 0 25 0 32 0 740923451 758550528 8393 268435456000 4194304 4580107 140733390330784 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=740772 CPUtime=0.02 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 268 0 0 0 1 1 0 0 17 0 32 0 740923451 758550528 8410 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 17 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=740772 CPUtime=0.04 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 268 0 0 0 3 1 0 0 17 0 32 0 740923451 758550528 8435 268435456000 4194304 4580107 140733390330784 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=740772 CPUtime=0.04 cores=0-31
################
# More data... #
################
/proc/13095/stat : 13095 (strangenight2-m) R 13093 13095 13069 0 -1 4202496 20703396 0 0 0 8305295 15446 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 6869436 5653628 379 95 0 6864418 0
[pid=13095/tid=13096] ppid=13093 vsize=27477744 CPUtime=2598.3 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 664070 0 0 0 259329 501 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=27477744 CPUtime=2603.17 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 719379 0 0 0 259743 574 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=27477744 CPUtime=2603.14 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 741856 0 0 0 259758 556 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294224 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=27477744 CPUtime=2601.33 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 655587 0 0 0 259661 472 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=27477744 CPUtime=2598.34 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 638279 0 0 0 259304 530 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=27477744 CPUtime=2600.96 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 686879 0 0 0 259560 536 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=27477744 CPUtime=2594.65 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 705139 0 0 0 258950 515 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=27477744 CPUtime=2599.26 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 651583 0 0 0 259431 495 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=27477744 CPUtime=2593.01 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 687690 0 0 0 258762 539 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=27477744 CPUtime=2594.86 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 673193 0 0 0 258979 507 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=27477744 CPUtime=2594.45 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 906767 0 0 0 258887 558 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=27477744 CPUtime=2602.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 699033 0 0 0 259815 464 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=27477744 CPUtime=2603.91 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 630718 0 0 0 259922 469 0 0 25 0 32 0 740923450 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=27477744 CPUtime=2603.53 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 589417 0 0 0 259913 440 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=27477744 CPUtime=2600.48 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 591959 0 0 0 259630 418 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4497315 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=27477744 CPUtime=2601.31 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 618355 0 0 0 259662 469 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=27477744 CPUtime=2601.4 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 621553 0 0 0 259658 482 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=27477744 CPUtime=2600.27 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 604325 0 0 0 259558 469 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4256307 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=27477744 CPUtime=2595.13 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 608362 0 0 0 259045 468 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=27477744 CPUtime=2599.65 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 578591 0 0 0 259480 485 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=27477744 CPUtime=2602.33 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 612015 0 0 0 259755 478 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=27477744 CPUtime=2603.5 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 623618 0 0 0 259910 440 0 0 25 0 32 0 740923451 28137209856 5653628 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=27477744 CPUtime=2601.63 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 629883 0 0 0 259667 496 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=27477744 CPUtime=2603.13 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 619626 0 0 0 259841 472 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=27477744 CPUtime=2601.63 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 675013 0 0 0 259654 509 0 0 25 0 32 0 740923451 28137209856 5653629 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=27477744 CPUtime=2593.78 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 637334 0 0 0 258899 479 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=27477744 CPUtime=2603.83 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 642242 0 0 0 259916 467 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=27477744 CPUtime=2602.97 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 629891 0 0 0 259867 430 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=27477744 CPUtime=2596.77 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 514392 0 0 0 259233 444 0 0 25 0 32 0 740923451 28137209856 5653630 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=27477744 CPUtime=2599.94 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 515489 0 0 0 259594 400 0 0 25 0 32 0 740923451 28137209856 5653631 268435456000 4194304 4580107 140733390330784 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=27477744 CPUtime=2604.46 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 379951 0 0 0 260162 284 0 0 25 0 32 0 740923451 28137209856 5653631 268435456000 4194304 4580107 140733390330784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 83207.4
Current children cumulated vsize (KiB) 27477744
[startup+2611.1 s]
/proc/loadavg: 32.04 32.06 32.06 3/445 13206
/proc/meminfo: memFree=232493924/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=27477744 CPUtime=83263.2 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) S 13093 13095 13069 0 -1 4202496 20707536 0 0 0 8310871 15448 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 6869436 5657737 379 95 0 6864418 0
[pid=13095/tid=13096] ppid=13093 vsize=27477744 CPUtime=2599.95 cores=0-31
/proc/13095/task/13096/stat : 13096 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 664155 0 0 0 259494 501 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567380008416 0 0 -1 7 0 0 0
[pid=13095/tid=13097] ppid=13093 vsize=27477744 CPUtime=2604.82 cores=0-31
/proc/13095/task/13097/stat : 13097 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 719462 0 0 0 259908 574 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604570009468384 0 0 -1 2 0 0 0
[pid=13095/tid=13098] ppid=13093 vsize=27477744 CPUtime=2604.79 cores=0-31
/proc/13095/task/13098/stat : 13098 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 741943 0 0 0 259923 556 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604573466066400 0 0 -1 16 0 0 0
[pid=13095/tid=13099] ppid=13093 vsize=27477744 CPUtime=2602.98 cores=0-31
/proc/13095/task/13099/stat : 13099 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 655761 0 0 0 259826 472 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567115668960 0 0 -1 9 0 0 0
[pid=13095/tid=13100] ppid=13093 vsize=27477744 CPUtime=2599.99 cores=0-31
/proc/13095/task/13100/stat : 13100 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 638398 0 0 0 259469 530 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604476379282912 0 0 -1 27 0 0 0
[pid=13095/tid=13101] ppid=13093 vsize=27477744 CPUtime=2602.61 cores=0-31
/proc/13095/task/13101/stat : 13101 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 686974 0 0 0 259725 536 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574523637216 0 0 -1 6 0 0 0
[pid=13095/tid=13102] ppid=13093 vsize=27477744 CPUtime=2596.29 cores=0-31
/proc/13095/task/13102/stat : 13102 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 705171 0 0 0 259114 515 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604566229319136 0 0 -1 17 0 0 0
[pid=13095/tid=13103] ppid=13093 vsize=27477744 CPUtime=2600.9 cores=0-31
/proc/13095/task/13103/stat : 13103 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 651681 0 0 0 259595 495 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604706040602080 0 0 -1 13 0 0 0
[pid=13095/tid=13104] ppid=13093 vsize=27477744 CPUtime=2594.66 cores=0-31
/proc/13095/task/13104/stat : 13104 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 687690 0 0 0 258927 539 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604532326489568 0 0 -1 4 0 0 0
[pid=13095/tid=13105] ppid=13093 vsize=27477744 CPUtime=2596.51 cores=0-31
/proc/13095/task/13105/stat : 13105 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 673300 0 0 0 259144 507 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604710574792160 0 0 -1 30 0 0 0
[pid=13095/tid=13106] ppid=13093 vsize=27477744 CPUtime=2596.1 cores=0-31
/proc/13095/task/13106/stat : 13106 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 907115 0 0 0 259052 558 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604496776682976 0 0 -1 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=27477744 CPUtime=2605.99 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 700138 0 0 0 260135 464 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13095/tid=13108] ppid=13093 vsize=27477744 CPUtime=2607.11 cores=0-31
/proc/13095/task/13108/stat : 13108 (strangenight2-m) R 13093 13095 13069 0 -1 4202560 630784 0 0 0 260242 469 0 0 25 0 32 0 740923450 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202692292 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13095/tid=13109] ppid=13093 vsize=27477744 CPUtime=2605.18 cores=0-31
/proc/13095/task/13109/stat : 13109 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 589521 0 0 0 260078 440 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604565028183520 0 0 -1 20 0 0 0
[pid=13095/tid=13110] ppid=13093 vsize=27477744 CPUtime=2602.12 cores=0-31
/proc/13095/task/13110/stat : 13110 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 592030 0 0 0 259794 418 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446744071566932544 0 0 -1 14 0 0 0
[pid=13095/tid=13111] ppid=13093 vsize=27477744 CPUtime=2602.96 cores=0-31
/proc/13095/task/13111/stat : 13111 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 618450 0 0 0 259827 469 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604500631166432 0 0 -1 18 0 0 0
[pid=13095/tid=13112] ppid=13093 vsize=27477744 CPUtime=2603.05 cores=0-31
/proc/13095/task/13112/stat : 13112 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 621675 0 0 0 259823 482 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604575184936416 0 0 -1 29 0 0 0
[pid=13095/tid=13113] ppid=13093 vsize=27477744 CPUtime=2601.92 cores=0-31
/proc/13095/task/13113/stat : 13113 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 604377 0 0 0 259723 469 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604712325144032 0 0 -1 22 0 0 0
[pid=13095/tid=13114] ppid=13093 vsize=27477744 CPUtime=2596.72 cores=0-31
/proc/13095/task/13114/stat : 13114 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 608492 0 0 0 259204 468 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604567100120544 0 0 -1 31 0 0 0
[pid=13095/tid=13115] ppid=13093 vsize=27477744 CPUtime=2601.29 cores=0-31
/proc/13095/task/13115/stat : 13115 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 578665 0 0 0 259644 485 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604572180602336 0 0 -1 19 0 0 0
[pid=13095/tid=13116] ppid=13093 vsize=27477744 CPUtime=2603.97 cores=0-31
/proc/13095/task/13116/stat : 13116 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 612015 0 0 0 259919 478 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604495661563360 0 0 -1 23 0 0 0
[pid=13095/tid=13117] ppid=13093 vsize=27477744 CPUtime=2605.15 cores=0-31
/proc/13095/task/13117/stat : 13117 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 623693 0 0 0 260074 441 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604509898669536 0 0 -1 5 0 0 0
[pid=13095/tid=13118] ppid=13093 vsize=27477744 CPUtime=2603.28 cores=0-31
/proc/13095/task/13118/stat : 13118 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 629983 0 0 0 259832 496 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604572841795040 0 0 -1 10 0 0 0
[pid=13095/tid=13119] ppid=13093 vsize=27477744 CPUtime=2604.77 cores=0-31
/proc/13095/task/13119/stat : 13119 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 619728 0 0 0 260005 472 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574559944160 0 0 -1 15 0 0 0
[pid=13095/tid=13120] ppid=13093 vsize=27477744 CPUtime=2603.27 cores=0-31
/proc/13095/task/13120/stat : 13120 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 675013 0 0 0 259818 509 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604477662805472 0 0 -1 26 0 0 0
[pid=13095/tid=13121] ppid=13093 vsize=27477744 CPUtime=2595.43 cores=0-31
/proc/13095/task/13121/stat : 13121 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 637431 0 0 0 259064 479 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604696573140448 0 0 -1 11 0 0 0
[pid=13095/tid=13122] ppid=13093 vsize=27477744 CPUtime=2605.48 cores=0-31
/proc/13095/task/13122/stat : 13122 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 642329 0 0 0 260081 467 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604504270421472 0 0 -1 3 0 0 0
[pid=13095/tid=13123] ppid=13093 vsize=27477744 CPUtime=2604.62 cores=0-31
/proc/13095/task/13123/stat : 13123 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 629950 0 0 0 260032 430 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604510106082784 0 0 -1 1 0 0 0
[pid=13095/tid=13124] ppid=13093 vsize=27477744 CPUtime=2598.42 cores=0-31
/proc/13095/task/13124/stat : 13124 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 514548 0 0 0 259398 444 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604573650648544 0 0 -1 28 0 0 0
[pid=13095/tid=13125] ppid=13093 vsize=27477744 CPUtime=2601.59 cores=0-31
/proc/13095/task/13125/stat : 13125 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 515534 0 0 0 259759 400 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604574320909792 0 0 -1 8 0 0 0
[pid=13095/tid=13126] ppid=13093 vsize=27477744 CPUtime=2606.11 cores=0-31
/proc/13095/task/13126/stat : 13126 (strangenight2-m) S 13093 13095 13069 0 -1 4202560 380062 0 0 0 260327 284 0 0 25 0 32 0 740923451 28137209856 5657737 268435456000 4194304 4580107 140733390330784 18446744073709551615 47400202716724 0 0 4096 2 18446604710764158432 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 83263.2
Current children cumulated vsize (KiB) 27477744
[startup+2611.9 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=233049940/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83264.1 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15514 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2606.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 529 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83264.1
Current children cumulated vsize (KiB) 0
[startup+2612.7 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=247307452/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83264.9 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15594 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2607.59 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 609 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83264.9
Current children cumulated vsize (KiB) 0
[startup+2612.9 s]
/proc/loadavg: 32.04 32.06 32.06 2/415 13206
/proc/meminfo: memFree=247307452/264257624 swapFree=67111528/67111528
[pid=13095] ppid=13093 vsize=0 CPUtime=83265.1 cores=0-31
/proc/13095/stat : 13095 (strangenight2-m) Z 13093 13095 13069 0 -1 4203548 20707540 0 0 0 8310900 15614 0 0 18 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13095/statm: 0 0 0 0 0 0 0
[pid=13095/tid=13107] ppid=13093 vsize=0 CPUtime=2607.79 cores=0-31
/proc/13095/task/13107/stat : 13107 (strangenight2-m) R 13093 13095 13069 0 -1 4203588 700138 0 0 0 260150 629 0 0 25 0 2 0 740923450 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 83265.1
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2612.98
CPU time (s): 83265.2
CPU user time (s): 83109
CPU system time (s): 156.223
CPU usage (%): 3186.6
Max. virtual memory (cumulated for all children) (KiB): 27887960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83109
system time used= 156.223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20707540
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= 1839703
involuntary context switches= 175167
runsolver used 15.8136 second user time and 58.2381 second system time
The end
Begin job on node200 at 2011-05-25 05:32:50
IDJOB=3400658
IDBENCH=70797
IDSOLVER=1886
FILE ID=node200/3400658-1306294370
RUNJOBID= node200-1306294370-13083
PBS_JOBID= 13411777
Free space on /tmp= 62040 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400658-1306294370/watcher-3400658-1306294370 -o /tmp/evaluation-result-3400658-1306294370/solver-3400658-1306294370 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400658-1306294370.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1107797051
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255157528 kB
Buffers: 465836 kB
Cached: 8224816 kB
SwapCached: 0 kB
Active: 7774896 kB
Inactive: 984420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255157528 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10368 kB
Writeback: 0 kB
AnonPages: 69032 kB
Mapped: 14860 kB
Slab: 255852 kB
PageTables: 4584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186444 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= 62036 MiB
End job on node200 at 2011-05-25 06:16:23