0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400669-1306321800.cnf'
16.48/1.01 c -- clauses added: 0 learnts, 96161 normals, 0 xors
16.48/1.01 c -- vars added 31951
16.48/1.01 c Parsing time: 0.15 s
16.48/1.01 c N st 0 0 31951 34439 61522 0 226361 0 no data no data
37.24/1.62 c asymm cl-useful: 15/34199/34199 lits-rem:45 time: 0.61
119.75/9.10 c Flit: 75 Blit: 312 bXBeca: 0 bXProp: 1890 Bins: 0 BRemL: 0 BRemN: 0 P: 18.7M T: 2.03
119.75/9.11 c Cleaning up after failed var search: 0.01 s
121.58/9.22 c Replacing 1890 vars Replaced 47731 lits Time: 0.02 s
126.00/9.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
126.00/9.41 c bin-w-bin subsume rem 0 bins time: 0.01 s
126.00/9.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
131.27/9.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28403 time: 0.23 s
137.62/9.90 c Removed useless bin: 0 fixed: 0 props: 14.00M time: 0.22 s
147.78/10.29 c lits-rem: 0 cl-subs: 0 v-elim: 9467 v-fix: 0 time: 0.24 s
154.18/10.40 c Finding binary XORs T: 0.11 s found: 12
154.18/10.42 c Replacing 12 vars Replaced 311 lits Time: 0.01 s
154.18/10.44 c Finding non-binary XORs: 0.01 s (found: 710, avg size: 3.0)
154.18/10.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 0 time: 0.01
154.18/10.47 c calculated reachability. Time: 0.02
154.18/10.47 c Calc default polars - time: 0.01 s pos: 4897 undec: 13074 neg: 13980
154.18/10.47 c =========================================================================================
154.18/10.47 c types(t): F = full restart, N = normal restart
154.18/10.47 c types(t): S = simplification begin/end, E = solution found
154.18/10.47 c restart types(rt): st = static, dy = dynamic
154.18/10.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
154.18/10.47 c B st 0 0 18918 18263 45990 0 158345 0 no data no data
387.49/17.71 c Decided on static restart strategy
739.07/28.70 c N st 8 4918 18918 18263 46057 4812 158345 264245 no data no data
1071.53/39.19 c Finding binary XORs T: 0.05 s found: 8
1542.03/53.85 c N st 10 11301 18918 18263 48295 8360 158345 409053 no data no data
2311.79/77.92 c N st 11 17044 18918 18263 48297 9352 158345 402477 no data no data
3341.04/110.13 c F st 12 25000 18918 18263 48551 11055 158345 455684 no data no data
3341.04/110.16 c Replacing 8 vars Replaced 14826 lits Time: 0.04 s
3341.04/110.19 c N st 12 25000 18910 18263 48528 11055 158345 455596 no data no data
3344.23/110.24 c Finding binary XORs T: 0.05 s found: 1
3993.15/130.56 c N dy 18 30001 18910 18263 49137 8623 158345 283594 no data no data
3993.15/130.56 c S st 18 30001 18910 18263 49137 8623 158345 283594 no data no data
3999.55/130.82 c S st 18 30501 18910 18263 49159 9099 158345 301840 no data no data
4003.33/130.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4089.04/133.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 111766 BRemL: 35988 BRemN: 5 P: 17.5M T: 2.72
4089.04/133.57 c Replacing 3 vars Replaced 88 lits Time: 0.02 s
4089.04/133.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4092.24/133.60 c bin-w-bin subsume rem 1889 bins time: 0.01 s
4092.24/133.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
4095.44/133.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18907 time: 0.12 s
4098.63/133.81 c Removed useless bin: 5 fixed: 0 props: 3.67M time: 0.06 s
4105.03/134.08 c lits-rem: 23 cl-subs: 1869 v-elim: 6265 v-fix: 0 time: 0.26 s
4105.03/134.10 c subs with bin: 5 lits-rem: 454 v-fix: 0 time: 0.01 s
4112.05/134.22 c lits-rem: 1021 cl-subs: 1559 v-elim: 0 v-fix: 0 time: 0.11 s
4121.00/134.54 c asymm cl-useful: 1025/14836/14836 lits-rem:10973 time: 0.32
4121.00/134.57 c calculated reachability. Time: 0.02
4121.00/134.57 c N dy 18 30501 12642 14835 57348 3413 146730 112381 no data no data
4124.20/134.62 c Finding binary XORs T: 0.05 s found: 0
4351.13/141.73 c N dy 32 34540 12642 14835 57464 7429 146730 389313 10.67 14.51
4536.52/147.59 c Finding binary XORs T: 0.04 s found: 0
4622.83/150.28 c N dy 49 38929 12642 14835 78066 11797 146730 738138 10.52 11.12
4862.56/157.78 c N dy 64 42970 12642 14835 78067 9261 146730 459509 10.55 11.13
5058.19/163.91 c S st 74 45751 12642 14835 79918 12026 146730 641797 10.54 8.26
5061.39/163.95 c Finding binary XORs T: 0.04 s found: 0
5070.34/164.20 c S st 74 46254 12642 14835 79920 12526 146730 661265 10.54 no data
5070.34/164.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
5115.07/165.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2312 BRemL: 25579 BRemN: 3 P: 17.7M T: 1.45
5115.07/165.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5115.07/165.68 c bin-w-bin subsume rem 1030 bins time: 0.01 s
5118.26/165.72 c subs with bin: 173 lits-rem: 1940 v-fix: 0 time: 0.03 s
5121.46/165.81 c Subs w/ non-existent bins: 0 l-rem: 14 v-fix: 0 done: 12642 time: 0.09 s
5121.46/165.86 c Removed useless bin: 103 fixed: 0 props: 2.19M time: 0.05 s
5124.66/165.92 c lits-rem: 54 cl-subs: 108 v-elim: 66 v-fix: 0 time: 0.06 s
5134.27/166.24 c subs with bin: 3 lits-rem: 477 v-fix: 0 time: 0.27 s
5140.63/166.47 c lits-rem: 2960 cl-subs: 540 v-elim: 0 v-fix: 0 time: 0.23 s
5140.63/166.49 c vivif2 -- cl tried 14791 cl shrink 96 lits rem 97 time: 0.02
5143.83/166.56 c vivif2 -- cl tried 11399 cl shrink 4489 lits rem 151363 time: 0.06
5156.62/166.93 c asymm cl-useful: 1/14768/14768 lits-rem:1 time: 0.37
5156.62/166.95 c calculated reachability. Time: 0.02
5156.62/166.95 c N dy 74 46254 12576 14768 55267 11399 145183 378089 10.54 no data
5492.25/177.41 c N dy 89 51578 12576 14768 56018 8374 145183 199780 10.55 11.16
5492.25/177.45 c Finding binary XORs T: 0.04 s found: 0
5735.18/185.01 c N dy 104 55838 12576 14768 56018 12617 145183 421793 10.51 11.14
6048.45/194.83 c N dy 122 60657 12576 14768 57179 17418 145183 709714 10.40 10.97
6112.96/196.88 c Finding binary XORs T: 0.04 s found: 2
6384.06/205.39 c N dy 129 65050 12576 14768 57255 11768 145183 301888 10.17 10.72
6671.77/214.35 c N dy 146 69381 12576 14768 57259 16079 145183 561587 10.14 9.62
6671.77/214.35 c S st 146 69381 12576 14768 57259 16079 145183 561587 10.14 9.62
6681.34/214.61 c S st 146 69882 12576 14768 57262 16577 145183 584960 10.14 no data
6681.34/214.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
6726.10/216.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 19 BRemL: 1626 BRemN: 69 P: 19.0M T: 1.39
6726.10/216.03 c Replacing 2 vars Replaced 30 lits Time: 0.01 s
6726.10/216.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6726.10/216.05 c bin-w-bin subsume rem 137 bins time: 0.01 s
6726.10/216.08 c subs with bin: 31 lits-rem: 0 v-fix: 0 time: 0.03 s
6729.30/216.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12574 time: 0.10 s
6732.50/216.24 c Removed useless bin: 27 fixed: 0 props: 2.14M time: 0.05 s
6732.50/216.30 c lits-rem: 9 cl-subs: 12 v-elim: 23 v-fix: 0 time: 0.06 s
6742.09/216.58 c subs with bin: 94 lits-rem: 22 v-fix: 0 time: 0.24 s
6749.11/216.79 c lits-rem: 1139 cl-subs: 438 v-elim: 0 v-fix: 0 time: 0.20 s
6751.67/216.81 c vivif2 -- cl tried 14745 cl shrink 1 lits rem 1 time: 0.02
6751.67/216.88 c vivif2 -- cl tried 16007 cl shrink 4138 lits rem 122759 time: 0.07
6767.66/217.32 c asymm cl-useful: 4/14745/14745 lits-rem:12 time: 0.44
6767.66/217.34 c calculated reachability. Time: 0.02
6767.66/217.35 c N dy 146 69882 12551 14741 55358 16007 144940 438926 10.14 no data
7077.74/227.07 c N dy 178 74401 12551 14741 55861 20506 144940 696886 10.27 14.78
7298.28/233.93 c Finding binary XORs T: 0.04 s found: 4
7406.96/237.39 c N dy 191 79417 12551 14741 55862 14164 144940 355687 10.18 10.84
7819.28/250.20 c N dy 200 84728 12551 14741 55919 19426 144940 623315 10.06 10.66
8036.65/257.00 c F st 203 87501 12551 14741 55919 22175 144940 762133 10.00 7.73
8036.65/257.05 c Replacing 4 vars Replaced 13286 lits Time: 0.05 s
8270.00/264.31 c N st 208 90798 12547 14737 55916 12988 144917 227894 10.00 no data
8404.26/268.53 c Decided on static restart strategy
9081.91/289.73 c N st 211 99805 12547 14737 56121 21954 144917 850919 10.00 no data
9558.80/304.65 c S st 212 104824 12547 14737 56122 26965 144917 1093688 10.00 no data
9558.80/304.70 c Finding binary XORs T: 0.04 s found: 0
9570.99/305.07 c S st 212 105328 12547 14737 56438 14360 144917 335154 10.00 no data
9570.99/305.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
9615.71/306.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 164 BRemL: 922 BRemN: 17 P: 18.6M T: 1.34
9615.71/306.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9615.71/306.44 c bin-w-bin subsume rem 37 bins time: 0.01 s
9615.71/306.47 c subs with bin: 49 lits-rem: 0 v-fix: 0 time: 0.03 s
9618.91/306.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12547 time: 0.09 s
9622.10/306.61 c Removed useless bin: 28 fixed: 0 props: 2.09M time: 0.05 s
9622.10/306.67 c lits-rem: 3 cl-subs: 17 v-elim: 12 v-fix: 0 time: 0.06 s
9625.30/306.77 c subs with bin: 1 lits-rem: 7 v-fix: 0 time: 0.08 s
9632.36/306.94 c lits-rem: 440 cl-subs: 971 v-elim: 0 v-fix: 0 time: 0.16 s
9632.36/306.96 c vivif2 -- cl tried 14677 cl shrink 4 lits rem 5 time: 0.02
9632.36/307.00 c vivif2 -- cl tried 13313 cl shrink 2527 lits rem 24926 time: 0.04
9647.68/307.41 c asymm cl-useful: 2/14675/14675 lits-rem:2 time: 0.41
9647.68/307.44 c calculated reachability. Time: 0.02
9647.68/307.44 c N st 212 105328 12535 14675 55526 13313 144713 282590 10.00 no data
10539.50/335.31 c N st 213 114926 12535 14675 55526 22881 144713 939225 10.00 no data
11988.16/380.68 c N st 214 129323 12535 14675 55566 22901 144713 753869 10.00 no data
11990.72/380.73 c Finding binary XORs T: 0.04 s found: 3
14250.67/451.45 c N st 215 150918 12535 14675 56059 28877 144713 947160 10.00 no data
15044.02/476.23 c S st 216 157993 12535 14675 56248 19360 144713 413267 10.00 no data
15052.97/476.54 c S st 216 158494 12535 14675 56381 19858 144713 434504 10.00 no data
15052.97/476.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
15100.90/478.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 190 BRemL: 462 BRemN: 21 P: 20.4M T: 1.46
15100.90/478.04 c Replacing 10 vars Replaced 6409 lits Time: 0.03 s
15100.90/478.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
15100.90/478.06 c bin-w-bin subsume rem 53 bins time: 0.01 s
15100.90/478.09 c subs with bin: 109 lits-rem: 0 v-fix: 0 time: 0.03 s
15104.10/478.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12525 time: 0.08 s
15107.29/478.23 c Removed useless bin: 88 fixed: 0 props: 2.02M time: 0.05 s
15107.29/478.29 c lits-rem: 5 cl-subs: 26 v-elim: 28 v-fix: 0 time: 0.06 s
15114.31/478.46 c subs with bin: 1 lits-rem: 127 v-fix: 0 time: 0.15 s
15120.10/478.69 c lits-rem: 127 cl-subs: 2412 v-elim: 0 v-fix: 0 time: 0.22 s
15123.27/478.71 c vivif2 -- cl tried 14556 cl shrink 20 lits rem 28 time: 0.02
15123.27/478.77 c vivif2 -- cl tried 17239 cl shrink 2634 lits rem 29017 time: 0.05
15139.25/479.24 c asymm cl-useful: 0/14556/14556 lits-rem:0 time: 0.47
15139.25/479.26 c calculated reachability. Time: 0.02
15139.25/479.26 c N st 216 158494 12497 14556 55770 17239 144337 363106 10.00 no data
15142.45/479.30 c Finding binary XORs T: 0.04 s found: 0
20464.63/645.88 c N st 217 207082 12497 14556 55776 29574 144337 890814 10.00 no data
20467.83/645.92 c Finding binary XORs T: 0.04 s found: 9
23936.03/754.43 c N st 218 237742 12497 14556 56566 40937 144337 1347726 10.00 no data
23936.03/754.43 c S st 218 237742 12497 14556 56566 40937 144337 1347726 10.00 no data
23952.00/754.95 c S st 218 238246 12497 14556 56954 41439 144337 1367270 10.00 no data
23952.00/754.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
24010.14/756.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 13 BRemL: 657 BRemN: 40 P: 26.4M T: 1.78
24015.92/756.91 c Replacing 9 vars Replaced 129671 lits Time: 0.16 s
24015.92/756.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
24015.92/756.93 c bin-w-bin subsume rem 33 bins time: 0.01 s
24015.92/756.96 c subs with bin: 105 lits-rem: 0 v-fix: 0 time: 0.03 s
24019.12/757.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12488 time: 0.09 s
24022.32/757.10 c Removed useless bin: 91 fixed: 0 props: 1.96M time: 0.05 s
24022.32/757.17 c lits-rem: 5 cl-subs: 19 v-elim: 22 v-fix: 0 time: 0.07 s
24038.31/757.62 c subs with bin: 1 lits-rem: 455 v-fix: 0 time: 0.36 s
24169.33/761.72 c lits-rem: 3130 cl-subs: 3054 v-elim: 0 v-fix: 0 time: 4.09 s
24169.33/761.74 c vivif2 -- cl tried 14424 cl shrink 6 lits rem 9 time: 0.02
24182.13/762.19 c vivif2 -- cl tried 38264 cl shrink 12554 lits rem 93426 time: 0.44
24204.50/762.82 c asymm cl-useful: 10/14424/14424 lits-rem:10 time: 0.63
24204.50/762.85 c calculated reachability. Time: 0.02
24204.50/762.85 c N st 218 238246 12466 14424 55982 38264 143764 1180776 10.00 no data
31527.65/991.95 c F st 219 306250 12466 14424 55982 41673 143764 1696733 10.00 no data
31527.65/991.97 c N st 219 306250 12466 14424 55982 41673 143764 1696733 10.00 no data
31530.85/992.01 c Finding binary XORs T: 0.04 s found: 0
32157.37/1011.62 c Decided on static restart strategy
34765.00/1093.23 c N st 229 334554 12466 14424 56397 46215 143764 1568516 10.00 no data
37529.55/1179.71 c N st 231 357369 12466 14424 56535 44388 143764 1346269 10.00 no data
37529.55/1179.71 c S st 231 357369 12466 14424 56535 44388 143764 1346269 10.00 no data
37546.16/1180.25 c S st 231 357874 12466 14424 56555 44892 143764 1363968 10.00 no data
37546.16/1180.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
37603.07/1182.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 6 BRemL: 183 BRemN: 39 P: 27.1M T: 1.80
37603.07/1182.09 c Replacing 1 vars Replaced 39 lits Time: 0.02 s
37606.27/1182.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
37606.27/1182.11 c bin-w-bin subsume rem 3 bins time: 0.01 s
37606.27/1182.14 c subs with bin: 68 lits-rem: 0 v-fix: 0 time: 0.03 s
37609.47/1182.25 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 12465 time: 0.11 s
37609.47/1182.30 c Removed useless bin: 38 fixed: 0 props: 1.89M time: 0.05 s
37612.66/1182.37 c lits-rem: 6 cl-subs: 31 v-elim: 14 v-fix: 0 time: 0.07 s
37628.64/1182.88 c subs with bin: 40 lits-rem: 1511 v-fix: 0 time: 0.42 s
37673.40/1184.23 c lits-rem: 1836 cl-subs: 2021 v-elim: 0 v-fix: 0 time: 1.34 s
37673.40/1184.24 c vivif2 -- cl tried 14325 cl shrink 2 lits rem 4 time: 0.02
37679.79/1184.47 c vivif2 -- cl tried 42677 cl shrink 13069 lits rem 178504 time: 0.23
37702.16/1185.12 c asymm cl-useful: 1/14325/14325 lits-rem:1 time: 0.64
37702.16/1185.14 c calculated reachability. Time: 0.02
37702.16/1185.14 c N st 231 357874 12451 14325 56160 42677 143392 1135313 10.00 no data
41413.90/1301.23 c N st 232 390267 12451 14325 56160 49469 143392 1605233 10.00 no data
47215.51/1482.76 c N st 233 438855 12451 14325 56179 43703 143392 1414192 10.00 no data
47215.51/1482.80 c Finding binary XORs T: 0.04 s found: 0
54976.04/1725.55 c N st 234 511737 12451 14325 56644 58132 143392 2273545 10.00 no data
58217.26/1826.93 c N st 235 536812 12451 14325 56695 52552 143392 1962134 10.00 no data
58217.26/1826.93 c S st 235 536812 12451 14325 56695 52552 143392 1962134 10.00 no data
58236.43/1827.57 c S st 235 537317 12451 14325 56749 53055 143392 1980510 10.00 no data
58236.43/1827.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
58306.76/1829.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 230 BRemN: 33 P: 31.1M T: 2.18
58306.76/1829.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
58309.96/1829.80 c bin-w-bin subsume rem 166 bins time: 0.01 s
58309.96/1829.83 c subs with bin: 13 lits-rem: 0 v-fix: 0 time: 0.03 s
58313.16/1829.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12451 time: 0.09 s
58313.16/1829.97 c Removed useless bin: 7 fixed: 0 props: 1.88M time: 0.05 s
58316.36/1830.05 c lits-rem: 2 cl-subs: 7 v-elim: 3 v-fix: 0 time: 0.08 s
58357.91/1831.33 c subs with bin: 1 lits-rem: 2 v-fix: 0 time: 1.16 s
58425.05/1833.47 c lits-rem: 4812 cl-subs: 1027 v-elim: 0 v-fix: 0 time: 2.13 s
58425.05/1833.49 c vivif2 -- cl tried 14304 cl shrink 0 lits rem 0 time: 0.02
58437.82/1833.81 c vivif2 -- cl tried 51204 cl shrink 15431 lits rem 386956 time: 0.32
58460.20/1834.60 c asymm cl-useful: 2/9317/14304 lits-rem:2 time: 0.78
58463.40/1834.62 c calculated reachability. Time: 0.02
58463.40/1834.62 c N st 235 537317 12448 14304 56285 51204 143253 1521720 10.00 no data
79314.15/2486.92 c N st 236 701304 12448 14304 56286 47506 143253 1170460 10.00 no data
79314.15/2486.96 c Finding binary XORs T: 0.04 s found: 0
92394.19/2896.15 c N st 237 805975 12448 14304 56765 77513 143253 2661254 10.00 no data
92394.19/2896.15 c S st 237 805975 12448 14304 56765 77513 143253 2661254 10.00 no data
92394.19/2896.19 c Finding binary XORs T: 0.04 s found: 0
92419.75/2896.92 c S st 237 806480 12448 14304 57355 78017 143253 2683227 10.00 no data
92419.75/2896.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
92490.08/2899.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 448 BRemN: 6 P: 36.1M T: 2.25
92493.27/2899.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
92493.27/2899.21 c bin-w-bin subsume rem 5 bins time: 0.01 s
92493.27/2899.24 c subs with bin: 105 lits-rem: 0 v-fix: 0 time: 0.03 s
92496.48/2899.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12448 time: 0.10 s
92496.48/2899.39 c Removed useless bin: 47 fixed: 0 props: 1.80M time: 0.05 s
92499.68/2899.48 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.09 s
92544.42/2900.81 c subs with bin: 16 lits-rem: 21 v-fix: 0 time: 1.15 s
92828.91/2909.70 c lits-rem: 1218 cl-subs: 11737 v-elim: 0 v-fix: 0 time: 8.88 s
92828.91/2909.72 c vivif2 -- cl tried 14197 cl shrink 0 lits rem 0 time: 0.02
92844.90/2910.22 c vivif2 -- cl tried 66264 cl shrink 23309 lits rem 371052 time: 0.49
92848.10/2910.38 c asymm cl-useful: 0/4880/14197 lits-rem:0 time: 0.16
92851.29/2910.41 c calculated reachability. Time: 0.02
92851.29/2910.41 c N st 237 806480 12448 14197 56854 66264 143036 2137725 10.00 no data
127879.07/4006.28 c F st 238 1071875 12448 14197 56854 84070 143036 2287179 10.00 no data
127881.60/4006.31 c N st 238 1071875 12448 14197 56854 84070 143036 2287179 10.00 no data
128460.20/4024.43 c Decided on static restart strategy
131324.89/4114.09 c N st 248 1100177 12448 14197 57147 67878 143036 2089750 10.00 no data
136209.12/4266.92 c N st 250 1136169 12448 14197 57154 58342 143036 1519981 10.00 no data
140689.95/4407.01 c N st 251 1168561 12448 14197 57170 90621 143036 3484410 10.00 no data
146344.53/4583.94 c N st 252 1209720 12448 14197 57185 85044 143036 3184629 10.00 no data
146344.53/4583.94 c S st 252 1209720 12448 14197 57185 85044 143036 3184629 10.00 no data
146370.75/4584.74 c S st 252 1210222 12448 14197 57252 85545 143036 3204155 10.00 no data
146370.75/4584.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
146446.83/4587.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 123 BRemN: 58 P: 38.8M T: 2.41
146446.83/4587.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
146450.03/4587.20 c bin-w-bin subsume rem 1 bins time: 0.01 s
146450.03/4587.24 c subs with bin: 44 lits-rem: 0 v-fix: 0 time: 0.03 s
146453.23/4587.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 12448 time: 0.11 s
146456.42/4587.40 c Removed useless bin: 22 fixed: 0 props: 1.77M time: 0.05 s
146456.42/4587.49 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.10 s
146517.16/4589.38 c subs with bin: 7 lits-rem: 13 v-fix: 0 time: 1.68 s
146747.34/4596.57 c lits-rem: 2352 cl-subs: 9782 v-elim: 0 v-fix: 0 time: 7.18 s
146747.34/4596.59 c vivif2 -- cl tried 14161 cl shrink 0 lits rem 0 time: 0.02
146766.50/4597.17 c vivif2 -- cl tried 75756 cl shrink 24914 lits rem 819001 time: 0.58
146792.70/4597.93 c asymm cl-useful: 1/7376/14161 lits-rem:1 time: 0.76
146792.70/4597.96 c calculated reachability. Time: 0.02
146792.70/4597.96 c N st 252 1210222 12444 14161 57037 75756 142891 2231772 10.00 no data
157054.86/4919.01 c N st 253 1283105 12444 14161 57037 52326 142891 832033 10.00 no data
157054.86/4919.05 c Finding binary XORs T: 0.04 s found: 0
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-3400669-1306321800/watcher-3400669-1306321800 -o /tmp/evaluation-result-3400669-1306321800/solver-3400669-1306321800 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400669-1306321800.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: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=338000 CPUtime=0.8 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 464 0 0 0 80 0 0 0 25 0 32 0 743666441 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 84500 405 300 95 0 79482 0
[pid=14758/tid=14759] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936151 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936556 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=338000 CPUtime=0 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936144 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936157 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936147 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936153 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 743666442 346112000 405 268435456000 4194304 4580107 140734434781712 18446744073709551615 47785613936151 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0626459 s]
/proc/loadavg: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=666852 CPUtime=1.46 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) D 14756 14758 14732 0 -1 4202496 1163 0 0 0 142 4 0 0 18 0 32 0 743666441 682856448 1005 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 166713 1005 322 95 0 161695 0
[pid=14758/tid=14759] ppid=14756 vsize=666852 CPUtime=0.04 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 16 0 0 0 4 0 0 0 24 0 32 0 743666442 682856448 1005 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=666856 CPUtime=0.04 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 55 0 0 0 4 0 0 0 18 0 32 0 743666442 682860544 1006 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=797928 CPUtime=0.04 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 24 0 32 0 743666442 817078272 1016 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=797928 CPUtime=0.04 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 24 0 32 0 743666442 817078272 1021 268435456000 4194304 4580107 140734434781712 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=797936 CPUtime=0.04 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 34 0 0 0 4 0 0 0 18 0 32 0 743666442 817086464 1030 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=797936 CPUtime=0.04 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 16 0 0 0 4 0 0 0 18 0 32 0 743666442 817086464 1034 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 24 0 32 0 743666442 749993984 1038 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 10 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604492070518240 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 45 0 0 0 4 0 0 0 18 0 32 0 743666442 749993984 1044 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=732416 CPUtime=0.04 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 32 0 743666442 749993984 1057 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 14 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1059 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 26 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1067 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 6 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1081 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604476584238560 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1081 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505914228192 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 76 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1087 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 11 0 0 0 4 0 0 0 25 0 32 0 743666442 749977600 1097 268435456000 4194304 4580107 140734434781712 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=732400 CPUtime=0.04 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 49 0 0 0 4 0 0 0 18 0 32 0 743666442 749977600 1097 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 32 0 743666442 749981696 1108 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 18 0 0 0 4 0 0 0 25 0 32 0 743666442 749981696 1128 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 73 0 0 0 4 0 0 0 18 0 32 0 743666442 749981696 1170 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=732404 CPUtime=0.04 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 90 0 0 0 4 0 0 0 18 0 32 0 743666442 749981696 1226 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=732404 CPUtime=0.03 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 55 0 0 0 3 0 0 0 18 0 32 0 743666442 749981696 1250 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=732404 CPUtime=0 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 32 0 743666442 749981696 1250 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=732408 CPUtime=0.01 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 5 0 0 0 1 0 0 0 25 0 32 0 743666442 749985792 1257 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=732408 CPUtime=0.02 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 33 0 0 0 2 0 0 0 25 0 32 0 743666442 749985792 1261 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1269 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 12 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1270 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 25 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=732408 CPUtime=0.04 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 17 0 0 0 4 0 0 0 25 0 32 0 743666442 749985792 1270 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=732412 CPUtime=0.04 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 32 0 0 0 4 0 0 0 25 0 32 0 743666442 749989888 1280 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=732412 CPUtime=0.04 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 20 0 0 0 4 0 0 0 25 0 32 0 743666442 749989888 1291 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 666852
[startup+0.103664 s]
/proc/loadavg: 27.33 31.09 31.71 1/413 14758
/proc/meminfo: memFree=255161360/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=995256 CPUtime=2.25 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) S 14756 14758 14732 0 -1 4202496 9682 0 0 0 143 82 0 0 17 0 32 0 743666441 1019142144 9524 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14758/statm: 248814 9528 331 95 0 243796 0
[pid=14758/tid=14759] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 280 0 0 0 4 2 0 0 24 0 32 0 743666442 1019142144 9534 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604481090936288 0 0 -1 1 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=995256 CPUtime=0.07 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 370 0 0 0 5 2 0 0 18 0 32 0 743666442 1019142144 9544 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 268 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9549 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 28 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=995256 CPUtime=0.07 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 272 0 0 0 4 3 0 0 17 0 32 0 743666442 1019142144 9557 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9561 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604499388169696 0 0 -1 16 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 280 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9581 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 269 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9581 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604499060481504 0 0 -1 24 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 268 0 0 0 4 2 0 0 25 0 32 0 743666442 1019142144 9591 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505536257504 0 0 -1 5 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 292 0 0 0 4 2 0 0 18 0 32 0 743666442 1019142144 9602 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446744071566928584 0 0 -1 6 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=995256 CPUtime=0.06 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 307 0 0 0 4 2 0 0 17 0 32 0 743666442 1019142144 9604 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) S 14756 14758 14732 0 -1 4202560 269 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9622 268435456000 4194304 4580107 140734434781712 18446744073709551615 258651060958 0 0 4096 2 18446604505855557088 0 0 -1 9 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=995444 CPUtime=0.07 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 316 0 0 0 5 2 0 0 18 0 32 0 743666442 1019334656 9631 268435456000 4194304 4580107 140734434781712 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=995444 CPUtime=0.07 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 297 0 0 0 5 2 0 0 17 0 32 0 743666442 1019334656 9634 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 284 0 0 0 4 2 0 0 25 0 32 0 743666442 1019334656 9640 268435456000 4194304 4580107 140734434781712 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 301 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9644 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) D 14756 14758 14732 0 -1 4202560 320 0 0 0 4 2 0 0 17 0 32 0 743666442 1019334656 9653 268435456000 4194304 4580107 140734434781712 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=995444 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=250026048/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=7421128 CPUtime=158439 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 2988861 0 0 0 15839424 4471 0 0 25 0 32 0 743666441 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 1855282 1282600 381 95 0 1850264 0
[pid=14758/tid=14759] ppid=14756 vsize=7421128 CPUtime=4953.33 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 89615 0 0 0 495159 174 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=7421128 CPUtime=4954 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 91547 0 0 0 495262 138 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=7421128 CPUtime=4955.43 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 96190 0 0 0 495404 139 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=7421128 CPUtime=4955.93 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92318 0 0 0 495453 140 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=7421128 CPUtime=4955.55 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94139 0 0 0 495420 135 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=7421128 CPUtime=4955.58 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80421 0 0 0 495439 119 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=7421128 CPUtime=4955.56 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 97474 0 0 0 495413 143 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320897 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=7421128 CPUtime=4955.6 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 87967 0 0 0 495429 131 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=7421128 CPUtime=4955.8 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 86341 0 0 0 495438 142 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=7421128 CPUtime=4955.44 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92396 0 0 0 495391 153 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=7421128 CPUtime=4953.21 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93601 0 0 0 495206 115 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=7421128 CPUtime=4955.62 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 122991 0 0 0 495380 182 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=7421128 CPUtime=4955.35 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 119627 0 0 0 495365 170 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=7421128 CPUtime=4956.08 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85005 0 0 0 495489 119 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=7421128 CPUtime=4955.36 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88047 0 0 0 495400 136 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=7421128 CPUtime=4955.53 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 100738 0 0 0 495400 153 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=7421128 CPUtime=4899.56 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80798 0 0 0 489827 129 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=7421128 CPUtime=4955.47 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84082 0 0 0 495417 130 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=7421128 CPUtime=4955.64 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 78499 0 0 0 495440 124 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=7421128 CPUtime=4955.97 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93234 0 0 0 495468 129 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294295 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=7421128 CPUtime=4956.32 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 102316 0 0 0 495489 143 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=7421128 CPUtime=4901.2 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 98187 0 0 0 489969 151 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=7421128 CPUtime=4954.7 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84610 0 0 0 495334 136 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=7421128 CPUtime=4955.37 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94179 0 0 0 495387 150 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=7421128 CPUtime=4955.45 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93955 0 0 0 495399 146 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=7421128 CPUtime=4955.38 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101689 0 0 0 495384 154 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=7421128 CPUtime=4955.69 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 93833 0 0 0 495431 138 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=7421128 CPUtime=4955.78 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 99625 0 0 0 495431 147 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=7421128 CPUtime=4955.25 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88299 0 0 0 495404 121 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=7421128 CPUtime=4955.44 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 82715 0 0 0 495407 137 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=7421128 CPUtime=4932.62 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 65319 0 0 0 493185 77 0 0 25 0 32 0 743666442 7599235072 1282600 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 158439
Current children cumulated vsize (KiB) 7421128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011.2 s]
/proc/loadavg: 32.06 32.07 32.04 33/445 14940
/proc/meminfo: memFree=250100848/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=6926556 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) R 14756 14758 14732 0 -1 4202496 3011456 0 0 0 15995773 4495 0 0 25 0 32 0 743666441 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 1731639 1263202 381 95 0 1726621 0
[pid=14758/tid=14759] ppid=14756 vsize=6926556 CPUtime=5002.21 cores=0-31
/proc/14758/task/14759/stat : 14759 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 90033 0 0 0 500046 175 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14758/tid=14760] ppid=14756 vsize=6926556 CPUtime=5002.89 cores=0-31
/proc/14758/task/14760/stat : 14760 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92070 0 0 0 500151 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14758/tid=14761] ppid=14756 vsize=6926556 CPUtime=5004.34 cores=0-31
/proc/14758/task/14761/stat : 14761 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 96190 0 0 0 500295 139 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14758/tid=14762] ppid=14756 vsize=6926556 CPUtime=5004.84 cores=0-31
/proc/14758/task/14762/stat : 14762 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92629 0 0 0 500344 140 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14758/tid=14763] ppid=14756 vsize=6926556 CPUtime=5004.46 cores=0-31
/proc/14758/task/14763/stat : 14763 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94957 0 0 0 500310 136 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14758/tid=14764] ppid=14756 vsize=6926556 CPUtime=5004.49 cores=0-31
/proc/14758/task/14764/stat : 14764 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 81146 0 0 0 500329 120 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14758/tid=14765] ppid=14756 vsize=6926556 CPUtime=5004.48 cores=0-31
/proc/14758/task/14765/stat : 14765 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 98146 0 0 0 500304 144 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14758/tid=14766] ppid=14756 vsize=6926556 CPUtime=5004.51 cores=0-31
/proc/14758/task/14766/stat : 14766 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88176 0 0 0 500320 131 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14758/tid=14767] ppid=14756 vsize=6926556 CPUtime=5004.72 cores=0-31
/proc/14758/task/14767/stat : 14767 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88028 0 0 0 500329 143 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14758/tid=14768] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14768/stat : 14768 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 92632 0 0 0 500282 154 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14758/tid=14769] ppid=14756 vsize=6926556 CPUtime=5002.13 cores=0-31
/proc/14758/task/14769/stat : 14769 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94270 0 0 0 500097 116 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14758/tid=14770] ppid=14756 vsize=6926556 CPUtime=5004.53 cores=0-31
/proc/14758/task/14770/stat : 14770 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 123144 0 0 0 500271 182 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14758/tid=14771] ppid=14756 vsize=6926556 CPUtime=5004.25 cores=0-31
/proc/14758/task/14771/stat : 14771 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 121538 0 0 0 500254 171 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14758/tid=14772] ppid=14756 vsize=6926556 CPUtime=5004.99 cores=0-31
/proc/14758/task/14772/stat : 14772 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85568 0 0 0 500379 120 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14758/tid=14773] ppid=14756 vsize=6926556 CPUtime=5004.26 cores=0-31
/proc/14758/task/14773/stat : 14773 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88868 0 0 0 500290 136 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14758/tid=14774] ppid=14756 vsize=6926556 CPUtime=5004.44 cores=0-31
/proc/14758/task/14774/stat : 14774 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101245 0 0 0 500291 153 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14758/tid=14775] ppid=14756 vsize=6926556 CPUtime=4947.09 cores=0-31
/proc/14758/task/14775/stat : 14775 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80798 0 0 0 494580 129 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14758/tid=14776] ppid=14756 vsize=6926556 CPUtime=5004.39 cores=0-31
/proc/14758/task/14776/stat : 14776 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 84502 0 0 0 500308 131 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14758/tid=14777] ppid=14756 vsize=6926556 CPUtime=5004.54 cores=0-31
/proc/14758/task/14777/stat : 14777 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 80742 0 0 0 500329 125 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14758/tid=14778] ppid=14756 vsize=6926556 CPUtime=5004.89 cores=0-31
/proc/14758/task/14778/stat : 14778 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94454 0 0 0 500359 130 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14758/tid=14779] ppid=14756 vsize=6926556 CPUtime=5005.23 cores=0-31
/proc/14758/task/14779/stat : 14779 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 103852 0 0 0 500379 144 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320717 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14758/tid=14780] ppid=14756 vsize=6926556 CPUtime=4950.11 cores=0-31
/proc/14758/task/14780/stat : 14780 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 99941 0 0 0 494859 152 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14758/tid=14781] ppid=14756 vsize=6926556 CPUtime=5003.62 cores=0-31
/proc/14758/task/14781/stat : 14781 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 85090 0 0 0 500225 137 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14758/tid=14782] ppid=14756 vsize=6926556 CPUtime=5004.28 cores=0-31
/proc/14758/task/14782/stat : 14782 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94731 0 0 0 500278 150 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14758/tid=14783] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14783/stat : 14783 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94643 0 0 0 500288 148 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14758/tid=14784] ppid=14756 vsize=6926556 CPUtime=5004.29 cores=0-31
/proc/14758/task/14784/stat : 14784 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 101689 0 0 0 500275 154 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14758/tid=14785] ppid=14756 vsize=6926556 CPUtime=5004.6 cores=0-31
/proc/14758/task/14785/stat : 14785 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 94592 0 0 0 500322 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14758/tid=14786] ppid=14756 vsize=6926556 CPUtime=5004.69 cores=0-31
/proc/14758/task/14786/stat : 14786 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 100446 0 0 0 500320 149 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=6926556 CPUtime=5004.16 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 88299 0 0 0 500295 121 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14758/tid=14788] ppid=14756 vsize=6926556 CPUtime=5004.36 cores=0-31
/proc/14758/task/14788/stat : 14788 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 82832 0 0 0 500298 138 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14758/tid=14789] ppid=14756 vsize=6926556 CPUtime=4981.54 cores=0-31
/proc/14758/task/14789/stat : 14789 (strangenight2-m) R 14756 14758 14732 0 -1 4202560 67101 0 0 0 498075 79 0 0 25 0 32 0 743666442 7092793344 1263202 268435456000 4194304 4580107 140734434781712 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 6926556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5011.4 s]
/proc/loadavg: 32.06 32.07 32.04 33/445 14940
/proc/meminfo: memFree=250100848/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=0 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) Z 14756 14758 14732 0 -1 4203548 3011457 0 0 0 15995796 4512 0 0 25 0 2 0 743666441 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 0 0 0 0 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=0 CPUtime=5004.34 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4203588 88299 0 0 0 500296 138 0 0 25 0 2 0 743666442 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5011.64 s]
/proc/loadavg: 32.06 32.07 32.04 2/416 14941
/proc/meminfo: memFree=252875828/264257624 swapFree=67111528/67111528
[pid=14758] ppid=14756 vsize=0 CPUtime=160003 cores=0-31
/proc/14758/stat : 14758 (strangenight2-m) Z 14756 14758 14732 0 -1 4203548 3011457 0 0 0 15995796 4535 0 0 25 0 2 0 743666441 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/14758/statm: 0 0 0 0 0 0 0
[pid=14758/tid=14787] ppid=14756 vsize=0 CPUtime=5004.58 cores=0-31
/proc/14758/task/14787/stat : 14787 (strangenight2-m) R 14756 14758 14732 0 -1 4203588 88299 0 0 0 500296 162 0 0 25 0 2 0 743666442 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.7
CPU time (s): 160003
CPU user time (s): 159958
CPU system time (s): 45.4201
CPU usage (%): 3192.6
Max. virtual memory (cumulated for all children) (KiB): 7472408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159958
system time used= 45.4201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3011457
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= 831262
involuntary context switches= 327288
runsolver used 29.8225 second user time and 111.776 second system time
The end
Begin job on node200 at 2011-05-25 13:10:00
IDJOB=3400669
IDBENCH=70849
IDSOLVER=1886
FILE ID=node200/3400669-1306321800
RUNJOBID= node200-1306321800-14746
PBS_JOBID= 13411786
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400669-1306321800/watcher-3400669-1306321800 -o /tmp/evaluation-result-3400669-1306321800/solver-3400669-1306321800 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400669-1306321800.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=1869436264
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: 255161516 kB
Buffers: 466380 kB
Cached: 8222480 kB
SwapCached: 0 kB
Active: 7773580 kB
Inactive: 984052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255161516 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 7252 kB
Writeback: 0 kB
AnonPages: 69824 kB
Mapped: 14152 kB
Slab: 255684 kB
PageTables: 4116 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188884 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= 62040 MiB
End job on node200 at 2011-05-25 14:33:34