0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3400770-1306770508.cnf'
0.00/0.06 c -- header says num vars: 44692
0.00/0.06 c -- header says num clauses: 129620
24.49/1.46 c -- clauses added: 0 learnts, 129620 normals, 0 xors
24.49/1.46 c -- vars added 44692
24.49/1.46 c Parsing time: 0.28 s
24.49/1.46 c N st 0 0 44692 43206 86412 0 302442 0 no data no data
50.09/2.28 c asymm cl-useful: 0/43205/43205 lits-rem:0 time: 0.82
129.91/7.26 c Flit: 60 Blit: 2357 bXBeca: 0 bXProp: 1247 Bins: 0 BRemL: 0 BRemN: 0 P: 13.2M T: 2.27
129.91/7.28 c Cleaning up after failed var search: 0.01 s
132.92/7.32 c Replacing 1247 vars Replaced 24577 lits Time: 0.02 s
138.39/7.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
138.39/7.66 c bin-w-bin subsume rem 166 bins time: 0.02 s
138.39/7.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
142.26/7.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 40581 time: 0.11 s
144.39/7.93 c Removed useless bin: 82 fixed: 0 props: 5.97M time: 0.10 s
163.37/8.76 c lits-rem: 96 cl-subs: 39 v-elim: 13527 v-fix: 0 time: 0.38 s
166.52/8.85 c Finding binary XORs T: 0.09 s found: 53
166.52/8.88 c Replacing 53 vars Replaced 890 lits Time: 0.02 s
168.56/8.92 c Finding non-binary XORs: 0.03 s (found: 247, avg size: 3.0)
168.56/8.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 18 locsubst: 0 time: 0.02
168.56/8.95 c calculated reachability. Time: 0.02
168.56/8.97 c Calc default polars - time: 0.01 s pos: 1523 undec: 18098 neg: 25071
168.56/8.97 c =========================================================================================
168.56/8.97 c types(t): F = full restart, N = normal restart
168.56/8.97 c types(t): S = simplification begin/end, E = solution found
168.56/8.97 c restart types(rt): st = static, dy = dynamic
168.56/8.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
168.56/8.97 c B st 0 0 26983 36290 52986 0 226840 0 no data no data
203.70/10.04 c N dy 18 4134 26949 36290 53833 3226 226840 28813 3.92 4.20
238.77/11.19 c Finding binary XORs T: 0.04 s found: 322
241.97/11.21 c Replacing 323 vars Replaced 7066 lits Time: 0.02 s
245.17/11.36 c N dy 46 8170 25897 34248 58467 3612 214540 48700 4.53 5.01
283.50/12.50 c N dy 76 12231 25850 34248 58672 7417 214540 116251 4.91 5.27
321.85/13.71 c N dy 106 16302 25347 32634 62244 5978 206689 74878 5.30 8.29
357.00/14.81 c N dy 133 20369 25261 32634 67147 9876 206689 178665 5.53 6.19
360.19/14.95 c Finding binary XORs T: 0.04 s found: 577
360.19/14.98 c Replacing 579 vars Replaced 18881 lits Time: 0.03 s
398.53/16.11 c N dy 166 24437 24587 31932 65109 13646 201843 307714 5.89 6.30
404.93/16.30 c F st 172 25000 24586 31932 68832 8015 201824 92922 5.92 no data
404.93/16.34 c Replacing 5 vars Replaced 244 lits Time: 0.02 s
436.89/17.40 c N dy 178 30001 24452 31478 68331 12388 199716 358972 5.92 no data
440.09/17.40 c S st 178 30001 24452 31478 68331 12388 199716 358972 5.92 no data
447.11/17.64 c S st 178 30502 24452 31478 68358 12861 199716 366775 5.92 no data
447.11/17.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.02
900.91/31.85 c Flit: 38 Blit: 108 bXBeca: 0 bXProp: 639 Bins: 175186 BRemL: 20375 BRemN: 11 P: 87.2M T: 14.12
900.91/31.85 c Cleaning up after failed var search: 0.00 s
904.11/31.92 c Replacing 639 vars Replaced 71946 lits Time: 0.07 s
904.11/31.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
904.11/31.99 c bin-w-bin subsume rem 15798 bins time: 0.04 s
906.70/32.05 c subs with bin: 1322 lits-rem: 836 v-fix: 0 time: 0.06 s
909.90/32.16 c Subs w/ non-existent bins: 206 l-rem: 230 v-fix: 0 done: 23614 time: 0.11 s
913.09/32.21 c Removed useless bin: 91 fixed: 0 props: 1.48M time: 0.05 s
922.68/32.53 c lits-rem: 116 cl-subs: 962 v-elim: 13335 v-fix: 0 time: 0.29 s
922.68/32.57 c subs with bin: 1023 lits-rem: 3006 v-fix: 0 time: 0.03 s
925.88/32.62 c lits-rem: 212 cl-subs: 1027 v-elim: 0 v-fix: 0 time: 0.03 s
967.40/33.92 c asymm cl-useful: 1030/19233/37511 lits-rem:1431 time: 1.30
967.40/33.96 c calculated reachability. Time: 0.03
967.40/33.96 c N dy 178 30502 10279 37497 85487 4854 159087 174887 5.92 no data
976.98/34.23 c Finding binary XORs T: 0.13 s found: 445
976.98/34.26 c Replacing 447 vars Replaced 42737 lits Time: 0.03 s
997.95/34.98 c N dy 206 34551 9628 36579 86949 8448 153917 283979 6.20 6.53
1019.42/35.75 c Finding binary XORs T: 0.07 s found: 23
1027.71/36.04 c N dy 237 38630 9615 36544 128591 7086 153618 315035 6.45 10.48
1048.16/36.87 c N dy 273 42795 9614 36544 128644 11162 153618 452393 6.88 7.71
1091.14/38.33 c S st 288 45756 9611 36544 136118 14028 153618 540042 6.89 6.70
1098.16/38.54 c S st 288 46260 9610 36544 136142 14506 153618 551009 6.89 no data
1098.16/38.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 0 time: 0.02
1257.11/43.56 c Flit: 10 Blit: 8 bXBeca: 0 bXProp: 123 Bins: 12916 BRemL: 40245 BRemN: 34 P: 39.0M T: 4.98
1260.31/43.60 c Replacing 149 vars Replaced 25113 lits Time: 0.04 s
1260.31/43.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1260.31/43.66 c bin-w-bin subsume rem 40676 bins time: 0.03 s
1260.31/43.69 c subs with bin: 1554 lits-rem: 1003 v-fix: 0 time: 0.03 s
1263.50/43.73 c Subs w/ non-existent bins: 431 l-rem: 370 v-fix: 0 done: 9440 time: 0.04 s
1263.50/43.75 c Removed useless bin: 104 fixed: 0 props: 0.37M time: 0.01 s
1266.69/43.84 c lits-rem: 69 cl-subs: 1068 v-elim: 322 v-fix: 0 time: 0.09 s
1270.46/43.95 c subs with bin: 319 lits-rem: 4128 v-fix: 0 time: 0.06 s
1273.70/44.03 c lits-rem: 542 cl-subs: 278 v-elim: 0 v-fix: 0 time: 0.07 s
1273.70/44.03 c Added XOR as norm:163
1273.70/44.09 c vivif2 -- cl tried 34333 cl shrink 1630 lits rem 1794 time: 0.06
1276.24/44.17 c vivif2 -- cl tried 12601 cl shrink 4450 lits rem 22466 time: 0.07
1327.36/45.71 c asymm cl-useful: 0/11554/33597 lits-rem:0 time: 1.54
1327.36/45.73 c calculated reachability. Time: 0.02
1327.36/45.73 c N dy 288 46260 9118 33597 66580 12382 142095 268070 6.89 no data
1330.55/45.82 c Finding binary XORs T: 0.09 s found: 137
1330.55/45.84 c Replacing 137 vars Replaced 5908 lits Time: 0.02 s
1359.29/46.78 c N dy 319 50327 8968 33591 117536 9059 141977 301322 7.02 9.75
1375.78/47.30 c Finding binary XORs T: 0.08 s found: 97
1378.98/47.32 c Replacing 97 vars Replaced 11548 lits Time: 0.03 s
1397.39/47.93 c N dy 345 54734 8848 33484 117143 13276 141260 411487 7.08 7.51
1419.75/48.67 c Finding binary XORs T: 0.08 s found: 20
1429.33/48.94 c N dy 371 58817 8839 33463 140348 17249 141136 556370 7.17 13.49
1458.03/49.83 c N dy 397 62866 8836 33463 150751 11597 141136 383084 7.21 7.73
1486.71/50.75 c N dy 426 67086 8833 33463 150790 15719 141132 489527 7.29 7.70
1502.69/51.27 c S st 442 69390 8832 33463 152079 17981 141132 564152 7.33 no data
1509.09/51.46 c S st 442 69896 8832 33463 152100 18465 141132 571676 7.33 no data
1509.09/51.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1648.60/55.85 c Flit: 4 Blit: 2 bXBeca: 0 bXProp: 102 Bins: 12744 BRemL: 67881 BRemN: 27 P: 33.4M T: 4.37
1648.60/55.89 c Replacing 122 vars Replaced 14111 lits Time: 0.04 s
1651.81/55.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1651.81/55.94 c bin-w-bin subsume rem 22585 bins time: 0.02 s
1651.81/55.97 c subs with bin: 580 lits-rem: 260 v-fix: 0 time: 0.03 s
1651.81/56.01 c Subs w/ non-existent bins: 59 l-rem: 19 v-fix: 0 done: 8704 time: 0.04 s
1655.59/56.02 c Removed useless bin: 55 fixed: 0 props: 0.34M time: 0.01 s
1655.59/56.11 c lits-rem: 46 cl-subs: 801 v-elim: 264 v-fix: 0 time: 0.09 s
1658.78/56.20 c subs with bin: 300 lits-rem: 1406 v-fix: 0 time: 0.06 s
1661.38/56.28 c lits-rem: 504 cl-subs: 460 v-elim: 0 v-fix: 0 time: 0.06 s
1661.38/56.28 c Added XOR as norm:0
1664.57/56.34 c vivif2 -- cl tried 32013 cl shrink 574 lits rem 756 time: 0.05
1667.76/56.41 c vivif2 -- cl tried 15630 cl shrink 2982 lits rem 15766 time: 0.07
1670.93/56.52 c asymm cl-useful: 6/1087/31874 lits-rem:18 time: 0.11
1670.93/56.55 c calculated reachability. Time: 0.02
1670.93/56.55 c N dy 442 69896 8440 31868 70409 15569 134485 279271 7.33 no data
1674.04/56.64 c Finding binary XORs T: 0.08 s found: 77
1705.98/57.66 c N dy 469 74393 8437 31868 95471 19971 134485 449001 7.36 7.78
1715.58/57.91 c Finding binary XORs T: 0.08 s found: 83
1715.58/57.93 c Replacing 160 vars Replaced 11454 lits Time: 0.02 s
1741.12/58.75 c N dy 498 79214 8261 31809 95201 15256 134002 366196 7.43 7.84
1782.66/60.04 c N dy 529 84551 8249 31809 102510 20507 134002 580919 7.45 7.95
1805.03/60.75 c F st 552 87500 8246 31809 102892 23420 134002 676300 7.51 no data
1827.41/61.41 c N st 557 90795 8245 31766 102648 14812 133728 352317 7.51 no data
1856.18/62.39 c Finding binary XORs T: 0.08 s found: 60
1862.58/62.61 c N dy 574 96729 8239 31749 105234 20582 133618 546783 7.51 7.95
1916.90/64.27 c N dy 609 104038 8232 31749 105732 27804 133618 847590 7.57 8.52
1923.27/64.50 c S st 613 104845 8231 31749 105735 15411 133618 299386 7.57 6.23
1929.66/64.65 c S st 613 105349 8231 31749 105994 15905 133618 316579 7.57 no data
1929.66/64.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2067.09/68.94 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 84 Bins: 16059 BRemL: 40444 BRemN: 17 P: 27.9M T: 4.26
2067.09/68.97 c Replacing 144 vars Replaced 12940 lits Time: 0.03 s
2067.09/69.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2070.29/69.01 c bin-w-bin subsume rem 13032 bins time: 0.02 s
2070.29/69.04 c subs with bin: 358 lits-rem: 315 v-fix: 0 time: 0.03 s
2070.29/69.08 c Subs w/ non-existent bins: 76 l-rem: 13 v-fix: 0 done: 8080 time: 0.03 s
2070.29/69.09 c Removed useless bin: 47 fixed: 0 props: 0.31M time: 0.01 s
2073.48/69.16 c lits-rem: 42 cl-subs: 600 v-elim: 95 v-fix: 0 time: 0.07 s
2077.27/69.22 c subs with bin: 267 lits-rem: 1240 v-fix: 0 time: 0.04 s
2077.27/69.27 c lits-rem: 195 cl-subs: 180 v-elim: 0 v-fix: 0 time: 0.04 s
2077.27/69.27 c Added XOR as norm:0
2080.50/69.33 c vivif2 -- cl tried 30669 cl shrink 406 lits rem 620 time: 0.05
2080.50/69.37 c vivif2 -- cl tried 14672 cl shrink 984 lits rem 4334 time: 0.04
2131.00/70.92 c asymm cl-useful: 608/13992/30594 lits-rem:1069 time: 1.54
2131.00/70.94 c calculated reachability. Time: 0.02
2131.00/70.94 c N dy 613 105349 7985 30494 66680 14628 127651 215792 7.57 no data
2134.20/71.02 c Finding binary XORs T: 0.08 s found: 56
2188.50/72.73 c N dy 650 112375 7975 30494 83887 21531 127651 418856 7.59 8.08
2201.30/73.13 c Finding binary XORs T: 0.08 s found: 86
2201.30/73.16 c Replacing 142 vars Replaced 13561 lits Time: 0.03 s
2246.04/74.57 c N dy 685 119686 7827 30445 92377 27595 127276 595813 7.62 8.07
2297.18/76.12 c Finding binary XORs T: 0.08 s found: 54
2313.16/76.67 c N dy 718 127722 7824 30434 94829 22990 127203 443437 7.62 8.37
2389.87/79.08 c N dy 755 135947 7823 30434 95167 31104 127203 651062 7.63 8.05
2463.97/81.33 c N dy 810 144723 7816 30434 95769 25528 127199 461849 7.70 8.18
2540.08/83.76 c N dy 866 154126 7814 30434 95952 34787 127199 699637 7.74 8.18
2575.24/84.81 c S st 889 158023 7811 30434 96237 23187 127199 358485 7.78 7.10
2578.44/84.96 c S st 889 158525 7811 30434 96246 23679 127199 371986 7.78 no data
2578.44/84.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2715.87/89.24 c Flit: 2 Blit: 2 bXBeca: 0 bXProp: 129 Bins: 12494 BRemL: 27195 BRemN: 20 P: 28.7M T: 4.27
2715.87/89.29 c Replacing 183 vars Replaced 19991 lits Time: 0.04 s
2719.07/89.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2719.07/89.32 c bin-w-bin subsume rem 13753 bins time: 0.02 s
2719.07/89.35 c subs with bin: 250 lits-rem: 193 v-fix: 0 time: 0.03 s
2719.07/89.39 c Subs w/ non-existent bins: 20 l-rem: 7 v-fix: 0 done: 7624 time: 0.03 s
2722.26/89.40 c Removed useless bin: 32 fixed: 0 props: 0.32M time: 0.01 s
2722.26/89.48 c lits-rem: 109 cl-subs: 805 v-elim: 133 v-fix: 0 time: 0.07 s
2725.46/89.57 c subs with bin: 354 lits-rem: 1857 v-fix: 0 time: 0.06 s
2728.66/89.64 c lits-rem: 622 cl-subs: 455 v-elim: 0 v-fix: 0 time: 0.06 s
2728.66/89.64 c Added XOR as norm:0
2728.66/89.69 c vivif2 -- cl tried 29370 cl shrink 374 lits rem 454 time: 0.05
2731.86/89.75 c vivif2 -- cl tried 21105 cl shrink 1852 lits rem 5527 time: 0.06
2780.40/91.23 c asymm cl-useful: 36/10231/29305 lits-rem:108 time: 1.48
2780.40/91.26 c calculated reachability. Time: 0.02
2780.40/91.26 c N dy 889 158525 7491 29269 66327 21061 122245 270257 7.78 no data
2783.60/91.34 c Finding binary XORs T: 0.08 s found: 29
2856.48/93.63 c N dy 931 168689 7485 29269 80367 31101 122245 562948 7.78 10.11
2872.43/94.11 c Finding binary XORs T: 0.08 s found: 65
2872.43/94.14 c Replacing 94 vars Replaced 13500 lits Time: 0.03 s
2965.12/97.05 c N dy 985 179977 7389 29225 82129 25421 122021 384243 7.81 8.28
3048.24/99.65 c Finding binary XORs T: 0.08 s found: 57
3064.85/100.14 c N dy 1043 191508 7386 29213 83131 36746 121941 718765 7.82 12.35
3182.49/103.81 c N dy 1104 204216 7383 29213 86789 31787 121941 524943 7.84 8.26
3214.46/104.87 c Finding binary XORs T: 0.08 s found: 40
3217.65/104.91 c Replacing 97 vars Replaced 14549 lits Time: 0.04 s
3294.35/107.38 c N dy 1164 217334 7284 29178 89165 44312 121779 830979 7.86 10.14
3374.25/109.91 c Finding binary XORs T: 0.08 s found: 62
3418.98/111.29 c N dy 1248 231282 7280 29149 91633 39595 121633 719787 7.92 10.66
3483.52/113.27 c S st 1286 237788 7280 29149 91839 46051 121633 914774 7.96 7.52
3489.31/113.46 c S st 1286 238291 7280 29149 91839 46552 121633 929826 7.96 no data
3489.31/113.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3620.39/117.61 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 52 Bins: 11561 BRemL: 24131 BRemN: 37 P: 29.4M T: 4.14
3624.17/117.68 c Replacing 114 vars Replaced 24007 lits Time: 0.07 s
3624.17/117.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3627.36/117.72 c bin-w-bin subsume rem 13453 bins time: 0.02 s
3627.36/117.75 c subs with bin: 251 lits-rem: 200 v-fix: 0 time: 0.03 s
3627.36/117.78 c Subs w/ non-existent bins: 36 l-rem: 6 v-fix: 0 done: 7164 time: 0.03 s
3627.36/117.80 c Removed useless bin: 25 fixed: 0 props: 0.30M time: 0.01 s
3629.95/117.87 c lits-rem: 24 cl-subs: 875 v-elim: 97 v-fix: 0 time: 0.07 s
3639.54/118.19 c subs with bin: 542 lits-rem: 6736 v-fix: 0 time: 0.25 s
3652.34/118.57 c lits-rem: 5344 cl-subs: 1181 v-elim: 0 v-fix: 0 time: 0.37 s
3652.34/118.57 c Added XOR as norm:0
3655.53/118.62 c vivif2 -- cl tried 27915 cl shrink 152 lits rem 176 time: 0.05
3659.31/118.76 c vivif2 -- cl tried 38765 cl shrink 7755 lits rem 32296 time: 0.14
3674.69/119.29 c asymm cl-useful: 3/3676/27899 lits-rem:9 time: 0.54
3677.85/119.32 c calculated reachability. Time: 0.02
3677.85/119.32 c N dy 1286 238291 7067 27896 64490 38712 116526 612844 7.96 no data
3677.85/119.40 c Finding binary XORs T: 0.08 s found: 18
3783.31/122.68 c Finding binary XORs T: 0.08 s found: 44
3821.66/123.85 c N dy 1370 253567 7060 27868 74497 37388 116335 635241 7.99 11.68
3955.87/128.09 c Finding binary XORs T: 0.08 s found: 37
3959.07/128.12 c Replacing 99 vars Replaced 11864 lits Time: 0.03 s
3984.64/128.96 c N dy 1476 269799 6944 27788 76266 32668 115842 482998 8.06 8.49
4109.31/132.87 c Finding binary XORs T: 0.08 s found: 21
4166.84/134.61 c N dy 1572 287057 6938 27775 79071 49578 115798 961198 8.10 8.65
4365.61/140.84 c N dy 1668 305618 6929 27775 80504 46539 115798 819608 8.13 8.58
4371.39/141.08 c F st 1674 306252 6929 27775 80504 47169 115798 838083 8.13 no data
4374.59/141.12 c Replacing 21 vars Replaced 3137 lits Time: 0.03 s
4380.99/141.33 c Finding binary XORs T: 0.08 s found: 35
4585.53/147.76 c N dy 1767 325159 6901 27708 81806 42800 115528 706092 8.17 11.33
4646.90/149.65 c Finding binary XORs T: 0.08 s found: 46
4649.46/149.70 c Replacing 81 vars Replaced 25741 lits Time: 0.05 s
4812.51/154.82 c N dy 1897 345219 6808 27598 80191 38139 115070 521402 8.23 8.69
4937.18/158.78 c S st 1969 357436 6792 27598 80731 50295 115070 921257 8.24 6.59
4946.77/159.00 c S st 1969 357937 6792 27598 80732 50794 115070 938407 8.24 no data
4946.77/159.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
5068.85/162.87 c Flit: 4 Blit: 4 bXBeca: 0 bXProp: 86 Bins: 8348 BRemL: 18186 BRemN: 15 P: 33.6M T: 3.85
5071.41/162.95 c Replacing 86 vars Replaced 35405 lits Time: 0.08 s
5071.41/162.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5071.41/162.98 c bin-w-bin subsume rem 11919 bins time: 0.02 s
5074.60/163.01 c subs with bin: 349 lits-rem: 300 v-fix: 0 time: 0.03 s
5074.60/163.04 c Subs w/ non-existent bins: 83 l-rem: 70 v-fix: 0 done: 6698 time: 0.03 s
5074.60/163.05 c Removed useless bin: 20 fixed: 0 props: 0.27M time: 0.01 s
5077.81/163.13 c lits-rem: 33 cl-subs: 727 v-elim: 129 v-fix: 0 time: 0.07 s
5084.21/163.38 c subs with bin: 1867 lits-rem: 9775 v-fix: 0 time: 0.21 s
5093.80/163.60 c lits-rem: 1841 cl-subs: 1079 v-elim: 0 v-fix: 0 time: 0.21 s
5093.80/163.60 c Added XOR as norm:0
5093.80/163.65 c vivif2 -- cl tried 26189 cl shrink 196 lits rem 352 time: 0.04
5097.00/163.80 c vivif2 -- cl tried 37059 cl shrink 8117 lits rem 29755 time: 0.15
5119.36/164.45 c asymm cl-useful: 244/4541/26170 lits-rem:403 time: 0.65
5119.36/164.47 c calculated reachability. Time: 0.01
5119.36/164.47 c N dy 1969 357937 6569 26146 56529 36794 108861 478063 8.24 no data
5122.57/164.55 c Finding binary XORs T: 0.08 s found: 27
5221.65/167.68 c Finding binary XORs T: 0.08 s found: 56
5224.86/167.73 c Replacing 83 vars Replaced 29173 lits Time: 0.05 s
5307.97/170.41 c N dy 2055 377985 6444 25923 66908 36332 107679 524572 8.23 8.76
5323.94/170.83 c Finding binary XORs T: 0.08 s found: 20
5458.20/175.08 c Finding binary XORs T: 0.08 s found: 106
5461.40/175.14 c Replacing 126 vars Replaced 42066 lits Time: 0.06 s
5506.12/176.51 c N dy 2156 398061 6127 25074 57655 51284 103686 982924 8.24 8.81
5528.52/177.22 c Finding binary XORs T: 0.08 s found: 38
5685.13/182.19 c Finding binary XORs T: 0.08 s found: 81
5688.33/182.24 c Replacing 119 vars Replaced 40560 lits Time: 0.06 s
5694.73/182.49 c N dy 2256 418529 5958 24764 88310 47802 102238 816932 8.25 8.87
5784.23/185.20 c Finding binary XORs T: 0.08 s found: 102
5784.23/185.25 c Replacing 102 vars Replaced 19290 lits Time: 0.04 s
5886.52/188.49 c N dy 2341 438697 5721 24103 73440 40410 99051 567862 8.25 8.94
5926.37/191.57 c Following stats are for *FIRST FINISHED THREAD ONLY*
5926.37/191.57 c num threads : 32
5926.37/191.57 c restarts : 2160
5926.37/191.57 c dynamic restarts : 2136
5926.37/191.57 c static restarts : 24
5926.37/191.57 c full restarts : 3
5926.37/191.57 c total simplify time : 3.10
5926.37/191.57 c learnts DL2 : 0
5926.37/191.57 c learnts size 2 : 850824
5926.37/191.57 c learnts size 1 : 6483 (14.51 % of vars)
5926.37/191.57 c filedLit time : 21.77 (11.66 % time)
5926.37/191.57 c v-elim SatELite : 25992 (58.16 % vars)
5926.37/191.57 c SatELite time : 0.86 (0.46 % time)
5926.37/191.57 c v-elim xor : 20 (0.04 % vars)
5926.37/191.57 c xor elim time : 0.06 (0.03 % time)
5926.37/191.57 c num binary xor trees : 3824
5926.37/191.57 c binxor trees' crown : 6484 (1.70 leafs/tree)
5926.37/191.57 c bin xor find time : 1.73
5926.37/191.57 c OTF clause improved : 3681 (0.01 clauses/conflict)
5926.37/191.57 c OTF impr. size diff : 4713 (1.28 lits/clause)
5926.37/191.57 c OTF cl watch-shrink : 275805 (0.70 clauses/conflict)
5926.37/191.57 c OTF cl watch-sh-lit : 1436888 (5.21 lits/clause)
5926.37/191.57 c tried to recurMin cls : 159652 (40.65 % of conflicts)
5926.37/191.57 c updated cache : 710 (0.00 lits/tried recurMin)
5926.37/191.57 c unit cls recevied : 1104 (17.03 % of units)
5926.37/191.57 c unit cls sent : 61 (0.94 % of units)
5926.37/191.57 c bin cls recevied : 740679
5926.37/191.57 c bin cls sent : 10384
5926.37/191.57 c clauses over max glue : 0 (0.00 % of all clauses)
5926.37/191.57 c conflicts : 392732 (2104.34 / sec)
5926.37/191.57 c decisions : 779861 (4.11 % random)
5926.37/191.57 c bogo-props : 4608233634 (24691865.42 / sec)
5926.37/191.57 c conflict literals : 11808283 (35.11 % deleted)
5926.37/191.57 c Memory used : 7451.18 MB
5926.37/191.57 c single-thread CPU time : 186.63 s
5926.37/191.57 c all-threads sum CPU time : 5887.21 s
5926.37/191.57 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-3400770-1306770508/watcher-3400770-1306770508 -o /tmp/evaluation-result-3400770-1306770508/solver-3400770-1306770508 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400770-1306770508.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: 30.43 31.25 31.76 1/413 17795
/proc/meminfo: memFree=263744492/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=732436 CPUtime=0.61 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) R 17793 17795 17649 0 -1 4202496 1768 0 0 0 55 6 0 0 25 0 32 0 3016850 750014464 1632 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17795/statm: 183109 1688 322 95 0 178091 0
[pid=17795/tid=17796] ppid=17793 vsize=732436 CPUtime=0.02 cores=0-31
/proc/17795/task/17796/stat : 17796 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 37 0 0 0 2 0 0 0 18 0 32 0 3016850 750014464 1854 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17795/tid=17797] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17797/stat : 17797 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 24 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 1932 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17798/stat : 17798 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 58 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 1990 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17799/stat : 17799 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 57 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 2061 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17800/stat : 17800 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 64 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 2127 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17801/stat : 17801 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 46 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 2194 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17802/stat : 17802 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 37 0 0 0 1 0 0 0 24 0 32 0 3016850 750014464 2260 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17803/stat : 17803 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 96 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 2320 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17804/stat : 17804 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 113 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 2390 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 14 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2433 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17795/tid=17806] ppid=17793 vsize=732436 CPUtime=0 cores=0-31
/proc/17795/task/17806/stat : 17806 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 138 0 0 0 0 0 0 0 18 0 32 0 3016850 750014464 2501 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17795/tid=17807] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17807/stat : 17807 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 123 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 2570 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17795/tid=17808] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17808/stat : 17808 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 74 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2608 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17795/tid=17809] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17809/stat : 17809 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 66 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2674 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17795/tid=17810] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17810/stat : 17810 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 44 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2728 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17795/tid=17811] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17811/stat : 17811 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 90 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 2794 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17795/tid=17812] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17812/stat : 17812 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 83 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2840 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17795/tid=17813] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17813/stat : 17813 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 112 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 2894 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17795/tid=17814] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17814/stat : 17814 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 89 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 2967 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17795/tid=17815] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17815/stat : 17815 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 112 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3027 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17795/tid=17816] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17816/stat : 17816 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 81 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3086 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17795/tid=17817] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17817/stat : 17817 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 70 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 3156 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17795/tid=17818] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17818/stat : 17818 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 65 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3234 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17795/tid=17819] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17819/stat : 17819 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 85 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 3303 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17795/tid=17820] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17820/stat : 17820 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 92 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3369 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17795/tid=17821] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17821/stat : 17821 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 129 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3439 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17795/tid=17822] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17822/stat : 17822 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 72 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3478 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17795/tid=17823] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17823/stat : 17823 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 88 0 0 0 1 0 0 0 18 0 32 0 3016850 750014464 3547 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17795/tid=17824] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17824/stat : 17824 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 102 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3600 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17795/tid=17825] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17825/stat : 17825 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 80 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3665 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17795/tid=17826] ppid=17793 vsize=732436 CPUtime=0.01 cores=0-31
/proc/17795/task/17826/stat : 17826 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 96 0 0 0 1 0 0 0 25 0 32 0 3016850 750014464 3719 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0640491 s]
/proc/loadavg: 30.43 31.25 31.76 1/413 17795
/proc/meminfo: memFree=263744492/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=798292 CPUtime=1.17 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) D 17793 17795 17649 0 -1 4202496 8834 0 0 0 56 61 0 0 25 0 32 0 3016850 817451008 8684 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17795/statm: 199573 8686 330 95 0 194555 0
[pid=17795/tid=17796] ppid=17793 vsize=798292 CPUtime=0.03 cores=0-31
/proc/17795/task/17796/stat : 17796 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 255 0 0 0 2 1 0 0 18 0 32 0 3016850 817451008 8698 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17795/tid=17797] ppid=17793 vsize=798292 CPUtime=0.02 cores=0-31
/proc/17795/task/17797/stat : 17797 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 230 0 0 0 1 1 0 0 24 0 32 0 3016850 817451008 8705 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=798292 CPUtime=0.03 cores=0-31
/proc/17795/task/17798/stat : 17798 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 274 0 0 0 1 2 0 0 24 0 32 0 3016850 817451008 8705 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=929364 CPUtime=0.02 cores=0-31
/proc/17795/task/17799/stat : 17799 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 270 0 0 0 1 1 0 0 24 0 32 0 3016850 951668736 8714 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566927824 0 0 -1 27 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=929364 CPUtime=0.03 cores=0-31
/proc/17795/task/17800/stat : 17800 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 267 0 0 0 1 2 0 0 24 0 32 0 3016850 951668736 8718 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604453498019296 0 0 -1 18 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=863828 CPUtime=0.02 cores=0-31
/proc/17795/task/17801/stat : 17801 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 267 0 0 0 1 1 0 0 24 0 32 0 3016850 884559872 8725 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604451809172960 0 0 -1 16 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=863828 CPUtime=0.02 cores=0-31
/proc/17795/task/17802/stat : 17802 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 270 0 0 0 1 1 0 0 24 0 32 0 3016850 884559872 8734 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17803/stat : 17803 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 277 0 0 0 1 2 0 0 17 0 32 0 3016850 884559872 8741 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604491198725600 0 0 -1 5 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17804/stat : 17804 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 334 0 0 0 1 2 0 0 18 0 32 0 3016850 884559872 8742 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566925304 0 0 -1 3 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=863828 CPUtime=0.01 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 58 0 0 0 1 0 0 0 24 0 32 0 3016850 884559872 8750 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17795/tid=17806] ppid=17793 vsize=863828 CPUtime=0.01 cores=0-31
/proc/17795/task/17806/stat : 17806 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 319 0 0 0 0 1 0 0 18 0 32 0 3016850 884559872 8756 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566927824 0 0 -1 28 0 0 0
[pid=17795/tid=17807] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17807/stat : 17807 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 308 0 0 0 1 2 0 0 17 0 32 0 3016850 884559872 8758 268435456000 4194304 4580107 140737409704464 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17795/tid=17808] ppid=17793 vsize=863828 CPUtime=0.02 cores=0-31
/proc/17795/task/17808/stat : 17808 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 272 0 0 0 1 1 0 0 17 0 32 0 3016850 884559872 8777 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604491143118304 0 0 -1 12 0 0 0
[pid=17795/tid=17809] ppid=17793 vsize=863828 CPUtime=0.02 cores=0-31
/proc/17795/task/17809/stat : 17809 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 270 0 0 0 1 1 0 0 17 0 32 0 3016850 884559872 8788 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604491143101920 0 0 -1 24 0 0 0
[pid=17795/tid=17810] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17810/stat : 17810 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 246 0 0 0 1 2 0 0 25 0 32 0 3016850 884559872 8788 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17795/tid=17811] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17811/stat : 17811 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 270 0 0 0 1 2 0 0 18 0 32 0 3016850 884559872 8790 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17795/tid=17812] ppid=17793 vsize=863828 CPUtime=0.03 cores=0-31
/proc/17795/task/17812/stat : 17812 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 286 0 0 0 1 2 0 0 17 0 32 0 3016850 884559872 8797 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17795/tid=17813] ppid=17793 vsize=929364 CPUtime=0.02 cores=0-31
/proc/17795/task/17813/stat : 17813 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 266 0 0 0 1 1 0 0 17 0 32 0 3016850 951668736 8802 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604459545869792 0 0 -1 13 0 0 0
[pid=17795/tid=17814] ppid=17793 vsize=929364 CPUtime=0.03 cores=0-31
/proc/17795/task/17814/stat : 17814 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 272 0 0 0 1 2 0 0 25 0 32 0 3016850 951668736 8814 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17795/tid=17815] ppid=17793 vsize=929364 CPUtime=0.02 cores=0-31
/proc/17795/task/17815/stat : 17815 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 277 0 0 0 1 1 0 0 17 0 32 0 3016850 951668736 8815 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17795/tid=17816] ppid=17793 vsize=929368 CPUtime=0.02 cores=0-31
/proc/17795/task/17816/stat : 17816 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 267 0 0 0 1 1 0 0 25 0 32 0 3016850 951672832 8824 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 17 0 0 0
[pid=17795/tid=17817] ppid=17793 vsize=929368 CPUtime=0.03 cores=0-31
/proc/17795/task/17817/stat : 17817 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 252 0 0 0 1 2 0 0 18 0 32 0 3016850 951672832 8834 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17795/tid=17818] ppid=17793 vsize=929368 CPUtime=0.02 cores=0-31
/proc/17795/task/17818/stat : 17818 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 267 0 0 0 1 1 0 0 25 0 32 0 3016850 951672832 8834 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604453498019296 0 0 -1 15 0 0 0
[pid=17795/tid=17819] ppid=17793 vsize=929368 CPUtime=0.02 cores=0-31
/proc/17795/task/17819/stat : 17819 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 270 0 0 0 1 1 0 0 18 0 32 0 3016850 951672832 8842 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17795/tid=17820] ppid=17793 vsize=929368 CPUtime=0.03 cores=0-31
/proc/17795/task/17820/stat : 17820 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 269 0 0 0 1 2 0 0 25 0 32 0 3016850 951672832 8844 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650621704 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17795/tid=17821] ppid=17793 vsize=929368 CPUtime=0.02 cores=0-31
/proc/17795/task/17821/stat : 17821 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 321 0 0 0 1 1 0 0 25 0 32 0 3016850 951672832 8848 268435456000 4194304 4580107 140737409704464 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17795/tid=17822] ppid=17793 vsize=929368 CPUtime=0.03 cores=0-31
/proc/17795/task/17822/stat : 17822 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 254 0 0 0 1 2 0 0 25 0 32 0 3016850 951672832 8858 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17795/tid=17823] ppid=17793 vsize=1060440 CPUtime=0.03 cores=0-31
/proc/17795/task/17823/stat : 17823 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 260 0 0 0 1 2 0 0 18 0 32 0 3016850 1085890560 8866 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17795/tid=17824] ppid=17793 vsize=1060440 CPUtime=0.02 cores=0-31
/proc/17795/task/17824/stat : 17824 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 279 0 0 0 1 1 0 0 25 0 32 0 3016850 1085890560 8872 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17795/tid=17825] ppid=17793 vsize=1060440 CPUtime=0.03 cores=0-31
/proc/17795/task/17825/stat : 17825 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 252 0 0 0 1 2 0 0 25 0 32 0 3016850 1085890560 8872 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17795/tid=17826] ppid=17793 vsize=1060572 CPUtime=0.03 cores=0-31
/proc/17795/task/17826/stat : 17826 (strangenight2-m) D 17793 17795 17649 0 -1 4202560 256 0 0 0 1 2 0 0 25 0 32 0 3016850 1086025728 8875 268435456000 4194304 4580107 140737409704464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 798292
[startup+0.103035 s]
/proc/loadavg: 30.43 31.25 31.76 1/413 17795
/proc/meminfo: memFree=263744492/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=1329228 CPUtime=1.64 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) S 17793 17795 17649 0 -1 4202496 14102 0 0 0 65 99 0 0 17 0 32 0 3016850 1361129472 13886 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17795/statm: 332372 13909 334 95 0 327354 0
[pid=17795/tid=17796] ppid=17793 vsize=1329488 CPUtime=0.04 cores=0-31
/proc/17795/task/17796/stat : 17796 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 359 0 0 0 2 2 0 0 17 0 32 0 3016850 1361395712 13919 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17795/tid=17797] ppid=17793 vsize=1329488 CPUtime=0.04 cores=0-31
/proc/17795/task/17797/stat : 17797 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 427 0 0 0 2 2 0 0 17 0 32 0 3016850 1361395712 13927 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=1329488 CPUtime=0.04 cores=0-31
/proc/17795/task/17798/stat : 17798 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 416 0 0 0 2 2 0 0 17 0 32 0 3016850 1361395712 13950 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=1329488 CPUtime=0.03 cores=0-31
/proc/17795/task/17799/stat : 17799 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 422 0 0 0 1 2 0 0 17 0 32 0 3016850 1361395712 13957 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604441712082400 0 0 -1 27 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=1329488 CPUtime=0.05 cores=0-31
/proc/17795/task/17800/stat : 17800 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 385 0 0 0 2 3 0 0 17 0 32 0 3016850 1361395712 13928 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=1329356 CPUtime=0.03 cores=0-31
/proc/17795/task/17801/stat : 17801 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 364 0 0 0 1 2 0 0 17 0 32 0 3016850 1361260544 13945 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604506142580192 0 0 -1 16 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=1329356 CPUtime=0.04 cores=0-31
/proc/17795/task/17802/stat : 17802 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 405 0 0 0 2 2 0 0 17 0 32 0 3016850 1361260544 13950 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604452778270176 0 0 -1 4 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=1329616 CPUtime=0.04 cores=0-31
/proc/17795/task/17803/stat : 17803 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 404 0 0 0 2 2 0 0 17 0 32 0 3016850 1361526784 13954 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=1329616 CPUtime=0.05 cores=0-31
/proc/17795/task/17804/stat : 17804 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 528 0 0 0 2 3 0 0 17 0 32 0 3016850 1361526784 13965 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=1329616 CPUtime=0.03 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 392 0 0 0 1 2 0 0 17 0 32 0 3016850 1361526784 13979 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17795/tid=17806] ppid=17793 vsize=1329616 CPUtime=0.02 cores=0-31
/proc/17795/task/17806/stat : 17806 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 447 0 0 0 0 2 0 0 17 0 32 0 3016850 1361526784 13996 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17795/tid=17807] ppid=17793 vsize=1329616 CPUtime=0.05 cores=0-31
/proc/17795/task/17807/stat : 17807 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 549 0 0 0 2 3 0 0 17 0 32 0 3016850 1361526784 13963 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17795/tid=17808] ppid=17793 vsize=1329484 CPUtime=0.03 cores=0-31
/proc/17795/task/17808/stat : 17808 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 360 0 0 0 1 2 0 0 17 0 32 0 3016850 1361391616 13965 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 12 0 0 0
[pid=17795/tid=17809] ppid=17793 vsize=1329484 CPUtime=0.04 cores=0-31
/proc/17795/task/17809/stat : 17809 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 481 0 0 0 2 2 0 0 17 0 32 0 3016850 1361391616 13979 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604449523998176 0 0 -1 24 0 0 0
[pid=17795/tid=17810] ppid=17793 vsize=1330004 CPUtime=0.05 cores=0-31
/proc/17795/task/17810/stat : 17810 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 411 0 0 0 2 3 0 0 17 0 32 0 3016850 1361924096 13990 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446604506142580192 0 0 -1 9 0 0 0
[pid=17795/tid=17811] ppid=17793 vsize=1330004 CPUtime=0.04 cores=0-31
/proc/17795/task/17811/stat : 17811 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 406 0 0 0 1 3 0 0 17 0 32 0 3016850 1361924096 13999 268435456000 4194304 4580107 140737409704464 18446744073709551615 258651060958 0 0 4096 2 18446744071566928824 0 0 -1 6 0 0 0
[pid=17795/tid=17812] ppid=17793 vsize=1330004 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/17795/task/17819/stat : 17819 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 59770 0 0 0 18537 116 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317826244 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17795/tid=17820] ppid=17793 vsize=7630008 CPUtime=185.66 cores=0-31
/proc/17795/task/17820/stat : 17820 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 58075 0 0 0 18442 124 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463056543200 0 0 -1 10 0 0 0
[pid=17795/tid=17821] ppid=17793 vsize=7630008 CPUtime=185.95 cores=0-31
/proc/17795/task/17821/stat : 17821 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56835 0 0 0 18479 116 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491143118304 0 0 -1 1 0 0 0
[pid=17795/tid=17822] ppid=17793 vsize=7630008 CPUtime=183.57 cores=0-31
/proc/17795/task/17822/stat : 17822 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 59418 0 0 0 18236 121 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604506142580192 0 0 -1 9 0 0 0
[pid=17795/tid=17823] ppid=17793 vsize=7630008 CPUtime=184.88 cores=0-31
/proc/17795/task/17823/stat : 17823 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 51382 0 0 0 18368 120 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604449523998176 0 0 -1 26 0 0 0
[pid=17795/tid=17824] ppid=17793 vsize=7630008 CPUtime=185.75 cores=0-31
/proc/17795/task/17824/stat : 17824 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 55255 0 0 0 18458 117 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604458948656608 0 0 -1 28 0 0 0
[pid=17795/tid=17825] ppid=17793 vsize=7630008 CPUtime=184.69 cores=0-31
/proc/17795/task/17825/stat : 17825 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56259 0 0 0 18351 118 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463901892064 0 0 -1 13 0 0 0
[pid=17795/tid=17826] ppid=17793 vsize=7630008 CPUtime=186.28 cores=0-31
/proc/17795/task/17826/stat : 17826 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 46056 0 0 0 18545 83 0 0 25 0 32 0 3016850 7813128192 1357241 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604459545869792 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 5924
Current children cumulated vsize (KiB) 7630008
[startup+191.102 s]
/proc/loadavg: 31.93 31.58 31.78 3/445 17831
/proc/meminfo: memFree=258322536/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=7630008 CPUtime=5925.57 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) S 17793 17795 17649 0 -1 4202496 1970754 0 0 0 588625 3932 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17795/statm: 1907502 1358815 378 95 0 1902484 0
[pid=17795/tid=17796] ppid=17793 vsize=7630008 CPUtime=185.69 cores=0-31
/proc/17795/task/17796/stat : 17796 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 64429 0 0 0 18450 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604458805755360 0 0 -1 5 0 0 0
[pid=17795/tid=17797] ppid=17793 vsize=7630008 CPUtime=185.47 cores=0-31
/proc/17795/task/17797/stat : 17797 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 60188 0 0 0 18431 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604448682835424 0 0 -1 29 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=7630008 CPUtime=185.88 cores=0-31
/proc/17795/task/17798/stat : 17798 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 68684 0 0 0 18469 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604472823365088 0 0 -1 18 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=7630008 CPUtime=185.67 cores=0-31
/proc/17795/task/17799/stat : 17799 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 70738 0 0 0 18422 145 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604450100035040 0 0 -1 27 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=7630008 CPUtime=185.58 cores=0-31
/proc/17795/task/17800/stat : 17800 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65549 0 0 0 18422 136 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604454811696608 0 0 -1 14 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=7630008 CPUtime=185.94 cores=0-31
/proc/17795/task/17801/stat : 17801 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 69958 0 0 0 18474 120 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604554471398880 0 0 -1 4 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=7630008 CPUtime=185.97 cores=0-31
/proc/17795/task/17802/stat : 17802 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 64776 0 0 0 18474 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604443235171808 0 0 -1 0 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=7630008 CPUtime=185.91 cores=0-31
/proc/17795/task/17803/stat : 17803 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 66725 0 0 0 18464 127 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604453498019296 0 0 -1 8 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=7630008 CPUtime=184.97 cores=0-31
/proc/17795/task/17804/stat : 17804 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67925 0 0 0 18359 138 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491143101920 0 0 -1 12 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=7630008 CPUtime=187.16 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 61836 0 0 0 18590 126 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17795/tid=17806] ppid=17793 vsize=7630008 CPUtime=185 cores=0-31
/proc/17795/task/17806/stat : 17806 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 59956 0 0 0 18361 139 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604451809172960 0 0 -1 2 0 0 0
[pid=17795/tid=17807] ppid=17793 vsize=7630008 CPUtime=185.91 cores=0-31
/proc/17795/task/17807/stat : 17807 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 73895 0 0 0 18468 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441712090592 0 0 -1 20 0 0 0
[pid=17795/tid=17808] ppid=17793 vsize=7630008 CPUtime=185.57 cores=0-31
/proc/17795/task/17808/stat : 17808 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65341 0 0 0 18433 124 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604464244989408 0 0 -1 24 0 0 0
[pid=17795/tid=17809] ppid=17793 vsize=7630008 CPUtime=183.72 cores=0-31
/proc/17795/task/17809/stat : 17809 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65449 0 0 0 18264 108 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604470525025760 0 0 -1 17 0 0 0
[pid=17795/tid=17810] ppid=17793 vsize=7630008 CPUtime=185.45 cores=0-31
/proc/17795/task/17810/stat : 17810 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 58273 0 0 0 18412 133 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604504425569760 0 0 -1 3 0 0 0
[pid=17795/tid=17811] ppid=17793 vsize=7630008 CPUtime=183.28 cores=0-31
/proc/17795/task/17811/stat : 17811 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 60878 0 0 0 18197 131 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604452778270176 0 0 -1 16 0 0 0
[pid=17795/tid=17812] ppid=17793 vsize=7630008 CPUtime=184.2 cores=0-31
/proc/17795/task/17812/stat : 17812 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 66738 0 0 0 18287 133 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604506144898528 0 0 -1 11 0 0 0
[pid=17795/tid=17813] ppid=17793 vsize=7630008 CPUtime=181.45 cores=0-31
/proc/17795/task/17813/stat : 17813 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67633 0 0 0 18019 126 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446744071566925944 0 0 -1 23 0 0 0
[pid=17795/tid=17814] ppid=17793 vsize=7630008 CPUtime=184.57 cores=0-31
/proc/17795/task/17814/stat : 17814 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 52837 0 0 0 18340 117 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441712082400 0 0 -1 22 0 0 0
[pid=17795/tid=17815] ppid=17793 vsize=7630008 CPUtime=184.35 cores=0-31
/proc/17795/task/17815/stat : 17815 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67790 0 0 0 18300 135 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491198725600 0 0 -1 15 0 0 0
[pid=17795/tid=17816] ppid=17793 vsize=7630008 CPUtime=185.57 cores=0-31
/proc/17795/task/17816/stat : 17816 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 63805 0 0 0 18445 112 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604492640697824 0 0 -1 21 0 0 0
[pid=17795/tid=17817] ppid=17793 vsize=7630008 CPUtime=183.92 cores=0-31
/proc/17795/task/17817/stat : 17817 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 52662 0 0 0 18269 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441661177312 0 0 -1 31 0 0 0
[pid=17795/tid=17818] ppid=17793 vsize=7630008 CPUtime=184.99 cores=0-31
/proc/17795/task/17818/stat : 17818 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 50657 0 0 0 18380 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604455129030112 0 0 -1 25 0 0 0
[pid=17795/tid=17819] ppid=17793 vsize=7630008 CPUtime=187.31 cores=0-31
/proc/17795/task/17819/stat : 17819 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 59770 0 0 0 18615 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317826244 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17795/tid=17820] ppid=17793 vsize=7630008 CPUtime=185.66 cores=0-31
/proc/17795/task/17820/stat : 17820 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 58075 0 0 0 18442 124 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463056543200 0 0 -1 10 0 0 0
[pid=17795/tid=17821] ppid=17793 vsize=7630008 CPUtime=185.95 cores=0-31
/proc/17795/task/17821/stat : 17821 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56835 0 0 0 18479 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491143118304 0 0 -1 1 0 0 0
[pid=17795/tid=17822] ppid=17793 vsize=7630008 CPUtime=183.57 cores=0-31
/proc/17795/task/17822/stat : 17822 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 59418 0 0 0 18236 121 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604506142580192 0 0 -1 9 0 0 0
[pid=17795/tid=17823] ppid=17793 vsize=7630008 CPUtime=184.88 cores=0-31
/proc/17795/task/17823/stat : 17823 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 51382 0 0 0 18368 120 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604449523998176 0 0 -1 26 0 0 0
[pid=17795/tid=17824] ppid=17793 vsize=7630008 CPUtime=185.75 cores=0-31
/proc/17795/task/17824/stat : 17824 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 55255 0 0 0 18458 117 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604458948656608 0 0 -1 28 0 0 0
[pid=17795/tid=17825] ppid=17793 vsize=7630008 CPUtime=184.69 cores=0-31
/proc/17795/task/17825/stat : 17825 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56259 0 0 0 18351 118 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463901892064 0 0 -1 13 0 0 0
[pid=17795/tid=17826] ppid=17793 vsize=7630008 CPUtime=186.28 cores=0-31
/proc/17795/task/17826/stat : 17826 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 46056 0 0 0 18545 83 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604459545869792 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 5925.57
Current children cumulated vsize (KiB) 7630008
[startup+191.502 s]
/proc/loadavg: 31.93 31.58 31.78 3/445 17831
/proc/meminfo: memFree=258316212/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=7630008 CPUtime=5926.37 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) S 17793 17795 17649 0 -1 4202496 1970754 0 0 0 588705 3932 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17795/statm: 1907502 1358815 378 95 0 1902484 0
[pid=17795/tid=17796] ppid=17793 vsize=7630008 CPUtime=185.69 cores=0-31
/proc/17795/task/17796/stat : 17796 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 64429 0 0 0 18450 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604458805755360 0 0 -1 5 0 0 0
[pid=17795/tid=17797] ppid=17793 vsize=7630008 CPUtime=185.47 cores=0-31
/proc/17795/task/17797/stat : 17797 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 60188 0 0 0 18431 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604448682835424 0 0 -1 29 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=7630008 CPUtime=185.88 cores=0-31
/proc/17795/task/17798/stat : 17798 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 68684 0 0 0 18469 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604472823365088 0 0 -1 18 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=7630008 CPUtime=185.67 cores=0-31
/proc/17795/task/17799/stat : 17799 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 70738 0 0 0 18422 145 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604450100035040 0 0 -1 27 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=7630008 CPUtime=185.58 cores=0-31
/proc/17795/task/17800/stat : 17800 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65549 0 0 0 18422 136 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604454811696608 0 0 -1 14 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=7630008 CPUtime=185.94 cores=0-31
/proc/17795/task/17801/stat : 17801 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 69958 0 0 0 18474 120 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604554471398880 0 0 -1 4 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=7630008 CPUtime=185.97 cores=0-31
/proc/17795/task/17802/stat : 17802 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 64776 0 0 0 18474 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604443235171808 0 0 -1 0 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=7630008 CPUtime=185.91 cores=0-31
/proc/17795/task/17803/stat : 17803 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 66725 0 0 0 18464 127 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604453498019296 0 0 -1 8 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=7630008 CPUtime=184.97 cores=0-31
/proc/17795/task/17804/stat : 17804 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67925 0 0 0 18359 138 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491143101920 0 0 -1 12 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=7630008 CPUtime=187.56 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 61836 0 0 0 18630 126 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17795/tid=17806] ppid=17793 vsize=7630008 CPUtime=185 cores=0-31
/proc/17795/task/17806/stat : 17806 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 59956 0 0 0 18361 139 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604451809172960 0 0 -1 2 0 0 0
[pid=17795/tid=17807] ppid=17793 vsize=7630008 CPUtime=185.91 cores=0-31
/proc/17795/task/17807/stat : 17807 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 73895 0 0 0 18468 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441712090592 0 0 -1 20 0 0 0
[pid=17795/tid=17808] ppid=17793 vsize=7630008 CPUtime=185.57 cores=0-31
/proc/17795/task/17808/stat : 17808 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65341 0 0 0 18433 124 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604464244989408 0 0 -1 24 0 0 0
[pid=17795/tid=17809] ppid=17793 vsize=7630008 CPUtime=183.72 cores=0-31
/proc/17795/task/17809/stat : 17809 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 65449 0 0 0 18264 108 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604470525025760 0 0 -1 17 0 0 0
[pid=17795/tid=17810] ppid=17793 vsize=7630008 CPUtime=185.45 cores=0-31
/proc/17795/task/17810/stat : 17810 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 58273 0 0 0 18412 133 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604504425569760 0 0 -1 3 0 0 0
[pid=17795/tid=17811] ppid=17793 vsize=7630008 CPUtime=183.28 cores=0-31
/proc/17795/task/17811/stat : 17811 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 60878 0 0 0 18197 131 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604452778270176 0 0 -1 16 0 0 0
[pid=17795/tid=17812] ppid=17793 vsize=7630008 CPUtime=184.2 cores=0-31
/proc/17795/task/17812/stat : 17812 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 66738 0 0 0 18287 133 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604506144898528 0 0 -1 11 0 0 0
[pid=17795/tid=17813] ppid=17793 vsize=7630008 CPUtime=181.45 cores=0-31
/proc/17795/task/17813/stat : 17813 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67633 0 0 0 18019 126 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446744071566925944 0 0 -1 23 0 0 0
[pid=17795/tid=17814] ppid=17793 vsize=7630008 CPUtime=184.57 cores=0-31
/proc/17795/task/17814/stat : 17814 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 52837 0 0 0 18340 117 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441712082400 0 0 -1 22 0 0 0
[pid=17795/tid=17815] ppid=17793 vsize=7630008 CPUtime=184.35 cores=0-31
/proc/17795/task/17815/stat : 17815 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 67790 0 0 0 18300 135 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491198725600 0 0 -1 15 0 0 0
[pid=17795/tid=17816] ppid=17793 vsize=7630008 CPUtime=185.57 cores=0-31
/proc/17795/task/17816/stat : 17816 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 63805 0 0 0 18445 112 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604492640697824 0 0 -1 21 0 0 0
[pid=17795/tid=17817] ppid=17793 vsize=7630008 CPUtime=183.92 cores=0-31
/proc/17795/task/17817/stat : 17817 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 52662 0 0 0 18269 123 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604441661177312 0 0 -1 31 0 0 0
[pid=17795/tid=17818] ppid=17793 vsize=7630008 CPUtime=184.99 cores=0-31
/proc/17795/task/17818/stat : 17818 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 50657 0 0 0 18380 119 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604455129030112 0 0 -1 25 0 0 0
[pid=17795/tid=17819] ppid=17793 vsize=7630008 CPUtime=187.71 cores=0-31
/proc/17795/task/17819/stat : 17819 (strangenight2-m) R 17793 17795 17649 0 -1 4202560 59770 0 0 0 18655 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317826244 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17795/tid=17820] ppid=17793 vsize=7630008 CPUtime=185.66 cores=0-31
/proc/17795/task/17820/stat : 17820 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 58075 0 0 0 18442 124 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463056543200 0 0 -1 10 0 0 0
[pid=17795/tid=17821] ppid=17793 vsize=7630008 CPUtime=185.95 cores=0-31
/proc/17795/task/17821/stat : 17821 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56835 0 0 0 18479 116 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604491143118304 0 0 -1 1 0 0 0
[pid=17795/tid=17822] ppid=17793 vsize=7630008 CPUtime=183.57 cores=0-31
/proc/17795/task/17822/stat : 17822 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 59418 0 0 0 18236 121 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604506142580192 0 0 -1 9 0 0 0
[pid=17795/tid=17823] ppid=17793 vsize=7630008 CPUtime=184.88 cores=0-31
/proc/17795/task/17823/stat : 17823 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 51382 0 0 0 18368 120 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604449523998176 0 0 -1 26 0 0 0
[pid=17795/tid=17824] ppid=17793 vsize=7630008 CPUtime=185.75 cores=0-31
/proc/17795/task/17824/stat : 17824 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 55255 0 0 0 18458 117 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604458948656608 0 0 -1 28 0 0 0
[pid=17795/tid=17825] ppid=17793 vsize=7630008 CPUtime=184.69 cores=0-31
/proc/17795/task/17825/stat : 17825 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 56259 0 0 0 18351 118 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604463901892064 0 0 -1 13 0 0 0
[pid=17795/tid=17826] ppid=17793 vsize=7630008 CPUtime=186.28 cores=0-31
/proc/17795/task/17826/stat : 17826 (strangenight2-m) S 17793 17795 17649 0 -1 4202560 46056 0 0 0 18545 83 0 0 25 0 32 0 3016850 7813128192 1358815 268435456000 4194304 4580107 140737409704464 18446744073709551615 47941317850676 0 0 4096 2 18446604459545869792 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 5926.37
Current children cumulated vsize (KiB) 7630008
[startup+191.901 s]
/proc/loadavg: 31.93 31.58 31.78 3/445 17831
/proc/meminfo: memFree=258316212/264257624 swapFree=67044744/67111528
[pid=17795] ppid=17793 vsize=0 CPUtime=5926.85 cores=0-31
/proc/17795/stat : 17795 (strangenight2-m) Z 17793 17795 17649 0 -1 4203548 1970758 0 0 0 588720 3965 0 0 18 0 2 0 3016850 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17795/statm: 0 0 0 0 0 0 0
[pid=17795/tid=17805] ppid=17793 vsize=0 CPUtime=187.96 cores=0-31
/proc/17795/task/17805/stat : 17805 (strangenight2-m) R 17793 17795 17649 0 -1 4203588 61836 0 0 0 18638 158 0 0 25 0 2 0 3016850 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) 5926.85
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 191.936
CPU time (s): 5926.9
CPU user time (s): 5887.21
CPU system time (s): 39.692
CPU usage (%): 3087.96
Max. virtual memory (cumulated for all children) (KiB): 7695544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5887.21
system time used= 39.692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1970758
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= 939223
involuntary context switches= 12698
runsolver used 1.17282 second user time and 4.33534 second system time
The end
Begin job on node200 at 2011-05-30 17:48:29
IDJOB=3400770
IDBENCH=82466
IDSOLVER=1886
FILE ID=node200/3400770-1306770508
RUNJOBID= node200-1306770376-17663
PBS_JOBID= 13471829
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400770-1306770508/watcher-3400770-1306770508 -o /tmp/evaluation-result-3400770-1306770508/solver-3400770-1306770508 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400770-1306770508.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=482830282
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263744524 kB
Buffers: 36692 kB
Cached: 275600 kB
SwapCached: 29688 kB
Active: 116796 kB
Inactive: 227424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263744524 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 7316 kB
Writeback: 0 kB
AnonPages: 28304 kB
Mapped: 8700 kB
Slab: 58644 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 163984 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= 61572 MiB
End job on node200 at 2011-05-30 17:51:41