0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400845-1306905131.cnf'
0.97/0.08 c -- header says num vars: 6664
0.97/0.08 c -- header says num clauses: 89966
8.25/0.53 c -- clauses added: 0 learnts, 89966 normals, 0 xors
8.25/0.53 c -- vars added 6664
8.25/0.53 c Parsing time: 0.09 s
8.25/0.53 c N st 0 0 6664 73004 16962 0 425665 0 no data no data
42.66/1.75 c asymm cl-useful: 0/7956/73004 lits-rem:0 time: 1.07
51.88/2.39 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 68 Bins: 0 BRemL: 0 BRemN: 0 P: 9.5M T: 0.33
55.35/2.74 c Replacing 68 vars Replaced 42354 lits Time: 0.03 s
62.65/3.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62.65/3.56 c bin-w-bin subsume rem 28 bins time: 0.00 s
62.65/3.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
64.20/3.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6592 time: 0.03 s
64.20/3.62 c Removed useless bin: 0 fixed: 0 props: 0.93M time: 0.02 s
81.01/4.27 c lits-rem: 0 cl-subs: 4 v-elim: 672 v-fix: 0 time: 0.57 s
81.01/4.29 c Finding binary XORs T: 0.01 s found: 0
85.03/4.42 c Finding non-binary XORs: 0.12 s (found: 0, avg size: nan)
85.03/4.42 c calculated reachability. Time: 0.00
85.03/4.43 c Calc default polars - time: 0.01 s pos: 272 undec: 744 neg: 5648
85.03/4.43 c =========================================================================================
85.03/4.43 c types(t): F = full restart, N = normal restart
85.03/4.43 c types(t): S = simplification begin/end, E = solution found
85.03/4.43 c restart types(rt): st = static, dy = dynamic
85.03/4.43 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
85.03/4.43 c B st 0 0 5920 73880 14834 0 439069 0 no data no data
99.88/4.88 c N dy 20 4097 5920 73880 14948 3929 439069 120548 8.26 8.87
115.83/5.32 c N dy 47 8326 5920 73880 17007 8034 439069 264167 8.54 9.03
119.69/5.49 c Finding binary XORs T: 0.01 s found: 0
128.61/5.79 c N dy 76 12423 5914 73876 18944 12030 438943 404005 8.76 11.42
154.43/6.54 c N dy 105 17696 5913 73876 18969 17257 438943 619235 8.95 9.47
157.64/6.68 c Finding binary XORs T: 0.01 s found: 0
172.93/7.15 c N dy 129 22105 5912 73874 19933 11851 438925 280682 9.01 9.56
185.72/7.51 c F st 138 25000 5912 73874 20318 14714 438925 394170 8.93 8.76
189.51/7.68 c N st 141 26189 5912 73874 20321 15891 438925 429445 8.93 no data
208.08/8.20 c S st 144 30000 5912 73874 20325 19676 438925 603108 8.93 no data
211.28/8.38 c S st 144 30502 5912 73874 20338 20165 438925 616872 8.93 no data
211.28/8.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
230.45/8.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 69540 BRemL: 64604 BRemN: 0 P: 13.4M T: 0.58
230.45/8.98 c Replacing 1 vars Replaced 562 lits Time: 0.01 s
233.64/9.02 c blocked clauses removed: 0 vars: 0 tried: 5911 T: 0.00 s
233.64/9.02 c bin-w-bin subsume rem 278 bins time: 0.00 s
233.64/9.04 c subs with bin: 96 lits-rem: 275 v-fix: 0 time: 0.01 s
233.64/9.06 c Subs w/ non-existent bins: 2 l-rem: 84 v-fix: 0 done: 5911 time: 0.02 s
233.64/9.07 c Removed useless bin: 0 fixed: 0 props: 0.66M time: 0.01 s
236.83/9.15 c lits-rem: 0 cl-subs: 594 v-elim: 62 v-fix: 0 time: 0.08 s
240.02/9.29 c subs with bin: 127 lits-rem: 2370 v-fix: 0 time: 0.11 s
249.61/9.52 c lits-rem: 703 cl-subs: 708 v-elim: 0 v-fix: 0 time: 0.20 s
259.81/9.84 c asymm cl-useful: 0/2472/73299 lits-rem:0 time: 0.31
259.81/9.85 c calculated reachability. Time: 0.00
259.81/9.85 c N dy 144 30502 5849 73299 24276 11412 436178 284798 8.93 no data
259.81/9.86 c Finding binary XORs T: 0.01 s found: 0
275.14/10.38 c N dy 155 34505 5849 73299 24487 15379 436178 411944 8.78 9.36
298.13/11.08 c N dy 175 38642 5848 73299 86239 19480 436178 672630 8.76 9.28
300.66/11.12 c Finding binary XORs T: 0.01 s found: 0
319.84/11.72 c N dy 198 42809 5848 73299 86219 12293 436134 352022 8.83 9.44
330.03/12.09 c S st 208 45754 5847 73299 86979 15211 436134 447366 8.79 no data
335.81/12.24 c S st 208 46256 5847 73299 86979 15712 436134 466638 8.79 no data
335.81/12.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
351.78/12.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 236 BRemL: 61527 BRemN: 0 P: 12.8M T: 0.51
351.78/12.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
351.78/12.80 c bin-w-bin subsume rem 631 bins time: 0.00 s
355.00/12.81 c subs with bin: 31 lits-rem: 150 v-fix: 0 time: 0.01 s
355.00/12.83 c Subs w/ non-existent bins: 0 l-rem: 14 v-fix: 0 done: 5847 time: 0.02 s
355.00/12.84 c Removed useless bin: 0 fixed: 0 props: 0.61M time: 0.01 s
355.00/12.89 c lits-rem: 0 cl-subs: 484 v-elim: 5 v-fix: 0 time: 0.05 s
361.37/13.05 c subs with bin: 242 lits-rem: 607 v-fix: 0 time: 0.13 s
365.19/13.18 c lits-rem: 438 cl-subs: 377 v-elim: 0 v-fix: 0 time: 0.10 s
365.19/13.20 c vivif2 -- cl tried 72798 cl shrink 0 lits rem 0 time: 0.02
368.38/13.22 c vivif2 -- cl tried 14395 cl shrink 924 lits rem 4264 time: 0.02
377.33/13.51 c asymm cl-useful: 0/3302/72798 lits-rem:0 time: 0.29
377.33/13.52 c calculated reachability. Time: 0.00
377.33/13.52 c N dy 208 46256 5842 72798 25018 14395 432578 303000 8.79 no data
393.30/14.05 c N dy 226 50560 5842 72798 25279 18653 432578 477723 8.74 9.35
412.46/14.63 c N dy 253 54593 5840 72798 25279 22663 432578 610015 8.78 9.31
431.66/15.26 c N dy 280 58632 5840 72798 25726 26677 432578 749057 8.84 10.62
435.48/15.37 c Finding binary XORs T: 0.01 s found: 0
457.22/16.08 c N dy 308 62713 5840 72798 25720 30724 432490 888591 8.88 9.39
479.57/16.78 c N dy 336 66767 5840 72798 25723 18545 432490 347043 8.93 9.50
492.35/17.20 c S st 348 69384 5840 72798 26187 21147 432490 439198 8.92 no data
498.74/17.37 c S st 348 69889 5840 72798 26187 21652 432490 454157 8.92 no data
498.74/17.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
514.70/17.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 313 BRemL: 397 BRemN: 2 P: 13.3M T: 0.50
517.90/17.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
517.90/17.91 c bin-w-bin subsume rem 41 bins time: 0.00 s
517.90/17.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
517.90/17.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5840 time: 0.02 s
517.90/17.95 c Removed useless bin: 0 fixed: 0 props: 0.55M time: 0.01 s
521.10/18.00 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.04 s
527.49/18.25 c subs with bin: 86 lits-rem: 513 v-fix: 0 time: 0.22 s
533.89/18.44 c lits-rem: 597 cl-subs: 431 v-elim: 0 v-fix: 0 time: 0.16 s
533.89/18.46 c vivif2 -- cl tried 72800 cl shrink 0 lits rem 0 time: 0.02
533.89/18.49 c vivif2 -- cl tried 20901 cl shrink 1199 lits rem 5798 time: 0.03
544.10/18.78 c asymm cl-useful: 0/2824/72800 lits-rem:0 time: 0.28
544.10/18.79 c calculated reachability. Time: 0.00
544.10/18.79 c N dy 348 69889 5839 72800 26057 20901 432513 432121 8.92 no data
572.24/19.63 c N dy 360 74398 5838 72800 26057 25391 432513 721442 8.85 13.68
585.01/20.01 c Finding binary XORs T: 0.01 s found: 0
601.00/20.56 c N dy 397 79223 5837 72800 26922 30191 432425 889396 8.91 10.00
639.36/21.76 c N dy 428 84351 5836 72800 27017 35279 432425 1059712 8.94 9.59
664.92/22.55 c F st 449 87502 5836 72800 28077 38397 432425 1176134 8.96 6.82
684.73/23.19 c N st 454 90801 5836 72799 27802 21947 432416 453880 8.96 no data
693.68/23.44 c Finding binary XORs T: 0.01 s found: 0
719.89/24.27 c N dy 480 96599 5836 72799 27813 27707 432416 686683 9.02 9.67
764.00/25.66 c N dy 527 102965 5836 72799 28147 34049 432416 919990 9.10 9.68
779.99/26.13 c S st 538 104836 5836 72799 28149 35905 432416 982956 9.10 6.98
787.00/26.36 c S st 538 105339 5836 72799 28180 36408 432416 1003848 9.10 no data
787.00/26.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
805.55/26.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 290 BRemL: 639 BRemN: 0 P: 15.4M T: 0.62
808.75/27.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
808.75/27.03 c bin-w-bin subsume rem 16 bins time: 0.00 s
808.75/27.05 c subs with bin: 56 lits-rem: 15 v-fix: 0 time: 0.01 s
808.75/27.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5835 time: 0.02 s
808.75/27.08 c Removed useless bin: 0 fixed: 0 props: 0.48M time: 0.01 s
811.95/27.13 c lits-rem: 0 cl-subs: 14 v-elim: 13 v-fix: 0 time: 0.06 s
837.51/27.96 c subs with bin: 284 lits-rem: 2029 v-fix: 0 time: 0.75 s
863.08/28.79 c lits-rem: 1677 cl-subs: 711 v-elim: 0 v-fix: 0 time: 0.81 s
866.27/28.81 c vivif2 -- cl tried 72767 cl shrink 0 lits rem 0 time: 0.02
866.27/28.87 c vivif2 -- cl tried 32684 cl shrink 3788 lits rem 15354 time: 0.06
875.87/29.19 c asymm cl-useful: 0/2511/72767 lits-rem:0 time: 0.31
879.06/29.20 c calculated reachability. Time: 0.01
879.06/29.20 c N dy 538 105339 5822 72767 27681 32684 432524 858146 9.10 no data
933.30/30.95 c Finding binary XORs T: 0.01 s found: 0
933.30/30.98 c N dy 569 112061 5821 72767 29198 39210 432480 1189305 9.08 12.01
978.06/32.34 c N dy 593 119289 5821 72767 29931 26360 432480 649333 9.07 10.59
1033.02/34.02 c N dy 642 126929 5820 72767 29976 33937 432480 953832 9.11 9.72
1086.73/35.75 c Finding binary XORs T: 0.01 s found: 0
1112.30/36.55 c N dy 681 135791 5819 72765 30457 41903 432462 1275076 9.12 9.64
1176.86/38.52 c N dy 733 144489 5819 72765 31099 28555 432462 586198 9.16 9.82
1224.18/40.00 c Finding binary XORs T: 0.01 s found: 0
1252.95/40.90 c N dy 781 153894 5819 72765 32048 37895 432462 928019 9.16 9.69
1288.10/42.05 c S st 803 158010 5819 72765 32097 41988 432462 1085834 9.17 8.41
1297.70/42.35 c S st 803 158517 5819 72765 32097 42493 432462 1103209 9.17 no data
1297.70/42.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1320.07/43.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 342 BRemL: 1380 BRemN: 0 P: 16.1M T: 0.67
1320.07/43.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1320.07/43.07 c bin-w-bin subsume rem 27 bins time: 0.00 s
1320.07/43.08 c subs with bin: 78 lits-rem: 39 v-fix: 0 time: 0.02 s
1323.26/43.10 c Subs w/ non-existent bins: 0 l-rem: 14 v-fix: 0 done: 5819 time: 0.02 s
1323.26/43.11 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s
1323.26/43.17 c lits-rem: 0 cl-subs: 31 v-elim: 5 v-fix: 0 time: 0.06 s
1355.14/44.12 c subs with bin: 276 lits-rem: 3794 v-fix: 0 time: 0.87 s
1384.55/45.06 c lits-rem: 1613 cl-subs: 960 v-elim: 0 v-fix: 0 time: 0.91 s
1384.55/45.08 c vivif2 -- cl tried 72658 cl shrink 2 lits rem 2 time: 0.02
1387.74/45.15 c vivif2 -- cl tried 37315 cl shrink 4801 lits rem 18289 time: 0.07
1399.88/45.54 c asymm cl-useful: 0/2459/72658 lits-rem:0 time: 0.38
1399.88/45.56 c calculated reachability. Time: 0.00
1399.88/45.56 c N dy 803 158517 5814 72658 30825 37312 431558 924808 9.17 no data
1431.85/46.59 c Finding binary XORs T: 0.01 s found: 0
1489.99/48.39 c N dy 856 168936 5812 72657 32892 25605 431505 491694 9.17 9.84
1560.34/50.56 c Finding binary XORs T: 0.01 s found: 0
1575.70/51.01 c N dy 923 179895 5811 72656 33239 36208 431496 974968 9.21 9.77
1693.92/54.75 c N dy 991 191604 5811 72656 33956 47835 431496 1489641 9.23 9.80
1713.09/55.38 c Finding binary XORs T: 0.01 s found: 0
1796.19/57.93 c N dy 1044 204525 5810 72655 35034 36377 431483 855509 9.22 9.72
1850.48/59.64 c Finding binary XORs T: 0.01 s found: 0
1920.80/61.87 c N dy 1107 217627 5810 72655 35801 49361 431483 1370516 9.22 9.74
2039.09/65.53 c N dy 1170 231551 5808 72655 36348 37179 431483 823115 9.23 9.78
2067.86/66.43 c Finding binary XORs T: 0.01 s found: 0
2099.82/67.40 c S st 1210 237775 5808 72654 36575 40983 431430 1055664 9.26 no data
2106.22/67.69 c S st 1210 238276 5808 72654 36575 41483 431430 1073258 9.26 no data
2109.41/67.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2128.58/68.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 179 BRemL: 1791 BRemN: 0 P: 16.4M T: 0.67
2131.78/68.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2131.78/68.42 c bin-w-bin subsume rem 44 bins time: 0.00 s
2131.78/68.44 c subs with bin: 124 lits-rem: 118 v-fix: 0 time: 0.02 s
2131.78/68.46 c Subs w/ non-existent bins: 1 l-rem: 4 v-fix: 0 done: 5808 time: 0.02 s
2131.78/68.46 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s
2134.98/68.52 c lits-rem: 0 cl-subs: 285 v-elim: 7 v-fix: 0 time: 0.06 s
2163.74/69.43 c subs with bin: 389 lits-rem: 1767 v-fix: 0 time: 0.85 s
2189.33/70.25 c lits-rem: 1634 cl-subs: 855 v-elim: 0 v-fix: 0 time: 0.79 s
2189.33/70.28 c vivif2 -- cl tried 72248 cl shrink 2 lits rem 3 time: 0.02
2193.11/70.34 c vivif2 -- cl tried 35048 cl shrink 4091 lits rem 19086 time: 0.06
2202.10/70.67 c asymm cl-useful: 15/3105/72248 lits-rem:30 time: 0.33
2202.10/70.68 c calculated reachability. Time: 0.01
2202.10/70.68 c N dy 1210 238276 5801 72248 34699 35048 428859 817806 9.26 no data
2291.61/73.45 c Finding binary XORs T: 0.01 s found: 0
2345.94/75.17 c N dy 1292 253765 5800 72247 34924 26803 428850 454816 9.27 9.82
2496.18/79.82 c N dy 1373 270286 5798 72247 35019 43204 428850 1150569 9.28 9.88
2681.51/85.67 c N dy 1449 287700 5797 72247 35108 33804 428850 637731 9.27 9.77
2739.03/87.40 c Finding binary XORs T: 0.01 s found: 0
2873.24/91.69 c N dy 1538 306088 5795 72245 35682 51997 428784 1411603 9.27 9.84
2876.43/91.76 c F st 1539 306257 5795 72245 35682 52165 428784 1416751 9.27 8.70
2994.70/95.44 c Finding binary XORs T: 0.01 s found: 0
3068.22/97.74 c N dy 1616 326260 5792 72240 36008 42850 428731 977541 9.27 9.86
3295.16/104.83 c N dy 1718 346477 5790 72240 36393 32983 428731 550284 9.28 9.81
3314.36/105.40 c Finding binary XORs T: 0.01 s found: 0
3394.16/107.97 c S st 1776 357414 5790 72238 36375 43376 428711 960200 9.29 no data
3403.76/108.27 c S st 1776 357914 5790 72238 36375 43875 428711 978517 9.29 no data
3403.76/108.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
3426.76/108.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 378 BRemL: 1521 BRemN: 0 P: 16.3M T: 0.66
3426.76/108.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3426.76/108.99 c bin-w-bin subsume rem 24 bins time: 0.00 s
3429.33/109.01 c subs with bin: 404 lits-rem: 46 v-fix: 0 time: 0.02 s
3429.33/109.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5790 time: 0.02 s
3429.33/109.04 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s
3429.33/109.10 c lits-rem: 0 cl-subs: 97 v-elim: 20 v-fix: 0 time: 0.06 s
3454.92/109.82 c subs with bin: 428 lits-rem: 2527 v-fix: 0 time: 0.67 s
3477.28/110.59 c lits-rem: 1748 cl-subs: 1259 v-elim: 0 v-fix: 0 time: 0.75 s
3480.48/110.62 c vivif2 -- cl tried 71779 cl shrink 2 lits rem 2 time: 0.02
3480.48/110.68 c vivif2 -- cl tried 36691 cl shrink 3962 lits rem 18771 time: 0.06
3493.87/111.06 c asymm cl-useful: 58/2491/71779 lits-rem:116 time: 0.38
3493.87/111.07 c calculated reachability. Time: 0.00
3493.87/111.07 c N dy 1776 357914 5770 71779 34806 36691 426537 746492 9.29 no data
3599.35/114.39 c Finding binary XORs T: 0.01 s found: 0
3708.04/117.80 c N dy 1875 378100 5768 71777 35549 56576 426516 1514006 9.29 9.81
3860.82/122.54 c Finding binary XORs T: 0.01 s found: 0
3892.78/123.60 c N dy 1962 398142 5765 71775 35450 46185 426452 1095422 9.27 13.62
4100.56/130.02 c Finding binary XORs T: 0.01 s found: 0
4116.55/130.54 c N dy 2081 418168 5764 71774 36007 35696 426443 635625 9.30 9.84
4333.88/137.33 c N dy 2191 438340 5762 71774 36080 55762 426443 1427701 9.32 9.95
4570.39/144.74 c N dy 2296 458430 5762 71774 36159 43467 426443 877269 9.34 12.04
4685.47/148.41 c Finding binary XORs T: 0.01 s found: 1
4848.45/153.44 c N dy 2402 478518 5760 71771 35934 62765 426411 1625213 9.35 9.89
4957.14/156.89 c Finding binary XORs T: 0.01 s found: 0
5072.22/160.42 c N dy 2505 498552 5760 71770 37794 48950 426400 1026431 9.37 14.17
5260.78/166.38 c Finding binary XORs T: 0.01 s found: 0
5343.91/168.91 c N dy 2641 518558 5759 71769 37735 68786 426389 1828985 9.41 9.92
5554.77/175.57 c S st 2754 536871 5757 71769 37811 51784 426389 1109367 9.44 7.24
5568.16/175.96 c S st 2754 537372 5757 71769 37812 52284 426389 1129579 9.44 no data
5568.16/175.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
5596.32/176.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1375 BRemL: 3264 BRemN: 0 P: 17.3M T: 0.90
5599.52/176.91 c Replacing 2 vars Replaced 1142 lits Time: 0.03 s
5599.52/176.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5599.52/176.95 c bin-w-bin subsume rem 57 bins time: 0.00 s
5599.52/176.98 c subs with bin: 729 lits-rem: 249 v-fix: 0 time: 0.02 s
5599.52/177.00 c Subs w/ non-existent bins: 9 l-rem: 1 v-fix: 0 done: 5755 time: 0.02 s
5599.52/177.01 c Removed useless bin: 1 fixed: 0 props: 0.38M time: 0.01 s
5603.31/177.09 c lits-rem: 0 cl-subs: 668 v-elim: 12 v-fix: 0 time: 0.09 s
5631.36/177.95 c subs with bin: 592 lits-rem: 4179 v-fix: 0 time: 0.79 s
5666.56/179.09 c lits-rem: 2370 cl-subs: 1163 v-elim: 0 v-fix: 0 time: 1.11 s
5669.72/179.11 c vivif2 -- cl tried 70356 cl shrink 0 lits rem 0 time: 0.02
5669.72/179.19 c vivif2 -- cl tried 42114 cl shrink 6560 lits rem 22754 time: 0.08
5685.69/179.66 c asymm cl-useful: 4/2936/70356 lits-rem:4 time: 0.47
5685.69/179.67 c calculated reachability. Time: 0.01
5685.69/179.67 c N dy 2754 537372 5743 70356 35244 42111 418091 839122 9.44 no data
5685.69/179.69 c Finding binary XORs T: 0.01 s found: 0
5779.01/182.55 c Finding binary XORs T: 0.01 s found: 0
5951.00/187.90 c N dy 2825 557490 5739 70353 38019 60887 418060 1621694 9.42 9.99
6014.85/189.97 c Finding binary XORs T: 0.01 s found: 0
6161.90/194.51 c N dy 2921 577606 5738 70351 38621 49132 418040 1107567 9.42 10.19
6206.63/195.99 c Finding binary XORs T: 0.01 s found: 0
6439.78/203.20 c N dy 2995 598047 5738 70351 39707 69359 418040 1879435 9.41 9.93
6506.91/205.37 c Finding binary XORs T: 0.01 s found: 0
6660.97/210.16 c N dy 3085 618305 5736 70349 40190 53873 418020 1178308 9.40 9.91
6810.58/214.86 c Finding binary XORs T: 0.01 s found: 0
6944.78/219.05 c N dy 3161 638357 5733 70347 41175 71629 418000 1891453 9.40 10.91
6992.71/220.56 c Finding binary XORs T: 0.01 s found: 0
7162.12/225.82 c N dy 3252 658528 5731 70345 41334 55460 417978 1218779 9.40 9.94
7194.08/226.89 c Finding binary XORs T: 0.01 s found: 0
7456.09/235.04 c N dy 3348 678949 5729 70343 41452 75189 417958 2027685 9.40 10.21
7561.58/238.30 c Finding binary XORs T: 0.01 s found: 0
7686.22/242.24 c N dy 3434 699159 5727 70340 41797 57077 417923 1185282 9.39 9.90
7798.10/245.71 c Finding binary XORs T: 0.01 s found: 0
8034.64/253.18 c N dy 3523 719653 5726 70340 42942 77293 417923 1949571 9.39 10.23
8047.44/253.55 c Finding binary XORs T: 0.01 s found: 0
8283.83/260.99 c N dy 3609 739707 5725 70339 43497 57384 417912 1192408 9.39 11.06
8322.14/262.20 c Finding binary XORs T: 0.01 s found: 0
8574.68/270.05 c Finding binary XORs T: 0.01 s found: 0
8597.03/270.77 c N dy 3706 759736 5719 70332 43270 73307 417843 1874397 9.39 11.82
8865.56/279.14 c N dy 3806 780739 5713 70332 43430 54868 417843 1084516 9.40 10.05
9178.79/288.90 c N dy 3917 800741 5707 70332 43531 74676 417843 1846360 9.41 13.94
9277.88/292.03 c S st 3944 806058 5706 70332 43565 79908 417843 2027246 9.41 no data
9297.72/292.63 c S st 3944 806558 5706 70332 43565 80407 417843 2042432 9.41 no data
9297.72/292.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
9335.44/293.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 878 BRemL: 4020 BRemN: 0 P: 20.6M T: 1.16
9335.44/293.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9335.44/293.85 c bin-w-bin subsume rem 89 bins time: 0.00 s
9335.44/293.88 c subs with bin: 1453 lits-rem: 270 v-fix: 0 time: 0.03 s
9338.61/293.90 c Subs w/ non-existent bins: 84 l-rem: 17 v-fix: 0 done: 5706 time: 0.02 s
9338.61/293.91 c Removed useless bin: 12 fixed: 0 props: 0.40M time: 0.01 s
9338.61/293.99 c lits-rem: 0 cl-subs: 278 v-elim: 89 v-fix: 0 time: 0.08 s
9357.80/294.56 c subs with bin: 781 lits-rem: 5497 v-fix: 0 time: 0.50 s
9392.97/295.63 c lits-rem: 4104 cl-subs: 2264 v-elim: 0 v-fix: 0 time: 1.05 s
9392.97/295.66 c vivif2 -- cl tried 68685 cl shrink 12 lits rem 12 time: 0.03
9396.16/295.73 c vivif2 -- cl tried 39445 cl shrink 6064 lits rem 18467 time: 0.07
9412.13/296.27 c asymm cl-useful: 12/2113/68685 lits-rem:12 time: 0.54
9412.13/296.28 c calculated reachability. Time: 0.00
9412.13/296.28 c N dy 3944 806558 5617 68685 37238 39443 409843 694589 9.41 no data
9412.13/296.29 c Finding binary XORs T: 0.01 s found: 0
9549.57/300.54 c Finding binary XORs T: 0.01 s found: 1
9571.96/301.28 c N dy 3994 826637 5616 68684 38548 36859 409834 742530 9.38 10.59
9808.51/308.65 c N dy 4054 847662 5612 68684 38638 57662 409834 1430340 9.36 9.89
10045.00/316.08 c N dy 4098 868833 5610 68684 38714 45105 409834 771004 9.34 9.83
10287.86/323.68 c N dy 4179 889103 5607 68684 38779 65143 409834 1428320 9.33 9.92
10402.95/327.22 c Finding binary XORs T: 0.01 s found: 0
10560.18/332.22 c N dy 4242 909303 5600 68672 38759 44023 409702 686189 9.31 9.94
10729.01/337.44 c Finding binary XORs T: 0.01 s found: 0
10844.71/341.04 c N dy 4333 929590 5598 68667 39039 62239 409607 1287961 9.31 9.91
11045.42/347.30 c Finding binary XORs T: 0.01 s found: 0
11218.03/352.77 c N dy 4421 949624 5593 68663 39883 80168 409563 1889526 9.30 15.47
11326.72/356.17 c Finding binary XORs T: 0.01 s found: 0
11457.77/360.27 c N dy 4510 969709 5591 68661 39822 59211 409541 1129010 9.30 9.82
11653.38/366.35 c Finding binary XORs T: 0.01 s found: 0
11780.62/370.31 c N dy 4592 990478 5584 68656 40862 77751 409482 1738869 9.29 9.97
11847.73/372.40 c Finding binary XORs T: 0.01 s found: 0
12026.71/378.08 c Finding binary XORs T: 0.01 s found: 0
12068.27/379.36 c N dy 4664 1010728 5572 68642 41343 49770 409286 822854 9.28 9.83
12307.96/386.89 c Finding binary XORs T: 0.01 s found: 0
12381.48/389.17 c N dy 4750 1031251 5552 68622 41674 65040 409072 1334326 9.28 9.83
12426.86/390.56 c Finding binary XORs T: 0.01 s found: 2
12541.31/394.13 c Following stats are for *FIRST FINISHED THREAD ONLY*
12541.31/394.13 c num threads : 32
12541.31/394.13 c restarts : 4869
12541.31/394.13 c dynamic restarts : 4845
12541.31/394.13 c static restarts : 24
12541.31/394.13 c full restarts : 3
12541.31/394.13 c total simplify time : 1.09
12541.31/394.13 c learnts DL2 : 0
12541.31/394.13 c learnts size 2 : 143307
12541.31/394.13 c learnts size 1 : 959 (14.39 % of vars)
12541.31/394.13 c filedLit time : 2.16 (0.55 % time)
12541.31/394.13 c v-elim SatELite : 820 (12.30 % vars)
12541.31/394.13 c SatELite time : 2.25 (0.57 % time)
12541.31/394.13 c v-elim xor : 0 (0.00 % vars)
12541.31/394.13 c xor elim time : 0.03 (0.01 % time)
12541.31/394.13 c num binary xor trees : 74
12541.31/394.13 c binxor trees' crown : 74 (1.00 leafs/tree)
12541.31/394.13 c bin xor find time : 0.43
12541.31/394.13 c OTF clause improved : 9712 (0.01 clauses/conflict)
12541.31/394.13 c OTF impr. size diff : 12190 (1.26 lits/clause)
12541.31/394.13 c OTF cl watch-shrink : 815895 (0.78 clauses/conflict)
12541.31/394.13 c OTF cl watch-sh-lit : 5078488 (6.22 lits/clause)
12541.31/394.13 c tried to recurMin cls : 336024 (32.00 % of conflicts)
12541.31/394.13 c updated cache : 16767 (0.05 lits/tried recurMin)
12541.31/394.13 c unit cls recevied : 152 (15.85 % of units)
12541.31/394.13 c unit cls sent : 8 (0.83 % of units)
12541.31/394.13 c bin cls recevied : 123832
12541.31/394.13 c bin cls sent : 1621
12541.31/394.13 c clauses over max glue : 0 (0.00 % of all clauses)
12541.31/394.13 c conflicts : 1050237 (2681.48 / sec)
12541.31/394.13 c decisions : 1561199 (3.54 % random)
12541.31/394.13 c bogo-props : 22529668117 (57523175.01 / sec)
12541.31/394.13 c conflict literals : 40933513 (44.08 % deleted)
12541.31/394.13 c Memory used : 4799.98 MB
12541.31/394.13 c single-thread CPU time : 391.66 s
12541.31/394.13 c all-threads sum CPU time : 12525.04 s
12541.31/394.13 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-3400845-1306905131/watcher-3400845-1306905131 -o /tmp/evaluation-result-3400845-1306905131/solver-3400845-1306905131 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400845-1306905131.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: 15.68 18.22 23.98 1/413 28141
/proc/meminfo: memFree=263464556/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=338000 CPUtime=0.76 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) R 28139 28141 28051 0 -1 4202496 467 0 0 0 76 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509911 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/28141/statm: 84500 407 300 95 0 79482 0
[pid=28141/tid=28142] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28142/stat : 28142 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509917 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28141/tid=28144] ppid=28139 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28141/task/28144/stat : 28144 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28145] ppid=28139 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28141/task/28145/stat : 28145 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509907 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28141/tid=28146] ppid=28139 vsize=338000 CPUtime=0 cores=0-31
/proc/28141/task/28146/stat : 28146 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345510320 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28147] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28147/stat : 28147 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28141/tid=28148] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28148/stat : 28148 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28141/tid=28149] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28149/stat : 28149 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28141/tid=28150] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28150/stat : 28150 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28141/tid=28151] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28151/stat : 28151 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28141/tid=28152] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28152/stat : 28152 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28141/tid=28153] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28153/stat : 28153 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28141/tid=28154] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28154/stat : 28154 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28141/tid=28155] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28155/stat : 28155 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479079 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509907 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28141/tid=28156] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28156/stat : 28156 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28141/tid=28157] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28157/stat : 28157 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509917 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28158] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28158/stat : 28158 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28141/tid=28159] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28159/stat : 28159 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28141/tid=28160] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28160/stat : 28160 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28141/tid=28161] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28161/stat : 28161 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28141/tid=28162] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28162/stat : 28162 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28141/tid=28163] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28163/stat : 28163 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28141/tid=28164] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28164/stat : 28164 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345510322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28141/tid=28165] ppid=28139 vsize=338000 CPUtime=0 cores=0-31
/proc/28141/task/28165/stat : 28165 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28141/tid=28166] ppid=28139 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28141/task/28166/stat : 28166 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28141/tid=28167] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28167/stat : 28167 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509917 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28141/tid=28168] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28168/stat : 28168 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28141/tid=28169] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28169/stat : 28169 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28141/tid=28170] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28170/stat : 28170 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509911 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28141/tid=28171] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28171/stat : 28171 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509913 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28141/tid=28172] ppid=28139 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28141/task/28172/stat : 28172 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16479080 346112000 407 268435456000 4194304 4580107 140734424410304 18446744073709551615 47503345509904 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0503389 s]
/proc/loadavg: 15.68 18.22 23.98 1/413 28141
/proc/meminfo: memFree=263464556/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=731476 CPUtime=0.97 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) D 28139 28141 28051 0 -1 4202496 1692 0 0 0 88 9 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/28141/statm: 182869 1552 322 95 0 177851 0
[pid=28141/tid=28142] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28142/stat : 28142 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 38 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 96 0 0 0 3 0 0 0 18 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28141/tid=28144] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28144/stat : 28144 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 33 0 0 0 2 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28145] ppid=28139 vsize=731476 CPUtime=0.01 cores=0-31
/proc/28141/task/28145/stat : 28145 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28141/tid=28146] ppid=28139 vsize=731476 CPUtime=0 cores=0-31
/proc/28141/task/28146/stat : 28146 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28141/tid=28147] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28147/stat : 28147 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 16 0 0 0 2 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28141/tid=28148] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28148/stat : 28148 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 8 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28141/tid=28149] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28149/stat : 28149 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 8 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28141/tid=28150] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28150/stat : 28150 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 17 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28141/tid=28151] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28151/stat : 28151 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 27 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28141/tid=28152] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28152/stat : 28152 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 58 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1552 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28141/tid=28153] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28153/stat : 28153 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 29 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1553 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28141/tid=28154] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28154/stat : 28154 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 48 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1563 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28141/tid=28155] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28155/stat : 28155 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 36 0 0 0 3 0 0 0 25 0 32 0 16479079 749031424 1581 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28141/tid=28156] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28156/stat : 28156 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 28 0 0 0 3 0 0 0 25 0 32 0 16479080 749031424 1590 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28141/tid=28157] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28157/stat : 28157 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 45 0 0 0 3 0 0 0 18 0 32 0 16479080 749031424 1590 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28158] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28158/stat : 28158 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 64 0 0 0 3 0 0 0 25 0 32 0 16479080 749031424 1590 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28141/tid=28159] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28159/stat : 28159 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 27 0 0 0 3 0 0 0 25 0 32 0 16479080 749031424 1590 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28141/tid=28160] ppid=28139 vsize=731476 CPUtime=0.03 cores=0-31
/proc/28141/task/28160/stat : 28160 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 17 0 0 0 3 0 0 0 25 0 32 0 16479080 749031424 1606 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28141/tid=28161] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28161/stat : 28161 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 68 0 0 0 2 0 0 0 25 0 32 0 16479080 749031424 1630 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28141/tid=28162] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28162/stat : 28162 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 92 0 0 0 2 0 0 0 18 0 32 0 16479080 749031424 1691 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28141/tid=28163] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28163/stat : 28163 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 19 0 0 0 2 0 0 0 25 0 32 0 16479080 749031424 1696 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28141/tid=28164] ppid=28139 vsize=731476 CPUtime=0.02 cores=0-31
/proc/28141/task/28164/stat : 28164 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 13 0 0 0 2 0 0 0 25 0 32 0 16479080 749031424 1697 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28141/tid=28165] ppid=28139 vsize=731480 CPUtime=0 cores=0-31
/proc/28141/task/28165/stat : 28165 (strangenight2-m) D 28139 28141 28051 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 32 0 16479080 749035520 1707 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28141/tid=28166] ppid=28139 vsize=731480 CPUtime=0.01 cores=0-31
/proc/28141/task/28166/stat : 28166 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 59 0 0 0 1 0 0 0 18 0 32 0 16479080 749035520 1726 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28141/tid=28167] ppid=28139 vsize=731480 CPUtime=0.02 cores=0-31
/proc/28141/task/28167/stat : 28167 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 116 0 0 0 2 0 0 0 18 0 32 0 16479080 749035520 1763 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28141/tid=28168] ppid=28139 vsize=731480 CPUtime=0.02 cores=0-31
/proc/28141/task/28168/stat : 28168 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 56 0 0 0 2 0 0 0 25 0 32 0 16479080 749035520 1811 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28141/tid=28169] ppid=28139 vsize=732436 CPUtime=0.02 cores=0-31
/proc/28141/task/28169/stat : 28169 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 39 0 0 0 2 0 0 0 25 0 32 0 16479080 750014464 1862 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28141/tid=28170] ppid=28139 vsize=732436 CPUtime=0.02 cores=0-31
/proc/28141/task/28170/stat : 28170 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 79 0 0 0 2 0 0 0 25 0 32 0 16479080 750014464 1915 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28141/tid=28171] ppid=28139 vsize=732436 CPUtime=0.02 cores=0-31
/proc/28141/task/28171/stat : 28171 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 23 0 0 0 2 0 0 0 25 0 32 0 16479080 750014464 1970 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28141/tid=28172] ppid=28139 vsize=732436 CPUtime=0.02 cores=0-31
/proc/28141/task/28172/stat : 28172 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52 0 0 0 2 0 0 0 25 0 32 0 16479080 750014464 2019 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 731476
[startup+0.104276 s]
/proc/loadavg: 15.68 18.22 23.98 1/413 28141
/proc/meminfo: memFree=263464556/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=1389200 CPUtime=1.86 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) R 28139 28141 28051 0 -1 4202496 11753 0 0 0 96 90 0 0 17 0 32 0 16479079 1422540800 11604 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/28141/statm: 347300 11629 334 95 0 342282 0
[pid=28141/tid=28142] ppid=28139 vsize=1389200 CPUtime=0.05 cores=0-31
/proc/28141/task/28142/stat : 28142 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 354 0 0 0 3 2 0 0 17 0 32 0 16479079 1422540800 11637 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604450898468320 0 0 -1 1 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=1389200 CPUtime=0.05 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 394 0 0 0 3 2 0 0 17 0 32 0 16479079 1422540800 11654 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28141/tid=28144] ppid=28139 vsize=1389200 CPUtime=0.04 cores=0-31
/proc/28141/task/28144/stat : 28144 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 391 0 0 0 2 2 0 0 17 0 32 0 16479079 1422540800 11661 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28145] ppid=28139 vsize=1389200 CPUtime=0.04 cores=0-31
/proc/28141/task/28145/stat : 28145 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 381 0 0 0 2 2 0 0 17 0 32 0 16479079 1422540800 11671 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604442871094752 0 0 -1 29 0 0 0
[pid=28141/tid=28146] ppid=28139 vsize=1389200 CPUtime=0.02 cores=0-31
/proc/28141/task/28146/stat : 28146 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 339 0 0 0 0 2 0 0 17 0 32 0 16479079 1422540800 11676 268435456000 4194304 4580107 140734424410304 18446744073709551615 4489504 0 0 4096 2 6 0 0 -1 30 0 0 0
[pid=28141/tid=28147] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28147/stat : 28147 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 324 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11681 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604450898468320 0 0 -1 28 0 0 0
[pid=28141/tid=28148] ppid=28139 vsize=1389200 CPUtime=0.05 cores=0-31
/proc/28141/task/28148/stat : 28148 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 345 0 0 0 3 2 0 0 17 0 32 0 16479079 1422540800 11684 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604458376691168 0 0 -1 20 0 0 0
[pid=28141/tid=28149] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28149/stat : 28149 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 400 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11685 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 5 0 0 0
[pid=28141/tid=28150] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28150/stat : 28150 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 330 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11700 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28141/tid=28151] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28151/stat : 28151 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 348 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11729 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604575269117408 0 0 -1 3 0 0 0
[pid=28141/tid=28152] ppid=28139 vsize=1389200 CPUtime=0.05 cores=0-31
/proc/28141/task/28152/stat : 28152 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 389 0 0 0 3 2 0 0 17 0 32 0 16479079 1422540800 11731 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604450004508128 0 0 -1 9 0 0 0
[pid=28141/tid=28153] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28153/stat : 28153 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 357 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11736 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28141/tid=28154] ppid=28139 vsize=1389200 CPUtime=0.06 cores=0-31
/proc/28141/task/28154/stat : 28154 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 348 0 0 0 3 3 0 0 17 0 32 0 16479079 1422540800 11758 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604452360084960 0 0 -1 7 0 0 0
[pid=28141/tid=28155] ppid=28139 vsize=1389200 CPUtime=0.05 cores=0-31
/proc/28141/task/28155/stat : 28155 (strangenight2-m) S 28139 28141 28051 0 -1 4202560 326 0 0 0 3 2 0 0 17 0 32 0 16479079 1422540800 11760 268435456000 4194304 4580107 140734424410304 18446744073709551615 258651060958 0 0 4096 2 18446604480989691360 0 0 -1 13 0 0 0
[pid=28141/tid=28156] ppid=28139 vsize=1389332 CPUtime=0.06 cores=0-31
/proc/28141/task/28156/stat : 28156 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 348 0 0 0 3 3 0 0 17 0 32 0 16479080 1422675968 11777 268435456000 4194304 4580107 140734424410304 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28141/tid=28157] ppid=28139 vsize=1389332 CPUtime=0.05 cores=0-31
/proc/28141/task/28157/stat : 28157 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 388 0 0 0 3 2 0 0 17 0 32 0 16479080 1422675968 11777 268435456000 4194304 4580107 140734424410304 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28158] ppid=28139 vsize=1389332 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/28141/task/28165/stat : 28165 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58658 0 0 0 38957 56 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28141/tid=28166] ppid=28139 vsize=4971384 CPUtime=390.07 cores=0-31
/proc/28141/task/28166/stat : 28166 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 67821 0 0 0 38946 61 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28141/tid=28167] ppid=28139 vsize=4971384 CPUtime=389.78 cores=0-31
/proc/28141/task/28167/stat : 28167 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 54703 0 0 0 38930 48 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28141/tid=28168] ppid=28139 vsize=4971384 CPUtime=382.84 cores=0-31
/proc/28141/task/28168/stat : 28168 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 60719 0 0 0 38230 54 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28169] ppid=28139 vsize=4971384 CPUtime=390.13 cores=0-31
/proc/28141/task/28169/stat : 28169 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58516 0 0 0 38956 57 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28141/tid=28170] ppid=28139 vsize=4971384 CPUtime=389.73 cores=0-31
/proc/28141/task/28170/stat : 28170 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 42278 0 0 0 38932 41 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28141/tid=28171] ppid=28139 vsize=4971384 CPUtime=389.95 cores=0-31
/proc/28141/task/28171/stat : 28171 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52524 0 0 0 38943 52 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28141/tid=28172] ppid=28139 vsize=4971384 CPUtime=390.14 cores=0-31
/proc/28141/task/28172/stat : 28172 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 73531 0 0 0 38967 47 0 0 25 0 32 0 16479080 5090697216 761718 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 12471
Current children cumulated vsize (KiB) 4971384
[startup+393.502 s]
/proc/loadavg: 32.07 28.35 26.76 33/445 28183
/proc/meminfo: memFree=260421596/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=4915176 CPUtime=12522.1 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) R 28139 28141 28051 0 -1 4202496 1960110 0 0 0 1250484 1729 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28141/statm: 1228794 759023 378 95 0 1223776 0
[pid=28141/tid=28142] ppid=28139 vsize=4915176 CPUtime=391.47 cores=0-31
/proc/28141/task/28142/stat : 28142 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 62071 0 0 0 39094 53 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=4915176 CPUtime=391.75 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 63859 0 0 0 39119 56 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28141/tid=28144] ppid=28139 vsize=4915176 CPUtime=392 cores=0-31
/proc/28141/task/28144/stat : 28144 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 48302 0 0 0 39151 49 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28141/tid=28145] ppid=28139 vsize=4915176 CPUtime=391.55 cores=0-31
/proc/28141/task/28145/stat : 28145 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 51571 0 0 0 39110 45 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28141/tid=28146] ppid=28139 vsize=4915176 CPUtime=391.53 cores=0-31
/proc/28141/task/28146/stat : 28146 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 70264 0 0 0 39092 61 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28141/tid=28147] ppid=28139 vsize=4915176 CPUtime=391.55 cores=0-31
/proc/28141/task/28147/stat : 28147 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 74996 0 0 0 39094 61 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4321197 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28141/tid=28148] ppid=28139 vsize=4915176 CPUtime=391.69 cores=0-31
/proc/28141/task/28148/stat : 28148 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66718 0 0 0 39108 61 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28141/tid=28149] ppid=28139 vsize=4915176 CPUtime=392.02 cores=0-31
/proc/28141/task/28149/stat : 28149 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 57256 0 0 0 39155 47 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28141/tid=28150] ppid=28139 vsize=4915176 CPUtime=391.69 cores=0-31
/proc/28141/task/28150/stat : 28150 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 43172 0 0 0 39125 44 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28141/tid=28151] ppid=28139 vsize=4915176 CPUtime=391.59 cores=0-31
/proc/28141/task/28151/stat : 28151 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 74813 0 0 0 39095 64 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28141/tid=28152] ppid=28139 vsize=4915176 CPUtime=391.55 cores=0-31
/proc/28141/task/28152/stat : 28152 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66411 0 0 0 39099 56 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28141/tid=28153] ppid=28139 vsize=4915176 CPUtime=391.52 cores=0-31
/proc/28141/task/28153/stat : 28153 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 45259 0 0 0 39102 50 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28141/tid=28154] ppid=28139 vsize=4915176 CPUtime=391.51 cores=0-31
/proc/28141/task/28154/stat : 28154 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 46306 0 0 0 39105 46 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28141/tid=28155] ppid=28139 vsize=4915176 CPUtime=391.51 cores=0-31
/proc/28141/task/28155/stat : 28155 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 78979 0 0 0 39089 62 0 0 25 0 32 0 16479079 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28141/tid=28156] ppid=28139 vsize=4915176 CPUtime=391.49 cores=0-31
/proc/28141/task/28156/stat : 28156 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 51713 0 0 0 39099 50 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28141/tid=28157] ppid=28139 vsize=4915176 CPUtime=391.89 cores=0-31
/proc/28141/task/28157/stat : 28157 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 68886 0 0 0 39138 51 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28141/tid=28158] ppid=28139 vsize=4915176 CPUtime=391.83 cores=0-31
/proc/28141/task/28158/stat : 28158 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 73135 0 0 0 39125 58 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28141/tid=28159] ppid=28139 vsize=4915176 CPUtime=391.56 cores=0-31
/proc/28141/task/28159/stat : 28159 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 69858 0 0 0 39098 58 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28141/tid=28160] ppid=28139 vsize=4915176 CPUtime=391.93 cores=0-31
/proc/28141/task/28160/stat : 28160 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52452 0 0 0 39144 49 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28141/tid=28161] ppid=28139 vsize=4915176 CPUtime=391.51 cores=0-31
/proc/28141/task/28161/stat : 28161 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66042 0 0 0 39093 58 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28141/tid=28162] ppid=28139 vsize=4915176 CPUtime=391.8 cores=0-31
/proc/28141/task/28162/stat : 28162 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 79347 0 0 0 39120 60 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28141/tid=28163] ppid=28139 vsize=4915176 CPUtime=388.38 cores=0-31
/proc/28141/task/28163/stat : 28163 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 72995 0 0 0 38780 58 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28141/tid=28164] ppid=28139 vsize=4915176 CPUtime=391.39 cores=0-31
/proc/28141/task/28164/stat : 28164 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 53111 0 0 0 39092 47 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28141/tid=28165] ppid=28139 vsize=4915176 CPUtime=391.73 cores=0-31
/proc/28141/task/28165/stat : 28165 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58745 0 0 0 39117 56 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28141/tid=28166] ppid=28139 vsize=4915176 CPUtime=391.67 cores=0-31
/proc/28141/task/28166/stat : 28166 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 67821 0 0 0 39106 61 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4497358 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28141/tid=28167] ppid=28139 vsize=4915176 CPUtime=391.38 cores=0-31
/proc/28141/task/28167/stat : 28167 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 54703 0 0 0 39090 48 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28141/tid=28168] ppid=28139 vsize=4915176 CPUtime=384.44 cores=0-31
/proc/28141/task/28168/stat : 28168 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 60719 0 0 0 38390 54 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28169] ppid=28139 vsize=4915176 CPUtime=391.73 cores=0-31
/proc/28141/task/28169/stat : 28169 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58516 0 0 0 39116 57 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28141/tid=28170] ppid=28139 vsize=4915176 CPUtime=391.33 cores=0-31
/proc/28141/task/28170/stat : 28170 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 42278 0 0 0 39092 41 0 0 25 0 32 0 16479080 5033140224 759023 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28141/tid=28171] ppid=28139 vsize=4915176 CPUtime=391.55 cores=0-31
/proc/28141/task/28171/stat : 28171 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52524 0 0 0 39103 52 0 0 25 0 32 0 16479080 5033140224 759024 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28141/tid=28172] ppid=28139 vsize=4915176 CPUtime=391.74 cores=0-31
/proc/28141/task/28172/stat : 28172 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 73531 0 0 0 39127 47 0 0 25 0 32 0 16479080 5033140224 759024 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 12522.1
Current children cumulated vsize (KiB) 4915176
[startup+393.902 s]
/proc/loadavg: 32.07 28.35 26.76 33/445 28183
/proc/meminfo: memFree=260419736/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=4915176 CPUtime=12534.9 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) R 28139 28141 28051 0 -1 4202496 1960295 0 0 0 1251761 1729 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28141/statm: 1228794 759208 378 95 0 1223776 0
[pid=28141/tid=28142] ppid=28139 vsize=4915176 CPUtime=391.87 cores=0-31
/proc/28141/task/28142/stat : 28142 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 62109 0 0 0 39134 53 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=4915176 CPUtime=392.15 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 63859 0 0 0 39159 56 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28141/tid=28144] ppid=28139 vsize=4915176 CPUtime=392.4 cores=0-31
/proc/28141/task/28144/stat : 28144 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 48324 0 0 0 39191 49 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28141/tid=28145] ppid=28139 vsize=4915176 CPUtime=391.95 cores=0-31
/proc/28141/task/28145/stat : 28145 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 51571 0 0 0 39150 45 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28141/tid=28146] ppid=28139 vsize=4915176 CPUtime=391.93 cores=0-31
/proc/28141/task/28146/stat : 28146 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 70264 0 0 0 39132 61 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28141/tid=28147] ppid=28139 vsize=4915176 CPUtime=391.95 cores=0-31
/proc/28141/task/28147/stat : 28147 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 75026 0 0 0 39134 61 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28141/tid=28148] ppid=28139 vsize=4915176 CPUtime=392.09 cores=0-31
/proc/28141/task/28148/stat : 28148 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66731 0 0 0 39148 61 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28141/tid=28149] ppid=28139 vsize=4915176 CPUtime=392.4 cores=0-31
/proc/28141/task/28149/stat : 28149 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 57275 0 0 0 39193 47 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28141/tid=28150] ppid=28139 vsize=4915176 CPUtime=392.09 cores=0-31
/proc/28141/task/28150/stat : 28150 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 43172 0 0 0 39165 44 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28141/tid=28151] ppid=28139 vsize=4915176 CPUtime=391.99 cores=0-31
/proc/28141/task/28151/stat : 28151 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 74813 0 0 0 39135 64 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28141/tid=28152] ppid=28139 vsize=4915176 CPUtime=391.95 cores=0-31
/proc/28141/task/28152/stat : 28152 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66411 0 0 0 39139 56 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28141/tid=28153] ppid=28139 vsize=4915176 CPUtime=391.92 cores=0-31
/proc/28141/task/28153/stat : 28153 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 45259 0 0 0 39142 50 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28141/tid=28154] ppid=28139 vsize=4915176 CPUtime=391.91 cores=0-31
/proc/28141/task/28154/stat : 28154 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 46306 0 0 0 39145 46 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294236 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28141/tid=28155] ppid=28139 vsize=4915176 CPUtime=391.91 cores=0-31
/proc/28141/task/28155/stat : 28155 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 78979 0 0 0 39129 62 0 0 25 0 32 0 16479079 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28141/tid=28156] ppid=28139 vsize=4915176 CPUtime=391.89 cores=0-31
/proc/28141/task/28156/stat : 28156 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 51713 0 0 0 39139 50 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28141/tid=28157] ppid=28139 vsize=4915176 CPUtime=392.29 cores=0-31
/proc/28141/task/28157/stat : 28157 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 68886 0 0 0 39178 51 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28141/tid=28158] ppid=28139 vsize=4915176 CPUtime=392.23 cores=0-31
/proc/28141/task/28158/stat : 28158 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 73135 0 0 0 39165 58 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28141/tid=28159] ppid=28139 vsize=4915176 CPUtime=391.96 cores=0-31
/proc/28141/task/28159/stat : 28159 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 69904 0 0 0 39138 58 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28141/tid=28160] ppid=28139 vsize=4915176 CPUtime=392.33 cores=0-31
/proc/28141/task/28160/stat : 28160 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52452 0 0 0 39184 49 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28141/tid=28161] ppid=28139 vsize=4915176 CPUtime=391.91 cores=0-31
/proc/28141/task/28161/stat : 28161 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 66042 0 0 0 39133 58 0 0 25 0 32 0 16479080 5033140224 759208 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28141/tid=28162] ppid=28139 vsize=4915176 CPUtime=392.2 cores=0-31
/proc/28141/task/28162/stat : 28162 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 79347 0 0 0 39160 60 0 0 25 0 32 0 16479080 5033140224 759209 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28141/tid=28163] ppid=28139 vsize=4915176 CPUtime=388.78 cores=0-31
/proc/28141/task/28163/stat : 28163 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 72995 0 0 0 38820 58 0 0 25 0 32 0 16479080 5033140224 759209 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28141/tid=28164] ppid=28139 vsize=4915176 CPUtime=391.79 cores=0-31
/proc/28141/task/28164/stat : 28164 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 53111 0 0 0 39132 47 0 0 25 0 32 0 16479080 5033140224 759209 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28141/tid=28165] ppid=28139 vsize=4915176 CPUtime=392.13 cores=0-31
/proc/28141/task/28165/stat : 28165 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58761 0 0 0 39157 56 0 0 25 0 32 0 16479080 5033140224 759209 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28141/tid=28166] ppid=28139 vsize=4915176 CPUtime=392.07 cores=0-31
/proc/28141/task/28166/stat : 28166 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 67821 0 0 0 39146 61 0 0 25 0 32 0 16479080 5033140224 759209 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28141/tid=28167] ppid=28139 vsize=4915176 CPUtime=391.78 cores=0-31
/proc/28141/task/28167/stat : 28167 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 54703 0 0 0 39130 48 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28141/tid=28168] ppid=28139 vsize=4915176 CPUtime=384.84 cores=0-31
/proc/28141/task/28168/stat : 28168 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 60719 0 0 0 38430 54 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28141/tid=28169] ppid=28139 vsize=4915176 CPUtime=392.13 cores=0-31
/proc/28141/task/28169/stat : 28169 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 58516 0 0 0 39156 57 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28141/tid=28170] ppid=28139 vsize=4915176 CPUtime=391.73 cores=0-31
/proc/28141/task/28170/stat : 28170 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 42278 0 0 0 39132 41 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28141/tid=28171] ppid=28139 vsize=4915176 CPUtime=391.95 cores=0-31
/proc/28141/task/28171/stat : 28171 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 52524 0 0 0 39143 52 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28141/tid=28172] ppid=28139 vsize=4915176 CPUtime=392.14 cores=0-31
/proc/28141/task/28172/stat : 28172 (strangenight2-m) R 28139 28141 28051 0 -1 4202560 73531 0 0 0 39167 47 0 0 25 0 32 0 16479080 5033140224 759210 268435456000 4194304 4580107 140734424410304 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 12534.9
Current children cumulated vsize (KiB) 4915176
[startup+394.301 s]
/proc/loadavg: 32.07 28.35 26.76 33/445 28183
/proc/meminfo: memFree=260419736/264257624 swapFree=67044780/67111528
[pid=28141] ppid=28139 vsize=0 CPUtime=12542.5 cores=0-31
/proc/28141/stat : 28141 (strangenight2-m) Z 28139 28141 28051 0 -1 4203548 1960436 0 0 0 1252503 1746 0 0 25 0 2 0 16479079 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28141/statm: 0 0 0 0 0 0 0
[pid=28141/tid=28143] ppid=28139 vsize=0 CPUtime=392.54 cores=0-31
/proc/28141/task/28143/stat : 28143 (strangenight2-m) R 28139 28141 28051 0 -1 4203588 63859 0 0 0 39182 72 0 0 25 0 2 0 16479079 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 12542.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 394.347
CPU time (s): 12542.5
CPU user time (s): 12525
CPU system time (s): 17.5123
CPU usage (%): 3180.59
Max. virtual memory (cumulated for all children) (KiB): 5139604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12525
system time used= 17.5123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1960436
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= 356053
involuntary context switches= 29058
runsolver used 2.6546 second user time and 8.61569 second system time
The end
Begin job on node200 at 2011-06-01 07:12:11
IDJOB=3400845
IDBENCH=83451
IDSOLVER=1886
FILE ID=node200/3400845-1306905131
RUNJOBID= node200-1306904958-28065
PBS_JOBID= 13471457
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400845-1306905131/watcher-3400845-1306905131 -o /tmp/evaluation-result-3400845-1306905131/solver-3400845-1306905131 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400845-1306905131.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=878092981
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: 263464968 kB
Buffers: 175120 kB
Cached: 420524 kB
SwapCached: 29976 kB
Active: 154820 kB
Inactive: 473372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263464968 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 8104 kB
Writeback: 0 kB
AnonPages: 30628 kB
Mapped: 8712 kB
Slab: 75796 kB
PageTables: 4460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-06-01 07:18:46