0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321285-1304342697.cnf'
0.00/0.02 c -- header says num vars: 89315
0.00/0.02 c -- header says num clauses: 5584003
14.20/2.29 c -- clauses added: 0 learnts, 5584003 normals, 0 xors
14.20/2.29 c -- vars added 89315
14.20/2.29 c Parsing time: 1.41 s
14.20/2.29 c N st 0 0 89315 110215 5473787 0 16593704 0 no data no data
23.53/3.44 c asymm cl-useful: 13/13/110213 lits-rem:157 time: 1.11
89.86/11.76 c Flit: 1550 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.32
90.67/11.85 c Cleaning up after failed var search: 0.09 s
92.28/12.04 c Replacing 12 vars Replaced 1726 lits Time: 0.18 s
95.50/12.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
99.49/13.02 c bin-w-bin subsume rem 695 bins time: 0.45 s
150.66/19.42 c subs with bin: 0 lits-rem: 156 v-fix: 0 time: 6.40 s
160.25/20.61 c Subs w/ non-existent bins: 0 l-rem: 88 v-fix: 0 done: 85537 time: 1.19 s
161.89/20.90 c Removed useless bin: 0 fixed: 0 props: 20.00M time: 0.29 s
1645.30/206.47 c lits-rem: 0 cl-subs: 14284 v-elim: 10139 v-fix: 0 time: 185.43 s
1646.10/206.56 c Finding binary XORs T: 0.09 s found: 0
1651.69/207.21 c Finding non-binary XORs: 0.53 s (found: 0, avg size: nan)
1651.69/207.21 c calculated reachability. Time: 0.00
1651.69/207.30 c Calc default polars - time: 0.08 s pos: 5002 undec: 11771 neg: 72542
1651.69/207.30 c =========================================================================================
1651.69/207.30 c types(t): F = full restart, N = normal restart
1651.69/207.30 c types(t): S = simplification begin/end, E = solution found
1651.69/207.30 c restart types(rt): st = static, dy = dynamic
1651.69/207.30 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1651.69/207.30 c B st 0 0 77601 173064 5166852 0 15584549 0 no data no data
1670.06/209.51 c N dy 12 4310 77601 173064 5167035 4079 15584545 507344 56.62 59.92
1681.26/210.94 c N dy 24 8530 77520 173064 5172761 8166 15584542 1045803 50.98 55.48
1696.45/212.89 c N dy 39 12855 77520 173064 5172866 12349 15584541 1389000 48.11 52.60
1707.64/214.28 c N dy 48 16942 77493 173064 5173675 16283 15584540 1883828 44.24 57.54
1725.23/216.47 c N dy 73 21236 77482 173064 5174097 10785 15584504 692188 43.63 46.83
1739.57/218.21 c F st 90 25000 77482 173064 5174249 14353 15584504 967097 43.06 15.71
1747.55/219.23 c N st 91 25250 77481 172844 5159467 14600 15548393 990268 43.06 no data
1764.35/221.34 c N dy 96 30000 77481 172844 5159540 19213 15548392 1570896 43.06 no data
1764.35/221.34 c S st 96 30000 77481 172844 5159540 19213 15548392 1570896 43.06 no data
1772.34/222.35 c S st 96 30500 77472 172844 5159705 19527 15548389 1582460 43.06 no data
1773.14/222.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14
1878.66/235.66 c Flit: 1636 Blit: 25 bXBeca: 0 bXProp: 7 Bins:1907569 BRemL: 2799 BRemN: 0 P: 200.1M T: 13.15
1879.46/235.78 c Cleaning up after failed var search: 0.11 s
1881.06/235.99 c Replacing 8 vars Replaced 5289 lits Time: 0.21 s
1884.26/236.30 c blocked clauses removed: 0 vars: 220 tried: 77346 T: 0.08 s
1892.25/237.36 c bin-w-bin subsume rem 792 bins time: 1.06 s
1941.82/243.56 c subs with bin: 1311 lits-rem: 238300 v-fix: 0 time: 6.20 s
1952.19/244.88 c Subs w/ non-existent bins: 883 l-rem: 19564 v-fix: 0 done: 57143 time: 1.30 s
1956.97/245.47 c Removed useless bin: 104 fixed: 0 props: 20.00M time: 0.37 s
1967.36/246.70 c lits-rem: 1339 cl-subs: 117 v-elim: 13 v-fix: 0 time: 1.22 s
1980.95/248.42 c subs with bin: 8 lits-rem: 1694 v-fix: 0 time: 1.55 s
1991.40/249.79 c lits-rem: 4572 cl-subs: 690 v-elim: 0 v-fix: 0 time: 1.20 s
1995.35/250.24 c asymm cl-useful: 248/254/170655 lits-rem:2471 time: 0.45
1996.15/250.39 c calculated reachability. Time: 0.00
1996.15/250.39 c N dy 96 30500 75561 170655 6720332 18743 14791327 5037285 43.06 no data
1996.95/250.47 c Finding binary XORs T: 0.08 s found: 12
2087.02/279.60 c N dy 113 35209 73359 170655 6913874 23259 14791320 5974153 41.45 43.93
2212.96/382.17 c N dy 135 39315 67768 170620 6492293 27263 14163339 6063734 41.26 43.66
2226.90/384.18 c N dy 160 43406 67765 169177 5271134 16451 12579739 3627014 42.62 49.06
2237.29/385.47 c Finding binary XORs T: 0.07 s found: 75
2238.09/385.51 c S st 173 45750 67712 168812 5266779 18740 12568055 3866527 42.54 no data
2245.29/386.46 c S st 173 46252 67706 168812 5266940 19068 12568054 3879075 42.54 no data
2246.89/386.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
2349.21/399.40 c Flit: 429 Blit: 136 bXBeca: 0 bXProp: 8 Bins: 752611 BRemL: 5668 BRemN: 0 P: 200.1M T: 12.80
2349.21/399.40 c Cleaning up after failed var search: 0.00 s
2351.62/399.70 c Replacing 95 vars Replaced 48108 lits Time: 0.29 s
2353.22/399.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2359.61/400.74 c bin-w-bin subsume rem 20461 bins time: 0.84 s
2408.37/406.90 c subs with bin: 2162 lits-rem: 64947 v-fix: 0 time: 6.16 s
2419.56/408.23 c Subs w/ non-existent bins: 1343 l-rem: 14840 v-fix: 2 done: 66804 time: 1.33 s
2423.56/408.73 c Removed useless bin: 11403 fixed: 0 props: 20.00M time: 0.38 s
2461.13/413.43 c lits-rem: 4898 cl-subs: 198 v-elim: 5974 v-fix: 0 time: 4.70 s
2473.93/415.09 c subs with bin: 14 lits-rem: 368 v-fix: 0 time: 1.55 s
2481.12/415.90 c lits-rem: 14309 cl-subs: 342 v-elim: 0 v-fix: 0 time: 0.69 s
2484.32/416.30 c asymm cl-useful: 397/408/157515 lits-rem:5093 time: 0.39
2485.12/416.42 c calculated reachability. Time: 0.00
2485.12/416.42 c N dy 173 46252 61065 157515 5519514 18419 11369922 5084350 42.54 no data
2485.12/416.49 c Finding binary XORs T: 0.07 s found: 19
2519.14/421.28 c N dy 189 50269 61065 157515 5523479 22249 11369721 5355497 42.07 44.49
2525.61/422.59 c N dy 208 54349 61065 157515 5523553 26191 11369720 5698148 41.65 56.78
2532.49/423.93 c N dy 213 60075 61065 157515 5523685 31635 11369720 5956658 40.13 42.71
2607.31/442.11 c Finding binary XORs T: 0.07 s found: 25
2614.28/443.53 c N dy 224 64263 60599 157080 6152134 17940 11242364 6036804 39.51 41.69
2673.10/467.33 c N dy 232 68666 60128 157080 6793788 22210 11242361 7730395 38.68 41.38
2673.70/467.64 c S st 238 69378 60096 157080 6793817 22884 11242361 7810005 39.03 no data
2675.10/468.31 c S st 238 69878 60094 157080 6793957 23241 11242360 7821558 39.03 no data
2675.30/468.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
2694.95/476.30 c Flit: 1311 Blit: 6 bXBeca: 0 bXProp: 9 Bins: 376631 BRemL: 6969 BRemN: 0 P: 200.0M T: 7.85
2695.25/476.40 c Cleaning up after failed var search: 0.09 s
2695.83/476.57 c Replacing 53 vars Replaced 25720 lits Time: 0.17 s
2696.43/476.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2699.43/477.72 c bin-w-bin subsume rem 24809 bins time: 0.98 s
2717.99/482.91 c subs with bin: 2448 lits-rem: 89477 v-fix: 0 time: 5.19 s
2723.95/484.21 c Subs w/ non-existent bins: 310 l-rem: 13276 v-fix: 0 done: 58730 time: 1.29 s
2724.85/484.58 c Removed useless bin: 15572 fixed: 0 props: 20.00M time: 0.36 s
2729.05/485.99 c lits-rem: 1711 cl-subs: 57 v-elim: 1897 v-fix: 0 time: 1.40 s
2733.25/487.79 c subs with bin: 103 lits-rem: 672 v-fix: 0 time: 1.71 s
2735.04/488.60 c lits-rem: 10631 cl-subs: 810 v-elim: 0 v-fix: 0 time: 0.66 s
2735.64/488.96 c asymm cl-useful: 220/298/152457 lits-rem:2297 time: 0.37
2736.04/489.11 c calculated reachability. Time: 0.00
2736.04/489.11 c N dy 238 69878 56833 152457 6330947 22282 10297606 7536037 39.03 no data
2736.04/489.18 c Finding binary XORs T: 0.07 s found: 13
2777.15/506.73 c N dy 270 74378 56684 152457 6893209 26697 10297606 9131034 40.21 67.61
2803.40/511.58 c N dy 301 79221 56681 152457 6896517 31358 10297600 9529404 40.83 90.87
2811.37/512.53 c Finding binary XORs T: 0.08 s found: 15
2828.13/514.69 c N dy 334 85014 56681 152385 6837499 36906 10258289 9922955 41.39 45.37
2834.53/515.49 c F st 335 87501 56681 152385 6837800 39302 10258289 10075597 40.62 13.50
2836.93/515.70 c Replacing 28 vars Replaced 21837 lits Time: 0.21 s
2852.11/517.61 c N st 340 90798 56653 152380 6837766 22664 10258091 8402681 40.62 no data
2892.07/522.67 c N dy 347 104818 56653 152380 6838431 36260 10258085 9362679 37.71 23.33
2892.07/522.67 c S st 347 104818 56653 152380 6838431 36260 10258085 9362679 37.71 23.33
2902.47/523.92 c S st 347 105318 56653 152380 6838765 36624 10258081 9374896 37.71 no data
2903.27/524.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
3027.17/539.52 c Flit: 422 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 277954 BRemL: 8194 BRemN: 368 P: 200.0M T: 15.28
3027.17/539.52 c Cleaning up after failed var search: 0.00 s
3030.37/539.94 c Replacing 9 vars Replaced 46684 lits Time: 0.42 s
3032.02/540.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3040.02/541.15 c bin-w-bin subsume rem 21634 bins time: 0.97 s
3095.12/548.10 c subs with bin: 316 lits-rem: 18524 v-fix: 0 time: 6.94 s
3106.32/549.44 c Subs w/ non-existent bins: 291 l-rem: 9443 v-fix: 0 done: 56222 time: 1.34 s
3111.91/550.10 c Removed useless bin: 52406 fixed: 0 props: 20.00M time: 0.65 s
3123.90/551.61 c lits-rem: 201 cl-subs: 117 v-elim: 12 v-fix: 0 time: 1.52 s
3136.74/553.27 c subs with bin: 4 lits-rem: 134 v-fix: 0 time: 1.49 s
3152.69/555.22 c lits-rem: 25942 cl-subs: 4010 v-elim: 0 v-fix: 0 time: 1.78 s
3161.48/556.32 c vivif2 -- cl tried 151712 cl shrink 8138 lits rem 53614 time: 1.10
3165.47/556.82 c vivif2 -- cl tried 32558 cl shrink 8144 lits rem 38377 time: 0.49
3169.48/557.36 c asymm cl-useful: 305/356/151474 lits-rem:2373 time: 0.55
3171.92/557.70 c calculated reachability. Time: 0.19
3172.63/557.70 c N dy 347 105318 56210 151474 6834483 32515 9949977 9344423 37.71 no data
3177.24/558.34 c Finding binary XORs T: 0.64 s found: 6
3217.97/563.42 c N dy 370 113270 56154 151474 7077608 39985 9949828 10464847 36.94 39.43
3248.84/567.32 c N dy 391 120606 56153 151474 7080104 25744 9949825 9186270 36.14 38.65
3264.03/569.26 c Finding binary XORs T: 0.80 s found: 24
3292.00/572.78 c N dy 437 128783 56153 150053 7029353 33111 9846855 9963387 36.02 38.04
3330.61/579.18 c N dy 476 137071 56135 150053 7268547 41131 9846853 11144280 35.83 37.96
3355.27/583.00 c Finding binary XORs T: 0.67 s found: 10
3398.57/588.84 c N dy 505 152344 56106 150053 7448575 33377 9838413 10469200 34.41 36.41
3414.57/590.80 c S st 507 157977 56105 150053 7449175 38760 9838412 10823995 34.03 26.49
3424.96/592.13 c S st 507 158477 56105 150053 7449527 39124 9838405 10836796 34.03 no data
3425.76/592.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
3560.06/609.02 c Flit: 164 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 213171 BRemL: 8735 BRemN: 0 P: 200.0M T: 16.60
3560.06/609.02 c Cleaning up after failed var search: 0.00 s
3563.32/609.43 c Replacing 46 vars Replaced 116909 lits Time: 0.40 s
3564.86/609.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3572.85/610.69 c bin-w-bin subsume rem 27983 bins time: 1.06 s
3626.76/617.54 c subs with bin: 338 lits-rem: 1427 v-fix: 0 time: 6.84 s
3637.97/618.93 c Subs w/ non-existent bins: 35 l-rem: 1293 v-fix: 0 done: 55895 time: 1.39 s
3641.21/619.35 c Removed useless bin: 8013 fixed: 0 props: 20.00M time: 0.42 s
3657.15/621.36 c lits-rem: 253 cl-subs: 344 v-elim: 947 v-fix: 0 time: 2.00 s
3670.75/623.07 c subs with bin: 11 lits-rem: 235 v-fix: 0 time: 1.58 s
3694.72/626.00 c lits-rem: 29828 cl-subs: 3609 v-elim: 0 v-fix: 0 time: 2.81 s
3707.51/627.62 c vivif2 -- cl tried 151070 cl shrink 10399 lits rem 82398 time: 1.62
3713.90/628.40 c vivif2 -- cl tried 35493 cl shrink 11482 lits rem 28542 time: 0.77
3721.91/629.40 c asymm cl-useful: 340/342/150710 lits-rem:3042 time: 1.00
3725.91/629.91 c calculated reachability. Time: 0.35
3725.91/629.92 c N dy 507 158477 54948 150710 7445282 35416 9572752 10783991 34.03 no data
3806.65/640.02 c Finding binary XORs T: 1.15 s found: 36
3807.49/640.12 c N dy 508 175737 53006 123648 5173904 16652 8185940 6095257 32.09 34.72
3848.21/645.26 c N dy 563 186964 52985 123648 5176112 27457 8185895 6715889 31.81 33.54
3887.44/650.15 c N dy 609 198997 52624 123648 5177254 20275 8185818 6068942 31.39 33.09
3926.57/655.08 c N dy 623 212293 49656 94074 3138488 16966 6700298 2667575 30.46 32.07
3967.33/660.15 c N dy 683 225920 49615 94074 3139475 15370 6700232 2532737 30.33 32.52
4006.51/665.03 c S st 736 237715 49607 94074 3139986 26782 6700214 3141414 30.23 25.89
4014.50/666.03 c S st 736 238215 49599 94074 3140342 27161 6700206 3150608 30.23 no data
4015.30/666.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
4121.63/679.43 c Flit: 2297 Blit: 109 bXBeca: 0 bXProp: 38 Bins: 707805 BRemL: 15558 BRemN: 0 P: 200.0M T: 13.20
4122.43/679.52 c Cleaning up after failed var search: 0.09 s
4123.24/679.68 c Replacing 74 vars Replaced 50824 lits Time: 0.16 s
4124.88/679.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4127.23/680.19 c bin-w-bin subsume rem 9431 bins time: 0.38 s
4177.64/686.45 c subs with bin: 3556 lits-rem: 137465 v-fix: 0 time: 6.26 s
4183.99/687.23 c Subs w/ non-existent bins: 145 l-rem: 897 v-fix: 0 done: 28850 time: 0.77 s
4186.44/687.60 c Removed useless bin: 5446 fixed: 3 props: 20.00M time: 0.32 s
4214.37/691.02 c lits-rem: 27974 cl-subs: 6977 v-elim: 7893 v-fix: 0 time: 3.42 s
4227.16/692.67 c subs with bin: 350 lits-rem: 18905 v-fix: 0 time: 1.58 s
4239.07/694.17 c lits-rem: 19734 cl-subs: 5458 v-elim: 0 v-fix: 0 time: 1.43 s
4240.25/694.57 c vivif2 -- cl tried 75332 cl shrink 3102 lits rem 26077 time: 0.40
4241.15/694.85 c vivif2 -- cl tried 19832 cl shrink 3684 lits rem 17957 time: 0.28
4242.37/695.29 c asymm cl-useful: 28/2080/75262 lits-rem:850 time: 0.44
4243.26/695.57 c calculated reachability. Time: 0.22
4243.26/695.57 c N dy 736 238215 38924 75257 2470608 19688 4829091 2570148 30.23 no data
4257.65/702.68 c Following stats are for *FIRST FINISHED THREAD ONLY*
4257.65/702.68 c num threads : 8
4257.65/702.68 c restarts : 827
4257.65/702.68 c dynamic restarts : 803
4257.65/702.68 c static restarts : 24
4257.65/702.68 c full restarts : 3
4257.65/702.68 c total simplify time : 6.72
4257.65/702.68 c learnts DL2 : 0
4257.65/702.68 c learnts size 2 : 11817378
4257.65/702.68 c learnts size 1 : 28990 (32.46 % of vars)
4257.65/702.68 c filedLit time : 57.86 (11.00 % time)
4257.65/702.68 c v-elim SatELite : 19126 (21.41 % vars)
4257.65/702.68 c SatELite time : 216.98 (41.25 % time)
4257.65/702.68 c v-elim xor : 0 (0.00 % vars)
4257.65/702.68 c xor elim time : 0.55 (0.10 % time)
4257.65/702.68 c num binary xor trees : 289
4257.65/702.68 c binxor trees' crown : 318 (1.10 leafs/tree)
4257.65/702.68 c bin xor find time : 4.76
4257.65/702.68 c OTF clause improved : 9914 (0.03 clauses/conflict)
4257.65/702.68 c OTF impr. size diff : 14437 (1.46 lits/clause)
4257.65/702.68 c OTF cl watch-shrink : 241844 (0.67 clauses/conflict)
4257.65/702.68 c OTF cl watch-sh-lit : 4515713 (18.67 lits/clause)
4257.65/702.68 c tried to recurMin cls : 149100 (41.23 % of conflicts)
4257.65/702.68 c updated cache : 36746 (0.25 lits/tried recurMin)
4257.65/702.68 c unit cls recevied : 10251 (35.36 % of units)
4257.65/702.68 c unit cls sent : 2115 (7.30 % of units)
4257.65/702.68 c bin cls recevied : 3316386
4257.65/702.68 c bin cls sent : 1110234
4257.65/702.68 c clauses over max glue : 0 (0.00 % of all clauses)
4257.65/702.68 c conflicts : 361626 (687.53 / sec)
4257.65/702.68 c decisions : 9708801 (0.29 % random)
4257.65/702.68 c bogo-props : 4660050826 (8859798.97 / sec)
4257.65/702.68 c conflict literals : 23151798 (46.58 % deleted)
4257.65/702.68 c Memory used : 8262.36 MB
4257.65/702.68 c single-thread CPU time : 525.98 s
4257.65/702.68 c all-threads sum CPU time : 4248.33 s
4257.65/702.68 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321285-1304342697/watcher-3321285-1304342697 -o /tmp/evaluation-result-3321285-1304342697/solver-3321285-1304342697 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321285-1304342697.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.75 7.94 8.02 2/189 27312
/proc/meminfo: memFree=28023332/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=92188 CPUtime=0.01 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 414 0 0 0 1 0 0 0 22 0 8 0 545867636 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 23047 353 299 106 0 18018 0
[pid=27312/tid=27313] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=92188 CPUtime=0 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545867637 94400512 353 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547698 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.090446 s]
/proc/loadavg: 7.75 7.94 8.02 2/189 27312
/proc/meminfo: memFree=28023332/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=493532 CPUtime=0.47 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 10935 0 0 0 37 10 0 0 17 0 8 0 545867636 505376768 10560 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 123383 10579 338 106 0 118354 0
[pid=27312/tid=27313] ppid=27310 vsize=493532 CPUtime=0.06 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1373 0 0 0 5 1 0 0 17 0 8 0 545867637 505376768 10587 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=493532 CPUtime=0.03 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1304 0 0 0 3 0 0 0 17 0 8 0 545867637 505376768 10592 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=493532 CPUtime=0.04 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) D 27310 27312 27150 0 -1 4202560 1295 0 0 0 3 1 0 0 17 0 8 0 545867637 505376768 10643 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=493532 CPUtime=0.04 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) D 27310 27312 27150 0 -1 4202560 1308 0 0 0 3 1 0 0 17 0 8 0 545867637 505376768 10707 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550234379 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=493532 CPUtime=0.05 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 1342 0 0 0 5 0 0 0 17 0 8 0 545867637 505376768 10759 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 18446604453955095552 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=493532 CPUtime=0.06 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1449 0 0 0 5 1 0 0 17 0 8 0 545867637 505376768 10782 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=493664 CPUtime=0.06 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1259 0 0 0 5 1 0 0 17 0 8 0 545867637 505511936 10856 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 493532
[startup+0.10454 s]
/proc/loadavg: 7.75 7.94 8.02 2/189 27312
/proc/meminfo: memFree=28023332/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=494920 CPUtime=0.56 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 13077 0 0 0 44 12 0 0 17 0 8 0 545867636 506798080 12696 33554432000 4194304 4627427 140735230730336 18446744073709551615 4301101 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 123730 12858 338 106 0 118701 0
[pid=27312/tid=27313] ppid=27310 vsize=494920 CPUtime=0.07 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1705 0 0 0 6 1 0 0 17 0 8 0 545867637 506798080 12893 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=494920 CPUtime=0.05 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1573 0 0 0 4 1 0 0 17 0 8 0 545867637 506798080 12936 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=494920 CPUtime=0.05 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1576 0 0 0 4 1 0 0 17 0 8 0 545867637 506798080 12970 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=494920 CPUtime=0.05 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 1581 0 0 0 4 1 0 0 17 0 8 0 545867637 506798080 12996 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 18446604453955095552 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=494920 CPUtime=0.07 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1633 0 0 0 6 1 0 0 17 0 8 0 545867637 506798080 13085 33554432000 4194304 4627427 140735230730336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=494920 CPUtime=0.07 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1769 0 0 0 6 1 0 0 17 0 8 0 545867637 506798080 13158 33554432000 4194304 4627427 140735230730336 18446744073709551615 4530642 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=494920 CPUtime=0.07 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 1604 0 0 0 6 1 0 0 17 0 8 0 545867637 506798080 13245 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360591 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 494920
[startup+0.305484 s]
/proc/loadavg: 7.75 7.94 8.02 2/189 27312
/proc/meminfo: memFree=28023332/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=587624 CPUtime=1.86 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 40794 0 0 0 145 41 0 0 17 0 8 0 545867636 601726976 38790 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 146906 38879 339 106 0 141877 0
[pid=27312/tid=27313] ppid=27310 vsize=587624 CPUtime=0.23 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 5268 0 0 0 18 5 0 0 17 0 8 0 545867637 601726976 38895 33554432000 4194304 4627427 140735230730336 18446744073709551615 4507268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=587624 CPUtime=0.21 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) D 27310 27312 27150 0 -1 4202560 4864 0 0 0 17 4 0 0 17 0 8 0 545867637 601726976 39039 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=587624 CPUtime=0.2 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) D 27310 27312 27150 0 -1 4202560 5150 0 0 0 16 4 0 0 17 0 8 0 545867637 601726976 39039 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=587760 CPUtime=0.2 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 5096 0 0 0 16 4 0 0 17 0 8 0 545867637 601866240 39080 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 18446604453955095552 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=587760 CPUtime=0.23 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 5078 0 0 0 19 4 0 0 17 0 8 0 545867637 601866240 39126 33554432000 4194304 4627427 140735230730336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=587760 CPUtime=0.23 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 5092 0 0 0 19 4 0 0 17 0 8 0 545867637 601866240 39141 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=587916 CPUtime=0.23 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 4992 0 0 0 18 5 0 0 17 0 8 0 545867637 602025984 39175 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 587624
[startup+0.702366 s]
/proc/loadavg: 7.75 7.94 8.02 2/189 27312
/proc/meminfo: memFree=28023332/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=634540 CPUtime=4.49 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 98542 0 0 0 358 91 0 0 17 0 8 0 545867636 649768960 94335 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 158635 94336 339 106 0 153606 0
[pid=27312/tid=27313] ppid=27310 vsize=634540 CPUtime=0.56 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12790 0 0 0 45 11 0 0 17 0 8 0 545867637 649768960 94340 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=634540 CPUtime=0.53 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12245 0 0 0 42 11 0 0 17 0 8 0 545867637 649768960 94342 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=634540 CPUtime=0.55 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12258 0 0 0 43 12 0 0 17 0 8 0 545867637 649768960 94343 33554432000 4194304 4627427 140735230730336 18446744073709551615 4313810 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=634540 CPUtime=0.52 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12063 0 0 0 41 11 0 0 17 0 8 0 545867637 649768960 94345 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=634540 CPUtime=0.57 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12277 0 0 0 47 10 0 0 17 0 8 0 545867637 649768960 94345 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=634540 CPUtime=0.57 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12213 0 0 0 47 10 0 0 17 0 8 0 545867637 649768960 94346 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=634540 CPUtime=0.55 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 12182 0 0 0 44 11 0 0 17 0 8 0 545867637 649768960 94348 33554432000 4194304 4627427 140735230730336 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 634540
[startup+1.50118 s]
/proc/loadavg: 7.45 7.87 8.00 9/197 27320
/proc/meminfo: memFree=27459112/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=1320444 CPUtime=9.96 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 214615 0 0 0 814 182 0 0 17 0 8 0 545867636 1352134656 206018 33554432000 4194304 4627427 140735230730336 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 330111 206024 339 106 0 325082 0
[pid=27312/tid=27313] ppid=27310 vsize=1320444 CPUtime=1.25 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 27448 0 0 0 102 23 0 0 17 0 8 0 545867637 1352134656 206028 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=1320444 CPUtime=1.21 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 26894 0 0 0 98 23 0 0 17 0 8 0 545867637 1352134656 206029 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=1320444 CPUtime=1.22 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 26819 0 0 0 98 24 0 0 17 0 8 0 545867637 1352134656 206032 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=1320576 CPUtime=1.21 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 25674 0 0 0 100 21 0 0 17 0 8 0 545867637 1352269824 206037 33554432000 4194304 4627427 140735230730336 18446744073709551615 4301208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=1320576 CPUtime=1.26 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 26646 0 0 0 106 20 0 0 17 0 8 0 545867637 1352269824 206038 33554432000 4194304 4627427 140735230730336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=1320576 CPUtime=1.26 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 26905 0 0 0 106 20 0 0 17 0 8 0 545867637 1352269824 206041 33554432000 4194304 4627427 140735230730336 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=1320576 CPUtime=1.23 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 27417 0 0 0 100 23 0 0 17 0 8 0 545867637 1352269824 206042 33554432000 4194304 4627427 140735230730336 18446744073709551615 4530789 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (KiB) 1320444
[startup+3.1009 s]
/proc/loadavg: 7.45 7.87 8.00 8/197 27320
/proc/meminfo: memFree=26887596/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=1849404 CPUtime=21.14 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 368348 0 0 0 1791 323 0 0 18 0 8 0 545867636 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 462351 350815 364 106 0 457322 0
[pid=27312/tid=27313] ppid=27310 vsize=1849404 CPUtime=2.67 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 47329 0 0 0 226 41 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=1849404 CPUtime=2.59 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 46484 0 0 0 218 41 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=1849404 CPUtime=2.62 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 46530 0 0 0 221 41 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=1849404 CPUtime=2.6 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 45039 0 0 0 218 42 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=1849404 CPUtime=2.65 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 46795 0 0 0 227 38 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=1849404 CPUtime=2.69 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 46327 0 0 0 234 35 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=1849404 CPUtime=2.61 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 42975 0 0 0 222 39 0 0 18 0 8 0 545867637 1893789696 350815 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.14
Current children cumulated vsize (KiB) 1849404
[startup+6.30132 s]
/proc/loadavg: 7.66 7.91 8.01 9/197 27320
/proc/meminfo: memFree=26596204/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=2050012 CPUtime=46.69 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 375128 0 0 0 4342 327 0 0 25 0 8 0 545867636 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 512503 357450 366 106 0 507474 0
[pid=27312/tid=27313] ppid=27310 vsize=2050012 CPUtime=5.85 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 47988 0 0 0 542 43 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=2050012 CPUtime=5.78 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 47139 0 0 0 536 42 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=2050012 CPUtime=5.82 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 47160 0 0 0 541 41 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=2050012 CPUtime=5.8 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 45679 0 0 0 538 42 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=2050012 CPUtime=5.86 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 47466 0 0 0 547 39 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=2050012 CPUtime=5.89 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 46834 0 0 0 554 35 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4238430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=2050012 CPUtime=5.81 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 45350 0 0 0 541 40 0 0 25 0 8 0 545867637 2099212288 357450 33554432000 4194304 4627427 140735230730336 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/27312/task/27319/stat : 27319 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 215540 0 0 0 27315 100 0 0 25 0 8 0 545867637 4872810496 958185 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2161.14
Current children cumulated vsize (KiB) 4758604
[startup+402.3 s]
/proc/loadavg: 3.78 5.87 7.19 9/197 27331
/proc/meminfo: memFree=24151240/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=4526000 CPUtime=2372.39 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 1228528 0 0 0 236623 616 0 0 25 0 8 0 545867636 4634624000 964184 33554432000 4194304 4627427 140735230730336 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27312/statm: 1131500 964184 391 106 0 1126471 0
[pid=27312/tid=27313] ppid=27310 vsize=4526000 CPUtime=296.92 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 140183 0 0 0 29623 69 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=4526000 CPUtime=287.04 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 149713 0 0 0 28628 76 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=4526000 CPUtime=290.2 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 146260 0 0 0 28941 79 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=4526000 CPUtime=291.86 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 158485 0 0 0 29103 83 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=4526000 CPUtime=308.33 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 132201 0 0 0 30757 76 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=4526000 CPUtime=311.82 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 150002 0 0 0 31120 62 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=4526000 CPUtime=294.24 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 218747 0 0 0 29322 102 0 0 25 0 8 0 545867637 4634624000 964185 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2372.39
Current children cumulated vsize (KiB) 4526000
[startup+462.301 s]
/proc/loadavg: 4.00 5.64 7.03 3/197 27333
/proc/meminfo: memFree=23953016/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=4714624 CPUtime=2663.48 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) S 27310 27312 27150 0 -1 4202496 1340837 0 0 0 265695 653 0 0 25 0 8 0 545867636 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27312/statm: 1178656 1017067 391 106 0 1173627 0
[pid=27312/tid=27313] ppid=27310 vsize=4714624 CPUtime=327.43 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 151734 0 0 0 32668 75 0 0 18 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=4714624 CPUtime=326.77 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 167642 0 0 0 32596 81 0 0 25 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 0 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=4714624 CPUtime=334.17 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 157745 0 0 0 33334 83 0 0 25 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=4714624 CPUtime=346.5 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 176360 0 0 0 34563 87 0 0 25 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 6 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=4714624 CPUtime=339.58 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 147218 0 0 0 33875 83 0 0 25 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 6 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=4714624 CPUtime=342.57 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 165859 0 0 0 34191 66 0 0 18 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=4714624 CPUtime=327.53 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 231473 0 0 0 32646 107 0 0 25 0 8 0 545867637 4827774976 1017067 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065546270 0 0 4096 2 18446604453955095552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2663.48
Current children cumulated vsize (KiB) 4714624
[startup+522.301 s]
/proc/loadavg: 4.28 5.33 6.83 9/197 27334
/proc/meminfo: memFree=23667488/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=4997620 CPUtime=2889.68 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 1457596 0 0 0 288274 694 0 0 25 0 8 0 545867636 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27312/statm: 1249405 1089276 391 106 0 1244376 0
[pid=27312/tid=27313] ppid=27310 vsize=4997620 CPUtime=350.96 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 167872 0 0 0 35017 79 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=4997620 CPUtime=345.76 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 176466 0 0 0 34493 83 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=4997620 CPUtime=363.17 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 178724 0 0 0 36228 89 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=4997620 CPUtime=374.76 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 193771 0 0 0 37379 97 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=4997620 CPUtime=365.36 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 152307 0 0 0 36449 87 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=4997620 CPUtime=364.64 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 174199 0 0 0 36397 67 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=4997620 CPUtime=363.37 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 252938 0 0 0 36225 112 0 0 25 0 8 0 545867637 5117562880 1089276 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2889.68
Current children cumulated vsize (KiB) 4997620
[startup+582.301 s]
/proc/loadavg: 6.22 5.73 6.87 9/197 27336
/proc/meminfo: memFree=22203664/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=6914108 CPUtime=3350.43 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 1917543 0 0 0 334232 811 0 0 19 0 8 0 545867636 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4223527 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27312/statm: 1728527 1457525 391 106 0 1723498 0
[pid=27312/tid=27313] ppid=27310 vsize=6914108 CPUtime=406.77 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 263341 0 0 0 40576 101 0 0 19 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4223537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=6914108 CPUtime=403.16 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 256443 0 0 0 40213 103 0 0 19 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=6914108 CPUtime=423.17 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 250646 0 0 0 42205 112 0 0 25 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=6914108 CPUtime=430.78 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 215807 0 0 0 42975 103 0 0 24 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=6914108 CPUtime=419.92 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 175702 0 0 0 41898 94 0 0 18 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=6914108 CPUtime=424.44 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 191039 0 0 0 42372 72 0 0 22 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=6914108 CPUtime=423.36 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 312341 0 0 0 42210 126 0 0 20 0 8 0 545867637 7080046592 1457525 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3350.43
Current children cumulated vsize (KiB) 6914108
[startup+642.301 s]
/proc/loadavg: 7.31 6.13 6.94 9/197 27337
/proc/meminfo: memFree=21541028/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=7548244 CPUtime=3825.08 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4202496 2205207 0 0 0 381622 886 0 0 25 0 8 0 545867636 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27312/statm: 1887061 1618600 391 106 0 1882032 0
[pid=27312/tid=27313] ppid=27310 vsize=7548244 CPUtime=466.77 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 322769 0 0 0 46564 113 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=7548244 CPUtime=463.08 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 282373 0 0 0 46198 110 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=7548244 CPUtime=483.18 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 283060 0 0 0 48198 120 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=7548244 CPUtime=488.45 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 242967 0 0 0 48734 111 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=7548244 CPUtime=479.15 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 199617 0 0 0 47814 101 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=7548244 CPUtime=484.04 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 214325 0 0 0 48324 80 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4223527 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=7548244 CPUtime=482.3 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 340341 0 0 0 48096 134 0 0 25 0 8 0 545867637 7729401856 1618600 33554432000 4194304 4627427 140735230730336 18446744073709551615 4328314 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3825.08
Current children cumulated vsize (KiB) 7548244
[startup+702.301 s]
/proc/loadavg: 6.90 6.28 6.94 3/197 27339
/proc/meminfo: memFree=20708896/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=8460656 CPUtime=4257.05 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) S 27310 27312 27150 0 -1 4202496 2438049 0 0 0 424757 948 0 0 25 0 8 0 545867636 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27312/statm: 2115164 1826365 391 106 0 2110135 0
[pid=27312/tid=27313] ppid=27310 vsize=8460656 CPUtime=526.77 cores=0-7
/proc/27312/task/27313/stat : 27313 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 340055 0 0 0 52559 118 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065522884 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27312/tid=27314] ppid=27310 vsize=8460656 CPUtime=523.07 cores=0-7
/proc/27312/task/27314/stat : 27314 (strangenight2-m) R 27310 27312 27150 0 -1 4202560 336806 0 0 0 52183 124 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27312/tid=27315] ppid=27310 vsize=8460656 CPUtime=534.95 cores=0-7
/proc/27312/task/27315/stat : 27315 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 302542 0 0 0 53370 125 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446604453955095552 0 0 -1 6 0 0 0
[pid=27312/tid=27316] ppid=27310 vsize=8460656 CPUtime=539.94 cores=0-7
/proc/27312/task/27316/stat : 27316 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 302667 0 0 0 53868 126 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446604453955095552 0 0 -1 7 0 0 0
[pid=27312/tid=27317] ppid=27310 vsize=8460656 CPUtime=530.92 cores=0-7
/proc/27312/task/27317/stat : 27317 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 211752 0 0 0 52988 104 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446604453955095552 0 0 -1 2 0 0 0
[pid=27312/tid=27318] ppid=27310 vsize=8460656 CPUtime=535.81 cores=0-7
/proc/27312/task/27318/stat : 27318 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 226826 0 0 0 53497 84 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446604453955095552 0 0 -1 5 0 0 0
[pid=27312/tid=27319] ppid=27310 vsize=8460656 CPUtime=534.07 cores=0-7
/proc/27312/task/27319/stat : 27319 (strangenight2-m) S 27310 27312 27150 0 -1 4202560 348997 0 0 0 53270 137 0 0 25 0 8 0 545867637 8663711744 1826365 33554432000 4194304 4627427 140735230730336 18446744073709551615 46913065547316 0 0 4096 2 18446604453955095552 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4257.05
Current children cumulated vsize (KiB) 8460656
Solver just ended. Dumping a history of the last processes samples
[startup+702.701 s]
/proc/loadavg: 6.90 6.28 6.94 3/197 27339
/proc/meminfo: memFree=20708896/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=0 CPUtime=4257.82 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4203524 2438054 0 0 0 424832 950 0 0 18 0 1 0 545867636 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4257.82
Current children cumulated vsize (KiB) 0
[startup+702.907 s]
/proc/loadavg: 6.90 6.28 6.94 2/190 27339
/proc/meminfo: memFree=22864396/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=0 CPUtime=4258.02 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4203524 2438054 0 0 0 424832 970 0 0 18 0 1 0 545867636 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4258.02
Current children cumulated vsize (KiB) 0
[startup+703.001 s]
/proc/loadavg: 6.90 6.28 6.94 2/190 27339
/proc/meminfo: memFree=22864396/32951124 swapFree=67111336/67111528
[pid=27312] ppid=27310 vsize=0 CPUtime=4258.12 cores=0-7
/proc/27312/stat : 27312 (strangenight2-m) R 27310 27312 27150 0 -1 4203524 2438054 0 0 0 424832 980 0 0 18 0 1 0 545867636 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4258.12
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 703.05
CPU time (s): 4258.18
CPU user time (s): 4248.33
CPU system time (s): 9.8505
CPU usage (%): 605.672
Max. virtual memory (cumulated for all children) (KiB): 8460656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4248.33
system time used= 9.8505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2438054
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= 458926
involuntary context switches= 38644
runsolver used 1.07084 second user time and 3.02054 second system time
The end
Begin job on node133 at 2011-05-02 15:24:58
IDJOB=3321285
IDBENCH=88167
IDSOLVER=1709
FILE ID=node133/3321285-1304342697
RUNJOBID= node133-1304342623-27164
PBS_JOBID= 13178063
Free space on /tmp= 73556 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321285-1304342697/watcher-3321285-1304342697 -o /tmp/evaluation-result-3321285-1304342697/solver-3321285-1304342697 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321285-1304342697.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 932387240a0c17f4c88af52c4ca151c6
RANDOM SEED=1475882065
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28023984 kB
Buffers: 596516 kB
Cached: 1796172 kB
SwapCached: 124 kB
Active: 2687428 kB
Inactive: 1876592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28023984 kB
SwapTotal: 67111528 kB
SwapFree: 67111336 kB
Dirty: 108984 kB
Writeback: 0 kB
AnonPages: 2170732 kB
Mapped: 18536 kB
Slab: 293848 kB
PageTables: 9544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2406880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73548 MiB
End job on node133 at 2011-05-02 15:36:41