0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3400651-1306271563.cnf'
1.28/0.06 c -- header says num vars: 153834
1.28/0.06 c -- header says num clauses: 459965
49.97/4.30 c -- clauses added: 0 learnts, 459965 normals, 0 xors
49.97/4.30 c -- vars added 153834
49.97/4.30 c Parsing time: 0.63 s
49.97/4.30 c N st 0 0 153834 153321 306642 0 1073247 0 no data no data
73.61/5.06 c asymm cl-useful: 0/19999/153312 lits-rem:0 time: 0.76
329.29/13.05 c Flit: 0 Blit: 6 bXBeca: 0 bXProp: 890 Bins: 0 BRemL: 0 BRemN: 0 P: 153.8M T: 7.99
333.11/13.15 c Replacing 890 vars Replaced 11442 lits Time: 0.09 s
336.30/13.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
338.83/13.33 c bin-w-bin subsume rem 0 bins time: 0.05 s
341.18/13.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s
349.74/14.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 122725 time: 0.67 s
355.57/14.77 c Removed useless bin: 54 fixed: 0 props: 20.00M time: 0.40 s
713.06/30.16 c lits-rem: 0 cl-subs: 0 v-elim: 50976 v-fix: 0 time: 9.24 s
715.32/30.27 c Finding binary XORs T: 0.08 s found: 0
719.68/30.41 c Finding non-binary XORs: 0.05 s (found: 22, avg size: 3.0)
719.68/30.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
719.68/30.44 c calculated reachability. Time: 0.00
719.68/30.48 c Calc default polars - time: 0.03 s pos: 916 undec: 51882 neg: 101036
719.68/30.48 c =========================================================================================
719.68/30.48 c types(t): F = full restart, N = normal restart
719.68/30.48 c types(t): S = simplification begin/end, E = solution found
719.68/30.48 c restart types(rt): st = static, dy = dynamic
719.68/30.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
719.68/30.48 c B st 0 0 101952 104194 250845 0 872786 0 no data no data
1015.82/40.26 c N dy 15 4036 101952 104194 251046 3807 872786 164592 21.97 23.17
1218.82/50.23 c N dy 44 8082 101952 104194 251206 7707 872786 500279 30.63 74.12
1227.28/53.92 c N dy 76 12110 101952 104194 251267 11604 872786 1090128 41.67 61.38
1573.81/194.72 c N dy 98 16159 101952 104194 254896 15508 872786 1617480 44.56 60.66
1637.57/198.12 c Finding binary XORs T: 0.06 s found: 7
1740.52/201.37 c N dy 135 20166 101952 104194 256438 9812 872786 406004 60.40 68.08
1957.13/208.13 c N dy 168 24247 101952 104194 256455 13818 872786 1305422 67.94 101.29
2008.28/209.70 c F st 176 25002 101951 104194 256963 14555 872786 1523205 69.84 no data
2011.48/209.87 c Replacing 7 vars Replaced 14765 lits Time: 0.14 s
2174.35/214.92 c N st 181 28303 101944 104191 256960 17734 872767 2820792 69.84 no data
2260.65/217.61 c S st 182 30001 101944 104191 256962 19374 872767 3744054 69.84 no data
2279.82/218.23 c S st 182 30502 101944 104191 257561 19856 872767 3762664 69.84 no data
2279.82/218.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
2408.31/222.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 112528 BRemL: 8176 BRemN: 10 P: 26.6M T: 3.94
2414.07/222.41 c Replacing 10 vars Replaced 4605 lits Time: 0.16 s
2414.07/222.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2417.26/222.53 c bin-w-bin subsume rem 521 bins time: 0.06 s
2423.67/222.77 c subs with bin: 211 lits-rem: 1 v-fix: 0 time: 0.24 s
2430.06/222.96 c Subs w/ non-existent bins: 0 l-rem: 1106 v-fix: 0 done: 101932 time: 0.19 s
2436.44/223.17 c Removed useless bin: 4 fixed: 0 props: 6.89M time: 0.21 s
2519.40/225.74 c lits-rem: 0 cl-subs: 10 v-elim: 67954 v-fix: 0 time: 2.09 s
2586.53/227.86 c subs with bin: 55 lits-rem: 5489 v-fix: 0 time: 2.04 s
2599.29/228.26 c lits-rem: 2253 cl-subs: 799 v-elim: 0 v-fix: 0 time: 0.34 s
2599.29/228.26 c Added XOR as norm:22
2619.10/228.84 c asymm cl-useful: 712/2529/108759 lits-rem:727 time: 0.58
2619.10/228.86 c calculated reachability. Time: 0.00
2619.10/228.87 c N dy 182 30502 33978 108759 173679 9666 881394 853621 69.84 no data
2621.66/228.90 c Finding binary XORs T: 0.03 s found: 0
2768.70/233.56 c N dy 200 34574 33978 108759 173703 13569 881394 1487184 69.73 230.50
2910.41/238.08 c N dy 219 38643 33977 108759 173974 17469 881394 2211242 70.64 228.78
3018.73/241.89 c N dy 234 42701 33977 108759 173976 11368 881394 750610 71.04 75.36
3024.80/242.08 c Finding binary XORs T: 0.03 s found: 1
3123.38/245.33 c S st 255 45754 33976 108757 178505 14360 881376 1488202 72.41 no data
3135.46/245.77 c S st 255 46254 33976 108757 178512 14848 881376 1508286 72.41 no data
3138.66/245.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
3225.51/248.60 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 39952 BRemL: 28669 BRemN: 17 P: 14.6M T: 2.77
3228.74/248.69 c Replacing 2 vars Replaced 1899 lits Time: 0.08 s
3231.30/248.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3231.30/248.79 c bin-w-bin subsume rem 383 bins time: 0.03 s
3240.89/249.10 c subs with bin: 4017 lits-rem: 0 v-fix: 0 time: 0.30 s
3247.29/249.25 c Subs w/ non-existent bins: 734 l-rem: 31432 v-fix: 0 done: 33973 time: 0.15 s
3250.48/249.35 c Removed useless bin: 51 fixed: 0 props: 3.15M time: 0.10 s
3279.23/250.22 c lits-rem: 2 cl-subs: 54 v-elim: 21842 v-fix: 0 time: 0.81 s
3339.93/252.12 c subs with bin: 48 lits-rem: 2028 v-fix: 0 time: 1.86 s
3346.33/252.35 c lits-rem: 871 cl-subs: 537 v-elim: 0 v-fix: 0 time: 0.17 s
3349.53/252.45 c vivif2 -- cl tried 105489 cl shrink 11396 lits rem 11400 time: 0.09
3349.53/252.49 c vivif2 -- cl tried 10475 cl shrink 2544 lits rem 45157 time: 0.04
3369.34/253.04 c asymm cl-useful: 53/4258/104081 lits-rem:76 time: 0.55
3369.34/253.06 c calculated reachability. Time: 0.01
3369.34/253.07 c N dy 255 46254 12131 104081 132492 10408 838804 666350 72.41 no data
3371.89/253.11 c Finding binary XORs T: 0.05 s found: 0
3467.70/256.12 c N dy 260 50490 12130 104081 133204 14553 838803 1367072 69.18 76.93
3630.71/261.26 c N dy 270 55369 12130 104081 133233 19288 838803 2345084 66.28 71.63
3729.73/264.35 c N dy 281 59467 12130 104081 134437 23270 838803 3228140 64.60 69.42
3893.34/269.47 c N dy 299 63502 12129 104081 135813 27187 838803 4301775 64.43 93.85
3937.49/270.80 c Finding binary XORs T: 0.05 s found: 1
4052.56/274.46 c N dy 315 68009 12129 104079 135830 17802 838777 1677956 63.68 67.16
4084.53/275.41 c S st 320 69381 12129 104079 137421 19120 838777 1971853 63.45 56.32
4097.31/275.80 c S st 320 69883 12128 104079 137422 19621 838777 2008753 63.45 no data
4097.31/275.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
4174.62/278.32 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 14308 BRemL: 12341 BRemN: 0 P: 13.5M T: 2.47
4177.83/278.39 c Replacing 1 vars Replaced 12 lits Time: 0.07 s
4180.39/278.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4180.39/278.49 c bin-w-bin subsume rem 1580 bins time: 0.02 s
4189.99/278.76 c subs with bin: 99 lits-rem: 0 v-fix: 0 time: 0.27 s
4193.19/278.87 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 0 done: 12126 time: 0.10 s
4196.39/278.94 c Removed useless bin: 13 fixed: 0 props: 2.58M time: 0.07 s
4199.58/279.06 c lits-rem: 0 cl-subs: 3 v-elim: 47 v-fix: 0 time: 0.12 s
4273.08/281.32 c subs with bin: 22 lits-rem: 1660 v-fix: 0 time: 2.14 s
4318.42/282.74 c lits-rem: 14106 cl-subs: 1171 v-elim: 0 v-fix: 0 time: 1.36 s
4320.99/282.83 c vivif2 -- cl tried 103806 cl shrink 6 lits rem 6 time: 0.10
4324.19/282.95 c vivif2 -- cl tried 17243 cl shrink 2882 lits rem 84339 time: 0.11
4343.35/283.53 c asymm cl-useful: 100/6357/103806 lits-rem:286 time: 0.58
4343.35/283.55 c calculated reachability. Time: 0.01
4343.35/283.55 c N dy 320 69883 12079 103794 137207 17235 838484 1466367 63.45 no data
4346.55/283.60 c Finding binary XORs T: 0.05 s found: 0
4442.42/286.61 c N dy 330 74558 12079 103794 137215 21763 838484 2136165 62.18 65.75
4535.05/289.60 c N dy 342 79489 12075 103794 137324 26550 838484 3625397 61.24 65.14
4650.09/293.14 c N dy 368 84572 12075 103794 137779 31528 838484 4762187 62.13 66.34
4688.44/294.35 c F st 374 87500 12075 103794 137787 34413 838484 5114991 60.90 8.80
4740.22/295.96 c N st 379 90799 12073 103789 139701 19459 838383 1693555 60.90 no data
4886.59/300.52 c N dy 388 97396 12073 103789 139730 25985 838383 4435679 60.23 64.12
4960.10/302.83 c Finding binary XORs T: 0.05 s found: 4
4995.26/303.93 c N dy 412 103817 12072 103786 139964 32233 838332 5623804 60.08 64.00
5014.45/304.56 c S st 420 104824 12072 103786 139966 33225 838332 5894724 60.55 38.65
5027.23/304.95 c S st 420 105327 12072 103786 139967 33724 838332 5914747 60.55 no data
5027.23/305.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
5110.30/307.52 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 2466 BRemL: 4961 BRemN: 14 P: 15.5M T: 2.52
5113.47/307.63 c Replacing 5 vars Replaced 496 lits Time: 0.11 s
5116.66/307.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5116.66/307.74 c bin-w-bin subsume rem 128 bins time: 0.02 s
5123.65/308.00 c subs with bin: 2 lits-rem: 14 v-fix: 0 time: 0.26 s
5126.88/308.09 c Subs w/ non-existent bins: 96 l-rem: 2 v-fix: 0 done: 12064 time: 0.09 s
5129.44/308.16 c Removed useless bin: 13 fixed: 0 props: 2.65M time: 0.07 s
5132.64/308.28 c lits-rem: 0 cl-subs: 2 v-elim: 26 v-fix: 0 time: 0.12 s
5209.36/310.68 c subs with bin: 6 lits-rem: 76 v-fix: 0 time: 2.09 s
5433.05/317.67 c lits-rem: 32896 cl-subs: 1536 v-elim: 0 v-fix: 0 time: 6.91 s
5436.24/317.77 c vivif2 -- cl tried 103442 cl shrink 4 lits rem 4 time: 0.10
5449.01/318.11 c vivif2 -- cl tried 28431 cl shrink 9667 lits rem 462232 time: 0.33
5468.19/318.71 c asymm cl-useful: 117/4205/103442 lits-rem:240 time: 0.61
5468.19/318.74 c calculated reachability. Time: 0.01
5468.19/318.74 c N dy 420 105327 12038 103442 137138 28411 835928 3189191 60.55 no data
5727.05/326.86 c N dy 461 112123 12034 103442 140647 35017 835928 5160316 61.18 65.29
5752.60/327.69 c Finding binary XORs T: 0.05 s found: 0
5992.11/335.17 c N dy 489 119676 12032 103437 142086 24123 835855 2488386 60.41 64.55
6139.12/339.77 c N dy 526 127967 12032 103437 142655 32201 835855 3925417 60.22 67.04
6305.24/344.95 c N dy 565 136170 12031 103437 142917 40246 835855 5790202 60.70 65.21
6327.60/345.68 c Finding binary XORs T: 0.05 s found: 5
6497.59/350.93 c N dy 613 145145 12028 103427 143619 27390 835542 2639449 61.22 64.52
6736.64/358.42 c N dy 663 154930 12028 103427 144982 36980 835542 5203151 61.37 65.06
6794.13/360.26 c S st 676 157990 12028 103427 145018 39909 835542 5703482 61.36 14.69
6806.83/360.69 c S st 676 158494 12028 103427 145020 40411 835542 5748987 61.36 no data
6810.64/360.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
6896.28/363.46 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 4316 BRemL: 2993 BRemN: 8 P: 20.0M T: 2.72
6899.48/363.59 c Replacing 5 vars Replaced 1247 lits Time: 0.12 s
6902.67/363.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6902.67/363.70 c bin-w-bin subsume rem 1006 bins time: 0.03 s
6912.27/364.00 c subs with bin: 2 lits-rem: 42 v-fix: 0 time: 0.31 s
6916.09/364.11 c Subs w/ non-existent bins: 107 l-rem: 0 v-fix: 0 done: 12021 time: 0.11 s
6919.29/364.17 c Removed useless bin: 7 fixed: 0 props: 2.12M time: 0.06 s
6925.04/364.32 c lits-rem: 0 cl-subs: 177 v-elim: 43 v-fix: 0 time: 0.15 s
7004.67/366.90 c subs with bin: 6 lits-rem: 53 v-fix: 0 time: 2.24 s
7321.06/376.77 c lits-rem: 69301 cl-subs: 2506 v-elim: 0 v-fix: 0 time: 9.80 s
7324.25/376.88 c vivif2 -- cl tried 103088 cl shrink 0 lits rem 0 time: 0.11
7337.63/377.31 c vivif2 -- cl tried 35564 cl shrink 13136 lits rem 538047 time: 0.43
7359.38/377.91 c asymm cl-useful: 57/2167/103088 lits-rem:106 time: 0.60
7359.38/377.94 c calculated reachability. Time: 0.01
7359.38/377.94 c N dy 676 158494 11978 103088 145204 35491 846829 3962205 61.36 no data
7359.38/377.99 c Finding binary XORs T: 0.05 s found: 0
7794.60/391.58 c N dy 743 171277 11973 103088 146150 26312 846829 1728510 61.59 65.95
8327.62/408.27 c N dy 779 182247 11967 103088 146407 37054 846829 4478681 61.02 64.42
8439.49/411.75 c Finding binary XORs T: 0.05 s found: 2
8606.30/416.99 c N dy 836 193888 11959 103063 149345 45713 846423 7496295 61.57 83.14
8849.20/424.59 c N dy 876 206331 11955 103063 149547 35198 846423 4107198 61.17 66.30
9084.95/431.99 c N dy 927 220009 11952 103063 149651 48565 846423 6534963 60.86 64.39
9104.11/432.59 c Finding binary XORs T: 0.05 s found: 2
9376.35/441.02 c N dy 973 235712 11948 103054 150602 38481 846266 3914427 60.06 64.15
9430.05/442.77 c S st 983 237748 11947 103054 150724 40481 846266 4385303 59.96 no data
9446.66/443.28 c S st 983 238248 11947 103054 150726 40978 846266 4412231 59.96 no data
9449.85/443.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
9538.73/446.19 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 3084 BRemL: 2643 BRemN: 22 P: 22.7M T: 2.86
9545.13/446.39 c Replacing 9 vars Replaced 8783 lits Time: 0.20 s
9548.33/446.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9548.33/446.50 c bin-w-bin subsume rem 529 bins time: 0.03 s
9561.11/446.82 c subs with bin: 10 lits-rem: 52 v-fix: 0 time: 0.32 s
9564.31/446.93 c Subs w/ non-existent bins: 77 l-rem: 6 v-fix: 0 done: 11935 time: 0.11 s
9564.31/446.98 c Removed useless bin: 13 fixed: 0 props: 1.61M time: 0.05 s
9570.70/447.12 c lits-rem: 0 cl-subs: 157 v-elim: 50 v-fix: 0 time: 0.14 s
9650.58/449.61 c subs with bin: 9 lits-rem: 1289 v-fix: 0 time: 2.21 s
9925.16/458.26 c lits-rem: 43897 cl-subs: 2493 v-elim: 0 v-fix: 0 time: 8.58 s
9928.35/458.37 c vivif2 -- cl tried 102785 cl shrink 8 lits rem 8 time: 0.11
9941.80/458.75 c vivif2 -- cl tried 36813 cl shrink 12916 lits rem 514358 time: 0.37
9960.32/459.36 c asymm cl-useful: 74/2033/102785 lits-rem:144 time: 0.61
9960.32/459.38 c calculated reachability. Time: 0.01
9960.32/459.39 c N dy 983 238248 11885 102785 150123 36732 855114 3265771 59.96 no data
9963.52/459.44 c Finding binary XORs T: 0.05 s found: 0
10536.23/477.39 c Finding binary XORs T: 0.05 s found: 3
10561.18/478.16 c N dy 1074 253456 11880 102776 154157 25843 854982 1251788 60.48 129.50
11075.60/494.29 c N dy 1153 271544 11872 102776 155901 43491 854976 5188744 60.48 64.70
11324.78/502.04 c Finding binary XORs T: 0.05 s found: 4
11551.72/509.17 c N dy 1225 289536 11868 102744 155497 32180 853883 2804215 60.52 63.85
11928.72/520.92 c F st 1280 306250 11866 102744 155861 48561 853883 6320428 60.36 no data
11931.92/521.09 c Replacing 7 vars Replaced 4234 lits Time: 0.11 s
11986.24/522.79 c N st 1284 308285 11858 102734 155756 50449 853672 6926142 60.36 no data
12203.55/529.55 c Finding binary XORs T: 0.05 s found: 2
12424.07/536.46 c N dy 1382 327968 11856 102733 157595 41744 853652 4744959 60.90 86.97
12938.49/552.58 c N dy 1499 348047 11849 102733 157905 31752 853652 1906819 61.40 91.08
13152.57/559.24 c S st 1548 357372 11847 102733 158109 40889 853652 3773150 61.43 no data
13168.56/559.73 c S st 1548 357874 11847 102733 158111 41388 853652 3793552 61.43 no data
13168.56/559.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
13264.40/562.79 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 2396 BRemL: 2988 BRemN: 14 P: 22.1M T: 3.01
13270.81/562.92 c Replacing 7 vars Replaced 1352 lits Time: 0.12 s
13274.00/563.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13274.00/563.03 c bin-w-bin subsume rem 1188 bins time: 0.03 s
13283.57/563.37 c subs with bin: 21 lits-rem: 13 v-fix: 0 time: 0.34 s
13286.78/563.48 c Subs w/ non-existent bins: 80 l-rem: 53 v-fix: 0 done: 11839 time: 0.11 s
13289.97/563.53 c Removed useless bin: 21 fixed: 0 props: 1.44M time: 0.05 s
13293.18/563.70 c lits-rem: 3 cl-subs: 257 v-elim: 85 v-fix: 0 time: 0.16 s
13373.06/566.11 c subs with bin: 50 lits-rem: 719 v-fix: 0 time: 2.19 s
13510.44/570.42 c lits-rem: 41582 cl-subs: 1582 v-elim: 0 v-fix: 0 time: 4.24 s
13513.63/570.54 c vivif2 -- cl tried 102085 cl shrink 48 lits rem 54 time: 0.12
13523.82/570.87 c vivif2 -- cl tried 37490 cl shrink 10217 lits rem 328025 time: 0.33
13548.77/571.61 c asymm cl-useful: 100/2628/102083 lits-rem:197 time: 0.73
13548.77/571.64 c calculated reachability. Time: 0.01
13548.77/571.64 c N dy 1548 357874 11754 102083 155149 37374 866052 2667969 61.43 no data
13548.77/571.69 c Finding binary XORs T: 0.05 s found: 0
14315.62/595.63 c N dy 1647 377906 11745 102083 156494 57061 866052 8897768 61.82 68.70
14753.85/609.38 c Finding binary XORs T: 0.05 s found: 6
14925.84/614.81 c N dy 1749 397954 11745 101928 160631 46192 863993 5941460 62.10 67.18
15443.37/630.92 c Finding binary XORs T: 0.05 s found: 2
15478.50/632.03 c N dy 1865 418212 11738 101916 161598 34577 863566 2444275 62.61 68.35
16047.16/649.85 c N dy 1978 438318 11731 101916 163467 54292 863566 7740345 63.00 67.97
16328.37/658.65 c Finding binary XORs T: 0.05 s found: 2
16532.80/665.02 c N dy 2063 458327 11728 101904 163304 40896 863357 2863469 62.88 98.20
17043.88/681.05 c N dy 2150 478386 11725 101904 163510 60564 863357 7525939 62.98 173.23
17542.19/696.63 c N dy 2257 498549 11723 101904 163707 47056 863357 4431027 63.21 71.94
18057.11/712.72 c N dy 2347 518584 11723 101904 163972 66828 863357 9462374 63.16 106.58
18503.72/726.73 c Finding binary XORs T: 0.05 s found: 7
18564.42/728.64 c S st 2448 536812 11718 101888 163361 50277 862812 4954057 63.50 93.29
18577.21/729.08 c S st 2448 537315 11718 101888 163361 50779 862812 5001021 63.50 no data
18580.41/729.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
18682.62/732.35 c Flit: 2 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 5075 BRemL: 3375 BRemN: 20 P: 29.0M T: 3.22
18689.61/732.53 c Replacing 17 vars Replaced 6765 lits Time: 0.17 s
18689.61/732.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18692.84/732.64 c bin-w-bin subsume rem 656 bins time: 0.03 s
18701.79/732.98 c subs with bin: 88 lits-rem: 238 v-fix: 0 time: 0.34 s
18704.99/733.08 c Subs w/ non-existent bins: 187 l-rem: 209 v-fix: 0 done: 11698 time: 0.10 s
18708.19/733.13 c Removed useless bin: 42 fixed: 0 props: 1.39M time: 0.05 s
18714.58/733.30 c lits-rem: 0 cl-subs: 608 v-elim: 124 v-fix: 0 time: 0.17 s
18804.02/736.19 c subs with bin: 231 lits-rem: 9512 v-fix: 0 time: 2.58 s
19002.09/742.35 c lits-rem: 17830 cl-subs: 1661 v-elim: 0 v-fix: 0 time: 6.09 s
19005.89/742.48 c vivif2 -- cl tried 100862 cl shrink 621 lits rem 621 time: 0.13
19021.24/742.95 c vivif2 -- cl tried 46468 cl shrink 14201 lits rem 581989 time: 0.46
19041.02/743.60 c asymm cl-useful: 58/2050/100862 lits-rem:116 time: 0.64
19044.25/743.63 c calculated reachability. Time: 0.01
19044.25/743.63 c N dy 2448 537315 11574 100862 164026 46232 881021 3583681 63.50 no data
19350.25/753.28 c Finding binary XORs T: 0.06 s found: 2
19676.67/763.42 c N dy 2536 558006 11570 100859 164346 66031 880806 8255240 63.24 66.66
20254.39/781.58 c N dy 2621 578382 11568 100859 166342 51737 880806 5446529 63.25 66.72
20267.14/781.95 c Finding binary XORs T: 0.05 s found: 6
20947.59/803.26 c N dy 2730 598408 11567 100852 165464 71228 880122 11371629 63.73 146.46
21132.89/809.02 c Finding binary XORs T: 0.06 s found: 2
21653.62/825.37 c N dy 2826 618655 11562 100846 167058 54585 879887 6478260 63.87 68.33
22340.51/846.88 c N dy 2965 638701 11557 100846 167381 74342 879887 12616856 64.63 142.38
22759.07/859.91 c Finding binary XORs T: 0.06 s found: 8
23094.55/870.48 c N dy 3061 658708 11551 100800 175298 56486 878173 6413576 64.74 89.26
23781.36/891.99 c N dy 3147 678726 11546 100800 175650 76183 878173 11985568 64.79 69.24
24066.34/900.90 c Finding binary XORs T: 0.06 s found: 31
24471.31/913.59 c N dy 3274 698813 11537 100516 178383 56620 873652 6653386 65.29 109.95
25115.63/933.73 c N dy 3344 719248 11527 100516 178810 76747 873652 11870169 65.11 69.87
25246.60/937.86 c Finding binary XORs T: 0.06 s found: 15
25834.31/956.24 c N dy 3401 739325 11518 100110 179926 56670 867702 5404764 64.77 73.59
26399.85/973.98 c Finding binary XORs T: 0.06 s found: 16
26508.39/977.39 c N dy 3523 759778 11515 100092 178154 76548 866264 10821256 65.09 68.82
26856.58/988.28 c Finding binary XORs T: 0.06 s found: 4
27393.24/1005.06 c N dy 3614 780398 11509 100088 183654 56595 866128 6584305 65.13 70.40
27802.15/1017.89 c Finding binary XORs T: 0.06 s found: 10
28006.58/1024.28 c N dy 3703 800800 11504 100076 182344 76409 864879 10957567 65.05 69.84
28188.62/1029.95 c S st 3729 805973 11502 100076 182501 81468 864879 12200336 65.09 27.75
28207.82/1030.52 c S st 3729 806477 11502 100076 182501 81972 864879 12249373 65.09 no data
28207.82/1030.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
28335.64/1034.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 5628 BRemL: 14081 BRemN: 41 P: 39.2M T: 3.94
28361.21/1035.40 c Replacing 100 vars Replaced 144590 lits Time: 0.85 s
28364.41/1035.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
28367.61/1035.52 c bin-w-bin subsume rem 3486 bins time: 0.03 s
28377.17/1035.85 c subs with bin: 438 lits-rem: 650 v-fix: 0 time: 0.34 s
28380.38/1035.95 c Subs w/ non-existent bins: 221 l-rem: 224 v-fix: 0 done: 11403 time: 0.10 s
28380.38/1035.99 c Removed useless bin: 53 fixed: 0 props: 1.12M time: 0.04 s
28393.15/1036.31 c lits-rem: 29 cl-subs: 1898 v-elim: 277 v-fix: 0 time: 0.31 s
28508.20/1039.93 c subs with bin: 223 lits-rem: 16237 v-fix: 0 time: 3.08 s
28894.79/1052.08 c lits-rem: 4303 cl-subs: 3793 v-elim: 0 v-fix: 0 time: 12.08 s
28901.19/1052.22 c vivif2 -- cl tried 97418 cl shrink 396 lits rem 587 time: 0.14
28926.72/1053.06 c vivif2 -- cl tried 61517 cl shrink 26040 lits rem 1080575 time: 0.81
28961.80/1054.12 c asymm cl-useful: 123/1650/97365 lits-rem:364 time: 1.06
28961.80/1054.15 c calculated reachability. Time: 0.01
28961.80/1054.15 c N dy 3729 806477 11126 97347 165262 61041 901880 5346299 65.09 no data
28965.03/1054.21 c Finding binary XORs T: 0.06 s found: 0
29424.94/1068.70 c Finding binary XORs T: 0.06 s found: 24
29582.10/1073.55 c N dy 3801 826605 11114 97208 164750 51412 898722 4104596 64.84 68.62
30022.41/1087.32 c Finding binary XORs T: 0.06 s found: 8
30265.07/1094.91 c N dy 3868 847797 11110 97200 165384 70471 897775 9045908 64.66 68.98
30661.19/1107.40 c Finding binary XORs T: 0.06 s found: 16
30808.11/1111.99 c N dy 3924 868161 11101 97183 167267 49991 896868 3226941 64.34 67.86
31475.56/1132.83 c N dy 4014 888192 11092 97183 168638 69579 896868 7943676 64.28 73.01
31785.36/1142.56 c Finding binary XORs T: 0.06 s found: 36
32187.87/1155.17 c N dy 4096 908645 11071 97144 161360 46429 893284 2232849 64.16 68.39
32717.86/1171.77 c N dy 4175 928676 11065 97144 161987 66121 893284 6293888 63.99 67.71
33066.02/1182.68 c Finding binary XORs T: 0.06 s found: 32
33078.76/1183.04 c Replacing 116 vars Replaced 59644 lits Time: 0.36 s
33436.62/1194.27 c N dy 4243 948795 10932 97014 153147 84734 888091 10954438 63.83 67.75
34084.88/1214.56 c N dy 4332 968895 10922 97014 153725 61236 888089 5398248 63.77 69.02
34333.83/1222.39 c Finding binary XORs T: 0.06 s found: 52
34679.44/1233.16 c N dy 4421 989038 10898 96910 144179 79636 882675 9682547 63.71 67.91
35288.91/1252.29 c N dy 4525 1009047 10878 96910 144726 55382 882674 3724735 63.85 97.38
35403.92/1255.85 c Finding binary XORs T: 0.06 s found: 67
35410.30/1256.05 c Replacing 119 vars Replaced 37308 lits Time: 0.21 s
35898.91/1271.36 c N dy 4611 1029140 10741 96778 134252 74080 874785 8360123 63.81 105.82
36390.78/1286.73 c Finding binary XORs T: 0.06 s found: 54
36528.15/1291.06 c N dy 4707 1049244 10717 96724 124922 90291 869962 12753825 63.78 68.05
37045.70/1307.27 c N dy 4795 1069397 10703 96724 125315 67591 869962 5680881 63.79 73.43
37115.99/1309.46 c F st 4803 1071876 10699 96724 125382 70022 869962 6076135 63.74 48.50
37125.55/1309.78 c Replacing 54 vars Replaced 28128 lits Time: 0.26 s
37428.95/1319.24 c Finding binary XORs T: 0.06 s found: 75
37550.34/1323.05 c N dy 4831 1089487 10629 96129 118437 84178 860424 8285999 63.50 125.68
38042.33/1338.44 c N dy 4916 1109514 10610 96129 119671 59508 860424 3323719 63.53 67.42
38147.71/1341.72 c Finding binary XORs T: 0.06 s found: 48
38150.90/1341.92 c Replacing 123 vars Replaced 39066 lits Time: 0.20 s
38492.84/1352.54 c N dy 4977 1129545 10439 95566 110521 77695 848973 6204903 63.38 87.76
38840.99/1363.44 c Finding binary XORs T: 0.06 s found: 60
39013.55/1368.81 c N dy 5065 1150072 10425 93322 99899 91982 823525 9333172 63.38 69.00
39160.57/1373.41 c Finding binary XORs T: 0.06 s found: 19
39486.54/1383.68 c N dy 5122 1170157 10406 93110 115861 68143 820471 4969246 63.25 66.86
39591.98/1386.93 c Finding binary XORs T: 0.06 s found: 34
39601.55/1387.25 c Replacing 113 vars Replaced 85903 lits Time: 0.32 s
40131.87/1403.83 c N dy 5200 1194146 10258 92921 113670 90063 814749 9007619 63.09 66.82
40202.19/1406.00 c Finding binary XORs T: 0.06 s found: 76
40509.58/1415.62 c Finding binary XORs T: 0.06 s found: 455
40515.34/1415.80 c Replacing 531 vars Replaced 120421 lits Time: 0.19 s
40550.48/1416.98 c S st 5240 1209715 9606 83987 81616 50474 735745 2219828 62.92 24.89
40569.67/1417.51 c S st 5240 1210217 9591 83987 85150 50966 735745 2274168 62.92 no data
40569.67/1417.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
40662.35/1420.46 c Flit: 1 Blit: 3 bXBeca: 0 bXProp: 177 Bins: 8357 BRemL: 4803 BRemN: 14 P: 44.0M T: 2.91
40668.74/1420.67 c Replacing 177 vars Replaced 124497 lits Time: 0.20 s
40671.94/1420.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
40671.94/1420.76 c bin-w-bin subsume rem 11373 bins time: 0.02 s
40675.14/1420.85 c subs with bin: 1584 lits-rem: 1336 v-fix: 0 time: 0.09 s
40678.34/1420.92 c Subs w/ non-existent bins: 294 l-rem: 1322 v-fix: 0 done: 9410 time: 0.06 s
40678.34/1420.95 c Removed useless bin: 126 fixed: 0 props: 0.79M time: 0.03 s
40694.31/1421.40 c lits-rem: 22 cl-subs: 4575 v-elim: 1486 v-fix: 0 time: 0.45 s
40723.67/1422.36 c subs with bin: 3817 lits-rem: 25408 v-fix: 0 time: 0.88 s
40751.77/1423.31 c lits-rem: 15544 cl-subs: 4165 v-elim: 0 v-fix: 0 time: 0.90 s
40758.81/1423.45 c vivif2 -- cl tried 77418 cl shrink 4485 lits rem 9326 time: 0.13
40761.35/1423.54 c vivif2 -- cl tried 26503 cl shrink 6011 lits rem 115429 time: 0.10
40777.34/1424.07 c asymm cl-useful: 2/1370/77102 lits-rem:10 time: 0.53
40777.34/1424.09 c calculated reachability. Time: 0.01
40777.34/1424.09 c N dy 5240 1210217 7924 77100 61318 25211 767903 623222 62.92 no data
40780.53/1424.15 c Finding binary XORs T: 0.06 s found: 0
40857.26/1426.50 c Finding binary XORs T: 0.05 s found: 1196
40861.07/1426.62 c Replacing 1196 vars Replaced 269067 lits Time: 0.12 s
40959.52/1429.79 c Finding binary XORs T: 0.05 s found: 54
41064.98/1433.07 c Finding binary XORs T: 0.05 s found: 249
41068.18/1433.20 c Replacing 303 vars Replaced 40509 lits Time: 0.13 s
41080.94/1433.51 c N dy 5282 1230290 6098 54117 51521 33659 522906 2497914 62.61 66.10
41240.65/1438.56 c Finding binary XORs T: 0.05 s found: 2362
41243.83/1438.66 c Replacing 2362 vars Replaced 98138 lits Time: 0.09 s
41339.72/1441.63 c Finding binary XORs T: 0.05 s found: 179
41342.91/1441.72 c Replacing 179 vars Replaced 64298 lits Time: 0.10 s
41378.06/1442.83 c Following stats are for *FIRST FINISHED THREAD ONLY*
41378.06/1442.83 c num threads : 32
41378.06/1442.83 c restarts : 3104
41378.06/1442.83 c dynamic restarts : 3074
41378.06/1442.83 c static restarts : 30
41378.06/1442.83 c full restarts : 4
41378.06/1442.83 c total simplify time : 8.95
41378.06/1442.83 c learnts DL2 : 0
41378.06/1442.83 c learnts size 2 : 2939344
41378.06/1442.83 c learnts size 1 : 2520 (1.64 % of vars)
41378.06/1442.83 c filedLit time : 19.41 (1.50 % time)
41378.06/1442.83 c v-elim SatELite : 142575 (92.68 % vars)
41378.06/1442.83 c SatELite time : 20.92 (1.62 % time)
41378.06/1442.83 c v-elim xor : 0 (0.00 % vars)
41378.06/1442.83 c xor elim time : 0.26 (0.02 % time)
41378.06/1442.83 c num binary xor trees : 2277
41378.06/1442.83 c binxor trees' crown : 6405 (2.81 leafs/tree)
41378.06/1442.83 c bin xor find time : 2.61
41378.06/1442.83 c OTF clause improved : 23221 (0.02 clauses/conflict)
41378.06/1442.83 c OTF impr. size diff : 69360 (2.99 lits/clause)
41378.06/1442.83 c OTF cl watch-shrink : 987249 (0.83 clauses/conflict)
41378.06/1442.83 c OTF cl watch-sh-lit : 31378238 (31.78 lits/clause)
41378.06/1442.83 c tried to recurMin cls : 278659 (23.30 % of conflicts)
41378.06/1442.83 c updated cache : 14647 (0.05 lits/tried recurMin)
41378.06/1442.83 c unit cls recevied : 649 (25.75 % of units)
41378.06/1442.83 c unit cls sent : 18 (0.71 % of units)
41378.06/1442.83 c bin cls recevied : 491862
41378.06/1442.83 c bin cls sent : 8205
41378.06/1442.83 c clauses over max glue : 0 (0.00 % of all clauses)
41378.06/1442.83 c conflicts : 1195865 (926.92 / sec)
41378.06/1442.83 c decisions : 6623027 (3.30 % random)
41378.06/1442.83 c bogo-props : 21909620990 (16982229.39 / sec)
41378.06/1442.83 c conflict literals : 293685387 (34.40 % deleted)
41378.06/1442.83 c Memory used : 17300.12 MB
41378.06/1442.83 c single-thread CPU time : 1290.15 s
41378.06/1442.83 c all-threads sum CPU time : 41229.39 s
41378.06/1442.83 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-3400651-1306271563/watcher-3400651-1306271563 -o /tmp/evaluation-result-3400651-1306271563/solver-3400651-1306271563 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400651-1306271563.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.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=338000 CPUtime=0.83 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 467 0 0 0 83 0 0 0 22 0 32 0 738642791 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 84500 407 300 95 0 79482 0
[pid=11402/tid=11403] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=338000 CPUtime=0 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357517224 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516823 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516816 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 407 268435456000 4194304 4580107 140733719012576 18446744073709551615 47376357516825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 3 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 443 268435456000 4194304 4580107 140733719012576 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=338000 CPUtime=0 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 4218478 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=338000 CPUtime=0.01 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 1 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604506121166304 0 0 -1 28 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 3 0 0 0 2 0 0 0 21 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 346112000 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604573230652896 0 0 -1 17 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=469072 CPUtime=0.02 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 480329728 447 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650630728 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=469072 CPUtime=0.02 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 480329728 448 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604484643692000 0 0 -1 15 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=447228 CPUtime=0.02 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 738642792 457961472 449 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604501858434528 0 0 -1 21 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505418038752 0 0 -1 22 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 22 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604479213444576 0 0 -1 19 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 6 0 0 0 2 0 0 0 18 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 4228112 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 24 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604481609481696 0 0 -1 26 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 6 0 0 0 2 0 0 0 24 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604491768085984 0 0 -1 23 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=403536 CPUtime=0.02 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 5 0 0 0 2 0 0 0 23 0 32 0 738642792 413220864 450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505907338720 0 0 -1 29 0 0 0
[startup+0.062426 s]
/proc/loadavg: 24.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=798292 CPUtime=1.28 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) D 11400 11402 11318 0 -1 4202496 7597 0 0 0 90 38 0 0 18 0 32 0 738642791 817451008 7450 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 199573 7469 330 95 0 194555 0
[pid=11402/tid=11403] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 253 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7501 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 29 0 0 0 2 0 0 0 22 0 32 0 738642792 817451008 7502 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 39 0 0 0 3 0 0 0 19 0 32 0 738642792 817451008 7503 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=798292 CPUtime=0.01 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 209 0 0 0 0 1 0 0 19 0 32 0 738642792 817451008 7504 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 211 0 0 0 2 1 0 0 19 0 32 0 738642792 817451008 7508 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 238 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7522 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 214 0 0 0 3 1 0 0 19 0 32 0 738642792 817451008 7522 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 259 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7542 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 262 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7561 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 262 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7562 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 214 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7562 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 301 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7564 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 290 0 0 0 3 1 0 0 20 0 32 0 738642792 817451008 7577 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 232 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7597 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 260 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7635 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 304 0 0 0 3 1 0 0 18 0 32 0 738642792 817451008 7637 268435456000 4194304 4580107 140733719012576 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 297 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7637 268435456000 4194304 4580107 140733719012576 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=798292 CPUtime=0 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 25 0 0 0 0 0 0 0 21 0 32 0 738642792 817451008 7639 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 273 0 0 0 1 1 0 0 21 0 32 0 738642792 817451008 7647 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 217 0 0 0 2 1 0 0 21 0 32 0 738642792 817451008 7663 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=798292 CPUtime=0.04 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 266 0 0 0 2 2 0 0 18 0 32 0 738642792 817451008 7689 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 228 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7690 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 260 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7690 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 324 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7691 268435456000 4194304 4580107 140733719012576 18446744073709551615 4341152 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 232 0 0 0 2 1 0 0 23 0 32 0 738642792 817451008 7692 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 262 0 0 0 2 0 0 0 23 0 32 0 738642792 817451008 7700 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 288 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7715 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) D 11400 11402 11318 0 -1 4202560 271 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7717 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 272 0 0 0 2 1 0 0 24 0 32 0 738642792 817451008 7718 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 26 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=798292 CPUtime=0.02 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 55 0 0 0 2 0 0 0 23 0 32 0 738642792 817451008 7733 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=798292 CPUtime=0.03 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 228 0 0 0 2 1 0 0 18 0 32 0 738642792 817451008 7747 268435456000 4194304 4580107 140733719012576 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 798292
[startup+0.10349 s]
/proc/loadavg: 24.36 29.90 30.44 1/413 11402
/proc/meminfo: memFree=255153220/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=1327860 CPUtime=1.72 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 12791 0 0 0 102 70 0 0 17 0 32 0 738642791 1359728640 12644 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11402/statm: 331965 12663 334 95 0 326947 0
[pid=11402/tid=11403] ppid=11400 vsize=1328008 CPUtime=0.05 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377 0 0 0 3 2 0 0 17 0 32 0 738642792 1359880192 12668 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=1328008 CPUtime=0.03 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 364 0 0 0 2 1 0 0 17 0 32 0 738642792 1359880192 12676 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604499809500640 0 0 -1 24 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=1328008 CPUtime=0.04 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 325 0 0 0 3 1 0 0 17 0 32 0 738642792 1359880192 12702 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505418038752 0 0 -1 2 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=1328140 CPUtime=0.03 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 398 0 0 0 1 2 0 0 17 0 32 0 738642792 1360015360 12738 268435456000 4194304 4580107 140733719012576 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 375 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12755 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505907338720 0 0 -1 8 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 422 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12769 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 331 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12777 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604482220129760 0 0 -1 31 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 360 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12781 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604493779959264 0 0 -1 5 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=1328140 CPUtime=0.04 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 380 0 0 0 3 1 0 0 17 0 32 0 738642792 1360015360 12796 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505837092320 0 0 -1 6 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 391 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12823 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12825 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=1328140 CPUtime=0.05 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 359 0 0 0 3 2 0 0 17 0 32 0 738642792 1360015360 12844 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604481609481696 0 0 -1 10 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=1328272 CPUtime=0.05 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 423 0 0 0 3 2 0 0 17 0 32 0 738642792 1360150528 12845 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=1328404 CPUtime=0.05 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 395 0 0 0 3 2 0 0 17 0 32 0 738642792 1360285696 12853 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604505874030048 0 0 -1 13 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=1328536 CPUtime=0.05 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) S 11400 11402 11318 0 -1 4202560 388 0 0 0 3 2 0 0 17 0 32 0 738642792 1360420864 12878 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651060958 0 0 4096 2 18446604502285295072 0 0 -1 14 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=1328536 CPUtime=0.05 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 427 0 0 0 3 2 0 0 17 0 32 0 738642792 1360420864 12913 268435456000 4194304 4580107 140733719012576 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=1328536 CPUtime=0.04 cores=0-31
################
# More data... #
################
/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 394888 0 0 0 128209 490 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=17744572 CPUtime=1290.89 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 414150 0 0 0 128648 441 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=17744572 CPUtime=1291.12 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 388208 0 0 0 128620 492 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=17744572 CPUtime=1290 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 391681 0 0 0 128519 481 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=17744572 CPUtime=1289.17 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 399741 0 0 0 128435 482 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=17744572 CPUtime=1289.87 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404114 0 0 0 128482 505 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=17744572 CPUtime=1290.21 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 356770 0 0 0 128558 463 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=17744572 CPUtime=1279.91 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 353251 0 0 0 127530 461 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=17744572 CPUtime=1288.38 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359362 0 0 0 128354 484 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=17744572 CPUtime=1289.41 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378782 0 0 0 128469 472 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=17744572 CPUtime=1293.03 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 381881 0 0 0 128815 488 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=17744572 CPUtime=1287.58 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 403552 0 0 0 128261 497 0 0 25 0 32 0 738642792 18170441728 3499657 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=17744572 CPUtime=1288.55 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 365785 0 0 0 128384 471 0 0 25 0 32 0 738642792 18170441728 3499658 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=17744572 CPUtime=1293.65 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 370439 0 0 0 128915 450 0 0 25 0 32 0 738642792 18170441728 3499659 268435456000 4194304 4580107 140733719012576 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=17744572 CPUtime=1292.07 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357216 0 0 0 128724 483 0 0 25 0 32 0 738642792 18170441728 3499659 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=17744572 CPUtime=1291.47 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 336299 0 0 0 128721 426 0 0 25 0 32 0 738642792 18170441728 3499660 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=17744572 CPUtime=1292.74 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369062 0 0 0 128808 466 0 0 25 0 32 0 738642792 18170441728 3499660 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=17744572 CPUtime=1288.76 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359950 0 0 0 128411 465 0 0 25 0 32 0 738642792 18170441728 3499662 268435456000 4194304 4580107 140733719012576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=17744572 CPUtime=1289.58 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377073 0 0 0 128481 477 0 0 25 0 32 0 738642792 18170441728 3499663 268435456000 4194304 4580107 140733719012576 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=17744572 CPUtime=1291.86 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378522 0 0 0 128706 480 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=17744572 CPUtime=1290.55 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 386433 0 0 0 128597 458 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=17744572 CPUtime=1295.79 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 328409 0 0 0 129134 445 0 0 25 0 32 0 738642792 18170441728 3499664 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=17744572 CPUtime=1286.11 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 354189 0 0 0 128132 479 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=17744572 CPUtime=1289.01 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 326999 0 0 0 128431 470 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=17744572 CPUtime=1290.15 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 356620 0 0 0 128531 484 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=17744572 CPUtime=1290.9 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360276 0 0 0 128632 458 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4322642 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=17744572 CPUtime=1298.68 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 162399 0 0 0 129674 194 0 0 25 0 32 0 738642792 18170441728 3499666 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 41286
Current children cumulated vsize (KiB) 17744572
[startup+1441.5 s]
/proc/loadavg: 32.12 31.95 30.58 33/445 11477
/proc/meminfo: memFree=241109188/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=17841960 CPUtime=41336.5 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) R 11400 11402 11318 0 -1 4202496 11925649 0 0 0 4118691 14961 0 0 25 0 32 0 738642791 18270167040 3507189 268435456000 4194304 4580107 140733719012576 18446744073709551615 4325732 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 4460490 3507190 382 95 0 4455472 0
[pid=11402/tid=11403] ppid=11400 vsize=17841960 CPUtime=1292.63 cores=0-31
/proc/11402/task/11403/stat : 11403 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 411562 0 0 0 128723 540 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11402/tid=11404] ppid=11400 vsize=17841960 CPUtime=1291.53 cores=0-31
/proc/11402/task/11404/stat : 11404 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 384533 0 0 0 128694 459 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11402/tid=11405] ppid=11400 vsize=17841960 CPUtime=1293.24 cores=0-31
/proc/11402/task/11405/stat : 11405 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 426084 0 0 0 128831 493 0 0 25 0 32 0 738642792 18270167040 3507191 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11402/tid=11406] ppid=11400 vsize=17841960 CPUtime=1284 cores=0-31
/proc/11402/task/11406/stat : 11406 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 416753 0 0 0 127920 480 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11402/tid=11407] ppid=11400 vsize=17841960 CPUtime=1288.57 cores=0-31
/proc/11402/task/11407/stat : 11407 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 394888 0 0 0 128367 490 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11402/tid=11408] ppid=11400 vsize=17841960 CPUtime=1292.46 cores=0-31
/proc/11402/task/11408/stat : 11408 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 414473 0 0 0 128805 441 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11402/tid=11409] ppid=11400 vsize=17841960 CPUtime=1292.71 cores=0-31
/proc/11402/task/11409/stat : 11409 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 388820 0 0 0 128778 493 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11402/tid=11410] ppid=11400 vsize=17841960 CPUtime=1291.58 cores=0-31
/proc/11402/task/11410/stat : 11410 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 392097 0 0 0 128677 481 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11402/tid=11411] ppid=11400 vsize=17841960 CPUtime=1290.75 cores=0-31
/proc/11402/task/11411/stat : 11411 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 400214 0 0 0 128593 482 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11402/tid=11412] ppid=11400 vsize=17841960 CPUtime=1291.45 cores=0-31
/proc/11402/task/11412/stat : 11412 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404380 0 0 0 128640 505 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11402/tid=11413] ppid=11400 vsize=17841960 CPUtime=1291.79 cores=0-31
/proc/11402/task/11413/stat : 11413 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357152 0 0 0 128716 463 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316745 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11402/tid=11414] ppid=11400 vsize=17841960 CPUtime=1281.48 cores=0-31
/proc/11402/task/11414/stat : 11414 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 353753 0 0 0 127687 461 0 0 25 0 32 0 738642792 18270167040 3507192 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11402/tid=11415] ppid=11400 vsize=17841960 CPUtime=1289.97 cores=0-31
/proc/11402/task/11415/stat : 11415 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 359781 0 0 0 128512 485 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11402/tid=11416] ppid=11400 vsize=17841960 CPUtime=1291 cores=0-31
/proc/11402/task/11416/stat : 11416 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 379309 0 0 0 128627 473 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11402/tid=11417] ppid=11400 vsize=17841960 CPUtime=1294.61 cores=0-31
/proc/11402/task/11417/stat : 11417 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 382512 0 0 0 128972 489 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11402/tid=11418] ppid=11400 vsize=17841960 CPUtime=1289.16 cores=0-31
/proc/11402/task/11418/stat : 11418 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 404181 0 0 0 128418 498 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11402/tid=11419] ppid=11400 vsize=17841960 CPUtime=1290.13 cores=0-31
/proc/11402/task/11419/stat : 11419 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 366289 0 0 0 128542 471 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11402/tid=11420] ppid=11400 vsize=17841960 CPUtime=1295.23 cores=0-31
/proc/11402/task/11420/stat : 11420 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 370675 0 0 0 129073 450 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11402/tid=11421] ppid=11400 vsize=17841960 CPUtime=1293.65 cores=0-31
/proc/11402/task/11421/stat : 11421 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357711 0 0 0 128882 483 0 0 25 0 32 0 738642792 18270167040 3507193 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11402/tid=11422] ppid=11400 vsize=17841960 CPUtime=1293.05 cores=0-31
/proc/11402/task/11422/stat : 11422 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 336670 0 0 0 128879 426 0 0 25 0 32 0 738642792 18270167040 3507194 268435456000 4194304 4580107 140733719012576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=17841960 CPUtime=1294.33 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 369628 0 0 0 128966 467 0 0 25 0 32 0 738642792 18270167040 3507194 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11402/tid=11424] ppid=11400 vsize=17841960 CPUtime=1290.34 cores=0-31
/proc/11402/task/11424/stat : 11424 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360118 0 0 0 128569 465 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11402/tid=11425] ppid=11400 vsize=17841960 CPUtime=1291.16 cores=0-31
/proc/11402/task/11425/stat : 11425 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 377449 0 0 0 128639 477 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11402/tid=11426] ppid=11400 vsize=17841960 CPUtime=1293.45 cores=0-31
/proc/11402/task/11426/stat : 11426 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 378905 0 0 0 128864 481 0 0 25 0 32 0 738642792 18270167040 3507196 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316807 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11402/tid=11427] ppid=11400 vsize=17841960 CPUtime=1292.13 cores=0-31
/proc/11402/task/11427/stat : 11427 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 386743 0 0 0 128755 458 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11402/tid=11428] ppid=11400 vsize=17841960 CPUtime=1297.37 cores=0-31
/proc/11402/task/11428/stat : 11428 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 328409 0 0 0 129292 445 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11402/tid=11429] ppid=11400 vsize=17841960 CPUtime=1287.69 cores=0-31
/proc/11402/task/11429/stat : 11429 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 354445 0 0 0 128290 479 0 0 25 0 32 0 738642792 18270167040 3507197 268435456000 4194304 4580107 140733719012576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11402/tid=11430] ppid=11400 vsize=17841960 CPUtime=1290.59 cores=0-31
/proc/11402/task/11430/stat : 11430 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 327540 0 0 0 128589 470 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4253214 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11402/tid=11431] ppid=11400 vsize=17841960 CPUtime=1291.72 cores=0-31
/proc/11402/task/11431/stat : 11431 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 357157 0 0 0 128688 484 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317032 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11402/tid=11432] ppid=11400 vsize=17841960 CPUtime=1292.48 cores=0-31
/proc/11402/task/11432/stat : 11432 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 360276 0 0 0 128790 458 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11402/tid=11433] ppid=11400 vsize=17841960 CPUtime=1300.26 cores=0-31
/proc/11402/task/11433/stat : 11433 (strangenight2-m) R 11400 11402 11318 0 -1 4202560 162550 0 0 0 129832 194 0 0 25 0 32 0 738642792 18270167040 3507198 268435456000 4194304 4580107 140733719012576 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 41336.5
Current children cumulated vsize (KiB) 17841960
[startup+1443.1 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41379.3 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 14994 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1295.94 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 496 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41379.3
Current children cumulated vsize (KiB) 0
[startup+1443.5 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41379.7 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15033 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.32 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 534 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41379.7
Current children cumulated vsize (KiB) 0
[startup+1443.9 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41380.1 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15073 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.72 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 574 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41380.1
Current children cumulated vsize (KiB) 0
[startup+1444 s]
/proc/loadavg: 32.12 31.95 30.58 2/415 11477
/proc/meminfo: memFree=243972216/264257624 swapFree=67111528/67111528
[pid=11402] ppid=11400 vsize=0 CPUtime=41380.2 cores=0-31
/proc/11402/stat : 11402 (strangenight2-m) Z 11400 11402 11318 0 -1 4203548 11935985 0 0 0 4122939 15083 0 0 25 0 2 0 738642791 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/11402/statm: 0 0 0 0 0 0 0
[pid=11402/tid=11423] ppid=11400 vsize=0 CPUtime=1296.82 cores=0-31
/proc/11402/task/11423/stat : 11423 (strangenight2-m) R 11400 11402 11318 0 -1 4203588 370029 0 0 0 129098 584 0 0 25 0 2 0 738642792 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41380.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1444.06
CPU time (s): 41380.3
CPU user time (s): 41229.4
CPU system time (s): 150.881
CPU usage (%): 2865.56
Max. virtual memory (cumulated for all children) (KiB): 18406480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41229.4
system time used= 150.881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11935985
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= 4174485
involuntary context switches= 88644
runsolver used 8.64169 second user time and 33.3529 second system time
The end
Begin job on node200 at 2011-05-24 23:12:44
IDJOB=3400651
IDBENCH=70760
IDSOLVER=1886
FILE ID=node200/3400651-1306271563
RUNJOBID= node200-1306271538-11332
PBS_JOBID= 13411771
Free space on /tmp= 62040 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400651-1306271563/watcher-3400651-1306271563 -o /tmp/evaluation-result-3400651-1306271563/solver-3400651-1306271563 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400651-1306271563.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=2120947710
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: 255153632 kB
Buffers: 465384 kB
Cached: 8227124 kB
SwapCached: 0 kB
Active: 7777728 kB
Inactive: 984876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255153632 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13128 kB
Writeback: 0 kB
AnonPages: 69532 kB
Mapped: 14480 kB
Slab: 255884 kB
PageTables: 4608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 175568 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= 62032 MiB
End job on node200 at 2011-05-24 23:36:48