0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400635-1306258262.cnf'
0.00/0.13 c -- header says num vars: 50797
0.00/0.13 c -- header says num clauses: 177980
30.37/1.71 c -- clauses added: 0 learnts, 177980 normals, 0 xors
30.37/1.71 c -- vars added 50797
30.37/1.71 c Parsing time: 0.37 s
30.37/1.71 c N st 0 0 50797 81576 95086 0 468934 0 no data no data
82.28/3.35 c asymm cl-useful: 32/2745/81426 lits-rem:64 time: 1.63
596.26/26.78 c Flit: 189 Blit: 3 bXBeca: 0 bXProp: 17530 Bins: 0 BRemL: 0 BRemN: 0 P: 127.3M T: 15.09
596.26/26.80 c Cleaning up after failed var search: 0.01 s
600.97/26.90 c Replacing 17530 vars Replaced 329681 lits Time: 0.05 s
603.43/27.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
603.43/27.05 c bin-w-bin subsume rem 6 bins time: 0.02 s
603.43/27.08 c subs with bin: 2 lits-rem: 6 v-fix: 0 time: 0.03 s
622.20/27.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 31751 time: 0.57 s
630.90/27.98 c Removed useless bin: 2 fixed: 0 props: 20.01M time: 0.33 s
648.67/28.54 c lits-rem: 283 cl-subs: 68 v-elim: 10583 v-fix: 0 time: 0.45 s
655.60/28.77 c Finding binary XORs T: 0.23 s found: 1023
655.60/28.80 c Replacing 1023 vars Replaced 21429 lits Time: 0.02 s
661.24/28.93 c Finding non-binary XORs: 0.07 s (found: 12949, avg size: 3.0)
661.24/28.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5468 locsubst: 46782 time: 0.05
661.24/28.94 c Replacing 512 vars Replaced 5823 lits Time: 0.01 s
661.24/28.98 c calculated reachability. Time: 0.03
661.24/28.98 c Calc default polars - time: 0.01 s pos: 3299 undec: 38367 neg: 9131
661.24/28.98 c =========================================================================================
661.24/28.98 c types(t): F = full restart, N = normal restart
661.24/28.98 c types(t): S = simplification begin/end, E = solution found
661.24/28.98 c restart types(rt): st = static, dy = dynamic
661.24/28.98 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
661.24/28.98 c B st 0 0 14165 22849 34135 0 229493 0 no data no data
683.58/29.67 c N dy 14 4270 14165 22849 34168 3839 229492 215946 11.25 11.99
699.54/30.13 c Finding binary XORs T: 0.15 s found: 504
699.54/30.15 c Replacing 504 vars Replaced 18407 lits Time: 0.03 s
699.54/30.20 c N dy 26 8342 13661 22841 35959 6724 229457 302003 11.13 15.39
712.31/30.58 c N dy 44 12553 13661 22841 36002 10043 229456 371268 10.98 11.80
725.70/30.99 c N dy 59 16599 13659 22841 37307 13366 229456 448958 10.72 11.53
747.41/31.64 c N dy 87 20684 13658 22841 38985 8736 229455 123050 11.84 19.75
763.38/32.18 c Finding binary XORs T: 0.15 s found: 546
766.58/32.21 c Replacing 546 vars Replaced 22515 lits Time: 0.02 s
772.97/32.41 c N dy 115 24759 13112 22713 38693 10714 228937 230433 12.29 27.37
772.97/32.46 c F st 118 25000 13112 22713 38693 10936 228936 237880 12.32 no data
801.74/33.33 c N dy 124 30000 13112 22713 38734 15346 228935 481136 12.32 no data
801.74/33.33 c S st 124 30000 13112 22713 38734 15346 228935 481136 12.32 no data
804.93/33.43 c S st 124 30503 13111 22713 38739 15791 228935 491075 12.32 no data
804.93/33.48 c x-sub: 1270 x-cut: 0 vfix: 0 v-elim: 2395 locsubst: 1643 time: 0.04
942.34/37.78 c Flit: 11 Blit: 9 bXBeca: 1 bXProp: 2446 Bins: 57274 BRemL: 10876 BRemN: 0 P: 67.3M T: 4.29
945.54/37.84 c Replacing 2582 vars Replaced 219672 lits Time: 0.05 s
945.54/37.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
945.54/37.89 c bin-w-bin subsume rem 52366 bins time: 0.04 s
948.74/37.97 c subs with bin: 7517 lits-rem: 15551 v-fix: 0 time: 0.07 s
951.93/38.01 c Subs w/ non-existent bins: 2126 l-rem: 2022 v-fix: 0 done: 8114 time: 0.04 s
951.93/38.02 c Removed useless bin: 1579 fixed: 0 props: 0.92M time: 0.01 s
951.93/38.07 c lits-rem: 53 cl-subs: 3926 v-elim: 145 v-fix: 0 time: 0.04 s
951.93/38.08 c subs with bin: 68 lits-rem: 4073 v-fix: 0 time: 0.01 s
951.93/38.10 c lits-rem: 74 cl-subs: 290 v-elim: 0 v-fix: 0 time: 0.01 s
961.53/38.31 c asymm cl-useful: 719/5683/8428 lits-rem:719 time: 0.21
961.53/38.32 c calculated reachability. Time: 0.01
961.53/38.32 c N dy 124 30503 7969 8428 26137 1193 99686 30410 12.32 no data
964.73/38.43 c Finding binary XORs T: 0.11 s found: 31
971.74/38.65 c N dy 137 34659 7969 8428 29713 4702 99685 111359 12.29 13.07
987.06/39.19 c N dy 156 38747 7969 8428 78117 8220 99685 283706 12.40 13.21
993.43/39.39 c Finding binary XORs T: 0.10 s found: 526
996.62/39.41 c Replacing 557 vars Replaced 22079 lits Time: 0.02 s
1003.61/39.66 c N dy 183 42778 7412 8009 76507 6247 97539 194970 13.20 15.20
1012.58/39.93 c S st 192 45756 7412 8009 82875 8658 97536 252272 13.04 6.10
1015.78/40.00 c S st 192 46257 7412 8009 82879 9088 97536 256286 13.04 no data
1015.78/40.05 c x-sub: 387 x-cut: 0 vfix: 0 v-elim: 984 locsubst: 885 time: 0.04
1028.58/40.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 54 Bins: 4487 BRemL: 29071 BRemN: 1275 P: 5.5M T: 0.40
1028.58/40.46 c Replacing 130 vars Replaced 3463 lits Time: 0.01 s
1028.58/40.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1028.58/40.49 c bin-w-bin subsume rem 35376 bins time: 0.02 s
1031.77/40.50 c subs with bin: 768 lits-rem: 154 v-fix: 0 time: 0.02 s
1031.77/40.52 c Subs w/ non-existent bins: 171 l-rem: 127 v-fix: 0 done: 6298 time: 0.01 s
1031.77/40.53 c Removed useless bin: 276 fixed: 0 props: 0.84M time: 0.01 s
1031.77/40.54 c lits-rem: 10 cl-subs: 802 v-elim: 35 v-fix: 0 time: 0.01 s
1031.77/40.55 c subs with bin: 7 lits-rem: 286 v-fix: 0 time: 0.01 s
1031.77/40.56 c lits-rem: 59 cl-subs: 276 v-elim: 0 v-fix: 0 time: 0.01 s
1031.77/40.57 c vivif2 -- cl tried 6343 cl shrink 44 lits rem 86 time: 0.00
1031.77/40.57 c vivif2 -- cl tried 1610 cl shrink 26 lits rem 40 time: 0.00
1038.79/40.74 c asymm cl-useful: 247/6343/6343 lits-rem:307 time: 0.17
1038.79/40.75 c calculated reachability. Time: 0.00
1038.79/40.75 c N dy 192 46257 6263 6340 20715 1610 80548 29132 13.04 no data
1041.98/40.85 c Finding binary XORs T: 0.10 s found: 2
1044.54/40.96 c N dy 196 50442 6263 6340 30106 4956 80548 96586 12.69 13.42
1047.74/41.08 c N dy 203 55912 6263 6340 30109 9316 80546 162712 12.36 13.03
1050.93/41.19 c N dy 213 60115 6263 6340 33588 12871 80546 224208 12.20 13.27
1057.33/41.37 c N dy 228 65276 6263 6340 33597 9206 80545 138172 12.10 13.07
1060.52/41.46 c Finding binary XORs T: 0.09 s found: 137
1060.52/41.47 c Replacing 139 vars Replaced 5099 lits Time: 0.01 s
1066.92/41.67 c S st 253 69386 6124 6180 33237 12414 79760 210498 12.34 10.45
1070.09/41.73 c S st 253 69888 6124 6180 33243 12807 79760 213655 12.34 no data
1070.09/41.77 c x-sub: 106 x-cut: 0 vfix: 0 v-elim: 174 locsubst: 566 time: 0.04
1079.66/42.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 19 Bins: 1302 BRemL: 15381 BRemN: 124 P: 4.2M T: 0.26
1079.66/42.04 c Replacing 82 vars Replaced 3896 lits Time: 0.01 s
1079.66/42.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1079.66/42.05 c bin-w-bin subsume rem 2616 bins time: 0.00 s
1079.66/42.07 c subs with bin: 376 lits-rem: 0 v-fix: 0 time: 0.02 s
1079.66/42.08 c Subs w/ non-existent bins: 36 l-rem: 0 v-fix: 0 done: 5868 time: 0.01 s
1079.66/42.09 c Removed useless bin: 68 fixed: 0 props: 0.52M time: 0.01 s
1082.85/42.10 c lits-rem: 5 cl-subs: 284 v-elim: 38 v-fix: 0 time: 0.01 s
1082.85/42.12 c subs with bin: 13 lits-rem: 327 v-fix: 0 time: 0.01 s
1082.85/42.19 c lits-rem: 1028 cl-subs: 1968 v-elim: 0 v-fix: 0 time: 0.06 s
1082.85/42.19 c vivif2 -- cl tried 5603 cl shrink 17 lits rem 30 time: 0.00
1082.85/42.19 c vivif2 -- cl tried 6661 cl shrink 37 lits rem 46 time: 0.00
1089.28/42.33 c asymm cl-useful: 676/5603/5603 lits-rem:1845 time: 0.13
1089.28/42.33 c calculated reachability. Time: 0.00
1089.28/42.33 c N dy 253 69888 5830 5105 16468 6661 74617 82280 12.34 no data
1092.47/42.44 c N dy 269 74503 5830 5105 17822 9953 74617 133306 12.27 13.08
1098.83/42.64 c N dy 297 79269 5830 5105 17832 13721 74616 226760 12.63 49.37
1102.03/42.76 c N dy 300 86813 5830 5105 17835 18881 74615 293823 12.27 13.04
1105.23/42.80 c F st 304 87501 5830 5105 22066 19383 74615 309005 12.24 no data
1109.01/42.98 c Finding binary XORs T: 0.11 s found: 175
1109.01/42.99 c Replacing 175 vars Replaced 8604 lits Time: 0.01 s
1112.27/43.06 c Decided on static restart strategy
1112.27/43.06 c N st 310 92695 5655 4884 21519 13021 73455 174355 12.24 no data
1114.83/43.18 c N st 312 99806 5655 4884 22162 18186 73455 311901 12.24 no data
1130.79/43.68 c S st 313 104832 5655 4884 22163 22705 73455 697608 12.24 no data
1133.99/43.73 c S st 313 105335 5655 4884 23898 23084 73455 706594 12.24 no data
1133.99/43.79 c x-sub: 69 x-cut: 0 vfix: 0 v-elim: 104 locsubst: 904 time: 0.06
1140.39/44.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 72 Bins: 1836 BRemL: 7161 BRemN: 210 P: 3.5M T: 0.22
1144.17/44.02 c Replacing 174 vars Replaced 11434 lits Time: 0.01 s
1144.17/44.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1144.17/44.03 c bin-w-bin subsume rem 1398 bins time: 0.00 s
1144.17/44.05 c subs with bin: 154 lits-rem: 0 v-fix: 0 time: 0.02 s
1144.17/44.06 c Subs w/ non-existent bins: 27 l-rem: 0 v-fix: 0 done: 5377 time: 0.01 s
1144.17/44.07 c Removed useless bin: 75 fixed: 0 props: 0.34M time: 0.00 s
1144.17/44.08 c lits-rem: 1 cl-subs: 423 v-elim: 60 v-fix: 0 time: 0.01 s
1144.17/44.10 c subs with bin: 10 lits-rem: 786 v-fix: 0 time: 0.01 s
1149.96/44.22 c lits-rem: 2052 cl-subs: 1896 v-elim: 0 v-fix: 0 time: 0.12 s
1149.96/44.22 c vivif2 -- cl tried 4383 cl shrink 24 lits rem 30 time: 0.00
1149.96/44.23 c vivif2 -- cl tried 8929 cl shrink 12 lits rem 12 time: 0.00
1153.15/44.31 c asymm cl-useful: 402/4383/4383 lits-rem:1188 time: 0.08
1153.15/44.32 c calculated reachability. Time: 0.00
1153.15/44.32 c N st 313 105335 5317 4092 16494 8927 68252 125225 12.24 no data
1179.33/45.21 c N st 314 114935 5317 4092 16496 9222 68252 466927 12.24 no data
1185.15/45.34 c Finding binary XORs T: 0.11 s found: 126
1185.15/45.37 c Replacing 126 vars Replaced 16535 lits Time: 0.03 s
1197.90/45.70 c N st 315 129332 5178 3952 20635 18332 67094 708840 12.24 no data
1293.78/48.77 c N st 316 150928 5178 3952 22624 23943 67094 1310016 12.24 no data
1296.97/48.88 c Finding binary XORs T: 0.08 s found: 360
1300.17/48.96 c Replacing 360 vars Replaced 74228 lits Time: 0.09 s
1325.73/49.74 c S st 317 158003 4779 3810 41229 29435 64865 1871958 12.24 no data
1328.92/49.81 c S st 317 158505 4779 3810 42355 29790 64865 1879795 12.24 no data
1328.92/49.87 c x-sub: 277 x-cut: 0 vfix: 0 v-elim: 81 locsubst: 662 time: 0.06
1338.52/50.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 54 Bins: 237 BRemL: 18979 BRemN: 192 P: 3.5M T: 0.24
1338.52/50.14 c Replacing 119 vars Replaced 6533 lits Time: 0.02 s
1338.52/50.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1338.52/50.15 c bin-w-bin subsume rem 2805 bins time: 0.00 s
1338.52/50.17 c subs with bin: 175 lits-rem: 41 v-fix: 0 time: 0.02 s
1338.52/50.18 c Subs w/ non-existent bins: 21 l-rem: 0 v-fix: 0 done: 4579 time: 0.01 s
1338.52/50.19 c Removed useless bin: 18 fixed: 0 props: 0.32M time: 0.01 s
1341.71/50.21 c lits-rem: 0 cl-subs: 452 v-elim: 124 v-fix: 0 time: 0.03 s
1341.71/50.28 c subs with bin: 25 lits-rem: 348 v-fix: 0 time: 0.01 s
1431.18/53.08 c lits-rem: 3244 cl-subs: 3358 v-elim: 0 v-fix: 0 time: 2.80 s
1431.18/53.09 c vivif2 -- cl tried 3568 cl shrink 37 lits rem 53 time: 0.00
1434.37/53.11 c vivif2 -- cl tried 13980 cl shrink 9 lits rem 12 time: 0.02
1434.37/53.16 c asymm cl-useful: 607/3568/3568 lits-rem:1985 time: 0.05
1434.37/53.16 c calculated reachability. Time: 0.00
1434.37/53.16 c N st 317 158505 4455 3030 19877 13980 56457 773531 12.24 no data
1840.25/65.80 c N st 318 207094 4455 3030 19877 28134 56456 2336789 12.24 no data
1843.44/65.98 c Finding binary XORs T: 0.11 s found: 336
1850.42/66.14 c Replacing 336 vars Replaced 95630 lits Time: 0.15 s
2003.18/71.00 c N st 319 237758 3982 2912 106149 33363 50803 2736711 12.24 no data
2003.18/71.00 c S st 319 237758 3982 2912 106149 33363 50803 2736711 12.24 no data
2006.39/71.07 c Finding binary XORs T: 0.07 s found: 15
2009.58/71.11 c S st 319 238260 3982 2912 107813 33782 50803 2757540 12.24 no data
2009.58/71.17 c x-sub: 155 x-cut: 0 vfix: 0 v-elim: 21 locsubst: 150 time: 0.06
2031.94/71.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 12699 BRemL: 64533 BRemN: 92 P: 6.8M T: 0.69
2031.94/71.88 c Replacing 65 vars Replaced 5951 lits Time: 0.02 s
2031.94/71.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2035.14/71.90 c bin-w-bin subsume rem 18178 bins time: 0.01 s
2035.14/71.93 c subs with bin: 123 lits-rem: 214 v-fix: 0 time: 0.03 s
2035.14/71.94 c Subs w/ non-existent bins: 26 l-rem: 0 v-fix: 0 done: 3896 time: 0.01 s
2035.14/71.94 c Removed useless bin: 11 fixed: 0 props: 0.15M time: 0.00 s
2035.14/71.99 c lits-rem: 1 cl-subs: 107 v-elim: 100 v-fix: 0 time: 0.04 s
2041.54/72.14 c subs with bin: 14 lits-rem: 359 v-fix: 0 time: 0.02 s
2629.59/90.51 c lits-rem: 2788 cl-subs: 2098 v-elim: 0 v-fix: 0 time: 18.37 s
2629.59/90.52 c vivif2 -- cl tried 2946 cl shrink 13 lits rem 25 time: 0.00
2629.59/90.57 c vivif2 -- cl tried 28529 cl shrink 1 lits rem 1 time: 0.05
2632.79/90.65 c asymm cl-useful: 363/2944/2944 lits-rem:1119 time: 0.08
2632.79/90.66 c calculated reachability. Time: 0.00
2632.79/90.66 c N st 319 238260 3796 2630 37115 28529 44203 2160555 12.24 no data
2729.27/93.68 c F st 320 306251 3796 2630 37115 35011 44203 1939602 12.24 no data
2729.27/93.69 c N st 320 306251 3796 2630 37115 35011 44203 1939602 12.24 no data
2735.03/93.82 c Finding binary XORs T: 0.08 s found: 606
2735.03/93.87 c Replacing 606 vars Replaced 187043 lits Time: 0.04 s
2773.38/95.00 c N dy 417 325854 3190 2629 137972 27310 44195 1178634 16.53 28.37
2779.78/95.22 c Finding binary XORs T: 0.05 s found: 18
2827.72/96.79 c Finding binary XORs T: 0.05 s found: 26
2827.72/96.81 c Replacing 44 vars Replaced 28582 lits Time: 0.02 s
2840.49/97.14 c N dy 603 345865 3146 2628 145470 43698 44181 2336204 23.54 79.73
2862.84/97.84 c S st 654 357391 3146 2628 149812 29575 44181 1027074 24.64 9.63
2862.84/97.90 c S st 654 357893 3146 2628 149813 29986 44181 1046427 24.64 no data
2866.65/97.95 c x-sub: 502 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 11 time: 0.05
2888.40/98.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 50 Bins: 1492 BRemL: 69632 BRemN: 112 P: 9.7M T: 0.71
2888.40/98.68 c Replacing 51 vars Replaced 13906 lits Time: 0.01 s
2888.40/98.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2891.60/98.71 c bin-w-bin subsume rem 58809 bins time: 0.03 s
2891.60/98.73 c subs with bin: 112 lits-rem: 219 v-fix: 0 time: 0.02 s
2891.60/98.74 c Subs w/ non-existent bins: 20 l-rem: 0 v-fix: 0 done: 3094 time: 0.01 s
2891.60/98.74 c Removed useless bin: 3 fixed: 0 props: 0.11M time: 0.00 s
2891.60/98.76 c lits-rem: 0 cl-subs: 178 v-elim: 23 v-fix: 0 time: 0.02 s
2898.00/98.90 c subs with bin: 25 lits-rem: 5603 v-fix: 0 time: 0.09 s
2945.91/100.45 c lits-rem: 2811 cl-subs: 4929 v-elim: 0 v-fix: 0 time: 1.54 s
2945.91/100.45 c vivif2 -- cl tried 2401 cl shrink 36 lits rem 54 time: 0.00
2945.91/100.47 c vivif2 -- cl tried 24897 cl shrink 579 lits rem 2905 time: 0.02
2949.11/100.59 c asymm cl-useful: 430/2401/2401 lits-rem:732 time: 0.12
2949.11/100.59 c calculated reachability. Time: 0.00
2949.11/100.59 c N dy 654 357893 3071 2325 22555 24896 36158 675815 24.64 no data
2952.31/100.65 c Finding binary XORs T: 0.06 s found: 0
2965.10/101.02 c Finding binary XORs T: 0.05 s found: 19
2984.27/101.61 c N dy 725 380519 3071 2325 27895 41630 36158 1288199 25.01 26.63
3016.23/102.67 c N dy 792 400543 3071 2325 28146 33584 36158 750354 25.29 37.54
3029.03/103.05 c Finding binary XORs T: 0.05 s found: 3
3035.43/103.29 c Replacing 32 vars Replaced 5647 lits Time: 0.01 s
3054.60/103.85 c Finding binary XORs T: 0.05 s found: 48
3054.60/103.86 c Replacing 48 vars Replaced 12978 lits Time: 0.01 s
3057.83/103.99 c N dy 868 421286 2914 2280 23491 24703 32542 347325 26.07 27.64
3083.40/104.74 c N dy 900 444903 2914 2280 27906 40882 32542 903699 26.11 28.33
3086.56/104.81 c Finding binary XORs T: 0.05 s found: 36
3086.56/104.82 c Replacing 36 vars Replaced 8220 lits Time: 0.01 s
3176.06/107.61 c N dy 983 502384 2878 2280 29239 31957 32542 494204 24.84 26.15
3176.06/107.66 c Finding binary XORs T: 0.05 s found: 52
3176.06/107.67 c Replacing 52 vars Replaced 11880 lits Time: 0.01 s
3208.00/108.68 c Finding binary XORs T: 0.05 s found: 3
3230.37/109.37 c N dy 1091 522442 2826 2280 31553 47859 32540 1422370 26.28 67.44
3265.53/110.45 c S st 1157 536839 2826 2280 31610 32708 32540 644718 26.82 no data
3265.53/110.48 c S st 1157 537341 2826 2280 31611 33083 32540 660254 26.82 no data
3268.73/110.52 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
3271.92/110.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 54 Bins: 1747 BRemL: 10565 BRemN: 119 P: 2.9M T: 0.17
3275.13/110.71 c Replacing 57 vars Replaced 15445 lits Time: 0.01 s
3275.13/110.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3275.13/110.72 c bin-w-bin subsume rem 15013 bins time: 0.01 s
3275.13/110.73 c subs with bin: 47 lits-rem: 791 v-fix: 0 time: 0.01 s
3275.13/110.73 c Subs w/ non-existent bins: 8 l-rem: 0 v-fix: 0 done: 2769 time: 0.00 s
3275.13/110.74 c Removed useless bin: 74 fixed: 0 props: 0.07M time: 0.00 s
3275.13/110.75 c lits-rem: 0 cl-subs: 144 v-elim: 9 v-fix: 0 time: 0.02 s
3278.33/110.80 c subs with bin: 53 lits-rem: 1978 v-fix: 0 time: 0.01 s
3380.61/114.08 c lits-rem: 3498 cl-subs: 7228 v-elim: 0 v-fix: 0 time: 3.28 s
3380.61/114.08 c vivif2 -- cl tried 2104 cl shrink 16 lits rem 19 time: 0.00
3380.61/114.09 c vivif2 -- cl tried 25661 cl shrink 111 lits rem 243 time: 0.01
3383.81/114.16 c asymm cl-useful: 447/2098/2098 lits-rem:1322 time: 0.07
3383.81/114.17 c calculated reachability. Time: 0.00
3383.81/114.17 c N dy 1157 537341 2760 2095 7407 25661 24978 498929 26.82 no data
3390.21/114.36 c Finding binary XORs T: 0.05 s found: 13
3429.15/115.55 c N dy 1282 557430 2760 2095 16361 41120 24978 1372520 27.82 100.81
3460.52/116.53 c Finding binary XORs T: 0.05 s found: 3
3482.89/117.22 c N dy 1396 577450 2760 2095 18049 30000 24978 537833 28.49 103.80
3486.09/117.39 c Finding binary XORs T: 0.05 s found: 11
3671.48/123.21 c N dy 1448 683745 2760 2095 18588 47581 24978 801381 26.04 28.59
3675.26/123.27 c Finding binary XORs T: 0.05 s found: 14
3675.26/123.28 c Replacing 41 vars Replaced 8916 lits Time: 0.01 s
3808.88/127.40 c N dy 1605 770425 2719 2088 24145 57148 24910 1260382 26.57 28.62
3808.88/127.47 c Finding binary XORs T: 0.05 s found: 15
3875.99/129.54 c N dy 1674 799306 2662 1806 3806 46258 20046 834409 27.00 29.53
3904.76/130.40 c S st 1729 806012 2653 1806 3830 51995 20046 1279792 27.43 no data
3907.96/130.50 c S st 1729 806514 2653 1806 3830 52420 20046 1301358 27.43 no data
3907.96/130.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
3911.16/130.61 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 56 BRemL: 519 BRemN: 10 P: 0.9M T: 0.06
3911.16/130.64 c Replacing 17 vars Replaced 1917 lits Time: 0.03 s
3911.16/130.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3911.16/130.65 c bin-w-bin subsume rem 640 bins time: 0.00 s
3911.16/130.65 c subs with bin: 46 lits-rem: 21 v-fix: 0 time: 0.00 s
3911.16/130.65 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 2634 time: 0.00 s
3911.16/130.65 c Removed useless bin: 1 fixed: 0 props: 0.05M time: 0.00 s
3911.16/130.68 c lits-rem: 0 cl-subs: 386 v-elim: 13 v-fix: 0 time: 0.03 s
3914.36/130.76 c subs with bin: 7 lits-rem: 16 v-fix: 0 time: 0.00 s
4419.34/146.56 c lits-rem: 6991 cl-subs: 10140 v-elim: 0 v-fix: 0 time: 15.79 s
4419.34/146.56 c vivif2 -- cl tried 1221 cl shrink 6 lits rem 17 time: 0.00
4419.34/146.58 c vivif2 -- cl tried 42046 cl shrink 3 lits rem 4 time: 0.02
4419.34/146.60 c asymm cl-useful: 151/1221/1221 lits-rem:303 time: 0.02
4422.54/146.60 c calculated reachability. Time: 0.00
4422.54/146.60 c N dy 1729 806514 2620 1207 2013 42046 15798 1064052 27.43 no data
4425.73/146.76 c Finding binary XORs T: 0.05 s found: 0
4489.66/148.72 c Finding binary XORs T: 0.05 s found: 6
4502.45/149.16 c N dy 1895 826569 2608 1132 2079 59174 15422 2354467 28.59 86.93
4569.58/151.30 c N dy 2035 847702 2608 1132 2101 45217 15422 1308266 29.50 31.09
4649.48/153.72 c Finding binary XORs T: 0.05 s found: 1
4665.41/154.24 c N dy 2222 869515 2608 1132 2119 64518 15422 2893880 30.83 32.47
4706.97/155.57 c N dy 2255 896918 2608 1132 2120 51528 15422 1002908 30.81 32.46
4758.07/157.12 c N dy 2329 916922 2608 1132 2160 67823 15422 1825478 31.07 33.11
4809.20/158.71 c Finding binary XORs T: 0.05 s found: 3
4818.80/159.08 c N dy 2416 942291 2608 1132 2171 51477 15422 1181380 31.47 33.90
4896.86/161.52 c Following stats are for *FIRST FINISHED THREAD ONLY*
4896.86/161.52 c num threads : 32
4896.86/161.52 c restarts : 2739
4896.86/161.52 c dynamic restarts : 2715
4896.86/161.52 c static restarts : 24
4896.86/161.52 c full restarts : 3
4896.86/161.52 c total simplify time : 2.10
4896.86/161.52 c learnts DL2 : 0
4896.86/161.52 c learnts size 2 : 536943
4896.86/161.52 c learnts size 1 : 3165 (6.23 % of vars)
4896.86/161.52 c filedLit time : 6.79 (4.32 % time)
4896.86/161.52 c v-elim SatELite : 6727 (13.24 % vars)
4896.86/161.52 c SatELite time : 0.45 (0.29 % time)
4896.86/161.52 c v-elim xor : 0 (0.00 % vars)
4896.86/161.52 c xor elim time : 0.02 (0.02 % time)
4896.86/161.52 c num binary xor trees : 4157
4896.86/161.52 c binxor trees' crown : 29762 (7.16 leafs/tree)
4896.86/161.52 c bin xor find time : 1.01
4896.86/161.52 c OTF clause improved : 45219 (0.07 clauses/conflict)
4896.86/161.52 c OTF impr. size diff : 46053 (1.02 lits/clause)
4896.86/161.52 c OTF cl watch-shrink : 154253 (0.25 clauses/conflict)
4896.86/161.52 c OTF cl watch-sh-lit : 366084 (2.37 lits/clause)
4896.86/161.52 c tried to recurMin cls : 256669 (42.16 % of conflicts)
4896.86/161.52 c updated cache : 37455 (0.15 lits/tried recurMin)
4896.86/161.52 c unit cls recevied : 209 (6.60 % of units)
4896.86/161.52 c unit cls sent : 2416 (76.33 % of units)
4896.86/161.52 c bin cls recevied : 432374
4896.86/161.52 c bin cls sent : 107658
4896.86/161.52 c clauses over max glue : 0 (0.00 % of all clauses)
4896.86/161.52 c conflicts : 608793 (3871.74 / sec)
4896.86/161.52 c decisions : 1563036 (5.48 % random)
4896.86/161.52 c bogo-props : 4950066928 (31480945.93 / sec)
4896.86/161.52 c conflict literals : 13183005 (11.93 % deleted)
4896.86/161.52 c Memory used : 9599.80 MB
4896.86/161.52 c single-thread CPU time : 157.24 s
4896.86/161.52 c all-threads sum CPU time : 4841.10 s
4896.86/161.52 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3400635-1306258262/watcher-3400635-1306258262 -o /tmp/evaluation-result-3400635-1306258262/solver-3400635-1306258262 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400635-1306258262.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=338000 CPUtime=0.74 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 436 0 0 0 74 0 0 0 25 0 32 0 737312627 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 84500 376 297 95 0 79482 0
[pid=9877/tid=9878] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=338000 CPUtime=0 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370732 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370738 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370728 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737312628 346112000 376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645006370742 0 0 4096 2 0 0 0 -1 22 0 0 0
[startup+0.123848 s]
/proc/loadavg: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=799416 CPUtime=3.26 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 10561 0 0 0 259 67 0 0 25 0 32 0 737312627 818601984 10298 268435456000 4194304 4580107 140736676125872 18446744073709551615 4205592 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 199854 10373 334 95 0 194836 0
[pid=9877/tid=9878] ppid=9875 vsize=799588 CPUtime=0.1 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 272 0 0 0 9 1 0 0 18 0 32 0 737312628 818778112 10400 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795590 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=799588 CPUtime=0.1 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 18 0 32 0 737312628 818778112 10457 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 23 0 32 0 737312628 818778112 10474 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 8 1 0 0 23 0 32 0 737312628 818778112 10534 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800145 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 24 0 32 0 737312628 818778112 10552 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=799588 CPUtime=0.09 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 1 0 0 24 0 32 0 737312628 818778112 10561 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003801647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=808052 CPUtime=0.1 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 24 0 32 0 737312628 827445248 10687 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=808052 CPUtime=0.1 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 2 0 0 18 0 32 0 737312628 827445248 10671 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510656 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=807920 CPUtime=0.09 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 8 1 0 0 24 0 32 0 737312628 827310080 10674 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510684 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=807920 CPUtime=0.1 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 266 0 0 0 8 2 0 0 24 0 32 0 737312628 827310080 10684 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795611 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=807920 CPUtime=0.1 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 321 0 0 0 8 2 0 0 17 0 32 0 737312628 827310080 10691 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=808120 CPUtime=0.09 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 424 0 0 0 7 2 0 0 17 0 32 0 737312628 827514880 10752 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604476688031200 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=808120 CPUtime=0.05 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 678 0 0 0 3 2 0 0 17 0 32 0 737312628 827514880 10771 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446744071566925704 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=808120 CPUtime=0.07 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 6 1 0 0 25 0 32 0 737312628 827514880 10786 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509236 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=816324 CPUtime=0.08 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 6 2 0 0 25 0 32 0 737312628 835915776 10808 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003796619 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 484 0 0 0 7 3 0 0 17 0 32 0 737312628 835915776 10833 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 18446604505136987616 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=816324 CPUtime=0.09 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 269 0 0 0 8 1 0 0 18 0 32 0 737312628 835915776 10844 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511823 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10871 268435456000 4194304 4580107 140736676125872 18446744073709551615 4510669 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 1 0 0 18 0 32 0 737312628 835915776 10895 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800120 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=816324 CPUtime=0.09 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 450 0 0 0 7 2 0 0 17 0 32 0 737312628 835915776 10905 268435456000 4194304 4580107 140736676125872 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10924 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003800120 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=816324 CPUtime=0.1 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 835915776 10936 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795580 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=824528 CPUtime=0.1 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 606 0 0 0 8 2 0 0 17 0 32 0 737312628 844316672 10988 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=825048 CPUtime=0.09 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 669 0 0 0 7 2 0 0 17 0 32 0 737312628 844849152 11096 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604505253256672 0 0 -1 17 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=825048 CPUtime=0.1 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 844849152 11145 268435456000 4194304 4580107 140736676125872 18446744073709551615 4511851 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=833252 CPUtime=0.1 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 18 0 32 0 737312628 853250048 11256 268435456000 4194304 4580107 140736676125872 18446744073709551615 4509212 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=841456 CPUtime=0.1 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 1 0 0 25 0 32 0 737312628 861650944 11320 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003796619 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=849920 CPUtime=0.11 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 267 0 0 0 9 2 0 0 18 0 32 0 737312628 870318080 11376 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003799099 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=858124 CPUtime=0.1 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 270 0 0 0 9 1 0 0 18 0 32 0 737312628 878718976 11401 268435456000 4194304 4580107 140736676125872 18446744073709551615 4206184 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=858256 CPUtime=0.11 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 268 0 0 0 9 2 0 0 18 0 32 0 737312628 878854144 11477 268435456000 4194304 4580107 140736676125872 18446744073709551615 47645003795611 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=858256 CPUtime=0.1 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 684 0 0 0 7 3 0 0 17 0 32 0 737312628 878854144 11491 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604480158326240 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 799416
[startup+0.214845 s]
/proc/loadavg: 20.36 28.07 29.78 1/413 9877
/proc/meminfo: memFree=255167776/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=1267948 CPUtime=5.19 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) S 9875 9877 9851 0 -1 4202496 21247 0 0 0 356 163 0 0 17 0 32 0 737312627 1298378752 20473 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9877/statm: 317051 20481 336 95 0 312033 0
[pid=9877/tid=9878] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 595 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20492 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604477929274848 0 0 -1 1 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 565 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20502 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604479314599392 0 0 -1 2 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 673 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20524 268435456000 4194304 4580107 140736676125872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=1268204 CPUtime=0.16 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 335 0 0 0 13 3 0 0 17 0 32 0 737312628 1298640896 20559 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604505136987616 0 0 -1 20 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 469 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20578 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604498647039456 0 0 -1 5 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 633 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20578 268435456000 4194304 4580107 140736676125872 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 612 0 0 0 11 4 0 0 17 0 32 0 737312628 1298640896 20600 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604476379938272 0 0 -1 3 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=1268204 CPUtime=0.16 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 632 0 0 0 11 5 0 0 17 0 32 0 737312628 1298640896 20613 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 614 0 0 0 10 5 0 0 17 0 32 0 737312628 1298640896 20630 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604502122667488 0 0 -1 16 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=1268204 CPUtime=0.17 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 375 0 0 0 13 4 0 0 17 0 32 0 737312628 1298640896 20677 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604484838252000 0 0 -1 12 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=1268204 CPUtime=0.14 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 902 0 0 0 9 5 0 0 17 0 32 0 737312628 1298640896 20696 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604483831463392 0 0 -1 8 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1005 0 0 0 9 6 0 0 17 0 32 0 737312628 1298640896 20714 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604503972347360 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=1268204 CPUtime=0.12 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1226 0 0 0 6 6 0 0 17 0 32 0 737312628 1298640896 20726 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604501768642016 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=1268204 CPUtime=0.13 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 563 0 0 0 8 5 0 0 17 0 32 0 737312628 1298640896 20746 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=1268204 CPUtime=0.14 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) D 9875 9877 9851 0 -1 4202560 513 0 0 0 10 4 0 0 17 0 32 0 737312628 1298640896 20747 268435456000 4194304 4580107 140736676125872 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=1268204 CPUtime=0.15 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) S 9875 9877 9851 0 -1 4202560 1016 0 0 0 8 7 0 0 17 0 32 0 737312628 1298640896 20765 268435456000 4194304 4580107 140736676125872 18446744073709551615 258651060958 0 0 4096 2 18446604478179139040 0 0 -1 27 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=1268720 CPUtime=0.14 cores=0-31
################
# More data... #
################
[pid=9877/tid=9908] ppid=9875 vsize=5693776 CPUtime=22.22 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 13975 0 0 0 2150 72 0 0 18 0 32 0 737312628 5830426624 1090136 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 559.12
Current children cumulated vsize (KiB) 5693776
[startup+51.1026 s]
/proc/loadavg: 26.71 28.48 29.81 33/445 9911
/proc/meminfo: memFree=249557608/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=7216548 CPUtime=1370.49 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 1569572 0 0 0 131930 5119 0 0 25 0 32 0 737312627 7389745152 1398137 268435456000 4194304 4580107 140736676125872 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 1804137 1398137 379 95 0 1799119 0
[pid=9877/tid=9878] ppid=9875 vsize=7216548 CPUtime=42.54 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51137 0 0 0 4090 164 0 0 25 0 32 0 737312628 7389745152 1398137 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=7216548 CPUtime=42.69 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48907 0 0 0 4101 168 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=7216548 CPUtime=42.72 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48432 0 0 0 4109 163 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=7216548 CPUtime=42.62 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49239 0 0 0 4100 162 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=7216548 CPUtime=42.84 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50648 0 0 0 4126 158 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=7216548 CPUtime=42.81 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50592 0 0 0 4121 160 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=7216548 CPUtime=42.36 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49244 0 0 0 4070 166 0 0 25 0 32 0 737312628 7389745152 1398138 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=7216548 CPUtime=42.73 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51210 0 0 0 4110 163 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=7216548 CPUtime=42.78 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49723 0 0 0 4117 161 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=7216548 CPUtime=42.68 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51844 0 0 0 4102 166 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=7216548 CPUtime=42.71 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48863 0 0 0 4112 159 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295661 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=7216548 CPUtime=43.21 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49162 0 0 0 4167 154 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295584 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=7216548 CPUtime=42.76 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50969 0 0 0 4113 163 0 0 25 0 32 0 737312628 7389745152 1398140 268435456000 4194304 4580107 140736676125872 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=7216548 CPUtime=42.95 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49815 0 0 0 4134 161 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=7216548 CPUtime=42.21 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49002 0 0 0 4062 159 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4321320 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=7216548 CPUtime=42.29 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48248 0 0 0 4064 165 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4497334 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=7216548 CPUtime=42.33 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49420 0 0 0 4063 170 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=7216548 CPUtime=42.38 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50422 0 0 0 4076 162 0 0 18 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=7216548 CPUtime=42.43 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50779 0 0 0 4076 167 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=7216548 CPUtime=42.77 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49681 0 0 0 4108 169 0 0 25 0 32 0 737312628 7389745152 1398141 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=7216548 CPUtime=42.73 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49445 0 0 0 4117 156 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=7216548 CPUtime=42.82 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 44641 0 0 0 4125 157 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=7216548 CPUtime=42.51 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50329 0 0 0 4087 164 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4288459 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=7216548 CPUtime=42.8 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48569 0 0 0 4116 164 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=7216548 CPUtime=42.92 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 52510 0 0 0 4135 157 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=7216548 CPUtime=42.68 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51358 0 0 0 4101 167 0 0 25 0 32 0 737312628 7389745152 1398142 268435456000 4194304 4580107 140736676125872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=7216548 CPUtime=42.23 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 49665 0 0 0 4063 160 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=7216548 CPUtime=42.86 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 51530 0 0 0 4129 157 0 0 18 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=7216548 CPUtime=42.86 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 48861 0 0 0 4124 162 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=7216548 CPUtime=42.57 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 50157 0 0 0 4092 165 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=7216548 CPUtime=47.72 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 20462 0 0 0 4696 76 0 0 25 0 32 0 737312628 7389745152 1398144 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1370.49
Current children cumulated vsize (KiB) 7216548
[startup+102.302 s]
/proc/loadavg: 29.79 29.05 29.93 33/445 9911
/proc/meminfo: memFree=248605508/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=8289108 CPUtime=3007.28 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) R 9875 9877 9851 0 -1 4202496 2140937 0 0 0 295390 5338 0 0 25 0 32 0 737312627 8488046592 1636017 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 2072277 1636017 379 95 0 2067259 0
[pid=9877/tid=9878] ppid=9875 vsize=8289108 CPUtime=93.74 cores=0-31
/proc/9877/task/9878/stat : 9878 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 81057 0 0 0 9200 174 0 0 25 0 32 0 737312628 8488046592 1636020 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318366 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9877/tid=9879] ppid=9875 vsize=8289108 CPUtime=93.39 cores=0-31
/proc/9877/task/9879/stat : 9879 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 82440 0 0 0 9160 179 0 0 25 0 32 0 737312628 8488046592 1636021 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9877/tid=9880] ppid=9875 vsize=8289108 CPUtime=93.91 cores=0-31
/proc/9877/task/9880/stat : 9880 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 78880 0 0 0 9218 173 0 0 25 0 32 0 737312628 8488046592 1636022 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9877/tid=9881] ppid=9875 vsize=8289108 CPUtime=93.81 cores=0-31
/proc/9877/task/9881/stat : 9881 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70574 0 0 0 9212 169 0 0 25 0 32 0 737312628 8488046592 1636024 268435456000 4194304 4580107 140736676125872 18446744073709551615 4256885 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=8289108 CPUtime=94.04 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 72883 0 0 0 9237 167 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9877/tid=9883] ppid=9875 vsize=8289108 CPUtime=94 cores=0-31
/proc/9877/task/9883/stat : 9883 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 73927 0 0 0 9232 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9877/tid=9884] ppid=9875 vsize=8289108 CPUtime=93.56 cores=0-31
/proc/9877/task/9884/stat : 9884 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 67537 0 0 0 9183 173 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9877/tid=9885] ppid=9875 vsize=8289108 CPUtime=93.94 cores=0-31
/proc/9877/task/9885/stat : 9885 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64100 0 0 0 9226 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9877/tid=9886] ppid=9875 vsize=8289108 CPUtime=93.98 cores=0-31
/proc/9877/task/9886/stat : 9886 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70013 0 0 0 9230 168 0 0 25 0 32 0 737312628 8488046592 1636025 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9877/tid=9887] ppid=9875 vsize=8289108 CPUtime=93.88 cores=0-31
/proc/9877/task/9887/stat : 9887 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 69442 0 0 0 9215 173 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9877/tid=9888] ppid=9875 vsize=8289108 CPUtime=93.91 cores=0-31
/proc/9877/task/9888/stat : 9888 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 60517 0 0 0 9227 164 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9877/tid=9889] ppid=9875 vsize=8289108 CPUtime=94.41 cores=0-31
/proc/9877/task/9889/stat : 9889 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 63062 0 0 0 9282 159 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9877/tid=9890] ppid=9875 vsize=8289108 CPUtime=92.99 cores=0-31
/proc/9877/task/9890/stat : 9890 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 66297 0 0 0 9130 169 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9877/tid=9891] ppid=9875 vsize=8289108 CPUtime=94.15 cores=0-31
/proc/9877/task/9891/stat : 9891 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 56685 0 0 0 9250 165 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9877/tid=9892] ppid=9875 vsize=8289108 CPUtime=93.41 cores=0-31
/proc/9877/task/9892/stat : 9892 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 66118 0 0 0 9175 166 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9877/tid=9893] ppid=9875 vsize=8289108 CPUtime=93.48 cores=0-31
/proc/9877/task/9893/stat : 9893 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64779 0 0 0 9177 171 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9877/tid=9894] ppid=9875 vsize=8289108 CPUtime=93.53 cores=0-31
/proc/9877/task/9894/stat : 9894 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 62467 0 0 0 9177 176 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4295297 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9877/tid=9895] ppid=9875 vsize=8289108 CPUtime=93.57 cores=0-31
/proc/9877/task/9895/stat : 9895 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 62742 0 0 0 9190 167 0 0 25 0 32 0 737312628 8488046592 1636026 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9877/tid=9896] ppid=9875 vsize=8289108 CPUtime=93.63 cores=0-31
/proc/9877/task/9896/stat : 9896 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61915 0 0 0 9192 171 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4318446 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9877/tid=9897] ppid=9875 vsize=8289108 CPUtime=93.96 cores=0-31
/proc/9877/task/9897/stat : 9897 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 63857 0 0 0 9221 175 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9877/tid=9898] ppid=9875 vsize=8289108 CPUtime=93.92 cores=0-31
/proc/9877/task/9898/stat : 9898 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 71448 0 0 0 9227 165 0 0 25 0 32 0 737312628 8488046592 1636027 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9877/tid=9899] ppid=9875 vsize=8289108 CPUtime=94.02 cores=0-31
/proc/9877/task/9899/stat : 9899 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 57002 0 0 0 9239 163 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9877/tid=9900] ppid=9875 vsize=8289108 CPUtime=93.69 cores=0-31
/proc/9877/task/9900/stat : 9900 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 73411 0 0 0 9196 173 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9877/tid=9901] ppid=9875 vsize=8289108 CPUtime=94 cores=0-31
/proc/9877/task/9901/stat : 9901 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61001 0 0 0 9231 169 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9877/tid=9902] ppid=9875 vsize=8289108 CPUtime=94.11 cores=0-31
/proc/9877/task/9902/stat : 9902 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 64305 0 0 0 9250 161 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9877/tid=9903] ppid=9875 vsize=8289108 CPUtime=93.86 cores=0-31
/proc/9877/task/9903/stat : 9903 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 68193 0 0 0 9213 173 0 0 25 0 32 0 737312628 8488046592 1636028 268435456000 4194304 4580107 140736676125872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9877/tid=9904] ppid=9875 vsize=8289108 CPUtime=93.44 cores=0-31
/proc/9877/task/9904/stat : 9904 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 61365 0 0 0 9178 166 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9877/tid=9905] ppid=9875 vsize=8289108 CPUtime=94.05 cores=0-31
/proc/9877/task/9905/stat : 9905 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 71331 0 0 0 9240 165 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9877/tid=9906] ppid=9875 vsize=8289108 CPUtime=94.05 cores=0-31
/proc/9877/task/9906/stat : 9906 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 70515 0 0 0 9234 171 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9877/tid=9907] ppid=9875 vsize=8289108 CPUtime=93.76 cores=0-31
/proc/9877/task/9907/stat : 9907 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 68842 0 0 0 9205 171 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9877/tid=9908] ppid=9875 vsize=8289108 CPUtime=98.92 cores=0-31
/proc/9877/task/9908/stat : 9908 (strangenight2-m) R 9875 9877 9851 0 -1 4202560 35744 0 0 0 9809 83 0 0 25 0 32 0 737312628 8488046592 1636029 268435456000 4194304 4580107 140736676125872 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3007.28
Current children cumulated vsize (KiB) 8289108
[startup+162.301 s]
/proc/loadavg: 31.23 29.60 30.06 2/415 9913
/proc/meminfo: memFree=249513596/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=0 CPUtime=4897.72 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) Z 9875 9877 9851 0 -1 4203548 2803045 0 0 0 484110 5662 0 0 25 0 2 0 737312627 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 0 0 0 0 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=0 CPUtime=153.92 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4203588 87589 0 0 0 15142 250 0 0 25 0 2 0 737312628 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4897.72
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+162.301 s]
/proc/loadavg: 31.23 29.60 30.06 2/415 9913
/proc/meminfo: memFree=249513596/264257624 swapFree=67111528/67111528
[pid=9877] ppid=9875 vsize=0 CPUtime=4897.72 cores=0-31
/proc/9877/stat : 9877 (strangenight2-m) Z 9875 9877 9851 0 -1 4203548 2803045 0 0 0 484110 5662 0 0 25 0 2 0 737312627 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/9877/statm: 0 0 0 0 0 0 0
[pid=9877/tid=9882] ppid=9875 vsize=0 CPUtime=153.92 cores=0-31
/proc/9877/task/9882/stat : 9882 (strangenight2-m) R 9875 9877 9851 0 -1 4203588 87589 0 0 0 15142 250 0 0 25 0 2 0 737312628 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 4897.72
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 162.321
CPU time (s): 4897.74
CPU user time (s): 4841.1
CPU system time (s): 56.6394
CPU usage (%): 3017.33
Max. virtual memory (cumulated for all children) (KiB): 9916100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4841.1
system time used= 56.6394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2803045
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= 1715409
involuntary context switches= 15158
runsolver used 1.10583 second user time and 4.03439 second system time
The end
Begin job on node200 at 2011-05-24 19:31:02
IDJOB=3400635
IDBENCH=20536
IDSOLVER=1886
FILE ID=node200/3400635-1306258262
RUNJOBID= node200-1306258262-9865
PBS_JOBID= 13411762
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400635-1306258262/watcher-3400635-1306258262 -o /tmp/evaluation-result-3400635-1306258262/solver-3400635-1306258262 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400635-1306258262.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=302606144
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.049
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.09
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
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.17
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255168312 kB
Buffers: 463804 kB
Cached: 8219924 kB
SwapCached: 0 kB
Active: 7771184 kB
Inactive: 981240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255168312 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10180 kB
Writeback: 0 kB
AnonPages: 70260 kB
Mapped: 13428 kB
Slab: 254988 kB
PageTables: 4904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186232 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= 62036 MiB
End job on node200 at 2011-05-24 19:33:45