0.00/0.00 c Outputting solution to console
1.42/0.06 c Using 32 threads
1.42/0.07 c This is CryptoMiniSat 3.0.0
1.42/0.07 c WARNING: for repeatability, setting FPU to use double precision
1.42/0.07 c Reading file 'HOME/instance-3400643-1306266358.cnf'
1.42/0.09 c -- header says num vars: 154309
1.42/0.09 c -- header says num clauses: 3230738
227.01/16.32 c -- clauses added: 0 learnts, 3230738 normals, 0 xors
227.01/16.32 c -- vars added 154309
227.01/16.32 c Parsing time: 3.34 s
227.01/16.32 c N st 0 0 154309 1205743 2024994 0 9429251 0 no data no data
258.28/17.43 c asymm cl-useful: 7/877/1205741 lits-rem:20 time: 0.82
632.20/29.17 c Flit: 655 Blit: 3599 bXBeca: 0 bXProp: 13 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 11.85
638.60/29.33 c Cleaning up after failed var search: 0.15 s
648.81/29.71 c Replacing 13 vars Replaced 59010 lits Time: 0.38 s
762.14/42.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
773.08/43.30 c bin-w-bin subsume rem 290 bins time: 0.63 s
982.53/50.39 c subs with bin: 382 lits-rem: 9637 v-fix: 0 time: 6.86 s
1097.94/55.04 c Subs w/ non-existent bins: 28 l-rem: 22 v-fix: 0 done: 16524 time: 4.28 s
1106.85/55.38 c Removed useless bin: 1 fixed: 0 props: 20.01M time: 0.34 s
1349.05/63.75 c lits-rem: 456 cl-subs: 4090 v-elim: 16822 v-fix: 0 time: 6.68 s
1352.22/63.89 c Finding binary XORs T: 0.14 s found: 6
1364.13/64.20 c Replacing 6 vars Replaced 6684 lits Time: 0.30 s
1418.82/65.96 c Finding non-binary XORs: 1.46 s (found: 2, avg size: 3.0)
1418.82/65.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
1424.58/66.11 c calculated reachability. Time: 0.01
1430.97/66.30 c Calc default polars - time: 0.19 s pos: 9236 undec: 21171 neg: 123902
1430.97/66.30 c =========================================================================================
1430.97/66.30 c types(t): F = full restart, N = normal restart
1430.97/66.30 c types(t): S = simplification begin/end, E = solution found
1430.97/66.30 c restart types(rt): st = static, dy = dynamic
1430.97/66.30 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1430.97/66.30 c B st 0 0 133210 1274167 1841672 0 9483073 0 no data no data
1798.53/77.86 c N dy 17 4097 133210 1274167 1841764 3930 9483070 156459 15.10 22.18
2118.15/87.82 c N dy 42 8419 133191 1274167 1845040 8063 9483063 330895 17.57 18.74
2361.10/95.46 c N dy 54 13384 131700 1270714 1829220 12826 9413013 496767 15.75 16.71
2687.78/105.65 c N dy 83 17616 131700 1270714 1829290 16908 9413010 646922 16.33 17.33
2895.51/112.20 c N dy 106 21704 131684 1270714 1831648 11273 9413010 266037 16.55 23.24
3137.84/119.80 c F st 132 25003 131683 1270714 1831697 14481 9413007 391524 16.96 19.15
3272.09/123.92 c N st 135 26193 131656 1270714 1833825 15646 9412420 440615 16.96 no data
3489.46/130.70 c S st 138 30001 131653 1270714 1833844 19400 9412420 598981 16.96 no data
3524.58/131.81 c S st 138 30503 131650 1270714 1833869 19869 9412420 605622 16.96 no data
3531.60/132.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
4042.39/148.06 c Flit: 809 Blit: 5826 bXBeca: 0 bXProp: 90 Bins: 952513 BRemL: 2567 BRemN: 35 P: 200.0M T: 15.99
4048.80/148.29 c Cleaning up after failed var search: 0.23 s
4067.96/148.89 c Replacing 91 vars Replaced 129949 lits Time: 0.59 s
4106.32/150.01 c blocked clauses removed: 569 vars: 490 tried: 125515 T: 0.28 s
4115.92/150.36 c bin-w-bin subsume rem 7513 bins time: 0.35 s
4333.28/157.15 c subs with bin: 4997 lits-rem: 93798 v-fix: 0 time: 6.79 s
4368.44/158.27 c Subs w/ non-existent bins: 444 l-rem: 1314 v-fix: 1 done: 15868 time: 1.11 s
4378.02/158.59 c Removed useless bin: 1631 fixed: 0 props: 20.04M time: 0.29 s
4525.02/163.17 c lits-rem: 66 cl-subs: 6912 v-elim: 767 v-fix: 0 time: 4.57 s
4592.14/165.22 c subs with bin: 333 lits-rem: 12652 v-fix: 0 time: 1.77 s
4694.44/168.43 c lits-rem: 2385 cl-subs: 2989 v-elim: 0 v-fix: 0 time: 2.61 s
4694.44/168.43 c Added XOR as norm:1
4704.00/168.78 c asymm cl-useful: 0/13452/1255863 lits-rem:0 time: 0.35
4710.39/168.95 c calculated reachability. Time: 0.01
4710.39/168.95 c N dy 138 30503 123633 1255863 2441869 17895 8803474 2061601 16.96 no data
4716.79/169.11 c Finding binary XORs T: 0.15 s found: 184
4976.24/181.35 c N dy 171 34512 112904 1243759 2227012 21718 8331680 2084495 17.37 18.82
5310.89/251.82 c N dy 190 38864 109404 1243759 2244158 25954 8331674 2270986 17.31 18.45
5355.34/257.72 c N dy 213 42940 109026 1239161 2175631 15168 8154340 1672032 17.24 23.25
5601.27/292.94 c Finding binary XORs T: 0.14 s found: 1023
5607.87/293.58 c Replacing 1207 vars Replaced 234750 lits Time: 0.64 s
5642.18/296.10 c S st 234 45755 98689 1234557 2154539 17889 7771663 2043718 17.39 no data
5680.57/297.65 c S st 234 46255 98674 1234557 2154589 18320 7771663 2048955 17.39 no data
5688.37/297.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
6233.49/315.51 c Flit: 1548 Blit: 1426 bXBeca: 0 bXProp: 36 Bins: 460442 BRemL: 3850 BRemN: 30 P: 200.1M T: 17.58
6240.54/315.72 c Cleaning up after failed var search: 0.20 s
6259.06/316.35 c Replacing 36 vars Replaced 81391 lits Time: 0.62 s
6284.60/317.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
6297.39/317.57 c bin-w-bin subsume rem 24679 bins time: 0.40 s
6530.66/324.82 c subs with bin: 9351 lits-rem: 93939 v-fix: 0 time: 7.24 s
6569.02/326.02 c Subs w/ non-existent bins: 662 l-rem: 1907 v-fix: 5 done: 12666 time: 1.20 s
6578.60/326.37 c Removed useless bin: 3502 fixed: 0 props: 20.00M time: 0.34 s
6703.18/330.23 c lits-rem: 2372 cl-subs: 7860 v-elim: 1875 v-fix: 0 time: 3.84 s
6760.71/332.04 c subs with bin: 176 lits-rem: 6804 v-fix: 0 time: 1.58 s
6850.15/334.89 c lits-rem: 3551 cl-subs: 2272 v-elim: 0 v-fix: 0 time: 2.32 s
6866.14/335.42 c asymm cl-useful: 0/79759/1218556 lits-rem:0 time: 0.52
6873.17/335.58 c calculated reachability. Time: 0.01
6873.17/335.58 c N dy 234 46255 92353 1218556 2162187 16415 7308866 2193680 17.39 no data
6878.92/335.72 c Finding binary XORs T: 0.14 s found: 15
7128.91/343.71 c N dy 253 50322 91570 1218556 2176298 20381 7308865 2364894 17.36 18.88
7236.14/349.05 c N dy 269 54327 91280 1218327 2131203 24131 7265136 2457934 17.21 24.61
7331.35/356.13 c N dy 296 58871 90356 1218058 2101983 28515 7215332 2629021 17.27 18.30
7609.15/380.43 c N dy 327 62928 90285 1218058 2106212 32481 7215329 2806414 17.58 30.11
7753.90/385.71 c N dy 341 66975 90285 1218058 2106221 18938 7215318 2121734 17.40 21.90
7972.07/399.53 c Finding binary XORs T: 0.14 s found: 116
7993.88/401.58 c S st 357 69385 87108 1216641 2452626 21192 7081393 3012490 17.41 16.52
8006.12/402.64 c S st 357 69886 87103 1216641 2452641 21671 7081393 3017556 17.41 no data
8008.29/402.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
8131.21/413.66 c Flit: 1686 Blit: 471 bXBeca: 0 bXProp: 29 Bins: 601609 BRemL: 8455 BRemN: 77 P: 200.0M T: 10.74
8133.23/413.86 c Cleaning up after failed var search: 0.20 s
8139.22/414.34 c Replacing 160 vars Replaced 84366 lits Time: 0.48 s
8147.61/415.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
8153.05/415.51 c bin-w-bin subsume rem 18465 bins time: 0.44 s
8205.59/421.15 c subs with bin: 3566 lits-rem: 14161 v-fix: 0 time: 5.64 s
8240.37/424.80 c Subs w/ non-existent bins: 13 l-rem: 129 v-fix: 0 done: 14387 time: 3.65 s
8243.37/425.14 c Removed useless bin: 4523 fixed: 0 props: 20.01M time: 0.34 s
8285.35/429.30 c lits-rem: 694 cl-subs: 7026 v-elim: 283 v-fix: 0 time: 4.14 s
8293.90/430.00 c subs with bin: 424 lits-rem: 2380 v-fix: 0 time: 0.54 s
8339.96/432.45 c lits-rem: 429 cl-subs: 1465 v-elim: 0 v-fix: 0 time: 1.96 s
8350.68/432.93 c asymm cl-useful: 0/49285/1206017 lits-rem:0 time: 0.48
8355.59/433.10 c calculated reachability. Time: 0.01
8355.59/433.11 c N dy 357 69886 84215 1206017 2713814 19381 6871341 3595223 17.41 no data
8357.99/433.25 c Finding binary XORs T: 0.14 s found: 1
8658.00/443.64 c N dy 393 74450 80912 1205960 2558751 23831 6764943 3569509 17.69 18.72
8787.98/450.67 c N dy 424 79230 80912 1205960 2558786 28447 6764918 3747715 17.83 32.14
9135.62/495.98 c N dy 458 84748 80855 1205960 2576721 33804 6764916 4020576 17.87 19.49
9237.29/500.10 c Finding binary XORs T: 0.14 s found: 195
9269.26/501.17 c F st 474 87500 79185 1205784 2520278 36443 6708293 4066318 17.88 no data
9285.87/501.66 c Replacing 196 vars Replaced 96729 lits Time: 0.49 s
9429.06/506.16 c N st 479 90797 78989 1205710 2519656 20213 6707855 3278962 17.88 no data
9716.72/515.11 c N dy 510 96656 78978 1205710 2520426 25980 6707844 3547817 18.05 34.16
10029.97/524.98 c N dy 551 102903 78935 1205710 2521796 32045 6707838 3784037 18.20 20.86
10109.78/527.48 c S st 561 104831 78751 1205710 2522833 33925 6707834 3860394 18.20 no data
10154.54/528.86 c S st 561 105331 78745 1205710 2522850 34407 6707834 3865780 18.20 no data
10161.55/529.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
10733.05/546.93 c Flit: 1475 Blit: 21 bXBeca: 0 bXProp: 102 Bins: 431278 BRemL: 10737 BRemN: 170 P: 200.0M T: 17.82
10739.44/547.13 c Cleaning up after failed var search: 0.19 s
10752.24/547.59 c Replacing 103 vars Replaced 86832 lits Time: 0.45 s
10777.80/548.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10790.60/548.80 c bin-w-bin subsume rem 34444 bins time: 0.48 s
10903.10/552.25 c subs with bin: 962 lits-rem: 8213 v-fix: 0 time: 3.45 s
10975.98/554.54 c Subs w/ non-existent bins: 309 l-rem: 895 v-fix: 0 done: 21884 time: 2.29 s
10988.77/554.95 c Removed useless bin: 2184 fixed: 0 props: 20.00M time: 0.41 s
11114.06/558.86 c lits-rem: 832 cl-subs: 5216 v-elim: 239 v-fix: 0 time: 3.88 s
11167.76/560.57 c subs with bin: 518 lits-rem: 2845 v-fix: 0 time: 1.50 s
11257.22/563.38 c lits-rem: 461 cl-subs: 1910 v-elim: 0 v-fix: 0 time: 2.30 s
11273.21/563.85 c asymm cl-useful: 0/32097/1196568 lits-rem:0 time: 0.47
11279.60/564.03 c calculated reachability. Time: 0.01
11279.60/564.03 c N dy 561 105331 75509 1196568 2710278 31628 6469060 4303301 18.20 no data
11282.79/564.17 c Finding binary XORs T: 0.14 s found: 20
11493.59/570.79 c N dy 586 112179 75509 1196568 2710296 38249 6469047 4507866 17.93 19.00
11999.32/621.09 c N dy 635 119344 73061 1196545 3201689 24194 6413645 4913832 18.00 28.10
12001.91/621.58 c Finding binary XORs T: 0.15 s found: 153
12276.84/639.87 c N dy 702 127024 71350 1196340 3025881 31701 6325581 4957025 18.26 21.54
12679.52/652.45 c N dy 767 135179 71342 1196340 3026907 39703 6325579 5302647 18.49 27.28
13098.82/665.53 c N dy 831 143850 71290 1196340 3028325 25380 6325570 4630239 18.61 19.67
13558.48/679.95 c N dy 898 153194 71050 1196340 3029339 34567 6325554 5033909 18.72 19.71
13833.98/688.58 c S st 940 157997 71026 1196340 3029906 39282 6325538 5262761 18.88 no data
13878.10/689.98 c S st 940 158501 71025 1196340 3029910 39778 6325538 5270641 18.88 no data
13887.70/690.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
14485.11/709.00 c Flit: 335 Blit: 168 bXBeca: 0 bXProp: 92 Bins: 66912 BRemL: 9065 BRemN: 1116 P: 200.0M T: 18.74
14494.71/709.20 c Cleaning up after failed var search: 0.20 s
14507.50/709.68 c Replacing 266 vars Replaced 91269 lits Time: 0.47 s
14533.06/710.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
14549.04/710.96 c bin-w-bin subsume rem 30496 bins time: 0.54 s
14625.76/713.40 c subs with bin: 1281 lits-rem: 7029 v-fix: 0 time: 2.44 s
14677.54/714.99 c Subs w/ non-existent bins: 64 l-rem: 670 v-fix: 0 done: 29520 time: 1.59 s
14696.08/715.50 c Removed useless bin: 10405 fixed: 0 props: 20.02M time: 0.51 s
14827.13/719.61 c lits-rem: 284 cl-subs: 2489 v-elim: 625 v-fix: 0 time: 4.09 s
14894.23/721.74 c subs with bin: 706 lits-rem: 3280 v-fix: 0 time: 1.89 s
14990.12/724.70 c lits-rem: 1546 cl-subs: 1509 v-elim: 0 v-fix: 0 time: 2.48 s
15009.30/725.34 c asymm cl-useful: 0/47307/1192683 lits-rem:0 time: 0.64
15015.69/725.52 c calculated reachability. Time: 0.01
15015.69/725.52 c N dy 940 158501 69625 1192683 2895734 37095 6218905 4985768 18.88 no data
15018.89/725.66 c Finding binary XORs T: 0.14 s found: 54
15440.80/738.87 c N dy 995 169234 68484 1192382 2862188 47583 6179595 5383465 18.84 20.56
15984.01/755.85 c N dy 1054 180206 68483 1192382 2863288 34580 6179590 4724168 18.86 20.03
16236.33/763.70 c Finding binary XORs T: 0.14 s found: 130
16533.15/773.00 c N dy 1128 193757 68224 1192382 2858489 47779 6176856 5261231 18.87 19.94
17127.66/791.63 c N dy 1199 206142 67736 1191499 2856027 34685 6138442 4677031 18.87 24.39
17130.85/791.77 c Finding binary XORs T: 0.14 s found: 82
17782.86/812.11 c N dy 1284 219360 67635 1191499 2874608 47628 6138424 5302704 18.94 20.29
18454.05/833.15 c N dy 1378 233402 67633 1191499 2875106 35294 6138424 4725996 19.06 25.87
18703.35/840.93 c S st 1409 237754 67631 1191499 2875414 39584 6138424 4921518 19.09 no data
18758.31/842.63 c S st 1409 238254 67631 1191499 2875417 40081 6138424 4928065 19.09 no data
18764.06/842.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
19337.91/860.81 c Flit: 430 Blit: 37 bXBeca: 0 bXProp: 145 Bins: 194453 BRemL: 14313 BRemN: 49 P: 200.0M T: 17.92
19340.93/861.00 c Cleaning up after failed var search: 0.18 s
19356.66/861.43 c Replacing 411 vars Replaced 118837 lits Time: 0.43 s
19379.05/862.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
19394.64/862.64 c bin-w-bin subsume rem 30274 bins time: 0.52 s
19458.65/864.66 c subs with bin: 1196 lits-rem: 5614 v-fix: 0 time: 2.02 s
19488.95/865.67 c Subs w/ non-existent bins: 50 l-rem: 902 v-fix: 0 done: 28638 time: 1.01 s
19502.93/866.11 c Removed useless bin: 3985 fixed: 0 props: 20.00M time: 0.43 s
19615.06/869.85 c lits-rem: 377 cl-subs: 2499 v-elim: 504 v-fix: 0 time: 3.71 s
19672.58/871.65 c subs with bin: 322 lits-rem: 4782 v-fix: 0 time: 1.58 s
19758.84/874.36 c lits-rem: 1616 cl-subs: 1676 v-elim: 0 v-fix: 0 time: 2.24 s
19778.00/874.94 c asymm cl-useful: 0/32712/1187926 lits-rem:0 time: 0.58
19784.40/875.12 c calculated reachability. Time: 0.01
19784.40/875.12 c N dy 1409 238254 66168 1187926 2886942 37446 6062176 4923251 19.09 no data
19787.60/875.26 c Finding binary XORs T: 0.14 s found: 10
20084.83/884.55 c Finding binary XORs T: 0.14 s found: 29
20583.65/900.29 c N dy 1516 253568 66043 1187842 3076695 52485 6058881 5949244 19.21 20.24
21462.54/927.72 c N dy 1637 270155 65815 1187842 3079826 42050 6058873 5435932 19.39 20.42
22319.15/954.53 c N dy 1759 287441 65815 1187842 3080466 30858 6058861 4892572 19.54 22.57
23249.24/983.60 c N dy 1891 305883 65814 1187842 3081140 49059 6058843 5743053 19.70 26.71
23271.63/984.32 c F st 1895 306250 65814 1187842 3081140 49422 6058843 5757933 19.71 no data
23287.60/984.82 c Replacing 39 vars Replaced 22504 lits Time: 0.32 s
24230.51/1014.32 c N dy 2011 325473 65692 1187837 3066611 38919 6051678 5209339 19.89 21.04
25109.50/1041.81 c N dy 2128 345499 65686 1187837 3067281 58666 6051649 6121456 19.91 21.38
25360.48/1050.09 c Finding binary XORs T: 0.14 s found: 87
25731.20/1061.65 c S st 2196 357382 65521 1187829 3164915 39988 6044802 5384252 19.93 no data
25795.76/1063.71 c S st 2196 357883 65521 1187829 3164921 40483 6044802 5388261 19.93 no data
25804.72/1063.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
26324.40/1080.58 c Flit: 149 Blit: 2 bXBeca: 0 bXProp: 42 Bins: 218068 BRemL: 16972 BRemN: 22 P: 200.0M T: 16.59
26324.40/1080.58 c Cleaning up after failed var search: 0.00 s
26339.06/1081.17 c Replacing 129 vars Replaced 79730 lits Time: 0.58 s
26358.26/1081.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
26376.42/1082.46 c bin-w-bin subsume rem 39892 bins time: 0.57 s
26442.70/1084.55 c subs with bin: 413 lits-rem: 3266 v-fix: 0 time: 2.09 s
26474.05/1085.55 c Subs w/ non-existent bins: 54 l-rem: 376 v-fix: 0 done: 29053 time: 1.00 s
26490.02/1086.04 c Removed useless bin: 5819 fixed: 0 props: 20.01M time: 0.49 s
26623.28/1090.26 c lits-rem: 281 cl-subs: 559 v-elim: 760 v-fix: 0 time: 4.19 s
26666.15/1091.63 c subs with bin: 270 lits-rem: 1319 v-fix: 0 time: 1.18 s
26743.23/1094.40 c lits-rem: 998 cl-subs: 1370 v-elim: 0 v-fix: 0 time: 2.26 s
26761.56/1094.98 c asymm cl-useful: 0/1501/1187917 lits-rem:0 time: 0.58
26767.41/1095.16 c calculated reachability. Time: 0.01
26767.41/1095.16 c N dy 2196 357883 64421 1187917 3073949 38363 5992483 5198589 19.93 no data
26773.21/1095.30 c Finding binary XORs T: 0.14 s found: 3
26988.35/1102.13 c Finding binary XORs T: 0.14 s found: 27
27754.43/1126.11 c N dy 2318 377915 64148 1187872 3531497 58049 5984459 6971120 19.97 22.83
28697.31/1155.67 c N dy 2453 398267 64144 1187872 3531805 47209 5984454 6453991 20.07 21.45
29656.19/1185.69 c N dy 2587 418398 64074 1187872 3532555 34846 5984440 5838809 20.19 21.85
30544.74/1213.50 c N dy 2707 438415 64070 1187872 3532997 54638 5984439 6763199 20.24 21.34
31481.23/1242.73 c N dy 2848 458505 63999 1187872 3537653 41062 5984435 6051984 20.33 27.57
32452.90/1273.18 c N dy 2991 479501 63998 1187872 3538165 61692 5984420 7020393 20.42 21.65
33430.74/1303.72 c N dy 3121 500825 63996 1187872 3538551 48216 5984392 6321713 20.48 22.36
33600.19/1309.08 c Finding binary XORs T: 0.15 s found: 80
34346.64/1332.48 c N dy 3232 520874 63578 1185318 3624685 67853 5942742 7439688 20.51 26.48
34742.96/1344.82 c S st 3240 536824 63554 1185318 3625794 47767 5942742 6359144 20.28 no data
34794.74/1346.50 c S st 3240 537324 63554 1185318 3625797 48260 5942742 6365809 20.28 no data
34803.69/1346.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
35436.55/1366.56 c Flit: 7 Blit: 3 bXBeca: 0 bXProp: 41 Bins: 107527 BRemL: 19611 BRemN: 57 P: 200.0M T: 19.22
35459.56/1367.29 c Replacing 151 vars Replaced 132225 lits Time: 0.69 s
35484.50/1368.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
35510.07/1368.83 c bin-w-bin subsume rem 45846 bins time: 0.74 s
35577.18/1370.92 c subs with bin: 1150 lits-rem: 5473 v-fix: 0 time: 2.03 s
35609.14/1371.96 c Subs w/ non-existent bins: 340 l-rem: 679 v-fix: 0 done: 31553 time: 1.00 s
35625.12/1372.48 c Removed useless bin: 2829 fixed: 0 props: 20.00M time: 0.51 s
35772.14/1377.01 c lits-rem: 288 cl-subs: 460 v-elim: 499 v-fix: 0 time: 4.38 s
35811.12/1378.29 c subs with bin: 160 lits-rem: 5760 v-fix: 0 time: 1.02 s
35925.46/1381.84 c lits-rem: 449 cl-subs: 4234 v-elim: 0 v-fix: 0 time: 2.92 s
35947.85/1382.51 c asymm cl-useful: 0/94996/1183312 lits-rem:0 time: 0.66
35954.87/1382.72 c calculated reachability. Time: 0.01
35954.87/1382.73 c N dy 3240 537324 62910 1183312 3514507 43629 5904446 6061051 20.28 no data
35957.42/1382.87 c Finding binary XORs T: 0.14 s found: 7
36594.38/1402.81 c Finding binary XORs T: 0.15 s found: 34
36933.62/1413.51 c N dy 3364 557359 62868 1183284 3650833 63358 5899292 7213252 20.30 30.59
37847.54/1442.05 c N dy 3463 577402 62847 1183284 3653766 47264 5899284 6468004 20.23 21.76
38706.72/1468.94 c N dy 3569 598113 62803 1183284 3659537 67547 5899272 7342767 20.21 21.56
39218.72/1484.96 c Finding binary XORs T: 0.15 s found: 45
39451.44/1492.20 c N dy 3645 618114 62776 1183278 3703347 50145 5896120 6673318 20.17 22.07
40308.53/1519.11 c N dy 3756 639982 62601 1183278 3718643 71500 5896120 7584658 20.12 21.24
40534.82/1526.18 c Finding binary XORs T: 0.14 s found: 34
41090.76/1543.57 c N dy 3860 661855 62564 1183162 3504054 54981 5885681 6481557 20.09 21.17
41103.55/1543.90 c Finding binary XORs T: 0.14 s found: 24
41659.38/1561.35 c N dy 3892 682254 61885 1182860 3437239 74520 5859100 7152848 19.91 21.16
42010.96/1572.31 c Finding binary XORs T: 0.13 s found: 980
42023.75/1572.79 c Replacing 1124 vars Replaced 225865 lits Time: 0.48 s
42359.28/1583.25 c N dy 3984 702351 58411 1169627 2806207 49467 5644142 5070512 19.89 21.80
42950.51/1601.72 c N dy 4051 728424 58368 1169627 2807049 37875 5644142 4472411 19.73 20.95
43268.02/1628.42 c Following stats are for *FIRST FINISHED THREAD ONLY*
43268.02/1628.42 c num threads : 32
43268.02/1628.42 c restarts : 4789
43268.02/1628.42 c dynamic restarts : 4765
43268.02/1628.42 c static restarts : 24
43268.02/1628.42 c full restarts : 3
43268.02/1628.42 c total simplify time : 13.19
43268.02/1628.42 c learnts DL2 : 0
43268.02/1628.42 c learnts size 2 : 7775209
43268.02/1628.42 c learnts size 1 : 81274 (52.67 % of vars)
43268.02/1628.42 c filedLit time : 48.22 (3.53 % time)
43268.02/1628.42 c v-elim SatELite : 21289 (13.80 % vars)
43268.02/1628.42 c SatELite time : 22.68 (1.66 % time)
43268.02/1628.42 c v-elim xor : 0 (0.00 % vars)
43268.02/1628.42 c xor elim time : 0.78 (0.06 % time)
43268.02/1628.42 c num binary xor trees : 2478
43268.02/1628.42 c binxor trees' crown : 4255 (1.72 leafs/tree)
43268.02/1628.42 c bin xor find time : 3.78
43268.02/1628.42 c OTF clause improved : 12762 (0.02 clauses/conflict)
43268.02/1628.42 c OTF impr. size diff : 20372 (1.60 lits/clause)
43268.02/1628.42 c OTF cl watch-shrink : 567898 (0.69 clauses/conflict)
43268.02/1628.42 c OTF cl watch-sh-lit : 3055007 (5.38 lits/clause)
43268.02/1628.42 c tried to recurMin cls : 0 (0.00 % of conflicts)
43268.02/1628.42 c updated cache : 0 (nan lits/tried recurMin)
43268.02/1628.42 c unit cls recevied : 36765 (45.24 % of units)
43268.02/1628.42 c unit cls sent : 794 (0.98 % of units)
43268.02/1628.42 c bin cls recevied : 5716843
43268.02/1628.42 c bin cls sent : 5417
43268.02/1628.42 c clauses over max glue : 0 (0.00 % of all clauses)
43268.02/1628.42 c conflicts : 826886 (604.61 / sec)
43268.02/1628.42 c decisions : 85345759 (0.46 % random)
43268.02/1628.42 c bogo-props : 20273476980 (14823725.66 / sec)
43268.02/1628.42 c conflict literals : 36790279 (23.85 % deleted)
43268.02/1628.42 c Memory used : 19062.18 MB
43268.02/1628.42 c single-thread CPU time : 1367.64 s
43268.02/1628.42 c all-threads sum CPU time : 43054.35 s
43268.02/1628.42 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400643-1306266358/watcher-3400643-1306266358 -o /tmp/evaluation-result-3400643-1306266358/solver-3400643-1306266358 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400643-1306266358.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=338000 CPUtime=0.81 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) R 10667 10669 10583 0 -1 4202496 467 0 0 0 81 0 0 0 22 0 32 0 738122540 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095280 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 84500 407 300 95 0 79482 0
[pid=10669/tid=10670] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=338000 CPUtime=0 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095282 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094877 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0534929 s]
/proc/loadavg: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=338000 CPUtime=1.42 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) R 10667 10669 10583 0 -1 4202496 467 0 0 0 142 0 0 0 22 0 32 0 738122540 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095280 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 84500 407 300 95 0 79482 0
[pid=10669/tid=10670] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 4 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094877 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 338000
[startup+0.103508 s]
/proc/loadavg: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=1314708 CPUtime=2.39 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) S 10667 10669 10583 0 -1 4202496 9577 0 0 0 190 49 0 0 17 0 32 0 738122540 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 328677 9389 334 95 0 323659 0
[pid=10669/tid=10670] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 308 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566933304 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 309 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 272 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604505263799776 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604482196397536 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 312 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604484957511136 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=1314708 CPUtime=0.08 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 290 0 0 0 6 2 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604474916552160 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 278 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 287 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604480264248800 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604498994462176 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 308 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604480095534560 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 278 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 303 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9390 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604490328440288 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 275 0 0 0 6 1 0 0 22 0 32 0 738122541 1346396160 9396 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346396160 9410 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604505770638816 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=10669/tid=10680] ppid=10667 vsize=19519672 CPUtime=1370.79 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 304489 0 0 0 136437 642 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504190574048 0 0 -1 20 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=19519672 CPUtime=1374.95 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 302950 0 0 0 136773 722 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604487541972448 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=19519672 CPUtime=1345.2 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289852 0 0 0 133827 693 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604482196397536 0 0 -1 1 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=19519672 CPUtime=1363.22 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297969 0 0 0 135634 688 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505794477536 0 0 -1 29 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=19519672 CPUtime=1347.18 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 292539 0 0 0 134030 688 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604498994462176 0 0 -1 5 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=19519672 CPUtime=1337.22 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 276369 0 0 0 133053 669 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604481919188448 0 0 -1 7 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=19519672 CPUtime=1338.92 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 299107 0 0 0 133192 700 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484957511136 0 0 -1 24 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=19519672 CPUtime=1364.97 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 294097 0 0 0 135833 664 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014070315 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=19519672 CPUtime=1337.7 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286897 0 0 0 133074 696 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744071566924624 0 0 -1 19 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=19519672 CPUtime=1360.76 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297298 0 0 0 135437 639 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604502553533920 0 0 -1 3 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=19519672 CPUtime=1352.74 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277306 0 0 0 134576 698 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480260586976 0 0 -1 28 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=19519672 CPUtime=1356.36 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 266483 0 0 0 134968 668 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604537356025312 0 0 -1 25 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=19519672 CPUtime=1344.22 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 279460 0 0 0 133738 684 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604483571760608 0 0 -1 6 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=19519672 CPUtime=1341.62 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277330 0 0 0 133471 691 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505622068704 0 0 -1 26 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=19519672 CPUtime=1335.4 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 262700 0 0 0 132969 571 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480102415840 0 0 -1 8 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=19519672 CPUtime=1335.67 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 275199 0 0 0 132905 662 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480568622560 0 0 -1 13 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=19519672 CPUtime=1343.77 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 285555 0 0 0 133681 696 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480095534560 0 0 -1 15 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=19519672 CPUtime=1338.2 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284493 0 0 0 133156 664 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604572732284384 0 0 -1 16 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=19519672 CPUtime=1328.58 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 295424 0 0 0 132166 692 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505584197088 0 0 -1 30 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=19519672 CPUtime=1333.89 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286522 0 0 0 132747 642 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604490328440288 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=19519672 CPUtime=1343.08 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 340351 0 0 0 133763 545 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505770638816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43249.5
Current children cumulated vsize (KiB) 19519672
[startup+1625.5 s]
/proc/loadavg: 25.51 30.17 29.09 3/445 10754
/proc/meminfo: memFree=238099336/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=19519672 CPUtime=43262.2 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) S 10667 10669 10583 0 -1 4202496 9443978 0 0 0 4304849 21373 0 0 25 0 32 0 738122540 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 4879918 4243481 428 95 0 4874900 0
[pid=10669/tid=10670] ppid=10667 vsize=19519672 CPUtime=1373.18 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 376054 0 0 0 136663 655 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505263799776 0 0 -1 14 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=19519672 CPUtime=1376.76 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 315492 0 0 0 136994 682 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604501830876640 0 0 -1 2 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=19519672 CPUtime=1367 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 328780 0 0 0 136018 682 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604474916552160 0 0 -1 18 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=19519672 CPUtime=1368 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 309755 0 0 0 136112 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504704171488 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=19519672 CPUtime=1351.45 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 319814 0 0 0 134449 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604570634804704 0 0 -1 12 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=19519672 CPUtime=1350.71 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 290406 0 0 0 134412 659 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480264248800 0 0 -1 17 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=19519672 CPUtime=1338.84 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 282733 0 0 0 133280 604 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604485358648800 0 0 -1 0 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=19519672 CPUtime=1359.97 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 255046 0 0 0 135342 655 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=19519672 CPUtime=1352.03 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 259663 0 0 0 134518 685 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484836965856 0 0 -1 11 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=19519672 CPUtime=1350.24 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 282747 0 0 0 134367 657 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604478608309728 0 0 -1 31 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=19519672 CPUtime=1370.79 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 304489 0 0 0 136437 642 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504190574048 0 0 -1 20 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=19519672 CPUtime=1374.95 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 302950 0 0 0 136773 722 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604487541972448 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=19519672 CPUtime=1345.2 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289852 0 0 0 133827 693 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604482196397536 0 0 -1 1 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=19519672 CPUtime=1363.22 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297969 0 0 0 135634 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505794477536 0 0 -1 29 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=19519672 CPUtime=1347.18 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 292539 0 0 0 134030 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604498994462176 0 0 -1 5 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=19519672 CPUtime=1337.22 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 276369 0 0 0 133053 669 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604481919188448 0 0 -1 7 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=19519672 CPUtime=1338.92 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 299107 0 0 0 133192 700 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484957511136 0 0 -1 24 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=19519672 CPUtime=1371.35 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 294097 0 0 0 136471 664 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=19519672 CPUtime=1337.7 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286897 0 0 0 133074 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744071566924624 0 0 -1 19 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=19519672 CPUtime=1360.76 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297298 0 0 0 135437 639 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604502553533920 0 0 -1 3 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=19519672 CPUtime=1352.74 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277306 0 0 0 134576 698 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480260586976 0 0 -1 28 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=19519672 CPUtime=1356.36 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 266483 0 0 0 134968 668 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604537356025312 0 0 -1 25 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=19519672 CPUtime=1344.22 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 279460 0 0 0 133738 684 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604483571760608 0 0 -1 6 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=19519672 CPUtime=1341.62 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277330 0 0 0 133471 691 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505622068704 0 0 -1 26 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=19519672 CPUtime=1335.4 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 262700 0 0 0 132969 571 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480102415840 0 0 -1 8 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=19519672 CPUtime=1335.67 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 275199 0 0 0 132905 662 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480568622560 0 0 -1 13 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=19519672 CPUtime=1343.77 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 285555 0 0 0 133681 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480095534560 0 0 -1 15 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=19519672 CPUtime=1338.2 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284493 0 0 0 133156 664 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604572732284384 0 0 -1 16 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=19519672 CPUtime=1328.58 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 295424 0 0 0 132166 692 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505584197088 0 0 -1 30 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=19519672 CPUtime=1333.89 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286522 0 0 0 132747 642 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604490328440288 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=19519672 CPUtime=1343.08 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 340351 0 0 0 133763 545 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505770638816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43262.2
Current children cumulated vsize (KiB) 19519672
[startup+1628.7 s]
/proc/loadavg: 23.62 29.70 28.95 3/445 10754
/proc/meminfo: memFree=238098984/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43268.4 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21401 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1339.11 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 631 0 0 18 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43268.4
Current children cumulated vsize (KiB) 0
[startup+1629.5 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=241886852/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.1 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21481 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1339.91 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 711 0 0 19 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.1
Current children cumulated vsize (KiB) 0
[startup+1629.9 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=241886852/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.6 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21521 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.31 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 751 0 0 20 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.6
Current children cumulated vsize (KiB) 0
[startup+1630.3 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=252317652/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.9 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21561 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.71 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 791 0 0 20 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.9
Current children cumulated vsize (KiB) 0
[startup+1630.4 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=252317652/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43270.1 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21571 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.81 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 801 0 0 21 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43270.1
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1630.4
CPU time (s): 43270.1
CPU user time (s): 43054.3
CPU system time (s): 215.721
CPU usage (%): 2653.95
Max. virtual memory (cumulated for all children) (KiB): 20681200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43054.3
system time used= 215.721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9443984
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= 8992156
involuntary context switches= 152136
runsolver used 9.23659 second user time and 37.3483 second system time
The end
Begin job on node200 at 2011-05-24 21:46:01
IDJOB=3400643
IDBENCH=69571
IDSOLVER=1886
FILE ID=node200/3400643-1306266358
RUNJOBID= node200-1306266306-10597
PBS_JOBID= 13411766
Free space on /tmp= 61980 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400643-1306266358/watcher-3400643-1306266358 -o /tmp/evaluation-result-3400643-1306266358/solver-3400643-1306266358 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400643-1306266358.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1671462437
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.049
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.09
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
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.17
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255094332 kB
Buffers: 464988 kB
Cached: 8286788 kB
SwapCached: 0 kB
Active: 7837956 kB
Inactive: 983792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255094332 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 74184 kB
Writeback: 0 kB
AnonPages: 69908 kB
Mapped: 14536 kB
Slab: 257168 kB
PageTables: 4280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 174072 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= 61972 MiB
End job on node200 at 2011-05-24 22:13:12