0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 32 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3400633-1306257797.cnf'
0.00/0.07 c -- header says num vars: 37432
0.00/0.07 c -- header says num clauses: 147345
22.92/1.29 c -- clauses added: 0 learnts, 147345 normals, 0 xors
22.92/1.29 c -- vars added 37432
22.92/1.29 c Parsing time: 0.24 s
22.92/1.29 c N st 0 0 37432 77121 69621 0 401064 0 no data no data
70.86/2.88 c asymm cl-useful: 55/3644/76971 lits-rem:108 time: 1.56
337.25/16.25 c Flit: 79 Blit: 3 bXBeca: 0 bXProp: 7905 Bins: 0 BRemL: 0 BRemN: 0 P: 72.9M T: 7.56
340.41/16.32 c Replacing 7905 vars Replaced 205687 lits Time: 0.04 s
345.48/16.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
345.48/16.56 c bin-w-bin subsume rem 6 bins time: 0.01 s
345.48/16.58 c subs with bin: 2 lits-rem: 4 v-fix: 0 time: 0.02 s
353.16/17.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28836 time: 0.43 s
361.01/17.36 c Removed useless bin: 3 fixed: 0 props: 20.02M time: 0.31 s
376.23/17.86 c lits-rem: 13 cl-subs: 68 v-elim: 9612 v-fix: 0 time: 0.34 s
382.17/18.02 c Finding binary XORs T: 0.16 s found: 913
382.17/18.05 c Replacing 913 vars Replaced 20428 lits Time: 0.02 s
384.85/18.17 c Finding non-binary XORs: 0.06 s (found: 12105, avg size: 3.1)
384.85/18.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5172 locsubst: 11477 time: 0.04
384.85/18.18 c Replacing 285 vars Replaced 3361 lits Time: 0.01 s
387.71/18.22 c calculated reachability. Time: 0.03
387.71/18.22 c Calc default polars - time: 0.01 s pos: 3253 undec: 25360 neg: 8819
387.71/18.22 c =========================================================================================
387.71/18.22 c types(t): F = full restart, N = normal restart
387.71/18.22 c types(t): S = simplification begin/end, E = solution found
387.71/18.22 c restart types(rt): st = static, dy = dynamic
387.71/18.22 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
387.71/18.22 c B st 0 0 12854 22298 33475 0 223838 0 no data no data
403.27/18.80 c N dy 19 4068 12854 22298 33520 3436 223835 156002 10.86 40.02
418.37/19.26 c N dy 40 8216 12852 22298 34510 6834 223835 254134 13.32 14.18
431.14/19.70 c N dy 58 12352 12852 22298 34549 10100 223833 339730 12.56 13.55
450.30/20.26 c Finding binary XORs T: 0.12 s found: 370
450.30/20.30 c Replacing 370 vars Replaced 28456 lits Time: 0.03 s
453.50/20.34 c N dy 75 16575 12481 22248 34901 12709 223612 434566 12.31 12.98
466.28/20.77 c N dy 92 20805 12481 22248 36704 8350 223611 116537 11.97 12.88
479.02/21.19 c F st 113 25001 12480 22248 37737 11864 223610 205653 11.95 9.19
482.22/21.22 c N st 113 25001 12480 22239 37737 11864 223572 205601 11.95 9.19
501.40/21.81 c Finding binary XORs T: 0.12 s found: 496
501.40/21.84 c Replacing 496 vars Replaced 23923 lits Time: 0.03 s
514.17/22.29 c N dy 119 30000 11984 22153 36312 14664 223226 464956 11.95 no data
514.17/22.29 c S st 119 30000 11984 22153 36312 14664 223226 464956 11.95 no data
520.57/22.40 c S st 119 30502 11984 22153 36322 15091 223226 471769 11.95 no data
520.57/22.44 c x-sub: 811 x-cut: 0 vfix: 0 v-elim: 2355 locsubst: 2877 time: 0.04
657.97/26.76 c Flit: 16 Blit: 5 bXBeca: 1 bXProp: 2358 Bins: 61925 BRemL: 12386 BRemN: 0 P: 68.4M T: 4.30
661.17/26.81 c Replacing 2463 vars Replaced 224853 lits Time: 0.05 s
661.17/26.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
661.17/26.86 c bin-w-bin subsume rem 53590 bins time: 0.04 s
664.37/26.94 c subs with bin: 7600 lits-rem: 16189 v-fix: 0 time: 0.08 s
664.37/26.98 c Subs w/ non-existent bins: 2215 l-rem: 2028 v-fix: 0 done: 7141 time: 0.04 s
664.37/26.99 c Removed useless bin: 1426 fixed: 0 props: 0.80M time: 0.01 s
667.56/27.03 c lits-rem: 240 cl-subs: 3684 v-elim: 106 v-fix: 0 time: 0.04 s
667.56/27.05 c subs with bin: 78 lits-rem: 3836 v-fix: 0 time: 0.01 s
667.56/27.07 c lits-rem: 100 cl-subs: 293 v-elim: 0 v-fix: 0 time: 0.01 s
673.96/27.24 c asymm cl-useful: 413/4720/8364 lits-rem:413 time: 0.17
673.96/27.25 c calculated reachability. Time: 0.01
673.96/27.25 c N dy 119 30502 7035 8364 27506 1650 100241 40346 11.95 no data
677.15/27.33 c Finding binary XORs T: 0.08 s found: 22
687.37/27.68 c N dy 146 34766 7035 8364 32141 5179 100240 146829 12.94 13.77
709.06/28.35 c Finding binary XORs T: 0.07 s found: 717
709.06/28.38 c Replacing 739 vars Replaced 38453 lits Time: 0.02 s
712.23/28.44 c N dy 159 38812 6296 7773 82850 8490 97019 334506 13.01 14.04
719.03/28.62 c N dy 169 42896 6296 7773 82851 6447 97017 205932 12.83 18.11
724.71/28.90 c S st 172 45754 6296 7773 88322 8563 97017 247025 12.57 8.48
727.87/28.95 c S st 172 46258 6296 7773 88324 8968 97017 250982 12.57 no data
731.07/29.00 c x-sub: 451 x-cut: 0 vfix: 0 v-elim: 938 locsubst: 1196 time: 0.05
740.63/29.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 51 Bins: 4271 BRemL: 32348 BRemN: 1296 P: 5.4M T: 0.39
740.63/29.40 c Replacing 140 vars Replaced 3420 lits Time: 0.01 s
743.83/29.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
743.83/29.43 c bin-w-bin subsume rem 37691 bins time: 0.02 s
743.83/29.44 c subs with bin: 861 lits-rem: 9 v-fix: 0 time: 0.02 s
743.83/29.46 c Subs w/ non-existent bins: 92 l-rem: 30 v-fix: 0 done: 5218 time: 0.01 s
743.83/29.47 c Removed useless bin: 204 fixed: 0 props: 0.94M time: 0.01 s
743.83/29.48 c lits-rem: 3 cl-subs: 1068 v-elim: 39 v-fix: 0 time: 0.01 s
743.83/29.49 c subs with bin: 6 lits-rem: 106 v-fix: 0 time: 0.00 s
743.83/29.50 c lits-rem: 72 cl-subs: 218 v-elim: 0 v-fix: 0 time: 0.01 s
747.02/29.50 c vivif2 -- cl tried 5879 cl shrink 53 lits rem 123 time: 0.00
747.02/29.50 c vivif2 -- cl tried 1323 cl shrink 20 lits rem 28 time: 0.00
750.22/29.64 c asymm cl-useful: 288/5879/5879 lits-rem:357 time: 0.14
750.22/29.65 c calculated reachability. Time: 0.00
750.22/29.65 c N dy 172 46258 5179 5876 20272 1322 78416 24850 12.57 no data
754.00/29.72 c Finding binary XORs T: 0.07 s found: 0
757.24/29.86 c N dy 186 50722 5179 5876 28484 4175 78414 108297 12.80 13.61
763.03/30.04 c N dy 206 54732 5179 5876 28485 6945 78413 189691 13.36 14.96
769.39/30.24 c N dy 230 58793 5179 5876 31970 10063 78411 291967 13.98 17.65
772.59/30.33 c Finding binary XORs T: 0.06 s found: 136
772.59/30.35 c Replacing 136 vars Replaced 8127 lits Time: 0.01 s
775.79/30.48 c N dy 251 62837 5043 5742 32462 12926 77745 360751 14.17 52.72
785.38/30.71 c N dy 277 67042 5043 5742 32462 9336 77740 175864 14.62 15.60
789.17/30.85 c S st 293 69387 5043 5742 32525 11114 77739 235841 14.93 no data
789.17/30.90 c S st 293 69888 5043 5742 32527 11535 77739 241043 14.93 no data
792.39/30.95 c x-sub: 132 x-cut: 0 vfix: 0 v-elim: 164 locsubst: 783 time: 0.05
798.15/31.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 61 Bins: 1090 BRemL: 14758 BRemN: 88 P: 3.8M T: 0.23
798.15/31.19 c Replacing 138 vars Replaced 4062 lits Time: 0.01 s
798.15/31.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
798.15/31.20 c bin-w-bin subsume rem 2943 bins time: 0.00 s
801.34/31.21 c subs with bin: 478 lits-rem: 0 v-fix: 0 time: 0.01 s
801.34/31.22 c Subs w/ non-existent bins: 55 l-rem: 0 v-fix: 0 done: 4741 time: 0.01 s
801.34/31.23 c Removed useless bin: 93 fixed: 0 props: 0.47M time: 0.00 s
801.34/31.24 c lits-rem: 2 cl-subs: 362 v-elim: 46 v-fix: 0 time: 0.01 s
801.34/31.25 c subs with bin: 13 lits-rem: 210 v-fix: 0 time: 0.00 s
801.34/31.27 c lits-rem: 612 cl-subs: 2043 v-elim: 0 v-fix: 0 time: 0.02 s
801.34/31.28 c vivif2 -- cl tried 5024 cl shrink 45 lits rem 89 time: 0.00
801.34/31.28 c vivif2 -- cl tried 3479 cl shrink 30 lits rem 34 time: 0.00
804.54/31.38 c asymm cl-useful: 651/5024/5024 lits-rem:1861 time: 0.10
804.54/31.39 c calculated reachability. Time: 0.00
804.54/31.39 c N dy 293 69888 4695 4528 15687 3479 71839 41098 14.93 no data
810.93/31.60 c N dy 318 74575 4695 4528 15702 7057 71836 148249 15.36 16.78
817.33/31.75 c Finding binary XORs T: 0.08 s found: 132
817.33/31.76 c Replacing 132 vars Replaced 5511 lits Time: 0.01 s
820.53/31.91 c N dy 343 80221 4563 4425 18818 11149 71074 268301 15.65 17.44
827.55/32.10 c N dy 372 85741 4563 4425 19602 14824 71073 355594 15.74 16.72
833.30/32.23 c F st 386 87500 4563 4425 19635 16226 71073 419739 16.11 no data
842.90/32.53 c Decided on static restart strategy
842.90/32.53 c N st 392 92692 4563 4425 19636 11946 71073 266876 16.11 no data
865.25/33.21 c N st 394 99803 4563 4425 20047 18022 71073 732475 16.11 no data
865.25/33.29 c Finding binary XORs T: 0.06 s found: 112
868.45/33.32 c Replacing 122 vars Replaced 16234 lits Time: 0.03 s
900.41/34.38 c S st 395 104832 4428 4322 25902 22469 70046 1344972 16.11 no data
903.59/34.43 c S st 395 105334 4428 4322 25903 22845 70046 1349698 16.11 no data
903.59/34.49 c x-sub: 97 x-cut: 0 vfix: 0 v-elim: 94 locsubst: 2808 time: 0.06
913.18/34.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 4593 BRemL: 12356 BRemN: 157 P: 3.1M T: 0.21
913.18/34.72 c Replacing 214 vars Replaced 8317 lits Time: 0.01 s
913.18/34.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
913.18/34.72 c bin-w-bin subsume rem 1785 bins time: 0.00 s
913.18/34.74 c subs with bin: 176 lits-rem: 7 v-fix: 0 time: 0.01 s
913.18/34.75 c Subs w/ non-existent bins: 50 l-rem: 0 v-fix: 0 done: 4120 time: 0.01 s
913.18/34.75 c Removed useless bin: 48 fixed: 0 props: 0.29M time: 0.00 s
913.18/34.77 c lits-rem: 1 cl-subs: 397 v-elim: 76 v-fix: 0 time: 0.01 s
913.18/34.78 c subs with bin: 18 lits-rem: 201 v-fix: 0 time: 0.01 s
916.38/34.85 c lits-rem: 848 cl-subs: 1654 v-elim: 0 v-fix: 0 time: 0.07 s
916.38/34.86 c vivif2 -- cl tried 4032 cl shrink 50 lits rem 88 time: 0.00
916.38/34.86 c vivif2 -- cl tried 5883 cl shrink 22 lits rem 23 time: 0.00
919.58/34.93 c asymm cl-useful: 458/4032/4032 lits-rem:1413 time: 0.06
919.58/34.93 c calculated reachability. Time: 0.00
919.58/34.93 c N st 395 105334 4044 3672 15858 5882 64976 138875 16.11 no data
964.91/36.36 c N st 396 114933 4044 3672 15858 7987 64976 689924 16.11 no data
968.13/36.46 c Finding binary XORs T: 0.08 s found: 181
970.69/36.50 c Replacing 191 vars Replaced 20461 lits Time: 0.04 s
1050.59/39.03 c N st 397 129330 3814 3525 31610 21012 62718 2114186 16.11 no data
1053.79/39.11 c Finding binary XORs T: 0.05 s found: 206
1056.98/39.21 c Replacing 246 vars Replaced 23102 lits Time: 0.09 s
1124.06/41.35 c N st 398 150925 3470 3428 37124 25106 58451 1945910 16.11 no data
1127.26/41.43 c Finding binary XORs T: 0.05 s found: 135
1127.26/41.47 c Replacing 135 vars Replaced 15892 lits Time: 0.04 s
1162.40/42.52 c S st 399 158002 3293 3391 42792 31369 56712 2559647 16.11 no data
1162.40/42.59 c Finding binary XORs T: 0.05 s found: 57
1165.60/42.61 c Replacing 57 vars Replaced 11922 lits Time: 0.02 s
1165.60/42.66 c S st 399 158505 3236 3389 59832 31720 56703 2601294 16.11 no data
1168.79/42.73 c x-sub: 378 x-cut: 0 vfix: 0 v-elim: 55 locsubst: 33 time: 0.06
1175.78/43.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 587 BRemL: 29555 BRemN: 88 P: 3.6M T: 0.29
1179.01/43.03 c Replacing 7 vars Replaced 770 lits Time: 0.01 s
1179.01/43.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1179.01/43.04 c bin-w-bin subsume rem 6153 bins time: 0.00 s
1179.01/43.06 c subs with bin: 176 lits-rem: 205 v-fix: 0 time: 0.02 s
1179.01/43.07 c Subs w/ non-existent bins: 41 l-rem: 0 v-fix: 0 done: 3174 time: 0.01 s
1179.01/43.07 c Removed useless bin: 35 fixed: 0 props: 0.22M time: 0.00 s
1181.57/43.10 c lits-rem: 1 cl-subs: 361 v-elim: 136 v-fix: 0 time: 0.03 s
1181.57/43.17 c subs with bin: 24 lits-rem: 2615 v-fix: 0 time: 0.01 s
1246.07/45.21 c lits-rem: 1336 cl-subs: 1313 v-elim: 0 v-fix: 0 time: 2.04 s
1246.07/45.22 c vivif2 -- cl tried 3282 cl shrink 49 lits rem 95 time: 0.00
1249.31/45.24 c vivif2 -- cl tried 14507 cl shrink 69 lits rem 89 time: 0.02
1249.31/45.30 c asymm cl-useful: 645/3282/3282 lits-rem:2158 time: 0.05
1251.86/45.30 c calculated reachability. Time: 0.00
1251.86/45.30 c N st 399 158505 3038 2698 24138 14507 45768 930526 16.11 no data
1465.99/52.09 c N st 400 207094 3038 2698 24139 27771 45768 1556296 16.11 no data
1469.20/52.17 c Finding binary XORs T: 0.07 s found: 50
1469.20/52.20 c Replacing 50 vars Replaced 12090 lits Time: 0.02 s
1492.20/52.84 c N st 401 237758 2988 2695 46026 27998 45750 1180892 16.11 no data
1492.20/52.84 c S st 401 237758 2988 2695 46026 27998 45750 1180892 16.11 no data
1492.20/52.89 c Finding binary XORs T: 0.03 s found: 45
1492.20/52.90 c Replacing 45 vars Replaced 9007 lits Time: 0.01 s
1495.40/52.93 c S st 401 238258 2943 2695 53658 28337 45750 1205291 16.11 no data
1495.40/52.97 c x-sub: 59 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 268 time: 0.04
1510.75/53.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 4828 BRemL: 20633 BRemN: 110 P: 5.1M T: 0.48
1510.75/53.46 c Replacing 81 vars Replaced 7916 lits Time: 0.01 s
1510.75/53.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1510.75/53.47 c bin-w-bin subsume rem 7557 bins time: 0.00 s
1510.75/53.49 c subs with bin: 91 lits-rem: 47 v-fix: 0 time: 0.02 s
1513.94/53.50 c Subs w/ non-existent bins: 32 l-rem: 0 v-fix: 0 done: 2854 time: 0.01 s
1513.94/53.50 c Removed useless bin: 10 fixed: 0 props: 0.15M time: 0.00 s
1513.94/53.53 c lits-rem: 0 cl-subs: 20 v-elim: 65 v-fix: 0 time: 0.03 s
1513.94/53.59 c subs with bin: 2 lits-rem: 353 v-fix: 0 time: 0.01 s
1846.98/63.96 c lits-rem: 783 cl-subs: 4775 v-elim: 0 v-fix: 0 time: 10.36 s
1846.98/63.96 c vivif2 -- cl tried 2770 cl shrink 11 lits rem 26 time: 0.00
1846.98/63.98 c vivif2 -- cl tried 23341 cl shrink 2 lits rem 2 time: 0.02
1849.51/64.05 c asymm cl-useful: 266/2769/2769 lits-rem:796 time: 0.07
1849.51/64.05 c calculated reachability. Time: 0.00
1849.51/64.05 c N st 401 238258 2789 2537 29953 23341 43005 953861 16.11 no data
1914.08/66.02 c F st 402 306251 2789 2537 29953 32919 43005 1306112 16.11 no data
1914.08/66.02 c N st 402 306251 2789 2537 29953 32919 43005 1306112 16.11 no data
1914.08/66.09 c Finding binary XORs T: 0.04 s found: 161
1914.08/66.10 c Replacing 161 vars Replaced 28538 lits Time: 0.01 s
1954.98/67.33 c N dy 491 340541 2628 2537 72809 35518 43005 892347 16.89 18.03
1984.38/68.26 c S st 615 357387 2628 2537 72959 27379 43005 694311 19.42 19.55
1984.38/68.28 c S st 615 357887 2628 2537 72961 27699 43005 700345 19.42 no data
1987.61/68.32 c x-sub: 213 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 176 time: 0.04
2002.92/68.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 8656 BRemL: 28202 BRemN: 23 P: 6.6M T: 0.57
2002.92/68.90 c Replacing 57 vars Replaced 3187 lits Time: 0.01 s
2006.13/68.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2006.13/68.91 c bin-w-bin subsume rem 17331 bins time: 0.01 s
2006.13/68.93 c subs with bin: 70 lits-rem: 44 v-fix: 0 time: 0.02 s
2006.13/68.94 c Subs w/ non-existent bins: 11 l-rem: 0 v-fix: 0 done: 2571 time: 0.01 s
2006.13/68.94 c Removed useless bin: 22 fixed: 0 props: 0.12M time: 0.00 s
2006.13/68.96 c lits-rem: 0 cl-subs: 55 v-elim: 11 v-fix: 0 time: 0.02 s
2009.32/69.01 c subs with bin: 18 lits-rem: 91 v-fix: 0 time: 0.02 s
2073.25/71.04 c lits-rem: 8444 cl-subs: 7854 v-elim: 0 v-fix: 0 time: 2.02 s
2073.25/71.04 c vivif2 -- cl tried 2430 cl shrink 3 lits rem 7 time: 0.00
2073.25/71.05 c vivif2 -- cl tried 19803 cl shrink 36 lits rem 132 time: 0.01
2076.45/71.14 c asymm cl-useful: 39/2430/2430 lits-rem:123 time: 0.09
2076.45/71.15 c calculated reachability. Time: 0.00
2076.45/71.15 c N dy 615 357887 2560 2415 35978 19803 40943 484215 19.42 no data
2076.45/71.18 c Finding binary XORs T: 0.03 s found: 0
2089.86/71.55 c Finding binary XORs T: 0.03 s found: 8
2098.82/71.86 c N dy 699 378186 2560 2415 44000 34102 40943 1042004 20.65 21.76
2133.97/72.98 c N dy 817 406905 2560 2415 52091 31989 40942 662884 21.61 22.78
2137.17/73.03 c Finding binary XORs T: 0.03 s found: 55
2137.17/73.04 c Replacing 63 vars Replaced 13651 lits Time: 0.01 s
2169.14/74.02 c N dy 911 426993 2497 2415 52520 23932 40942 467255 22.69 26.55
2198.54/74.94 c N dy 1033 447032 2497 2415 52567 39261 40942 1168312 23.85 80.33
2207.49/75.29 c Finding binary XORs T: 0.03 s found: 3
2217.09/75.53 c N dy 1076 467081 2497 2415 54508 29990 40942 582979 23.56 75.76
2236.25/76.17 c N dy 1135 487245 2497 2415 61133 44031 40942 1084667 23.74 25.31
2239.45/76.23 c Finding binary XORs T: 0.03 s found: 11
2271.41/77.22 c N dy 1241 507948 2497 2415 73023 34667 40942 878230 24.29 25.68
2271.41/77.25 c Finding binary XORs T: 0.03 s found: 101
2271.41/77.26 c Replacing 115 vars Replaced 32567 lits Time: 0.01 s
2309.71/78.40 c N dy 1314 536830 2382 2414 72919 30058 40934 541668 24.30 17.88
2309.71/78.40 c S st 1314 536830 2382 2414 72919 30058 40934 541668 24.30 17.88
2309.71/78.45 c S st 1314 537332 2382 2414 74963 30414 40934 557461 24.30 no data
2309.71/78.49 c x-sub: 182 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 134 time: 0.04
2328.91/79.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 27 Bins: 1426 BRemL: 28973 BRemN: 51 P: 7.4M T: 0.52
2328.91/79.03 c Replacing 81 vars Replaced 5514 lits Time: 0.01 s
2328.91/79.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2328.91/79.04 c bin-w-bin subsume rem 18375 bins time: 0.01 s
2328.91/79.06 c subs with bin: 22 lits-rem: 79 v-fix: 0 time: 0.02 s
2328.91/79.07 c Subs w/ non-existent bins: 4 l-rem: 0 v-fix: 0 done: 2301 time: 0.01 s
2328.91/79.07 c Removed useless bin: 1 fixed: 0 props: 0.12M time: 0.00 s
2328.91/79.09 c lits-rem: 0 cl-subs: 48 v-elim: 5 v-fix: 0 time: 0.02 s
2332.11/79.13 c subs with bin: 4 lits-rem: 398 v-fix: 0 time: 0.02 s
2360.86/80.07 c lits-rem: 3865 cl-subs: 7826 v-elim: 0 v-fix: 0 time: 0.93 s
2360.86/80.07 c vivif2 -- cl tried 2358 cl shrink 2 lits rem 3 time: 0.00
2360.86/80.08 c vivif2 -- cl tried 22582 cl shrink 40 lits rem 92 time: 0.01
2364.06/80.19 c asymm cl-useful: 23/2358/2358 lits-rem:23 time: 0.11
2364.06/80.20 c calculated reachability. Time: 0.00
2367.26/80.20 c N dy 1314 537332 2296 2358 28893 22582 38735 362625 24.30 no data
2367.26/80.31 c Finding binary XORs T: 0.03 s found: 0
2380.03/80.66 c Finding binary XORs T: 0.03 s found: 5
2402.42/81.36 c N dy 1341 566804 2296 2358 35823 44072 38735 944725 23.83 25.15
2402.42/81.39 c Finding binary XORs T: 0.03 s found: 5
2447.16/82.71 c N dy 1357 604002 2296 2358 38736 45703 38735 779434 22.88 24.31
2447.16/82.74 c Finding binary XORs T: 0.03 s found: 4
2517.48/84.99 c N dy 1379 656241 2296 2358 39950 27305 38735 420969 22.12 23.53
2520.67/85.03 c Finding binary XORs T: 0.03 s found: 8
2546.84/85.91 c N dy 1465 680700 2296 2358 56076 45482 38735 1101608 22.41 24.79
2610.14/87.88 c N dy 1502 738527 2296 2358 56323 56337 38735 1153205 22.02 23.22
2613.33/87.91 c Finding binary XORs T: 0.03 s found: 47
2613.33/87.92 c Replacing 69 vars Replaced 13736 lits Time: 0.01 s
2645.30/88.95 c N dy 1566 758580 2227 2358 58687 42185 38735 946142 22.21 25.80
2680.45/90.05 c N dy 1651 778583 2227 2358 58704 57190 38735 1545616 22.49 85.85
2722.62/91.37 c N dy 1777 801911 2227 2358 58910 44905 38735 1073170 22.93 24.75
2734.78/91.70 c S st 1806 805999 2227 2358 58927 48099 38735 1279952 23.12 22.09
2734.78/91.76 c S st 1806 806502 2227 2358 58927 48480 38735 1295147 23.12 no data
2737.97/91.80 c x-sub: 67 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
2750.76/92.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 28 Bins: 1634 BRemL: 19727 BRemN: 47 P: 5.9M T: 0.44
2750.76/92.27 c Replacing 28 vars Replaced 3751 lits Time: 0.02 s
2750.76/92.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2750.76/92.28 c bin-w-bin subsume rem 16280 bins time: 0.01 s
2750.76/92.30 c subs with bin: 20 lits-rem: 47 v-fix: 0 time: 0.02 s
2753.95/92.30 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 2199 time: 0.01 s
2753.95/92.31 c Removed useless bin: 0 fixed: 0 props: 0.12M time: 0.00 s
2753.95/92.33 c lits-rem: 0 cl-subs: 63 v-elim: 9 v-fix: 0 time: 0.03 s
2757.77/92.45 c subs with bin: 6 lits-rem: 764 v-fix: 0 time: 0.04 s
2901.60/96.95 c lits-rem: 5340 cl-subs: 8080 v-elim: 0 v-fix: 0 time: 4.50 s
2901.60/96.96 c vivif2 -- cl tried 2288 cl shrink 16 lits rem 19 time: 0.00
2901.60/96.98 c vivif2 -- cl tried 40387 cl shrink 153 lits rem 545 time: 0.02
2904.15/97.09 c asymm cl-useful: 50/2288/2288 lits-rem:53 time: 0.11
2904.15/97.10 c calculated reachability. Time: 0.00
2904.15/97.10 c N dy 1806 806502 2190 2288 24373 40387 36467 1061364 23.12 no data
2907.36/97.13 c Finding binary XORs T: 0.03 s found: 0
3044.79/101.46 c N dy 1808 937793 2190 2288 24373 42376 36467 759854 22.32 23.69
3047.99/101.50 c Finding binary XORs T: 0.03 s found: 42
3047.99/101.51 c Replacing 42 vars Replaced 7364 lits Time: 0.01 s
3092.74/102.97 c N dy 1943 957811 2148 2288 33637 58333 36467 1658404 22.88 83.11
3095.93/103.01 c Finding binary XORs T: 0.03 s found: 31
3095.93/103.02 c Replacing 31 vars Replaced 5454 lits Time: 0.01 s
3144.51/104.54 c N dy 2013 984330 2117 2288 34876 45041 36467 885198 23.07 24.77
3144.51/104.57 c Finding binary XORs T: 0.03 s found: 3
3246.18/107.74 c F st 2022 1071876 2117 2288 34994 36707 36467 563320 22.60 18.66
3246.18/107.75 c Replacing 3 vars Replaced 425 lits Time: 0.01 s
3246.18/107.75 c N st 2022 1071876 2114 2288 34984 36707 36467 563300 22.60 18.66
3246.18/107.78 c Finding binary XORs T: 0.03 s found: 38
3246.18/107.79 c Replacing 38 vars Replaced 5209 lits Time: 0.01 s
3290.91/109.15 c Finding binary XORs T: 0.03 s found: 41
3290.91/109.16 c Replacing 51 vars Replaced 14307 lits Time: 0.02 s
3297.30/109.30 c N dy 2141 1091950 1918 2230 27535 52643 31539 1486224 23.01 24.43
3320.31/110.08 c N dy 2160 1112317 1918 2230 27535 67640 31539 1844371 22.91 24.57
3320.31/110.11 c Finding binary XORs T: 0.03 s found: 20
3323.51/110.13 c Replacing 20 vars Replaced 7557 lits Time: 0.01 s
3412.37/112.95 c N dy 2208 1209753 1898 2230 29550 57172 31539 893644 22.49 15.44
3412.37/112.95 c S st 2208 1209753 1898 2230 29550 57172 31539 893644 22.49 15.44
3412.37/112.99 c Finding binary XORs T: 0.03 s found: 79
3415.53/113.01 c Replacing 79 vars Replaced 31936 lits Time: 0.01 s
3415.53/113.09 c S st 2208 1210254 1819 2230 46429 57542 31534 937200 22.49 no data
3418.76/113.13 c x-sub: 45 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
3425.75/113.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 38 Bins: 473 BRemL: 19749 BRemN: 6 P: 3.0M T: 0.21
3425.75/113.34 c Replacing 38 vars Replaced 10398 lits Time: 0.01 s
3425.75/113.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3425.75/113.36 c bin-w-bin subsume rem 19172 bins time: 0.01 s
3425.75/113.37 c subs with bin: 25 lits-rem: 665 v-fix: 0 time: 0.01 s
3425.75/113.37 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1781 time: 0.00 s
3425.75/113.37 c Removed useless bin: 24 fixed: 0 props: 0.06M time: 0.00 s
3425.75/113.39 c lits-rem: 0 cl-subs: 122 v-elim: 2 v-fix: 0 time: 0.02 s
3428.98/113.45 c subs with bin: 55 lits-rem: 1806 v-fix: 0 time: 0.01 s
3707.00/122.21 c lits-rem: 1231 cl-subs: 23953 v-elim: 0 v-fix: 0 time: 8.75 s
3707.00/122.21 c vivif2 -- cl tried 2086 cl shrink 6 lits rem 19 time: 0.00
3710.23/122.22 c vivif2 -- cl tried 33502 cl shrink 106 lits rem 241 time: 0.01
3710.23/122.30 c asymm cl-useful: 412/2086/2086 lits-rem:1326 time: 0.07
3712.75/122.30 c calculated reachability. Time: 0.00
3712.75/122.30 c N dy 2208 1210254 1779 2083 7761 33502 24519 445197 22.49 no data
3725.54/122.74 c Finding binary XORs T: 0.03 s found: 33
3725.54/122.75 c Replacing 33 vars Replaced 8317 lits Time: 0.01 s
3757.47/123.79 c N dy 2310 1242841 1746 2079 19711 57987 24478 1504303 22.80 24.61
3760.68/123.83 c Finding binary XORs T: 0.03 s found: 8
3802.23/125.10 c Finding binary XORs T: 0.03 s found: 0
3805.43/125.25 c N dy 2446 1263417 1746 2079 22594 43197 24478 1085447 23.22 25.39
3837.39/126.20 c N dy 2496 1283936 1746 2079 22949 58323 24478 1605377 23.28 25.05
3888.53/127.86 c Finding binary XORs T: 0.03 s found: 2
3901.32/128.22 c N dy 2623 1305457 1746 2079 23124 40008 24478 743015 23.64 24.99
3953.10/129.85 c N dy 2750 1337573 1746 2079 23965 64042 24478 1828508 23.96 25.38
3953.10/129.88 c Finding binary XORs T: 0.03 s found: 1
3984.43/130.90 c N dy 2780 1368100 1746 2079 23976 47482 24478 739613 23.89 25.29
4425.46/144.62 c N dy 2823 1710254 1746 2079 23976 48091 24478 774717 22.66 18.48
4425.46/144.62 c S st 2823 1710254 1746 2079 23976 48091 24478 774717 22.66 18.48
4425.46/144.66 c Finding binary XORs T: 0.03 s found: 22
4425.46/144.67 c Replacing 33 vars Replaced 5060 lits Time: 0.01 s
4428.65/144.73 c S st 2823 1710756 1645 1542 3693 47902 18211 737256 22.66 no data
4428.65/144.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 0 time: 0.04
4431.85/144.82 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 21 BRemL: 693 BRemN: 1 P: 0.8M T: 0.05
4431.85/144.84 c Replacing 5 vars Replaced 411 lits Time: 0.02 s
4431.85/144.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4431.85/144.84 c bin-w-bin subsume rem 893 bins time: 0.00 s
4431.85/144.84 c subs with bin: 7 lits-rem: 21 v-fix: 0 time: 0.00 s
4431.85/144.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1632 time: 0.00 s
4431.85/144.85 c Removed useless bin: 4 fixed: 0 props: 0.04M time: 0.00 s
4431.85/144.87 c lits-rem: 11 cl-subs: 409 v-elim: 12 v-fix: 0 time: 0.02 s
4435.05/144.91 c subs with bin: 3 lits-rem: 17 v-fix: 0 time: 0.00 s
4601.26/150.19 c lits-rem: 2728 cl-subs: 3535 v-elim: 0 v-fix: 0 time: 5.28 s
4601.26/150.20 c vivif2 -- cl tried 1115 cl shrink 1 lits rem 2 time: 0.00
4604.46/150.21 c vivif2 -- cl tried 44013 cl shrink 0 lits rem 0 time: 0.01
4604.46/150.22 c asymm cl-useful: 84/1115/1115 lits-rem:154 time: 0.01
4604.46/150.23 c calculated reachability. Time: 0.00
4604.46/150.23 c N dy 2823 1710756 1620 1115 1804 44013 14883 657435 22.66 no data
4652.41/151.73 c N dy 2895 1746601 1619 1115 1853 70090 14883 1567845 22.71 24.37
4661.98/152.02 c Finding binary XORs T: 0.03 s found: 0
4754.68/154.90 c N dy 3045 1772387 1619 1104 1860 49260 14832 662015 23.04 24.71
4828.20/157.24 c N dy 3160 1792394 1619 1104 1861 65678 14832 1698169 23.38 24.62
4898.52/159.44 c N dy 3265 1814784 1619 1104 1863 83302 14832 2622352 23.60 26.74
4997.58/162.59 c N dy 3433 1834869 1619 1104 1868 54824 14832 1181323 24.00 47.65
5046.16/164.10 c Finding binary XORs T: 0.03 s found: 0
5096.68/165.64 c N dy 3605 1854955 1619 1104 1911 72326 14832 2541578 24.51 72.62
5116.44/166.28 c N dy 3612 1876558 1619 1104 1911 87232 14832 2872927 24.38 25.87
5163.76/167.73 c Finding binary XORs T: 0.03 s found: 1
5227.66/169.76 c N dy 3783 1896620 1619 1104 1969 55953 14832 1180365 24.82 72.91
5304.32/172.11 c N dy 3906 1919808 1619 1104 1991 74221 14832 2201425 25.07 26.41
5371.45/174.29 c Finding binary XORs T: 0.03 s found: 1
5409.75/175.48 c N dy 4070 1940562 1619 1104 2039 91871 14832 3504007 25.48 26.83
5480.07/177.70 c Finding binary XORs T: 0.03 s found: 1
5540.78/179.56 c N dy 4248 1966323 1619 1104 2097 62603 14832 1244464 25.85 27.46
5630.30/182.37 c Finding binary XORs T: 0.03 s found: 1
5640.49/182.65 c N dy 4422 1990637 1619 1104 2138 82611 14832 2670681 26.27 28.96
5684.62/184.09 c Finding binary XORs T: 0.03 s found: 5
5770.90/186.72 c N dy 4613 2010734 1619 1104 2288 100365 14832 4128016 26.74 87.10
5802.87/187.73 c Finding binary XORs T: 0.03 s found: 1
6103.25/197.12 c N dy 4659 2210757 1619 1104 2366 92383 14832 1548662 25.77 14.63
6103.25/197.12 c S st 4659 2210757 1619 1104 2366 92383 14832 1548662 25.77 14.63
6103.25/197.17 c Finding binary XORs T: 0.03 s found: 56
6103.25/197.18 c Replacing 66 vars Replaced 5907 lits Time: 0.01 s
6109.65/197.32 c S st 4659 2211261 1541 957 3081 92443 13603 1555040 25.77 no data
6109.65/197.37 c x-sub: 38 x-cut: 0 vfix: 0 v-elim: 10 locsubst: 26 time: 0.04
6112.84/197.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 302 BRemN: 0 P: 1.3M T: 0.08
6112.84/197.46 c Replacing 11 vars Replaced 456 lits Time: 0.01 s
6112.84/197.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6112.84/197.47 c bin-w-bin subsume rem 1177 bins time: 0.00 s
6112.84/197.47 c subs with bin: 55 lits-rem: 106 v-fix: 0 time: 0.00 s
6112.84/197.47 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s
6112.84/197.47 c Removed useless bin: 3 fixed: 0 props: 0.04M time: 0.00 s
6116.05/197.50 c lits-rem: 0 cl-subs: 94 v-elim: 1 v-fix: 0 time: 0.03 s
6119.24/197.62 c subs with bin: 49 lits-rem: 97 v-fix: 0 time: 0.00 s
6443.34/216.96 c lits-rem: 5531 cl-subs: 17644 v-elim: 0 v-fix: 0 time: 19.34 s
6443.34/216.96 c vivif2 -- cl tried 809 cl shrink 0 lits rem 0 time: 0.00
6443.34/216.97 c vivif2 -- cl tried 74072 cl shrink 2 lits rem 2 time: 0.02
6443.34/216.98 c asymm cl-useful: 37/809/809 lits-rem:50 time: 0.01
6443.34/216.99 c calculated reachability. Time: 0.00
6443.34/216.99 c N dy 4659 2211261 1519 809 1570 74072 12569 1219383 25.77 no data
6443.34/216.99 c Following stats are for *FIRST FINISHED THREAD ONLY*
6443.34/216.99 c num threads : 32
6443.34/216.99 c restarts : 3548
6443.34/216.99 c dynamic restarts : 3524
6443.34/216.99 c static restarts : 24
6443.34/216.99 c full restarts : 3
6443.34/216.99 c total simplify time : 2.19
6443.34/216.99 c learnts DL2 : 0
6443.34/216.99 c learnts size 2 : 567840
6443.34/216.99 c learnts size 1 : 1601 (4.28 % of vars)
6443.34/216.99 c filedLit time : 5.52 (2.59 % time)
6443.34/216.99 c v-elim SatELite : 12480 (33.34 % vars)
6443.34/216.99 c SatELite time : 0.76 (0.36 % time)
6443.34/216.99 c v-elim xor : 0 (0.00 % vars)
6443.34/216.99 c xor elim time : 0.04 (0.02 % time)
6443.34/216.99 c num binary xor trees : 3053
6443.34/216.99 c binxor trees' crown : 19540 (6.40 leafs/tree)
6443.34/216.99 c bin xor find time : 1.02
6443.34/216.99 c OTF clause improved : 57223 (0.07 clauses/conflict)
6443.34/216.99 c OTF impr. size diff : 58382 (1.02 lits/clause)
6443.34/216.99 c OTF cl watch-shrink : 230683 (0.28 clauses/conflict)
6443.34/216.99 c OTF cl watch-sh-lit : 457031 (1.98 lits/clause)
6443.34/216.99 c tried to recurMin cls : 331860 (39.74 % of conflicts)
6443.34/216.99 c updated cache : 46995 (0.14 lits/tried recurMin)
6443.34/216.99 c unit cls recevied : 106 (6.62 % of units)
6443.34/216.99 c unit cls sent : 1751 (109.37 % of units)
6443.34/216.99 c bin cls recevied : 435372
6443.34/216.99 c bin cls sent : 149812
6443.34/216.99 c clauses over max glue : 0 (0.00 % of all clauses)
6443.34/216.99 c conflicts : 835091 (3914.06 / sec)
6443.34/216.99 c decisions : 2090379 (12.22 % random)
6443.34/216.99 c bogo-props : 7335593895 (34381852.41 / sec)
6443.34/216.99 c conflict literals : 17924653 (11.65 % deleted)
6443.34/216.99 c Memory used : 8825.02 MB
6443.34/216.99 c single-thread CPU time : 213.36 s
6443.34/216.99 c all-threads sum CPU time : 6393.50 s
6443.34/216.99 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-3400633-1306257797/watcher-3400633-1306257797 -o /tmp/evaluation-result-3400633-1306257797/solver-3400633-1306257797 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400633-1306257797.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: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=797980 CPUtime=0.69 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 3298 0 0 0 44 25 0 0 17 0 32 0 737266155 817131520 3141 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 199495 3189 322 95 0 194477 0
[pid=9726/tid=9727] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 139 0 0 0 1 0 0 0 18 0 32 0 737266155 817131520 3468 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 173 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 3529 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 101 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3588 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 13 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3635 268435456000 4194304 4580107 140735477360848 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 79 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3683 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 77 0 0 0 1 0 0 0 22 0 32 0 737266155 817131520 3743 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 90 0 0 0 1 1 0 0 22 0 32 0 737266155 817131520 3810 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 3884 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 122 0 0 0 1 0 0 0 23 0 32 0 737266155 817131520 3944 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 104 0 0 0 1 0 0 0 23 0 32 0 737266155 817131520 4012 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 162 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4068 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 125 0 0 0 1 1 0 0 24 0 32 0 737266155 817131520 4106 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 139 0 0 0 1 1 0 0 24 0 32 0 737266155 817131520 4151 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 165 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4218 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 147 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4271 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 149 0 0 0 1 0 0 0 18 0 32 0 737266155 817131520 4310 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4378 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 152 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4429 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 147 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4493 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 102 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4566 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 120 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4602 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 108 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4627 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 157 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4677 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 138 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 4723 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 113 0 0 0 1 0 0 0 25 0 32 0 737266155 817131520 4767 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4807 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 169 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 4860 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 121 0 0 0 0 1 0 0 25 0 32 0 737266155 817131520 4936 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 151 0 0 0 1 1 0 0 18 0 32 0 737266155 817131520 5000 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=797980 CPUtime=0.01 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 125 0 0 0 1 0 0 0 25 0 32 0 737266155 817131520 5076 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=797980 CPUtime=0.02 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 142 0 0 0 1 1 0 0 25 0 32 0 737266155 817131520 5113 268435456000 4194304 4580107 140735477360848 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.104336 s]
/proc/loadavg: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1185192 CPUtime=2.35 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 11334 0 0 0 144 91 0 0 17 0 32 0 737266155 1213636608 11175 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 296298 11189 335 95 0 291280 0
[pid=9726/tid=9727] ppid=9724 vsize=1185192 CPUtime=0.07 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 501 0 0 0 4 3 0 0 17 0 32 0 737266155 1213636608 11190 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=1185192 CPUtime=0.07 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 358 0 0 0 5 2 0 0 17 0 32 0 737266155 1213636608 11198 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1185192 CPUtime=0.06 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 390 0 0 0 4 2 0 0 17 0 32 0 737266155 1213636608 11207 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500409089504 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1185324 CPUtime=0.03 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 337 0 0 0 3 0 0 0 17 0 32 0 737266155 1213771776 11215 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476519661024 0 0 -1 31 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1185588 CPUtime=0.05 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 348 0 0 0 3 2 0 0 17 0 32 0 737266155 1214042112 11259 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1185720 CPUtime=0.07 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 287 0 0 0 4 3 0 0 17 0 32 0 737266155 1214177280 11308 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499749060064 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1185720 CPUtime=0.06 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 326 0 0 0 3 3 0 0 17 0 32 0 737266155 1214177280 11319 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1185984 CPUtime=0.08 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 310 0 0 0 5 3 0 0 17 0 32 0 737266155 1214447616 11403 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 372 0 0 0 4 3 0 0 17 0 32 0 737266155 1214447616 11416 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925944 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 297 0 0 0 5 2 0 0 17 0 32 0 737266155 1214447616 11438 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1185984 CPUtime=0.06 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 356 0 0 0 4 2 0 0 17 0 32 0 737266155 1214447616 11441 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604505992469984 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1185984 CPUtime=0.07 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 300 0 0 0 4 3 0 0 17 0 32 0 737266155 1214447616 11446 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476310306272 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1185984 CPUtime=0.06 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 368 0 0 0 3 3 0 0 17 0 32 0 737266155 1214447616 11451 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499888094688 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1186116 CPUtime=0.08 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 278 0 0 0 6 2 0 0 17 0 32 0 737266155 1214582784 11463 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500639153632 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1186116 CPUtime=0.06 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 413 0 0 0 3 3 0 0 17 0 32 0 737266155 1214582784 11506 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 326 0 0 0 4 2 0 0 17 0 32 0 737266155 1222983680 11520 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604476244114912 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 269 0 0 0 6 2 0 0 18 0 32 0 737266155 1222983680 11527 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 350 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11538 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=1194320 CPUtime=0.07 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 280 0 0 0 5 2 0 0 17 0 32 0 737266155 1222983680 11551 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604502541950432 0 0 -1 15 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 319 0 0 0 5 3 0 0 17 0 32 0 737266155 1222983680 11551 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604483702717920 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=1194320 CPUtime=0.07 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 325 0 0 0 5 2 0 0 17 0 32 0 737266155 1222983680 11565 268435456000 4194304 4580107 140735477360848 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 397 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11574 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=1194320 CPUtime=0.08 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) D 9724 9726 9700 0 -1 4202560 269 0 0 0 6 2 0 0 17 0 32 0 737266155 1222983680 11574 268435456000 4194304 4580107 140735477360848 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 427 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11588 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604479206325728 0 0 -1 19 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 474 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11601 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604484328725984 0 0 -1 25 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=1194320 CPUtime=0.06 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 320 0 0 0 3 3 0 0 17 0 32 0 737266155 1222983680 11601 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604499749060064 0 0 -1 26 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=1194452 CPUtime=0.08 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 309 0 0 0 5 3 0 0 17 0 32 0 737266155 1223118848 11605 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925624 0 0 -1 23 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=1194452 CPUtime=0.05 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 420 0 0 0 2 3 0 0 17 0 32 0 737266155 1223118848 11635 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604479426084320 0 0 -1 24 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=1194452 CPUtime=0.05 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 390 0 0 0 3 2 0 0 17 0 32 0 737266155 1223118848 11639 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604496183737824 0 0 -1 29 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=1194728 CPUtime=0.06 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 422 0 0 0 3 3 0 0 17 0 32 0 737266155 1223401472 11684 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604477524721120 0 0 -1 30 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=1194860 CPUtime=0.06 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 322 0 0 0 4 2 0 0 17 0 32 0 737266155 1223536640 11729 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 1185192
[startup+0.207324 s]
/proc/loadavg: 23.37 28.54 30.31 1/413 9726
/proc/meminfo: memFree=255166936/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1280632 CPUtime=4.31 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) S 9724 9726 9700 0 -1 4202496 26116 0 0 0 203 228 0 0 17 0 32 0 737266155 1311367168 24141 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9726/statm: 320093 24156 335 95 0 315075 0
[pid=9726/tid=9727] ppid=9724 vsize=1280372 CPUtime=0.12 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 1037 0 0 0 5 7 0 0 17 0 32 0 737266155 1311100928 24091 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=1280112 CPUtime=0.13 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 884 0 0 0 7 6 0 0 17 0 32 0 737266155 1310834688 24095 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1280112 CPUtime=0.12 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 907 0 0 0 5 7 0 0 17 0 32 0 737266155 1310834688 24096 268435456000 4194304 4580107 140735477360848 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1280112 CPUtime=0.1 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 725 0 0 0 5 5 0 0 17 0 32 0 737266155 1310834688 24143 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604475660721632 0 0 -1 31 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1280628 CPUtime=0.12 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 861 0 0 0 5 7 0 0 17 0 32 0 737266155 1311363072 24201 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1280628 CPUtime=0.13 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 788 0 0 0 6 7 0 0 17 0 32 0 737266155 1311363072 24256 268435456000 4194304 4580107 140735477360848 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1280628 CPUtime=0.12 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 787 0 0 0 6 6 0 0 17 0 32 0 737266155 1311363072 24259 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1280368 CPUtime=0.14 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 742 0 0 0 7 7 0 0 17 0 32 0 737266155 1311096832 24226 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604487591935456 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1280368 CPUtime=0.13 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 890 0 0 0 5 8 0 0 17 0 32 0 737266155 1311096832 24243 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566931344 0 0 -1 6 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1280368 CPUtime=0.14 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 664 0 0 0 7 7 0 0 17 0 32 0 737266155 1311096832 24250 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1280368 CPUtime=0.11 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 779 0 0 0 5 6 0 0 17 0 32 0 737266155 1311096832 24252 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1280884 CPUtime=0.12 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 666 0 0 0 6 6 0 0 17 0 32 0 737266155 1311625216 24348 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 10 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1280624 CPUtime=0.12 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 854 0 0 0 5 7 0 0 17 0 32 0 737266155 1311358976 24304 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1280624 CPUtime=0.14 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 567 0 0 0 8 6 0 0 17 0 32 0 737266155 1311358976 24326 268435456000 4194304 4580107 140735477360848 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1281140 CPUtime=0.13 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 909 0 0 0 5 8 0 0 17 0 32 0 737266155 1311887360 24352 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1281136 CPUtime=0.13 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 767 0 0 0 7 6 0 0 17 0 32 0 737266155 1311883264 24500 268435456000 4194304 4580107 140735477360848 18446744073709551615 258651060958 0 0 4096 2 18446604500409089504 0 0 -1 11 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1281136 CPUtime=0.13 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 9036812
[startup+216.003 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248749808/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=9036812 CPUtime=6441.54 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 2887016 0 0 0 639152 5002 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 4416745 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 2259203 1600786 379 95 0 2254185 0
[pid=9726/tid=9727] ppid=9724 vsize=9036812 CPUtime=200.81 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 128600 0 0 0 19923 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604478639783392 0 0 -1 14 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 98354 0 0 0 19853 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604502541950432 0 0 -1 10 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=9036812 CPUtime=200.36 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 109944 0 0 0 19868 168 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505189359072 0 0 -1 25 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=9036812 CPUtime=201 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 112215 0 0 0 19928 172 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604481159151072 0 0 -1 22 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116162 0 0 0 19917 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487591935456 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=9036812 CPUtime=200.78 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 126551 0 0 0 19919 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500639153632 0 0 -1 24 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=9036812 CPUtime=200.57 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 103892 0 0 0 19910 147 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499888094688 0 0 -1 16 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=9036812 CPUtime=200.21 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 77919 0 0 0 19870 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500454800864 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=9036812 CPUtime=199.41 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 74937 0 0 0 19788 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504990997984 0 0 -1 19 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=9036812 CPUtime=209.2 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 84145 0 0 0 20763 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604482356026848 0 0 -1 23 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 111427 0 0 0 19867 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505831857632 0 0 -1 29 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=9036812 CPUtime=200.46 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 97327 0 0 0 19884 162 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484614200800 0 0 -1 0 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=9036812 CPUtime=200.61 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 76497 0 0 0 19908 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476310306272 0 0 -1 26 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=9036812 CPUtime=200.71 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68227 0 0 0 19937 134 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604496183737824 0 0 -1 1 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=9036812 CPUtime=200.93 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 61585 0 0 0 19950 143 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484328725984 0 0 -1 17 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 81207 0 0 0 19869 165 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476519661024 0 0 -1 27 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=9036812 CPUtime=200.27 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 79379 0 0 0 19873 154 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499749060064 0 0 -1 9 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 64558 0 0 0 19925 149 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476675161568 0 0 -1 4 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=9036812 CPUtime=200.03 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 63642 0 0 0 19844 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500409089504 0 0 -1 3 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68255 0 0 0 19865 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604506330742240 0 0 -1 8 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=9036812 CPUtime=200.28 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 85090 0 0 0 19876 152 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604477524721120 0 0 -1 20 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=9036812 CPUtime=199.55 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 70973 0 0 0 19802 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505992469984 0 0 -1 31 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=9036812 CPUtime=200.22 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69062 0 0 0 19864 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475660721632 0 0 -1 21 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69372 0 0 0 19901 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487566188000 0 0 -1 30 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=9036812 CPUtime=200.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116311 0 0 0 19835 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504959647200 0 0 -1 13 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 90764 0 0 0 19896 156 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604479426084320 0 0 -1 2 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=9036812 CPUtime=200.3 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116916 0 0 0 19859 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483702717920 0 0 -1 15 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=9036812 CPUtime=201.08 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 135753 0 0 0 19932 176 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476244114912 0 0 -1 28 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=9036812 CPUtime=197.28 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 121823 0 0 0 19548 180 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483355516384 0 0 -1 7 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=9036812 CPUtime=200.55 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 96372 0 0 0 19888 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475881364960 0 0 -1 18 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=9036812 CPUtime=213.05 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 30207 0 0 0 21237 68 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098702891 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 6441.54
Current children cumulated vsize (KiB) 9036812
[startup+216.835 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=9036812 CPUtime=6443.21 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4202496 2887016 0 0 0 639319 5002 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 4416130 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 2259203 1600786 379 95 0 2254185 0
[pid=9726/tid=9727] ppid=9724 vsize=9036812 CPUtime=200.81 cores=0-31
/proc/9726/task/9727/stat : 9727 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 128600 0 0 0 19923 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604478639783392 0 0 -1 14 0 0 0
[pid=9726/tid=9728] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9728/stat : 9728 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 98354 0 0 0 19853 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604502541950432 0 0 -1 10 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=9036812 CPUtime=200.36 cores=0-31
/proc/9726/task/9729/stat : 9729 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 109944 0 0 0 19868 168 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505189359072 0 0 -1 25 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=9036812 CPUtime=201 cores=0-31
/proc/9726/task/9730/stat : 9730 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 112215 0 0 0 19928 172 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604481159151072 0 0 -1 22 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9731/stat : 9731 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116162 0 0 0 19917 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487591935456 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=9036812 CPUtime=200.78 cores=0-31
/proc/9726/task/9732/stat : 9732 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 126551 0 0 0 19919 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500639153632 0 0 -1 24 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=9036812 CPUtime=200.57 cores=0-31
/proc/9726/task/9733/stat : 9733 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 103892 0 0 0 19910 147 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499888094688 0 0 -1 16 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=9036812 CPUtime=200.21 cores=0-31
/proc/9726/task/9734/stat : 9734 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 77919 0 0 0 19870 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500454800864 0 0 -1 5 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=9036812 CPUtime=199.41 cores=0-31
/proc/9726/task/9735/stat : 9735 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 74937 0 0 0 19788 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504990997984 0 0 -1 19 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=9036812 CPUtime=209.2 cores=0-31
/proc/9726/task/9736/stat : 9736 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 84145 0 0 0 20763 157 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604482356026848 0 0 -1 23 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9737/stat : 9737 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 111427 0 0 0 19867 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505831857632 0 0 -1 29 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=9036812 CPUtime=200.46 cores=0-31
/proc/9726/task/9738/stat : 9738 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 97327 0 0 0 19884 162 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484614200800 0 0 -1 0 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=9036812 CPUtime=200.61 cores=0-31
/proc/9726/task/9739/stat : 9739 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 76497 0 0 0 19908 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476310306272 0 0 -1 26 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=9036812 CPUtime=200.71 cores=0-31
/proc/9726/task/9740/stat : 9740 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68227 0 0 0 19937 134 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604496183737824 0 0 -1 1 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=9036812 CPUtime=200.93 cores=0-31
/proc/9726/task/9741/stat : 9741 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 61585 0 0 0 19950 143 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604484328725984 0 0 -1 17 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=9036812 CPUtime=200.34 cores=0-31
/proc/9726/task/9742/stat : 9742 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 81207 0 0 0 19869 165 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476519661024 0 0 -1 27 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=9036812 CPUtime=200.27 cores=0-31
/proc/9726/task/9743/stat : 9743 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 79379 0 0 0 19873 154 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604499749060064 0 0 -1 9 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=9036812 CPUtime=200.74 cores=0-31
/proc/9726/task/9744/stat : 9744 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 64558 0 0 0 19925 149 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476675161568 0 0 -1 4 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=9036812 CPUtime=200.03 cores=0-31
/proc/9726/task/9745/stat : 9745 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 63642 0 0 0 19844 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604500409089504 0 0 -1 3 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=9036812 CPUtime=200.24 cores=0-31
/proc/9726/task/9746/stat : 9746 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 68255 0 0 0 19865 159 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604506330742240 0 0 -1 8 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=9036812 CPUtime=200.28 cores=0-31
/proc/9726/task/9747/stat : 9747 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 85090 0 0 0 19876 152 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604477524721120 0 0 -1 20 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=9036812 CPUtime=199.55 cores=0-31
/proc/9726/task/9748/stat : 9748 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 70973 0 0 0 19802 153 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604505992469984 0 0 -1 31 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=9036812 CPUtime=200.22 cores=0-31
/proc/9726/task/9749/stat : 9749 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69062 0 0 0 19864 158 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475660721632 0 0 -1 21 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9750/stat : 9750 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 69372 0 0 0 19901 151 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604487566188000 0 0 -1 30 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=9036812 CPUtime=200.06 cores=0-31
/proc/9726/task/9751/stat : 9751 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116311 0 0 0 19835 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604504959647200 0 0 -1 13 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=9036812 CPUtime=200.52 cores=0-31
/proc/9726/task/9752/stat : 9752 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 90764 0 0 0 19896 156 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604479426084320 0 0 -1 2 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=9036812 CPUtime=200.3 cores=0-31
/proc/9726/task/9753/stat : 9753 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 116916 0 0 0 19859 171 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483702717920 0 0 -1 15 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=9036812 CPUtime=201.08 cores=0-31
/proc/9726/task/9754/stat : 9754 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 135753 0 0 0 19932 176 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604476244114912 0 0 -1 28 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=9036812 CPUtime=197.28 cores=0-31
/proc/9726/task/9755/stat : 9755 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 121823 0 0 0 19548 180 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604483355516384 0 0 -1 7 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=9036812 CPUtime=200.55 cores=0-31
/proc/9726/task/9756/stat : 9756 (strangenight2-m) S 9724 9726 9700 0 -1 4202560 96372 0 0 0 19888 167 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098727476 0 0 4096 2 18446604475881364960 0 0 -1 18 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=9036812 CPUtime=213.88 cores=0-31
/proc/9726/task/9757/stat : 9757 (strangenight2-m) R 9724 9726 9700 0 -1 4202560 30207 0 0 0 21320 68 0 0 25 0 32 0 737266155 9253695488 1600786 268435456000 4194304 4580107 140735477360848 18446744073709551615 47232098702891 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 6443.21
Current children cumulated vsize (KiB) 9036812
[startup+217.201 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6443.75 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5025 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6443.75
Current children cumulated vsize (KiB) 0
[startup+217.401 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6443.95 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5045 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6443.95
Current children cumulated vsize (KiB) 0
[startup+217.501 s]
/proc/loadavg: 27.44 29.30 30.29 3/445 9764
/proc/meminfo: memFree=248750244/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=0 CPUtime=6444.05 cores=0-31
/proc/9726/stat : 9726 (strangenight2-m) R 9724 9726 9700 0 -1 4203524 2887020 0 0 0 639350 5055 0 0 25 0 1 0 737266155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/9726/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6444.05
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 217.544
CPU time (s): 6444.1
CPU user time (s): 6393.5
CPU system time (s): 50.5993
CPU usage (%): 2962.21
Max. virtual memory (cumulated for all children) (KiB): 9289460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6393.5
system time used= 50.5993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2887020
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= 1390959
involuntary context switches= 22057
runsolver used 1.43578 second user time and 5.09622 second system time
The end
Begin job on node200 at 2011-05-24 19:23:17
IDJOB=3400633
IDBENCH=20523
IDSOLVER=1886
FILE ID=node200/3400633-1306257797
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.k45.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400633-1306257797/watcher-3400633-1306257797 -o /tmp/evaluation-result-3400633-1306257797/solver-3400633-1306257797 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400633-1306257797.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=2130054118
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: 255167340 kB
Buffers: 463756 kB
Cached: 8218448 kB
SwapCached: 0 kB
Active: 7770248 kB
Inactive: 981212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255167340 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8720 kB
Writeback: 0 kB
AnonPages: 69968 kB
Mapped: 14480 kB
Slab: 255268 kB
PageTables: 4664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190456 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:26:55