0.00/0.00 c Outputting solution to console
0.00/0.08 c Using 32 threads
3.12/0.14 c This is CryptoMiniSat 3.0.0
3.12/0.14 c WARNING: for repeatability, setting FPU to use double precision
3.12/0.14 c Reading file 'HOME/instance-3400634-1306258015.cnf'
3.12/0.19 c -- header says num vars: 31357
3.12/0.19 c -- header says num clauses: 133420
27.21/1.48 c -- clauses added: 0 learnts, 133420 normals, 0 xors
27.21/1.48 c -- vars added 31357
27.21/1.48 c Parsing time: 0.28 s
27.21/1.48 c N st 0 0 31357 75096 58046 0 370214 0 no data no data
76.96/3.02 c asymm cl-useful: 98/3955/74946 lits-rem:194 time: 1.53
284.42/13.44 c Flit: 29 Blit: 3 bXBeca: 0 bXProp: 3530 Bins: 0 BRemL: 0 BRemN: 0 P: 53.8M T: 5.63
285.97/13.59 c Replacing 3530 vars Replaced 149255 lits Time: 0.04 s
289.29/13.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
291.40/13.82 c bin-w-bin subsume rem 6 bins time: 0.02 s
291.40/13.88 c subs with bin: 2 lits-rem: 4 v-fix: 0 time: 0.03 s
310.89/14.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 27511 time: 0.55 s
322.04/14.81 c Removed useless bin: 3 fixed: 0 props: 20.01M time: 0.33 s
330.68/15.18 c lits-rem: 13 cl-subs: 68 v-elim: 9170 v-fix: 0 time: 0.33 s
336.88/15.31 c Finding binary XORs T: 0.14 s found: 863
336.88/15.34 c Replacing 863 vars Replaced 19975 lits Time: 0.02 s
340.62/15.44 c Finding non-binary XORs: 0.06 s (found: 11722, avg size: 3.1)
340.62/15.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5042 locsubst: 3432 time: 0.04
340.62/15.45 c Replacing 182 vars Replaced 2243 lits Time: 0.01 s
340.62/15.49 c calculated reachability. Time: 0.03
340.62/15.49 c Calc default polars - time: 0.01 s pos: 3229 undec: 19459 neg: 8669
340.62/15.49 c =========================================================================================
340.62/15.49 c types(t): F = full restart, N = normal restart
340.62/15.49 c types(t): S = simplification begin/end, E = solution found
340.62/15.49 c restart types(rt): st = static, dy = dynamic
340.62/15.49 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
340.62/15.49 c B st 0 0 12254 22048 33175 0 221010 0 no data no data
355.91/15.91 c N dy 19 4085 12254 22048 33215 3364 221008 91625 15.77 16.68
365.50/16.25 c N dy 30 8234 12253 22048 35123 6783 221007 178319 12.40 14.01
378.90/16.63 c Finding binary XORs T: 0.10 s found: 297
378.90/16.65 c Replacing 299 vars Replaced 14252 lits Time: 0.02 s
384.65/16.84 c N dy 45 13550 11949 22009 34456 10896 220838 290907 12.25 12.91
394.23/17.18 c N dy 59 17623 11948 22009 35562 14140 220838 360518 11.55 12.35
406.99/17.55 c N dy 73 21649 11947 22009 37186 9615 220837 150569 11.46 22.22
422.95/18.02 c F st 95 25000 11947 22009 37220 12423 220836 240461 11.88 no data
426.15/18.16 c N st 98 26188 11947 21991 37222 13495 220760 270735 11.88 no data
445.96/18.74 c S st 101 30001 11945 21991 38806 17002 220760 432927 11.88 no data
449.16/18.85 c Finding binary XORs T: 0.10 s found: 573
449.16/18.88 c Replacing 573 vars Replaced 37906 lits Time: 0.03 s
454.91/19.00 c S st 101 30503 11372 21868 37024 15650 220272 425171 11.88 no data
454.91/19.04 c x-sub: 644 x-cut: 0 vfix: 0 v-elim: 2290 locsubst: 3308 time: 0.04
595.50/23.47 c Flit: 10 Blit: 4 bXBeca: 0 bXProp: 2385 Bins: 53295 BRemL: 10910 BRemN: 0 P: 64.3M T: 4.41
598.70/23.52 c Replacing 2482 vars Replaced 205911 lits Time: 0.05 s
598.70/23.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
598.70/23.57 c bin-w-bin subsume rem 48057 bins time: 0.03 s
601.89/23.64 c subs with bin: 7761 lits-rem: 16687 v-fix: 0 time: 0.08 s
601.89/23.68 c Subs w/ non-existent bins: 1969 l-rem: 1878 v-fix: 0 done: 6586 time: 0.03 s
601.89/23.69 c Removed useless bin: 1877 fixed: 0 props: 1.07M time: 0.01 s
605.10/23.73 c lits-rem: 263 cl-subs: 3441 v-elim: 75 v-fix: 0 time: 0.04 s
605.10/23.75 c subs with bin: 46 lits-rem: 7337 v-fix: 0 time: 0.02 s
605.10/23.77 c lits-rem: 131 cl-subs: 519 v-elim: 0 v-fix: 0 time: 0.01 s
611.49/23.93 c asymm cl-useful: 340/4477/8432 lits-rem:343 time: 0.16
611.49/23.94 c calculated reachability. Time: 0.01
611.49/23.94 c N dy 101 30503 6511 8431 25683 2280 99879 46973 11.88 no data
614.69/24.02 c Finding binary XORs T: 0.07 s found: 29
617.89/24.13 c N dy 108 35041 6511 8431 25683 5932 99879 105444 11.57 12.23
624.89/24.34 c N dy 120 39150 6511 8431 29610 9375 99879 177782 11.65 12.84
640.22/24.86 c Finding binary XORs T: 0.06 s found: 655
640.22/24.88 c Replacing 684 vars Replaced 19819 lits Time: 0.01 s
643.40/24.96 c N dy 143 43326 5827 7901 71120 7000 97038 198454 11.81 12.76
646.60/25.05 c S st 150 45755 5827 7901 71120 9037 97037 231642 11.70 no data
646.60/25.09 c S st 150 46259 5827 7901 71121 9443 97037 235312 11.70 no data
649.77/25.13 c x-sub: 502 x-cut: 0 vfix: 0 v-elim: 847 locsubst: 1390 time: 0.04
662.50/25.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 4648 BRemL: 26559 BRemN: 1131 P: 5.4M T: 0.37
662.50/25.51 c Replacing 108 vars Replaced 3819 lits Time: 0.01 s
662.50/25.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
662.50/25.53 c bin-w-bin subsume rem 27860 bins time: 0.01 s
662.50/25.55 c subs with bin: 792 lits-rem: 53 v-fix: 0 time: 0.02 s
662.50/25.57 c Subs w/ non-existent bins: 94 l-rem: 56 v-fix: 0 done: 4872 time: 0.01 s
662.50/25.58 c Removed useless bin: 279 fixed: 0 props: 0.94M time: 0.01 s
662.50/25.59 c lits-rem: 2 cl-subs: 983 v-elim: 37 v-fix: 0 time: 0.01 s
662.50/25.60 c subs with bin: 6 lits-rem: 129 v-fix: 0 time: 0.00 s
665.69/25.63 c lits-rem: 300 cl-subs: 493 v-elim: 0 v-fix: 0 time: 0.03 s
665.69/25.64 c vivif2 -- cl tried 6163 cl shrink 31 lits rem 74 time: 0.00
665.69/25.64 c vivif2 -- cl tried 2951 cl shrink 33 lits rem 35 time: 0.00
668.89/25.79 c asymm cl-useful: 363/6163/6163 lits-rem:449 time: 0.16
672.10/25.80 c calculated reachability. Time: 0.00
672.10/25.80 c N dy 150 46259 4835 6157 19292 2951 79584 40014 11.70 no data
675.29/25.91 c Finding binary XORs T: 0.06 s found: 139
675.29/25.92 c Replacing 139 vars Replaced 3388 lits Time: 0.01 s
678.49/26.07 c N dy 176 50280 4696 6007 35890 6193 78825 168571 12.48 50.49
688.09/26.36 c N dy 181 61649 4696 6007 35891 15154 78822 295401 11.83 12.51
691.90/26.52 c N dy 205 65958 4696 6007 39789 9756 78818 154896 11.89 12.71
697.65/26.66 c S st 223 69389 4696 6007 39833 12298 78816 212505 12.09 no data
700.86/26.70 c S st 223 69894 4696 6007 39834 12701 78816 218203 12.09 no data
700.86/26.75 c x-sub: 138 x-cut: 0 vfix: 0 v-elim: 150 locsubst: 321 time: 0.04
707.25/26.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 75 Bins: 650 BRemL: 19358 BRemN: 133 P: 3.9M T: 0.25
710.45/27.00 c Replacing 112 vars Replaced 3300 lits Time: 0.01 s
710.45/27.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
710.45/27.01 c bin-w-bin subsume rem 4746 bins time: 0.00 s
710.45/27.02 c subs with bin: 424 lits-rem: 0 v-fix: 0 time: 0.01 s
710.45/27.04 c Subs w/ non-existent bins: 28 l-rem: 0 v-fix: 0 done: 4434 time: 0.01 s
710.45/27.04 c Removed useless bin: 77 fixed: 0 props: 0.52M time: 0.01 s
710.45/27.05 c lits-rem: 0 cl-subs: 422 v-elim: 44 v-fix: 0 time: 0.01 s
710.45/27.07 c subs with bin: 8 lits-rem: 111 v-fix: 0 time: 0.00 s
713.65/27.11 c lits-rem: 1011 cl-subs: 1589 v-elim: 0 v-fix: 0 time: 0.04 s
713.65/27.11 c vivif2 -- cl tried 5220 cl shrink 12 lits rem 24 time: 0.00
713.65/27.11 c vivif2 -- cl tried 5748 cl shrink 2 lits rem 2 time: 0.00
716.85/27.22 c asymm cl-useful: 623/5220/5220 lits-rem:1722 time: 0.11
716.85/27.23 c calculated reachability. Time: 0.00
716.85/27.23 c N dy 223 69894 4390 4765 15996 5748 72606 61992 12.09 no data
716.85/27.30 c Finding binary XORs T: 0.07 s found: 57
720.04/27.30 c Replacing 57 vars Replaced 1711 lits Time: 0.00 s
723.24/27.44 c N dy 247 74969 4333 4755 15852 9171 72261 124905 12.21 12.92
727.02/27.60 c N dy 273 79984 4333 4755 18718 12868 72257 199586 12.36 13.13
736.01/27.83 c Finding binary XORs T: 0.05 s found: 118
736.01/27.84 c Replacing 118 vars Replaced 7267 lits Time: 0.01 s
742.40/28.05 c N dy 314 85429 4215 4628 19710 17157 71645 385219 13.61 14.88
745.61/28.13 c F st 324 87500 4215 4628 22767 18500 71643 418456 13.66 no data
752.00/28.32 c Finding binary XORs T: 0.05 s found: 46
752.00/28.32 c Replacing 46 vars Replaced 1426 lits Time: 0.00 s
758.39/28.53 c Decided on static restart strategy
758.39/28.53 c N st 330 92691 4169 4590 22665 12917 71462 241367 13.66 no data
774.36/29.09 c N st 332 99802 4169 4590 22731 18894 71462 578711 13.66 no data
777.56/29.19 c S st 333 104841 4169 4590 22732 22232 71462 664904 13.66 no data
780.76/29.25 c S st 333 105345 4169 4590 27550 22588 71462 678784 13.66 no data
783.96/29.31 c x-sub: 47 x-cut: 0 vfix: 0 v-elim: 85 locsubst: 2035 time: 0.06
790.35/29.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 53 Bins: 626 BRemL: 9426 BRemN: 170 P: 3.3M T: 0.21
790.35/29.53 c Replacing 227 vars Replaced 9816 lits Time: 0.01 s
790.35/29.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
790.35/29.54 c bin-w-bin subsume rem 1612 bins time: 0.00 s
790.35/29.55 c subs with bin: 226 lits-rem: 0 v-fix: 0 time: 0.01 s
790.35/29.57 c Subs w/ non-existent bins: 20 l-rem: 0 v-fix: 0 done: 3857 time: 0.01 s
790.35/29.57 c Removed useless bin: 66 fixed: 0 props: 0.30M time: 0.00 s
790.35/29.58 c lits-rem: 0 cl-subs: 463 v-elim: 68 v-fix: 0 time: 0.01 s
793.54/29.60 c subs with bin: 40 lits-rem: 224 v-fix: 0 time: 0.00 s
793.54/29.67 c lits-rem: 491 cl-subs: 765 v-elim: 0 v-fix: 0 time: 0.07 s
793.54/29.67 c vivif2 -- cl tried 4079 cl shrink 27 lits rem 30 time: 0.00
793.54/29.67 c vivif2 -- cl tried 7535 cl shrink 25 lits rem 25 time: 0.00
797.33/29.74 c asymm cl-useful: 432/4079/4079 lits-rem:1376 time: 0.07
797.33/29.75 c calculated reachability. Time: 0.00
797.33/29.75 c N st 333 105345 3789 3742 16285 7535 66363 137564 13.66 no data
806.31/30.03 c N st 334 114944 3789 3742 16287 8431 66362 239741 13.66 no data
809.51/30.10 c Finding binary XORs T: 0.07 s found: 64
809.51/30.12 c Replacing 74 vars Replaced 3611 lits Time: 0.01 s
819.07/30.41 c N st 335 129341 3702 3670 16168 19352 65475 466680 13.66 no data
819.07/30.46 c Finding binary XORs T: 0.04 s found: 28
828.70/30.82 c N st 336 150936 3702 3670 19679 22227 65474 530842 13.66 no data
835.71/30.98 c S st 337 158018 3702 3670 19729 27561 65474 742156 13.66 no data
838.24/31.03 c S st 337 158521 3702 3670 19753 27919 65474 746234 13.66 no data
841.47/31.15 c x-sub: 176 x-cut: 0 vfix: 0 v-elim: 87 locsubst: 1026 time: 0.12
847.83/31.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 33 Bins: 3074 BRemL: 4766 BRemN: 143 P: 2.5M T: 0.17
847.83/31.32 c Replacing 148 vars Replaced 2845 lits Time: 0.01 s
847.83/31.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
847.83/31.33 c bin-w-bin subsume rem 477 bins time: 0.00 s
847.83/31.35 c subs with bin: 119 lits-rem: 9 v-fix: 0 time: 0.01 s
847.83/31.35 c Subs w/ non-existent bins: 28 l-rem: 0 v-fix: 0 done: 3467 time: 0.01 s
847.83/31.36 c Removed useless bin: 24 fixed: 0 props: 0.24M time: 0.00 s
847.83/31.37 c lits-rem: 0 cl-subs: 175 v-elim: 84 v-fix: 0 time: 0.01 s
847.83/31.38 c subs with bin: 25 lits-rem: 23 v-fix: 0 time: 0.00 s
851.03/31.47 c lits-rem: 1081 cl-subs: 1321 v-elim: 0 v-fix: 0 time: 0.09 s
851.03/31.47 c vivif2 -- cl tried 3606 cl shrink 22 lits rem 25 time: 0.00
851.03/31.48 c vivif2 -- cl tried 4553 cl shrink 33 lits rem 124 time: 0.00
854.22/31.52 c asymm cl-useful: 422/3606/3606 lits-rem:1292 time: 0.05
854.22/31.53 c calculated reachability. Time: 0.00
854.22/31.53 c N st 337 158521 3383 3258 16958 4553 60578 100654 13.66 no data
969.27/35.17 c N st 338 207109 3383 3258 16959 26694 60578 1843135 13.66 no data
973.09/35.27 c Finding binary XORs T: 0.07 s found: 345
978.84/35.41 c Replacing 345 vars Replaced 82317 lits Time: 0.14 s
1029.97/37.09 c N st 339 237782 2848 3074 35932 30137 52796 1824802 13.66 no data
1029.97/37.09 c S st 339 237782 2848 3074 35932 30137 52796 1824802 13.66 no data
1033.18/37.14 c Finding binary XORs T: 0.03 s found: 94
1036.37/37.22 c Replacing 94 vars Replaced 28581 lits Time: 0.08 s
1036.37/37.27 c S st 339 238283 2754 3062 57128 30274 52740 1873378 13.66 no data
1039.57/37.35 c x-sub: 191 x-cut: 0 vfix: 0 v-elim: 19 locsubst: 58 time: 0.08
1049.14/37.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 11 Bins: 935 BRemL: 27277 BRemN: 91 P: 3.2M T: 0.26
1049.14/37.62 c Replacing 16 vars Replaced 1084 lits Time: 0.01 s
1049.14/37.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1049.14/37.63 c bin-w-bin subsume rem 7569 bins time: 0.00 s
1049.14/37.64 c subs with bin: 142 lits-rem: 218 v-fix: 0 time: 0.01 s
1049.14/37.65 c Subs w/ non-existent bins: 15 l-rem: 0 v-fix: 0 done: 2719 time: 0.01 s
1049.14/37.65 c Removed useless bin: 10 fixed: 0 props: 0.17M time: 0.00 s
1049.14/37.68 c lits-rem: 0 cl-subs: 218 v-elim: 111 v-fix: 0 time: 0.03 s
1052.34/37.74 c subs with bin: 25 lits-rem: 1241 v-fix: 0 time: 0.01 s
1317.57/46.09 c lits-rem: 2445 cl-subs: 3415 v-elim: 0 v-fix: 0 time: 8.34 s
1317.57/46.09 c vivif2 -- cl tried 3012 cl shrink 7 lits rem 14 time: 0.00
1320.77/46.11 c vivif2 -- cl tried 15436 cl shrink 1 lits rem 2 time: 0.02
1320.77/46.15 c asymm cl-useful: 439/3012/3012 lits-rem:1343 time: 0.04
1320.77/46.16 c calculated reachability. Time: 0.00
1320.77/46.16 c N st 339 238283 2608 2635 22639 15436 44784 878460 13.66 no data
1506.05/51.92 c F st 340 306250 2608 2635 22639 38224 44784 3149615 13.66 no data
1506.05/51.92 c N st 340 306250 2608 2635 22639 38224 44784 3149615 13.66 no data
1506.05/51.98 c Finding binary XORs T: 0.05 s found: 82
1515.65/52.21 c Replacing 82 vars Replaced 39892 lits Time: 0.23 s
1544.39/53.14 c N dy 417 325968 2526 2627 55593 30415 44727 1351584 15.38 16.72
1570.57/54.00 c N dy 515 345972 2526 2627 55621 44818 44727 1855321 17.27 18.24
1585.93/54.43 c S st 562 357424 2526 2627 55628 30328 44727 708787 17.85 16.87
1585.93/54.47 c S st 562 357926 2526 2627 55628 30670 44727 718565 17.85 no data
1589.12/54.53 c x-sub: 42 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 164 time: 0.05
1601.92/54.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 6189 BRemL: 23691 BRemN: 25 P: 4.7M T: 0.44
1601.92/54.97 c Replacing 51 vars Replaced 6305 lits Time: 0.01 s
1601.92/54.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1601.92/54.98 c bin-w-bin subsume rem 7294 bins time: 0.00 s
1601.92/55.00 c subs with bin: 93 lits-rem: 33 v-fix: 0 time: 0.02 s
1601.92/55.01 c Subs w/ non-existent bins: 16 l-rem: 0 v-fix: 0 done: 2469 time: 0.01 s
1601.92/55.01 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
1605.70/55.03 c lits-rem: 0 cl-subs: 16 v-elim: 36 v-fix: 0 time: 0.02 s
1605.70/55.07 c subs with bin: 4 lits-rem: 40 v-fix: 0 time: 0.01 s
1640.85/56.15 c lits-rem: 4602 cl-subs: 9120 v-elim: 0 v-fix: 0 time: 1.07 s
1640.85/56.15 c vivif2 -- cl tried 2620 cl shrink 7 lits rem 14 time: 0.00
1640.85/56.16 c vivif2 -- cl tried 21096 cl shrink 19 lits rem 56 time: 0.01
1644.09/56.23 c asymm cl-useful: 164/2620/2620 lits-rem:500 time: 0.07
1644.09/56.23 c calculated reachability. Time: 0.00
1644.09/56.23 c N dy 562 357926 2433 2494 30658 21096 42741 498883 17.85 no data
1646.64/56.34 c Finding binary XORs T: 0.03 s found: 0
1716.92/58.51 c N dy 593 429062 2433 2494 30688 28699 42741 504929 16.62 17.49
1716.92/58.54 c Finding binary XORs T: 0.02 s found: 4
1742.44/59.36 c N dy 693 449489 2433 2494 38796 43721 42741 1056021 17.66 18.59
1812.66/61.55 c N dy 755 536889 2433 2494 38975 24834 42741 395528 16.41 10.56
1812.66/61.55 c S st 755 536889 2433 2494 38975 24834 42741 395528 16.41 10.56
1812.66/61.58 c Finding binary XORs T: 0.02 s found: 19
1812.66/61.60 c S st 755 537393 2433 2494 43421 25190 42741 411056 16.41 no data
1816.47/61.65 c x-sub: 49 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 60 time: 0.05
1828.61/62.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2411 BRemL: 11591 BRemN: 5 P: 4.2M T: 0.36
1828.61/62.02 c Replacing 23 vars Replaced 3433 lits Time: 0.01 s
1828.61/62.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1828.61/62.03 c bin-w-bin subsume rem 2067 bins time: 0.00 s
1828.61/62.05 c subs with bin: 41 lits-rem: 10 v-fix: 0 time: 0.02 s
1828.61/62.06 c Subs w/ non-existent bins: 11 l-rem: 0 v-fix: 0 done: 2410 time: 0.01 s
1828.61/62.06 c Removed useless bin: 3 fixed: 0 props: 0.11M time: 0.00 s
1828.61/62.07 c lits-rem: 1 cl-subs: 24 v-elim: 7 v-fix: 0 time: 0.01 s
1831.81/62.10 c subs with bin: 0 lits-rem: 9 v-fix: 0 time: 0.00 s
1892.39/64.01 c lits-rem: 6322 cl-subs: 11165 v-elim: 0 v-fix: 0 time: 1.90 s
1892.39/64.01 c vivif2 -- cl tried 2441 cl shrink 3 lits rem 4 time: 0.00
1892.39/64.01 c vivif2 -- cl tried 14016 cl shrink 2 lits rem 2 time: 0.00
1892.39/64.09 c asymm cl-useful: 19/2441/2441 lits-rem:20 time: 0.08
1892.39/64.10 c calculated reachability. Time: 0.00
1895.58/64.10 c N dy 755 537393 2403 2441 32039 14016 41936 231545 16.41 no data
1911.55/64.61 c Finding binary XORs T: 0.02 s found: 33
1911.55/64.62 c Replacing 33 vars Replaced 5674 lits Time: 0.01 s
1914.75/64.74 c N dy 857 557488 2370 2441 41104 27909 41936 681301 16.87 17.87
1943.47/65.61 c N dy 979 577553 2370 2441 42513 42632 41936 1268988 17.68 40.39
1972.18/66.51 c N dy 1127 597871 2370 2441 42528 35530 41936 911980 18.57 19.84
1981.77/66.89 c Finding binary XORs T: 0.02 s found: 4
2007.28/67.66 c N dy 1261 617927 2370 2441 42598 50605 41936 1607268 19.52 30.71
2030.26/68.34 c N dy 1353 638529 2370 2441 42700 40156 41936 879574 19.83 21.19
2048.78/68.97 c N dy 1400 660141 2370 2441 42705 27732 41936 408773 19.61 21.24
2051.96/69.02 c Finding binary XORs T: 0.02 s found: 65
2051.96/69.03 c Replacing 69 vars Replaced 9506 lits Time: 0.01 s
2074.30/69.70 c Finding binary XORs T: 0.02 s found: 1
2083.88/70.10 c N dy 1520 680164 2301 2441 65597 42555 41936 1115238 20.29 21.57
2112.60/70.93 c Finding binary XORs T: 0.02 s found: 3
2112.60/70.95 c N dy 1593 700233 2301 2441 68209 28426 41936 470497 20.65 68.16
2132.38/71.55 c N dy 1601 738111 2301 2441 68210 48093 41936 730639 19.84 21.21
2157.28/72.32 c Finding binary XORs T: 0.02 s found: 67
2157.28/72.33 c Replacing 71 vars Replaced 15984 lits Time: 0.01 s
2163.67/72.51 c N dy 1708 764370 2230 2441 73996 40220 41936 872892 20.13 21.42
2189.14/73.33 c N dy 1791 784420 2230 2441 74044 55398 41936 1328193 20.25 39.88
2208.29/73.99 c Finding binary XORs T: 0.02 s found: 0
2211.48/74.09 c N dy 1864 804467 2230 2441 90970 41669 41936 951019 20.47 21.57
2214.67/74.18 c S st 1878 806089 2230 2441 90970 42884 41936 996038 20.50 no data
2217.86/74.22 c S st 1878 806592 2230 2441 90973 43227 41936 1003101 20.50 no data
2217.86/74.28 c x-sub: 169 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 194 time: 0.05
2237.60/74.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 977 BRemL: 34184 BRemN: 2 P: 7.1M T: 0.60
2237.60/74.89 c Replacing 71 vars Replaced 6059 lits Time: 0.01 s
2237.60/74.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2237.60/74.91 c bin-w-bin subsume rem 19970 bins time: 0.01 s
2240.82/74.93 c subs with bin: 28 lits-rem: 67 v-fix: 0 time: 0.02 s
2240.82/74.94 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 0 done: 2159 time: 0.01 s
2240.82/74.94 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.00 s
2240.82/74.97 c lits-rem: 0 cl-subs: 26 v-elim: 5 v-fix: 0 time: 0.02 s
2243.37/75.04 c subs with bin: 42 lits-rem: 112 v-fix: 0 time: 0.02 s
2313.60/77.21 c lits-rem: 4721 cl-subs: 16039 v-elim: 0 v-fix: 0 time: 2.16 s
2313.60/77.21 c vivif2 -- cl tried 2402 cl shrink 8 lits rem 22 time: 0.00
2313.60/77.22 c vivif2 -- cl tried 27136 cl shrink 33 lits rem 142 time: 0.01
2316.79/77.33 c asymm cl-useful: 16/2402/2402 lits-rem:16 time: 0.11
2316.79/77.34 c calculated reachability. Time: 0.00
2316.79/77.34 c N dy 1878 806592 2154 2402 37748 27136 40856 664385 20.50 no data
2339.14/78.10 c N dy 1947 828348 2154 2402 41294 43662 40856 1135468 20.55 21.74
2342.92/78.13 c Finding binary XORs T: 0.02 s found: 1
2367.85/78.90 c N dy 1993 853967 2154 2402 41553 34245 40856 493343 20.47 22.23
2428.43/80.89 c N dy 2041 924402 2154 2402 41555 47789 40856 722450 19.80 21.06
2448.21/81.51 c N dy 2061 951464 2154 2402 41780 38499 40856 523147 19.48 20.78
2473.16/82.23 c N dy 2157 973837 2154 2402 41787 54227 40856 966963 19.58 20.69
2527.46/83.92 c N dy 2158 1031383 2154 2402 41789 29303 40856 397663 18.98 20.20
2537.06/84.28 c Finding binary XORs T: 0.02 s found: 8
2553.66/84.73 c N dy 2248 1056636 2154 2402 47788 48087 40856 946907 19.07 20.13
2575.40/85.47 c F st 2332 1071876 2154 2402 48379 59322 40856 1370877 19.25 14.45
2575.40/85.49 c Replacing 9 vars Replaced 2218 lits Time: 0.01 s
2584.99/85.70 c Finding binary XORs T: 0.02 s found: 0
2584.99/85.77 c Decided on static restart strategy
2584.99/85.77 c N st 2338 1077069 2145 2402 49908 63546 40856 1620627 19.25 no data
2604.16/86.35 c N st 2342 1100178 2145 2402 49910 46532 40856 1139843 19.25 no data
2639.28/87.43 c N st 2344 1136172 2145 2402 49914 38186 40856 1537593 19.25 no data
2680.82/88.76 c N st 2345 1168564 2145 2402 50404 63559 40856 2591199 19.25 no data
2747.95/90.81 c N st 2346 1209888 2145 2402 50410 56476 40856 2504979 19.25 no data
2747.95/90.81 c S st 2346 1209888 2145 2402 50410 56476 40856 2504979 19.25 no data
2747.95/90.83 c Finding binary XORs T: 0.02 s found: 2
2747.95/90.87 c S st 2346 1210389 2145 2402 50473 56769 40856 2510020 19.25 no data
2751.15/90.93 c x-sub: 78 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 32 time: 0.06
2767.76/91.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1464 BRemL: 8062 BRemN: 0 P: 6.4M T: 0.51
2767.76/91.45 c Replacing 18 vars Replaced 2896 lits Time: 0.02 s
2767.76/91.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2767.76/91.46 c bin-w-bin subsume rem 4439 bins time: 0.00 s
2767.76/91.49 c subs with bin: 17 lits-rem: 20 v-fix: 0 time: 0.02 s
2767.76/91.49 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 2127 time: 0.01 s
2767.76/91.50 c Removed useless bin: 1 fixed: 0 props: 0.10M time: 0.00 s
2770.36/91.54 c lits-rem: 0 cl-subs: 8 v-elim: 2 v-fix: 0 time: 0.05 s
2853.41/94.16 c subs with bin: 2551 lits-rem: 0 v-fix: 0 time: 2.48 s
4425.80/143.37 c lits-rem: 14102 cl-subs: 15756 v-elim: 0 v-fix: 0 time: 49.19 s
4425.80/143.37 c vivif2 -- cl tried 2376 cl shrink 2 lits rem 3 time: 0.00
4429.01/143.40 c vivif2 -- cl tried 38452 cl shrink 94 lits rem 95 time: 0.03
4432.23/143.51 c asymm cl-useful: 14/2376/2376 lits-rem:14 time: 0.11
4432.23/143.52 c calculated reachability. Time: 0.00
4432.23/143.52 c N st 2346 1210389 2125 2376 39414 38452 40401 1647318 19.25 no data
4544.07/147.05 c N st 2347 1283272 2125 2376 39414 57046 40401 1914784 19.25 no data
4547.27/147.15 c Finding binary XORs T: 0.02 s found: 442
4553.67/147.32 c Replacing 442 vars Replaced 296884 lits Time: 0.16 s
5103.32/164.53 c N st 2348 1392596 1520 2316 119449 72820 34719 5349061 19.25 no data
5103.32/164.56 c Finding binary XORs T: 0.02 s found: 23
5106.52/164.66 c Replacing 23 vars Replaced 14547 lits Time: 0.09 s
5640.22/181.35 c N st 2349 1556581 1497 2316 125076 62311 34712 3871146 19.25 no data
5640.22/181.38 c Finding binary XORs T: 0.02 s found: 3
6205.85/199.04 c N st 2350 1710389 1497 2316 126185 53482 34712 3243603 19.25 no data
6205.85/199.04 c S st 2350 1710389 1497 2316 126185 53482 34712 3243603 19.25 no data
6205.85/199.10 c Finding binary XORs T: 0.02 s found: 57
6209.66/199.13 c Replacing 60 vars Replaced 6973 lits Time: 0.03 s
6212.86/199.23 c S st 2350 1710892 1372 2228 12264 52480 25571 2954427 19.25 no data
6212.86/199.29 c x-sub: 163 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
6215.45/199.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 139 BRemL: 3613 BRemN: 5 P: 1.1M T: 0.09
6218.61/199.42 c Replacing 4 vars Replaced 378 lits Time: 0.02 s
6218.61/199.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6218.61/199.42 c bin-w-bin subsume rem 5485 bins time: 0.00 s
6218.61/199.42 c subs with bin: 75 lits-rem: 129 v-fix: 0 time: 0.00 s
6218.61/199.43 c Subs w/ non-existent bins: 3 l-rem: 0 v-fix: 0 done: 1368 time: 0.00 s
6218.61/199.43 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s
6218.61/199.49 c lits-rem: 2 cl-subs: 784 v-elim: 45 v-fix: 0 time: 0.07 s
6228.20/199.70 c subs with bin: 42 lits-rem: 305 v-fix: 0 time: 0.03 s
6732.11/242.79 c lits-rem: 2402 cl-subs: 3410 v-elim: 0 v-fix: 0 time: 43.08 s
6732.11/242.79 c vivif2 -- cl tried 1255 cl shrink 8 lits rem 17 time: 0.00
6732.31/242.83 c vivif2 -- cl tried 48962 cl shrink 0 lits rem 0 time: 0.03
6732.31/242.84 c asymm cl-useful: 142/1254/1254 lits-rem:352 time: 0.02
6732.31/242.84 c calculated reachability. Time: 0.00
6732.31/242.84 c N st 2350 1710892 1323 1254 2410 48962 17201 2719553 19.25 no data
6732.31/242.84 c Following stats are for *FIRST FINISHED THREAD ONLY*
6732.31/242.84 c num threads : 32
6732.31/242.84 c restarts : 4292
6732.31/242.84 c dynamic restarts : 4268
6732.31/242.84 c static restarts : 24
6732.31/242.84 c full restarts : 3
6732.31/242.84 c total simplify time : 2.29
6732.31/242.84 c learnts DL2 : 0
6732.31/242.84 c learnts size 2 : 538102
6732.31/242.84 c learnts size 1 : 1012 (3.23 % of vars)
6732.31/242.84 c filedLit time : 4.22 (1.77 % time)
6732.31/242.84 c v-elim SatELite : 12294 (39.21 % vars)
6732.31/242.84 c SatELite time : 0.63 (0.27 % time)
6732.31/242.84 c v-elim xor : 0 (0.00 % vars)
6732.31/242.84 c xor elim time : 0.04 (0.02 % time)
6732.31/242.84 c num binary xor trees : 2591
6732.31/242.84 c binxor trees' crown : 14464 (5.58 leafs/tree)
6732.31/242.84 c bin xor find time : 1.02
6732.31/242.84 c OTF clause improved : 74132 (0.08 clauses/conflict)
6732.31/242.84 c OTF impr. size diff : 75642 (1.02 lits/clause)
6732.31/242.84 c OTF cl watch-shrink : 254222 (0.26 clauses/conflict)
6732.31/242.84 c OTF cl watch-sh-lit : 507235 (2.00 lits/clause)
6732.31/242.84 c tried to recurMin cls : 393491 (39.96 % of conflicts)
6732.31/242.84 c updated cache : 48242 (0.12 lits/tried recurMin)
6732.31/242.84 c unit cls recevied : 111 (10.97 % of units)
6732.31/242.84 c unit cls sent : 1015 (100.30 % of units)
6732.31/242.84 c bin cls recevied : 416586
6732.31/242.84 c bin cls sent : 134494
6732.31/242.84 c clauses over max glue : 0 (0.00 % of all clauses)
6732.31/242.84 c conflicts : 984717 (4128.73 / sec)
6732.31/242.84 c decisions : 2422633 (11.21 % random)
6732.31/242.84 c bogo-props : 8301819491 (34807921.49 / sec)
6732.31/242.84 c conflict literals : 20649737 (10.84 % deleted)
6732.31/242.84 c Memory used : 8311.03 MB
6732.31/242.84 c single-thread CPU time : 238.50 s
6732.31/242.84 c all-threads sum CPU time : 6685.53 s
6732.31/242.84 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-3400634-1306258015/watcher-3400634-1306258015 -o /tmp/evaluation-result-3400634-1306258015/solver-3400634-1306258015 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400634-1306258015.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: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=338000 CPUtime=0.65 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 436 0 0 0 65 0 0 0 25 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 84500 376 297 95 0 79482 0
[pid=9790/tid=9791] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215542 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=338000 CPUtime=0 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215528 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215532 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737287988 346112000 376 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215536 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.11623 s]
/proc/loadavg: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=338000 CPUtime=3.12 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 466 0 0 0 312 0 0 0 25 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 84500 406 300 95 0 79482 0
[pid=9790/tid=9791] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 4 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=338000 CPUtime=0.11 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 11 0 0 0 22 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=338000 CPUtime=0.07 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 7 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215538 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=338000 CPUtime=0.07 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=338000 CPUtime=0.09 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 23 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287987 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=338000 CPUtime=0.06 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 24 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215123 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215127 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 0 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215133 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215127 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215129 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=338000 CPUtime=0.1 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 1 0 0 0 10 0 0 0 25 0 32 0 737287988 346112000 406 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215120 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 338000
[startup+0.203246 s]
/proc/loadavg: 27.44 29.30 30.29 1/413 9790
/proc/meminfo: memFree=255164252/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=1184744 CPUtime=5.29 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) S 9788 9790 9700 0 -1 4202496 10731 0 0 0 450 79 0 0 17 0 32 0 737287987 1213177856 10585 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9790/statm: 296186 10589 335 95 0 291168 0
[pid=9790/tid=9791] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 395 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10590 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 460 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10598 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604503877074400 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=1184744 CPUtime=0.18 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 291 0 0 0 16 2 0 0 17 0 32 0 737287987 1213177856 10605 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604509921656288 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=1184744 CPUtime=0.18 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 294 0 0 0 16 2 0 0 17 0 32 0 737287987 1213177856 10611 268435456000 4194304 4580107 140736443243968 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 277 0 0 0 15 1 0 0 17 0 32 0 737287987 1213177856 10616 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604489445424608 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) D 9788 9790 9700 0 -1 4202560 287 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10624 268435456000 4194304 4580107 140736443243968 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 283 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10629 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604572910796256 0 0 -1 30 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=1184744 CPUtime=0.14 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 270 0 0 0 12 2 0 0 18 0 32 0 737287987 1213177856 10640 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604504514854368 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=1184744 CPUtime=0.07 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 294 0 0 0 5 2 0 0 17 0 32 0 737287987 1213177856 10650 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=1184744 CPUtime=0.06 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 342 0 0 0 4 2 0 0 17 0 32 0 737287987 1213177856 10660 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 19 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=1184744 CPUtime=0.12 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 389 0 0 0 10 2 0 0 17 0 32 0 737287987 1213177856 10665 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604569936559584 0 0 -1 31 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 298 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10673 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604542854331872 0 0 -1 3 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=1184744 CPUtime=0.16 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 300 0 0 0 14 2 0 0 17 0 32 0 737287987 1213177856 10686 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=1184744 CPUtime=0.17 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 277 0 0 0 15 2 0 0 17 0 32 0 737287987 1213177856 10694 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 18446604503877074400 0 0 -1 21 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=1184876 CPUtime=0.17 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 273 0 0 0 15 2 0 0 17 0 32 0 737287988 1213313024 10702 268435456000 4194304 4580107 140736443243968 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=1184876 CPUtime=0.12 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 389 0 0 0 10 2 0 0 17 0 32 0 737287988 1213313024 10733 268435456000 4194304 4580107 140736443243968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=1184876 CPUtime=0.15 cores=0-31
################
# More data... #
################
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 2799038 0 0 0 668303 4688 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 4416041 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 2127623 1492429 379 95 0 2122605 0
[pid=9790/tid=9791] ppid=9788 vsize=8510492 CPUtime=209.41 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 132762 0 0 0 20782 159 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573744586208 0 0 -1 29 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=8510492 CPUtime=208.81 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 97768 0 0 0 20737 144 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604703133760992 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 101720 0 0 0 20654 151 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604481961950688 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=8510492 CPUtime=208.12 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 66730 0 0 0 20669 143 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604712329027040 0 0 -1 12 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=8510492 CPUtime=208.07 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90231 0 0 0 20657 150 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604701816569312 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=8510492 CPUtime=207.45 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 105467 0 0 0 20581 164 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476745104864 0 0 -1 19 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=8510492 CPUtime=208.15 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88205 0 0 0 20666 149 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604567742086624 0 0 -1 10 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=8510492 CPUtime=207.73 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 74316 0 0 0 20628 145 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604542854331872 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=8510492 CPUtime=207.78 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 82685 0 0 0 20621 157 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604566218489312 0 0 -1 30 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=8510492 CPUtime=207.98 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89617 0 0 0 20646 152 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569637101024 0 0 -1 25 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=8510492 CPUtime=218.78 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 84253 0 0 0 21723 155 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604482778430944 0 0 -1 18 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=8510492 CPUtime=206.86 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 115640 0 0 0 20525 161 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604709494734304 0 0 -1 19 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=8510492 CPUtime=208.37 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70405 0 0 0 20689 148 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604565238103520 0 0 -1 11 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=8510492 CPUtime=208.72 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 69911 0 0 0 20740 132 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604571924569568 0 0 -1 0 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=8510492 CPUtime=208.13 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78436 0 0 0 20662 151 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604509921656288 0 0 -1 21 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 73823 0 0 0 20687 146 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572313091552 0 0 -1 15 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72838 0 0 0 20666 137 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572910796256 0 0 -1 17 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70186 0 0 0 20662 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573169851872 0 0 -1 5 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=8510492 CPUtime=208.01 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 86749 0 0 0 20652 149 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604489445424608 0 0 -1 13 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=8510492 CPUtime=208.41 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89121 0 0 0 20699 142 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604702568316384 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72352 0 0 0 20658 145 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604504514854368 0 0 -1 9 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=8510492 CPUtime=206.47 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 124911 0 0 0 20480 167 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569936559584 0 0 -1 26 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=8510492 CPUtime=208.84 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 106215 0 0 0 20732 152 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604707246267872 0 0 -1 6 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=8510492 CPUtime=208.06 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 77591 0 0 0 20671 135 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573492780512 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=8510492 CPUtime=208.39 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 104364 0 0 0 20691 148 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604574507171296 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=8510492 CPUtime=208.4 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89387 0 0 0 20696 144 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476241395168 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 87558 0 0 0 20710 147 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569623797216 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=8510492 CPUtime=208.23 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88289 0 0 0 20673 150 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604575146638816 0 0 -1 24 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78839 0 0 0 20690 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446744071566928264 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90105 0 0 0 20718 139 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604503877074400 0 0 -1 23 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=8510492 CPUtime=238.01 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 32943 0 0 0 23725 76 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799190571 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6729.91
Current children cumulated vsize (KiB) 8510492
[startup+242.402 s]
/proc/loadavg: 20.36 28.07 29.78 3/445 9829
/proc/meminfo: memFree=249194168/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=8510492 CPUtime=6731.51 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) R 9788 9790 9700 0 -1 4202496 2799038 0 0 0 668463 4688 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 4416292 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 2127623 1492429 379 95 0 2122605 0
[pid=9790/tid=9791] ppid=9788 vsize=8510492 CPUtime=209.41 cores=0-31
/proc/9790/task/9791/stat : 9791 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 132762 0 0 0 20782 159 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573744586208 0 0 -1 29 0 0 0
[pid=9790/tid=9792] ppid=9788 vsize=8510492 CPUtime=208.81 cores=0-31
/proc/9790/task/9792/stat : 9792 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 97768 0 0 0 20737 144 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604703133760992 0 0 -1 2 0 0 0
[pid=9790/tid=9793] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9793/stat : 9793 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 101720 0 0 0 20654 151 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604481961950688 0 0 -1 8 0 0 0
[pid=9790/tid=9794] ppid=9788 vsize=8510492 CPUtime=208.12 cores=0-31
/proc/9790/task/9794/stat : 9794 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 66730 0 0 0 20669 143 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604712329027040 0 0 -1 12 0 0 0
[pid=9790/tid=9795] ppid=9788 vsize=8510492 CPUtime=208.07 cores=0-31
/proc/9790/task/9795/stat : 9795 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90231 0 0 0 20657 150 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604701816569312 0 0 -1 28 0 0 0
[pid=9790/tid=9796] ppid=9788 vsize=8510492 CPUtime=207.45 cores=0-31
/proc/9790/task/9796/stat : 9796 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 105467 0 0 0 20581 164 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476745104864 0 0 -1 19 0 0 0
[pid=9790/tid=9797] ppid=9788 vsize=8510492 CPUtime=208.15 cores=0-31
/proc/9790/task/9797/stat : 9797 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88205 0 0 0 20666 149 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604567742086624 0 0 -1 10 0 0 0
[pid=9790/tid=9798] ppid=9788 vsize=8510492 CPUtime=207.73 cores=0-31
/proc/9790/task/9798/stat : 9798 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 74316 0 0 0 20628 145 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604542854331872 0 0 -1 7 0 0 0
[pid=9790/tid=9799] ppid=9788 vsize=8510492 CPUtime=207.78 cores=0-31
/proc/9790/task/9799/stat : 9799 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 82685 0 0 0 20621 157 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604566218489312 0 0 -1 30 0 0 0
[pid=9790/tid=9800] ppid=9788 vsize=8510492 CPUtime=207.98 cores=0-31
/proc/9790/task/9800/stat : 9800 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89617 0 0 0 20646 152 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569637101024 0 0 -1 25 0 0 0
[pid=9790/tid=9801] ppid=9788 vsize=8510492 CPUtime=218.78 cores=0-31
/proc/9790/task/9801/stat : 9801 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 84253 0 0 0 21723 155 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604482778430944 0 0 -1 18 0 0 0
[pid=9790/tid=9802] ppid=9788 vsize=8510492 CPUtime=206.86 cores=0-31
/proc/9790/task/9802/stat : 9802 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 115640 0 0 0 20525 161 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604709494734304 0 0 -1 19 0 0 0
[pid=9790/tid=9803] ppid=9788 vsize=8510492 CPUtime=208.37 cores=0-31
/proc/9790/task/9803/stat : 9803 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70405 0 0 0 20689 148 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604565238103520 0 0 -1 11 0 0 0
[pid=9790/tid=9804] ppid=9788 vsize=8510492 CPUtime=208.72 cores=0-31
/proc/9790/task/9804/stat : 9804 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 69911 0 0 0 20740 132 0 0 25 0 32 0 737287987 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604571924569568 0 0 -1 0 0 0 0
[pid=9790/tid=9805] ppid=9788 vsize=8510492 CPUtime=208.13 cores=0-31
/proc/9790/task/9805/stat : 9805 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78436 0 0 0 20662 151 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604509921656288 0 0 -1 21 0 0 0
[pid=9790/tid=9806] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9806/stat : 9806 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 73823 0 0 0 20687 146 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572313091552 0 0 -1 15 0 0 0
[pid=9790/tid=9807] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9807/stat : 9807 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72838 0 0 0 20666 137 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604572910796256 0 0 -1 17 0 0 0
[pid=9790/tid=9808] ppid=9788 vsize=8510492 CPUtime=208.05 cores=0-31
/proc/9790/task/9808/stat : 9808 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 70186 0 0 0 20662 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573169851872 0 0 -1 5 0 0 0
[pid=9790/tid=9809] ppid=9788 vsize=8510492 CPUtime=208.01 cores=0-31
/proc/9790/task/9809/stat : 9809 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 86749 0 0 0 20652 149 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604489445424608 0 0 -1 13 0 0 0
[pid=9790/tid=9810] ppid=9788 vsize=8510492 CPUtime=208.41 cores=0-31
/proc/9790/task/9810/stat : 9810 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89121 0 0 0 20699 142 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604702568316384 0 0 -1 20 0 0 0
[pid=9790/tid=9811] ppid=9788 vsize=8510492 CPUtime=208.03 cores=0-31
/proc/9790/task/9811/stat : 9811 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 72352 0 0 0 20658 145 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604504514854368 0 0 -1 9 0 0 0
[pid=9790/tid=9812] ppid=9788 vsize=8510492 CPUtime=206.47 cores=0-31
/proc/9790/task/9812/stat : 9812 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 124911 0 0 0 20480 167 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569936559584 0 0 -1 26 0 0 0
[pid=9790/tid=9813] ppid=9788 vsize=8510492 CPUtime=208.84 cores=0-31
/proc/9790/task/9813/stat : 9813 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 106215 0 0 0 20732 152 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604707246267872 0 0 -1 6 0 0 0
[pid=9790/tid=9814] ppid=9788 vsize=8510492 CPUtime=208.06 cores=0-31
/proc/9790/task/9814/stat : 9814 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 77591 0 0 0 20671 135 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604573492780512 0 0 -1 0 0 0 0
[pid=9790/tid=9815] ppid=9788 vsize=8510492 CPUtime=208.39 cores=0-31
/proc/9790/task/9815/stat : 9815 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 104364 0 0 0 20691 148 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604574507171296 0 0 -1 14 0 0 0
[pid=9790/tid=9816] ppid=9788 vsize=8510492 CPUtime=208.4 cores=0-31
/proc/9790/task/9816/stat : 9816 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 89387 0 0 0 20696 144 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604476241395168 0 0 -1 4 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 87558 0 0 0 20710 147 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604569623797216 0 0 -1 18 0 0 0
[pid=9790/tid=9818] ppid=9788 vsize=8510492 CPUtime=208.23 cores=0-31
/proc/9790/task/9818/stat : 9818 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 88289 0 0 0 20673 150 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604575146638816 0 0 -1 24 0 0 0
[pid=9790/tid=9819] ppid=9788 vsize=8510492 CPUtime=208.33 cores=0-31
/proc/9790/task/9819/stat : 9819 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 78839 0 0 0 20690 143 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446744071566928264 0 0 -1 22 0 0 0
[pid=9790/tid=9820] ppid=9788 vsize=8510492 CPUtime=208.57 cores=0-31
/proc/9790/task/9820/stat : 9820 (strangenight2-m) S 9788 9790 9700 0 -1 4202560 90105 0 0 0 20718 139 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799215156 0 0 4096 2 18446604503877074400 0 0 -1 23 0 0 0
[pid=9790/tid=9821] ppid=9788 vsize=8510492 CPUtime=238.81 cores=0-31
/proc/9790/task/9821/stat : 9821 (strangenight2-m) R 9788 9790 9700 0 -1 4202560 32943 0 0 0 23805 76 0 0 25 0 32 0 737287988 8714743808 1492429 268435456000 4194304 4580107 140736443243968 18446744073709551615 47836799190724 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6731.51
Current children cumulated vsize (KiB) 8510492
[startup+243.216 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6732.81 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4728 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=208.94 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 184 0 0 18 0 2 0 737287988 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) 6732.81
Current children cumulated vsize (KiB) 0
[startup+243.401 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6732.99 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4746 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=209.13 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 203 0 0 18 0 2 0 737287988 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) 6732.99
Current children cumulated vsize (KiB) 0
[startup+243.501 s]
/proc/loadavg: 20.36 28.07 29.78 2/415 9829
/proc/meminfo: memFree=251083236/264257624 swapFree=67111528/67111528
[pid=9790] ppid=9788 vsize=0 CPUtime=6733.09 cores=0-31
/proc/9790/stat : 9790 (strangenight2-m) Z 9788 9790 9700 0 -1 4203548 2799042 0 0 0 668553 4756 0 0 25 0 2 0 737287987 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9790/statm: 0 0 0 0 0 0 0
[pid=9790/tid=9817] ppid=9788 vsize=0 CPUtime=209.23 cores=0-31
/proc/9790/task/9817/stat : 9817 (strangenight2-m) R 9788 9790 9700 0 -1 4203588 87558 0 0 0 20710 213 0 0 18 0 2 0 737287988 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) 6733.09
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 243.598
CPU time (s): 6733.2
CPU user time (s): 6685.53
CPU system time (s): 47.6638
CPU usage (%): 2764.06
Max. virtual memory (cumulated for all children) (KiB): 8783888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6685.53
system time used= 47.6638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2799042
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= 1154567
involuntary context switches= 21206
runsolver used 1.41179 second user time and 5.45917 second system time
The end
Begin job on node200 at 2011-05-24 19:26:56
IDJOB=3400634
IDBENCH=20529
IDSOLVER=1886
FILE ID=node200/3400634-1306258015
RUNJOBID= node200-1306257797-9714
PBS_JOBID= 13411761
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.k20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400634-1306258015/watcher-3400634-1306258015 -o /tmp/evaluation-result-3400634-1306258015/solver-3400634-1306258015 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400634-1306258015.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2bee695ce4278b72ee9295631ad94252
RANDOM SEED=1955390125
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: 255164788 kB
Buffers: 463780 kB
Cached: 8218376 kB
SwapCached: 0 kB
Active: 7770052 kB
Inactive: 981236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255164788 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8780 kB
Writeback: 0 kB
AnonPages: 68940 kB
Mapped: 14456 kB
Slab: 254696 kB
PageTables: 5064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191160 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:30:59