0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400859-1307059242.cnf'
0.00/0.10 c -- header says num vars: 36809
0.00/0.10 c -- header says num clauses: 142491
28.92/1.67 c -- clauses added: 0 learnts, 142491 normals, 0 xors
28.92/1.67 c -- vars added 36809
28.92/1.67 c Parsing time: 0.33 s
28.92/1.67 c N st 0 0 36809 117899 24559 0 559608 0 no data no data
61.82/2.95 c asymm cl-useful: 4399/117865/117865 lits-rem:4706 time: 1.03
71.25/3.32 c Flit: 32 Blit: 0 bXBeca: 0 bXProp: 6133 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.36
78.27/3.57 c Replacing 6133 vars Replaced 102229 lits Time: 0.12 s
117.09/5.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
117.09/5.73 c bin-w-bin subsume rem 0 bins time: 0.02 s
117.09/5.78 c subs with bin: 332 lits-rem: 335 v-fix: 0 time: 0.05 s
118.73/5.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 30 done: 30595 time: 0.04 s
118.73/5.86 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
152.75/7.40 c lits-rem: 5284 cl-subs: 1981 v-elim: 134 v-fix: 0 time: 1.17 s
152.75/7.44 c Finding binary XORs T: 0.03 s found: 0
158.63/7.64 c Finding non-binary XORs: 0.16 s (found: 10610, avg size: 3.4)
158.63/7.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
158.63/7.66 c calculated reachability. Time: 0.01
158.63/7.68 c Calc default polars - time: 0.02 s pos: 6634 undec: 6856 neg: 23319
158.63/7.68 c =========================================================================================
158.63/7.68 c types(t): F = full restart, N = normal restart
158.63/7.68 c types(t): S = simplification begin/end, E = solution found
158.63/7.68 c restart types(rt): st = static, dy = dynamic
158.63/7.68 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
158.63/7.68 c B st 0 0 30446 54032 13251 0 339959 0 no data no data
209.06/9.25 c Decided on static restart strategy
267.17/11.06 c N st 8 4911 30352 54032 15186 2904 339959 15572 no data no data
330.50/13.10 c Finding binary XORs T: 0.03 s found: 0
400.83/15.20 c N st 10 11293 30289 53421 20685 8466 338353 53313 no data no data
563.81/20.35 c N st 11 17036 30284 53421 29299 13991 338353 100807 no data no data
563.81/20.39 c Finding binary XORs T: 0.03 s found: 0
928.23/31.78 c F st 12 25000 30252 53229 29561 18552 337905 111814 no data no data
931.42/31.81 c Replacing 1 vars Replaced 16 lits Time: 0.02 s
931.42/31.88 c N st 12 25000 30251 53229 29560 18552 337677 111812 no data no data
935.21/31.93 c Finding binary XORs T: 0.03 s found: 0
1222.30/40.98 c Decided on static restart strategy
1222.30/40.98 c N st 18 30001 30251 53229 41381 23486 337677 168349 no data no data
1222.30/40.98 c S st 18 30001 30251 53229 41381 23486 337677 168349 no data no data
1231.87/41.26 c S st 18 30502 30251 53229 41396 23970 337677 174392 no data no data
1231.87/41.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1251.65/41.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 30553 BRemL: 15112 BRemN: 2 P: 5.2M T: 0.54
1251.65/41.89 c blocked clauses removed: 0 vars: 0 tried: 4608 T: 0.01 s
1251.65/41.91 c bin-w-bin subsume rem 7854 bins time: 0.02 s
1254.88/41.98 c subs with bin: 14652 lits-rem: 3089 v-fix: 0 time: 0.06 s
1257.43/42.02 c Subs w/ non-existent bins: 78 l-rem: 19 v-fix: 0 done: 1708 time: 0.04 s
1257.43/42.06 c Removed useless bin: 46 fixed: 0 props: 0.40M time: 0.03 s
1263.82/42.20 c lits-rem: 0 cl-subs: 16 v-elim: 1270 v-fix: 0 time: 0.14 s
1263.82/42.27 c subs with bin: 1691 lits-rem: 2066 v-fix: 0 time: 0.04 s
1267.05/42.37 c lits-rem: 154 cl-subs: 277 v-elim: 0 v-fix: 0 time: 0.08 s
1283.02/42.81 c asymm cl-useful: 460/40495/40495 lits-rem:460 time: 0.44
1283.02/42.83 c calculated reachability. Time: 0.01
1283.02/42.83 c N st 18 30502 28981 40495 43744 20110 310247 151820 no data no data
1395.52/46.39 c Finding binary XORs T: 0.04 s found: 0
1548.32/51.15 c N st 20 37613 28981 40495 43898 27146 310247 2175439 no data no data
1752.89/57.57 c N st 21 44012 28981 40495 43899 30464 310247 3873784 no data no data
1756.09/57.64 c Finding binary XORs T: 0.04 s found: 0
1800.84/59.00 c S st 22 45754 28981 40495 76045 32185 310247 4560834 no data no data
1807.24/59.29 c S st 22 46258 28981 40495 76054 32676 310247 4566399 no data no data
1810.44/59.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
1839.21/60.21 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 21938 BRemL: 35044 BRemN: 0 P: 6.3M T: 0.87
1839.21/60.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1839.21/60.28 c bin-w-bin subsume rem 10685 bins time: 0.02 s
1842.41/60.32 c subs with bin: 3478 lits-rem: 316 v-fix: 0 time: 0.05 s
1842.41/60.38 c Subs w/ non-existent bins: 42 l-rem: 14 v-fix: 0 done: 9857 time: 0.05 s
1845.60/60.41 c Removed useless bin: 0 fixed: 0 props: 0.33M time: 0.03 s
1845.60/60.50 c lits-rem: 0 cl-subs: 7 v-elim: 292 v-fix: 0 time: 0.09 s
1849.39/60.58 c subs with bin: 219 lits-rem: 428 v-fix: 0 time: 0.04 s
1852.58/60.67 c lits-rem: 40 cl-subs: 42 v-elim: 0 v-fix: 0 time: 0.06 s
1855.18/60.71 c vivif2 -- cl tried 37262 cl shrink 1211 lits rem 1211 time: 0.04
1855.18/60.73 c vivif2 -- cl tried 21470 cl shrink 859 lits rem 983 time: 0.02
1867.97/61.17 c asymm cl-useful: 0/37182/37182 lits-rem:0 time: 0.44
1867.97/61.19 c calculated reachability. Time: 0.01
1867.97/61.19 c N st 22 46258 28687 37182 51331 21459 304545 203050 no data no data
2331.40/75.64 c N st 23 60655 28687 37182 51331 35644 304545 4469027 no data no data
2334.59/75.72 c Finding binary XORs T: 0.04 s found: 0
2612.41/84.43 c N st 24 69389 28687 37182 81990 39600 304545 5602548 no data no data
2612.41/84.43 c S st 24 69389 28687 37182 81990 39600 304545 5602548 no data no data
2612.41/84.49 c Finding binary XORs T: 0.04 s found: 0
2631.44/85.04 c S st 24 69892 28687 37182 94500 40101 304545 5643128 no data no data
2631.44/85.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
2663.38/86.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 943 BRemL: 38682 BRemN: 1 P: 6.1M T: 0.94
2663.38/86.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2666.58/86.10 c bin-w-bin subsume rem 5047 bins time: 0.02 s
2666.58/86.14 c subs with bin: 1320 lits-rem: 0 v-fix: 0 time: 0.04 s
2666.58/86.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2178 time: 0.04 s
2669.78/86.22 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
2672.97/86.35 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.13 s
2768.59/89.35 c subs with bin: 50 lits-rem: 178 v-fix: 0 time: 2.37 s
2979.05/95.96 c lits-rem: 2892 cl-subs: 573 v-elim: 0 v-fix: 0 time: 6.57 s
2979.05/95.99 c vivif2 -- cl tried 35865 cl shrink 0 lits rem 0 time: 0.03
2998.20/96.55 c vivif2 -- cl tried 39477 cl shrink 7324 lits rem 30820 time: 0.55
3014.14/97.03 c asymm cl-useful: 1/35865/35865 lits-rem:3 time: 0.48
3014.14/97.06 c calculated reachability. Time: 0.01
3014.14/97.06 c N st 24 69892 28686 35864 51707 39477 301902 5249011 no data no data
4360.79/139.25 c F st 25 87500 28686 35864 51707 56699 301902 18601257 no data no data
4370.38/139.54 c N st 25 87500 28686 35864 51707 56699 301902 18601257 no data no data
4370.38/139.59 c Finding binary XORs T: 0.04 s found: 0
4558.60/145.48 c Decided on static restart strategy
4663.99/148.73 c N st 32 95544 28686 35864 64465 51131 301902 10554797 no data no data
5114.62/162.90 c N st 34 104840 28686 35864 64471 60351 301902 15967733 no data no data
5114.62/162.90 c S st 34 104840 28686 35864 64471 60351 301902 15967733 no data no data
5126.80/163.23 c S st 34 105340 28686 35864 64471 60848 301902 15973815 no data no data
5130.00/163.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
5158.77/164.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 9646 BRemN: 0 P: 6.5M T: 0.97
5161.97/164.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5161.97/164.35 c bin-w-bin subsume rem 1602 bins time: 0.02 s
5161.97/164.39 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.04 s
5165.17/164.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7799 time: 0.05 s
5165.17/164.47 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
5174.76/164.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.25 s
5312.04/169.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.74 s
5720.21/181.89 c lits-rem: 5482 cl-subs: 397 v-elim: 0 v-fix: 0 time: 12.84 s
5723.42/181.93 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.03
5777.77/183.61 c vivif2 -- cl tried 60451 cl shrink 11587 lits rem 101076 time: 1.66
5793.74/184.17 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.55
5793.74/184.19 c calculated reachability. Time: 0.01
5793.74/184.19 c N st 34 105340 28686 35863 53223 60451 301901 15592339 no data no data
6176.71/196.10 c N st 35 114939 28686 35863 53223 51301 301901 10021878 no data no data
7005.82/222.16 c N st 36 129337 28686 35863 53250 65488 301901 16527501 no data no data
8278.14/262.04 c N st 37 150932 28686 35863 53270 65987 301901 16319008 no data no data
8705.69/275.42 c S st 38 158010 28686 35863 53338 73003 301901 20027455 no data no data
8705.69/275.47 c Finding binary XORs T: 0.04 s found: 0
8721.69/275.90 c S st 38 158510 28686 35863 54380 73500 301901 20035864 no data no data
8721.69/276.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
8756.76/277.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 331 BRemN: 0 P: 7.2M T: 1.03
8756.76/277.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8756.76/277.09 c bin-w-bin subsume rem 92 bins time: 0.02 s
8759.97/277.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
8759.97/277.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4936 time: 0.04 s
8759.97/277.21 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
8772.64/277.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.30 s
8910.01/281.84 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 2.62 s
9695.13/306.42 c lits-rem: 8882 cl-subs: 639 v-elim: 0 v-fix: 0 time: 24.55 s
9695.13/306.45 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.03
9755.87/308.39 c vivif2 -- cl tried 72859 cl shrink 15317 lits rem 130126 time: 1.91
9778.26/309.01 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.62
9778.26/309.04 c calculated reachability. Time: 0.01
9778.26/309.04 c N st 38 158510 28686 35863 53959 72857 301901 19571214 no data no data
12751.16/402.26 c N st 39 207098 28686 35863 53959 72821 301901 18486818 no data no data
14492.39/456.82 c N st 40 237765 28686 35863 54175 76789 301901 17402462 no data no data
14492.39/456.82 c S st 40 237765 28686 35863 54175 76789 301901 17402462 no data no data
14505.15/457.22 c S st 40 238268 28686 35863 54215 77290 301901 17409153 no data no data
14508.34/457.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
14540.31/458.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 111 BRemN: 0 P: 7.4M T: 1.06
14543.52/458.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14543.52/458.43 c bin-w-bin subsume rem 38 bins time: 0.02 s
14543.52/458.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
14546.71/458.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3647 time: 0.04 s
14546.71/458.55 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
14556.92/458.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.28 s
14684.10/462.82 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 2.52 s
15580.63/490.99 c lits-rem: 2481 cl-subs: 707 v-elim: 0 v-fix: 0 time: 28.15 s
15583.83/491.03 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.03
15631.72/492.57 c vivif2 -- cl tried 76582 cl shrink 15021 lits rem 125028 time: 1.52
15653.96/493.20 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.63
15653.96/493.23 c calculated reachability. Time: 0.01
15653.96/493.23 c N st 40 238268 28686 35863 54066 76582 301901 16898496 no data no data
20112.68/633.09 c F st 41 306250 28686 35863 54066 87631 301901 30593282 no data no data
20122.29/633.38 c N st 41 306250 28686 35863 54066 87631 301901 30593282 no data no data
20383.44/641.58 c Decided on static restart strategy
21461.46/675.34 c N st 51 334554 28686 35863 54104 86201 301901 20626878 no data no data
22435.16/705.89 c N st 53 357403 28686 35863 54118 78326 301901 18148849 no data no data
22435.16/705.90 c S st 53 357403 28686 35863 54118 78326 301901 18148849 no data no data
22448.55/706.24 c S st 53 357908 28686 35863 54118 78825 301901 18154760 no data no data
22451.74/706.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
22489.50/707.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 48 BRemN: 0 P: 7.4M T: 1.17
22489.50/707.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22489.50/707.57 c bin-w-bin subsume rem 4 bins time: 0.02 s
22492.69/707.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
22492.69/707.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7136 time: 0.05 s
22495.89/707.70 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
22502.29/708.00 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.30 s
22645.49/712.47 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 2.71 s
23238.42/731.01 c lits-rem: 5773 cl-subs: 515 v-elim: 0 v-fix: 0 time: 18.50 s
23238.42/731.05 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.04
23302.04/733.00 c vivif2 -- cl tried 78309 cl shrink 12262 lits rem 129417 time: 1.91
23320.98/733.69 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.69
23324.80/733.72 c calculated reachability. Time: 0.01
23324.80/733.72 c N st 53 357908 28686 35863 54066 78309 301901 17812175 no data no data
25691.21/807.90 c N st 54 390301 28686 35863 54066 78917 301901 20546452 no data no data
28985.29/911.20 c N st 55 438889 28686 35863 54066 94390 301901 22690836 no data no data
35816.82/1125.36 c N st 56 511774 28686 35863 54090 97941 301901 35324163 no data no data
36789.01/1155.89 c N st 57 536863 28686 35863 54098 87233 301901 18010922 no data no data
36789.01/1155.89 c S st 57 536863 28686 35863 54098 87233 301901 18010922 no data no data
36805.02/1156.33 c S st 57 537369 28686 35863 54098 87736 301901 18016406 no data no data
36808.18/1156.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
36846.44/1157.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 33 BRemN: 0 P: 7.7M T: 1.22
36849.64/1157.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36849.64/1157.72 c bin-w-bin subsume rem 0 bins time: 0.02 s
36849.64/1157.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
36852.84/1157.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4443 time: 0.05 s
36852.84/1157.85 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
36862.43/1158.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.30 s
36999.43/1162.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.58 s
37703.29/1184.54 c lits-rem: 3508 cl-subs: 462 v-elim: 0 v-fix: 0 time: 22.03 s
37703.29/1184.57 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.04
37760.65/1186.36 c vivif2 -- cl tried 87274 cl shrink 15106 lits rem 143108 time: 1.75
37786.22/1187.11 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.74
37786.22/1187.14 c calculated reachability. Time: 0.01
37786.22/1187.14 c N st 57 537369 28686 35863 54065 87274 301901 17648361 no data no data
48710.42/1529.57 c N st 58 701353 28686 35863 54065 97267 301901 19876578 no data no data
55402.64/1739.38 c N st 59 806055 28686 35863 54140 76728 301901 8912678 no data no data
55402.64/1739.38 c S st 59 806055 28686 35863 54140 76728 301901 8912678 no data no data
55405.83/1739.43 c Finding binary XORs T: 0.05 s found: 0
55418.60/1739.83 c S st 59 806557 28686 35863 54315 77227 301901 8919131 no data no data
55421.80/1739.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
55456.81/1741.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 127 BRemN: 0 P: 7.4M T: 1.16
55460.01/1741.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
55460.01/1741.13 c bin-w-bin subsume rem 18 bins time: 0.02 s
55460.01/1741.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
55463.21/1741.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8732 time: 0.05 s
55463.21/1741.27 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
55470.23/1741.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.21 s
55578.28/1744.80 c subs with bin: 8 lits-rem: 0 v-fix: 0 time: 2.51 s
55859.40/1753.67 c lits-rem: 2056 cl-subs: 274 v-elim: 0 v-fix: 0 time: 8.84 s
55862.61/1753.71 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.04
55881.42/1754.36 c vivif2 -- cl tried 76945 cl shrink 2124 lits rem 25063 time: 0.63
55903.79/1755.06 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.70
55903.79/1755.09 c calculated reachability. Time: 0.01
55903.79/1755.09 c N st 59 806557 28686 35863 54170 76945 301901 8858803 no data no data
73964.75/2321.24 c F st 60 1071877 28686 35863 54170 111920 301901 25374475 no data no data
73971.14/2321.49 c N st 60 1071877 28686 35863 54170 111920 301901 25374475 no data no data
74166.00/2327.56 c Decided on static restart strategy
75158.15/2358.60 c N st 70 1100190 28686 35863 54232 91496 301901 14545097 no data no data
77413.94/2429.32 c N st 72 1136183 28686 35863 54232 127196 301901 30858728 no data no data
79161.10/2484.19 c N st 73 1168575 28686 35863 54232 109796 301901 25292030 no data no data
82287.85/2582.15 c N st 74 1209838 28686 35863 54232 100239 301901 17959506 no data no data
82287.85/2582.15 c S st 74 1209838 28686 35863 54232 100239 301901 17959506 no data no data
82307.04/2582.77 c S st 74 1210340 28686 35863 54232 100740 301901 17968746 no data no data
82310.83/2582.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
82346.02/2584.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 46 BRemN: 0 P: 8.1M T: 1.14
82349.22/2584.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
82349.22/2584.07 c bin-w-bin subsume rem 3 bins time: 0.02 s
82351.78/2584.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
82351.78/2584.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3784 time: 0.04 s
82351.78/2584.19 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
82364.57/2584.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.31 s
82495.21/2588.67 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 2.64 s
83086.28/2607.19 c lits-rem: 3106 cl-subs: 388 v-elim: 0 v-fix: 0 time: 18.49 s
83088.86/2607.22 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.03
83143.23/2608.93 c vivif2 -- cl tried 100350 cl shrink 13122 lits rem 215982 time: 1.68
83165.60/2609.62 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.69
83165.60/2609.65 c calculated reachability. Time: 0.01
83165.60/2609.65 c N st 74 1210340 28686 35863 54183 100350 301901 17645510 no data no data
86667.06/2719.40 c N st 75 1283224 28686 35863 54183 121297 301901 32624479 no data no data
96486.35/3027.27 c N st 76 1392547 28686 35863 54184 123698 301901 42794426 no data no data
110444.94/3464.99 c N st 77 1556533 28686 35863 54324 119256 301901 31345970 no data no data
120106.54/3767.84 c N st 78 1710340 28686 35863 54368 96543 301901 11272999 no data no data
120106.54/3767.84 c S st 78 1710340 28686 35863 54368 96543 301901 11272999 no data no data
120122.52/3768.33 c S st 78 1710843 28686 35863 54373 97043 301901 11279315 no data no data
120125.73/3768.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
120164.09/3769.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 38 BRemL: 40 BRemN: 0 P: 8.0M T: 1.24
120164.09/3769.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
120167.88/3769.73 c bin-w-bin subsume rem 14 bins time: 0.02 s
120167.88/3769.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
120171.07/3769.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3017 time: 0.04 s
120171.07/3769.86 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.04 s
120180.06/3770.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.26 s
120298.16/3773.85 c subs with bin: 4 lits-rem: 0 v-fix: 0 time: 2.63 s
120594.93/3783.19 c lits-rem: 1512 cl-subs: 287 v-elim: 0 v-fix: 0 time: 9.31 s
120598.13/3783.23 c vivif2 -- cl tried 35863 cl shrink 0 lits rem 0 time: 0.04
120627.50/3784.13 c vivif2 -- cl tried 96752 cl shrink 3183 lits rem 47772 time: 0.88
120649.27/3784.87 c asymm cl-useful: 0/35863/35863 lits-rem:0 time: 0.74
120652.49/3784.90 c calculated reachability. Time: 0.01
120652.49/3784.90 c N st 78 1710843 28686 35863 54357 96752 301901 11169533 no data no data
157846.52/4950.95 c N st 79 2079813 28686 35863 54357 151039 301901 65597917 no data no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400859-1307059242/watcher-3400859-1307059242 -o /tmp/evaluation-result-3400859-1307059242/solver-3400859-1307059242 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400859-1307059242.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.29 31.06 31.69 1/413 9458
/proc/meminfo: memFree=263282928/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=338000 CPUtime=0.81 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) R 9456 9458 9432 0 -1 4202496 436 0 0 0 81 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/9458/statm: 84500 376 297 95 0 79482 0
[pid=9458/tid=9459] ppid=9456 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9458/task/9459/stat : 9459 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9458/tid=9460] ppid=9456 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9458/task/9460/stat : 9460 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9458/tid=9461] ppid=9456 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9458/task/9461/stat : 9461 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9458/tid=9462] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9462/stat : 9462 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9458/tid=9463] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9463/stat : 9463 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9458/tid=9464] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9464/stat : 9464 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553896 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9458/tid=9465] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9465/stat : 9465 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9458/tid=9466] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9466/stat : 9466 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9458/tid=9467] ppid=9456 vsize=338000 CPUtime=0 cores=0-31
/proc/9458/task/9467/stat : 9467 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9458/tid=9468] ppid=9456 vsize=338000 CPUtime=0 cores=0-31
/proc/9458/task/9468/stat : 9468 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9458/tid=9469] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9469/stat : 9469 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553910 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9458/tid=9470] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9470/stat : 9470 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9458/tid=9471] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9471/stat : 9471 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9458/tid=9472] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9472/stat : 9472 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9458/tid=9473] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9473/stat : 9473 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9458/tid=9474] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9474/stat : 9474 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9458/tid=9475] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9475/stat : 9475 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9458/tid=9476] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9476/stat : 9476 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9458/tid=9477] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9477/stat : 9477 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9458/tid=9478] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9478/stat : 9478 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9458/tid=9479] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9479/stat : 9479 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9458/tid=9480] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9480/stat : 9480 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553910 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9458/tid=9481] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9481/stat : 9481 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9458/tid=9482] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9482/stat : 9482 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553910 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9458/tid=9483] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9483/stat : 9483 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836589 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9458/tid=9485] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9485/stat : 9485 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836590 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9458/tid=9486] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9486/stat : 9486 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 11836590 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9458/tid=9487] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9487/stat : 9487 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11836590 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9458/tid=9488] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9488/stat : 9488 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11836590 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553900 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9458/tid=9489] ppid=9456 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9458/task/9489/stat : 9489 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 11836590 346112000 376 268435456000 4194304 4580107 140736413845904 18446744073709551615 47698576553906 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.114916 s]
/proc/loadavg: 27.29 31.06 31.69 1/413 9458
/proc/meminfo: memFree=263282928/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=1126592 CPUtime=2.57 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) R 9456 9458 9432 0 -1 4202496 10431 0 0 0 165 92 0 0 17 0 32 0 11836589 1153630208 10261 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/9458/statm: 281648 10277 331 95 0 276630 0
[pid=9458/tid=9459] ppid=9456 vsize=1126724 CPUtime=0.07 cores=0-31
/proc/9458/task/9459/stat : 9459 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 312 0 0 0 5 2 0 0 17 0 32 0 11836589 1153765376 10282 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9458/tid=9460] ppid=9456 vsize=1126724 CPUtime=0.07 cores=0-31
/proc/9458/task/9460/stat : 9460 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 361 0 0 0 5 2 0 0 17 0 32 0 11836589 1153765376 10286 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9458/tid=9461] ppid=9456 vsize=1126724 CPUtime=0.08 cores=0-31
/proc/9458/task/9461/stat : 9461 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 302 0 0 0 5 3 0 0 17 0 32 0 11836589 1153765376 10292 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604495198150112 0 0 -1 20 0 0 0
[pid=9458/tid=9462] ppid=9456 vsize=1126724 CPUtime=0.07 cores=0-31
/proc/9458/task/9462/stat : 9462 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 280 0 0 0 5 2 0 0 17 0 32 0 11836589 1153765376 10301 268435456000 4194304 4580107 140736413845904 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9458/tid=9463] ppid=9456 vsize=1126724 CPUtime=0.08 cores=0-31
/proc/9458/task/9463/stat : 9463 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 347 0 0 0 5 3 0 0 18 0 32 0 11836589 1153765376 10305 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9458/tid=9464] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9464/stat : 9464 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 272 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10308 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604473833102816 0 0 -1 8 0 0 0
[pid=9458/tid=9465] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9465/stat : 9465 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 328 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10322 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9458/tid=9466] ppid=9456 vsize=1126872 CPUtime=0.06 cores=0-31
/proc/9458/task/9466/stat : 9466 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 11836589 1153916928 10326 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604495938084320 0 0 -1 31 0 0 0
[pid=9458/tid=9467] ppid=9456 vsize=1126872 CPUtime=0.02 cores=0-31
/proc/9458/task/9467/stat : 9467 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 269 0 0 0 0 2 0 0 17 0 32 0 11836589 1153916928 10348 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929224 0 0 -1 28 0 0 0
[pid=9458/tid=9468] ppid=9456 vsize=1126872 CPUtime=0.05 cores=0-31
/proc/9458/task/9468/stat : 9468 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 319 0 0 0 3 2 0 0 17 0 32 0 11836589 1153916928 10353 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9458/tid=9469] ppid=9456 vsize=1126872 CPUtime=0.06 cores=0-31
/proc/9458/task/9469/stat : 9469 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 355 0 0 0 4 2 0 0 17 0 32 0 11836589 1153916928 10354 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9458/tid=9470] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9470/stat : 9470 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 371 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10364 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9458/tid=9471] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9471/stat : 9471 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 279 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10381 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566932024 0 0 -1 30 0 0 0
[pid=9458/tid=9472] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9472/stat : 9472 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 301 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10382 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9458/tid=9473] ppid=9456 vsize=1126872 CPUtime=0.08 cores=0-31
/proc/9458/task/9473/stat : 9473 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 278 0 0 0 5 3 0 0 17 0 32 0 11836589 1153916928 10389 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929584 0 0 -1 5 0 0 0
[pid=9458/tid=9474] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9474/stat : 9474 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 288 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10394 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604491787345376 0 0 -1 6 0 0 0
[pid=9458/tid=9475] ppid=9456 vsize=1126872 CPUtime=0.07 cores=0-31
/proc/9458/task/9475/stat : 9475 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 384 0 0 0 5 2 0 0 17 0 32 0 11836589 1153916928 10399 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604494787837408 0 0 -1 3 0 0 0
[pid=9458/tid=9476] ppid=9456 vsize=1126872 CPUtime=0.08 cores=0-31
/proc/9458/task/9476/stat : 9476 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 273 0 0 0 5 3 0 0 17 0 32 0 11836589 1153916928 10434 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566927824 0 0 -1 9 0 0 0
[pid=9458/tid=9477] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9477/stat : 9477 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 312 0 0 0 5 2 0 0 17 0 32 0 11836589 1154187264 10439 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9458/tid=9478] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9478/stat : 9478 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 401 0 0 0 5 2 0 0 18 0 32 0 11836589 1154187264 10442 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9458/tid=9479] ppid=9456 vsize=1127136 CPUtime=0.08 cores=0-31
/proc/9458/task/9479/stat : 9479 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 324 0 0 0 5 3 0 0 17 0 32 0 11836589 1154187264 10452 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604481763417568 0 0 -1 13 0 0 0
[pid=9458/tid=9480] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9480/stat : 9480 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 268 0 0 0 5 2 0 0 17 0 32 0 11836589 1154187264 10479 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9458/tid=9481] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9481/stat : 9481 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 299 0 0 0 5 2 0 0 17 0 32 0 11836589 1154187264 10479 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650624673 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9458/tid=9482] ppid=9456 vsize=1127136 CPUtime=0.08 cores=0-31
/proc/9458/task/9482/stat : 9482 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 294 0 0 0 5 3 0 0 17 0 32 0 11836589 1154187264 10484 268435456000 4194304 4580107 140736413845904 18446744073709551615 4311306 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9458/tid=9483] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9483/stat : 9483 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 361 0 0 0 5 2 0 0 17 0 32 0 11836589 1154187264 10490 268435456000 4194304 4580107 140736413845904 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 384 0 0 0 5 2 0 0 17 0 32 0 11836589 1154187264 10504 268435456000 4194304 4580107 140736413845904 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9458/tid=9485] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9485/stat : 9485 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 322 0 0 0 5 2 0 0 17 0 32 0 11836590 1154187264 10504 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9458/tid=9486] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9486/stat : 9486 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 274 0 0 0 5 2 0 0 17 0 32 0 11836590 1154187264 10515 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9458/tid=9487] ppid=9456 vsize=1127136 CPUtime=0.07 cores=0-31
/proc/9458/task/9487/stat : 9487 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 270 0 0 0 5 2 0 0 17 0 32 0 11836590 1154187264 10521 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566926864 0 0 -1 25 0 0 0
[pid=9458/tid=9488] ppid=9456 vsize=1127136 CPUtime=0.08 cores=0-31
/proc/9458/task/9488/stat : 9488 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 373 0 0 0 5 3 0 0 17 0 32 0 11836590 1154187264 10529 268435456000 4194304 4580107 140736413845904 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9458/tid=9489] ppid=9456 vsize=1127136 CPUtime=0.08 cores=0-31
/proc/9458/task/9489/stat : 9489 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 322 0 0 0 5 3 0 0 17 0 32 0 11836590 1154187264 10534 268435456000 4194304 4580107 140736413845904 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 1126592
[startup+0.203979 s]
/proc/loadavg: 27.29 31.06 31.69 1/413 9458
/proc/meminfo: memFree=263282928/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=1153752 CPUtime=3.62 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) R 9456 9458 9432 0 -1 4202496 26197 0 0 0 178 184 0 0 17 0 32 0 11836589 1181442048 23561 268435456000 4194304 4580107 140736413845904 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/9458/statm: 288438 23610 332 95 0 283420 0
[pid=9458/tid=9459] ppid=9456 vsize=1153752 CPUtime=0.12 cores=0-31
/proc/9458/task/9459/stat : 9459 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 928 0 0 0 6 6 0 0 17 0 32 0 11836589 1181442048 23615 268435456000 4194304 4580107 140736413845904 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9458/tid=9460] ppid=9456 vsize=1154780 CPUtime=0.12 cores=0-31
/proc/9458/task/9460/stat : 9460 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 968 0 0 0 6 6 0 0 17 0 32 0 11836589 1182494720 23623 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566928784 0 0 -1 2 0 0 0
[pid=9458/tid=9461] ppid=9456 vsize=1154780 CPUtime=0.11 cores=0-31
/proc/9458/task/9461/stat : 9461 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 867 0 0 0 5 6 0 0 17 0 32 0 11836589 1182494720 23637 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9458/tid=9462] ppid=9456 vsize=1155068 CPUtime=0.1 cores=0-31
/proc/9458/task/9462/stat : 9462 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 718 0 0 0 5 5 0 0 17 0 32 0 11836589 1182789632 23637 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929904 0 0 -1 24 0 0 0
[pid=9458/tid=9463] ppid=9456 vsize=1155068 CPUtime=0.1 cores=0-31
/proc/9458/task/9463/stat : 9463 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 870 0 0 0 5 5 0 0 17 0 32 0 11836589 1182789632 23660 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9458/tid=9464] ppid=9456 vsize=1155356 CPUtime=0.08 cores=0-31
/proc/9458/task/9464/stat : 9464 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 352 0 0 0 5 3 0 0 17 0 32 0 11836589 1183084544 23662 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604503101873632 0 0 -1 8 0 0 0
[pid=9458/tid=9465] ppid=9456 vsize=1155356 CPUtime=0.11 cores=0-31
/proc/9458/task/9465/stat : 9465 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 917 0 0 0 6 5 0 0 17 0 32 0 11836589 1183084544 23670 268435456000 4194304 4580107 140736413845904 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9458/tid=9466] ppid=9456 vsize=1155356 CPUtime=0.07 cores=0-31
/proc/9458/task/9466/stat : 9466 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 297 0 0 0 5 2 0 0 17 0 32 0 11836589 1183084544 23675 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604463429492192 0 0 -1 31 0 0 0
[pid=9458/tid=9467] ppid=9456 vsize=1155356 CPUtime=0.04 cores=0-31
/proc/9458/task/9467/stat : 9467 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 643 0 0 0 0 4 0 0 17 0 32 0 11836589 1183084544 23700 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604454176505312 0 0 -1 28 0 0 0
[pid=9458/tid=9468] ppid=9456 vsize=1155356 CPUtime=0.08 cores=0-31
/proc/9458/task/9468/stat : 9468 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 829 0 0 0 3 5 0 0 17 0 32 0 11836589 1183084544 23731 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9458/tid=9469] ppid=9456 vsize=1155356 CPUtime=0.1 cores=0-31
/proc/9458/task/9469/stat : 9469 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1002 0 0 0 4 6 0 0 17 0 32 0 11836589 1183084544 23776 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9458/tid=9470] ppid=9456 vsize=1155356 CPUtime=0.1 cores=0-31
/proc/9458/task/9470/stat : 9470 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 832 0 0 0 5 5 0 0 17 0 32 0 11836589 1183084544 23790 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446744071566932024 0 0 -1 26 0 0 0
[pid=9458/tid=9471] ppid=9456 vsize=1155872 CPUtime=0.1 cores=0-31
/proc/9458/task/9471/stat : 9471 (strangenight2-m) D 9456 9458 9432 0 -1 4202560 581 0 0 0 5 5 0 0 17 0 32 0 11836589 1183612928 23791 268435456000 4194304 4580107 140736413845904 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9458/tid=9472] ppid=9456 vsize=1156160 CPUtime=0.1 cores=0-31
/proc/9458/task/9472/stat : 9472 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 872 0 0 0 5 5 0 0 17 0 32 0 11836589 1183907840 23805 268435456000 4194304 4580107 140736413845904 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9458/tid=9473] ppid=9456 vsize=1156160 CPUtime=0.11 cores=0-31
/proc/9458/task/9473/stat : 9473 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 720 0 0 0 5 6 0 0 17 0 32 0 11836589 1183907840 23818 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9458/tid=9474] ppid=9456 vsize=1156160 CPUtime=0.1 cores=0-31
/proc/9458/task/9474/stat : 9474 (strangenight2-m) S 9456 9458 9432 0 -1 4202560 783 0 0 0 5 5 0 0 17 0 32 0 11836589 1183907840 23829 268435456000 4194304 4580107 140736413845904 18446744073709551615 258651060958 0 0 4096 2 18446604491787345376 0 0 -1 6 0 0 0
[pid=9458/tid=9475] ppid=9456 vsize=1157188 CPUtime=0.1 cores=0-31
################
# More data... #
################
[pid=9458/tid=9470] ppid=9456 vsize=44268636 CPUtime=4948.34 cores=0-31
/proc/9458/task/9470/stat : 9470 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2054951 0 0 0 493755 1079 0 0 25 0 32 0 11836589 45331083264 9140607 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9458/tid=9471] ppid=9456 vsize=44268636 CPUtime=4934.28 cores=0-31
/proc/9458/task/9471/stat : 9471 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2060258 0 0 0 492357 1071 0 0 25 0 32 0 11836589 45331083264 9140607 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9458/tid=9472] ppid=9456 vsize=44268636 CPUtime=4939.65 cores=0-31
/proc/9458/task/9472/stat : 9472 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2370874 0 0 0 492850 1115 0 0 25 0 32 0 11836589 45331083264 9140607 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9458/tid=9473] ppid=9456 vsize=44268636 CPUtime=4925.26 cores=0-31
/proc/9458/task/9473/stat : 9473 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1789828 0 0 0 491513 1013 0 0 25 0 32 0 11836589 45331083264 9140607 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9458/tid=9474] ppid=9456 vsize=44268636 CPUtime=4947.96 cores=0-31
/proc/9458/task/9474/stat : 9474 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1800070 0 0 0 493775 1021 0 0 25 0 32 0 11836589 45331083264 9140607 268435456000 4194304 4580107 140736413845904 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9458/tid=9475] ppid=9456 vsize=44268636 CPUtime=4943.82 cores=0-31
/proc/9458/task/9475/stat : 9475 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2077517 0 0 0 493307 1075 0 0 25 0 32 0 11836589 45331083264 9140609 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9458/tid=9476] ppid=9456 vsize=44268636 CPUtime=4947.56 cores=0-31
/proc/9458/task/9476/stat : 9476 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2143632 0 0 0 493646 1110 0 0 25 0 32 0 11836589 45331083264 9140609 268435456000 4194304 4580107 140736413845904 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9458/tid=9477] ppid=9456 vsize=44268636 CPUtime=4944.66 cores=0-31
/proc/9458/task/9477/stat : 9477 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2163080 0 0 0 493355 1111 0 0 25 0 32 0 11836589 45331083264 9140609 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9458/tid=9478] ppid=9456 vsize=44268636 CPUtime=4947.75 cores=0-31
/proc/9458/task/9478/stat : 9478 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1905836 0 0 0 493723 1052 0 0 25 0 32 0 11836589 45331083264 9140609 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9458/tid=9479] ppid=9456 vsize=44268636 CPUtime=4948.92 cores=0-31
/proc/9458/task/9479/stat : 9479 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2398780 0 0 0 493782 1110 0 0 25 0 32 0 11836589 45331083264 9140610 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9458/tid=9480] ppid=9456 vsize=44268636 CPUtime=4945.47 cores=0-31
/proc/9458/task/9480/stat : 9480 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1885114 0 0 0 493526 1021 0 0 25 0 32 0 11836589 45331083264 9140610 268435456000 4194304 4580107 140736413845904 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9458/tid=9481] ppid=9456 vsize=44268636 CPUtime=4939.55 cores=0-31
/proc/9458/task/9481/stat : 9481 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1964362 0 0 0 492887 1068 0 0 25 0 32 0 11836589 45331083264 9140610 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9458/tid=9482] ppid=9456 vsize=44268636 CPUtime=4944.12 cores=0-31
/proc/9458/task/9482/stat : 9482 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1829701 0 0 0 493402 1010 0 0 25 0 32 0 11836589 45331083264 9140611 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9458/tid=9483] ppid=9456 vsize=44268636 CPUtime=4947.95 cores=0-31
/proc/9458/task/9483/stat : 9483 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1958065 0 0 0 493748 1047 0 0 25 0 32 0 11836589 45331083264 9140611 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=44268636 CPUtime=4935.14 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2144419 0 0 0 492441 1073 0 0 25 0 32 0 11836589 45331083264 9140613 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9458/tid=9485] ppid=9456 vsize=44268636 CPUtime=4933.49 cores=0-31
/proc/9458/task/9485/stat : 9485 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1905993 0 0 0 492317 1032 0 0 25 0 32 0 11836590 45331083264 9140613 268435456000 4194304 4580107 140736413845904 18446744073709551615 4318363 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9458/tid=9486] ppid=9456 vsize=44268636 CPUtime=4948.12 cores=0-31
/proc/9458/task/9486/stat : 9486 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2083916 0 0 0 493733 1079 0 0 25 0 32 0 11836590 45331083264 9140613 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9458/tid=9487] ppid=9456 vsize=44268636 CPUtime=4942.84 cores=0-31
/proc/9458/task/9487/stat : 9487 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1946777 0 0 0 493244 1040 0 0 25 0 32 0 11836590 45331083264 9140613 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9458/tid=9488] ppid=9456 vsize=44268636 CPUtime=4947.82 cores=0-31
/proc/9458/task/9488/stat : 9488 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2009717 0 0 0 493711 1071 0 0 25 0 32 0 11836590 45331083264 9140614 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9458/tid=9489] ppid=9456 vsize=44268636 CPUtime=4951.61 cores=0-31
/proc/9458/task/9489/stat : 9489 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 788435 0 0 0 494654 507 0 0 25 0 32 0 11836590 45331083264 9140615 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 158210
Current children cumulated vsize (KiB) 44268636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5018.5 s]
/proc/loadavg: 32.01 32.08 32.08 33/445 9648
/proc/meminfo: memFree=226693980/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=44223516 CPUtime=160004 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) R 9456 9458 9432 0 -1 4202496 65010155 0 0 0 15966393 33967 0 0 25 0 32 0 11836589 45284880384 9129158 268435456000 4194304 4580107 140736413845904 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/9458/statm: 11055879 9129159 379 95 0 11050861 0
[pid=9458/tid=9459] ppid=9456 vsize=44223516 CPUtime=5001.52 cores=0-31
/proc/9458/task/9459/stat : 9459 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2142604 0 0 0 499051 1101 0 0 25 0 32 0 11836589 45284880384 9129160 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9458/tid=9460] ppid=9456 vsize=44223516 CPUtime=5000.59 cores=0-31
/proc/9458/task/9460/stat : 9460 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2028264 0 0 0 498971 1088 0 0 25 0 32 0 11836589 45284880384 9129160 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316421 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9458/tid=9461] ppid=9456 vsize=44223516 CPUtime=5004.34 cores=0-31
/proc/9458/task/9461/stat : 9461 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2194638 0 0 0 499335 1099 0 0 25 0 32 0 11836589 45284880384 9129161 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9458/tid=9462] ppid=9456 vsize=44223516 CPUtime=5003.33 cores=0-31
/proc/9458/task/9462/stat : 9462 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2045675 0 0 0 499249 1084 0 0 25 0 32 0 11836589 45284880384 9129161 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9458/tid=9463] ppid=9456 vsize=44223516 CPUtime=5003.53 cores=0-31
/proc/9458/task/9463/stat : 9463 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2114775 0 0 0 499253 1100 0 0 25 0 32 0 11836589 45284880384 9129163 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9458/tid=9464] ppid=9456 vsize=44223516 CPUtime=5003.73 cores=0-31
/proc/9458/task/9464/stat : 9464 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2233293 0 0 0 499229 1144 0 0 25 0 32 0 11836589 45284880384 9129163 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9458/tid=9465] ppid=9456 vsize=44223516 CPUtime=5003.47 cores=0-31
/proc/9458/task/9465/stat : 9465 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2364229 0 0 0 499183 1164 0 0 25 0 32 0 11836589 45284880384 9129163 268435456000 4194304 4580107 140736413845904 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9458/tid=9466] ppid=9456 vsize=44223516 CPUtime=4998.75 cores=0-31
/proc/9458/task/9466/stat : 9466 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1815144 0 0 0 498871 1004 0 0 25 0 32 0 11836589 45284880384 9129163 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9458/tid=9467] ppid=9456 vsize=44223516 CPUtime=5003.79 cores=0-31
/proc/9458/task/9467/stat : 9467 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2203201 0 0 0 499255 1124 0 0 25 0 32 0 11836589 45284880384 9129164 268435456000 4194304 4580107 140736413845904 18446744073709551615 4322656 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9458/tid=9468] ppid=9456 vsize=44223516 CPUtime=5003.92 cores=0-31
/proc/9458/task/9468/stat : 9468 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2071125 0 0 0 499326 1066 0 0 25 0 32 0 11836589 45284880384 9129164 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9458/tid=9469] ppid=9456 vsize=44223516 CPUtime=4988.01 cores=0-31
/proc/9458/task/9469/stat : 9469 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2116779 0 0 0 497727 1074 0 0 25 0 32 0 11836589 45284880384 9129164 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316473 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9458/tid=9470] ppid=9456 vsize=44223516 CPUtime=5004.43 cores=0-31
/proc/9458/task/9470/stat : 9470 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2079420 0 0 0 499352 1091 0 0 25 0 32 0 11836589 45284880384 9129164 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9458/tid=9471] ppid=9456 vsize=44223516 CPUtime=4990.38 cores=0-31
/proc/9458/task/9471/stat : 9471 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2072312 0 0 0 497960 1078 0 0 25 0 32 0 11836589 45284880384 9129164 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9458/tid=9472] ppid=9456 vsize=44223516 CPUtime=4995.73 cores=0-31
/proc/9458/task/9472/stat : 9472 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2390251 0 0 0 498448 1125 0 0 25 0 32 0 11836589 45284880384 9129165 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9458/tid=9473] ppid=9456 vsize=44223516 CPUtime=4981.35 cores=0-31
/proc/9458/task/9473/stat : 9473 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1802153 0 0 0 497115 1020 0 0 25 0 32 0 11836589 45284880384 9129165 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9458/tid=9474] ppid=9456 vsize=44223516 CPUtime=5004.04 cores=0-31
/proc/9458/task/9474/stat : 9474 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1811319 0 0 0 499377 1027 0 0 25 0 32 0 11836589 45284880384 9129165 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9458/tid=9475] ppid=9456 vsize=44223516 CPUtime=4999.88 cores=0-31
/proc/9458/task/9475/stat : 9475 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2091247 0 0 0 498904 1084 0 0 25 0 32 0 11836589 45284880384 9129165 268435456000 4194304 4580107 140736413845904 18446744073709551615 4321863 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9458/tid=9476] ppid=9456 vsize=44223516 CPUtime=5003.64 cores=0-31
/proc/9458/task/9476/stat : 9476 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2161171 0 0 0 499246 1118 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9458/tid=9477] ppid=9456 vsize=44223516 CPUtime=5000.77 cores=0-31
/proc/9458/task/9477/stat : 9477 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2176588 0 0 0 498958 1119 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9458/tid=9478] ppid=9456 vsize=44223516 CPUtime=5003.86 cores=0-31
/proc/9458/task/9478/stat : 9478 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1930547 0 0 0 499323 1063 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316634 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9458/tid=9479] ppid=9456 vsize=44223516 CPUtime=5005 cores=0-31
/proc/9458/task/9479/stat : 9479 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2417476 0 0 0 499380 1120 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9458/tid=9480] ppid=9456 vsize=44223516 CPUtime=5001.68 cores=0-31
/proc/9458/task/9480/stat : 9480 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1885114 0 0 0 499147 1021 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9458/tid=9481] ppid=9456 vsize=44223516 CPUtime=4995.64 cores=0-31
/proc/9458/task/9481/stat : 9481 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1976040 0 0 0 498490 1074 0 0 25 0 32 0 11836589 45284880384 9129166 268435456000 4194304 4580107 140736413845904 18446744073709551615 4295090 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9458/tid=9482] ppid=9456 vsize=44223516 CPUtime=5000.21 cores=0-31
/proc/9458/task/9482/stat : 9482 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1841067 0 0 0 499004 1017 0 0 25 0 32 0 11836589 45284880384 9129167 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9458/tid=9483] ppid=9456 vsize=44223516 CPUtime=5004.02 cores=0-31
/proc/9458/task/9483/stat : 9483 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1973674 0 0 0 499347 1055 0 0 25 0 32 0 11836589 45284880384 9129167 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=44223516 CPUtime=4990.11 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2154973 0 0 0 497933 1078 0 0 25 0 32 0 11836589 45284880384 9129167 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9458/tid=9485] ppid=9456 vsize=44223516 CPUtime=4989.65 cores=0-31
/proc/9458/task/9485/stat : 9485 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1924942 0 0 0 497926 1039 0 0 25 0 32 0 11836590 45284880384 9129167 268435456000 4194304 4580107 140736413845904 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9458/tid=9486] ppid=9456 vsize=44223516 CPUtime=5004.2 cores=0-31
/proc/9458/task/9486/stat : 9486 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2104213 0 0 0 499332 1088 0 0 25 0 32 0 11836590 45284880384 9129170 268435456000 4194304 4580107 140736413845904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9458/tid=9487] ppid=9456 vsize=44223516 CPUtime=4998.94 cores=0-31
/proc/9458/task/9487/stat : 9487 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 1972875 0 0 0 498842 1052 0 0 25 0 32 0 11836590 45284880384 9129170 268435456000 4194304 4580107 140736413845904 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9458/tid=9488] ppid=9456 vsize=44223516 CPUtime=5003.92 cores=0-31
/proc/9458/task/9488/stat : 9488 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 2022311 0 0 0 499315 1077 0 0 25 0 32 0 11836590 45284880384 9129170 268435456000 4194304 4580107 140736413845904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9458/tid=9489] ppid=9456 vsize=44223516 CPUtime=5007.75 cores=0-31
/proc/9458/task/9489/stat : 9489 (strangenight2-m) R 9456 9458 9432 0 -1 4202560 797570 0 0 0 500263 512 0 0 25 0 32 0 11836590 45284880384 9129172 268435456000 4194304 4580107 140736413845904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 44223516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9458
Solver just ended. Dumping a history of the last processes samples
[startup+5019.1 s]
/proc/loadavg: 32.01 32.08 32.08 33/445 9648
/proc/meminfo: memFree=226693980/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=0 CPUtime=160004 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) Z 9456 9458 9432 0 -1 4203548 65010200 0 0 0 15966415 34024 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/9458/statm: 0 0 0 0 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=0 CPUtime=4990.69 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4203588 2154973 0 0 0 497934 1135 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5020.7 s]
/proc/loadavg: 29.53 31.56 31.91 2/416 9649
/proc/meminfo: memFree=248722556/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=0 CPUtime=160006 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) Z 9456 9458 9432 0 -1 4203548 65010200 0 0 0 15966415 34184 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/9458/statm: 0 0 0 0 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=0 CPUtime=4992.29 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4203588 2154973 0 0 0 497934 1295 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0
[startup+5021.5 s]
/proc/loadavg: 29.53 31.56 31.91 2/415 9649
/proc/meminfo: memFree=261655128/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=0 CPUtime=160007 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) Z 9456 9458 9432 0 -1 4203548 65010200 0 0 0 15966415 34266 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/9458/statm: 0 0 0 0 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=0 CPUtime=4993.11 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4203588 2154973 0 0 0 497934 1377 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160007
Current children cumulated vsize (KiB) 0
[startup+5021.7 s]
/proc/loadavg: 29.53 31.56 31.91 2/415 9649
/proc/meminfo: memFree=261655128/264257624 swapFree=67054984/67111528
[pid=9458] ppid=9456 vsize=0 CPUtime=160007 cores=0-31
/proc/9458/stat : 9458 (strangenight2-m) Z 9456 9458 9432 0 -1 4203548 65010200 0 0 0 15966415 34284 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/9458/statm: 0 0 0 0 0 0 0
[pid=9458/tid=9484] ppid=9456 vsize=0 CPUtime=4993.29 cores=0-31
/proc/9458/task/9484/stat : 9484 (strangenight2-m) R 9456 9458 9432 0 -1 4203588 2154973 0 0 0 497934 1395 0 0 25 0 2 0 11836589 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160007
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5021.71
CPU time (s): 160007
CPU user time (s): 159664
CPU system time (s): 342.853
CPU usage (%): 3186.31
Max. virtual memory (cumulated for all children) (KiB): 44560720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159664
system time used= 342.853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65010200
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= 1873014
involuntary context switches= 275667
runsolver used 29.1206 second user time and 110.458 second system time
The end
Begin job on node200 at 2011-06-03 02:00:42
IDJOB=3400859
IDBENCH=84227
IDSOLVER=1886
FILE ID=node200/3400859-1307059242
RUNJOBID= node200-1307059241-9446
PBS_JOBID= 13497799
Free space on /tmp= 61740 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400859-1307059242/watcher-3400859-1307059242 -o /tmp/evaluation-result-3400859-1307059242/solver-3400859-1307059242 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400859-1307059242.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 5e5606ae7367b9272c60adc115594912
RANDOM SEED=1638269808
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263283332 kB
Buffers: 42028 kB
Cached: 777920 kB
SwapCached: 7860 kB
Active: 76976 kB
Inactive: 760564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263283332 kB
SwapTotal: 67111528 kB
SwapFree: 67054984 kB
Dirty: 9484 kB
Writeback: 0 kB
AnonPages: 15016 kB
Mapped: 8192 kB
Slab: 53260 kB
PageTables: 4560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187824 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= 61732 MiB
End job on node200 at 2011-06-03 03:24:24