0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400835-1306902062.cnf'
0.00/0.07 c -- header says num vars: 708
0.00/0.07 c -- header says num clauses: 2664
0.00/0.10 c -- clauses added: 0 learnts, 2664 normals, 0 xors
0.00/0.10 c -- vars added 708
0.00/0.11 c Parsing time: 0.00 s
0.00/0.11 c N st 0 0 708 2420 120 0 8076 0 no data no data
0.00/0.11 c asymm cl-useful: 0/2164/2164 lits-rem:0 time: 0.00
0.00/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 112 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.13 c Replacing 112 vars Replaced 2100 lits Time: 0.00 s
2.52/0.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.52/0.16 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.52/0.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.52/0.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 520 time: 0.00 s
2.52/0.16 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2.52/0.18 c lits-rem: 0 cl-subs: 0 v-elim: 78 v-fix: 0 time: 0.01 s
2.52/0.18 c Finding binary XORs T: 0.00 s found: 0
2.52/0.18 c Finding non-binary XORs: 0.00 s (found: 226, avg size: 3.3)
2.52/0.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 18 locsubst: 0 time: 0.00
2.52/0.18 c calculated reachability. Time: 0.00
2.52/0.19 c Calc default polars - time: 0.00 s pos: 0 undec: 284 neg: 424
2.52/0.19 c =========================================================================================
2.52/0.19 c types(t): F = full restart, N = normal restart
2.52/0.19 c types(t): S = simplification begin/end, E = solution found
2.52/0.19 c restart types(rt): st = static, dy = dynamic
2.52/0.19 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.52/0.19 c B st 0 0 424 948 24 0 4188 0 no data no data
2.52/0.33 c Decided on static restart strategy
2.52/0.72 c N st 8 4918 424 948 33 4669 4188 126670 no data no data
2.52/1.11 c N st 10 11304 424 948 92 4337 4188 67667 no data no data
46.51/1.57 c N st 11 17047 424 948 92 9819 4188 213793 no data no data
46.51/1.57 c Finding binary XORs T: 0.00 s found: 46
46.51/1.57 c Replacing 46 vars Replaced 6931 lits Time: 0.01 s
68.78/2.28 c F st 12 25001 378 948 1 11999 4140 250666 no data no data
68.78/2.28 c N st 12 25001 378 948 1 11999 4140 250666 no data no data
80.93/2.67 c Decided on static restart strategy
80.93/2.67 c N st 18 30000 378 948 1 10448 4140 207583 no data no data
80.93/2.67 c S st 18 30000 378 948 1 10448 4140 207583 no data no data
84.12/2.72 c S st 18 30502 378 948 1 10926 4140 215765 no data no data
84.12/2.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
84.12/2.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
84.12/2.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
84.12/2.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
84.12/2.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
84.12/2.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 378 time: 0.00 s
84.12/2.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
84.12/2.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
84.12/2.74 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.00 s
93.72/3.04 c lits-rem: 2920 cl-subs: 1554 v-elim: 0 v-fix: 0 time: 0.30 s
93.72/3.05 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.00
93.72/3.05 c calculated reachability. Time: 0.00
93.72/3.05 c N st 18 30502 378 948 1 9372 4140 179064 no data no data
112.89/3.68 c N st 20 37612 378 948 1 8727 4140 142590 no data no data
132.08/4.27 c N st 21 44011 378 948 1 14732 4140 297382 no data no data
139.09/4.44 c S st 22 45753 378 948 1 16384 4140 344057 no data no data
141.65/4.51 c S st 22 46255 378 948 1 16862 4140 352921 no data no data
141.65/4.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
141.65/4.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
141.65/4.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
141.65/4.51 c bin-w-bin subsume rem 0 bins time: 0.00 s
141.65/4.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
141.65/4.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 378 time: 0.00 s
141.65/4.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
141.65/4.52 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
141.65/4.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
167.22/5.33 c lits-rem: 1051 cl-subs: 2838 v-elim: 0 v-fix: 0 time: 0.79 s
167.22/5.33 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
167.22/5.34 c vivif2 -- cl tried 14024 cl shrink 0 lits rem 0 time: 0.00
167.22/5.34 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.00
167.22/5.34 c calculated reachability. Time: 0.00
167.22/5.34 c N st 22 46255 378 948 1 14024 4140 285594 no data no data
218.36/6.91 c N st 23 60653 378 948 1 9903 4140 136021 no data no data
247.12/7.82 c N st 24 69383 378 948 3 18120 4140 334093 no data no data
247.12/7.82 c S st 24 69383 378 948 3 18120 4140 334093 no data no data
247.12/7.89 c S st 24 69889 378 948 4 18601 4140 342560 no data no data
247.12/7.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
247.12/7.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
247.12/7.90 c Replacing 2 vars Replaced 69 lits Time: 0.00 s
247.12/7.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
247.12/7.90 c bin-w-bin subsume rem 0 bins time: 0.00 s
247.12/7.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
247.12/7.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
250.32/7.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
250.32/7.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
250.32/7.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
282.27/8.93 c lits-rem: 666 cl-subs: 3619 v-elim: 0 v-fix: 0 time: 1.01 s
282.27/8.93 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
282.27/8.94 c vivif2 -- cl tried 14981 cl shrink 0 lits rem 0 time: 0.00
282.27/8.94 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
282.27/8.94 c calculated reachability. Time: 0.00
282.27/8.94 c N st 24 69889 376 948 0 14981 4140 259177 no data no data
343.00/10.82 c F st 25 87502 376 948 0 21204 4140 393851 no data no data
343.00/10.82 c N st 25 87502 376 948 0 21204 4140 393851 no data no data
358.97/11.31 c Decided on static restart strategy
365.37/11.58 c N st 32 95538 376 948 0 17745 4140 313894 no data no data
400.53/12.61 c N st 34 104835 376 948 0 14307 4140 208068 no data no data
400.53/12.61 c S st 34 104835 376 948 0 14307 4140 208068 no data no data
400.53/12.68 c S st 34 105335 376 948 0 14787 4140 217255 no data no data
400.53/12.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
400.53/12.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
400.53/12.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
400.53/12.69 c bin-w-bin subsume rem 0 bins time: 0.00 s
400.53/12.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
400.53/12.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
400.53/12.69 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
400.53/12.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
403.73/12.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
406.92/12.83 c lits-rem: 409 cl-subs: 668 v-elim: 0 v-fix: 0 time: 0.13 s
406.92/12.83 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
406.92/12.84 c vivif2 -- cl tried 14119 cl shrink 0 lits rem 0 time: 0.00
406.92/12.84 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
406.92/12.84 c calculated reachability. Time: 0.00
406.92/12.84 c N st 34 105335 376 948 0 14119 4140 203335 no data no data
442.08/13.94 c N st 35 114935 376 948 0 23106 4140 426401 no data no data
499.61/15.74 c N st 36 129332 376 948 0 23498 4140 413950 no data no data
582.70/18.30 c N st 37 150927 376 948 0 29710 4140 559177 no data no data
608.26/19.15 c S st 38 158002 376 948 0 21493 4140 353279 no data no data
611.47/19.23 c S st 38 158504 376 948 0 21979 4140 363469 no data no data
611.47/19.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
611.47/19.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
611.47/19.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
611.47/19.24 c bin-w-bin subsume rem 0 bins time: 0.00 s
611.47/19.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
611.47/19.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
611.47/19.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
611.47/19.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
611.47/19.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
633.87/19.94 c lits-rem: 865 cl-subs: 2260 v-elim: 0 v-fix: 0 time: 0.67 s
633.87/19.94 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
633.87/19.95 c vivif2 -- cl tried 19719 cl shrink 0 lits rem 0 time: 0.00
633.87/19.95 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
633.87/19.96 c calculated reachability. Time: 0.00
633.87/19.96 c N st 38 158504 376 948 0 19719 4140 312790 no data no data
848.00/26.65 c N st 39 207092 376 948 0 32415 4140 592267 no data no data
988.65/31.04 c N st 40 237757 376 948 0 24740 4140 386989 no data no data
988.65/31.04 c S st 40 237757 376 948 0 24740 4140 386989 no data no data
991.84/31.15 c S st 40 238261 376 948 0 25228 4140 397320 no data no data
991.84/31.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
991.84/31.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
991.84/31.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
991.84/31.16 c bin-w-bin subsume rem 0 bins time: 0.00 s
991.84/31.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
991.84/31.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
991.84/31.16 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
991.84/31.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
991.84/31.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1018.05/31.97 c lits-rem: 638 cl-subs: 2481 v-elim: 0 v-fix: 0 time: 0.78 s
1018.05/31.97 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
1018.05/31.98 c vivif2 -- cl tried 22747 cl shrink 0 lits rem 0 time: 0.00
1018.05/31.99 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
1018.05/31.99 c calculated reachability. Time: 0.00
1018.05/31.99 c N st 40 238261 376 948 0 22747 4140 344881 no data no data
1349.84/42.38 c F st 41 306250 376 948 0 24531 4140 354404 no data no data
1349.84/42.38 c N st 41 306250 376 948 0 24531 4140 354404 no data no data
1372.20/43.02 c Decided on static restart strategy
1484.08/46.57 c N st 51 334551 376 948 0 28829 4140 459832 no data no data
1599.14/50.15 c N st 53 357392 376 948 0 26646 4140 381582 no data no data
1599.14/50.15 c S st 53 357392 376 948 0 26646 4140 381582 no data no data
1602.34/50.25 c S st 53 357897 376 948 0 27131 4140 390887 no data no data
1602.34/50.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1602.34/50.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
1602.34/50.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1602.34/50.26 c bin-w-bin subsume rem 0 bins time: 0.00 s
1602.34/50.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1602.34/50.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
1602.34/50.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
1602.34/50.27 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1602.34/50.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1618.34/50.70 c lits-rem: 824 cl-subs: 1217 v-elim: 0 v-fix: 0 time: 0.40 s
1618.34/50.70 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
1618.34/50.70 c vivif2 -- cl tried 25914 cl shrink 0 lits rem 0 time: 0.01
1618.34/50.71 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
1618.34/50.71 c calculated reachability. Time: 0.00
1618.34/50.71 c N st 53 357897 376 948 0 25914 4140 365666 no data no data
1781.32/55.87 c N st 54 390290 376 948 0 31997 4140 491001 no data no data
2034.45/63.74 c N st 55 438878 376 948 0 52165 4140 972323 no data no data
2456.43/76.98 c N st 56 511761 376 948 0 38887 4140 614548 no data no data
2615.60/81.96 c N st 57 536849 376 948 0 33346 4140 470823 no data no data
2615.60/81.96 c S st 57 536849 376 948 0 33346 4140 470823 no data no data
2621.99/82.11 c S st 57 537353 376 948 0 33830 4140 480575 no data no data
2621.99/82.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2621.99/82.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
2621.99/82.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2621.99/82.12 c bin-w-bin subsume rem 0 bins time: 0.00 s
2621.99/82.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2621.99/82.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
2621.99/82.13 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2621.99/82.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
2621.99/82.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2647.59/82.97 c lits-rem: 704 cl-subs: 2076 v-elim: 0 v-fix: 0 time: 0.81 s
2647.59/82.97 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
2647.59/82.98 c vivif2 -- cl tried 31754 cl shrink 0 lits rem 0 time: 0.01
2647.59/82.99 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.01
2647.59/82.99 c calculated reachability. Time: 0.00
2647.59/82.99 c N st 57 537353 376 948 0 31754 4140 438432 no data no data
3628.87/113.67 c N st 58 701337 376 948 0 59516 4140 1049773 no data no data
4348.11/136.11 c N st 59 806029 376 948 0 53949 4140 887741 no data no data
4348.11/136.11 c S st 59 806029 376 948 0 53949 4140 887741 no data no data
4351.27/136.31 c S st 59 806532 376 948 0 54441 4140 897552 no data no data
4351.27/136.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
4355.06/136.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02
4355.06/136.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4355.06/136.33 c bin-w-bin subsume rem 0 bins time: 0.00 s
4355.06/136.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4355.06/136.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
4355.06/136.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
4355.06/136.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
4355.06/136.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4559.05/142.72 c lits-rem: 1036 cl-subs: 9181 v-elim: 0 v-fix: 0 time: 6.31 s
4559.05/142.72 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
4559.05/142.74 c vivif2 -- cl tried 45260 cl shrink 0 lits rem 0 time: 0.01
4559.05/142.75 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.02
4559.05/142.76 c calculated reachability. Time: 0.00
4559.05/142.76 c N st 59 806532 376 948 0 45260 4140 711882 no data no data
6457.74/202.13 c F st 60 1071876 376 948 0 61361 4140 987531 no data no data
6457.74/202.13 c N st 60 1071876 376 948 0 61361 4140 987531 no data no data
6496.10/203.38 c Decided on static restart strategy
6671.92/208.90 c N st 70 1100178 376 948 0 45842 4140 628495 no data no data
6930.82/216.93 c N st 72 1136172 376 948 0 79606 4140 1456480 no data no data
7176.96/224.68 c N st 73 1168566 376 948 0 66887 4140 1121527 no data no data
7519.58/235.39 c N st 74 1209798 376 948 0 61112 4140 974025 no data no data
7519.58/235.39 c S st 74 1209798 376 948 0 61112 4140 974025 no data no data
7538.12/235.92 c S st 74 1210299 376 948 0 61593 4140 982693 no data no data
7538.12/235.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
7538.12/235.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.06
7538.12/235.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7538.12/235.99 c bin-w-bin subsume rem 0 bins time: 0.00 s
7538.12/235.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
7538.12/235.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 376 time: 0.00 s
7538.12/235.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
7541.33/236.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
7541.33/236.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
7623.73/242.16 c lits-rem: 1756 cl-subs: 8338 v-elim: 0 v-fix: 0 time: 6.07 s
7623.73/242.16 c vivif2 -- cl tried 948 cl shrink 0 lits rem 0 time: 0.00
7623.73/242.17 c vivif2 -- cl tried 53255 cl shrink 0 lits rem 0 time: 0.01
7623.73/242.19 c asymm cl-useful: 0/948/948 lits-rem:0 time: 0.02
7623.73/242.19 c calculated reachability. Time: 0.00
7623.73/242.19 c N st 74 1210299 376 948 0 53255 4140 809663 no data no data
7642.80/251.01 c Following stats are for *FIRST FINISHED THREAD ONLY*
7642.80/251.01 c num threads : 32
7642.80/251.01 c restarts : 74
7642.80/251.01 c dynamic restarts : 0
7642.80/251.01 c static restarts : 74
7642.80/251.01 c full restarts : 4
7642.80/251.01 c total simplify time : 0.01
7642.80/251.01 c learnts DL2 : 0
7642.80/251.01 c learnts size 2 : 320
7642.80/251.01 c learnts size 1 : 76 (10.73 % of vars)
7642.80/251.01 c filedLit time : 0.05 (0.02 % time)
7642.80/251.01 c v-elim SatELite : 78 (11.02 % vars)
7642.80/251.01 c SatELite time : 4.30 (1.74 % time)
7642.80/251.01 c v-elim xor : 18 (2.54 % vars)
7642.80/251.01 c xor elim time : 0.01 (0.00 % time)
7642.80/251.01 c num binary xor trees : 160
7642.80/251.01 c binxor trees' crown : 160 (1.00 leafs/tree)
7642.80/251.01 c bin xor find time : 0.00
7642.80/251.01 c OTF clause improved : 89872 (0.07 clauses/conflict)
7642.80/251.01 c OTF impr. size diff : 91875 (1.02 lits/clause)
7642.80/251.01 c OTF cl watch-shrink : 257784 (0.20 clauses/conflict)
7642.80/251.01 c OTF cl watch-sh-lit : 365525 (1.42 lits/clause)
7642.80/251.01 c tried to recurMin cls : 74846 (5.83 % of conflicts)
7642.80/251.01 c updated cache : 2163 (0.03 lits/tried recurMin)
7642.80/251.01 c unit cls recevied : 0 (0.00 % of units)
7642.80/251.01 c unit cls sent : 0 (0.00 % of units)
7642.80/251.01 c bin cls recevied : 257
7642.80/251.01 c bin cls sent : 0
7642.80/251.01 c clauses over max glue : 0 (0.00 % of all clauses)
7642.80/251.01 c conflicts : 1284864 (5201.36 / sec)
7642.80/251.01 c decisions : 1437944 (4.53 % random)
7642.80/251.01 c bogo-props : 41897687750 (169609479.66 / sec)
7642.80/251.01 c conflict literals : 25943612 (27.53 % deleted)
7642.80/251.01 c Memory used : 2342.42 MB
7642.80/251.01 c single-thread CPU time : 247.02 s
7642.80/251.01 c all-threads sum CPU time : 7637.51 s
7642.80/251.01 s SATISFIABLE
7642.80/251.01 v -1 2 -3 4 5 6 7 8 9 -10 11 12 13 -14 -15 16 17 18 -19 -20 21 -22 23 24 25 -26 -27 -28 -29 30 -31 32 33 34 35 36 37 38 -39 -40 -41 -42 -43 -44 -45 46 47 48 -49 -50 -51 -52 53 54 -55 56 -57 -58 -59 60 61 62 -63 -64 -65 -66 67 68 -69 70 -71 72 73 -74 -75 -76 77 78 -79 80 81 -82 83 -84 85 -86 -87 88 -89 90 91 -92 -93 -94 95 96 97 -98 99 -100 -101 -102 103 104 105 -106 107 108 109 110 111 -112 113 114 -115 -116 -117 118 119 -120 121 -122 -123 124 125 -126 -127 128 129 130 131 132 133 -134 135 -136 -137 138 -139 -140 -141 -142 143 -144 -145 -146 -147 148 149 150 151 152 -153 -154 -155 -156 -157 158 -159 -160 -161 162 -163 164 165 -166 -167 -168 169 170 -171 -172 173 -174 175 176 177 178 179 -180 181 -182 183 -184 185 186 187 188 -189 190 191 -192 193 194 -195 196 -197 198 199 200 201 202 -203 204 -205 -206 -207 -208 209 210 -211 212 213 214 -215 216 217 218 -219 -220 -221 -222 -223 224 -225 226 -227 -228 -229 230 -231 -232 233 -234 -235 236 -237 238 -239 -240 -241 242 -243 -244 245 -246 -247 248 249 -250 -251 -252 253 -254 -255 -256 257 -258 -259 260 261 262 -263 264 -265 -266 -267 -268 269 -270 -271 272 -273 274 -275 -276 -277 -278 -279 -280 281 282 -283 -284 285 -286 -287 -288 289 -290 291 -292 293 -294 -295 -296 297 -298 -299 -300 -301 302 -303 -304 305 306 307 -308 309 -310 -311 312 313 -314 315 -316 317 -318 319 320 321 322 323 -324 325 326 -327 -328 -329 -330 331 332 333 334 335 336 -337 -338 -339 -340 -341 342 343 344 345 -346 -347 -348 349 -350 -351 352 -353 354 355 356 357 358 359 360 361 -362 363 364 -365 -366 -367 368 -369 -370 371 -372 -373 374 375 -376 377 378 -379 380 -381 382 -383 384 385 -386 -387 388 -389 -390 -391 -392 393 394 395 -396 -397 -398 -399 -400 401 -402 -403 -404 -405 -406 407 408 -409 -410 -411 412 413 -414 415 416 -417 -418 -419 420 421 422 -423 -424 -425 426 -427 428 429 430 431 432 433 -434 435 -436 -437 -438 439 440 -441 442 443 444 445 446 447 -448 449 -450 -451 -452 -453 454 -455 456 -457 -458 459 -460 461 -462 -463 -464 465 -466 467 468 -469 -470 471 -472 -473 474 475 -476 477 478 479 480 481 482 483 484 -485 -486 487 488 489 -490 491 -492 493 -494 495 496 497 -498 499 500 -501 502 -503 -504 -505 -506 507 508 -509 510 511 -512 -513 514 515 -516 -517 518 -519 520 -521 522 -523 -524 525 526 527 -528 -529 -530 531 -532 533 534 -535 -536 537 538 -539 540 541 -542 543 -544 -545 -546 547 -548 549 550 -551 552 553 -554 -555 556 -557 -558 559 -560 561 562 -563 -564 -565 -566 567 -568 569 570 -571 -572 -573 574 -575 576 577 578 579 580 -581 -582 -583 -584 585 586 -587 -588 -589 590 591 592 -593 -594 595 596 597 598 -599 600 601 602 -603 604 -605 606 -607 -608 -609 -610 -611 -612 613 614 -615 616 -617 -618 -619 -620 -621 -622 623 -624 625 -626 -627 628 629 -630 631 632 633 634 635 -636 -637 638 639 640 -641 642 -643 -644 -645 646 647 -648 649 -650 -651 652 -653 654 -655 656 657 658 -659 -660 661 -662 -663 664 665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 676 -677 -678 679 -680 -681 682 -683 -684 -685 -686 687 688 689 -690 691 692 693 -694 695 696 -697 -698 699 700 701 -702 -703 704 705 -706 -707 708 0
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-3400835-1306902062/watcher-3400835-1306902062 -o /tmp/evaluation-result-3400835-1306902062/solver-3400835-1306902062 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400835-1306902062.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.59 31.54 31.89 1/413 27401
/proc/meminfo: memFree=263480052/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=338000 CPUtime=0.82 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) R 27399 27401 27375 0 -1 4202496 465 0 0 0 82 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 84500 405 300 95 0 79482 0
[pid=27401/tid=27402] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27402/stat : 27402 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27401/tid=27403] ppid=27399 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27401/task/27403/stat : 27403 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27404/stat : 27404 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963677 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27401/tid=27405] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27405/stat : 27405 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27401/tid=27406] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27406/stat : 27406 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27401/tid=27407] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27407/stat : 27407 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27401/tid=27408] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27408/stat : 27408 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27401/tid=27409] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27409/stat : 27409 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963677 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27401/tid=27410] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27410/stat : 27410 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27401/tid=27411] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27411/stat : 27411 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27401/tid=27412] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27412/stat : 27412 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27401/tid=27413] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27413/stat : 27413 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27401/tid=27414] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27414/stat : 27414 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27401/tid=27415] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27415/stat : 27415 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963671 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27401/tid=27416] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27416/stat : 27416 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27401/tid=27417] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27417/stat : 27417 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27401/tid=27418] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27418/stat : 27418 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27401/tid=27419] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27419/stat : 27419 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27401/tid=27420] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27420/stat : 27420 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27401/tid=27421] ppid=27399 vsize=338000 CPUtime=0 cores=0-31
/proc/27401/task/27421/stat : 27421 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303964082 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27401/tid=27422] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27422/stat : 27422 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963671 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27401/tid=27423] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27423/stat : 27423 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27401/tid=27424] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27424/stat : 27424 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27401/tid=27425] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27425/stat : 27425 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963671 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27401/tid=27426] ppid=27399 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27401/task/27426/stat : 27426 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 16172217 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963671 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27401/tid=27428] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27428/stat : 27428 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172218 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27401/tid=27429] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27429/stat : 27429 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172218 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27401/tid=27430] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27430/stat : 27430 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172218 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27401/tid=27431] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27431/stat : 27431 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172218 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27401/tid=27432] ppid=27399 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27401/task/27432/stat : 27432 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16172218 346112000 405 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963673 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.129627 s]
/proc/loadavg: 29.59 31.54 31.89 1/413 27401
/proc/meminfo: memFree=263480052/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=1454752 CPUtime=2.52 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) D 27399 27401 27375 0 -1 4202496 5236 0 0 0 203 49 0 0 17 0 32 0 16172217 1489666048 5071 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 363688 5118 372 95 0 358670 0
[pid=27401/tid=27402] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27402/stat : 27402 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 118 0 0 0 7 1 0 0 17 0 32 0 16172217 1489666048 5119 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27401/tid=27403] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27403/stat : 27403 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 133 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5123 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27404/stat : 27404 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 227 0 0 0 7 1 0 0 17 0 32 0 16172217 1489666048 5125 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604490234559968 0 0 -1 20 0 0 0
[pid=27401/tid=27405] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27405/stat : 27405 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 140 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5133 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604500693056992 0 0 -1 8 0 0 0
[pid=27401/tid=27406] ppid=27399 vsize=1454752 CPUtime=0.06 cores=0-31
/proc/27401/task/27406/stat : 27406 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 136 0 0 0 6 0 0 0 17 0 32 0 16172217 1489666048 5144 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27401/tid=27407] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27407/stat : 27407 (strangenight2-m) D 27399 27401 27375 0 -1 4202560 124 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5157 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27401/tid=27408] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27408/stat : 27408 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 155 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5160 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604451267206624 0 0 -1 5 0 0 0
[pid=27401/tid=27409] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27409/stat : 27409 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 144 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5167 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27401/tid=27410] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27410/stat : 27410 (strangenight2-m) D 27399 27401 27375 0 -1 4202560 155 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5169 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27401/tid=27411] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27411/stat : 27411 (strangenight2-m) D 27399 27401 27375 0 -1 4202560 103 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5170 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27401/tid=27412] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27412/stat : 27412 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 155 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5178 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604500693056992 0 0 -1 10 0 0 0
[pid=27401/tid=27413] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27413/stat : 27413 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 119 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5186 268435456000 4194304 4580107 140734995453488 18446744073709551615 4222957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27401/tid=27414] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27414/stat : 27414 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 140 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5190 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27401/tid=27415] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27415/stat : 27415 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 119 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5194 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27401/tid=27416] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27416/stat : 27416 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 182 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5197 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 11 0 0 0
[pid=27401/tid=27417] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27417/stat : 27417 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 163 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5202 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604484109090272 0 0 -1 17 0 0 0
[pid=27401/tid=27418] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27418/stat : 27418 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 143 0 0 0 5 2 0 0 17 0 32 0 16172217 1489666048 5206 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604449585315296 0 0 -1 18 0 0 0
[pid=27401/tid=27419] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27419/stat : 27419 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 168 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5207 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27401/tid=27420] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27420/stat : 27420 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 288 0 0 0 7 1 0 0 17 0 32 0 16172217 1489666048 5208 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604451267206624 0 0 -1 24 0 0 0
[pid=27401/tid=27421] ppid=27399 vsize=1454752 CPUtime=0.02 cores=0-31
/proc/27401/task/27421/stat : 27421 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 137 0 0 0 1 1 0 0 17 0 32 0 16172217 1489666048 5210 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604485790580192 0 0 -1 31 0 0 0
[pid=27401/tid=27422] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27422/stat : 27422 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 115 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5212 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446744071566928064 0 0 -1 21 0 0 0
[pid=27401/tid=27423] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27423/stat : 27423 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 227 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5222 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27401/tid=27424] ppid=27399 vsize=1454752 CPUtime=0.07 cores=0-31
/proc/27401/task/27424/stat : 27424 (strangenight2-m) D 27399 27401 27375 0 -1 4202560 121 0 0 0 6 1 0 0 17 0 32 0 16172217 1489666048 5226 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27401/tid=27425] ppid=27399 vsize=1454752 CPUtime=0.06 cores=0-31
/proc/27401/task/27425/stat : 27425 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 101 0 0 0 5 1 0 0 17 0 32 0 16172217 1489666048 5227 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27401/tid=27426] ppid=27399 vsize=1454752 CPUtime=0.05 cores=0-31
/proc/27401/task/27426/stat : 27426 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 129 0 0 0 4 1 0 0 17 0 32 0 16172217 1489666048 5235 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 27 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=1454752 CPUtime=0.06 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 159 0 0 0 5 1 0 0 17 0 32 0 16172217 1489666048 5240 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604448539983328 0 0 -1 30 0 0 0
[pid=27401/tid=27428] ppid=27399 vsize=1454752 CPUtime=0.09 cores=0-31
/proc/27401/task/27428/stat : 27428 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 251 0 0 0 7 2 0 0 17 0 32 0 16172218 1489666048 5244 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446744071566925064 0 0 -1 12 0 0 0
[pid=27401/tid=27429] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27429/stat : 27429 (strangenight2-m) D 27399 27401 27375 0 -1 4202560 187 0 0 0 6 2 0 0 17 0 32 0 16172218 1489666048 5249 268435456000 4194304 4580107 140734995453488 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27401/tid=27430] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27430/stat : 27430 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 141 0 0 0 6 2 0 0 17 0 32 0 16172218 1489666048 5252 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446604486693952992 0 0 -1 26 0 0 0
[pid=27401/tid=27431] ppid=27399 vsize=1454752 CPUtime=0.08 cores=0-31
/proc/27401/task/27431/stat : 27431 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 153 0 0 0 6 2 0 0 17 0 32 0 16172218 1489666048 5253 268435456000 4194304 4580107 140734995453488 18446744073709551615 258651060958 0 0 4096 2 18446744071566926224 0 0 -1 23 0 0 0
[pid=27401/tid=27432] ppid=27399 vsize=1454752 CPUtime=0.09 cores=0-31
/proc/27401/task/27432/stat : 27432 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 156 0 0 0 9 0 0 0 17 0 32 0 16172218 1489666048 5256 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 1454752
[startup+0.213214 s]
/proc/loadavg: 29.59 31.54 31.89 1/413 27401
/proc/meminfo: memFree=263480052/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=1455736 CPUtime=6.15 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) R 27399 27401 27375 0 -1 4202496 9451 0 0 0 518 97 0 0 17 0 32 0 16172217 1490673664 9260 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293979 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 363934 9481 377 95 0 358916 0
[pid=27401/tid=27402] ppid=27399 vsize=1456020 CPUtime=0.29 cores=0-31
/proc/27401/task/27402/stat : 27402 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 293 0 0 0 27 2 0 0 17 0 32 0 16172217 1490964480 10851 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27401/tid=27403] ppid=27399 vsize=1456020 CPUtime=0.31 cores=0-31
/proc/27401/task/27403/stat : 27403 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 313 0 0 0 28 3 0 0 17 0 32 0 16172217 1490964480 11313 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=1456020 CPUtime=0.38 cores=0-31
/proc/27401/task/27404/stat : 27404 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 391 0 0 0 35 3 0 0 18 0 32 0 16172217 1490964480 11761 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27401/tid=27405] ppid=27399 vsize=1465484 CPUtime=0.45 cores=0-31
/proc/27401/task/27405/stat : 27405 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 379 0 0 0 42 3 0 0 18 0 32 0 16172217 1500655616 12493 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27401/tid=27406] ppid=27399 vsize=1475860 CPUtime=0.5 cores=0-31
/proc/27401/task/27406/stat : 27406 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 525 0 0 0 48 2 0 0 18 0 32 0 16172217 1511280640 12127 268435456000 4194304 4580107 140734995453488 18446744073709551615 4321056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27401/tid=27407] ppid=27399 vsize=1463812 CPUtime=0.61 cores=0-31
/proc/27401/task/27407/stat : 27407 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 475 0 0 0 58 3 0 0 18 0 32 0 16172217 1498943488 11775 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27401/tid=27408] ppid=27399 vsize=1464308 CPUtime=0.79 cores=0-31
/proc/27401/task/27408/stat : 27408 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 596 0 0 0 76 3 0 0 18 0 32 0 16172217 1499451392 14807 268435456000 4194304 4580107 140734995453488 18446744073709551615 4324389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27401/tid=27409] ppid=27399 vsize=1467812 CPUtime=0.98 cores=0-31
/proc/27401/task/27409/stat : 27409 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 787 0 0 0 95 3 0 0 18 0 32 0 16172217 1503039488 15139 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27401/tid=27410] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27410/stat : 27410 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 919 0 0 0 111 3 0 0 18 0 32 0 16172217 1504083968 16157 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27401/tid=27411] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27411/stat : 27411 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 836 0 0 0 110 4 0 0 18 0 32 0 16172217 1504083968 16158 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27401/tid=27412] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27412/stat : 27412 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 880 0 0 0 111 3 0 0 18 0 32 0 16172217 1504083968 16160 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27401/tid=27413] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27413/stat : 27413 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 902 0 0 0 111 3 0 0 18 0 32 0 16172217 1504083968 16160 268435456000 4194304 4580107 140734995453488 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27401/tid=27414] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27414/stat : 27414 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 792 0 0 0 112 2 0 0 19 0 32 0 16172217 1504083968 16160 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27401/tid=27415] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27415/stat : 27415 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 821 0 0 0 111 3 0 0 18 0 32 0 16172217 1504083968 16162 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27401/tid=27416] ppid=27399 vsize=1468832 CPUtime=1.15 cores=0-31
/proc/27401/task/27416/stat : 27416 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 818 0 0 0 112 3 0 0 19 0 32 0 16172217 1504083968 16162 268435456000 4194304 4580107 140734995453488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27401/tid=27417] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
/proc/27401/task/27417/stat : 27417 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 824 0 0 0 112 2 0 0 18 0 32 0 16172217 1504083968 16163 268435456000 4194304 4580107 140734995453488 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27401/tid=27418] ppid=27399 vsize=1468832 CPUtime=1.14 cores=0-31
################
# More data... #
################
/proc/27401/task/27425/stat : 27425 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 38587 0 0 0 24279 18 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604527955811808 0 0 -1 30 0 0 0
[pid=27401/tid=27426] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27426/stat : 27426 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36401 0 0 0 23775 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604503895334368 0 0 -1 27 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40318 0 0 0 23776 16 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604496378830304 0 0 -1 30 0 0 0
[pid=27401/tid=27428] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27428/stat : 27428 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 39533 0 0 0 23778 17 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446744071566924264 0 0 -1 12 0 0 0
[pid=27401/tid=27429] ppid=27399 vsize=2398636 CPUtime=237.96 cores=0-31
/proc/27401/task/27429/stat : 27429 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41703 0 0 0 23778 18 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604461260594656 0 0 -1 25 0 0 0
[pid=27401/tid=27430] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27430/stat : 27430 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 25096 0 0 0 23781 12 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604449585331680 0 0 -1 26 0 0 0
[pid=27401/tid=27431] ppid=27399 vsize=2398636 CPUtime=234.92 cores=0-31
/proc/27401/task/27431/stat : 27431 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 42229 0 0 0 23473 19 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500344569312 0 0 -1 31 0 0 0
[pid=27401/tid=27432] ppid=27399 vsize=2398636 CPUtime=237.97 cores=0-31
/proc/27401/task/27432/stat : 27432 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 47199 0 0 0 23778 19 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500693056992 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 7640.4
Current children cumulated vsize (KiB) 2398636
[startup+250.601 s]
/proc/loadavg: 25.58 30.45 31.47 3/445 27439
/proc/meminfo: memFree=262088636/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=2398636 CPUtime=7642 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) S 27399 27401 27375 0 -1 4202496 1213574 0 0 0 763668 532 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 599659 346624 378 95 0 594641 0
[pid=27401/tid=27402] ppid=27399 vsize=2398636 CPUtime=250.48 cores=0-31
/proc/27401/task/27402/stat : 27402 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 38257 0 0 0 25034 14 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 4416477 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27401/tid=27403] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27403/stat : 27403 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 26150 0 0 0 23782 12 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604451267206624 0 0 -1 2 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=2398636 CPUtime=237.89 cores=0-31
/proc/27401/task/27404/stat : 27404 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 22311 0 0 0 23777 12 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604495159811552 0 0 -1 20 0 0 0
[pid=27401/tid=27405] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27405/stat : 27405 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41377 0 0 0 23777 18 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604454733872608 0 0 -1 8 0 0 0
[pid=27401/tid=27406] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27406/stat : 27406 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40350 0 0 0 23779 14 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604495408070112 0 0 -1 0 0 0 0
[pid=27401/tid=27407] ppid=27399 vsize=2398636 CPUtime=237.88 cores=0-31
/proc/27401/task/27407/stat : 27407 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36407 0 0 0 23770 18 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490513497568 0 0 -1 28 0 0 0
[pid=27401/tid=27408] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27408/stat : 27408 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36924 0 0 0 23777 16 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604505423052256 0 0 -1 5 0 0 0
[pid=27401/tid=27409] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27409/stat : 27409 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36217 0 0 0 23776 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604485790580192 0 0 -1 6 0 0 0
[pid=27401/tid=27410] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27410/stat : 27410 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 43084 0 0 0 23777 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604454891093472 0 0 -1 3 0 0 0
[pid=27401/tid=27411] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27411/stat : 27411 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 35600 0 0 0 23778 16 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604452570971616 0 0 -1 9 0 0 0
[pid=27401/tid=27412] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27412/stat : 27412 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40468 0 0 0 23778 15 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604486693952992 0 0 -1 10 0 0 0
[pid=27401/tid=27413] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27413/stat : 27413 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 39478 0 0 0 23776 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604484109090272 0 0 -1 7 0 0 0
[pid=27401/tid=27414] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27414/stat : 27414 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 31814 0 0 0 23781 13 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604506210393568 0 0 -1 13 0 0 0
[pid=27401/tid=27415] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27415/stat : 27415 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 33015 0 0 0 23780 14 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604493621616096 0 0 -1 14 0 0 0
[pid=27401/tid=27416] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27416/stat : 27416 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36766 0 0 0 23780 15 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604448539983328 0 0 -1 11 0 0 0
[pid=27401/tid=27417] ppid=27399 vsize=2398636 CPUtime=238.02 cores=0-31
/proc/27401/task/27417/stat : 27417 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 49694 0 0 0 23783 19 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490234559968 0 0 -1 17 0 0 0
[pid=27401/tid=27418] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27418/stat : 27418 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41705 0 0 0 23775 19 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604506255146464 0 0 -1 18 0 0 0
[pid=27401/tid=27419] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27419/stat : 27419 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 35947 0 0 0 23778 15 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604502269296096 0 0 -1 15 0 0 0
[pid=27401/tid=27420] ppid=27399 vsize=2398636 CPUtime=237.96 cores=0-31
/proc/27401/task/27420/stat : 27420 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 31672 0 0 0 23782 14 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604491121901024 0 0 -1 24 0 0 0
[pid=27401/tid=27421] ppid=27399 vsize=2398636 CPUtime=246.78 cores=0-31
/proc/27401/task/27421/stat : 27421 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 40747 0 0 0 24661 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303939115 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27401/tid=27422] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27422/stat : 27422 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 43077 0 0 0 23774 19 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604449585315296 0 0 -1 21 0 0 0
[pid=27401/tid=27423] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27423/stat : 27423 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 33951 0 0 0 23783 11 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604503895326176 0 0 -1 22 0 0 0
[pid=27401/tid=27424] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27424/stat : 27424 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 42269 0 0 0 23777 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490669473248 0 0 -1 19 0 0 0
[pid=27401/tid=27425] ppid=27399 vsize=2398636 CPUtime=242.97 cores=0-31
/proc/27401/task/27425/stat : 27425 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 38587 0 0 0 24279 18 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604527955811808 0 0 -1 30 0 0 0
[pid=27401/tid=27426] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27426/stat : 27426 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36401 0 0 0 23775 17 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604503895334368 0 0 -1 27 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40318 0 0 0 23776 16 0 0 25 0 32 0 16172217 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604496378830304 0 0 -1 30 0 0 0
[pid=27401/tid=27428] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27428/stat : 27428 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 39533 0 0 0 23778 17 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446744071566924264 0 0 -1 12 0 0 0
[pid=27401/tid=27429] ppid=27399 vsize=2398636 CPUtime=237.96 cores=0-31
/proc/27401/task/27429/stat : 27429 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41703 0 0 0 23778 18 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604461260594656 0 0 -1 25 0 0 0
[pid=27401/tid=27430] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27430/stat : 27430 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 25096 0 0 0 23781 12 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604449585331680 0 0 -1 26 0 0 0
[pid=27401/tid=27431] ppid=27399 vsize=2398636 CPUtime=234.92 cores=0-31
/proc/27401/task/27431/stat : 27431 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 42229 0 0 0 23473 19 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500344569312 0 0 -1 31 0 0 0
[pid=27401/tid=27432] ppid=27399 vsize=2398636 CPUtime=237.97 cores=0-31
/proc/27401/task/27432/stat : 27432 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 47199 0 0 0 23778 19 0 0 25 0 32 0 16172218 2456203264 346624 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500693056992 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 7642
Current children cumulated vsize (KiB) 2398636
[startup+251.001 s]
/proc/loadavg: 25.58 30.45 31.47 3/445 27439
/proc/meminfo: memFree=262089164/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=2398636 CPUtime=7642.8 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) S 27399 27401 27375 0 -1 4202496 1213574 0 0 0 763748 532 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 599659 346484 378 95 0 594641 0
[pid=27401/tid=27402] ppid=27399 vsize=2398636 CPUtime=250.88 cores=0-31
/proc/27401/task/27402/stat : 27402 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 38257 0 0 0 25074 14 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27401/tid=27403] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27403/stat : 27403 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 26150 0 0 0 23782 12 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604451267206624 0 0 -1 2 0 0 0
[pid=27401/tid=27404] ppid=27399 vsize=2398636 CPUtime=237.89 cores=0-31
/proc/27401/task/27404/stat : 27404 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 22311 0 0 0 23777 12 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604495159811552 0 0 -1 20 0 0 0
[pid=27401/tid=27405] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27405/stat : 27405 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41377 0 0 0 23777 18 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604454733872608 0 0 -1 8 0 0 0
[pid=27401/tid=27406] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27406/stat : 27406 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40350 0 0 0 23779 14 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604495408070112 0 0 -1 0 0 0 0
[pid=27401/tid=27407] ppid=27399 vsize=2398636 CPUtime=237.88 cores=0-31
/proc/27401/task/27407/stat : 27407 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36407 0 0 0 23770 18 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490513497568 0 0 -1 28 0 0 0
[pid=27401/tid=27408] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27408/stat : 27408 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36924 0 0 0 23777 16 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604505423052256 0 0 -1 5 0 0 0
[pid=27401/tid=27409] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27409/stat : 27409 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36217 0 0 0 23776 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604485790580192 0 0 -1 6 0 0 0
[pid=27401/tid=27410] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27410/stat : 27410 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 43084 0 0 0 23777 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604454891093472 0 0 -1 3 0 0 0
[pid=27401/tid=27411] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27411/stat : 27411 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 35600 0 0 0 23778 16 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604452570971616 0 0 -1 9 0 0 0
[pid=27401/tid=27412] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27412/stat : 27412 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40468 0 0 0 23778 15 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604486693952992 0 0 -1 10 0 0 0
[pid=27401/tid=27413] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27413/stat : 27413 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 39478 0 0 0 23776 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604484109090272 0 0 -1 7 0 0 0
[pid=27401/tid=27414] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27414/stat : 27414 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 31814 0 0 0 23781 13 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604506210393568 0 0 -1 13 0 0 0
[pid=27401/tid=27415] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27415/stat : 27415 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 33015 0 0 0 23780 14 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604493621616096 0 0 -1 14 0 0 0
[pid=27401/tid=27416] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27416/stat : 27416 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36766 0 0 0 23780 15 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604448539983328 0 0 -1 11 0 0 0
[pid=27401/tid=27417] ppid=27399 vsize=2398636 CPUtime=238.02 cores=0-31
/proc/27401/task/27417/stat : 27417 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 49694 0 0 0 23783 19 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490234559968 0 0 -1 17 0 0 0
[pid=27401/tid=27418] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27418/stat : 27418 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41705 0 0 0 23775 19 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604506255146464 0 0 -1 18 0 0 0
[pid=27401/tid=27419] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27419/stat : 27419 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 35947 0 0 0 23778 15 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604502269296096 0 0 -1 15 0 0 0
[pid=27401/tid=27420] ppid=27399 vsize=2398636 CPUtime=237.96 cores=0-31
/proc/27401/task/27420/stat : 27420 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 31672 0 0 0 23782 14 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604491121901024 0 0 -1 24 0 0 0
[pid=27401/tid=27421] ppid=27399 vsize=2398636 CPUtime=247.18 cores=0-31
/proc/27401/task/27421/stat : 27421 (strangenight2-m) R 27399 27401 27375 0 -1 4202560 40747 0 0 0 24701 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27401/tid=27422] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27422/stat : 27422 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 43077 0 0 0 23774 19 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604449585315296 0 0 -1 21 0 0 0
[pid=27401/tid=27423] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27423/stat : 27423 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 33951 0 0 0 23783 11 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604503895326176 0 0 -1 22 0 0 0
[pid=27401/tid=27424] ppid=27399 vsize=2398636 CPUtime=237.94 cores=0-31
/proc/27401/task/27424/stat : 27424 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 42269 0 0 0 23777 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604490669473248 0 0 -1 19 0 0 0
[pid=27401/tid=27425] ppid=27399 vsize=2398636 CPUtime=242.97 cores=0-31
/proc/27401/task/27425/stat : 27425 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 38587 0 0 0 24279 18 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604527955811808 0 0 -1 30 0 0 0
[pid=27401/tid=27426] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27426/stat : 27426 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 36401 0 0 0 23775 17 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604503895334368 0 0 -1 27 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=2398636 CPUtime=237.92 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 40318 0 0 0 23776 16 0 0 25 0 32 0 16172217 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604496378830304 0 0 -1 30 0 0 0
[pid=27401/tid=27428] ppid=27399 vsize=2398636 CPUtime=237.95 cores=0-31
/proc/27401/task/27428/stat : 27428 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 39533 0 0 0 23778 17 0 0 25 0 32 0 16172218 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446744071566924264 0 0 -1 12 0 0 0
[pid=27401/tid=27429] ppid=27399 vsize=2398636 CPUtime=237.96 cores=0-31
/proc/27401/task/27429/stat : 27429 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 41703 0 0 0 23778 18 0 0 25 0 32 0 16172218 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604461260594656 0 0 -1 25 0 0 0
[pid=27401/tid=27430] ppid=27399 vsize=2398636 CPUtime=237.93 cores=0-31
/proc/27401/task/27430/stat : 27430 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 25096 0 0 0 23781 12 0 0 25 0 32 0 16172218 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604449585331680 0 0 -1 26 0 0 0
[pid=27401/tid=27431] ppid=27399 vsize=2398636 CPUtime=234.92 cores=0-31
/proc/27401/task/27431/stat : 27431 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 42229 0 0 0 23473 19 0 0 25 0 32 0 16172218 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500344569312 0 0 -1 31 0 0 0
[pid=27401/tid=27432] ppid=27399 vsize=2398636 CPUtime=237.97 cores=0-31
/proc/27401/task/27432/stat : 27432 (strangenight2-m) S 27399 27401 27375 0 -1 4202560 47199 0 0 0 23778 19 0 0 25 0 32 0 16172218 2456203264 346484 268435456000 4194304 4580107 140734995453488 18446744073709551615 47580303963700 0 0 4096 2 18446604500693056992 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 7642.8
Current children cumulated vsize (KiB) 2398636
[startup+251.102 s]
/proc/loadavg: 25.58 30.45 31.47 3/445 27439
/proc/meminfo: memFree=262089164/264257624 swapFree=67044780/67111528
[pid=27401] ppid=27399 vsize=0 CPUtime=7642.93 cores=0-31
/proc/27401/stat : 27401 (strangenight2-m) Z 27399 27401 27375 0 -1 4203548 1213583 0 0 0 763750 543 0 0 18 0 2 0 16172217 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/27401/statm: 0 0 0 0 0 0 0
[pid=27401/tid=27427] ppid=27399 vsize=0 CPUtime=238.01 cores=0-31
/proc/27401/task/27427/stat : 27427 (strangenight2-m) R 27399 27401 27375 0 -1 4203588 40318 0 0 0 23776 25 0 0 18 0 2 0 16172217 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 7642.93
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 251.168
CPU time (s): 7643.01
CPU user time (s): 7637.51
CPU system time (s): 5.50516
CPU usage (%): 3042.98
Max. virtual memory (cumulated for all children) (KiB): 2485916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7637.51
system time used= 5.50516
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213583
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= 41117
involuntary context switches= 14931
runsolver used 1.47778 second user time and 5.49916 second system time
The end
Begin job on node200 at 2011-06-01 06:21:02
IDJOB=3400835
IDBENCH=83432
IDSOLVER=1886
FILE ID=node200/3400835-1306902062
RUNJOBID= node200-1306902062-27389
PBS_JOBID= 13471402
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400835-1306902062/watcher-3400835-1306902062 -o /tmp/evaluation-result-3400835-1306902062/solver-3400835-1306902062 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400835-1306902062.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=2654901
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: 263480340 kB
Buffers: 172400 kB
Cached: 410064 kB
SwapCached: 29976 kB
Active: 150192 kB
Inactive: 464340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263480340 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5808 kB
Writeback: 0 kB
AnonPages: 27956 kB
Mapped: 7968 kB
Slab: 75336 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190656 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 06:25:14