0.00/0.00 c Outputting solution to console
0.00/0.07 c Using 32 threads
0.00/0.10 c This is CryptoMiniSat 3.0.0
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c Reading file 'HOME/instance-3400857-1307054036.cnf'
3.24/0.13 c -- header says num vars: 11680
3.24/0.13 c -- header says num clauses: 74581
15.82/0.84 c -- clauses added: 0 learnts, 74581 normals, 0 xors
15.82/0.84 c -- vars added 11680
15.82/0.84 c Parsing time: 0.13 s
15.82/0.84 c N st 0 0 11680 57394 17177 0 252027 0 no data no data
60.06/2.31 c asymm cl-useful: 0/5587/57393 lits-rem:0 time: 1.43
105.58/4.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 16.1M T: 1.37
109.73/4.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
109.73/4.52 c bin-w-bin subsume rem 0 bins time: 0.01 s
112.60/4.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
114.46/4.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11674 time: 0.10 s
116.90/4.74 c Removed useless bin: 0 fixed: 0 props: 4.94M time: 0.10 s
121.52/4.98 c lits-rem: 148 cl-subs: 296 v-elim: 151 v-fix: 0 time: 0.20 s
124.29/5.01 c Finding binary XORs T: 0.03 s found: 0
124.29/5.09 c Finding non-binary XORs: 0.07 s (found: 81, avg size: 3.0)
124.29/5.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
127.30/5.11 c calculated reachability. Time: 0.01
127.30/5.12 c Calc default polars - time: 0.01 s pos: 5667 undec: 169 neg: 5844
127.30/5.12 c =========================================================================================
127.30/5.12 c types(t): F = full restart, N = normal restart
127.30/5.12 c types(t): S = simplification begin/end, E = solution found
127.30/5.12 c restart types(rt): st = static, dy = dynamic
127.30/5.12 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
127.30/5.12 c B st 0 0 11523 56768 17028 0 250683 0 no data no data
175.65/6.64 c N dy 20 4075 11523 56768 17105 3953 250683 45574 5.01 9.08
216.60/7.99 c N dy 50 8097 11512 56768 17673 7859 250683 106611 5.26 5.68
258.13/9.28 c N dy 79 12125 11509 56768 17722 7225 250683 63705 5.50 6.03
267.71/9.59 c Finding binary XORs T: 0.02 s found: 204
270.92/9.61 c Replacing 210 vars Replaced 8565 lits Time: 0.02 s
309.27/10.80 c N dy 115 16294 11270 56494 18946 10817 249482 171177 5.95 6.31
357.20/12.39 c N dy 148 20359 11208 56494 21017 8208 249482 42977 6.13 6.50
369.99/12.75 c Finding binary XORs T: 0.02 s found: 206
369.99/12.77 c Replacing 210 vars Replaced 7626 lits Time: 0.02 s
405.14/13.87 c N dy 183 24387 10996 56085 20435 11755 247712 158162 6.41 6.83
414.73/14.14 c F st 189 25000 10988 56085 22749 12355 247712 179193 6.43 no data
414.73/14.16 c Replacing 1 vars Replaced 144 lits Time: 0.01 s
475.46/16.02 c N dy 195 30001 10957 55834 22677 17184 246613 389582 6.43 no data
475.46/16.02 c S st 195 30001 10957 55834 22677 17184 246613 389582 6.43 no data
475.46/16.04 c Finding binary XORs T: 0.02 s found: 211
475.46/16.07 c Replacing 211 vars Replaced 12195 lits Time: 0.03 s
485.05/16.33 c S st 195 30504 10746 55834 24278 17479 246613 401286 6.43 no data
485.05/16.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
587.34/19.55 c Flit: 28 Blit: 5 bXBeca: 0 bXProp: 230 Bins: 155082 BRemL: 33891 BRemN: 17 P: 29.9M T: 3.19
590.54/19.61 c Replacing 231 vars Replaced 47921 lits Time: 0.06 s
590.54/19.65 c blocked clauses removed: 0 vars: 0 tried: 10233 T: 0.01 s
590.54/19.69 c bin-w-bin subsume rem 12751 bins time: 0.04 s
593.73/19.73 c subs with bin: 1430 lits-rem: 1255 v-fix: 0 time: 0.04 s
593.73/19.80 c Subs w/ non-existent bins: 144 l-rem: 211 v-fix: 0 done: 10437 time: 0.06 s
597.54/19.82 c Removed useless bin: 165 fixed: 0 props: 2.11M time: 0.02 s
600.75/19.94 c lits-rem: 20 cl-subs: 4667 v-elim: 246 v-fix: 0 time: 0.12 s
603.30/20.03 c subs with bin: 457 lits-rem: 3349 v-fix: 0 time: 0.06 s
606.50/20.12 c lits-rem: 343 cl-subs: 486 v-elim: 0 v-fix: 0 time: 0.06 s
606.50/20.12 c Added XOR as norm:68
638.46/21.13 c asymm cl-useful: 7/2823/49844 lits-rem:7 time: 1.02
638.46/21.15 c calculated reachability. Time: 0.01
638.46/21.15 c N dy 195 30504 10191 49844 85641 12865 221978 275917 6.43 no data
638.46/21.19 c Finding binary XORs T: 0.03 s found: 6
689.62/22.78 c N dy 223 34593 10188 49844 85702 10693 221978 233569 6.49 10.70
743.93/24.40 c N dy 257 38824 10151 49844 89599 14869 221977 405719 6.64 7.05
807.24/26.54 c N dy 289 42962 10149 49844 125508 18973 221977 667720 6.74 7.13
809.24/26.64 c Finding binary XORs T: 0.03 s found: 471
809.24/26.70 c Replacing 477 vars Replaced 40721 lits Time: 0.06 s
840.23/27.79 c S st 313 45756 9661 49553 116470 11642 220589 286549 6.82 5.71
846.62/27.99 c S st 313 46259 9661 49553 116489 12126 220589 299813 6.82 no data
849.81/28.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
929.68/30.57 c Flit: 18 Blit: 5 bXBeca: 0 bXProp: 22 Bins: 49174 BRemL: 26663 BRemN: 9 P: 23.1M T: 2.56
932.86/30.60 c Replacing 22 vars Replaced 8213 lits Time: 0.03 s
932.86/30.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
932.86/30.68 c bin-w-bin subsume rem 22848 bins time: 0.05 s
936.01/30.72 c subs with bin: 609 lits-rem: 529 v-fix: 0 time: 0.04 s
936.01/30.77 c Subs w/ non-existent bins: 102 l-rem: 138 v-fix: 0 done: 9616 time: 0.05 s
936.01/30.79 c Removed useless bin: 89 fixed: 0 props: 1.80M time: 0.02 s
939.86/30.90 c lits-rem: 18 cl-subs: 2555 v-elim: 141 v-fix: 0 time: 0.10 s
943.08/30.95 c subs with bin: 273 lits-rem: 505 v-fix: 0 time: 0.03 s
943.08/30.99 c lits-rem: 66 cl-subs: 179 v-elim: 0 v-fix: 0 time: 0.03 s
945.58/31.05 c vivif2 -- cl tried 46423 cl shrink 272 lits rem 294 time: 0.05
945.58/31.06 c vivif2 -- cl tried 11125 cl shrink 440 lits rem 1037 time: 0.02
983.82/32.25 c asymm cl-useful: 18/3099/46367 lits-rem:21 time: 1.18
983.82/32.27 c calculated reachability. Time: 0.01
983.82/32.27 c N dy 313 46259 9475 46367 95158 11100 207198 225894 6.82 no data
987.02/32.30 c Finding binary XORs T: 0.03 s found: 9
1018.98/33.39 c Finding binary XORs T: 0.03 s found: 250
1022.18/33.42 c Replacing 259 vars Replaced 24828 lits Time: 0.03 s
1034.97/33.89 c N dy 342 50473 9185 46192 151337 15080 206381 530467 6.87 7.25
1086.10/35.49 c N dy 372 54555 9184 46192 151353 19127 206381 719869 6.95 9.09
1121.26/36.54 c Finding binary XORs T: 0.03 s found: 95
1121.26/36.58 c Replacing 95 vars Replaced 12001 lits Time: 0.04 s
1150.66/37.48 c N dy 404 58556 9074 46115 171242 23017 205983 1028713 7.05 7.50
1207.55/39.29 c N dy 436 62647 9059 46115 188076 15630 205983 544741 7.10 7.97
1220.92/39.69 c Finding binary XORs T: 0.03 s found: 89
1265.07/41.03 c N dy 473 66704 9058 46066 182983 19568 205664 704792 7.25 10.26
1300.24/42.20 c S st 486 69388 9049 46066 185616 22233 205664 838514 7.25 no data
1309.83/42.42 c S st 486 69891 9049 46066 185622 22730 205664 852632 7.25 no data
1309.83/42.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1418.51/45.80 c Flit: 34 Blit: 1 bXBeca: 0 bXProp: 81 Bins: 36060 BRemL: 28259 BRemN: 5 P: 31.7M T: 3.35
1418.51/45.87 c Replacing 170 vars Replaced 34051 lits Time: 0.06 s
1418.51/45.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1421.70/45.97 c bin-w-bin subsume rem 30851 bins time: 0.08 s
1424.90/46.01 c subs with bin: 575 lits-rem: 460 v-fix: 0 time: 0.04 s
1424.90/46.06 c Subs w/ non-existent bins: 58 l-rem: 111 v-fix: 0 done: 8841 time: 0.05 s
1424.90/46.08 c Removed useless bin: 61 fixed: 0 props: 1.50M time: 0.02 s
1428.09/46.19 c lits-rem: 23 cl-subs: 2767 v-elim: 152 v-fix: 0 time: 0.11 s
1435.12/46.38 c subs with bin: 338 lits-rem: 3644 v-fix: 0 time: 0.16 s
1437.67/46.48 c lits-rem: 601 cl-subs: 406 v-elim: 0 v-fix: 0 time: 0.08 s
1440.87/46.54 c vivif2 -- cl tried 42634 cl shrink 225 lits rem 235 time: 0.06
1440.87/46.59 c vivif2 -- cl tried 18603 cl shrink 2824 lits rem 10837 time: 0.05
1463.26/47.21 c asymm cl-useful: 128/1501/42585 lits-rem:133 time: 0.62
1463.26/47.23 c calculated reachability. Time: 0.01
1463.26/47.23 c N dy 486 69891 8689 42584 125373 18585 191335 445534 7.25 no data
1463.26/47.27 c Finding binary XORs T: 0.04 s found: 15
1517.59/48.95 c N dy 512 74371 8684 42584 140195 23045 191335 796324 7.27 10.30
1559.14/50.29 c Finding binary XORs T: 0.04 s found: 197
1562.34/50.32 c Replacing 212 vars Replaced 16081 lits Time: 0.03 s
1584.71/51.05 c N dy 544 79156 8448 42436 142261 17561 190622 490569 7.31 8.72
1648.64/53.06 c N dy 585 84228 8432 42436 142268 22606 190622 728041 7.41 11.58
1683.79/54.10 c Finding binary XORs T: 0.04 s found: 140
1683.79/54.15 c Replacing 140 vars Replaced 22364 lits Time: 0.05 s
1696.55/54.56 c F st 614 87500 8272 42218 140273 25136 189602 875699 7.49 no data
1738.11/55.83 c N st 619 90800 8272 42218 140275 15200 189602 377579 7.49 no data
1808.43/58.05 c N dy 637 96623 8250 42218 144602 20955 189601 658249 7.49 9.04
1901.12/60.91 c Finding binary XORs T: 0.04 s found: 115
1901.12/60.94 c Replacing 115 vars Replaced 11269 lits Time: 0.04 s
1907.52/61.10 c N dy 675 102793 8126 42031 140732 25211 188770 830850 7.53 7.97
1933.08/61.99 c S st 695 104836 8123 42031 158330 27240 188770 940771 7.59 no data
1939.48/62.20 c S st 695 105339 8123 42031 158333 27737 188770 958529 7.59 no data
1942.68/62.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2051.36/65.62 c Flit: 13 Blit: 4 bXBeca: 0 bXProp: 104 Bins: 36374 BRemL: 26053 BRemN: 4 P: 32.2M T: 3.40
2051.36/65.68 c Replacing 104 vars Replaced 20088 lits Time: 0.06 s
2054.56/65.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2054.56/65.76 c bin-w-bin subsume rem 22636 bins time: 0.06 s
2057.76/65.80 c subs with bin: 660 lits-rem: 538 v-fix: 0 time: 0.04 s
2057.76/65.84 c Subs w/ non-existent bins: 49 l-rem: 73 v-fix: 0 done: 7966 time: 0.04 s
2057.76/65.86 c Removed useless bin: 78 fixed: 0 props: 1.21M time: 0.01 s
2060.95/65.97 c lits-rem: 34 cl-subs: 2923 v-elim: 203 v-fix: 0 time: 0.11 s
2070.53/66.29 c subs with bin: 438 lits-rem: 4167 v-fix: 0 time: 0.28 s
2076.92/66.40 c lits-rem: 601 cl-subs: 546 v-elim: 0 v-fix: 0 time: 0.10 s
2076.92/66.46 c vivif2 -- cl tried 38432 cl shrink 275 lits rem 287 time: 0.05
2080.12/66.52 c vivif2 -- cl tried 21092 cl shrink 3089 lits rem 13128 time: 0.06
2099.93/67.14 c asymm cl-useful: 111/1133/38394 lits-rem:112 time: 0.62
2099.93/67.16 c calculated reachability. Time: 0.01
2099.93/67.16 c N dy 695 105339 7763 38394 118334 21068 173311 499861 7.59 no data
2099.93/67.20 c Finding binary XORs T: 0.04 s found: 8
2166.44/69.31 c N dy 739 112116 7749 38394 124101 18908 173311 506687 7.63 8.04
2217.49/70.83 c Finding binary XORs T: 0.04 s found: 178
2217.49/70.87 c Replacing 186 vars Replaced 21446 lits Time: 0.05 s
2246.25/71.73 c N dy 790 119287 7555 38289 127357 25899 172717 995281 7.72 8.44
2345.97/74.91 c N dy 837 127129 7534 38289 133750 17802 172715 410587 7.76 8.26
2364.53/75.42 c Finding binary XORs T: 0.04 s found: 65
2444.45/77.94 c N dy 893 135260 7521 38155 145789 25825 172123 809662 7.85 14.41
2451.43/78.22 c Finding binary XORs T: 0.04 s found: 95
2454.63/78.26 c Replacing 160 vars Replaced 23049 lits Time: 0.04 s
2569.07/81.89 c N dy 948 144632 7338 38067 146781 18113 171715 449879 7.95 8.51
2630.43/83.72 c Finding binary XORs T: 0.04 s found: 102
2630.43/83.75 c Replacing 102 vars Replaced 13709 lits Time: 0.03 s
2690.53/85.66 c N dy 1001 154014 7224 37858 146395 27243 170721 833720 8.00 8.43
2748.06/87.45 c S st 1033 158009 7220 37858 146401 31195 170721 998306 8.04 no data
2754.46/87.62 c S st 1033 158511 7220 37858 146406 31689 170721 1020483 8.04 no data
2754.46/87.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2856.75/90.88 c Flit: 28 Blit: 1 bXBeca: 0 bXProp: 46 Bins: 52961 BRemL: 32443 BRemN: 9 P: 30.4M T: 3.24
2859.94/90.93 c Replacing 46 vars Replaced 10440 lits Time: 0.05 s
2859.94/90.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2863.14/91.00 c bin-w-bin subsume rem 21270 bins time: 0.05 s
2863.14/91.05 c subs with bin: 520 lits-rem: 462 v-fix: 0 time: 0.04 s
2863.14/91.08 c Subs w/ non-existent bins: 58 l-rem: 71 v-fix: 0 done: 7144 time: 0.04 s
2863.14/91.10 c Removed useless bin: 30 fixed: 0 props: 1.00M time: 0.01 s
2866.35/91.19 c lits-rem: 43 cl-subs: 2444 v-elim: 138 v-fix: 0 time: 0.10 s
2879.11/91.56 c subs with bin: 465 lits-rem: 3258 v-fix: 0 time: 0.33 s
2885.51/91.72 c lits-rem: 1017 cl-subs: 696 v-elim: 0 v-fix: 0 time: 0.14 s
2885.51/91.77 c vivif2 -- cl tried 34904 cl shrink 198 lits rem 209 time: 0.05
2888.71/91.86 c vivif2 -- cl tried 25732 cl shrink 4191 lits rem 15907 time: 0.09
2908.52/92.47 c asymm cl-useful: 83/2308/34875 lits-rem:211 time: 0.62
2908.52/92.49 c calculated reachability. Time: 0.01
2908.52/92.49 c N dy 1033 158511 7006 34823 119075 25723 157483 589900 8.04 no data
2911.71/92.54 c Finding binary XORs T: 0.04 s found: 7
3013.97/95.75 c Finding binary XORs T: 0.04 s found: 197
3013.97/95.78 c Replacing 204 vars Replaced 20087 lits Time: 0.03 s
3026.14/96.18 c N dy 1080 169092 6762 34601 127029 21731 156383 517960 8.03 8.48
3166.80/100.56 c N dy 1152 181531 6744 34601 128206 34066 156382 996256 8.11 8.55
3307.45/104.91 c N dy 1246 193213 6725 34601 128988 26896 156381 632233 8.23 8.74
3358.57/106.50 c Finding binary XORs T: 0.04 s found: 148
3358.57/106.54 c Replacing 148 vars Replaced 21793 lits Time: 0.04 s
3464.06/109.86 c N dy 1304 205595 6539 34235 134474 38696 154621 1121243 8.23 10.13
3607.90/114.38 c Finding binary XORs T: 0.04 s found: 118
3611.70/114.42 c Replacing 118 vars Replaced 20567 lits Time: 0.04 s
3627.08/114.99 c N dy 1392 218721 6396 34015 136613 31676 153593 834388 8.31 10.64
3834.86/121.44 c N dy 1466 232680 6374 34015 139327 24518 153593 495603 8.34 11.45
3896.23/123.33 c Finding binary XORs T: 0.04 s found: 106
3896.23/123.36 c Replacing 106 vars Replaced 12903 lits Time: 0.03 s
3905.19/123.62 c S st 1490 237766 6261 33853 132146 28745 152798 659655 8.35 no data
3911.58/123.82 c S st 1490 238269 6261 33853 132152 29241 152798 679625 8.35 no data
3911.58/123.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4007.47/126.86 c Flit: 14 Blit: 1 bXBeca: 0 bXProp: 15 Bins: 55980 BRemL: 31924 BRemN: 15 P: 27.1M T: 3.03
4007.47/126.89 c Replacing 15 vars Replaced 8487 lits Time: 0.03 s
4010.67/126.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4010.67/126.97 c bin-w-bin subsume rem 24118 bins time: 0.06 s
4013.87/127.00 c subs with bin: 634 lits-rem: 604 v-fix: 0 time: 0.04 s
4013.87/127.03 c Subs w/ non-existent bins: 53 l-rem: 68 v-fix: 0 done: 6231 time: 0.03 s
4013.87/127.04 c Removed useless bin: 46 fixed: 0 props: 0.70M time: 0.01 s
4017.06/127.14 c lits-rem: 41 cl-subs: 3051 v-elim: 213 v-fix: 0 time: 0.09 s
4023.46/127.34 c subs with bin: 399 lits-rem: 3287 v-fix: 0 time: 0.18 s
4026.66/127.47 c lits-rem: 941 cl-subs: 930 v-elim: 0 v-fix: 0 time: 0.11 s
4029.84/127.51 c vivif2 -- cl tried 30401 cl shrink 238 lits rem 261 time: 0.04
4029.84/127.58 c vivif2 -- cl tried 24811 cl shrink 3196 lits rem 9160 time: 0.07
4049.02/128.16 c asymm cl-useful: 24/1360/30363 lits-rem:72 time: 0.58
4049.02/128.18 c calculated reachability. Time: 0.01
4049.02/128.18 c N dy 1490 238269 6018 30339 100427 24796 137713 458572 8.35 no data
4052.21/128.22 c Finding binary XORs T: 0.04 s found: 11
4167.27/131.84 c Finding binary XORs T: 0.04 s found: 89
4167.27/131.88 c Replacing 100 vars Replaced 14646 lits Time: 0.04 s
4240.75/134.11 c N dy 1574 254163 5892 30226 111068 19928 137038 328058 8.38 8.86
4336.64/137.18 c Finding binary XORs T: 0.04 s found: 37
4429.33/140.06 c N dy 1692 270544 5874 30163 113240 36126 136709 903094 8.48 8.94
4480.49/141.63 c Finding binary XORs T: 0.04 s found: 60
4480.49/141.68 c Replacing 97 vars Replaced 12036 lits Time: 0.05 s
4681.87/147.95 c N dy 1806 289556 5749 30048 113416 32309 136049 720270 8.57 9.04
4883.24/154.25 c Finding binary XORs T: 0.04 s found: 62
4883.24/154.27 c Replacing 62 vars Replaced 6605 lits Time: 0.02 s
4908.83/155.00 c F st 1912 306251 5660 29872 107578 25174 135168 392747 8.63 7.94
4931.20/155.71 c N st 1916 308283 5659 29872 107555 27185 135154 449816 8.63 no data
5197.13/164.05 c N dy 2050 328121 5649 29872 112896 46756 135154 964308 8.72 9.20
5199.72/164.11 c Finding binary XORs T: 0.04 s found: 40
5314.77/167.78 c Finding binary XORs T: 0.04 s found: 20
5317.96/167.80 c Replacing 60 vars Replaced 10956 lits Time: 0.02 s
5475.18/172.75 c N dy 2162 348347 5559 29689 110258 41787 134161 776779 8.77 9.24
5596.05/176.53 c Finding binary XORs T: 0.04 s found: 68
5596.05/176.57 c Replacing 68 vars Replaced 11756 lits Time: 0.04 s
5612.05/177.08 c S st 2201 357403 5482 28787 110016 41013 130068 790610 8.77 7.60
5621.62/177.31 c S st 2201 357906 5481 28787 110029 41500 130068 806775 8.77 no data
5621.62/177.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
5727.11/180.64 c Flit: 23 Blit: 5 bXBeca: 0 bXProp: 275 Bins: 140870 BRemL: 55024 BRemN: 22 P: 36.9M T: 3.31
5730.31/180.71 c Replacing 275 vars Replaced 189831 lits Time: 0.07 s
5730.31/180.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5736.71/180.95 c bin-w-bin subsume rem 76011 bins time: 0.22 s
5736.71/180.99 c subs with bin: 1965 lits-rem: 2412 v-fix: 0 time: 0.04 s
5739.90/181.01 c Subs w/ non-existent bins: 121 l-rem: 166 v-fix: 0 done: 5178 time: 0.02 s
5739.90/181.03 c Removed useless bin: 83 fixed: 0 props: 0.39M time: 0.01 s
5743.10/181.11 c lits-rem: 79 cl-subs: 2041 v-elim: 212 v-fix: 0 time: 0.08 s
5752.70/181.40 c subs with bin: 778 lits-rem: 14214 v-fix: 0 time: 0.26 s
5756.49/181.61 c lits-rem: 1812 cl-subs: 1495 v-elim: 0 v-fix: 0 time: 0.20 s
5759.69/181.65 c vivif2 -- cl tried 24830 cl shrink 433 lits rem 476 time: 0.04
5762.28/181.74 c vivif2 -- cl tried 31419 cl shrink 5026 lits rem 9863 time: 0.09
5778.26/182.26 c asymm cl-useful: 35/1194/24777 lits-rem:105 time: 0.52
5778.26/182.28 c calculated reachability. Time: 0.01
5778.26/182.28 c N dy 2201 357906 4966 24742 90582 31389 113802 494176 8.77 no data
5781.46/182.32 c Finding binary XORs T: 0.05 s found: 17
5865.20/184.97 c Finding binary XORs T: 0.04 s found: 133
5865.20/184.98 c Replacing 150 vars Replaced 7957 lits Time: 0.01 s
5938.08/187.28 c Following stats are for *FIRST FINISHED THREAD ONLY*
5938.08/187.28 c num threads : 32
5938.08/187.28 c restarts : 2213
5938.08/187.28 c dynamic restarts : 2189
5938.08/187.28 c static restarts : 24
5938.08/187.28 c full restarts : 3
5938.08/187.28 c total simplify time : 2.70
5938.08/187.28 c learnts DL2 : 0
5938.08/187.28 c learnts size 2 : 793203
5938.08/187.28 c learnts size 1 : 2946 (25.22 % of vars)
5938.08/187.28 c filedLit time : 6.06 (3.26 % time)
5938.08/187.28 c v-elim SatELite : 825 (7.06 % vars)
5938.08/187.28 c SatELite time : 1.04 (0.56 % time)
5938.08/187.28 c v-elim xor : 0 (0.00 % vars)
5938.08/187.28 c xor elim time : 0.03 (0.02 % time)
5938.08/187.28 c num binary xor trees : 687
5938.08/187.28 c binxor trees' crown : 4114 (5.99 leafs/tree)
5938.08/187.28 c bin xor find time : 0.93
5938.08/187.28 c OTF clause improved : 3967 (0.01 clauses/conflict)
5938.08/187.28 c OTF impr. size diff : 5240 (1.32 lits/clause)
5938.08/187.28 c OTF cl watch-shrink : 271182 (0.72 clauses/conflict)
5938.08/187.28 c OTF cl watch-sh-lit : 1423549 (5.25 lits/clause)
5938.08/187.28 c tried to recurMin cls : 146715 (39.13 % of conflicts)
5938.08/187.28 c updated cache : 3129 (0.02 lits/tried recurMin)
5938.08/187.28 c unit cls recevied : 1113 (37.78 % of units)
5938.08/187.28 c unit cls sent : 47 (1.60 % of units)
5938.08/187.28 c bin cls recevied : 766113
5938.08/187.28 c bin cls sent : 7687
5938.08/187.28 c clauses over max glue : 0 (0.00 % of all clauses)
5938.08/187.28 c conflicts : 374929 (2018.29 / sec)
5938.08/187.28 c decisions : 1000935 (0.99 % random)
5938.08/187.28 c bogo-props : 6362534709 (34250309.33 / sec)
5938.08/187.28 c conflict literals : 12731006 (39.70 % deleted)
5938.08/187.28 c Memory used : 4012.20 MB
5938.08/187.28 c single-thread CPU time : 185.77 s
5938.08/187.28 c all-threads sum CPU time : 5923.48 s
5938.08/187.28 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-3400857-1307054036/watcher-3400857-1307054036 -o /tmp/evaluation-result-3400857-1307054036/solver-3400857-1307054036 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400857-1307054036.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 30.14 28.73 27.20 1/413 9145
/proc/meminfo: memFree=263288788/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=338000 CPUtime=0.72 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) R 9143 9145 9001 0 -1 4202496 438 0 0 0 72 0 0 0 25 0 32 0 11315969 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/9145/statm: 84500 377 297 95 0 79482 0
[pid=9145/tid=9146] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9146/stat : 9146 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9148] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9148/stat : 9148 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9145/tid=9149] ppid=9143 vsize=338000 CPUtime=0 cores=0-31
/proc/9145/task/9149/stat : 9149 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9145/tid=9150] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9150/stat : 9150 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9145/tid=9151] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9151/stat : 9151 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567920 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9145/tid=9152] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9152/stat : 9152 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567912 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9145/tid=9153] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9153/stat : 9153 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9145/tid=9154] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9154/stat : 9154 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9145/tid=9155] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9155/stat : 9155 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9156] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9156/stat : 9156 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567920 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9145/tid=9157] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9157/stat : 9157 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9145/tid=9158] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9158/stat : 9158 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9145/tid=9159] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9159/stat : 9159 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9145/tid=9160] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9160/stat : 9160 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9145/tid=9161] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9161/stat : 9161 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9145/tid=9162] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9162/stat : 9162 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9145/tid=9163] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9163/stat : 9163 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9145/tid=9164] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9164/stat : 9164 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567926 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9145/tid=9165] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9165/stat : 9165 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9145/tid=9166] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9166/stat : 9166 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9145/tid=9167] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9167/stat : 9167 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9145/tid=9168] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9168/stat : 9168 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9145/tid=9169] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9169/stat : 9169 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9145/tid=9170] ppid=9143 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9145/task/9170/stat : 9170 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567916 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9145/tid=9171] ppid=9143 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9145/task/9171/stat : 9171 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9145/tid=9172] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9172/stat : 9172 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9145/tid=9173] ppid=9143 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9145/task/9173/stat : 9173 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9145/tid=9174] ppid=9143 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9145/task/9174/stat : 9174 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 47085581567922 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9145/tid=9175] ppid=9143 vsize=338000 CPUtime=0 cores=0-31
/proc/9145/task/9175/stat : 9175 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9145/tid=9176] ppid=9143 vsize=338000 CPUtime=0 cores=0-31
/proc/9145/task/9176/stat : 9176 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 11315970 346112000 377 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.12716 s]
/proc/loadavg: 30.14 28.73 27.20 1/413 9145
/proc/meminfo: memFree=263288788/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=732436 CPUtime=3.24 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) R 9143 9145 9001 0 -1 4202496 7526 0 0 0 267 57 0 0 25 0 32 0 11315969 750014464 7363 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/9145/statm: 183109 7385 330 95 0 178091 0
[pid=9145/tid=9146] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9146/stat : 9146 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 207 0 0 0 9 1 0 0 25 0 32 0 11315970 750014464 7398 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 242 0 0 0 9 1 0 0 18 0 32 0 11315970 750014464 7398 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9148] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9148/stat : 9148 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 220 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7398 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9145/tid=9149] ppid=9143 vsize=732436 CPUtime=0.07 cores=0-31
/proc/9145/task/9149/stat : 9149 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 229 0 0 0 6 1 0 0 25 0 32 0 11315970 750014464 7417 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9145/tid=9150] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9150/stat : 9150 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 215 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7435 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9145/tid=9151] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9151/stat : 9151 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 259 0 0 0 9 1 0 0 18 0 32 0 11315970 750014464 7452 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9145/tid=9152] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9152/stat : 9152 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 221 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7452 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9145/tid=9153] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9153/stat : 9153 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 276 0 0 0 8 2 0 0 18 0 32 0 11315970 750014464 7453 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9145/tid=9154] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9154/stat : 9154 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 215 0 0 0 9 1 0 0 18 0 32 0 11315970 750014464 7464 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9145/tid=9155] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9155/stat : 9155 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 231 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7480 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9156] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9156/stat : 9156 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 236 0 0 0 9 1 0 0 25 0 32 0 11315970 750014464 7502 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9145/tid=9157] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9157/stat : 9157 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 204 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7504 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9145/tid=9158] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9158/stat : 9158 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 271 0 0 0 9 1 0 0 18 0 32 0 11315970 750014464 7504 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9145/tid=9159] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9159/stat : 9159 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 194 0 0 0 9 1 0 0 25 0 32 0 11315970 750014464 7513 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9145/tid=9160] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9160/stat : 9160 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 271 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7513 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 13 0 0 0
[pid=9145/tid=9161] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9161/stat : 9161 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 190 0 0 0 8 1 0 0 25 0 32 0 11315970 750014464 7529 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9145/tid=9162] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9162/stat : 9162 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 231 0 0 0 8 1 0 0 25 0 32 0 11315970 750014464 7550 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9145/tid=9163] ppid=9143 vsize=732436 CPUtime=0.1 cores=0-31
/proc/9145/task/9163/stat : 9163 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 279 0 0 0 8 2 0 0 18 0 32 0 11315970 750014464 7555 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9145/tid=9164] ppid=9143 vsize=732436 CPUtime=0.09 cores=0-31
/proc/9145/task/9164/stat : 9164 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 211 0 0 0 8 1 0 0 18 0 32 0 11315970 750014464 7555 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9145/tid=9165] ppid=9143 vsize=732568 CPUtime=0.09 cores=0-31
/proc/9145/task/9165/stat : 9165 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 233 0 0 0 8 1 0 0 18 0 32 0 11315970 750149632 7555 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9145/tid=9166] ppid=9143 vsize=732568 CPUtime=0.1 cores=0-31
/proc/9145/task/9166/stat : 9166 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 276 0 0 0 9 1 0 0 18 0 32 0 11315970 750149632 7574 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9145/tid=9167] ppid=9143 vsize=732568 CPUtime=0.1 cores=0-31
/proc/9145/task/9167/stat : 9167 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 249 0 0 0 8 2 0 0 25 0 32 0 11315970 750149632 7612 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9145/tid=9168] ppid=9143 vsize=732568 CPUtime=0.09 cores=0-31
/proc/9145/task/9168/stat : 9168 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 231 0 0 0 8 1 0 0 25 0 32 0 11315970 750149632 7624 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9145/tid=9169] ppid=9143 vsize=732568 CPUtime=0.09 cores=0-31
/proc/9145/task/9169/stat : 9169 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 213 0 0 0 8 1 0 0 25 0 32 0 11315970 750149632 7624 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9145/tid=9170] ppid=9143 vsize=732568 CPUtime=0.08 cores=0-31
/proc/9145/task/9170/stat : 9170 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 226 0 0 0 7 1 0 0 18 0 32 0 11315970 750149632 7628 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9145/tid=9171] ppid=9143 vsize=732568 CPUtime=0.1 cores=0-31
/proc/9145/task/9171/stat : 9171 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 237 0 0 0 8 2 0 0 18 0 32 0 11315970 750149632 7641 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9145/tid=9172] ppid=9143 vsize=732568 CPUtime=0.09 cores=0-31
/proc/9145/task/9172/stat : 9172 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 200 0 0 0 8 1 0 0 25 0 32 0 11315970 750149632 7656 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9145/tid=9173] ppid=9143 vsize=732568 CPUtime=0.09 cores=0-31
/proc/9145/task/9173/stat : 9173 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 220 0 0 0 8 1 0 0 18 0 32 0 11315970 750149632 7705 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9145/tid=9174] ppid=9143 vsize=732568 CPUtime=0.06 cores=0-31
/proc/9145/task/9174/stat : 9174 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 248 0 0 0 5 1 0 0 25 0 32 0 11315970 750149632 7725 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9145/tid=9175] ppid=9143 vsize=732568 CPUtime=0.02 cores=0-31
/proc/9145/task/9175/stat : 9175 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 12 0 0 0 2 0 0 0 18 0 32 0 11315970 750149632 7726 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9176] ppid=9143 vsize=732568 CPUtime=0.06 cores=0-31
/proc/9145/task/9176/stat : 9176 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 278 0 0 0 5 1 0 0 18 0 32 0 11315970 750149632 7726 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 732436
[startup+0.204344 s]
/proc/loadavg: 30.14 28.73 27.20 1/413 9145
/proc/meminfo: memFree=263288788/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=1272352 CPUtime=4.06 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) R 9143 9145 9001 0 -1 4202496 18825 0 0 0 279 127 0 0 17 0 32 0 11315969 1302888448 17735 268435456000 4194304 4580107 140735177228432 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9145/statm: 318088 17737 332 95 0 313070 0
[pid=9145/tid=9146] ppid=9143 vsize=1272352 CPUtime=0.12 cores=0-31
/proc/9145/task/9146/stat : 9146 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 405 0 0 0 9 3 0 0 17 0 32 0 11315970 1302888448 17753 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604483719519712 0 0 -1 1 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=1272352 CPUtime=0.13 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 635 0 0 0 9 4 0 0 17 0 32 0 11315970 1302888448 17802 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9148] ppid=9143 vsize=1272352 CPUtime=0.1 cores=0-31
/proc/9145/task/9148/stat : 9148 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 273 0 0 0 8 2 0 0 17 0 32 0 11315970 1302888448 17806 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604506189536736 0 0 -1 20 0 0 0
[pid=9145/tid=9149] ppid=9143 vsize=1272352 CPUtime=0.1 cores=0-31
/proc/9145/task/9149/stat : 9149 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 698 0 0 0 6 4 0 0 17 0 32 0 11315970 1302888448 17807 268435456000 4194304 4580107 140735177228432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9145/tid=9150] ppid=9143 vsize=1272448 CPUtime=0.13 cores=0-31
/proc/9145/task/9150/stat : 9150 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 747 0 0 0 9 4 0 0 17 0 32 0 11315970 1302986752 17809 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604506213350880 0 0 -1 4 0 0 0
[pid=9145/tid=9151] ppid=9143 vsize=1272188 CPUtime=0.11 cores=0-31
/proc/9145/task/9151/stat : 9151 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 278 0 0 0 9 2 0 0 17 0 32 0 11315970 1302720512 17752 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604505443007968 0 0 -1 24 0 0 0
[pid=9145/tid=9152] ppid=9143 vsize=1272188 CPUtime=0.12 cores=0-31
/proc/9145/task/9152/stat : 9152 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 401 0 0 0 9 3 0 0 17 0 32 0 11315970 1302720512 17760 268435456000 4194304 4580107 140735177228432 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9145/tid=9153] ppid=9143 vsize=1272284 CPUtime=0.13 cores=0-31
/proc/9145/task/9153/stat : 9153 (strangenight2-m) D 9143 9145 9001 0 -1 4202560 701 0 0 0 9 4 0 0 17 0 32 0 11315970 1302818816 17773 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9145/tid=9154] ppid=9143 vsize=1272284 CPUtime=0.13 cores=0-31
/proc/9145/task/9154/stat : 9154 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 579 0 0 0 9 4 0 0 17 0 32 0 11315970 1302818816 17775 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604471298481632 0 0 -1 6 0 0 0
[pid=9145/tid=9155] ppid=9143 vsize=1272800 CPUtime=0.13 cores=0-31
/proc/9145/task/9155/stat : 9155 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 641 0 0 0 9 4 0 0 17 0 32 0 11315970 1303347200 17786 268435456000 4194304 4580107 140735177228432 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9156] ppid=9143 vsize=1272800 CPUtime=0.11 cores=0-31
/proc/9145/task/9156/stat : 9156 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 395 0 0 0 9 2 0 0 17 0 32 0 11315970 1303347200 17797 268435456000 4194304 4580107 140735177228432 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9145/tid=9157] ppid=9143 vsize=1272800 CPUtime=0.13 cores=0-31
/proc/9145/task/9157/stat : 9157 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 564 0 0 0 9 4 0 0 17 0 32 0 11315970 1303347200 17833 268435456000 4194304 4580107 140735177228432 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9145/tid=9158] ppid=9143 vsize=1272800 CPUtime=0.13 cores=0-31
/proc/9145/task/9158/stat : 9158 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 751 0 0 0 9 4 0 0 17 0 32 0 11315970 1303347200 17860 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604463842958816 0 0 -1 7 0 0 0
[pid=9145/tid=9159] ppid=9143 vsize=1272800 CPUtime=0.14 cores=0-31
/proc/9145/task/9159/stat : 9159 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 783 0 0 0 9 5 0 0 18 0 32 0 11315970 1303347200 17795 268435456000 4194304 4580107 140735177228432 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9145/tid=9160] ppid=9143 vsize=1272540 CPUtime=0.11 cores=0-31
/proc/9145/task/9160/stat : 9160 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 331 0 0 0 9 2 0 0 17 0 32 0 11315970 1303080960 17807 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 29 0 0 0
[pid=9145/tid=9161] ppid=9143 vsize=1272540 CPUtime=0.1 cores=0-31
/proc/9145/task/9161/stat : 9161 (strangenight2-m) S 9143 9145 9001 0 -1 4202560 268 0 0 0 8 2 0 0 25 0 32 0 11315970 1303080960 17812 268435456000 4194304 4580107 140735177228432 18446744073709551615 258651060958 0 0 4096 2 18446604499424214496 0 0 -1 14 0 0 0
[pid=9145/tid=9162] ppid=9143 vsize=1272540 CPUtime=0.13 cores=0-31
################
# More data... #
################
/proc/9145/task/9169/stat : 9169 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27771 0 0 0 18405 44 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9145/tid=9170] ppid=9143 vsize=4239564 CPUtime=184.69 cores=0-31
/proc/9145/task/9170/stat : 9170 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31731 0 0 0 18429 40 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9145/tid=9171] ppid=9143 vsize=4239564 CPUtime=184.24 cores=0-31
/proc/9145/task/9171/stat : 9171 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28815 0 0 0 18359 65 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9145/tid=9172] ppid=9143 vsize=4239564 CPUtime=184.6 cores=0-31
/proc/9145/task/9172/stat : 9172 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33485 0 0 0 18419 41 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9173] ppid=9143 vsize=4239564 CPUtime=182.91 cores=0-31
/proc/9145/task/9173/stat : 9173 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27147 0 0 0 18237 54 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9145/tid=9174] ppid=9143 vsize=4239564 CPUtime=184.1 cores=0-31
/proc/9145/task/9174/stat : 9174 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27991 0 0 0 18348 62 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9145/tid=9175] ppid=9143 vsize=4239564 CPUtime=181.67 cores=0-31
/proc/9145/task/9175/stat : 9175 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 29964 0 0 0 18114 53 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9145/tid=9176] ppid=9143 vsize=4239564 CPUtime=184.67 cores=0-31
/proc/9145/task/9176/stat : 9176 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 22997 0 0 0 18423 44 0 0 25 0 32 0 11315970 4341313536 552422 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 5886.95
Current children cumulated vsize (KiB) 4239564
[startup+186.402 s]
/proc/loadavg: 32.09 30.30 28.09 33/445 9183
/proc/meminfo: memFree=261092728/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=4174028 CPUtime=5912.52 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) R 9143 9145 9001 0 -1 4202496 977588 0 0 0 589538 1714 0 0 25 0 32 0 11315969 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9145/statm: 1043507 549511 378 95 0 1038489 0
[pid=9145/tid=9146] ppid=9143 vsize=4174028 CPUtime=185.07 cores=0-31
/proc/9145/task/9146/stat : 9146 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34859 0 0 0 18446 61 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=4174028 CPUtime=185.02 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34647 0 0 0 18432 70 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9145/tid=9148] ppid=9143 vsize=4174028 CPUtime=183.99 cores=0-31
/proc/9145/task/9148/stat : 9148 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34423 0 0 0 18346 53 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294721 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9145/tid=9149] ppid=9143 vsize=4174028 CPUtime=185.23 cores=0-31
/proc/9145/task/9149/stat : 9149 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 32016 0 0 0 18470 53 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9145/tid=9150] ppid=9143 vsize=4174028 CPUtime=185.51 cores=0-31
/proc/9145/task/9150/stat : 9150 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 37467 0 0 0 18505 46 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9145/tid=9151] ppid=9143 vsize=4174028 CPUtime=185.09 cores=0-31
/proc/9145/task/9151/stat : 9151 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33522 0 0 0 18457 52 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9145/tid=9152] ppid=9143 vsize=4174028 CPUtime=184.1 cores=0-31
/proc/9145/task/9152/stat : 9152 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 26718 0 0 0 18343 67 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4222180 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9145/tid=9153] ppid=9143 vsize=4174028 CPUtime=184.96 cores=0-31
/proc/9145/task/9153/stat : 9153 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33488 0 0 0 18448 48 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9145/tid=9154] ppid=9143 vsize=4174028 CPUtime=185.19 cores=0-31
/proc/9145/task/9154/stat : 9154 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27405 0 0 0 18463 56 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9145/tid=9155] ppid=9143 vsize=4174028 CPUtime=185.25 cores=0-31
/proc/9145/task/9155/stat : 9155 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31168 0 0 0 18471 54 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9145/tid=9156] ppid=9143 vsize=4174028 CPUtime=183.95 cores=0-31
/proc/9145/task/9156/stat : 9156 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 26999 0 0 0 18343 52 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9145/tid=9157] ppid=9143 vsize=4174028 CPUtime=184.7 cores=0-31
/proc/9145/task/9157/stat : 9157 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31472 0 0 0 18414 56 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9145/tid=9158] ppid=9143 vsize=4174028 CPUtime=182.17 cores=0-31
/proc/9145/task/9158/stat : 9158 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 25628 0 0 0 18153 64 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9145/tid=9159] ppid=9143 vsize=4174028 CPUtime=184.35 cores=0-31
/proc/9145/task/9159/stat : 9159 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33332 0 0 0 18398 37 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4322656 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9145/tid=9160] ppid=9143 vsize=4174028 CPUtime=184.46 cores=0-31
/proc/9145/task/9160/stat : 9160 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31675 0 0 0 18386 60 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9145/tid=9161] ppid=9143 vsize=4174028 CPUtime=185.12 cores=0-31
/proc/9145/task/9161/stat : 9161 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30307 0 0 0 18457 55 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9145/tid=9162] ppid=9143 vsize=4174028 CPUtime=185.24 cores=0-31
/proc/9145/task/9162/stat : 9162 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28288 0 0 0 18478 46 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4305563 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9145/tid=9163] ppid=9143 vsize=4174028 CPUtime=185.01 cores=0-31
/proc/9145/task/9163/stat : 9163 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30841 0 0 0 18458 43 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9164] ppid=9143 vsize=4174028 CPUtime=185.29 cores=0-31
/proc/9145/task/9164/stat : 9164 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 32366 0 0 0 18488 41 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9145/tid=9165] ppid=9143 vsize=4174028 CPUtime=184.54 cores=0-31
/proc/9145/task/9165/stat : 9165 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 29918 0 0 0 18399 55 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9145/tid=9166] ppid=9143 vsize=4174028 CPUtime=185.14 cores=0-31
/proc/9145/task/9166/stat : 9166 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 29396 0 0 0 18467 47 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9145/tid=9167] ppid=9143 vsize=4174028 CPUtime=185.15 cores=0-31
/proc/9145/task/9167/stat : 9167 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28703 0 0 0 18456 59 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9145/tid=9168] ppid=9143 vsize=4174028 CPUtime=184.67 cores=0-31
/proc/9145/task/9168/stat : 9168 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 23603 0 0 0 18406 61 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9145/tid=9169] ppid=9143 vsize=4174028 CPUtime=185.29 cores=0-31
/proc/9145/task/9169/stat : 9169 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27774 0 0 0 18485 44 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9145/tid=9170] ppid=9143 vsize=4174028 CPUtime=185.49 cores=0-31
/proc/9145/task/9170/stat : 9170 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31768 0 0 0 18509 40 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9145/tid=9171] ppid=9143 vsize=4174028 CPUtime=185.04 cores=0-31
/proc/9145/task/9171/stat : 9171 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28815 0 0 0 18439 65 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9145/tid=9172] ppid=9143 vsize=4174028 CPUtime=185.4 cores=0-31
/proc/9145/task/9172/stat : 9172 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33485 0 0 0 18499 41 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9173] ppid=9143 vsize=4174028 CPUtime=183.71 cores=0-31
/proc/9145/task/9173/stat : 9173 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27149 0 0 0 18317 54 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9145/tid=9174] ppid=9143 vsize=4174028 CPUtime=184.9 cores=0-31
/proc/9145/task/9174/stat : 9174 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27994 0 0 0 18428 62 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4319287 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9145/tid=9175] ppid=9143 vsize=4174028 CPUtime=182.44 cores=0-31
/proc/9145/task/9175/stat : 9175 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30011 0 0 0 18191 53 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9145/tid=9176] ppid=9143 vsize=4174028 CPUtime=185.47 cores=0-31
/proc/9145/task/9176/stat : 9176 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 22997 0 0 0 18503 44 0 0 25 0 32 0 11315970 4274204672 549511 268435456000 4194304 4580107 140735177228432 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 5912.52
Current children cumulated vsize (KiB) 4174028
[startup+187.202 s]
/proc/loadavg: 32.09 30.30 28.09 33/445 9183
/proc/meminfo: memFree=261103332/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=4108492 CPUtime=5938.08 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) R 9143 9145 9001 0 -1 4202496 978578 0 0 0 592094 1714 0 0 25 0 32 0 11315969 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4317525 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9145/statm: 1027123 546976 378 95 0 1022105 0
[pid=9145/tid=9146] ppid=9143 vsize=4108492 CPUtime=185.87 cores=0-31
/proc/9145/task/9146/stat : 9146 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34894 0 0 0 18526 61 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=4108492 CPUtime=185.82 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34647 0 0 0 18512 70 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9145/tid=9148] ppid=9143 vsize=4108492 CPUtime=184.79 cores=0-31
/proc/9145/task/9148/stat : 9148 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 34423 0 0 0 18426 53 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9145/tid=9149] ppid=9143 vsize=4108492 CPUtime=186.03 cores=0-31
/proc/9145/task/9149/stat : 9149 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 32016 0 0 0 18550 53 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9145/tid=9150] ppid=9143 vsize=4108492 CPUtime=186.31 cores=0-31
/proc/9145/task/9150/stat : 9150 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 37502 0 0 0 18585 46 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9145/tid=9151] ppid=9143 vsize=4108492 CPUtime=185.89 cores=0-31
/proc/9145/task/9151/stat : 9151 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33997 0 0 0 18537 52 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9145/tid=9152] ppid=9143 vsize=4108492 CPUtime=184.9 cores=0-31
/proc/9145/task/9152/stat : 9152 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 26721 0 0 0 18423 67 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9145/tid=9153] ppid=9143 vsize=4108492 CPUtime=185.76 cores=0-31
/proc/9145/task/9153/stat : 9153 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33533 0 0 0 18528 48 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9145/tid=9154] ppid=9143 vsize=4108492 CPUtime=185.99 cores=0-31
/proc/9145/task/9154/stat : 9154 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27463 0 0 0 18543 56 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9145/tid=9155] ppid=9143 vsize=4108492 CPUtime=186.05 cores=0-31
/proc/9145/task/9155/stat : 9155 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31206 0 0 0 18551 54 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9145/tid=9156] ppid=9143 vsize=4108492 CPUtime=184.75 cores=0-31
/proc/9145/task/9156/stat : 9156 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 26999 0 0 0 18423 52 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9145/tid=9157] ppid=9143 vsize=4108492 CPUtime=185.5 cores=0-31
/proc/9145/task/9157/stat : 9157 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31490 0 0 0 18494 56 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9145/tid=9158] ppid=9143 vsize=4108492 CPUtime=182.97 cores=0-31
/proc/9145/task/9158/stat : 9158 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 25628 0 0 0 18233 64 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9145/tid=9159] ppid=9143 vsize=4108492 CPUtime=185.15 cores=0-31
/proc/9145/task/9159/stat : 9159 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33334 0 0 0 18478 37 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9145/tid=9160] ppid=9143 vsize=4108492 CPUtime=185.26 cores=0-31
/proc/9145/task/9160/stat : 9160 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31705 0 0 0 18466 60 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9145/tid=9161] ppid=9143 vsize=4108492 CPUtime=185.92 cores=0-31
/proc/9145/task/9161/stat : 9161 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30341 0 0 0 18536 56 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9145/tid=9162] ppid=9143 vsize=4108492 CPUtime=186.04 cores=0-31
/proc/9145/task/9162/stat : 9162 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28330 0 0 0 18558 46 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9145/tid=9163] ppid=9143 vsize=4108492 CPUtime=185.81 cores=0-31
/proc/9145/task/9163/stat : 9163 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30843 0 0 0 18538 43 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9145/tid=9164] ppid=9143 vsize=4108492 CPUtime=186.09 cores=0-31
/proc/9145/task/9164/stat : 9164 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 32366 0 0 0 18568 41 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4292903 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9145/tid=9165] ppid=9143 vsize=4108492 CPUtime=185.34 cores=0-31
/proc/9145/task/9165/stat : 9165 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 29918 0 0 0 18479 55 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9145/tid=9166] ppid=9143 vsize=4108492 CPUtime=185.94 cores=0-31
/proc/9145/task/9166/stat : 9166 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 29432 0 0 0 18547 47 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9145/tid=9167] ppid=9143 vsize=4108492 CPUtime=185.95 cores=0-31
/proc/9145/task/9167/stat : 9167 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28750 0 0 0 18536 59 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9145/tid=9168] ppid=9143 vsize=4108492 CPUtime=185.47 cores=0-31
/proc/9145/task/9168/stat : 9168 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 23605 0 0 0 18486 61 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9145/tid=9169] ppid=9143 vsize=4108492 CPUtime=186.09 cores=0-31
/proc/9145/task/9169/stat : 9169 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27776 0 0 0 18565 44 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9145/tid=9170] ppid=9143 vsize=4108492 CPUtime=186.29 cores=0-31
/proc/9145/task/9170/stat : 9170 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 31803 0 0 0 18589 40 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4518613 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9145/tid=9171] ppid=9143 vsize=4108492 CPUtime=185.84 cores=0-31
/proc/9145/task/9171/stat : 9171 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 28815 0 0 0 18519 65 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9145/tid=9172] ppid=9143 vsize=4108492 CPUtime=186.2 cores=0-31
/proc/9145/task/9172/stat : 9172 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 33485 0 0 0 18579 41 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9145/tid=9173] ppid=9143 vsize=4108492 CPUtime=184.51 cores=0-31
/proc/9145/task/9173/stat : 9173 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27149 0 0 0 18397 54 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9145/tid=9174] ppid=9143 vsize=4108492 CPUtime=185.7 cores=0-31
/proc/9145/task/9174/stat : 9174 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 27999 0 0 0 18508 62 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9145/tid=9175] ppid=9143 vsize=4108492 CPUtime=183.21 cores=0-31
/proc/9145/task/9175/stat : 9175 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 30054 0 0 0 18268 53 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4305522 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9145/tid=9176] ppid=9143 vsize=4108492 CPUtime=186.27 cores=0-31
/proc/9145/task/9176/stat : 9176 (strangenight2-m) R 9143 9145 9001 0 -1 4202560 22997 0 0 0 18583 44 0 0 25 0 32 0 11315970 4207095808 546976 268435456000 4194304 4580107 140735177228432 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 5938.08
Current children cumulated vsize (KiB) 4108492
[startup+187.401 s]
/proc/loadavg: 32.09 30.30 28.09 33/445 9183
/proc/meminfo: memFree=261103332/264257624 swapFree=67054984/67111528
[pid=9145] ppid=9143 vsize=0 CPUtime=5940.76 cores=0-31
/proc/9145/stat : 9145 (strangenight2-m) Z 9143 9145 9001 0 -1 4203548 978603 0 0 0 592350 1726 0 0 25 0 2 0 11315969 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9145/statm: 0 0 0 0 0 0 0
[pid=9145/tid=9147] ppid=9143 vsize=0 CPUtime=186.01 cores=0-31
/proc/9145/task/9147/stat : 9147 (strangenight2-m) R 9143 9145 9001 0 -1 4203588 34647 0 0 0 18520 81 0 0 25 0 2 0 11315970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 5940.76
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 187.431
CPU time (s): 5940.8
CPU user time (s): 5923.51
CPU system time (s): 17.2954
CPU usage (%): 3169.6
Max. virtual memory (cumulated for all children) (KiB): 4501708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5923.51
system time used= 17.2954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 978603
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= 403009
involuntary context switches= 18398
runsolver used 1.11483 second user time and 4.30934 second system time
The end
Begin job on node200 at 2011-06-03 00:33:56
IDJOB=3400857
IDBENCH=84215
IDSOLVER=1886
FILE ID=node200/3400857-1307054036
RUNJOBID= node200-1307053925-9015
PBS_JOBID= 13497761
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400857-1307054036/watcher-3400857-1307054036 -o /tmp/evaluation-result-3400857-1307054036/solver-3400857-1307054036 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400857-1307054036.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=1601327946
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.043
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.043
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.05
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.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.35
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.043
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: 263289076 kB
Buffers: 37072 kB
Cached: 773436 kB
SwapCached: 7848 kB
Active: 74824 kB
Inactive: 753496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263289076 kB
SwapTotal: 67111528 kB
SwapFree: 67054984 kB
Dirty: 7264 kB
Writeback: 0 kB
AnonPages: 16000 kB
Mapped: 8592 kB
Slab: 52652 kB
PageTables: 4892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192192 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= 61736 MiB
End job on node200 at 2011-06-03 00:37:03