0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400817-1306826649.cnf'
1.38/0.09 c -- header says num vars: 36410
1.38/0.09 c -- header says num clauses: 121578
19.31/1.13 c -- clauses added: 0 learnts, 121578 normals, 0 xors
19.31/1.13 c -- vars added 36410
19.31/1.13 c Parsing time: 0.17 s
19.31/1.13 c N st 0 0 36410 58011 56175 0 292484 0 no data no data
74.36/2.89 c asymm cl-useful: 9/41976/58011 lits-rem:83 time: 1.75
260.89/14.15 c Flit: 74 Blit: 3284 bXBeca: 0 bXProp: 5937 Bins: 0 BRemL: 0 BRemN: 0 P: 39.2M T: 5.01
260.89/14.16 c Cleaning up after failed var search: 0.01 s
264.15/14.28 c Replacing 5937 vars Replaced 164268 lits Time: 0.04 s
270.31/14.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
270.31/14.64 c bin-w-bin subsume rem 749 bins time: 0.01 s
270.31/14.66 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
272.34/14.73 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 25378 time: 0.05 s
272.34/14.78 c Removed useless bin: 43 fixed: 0 props: 3.73M time: 0.05 s
288.45/15.36 c lits-rem: 0 cl-subs: 225 v-elim: 8459 v-fix: 0 time: 0.27 s
291.52/15.50 c Finding binary XORs T: 0.13 s found: 18
293.67/15.51 c Replacing 18 vars Replaced 225 lits Time: 0.01 s
293.67/15.60 c Finding non-binary XORs: 0.06 s (found: 8091, avg size: 3.0)
293.67/15.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1296 locsubst: 5168 time: 0.03
296.85/15.61 c Replacing 2584 vars Replaced 15504 lits Time: 0.01 s
296.85/15.62 c calculated reachability. Time: 0.01
296.85/15.63 c Calc default polars - time: 0.01 s pos: 1670 undec: 23440 neg: 11300
296.85/15.63 c =========================================================================================
296.85/15.63 c types(t): F = full restart, N = normal restart
296.85/15.63 c types(t): S = simplification begin/end, E = solution found
296.85/15.63 c restart types(rt): st = static, dy = dynamic
296.85/15.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
296.85/15.63 c B st 0 0 13021 21302 17135 0 140425 0 no data no data
309.61/16.08 c Decided on static restart strategy
322.99/16.42 c N st 8 4915 13020 21302 17205 4722 140425 148935 no data no data
367.06/17.86 c N st 10 11298 12989 21302 18124 6400 140425 203711 no data no data
402.21/18.99 c N st 11 17043 12989 21302 18138 12010 140425 384422 no data no data
405.41/19.06 c Finding binary XORs T: 0.06 s found: 4
463.58/20.91 c F st 12 25001 12982 21291 18824 12447 139533 546380 no data no data
466.78/20.93 c Replacing 4 vars Replaced 161 lits Time: 0.01 s
466.78/20.95 c N st 12 25001 12978 21291 18780 12436 139466 545087 no data no data
510.89/22.34 c Decided on static restart strategy
510.89/22.34 c N st 18 30002 12973 21291 19362 17359 139466 947738 no data no data
510.89/22.34 c S st 18 30002 12973 21291 19362 17359 139466 947738 no data no data
517.29/22.56 c S st 18 30503 12973 21291 19401 17820 139466 955809 no data no data
517.29/22.58 c x-sub: 2584 x-cut: 0 vfix: 0 v-elim: 648 locsubst: 0 time: 0.03
558.84/23.81 c Flit: 83 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 157784 BRemL: 102459 BRemN: 11 P: 10.1M T: 1.22
558.84/23.83 c Replacing 9 vars Replaced 596 lits Time: 0.02 s
558.84/23.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
558.84/23.85 c bin-w-bin subsume rem 463 bins time: 0.01 s
558.84/23.88 c subs with bin: 788 lits-rem: 486 v-fix: 0 time: 0.02 s
562.04/23.90 c Subs w/ non-existent bins: 0 l-rem: 7 v-fix: 0 done: 12233 time: 0.03 s
562.04/23.92 c Removed useless bin: 79 fixed: 0 props: 0.41M time: 0.01 s
562.04/23.99 c lits-rem: 241 cl-subs: 226 v-elim: 1887 v-fix: 0 time: 0.07 s
565.24/24.02 c subs with bin: 82 lits-rem: 282 v-fix: 0 time: 0.02 s
565.24/24.05 c lits-rem: 97 cl-subs: 250 v-elim: 0 v-fix: 0 time: 0.02 s
578.00/24.43 c asymm cl-useful: 218/20817/20817 lits-rem:973 time: 0.38
578.00/24.44 c calculated reachability. Time: 0.01
578.00/24.44 c N st 18 30503 10346 20814 61022 3890 123138 154776 no data no data
581.20/24.51 c Finding binary XORs T: 0.07 s found: 0
625.94/25.98 c N st 20 37617 10346 20814 61171 8190 123138 368284 no data no data
674.15/27.66 c N st 21 44016 10343 20814 61172 14501 123138 1219576 no data no data
678.32/27.82 c Finding binary XORs T: 0.05 s found: 0
684.03/28.13 c S st 22 45756 10343 20813 168224 8725 123032 629016 no data no data
685.77/28.26 c S st 22 46258 10343 20813 168230 9221 123032 638641 no data no data
685.77/28.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 324 locsubst: 2 time: 0.02
696.34/28.89 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 23 BRemL: 71162 BRemN: 0 P: 4.3M T: 0.61
698.23/28.90 c Replacing 1 vars Replaced 14 lits Time: 0.02 s
698.23/28.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
698.23/28.93 c bin-w-bin subsume rem 20658 bins time: 0.02 s
698.23/28.95 c subs with bin: 58 lits-rem: 193 v-fix: 0 time: 0.02 s
698.23/28.97 c Subs w/ non-existent bins: 0 l-rem: 6 v-fix: 0 done: 10017 time: 0.01 s
698.23/28.97 c Removed useless bin: 34 fixed: 0 props: 0.26M time: 0.01 s
698.23/29.00 c lits-rem: 0 cl-subs: 42 v-elim: 54 v-fix: 0 time: 0.02 s
700.24/29.05 c subs with bin: 12 lits-rem: 125 v-fix: 0 time: 0.03 s
700.24/29.09 c lits-rem: 173 cl-subs: 132 v-elim: 0 v-fix: 0 time: 0.03 s
700.24/29.10 c vivif2 -- cl tried 20707 cl shrink 117 lits rem 230 time: 0.01
702.30/29.11 c vivif2 -- cl tried 5636 cl shrink 633 lits rem 2141 time: 0.01
708.89/29.46 c asymm cl-useful: 70/20679/20679 lits-rem:179 time: 0.35
708.89/29.47 c calculated reachability. Time: 0.01
708.89/29.47 c N st 22 46258 9963 20679 74557 5631 121199 248988 no data no data
805.66/32.65 c N st 23 60658 9963 20679 74559 10981 121199 378333 no data no data
882.39/35.10 c N st 24 69387 9956 20679 75707 19490 121199 1419691 no data no data
882.39/35.10 c S st 24 69387 9956 20679 75707 19490 121199 1419691 no data no data
891.96/35.35 c S st 24 69887 9956 20679 76124 19986 121199 1429907 no data no data
891.96/35.37 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 162 locsubst: 0 time: 0.02
911.16/35.98 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 57 Bins: 2122 BRemL: 28372 BRemN: 62 P: 7.0M T: 0.61
914.35/36.01 c Replacing 58 vars Replaced 1834 lits Time: 0.03 s
914.35/36.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
914.35/36.04 c bin-w-bin subsume rem 188 bins time: 0.01 s
914.35/36.05 c subs with bin: 119 lits-rem: 99 v-fix: 0 time: 0.01 s
914.35/36.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9734 time: 0.02 s
914.35/36.08 c Removed useless bin: 8 fixed: 0 props: 0.38M time: 0.01 s
917.54/36.12 c lits-rem: 0 cl-subs: 119 v-elim: 47 v-fix: 0 time: 0.03 s
930.32/36.50 c subs with bin: 10 lits-rem: 180 v-fix: 0 time: 0.32 s
946.31/37.01 c lits-rem: 615 cl-subs: 1035 v-elim: 0 v-fix: 0 time: 0.50 s
946.31/37.02 c vivif2 -- cl tried 20335 cl shrink 24 lits rem 31 time: 0.01
946.31/37.08 c vivif2 -- cl tried 15191 cl shrink 2871 lits rem 10823 time: 0.05
962.28/37.55 c asymm cl-useful: 285/20335/20335 lits-rem:745 time: 0.47
962.28/37.56 c calculated reachability. Time: 0.00
962.28/37.56 c N st 24 69887 9687 20163 46494 15191 118820 816919 no data no data
965.48/37.61 c Finding binary XORs T: 0.05 s found: 65
1173.23/44.15 c F st 25 87500 9687 20163 46494 22928 118819 3125004 no data no data
1173.23/44.17 c Replacing 65 vars Replaced 1403 lits Time: 0.02 s
1173.23/44.19 c N st 25 87500 9622 20163 46364 22919 118689 3124821 no data no data
1224.38/45.73 c Decided on static restart strategy
1256.34/46.74 c N st 32 95539 9615 20163 46796 18437 118689 1636176 no data no data
1259.54/46.82 c Finding binary XORs T: 0.05 s found: 2
1355.42/49.84 c N st 34 104830 9610 20153 47093 27581 118392 2746559 no data no data
1355.42/49.84 c S st 34 104830 9610 20153 47093 27581 118392 2746559 no data no data
1358.61/49.92 c Finding binary XORs T: 0.05 s found: 0
1368.21/50.21 c S st 34 105330 9608 20144 48584 28051 118259 2763398 no data no data
1368.21/50.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 16 locsubst: 0 time: 0.02
1387.38/50.89 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 11 Bins: 202 BRemL: 3500 BRemN: 1 P: 8.1M T: 0.66
1390.58/50.94 c Replacing 13 vars Replaced 627 lits Time: 0.05 s
1390.58/50.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1390.58/50.96 c bin-w-bin subsume rem 1240 bins time: 0.01 s
1390.58/50.97 c subs with bin: 122 lits-rem: 121 v-fix: 0 time: 0.01 s
1390.58/50.99 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 9573 time: 0.02 s
1393.77/51.00 c Removed useless bin: 8 fixed: 0 props: 0.37M time: 0.01 s
1393.77/51.06 c lits-rem: 13 cl-subs: 157 v-elim: 45 v-fix: 0 time: 0.05 s
1460.90/53.18 c subs with bin: 7 lits-rem: 1891 v-fix: 0 time: 1.93 s
1566.37/56.47 c lits-rem: 1732 cl-subs: 549 v-elim: 0 v-fix: 0 time: 3.28 s
1566.37/56.48 c vivif2 -- cl tried 19819 cl shrink 1 lits rem 1 time: 0.01
1572.77/56.67 c vivif2 -- cl tried 27006 cl shrink 6340 lits rem 58742 time: 0.19
1589.38/57.21 c asymm cl-useful: 56/18064/19819 lits-rem:84 time: 0.54
1592.59/57.22 c calculated reachability. Time: 0.00
1592.59/57.22 c N st 34 105330 9528 19811 38920 27006 116821 2524858 no data no data
1592.59/57.27 c Finding binary XORs T: 0.05 s found: 5
1678.26/59.98 c N st 35 114928 9528 19811 38921 22298 116818 1534056 no data no data
1850.83/65.35 c N st 36 129325 9525 19811 39632 20753 116818 1661654 no data no data
1854.03/65.42 c Finding binary XORs T: 0.05 s found: 2
2049.65/71.56 c N st 37 150921 9516 19799 35736 24539 116488 1326257 no data no data
2122.53/73.87 c S st 38 157995 9512 19799 36438 31494 116488 2311091 no data no data
2125.73/73.94 c Finding binary XORs T: 0.05 s found: 3
2135.32/74.26 c S st 38 158496 9512 19796 34585 31988 116396 2320343 no data no data
2135.32/74.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2155.14/74.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1499 BRemL: 4277 BRemN: 4 P: 7.9M T: 0.57
2155.14/74.88 c Replacing 10 vars Replaced 1016 lits Time: 0.02 s
2155.14/74.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2157.69/74.90 c bin-w-bin subsume rem 448 bins time: 0.01 s
2157.69/74.91 c subs with bin: 39 lits-rem: 45 v-fix: 0 time: 0.01 s
2157.69/74.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9502 time: 0.01 s
2157.69/74.94 c Removed useless bin: 3 fixed: 0 props: 0.35M time: 0.01 s
2157.69/74.99 c lits-rem: 3 cl-subs: 24 v-elim: 22 v-fix: 0 time: 0.05 s
2205.65/76.46 c subs with bin: 1838 lits-rem: 2278 v-fix: 0 time: 1.32 s
2263.18/78.29 c lits-rem: 1267 cl-subs: 832 v-elim: 0 v-fix: 0 time: 1.82 s
2266.38/78.30 c vivif2 -- cl tried 19706 cl shrink 1 lits rem 1 time: 0.01
2269.58/78.43 c vivif2 -- cl tried 28582 cl shrink 5895 lits rem 26023 time: 0.13
2272.78/78.50 c asymm cl-useful: 0/1641/19705 lits-rem:0 time: 0.07
2272.78/78.51 c calculated reachability. Time: 0.00
2272.78/78.51 c N st 38 158496 9480 19705 31316 28582 115917 2098812 no data no data
3049.48/102.80 c N st 39 207084 9480 19705 31324 39684 115917 3096785 no data no data
3049.48/102.89 c Finding binary XORs T: 0.05 s found: 2
3580.06/119.48 c N st 40 237744 9469 19676 30775 28871 115685 2678804 no data no data
3580.06/119.48 c S st 40 237744 9469 19676 30775 28871 115685 2678804 no data no data
3583.25/119.57 c Finding binary XORs T: 0.05 s found: 8
3593.49/119.85 c S st 40 238247 9466 19673 31696 29369 115640 2694948 no data no data
3593.49/119.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3612.01/120.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 3632 BRemL: 9571 BRemN: 0 P: 7.5M T: 0.56
3612.01/120.46 c Replacing 15 vars Replaced 1191 lits Time: 0.03 s
3612.01/120.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3612.01/120.48 c bin-w-bin subsume rem 790 bins time: 0.00 s
3612.01/120.49 c subs with bin: 72 lits-rem: 84 v-fix: 0 time: 0.01 s
3615.22/120.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9451 time: 0.02 s
3615.22/120.52 c Removed useless bin: 1 fixed: 0 props: 0.33M time: 0.01 s
3615.22/120.57 c lits-rem: 0 cl-subs: 25 v-elim: 8 v-fix: 0 time: 0.05 s
3666.97/122.18 c subs with bin: 164 lits-rem: 2083 v-fix: 0 time: 1.42 s
3746.25/124.64 c lits-rem: 582 cl-subs: 551 v-elim: 0 v-fix: 0 time: 2.45 s
3746.25/124.65 c vivif2 -- cl tried 19569 cl shrink 2 lits rem 2 time: 0.01
3752.65/124.84 c vivif2 -- cl tried 28167 cl shrink 6728 lits rem 75179 time: 0.18
3769.26/125.36 c asymm cl-useful: 41/17771/19567 lits-rem:59 time: 0.52
3769.26/125.37 c calculated reachability. Time: 0.00
3769.26/125.37 c N st 40 238247 9443 19566 24628 28167 115279 2470963 no data no data
3772.49/125.42 c Finding binary XORs T: 0.05 s found: 0
4554.85/149.95 c F st 41 306250 9443 19566 24629 26070 115279 1185431 no data no data
4554.85/149.96 c N st 41 306250 9443 19566 24629 26070 115279 1185431 no data no data
4558.04/150.03 c Finding binary XORs T: 0.05 s found: 12
4599.57/151.33 c Decided on static restart strategy
4816.93/158.13 c N st 51 334561 9440 19563 25155 28869 115131 1470331 no data no data
5043.88/165.22 c N st 53 357370 9440 19563 25162 51157 115131 2967848 no data no data
5043.88/165.22 c S st 53 357370 9440 19563 25162 51157 115131 2967848 no data no data
5056.68/165.61 c S st 53 357872 9440 19563 25165 51656 115131 2984096 no data no data
5056.68/165.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
5079.04/166.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 53 BRemL: 2033 BRemN: 0 P: 9.9M T: 0.70
5079.04/166.38 c Replacing 13 vars Replaced 3151 lits Time: 0.04 s
5079.04/166.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5079.04/166.40 c bin-w-bin subsume rem 101 bins time: 0.00 s
5082.24/166.41 c subs with bin: 16 lits-rem: 16 v-fix: 0 time: 0.01 s
5082.24/166.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9427 time: 0.02 s
5082.24/166.44 c Removed useless bin: 0 fixed: 0 props: 0.32M time: 0.01 s
5085.44/166.50 c lits-rem: 1 cl-subs: 28 v-elim: 6 v-fix: 0 time: 0.06 s
5146.17/168.46 c subs with bin: 18 lits-rem: 378 v-fix: 0 time: 1.76 s
5277.15/172.54 c lits-rem: 5483 cl-subs: 1459 v-elim: 0 v-fix: 0 time: 4.07 s
5277.15/172.55 c vivif2 -- cl tried 19505 cl shrink 0 lits rem 0 time: 0.01
5284.20/172.77 c vivif2 -- cl tried 48996 cl shrink 14018 lits rem 85045 time: 0.21
5286.76/172.89 c asymm cl-useful: 0/1734/19505 lits-rem:0 time: 0.12
5286.76/172.90 c calculated reachability. Time: 0.00
5286.76/172.90 c N st 53 357872 9421 19505 22910 48996 114871 2632040 no data no data
5289.96/172.95 c Finding binary XORs T: 0.05 s found: 0
5727.82/186.69 c N st 54 390265 9421 19505 22910 55458 114870 4375977 no data no data
6482.14/210.29 c N st 55 438853 9419 19505 22962 48128 114870 2626990 no data no data
7719.17/248.96 c N st 56 511736 9419 19505 23029 60661 114870 4750641 no data no data
8093.79/260.65 c N st 57 536808 9417 19505 23049 54117 114870 3616944 no data no data
8093.79/260.65 c S st 57 536808 9417 19505 23049 54117 114870 3616944 no data no data
8105.90/261.07 c S st 57 537310 9417 19505 23050 54618 114870 3635234 no data no data
8105.90/261.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
8128.92/261.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 8 BRemL: 108 BRemN: 0 P: 10.2M T: 0.70
8128.92/261.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8128.92/261.82 c bin-w-bin subsume rem 32 bins time: 0.00 s
8132.15/261.83 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.01 s
8132.15/261.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9417 time: 0.02 s
8132.15/261.86 c Removed useless bin: 0 fixed: 0 props: 0.32M time: 0.01 s
8134.67/261.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s
8202.47/264.02 c subs with bin: 6 lits-rem: 107 v-fix: 0 time: 1.79 s
8400.01/270.30 c lits-rem: 1650 cl-subs: 1529 v-elim: 0 v-fix: 0 time: 6.27 s
8403.20/270.30 c vivif2 -- cl tried 19500 cl shrink 0 lits rem 0 time: 0.01
8410.22/270.59 c vivif2 -- cl tried 53082 cl shrink 14802 lits rem 103061 time: 0.29
8428.76/271.18 c asymm cl-useful: 53/7460/19500 lits-rem:62 time: 0.58
8428.76/271.19 c calculated reachability. Time: 0.00
8428.76/271.19 c N st 57 537310 9417 19500 22591 53082 114610 3430666 no data no data
10980.07/350.94 c N st 58 701294 9417 19500 22591 44788 114610 2525842 no data no data
10982.63/351.02 c Finding binary XORs T: 0.05 s found: 0
12379.38/394.79 c N st 59 805968 9412 19492 22498 72387 114426 5765922 no data no data
12379.38/394.79 c S st 59 805968 9412 19492 22498 72387 114426 5765922 no data no data
12395.35/395.26 c S st 59 806471 9412 19492 22524 72885 114426 5778470 no data no data
12395.35/395.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
12421.52/396.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 19 BRemL: 149 BRemN: 0 P: 11.1M T: 0.76
12421.52/396.09 c Replacing 6 vars Replaced 332 lits Time: 0.03 s
12424.09/396.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
12424.09/396.11 c bin-w-bin subsume rem 31 bins time: 0.00 s
12424.09/396.12 c subs with bin: 18 lits-rem: 7 v-fix: 0 time: 0.01 s
12424.09/396.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9406 time: 0.02 s
12424.09/396.15 c Removed useless bin: 1 fixed: 0 props: 0.31M time: 0.01 s
12427.28/396.25 c lits-rem: 0 cl-subs: 14 v-elim: 4 v-fix: 0 time: 0.09 s
12516.68/399.08 c subs with bin: 11 lits-rem: 735 v-fix: 0 time: 2.39 s
13110.38/417.67 c lits-rem: 7794 cl-subs: 1777 v-elim: 0 v-fix: 0 time: 18.58 s
13110.38/417.68 c vivif2 -- cl tried 19450 cl shrink 0 lits rem 0 time: 0.01
13126.33/418.18 c vivif2 -- cl tried 70566 cl shrink 25893 lits rem 775313 time: 0.50
13142.28/418.67 c asymm cl-useful: 6/8008/19450 lits-rem:10 time: 0.49
13142.28/418.69 c calculated reachability. Time: 0.00
13142.28/418.69 c N st 59 806471 9402 19448 22328 70566 114213 4791659 no data no data
17351.45/550.38 c F st 60 1071875 9402 19448 22330 82670 114213 5568788 no data no data
17351.45/550.39 c N st 60 1071875 9402 19448 22330 82670 114213 5568788 no data no data
17357.85/550.50 c Finding binary XORs T: 0.05 s found: 0
17428.16/552.71 c Decided on static restart strategy
17726.01/562.10 c N st 70 1100178 9400 19446 22462 66148 114182 3599292 no data no data
18275.13/579.20 c N st 72 1136175 9400 19446 22463 55930 114182 2625725 no data no data
18738.61/593.73 c N st 73 1168567 9400 19446 22500 87524 114182 4797896 no data no data
19579.25/620.02 c N st 74 1209707 9400 19446 22519 81616 114182 5679332 no data no data
19579.25/620.02 c S st 74 1209707 9400 19446 22519 81616 114182 5679332 no data no data
19595.21/620.54 c S st 74 1210210 9400 19446 22547 82118 114182 5693168 no data no data
19595.21/620.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
19620.80/621.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 7 BRemL: 186 BRemN: 0 P: 11.5M T: 0.80
19620.80/621.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19620.80/621.40 c bin-w-bin subsume rem 38 bins time: 0.00 s
19620.80/621.41 c subs with bin: 11 lits-rem: 6 v-fix: 0 time: 0.01 s
19624.59/621.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9400 time: 0.02 s
19624.59/621.44 c Removed useless bin: 1 fixed: 0 props: 0.32M time: 0.01 s
19627.82/621.54 c lits-rem: 0 cl-subs: 0 v-elim: 2 v-fix: 0 time: 0.10 s
19719.89/624.40 c subs with bin: 4 lits-rem: 184 v-fix: 0 time: 2.45 s
20125.79/637.18 c lits-rem: 3202 cl-subs: 1898 v-elim: 0 v-fix: 0 time: 12.76 s
20125.79/637.19 c vivif2 -- cl tried 19433 cl shrink 0 lits rem 0 time: 0.01
20144.98/637.71 c vivif2 -- cl tried 80176 cl shrink 26502 lits rem 349113 time: 0.52
20152.00/637.96 c asymm cl-useful: 0/3965/19433 lits-rem:0 time: 0.25
20152.00/637.97 c calculated reachability. Time: 0.00
20152.00/637.97 c N st 74 1210210 9398 19433 22336 80176 114159 5192517 no data no data
21270.05/672.94 c N st 75 1283092 9398 19433 22336 54752 114159 2061012 no data no data
21270.05/672.99 c Finding binary XORs T: 0.05 s found: 0
23373.16/738.73 c N st 76 1392415 9398 19433 22435 62560 114159 2836307 no data no data
26556.56/838.36 c N st 77 1556399 9398 19433 22480 66226 114159 3560425 no data no data
29439.66/928.50 c N st 78 1710211 9397 19433 22557 106202 114159 5929861 no data no data
29439.66/928.50 c S st 78 1710211 9397 19433 22557 106202 114159 5929861 no data no data
29458.85/929.13 c S st 78 1710713 9397 19433 22595 106704 114159 5944003 no data no data
29458.85/929.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
29494.01/930.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 1023 BRemL: 911 BRemN: 0 P: 15.1M T: 1.07
29497.21/930.35 c Replacing 5 vars Replaced 2697 lits Time: 0.11 s
29497.21/930.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
29497.21/930.37 c bin-w-bin subsume rem 26 bins time: 0.00 s
29497.21/930.38 c subs with bin: 15 lits-rem: 9 v-fix: 0 time: 0.01 s
29500.41/930.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9392 time: 0.02 s
29500.41/930.42 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
29504.24/930.53 c lits-rem: 2 cl-subs: 6 v-elim: 2 v-fix: 0 time: 0.11 s
29596.30/933.41 c subs with bin: 38 lits-rem: 3591 v-fix: 0 time: 2.44 s
30155.64/950.99 c lits-rem: 7626 cl-subs: 3509 v-elim: 0 v-fix: 0 time: 17.57 s
30158.84/951.00 c vivif2 -- cl tried 19396 cl shrink 0 lits rem 0 time: 0.01
30175.46/951.58 c vivif2 -- cl tried 101583 cl shrink 33565 lits rem 187820 time: 0.57
30200.39/952.30 c asymm cl-useful: 20/9115/19396 lits-rem:31 time: 0.72
30200.39/952.31 c calculated reachability. Time: 0.00
30200.39/952.31 c N st 78 1710713 9390 19396 22664 101583 114028 5421932 no data no data
30200.39/952.37 c Finding binary XORs T: 0.05 s found: 0
40122.41/1262.76 c N st 79 2079677 9390 19396 22664 112210 114028 8937120 no data no data
40128.16/1262.90 c Finding binary XORs T: 0.05 s found: 11
44264.05/1392.35 c N st 80 2210713 9388 19394 22201 114641 113990 8457631 no data no data
44264.05/1392.35 c S st 80 2210713 9388 19394 22201 114641 113990 8457631 no data no data
44289.61/1393.16 c S st 80 2211216 9387 19394 22315 115140 113990 8476276 no data no data
44292.81/1393.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
44331.15/1394.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 3 BRemL: 334 BRemN: 1 P: 16.0M T: 1.25
44337.56/1394.69 c Replacing 12 vars Replaced 9787 lits Time: 0.23 s
44337.56/1394.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
44337.56/1394.71 c bin-w-bin subsume rem 54 bins time: 0.00 s
44337.56/1394.72 c subs with bin: 17 lits-rem: 11 v-fix: 0 time: 0.01 s
44341.37/1394.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9375 time: 0.02 s
44341.37/1394.75 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
44344.57/1394.89 c lits-rem: 2 cl-subs: 16 v-elim: 5 v-fix: 0 time: 0.14 s
44446.82/1398.09 c subs with bin: 35 lits-rem: 6965 v-fix: 0 time: 2.67 s
45044.56/1416.74 c lits-rem: 3519 cl-subs: 1633 v-elim: 0 v-fix: 0 time: 18.64 s
45044.56/1416.75 c vivif2 -- cl tried 19344 cl shrink 0 lits rem 0 time: 0.01
45066.29/1417.42 c vivif2 -- cl tried 105108 cl shrink 31295 lits rem 365544 time: 0.66
45085.47/1418.09 c asymm cl-useful: 0/5271/19344 lits-rem:0 time: 0.66
45088.67/1418.10 c calculated reachability. Time: 0.00
45088.67/1418.10 c N st 80 2211216 9370 19344 21848 105107 113755 6748095 no data no data
59347.13/1864.20 c N st 81 2711217 9370 19344 21848 133860 113753 14515189 no data no data
59347.13/1864.20 c S st 81 2711217 9370 19344 21848 133860 113753 14515189 no data no data
59347.13/1864.26 c Finding binary XORs T: 0.05 s found: 0
59379.10/1865.26 c S st 81 2711719 9370 19344 22035 134361 113753 14530581 no data no data
59382.29/1865.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
59420.65/1866.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 23 BRemL: 148 BRemN: 0 P: 16.9M T: 1.22
59420.65/1866.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
59420.65/1866.57 c bin-w-bin subsume rem 15 bins time: 0.00 s
59420.65/1866.58 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
59420.65/1866.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9370 time: 0.02 s
59420.65/1866.61 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
59427.67/1866.77 c lits-rem: 0 cl-subs: 7 v-elim: 4 v-fix: 0 time: 0.16 s
59526.13/1869.84 c subs with bin: 11 lits-rem: 22243 v-fix: 0 time: 2.38 s
60142.98/1889.17 c lits-rem: 2937 cl-subs: 753 v-elim: 0 v-fix: 0 time: 19.32 s
60142.98/1889.18 c vivif2 -- cl tried 19337 cl shrink 0 lits rem 0 time: 0.01
60168.55/1889.90 c vivif2 -- cl tried 107921 cl shrink 23267 lits rem 696367 time: 0.71
60178.14/1890.26 c asymm cl-useful: 0/4951/19337 lits-rem:0 time: 0.36
60178.14/1890.27 c calculated reachability. Time: 0.00
60178.14/1890.27 c N st 81 2711719 9366 19337 21746 107921 113696 8549659 no data no data
73895.76/2319.41 c N st 82 3211719 9366 19337 21746 102547 113696 4758465 no data no data
73895.76/2319.41 c S st 82 3211719 9366 19337 21746 102547 113696 4758465 no data no data
73898.96/2319.52 c Finding binary XORs T: 0.05 s found: 0
73927.73/2320.46 c S st 82 3212220 9365 19336 21794 103045 113682 4777256 no data no data
73930.91/2320.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
73966.09/2321.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 4 BRemL: 54 BRemN: 0 P: 13.2M T: 1.18
73969.28/2321.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
73969.28/2321.71 c bin-w-bin subsume rem 2 bins time: 0.00 s
73969.28/2321.72 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.01 s
73969.28/2321.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9365 time: 0.02 s
73969.28/2321.76 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
73972.48/2321.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.13 s
74081.16/2325.27 c subs with bin: 10 lits-rem: 75 v-fix: 0 time: 3.04 s
74643.70/2342.87 c lits-rem: 3222 cl-subs: 3527 v-elim: 0 v-fix: 0 time: 17.58 s
74643.70/2342.87 c vivif2 -- cl tried 19333 cl shrink 0 lits rem 0 time: 0.01
74656.46/2343.27 c vivif2 -- cl tried 99508 cl shrink 14928 lits rem 103310 time: 0.39
74688.42/2344.20 c asymm cl-useful: 21/10055/19333 lits-rem:37 time: 0.93
74688.42/2344.21 c calculated reachability. Time: 0.00
74688.42/2344.21 c N st 82 3212220 9365 19333 21744 99508 113642 4477276 no data no data
89601.74/2810.87 c N st 83 3712220 9365 19333 21744 104554 113642 4450802 no data no data
89601.74/2810.87 c S st 83 3712220 9365 19333 21744 104554 113642 4450802 no data no data
89604.95/2810.93 c Finding binary XORs T: 0.05 s found: 1
89624.75/2811.56 c S st 83 3712724 9365 19333 21905 105056 113642 4469601 no data no data
89624.75/2811.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
89656.10/2812.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 73 BRemN: 0 P: 13.5M T: 0.97
89659.91/2812.62 c Replacing 1 vars Replaced 758 lits Time: 0.05 s
89659.91/2812.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
89659.91/2812.64 c bin-w-bin subsume rem 7 bins time: 0.00 s
89659.91/2812.66 c subs with bin: 6 lits-rem: 4 v-fix: 0 time: 0.01 s
89659.91/2812.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9364 time: 0.02 s
89659.91/2812.69 c Removed useless bin: 1 fixed: 0 props: 0.31M time: 0.01 s
89663.12/2812.80 c lits-rem: 0 cl-subs: 4 v-elim: 1 v-fix: 0 time: 0.11 s
89745.59/2815.33 c subs with bin: 20 lits-rem: 1278 v-fix: 0 time: 2.22 s
90113.14/2826.81 c lits-rem: 1269 cl-subs: 4551 v-elim: 0 v-fix: 0 time: 11.47 s
90113.14/2826.82 c vivif2 -- cl tried 19325 cl shrink 0 lits rem 0 time: 0.01
90122.72/2827.15 c vivif2 -- cl tried 99996 cl shrink 12912 lits rem 61377 time: 0.33
90145.11/2827.81 c asymm cl-useful: 0/6917/19325 lits-rem:0 time: 0.66
90145.11/2827.83 c calculated reachability. Time: 0.00
90145.11/2827.83 c N st 83 3712724 9363 19325 21771 99995 113618 4210148 no data no data
91031.09/2855.60 c F st 84 3751563 9363 19325 21771 138157 113618 7798522 no data no data
91031.09/2855.62 c N st 84 3751563 9363 19325 21771 138157 113618 7798522 no data no data
91164.70/2859.76 c Decided on static restart strategy
91832.72/2880.65 c N st 94 3779872 9363 19325 21785 166049 113618 11051122 no data no data
92631.70/2905.61 c N st 96 3815865 9363 19325 21797 118547 113618 6069080 no data no data
93443.52/2931.06 c N st 97 3848259 9363 19325 21798 150405 113618 9420683 no data no data
94763.43/2972.31 c N st 98 3896847 9363 19325 21803 114149 113618 6236347 no data no data
96920.82/3039.85 c N st 99 3969731 9363 19325 21837 99982 113618 4343654 no data no data
99528.84/3121.40 c N st 100 4079054 9363 19325 21844 120556 113617 5785324 no data no data
103339.40/3240.63 c N st 101 4212726 9363 19325 21855 163532 113617 11683255 no data no data
103339.40/3240.63 c S st 101 4212726 9363 19325 21855 163532 113617 11683255 no data no data
103383.52/3242.02 c S st 101 4213227 9363 19325 21862 164031 113617 11699928 no data no data
103383.52/3242.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
103434.66/3243.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 48 BRemN: 0 P: 18.8M T: 1.58
103434.66/3243.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
103434.66/3243.69 c bin-w-bin subsume rem 3 bins time: 0.01 s
103437.85/3243.70 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
103437.85/3243.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9363 time: 0.02 s
103437.85/3243.74 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
103444.87/3243.94 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.20 s
103568.91/3247.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.02 s
107692.02/3376.84 c lits-rem: 11752 cl-subs: 15126 v-elim: 0 v-fix: 0 time: 128.98 s
107692.02/3376.85 c vivif2 -- cl tried 19322 cl shrink 0 lits rem 0 time: 0.01
107723.99/3377.86 c vivif2 -- cl tried 148906 cl shrink 37023 lits rem 511901 time: 1.00
107736.75/3378.25 c asymm cl-useful: 0/2350/19322 lits-rem:0 time: 0.39
107736.75/3378.26 c calculated reachability. Time: 0.00
107736.75/3378.26 c N st 101 4213227 9363 19322 21816 148903 113598 10461296 no data no data
113995.02/3574.10 c N st 102 4459205 9363 19322 21818 120072 113598 4782146 no data no data
113998.21/3574.15 c Finding binary XORs T: 0.05 s found: 0
121854.39/3819.98 c N st 103 4713228 9363 19322 21886 184902 113598 11045341 no data no data
121854.39/3819.98 c S st 103 4713228 9363 19322 21886 184902 113598 11045341 no data no data
121892.71/3821.19 c S st 103 4713729 9363 19322 21926 185400 113598 11062743 no data no data
121895.91/3821.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
121953.41/3823.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 6 BRemL: 62 BRemN: 0 P: 26.3M T: 1.77
121953.41/3823.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
121953.41/3823.04 c bin-w-bin subsume rem 2 bins time: 0.00 s
121953.41/3823.05 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
121953.41/3823.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9363 time: 0.02 s
121953.41/3823.08 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
121959.80/3823.27 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s
122075.51/3826.87 c subs with bin: 5 lits-rem: 184 v-fix: 0 time: 2.77 s
127332.68/3991.34 c lits-rem: 11725 cl-subs: 8070 v-elim: 0 v-fix: 0 time: 164.44 s
127332.68/3991.35 c vivif2 -- cl tried 19321 cl shrink 0 lits rem 0 time: 0.01
127374.22/3992.63 c vivif2 -- cl tried 177325 cl shrink 59606 lits rem 386506 time: 1.26
127396.57/3993.39 c asymm cl-useful: 7/1131/19321 lits-rem:8 time: 0.76
127399.80/3993.41 c calculated reachability. Time: 0.01
127399.80/3993.41 c N st 103 4713729 9363 19321 21870 177323 113588 10151723 no data no data
145555.94/4561.55 c N st 104 5213729 9363 19321 21870 189299 113588 12701771 no data no data
145555.94/4561.55 c S st 104 5213729 9363 19321 21870 189299 113588 12701771 no data no data
145591.11/4562.61 c S st 104 5214229 9363 19321 21974 189799 113588 12720749 no data no data
145591.11/4562.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
145645.44/4564.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 48 BRemN: 0 P: 23.9M T: 1.66
145645.44/4564.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
145645.44/4564.35 c bin-w-bin subsume rem 2 bins time: 0.00 s
145645.44/4564.36 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.01 s
145645.44/4564.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9363 time: 0.02 s
145645.44/4564.39 c Removed useless bin: 0 fixed: 0 props: 0.31M time: 0.01 s
145651.83/4564.59 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.20 s
145763.67/4568.09 c subs with bin: 47 lits-rem: 332 v-fix: 0 time: 2.56 s
152306.17/4772.76 c lits-rem: 5933 cl-subs: 14884 v-elim: 0 v-fix: 0 time: 204.63 s
152306.17/4772.77 c vivif2 -- cl tried 19320 cl shrink 0 lits rem 0 time: 0.01
152345.12/4773.95 c vivif2 -- cl tried 174868 cl shrink 46862 lits rem 323932 time: 1.15
152370.06/4774.75 c asymm cl-useful: 11/7044/19320 lits-rem:12 time: 0.80
152370.06/4774.77 c calculated reachability. Time: 0.00
152370.06/4774.77 c N st 104 5214229 9363 19320 21926 174868 113574 11496892 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400817-1306826649/watcher-3400817-1306826649 -o /tmp/evaluation-result-3400817-1306826649/solver-3400817-1306826649 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400817-1306826649.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: 27.15 30.35 31.12 1/413 23268
/proc/meminfo: memFree=263537804/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=338000 CPUtime=0.71 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) R 23266 23268 23180 0 -1 4202496 437 0 0 0 71 0 0 0 25 0 32 0 8630900 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 84500 377 297 95 0 79482 0
[pid=23268/tid=23269] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23269/stat : 23269 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083830 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23268/tid=23270] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23270/stat : 23270 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083820 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23268/tid=23271] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23271/stat : 23271 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23268/tid=23272] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23272/stat : 23272 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23268/tid=23273] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23273/stat : 23273 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23268/tid=23274] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23274/stat : 23274 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23268/tid=23275] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23275/stat : 23275 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23268/tid=23276] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23276/stat : 23276 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23268/tid=23277] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23277/stat : 23277 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083820 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23268/tid=23278] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23278/stat : 23278 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23268/tid=23279] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23279/stat : 23279 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23268/tid=23280] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23280/stat : 23280 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083830 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23268/tid=23281] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23281/stat : 23281 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23268/tid=23282] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23282/stat : 23282 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23268/tid=23283] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23283/stat : 23283 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083830 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23268/tid=23284] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23284/stat : 23284 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083820 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23268/tid=23285] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23285/stat : 23285 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083820 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23268/tid=23286] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23286/stat : 23286 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23268/tid=23287] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23287/stat : 23287 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083816 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23268/tid=23288] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23288/stat : 23288 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083830 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23268/tid=23289] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23289/stat : 23289 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23290] ppid=23266 vsize=338000 CPUtime=0 cores=0-31
/proc/23268/task/23290/stat : 23290 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23291] ppid=23266 vsize=338000 CPUtime=0 cores=0-31
/proc/23268/task/23291/stat : 23291 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23292] ppid=23266 vsize=338000 CPUtime=0 cores=0-31
/proc/23268/task/23292/stat : 23292 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23293] ppid=23266 vsize=338000 CPUtime=0 cores=0-31
/proc/23268/task/23293/stat : 23293 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23268/tid=23294] ppid=23266 vsize=338000 CPUtime=0.01 cores=0-31
/proc/23268/task/23294/stat : 23294 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23268/tid=23295] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23295/stat : 23295 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083820 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23268/tid=23296] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23296/stat : 23296 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083824 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23268/tid=23297] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23297/stat : 23297 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23268/tid=23298] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23298/stat : 23298 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083816 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8630901 346112000 377 268435456000 4194304 4580107 140735374256864 18446744073709551615 47582009083826 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.0653411 s]
/proc/loadavg: 27.15 30.35 31.12 1/413 23268
/proc/meminfo: memFree=263537804/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=732436 CPUtime=1.38 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) R 23266 23268 23180 0 -1 4202496 1876 0 0 0 129 9 0 0 25 0 32 0 8630900 750014464 1728 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 183109 1774 322 95 0 178091 0
[pid=23268/tid=23269] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23269/stat : 23269 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 23 0 0 0 4 0 0 0 23 0 32 0 8630901 750014464 1827 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23268/tid=23270] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23270/stat : 23270 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 60 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 1871 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23268/tid=23271] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23271/stat : 23271 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 21 0 0 0 4 0 0 0 24 0 32 0 8630901 750014464 1914 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23268/tid=23272] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23272/stat : 23272 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 42 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 1955 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23268/tid=23273] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23273/stat : 23273 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 61 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2001 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23268/tid=23274] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23274/stat : 23274 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 45 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 2047 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23268/tid=23275] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23275/stat : 23275 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 53 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2070 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23268/tid=23276] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23276/stat : 23276 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 48 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 2120 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23268/tid=23277] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23277/stat : 23277 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 69 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2159 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23268/tid=23278] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23278/stat : 23278 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 67 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2220 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23268/tid=23279] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23279/stat : 23279 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 126 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2261 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23268/tid=23280] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23280/stat : 23280 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 91 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2320 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23268/tid=23281] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23281/stat : 23281 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 49 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 2388 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23268/tid=23282] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23282/stat : 23282 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 59 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 2437 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23268/tid=23283] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23283/stat : 23283 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 93 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2500 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23268/tid=23284] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23284/stat : 23284 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 88 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2535 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23268/tid=23285] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23285/stat : 23285 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 97 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2595 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23268/tid=23286] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23286/stat : 23286 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 90 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2650 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23268/tid=23287] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23287/stat : 23287 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 65 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 2678 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23268/tid=23288] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23288/stat : 23288 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 87 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2721 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23268/tid=23289] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23289/stat : 23289 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 140 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 2788 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23290] ppid=23266 vsize=732436 CPUtime=0 cores=0-31
/proc/23268/task/23290/stat : 23290 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 61 0 0 0 0 0 0 0 25 0 32 0 8630901 750014464 2834 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23268/tid=23291] ppid=23266 vsize=732436 CPUtime=0.01 cores=0-31
/proc/23268/task/23291/stat : 23291 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 58 0 0 0 1 0 0 0 25 0 32 0 8630901 750014464 2891 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23268/tid=23292] ppid=23266 vsize=732436 CPUtime=0.01 cores=0-31
/proc/23268/task/23292/stat : 23292 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 105 0 0 0 1 0 0 0 18 0 32 0 8630901 750014464 2942 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23268/tid=23293] ppid=23266 vsize=732436 CPUtime=0.01 cores=0-31
/proc/23268/task/23293/stat : 23293 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 17 0 0 0 1 0 0 0 25 0 32 0 8630901 750014464 3002 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23268/tid=23294] ppid=23266 vsize=732436 CPUtime=0.03 cores=0-31
/proc/23268/task/23294/stat : 23294 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 62 0 0 0 3 0 0 0 25 0 32 0 8630901 750014464 3049 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23268/tid=23295] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23295/stat : 23295 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 61 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 3087 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23268/tid=23296] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23296/stat : 23296 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 68 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 3140 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23268/tid=23297] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23297/stat : 23297 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 134 0 0 0 4 0 0 0 18 0 32 0 8630901 750014464 3206 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23268/tid=23298] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23298/stat : 23298 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 78 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 3252 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=732436 CPUtime=0.04 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 77 0 0 0 4 0 0 0 25 0 32 0 8630901 750014464 3294 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 732436
[startup+0.106296 s]
/proc/loadavg: 27.15 30.35 31.12 1/413 23268
/proc/meminfo: memFree=263537804/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=1192300 CPUtime=2.22 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) R 23266 23268 23180 0 -1 4202496 10329 0 0 0 132 90 0 0 17 0 32 0 8630900 1220915200 10181 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 298075 10198 331 95 0 293057 0
[pid=23268/tid=23269] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23269/stat : 23269 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 20 0 0 0
[pid=23268/tid=23270] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23270/stat : 23270 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446744071566932864 0 0 -1 2 0 0 0
[pid=23268/tid=23271] ppid=23266 vsize=1192300 CPUtime=0.07 cores=0-31
/proc/23268/task/23271/stat : 23271 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 289 0 0 0 4 3 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23268/tid=23272] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23272/stat : 23272 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 322 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23268/tid=23273] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23273/stat : 23273 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 325 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23268/tid=23274] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23274/stat : 23274 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 272 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446744071566930864 0 0 -1 12 0 0 0
[pid=23268/tid=23275] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23275/stat : 23275 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 305 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23268/tid=23276] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23276/stat : 23276 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 344 0 0 0 4 2 0 0 25 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23268/tid=23277] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23277/stat : 23277 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 6 0 0 0
[pid=23268/tid=23278] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23278/stat : 23278 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 323 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 3 0 0 0
[pid=23268/tid=23279] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23279/stat : 23279 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 380 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23268/tid=23280] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23280/stat : 23280 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23268/tid=23281] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23281/stat : 23281 (strangenight2-m) S 23266 23268 23180 0 -1 4202560 268 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258651060958 0 0 4096 2 18446604503334428128 0 0 -1 7 0 0 0
[pid=23268/tid=23282] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23282/stat : 23282 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 363 0 0 0 4 2 0 0 25 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23268/tid=23283] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23283/stat : 23283 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 356 0 0 0 4 2 0 0 18 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23268/tid=23284] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
/proc/23268/task/23284/stat : 23284 (strangenight2-m) D 23266 23268 23180 0 -1 4202560 280 0 0 0 4 2 0 0 17 0 32 0 8630901 1220915200 10198 268435456000 4194304 4580107 140735374256864 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23268/tid=23285] ppid=23266 vsize=1192300 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/23268/task/23271/stat : 23271 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 564572 0 0 0 494783 427 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23268/tid=23272] ppid=23266 vsize=24796092 CPUtime=4955.97 cores=0-31
/proc/23268/task/23272/stat : 23272 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 731682 0 0 0 495114 483 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23268/tid=23273] ppid=23266 vsize=24796092 CPUtime=4949.31 cores=0-31
/proc/23268/task/23273/stat : 23273 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 545307 0 0 0 494476 455 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23268/tid=23274] ppid=23266 vsize=24796092 CPUtime=4951.37 cores=0-31
/proc/23268/task/23274/stat : 23274 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 561344 0 0 0 494728 409 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23275] ppid=23266 vsize=24796092 CPUtime=4921.88 cores=0-31
/proc/23268/task/23275/stat : 23275 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 715048 0 0 0 491691 497 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23268/tid=23276] ppid=23266 vsize=24796092 CPUtime=4943.14 cores=0-31
/proc/23268/task/23276/stat : 23276 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 878873 0 0 0 493750 564 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23268/tid=23277] ppid=23266 vsize=24796092 CPUtime=4952.97 cores=0-31
/proc/23268/task/23277/stat : 23277 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 747899 0 0 0 494785 512 0 0 25 0 32 0 8630901 25391198208 4746577 268435456000 4194304 4580107 140735374256864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23268/tid=23278] ppid=23266 vsize=24796092 CPUtime=4954.1 cores=0-31
/proc/23268/task/23278/stat : 23278 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 484237 0 0 0 495020 390 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23268/tid=23279] ppid=23266 vsize=24796092 CPUtime=4948.68 cores=0-31
/proc/23268/task/23279/stat : 23279 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 559723 0 0 0 494452 416 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23268/tid=23280] ppid=23266 vsize=24796092 CPUtime=4951.26 cores=0-31
/proc/23268/task/23280/stat : 23280 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 476667 0 0 0 494738 388 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23268/tid=23281] ppid=23266 vsize=24796092 CPUtime=4953.82 cores=0-31
/proc/23268/task/23281/stat : 23281 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 695943 0 0 0 494897 485 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23268/tid=23282] ppid=23266 vsize=24796092 CPUtime=4947.6 cores=0-31
/proc/23268/task/23282/stat : 23282 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 587713 0 0 0 494369 391 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23268/tid=23283] ppid=23266 vsize=24796092 CPUtime=4946.52 cores=0-31
/proc/23268/task/23283/stat : 23283 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 587447 0 0 0 494257 395 0 0 25 0 32 0 8630901 25391198208 4746578 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23268/tid=23284] ppid=23266 vsize=24796092 CPUtime=4944.56 cores=0-31
/proc/23268/task/23284/stat : 23284 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 669949 0 0 0 493978 478 0 0 25 0 32 0 8630901 25391198208 4746579 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23268/tid=23285] ppid=23266 vsize=24796092 CPUtime=4933.83 cores=0-31
/proc/23268/task/23285/stat : 23285 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 659594 0 0 0 492908 475 0 0 25 0 32 0 8630901 25391198208 4746580 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23268/tid=23286] ppid=23266 vsize=24796092 CPUtime=4953.98 cores=0-31
/proc/23268/task/23286/stat : 23286 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 681567 0 0 0 494922 476 0 0 25 0 32 0 8630901 25391198208 4746580 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295352 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23268/tid=23287] ppid=23266 vsize=24796092 CPUtime=4954.22 cores=0-31
/proc/23268/task/23287/stat : 23287 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 647670 0 0 0 494966 456 0 0 25 0 32 0 8630901 25391198208 4746580 268435456000 4194304 4580107 140735374256864 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23268/tid=23288] ppid=23266 vsize=24796092 CPUtime=4949.43 cores=0-31
/proc/23268/task/23288/stat : 23288 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 678533 0 0 0 494463 480 0 0 25 0 32 0 8630901 25391198208 4746580 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23268/tid=23289] ppid=23266 vsize=24796092 CPUtime=4951.74 cores=0-31
/proc/23268/task/23289/stat : 23289 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 516034 0 0 0 494792 382 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23268/tid=23290] ppid=23266 vsize=24796092 CPUtime=4936.4 cores=0-31
/proc/23268/task/23290/stat : 23290 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 651718 0 0 0 493173 467 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23268/tid=23291] ppid=23266 vsize=24796092 CPUtime=4953.54 cores=0-31
/proc/23268/task/23291/stat : 23291 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 911953 0 0 0 494753 601 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23268/tid=23292] ppid=23266 vsize=24796092 CPUtime=4948.01 cores=0-31
/proc/23268/task/23292/stat : 23292 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 798833 0 0 0 494281 520 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23268/tid=23293] ppid=23266 vsize=24796092 CPUtime=4953.66 cores=0-31
/proc/23268/task/23293/stat : 23293 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 599459 0 0 0 494905 461 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23268/tid=23294] ppid=23266 vsize=24796092 CPUtime=4953.79 cores=0-31
/proc/23268/task/23294/stat : 23294 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 626068 0 0 0 494913 466 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23268/tid=23295] ppid=23266 vsize=24796092 CPUtime=4951.04 cores=0-31
/proc/23268/task/23295/stat : 23295 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 633916 0 0 0 494641 463 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23268/tid=23296] ppid=23266 vsize=24796092 CPUtime=4952.31 cores=0-31
/proc/23268/task/23296/stat : 23296 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 645653 0 0 0 494767 464 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23268/tid=23297] ppid=23266 vsize=24796092 CPUtime=4940.47 cores=0-31
/proc/23268/task/23297/stat : 23297 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 640941 0 0 0 493589 458 0 0 25 0 32 0 8630901 25391198208 4746581 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23268/tid=23298] ppid=23266 vsize=24796092 CPUtime=4949.66 cores=0-31
/proc/23268/task/23298/stat : 23298 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 495812 0 0 0 494580 386 0 0 25 0 32 0 8630901 25391198208 4746582 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294179 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=24796092 CPUtime=4950.03 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 127632 0 0 0 494861 142 0 0 25 0 32 0 8630901 25391198208 4746582 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 158366
Current children cumulated vsize (KiB) 24796092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5013.5 s]
/proc/loadavg: 32.11 32.10 32.07 33/445 23449
/proc/meminfo: memFree=244545420/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=24423184 CPUtime=160003 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) R 23266 23268 23180 0 -1 4202496 20383924 0 0 0 15985717 14601 0 0 25 0 32 0 8630900 25009340416 4741442 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 6105796 4741442 418 95 0 6100778 0
[pid=23268/tid=23269] ppid=23266 vsize=24423184 CPUtime=5003.65 cores=0-31
/proc/23268/task/23269/stat : 23269 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 761849 0 0 0 499818 547 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23268/tid=23270] ppid=23266 vsize=24423184 CPUtime=5005.13 cores=0-31
/proc/23268/task/23270/stat : 23270 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 632738 0 0 0 500042 471 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4316634 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23268/tid=23271] ppid=23266 vsize=24423184 CPUtime=5003.31 cores=0-31
/proc/23268/task/23271/stat : 23271 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 569667 0 0 0 499900 431 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23268/tid=23272] ppid=23266 vsize=24423184 CPUtime=5007.18 cores=0-31
/proc/23268/task/23272/stat : 23272 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 731682 0 0 0 500235 483 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23268/tid=23273] ppid=23266 vsize=24423184 CPUtime=5000.49 cores=0-31
/proc/23268/task/23273/stat : 23273 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 555211 0 0 0 499588 461 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23268/tid=23274] ppid=23266 vsize=24423184 CPUtime=5002.57 cores=0-31
/proc/23268/task/23274/stat : 23274 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 565954 0 0 0 499845 412 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23268/tid=23275] ppid=23266 vsize=24423184 CPUtime=4973.08 cores=0-31
/proc/23268/task/23275/stat : 23275 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 720427 0 0 0 496807 501 0 0 25 0 32 0 8630901 25009340416 4741443 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23268/tid=23276] ppid=23266 vsize=24423184 CPUtime=4994.35 cores=0-31
/proc/23268/task/23276/stat : 23276 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 882072 0 0 0 498868 567 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23268/tid=23277] ppid=23266 vsize=24423184 CPUtime=5004.17 cores=0-31
/proc/23268/task/23277/stat : 23277 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 753261 0 0 0 499901 516 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23268/tid=23278] ppid=23266 vsize=24423184 CPUtime=5005.31 cores=0-31
/proc/23268/task/23278/stat : 23278 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 488960 0 0 0 500137 394 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23268/tid=23279] ppid=23266 vsize=24423184 CPUtime=4999.89 cores=0-31
/proc/23268/task/23279/stat : 23279 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 570101 0 0 0 499568 421 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23268/tid=23280] ppid=23266 vsize=24423184 CPUtime=5002.47 cores=0-31
/proc/23268/task/23280/stat : 23280 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 479298 0 0 0 499856 391 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23268/tid=23281] ppid=23266 vsize=24423184 CPUtime=5005.02 cores=0-31
/proc/23268/task/23281/stat : 23281 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 701468 0 0 0 500014 488 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23268/tid=23282] ppid=23266 vsize=24423184 CPUtime=4998.81 cores=0-31
/proc/23268/task/23282/stat : 23282 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 590426 0 0 0 499487 394 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23268/tid=23283] ppid=23266 vsize=24423184 CPUtime=4997.72 cores=0-31
/proc/23268/task/23283/stat : 23283 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 589700 0 0 0 499375 397 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295482 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23268/tid=23284] ppid=23266 vsize=24423184 CPUtime=4995.76 cores=0-31
/proc/23268/task/23284/stat : 23284 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 674452 0 0 0 499096 480 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23268/tid=23285] ppid=23266 vsize=24423184 CPUtime=4985.03 cores=0-31
/proc/23268/task/23285/stat : 23285 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 663729 0 0 0 498025 478 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4321619 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23268/tid=23286] ppid=23266 vsize=24423184 CPUtime=5005.18 cores=0-31
/proc/23268/task/23286/stat : 23286 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 693813 0 0 0 500033 485 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23268/tid=23287] ppid=23266 vsize=24423184 CPUtime=5005.43 cores=0-31
/proc/23268/task/23287/stat : 23287 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 647670 0 0 0 500087 456 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23268/tid=23288] ppid=23266 vsize=24423184 CPUtime=5000.64 cores=0-31
/proc/23268/task/23288/stat : 23288 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 681810 0 0 0 499581 483 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23268/tid=23289] ppid=23266 vsize=24423184 CPUtime=5002.96 cores=0-31
/proc/23268/task/23289/stat : 23289 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 518326 0 0 0 499911 385 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23268/tid=23290] ppid=23266 vsize=24423184 CPUtime=4987.61 cores=0-31
/proc/23268/task/23290/stat : 23290 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 655747 0 0 0 498292 469 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23268/tid=23291] ppid=23266 vsize=24423184 CPUtime=5004.76 cores=0-31
/proc/23268/task/23291/stat : 23291 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 913812 0 0 0 499874 602 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23268/tid=23292] ppid=23266 vsize=24423184 CPUtime=4999.06 cores=0-31
/proc/23268/task/23292/stat : 23292 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 808279 0 0 0 499382 524 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23268/tid=23293] ppid=23266 vsize=24423184 CPUtime=5004.86 cores=0-31
/proc/23268/task/23293/stat : 23293 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 606389 0 0 0 500020 466 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23268/tid=23294] ppid=23266 vsize=24423184 CPUtime=5004.99 cores=0-31
/proc/23268/task/23294/stat : 23294 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 628132 0 0 0 500032 467 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23268/tid=23295] ppid=23266 vsize=24423184 CPUtime=5002.26 cores=0-31
/proc/23268/task/23295/stat : 23295 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 639180 0 0 0 499757 469 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23268/tid=23296] ppid=23266 vsize=24423184 CPUtime=5003.53 cores=0-31
/proc/23268/task/23296/stat : 23296 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 648786 0 0 0 499886 467 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23268/tid=23297] ppid=23266 vsize=24423184 CPUtime=4991.68 cores=0-31
/proc/23268/task/23297/stat : 23297 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 644773 0 0 0 498707 461 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23268/tid=23298] ppid=23266 vsize=24423184 CPUtime=5000.87 cores=0-31
/proc/23268/task/23298/stat : 23298 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 500233 0 0 0 499699 388 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=24423184 CPUtime=4999.92 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4202560 130096 0 0 0 499849 143 0 0 25 0 32 0 8630901 25009340416 4741444 268435456000 4194304 4580107 140735374256864 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 24423184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5014.2 s]
/proc/loadavg: 32.11 32.10 32.07 2/416 23450
/proc/meminfo: memFree=246773652/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=0 CPUtime=160004 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) Z 23266 23268 23180 0 -1 4203548 20383937 0 0 0 15985739 14668 0 0 25 0 2 0 8630900 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 0 0 0 0 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=0 CPUtime=5000.6 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4203588 130096 0 0 0 499850 210 0 0 25 0 2 0 8630901 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5014.6 s]
/proc/loadavg: 32.11 32.10 32.07 2/416 23450
/proc/meminfo: memFree=246773652/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=0 CPUtime=160004 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) Z 23266 23268 23180 0 -1 4203548 20383937 0 0 0 15985739 14708 0 0 25 0 2 0 8630900 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 0 0 0 0 0 0 0
[pid=23268/tid=23299] ppid=23266 vsize=0 CPUtime=5001 cores=0-31
/proc/23268/task/23299/stat : 23299 (strangenight2-m) R 23266 23268 23180 0 -1 4203588 130096 0 0 0 499850 250 0 0 25 0 2 0 8630901 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5014.8 s]
/proc/loadavg: 29.61 31.58 31.91 2/416 23450
/proc/meminfo: memFree=263531044/264257624 swapFree=67044764/67111528
[pid=23268] ppid=23266 vsize=0 CPUtime=160005 cores=0-31
/proc/23268/stat : 23268 (strangenight2-m) Z 23266 23268 23180 0 -1 4203548 20383937 0 0 0 15985739 14728 0 0 25 0 1 0 8630900 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23268/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.82
CPU time (s): 160005
CPU user time (s): 159857
CPU system time (s): 147.29
CPU usage (%): 3190.64
Max. virtual memory (cumulated for all children) (KiB): 24897916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159857
system time used= 147.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20383937
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= 1228322
involuntary context switches= 302728
runsolver used 29.7435 second user time and 111.998 second system time
The end
Begin job on node200 at 2011-05-31 09:24:09
IDJOB=3400817
IDBENCH=83127
IDSOLVER=1886
FILE ID=node200/3400817-1306826649
RUNJOBID= node200-1306826482-23194
PBS_JOBID= 13471341
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400817-1306826649/watcher-3400817-1306826649 -o /tmp/evaluation-result-3400817-1306826649/solver-3400817-1306826649 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400817-1306826649.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9ece8f569c93ceee834817ef3350ed8e
RANDOM SEED=814756337
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: 263538208 kB
Buffers: 114508 kB
Cached: 405864 kB
SwapCached: 29992 kB
Active: 129332 kB
Inactive: 424428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263538208 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 7244 kB
Writeback: 0 kB
AnonPages: 30484 kB
Mapped: 8800 kB
Slab: 73232 kB
PageTables: 4204 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 196180 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-31 10:47:45