0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
1.79/0.08 c This is CryptoMiniSat 3.0.0
1.79/0.08 c WARNING: for repeatability, setting FPU to use double precision
1.79/0.08 c Reading file 'HOME/instance-3400827-1306876840.cnf'
1.79/0.10 c -- header says num vars: 1808
1.79/0.10 c -- header says num clauses: 9968
2.40/0.19 c -- clauses added: 0 learnts, 9968 normals, 0 xors
2.40/0.19 c -- vars added 1808
2.40/0.19 c Parsing time: 0.02 s
2.40/0.19 c N st 0 0 1808 9440 320 0 38688 0 no data no data
4.03/0.25 c asymm cl-useful: 0/8928/8928 lits-rem:0 time: 0.03
4.03/0.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 256 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01
4.03/0.27 c Replacing 256 vars Replaced 9064 lits Time: 0.00 s
7.47/0.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7.47/0.41 c bin-w-bin subsume rem 0 bins time: 0.00 s
7.47/0.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
7.47/0.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1408 time: 0.00 s
7.47/0.41 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
7.47/0.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
7.47/0.44 c Finding binary XORs T: 0.00 s found: 0
7.47/0.45 c Finding non-binary XORs: 0.01 s (found: 832, avg size: 3.6)
7.47/0.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 220 locsubst: 0 time: 0.00
7.47/0.45 c calculated reachability. Time: 0.00
7.47/0.45 c Calc default polars - time: 0.00 s pos: 48 undec: 620 neg: 1140
7.47/0.45 c =========================================================================================
7.47/0.45 c types(t): F = full restart, N = normal restart
7.47/0.45 c types(t): S = simplification begin/end, E = solution found
7.47/0.45 c restart types(rt): st = static, dy = dynamic
7.47/0.45 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
7.47/0.45 c B st 0 0 1188 2528 64 0 11816 0 no data no data
7.47/0.67 c Decided on static restart strategy
7.47/1.06 c N st 8 4916 1188 2528 71 4688 11816 214374 no data no data
31.06/2.02 c N st 10 11299 1188 2528 164 4454 11816 103000 no data no data
89.87/3.09 c N st 11 17042 1188 2528 166 10029 11816 642051 no data no data
118.62/4.00 c F st 12 25000 1188 2528 188 12251 11816 512046 no data no data
118.62/4.00 c N st 12 25000 1188 2528 188 12251 11816 512046 no data no data
118.62/4.00 c Finding binary XORs T: 0.00 s found: 86
121.82/4.02 c Replacing 86 vars Replaced 16034 lits Time: 0.03 s
147.37/4.87 c Decided on static restart strategy
147.37/4.88 c N st 18 30001 1102 2528 24 10758 11698 466751 no data no data
147.37/4.88 c S st 18 30001 1102 2528 24 10758 11698 466751 no data no data
150.57/4.91 c S st 18 30505 1102 2528 24 11235 11698 474720 no data no data
150.57/4.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 52 locsubst: 0 time: 0.00
150.57/4.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
150.57/4.92 c Replacing 1 vars Replaced 99 lits Time: 0.00 s
150.57/4.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
150.57/4.92 c bin-w-bin subsume rem 0 bins time: 0.00 s
150.57/4.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
150.57/4.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1049 time: 0.00 s
150.57/4.92 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
150.57/4.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
150.57/4.95 c subs with bin: 2 lits-rem: 40 v-fix: 0 time: 0.00 s
153.75/5.10 c lits-rem: 1034 cl-subs: 380 v-elim: 0 v-fix: 0 time: 0.14 s
156.95/5.10 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
156.95/5.10 c calculated reachability. Time: 0.00
156.95/5.10 c N st 18 30505 1049 2528 22 6930 11594 181306 no data no data
192.10/6.25 c N st 20 37617 1049 2528 28 8347 11594 230627 no data no data
236.85/7.61 c N st 21 44016 1049 2528 28 14535 11594 803801 no data no data
243.24/7.88 c S st 22 45757 1049 2528 31 8622 11594 163554 no data no data
243.24/7.91 c S st 22 46263 1049 2528 32 9098 11594 172942 no data no data
243.24/7.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
246.99/7.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
246.99/7.93 c Replacing 7 vars Replaced 2094 lits Time: 0.00 s
246.99/7.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
246.99/7.93 c bin-w-bin subsume rem 0 bins time: 0.00 s
246.99/7.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
246.99/7.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1042 time: 0.00 s
246.99/7.93 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
246.99/7.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
246.99/7.94 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
246.99/8.00 c lits-rem: 304 cl-subs: 84 v-elim: 0 v-fix: 0 time: 0.06 s
246.99/8.00 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
246.99/8.01 c vivif2 -- cl tried 9012 cl shrink 0 lits rem 0 time: 0.00
246.99/8.01 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
246.99/8.01 c calculated reachability. Time: 0.00
246.99/8.01 c N st 22 46263 1042 2528 18 9012 11594 170314 no data no data
303.94/9.79 c N st 23 60660 1042 2528 18 13750 11594 358964 no data no data
371.06/11.85 c N st 24 69394 1042 2528 25 12073 11594 276736 no data no data
371.06/11.85 c S st 24 69394 1042 2528 25 12073 11594 276736 no data no data
371.06/11.89 c S st 24 69896 1042 2528 28 12538 11594 286450 no data no data
371.06/11.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
374.25/11.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
374.25/11.90 c Replacing 6 vars Replaced 131 lits Time: 0.00 s
374.25/11.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
374.25/11.90 c bin-w-bin subsume rem 0 bins time: 0.00 s
374.25/11.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
374.25/11.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1036 time: 0.00 s
374.25/11.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
374.25/11.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
374.25/11.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
380.64/12.11 c lits-rem: 1046 cl-subs: 197 v-elim: 0 v-fix: 0 time: 0.18 s
380.64/12.11 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
380.64/12.11 c vivif2 -- cl tried 12341 cl shrink 0 lits rem 0 time: 0.00
380.64/12.12 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
380.64/12.12 c calculated reachability. Time: 0.00
380.64/12.12 c N st 24 69896 1036 2528 16 12341 11590 278692 no data no data
531.45/16.87 c F st 25 87500 1036 2528 18 18157 11590 845359 no data no data
531.45/16.87 c N st 25 87500 1036 2528 18 18157 11590 845359 no data no data
531.45/16.87 c Finding binary XORs T: 0.00 s found: 7
556.38/17.63 c Decided on static restart strategy
578.75/18.32 c N st 32 95537 1036 2528 27 26035 11590 1436231 no data no data
642.64/20.33 c N st 34 104844 1036 2528 41 22663 11590 1005077 no data no data
642.64/20.33 c S st 34 104844 1036 2528 41 22663 11590 1005077 no data no data
642.64/20.39 c S st 34 105348 1036 2528 48 23126 11590 1014779 no data no data
645.84/20.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
645.84/20.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 14 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
645.84/20.43 c Replacing 21 vars Replaced 3502 lits Time: 0.02 s
645.84/20.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
645.84/20.43 c bin-w-bin subsume rem 0 bins time: 0.00 s
645.84/20.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
645.84/20.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1015 time: 0.00 s
645.84/20.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
645.84/20.45 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
649.03/20.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
693.78/21.92 c lits-rem: 3342 cl-subs: 457 v-elim: 0 v-fix: 0 time: 1.41 s
693.78/21.92 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
693.78/21.93 c vivif2 -- cl tried 22667 cl shrink 0 lits rem 0 time: 0.01
693.78/21.95 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.01
693.78/21.95 c calculated reachability. Time: 0.00
693.78/21.95 c N st 34 105348 1015 2528 6 22667 11584 985442 no data no data
767.29/24.28 c N st 35 114946 1015 2528 6 18465 11584 606760 no data no data
891.91/28.18 c N st 36 129344 1015 2528 8 17804 11584 461266 no data no data
891.91/28.18 c Finding binary XORs T: 0.00 s found: 4
1064.50/33.59 c N st 37 150939 1015 2528 11 23197 11584 882229 no data no data
1129.06/35.52 c S st 38 158023 1015 2528 13 30089 11584 1520923 no data no data
1131.61/35.62 c S st 38 158525 1015 2528 13 30566 11584 1534052 no data no data
1131.61/35.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1131.61/35.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
1131.61/35.65 c Replacing 6 vars Replaced 60 lits Time: 0.00 s
1131.61/35.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1131.61/35.65 c bin-w-bin subsume rem 0 bins time: 0.00 s
1131.61/35.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1131.61/35.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1009 time: 0.00 s
1131.61/35.65 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1131.61/35.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
1134.80/35.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1304.78/41.08 c lits-rem: 4789 cl-subs: 1960 v-elim: 0 v-fix: 0 time: 5.32 s
1304.78/41.08 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
1307.37/41.11 c vivif2 -- cl tried 28606 cl shrink 0 lits rem 0 time: 0.02
1307.37/41.13 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.02
1307.37/41.13 c calculated reachability. Time: 0.00
1307.37/41.13 c N st 38 158525 1009 2528 1 28606 11584 1413842 no data no data
1751.60/55.00 c N st 39 207113 1009 2528 1 23449 11584 610956 no data no data
2071.24/65.06 c N st 40 237787 1009 2528 2 33647 11584 1509607 no data no data
2071.24/65.06 c S st 40 237787 1009 2528 2 33647 11584 1509607 no data no data
2075.03/65.18 c S st 40 238291 1009 2528 2 34123 11584 1520581 no data no data
2075.03/65.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2075.03/65.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02
2075.03/65.21 c Replacing 1 vars Replaced 14 lits Time: 0.00 s
2075.03/65.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2075.03/65.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
2075.03/65.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2075.03/65.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
2075.03/65.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
2078.26/65.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2080.81/65.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2330.09/73.17 c lits-rem: 2367 cl-subs: 3032 v-elim: 0 v-fix: 0 time: 7.84 s
2330.09/73.17 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
2330.09/73.19 c vivif2 -- cl tried 31091 cl shrink 0 lits rem 0 time: 0.02
2333.28/73.22 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.02
2333.28/73.22 c calculated reachability. Time: 0.00
2333.28/73.22 c N st 40 238291 1008 2528 0 31091 11584 1341971 no data no data
2857.45/89.63 c F st 41 306250 1008 2528 0 33557 11584 1103105 no data no data
2857.45/89.63 c N st 41 306250 1008 2528 0 33557 11584 1103105 no data no data
2889.42/90.64 c Decided on static restart strategy
3065.22/96.19 c N st 51 334552 1008 2528 0 38245 11584 1597288 no data no data
3215.42/100.87 c N st 53 357437 1008 2528 0 36382 11584 1340316 no data no data
3215.42/100.87 c S st 53 357437 1008 2528 0 36382 11584 1340316 no data no data
3218.58/100.98 c S st 53 357938 1008 2528 0 36871 11584 1353384 no data no data
3218.58/100.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
3221.78/101.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.02
3221.78/101.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3221.78/101.00 c bin-w-bin subsume rem 0 bins time: 0.00 s
3221.78/101.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3221.78/101.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
3221.78/101.00 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
3221.78/101.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
3224.98/101.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3314.48/103.90 c lits-rem: 1445 cl-subs: 358 v-elim: 0 v-fix: 0 time: 2.80 s
3314.48/103.90 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
3314.48/103.93 c vivif2 -- cl tried 36513 cl shrink 0 lits rem 0 time: 0.02
3314.48/103.96 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.03
3314.48/103.96 c calculated reachability. Time: 0.00
3314.48/103.96 c N st 53 357938 1008 2528 0 36513 11584 1334344 no data no data
3634.13/114.00 c N st 54 390331 1008 2528 0 42779 11584 1950664 no data no data
4164.69/130.50 c N st 55 438920 1008 2528 0 36543 11584 1139131 no data no data
4775.21/149.70 c N st 56 511804 1008 2528 0 50341 11584 1749414 no data no data
5033.99/157.77 c N st 57 536910 1008 2528 0 44125 11584 1544584 no data no data
5033.99/157.77 c S st 57 536910 1008 2528 0 44125 11584 1544584 no data no data
5040.38/157.91 c S st 57 537415 1008 2528 0 44613 11584 1558223 no data no data
5040.38/157.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
5040.38/157.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.03
5040.38/157.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5040.38/157.95 c bin-w-bin subsume rem 0 bins time: 0.00 s
5040.38/157.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5040.38/157.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
5040.38/157.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
5040.38/157.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
5043.61/158.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
5299.27/166.03 c lits-rem: 2008 cl-subs: 3310 v-elim: 0 v-fix: 0 time: 7.95 s
5299.27/166.03 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
5299.27/166.05 c vivif2 -- cl tried 41303 cl shrink 0 lits rem 0 time: 0.03
5302.48/166.11 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.05
5302.48/166.11 c calculated reachability. Time: 0.00
5302.48/166.11 c N st 57 537415 1008 2528 0 41303 11584 1366387 no data no data
7958.65/249.27 c N st 58 701400 1008 2528 0 69348 11584 3186734 no data no data
9553.60/299.18 c N st 59 806122 1008 2528 0 65278 11584 3232292 no data no data
9553.60/299.18 c S st 59 806122 1008 2528 0 65278 11584 3232292 no data no data
9566.99/299.54 c S st 59 806628 1008 2528 0 65775 11584 3249138 no data no data
9566.99/299.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
9569.57/299.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.07
9569.57/299.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9569.57/299.63 c bin-w-bin subsume rem 0 bins time: 0.00 s
9569.57/299.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9569.57/299.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
9569.57/299.63 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
9569.57/299.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
9579.14/299.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
10302.12/322.53 c lits-rem: 19148 cl-subs: 1024 v-elim: 0 v-fix: 0 time: 21.97 s
10302.12/322.53 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
10302.12/322.59 c vivif2 -- cl tried 64751 cl shrink 0 lits rem 0 time: 0.06
10307.91/322.70 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.11
10307.91/322.70 c calculated reachability. Time: 0.00
10307.91/322.70 c N st 59 806628 1008 2528 0 64751 11584 3158327 no data no data
14178.52/443.85 c F st 60 1071875 1008 2528 0 79563 11584 3703549 no data no data
14178.52/443.85 c N st 60 1071875 1008 2528 0 79563 11584 3703549 no data no data
14255.18/446.26 c Decided on static restart strategy
14536.48/455.06 c N st 70 1100181 1008 2528 0 63562 11584 2431010 no data no data
15115.03/473.14 c N st 72 1136173 1008 2528 0 53852 11584 1401314 no data no data
15667.92/490.45 c N st 73 1168566 1008 2528 0 85528 11584 3879975 no data no data
16249.58/508.65 c N st 74 1209942 1008 2528 0 79968 11584 3260857 no data no data
16249.58/508.65 c S st 74 1209942 1008 2528 0 79968 11584 3260857 no data no data
16262.38/509.03 c S st 74 1210444 1008 2528 0 80456 11584 3275952 no data no data
16262.38/509.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
16265.57/509.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07
16265.57/509.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16265.57/509.11 c bin-w-bin subsume rem 0 bins time: 0.00 s
16265.57/509.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
16265.57/509.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
16265.57/509.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
16265.57/509.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
16271.97/509.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
17633.55/551.99 c lits-rem: 3078 cl-subs: 5401 v-elim: 0 v-fix: 0 time: 42.60 s
17633.55/551.99 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
17636.75/552.04 c vivif2 -- cl tried 75055 cl shrink 0 lits rem 0 time: 0.05
17639.95/552.14 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.10
17639.95/552.15 c calculated reachability. Time: 0.00
17639.95/552.15 c N st 74 1210444 1008 2528 0 75055 11584 2951189 no data no data
18768.23/587.42 c N st 75 1283326 1008 2528 0 52330 11584 1137199 no data no data
20368.47/637.54 c N st 76 1392649 1008 2528 0 59748 11584 1652975 no data no data
23254.70/727.86 c N st 77 1556633 1008 2528 0 64442 11584 1875196 no data no data
26415.93/826.73 c N st 78 1710446 1008 2528 0 106036 11584 5324486 no data no data
26415.93/826.73 c S st 78 1710446 1008 2528 0 106036 11584 5324486 no data no data
26431.92/827.21 c S st 78 1710948 1008 2528 0 106526 11584 5340068 no data no data
26431.92/827.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
26435.12/827.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.10
26435.12/827.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26435.12/827.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
26435.12/827.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
26435.12/827.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
26435.12/827.33 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
26435.12/827.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
26447.90/827.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
31769.93/994.27 c lits-rem: 11977 cl-subs: 10818 v-elim: 0 v-fix: 0 time: 166.44 s
31769.93/994.27 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
31773.14/994.35 c vivif2 -- cl tried 95708 cl shrink 0 lits rem 0 time: 0.09
31776.33/994.47 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.12
31776.33/994.48 c calculated reachability. Time: 0.00
31776.33/994.48 c N st 78 1710948 1008 2528 0 95708 11584 4711081 no data no data
39943.70/1249.95 c N st 79 2079913 1008 2528 0 106975 11584 4617931 no data no data
42739.95/1337.48 c N st 80 2210948 1008 2528 0 111171 11584 5427719 no data no data
42739.95/1337.48 c S st 80 2210948 1008 2528 0 111171 11584 5427719 no data no data
42759.12/1338.08 c S st 80 2211451 1008 2528 0 111660 11584 5443298 no data no data
42762.32/1338.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
42765.52/1338.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.12
42765.52/1338.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
42765.52/1338.24 c bin-w-bin subsume rem 0 bins time: 0.00 s
42765.52/1338.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
42765.52/1338.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
42765.52/1338.24 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
42768.72/1338.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
42778.31/1338.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
47746.13/1494.11 c lits-rem: 5894 cl-subs: 10332 v-elim: 0 v-fix: 0 time: 155.40 s
47746.13/1494.12 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
47751.89/1494.21 c vivif2 -- cl tried 101328 cl shrink 0 lits rem 0 time: 0.10
47755.09/1494.39 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.17
47755.09/1494.39 c calculated reachability. Time: 0.00
47755.09/1494.39 c N st 80 2211451 1008 2528 0 101328 11584 4851633 no data no data
61224.66/1915.72 c N st 81 2711453 1008 2528 0 122819 11584 6107324 no data no data
61224.66/1915.72 c S st 81 2711453 1008 2528 0 122819 11584 6107324 no data no data
61237.46/1916.14 c S st 81 2711957 1008 2528 0 123303 11584 6122521 no data no data
61237.46/1916.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
61240.66/1916.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.11
61240.66/1916.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
61240.66/1916.28 c bin-w-bin subsume rem 0 bins time: 0.00 s
61240.66/1916.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
61240.66/1916.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
61240.66/1916.28 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
61243.86/1916.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
61256.63/1916.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
69541.76/2175.93 c lits-rem: 3916 cl-subs: 13916 v-elim: 0 v-fix: 0 time: 259.10 s
69541.76/2175.93 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
69545.59/2176.03 c vivif2 -- cl tried 109387 cl shrink 0 lits rem 0 time: 0.10
69548.78/2176.18 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.15
69548.78/2176.18 c calculated reachability. Time: 0.00
69548.78/2176.18 c N st 81 2711957 1008 2528 0 109387 11584 5319706 no data no data
82816.41/2591.29 c N st 82 3211960 1008 2528 0 87460 11584 2216861 no data no data
82816.41/2591.29 c S st 82 3211960 1008 2528 0 87460 11584 2216861 no data no data
82832.41/2591.78 c S st 82 3212465 1008 2528 0 87952 11584 2232467 no data no data
82832.41/2591.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
82836.20/2591.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09
82836.20/2591.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
82836.20/2591.90 c bin-w-bin subsume rem 0 bins time: 0.00 s
82836.20/2591.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
82836.20/2591.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
82836.20/2591.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
82839.43/2591.96 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
82845.18/2592.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
83353.43/2608.02 c lits-rem: 2491 cl-subs: 3213 v-elim: 0 v-fix: 0 time: 15.91 s
83353.43/2608.02 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
83353.43/2608.06 c vivif2 -- cl tried 84739 cl shrink 0 lits rem 0 time: 0.05
83359.83/2608.22 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.16
83359.83/2608.23 c calculated reachability. Time: 0.00
83359.83/2608.23 c N st 82 3212465 1008 2528 0 84739 11584 2044192 no data no data
98120.83/3070.05 c N st 83 3712466 1008 2528 0 95589 11584 2626153 no data no data
98120.83/3070.05 c S st 83 3712466 1008 2528 0 95589 11584 2626153 no data no data
98134.25/3070.45 c S st 83 3712967 1008 2528 0 96082 11584 2640720 no data no data
98134.25/3070.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
98136.77/3070.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.09
98136.77/3070.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
98136.77/3070.56 c bin-w-bin subsume rem 0 bins time: 0.00 s
98136.77/3070.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
98136.77/3070.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
98136.77/3070.56 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
98139.97/3070.62 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
98143.16/3070.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
98945.50/3095.88 c lits-rem: 1152 cl-subs: 4184 v-elim: 0 v-fix: 0 time: 25.09 s
98945.50/3095.88 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
98948.69/3095.93 c vivif2 -- cl tried 91898 cl shrink 0 lits rem 0 time: 0.05
98951.89/3096.07 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.14
98951.89/3096.08 c calculated reachability. Time: 0.00
98951.89/3096.08 c N st 83 3712967 1008 2528 0 91898 11584 2395886 no data no data
99805.35/3122.70 c F st 84 3751564 1008 2528 0 128236 11584 5252477 no data no data
99805.35/3122.71 c N st 84 3751564 1008 2528 0 128236 11584 5252477 no data no data
99901.21/3125.79 c Decided on static restart strategy
100444.63/3142.76 c N st 94 3779872 1008 2528 0 156031 11584 7464312 no data no data
101225.15/3167.13 c N st 96 3815864 1008 2528 0 109856 11584 3944098 no data no data
102100.38/3194.55 c N st 97 3848257 1008 2528 0 140873 11584 6544261 no data no data
103049.60/3224.20 c N st 98 3896846 1008 2528 0 105377 11584 3637061 no data no data
105309.43/3294.98 c N st 99 3969728 1008 2528 0 91851 11584 2112150 no data no data
107949.66/3377.53 c N st 100 4079053 1008 2528 0 112862 11584 3536423 no data no data
111884.39/3500.66 c N st 101 4212969 1008 2528 0 156044 11584 7699514 no data no data
111884.39/3500.66 c S st 101 4212969 1008 2528 0 156044 11584 7699514 no data no data
111906.77/3501.37 c S st 101 4213470 1008 2528 0 156540 11584 7717754 no data no data
111909.95/3501.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
111913.75/3501.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.15
111913.75/3501.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
111913.75/3501.56 c bin-w-bin subsume rem 0 bins time: 0.00 s
111913.75/3501.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
111913.75/3501.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
111913.75/3501.56 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
111916.98/3501.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
111935.52/3502.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
122141.48/3821.52 c lits-rem: 17797 cl-subs: 15863 v-elim: 0 v-fix: 0 time: 319.13 s
122141.48/3821.52 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
122145.26/3821.64 c vivif2 -- cl tried 140677 cl shrink 0 lits rem 0 time: 0.12
122151.06/3821.84 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.20
122151.06/3821.85 c calculated reachability. Time: 0.00
122151.06/3821.85 c N st 101 4213470 1008 2528 0 140677 11584 6782856 no data no data
129362.13/4047.42 c N st 102 4459447 1008 2528 0 114401 11584 3677262 no data no data
137025.89/4287.25 c N st 103 4713471 1008 2528 0 178762 11584 9116161 no data no data
137025.89/4287.25 c S st 103 4713471 1008 2528 0 178762 11584 9116161 no data no data
137057.88/4288.26 c S st 103 4713973 1008 2528 0 179260 11584 9132612 no data no data
137061.06/4288.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
137067.45/4288.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.22
137067.45/4288.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
137067.45/4288.54 c bin-w-bin subsume rem 0 bins time: 0.00 s
137067.45/4288.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
137067.45/4288.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1008 time: 0.00 s
137067.45/4288.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
137070.66/4288.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s
137093.03/4289.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
152643.62/4775.83 c lits-rem: 14485 cl-subs: 17344 v-elim: 0 v-fix: 0 time: 486.24 s
152643.62/4775.83 c vivif2 -- cl tried 2528 cl shrink 0 lits rem 0 time: 0.00
152646.81/4776.00 c vivif2 -- cl tried 161916 cl shrink 0 lits rem 0 time: 0.16
152656.42/4776.28 c asymm cl-useful: 0/2528/2528 lits-rem:0 time: 0.28
152656.42/4776.29 c calculated reachability. Time: 0.00
152656.42/4776.29 c N st 103 4713973 1008 2528 0 161916 11584 8107794 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-3400827-1306876840/watcher-3400827-1306876840 -o /tmp/evaluation-result-3400827-1306876840/solver-3400827-1306876840 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400827-1306876840.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=338000 CPUtime=0.86 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 437 0 0 0 86 0 0 0 25 0 32 0 13649970 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 84500 376 297 95 0 79482 0
[pid=25584/tid=25585] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=338000 CPUtime=0.03 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036520 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=338000 CPUtime=0 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=338000 CPUtime=0.01 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=338000 CPUtime=0.01 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036520 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036534 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=338000 CPUtime=0.02 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 13649971 346112000 376 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036524 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.066881 s]
/proc/loadavg: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=338000 CPUtime=1.79 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 469 0 0 0 179 0 0 0 25 0 32 0 13649970 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 84500 408 300 95 0 79482 0
[pid=25584/tid=25585] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 4 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=338000 CPUtime=0.06 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036125 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036530 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=338000 CPUtime=0 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=338000 CPUtime=0.04 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036115 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036112 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036121 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=338000 CPUtime=0.05 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 13649971 346112000 408 268435456000 4194304 4580107 140733355849520 18446744073709551615 47876548036119 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 338000
[startup+0.102885 s]
/proc/loadavg: 29.55 31.56 31.87 1/413 25584
/proc/meminfo: memFree=263497496/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=863636 CPUtime=2.4 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) S 25582 25584 25558 0 -1 4202496 2448 0 0 0 229 11 0 0 25 0 32 0 13649970 884363264 2316 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/25584/statm: 215909 2328 331 95 0 210891 0
[pid=25584/tid=25585] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 87 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2331 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 77 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2333 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 2 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 50 0 0 0 7 0 0 0 25 0 32 0 13649971 884363264 2345 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 55 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2346 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 54 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2358 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 65 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2362 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446604643278953952 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 76 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2375 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 67 0 0 0 7 0 0 0 17 0 32 0 13649971 884363264 2377 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 3 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) S 25582 25584 25558 0 -1 4202560 64 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2396 268435456000 4194304 4580107 140733355849520 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 9 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 62 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2408 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 75 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2408 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 61 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2409 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 35 0 0 0 7 0 0 0 25 0 32 0 13649971 884363264 2416 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=863636 CPUtime=0.07 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 71 0 0 0 7 0 0 0 18 0 32 0 13649971 884363264 2423 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=863768 CPUtime=0.04 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 56 0 0 0 4 0 0 0 25 0 32 0 13649971 884498432 2435 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=863768 CPUtime=0.02 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) D 25582 25584 25558 0 -1 4202560 93 0 0 0 2 0 0 0 17 0 32 0 13649971 884498432 2438 268435456000 4194304 4580107 140733355849520 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=994840 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 464093 0 0 0 495795 290 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=13622692 CPUtime=4936.08 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 495276 0 0 0 493274 334 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=13622692 CPUtime=4960.98 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 416708 0 0 0 495818 280 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=13622692 CPUtime=4955.5 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 425439 0 0 0 495263 287 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=13622692 CPUtime=4955.73 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 381390 0 0 0 495310 263 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=13622692 CPUtime=4959.62 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 407295 0 0 0 495665 297 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=13622692 CPUtime=4960.96 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 429606 0 0 0 495814 282 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=13622692 CPUtime=4958.54 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 410215 0 0 0 495565 289 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=13622692 CPUtime=4960.48 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 497167 0 0 0 495732 316 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=13622692 CPUtime=4955.94 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 395506 0 0 0 495338 256 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=13622692 CPUtime=4960.53 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 479235 0 0 0 495711 342 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=13622692 CPUtime=4960.13 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 489863 0 0 0 495682 331 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=13622692 CPUtime=4960.8 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 410033 0 0 0 495798 282 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=13622692 CPUtime=4926.03 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 521549 0 0 0 492214 389 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=13622692 CPUtime=4960.98 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 416167 0 0 0 495838 260 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=13622692 CPUtime=4961 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 341310 0 0 0 495851 249 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=13622692 CPUtime=4961.03 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 408916 0 0 0 495838 265 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=13622692 CPUtime=4945.15 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 417243 0 0 0 494227 288 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=13622692 CPUtime=4955.97 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468988 0 0 0 495280 317 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=13622692 CPUtime=4960.85 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 509672 0 0 0 495733 352 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=13622692 CPUtime=4959.51 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 470786 0 0 0 495613 338 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=13622692 CPUtime=4960.86 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 418501 0 0 0 495783 303 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=13622692 CPUtime=4941.43 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 534747 0 0 0 493781 362 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=13622692 CPUtime=4961 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 392698 0 0 0 495824 276 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=13622692 CPUtime=4950.09 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 394594 0 0 0 494726 283 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=13622692 CPUtime=4960.59 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 472777 0 0 0 495768 291 0 0 25 0 32 0 13649971 13949636608 2589437 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=13622692 CPUtime=4961.01 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 449555 0 0 0 495794 307 0 0 25 0 32 0 13649971 13949636608 2589438 268435456000 4194304 4580107 140733355849520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=13622692 CPUtime=4954.09 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 268400 0 0 0 495206 203 0 0 25 0 32 0 13649971 13949636608 2589438 268435456000 4194304 4580107 140733355849520 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 158606
Current children cumulated vsize (KiB) 13622692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5006 s]
/proc/loadavg: 32.06 32.04 32.05 33/445 25765
/proc/meminfo: memFree=253111720/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=13773132 CPUtime=160002 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) R 25582 25584 25558 0 -1 4202496 13756751 0 0 0 15990803 9439 0 0 25 0 32 0 13649970 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 3443283 2592842 379 95 0 3438265 0
[pid=25584/tid=25585] ppid=25582 vsize=13773132 CPUtime=5004.67 cores=0-31
/proc/25584/task/25585/stat : 25585 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 377200 0 0 0 500195 272 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25584/tid=25586] ppid=25582 vsize=13773132 CPUtime=5004.66 cores=0-31
/proc/25584/task/25586/stat : 25586 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 366786 0 0 0 500219 247 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=25584/tid=25587] ppid=25582 vsize=13773132 CPUtime=5004.49 cores=0-31
/proc/25584/task/25587/stat : 25587 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 424243 0 0 0 500180 269 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=25584/tid=25588] ppid=25582 vsize=13773132 CPUtime=5004.53 cores=0-31
/proc/25584/task/25588/stat : 25588 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468886 0 0 0 500161 292 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=25584/tid=25589] ppid=25582 vsize=13773132 CPUtime=4979.78 cores=0-31
/proc/25584/task/25589/stat : 25589 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 495760 0 0 0 497643 335 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=25584/tid=25590] ppid=25582 vsize=13773132 CPUtime=5004.68 cores=0-31
/proc/25584/task/25590/stat : 25590 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 419150 0 0 0 500186 282 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25584/tid=25591] ppid=25582 vsize=13773132 CPUtime=4999.18 cores=0-31
/proc/25584/task/25591/stat : 25591 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 426464 0 0 0 499630 288 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=25584/tid=25592] ppid=25582 vsize=13773132 CPUtime=4999.42 cores=0-31
/proc/25584/task/25592/stat : 25592 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 383799 0 0 0 499675 267 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=25584/tid=25593] ppid=25582 vsize=13773132 CPUtime=5003.32 cores=0-31
/proc/25584/task/25593/stat : 25593 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 409773 0 0 0 500032 300 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25584/tid=25594] ppid=25582 vsize=13773132 CPUtime=5004.65 cores=0-31
/proc/25584/task/25594/stat : 25594 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 429606 0 0 0 500183 282 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=25584/tid=25595] ppid=25582 vsize=13773132 CPUtime=5002.24 cores=0-31
/proc/25584/task/25595/stat : 25595 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 411535 0 0 0 499933 291 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=25584/tid=25596] ppid=25582 vsize=13773132 CPUtime=5004.18 cores=0-31
/proc/25584/task/25596/stat : 25596 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 500543 0 0 0 500097 321 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=13773132 CPUtime=4998.4 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 397192 0 0 0 499581 259 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=25584/tid=25598] ppid=25582 vsize=13773132 CPUtime=5004.23 cores=0-31
/proc/25584/task/25598/stat : 25598 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 481301 0 0 0 500078 345 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=25584/tid=25599] ppid=25582 vsize=13773132 CPUtime=5003.81 cores=0-31
/proc/25584/task/25599/stat : 25599 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 493373 0 0 0 500047 334 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25584/tid=25600] ppid=25582 vsize=13773132 CPUtime=5004.48 cores=0-31
/proc/25584/task/25600/stat : 25600 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 411511 0 0 0 500165 283 0 0 25 0 32 0 13649971 14103687168 2592842 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=25584/tid=25601] ppid=25582 vsize=13773132 CPUtime=4969.73 cores=0-31
/proc/25584/task/25601/stat : 25601 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 524115 0 0 0 496581 392 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=25584/tid=25602] ppid=25582 vsize=13773132 CPUtime=5004.67 cores=0-31
/proc/25584/task/25602/stat : 25602 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 422429 0 0 0 500203 264 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25584/tid=25603] ppid=25582 vsize=13773132 CPUtime=5004.69 cores=0-31
/proc/25584/task/25603/stat : 25603 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 343926 0 0 0 500219 250 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=25584/tid=25604] ppid=25582 vsize=13773132 CPUtime=5004.72 cores=0-31
/proc/25584/task/25604/stat : 25604 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 408916 0 0 0 500207 265 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=25584/tid=25605] ppid=25582 vsize=13773132 CPUtime=4988.85 cores=0-31
/proc/25584/task/25605/stat : 25605 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 417243 0 0 0 498597 288 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=25584/tid=25606] ppid=25582 vsize=13773132 CPUtime=4999.66 cores=0-31
/proc/25584/task/25606/stat : 25606 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 468988 0 0 0 499649 317 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=25584/tid=25607] ppid=25582 vsize=13773132 CPUtime=5004.53 cores=0-31
/proc/25584/task/25607/stat : 25607 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 511375 0 0 0 500100 353 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=25584/tid=25608] ppid=25582 vsize=13773132 CPUtime=5003.2 cores=0-31
/proc/25584/task/25608/stat : 25608 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 470786 0 0 0 499982 338 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=25584/tid=25609] ppid=25582 vsize=13773132 CPUtime=5004.55 cores=0-31
/proc/25584/task/25609/stat : 25609 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 422347 0 0 0 500149 306 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=25584/tid=25610] ppid=25582 vsize=13773132 CPUtime=4985.13 cores=0-31
/proc/25584/task/25610/stat : 25610 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 539960 0 0 0 498149 364 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=25584/tid=25611] ppid=25582 vsize=13773132 CPUtime=5004.69 cores=0-31
/proc/25584/task/25611/stat : 25611 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 395025 0 0 0 500192 277 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=25584/tid=25612] ppid=25582 vsize=13773132 CPUtime=4993.78 cores=0-31
/proc/25584/task/25612/stat : 25612 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 397364 0 0 0 499091 287 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25584/tid=25613] ppid=25582 vsize=13773132 CPUtime=5004.28 cores=0-31
/proc/25584/task/25613/stat : 25613 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 476263 0 0 0 500133 295 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25584/tid=25614] ppid=25582 vsize=13773132 CPUtime=5004.7 cores=0-31
/proc/25584/task/25614/stat : 25614 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 453287 0 0 0 500160 310 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=25584/tid=25615] ppid=25582 vsize=13773132 CPUtime=4997.78 cores=0-31
/proc/25584/task/25615/stat : 25615 (strangenight2-m) R 25582 25584 25558 0 -1 4202560 269411 0 0 0 499574 204 0 0 25 0 32 0 13649971 14103687168 2592843 268435456000 4194304 4580107 140733355849520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 13773132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006.42 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9478 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4998.79 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 298 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5006.6 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9497 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4998.97 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 316 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5006.7 s]
/proc/loadavg: 32.06 32.04 32.05 2/416 25766
/proc/meminfo: memFree=257076976/264257624 swapFree=67044780/67111528
[pid=25584] ppid=25582 vsize=0 CPUtime=160003 cores=0-31
/proc/25584/stat : 25584 (strangenight2-m) Z 25582 25584 25558 0 -1 4203548 13756764 0 0 0 15990825 9507 0 0 25 0 2 0 13649970 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25584/statm: 0 0 0 0 0 0 0
[pid=25584/tid=25597] ppid=25582 vsize=0 CPUtime=4999.07 cores=0-31
/proc/25584/task/25597/stat : 25597 (strangenight2-m) R 25582 25584 25558 0 -1 4203588 397192 0 0 0 499581 326 0 0 25 0 2 0 13649971 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.74
CPU time (s): 160003
CPU user time (s): 159908
CPU system time (s): 95.1055
CPU usage (%): 3195.76
Max. virtual memory (cumulated for all children) (KiB): 13988892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159908
system time used= 95.1055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13756764
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= 134544
involuntary context switches= 319463
runsolver used 29.0326 second user time and 112.077 second system time
The end
Begin job on node200 at 2011-05-31 23:20:40
IDJOB=3400827
IDBENCH=83416
IDSOLVER=1886
FILE ID=node200/3400827-1306876840
RUNJOBID= node200-1306876840-25572
PBS_JOBID= 13471380
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_4_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400827-1306876840/watcher-3400827-1306876840 -o /tmp/evaluation-result-3400827-1306876840/solver-3400827-1306876840 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400827-1306876840.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 07ea67092ce3fd4529e72f69434e3f99
RANDOM SEED=959932835
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.042
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.12
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.042
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.042
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.04
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.09
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.05
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.042
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.14
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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: 263497772 kB
Buffers: 158028 kB
Cached: 409400 kB
SwapCached: 29976 kB
Active: 137512 kB
Inactive: 462196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263497772 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5952 kB
Writeback: 0 kB
AnonPages: 29552 kB
Mapped: 7732 kB
Slab: 74724 kB
PageTables: 4492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190908 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= 61572 MiB
End job on node200 at 2011-06-01 00:44:08