0.00/0.00 c Outputting solution to console
0.00/0.02 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-3400866-1307085368.cnf'
0.00/0.06 c -- header says num vars: 570
0.00/0.06 c -- header says num clauses: 4625
1.43/0.08 c -- clauses added: 0 learnts, 4625 normals, 0 xors
1.43/0.08 c -- vars added 570
1.43/0.08 c Parsing time: 0.00 s
1.43/0.08 c N st 0 0 570 93 4483 0 9518 0 no data no data
1.43/0.08 c asymm cl-useful: 0/92/92 lits-rem:0 time: 0.00
1.43/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1.43/0.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1.43/0.08 c bin-w-bin subsume rem 0 bins time: 0.00 s
1.43/0.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1.43/0.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 497 time: 0.00 s
1.43/0.09 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
1.86/0.14 c lits-rem: 0 cl-subs: 0 v-elim: 92 v-fix: 0 time: 0.01 s
1.86/0.14 c Finding binary XORs T: 0.00 s found: 0
1.86/0.15 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1.86/0.15 c calculated reachability. Time: 0.00
1.86/0.15 c Calc default polars - time: 0.00 s pos: 0 undec: 165 neg: 405
1.86/0.15 c =========================================================================================
1.86/0.15 c types(t): F = full restart, N = normal restart
1.86/0.15 c types(t): S = simplification begin/end, E = solution found
1.86/0.15 c restart types(rt): st = static, dy = dynamic
1.86/0.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1.86/0.15 c B st 0 0 405 532 3103 0 9853 0 no data no data
1.86/0.28 c Decided on static restart strategy
1.86/0.58 c N st 8 4916 405 532 3103 4874 9853 209283 no data no data
1.86/0.99 c N st 10 11300 405 532 3103 4530 9853 151916 no data no data
39.00/1.34 c N st 11 17043 405 532 3103 10213 9853 377470 no data no data
58.72/2.00 c F st 12 25002 405 532 3103 12506 9853 449644 no data no data
58.72/2.00 c N st 12 25002 405 532 3103 12506 9853 449644 no data no data
70.90/2.36 c N dy 18 30001 405 532 3103 10712 9853 326941 no data no data
70.90/2.36 c S st 18 30001 405 532 3103 10712 9853 326941 no data no data
74.10/2.40 c S st 18 30503 405 532 3103 11211 9853 345354 no data no data
74.10/2.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
74.10/2.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03
74.10/2.43 c blocked clauses removed: 0 vars: 14 tried: 598 T: 0.00 s
74.10/2.43 c bin-w-bin subsume rem 0 bins time: 0.00 s
74.10/2.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
74.10/2.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
74.10/2.43 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
74.10/2.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
80.49/2.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.23 s
90.08/2.90 c lits-rem: 158 cl-subs: 103 v-elim: 0 v-fix: 0 time: 0.20 s
90.08/2.92 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.02
90.08/2.92 c calculated reachability. Time: 0.00
90.08/2.92 c N dy 18 30503 391 532 2701 11056 9049 339958 no data no data
109.28/3.54 c N dy 34 36333 391 532 2701 8994 9049 236692 10.15 10.86
118.84/3.86 c N dy 54 40376 391 532 2701 13020 9049 367975 10.37 11.53
132.28/4.24 c N dy 68 44440 391 532 2701 17039 9049 481488 10.29 10.85
134.84/4.35 c S st 71 45754 391 532 2701 9496 9049 198210 10.19 9.48
134.84/4.38 c S st 71 46257 391 532 2701 9996 9049 216171 10.19 no data
134.84/4.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
138.00/4.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02
138.00/4.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
138.00/4.40 c bin-w-bin subsume rem 0 bins time: 0.00 s
138.00/4.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
138.00/4.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
138.00/4.40 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
138.00/4.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
141.21/4.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s
141.21/4.57 c lits-rem: 15 cl-subs: 326 v-elim: 0 v-fix: 0 time: 0.05 s
141.21/4.57 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
141.21/4.58 c vivif2 -- cl tried 9670 cl shrink 122 lits rem 287 time: 0.00
141.21/4.59 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.01
141.21/4.59 c calculated reachability. Time: 0.00
141.21/4.59 c N dy 71 46257 391 532 2701 9670 9049 212001 10.19 no data
150.81/4.85 c N dy 82 50337 391 532 2701 13724 9049 336379 10.08 10.86
164.18/5.29 c N dy 105 54428 391 532 2701 17780 9049 465257 10.17 12.69
176.36/5.68 c N dy 126 58516 391 532 2701 11965 9049 266744 10.23 12.84
189.15/6.03 c N dy 148 62518 391 532 2701 15936 9049 391390 10.30 11.26
211.53/6.75 c N dy 160 69386 391 532 2701 11823 9049 215808 10.15 8.94
211.53/6.75 c S st 160 69386 391 532 2701 11823 9049 215808 10.15 8.94
211.53/6.80 c S st 160 69890 391 532 2701 12324 9049 233945 10.15 no data
211.53/6.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
214.73/6.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.02
214.73/6.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
214.73/6.82 c bin-w-bin subsume rem 0 bins time: 0.00 s
214.73/6.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
214.73/6.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
214.73/6.82 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
214.73/6.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
217.92/6.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.09 s
217.92/6.97 c lits-rem: 23 cl-subs: 268 v-elim: 0 v-fix: 0 time: 0.04 s
217.92/6.97 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
217.92/6.98 c vivif2 -- cl tried 12056 cl shrink 142 lits rem 217 time: 0.00
217.92/6.99 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.02
217.92/6.99 c calculated reachability. Time: 0.00
217.92/6.99 c N dy 160 69890 391 532 2701 12056 9049 230416 10.15 no data
234.50/7.44 c N dy 174 74610 391 532 2701 16729 9049 352492 10.13 10.71
253.08/8.03 c N dy 208 79577 391 532 2701 21664 9049 506808 10.20 10.82
269.65/8.57 c N dy 224 84926 391 532 2701 15069 9049 278215 10.17 10.72
275.47/8.79 c F st 232 87501 391 532 2701 17617 9049 345738 10.15 no data
285.03/9.08 c N st 237 90800 391 532 2701 20893 9049 448130 10.15 no data
304.84/9.71 c N dy 266 97263 391 532 2701 14433 9049 257121 10.23 11.05
326.59/10.33 c N dy 296 103561 391 532 2701 20660 9049 428537 10.27 13.03
329.79/10.48 c S st 304 104835 391 532 2701 21920 9049 464018 10.27 9.70
332.98/10.55 c S st 304 105337 391 532 2701 22419 9049 480804 10.27 no data
332.98/10.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
332.98/10.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.04
332.98/10.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
332.98/10.59 c bin-w-bin subsume rem 0 bins time: 0.00 s
332.98/10.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
332.98/10.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
332.98/10.59 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
336.19/10.60 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
343.20/10.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s
348.96/11.07 c lits-rem: 69 cl-subs: 493 v-elim: 0 v-fix: 0 time: 0.20 s
348.96/11.07 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
348.96/11.08 c vivif2 -- cl tried 21926 cl shrink 688 lits rem 1493 time: 0.01
352.15/11.11 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.03
352.15/11.11 c calculated reachability. Time: 0.00
352.15/11.11 c N dy 304 105337 391 532 2701 21926 9049 472068 10.27 no data
380.92/12.02 c N dy 333 112318 391 532 2701 14962 9049 254430 10.28 10.85
406.54/12.83 c N dy 357 120834 391 532 2701 23376 9049 473333 10.26 10.88
438.47/13.83 c N dy 388 128565 391 532 2701 16202 9049 265728 10.26 10.82
470.43/14.85 c N dy 426 136886 391 532 2701 24417 9049 477476 10.27 10.85
511.98/16.17 c N dy 458 145889 391 532 2701 17501 9049 269021 10.26 10.81
547.15/17.27 c N dy 495 155209 391 532 2701 26698 9049 513976 10.25 10.83
563.11/17.73 c S st 510 158005 391 532 2701 29468 9049 585486 10.26 9.83
566.32/17.81 c S st 510 158509 391 532 2701 29969 9049 602423 10.26 no data
566.32/17.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
566.32/17.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.07
566.32/17.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
566.32/17.88 c bin-w-bin subsume rem 0 bins time: 0.00 s
566.32/17.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
566.32/17.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
566.32/17.89 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
566.32/17.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
575.91/18.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.26 s
589.33/18.52 c lits-rem: 179 cl-subs: 809 v-elim: 0 v-fix: 0 time: 0.33 s
589.33/18.52 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
589.33/18.54 c vivif2 -- cl tried 29160 cl shrink 943 lits rem 2153 time: 0.02
589.33/18.58 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.04
589.33/18.58 c calculated reachability. Time: 0.00
589.33/18.58 c N dy 510 158509 391 532 2701 29160 9049 588602 10.26 no data
633.44/19.99 c N dy 552 169446 391 532 2701 23133 9049 390604 10.26 10.81
684.59/21.52 c N dy 602 180261 391 532 2701 33798 9049 664686 10.24 10.97
729.93/22.95 c N dy 658 192273 391 532 2701 27952 9049 515175 10.25 11.01
793.26/24.97 c N dy 707 205091 391 532 2701 21814 9049 322660 10.24 10.80
853.98/26.80 c N dy 746 218416 391 532 2701 34925 9049 647203 10.20 10.75
911.52/28.62 c N dy 796 232368 391 532 2701 28961 9049 487435 10.20 10.74
937.72/29.46 c S st 821 237763 391 532 2701 34288 9049 623609 10.20 no data
940.93/29.55 c S st 821 238269 391 532 2701 34793 9049 641900 10.20 no data
940.93/29.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
943.48/29.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.06
943.48/29.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
943.48/29.61 c bin-w-bin subsume rem 0 bins time: 0.00 s
943.48/29.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
943.48/29.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
943.48/29.61 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
943.48/29.62 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
953.07/29.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s
965.86/30.35 c lits-rem: 268 cl-subs: 1472 v-elim: 0 v-fix: 0 time: 0.41 s
965.86/30.35 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
965.86/30.37 c vivif2 -- cl tried 33321 cl shrink 822 lits rem 1775 time: 0.02
969.06/30.41 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.04
969.06/30.41 c calculated reachability. Time: 0.00
969.06/30.41 c N dy 821 238269 391 532 2701 33321 9049 623321 10.20 no data
1039.36/32.63 c N dy 878 253531 391 532 2701 27666 9049 447907 10.20 12.28
1135.25/35.66 c N dy 974 269990 391 532 2701 22223 9049 297223 10.24 10.80
1222.18/38.37 c N dy 1047 288305 391 532 2701 40291 9049 743147 10.23 10.82
1307.86/41.09 c F st 1099 306251 391 532 2701 35254 9049 596910 10.20 no data
1311.06/41.18 c N st 1101 306878 391 532 2701 35869 9049 615057 10.20 no data
1333.43/41.83 c Decided on static restart strategy
1438.92/45.18 c N st 1109 334556 391 532 2701 39334 9049 937116 10.20 no data
1566.79/49.16 c N st 1111 357403 391 532 2701 36974 9049 833868 10.20 no data
1566.79/49.16 c S st 1111 357403 391 532 2701 36974 9049 833868 10.20 no data
1570.61/49.26 c S st 1111 357908 391 532 2701 37475 9049 850750 10.20 no data
1570.61/49.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1573.81/49.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.1M T: 0.09
1573.81/49.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1573.81/49.35 c bin-w-bin subsume rem 0 bins time: 0.00 s
1573.81/49.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1573.81/49.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
1573.81/49.35 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
1573.81/49.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1589.17/49.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.44 s
1633.92/51.25 c lits-rem: 891 cl-subs: 3447 v-elim: 0 v-fix: 0 time: 1.38 s
1633.92/51.25 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
1633.92/51.27 c vivif2 -- cl tried 34028 cl shrink 998 lits rem 1998 time: 0.03
1637.11/51.33 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.06
1637.11/51.33 c calculated reachability. Time: 0.00
1637.11/51.33 c N st 1111 357908 391 532 2701 34028 9049 791026 10.20 no data
1809.72/56.72 c N st 1112 390300 391 532 2701 40186 9049 864083 10.20 no data
2103.79/65.99 c N st 1113 438888 391 532 2701 33846 9049 654201 10.20 no data
2474.54/77.58 c N st 1114 511771 391 532 2701 47319 9049 1061357 10.20 no data
2628.60/82.36 c N st 1115 536862 391 532 2701 41691 9049 855877 10.20 no data
2628.60/82.36 c S st 1115 536862 391 532 2701 41691 9049 855877 10.20 no data
2631.16/82.49 c S st 1115 537363 391 532 2701 42189 9049 871780 10.20 no data
2631.16/82.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2637.56/82.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.7M T: 0.13
2637.56/82.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2637.56/82.63 c bin-w-bin subsume rem 0 bins time: 0.00 s
2637.56/82.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2637.56/82.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
2637.56/82.63 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
2637.56/82.64 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
2653.55/83.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.40 s
2685.51/84.19 c lits-rem: 521 cl-subs: 1189 v-elim: 0 v-fix: 0 time: 1.09 s
2685.51/84.19 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
2688.71/84.22 c vivif2 -- cl tried 41000 cl shrink 417 lits rem 904 time: 0.02
2691.91/84.32 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.10
2691.91/84.32 c calculated reachability. Time: 0.00
2691.91/84.32 c N st 1115 537363 391 532 2701 41000 9049 846064 10.20 no data
3817.01/119.52 c N st 1116 701347 391 532 2701 35436 9049 601022 10.20 no data
4692.84/146.98 c N st 1117 806044 391 532 2702 64287 9049 1468384 10.20 no data
4692.84/146.98 c S st 1117 806044 391 532 2702 64287 9049 1468384 10.20 no data
4703.05/147.24 c S st 1117 806546 391 532 2702 64787 9049 1486366 10.20 no data
4703.05/147.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4708.81/147.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.2M T: 0.24
4708.81/147.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4708.81/147.49 c bin-w-bin subsume rem 0 bins time: 0.00 s
4708.81/147.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4708.81/147.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
4708.81/147.49 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
4712.01/147.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
4743.98/148.58 c subs with bin: 47 lits-rem: 628 v-fix: 0 time: 0.97 s
4859.03/152.19 c lits-rem: 1240 cl-subs: 3966 v-elim: 0 v-fix: 0 time: 3.61 s
4859.03/152.19 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
4862.22/152.23 c vivif2 -- cl tried 60774 cl shrink 1655 lits rem 3162 time: 0.04
4868.63/152.41 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.18
4868.63/152.41 c calculated reachability. Time: 0.00
4868.63/152.41 c N st 1117 806546 391 532 2702 60774 9049 1404879 10.20 no data
7016.67/219.63 c F st 1118 1071878 391 532 2703 76620 9049 1801126 10.20 no data
7016.67/219.63 c N st 1118 1071878 391 532 2703 76620 9049 1801126 10.20 no data
7096.57/222.11 c Decided on static restart strategy
7320.34/229.11 c N st 1128 1100184 391 532 2709 60434 9049 1196822 10.20 no data
7732.51/242.00 c N st 1130 1136177 391 532 2710 50604 9049 861910 10.20 no data
7997.49/250.34 c N st 1131 1168569 391 532 2711 81853 9049 1677200 10.20 no data
8447.56/264.41 c N st 1132 1209819 391 532 2712 76296 9049 1630125 10.20 no data
8447.56/264.41 c S st 1132 1209819 391 532 2712 76296 9049 1630125 10.20 no data
8457.15/264.74 c S st 1132 1210325 391 532 2712 76796 9049 1647943 10.20 no data
8457.15/264.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
8466.73/265.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.7M T: 0.31
8466.73/265.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8466.73/265.06 c bin-w-bin subsume rem 0 bins time: 0.00 s
8466.73/265.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8466.73/265.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
8466.73/265.07 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
8466.73/265.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
8508.29/266.36 c subs with bin: 321 lits-rem: 1866 v-fix: 0 time: 1.16 s
8684.07/271.82 c lits-rem: 1443 cl-subs: 3864 v-elim: 0 v-fix: 0 time: 5.46 s
8684.07/271.82 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
8684.07/271.89 c vivif2 -- cl tried 72611 cl shrink 4665 lits rem 13489 time: 0.07
8693.67/272.16 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.27
8693.67/272.17 c calculated reachability. Time: 0.00
8693.67/272.17 c N st 1132 1210325 391 532 2712 72611 9049 1548311 10.20 no data
9511.99/297.73 c N st 1133 1283207 391 532 2712 49078 9049 788870 10.20 no data
10742.64/336.29 c N st 1134 1392530 391 532 2712 57136 9049 995660 10.20 no data
12487.92/390.81 c N st 1135 1556514 391 532 2717 62027 9049 1086303 10.20 no data
14469.73/452.84 c N st 1136 1710326 391 532 2720 104005 9049 2428939 10.20 no data
14469.73/452.84 c S st 1136 1710326 391 532 2720 104005 9049 2428939 10.20 no data
14469.73/452.84 c Finding binary XORs T: 0.00 s found: 0
14485.69/453.35 c S st 1136 1710831 391 532 2725 104510 9049 2448041 10.20 no data
14485.69/453.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
14504.88/453.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 9.5M T: 0.57
14504.88/453.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
14504.88/453.93 c bin-w-bin subsume rem 0 bins time: 0.00 s
14504.88/453.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
14504.88/453.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 391 time: 0.00 s
14504.88/453.94 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
14504.88/453.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
14594.38/456.73 c subs with bin: 457 lits-rem: 6818 v-fix: 0 time: 2.59 s
14949.20/467.82 c lits-rem: 3524 cl-subs: 2991 v-elim: 0 v-fix: 0 time: 11.09 s
14949.20/467.82 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
14952.40/467.92 c vivif2 -- cl tried 101062 cl shrink 4731 lits rem 8916 time: 0.10
14961.99/468.32 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.40
14965.78/468.32 c calculated reachability. Time: 0.00
14965.78/468.32 c N st 1136 1710831 391 532 2725 101062 9049 2359736 10.20 no data
20053.98/627.54 c N st 1137 2079796 391 532 2726 112494 9049 2429915 10.20 no data
21927.73/686.15 c N st 1138 2210835 389 532 2737 115796 9049 2430277 10.20 no data
21927.73/686.15 c S st 1138 2210835 389 532 2737 115796 9049 2430277 10.20 no data
21943.10/686.66 c S st 1138 2211339 388 532 2744 116300 9049 2446748 10.20 no data
21943.10/686.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
21962.89/687.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 0 BRemN: 0 P: 9.3M T: 0.55
21962.89/687.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
21962.89/687.24 c bin-w-bin subsume rem 0 bins time: 0.00 s
21962.89/687.24 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.00 s
21962.89/687.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 388 time: 0.00 s
21962.89/687.24 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
21962.89/687.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
22064.58/690.47 c subs with bin: 1353 lits-rem: 9773 v-fix: 0 time: 3.01 s
22636.72/708.31 c lits-rem: 4680 cl-subs: 12504 v-elim: 0 v-fix: 0 time: 17.83 s
22636.72/708.31 c vivif2 -- cl tried 532 cl shrink 0 lits rem 0 time: 0.00
22636.72/708.38 c vivif2 -- cl tried 99622 cl shrink 2059 lits rem 3920 time: 0.07
22649.52/708.74 c asymm cl-useful: 0/532/532 lits-rem:0 time: 0.36
22649.52/708.74 c calculated reachability. Time: 0.00
22649.52/708.74 c N st 1138 2211339 388 532 2625 99622 8753 2079267 10.20 no data
22649.52/708.74 c Finding binary XORs T: 0.00 s found: 0
30695.11/960.43 c N st 1139 2711339 388 532 2627 125952 8753 2701818 10.20 no data
30695.11/960.43 c S st 1139 2711339 388 532 2627 125952 8753 2701818 10.20 no data
30701.51/960.64 c Finding binary XORs T: 0.00 s found: 0
30714.30/961.05 c S st 1139 2711842 375 521 2217 77780 7684 1407830 10.20 no data
30714.30/961.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
30727.07/961.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 7.1M T: 0.36
30727.07/961.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
30727.07/961.43 c bin-w-bin subsume rem 2 bins time: 0.00 s
30727.07/961.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
30727.07/961.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 375 time: 0.00 s
30727.07/961.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
30727.07/961.46 c lits-rem: 0 cl-subs: 0 v-elim: 6 v-fix: 0 time: 0.03 s
30768.64/962.77 c subs with bin: 801 lits-rem: 8980 v-fix: 0 time: 1.22 s
30893.93/966.68 c lits-rem: 2351 cl-subs: 1107 v-elim: 0 v-fix: 0 time: 3.92 s
30893.93/966.68 c vivif2 -- cl tried 521 cl shrink 0 lits rem 0 time: 0.00
30897.13/966.74 c vivif2 -- cl tried 73485 cl shrink 4521 lits rem 5904 time: 0.05
30906.09/967.02 c asymm cl-useful: 0/521/521 lits-rem:0 time: 0.28
30906.09/967.03 c calculated reachability. Time: 0.00
30906.09/967.03 c N st 1139 2711842 369 521 2208 73485 7672 1316810 10.20 no data
32929.38/1032.17 c Following stats are for *FIRST FINISHED THREAD ONLY*
32929.38/1032.17 c num threads : 32
32929.38/1032.17 c restarts : 7072
32929.38/1032.17 c dynamic restarts : 7014
32929.38/1032.17 c static restarts : 58
32929.38/1032.17 c full restarts : 4
32929.38/1032.17 c total simplify time : 0.74
32929.38/1032.17 c learnts DL2 : 0
32929.38/1032.17 c learnts size 2 : 4863
32929.38/1032.17 c learnts size 1 : 140 (24.56 % of vars)
32929.38/1032.17 c filedLit time : 1.45 (0.14 % time)
32929.38/1032.17 c v-elim SatELite : 125 (21.93 % vars)
32929.38/1032.17 c SatELite time : 24.37 (2.36 % time)
32929.38/1032.17 c v-elim xor : 0 (0.00 % vars)
32929.38/1032.17 c xor elim time : 0.05 (0.00 % time)
32929.38/1032.17 c num binary xor trees : 0
32929.38/1032.17 c binxor trees' crown : 0 (nan leafs/tree)
32929.38/1032.17 c bin xor find time : 0.01
32929.38/1032.17 c OTF clause improved : 65421 (0.02 clauses/conflict)
32929.38/1032.17 c OTF impr. size diff : 72079 (1.10 lits/clause)
32929.38/1032.17 c OTF cl watch-shrink : 1673976 (0.61 clauses/conflict)
32929.38/1032.17 c OTF cl watch-sh-lit : 5191913 (3.10 lits/clause)
32929.38/1032.17 c tried to recurMin cls : 484366 (17.66 % of conflicts)
32929.38/1032.17 c updated cache : 5505 (0.01 lits/tried recurMin)
32929.38/1032.17 c unit cls recevied : 31 (22.14 % of units)
32929.38/1032.17 c unit cls sent : 0 (0.00 % of units)
32929.38/1032.17 c bin cls recevied : 294
32929.38/1032.17 c bin cls sent : 53
32929.38/1032.17 c clauses over max glue : 0 (0.00 % of all clauses)
32929.38/1032.17 c conflicts : 2742256 (2658.66 / sec)
32929.38/1032.17 c decisions : 3785198 (1.95 % random)
32929.38/1032.17 c bogo-props : 78945594317 (76539112.99 / sec)
32929.38/1032.17 c conflict literals : 74896693 (35.57 % deleted)
32929.38/1032.17 c Memory used : 3786.16 MB
32929.38/1032.17 c single-thread CPU time : 1031.44 s
32929.38/1032.17 c all-threads sum CPU time : 32914.78 s
32929.38/1032.17 s UNSATISFIABLE
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-3400866-1307085368/watcher-3400866-1307085368 -o /tmp/evaluation-result-3400866-1307085368/solver-3400866-1307085368 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400866-1307085368.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=338000 CPUtime=0.87 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) R 12980 12982 12956 0 -1 4202496 467 0 0 0 87 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020898216 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/12982/statm: 84500 406 300 95 0 79482 0
[pid=12982/tid=12983] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 4 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897821 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449194 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=338000 CPUtime=0.03 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897808 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=338000 CPUtime=0.01 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897811 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=338000 CPUtime=0.02 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 14449195 346112000 406 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897817 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.0672681 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=1125784 CPUtime=1.43 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 1780 0 0 0 138 5 0 0 25 0 32 0 14449194 1152802816 1579 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/12982/statm: 281446 1580 331 95 0 276428 0
[pid=12982/tid=12983] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 73 0 0 0 4 0 0 0 18 0 32 0 14449194 1152802816 1584 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 67 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1595 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 99 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1603 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 30 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1603 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1612 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604490342202848 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1615 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 49 0 0 0 4 0 0 0 18 0 32 0 14449194 1152802816 1622 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=1125784 CPUtime=0.04 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 30 0 0 0 4 0 0 0 17 0 32 0 14449194 1152802816 1630 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1631 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604499285949920 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 69 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1635 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650614988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 29 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1649 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1650 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604468440210912 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 26 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1658 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604481130986976 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 44 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1660 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 48 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1667 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1671 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604506417806816 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 40 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1671 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 28 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1678 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604462202732000 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 71 0 0 0 4 0 0 0 17 0 32 0 14449194 1152942080 1680 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 27 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1684 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 59 0 0 0 4 0 0 0 25 0 32 0 14449194 1152942080 1695 268435456000 4194304 4580107 140733994169936 18446744073709551615 4307681 0 0 4096 2 6 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 86 0 0 0 4 0 0 0 18 0 32 0 14449194 1152942080 1699 268435456000 4194304 4580107 140733994169936 18446744073709551615 4292816 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 25 0 32 0 14449195 1152942080 1706 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 19 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 18 0 32 0 14449195 1152942080 1711 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=1125920 CPUtime=0.04 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 29 0 0 0 4 0 0 0 17 0 32 0 14449195 1152942080 1715 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566931544 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 57 0 0 0 4 0 0 0 18 0 32 0 14449195 1161342976 1722 268435456000 4194304 4580107 140733994169936 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 38 0 0 0 4 0 0 0 17 0 32 0 14449195 1161342976 1729 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604499110198752 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=1134124 CPUtime=0.02 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 26 0 0 0 2 0 0 0 17 0 32 0 14449195 1161342976 1738 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604471645576672 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=1134124 CPUtime=0.03 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 61 0 0 0 3 0 0 0 17 0 32 0 14449195 1161342976 1741 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 294912 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=1134124 CPUtime=0.03 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 39 0 0 0 3 0 0 0 17 0 32 0 14449195 1161342976 1743 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604501150383584 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=1134124 CPUtime=0.04 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 25 0 0 0 4 0 0 0 17 0 32 0 14449195 1161342976 1751 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604466407013856 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 1125784
[startup+0.103333 s]
/proc/loadavg: 29.62 31.63 31.90 1/413 12982
/proc/meminfo: memFree=263038664/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=1389104 CPUtime=1.86 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) R 12980 12982 12956 0 -1 4202496 3802 0 0 0 158 28 0 0 17 0 32 0 14449194 1422442496 3601 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12982/statm: 347276 3604 371 95 0 342258 0
[pid=12982/tid=12983] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 131 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3604 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 112 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3606 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 164 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3607 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 85 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3612 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604486011108832 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 113 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3615 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 85 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3618 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446604483999563232 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 4 1 0 0 17 0 32 0 14449194 1422442496 3619 268435456000 4194304 4580107 140733994169936 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 120 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3621 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3627 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 129 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=1389104 CPUtime=0.06 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 95 0 0 0 5 1 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566933024 0 0 -1 3 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) D 12980 12982 12956 0 -1 4202560 108 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3628 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 93 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3631 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566930944 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3632 268435456000 4194304 4580107 140733994169936 18446744073709551615 258651060958 0 0 4096 2 18446744071566931544 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=1389104 CPUtime=0.04 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 4 0 0 0 17 0 32 0 14449194 1422442496 3633 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 105 0 0 0 5 0 0 0 17 0 32 0 14449194 1422442496 3636 268435456000 4194304 4580107 140733994169936 18446744073709551615 258650623218 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=1389104 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/12982/task/13006/stat : 13006 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 66467 0 0 0 102888 43 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3850136 CPUtime=1029.31 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 53632 0 0 0 102899 32 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3850136 CPUtime=1029.3 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 133236 0 0 0 102859 71 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3850136 CPUtime=1029.31 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 102884 47 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3850136 CPUtime=1029.29 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 75181 0 0 0 102885 44 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3850136 CPUtime=1029.29 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77302 0 0 0 102887 42 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3850136 CPUtime=1029.28 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 47206 0 0 0 102901 27 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3850136 CPUtime=1029.24 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 76484 0 0 0 102882 42 0 0 25 0 32 0 14449195 3942539264 748292 268435456000 4194304 4580107 140733994169936 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32907.1
Current children cumulated vsize (KiB) 3850136
[startup+1031.2 s]
/proc/loadavg: 32.29 32.08 32.00 4/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=3877024 CPUtime=32927.6 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 2579169 0 0 0 3291283 1475 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 969256 741179 377 95 0 964238 0
[pid=12982/tid=12983] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 62142 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471645576672 0 0 -1 10 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=3877024 CPUtime=1029.28 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 82087 0 0 0 102884 44 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604468440210912 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 54223 0 0 0 102962 26 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441539689952 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=3877024 CPUtime=1029.62 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74937 0 0 0 102912 50 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604467523050976 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64987 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503961075168 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92831 0 0 0 102937 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604486011108832 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72078 0 0 0 102948 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604500336827872 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 70586 0 0 0 102946 41 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496730185184 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64181 0 0 0 102951 38 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462202732000 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72907 0 0 0 102944 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604501462662624 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 86541 0 0 0 102941 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604490342202848 0 0 -1 7 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 68650 0 0 0 102949 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604506417806816 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89190 0 0 0 102933 53 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462009302496 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 97017 0 0 0 102930 56 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471673503200 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=3877024 CPUtime=1030.2 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 100779 0 0 0 102959 61 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496679419360 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 88134 0 0 0 102935 51 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466509315552 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92223 0 0 0 102940 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744071566927024 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74170 0 0 0 102945 42 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604445572234720 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 73540 0 0 0 102937 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498468355552 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=3877024 CPUtime=1030.9 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 88727 0 0 0 103047 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020873412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91273 0 0 0 102939 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441126215136 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=3877024 CPUtime=1028.77 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 102061 0 0 0 102819 58 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604530826198496 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=3877024 CPUtime=1000.97 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 108813 0 0 0 100037 60 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604444808207840 0 0 -1 31 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 66467 0 0 0 102944 43 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498810871264 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 53667 0 0 0 102955 32 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604483999563232 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 133259 0 0 0 102915 71 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466035310048 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3877024 CPUtime=1030.9 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 103043 47 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 4416741 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 75181 0 0 0 102941 44 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466407013856 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 77302 0 0 0 102944 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441275727328 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 47206 0 0 0 102957 27 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503605272032 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3877024 CPUtime=1029.8 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 76484 0 0 0 102938 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604481130986976 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32927.6
Current children cumulated vsize (KiB) 3877024
[startup+1032 s]
/proc/loadavg: 32.29 32.08 32.00 3/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=3877024 CPUtime=32929.2 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) S 12980 12982 12956 0 -1 4202496 2579169 0 0 0 3291443 1475 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 969256 741179 377 95 0 964238 0
[pid=12982/tid=12983] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12983/stat : 12983 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 62142 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471645576672 0 0 -1 10 0 0 0
[pid=12982/tid=12984] ppid=12980 vsize=3877024 CPUtime=1029.28 cores=0-31
/proc/12982/task/12984/stat : 12984 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 82087 0 0 0 102884 44 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604468440210912 0 0 -1 16 0 0 0
[pid=12982/tid=12985] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12985/stat : 12985 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 54223 0 0 0 102962 26 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441539689952 0 0 -1 12 0 0 0
[pid=12982/tid=12986] ppid=12980 vsize=3877024 CPUtime=1029.62 cores=0-31
/proc/12982/task/12986/stat : 12986 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74937 0 0 0 102912 50 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604467523050976 0 0 -1 8 0 0 0
[pid=12982/tid=12987] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12987/stat : 12987 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64987 0 0 0 102953 34 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503961075168 0 0 -1 4 0 0 0
[pid=12982/tid=12988] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/12988/stat : 12988 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92831 0 0 0 102937 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604486011108832 0 0 -1 24 0 0 0
[pid=12982/tid=12989] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12989/stat : 12989 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72078 0 0 0 102948 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604500336827872 0 0 -1 20 0 0 0
[pid=12982/tid=12990] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12990/stat : 12990 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 70586 0 0 0 102946 41 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496730185184 0 0 -1 2 0 0 0
[pid=12982/tid=12991] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12991/stat : 12991 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 64181 0 0 0 102951 38 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462202732000 0 0 -1 5 0 0 0
[pid=12982/tid=12992] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/12992/stat : 12992 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 72907 0 0 0 102944 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604501462662624 0 0 -1 6 0 0 0
[pid=12982/tid=12993] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12993/stat : 12993 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 86541 0 0 0 102941 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604490342202848 0 0 -1 7 0 0 0
[pid=12982/tid=12994] ppid=12980 vsize=3877024 CPUtime=1029.89 cores=0-31
/proc/12982/task/12994/stat : 12994 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 68650 0 0 0 102949 40 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604506417806816 0 0 -1 9 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 89190 0 0 0 102933 53 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604462009302496 0 0 -1 10 0 0 0
[pid=12982/tid=12996] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12996/stat : 12996 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 97017 0 0 0 102930 56 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604471673503200 0 0 -1 19 0 0 0
[pid=12982/tid=12997] ppid=12980 vsize=3877024 CPUtime=1030.2 cores=0-31
/proc/12982/task/12997/stat : 12997 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 100779 0 0 0 102959 61 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604496679419360 0 0 -1 13 0 0 0
[pid=12982/tid=12998] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/12998/stat : 12998 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 88134 0 0 0 102935 51 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466509315552 0 0 -1 14 0 0 0
[pid=12982/tid=12999] ppid=12980 vsize=3877024 CPUtime=1029.88 cores=0-31
/proc/12982/task/12999/stat : 12999 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 92223 0 0 0 102940 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446744071566927024 0 0 -1 11 0 0 0
[pid=12982/tid=13000] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13000/stat : 13000 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 74170 0 0 0 102945 42 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604445572234720 0 0 -1 17 0 0 0
[pid=12982/tid=13001] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13001/stat : 13001 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 73540 0 0 0 102937 47 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498468355552 0 0 -1 18 0 0 0
[pid=12982/tid=13002] ppid=12980 vsize=3877024 CPUtime=1031.7 cores=0-31
/proc/12982/task/13002/stat : 13002 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 88727 0 0 0 103127 43 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020873259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12982/tid=13003] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13003/stat : 13003 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 91273 0 0 0 102939 48 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441126215136 0 0 -1 21 0 0 0
[pid=12982/tid=13004] ppid=12980 vsize=3877024 CPUtime=1028.77 cores=0-31
/proc/12982/task/13004/stat : 13004 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 102061 0 0 0 102819 58 0 0 25 0 32 0 14449194 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604530826198496 0 0 -1 22 0 0 0
[pid=12982/tid=13005] ppid=12980 vsize=3877024 CPUtime=1000.97 cores=0-31
/proc/12982/task/13005/stat : 13005 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 108813 0 0 0 100037 60 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604444808207840 0 0 -1 31 0 0 0
[pid=12982/tid=13006] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13006/stat : 13006 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 66467 0 0 0 102944 43 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604498810871264 0 0 -1 25 0 0 0
[pid=12982/tid=13007] ppid=12980 vsize=3877024 CPUtime=1029.87 cores=0-31
/proc/12982/task/13007/stat : 13007 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 53667 0 0 0 102955 32 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604483999563232 0 0 -1 26 0 0 0
[pid=12982/tid=13008] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13008/stat : 13008 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 133259 0 0 0 102915 71 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466035310048 0 0 -1 23 0 0 0
[pid=12982/tid=13009] ppid=12980 vsize=3877024 CPUtime=1031.7 cores=0-31
/proc/12982/task/13009/stat : 13009 (strangenight2-m) R 12980 12982 12956 0 -1 4202560 77437 0 0 0 103123 47 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 4416041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12982/tid=13010] ppid=12980 vsize=3877024 CPUtime=1029.85 cores=0-31
/proc/12982/task/13010/stat : 13010 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 75181 0 0 0 102941 44 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604466407013856 0 0 -1 30 0 0 0
[pid=12982/tid=13011] ppid=12980 vsize=3877024 CPUtime=1029.86 cores=0-31
/proc/12982/task/13011/stat : 13011 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 77302 0 0 0 102944 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604441275727328 0 0 -1 28 0 0 0
[pid=12982/tid=13012] ppid=12980 vsize=3877024 CPUtime=1029.84 cores=0-31
/proc/12982/task/13012/stat : 13012 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 47206 0 0 0 102957 27 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604503605272032 0 0 -1 29 0 0 0
[pid=12982/tid=13013] ppid=12980 vsize=3877024 CPUtime=1029.8 cores=0-31
/proc/12982/task/13013/stat : 13013 (strangenight2-m) S 12980 12982 12956 0 -1 4202560 76484 0 0 0 102938 42 0 0 25 0 32 0 14449195 3970072576 741179 268435456000 4194304 4580107 140733994169936 18446744073709551615 47799020897844 0 0 4096 2 18446604481130986976 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 32929.2
Current children cumulated vsize (KiB) 3877024
[startup+1032.4 s]
/proc/loadavg: 32.29 32.08 32.00 3/445 13045
/proc/meminfo: memFree=260070148/264257624 swapFree=67054988/67111528
[pid=12982] ppid=12980 vsize=0 CPUtime=32929.8 cores=0-31
/proc/12982/stat : 12982 (strangenight2-m) Z 12980 12982 12956 0 -1 4203548 2579225 0 0 0 3291477 1498 0 0 18 0 2 0 14449194 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/12982/statm: 0 0 0 0 0 0 0
[pid=12982/tid=12995] ppid=12980 vsize=0 CPUtime=1030.09 cores=0-31
/proc/12982/task/12995/stat : 12995 (strangenight2-m) R 12980 12982 12956 0 -1 4203588 89190 0 0 0 102933 76 0 0 18 0 2 0 14449194 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 32929.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1032.5
CPU time (s): 32929.9
CPU user time (s): 32914.8
CPU system time (s): 15.0807
CPU usage (%): 3189.34
Max. virtual memory (cumulated for all children) (KiB): 4154828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32914.8
system time used= 15.0807
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2579225
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= 41578
involuntary context switches= 70422
runsolver used 6.51501 second user time and 22.4896 second system time
The end
Begin job on node200 at 2011-06-03 09:16:08
IDJOB=3400866
IDBENCH=84808
IDSOLVER=1886
FILE ID=node200/3400866-1307085368
RUNJOBID= node200-1307085368-12970
PBS_JOBID= 13497888
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400866-1307085368/watcher-3400866-1307085368 -o /tmp/evaluation-result-3400866-1307085368/solver-3400866-1307085368 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400866-1307085368.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=319244476
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263038944 kB
Buffers: 96004 kB
Cached: 930032 kB
SwapCached: 8336 kB
Active: 103204 kB
Inactive: 941224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263038944 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 5856 kB
Writeback: 0 kB
AnonPages: 16392 kB
Mapped: 7292 kB
Slab: 87240 kB
PageTables: 5264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185044 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= 61740 MiB
End job on node200 at 2011-06-03 09:33:21