0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
1.01/0.05 c This is CryptoMiniSat 3.0.0
1.01/0.05 c WARNING: for repeatability, setting FPU to use double precision
1.01/0.05 c Reading file 'HOME/instance-3400632-1306257571.cnf'
2.62/0.11 c -- header says num vars: 45937
2.62/0.11 c -- header says num clauses: 166840
24.94/1.48 c -- clauses added: 0 learnts, 166840 normals, 0 xors
24.94/1.48 c -- vars added 45937
24.94/1.48 c Parsing time: 0.27 s
24.94/1.48 c N st 0 0 45937 79956 85826 0 444254 0 no data no data
77.27/3.18 c asymm cl-useful: 8/3058/79806 lits-rem:15 time: 1.68
480.23/22.05 c Flit: 149 Blit: 3 bXBeca: 0 bXProp: 14030 Bins: 0 BRemL: 0 BRemN: 0 P: 105.2M T: 11.48
480.23/22.06 c Cleaning up after failed var search: 0.01 s
482.69/22.11 c Replacing 14030 vars Replaced 284641 lits Time: 0.05 s
485.69/22.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
485.69/22.22 c bin-w-bin subsume rem 6 bins time: 0.01 s
485.69/22.25 c subs with bin: 2 lits-rem: 5 v-fix: 0 time: 0.02 s
497.67/22.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 30691 time: 0.50 s
507.44/23.11 c Removed useless bin: 2 fixed: 0 props: 20.00M time: 0.32 s
523.69/23.65 c lits-rem: 13 cl-subs: 68 v-elim: 10230 v-fix: 0 time: 0.40 s
529.61/23.86 c Finding binary XORs T: 0.21 s found: 983
529.61/23.89 c Replacing 983 vars Replaced 21072 lits Time: 0.02 s
535.30/24.02 c Finding non-binary XORs: 0.06 s (found: 12642, avg size: 3.0)
535.30/24.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5368 locsubst: 31182 time: 0.04
535.30/24.03 c Replacing 432 vars Replaced 4943 lits Time: 0.01 s
535.30/24.06 c calculated reachability. Time: 0.03
535.30/24.07 c Calc default polars - time: 0.01 s pos: 3284 undec: 33637 neg: 9016
535.30/24.07 c =========================================================================================
535.30/24.07 c types(t): F = full restart, N = normal restart
535.30/24.07 c types(t): S = simplification begin/end, E = solution found
535.30/24.07 c restart types(rt): st = static, dy = dynamic
535.30/24.07 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
535.30/24.07 c B st 0 0 13678 22649 33895 0 227729 0 no data no data
554.24/24.65 c N dy 19 4003 13678 22649 33935 3395 227728 140980 15.90 21.94
566.99/25.06 c N dy 36 8011 13676 22649 35471 6527 227726 213061 12.13 12.88
582.95/25.51 c N dy 54 12086 13676 22649 35538 9819 227723 290028 11.52 15.27
586.14/25.66 c Finding binary XORs T: 0.14 s found: 253
586.14/25.67 c Replacing 254 vars Replaced 11480 lits Time: 0.02 s
595.74/25.98 c N dy 64 16239 13421 22637 36424 12608 227666 374421 10.65 11.35
612.32/26.47 c N dy 87 20244 13421 22637 37567 8061 227663 106633 10.67 17.69
627.65/26.92 c N dy 105 24315 13421 22637 37600 11525 227663 201837 10.85 11.42
630.85/27.00 c F st 109 25001 13421 22637 37614 12081 227662 217538 10.87 8.52
637.24/27.24 c Finding binary XORs T: 0.14 s found: 693
637.24/27.26 c Replacing 693 vars Replaced 31963 lits Time: 0.02 s
662.79/28.02 c N dy 115 30001 12726 22576 37262 14680 227444 439759 10.87 no data
662.79/28.02 c S st 115 30001 12726 22576 37262 14680 227444 439759 10.87 no data
666.00/28.12 c S st 115 30505 12726 22576 37272 15112 227444 445194 10.87 no data
666.00/28.16 c x-sub: 1150 x-cut: 0 vfix: 0 v-elim: 2370 locsubst: 1582 time: 0.04
803.38/32.42 c Flit: 15 Blit: 4 bXBeca: 0 bXProp: 2361 Bins: 59788 BRemL: 11595 BRemN: 0 P: 63.8M T: 4.25
803.38/32.48 c Replacing 2469 vars Replaced 221705 lits Time: 0.05 s
803.38/32.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
806.57/32.53 c bin-w-bin subsume rem 53482 bins time: 0.04 s
809.77/32.61 c subs with bin: 7714 lits-rem: 16541 v-fix: 0 time: 0.08 s
809.77/32.65 c Subs w/ non-existent bins: 2155 l-rem: 2029 v-fix: 0 done: 7863 time: 0.04 s
809.77/32.66 c Removed useless bin: 956 fixed: 0 props: 0.92M time: 0.01 s
812.97/32.70 c lits-rem: 240 cl-subs: 3742 v-elim: 141 v-fix: 0 time: 0.04 s
812.97/32.72 c subs with bin: 54 lits-rem: 3165 v-fix: 0 time: 0.01 s
812.97/32.73 c lits-rem: 81 cl-subs: 381 v-elim: 0 v-fix: 0 time: 0.01 s
819.98/32.93 c asymm cl-useful: 529/5475/8533 lits-rem:529 time: 0.19
819.98/32.93 c calculated reachability. Time: 0.01
819.98/32.94 c N dy 115 30505 7722 8533 27094 1099 101415 29337 10.87 no data
823.21/33.04 c Finding binary XORs T: 0.10 s found: 26
835.36/33.43 c N dy 147 34633 7722 8533 31009 4660 101414 147292 12.17 12.85
841.70/33.66 c Finding binary XORs T: 0.09 s found: 620
841.70/33.67 c Replacing 646 vars Replaced 24285 lits Time: 0.02 s
854.40/34.04 c N dy 164 41187 7076 8023 79125 9555 98721 321353 11.85 12.52
875.82/34.70 c N dy 183 45242 7076 8023 88017 7775 98718 239583 11.88 13.40
875.82/34.73 c S st 187 45758 7076 8023 88022 8180 98717 247478 11.89 6.94
875.82/34.79 c S st 187 46262 7076 8023 88030 8583 98717 250503 11.89 no data
879.01/34.84 c x-sub: 359 x-cut: 0 vfix: 0 v-elim: 958 locsubst: 1057 time: 0.04
892.41/35.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 95 Bins: 4877 BRemL: 30753 BRemN: 1395 P: 5.6M T: 0.44
892.41/35.29 c Replacing 177 vars Replaced 4971 lits Time: 0.01 s
892.41/35.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
894.97/35.32 c bin-w-bin subsume rem 38748 bins time: 0.02 s
894.97/35.34 c subs with bin: 799 lits-rem: 6 v-fix: 0 time: 0.02 s
894.97/35.35 c Subs w/ non-existent bins: 90 l-rem: 25 v-fix: 0 done: 5941 time: 0.01 s
894.97/35.36 c Removed useless bin: 149 fixed: 0 props: 0.86M time: 0.01 s
894.97/35.37 c lits-rem: 11 cl-subs: 1069 v-elim: 40 v-fix: 0 time: 0.01 s
894.97/35.38 c subs with bin: 13 lits-rem: 91 v-fix: 0 time: 0.00 s
894.97/35.39 c lits-rem: 150 cl-subs: 640 v-elim: 0 v-fix: 0 time: 0.01 s
898.17/35.40 c vivif2 -- cl tried 6149 cl shrink 51 lits rem 105 time: 0.00
898.17/35.40 c vivif2 -- cl tried 1883 cl shrink 26 lits rem 39 time: 0.00
901.37/35.55 c asymm cl-useful: 241/6149/6149 lits-rem:323 time: 0.15
901.37/35.56 c calculated reachability. Time: 0.00
901.37/35.56 c N dy 187 46262 5901 6142 21020 1882 79863 30920 11.89 no data
904.57/35.65 c Finding binary XORs T: 0.09 s found: 2
910.96/35.81 c N dy 208 50311 5898 6142 28714 4853 79862 109985 12.15 38.85
917.36/36.04 c N dy 235 54425 5890 6142 28716 8138 79857 215728 12.97 14.20
920.55/36.16 c N dy 237 61120 5890 6142 28716 13335 79857 277065 12.39 13.04
924.37/36.29 c Finding binary XORs T: 0.08 s found: 175
924.37/36.31 c Replacing 187 vars Replaced 19090 lits Time: 0.02 s
930.12/36.41 c N dy 249 65187 5701 5938 32945 8673 78338 124176 12.23 27.72
936.51/36.61 c N dy 277 69382 5701 5938 33033 11985 78338 201648 12.53 16.93
936.51/36.61 c S st 278 69394 5701 5938 33033 11995 78338 201937 12.53 no data
936.51/36.66 c S st 278 69898 5701 5938 33040 12384 78338 204938 12.53 no data
939.71/36.70 c x-sub: 118 x-cut: 0 vfix: 0 v-elim: 165 locsubst: 881 time: 0.05
946.11/36.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 36 Bins: 2592 BRemL: 16215 BRemN: 94 P: 4.0M T: 0.25
946.11/36.96 c Replacing 119 vars Replaced 4115 lits Time: 0.01 s
946.11/36.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
946.11/36.96 c bin-w-bin subsume rem 2989 bins time: 0.00 s
946.11/36.98 c subs with bin: 445 lits-rem: 5 v-fix: 0 time: 0.01 s
946.11/36.99 c Subs w/ non-existent bins: 61 l-rem: 0 v-fix: 0 done: 5417 time: 0.01 s
946.11/37.00 c Removed useless bin: 72 fixed: 0 props: 0.57M time: 0.01 s
949.31/37.01 c lits-rem: 6 cl-subs: 399 v-elim: 40 v-fix: 0 time: 0.01 s
949.31/37.02 c subs with bin: 43 lits-rem: 181 v-fix: 0 time: 0.00 s
949.31/37.06 c lits-rem: 871 cl-subs: 1681 v-elim: 0 v-fix: 0 time: 0.03 s
949.31/37.06 c vivif2 -- cl tried 5189 cl shrink 34 lits rem 71 time: 0.00
949.31/37.06 c vivif2 -- cl tried 5536 cl shrink 13 lits rem 17 time: 0.00
952.50/37.17 c asymm cl-useful: 672/5189/5189 lits-rem:1876 time: 0.11
952.50/37.18 c calculated reachability. Time: 0.00
952.50/37.18 c N dy 278 69898 5377 4688 16296 5536 72394 62748 12.53 no data
955.71/37.27 c Finding binary XORs T: 0.09 s found: 59
955.71/37.28 c Replacing 59 vars Replaced 1284 lits Time: 0.01 s
962.73/37.45 c N dy 309 74368 5318 4680 20373 8872 72049 143899 12.77 22.14
968.47/37.62 c N dy 335 80475 5318 4680 20387 13222 72049 218537 12.75 13.45
971.67/37.78 c N dy 356 85760 5318 4680 21534 16908 72047 282379 12.69 13.36
974.87/37.88 c Finding binary XORs T: 0.07 s found: 134
978.06/37.90 c Replacing 134 vars Replaced 11860 lits Time: 0.01 s
978.06/37.92 c F st 361 87501 5184 4525 22987 17674 71333 297424 12.63 10.90
981.27/38.07 c Decided on static restart strategy
981.27/38.07 c N st 367 92693 5184 4525 22990 12101 71333 150140 12.63 no data
1003.64/38.77 c N st 369 99804 5184 4525 24387 18842 71333 602749 12.63 no data
1026.02/39.41 c S st 370 104848 5184 4525 24387 23435 71333 978105 12.63 no data
1026.02/39.49 c Finding binary XORs T: 0.07 s found: 83
1029.84/39.54 c Replacing 83 vars Replaced 14125 lits Time: 0.05 s
1029.84/39.60 c S st 370 105354 5101 4436 31511 23469 70934 993619 12.63 no data
1033.03/39.65 c x-sub: 110 x-cut: 0 vfix: 0 v-elim: 71 locsubst: 2705 time: 0.06
1038.79/39.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 2534 BRemL: 14093 BRemN: 182 P: 3.4M T: 0.22
1038.79/39.89 c Replacing 216 vars Replaced 12724 lits Time: 0.01 s
1038.79/39.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1038.79/39.90 c bin-w-bin subsume rem 2124 bins time: 0.00 s
1041.98/39.91 c subs with bin: 170 lits-rem: 0 v-fix: 0 time: 0.02 s
1041.98/39.93 c Subs w/ non-existent bins: 38 l-rem: 0 v-fix: 0 done: 4814 time: 0.01 s
1041.98/39.93 c Removed useless bin: 40 fixed: 0 props: 0.33M time: 0.00 s
1041.98/39.94 c lits-rem: 0 cl-subs: 435 v-elim: 65 v-fix: 0 time: 0.01 s
1041.98/39.96 c subs with bin: 29 lits-rem: 180 v-fix: 0 time: 0.01 s
1045.19/40.04 c lits-rem: 1249 cl-subs: 1960 v-elim: 0 v-fix: 0 time: 0.08 s
1045.19/40.04 c vivif2 -- cl tried 4090 cl shrink 48 lits rem 85 time: 0.00
1045.19/40.05 c vivif2 -- cl tried 8739 cl shrink 18 lits rem 18 time: 0.00
1048.38/40.12 c asymm cl-useful: 441/4090/4090 lits-rem:1353 time: 0.07
1048.38/40.12 c calculated reachability. Time: 0.00
1048.38/40.12 c N st 370 105354 4749 3760 17368 8739 65987 143183 12.63 no data
1077.15/41.09 c N st 371 114954 4749 3760 17368 9225 65987 521974 12.63 no data
1083.54/41.20 c Finding binary XORs T: 0.10 s found: 94
1083.54/41.21 c Replacing 94 vars Replaced 2854 lits Time: 0.01 s
1115.46/42.24 c N st 372 129352 4629 3672 19894 22238 64508 1190597 12.63 no data
1118.65/42.32 c Finding binary XORs T: 0.07 s found: 109
1118.65/42.38 c Replacing 109 vars Replaced 22252 lits Time: 0.06 s
1163.39/43.80 c N st 373 150947 4520 3632 30667 24513 64309 1197509 12.63 no data
1166.60/43.88 c Finding binary XORs T: 0.07 s found: 123
1170.41/43.92 c Replacing 123 vars Replaced 10933 lits Time: 0.04 s
1185.76/44.49 c S st 374 158032 4356 3561 33632 30735 62340 1687131 12.63 no data
1188.95/44.55 c S st 374 158535 4337 3561 35514 31086 62340 1697496 12.63 no data
1192.15/44.61 c x-sub: 282 x-cut: 0 vfix: 0 v-elim: 73 locsubst: 1212 time: 0.06
1198.55/44.85 c Flit: 12 Blit: 0 bXBeca: 0 bXProp: 62 Bins: 7755 BRemL: 17912 BRemN: 98 P: 3.2M T: 0.23
1198.55/44.89 c Replacing 161 vars Replaced 12802 lits Time: 0.05 s
1198.55/44.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1201.74/44.90 c bin-w-bin subsume rem 2761 bins time: 0.00 s
1201.74/44.92 c subs with bin: 142 lits-rem: 84 v-fix: 0 time: 0.02 s
1201.74/44.93 c Subs w/ non-existent bins: 46 l-rem: 0 v-fix: 0 done: 4089 time: 0.01 s
1201.74/44.93 c Removed useless bin: 31 fixed: 0 props: 0.24M time: 0.00 s
1201.74/44.96 c lits-rem: 11 cl-subs: 342 v-elim: 112 v-fix: 0 time: 0.03 s
1205.54/45.04 c subs with bin: 42 lits-rem: 32 v-fix: 0 time: 0.01 s
1316.76/48.54 c lits-rem: 2680 cl-subs: 2235 v-elim: 0 v-fix: 0 time: 3.50 s
1316.76/48.54 c vivif2 -- cl tried 3479 cl shrink 63 lits rem 126 time: 0.00
1316.76/48.57 c vivif2 -- cl tried 20999 cl shrink 0 lits rem 0 time: 0.03
1319.96/48.62 c asymm cl-useful: 544/3478/3478 lits-rem:1868 time: 0.05
1319.96/48.62 c calculated reachability. Time: 0.00
1319.96/48.62 c N st 374 158535 3977 2975 20383 20999 52785 1050306 12.63 no data
1649.12/58.90 c N st 375 207124 3977 2975 20384 30879 52783 2461480 12.63 no data
1652.34/59.05 c Finding binary XORs T: 0.09 s found: 244
1655.51/59.14 c Replacing 244 vars Replaced 46277 lits Time: 0.09 s
1806.34/63.85 c N st 376 237804 3659 2915 70888 34807 49702 2297731 12.63 no data
1806.34/63.85 c S st 376 237804 3659 2915 70888 34807 49702 2297731 12.63 no data
1808.86/63.91 c Finding binary XORs T: 0.05 s found: 67
1808.86/63.93 c Replacing 67 vars Replaced 8834 lits Time: 0.02 s
1808.86/63.98 c S st 376 238309 3592 2915 78603 35149 49702 2318839 12.63 no data
1812.06/64.02 c x-sub: 194 x-cut: 0 vfix: 0 v-elim: 7 locsubst: 42 time: 0.04
1824.85/64.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 2245 BRemL: 36115 BRemN: 141 P: 5.1M T: 0.46
1824.85/64.50 c Replacing 19 vars Replaced 1029 lits Time: 0.01 s
1828.04/64.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1828.04/64.51 c bin-w-bin subsume rem 13022 bins time: 0.01 s
1828.04/64.53 c subs with bin: 121 lits-rem: 218 v-fix: 0 time: 0.02 s
1828.04/64.54 c Subs w/ non-existent bins: 69 l-rem: 0 v-fix: 0 done: 3566 time: 0.01 s
1828.04/64.54 c Removed useless bin: 26 fixed: 0 props: 0.15M time: 0.00 s
1828.04/64.58 c lits-rem: 1 cl-subs: 107 v-elim: 87 v-fix: 0 time: 0.04 s
1834.44/64.75 c subs with bin: 40 lits-rem: 965 v-fix: 0 time: 0.04 s
2186.03/75.73 c lits-rem: 3465 cl-subs: 1523 v-elim: 0 v-fix: 0 time: 10.98 s
2186.03/75.73 c vivif2 -- cl tried 2901 cl shrink 20 lits rem 50 time: 0.00
2186.03/75.79 c vivif2 -- cl tried 33089 cl shrink 388 lits rem 428 time: 0.05
2189.85/75.85 c asymm cl-useful: 367/2901/2901 lits-rem:1141 time: 0.06
2189.85/75.86 c calculated reachability. Time: 0.00
2189.85/75.86 c N st 376 238309 3479 2576 31245 33089 43431 2089773 12.63 no data
2474.28/84.80 c F st 377 306250 3479 2576 31245 46411 43431 3739904 12.63 no data
2476.84/84.80 c N st 377 306250 3479 2576 31245 46411 43431 3739904 12.63 no data
2480.04/84.90 c Finding binary XORs T: 0.06 s found: 148
2486.43/85.15 c Replacing 148 vars Replaced 57098 lits Time: 0.25 s
2534.37/86.69 c Finding binary XORs T: 0.04 s found: 72
2537.53/86.71 c Replacing 72 vars Replaced 16665 lits Time: 0.02 s
2537.53/86.80 c N dy 465 325849 3259 2576 95946 35039 43431 1374126 14.98 81.09
2576.52/88.01 c N dy 594 345871 3259 2576 99315 49714 43431 1916049 17.07 42.26
2604.66/88.83 c Finding binary XORs T: 0.04 s found: 1
2607.85/88.93 c S st 691 357463 3259 2576 102340 33881 43431 1067555 19.36 16.46
2607.85/88.97 c S st 691 357966 3259 2576 102492 34254 43431 1078534 19.36 no data
2607.85/89.01 c x-sub: 216 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 38 time: 0.04
2630.22/89.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1202 BRemL: 35053 BRemN: 25 P: 7.8M T: 0.58
2630.22/89.61 c Replacing 20 vars Replaced 1446 lits Time: 0.01 s
2630.22/89.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2630.22/89.63 c bin-w-bin subsume rem 27242 bins time: 0.01 s
2630.22/89.65 c subs with bin: 84 lits-rem: 52 v-fix: 0 time: 0.03 s
2630.22/89.66 c Subs w/ non-existent bins: 23 l-rem: 0 v-fix: 0 done: 3239 time: 0.01 s
2630.22/89.67 c Removed useless bin: 1 fixed: 0 props: 0.11M time: 0.00 s
2630.22/89.69 c lits-rem: 1 cl-subs: 15 v-elim: 27 v-fix: 0 time: 0.02 s
2633.42/89.78 c subs with bin: 2 lits-rem: 136 v-fix: 0 time: 0.03 s
2682.00/91.25 c lits-rem: 4226 cl-subs: 7228 v-elim: 0 v-fix: 0 time: 1.47 s
2682.00/91.25 c vivif2 -- cl tried 2550 cl shrink 7 lits rem 17 time: 0.00
2682.00/91.27 c vivif2 -- cl tried 27012 cl shrink 89 lits rem 649 time: 0.02
2685.19/91.36 c asymm cl-useful: 118/2550/2550 lits-rem:326 time: 0.09
2685.19/91.36 c calculated reachability. Time: 0.00
2685.19/91.37 c N dy 691 357966 3212 2458 41262 27012 41468 826147 19.36 no data
2717.15/92.39 c Finding binary XORs T: 0.05 s found: 6
2720.35/92.49 c N dy 801 378074 3212 2458 43183 41780 41468 1428133 20.75 22.06
2761.26/93.79 c N dy 838 422692 3212 2458 43198 25931 41468 407905 19.76 21.72
2774.06/94.11 c Finding binary XORs T: 0.04 s found: 2
2783.65/94.47 c N dy 893 442694 3212 2458 51542 40169 41468 780897 19.61 31.80
2809.22/95.22 c Finding binary XORs T: 0.04 s found: 0
2809.22/95.23 c N dy 970 462727 3212 2458 51554 29390 41468 571055 19.87 26.55
2831.58/95.91 c N dy 1038 482826 3212 2458 51696 43516 41468 982885 20.00 79.40
2866.74/97.00 c N dy 1148 502835 3212 2458 54093 33839 41468 658671 20.51 29.04
2869.93/97.11 c Finding binary XORs T: 0.04 s found: 2
2901.89/98.12 c N dy 1213 533514 3212 2458 54476 28745 41468 441003 20.55 21.76
2905.09/98.28 c S st 1233 536949 3212 2458 54565 31173 41468 538618 20.66 12.84
2908.28/98.32 c S st 1233 537451 3212 2458 54567 31536 41468 548565 20.66 no data
2908.28/98.36 c x-sub: 19 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 28 time: 0.04
2924.27/98.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 2468 BRemL: 9603 BRemN: 8 P: 7.0M T: 0.53
2924.27/98.90 c Replacing 28 vars Replaced 2817 lits Time: 0.01 s
2924.27/98.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2924.27/98.91 c bin-w-bin subsume rem 2655 bins time: 0.01 s
2928.10/98.94 c subs with bin: 29 lits-rem: 14 v-fix: 0 time: 0.03 s
2928.10/98.95 c Subs w/ non-existent bins: 7 l-rem: 0 v-fix: 0 done: 3184 time: 0.01 s
2928.10/98.95 c Removed useless bin: 6 fixed: 0 props: 0.12M time: 0.00 s
2928.10/98.97 c lits-rem: 1 cl-subs: 35 v-elim: 12 v-fix: 0 time: 0.02 s
2928.10/99.01 c subs with bin: 16 lits-rem: 43 v-fix: 0 time: 0.01 s
2959.43/99.94 c lits-rem: 5353 cl-subs: 9048 v-elim: 0 v-fix: 0 time: 0.93 s
2959.43/99.95 c vivif2 -- cl tried 2404 cl shrink 3 lits rem 5 time: 0.00
2959.43/99.95 c vivif2 -- cl tried 22486 cl shrink 14 lits rem 23 time: 0.01
2963.26/100.07 c asymm cl-useful: 24/2404/2404 lits-rem:26 time: 0.11
2963.26/100.07 c calculated reachability. Time: 0.00
2963.26/100.07 c N dy 1233 537451 3172 2404 44643 22486 40548 394166 20.66 no data
2963.26/100.12 c Finding binary XORs T: 0.04 s found: 0
2994.59/101.10 c N dy 1341 557513 3172 2404 45176 37783 40548 916614 20.95 56.85
3026.56/102.07 c N dy 1417 581073 3172 2404 45205 29600 40548 440524 21.00 22.35
3061.72/103.12 c Finding binary XORs T: 0.04 s found: 123
3061.72/103.14 c Replacing 123 vars Replaced 25191 lits Time: 0.02 s
3064.91/103.21 c N dy 1523 601231 3049 2404 49356 44836 40548 1008267 21.40 22.98
3177.40/106.74 c N dy 1559 717406 3049 2404 49589 39780 40548 594527 19.68 21.19
3179.96/106.80 c Finding binary XORs T: 0.04 s found: 28
3212.56/107.88 c N dy 1652 738280 2919 2404 39262 27427 36285 366365 19.95 21.03
3227.91/108.39 c Finding binary XORs T: 0.04 s found: 28
3231.11/108.40 c Replacing 56 vars Replaced 14189 lits Time: 0.01 s
3247.72/108.96 c N dy 1761 758284 2863 2356 39659 42583 35801 999304 20.37 67.55
3285.45/110.10 c N dy 1805 780986 2863 2356 39692 30376 35801 397710 20.34 22.05
3285.45/110.16 c Finding binary XORs T: 0.04 s found: 265
3285.45/110.18 c Replacing 265 vars Replaced 113642 lits Time: 0.01 s
3298.24/110.57 c Finding binary XORs T: 0.04 s found: 3
3323.80/111.33 c N dy 1903 804359 2598 2356 77174 48906 35801 1098287 20.56 21.85
3330.20/111.52 c S st 1921 806176 2598 2356 78511 50433 35801 1195985 20.65 20.83
3330.20/111.58 c S st 1921 806680 2598 2356 78513 50833 35801 1210462 20.65 no data
3333.40/111.62 c x-sub: 176 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 52 time: 0.04
3339.79/111.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 16 Bins: 315 BRemL: 17255 BRemN: 1 P: 4.5M T: 0.27
3342.97/111.90 c Replacing 45 vars Replaced 5862 lits Time: 0.01 s
3342.97/111.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3342.97/111.95 c bin-w-bin subsume rem 48819 bins time: 0.04 s
3342.97/111.97 c subs with bin: 48 lits-rem: 827 v-fix: 0 time: 0.01 s
3342.97/111.97 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 0 done: 2553 time: 0.00 s
3342.97/111.97 c Removed useless bin: 13 fixed: 0 props: 0.09M time: 0.00 s
3342.97/112.00 c lits-rem: 0 cl-subs: 69 v-elim: 7 v-fix: 0 time: 0.02 s
3346.17/112.07 c subs with bin: 65 lits-rem: 808 v-fix: 0 time: 0.01 s
3432.44/114.76 c lits-rem: 6094 cl-subs: 9079 v-elim: 0 v-fix: 0 time: 2.69 s
3432.44/114.76 c vivif2 -- cl tried 2236 cl shrink 3 lits rem 7 time: 0.00
3432.44/114.78 c vivif2 -- cl tried 41689 cl shrink 56 lits rem 92 time: 0.02
3435.63/114.87 c asymm cl-useful: 337/2235/2235 lits-rem:449 time: 0.09
3435.63/114.88 c calculated reachability. Time: 0.00
3435.63/114.88 c N dy 1921 806680 2546 2235 12622 41688 28753 926079 20.65 no data
3438.82/114.92 c Finding binary XORs T: 0.04 s found: 0
3448.42/115.27 c Finding binary XORs T: 0.04 s found: 1
3777.54/125.54 c F st 2029 1071876 2546 2235 25612 40506 28753 589482 18.12 9.89
3777.54/125.55 c Replacing 1 vars Replaced 72 lits Time: 0.01 s
3777.54/125.55 c N st 2029 1071876 2545 2235 25610 40505 28753 589471 18.12 9.89
3780.74/125.60 c Finding binary XORs T: 0.04 s found: 16
3812.70/126.64 c N dy 2116 1091933 2545 2235 29294 55832 28753 1103669 18.24 23.70
3847.86/127.77 c N dy 2192 1113811 2545 2235 29394 72444 28753 1639232 18.38 19.69
3902.21/129.46 c N dy 2289 1148553 2545 2235 29430 60468 28753 1055090 18.40 19.74
3921.38/130.09 c Finding binary XORs T: 0.04 s found: 8
3940.56/130.67 c N dy 2381 1169066 2545 2235 29635 75765 28753 1532573 18.51 20.36
3962.92/131.39 c Replacing 34 vars Replaced 4156 lits Time: 0.01 s
3991.69/132.21 c N dy 2528 1190025 2450 2195 6059 53316 23946 1117756 18.83 20.49
4007.67/132.75 c Finding binary XORs T: 0.04 s found: 2
4062.00/134.45 c S st 2709 1210020 2450 2195 6205 70697 23946 2176805 19.42 no data
4065.19/134.54 c S st 2709 1210523 2450 2195 6206 71074 23946 2187467 19.42 no data
4065.19/134.58 c x-sub: 26 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
4068.39/134.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 56 BRemL: 1749 BRemN: 1 P: 1.3M T: 0.08
4068.39/134.67 c Replacing 3 vars Replaced 310 lits Time: 0.01 s
4068.39/134.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4068.39/134.68 c bin-w-bin subsume rem 1155 bins time: 0.00 s
4068.39/134.68 c subs with bin: 24 lits-rem: 11 v-fix: 0 time: 0.00 s
4068.39/134.68 c Subs w/ non-existent bins: 12 l-rem: 0 v-fix: 0 done: 2447 time: 0.00 s
4068.39/134.69 c Removed useless bin: 0 fixed: 0 props: 0.06M time: 0.00 s
4071.59/134.72 c lits-rem: 16 cl-subs: 283 v-elim: 57 v-fix: 0 time: 0.04 s
4074.79/134.87 c subs with bin: 375 lits-rem: 151 v-fix: 0 time: 0.02 s
4282.51/141.35 c lits-rem: 4779 cl-subs: 7119 v-elim: 0 v-fix: 0 time: 6.48 s
4282.51/141.36 c vivif2 -- cl tried 1780 cl shrink 4 lits rem 8 time: 0.00
4285.73/141.40 c vivif2 -- cl tried 62608 cl shrink 61 lits rem 81 time: 0.04
4285.73/141.45 c asymm cl-useful: 331/1780/1780 lits-rem:802 time: 0.05
4285.73/141.45 c calculated reachability. Time: 0.00
4285.73/141.45 c N dy 2709 1210523 2390 1780 2719 62608 20851 1968402 19.42 no data
4285.73/141.49 c Finding binary XORs T: 0.04 s found: 0
4327.22/142.77 c Finding binary XORs T: 0.04 s found: 5
4369.40/144.05 c N dy 2875 1230677 2385 1750 3123 40112 20643 466087 20.00 21.40
4384.75/144.55 c Finding binary XORs T: 0.04 s found: 1
4426.30/145.88 c Finding binary XORs T: 0.04 s found: 4
4442.95/146.36 c N dy 3069 1250707 2378 1669 3166 57825 20105 1706383 20.70 84.29
4499.82/148.19 c Finding binary XORs T: 0.04 s found: 9
4506.22/148.38 c N dy 3200 1270735 2371 1594 3263 74313 19594 2614099 21.09 52.59
4583.54/150.76 c Finding binary XORs T: 0.04 s found: 3
4611.69/151.64 c N dy 3377 1313298 2367 1556 3351 63373 19347 1146477 21.48 23.52
4637.26/152.44 c Finding binary XORs T: 0.04 s found: 5
4637.26/152.46 c Replacing 27 vars Replaced 5013 lits Time: 0.02 s
4694.79/154.29 c N dy 3568 1333354 2339 1535 3433 80780 19207 2323196 22.04 35.38
4736.34/155.59 c Finding binary XORs T: 0.04 s found: 0
4768.30/156.55 c N dy 3748 1353372 2339 1535 3492 56596 19207 1455235 22.56 52.38
4848.21/159.01 c N dy 3917 1373406 2339 1535 3511 74135 19207 2521499 22.99 42.35
4864.82/159.54 c Finding binary XORs T: 0.04 s found: 2
4960.07/162.51 c N dy 4086 1396571 2338 1535 3607 48684 19207 587761 23.46 24.87
5062.35/165.72 c N dy 4113 1465768 2337 1535 3664 56315 19207 798087 23.27 24.57
5062.35/165.77 c Finding binary XORs T: 0.04 s found: 24
5062.35/165.78 c Replacing 26 vars Replaced 1831 lits Time: 0.01 s
5139.06/168.17 c N dy 4270 1485868 2310 1502 3780 72655 18979 1789510 23.64 39.32
5142.84/168.24 c Finding binary XORs T: 0.04 s found: 2
5455.37/178.07 c N dy 4377 1623876 2310 1502 3815 43024 18979 495969 23.00 24.88
5455.37/178.11 c Finding binary XORs T: 0.04 s found: 13
5512.90/179.85 c N dy 4518 1643923 2310 1502 4298 60114 18979 1453416 23.29 41.49
5595.95/182.40 c N dy 4700 1663973 2310 1502 4323 77594 18979 2659492 23.72 39.07
5691.80/185.44 c N dy 4869 1684984 2310 1502 4330 49314 18979 610430 24.10 25.41
5723.75/186.44 c Finding binary XORs T: 0.04 s found: 1
5726.95/186.57 c N dy 4923 1704992 2310 1502 4345 65024 18979 1161447 24.14 37.34
5736.55/186.87 c S st 4928 1710524 2310 1502 4345 69274 18979 1284566 24.13 15.68
5740.34/186.96 c S st 4928 1711025 2310 1502 4484 69635 18979 1291330 24.13 no data
5740.34/186.99 c x-sub: 15 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 0 time: 0.04
5743.57/187.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 20 Bins: 12 BRemL: 1344 BRemN: 15 P: 1.1M T: 0.06
5743.57/187.07 c Replacing 36 vars Replaced 4184 lits Time: 0.01 s
5743.57/187.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5743.57/187.07 c bin-w-bin subsume rem 1047 bins time: 0.00 s
5743.57/187.08 c subs with bin: 4 lits-rem: 75 v-fix: 0 time: 0.00 s
5743.57/187.08 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 2268 time: 0.00 s
5743.57/187.08 c Removed useless bin: 9 fixed: 0 props: 0.05M time: 0.00 s
5746.12/187.11 c lits-rem: 10 cl-subs: 447 v-elim: 8 v-fix: 0 time: 0.03 s
5746.12/187.19 c subs with bin: 19 lits-rem: 243 v-fix: 0 time: 0.00 s
5956.99/193.76 c lits-rem: 6437 cl-subs: 13882 v-elim: 0 v-fix: 0 time: 6.57 s
5956.99/193.76 c vivif2 -- cl tried 1060 cl shrink 18 lits rem 45 time: 0.00
5956.99/193.78 c vivif2 -- cl tried 55492 cl shrink 26 lits rem 29 time: 0.02
5960.19/193.80 c asymm cl-useful: 129/1060/1060 lits-rem:266 time: 0.02
5960.19/193.80 c calculated reachability. Time: 0.00
5960.19/193.80 c N dy 4928 1711025 2260 1060 1863 55492 14874 1060276 24.13 no data
5979.34/194.47 c Finding binary XORs T: 0.04 s found: 3
6036.87/196.22 c N dy 5094 1731100 2260 1060 2279 72837 14874 2178980 24.47 36.70
6113.58/198.65 c N dy 5239 1751127 2260 1060 2280 90041 14874 3185509 24.74 36.97
6180.67/200.78 c N dy 5297 1792550 2260 1060 2280 72901 14874 1284400 24.69 26.04
6183.86/200.82 c Finding binary XORs T: 0.04 s found: 0
6279.73/203.84 c N dy 5479 1812557 2260 1060 2335 90424 14874 2459338 25.05 67.72
6389.89/222.19 c Following stats are for *FIRST FINISHED THREAD ONLY*
6389.89/222.19 c num threads : 32
6389.89/222.19 c restarts : 4248
6389.89/222.19 c dynamic restarts : 4224
6389.89/222.19 c static restarts : 24
6389.89/222.19 c full restarts : 3
6389.89/222.19 c total simplify time : 2.33
6389.89/222.19 c learnts DL2 : 0
6389.89/222.19 c learnts size 2 : 525073
6389.89/222.19 c learnts size 1 : 2487 (5.41 % of vars)
6389.89/222.19 c filedLit time : 6.13 (2.81 % time)
6389.89/222.19 c v-elim SatELite : 12978 (28.25 % vars)
6389.89/222.19 c SatELite time : 0.66 (0.30 % time)
6389.89/222.19 c v-elim xor : 0 (0.00 % vars)
6389.89/222.19 c xor elim time : 0.04 (0.02 % time)
6389.89/222.19 c num binary xor trees : 3753
6389.89/222.19 c binxor trees' crown : 26263 (7.00 leafs/tree)
6389.89/222.19 c bin xor find time : 1.18
6389.89/222.19 c OTF clause improved : 78759 (0.08 clauses/conflict)
6389.89/222.19 c OTF impr. size diff : 80237 (1.02 lits/clause)
6389.89/222.19 c OTF cl watch-shrink : 214012 (0.22 clauses/conflict)
6389.89/222.19 c OTF cl watch-sh-lit : 432253 (2.02 lits/clause)
6389.89/222.19 c tried to recurMin cls : 391232 (40.47 % of conflicts)
6389.89/222.19 c updated cache : 47017 (0.12 lits/tried recurMin)
6389.89/222.19 c unit cls recevied : 223 (8.97 % of units)
6389.89/222.19 c unit cls sent : 2536 (101.97 % of units)
6389.89/222.19 c bin cls recevied : 417944
6389.89/222.19 c bin cls sent : 107980
6389.89/222.19 c clauses over max glue : 0 (0.00 % of all clauses)
6389.89/222.19 c conflicts : 966828 (4429.85 / sec)
6389.89/222.19 c decisions : 2464563 (10.94 % random)
6389.89/222.19 c bogo-props : 7544946047 (34569752.85 / sec)
6389.89/222.19 c conflict literals : 19436397 (10.67 % deleted)
6389.89/222.19 c Memory used : 9871.88 MB
6389.89/222.19 c single-thread CPU time : 218.25 s
6389.89/222.19 c all-threads sum CPU time : 6334.25 s
6389.89/222.19 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-3400632-1306257571/watcher-3400632-1306257571 -o /tmp/evaluation-result-3400632-1306257571/solver-3400632-1306257571 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400632-1306257571.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.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=338000 CPUtime=0.76 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 468 0 0 0 76 0 0 0 25 0 32 0 737243519 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 84500 408 300 95 0 79482 0
[pid=9638/tid=9639] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967248 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967670 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967248 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0413061 s]
/proc/loadavg: 23.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=338000 CPUtime=1.01 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 468 0 0 0 101 0 0 0 25 0 32 0 737243519 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 84500 408 300 95 0 79482 0
[pid=9638/tid=9639] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967255 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967670 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=338000 CPUtime=0 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967257 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967261 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 737243520 346112000 408 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920727967251 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 338000
[startup+0.10334 s]
/proc/loadavg: 23.23 29.13 30.79 1/413 9638
/proc/meminfo: memFree=255155024/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=855396 CPUtime=2.62 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 9209 0 0 0 202 60 0 0 25 0 32 0 737243519 875925504 9057 268435456000 4194304 4580107 140733566327312 18446744073709551615 4511818 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9638/statm: 215900 9066 334 95 0 210882 0
[pid=9638/tid=9639] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 269 0 0 0 6 1 0 0 23 0 32 0 737243520 884326400 9071 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509854 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 1 0 0 23 0 32 0 737243520 884326400 9072 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509212 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=863600 CPUtime=0.07 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 320 0 0 0 6 1 0 0 18 0 32 0 737243520 884326400 9074 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566928304 0 0 -1 8 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=863600 CPUtime=0.06 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 5 1 0 0 23 0 32 0 737243520 884326400 9087 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393798 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=863760 CPUtime=0.06 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 269 0 0 0 5 1 0 0 23 0 32 0 737243520 884490240 9099 268435456000 4194304 4580107 140733566327312 18446744073709551615 4509260 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 271 0 0 0 6 1 0 0 18 0 32 0 737243520 884490240 9117 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725392518 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 23 0 32 0 737243520 884490240 9131 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9139 268435456000 4194304 4580107 140733566327312 18446744073709551615 4511859 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=863760 CPUtime=0.08 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 315 0 0 0 6 2 0 0 17 0 32 0 737243520 884490240 9141 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=863760 CPUtime=0.08 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 2 0 0 24 0 32 0 737243520 884490240 9144 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 268 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9154 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725393547 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 281 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9161 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566928344 0 0 -1 10 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=863760 CPUtime=0.07 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 267 0 0 0 6 1 0 0 24 0 32 0 737243520 884490240 9174 268435456000 4194304 4580107 140733566327312 18446744073709551615 4510669 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 266 0 0 0 6 1 0 0 24 0 32 0 737243520 884625408 9188 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725397048 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=863892 CPUtime=0.08 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) S 9636 9638 9488 0 -1 4202560 309 0 0 0 6 2 0 0 17 0 32 0 737243520 884625408 9192 268435456000 4194304 4580107 140733566327312 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 14 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 267 0 0 0 6 1 0 0 18 0 32 0 737243520 884625408 9194 268435456000 4194304 4580107 140733566327312 18446744073709551615 47920725392518 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=863892 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=9638/tid=9639] ppid=9636 vsize=8393220 CPUtime=95.38 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 90900 0 0 0 9369 169 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4451903 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=8393220 CPUtime=94.68 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 89703 0 0 0 9290 178 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=8393220 CPUtime=95.01 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 76086 0 0 0 9349 152 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=8393220 CPUtime=94.79 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64478 0 0 0 9313 166 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=8393220 CPUtime=94.93 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 68282 0 0 0 9323 170 0 0 25 0 32 0 737243520 8594657280 1621422 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=8393220 CPUtime=94.69 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73068 0 0 0 9311 158 0 0 25 0 32 0 737243520 8594657280 1621423 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=8393220 CPUtime=94.67 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 82413 0 0 0 9305 162 0 0 25 0 32 0 737243520 8594657280 1621424 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=8393220 CPUtime=94.65 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 58429 0 0 0 9297 168 0 0 25 0 32 0 737243520 8594657280 1621426 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=8393220 CPUtime=95.13 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 66847 0 0 0 9348 165 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=8393220 CPUtime=94.76 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69291 0 0 0 9308 168 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=8393220 CPUtime=94.53 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 62577 0 0 0 9280 173 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4395363 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=8393220 CPUtime=94.88 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 48337 0 0 0 9331 157 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=8393220 CPUtime=94.62 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59224 0 0 0 9292 170 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=8393220 CPUtime=94.87 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59307 0 0 0 9324 163 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=8393220 CPUtime=94.83 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 61065 0 0 0 9317 166 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=8393220 CPUtime=94.64 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59019 0 0 0 9298 166 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=8393220 CPUtime=94.73 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67259 0 0 0 9304 169 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4296252 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=8393220 CPUtime=94.8 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 61735 0 0 0 9315 165 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=8393220 CPUtime=94.66 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 66518 0 0 0 9294 172 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=8393220 CPUtime=94.47 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 75567 0 0 0 9272 175 0 0 25 0 32 0 737243520 8594657280 1621427 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=8393220 CPUtime=92.71 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69463 0 0 0 9100 171 0 0 25 0 32 0 737243520 8594657280 1621428 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=8393220 CPUtime=94.64 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 57502 0 0 0 9306 158 0 0 25 0 32 0 737243520 8594657280 1621428 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=8393220 CPUtime=94.54 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69245 0 0 0 9289 165 0 0 25 0 32 0 737243520 8594657280 1621429 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=8393220 CPUtime=94.61 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 70928 0 0 0 9302 159 0 0 25 0 32 0 737243520 8594657280 1621429 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=8393220 CPUtime=94.94 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64542 0 0 0 9330 164 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4497315 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=8393220 CPUtime=95 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64238 0 0 0 9351 149 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=8393220 CPUtime=95.02 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 70692 0 0 0 9345 157 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=8393220 CPUtime=95.34 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 75478 0 0 0 9378 156 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=8393220 CPUtime=94.58 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 56964 0 0 0 9288 170 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=8393220 CPUtime=95.39 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 68189 0 0 0 9377 162 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=8393220 CPUtime=99.18 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 32250 0 0 0 9845 73 0 0 25 0 32 0 737243520 8594657280 1621430 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3036.77
Current children cumulated vsize (KiB) 8393220
[startup+162.302 s]
/proc/loadavg: 31.36 30.11 30.87 33/445 9674
/proc/meminfo: memFree=247959364/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=9615536 CPUtime=4953.67 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) R 9636 9638 9488 0 -1 4202496 2712272 0 0 0 489969 5398 0 0 25 0 32 0 737243519 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 2403884 1802556 379 95 0 2398866 0
[pid=9638/tid=9639] ppid=9636 vsize=9615536 CPUtime=155.33 cores=0-31
/proc/9638/task/9639/stat : 9639 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 108094 0 0 0 15359 174 0 0 25 0 32 0 737243520 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9638/tid=9640] ppid=9636 vsize=9615536 CPUtime=154.63 cores=0-31
/proc/9638/task/9640/stat : 9640 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 109066 0 0 0 15280 183 0 0 25 0 32 0 737243520 9846308864 1802556 268435456000 4194304 4580107 140733566327312 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9638/tid=9641] ppid=9636 vsize=9615536 CPUtime=154.97 cores=0-31
/proc/9638/task/9641/stat : 9641 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 94479 0 0 0 15339 158 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9638/tid=9642] ppid=9636 vsize=9615536 CPUtime=154.7 cores=0-31
/proc/9638/task/9642/stat : 9642 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 77556 0 0 0 15299 171 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4519885 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9638/tid=9643] ppid=9636 vsize=9615536 CPUtime=154.89 cores=0-31
/proc/9638/task/9643/stat : 9643 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 79275 0 0 0 15316 173 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9638/tid=9644] ppid=9636 vsize=9615536 CPUtime=154.65 cores=0-31
/proc/9638/task/9644/stat : 9644 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 87458 0 0 0 15302 163 0 0 25 0 32 0 737243520 9846308864 1802557 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9638/tid=9645] ppid=9636 vsize=9615536 CPUtime=154.62 cores=0-31
/proc/9638/task/9645/stat : 9645 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 100290 0 0 0 15295 167 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4322884 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9638/tid=9646] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9646/stat : 9646 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 72041 0 0 0 15288 173 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9638/tid=9647] ppid=9636 vsize=9615536 CPUtime=155.09 cores=0-31
/proc/9638/task/9647/stat : 9647 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 83429 0 0 0 15337 172 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9638/tid=9648] ppid=9636 vsize=9615536 CPUtime=154.71 cores=0-31
/proc/9638/task/9648/stat : 9648 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 87956 0 0 0 15294 177 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9638/tid=9649] ppid=9636 vsize=9615536 CPUtime=154.49 cores=0-31
/proc/9638/task/9649/stat : 9649 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73374 0 0 0 15271 178 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9638/tid=9650] ppid=9636 vsize=9615536 CPUtime=154.84 cores=0-31
/proc/9638/task/9650/stat : 9650 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 59825 0 0 0 15322 162 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9638/tid=9651] ppid=9636 vsize=9615536 CPUtime=154.58 cores=0-31
/proc/9638/task/9651/stat : 9651 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 69528 0 0 0 15283 175 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9638/tid=9652] ppid=9636 vsize=9615536 CPUtime=154.84 cores=0-31
/proc/9638/task/9652/stat : 9652 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 73783 0 0 0 15315 169 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9638/tid=9653] ppid=9636 vsize=9615536 CPUtime=154.8 cores=0-31
/proc/9638/task/9653/stat : 9653 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67843 0 0 0 15311 169 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9638/tid=9654] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9654/stat : 9654 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 64880 0 0 0 15293 168 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9638/tid=9655] ppid=9636 vsize=9615536 CPUtime=154.69 cores=0-31
/proc/9638/task/9655/stat : 9655 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 82414 0 0 0 15294 175 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9638/tid=9656] ppid=9636 vsize=9615536 CPUtime=154.76 cores=0-31
/proc/9638/task/9656/stat : 9656 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 78515 0 0 0 15306 170 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9638/tid=9657] ppid=9636 vsize=9615536 CPUtime=154.63 cores=0-31
/proc/9638/task/9657/stat : 9657 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 90184 0 0 0 15283 180 0 0 25 0 32 0 737243520 9846308864 1802558 268435456000 4194304 4580107 140733566327312 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9638/tid=9658] ppid=9636 vsize=9615536 CPUtime=154.43 cores=0-31
/proc/9638/task/9658/stat : 9658 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 91429 0 0 0 15261 182 0 0 25 0 32 0 737243520 9846308864 1802559 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295644 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9638/tid=9659] ppid=9636 vsize=9615536 CPUtime=150.98 cores=0-31
/proc/9638/task/9659/stat : 9659 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 91304 0 0 0 14919 179 0 0 25 0 32 0 737243520 9846308864 1802560 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9638/tid=9660] ppid=9636 vsize=9615536 CPUtime=154.61 cores=0-31
/proc/9638/task/9660/stat : 9660 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67210 0 0 0 15300 161 0 0 25 0 32 0 737243520 9846308864 1802561 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9638/tid=9661] ppid=9636 vsize=9615536 CPUtime=154.48 cores=0-31
/proc/9638/task/9661/stat : 9661 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 106903 0 0 0 15268 180 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9638/tid=9662] ppid=9636 vsize=9615536 CPUtime=154.56 cores=0-31
/proc/9638/task/9662/stat : 9662 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 92042 0 0 0 15289 167 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9638/tid=9663] ppid=9636 vsize=9615536 CPUtime=154.89 cores=0-31
/proc/9638/task/9663/stat : 9663 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 88232 0 0 0 15316 173 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9638/tid=9664] ppid=9636 vsize=9615536 CPUtime=154.95 cores=0-31
/proc/9638/task/9664/stat : 9664 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 98267 0 0 0 15335 160 0 0 25 0 32 0 737243520 9846308864 1802562 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9638/tid=9665] ppid=9636 vsize=9615536 CPUtime=154.97 cores=0-31
/proc/9638/task/9665/stat : 9665 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 97503 0 0 0 15331 166 0 0 25 0 32 0 737243520 9846308864 1802563 268435456000 4194304 4580107 140733566327312 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9638/tid=9666] ppid=9636 vsize=9615536 CPUtime=155.28 cores=0-31
/proc/9638/task/9666/stat : 9666 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 116563 0 0 0 15357 171 0 0 25 0 32 0 737243520 9846308864 1802563 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9638/tid=9667] ppid=9636 vsize=9615536 CPUtime=154.55 cores=0-31
/proc/9638/task/9667/stat : 9667 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 67130 0 0 0 15282 173 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9638/tid=9668] ppid=9636 vsize=9615536 CPUtime=155.34 cores=0-31
/proc/9638/task/9668/stat : 9668 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 114116 0 0 0 15354 180 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4295157 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=9615536 CPUtime=159.15 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202560 33949 0 0 0 15841 74 0 0 25 0 32 0 737243520 9846308864 1802564 268435456000 4194304 4580107 140733566327312 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4953.67
Current children cumulated vsize (KiB) 9615536
[startup+222.301 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.16 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5591 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.12 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 87 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.16
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+222.701 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.56 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5631 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.52 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 127 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.56
Current children cumulated vsize (KiB) 0
[startup+222.801 s]
/proc/loadavg: 23.37 28.54 30.31 4/445 9678
/proc/meminfo: memFree=247585268/264257624 swapFree=67111528/67111528
[pid=9638] ppid=9636 vsize=0 CPUtime=6390.66 cores=0-31
/proc/9638/stat : 9638 (strangenight2-m) Z 9636 9638 9488 0 -1 4203548 3195616 0 0 0 633425 5641 0 0 18 0 2 0 737243519 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/9638/statm: 0 0 0 0 0 0 0
[pid=9638/tid=9669] ppid=9636 vsize=0 CPUtime=219.62 cores=0-31
/proc/9638/task/9669/stat : 9669 (strangenight2-m) R 9636 9638 9488 0 -1 4202564 41438 0 0 0 21825 137 0 0 25 0 2 0 737243520 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6390.66
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 222.831
CPU time (s): 6390.7
CPU user time (s): 6334.25
CPU system time (s): 56.4464
CPU usage (%): 2867.96
Max. virtual memory (cumulated for all children) (KiB): 10601092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6334.25
system time used= 56.4464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3195616
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= 1599294
involuntary context switches= 21345
runsolver used 1.47778 second user time and 5.18021 second system time
The end
Begin job on node200 at 2011-05-24 19:19:31
IDJOB=3400632
IDBENCH=20521
IDSOLVER=1886
FILE ID=node200/3400632-1306257571
RUNJOBID= node200-1306257309-9502
PBS_JOBID= 13411760
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.k80.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400632-1306257571/watcher-3400632-1306257571 -o /tmp/evaluation-result-3400632-1306257571/solver-3400632-1306257571 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400632-1306257571.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 337e301d7c1a4748ec4a1ced7e688c38
RANDOM SEED=1219264953
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: 255155312 kB
Buffers: 463720 kB
Cached: 8219080 kB
SwapCached: 0 kB
Active: 7771268 kB
Inactive: 981192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255155312 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9360 kB
Writeback: 0 kB
AnonPages: 69612 kB
Mapped: 14284 kB
Slab: 254988 kB
PageTables: 4876 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 174140 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:23:14