0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.11 c This is CryptoMiniSat 3.0.0
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c Reading file 'HOME/instance-3400842-1306902737.cnf'
3.04/0.14 c -- header says num vars: 7794
3.04/0.14 c -- header says num clauses: 186934
17.62/1.04 c -- clauses added: 0 learnts, 186934 normals, 0 xors
17.62/1.04 c -- vars added 7794
17.62/1.04 c Parsing time: 0.22 s
17.62/1.04 c N st 0 0 7794 166829 19877 0 1284511 0 no data no data
32.81/1.57 c asymm cl-useful: 0/2271/166721 lits-rem:0 time: 0.50
69.27/3.27 c Flit: 10 Blit: 0 bXBeca: 0 bXProp: 72 Bins: 0 BRemL: 0 BRemN: 0 P: 18.2M T: 1.06
73.72/3.50 c Replacing 72 vars Replaced 120192 lits Time: 0.08 s
94.37/5.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
94.37/5.46 c bin-w-bin subsume rem 138 bins time: 0.00 s
94.37/5.48 c subs with bin: 56 lits-rem: 4 v-fix: 0 time: 0.01 s
94.37/5.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6293 time: 0.04 s
96.83/5.55 c Removed useless bin: 0 fixed: 0 props: 1.39M time: 0.03 s
383.90/14.84 c lits-rem: 0 cl-subs: 21 v-elim: 736 v-fix: 0 time: 8.86 s
383.90/14.85 c Finding binary XORs T: 0.01 s found: 0
398.24/15.35 c Finding non-binary XORs: 0.45 s (found: 0, avg size: nan)
398.24/15.35 c calculated reachability. Time: 0.00
398.24/15.36 c Calc default polars - time: 0.01 s pos: 294 undec: 938 neg: 6562
398.24/15.36 c =========================================================================================
398.24/15.36 c types(t): F = full restart, N = normal restart
398.24/15.36 c types(t): S = simplification begin/end, E = solution found
398.24/15.36 c restart types(rt): st = static, dy = dynamic
398.24/15.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
398.24/15.36 c B st 0 0 6856 167594 17333 0 1299072 0 no data no data
410.74/15.72 c N dy 16 4177 6856 167594 17430 4028 1299071 160448 10.93 11.56
429.09/16.37 c N dy 31 9246 6856 167594 19374 8981 1299069 372529 9.33 9.85
444.86/16.88 c N dy 45 13314 6847 167594 20845 12982 1299069 518466 9.02 9.54
451.21/17.08 c Finding binary XORs T: 0.01 s found: 0
467.20/17.53 c N dy 62 17395 6845 167585 20799 16937 1298894 667219 8.77 9.24
489.55/18.27 c N dy 80 21525 6844 167585 22977 11273 1298894 279479 8.68 9.14
509.35/18.86 c F st 90 25001 6844 167585 24239 14704 1298894 427686 8.53 8.22
515.11/19.02 c N st 92 25627 6844 167583 24212 15315 1298876 449647 8.53 no data
515.11/19.03 c Finding binary XORs T: 0.01 s found: 0
537.49/19.77 c N dy 96 30003 6843 167583 24220 19661 1298876 644060 8.53 no data
537.49/19.77 c S st 96 30003 6843 167583 24220 19661 1298876 644060 8.53 no data
550.26/20.15 c S st 96 30504 6843 167583 24259 20123 1298876 657419 8.53 no data
550.26/20.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
598.15/21.69 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 154642 BRemL: 140967 BRemN: 0 P: 28.5M T: 1.52
601.35/21.79 c blocked clauses removed: 0 vars: 0 tried: 6841 T: 0.00 s
601.35/21.79 c bin-w-bin subsume rem 279 bins time: 0.00 s
604.55/21.82 c subs with bin: 162 lits-rem: 1573 v-fix: 0 time: 0.03 s
604.55/21.84 c Subs w/ non-existent bins: 2 l-rem: 23 v-fix: 0 done: 2376 time: 0.02 s
604.55/21.86 c Removed useless bin: 1 fixed: 0 props: 0.69M time: 0.01 s
815.38/28.44 c lits-rem: 0 cl-subs: 1785 v-elim: 120 v-fix: 0 time: 6.58 s
818.57/28.53 c subs with bin: 73 lits-rem: 1245 v-fix: 0 time: 0.07 s
898.44/31.09 c lits-rem: 77 cl-subs: 464 v-elim: 0 v-fix: 0 time: 2.48 s
908.03/31.37 c asymm cl-useful: 0/3043/165867 lits-rem:0 time: 0.28
908.03/31.38 c calculated reachability. Time: 0.01
908.03/31.38 c N dy 96 30504 6721 165867 36687 9662 1285306 234890 8.53 no data
908.03/31.40 c Finding binary XORs T: 0.01 s found: 0
930.95/32.07 c N dy 126 34519 6719 165867 37041 13646 1285305 404003 8.68 11.09
952.46/32.79 c N dy 150 38646 6710 165867 170409 17749 1285305 824166 8.73 9.26
955.66/32.83 c Finding binary XORs T: 0.02 s found: 0
981.21/33.62 c N dy 164 42681 6710 165858 169844 11360 1285120 504904 8.69 9.18
997.81/34.15 c S st 185 45757 6709 165858 170866 14414 1285120 609541 8.71 8.51
1003.57/34.38 c S st 185 46259 6709 165858 170866 14915 1285120 624747 8.71 no data
1006.76/34.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1045.12/35.63 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 795 BRemL: 134167 BRemN: 0 P: 25.8M T: 1.23
1048.32/35.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1048.32/35.72 c bin-w-bin subsume rem 1119 bins time: 0.00 s
1048.32/35.75 c subs with bin: 99 lits-rem: 141 v-fix: 0 time: 0.02 s
1048.32/35.77 c Subs w/ non-existent bins: 5 l-rem: 32 v-fix: 0 done: 1265 time: 0.03 s
1048.32/35.79 c Removed useless bin: 1 fixed: 0 props: 0.66M time: 0.01 s
1153.80/39.10 c lits-rem: 0 cl-subs: 137 v-elim: 34 v-fix: 0 time: 3.31 s
1160.19/39.22 c subs with bin: 86 lits-rem: 642 v-fix: 0 time: 0.10 s
1230.51/41.45 c lits-rem: 293 cl-subs: 316 v-elim: 0 v-fix: 0 time: 2.17 s
1233.71/41.52 c vivif2 -- cl tried 165671 cl shrink 64 lits rem 70 time: 0.07
1233.71/41.54 c vivif2 -- cl tried 11908 cl shrink 968 lits rem 2936 time: 0.02
1247.12/41.99 c asymm cl-useful: 22/3645/165670 lits-rem:26 time: 0.45
1249.68/42.01 c calculated reachability. Time: 0.01
1249.68/42.01 c N dy 185 46259 6674 165670 36089 11907 1282947 258626 8.71 no data
1275.23/42.91 c N dy 199 50264 6674 165670 38019 15867 1282947 416329 8.63 13.03
1282.28/43.08 c Finding binary XORs T: 0.01 s found: 0
1303.99/43.72 c N dy 222 54449 6669 165666 37850 19873 1282863 625967 8.63 9.11
1339.19/44.82 c N dy 238 58806 6669 165666 38096 24198 1282863 775455 8.58 9.08
1374.32/45.98 c N dy 252 63167 6668 165666 38106 28523 1282863 939981 8.52 9.01
1412.67/47.12 c N dy 268 67491 6668 165666 38108 18180 1282863 387680 8.49 8.98
1428.64/47.64 c S st 284 69389 6668 165666 38309 20073 1282863 459061 8.51 7.11
1441.43/48.02 c S st 284 69893 6668 165666 38309 20575 1282863 476542 8.51 no data
1441.43/48.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1495.76/49.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 302 BRemL: 1665 BRemN: 1 P: 28.3M T: 1.74
1498.96/49.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1498.96/49.89 c bin-w-bin subsume rem 14 bins time: 0.01 s
1502.15/49.91 c subs with bin: 61 lits-rem: 707 v-fix: 0 time: 0.03 s
1502.15/49.94 c Subs w/ non-existent bins: 2 l-rem: 15 v-fix: 0 done: 1742 time: 0.03 s
1502.15/49.96 c Removed useless bin: 0 fixed: 0 props: 0.63M time: 0.01 s
1530.92/50.85 c lits-rem: 0 cl-subs: 874 v-elim: 16 v-fix: 0 time: 0.89 s
1540.55/51.11 c subs with bin: 73 lits-rem: 389 v-fix: 0 time: 0.23 s
1550.11/51.49 c lits-rem: 319 cl-subs: 536 v-elim: 0 v-fix: 0 time: 0.31 s
1553.31/51.57 c vivif2 -- cl tried 164728 cl shrink 8 lits rem 8 time: 0.08
1556.51/51.60 c vivif2 -- cl tried 19031 cl shrink 1567 lits rem 13692 time: 0.03
1572.48/52.17 c asymm cl-useful: 14/490/164728 lits-rem:28 time: 0.57
1572.48/52.19 c calculated reachability. Time: 0.01
1572.48/52.19 c N dy 284 69893 6652 164728 36825 19030 1274261 413624 8.51 no data
1626.82/53.87 c N dy 302 74436 6652 164728 36826 23523 1274261 558123 8.48 9.51
1642.80/54.39 c Finding binary XORs T: 0.01 s found: 0
1684.33/55.70 c N dy 312 80157 6650 164728 37373 29192 1274214 915569 8.37 8.83
1748.26/57.67 c N dy 342 85344 6650 164728 37490 34327 1274214 1096899 8.40 8.85
1774.47/58.48 c F st 357 87501 6650 164728 37558 36479 1274214 1185219 8.42 8.63
1802.62/59.39 c N st 362 90798 6650 164728 37540 21511 1274168 446685 8.42 no data
1850.55/60.89 c N dy 389 96666 6650 164728 37553 27350 1274168 712948 8.43 13.29
1920.87/63.01 c N dy 417 102914 6650 164728 37639 33546 1274168 958225 8.45 9.00
1943.26/63.79 c S st 425 104839 6650 164728 37641 35459 1274168 1038124 8.45 no data
1956.03/64.19 c S st 425 105341 6650 164728 37641 35960 1274168 1054372 8.45 no data
1959.23/64.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2007.18/65.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 157 BRemL: 396 BRemN: 0 P: 29.3M T: 1.52
2010.38/65.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2010.38/65.82 c bin-w-bin subsume rem 7 bins time: 0.00 s
2010.38/65.84 c subs with bin: 3 lits-rem: 23 v-fix: 0 time: 0.02 s
2010.38/65.87 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 3227 time: 0.03 s
2010.38/65.89 c Removed useless bin: 1 fixed: 0 props: 0.59M time: 0.01 s
2013.58/65.96 c lits-rem: 0 cl-subs: 13 v-elim: 10 v-fix: 0 time: 0.07 s
2032.74/66.55 c subs with bin: 154 lits-rem: 441 v-fix: 0 time: 0.52 s
2067.89/67.62 c lits-rem: 800 cl-subs: 862 v-elim: 0 v-fix: 0 time: 1.00 s
2067.89/67.69 c vivif2 -- cl tried 164717 cl shrink 0 lits rem 0 time: 0.07
2071.09/67.77 c vivif2 -- cl tried 32597 cl shrink 3795 lits rem 25224 time: 0.08
2087.68/68.29 c asymm cl-useful: 12/461/164717 lits-rem:24 time: 0.52
2087.68/68.31 c calculated reachability. Time: 0.01
2087.68/68.31 c N dy 425 105341 6640 164717 37361 32597 1274095 889445 8.45 no data
2106.26/68.89 c Finding binary XORs T: 0.01 s found: 0
2182.95/71.28 c N dy 470 112148 6638 164715 37688 38742 1274075 1164031 8.48 11.50
2256.47/73.57 c N dy 515 119921 6637 164715 38069 26904 1274075 633385 8.49 8.95
2337.01/76.04 c N dy 536 127752 6637 164715 38086 34676 1274075 958442 8.46 8.97
2425.88/78.86 c N dy 585 136069 6636 164715 38158 42955 1274075 1347334 8.48 8.97
2457.85/79.86 c Finding binary XORs T: 0.01 s found: 0
2521.77/81.85 c N dy 628 144974 6636 164713 38167 29271 1274055 658002 8.48 8.96
2627.26/85.15 c N dy 666 154241 6636 164713 38251 38482 1274055 1094249 8.48 9.83
2672.01/86.56 c S st 685 158013 6636 164713 38534 42235 1274055 1292688 8.49 8.20
2685.42/86.96 c S st 685 158518 6636 164713 38534 42739 1274055 1311599 8.49 no data
2685.42/86.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2735.94/88.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 58 BRemL: 527 BRemN: 0 P: 30.5M T: 1.53
2739.14/88.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2739.14/88.60 c bin-w-bin subsume rem 10 bins time: 0.00 s
2739.14/88.63 c subs with bin: 34 lits-rem: 66 v-fix: 0 time: 0.02 s
2739.14/88.66 c Subs w/ non-existent bins: 5 l-rem: 12 v-fix: 0 done: 4572 time: 0.03 s
2739.14/88.67 c Removed useless bin: 1 fixed: 0 props: 0.56M time: 0.01 s
2742.34/88.74 c lits-rem: 0 cl-subs: 55 v-elim: 25 v-fix: 0 time: 0.07 s
2767.91/89.51 c subs with bin: 271 lits-rem: 1969 v-fix: 0 time: 0.69 s
2819.05/91.12 c lits-rem: 1045 cl-subs: 1111 v-elim: 0 v-fix: 0 time: 1.55 s
2819.05/91.19 c vivif2 -- cl tried 164659 cl shrink 12 lits rem 12 time: 0.07
2822.25/91.28 c vivif2 -- cl tried 35733 cl shrink 4842 lits rem 43260 time: 0.09
2838.22/91.76 c asymm cl-useful: 38/471/164659 lits-rem:76 time: 0.48
2838.22/91.78 c calculated reachability. Time: 0.01
2838.22/91.78 c N dy 685 158518 6611 164659 37937 35733 1273638 954080 8.49 no data
2889.37/93.34 c Finding binary XORs T: 0.01 s found: 0
2972.47/95.92 c N dy 730 168705 6608 164658 38576 24474 1273583 429274 8.48 8.94
3103.49/100.09 c N dy 797 179511 6608 164658 38751 35221 1273583 820687 8.53 9.27
3266.51/105.17 c N dy 857 191255 6608 164658 38898 46901 1273582 1272846 8.54 9.07
3292.07/105.96 c Finding binary XORs T: 0.01 s found: 0
3397.56/109.24 c N dy 919 203615 6605 164656 38738 35119 1273516 760316 8.55 9.02
3560.59/114.34 c N dy 996 216687 6603 164656 38802 48122 1273515 1271305 8.59 10.41
3730.01/119.68 c N dy 1078 230612 6602 164656 38847 36328 1273515 768586 8.62 10.77
3825.89/122.69 c S st 1112 237777 6602 164656 38862 43447 1273515 1029259 8.62 no data
3841.89/123.11 c S st 1112 238279 6602 164656 38862 43948 1273515 1044837 8.62 no data
3841.89/123.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3905.81/125.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 509 BRemL: 703 BRemN: 0 P: 32.8M T: 2.02
3909.00/125.21 c Replacing 1 vars Replaced 1843 lits Time: 0.06 s
3909.00/125.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3909.00/125.29 c bin-w-bin subsume rem 11 bins time: 0.00 s
3912.20/125.32 c subs with bin: 69 lits-rem: 779 v-fix: 0 time: 0.03 s
3912.20/125.35 c Subs w/ non-existent bins: 3 l-rem: 4 v-fix: 0 done: 1324 time: 0.03 s
3912.20/125.36 c Removed useless bin: 0 fixed: 0 props: 0.52M time: 0.01 s
3934.57/126.07 c lits-rem: 0 cl-subs: 841 v-elim: 22 v-fix: 0 time: 0.71 s
3947.37/126.51 c subs with bin: 286 lits-rem: 1499 v-fix: 0 time: 0.38 s
3982.53/127.59 c lits-rem: 1045 cl-subs: 926 v-elim: 0 v-fix: 0 time: 1.02 s
3986.28/127.67 c vivif2 -- cl tried 163755 cl shrink 4 lits rem 4 time: 0.08
3989.52/127.75 c vivif2 -- cl tried 36698 cl shrink 4393 lits rem 20426 time: 0.07
4008.06/128.38 c asymm cl-useful: 22/448/163755 lits-rem:39 time: 0.63
4008.06/128.40 c calculated reachability. Time: 0.01
4008.06/128.40 c N dy 1112 238279 6579 163755 38320 36696 1265291 787814 8.62 no data
4011.25/128.41 c Finding binary XORs T: 0.01 s found: 0
4222.22/135.05 c N dy 1170 253537 6575 163755 38803 27653 1265291 447390 8.61 12.32
4401.24/140.62 c Finding binary XORs T: 0.01 s found: 0
4436.40/141.72 c N dy 1232 269722 6575 163751 38647 43293 1265253 1063677 8.59 9.05
4685.71/149.51 c N dy 1310 287007 6575 163751 38700 33652 1265253 586825 8.58 10.52
4950.98/157.88 c N dy 1399 305452 6573 163751 38761 51942 1265253 1306811 8.58 9.05
4966.97/158.32 c F st 1404 306250 6573 163751 38761 52734 1265253 1336712 8.58 5.82
5232.27/166.64 c N dy 1488 325009 6571 163750 38723 42185 1265196 872994 8.60 10.61
5322.40/169.43 c Finding binary XORs T: 0.01 s found: 0
5568.53/177.15 c N dy 1602 345495 6569 163747 38817 32288 1265165 441996 8.62 9.08
5709.19/181.60 c S st 1666 357418 6568 163747 38849 44138 1265165 912650 8.63 7.20
5724.54/182.01 c S st 1666 357923 6568 163747 38849 44641 1265165 931688 8.63 no data
5724.54/182.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
5772.50/183.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 201 BRemL: 677 BRemN: 0 P: 30.3M T: 1.50
5775.69/183.60 c Replacing 1 vars Replaced 4929 lits Time: 0.06 s
5775.69/183.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5775.69/183.68 c bin-w-bin subsume rem 21 bins time: 0.00 s
5775.69/183.71 c subs with bin: 59 lits-rem: 102 v-fix: 0 time: 0.02 s
5779.51/183.74 c Subs w/ non-existent bins: 14 l-rem: 3 v-fix: 0 done: 3529 time: 0.03 s
5779.51/183.75 c Removed useless bin: 0 fixed: 0 props: 0.53M time: 0.01 s
5807.65/184.60 c lits-rem: 2 cl-subs: 43 v-elim: 43 v-fix: 0 time: 0.85 s
5817.87/184.98 c subs with bin: 529 lits-rem: 1146 v-fix: 0 time: 0.33 s
5842.78/185.71 c lits-rem: 913 cl-subs: 806 v-elim: 0 v-fix: 0 time: 0.66 s
5842.78/185.78 c vivif2 -- cl tried 163709 cl shrink 33 lits rem 33 time: 0.07
5845.98/185.84 c vivif2 -- cl tried 35409 cl shrink 3369 lits rem 12359 time: 0.06
5861.96/186.34 c asymm cl-useful: 11/405/163706 lits-rem:11 time: 0.50
5861.96/186.36 c calculated reachability. Time: 0.01
5861.96/186.36 c N dy 1666 357923 6524 163706 38050 35408 1265386 642934 8.63 no data
5920.13/188.19 c Finding binary XORs T: 0.01 s found: 0
6149.63/195.34 c N dy 1757 378161 6523 163705 38204 28102 1265377 338979 8.63 9.12
6418.12/203.77 c N dy 1830 398324 6521 163705 38399 48097 1265377 1259269 8.61 9.15
6421.32/203.80 c Finding binary XORs T: 0.01 s found: 0
6696.86/212.49 c N dy 1919 418330 6520 163703 38310 37289 1265359 603195 8.61 9.07
6961.52/220.78 c N dy 2033 438340 6518 163703 38379 57199 1265359 1385601 8.62 9.90
7134.13/226.20 c Finding binary XORs T: 0.01 s found: 0
7236.42/229.38 c N dy 2145 458350 6516 163699 38838 43631 1265277 847663 8.63 10.17
7540.71/238.86 c N dy 2254 478355 6512 163699 38900 63532 1265276 1629865 8.65 11.83
7843.73/248.33 c N dy 2370 498417 6512 163699 38952 49691 1265275 964590 8.67 10.19
8243.94/260.87 c N dy 2488 518991 6512 163699 39601 70160 1265274 1730771 8.69 9.27
8246.50/260.91 c Finding binary XORs T: 0.01 s found: 0
8527.80/269.76 c S st 2582 536885 6510 163695 39254 52401 1265234 1060491 8.69 7.98
8546.99/270.39 c S st 2582 537388 6509 163695 39264 52904 1265234 1076202 8.69 no data
8550.16/270.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
8617.28/272.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 533 BRemL: 1078 BRemN: 1 P: 33.7M T: 2.08
8617.28/272.56 c Replacing 1 vars Replaced 1857 lits Time: 0.06 s
8620.48/272.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8620.48/272.65 c bin-w-bin subsume rem 27 bins time: 0.00 s
8627.46/272.84 c subs with bin: 3740 lits-rem: 834 v-fix: 0 time: 0.18 s
8627.46/272.87 c Subs w/ non-existent bins: 22 l-rem: 8 v-fix: 0 done: 3893 time: 0.04 s
8627.46/272.88 c Removed useless bin: 3 fixed: 0 props: 0.49M time: 0.01 s
8649.25/273.55 c lits-rem: 0 cl-subs: 867 v-elim: 49 v-fix: 0 time: 0.66 s
8662.66/273.92 c subs with bin: 689 lits-rem: 3538 v-fix: 0 time: 0.32 s
8703.58/275.26 c lits-rem: 1166 cl-subs: 1564 v-elim: 0 v-fix: 0 time: 1.28 s
8706.78/275.34 c vivif2 -- cl tried 159135 cl shrink 35 lits rem 35 time: 0.08
8709.98/275.42 c vivif2 -- cl tried 41308 cl shrink 5220 lits rem 17036 time: 0.08
8729.16/276.09 c asymm cl-useful: 44/359/159132 lits-rem:52 time: 0.67
8729.16/276.11 c calculated reachability. Time: 0.01
8729.16/276.11 c N dy 2582 537388 6459 159132 38099 41294 1231919 719279 8.69 no data
8751.53/276.75 c Finding binary XORs T: 0.01 s found: 0
8972.09/283.64 c Finding binary XORs T: 0.01 s found: 0
9093.55/287.46 c N dy 2648 557452 6456 159131 39135 61021 1231910 1499254 8.67 9.13
9358.88/295.78 c Finding binary XORs T: 0.01 s found: 0
9406.83/297.23 c N dy 2721 578366 6453 159127 39652 49546 1231872 1062818 8.66 9.13
9803.18/309.62 c N dy 2817 598416 6449 159127 40389 69430 1231872 1788047 8.66 9.18
9803.18/309.67 c Finding binary XORs T: 0.01 s found: 4
10084.47/318.46 c N dy 2862 618455 6423 159117 40355 52653 1231768 1081265 8.63 10.81
10113.24/319.37 c Finding binary XORs T: 0.01 s found: 33
10391.33/328.06 c Finding binary XORs T: 0.01 s found: 6
10442.46/329.66 c N dy 2914 639107 6389 157194 46576 30804 1192594 388650 8.60 9.07
10448.85/329.89 c Finding binary XORs T: 0.01 s found: 35
10455.87/330.06 c Replacing 78 vars Replaced 116678 lits Time: 0.18 s
10531.71/337.20 c Following stats are for *FIRST FINISHED THREAD ONLY*
10531.71/337.20 c num threads : 32
10531.71/337.20 c restarts : 2816
10531.71/337.20 c dynamic restarts : 2792
10531.71/337.20 c static restarts : 24
10531.71/337.21 c full restarts : 3
10531.71/337.21 c total simplify time : 1.15
10531.71/337.21 c learnts DL2 : 0
10531.71/337.21 c learnts size 2 : 205389
10531.71/337.21 c learnts size 1 : 704 (9.03 % of vars)
10531.71/337.21 c filedLit time : 4.91 (1.47 % time)
10531.71/337.21 c v-elim SatELite : 1013 (13.00 % vars)
10531.71/337.21 c SatELite time : 30.87 (9.25 % time)
10531.71/337.21 c v-elim xor : 0 (0.00 % vars)
10531.71/337.21 c xor elim time : 0.05 (0.01 % time)
10531.71/337.21 c num binary xor trees : 117
10531.71/337.21 c binxor trees' crown : 156 (1.33 leafs/tree)
10531.71/337.21 c bin xor find time : 0.36
10531.71/337.21 c OTF clause improved : 4284 (0.01 clauses/conflict)
10531.71/337.21 c OTF impr. size diff : 5466 (1.28 lits/clause)
10531.71/337.21 c OTF cl watch-shrink : 509306 (0.70 clauses/conflict)
10531.71/337.21 c OTF cl watch-sh-lit : 2349636 (4.61 lits/clause)
10531.71/337.21 c tried to recurMin cls : 260071 (35.95 % of conflicts)
10531.71/337.21 c updated cache : 9744 (0.04 lits/tried recurMin)
10531.71/337.21 c unit cls recevied : 125 (17.76 % of units)
10531.71/337.21 c unit cls sent : 4 (0.57 % of units)
10531.71/337.21 c bin cls recevied : 182498
10531.71/337.21 c bin cls sent : 1151
10531.71/337.21 c clauses over max glue : 0 (0.00 % of all clauses)
10531.71/337.21 c conflicts : 723445 (2168.47 / sec)
10531.71/337.21 c decisions : 1145117 (2.74 % random)
10531.71/337.21 c bogo-props : 13715474132 (41111155.36 / sec)
10531.71/337.21 c conflict literals : 28624237 (39.09 % deleted)
10531.71/337.21 c Memory used : 6014.52 MB
10531.71/337.21 c single-thread CPU time : 333.62 s
10531.71/337.21 c all-threads sum CPU time : 10506.59 s
10531.71/337.21 s UNSATISFIABLE
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-3400842-1306902737/watcher-3400842-1306902737 -o /tmp/evaluation-result-3400842-1306902737/solver-3400842-1306902737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400842-1306902737.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: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=338000 CPUtime=0.66 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) R 27848 27850 27585 0 -1 4202496 437 0 0 0 66 0 0 0 25 0 32 0 16239705 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 84500 376 297 95 0 79482 0
[pid=27850/tid=27851] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434614 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434608 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434604 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434610 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434600 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=338000 CPUtime=0 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16239706 346112000 376 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434600 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.112901 s]
/proc/loadavg: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=403544 CPUtime=3.04 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 632 0 0 0 304 0 0 0 25 0 32 0 16239705 413229056 467 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 133654 474 315 95 0 128636 0
[pid=27850/tid=27851] ppid=27848 vsize=469088 CPUtime=0.1 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 10 0 0 0 23 0 32 0 16239706 480346112 476 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604457664175584 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=469080 CPUtime=0.1 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 16239706 480337920 484 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604488554847712 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=469084 CPUtime=0.1 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 16 0 0 0 10 0 0 0 18 0 32 0 16239706 480342016 486 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=469088 CPUtime=0.1 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 24 0 32 0 16239706 480346112 507 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604646281764320 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 36 0 0 0 10 0 0 0 18 0 32 0 16239706 480350208 531 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 16239706 480350208 559 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604450480635360 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=469092 CPUtime=0.1 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 7 0 0 0 10 0 0 0 24 0 32 0 16239706 480350208 612 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650954027 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=469096 CPUtime=0.1 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 24 0 32 0 16239706 480354304 622 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604651253734880 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=469096 CPUtime=0.1 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 44 0 0 0 10 0 0 0 25 0 32 0 16239706 480354304 660 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=469100 CPUtime=0.1 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 480358400 661 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604450636094944 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=469100 CPUtime=0.1 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 480358400 666 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=469104 CPUtime=0.1 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 8 0 0 0 10 0 0 0 18 0 32 0 16239706 480362496 668 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 669 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604465177837024 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 24 0 32 0 16239706 614580224 669 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604489064037856 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 671 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604499982663136 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=600176 CPUtime=0.1 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 614580224 680 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604502318185952 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=534640 CPUtime=0.1 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 10 0 0 0 25 0 32 0 16239706 547471360 688 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 4 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=534644 CPUtime=0.1 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 4 0 0 0 10 0 0 0 25 0 32 0 16239706 547475456 688 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604712474893792 0 0 -1 13 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=534644 CPUtime=0.1 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 32 0 16239706 547475456 689 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=534644 CPUtime=0.09 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 38 0 0 0 9 0 0 0 18 0 32 0 16239706 547475456 693 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=534644 CPUtime=0 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 32 0 16239706 547475456 721 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604703882599904 0 0 -1 29 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 12 0 0 0 9 0 0 0 18 0 32 0 16239706 547479552 727 268435456000 4194304 4580107 140734132643424 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 728 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604506194664928 0 0 -1 26 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 15 0 0 0 9 0 0 0 18 0 32 0 16239706 547479552 737 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 4 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 765 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=534648 CPUtime=0.09 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 8 0 0 0 9 0 0 0 25 0 32 0 16239706 547479552 765 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=534652 CPUtime=0.09 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 32 0 16239706 547483648 774 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604499580157408 0 0 -1 22 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 774 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604506187808224 0 0 -1 19 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 7 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 776 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604467661250016 0 0 -1 25 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=600188 CPUtime=0.07 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 5 0 0 0 7 0 0 0 25 0 32 0 16239706 614592512 779 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604455042792928 0 0 -1 23 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=600188 CPUtime=0.09 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 55 0 0 0 9 0 0 0 18 0 32 0 16239706 614592512 782 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 403544
[startup+0.202934 s]
/proc/loadavg: 24.33 28.88 30.59 1/413 27850
/proc/meminfo: memFree=263452288/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=1389720 CPUtime=4.48 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) R 27848 27850 27585 0 -1 4202496 13478 0 0 0 329 119 0 0 17 0 32 0 16239705 1423073280 13313 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/27850/statm: 347430 13323 335 95 0 342412 0
[pid=27850/tid=27851] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 411 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13343 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 390 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13361 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 412 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13390 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604505446260192 0 0 -1 20 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 439 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13392 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=1389720 CPUtime=0.15 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 449 0 0 0 11 4 0 0 17 0 32 0 16239706 1423073280 13398 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 388 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13402 268435456000 4194304 4580107 140734132643424 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 393 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13422 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 397 0 0 0 11 2 0 0 17 0 32 0 16239706 1423073280 13428 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566923704 0 0 -1 0 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 408 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13433 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 406 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13440 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 411 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13446 268435456000 4194304 4580107 140734132643424 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 390 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13451 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604461616897504 0 0 -1 10 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 379 0 0 0 10 3 0 0 17 0 32 0 16239706 1423073280 13453 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446604666252287456 0 0 -1 7 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) D 27848 27850 27585 0 -1 4202560 435 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13482 268435456000 4194304 4580107 140734132643424 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 399 0 0 0 10 4 0 0 17 0 32 0 16239706 1423073280 13486 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=1389720 CPUtime=0.14 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 379 0 0 0 11 3 0 0 17 0 32 0 16239706 1423073280 13507 268435456000 4194304 4580107 140734132643424 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=1389720 CPUtime=0.13 cores=0-31
################
# More data... #
################
/proc/27850/task/27874/stat : 27874 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56307 0 0 0 33196 69 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 4502095 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=332.93 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 63880 0 0 0 33207 86 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=326.94 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69897 0 0 0 32624 70 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004016 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10527.8
Current children cumulated vsize (KiB) 6158860
[startup+336.802 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=6158860 CPUtime=10530.7 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 1959573 0 0 0 1050551 2514 0 0 25 0 32 0 16239705 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 1539715 1004039 378 95 0 1534697 0
[pid=27850/tid=27851] ppid=27848 vsize=6158860 CPUtime=328.4 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52791 0 0 0 32758 82 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489064037856 0 0 -1 0 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=6158860 CPUtime=329.09 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52690 0 0 0 32829 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604453049286112 0 0 -1 16 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=6158860 CPUtime=328.2 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 51319 0 0 0 32751 69 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461182459360 0 0 -1 8 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=6158860 CPUtime=328.97 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50805 0 0 0 32822 75 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604553994034656 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=6158860 CPUtime=328.32 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60567 0 0 0 32755 77 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744071566929224 0 0 -1 17 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 71692 0 0 0 32755 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450636094944 0 0 -1 20 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=6158860 CPUtime=329.67 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60089 0 0 0 32889 78 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58593 0 0 0 32771 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604448684719584 0 0 -1 26 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50942 0 0 0 32766 75 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604466982026720 0 0 -1 13 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=6158860 CPUtime=328.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 66806 0 0 0 32719 83 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499580157408 0 0 -1 4 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=6158860 CPUtime=328.45 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 78743 0 0 0 32750 95 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604711635705312 0 0 -1 3 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=6158860 CPUtime=327.89 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 47843 0 0 0 32731 58 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604457664175584 0 0 -1 23 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=6158860 CPUtime=328.62 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67774 0 0 0 32773 89 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461616897504 0 0 -1 30 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=6158860 CPUtime=328.42 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60654 0 0 0 32759 83 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450480635360 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=6158860 CPUtime=329.08 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52329 0 0 0 32822 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604467661250016 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=6158860 CPUtime=329 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58125 0 0 0 32820 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604651253734880 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=6158860 CPUtime=333.97 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56128 0 0 0 33321 76 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440409796 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=6158860 CPUtime=328.93 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54841 0 0 0 32812 81 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506187808224 0 0 -1 27 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=6158860 CPUtime=329.47 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 57733 0 0 0 32877 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604505446260192 0 0 -1 10 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=6158860 CPUtime=329.17 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67520 0 0 0 32837 80 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604465177837024 0 0 -1 1 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=6158860 CPUtime=328.3 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59612 0 0 0 32744 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604455042792928 0 0 -1 21 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=6158860 CPUtime=328.06 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59844 0 0 0 32735 71 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604646281764320 0 0 -1 15 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=6158860 CPUtime=328.16 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 73419 0 0 0 32728 88 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604488554847712 0 0 -1 6 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=6158860 CPUtime=333.13 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 56307 0 0 0 33244 69 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604712474893792 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=333.72 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 64199 0 0 0 33286 86 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=327.74 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69903 0 0 0 32704 70 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 4416457 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004039 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10530.6
Current children cumulated vsize (KiB) 6158860
[startup+337.202 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=6158860 CPUtime=10531.7 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) S 27848 27850 27585 0 -1 4202496 1959578 0 0 0 1050657 2514 0 0 25 0 32 0 16239705 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 1539715 1004044 378 95 0 1534697 0
[pid=27850/tid=27851] ppid=27848 vsize=6158860 CPUtime=328.4 cores=0-31
/proc/27850/task/27851/stat : 27851 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52791 0 0 0 32758 82 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489064037856 0 0 -1 0 0 0 0
[pid=27850/tid=27852] ppid=27848 vsize=6158860 CPUtime=329.09 cores=0-31
/proc/27850/task/27852/stat : 27852 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52690 0 0 0 32829 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604453049286112 0 0 -1 16 0 0 0
[pid=27850/tid=27853] ppid=27848 vsize=6158860 CPUtime=328.2 cores=0-31
/proc/27850/task/27853/stat : 27853 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 51319 0 0 0 32751 69 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461182459360 0 0 -1 8 0 0 0
[pid=27850/tid=27854] ppid=27848 vsize=6158860 CPUtime=328.97 cores=0-31
/proc/27850/task/27854/stat : 27854 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50805 0 0 0 32822 75 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604553994034656 0 0 -1 5 0 0 0
[pid=27850/tid=27855] ppid=27848 vsize=6158860 CPUtime=328.32 cores=0-31
/proc/27850/task/27855/stat : 27855 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60567 0 0 0 32755 77 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446744071566929224 0 0 -1 17 0 0 0
[pid=27850/tid=27856] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27856/stat : 27856 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 71692 0 0 0 32755 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450636094944 0 0 -1 20 0 0 0
[pid=27850/tid=27857] ppid=27848 vsize=6158860 CPUtime=329.67 cores=0-31
/proc/27850/task/27857/stat : 27857 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60089 0 0 0 32889 78 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604666252287456 0 0 -1 9 0 0 0
[pid=27850/tid=27858] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27858/stat : 27858 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58593 0 0 0 32771 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604448684719584 0 0 -1 26 0 0 0
[pid=27850/tid=27859] ppid=27848 vsize=6158860 CPUtime=328.41 cores=0-31
/proc/27850/task/27859/stat : 27859 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 50942 0 0 0 32766 75 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604466982026720 0 0 -1 13 0 0 0
[pid=27850/tid=27860] ppid=27848 vsize=6158860 CPUtime=328.02 cores=0-31
/proc/27850/task/27860/stat : 27860 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 66806 0 0 0 32719 83 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499580157408 0 0 -1 4 0 0 0
[pid=27850/tid=27861] ppid=27848 vsize=6158860 CPUtime=328.45 cores=0-31
/proc/27850/task/27861/stat : 27861 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 78743 0 0 0 32750 95 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604711635705312 0 0 -1 3 0 0 0
[pid=27850/tid=27862] ppid=27848 vsize=6158860 CPUtime=327.89 cores=0-31
/proc/27850/task/27862/stat : 27862 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 47843 0 0 0 32731 58 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604457664175584 0 0 -1 23 0 0 0
[pid=27850/tid=27863] ppid=27848 vsize=6158860 CPUtime=328.62 cores=0-31
/proc/27850/task/27863/stat : 27863 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67774 0 0 0 32773 89 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604461616897504 0 0 -1 30 0 0 0
[pid=27850/tid=27864] ppid=27848 vsize=6158860 CPUtime=328.42 cores=0-31
/proc/27850/task/27864/stat : 27864 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 60654 0 0 0 32759 83 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604450480635360 0 0 -1 28 0 0 0
[pid=27850/tid=27865] ppid=27848 vsize=6158860 CPUtime=329.08 cores=0-31
/proc/27850/task/27865/stat : 27865 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 52329 0 0 0 32822 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604467661250016 0 0 -1 18 0 0 0
[pid=27850/tid=27866] ppid=27848 vsize=6158860 CPUtime=329 cores=0-31
/proc/27850/task/27866/stat : 27866 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 58125 0 0 0 32820 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604651253734880 0 0 -1 12 0 0 0
[pid=27850/tid=27867] ppid=27848 vsize=6158860 CPUtime=334.37 cores=0-31
/proc/27850/task/27867/stat : 27867 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 56128 0 0 0 33361 76 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440409643 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27850/tid=27868] ppid=27848 vsize=6158860 CPUtime=328.93 cores=0-31
/proc/27850/task/27868/stat : 27868 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54841 0 0 0 32812 81 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506187808224 0 0 -1 27 0 0 0
[pid=27850/tid=27869] ppid=27848 vsize=6158860 CPUtime=329.47 cores=0-31
/proc/27850/task/27869/stat : 27869 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 57733 0 0 0 32877 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604505446260192 0 0 -1 10 0 0 0
[pid=27850/tid=27870] ppid=27848 vsize=6158860 CPUtime=329.17 cores=0-31
/proc/27850/task/27870/stat : 27870 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 67520 0 0 0 32837 80 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604465177837024 0 0 -1 1 0 0 0
[pid=27850/tid=27871] ppid=27848 vsize=6158860 CPUtime=328.3 cores=0-31
/proc/27850/task/27871/stat : 27871 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59612 0 0 0 32744 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604455042792928 0 0 -1 21 0 0 0
[pid=27850/tid=27872] ppid=27848 vsize=6158860 CPUtime=328.06 cores=0-31
/proc/27850/task/27872/stat : 27872 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 59844 0 0 0 32735 71 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604646281764320 0 0 -1 15 0 0 0
[pid=27850/tid=27873] ppid=27848 vsize=6158860 CPUtime=328.16 cores=0-31
/proc/27850/task/27873/stat : 27873 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 73419 0 0 0 32728 88 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604488554847712 0 0 -1 6 0 0 0
[pid=27850/tid=27874] ppid=27848 vsize=6158860 CPUtime=333.13 cores=0-31
/proc/27850/task/27874/stat : 27874 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 56307 0 0 0 33244 69 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604712474893792 0 0 -1 22 0 0 0
[pid=27850/tid=27875] ppid=27848 vsize=6158860 CPUtime=333.98 cores=0-31
/proc/27850/task/27875/stat : 27875 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 64199 0 0 0 33312 86 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506164370912 0 0 -1 25 0 0 0
[pid=27850/tid=27876] ppid=27848 vsize=6158860 CPUtime=331.49 cores=0-31
/proc/27850/task/27876/stat : 27876 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 72822 0 0 0 33050 99 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604464916733408 0 0 -1 25 0 0 0
[pid=27850/tid=27877] ppid=27848 vsize=6158860 CPUtime=328.85 cores=0-31
/proc/27850/task/27877/stat : 27877 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 54328 0 0 0 32807 78 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604502318185952 0 0 -1 14 0 0 0
[pid=27850/tid=27878] ppid=27848 vsize=6158860 CPUtime=328.66 cores=0-31
/proc/27850/task/27878/stat : 27878 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 77745 0 0 0 32777 89 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604506194664928 0 0 -1 7 0 0 0
[pid=27850/tid=27879] ppid=27848 vsize=6158860 CPUtime=330.06 cores=0-31
/proc/27850/task/27879/stat : 27879 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 61558 0 0 0 32945 61 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604499982663136 0 0 -1 29 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=6158860 CPUtime=328.14 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4202560 69908 0 0 0 32744 70 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 4290997 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27850/tid=27881] ppid=27848 vsize=6158860 CPUtime=325.04 cores=0-31
/proc/27850/task/27881/stat : 27881 (strangenight2-m) S 27848 27850 27585 0 -1 4202560 81003 0 0 0 32451 53 0 0 25 0 32 0 16239706 6306672640 1004044 268435456000 4194304 4580107 140734132643424 18446744073709551615 47492440434228 0 0 4096 2 18446604489888095712 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 10531.7
Current children cumulated vsize (KiB) 6158860
[startup+337.401 s]
/proc/loadavg: 29.84 30.48 30.82 4/445 27890
/proc/meminfo: memFree=259445532/264257624 swapFree=67044780/67111528
[pid=27850] ppid=27848 vsize=0 CPUtime=10531.9 cores=0-31
/proc/27850/stat : 27850 (strangenight2-m) Z 27848 27850 27585 0 -1 4203548 1959582 0 0 0 1050658 2535 0 0 18 0 2 0 16239705 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/27850/statm: 0 0 0 0 0 0 0
[pid=27850/tid=27880] ppid=27848 vsize=0 CPUtime=328.34 cores=0-31
/proc/27850/task/27880/stat : 27880 (strangenight2-m) R 27848 27850 27585 0 -1 4203588 69908 0 0 0 32745 89 0 0 25 0 2 0 16239706 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 10531.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 337.491
CPU time (s): 10532
CPU user time (s): 10506.6
CPU system time (s): 25.4481
CPU usage (%): 3120.69
Max. virtual memory (cumulated for all children) (KiB): 6553160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10506.6
system time used= 25.4481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1959582
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= 481675
involuntary context switches= 27942
runsolver used 2.12868 second user time and 7.59984 second system time
The end
Begin job on node200 at 2011-06-01 06:32:17
IDJOB=3400842
IDBENCH=83446
IDSOLVER=1886
FILE ID=node200/3400842-1306902737
RUNJOBID= node200-1306902580-27599
PBS_JOBID= 13471403
Free space on /tmp= 61572 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400842-1306902737/watcher-3400842-1306902737 -o /tmp/evaluation-result-3400842-1306902737/solver-3400842-1306902737 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400842-1306902737.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=696079386
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: 263452568 kB
Buffers: 173476 kB
Cached: 419724 kB
SwapCached: 29976 kB
Active: 157760 kB
Inactive: 468124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263452568 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 12620 kB
Writeback: 0 kB
AnonPages: 29760 kB
Mapped: 8860 kB
Slab: 75912 kB
PageTables: 4900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 201116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61568 MiB
End job on node200 at 2011-06-01 06:37:55