0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400815-1306826273.cnf'
0.00/0.08 c -- header says num vars: 22886
0.00/0.08 c -- header says num clauses: 76038
6.47/0.75 c -- clauses added: 0 learnts, 76038 normals, 0 xors
6.47/0.75 c -- vars added 22886
6.47/0.75 c Parsing time: 0.15 s
6.47/0.75 c N st 0 0 22886 35405 36071 0 182356 0 no data no data
50.23/1.90 c asymm cl-useful: 8/35405/35405 lits-rem:88 time: 1.15
137.18/8.11 c Flit: 62 Blit: 2152 bXBeca: 0 bXProp: 3731 Bins: 0 BRemL: 0 BRemN: 0 P: 18.0M T: 2.41
137.18/8.12 c Cleaning up after failed var search: 0.01 s
140.35/8.16 c Replacing 3731 vars Replaced 100834 lits Time: 0.03 s
140.35/8.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
142.55/8.20 c bin-w-bin subsume rem 557 bins time: 0.01 s
142.55/8.21 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.01 s
142.55/8.24 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 15722 time: 0.02 s
142.55/8.26 c Removed useless bin: 39 fixed: 0 props: 2.13M time: 0.02 s
151.70/8.61 c lits-rem: 0 cl-subs: 165 v-elim: 5240 v-fix: 0 time: 0.13 s
151.70/8.66 c Finding binary XORs T: 0.05 s found: 14
151.70/8.66 c Replacing 14 vars Replaced 179 lits Time: 0.00 s
154.10/8.71 c Finding non-binary XORs: 0.02 s (found: 4809, avg size: 3.0)
154.10/8.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 756 locsubst: 3068 time: 0.01
154.10/8.72 c Replacing 1534 vars Replaced 9204 lits Time: 0.00 s
154.10/8.72 c calculated reachability. Time: 0.00
154.10/8.73 c Calc default polars - time: 0.00 s pos: 1194 undec: 14739 neg: 6953
154.10/8.73 c =========================================================================================
154.10/8.73 c types(t): F = full restart, N = normal restart
154.10/8.73 c types(t): S = simplification begin/end, E = solution found
154.10/8.73 c restart types(rt): st = static, dy = dynamic
154.10/8.73 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
154.10/8.73 c B st 0 0 8178 13295 11219 0 87776 0 no data no data
162.57/9.13 c Decided on static restart strategy
181.68/9.61 c N st 8 4914 8177 13295 11273 4644 87776 159841 no data no data
220.02/10.80 c N st 10 11297 8173 13295 11806 8115 87776 370691 no data no data
248.78/11.77 c N st 11 17043 8146 13295 11822 9121 87776 303000 no data no data
251.97/11.80 c Finding binary XORs T: 0.03 s found: 1
312.70/13.70 c F st 12 25001 8132 13287 12108 10398 86735 458443 no data no data
312.70/13.71 c Replacing 1 vars Replaced 9 lits Time: 0.00 s
312.70/13.72 c N st 12 25001 8131 13287 12106 10398 86731 458443 no data no data
347.86/14.90 c Decided on static restart strategy
347.86/14.90 c N st 18 30001 8128 13287 12505 8122 86731 256038 no data no data
347.86/14.90 c S st 18 30001 8128 13287 12505 8122 86731 256038 no data no data
354.26/15.04 c S st 18 30503 8128 13287 12576 8552 86731 262572 no data no data
354.26/15.05 c x-sub: 1534 x-cut: 0 vfix: 0 v-elim: 378 locsubst: 0 time: 0.01
370.25/15.58 c Flit: 73 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 68825 BRemL: 46942 BRemN: 10 P: 5.3M T: 0.53
370.25/15.59 c Replacing 9 vars Replaced 598 lits Time: 0.01 s
373.41/15.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
373.41/15.61 c bin-w-bin subsume rem 326 bins time: 0.00 s
373.41/15.61 c subs with bin: 588 lits-rem: 365 v-fix: 0 time: 0.01 s
373.41/15.63 c Subs w/ non-existent bins: 0 l-rem: 8 v-fix: 0 done: 7668 time: 0.02 s
373.41/15.64 c Removed useless bin: 65 fixed: 0 props: 0.24M time: 0.01 s
373.41/15.68 c lits-rem: 174 cl-subs: 150 v-elim: 1359 v-fix: 0 time: 0.04 s
373.41/15.69 c subs with bin: 52 lits-rem: 155 v-fix: 0 time: 0.01 s
373.41/15.71 c lits-rem: 51 cl-subs: 125 v-elim: 0 v-fix: 0 time: 0.01 s
380.47/15.87 c asymm cl-useful: 178/12882/12882 lits-rem:743 time: 0.17
380.47/15.88 c calculated reachability. Time: 0.00
380.47/15.88 c N st 18 30503 6309 12882 25639 2436 75532 66468 no data no data
405.38/16.60 c Finding binary XORs T: 0.03 s found: 0
427.75/17.36 c N st 20 37617 6306 12879 25666 9417 75418 483614 no data no data
469.28/18.66 c N st 21 44016 6306 12879 25668 10107 75418 561019 no data no data
472.47/18.74 c Finding binary XORs T: 0.03 s found: 0
485.89/19.12 c S st 22 45754 6306 12879 72584 11828 75418 788872 no data no data
488.47/19.24 c S st 22 46258 6306 12879 72595 12320 75418 800796 no data no data
488.47/19.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 179 locsubst: 0 time: 0.01
498.03/19.54 c Flit: 9 Blit: 0 bXBeca: 0 bXProp: 16 Bins: 1363 BRemL: 30631 BRemN: 63 P: 2.9M T: 0.28
498.03/19.55 c Replacing 17 vars Replaced 430 lits Time: 0.01 s
498.03/19.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
498.03/19.56 c bin-w-bin subsume rem 6520 bins time: 0.00 s
498.03/19.57 c subs with bin: 69 lits-rem: 40 v-fix: 0 time: 0.01 s
498.03/19.57 c Subs w/ non-existent bins: 0 l-rem: 41 v-fix: 0 done: 6101 time: 0.01 s
498.03/19.58 c Removed useless bin: 1 fixed: 0 props: 0.16M time: 0.00 s
498.03/19.59 c lits-rem: 0 cl-subs: 59 v-elim: 35 v-fix: 0 time: 0.01 s
501.23/19.63 c subs with bin: 0 lits-rem: 10 v-fix: 0 time: 0.02 s
501.23/19.66 c lits-rem: 172 cl-subs: 94 v-elim: 0 v-fix: 0 time: 0.03 s
501.23/19.66 c vivif2 -- cl tried 12712 cl shrink 113 lits rem 269 time: 0.01
501.23/19.67 c vivif2 -- cl tried 5195 cl shrink 440 lits rem 1475 time: 0.01
507.62/19.85 c asymm cl-useful: 38/12686/12686 lits-rem:90 time: 0.18
507.62/19.86 c calculated reachability. Time: 0.00
507.62/19.86 c N st 22 46258 6066 12686 24406 5194 73792 150230 no data no data
641.87/24.09 c N st 23 60656 6066 12686 24407 14797 73792 1442173 no data no data
645.06/24.13 c Finding binary XORs T: 0.02 s found: 0
708.98/26.12 c N st 24 69389 6055 12668 22179 15217 73621 991673 no data no data
708.98/26.12 c S st 24 69389 6055 12668 22179 15217 73621 991673 no data no data
712.19/26.26 c S st 24 69892 6052 12668 22984 15713 73621 1004931 no data no data
712.19/26.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 90 locsubst: 0 time: 0.01
721.78/26.50 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 13 Bins: 150 BRemL: 1537 BRemN: 0 P: 3.8M T: 0.23
721.78/26.53 c Replacing 14 vars Replaced 1873 lits Time: 0.03 s
721.78/26.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
721.78/26.54 c bin-w-bin subsume rem 517 bins time: 0.00 s
721.78/26.55 c subs with bin: 70 lits-rem: 36 v-fix: 0 time: 0.01 s
721.78/26.56 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 5945 time: 0.01 s
721.78/26.56 c Removed useless bin: 1 fixed: 0 props: 0.15M time: 0.00 s
721.78/26.59 c lits-rem: 1 cl-subs: 56 v-elim: 46 v-fix: 0 time: 0.02 s
734.56/26.92 c subs with bin: 2 lits-rem: 3600 v-fix: 0 time: 0.27 s
760.14/27.72 c lits-rem: 1038 cl-subs: 543 v-elim: 0 v-fix: 0 time: 0.80 s
760.14/27.73 c vivif2 -- cl tried 12496 cl shrink 35 lits rem 48 time: 0.00
760.14/27.79 c vivif2 -- cl tried 14989 cl shrink 4559 lits rem 23063 time: 0.06
767.16/27.99 c asymm cl-useful: 291/12496/12496 lits-rem:814 time: 0.20
769.72/28.00 c calculated reachability. Time: 0.00
769.72/28.00 c N st 24 69892 5899 12285 20878 14988 72193 920731 no data no data
935.95/33.26 c F st 25 87500 5899 12285 20878 21990 72193 1539366 no data no data
935.95/33.28 c N st 25 87500 5899 12283 20190 21990 72164 1537997 no data no data
939.77/33.32 c Finding binary XORs T: 0.02 s found: 87
939.77/33.36 c Replacing 87 vars Replaced 4818 lits Time: 0.03 s
978.12/34.57 c Decided on static restart strategy
999.87/35.26 c N st 32 95538 5805 12267 20728 17921 71786 818927 no data no data
999.87/35.30 c Finding binary XORs T: 0.02 s found: 1
1070.19/37.46 c N st 34 104838 5802 12264 22479 13851 71743 527101 no data no data
1070.19/37.46 c S st 34 104838 5802 12264 22479 13851 71743 527101 no data no data
1073.38/37.58 c S st 34 105343 5798 12264 22880 14352 71742 538226 no data no data
1073.38/37.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1080.40/37.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 14 Bins: 128 BRemL: 1911 BRemN: 2 P: 3.4M T: 0.20
1080.40/37.81 c Replacing 15 vars Replaced 1014 lits Time: 0.01 s
1080.40/37.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1080.40/37.82 c bin-w-bin subsume rem 753 bins time: 0.00 s
1083.60/37.82 c subs with bin: 131 lits-rem: 138 v-fix: 0 time: 0.00 s
1083.60/37.83 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 5783 time: 0.01 s
1083.60/37.84 c Removed useless bin: 2 fixed: 0 props: 0.14M time: 0.00 s
1083.60/37.86 c lits-rem: 14 cl-subs: 193 v-elim: 47 v-fix: 0 time: 0.02 s
1089.36/38.00 c subs with bin: 4 lits-rem: 238 v-fix: 0 time: 0.11 s
1092.56/38.15 c lits-rem: 500 cl-subs: 289 v-elim: 0 v-fix: 0 time: 0.14 s
1092.56/38.15 c vivif2 -- cl tried 11894 cl shrink 1 lits rem 1 time: 0.00
1092.56/38.17 c vivif2 -- cl tried 13435 cl shrink 841 lits rem 3514 time: 0.02
1098.95/38.35 c asymm cl-useful: 44/11894/11894 lits-rem:69 time: 0.17
1098.95/38.35 c calculated reachability. Time: 0.00
1098.95/38.35 c N st 34 105343 5736 11889 16970 13435 70107 476888 no data no data
1166.08/40.47 c N st 35 114943 5736 11889 16970 22960 70107 1160527 no data no data
1166.08/40.50 c Finding binary XORs T: 0.02 s found: 0
1252.39/43.14 c N st 36 129340 5736 11889 17102 22911 70107 974804 no data no data
1412.18/48.13 c N st 37 150937 5735 11889 17610 28862 70107 1100638 no data no data
1412.18/48.17 c Finding binary XORs T: 0.02 s found: 1
1467.19/49.87 c S st 38 158015 5734 11888 17827 19330 70092 598365 no data no data
1472.94/50.03 c S st 38 158518 5733 11888 17838 19825 70092 609006 no data no data
1472.94/50.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1479.31/50.26 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 562 BRemL: 1943 BRemN: 1 P: 3.9M T: 0.23
1479.31/50.28 c Replacing 3 vars Replaced 1291 lits Time: 0.02 s
1479.31/50.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1479.31/50.29 c bin-w-bin subsume rem 335 bins time: 0.00 s
1479.31/50.30 c subs with bin: 9 lits-rem: 50 v-fix: 0 time: 0.01 s
1482.51/50.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5729 time: 0.01 s
1482.51/50.31 c Removed useless bin: 1 fixed: 0 props: 0.16M time: 0.00 s
1482.51/50.33 c lits-rem: 4 cl-subs: 22 v-elim: 26 v-fix: 0 time: 0.02 s
1488.90/50.52 c subs with bin: 14 lits-rem: 287 v-fix: 0 time: 0.15 s
1495.30/50.74 c lits-rem: 813 cl-subs: 496 v-elim: 0 v-fix: 0 time: 0.22 s
1495.30/50.75 c vivif2 -- cl tried 11843 cl shrink 0 lits rem 0 time: 0.00
1495.30/50.78 c vivif2 -- cl tried 18799 cl shrink 1746 lits rem 8237 time: 0.03
1502.31/50.99 c asymm cl-useful: 33/11843/11843 lits-rem:69 time: 0.21
1502.31/51.00 c calculated reachability. Time: 0.00
1502.31/51.00 c N st 38 158518 5703 11833 15484 18799 69726 559053 no data no data
1728.64/58.01 c Finding binary XORs T: 0.02 s found: 7
1869.29/62.42 c N st 39 207106 5687 11775 15723 25592 69346 754556 no data no data
2173.58/71.95 c N st 40 237779 5686 11775 16087 38106 69346 1438999 no data no data
2173.58/71.95 c S st 40 237779 5686 11775 16087 38106 69346 1438999 no data no data
2173.58/72.00 c Finding binary XORs T: 0.02 s found: 16
2182.53/72.23 c S st 40 238280 5682 11769 15794 19843 69195 492999 no data no data
2182.53/72.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2188.90/72.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 519 BRemL: 2580 BRemN: 6 P: 4.0M T: 0.22
2188.90/72.49 c Replacing 23 vars Replaced 15314 lits Time: 0.03 s
2188.90/72.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2188.90/72.50 c bin-w-bin subsume rem 235 bins time: 0.00 s
2192.10/72.50 c subs with bin: 20 lits-rem: 13 v-fix: 0 time: 0.00 s
2192.10/72.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5659 time: 0.01 s
2192.10/72.52 c Removed useless bin: 1 fixed: 0 props: 0.17M time: 0.00 s
2192.10/72.54 c lits-rem: 2 cl-subs: 19 v-elim: 15 v-fix: 0 time: 0.02 s
2195.30/72.60 c subs with bin: 14 lits-rem: 739 v-fix: 0 time: 0.05 s
2195.30/72.69 c lits-rem: 409 cl-subs: 227 v-elim: 0 v-fix: 0 time: 0.08 s
2195.30/72.69 c vivif2 -- cl tried 11707 cl shrink 2 lits rem 2 time: 0.00
2198.50/72.71 c vivif2 -- cl tried 14065 cl shrink 473 lits rem 835 time: 0.01
2201.70/72.90 c asymm cl-useful: 25/11707/11707 lits-rem:63 time: 0.19
2201.70/72.91 c calculated reachability. Time: 0.00
2201.70/72.91 c N st 40 238280 5644 11704 13129 14064 68733 276573 no data no data
2943.92/96.08 c F st 41 306250 5644 11704 13129 41698 68733 1638486 no data no data
2943.92/96.09 c N st 41 306250 5644 11704 13129 41698 68733 1638486 no data no data
2947.12/96.14 c Finding binary XORs T: 0.02 s found: 2
3000.83/97.87 c Decided on static restart strategy
3221.35/104.80 c N st 51 334553 5633 11691 14890 47045 68596 1832294 no data no data
3225.17/104.84 c Finding binary XORs T: 0.02 s found: 14
3471.30/112.59 c N st 53 357424 5632 11681 13891 44890 68379 1799248 no data no data
3471.30/112.59 c S st 53 357424 5632 11681 13891 44890 68379 1799248 no data no data
3483.45/112.91 c S st 53 357929 5632 11681 13925 45390 68379 1809562 no data no data
3483.45/112.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3496.25/113.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 199 BRemL: 1640 BRemN: 1 P: 6.4M T: 0.37
3496.25/113.39 c Replacing 25 vars Replaced 16232 lits Time: 0.09 s
3496.25/113.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3499.44/113.40 c bin-w-bin subsume rem 204 bins time: 0.00 s
3499.44/113.40 c subs with bin: 63 lits-rem: 78 v-fix: 0 time: 0.00 s
3499.44/113.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5607 time: 0.01 s
3499.44/113.42 c Removed useless bin: 1 fixed: 0 props: 0.16M time: 0.00 s
3499.44/113.46 c lits-rem: 2 cl-subs: 44 v-elim: 9 v-fix: 0 time: 0.04 s
3528.21/114.39 c subs with bin: 587 lits-rem: 9784 v-fix: 0 time: 0.84 s
3636.89/117.76 c lits-rem: 3873 cl-subs: 2048 v-elim: 0 v-fix: 0 time: 3.36 s
3636.89/117.76 c vivif2 -- cl tried 11542 cl shrink 1 lits rem 1 time: 0.00
3640.09/117.89 c vivif2 -- cl tried 38676 cl shrink 13672 lits rem 67613 time: 0.12
3656.07/118.32 c asymm cl-useful: 21/11542/11542 lits-rem:24 time: 0.43
3656.07/118.33 c calculated reachability. Time: 0.00
3656.07/118.33 c N st 53 357929 5598 11542 12044 38673 67814 1399629 no data no data
3656.07/118.35 c Finding binary XORs T: 0.02 s found: 0
4010.88/129.41 c N st 54 390321 5598 11542 12047 47379 67814 1417138 no data no data
4519.11/145.36 c N st 55 438909 5596 11542 12079 43733 67814 1395219 no data no data
4522.31/145.40 c Finding binary XORs T: 0.02 s found: 3
5283.06/169.30 c N st 56 511795 5584 11496 12326 57038 67418 1870425 no data no data
5286.27/169.39 c Finding binary XORs T: 0.02 s found: 137
5289.46/169.47 c Replacing 140 vars Replaced 54531 lits Time: 0.09 s
5532.38/177.10 c N st 57 536893 5344 11026 12755 42685 64539 1283129 no data no data
5532.38/177.10 c S st 57 536893 5344 11026 12755 42685 64539 1283129 no data no data
5541.98/177.35 c S st 57 537394 5339 11026 12850 43179 64539 1293198 no data no data
5541.98/177.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 2 time: 0.01
5554.76/177.76 c Flit: 4 Blit: 1 bXBeca: 0 bXProp: 42 Bins: 748 BRemL: 1742 BRemN: 13 P: 7.0M T: 0.40
5557.96/177.86 c Replacing 43 vars Replaced 32226 lits Time: 0.09 s
5557.96/177.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5557.96/177.87 c bin-w-bin subsume rem 365 bins time: 0.00 s
5557.96/177.87 c subs with bin: 77 lits-rem: 58 v-fix: 0 time: 0.00 s
5557.96/177.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5282 time: 0.01 s
5557.96/177.89 c Removed useless bin: 5 fixed: 0 props: 0.15M time: 0.00 s
5561.15/177.92 c lits-rem: 39 cl-subs: 127 v-elim: 75 v-fix: 0 time: 0.03 s
5567.55/178.12 c subs with bin: 324 lits-rem: 4913 v-fix: 0 time: 0.17 s
5580.96/178.57 c lits-rem: 2520 cl-subs: 1403 v-elim: 0 v-fix: 0 time: 0.45 s
5580.96/178.58 c vivif2 -- cl tried 10630 cl shrink 48 lits rem 51 time: 0.00
5584.17/178.62 c vivif2 -- cl tried 24583 cl shrink 7521 lits rem 27794 time: 0.04
5593.12/178.98 c asymm cl-useful: 176/10630/10630 lits-rem:270 time: 0.36
5593.12/178.99 c calculated reachability. Time: 0.00
5593.12/178.99 c N st 57 537394 5207 10616 10917 24578 62603 513356 no data no data
5596.32/179.01 c Finding binary XORs T: 0.02 s found: 1
6078.97/194.11 c Finding binary XORs T: 0.02 s found: 97
6078.97/194.12 c Replacing 202 vars Replaced 3628 lits Time: 0.01 s
6465.75/206.27 c Following stats are for *FIRST FINISHED THREAD ONLY*
6465.75/206.27 c num threads : 32
6465.75/206.27 c restarts : 57
6465.75/206.27 c dynamic restarts : 0
6465.75/206.27 c static restarts : 57
6465.75/206.27 c full restarts : 3
6465.75/206.27 c total simplify time : 1.09
6465.75/206.27 c learnts DL2 : 0
6465.75/206.27 c learnts size 2 : 152023
6465.75/206.27 c learnts size 1 : 5775 (25.23 % of vars)
6465.75/206.27 c filedLit time : 2.90 (1.44 % time)
6465.75/206.27 c v-elim SatELite : 6614 (28.90 % vars)
6465.75/206.27 c SatELite time : 0.22 (0.11 % time)
6465.75/206.27 c v-elim xor : 1134 (4.95 % vars)
6465.75/206.27 c xor elim time : 0.04 (0.02 % time)
6465.75/206.27 c num binary xor trees : 1766
6465.75/206.27 c binxor trees' crown : 6652 (3.77 leafs/tree)
6465.75/206.27 c bin xor find time : 0.59
6465.75/206.27 c OTF clause improved : 25007 (0.04 clauses/conflict)
6465.75/206.27 c OTF impr. size diff : 30886 (1.24 lits/clause)
6465.75/206.27 c OTF cl watch-shrink : 425542 (0.62 clauses/conflict)
6465.75/206.27 c OTF cl watch-sh-lit : 1290414 (3.03 lits/clause)
6465.75/206.27 c tried to recurMin cls : 144356 (21.17 % of conflicts)
6465.75/206.27 c updated cache : 6427 (0.04 lits/tried recurMin)
6465.75/206.27 c unit cls recevied : 271 (4.69 % of units)
6465.75/206.27 c unit cls sent : 46 (0.80 % of units)
6465.75/206.27 c bin cls recevied : 121250
6465.75/206.27 c bin cls sent : 930
6465.75/206.27 c clauses over max glue : 0 (0.00 % of all clauses)
6465.75/206.27 c conflicts : 681963 (3387.57 / sec)
6465.75/206.27 c decisions : 896015 (5.30 % random)
6465.75/206.27 c bogo-props : 13164782035 (65394466.35 / sec)
6465.75/206.27 c conflict literals : 28635929 (36.71 % deleted)
6465.75/206.27 c Memory used : 4550.40 MB
6465.75/206.27 c single-thread CPU time : 201.31 s
6465.75/206.27 c all-threads sum CPU time : 6447.08 s
6465.75/206.27 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400815-1306826273/watcher-3400815-1306826273 -o /tmp/evaluation-result-3400815-1306826273/solver-3400815-1306826273 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400815-1306826273.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.28 30.52 31.34 1/413 23120
/proc/meminfo: memFree=263541572/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=338000 CPUtime=0.8 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) R 23118 23120 23030 0 -1 4202496 468 0 0 0 80 0 0 0 25 0 32 0 8593333 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23120/statm: 84500 408 300 95 0 79482 0
[pid=23120/tid=23121] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23121/stat : 23121 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23120/tid=23122] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23122/stat : 23122 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23120/tid=23123] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23123/stat : 23123 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23120/tid=23124] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23124/stat : 23124 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147607 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23120/tid=23125] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23125/stat : 23125 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23120/tid=23126] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23126/stat : 23126 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23120/tid=23127] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23127/stat : 23127 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23120/tid=23128] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23128/stat : 23128 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166148022 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23120/tid=23130] ppid=23118 vsize=338000 CPUtime=0 cores=0-31
/proc/23120/task/23130/stat : 23130 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23120/tid=23131] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23131/stat : 23131 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23120/tid=23132] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23132/stat : 23132 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23120/tid=23133] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23133/stat : 23133 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23120/tid=23134] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23134/stat : 23134 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147613 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23120/tid=23135] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23135/stat : 23135 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23120/tid=23136] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23136/stat : 23136 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147607 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23120/tid=23137] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23137/stat : 23137 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23120/tid=23138] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23138/stat : 23138 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147607 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23120/tid=23139] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23139/stat : 23139 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23120/tid=23140] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23140/stat : 23140 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23120/tid=23141] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23141/stat : 23141 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23120/tid=23142] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23142/stat : 23142 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23120/tid=23143] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23143/stat : 23143 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23120/tid=23144] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23144/stat : 23144 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23120/tid=23145] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23145/stat : 23145 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147603 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23120/tid=23146] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23146/stat : 23146 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23120/tid=23147] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23147/stat : 23147 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23120/tid=23148] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23148/stat : 23148 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23120/tid=23149] ppid=23118 vsize=338000 CPUtime=0.01 cores=0-31
/proc/23120/task/23149/stat : 23149 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23120/tid=23150] ppid=23118 vsize=338000 CPUtime=0 cores=0-31
/proc/23120/task/23150/stat : 23150 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147600 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23120/tid=23151] ppid=23118 vsize=338000 CPUtime=0.02 cores=0-31
/proc/23120/task/23151/stat : 23151 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 8593334 346112000 408 268435456000 4194304 4580107 140737193881568 18446744073709551615 47144166147609 0 0 4096 2 0 0 0 -1 13 0 0 0
[startup+0.094865 s]
/proc/loadavg: 27.28 30.52 31.34 1/413 23120
/proc/meminfo: memFree=263541572/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=1061188 CPUtime=1.8 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) R 23118 23120 23030 0 -1 4202496 10054 0 0 0 110 70 0 0 18 0 32 0 8593333 1086656512 9887 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23120/statm: 265297 9894 331 95 0 260279 0
[pid=23120/tid=23121] ppid=23118 vsize=1061188 CPUtime=0.05 cores=0-31
/proc/23120/task/23121/stat : 23121 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 295 0 0 0 3 2 0 0 23 0 32 0 8593334 1086656512 9900 268435456000 4194304 4580107 140737193881568 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23120/tid=23122] ppid=23118 vsize=1061188 CPUtime=0.05 cores=0-31
/proc/23120/task/23122/stat : 23122 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 336 0 0 0 3 2 0 0 17 0 32 0 8593334 1086656512 9903 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23120/tid=23123] ppid=23118 vsize=1061188 CPUtime=0.05 cores=0-31
/proc/23120/task/23123/stat : 23123 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 284 0 0 0 3 2 0 0 17 0 32 0 8593334 1086656512 9909 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23120/tid=23124] ppid=23118 vsize=1061320 CPUtime=0.04 cores=0-31
/proc/23120/task/23124/stat : 23124 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 305 0 0 0 3 1 0 0 17 0 32 0 8593334 1086791680 9919 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23120/tid=23125] ppid=23118 vsize=1061320 CPUtime=0.05 cores=0-31
/proc/23120/task/23125/stat : 23125 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 310 0 0 0 3 2 0 0 17 0 32 0 8593334 1086791680 9932 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566929824 0 0 -1 4 0 0 0
[pid=23120/tid=23126] ppid=23118 vsize=1061320 CPUtime=0.05 cores=0-31
/proc/23120/task/23126/stat : 23126 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 349 0 0 0 3 2 0 0 18 0 32 0 8593334 1086791680 9937 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604554609335776 0 0 -1 24 0 0 0
[pid=23120/tid=23127] ppid=23118 vsize=1061320 CPUtime=0.05 cores=0-31
/proc/23120/task/23127/stat : 23127 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 271 0 0 0 3 2 0 0 17 0 32 0 8593334 1086791680 9939 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23120/tid=23128] ppid=23118 vsize=1061320 CPUtime=0.04 cores=0-31
/proc/23120/task/23128/stat : 23128 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 334 0 0 0 3 1 0 0 17 0 32 0 8593334 1086791680 9943 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566925664 0 0 -1 2 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=1061320 CPUtime=0.02 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 144 0 0 0 2 0 0 0 23 0 32 0 8593334 1086791680 9949 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23120/tid=23130] ppid=23118 vsize=1061320 CPUtime=0.03 cores=0-31
/proc/23120/task/23130/stat : 23130 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 323 0 0 0 1 2 0 0 17 0 32 0 8593334 1086791680 9953 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604571714821600 0 0 -1 25 0 0 0
[pid=23120/tid=23131] ppid=23118 vsize=1061320 CPUtime=0.05 cores=0-31
/proc/23120/task/23131/stat : 23131 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 289 0 0 0 3 2 0 0 17 0 32 0 8593334 1086791680 9969 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23120/tid=23132] ppid=23118 vsize=1061320 CPUtime=0.05 cores=0-31
/proc/23120/task/23132/stat : 23132 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 268 0 0 0 3 2 0 0 18 0 32 0 8593334 1086791680 9982 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 17 0 0 0
[pid=23120/tid=23133] ppid=23118 vsize=1061452 CPUtime=0.05 cores=0-31
/proc/23120/task/23133/stat : 23133 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 8593334 1086926848 9988 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566932024 0 0 -1 29 0 0 0
[pid=23120/tid=23134] ppid=23118 vsize=1061452 CPUtime=0.05 cores=0-31
/proc/23120/task/23134/stat : 23134 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 290 0 0 0 3 2 0 0 24 0 32 0 8593334 1086926848 10000 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23120/tid=23135] ppid=23118 vsize=1061584 CPUtime=0.05 cores=0-31
/proc/23120/task/23135/stat : 23135 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 386 0 0 0 3 2 0 0 25 0 32 0 8593334 1087062016 10002 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23120/tid=23136] ppid=23118 vsize=1061584 CPUtime=0.05 cores=0-31
/proc/23120/task/23136/stat : 23136 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 384 0 0 0 3 2 0 0 18 0 32 0 8593334 1087062016 10008 268435456000 4194304 4580107 140737193881568 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23120/tid=23137] ppid=23118 vsize=1061584 CPUtime=0.04 cores=0-31
/proc/23120/task/23137/stat : 23137 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 270 0 0 0 3 1 0 0 17 0 32 0 8593334 1087062016 10012 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604557629914592 0 0 -1 10 0 0 0
[pid=23120/tid=23138] ppid=23118 vsize=1061584 CPUtime=0.05 cores=0-31
/proc/23120/task/23138/stat : 23138 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 8593334 1087062016 10020 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566925984 0 0 -1 7 0 0 0
[pid=23120/tid=23139] ppid=23118 vsize=1061584 CPUtime=0.05 cores=0-31
/proc/23120/task/23139/stat : 23139 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 357 0 0 0 3 2 0 0 17 0 32 0 8593334 1087062016 10030 268435456000 4194304 4580107 140737193881568 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23120/tid=23140] ppid=23118 vsize=1061584 CPUtime=0.05 cores=0-31
/proc/23120/task/23140/stat : 23140 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 363 0 0 0 3 2 0 0 18 0 32 0 8593334 1087062016 10033 268435456000 4194304 4580107 140737193881568 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23120/tid=23141] ppid=23118 vsize=1061584 CPUtime=0.04 cores=0-31
/proc/23120/task/23141/stat : 23141 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 326 0 0 0 3 1 0 0 17 0 32 0 8593334 1087062016 10036 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23120/tid=23142] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23142/stat : 23142 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 303 0 0 0 3 2 0 0 25 0 32 0 8593334 1087197184 10046 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23120/tid=23143] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23143/stat : 23143 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 279 0 0 0 3 2 0 0 17 0 32 0 8593334 1087197184 10076 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604521836355040 0 0 -1 22 0 0 0
[pid=23120/tid=23144] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23144/stat : 23144 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 8593334 1087197184 10076 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604554609335776 0 0 -1 19 0 0 0
[pid=23120/tid=23145] ppid=23118 vsize=1061716 CPUtime=0.04 cores=0-31
/proc/23120/task/23145/stat : 23145 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 294 0 0 0 3 1 0 0 17 0 32 0 8593334 1087197184 10081 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604522376887776 0 0 -1 26 0 0 0
[pid=23120/tid=23146] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23146/stat : 23146 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 408 0 0 0 3 2 0 0 18 0 32 0 8593334 1087197184 10088 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23120/tid=23147] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23147/stat : 23147 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 367 0 0 0 3 2 0 0 17 0 32 0 8593334 1087197184 10093 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23120/tid=23148] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23148/stat : 23148 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 269 0 0 0 3 2 0 0 25 0 32 0 8593334 1087197184 10102 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566932584 0 0 -1 27 0 0 0
[pid=23120/tid=23149] ppid=23118 vsize=1061716 CPUtime=0.04 cores=0-31
/proc/23120/task/23149/stat : 23149 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 267 0 0 0 2 2 0 0 17 0 32 0 8593334 1087197184 10113 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604574873009632 0 0 -1 5 0 0 0
[pid=23120/tid=23150] ppid=23118 vsize=1061716 CPUtime=0.03 cores=0-31
/proc/23120/task/23150/stat : 23150 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 268 0 0 0 1 2 0 0 18 0 32 0 8593334 1087197184 10145 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604571710307808 0 0 -1 8 0 0 0
[pid=23120/tid=23151] ppid=23118 vsize=1061716 CPUtime=0.05 cores=0-31
/proc/23120/task/23151/stat : 23151 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 297 0 0 0 3 2 0 0 25 0 32 0 8593334 1087197184 10159 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566926304 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 1061188
[startup+0.103862 s]
/proc/loadavg: 27.28 30.52 31.34 1/413 23120
/proc/meminfo: memFree=263541572/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=1062968 CPUtime=1.9 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) S 23118 23120 23030 0 -1 4202496 11156 0 0 0 111 79 0 0 17 0 32 0 8593333 1088479232 10983 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23120/statm: 265742 10983 331 95 0 260724 0
[pid=23120/tid=23121] ppid=23118 vsize=1062968 CPUtime=0.06 cores=0-31
/proc/23120/task/23121/stat : 23121 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 356 0 0 0 3 3 0 0 18 0 32 0 8593334 1088479232 10990 268435456000 4194304 4580107 140737193881568 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23120/tid=23122] ppid=23118 vsize=1062968 CPUtime=0.05 cores=0-31
/proc/23120/task/23122/stat : 23122 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 403 0 0 0 3 2 0 0 17 0 32 0 8593334 1088479232 10997 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604554176019936 0 0 -1 20 0 0 0
[pid=23120/tid=23123] ppid=23118 vsize=1062968 CPUtime=0.05 cores=0-31
/proc/23120/task/23123/stat : 23123 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 8593334 1088479232 11005 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23120/tid=23124] ppid=23118 vsize=1062968 CPUtime=0.05 cores=0-31
/proc/23120/task/23124/stat : 23124 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 335 0 0 0 3 2 0 0 17 0 32 0 8593334 1088479232 11015 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566926304 0 0 -1 16 0 0 0
[pid=23120/tid=23125] ppid=23118 vsize=1062968 CPUtime=0.06 cores=0-31
/proc/23120/task/23125/stat : 23125 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 363 0 0 0 3 3 0 0 17 0 32 0 8593334 1088479232 11043 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23120/tid=23126] ppid=23118 vsize=1062968 CPUtime=0.05 cores=0-31
/proc/23120/task/23126/stat : 23126 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 403 0 0 0 3 2 0 0 17 0 32 0 8593334 1088479232 11044 268435456000 4194304 4580107 140737193881568 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23120/tid=23127] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23127/stat : 23127 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 8593334 1088614400 11045 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566932024 0 0 -1 28 0 0 0
[pid=23120/tid=23128] ppid=23118 vsize=1063100 CPUtime=0.06 cores=0-31
/proc/23120/task/23128/stat : 23128 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 380 0 0 0 4 2 0 0 17 0 32 0 8593334 1088614400 11063 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=1063100 CPUtime=0.03 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 212 0 0 0 2 1 0 0 23 0 32 0 8593334 1088614400 11080 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23120/tid=23130] ppid=23118 vsize=1063100 CPUtime=0.03 cores=0-31
/proc/23120/task/23130/stat : 23130 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 353 0 0 0 1 2 0 0 17 0 32 0 8593334 1088614400 11083 268435456000 4194304 4580107 140737193881568 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23120/tid=23131] ppid=23118 vsize=1063100 CPUtime=0.06 cores=0-31
/proc/23120/task/23131/stat : 23131 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 359 0 0 0 3 3 0 0 17 0 32 0 8593334 1088614400 11089 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566925024 0 0 -1 21 0 0 0
[pid=23120/tid=23132] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23132/stat : 23132 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 8593334 1088614400 11103 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 17 0 0 0
[pid=23120/tid=23133] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23133/stat : 23133 (strangenight2-m) S 23118 23120 23030 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 8593334 1088614400 11146 268435456000 4194304 4580107 140737193881568 18446744073709551615 258651060958 0 0 4096 2 18446604571710307808 0 0 -1 29 0 0 0
[pid=23120/tid=23134] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23134/stat : 23134 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 328 0 0 0 3 2 0 0 24 0 32 0 8593334 1088614400 11146 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23120/tid=23135] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23135/stat : 23135 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 447 0 0 0 3 2 0 0 25 0 32 0 8593334 1088614400 11153 268435456000 4194304 4580107 140737193881568 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23120/tid=23136] ppid=23118 vsize=1063100 CPUtime=0.05 cores=0-31
/proc/23120/task/23136/stat : 23136 (strangenight2-m) D 23118 23120 23030 0 -1 4202560 450 0 0 0 3 2 0 0 18 0 32 0 8593334 1088614400 11161 268435456000 4194304 4580107 140737193881568 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23120/tid=23137] ppid=23118 vsize=1063232 CPUtime=0.05 cores=0-31
################
# More data... #
################
[pid=23120/tid=23150] ppid=23118 vsize=4646556 CPUtime=199.32 cores=0-31
/proc/23120/task/23150/stat : 23150 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 32776 0 0 0 19877 55 0 0 25 0 32 0 8593334 4758073344 742245 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23120/tid=23151] ppid=23118 vsize=4646556 CPUtime=201.64 cores=0-31
/proc/23120/task/23151/stat : 23151 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 14293 0 0 0 20126 38 0 0 25 0 32 0 8593334 4758073344 742245 268435456000 4194304 4580107 140737193881568 18446744073709551615 4230310 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 6379.45
Current children cumulated vsize (KiB) 4646556
[startup+205.102 s]
/proc/loadavg: 31.84 31.24 31.46 33/445 23158
/proc/meminfo: memFree=260569920/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=4594072 CPUtime=6430.58 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) R 23118 23120 23030 0 -1 4202496 1293546 0 0 0 640960 2098 0 0 25 0 32 0 8593333 4704329728 733011 268435456000 4194304 4580107 140737193881568 18446744073709551615 4320786 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23120/statm: 1148518 733011 379 95 0 1143500 0
[pid=23120/tid=23121] ppid=23118 vsize=4594072 CPUtime=201.03 cores=0-31
/proc/23120/task/23121/stat : 23121 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 31898 0 0 0 20041 62 0 0 25 0 32 0 8593334 4704329728 733011 268435456000 4194304 4580107 140737193881568 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23120/tid=23122] ppid=23118 vsize=4594072 CPUtime=201.45 cores=0-31
/proc/23120/task/23122/stat : 23122 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 46016 0 0 0 20076 69 0 0 25 0 32 0 8593334 4704329728 733011 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23120/tid=23123] ppid=23118 vsize=4594072 CPUtime=200.8 cores=0-31
/proc/23120/task/23123/stat : 23123 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 41214 0 0 0 20012 68 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23120/tid=23124] ppid=23118 vsize=4594072 CPUtime=201.52 cores=0-31
/proc/23120/task/23124/stat : 23124 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 59487 0 0 0 20087 65 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23120/tid=23125] ppid=23118 vsize=4594072 CPUtime=200.97 cores=0-31
/proc/23120/task/23125/stat : 23125 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 35171 0 0 0 20033 64 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23120/tid=23126] ppid=23118 vsize=4594072 CPUtime=201.57 cores=0-31
/proc/23120/task/23126/stat : 23126 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 48163 0 0 0 20101 56 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23120/tid=23127] ppid=23118 vsize=4594072 CPUtime=200.89 cores=0-31
/proc/23120/task/23127/stat : 23127 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 34776 0 0 0 20025 64 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23120/tid=23128] ppid=23118 vsize=4594072 CPUtime=201.39 cores=0-31
/proc/23120/task/23128/stat : 23128 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 40877 0 0 0 20076 63 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=4594072 CPUtime=200.6 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47598 0 0 0 19991 69 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23120/tid=23130] ppid=23118 vsize=4594072 CPUtime=200.85 cores=0-31
/proc/23120/task/23130/stat : 23130 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 36350 0 0 0 20012 73 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23120/tid=23131] ppid=23118 vsize=4594072 CPUtime=200.96 cores=0-31
/proc/23120/task/23131/stat : 23131 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37667 0 0 0 20024 72 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23120/tid=23132] ppid=23118 vsize=4594072 CPUtime=200.72 cores=0-31
/proc/23120/task/23132/stat : 23132 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 34944 0 0 0 20008 64 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23120/tid=23133] ppid=23118 vsize=4594072 CPUtime=200.91 cores=0-31
/proc/23120/task/23133/stat : 23133 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 38723 0 0 0 20021 70 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23120/tid=23134] ppid=23118 vsize=4594072 CPUtime=200.94 cores=0-31
/proc/23120/task/23134/stat : 23134 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 49988 0 0 0 20017 77 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23120/tid=23135] ppid=23118 vsize=4594072 CPUtime=201.74 cores=0-31
/proc/23120/task/23135/stat : 23135 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37494 0 0 0 20110 64 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23120/tid=23136] ppid=23118 vsize=4594072 CPUtime=196.08 cores=0-31
/proc/23120/task/23136/stat : 23136 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37698 0 0 0 19542 66 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23120/tid=23137] ppid=23118 vsize=4594072 CPUtime=200.91 cores=0-31
/proc/23120/task/23137/stat : 23137 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42041 0 0 0 20018 73 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295315 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23120/tid=23138] ppid=23118 vsize=4594072 CPUtime=200.82 cores=0-31
/proc/23120/task/23138/stat : 23138 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42808 0 0 0 20007 75 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23120/tid=23139] ppid=23118 vsize=4594072 CPUtime=201.7 cores=0-31
/proc/23120/task/23139/stat : 23139 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42551 0 0 0 20113 57 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23120/tid=23140] ppid=23118 vsize=4594072 CPUtime=201.09 cores=0-31
/proc/23120/task/23140/stat : 23140 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37326 0 0 0 20050 59 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23120/tid=23141] ppid=23118 vsize=4594072 CPUtime=200.84 cores=0-31
/proc/23120/task/23141/stat : 23141 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 48047 0 0 0 20010 74 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23120/tid=23142] ppid=23118 vsize=4594072 CPUtime=201.03 cores=0-31
/proc/23120/task/23142/stat : 23142 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47801 0 0 0 20043 60 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294598 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23120/tid=23143] ppid=23118 vsize=4594072 CPUtime=200.83 cores=0-31
/proc/23120/task/23143/stat : 23143 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47607 0 0 0 20014 69 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23120/tid=23144] ppid=23118 vsize=4594072 CPUtime=200.83 cores=0-31
/proc/23120/task/23144/stat : 23144 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 36270 0 0 0 20016 67 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23120/tid=23145] ppid=23118 vsize=4594072 CPUtime=200.8 cores=0-31
/proc/23120/task/23145/stat : 23145 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 45070 0 0 0 20011 69 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4331967 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23120/tid=23146] ppid=23118 vsize=4594072 CPUtime=201.32 cores=0-31
/proc/23120/task/23146/stat : 23146 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 33340 0 0 0 20076 56 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23120/tid=23147] ppid=23118 vsize=4594072 CPUtime=200.92 cores=0-31
/proc/23120/task/23147/stat : 23147 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 30582 0 0 0 20024 68 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23120/tid=23148] ppid=23118 vsize=4594072 CPUtime=200.89 cores=0-31
/proc/23120/task/23148/stat : 23148 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 34615 0 0 0 20026 63 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23120/tid=23149] ppid=23118 vsize=4594072 CPUtime=200.87 cores=0-31
/proc/23120/task/23149/stat : 23149 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 45067 0 0 0 20016 71 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23120/tid=23150] ppid=23118 vsize=4594072 CPUtime=200.92 cores=0-31
/proc/23120/task/23150/stat : 23150 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 32776 0 0 0 20037 55 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23120/tid=23151] ppid=23118 vsize=4594072 CPUtime=203.24 cores=0-31
/proc/23120/task/23151/stat : 23151 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 14302 0 0 0 20286 38 0 0 25 0 32 0 8593334 4704329728 733012 268435456000 4194304 4580107 140737193881568 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 6430.58
Current children cumulated vsize (KiB) 4594072
[startup+205.902 s]
/proc/loadavg: 31.84 31.24 31.46 33/445 23158
/proc/meminfo: memFree=260569920/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=4659608 CPUtime=6456.16 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) R 23118 23120 23030 0 -1 4202496 1296471 0 0 0 643517 2099 0 0 25 0 32 0 8593333 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23120/statm: 1164902 733336 379 95 0 1159884 0
[pid=23120/tid=23121] ppid=23118 vsize=4659608 CPUtime=201.83 cores=0-31
/proc/23120/task/23121/stat : 23121 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 31900 0 0 0 20121 62 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23120/tid=23122] ppid=23118 vsize=4659608 CPUtime=202.25 cores=0-31
/proc/23120/task/23122/stat : 23122 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 46016 0 0 0 20156 69 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4322568 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23120/tid=23123] ppid=23118 vsize=4659608 CPUtime=201.6 cores=0-31
/proc/23120/task/23123/stat : 23123 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 41331 0 0 0 20092 68 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23120/tid=23124] ppid=23118 vsize=4659608 CPUtime=202.32 cores=0-31
/proc/23120/task/23124/stat : 23124 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 59588 0 0 0 20167 65 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4316435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23120/tid=23125] ppid=23118 vsize=4659608 CPUtime=201.77 cores=0-31
/proc/23120/task/23125/stat : 23125 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 35172 0 0 0 20113 64 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295118 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23120/tid=23126] ppid=23118 vsize=4659608 CPUtime=202.37 cores=0-31
/proc/23120/task/23126/stat : 23126 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 48164 0 0 0 20181 56 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23120/tid=23127] ppid=23118 vsize=4659608 CPUtime=201.69 cores=0-31
/proc/23120/task/23127/stat : 23127 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 34776 0 0 0 20105 64 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23120/tid=23128] ppid=23118 vsize=4659608 CPUtime=202.19 cores=0-31
/proc/23120/task/23128/stat : 23128 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 40877 0 0 0 20156 63 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=4659608 CPUtime=201.39 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47693 0 0 0 20070 69 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23120/tid=23130] ppid=23118 vsize=4659608 CPUtime=201.65 cores=0-31
/proc/23120/task/23130/stat : 23130 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 36364 0 0 0 20092 73 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23120/tid=23131] ppid=23118 vsize=4659608 CPUtime=201.76 cores=0-31
/proc/23120/task/23131/stat : 23131 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37667 0 0 0 20104 72 0 0 25 0 32 0 8593334 4771438592 733336 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23120/tid=23132] ppid=23118 vsize=4659608 CPUtime=201.52 cores=0-31
/proc/23120/task/23132/stat : 23132 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 35477 0 0 0 20088 64 0 0 25 0 32 0 8593334 4771438592 733337 268435456000 4194304 4580107 140737193881568 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23120/tid=23133] ppid=23118 vsize=4659608 CPUtime=201.71 cores=0-31
/proc/23120/task/23133/stat : 23133 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 39422 0 0 0 20101 70 0 0 25 0 32 0 8593334 4771438592 733337 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23120/tid=23134] ppid=23118 vsize=4659608 CPUtime=201.74 cores=0-31
/proc/23120/task/23134/stat : 23134 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 49988 0 0 0 20097 77 0 0 25 0 32 0 8593334 4771438592 733337 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23120/tid=23135] ppid=23118 vsize=4659608 CPUtime=202.54 cores=0-31
/proc/23120/task/23135/stat : 23135 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37494 0 0 0 20190 64 0 0 25 0 32 0 8593334 4771438592 733337 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23120/tid=23136] ppid=23118 vsize=4659608 CPUtime=196.87 cores=0-31
/proc/23120/task/23136/stat : 23136 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37698 0 0 0 19621 66 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23120/tid=23137] ppid=23118 vsize=4659608 CPUtime=201.71 cores=0-31
/proc/23120/task/23137/stat : 23137 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42041 0 0 0 20098 73 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23120/tid=23138] ppid=23118 vsize=4659608 CPUtime=201.62 cores=0-31
/proc/23120/task/23138/stat : 23138 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42902 0 0 0 20087 75 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23120/tid=23139] ppid=23118 vsize=4659608 CPUtime=202.5 cores=0-31
/proc/23120/task/23139/stat : 23139 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 42551 0 0 0 20193 57 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4317499 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23120/tid=23140] ppid=23118 vsize=4659608 CPUtime=201.89 cores=0-31
/proc/23120/task/23140/stat : 23140 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 37453 0 0 0 20130 59 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23120/tid=23141] ppid=23118 vsize=4659608 CPUtime=201.65 cores=0-31
/proc/23120/task/23141/stat : 23141 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 48154 0 0 0 20090 75 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23120/tid=23142] ppid=23118 vsize=4659608 CPUtime=201.83 cores=0-31
/proc/23120/task/23142/stat : 23142 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47801 0 0 0 20123 60 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23120/tid=23143] ppid=23118 vsize=4659608 CPUtime=201.63 cores=0-31
/proc/23120/task/23143/stat : 23143 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 47643 0 0 0 20094 69 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4296249 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23120/tid=23144] ppid=23118 vsize=4659608 CPUtime=201.63 cores=0-31
/proc/23120/task/23144/stat : 23144 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 36366 0 0 0 20096 67 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23120/tid=23145] ppid=23118 vsize=4659608 CPUtime=201.6 cores=0-31
/proc/23120/task/23145/stat : 23145 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 45967 0 0 0 20091 69 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23120/tid=23146] ppid=23118 vsize=4659608 CPUtime=202.12 cores=0-31
/proc/23120/task/23146/stat : 23146 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 33340 0 0 0 20156 56 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23120/tid=23147] ppid=23118 vsize=4659608 CPUtime=201.72 cores=0-31
/proc/23120/task/23147/stat : 23147 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 30582 0 0 0 20104 68 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23120/tid=23148] ppid=23118 vsize=4659608 CPUtime=201.69 cores=0-31
/proc/23120/task/23148/stat : 23148 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 34615 0 0 0 20106 63 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23120/tid=23149] ppid=23118 vsize=4659608 CPUtime=201.67 cores=0-31
/proc/23120/task/23149/stat : 23149 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 45070 0 0 0 20096 71 0 0 25 0 32 0 8593334 4771438592 733338 268435456000 4194304 4580107 140737193881568 18446744073709551615 4296088 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23120/tid=23150] ppid=23118 vsize=4659608 CPUtime=201.72 cores=0-31
/proc/23120/task/23150/stat : 23150 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 32776 0 0 0 20117 55 0 0 25 0 32 0 8593334 4771438592 733339 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23120/tid=23151] ppid=23118 vsize=4659608 CPUtime=204.04 cores=0-31
/proc/23120/task/23151/stat : 23151 (strangenight2-m) R 23118 23120 23030 0 -1 4202560 14305 0 0 0 20366 38 0 0 25 0 32 0 8593334 4771438592 733339 268435456000 4194304 4580107 140737193881568 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 6456.16
Current children cumulated vsize (KiB) 4659608
[startup+206.302 s]
/proc/loadavg: 31.84 31.24 31.46 33/445 23158
/proc/meminfo: memFree=260593104/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=0 CPUtime=6468.13 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) Z 23118 23120 23030 0 -1 4203548 1296953 0 0 0 644708 2105 0 0 25 0 2 0 8593333 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23120/statm: 0 0 0 0 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=0 CPUtime=201.8 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4203588 47735 0 0 0 20108 72 0 0 25 0 2 0 8593334 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6468.13
Current children cumulated vsize (KiB) 0
[startup+206.401 s]
/proc/loadavg: 31.84 31.24 31.46 33/445 23158
/proc/meminfo: memFree=260593104/264257624 swapFree=67044764/67111528
[pid=23120] ppid=23118 vsize=0 CPUtime=6468.23 cores=0-31
/proc/23120/stat : 23120 (strangenight2-m) Z 23118 23120 23030 0 -1 4203548 1296953 0 0 0 644708 2115 0 0 25 0 2 0 8593333 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/23120/statm: 0 0 0 0 0 0 0
[pid=23120/tid=23129] ppid=23118 vsize=0 CPUtime=201.9 cores=0-31
/proc/23120/task/23129/stat : 23129 (strangenight2-m) R 23118 23120 23030 0 -1 4203588 47735 0 0 0 20108 82 0 0 25 0 2 0 8593334 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6468.23
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 206.481
CPU time (s): 6468.32
CPU user time (s): 6447.08
CPU system time (s): 21.2358
CPU usage (%): 3132.65
Max. virtual memory (cumulated for all children) (KiB): 4765780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6447.08
system time used= 21.2358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1296953
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= 679199
involuntary context switches= 20418
runsolver used 1.3348 second user time and 4.71928 second system time
The end
Begin job on node200 at 2011-05-31 09:17:54
IDJOB=3400815
IDBENCH=83125
IDSOLVER=1886
FILE ID=node200/3400815-1306826273
RUNJOBID= node200-1306826030-23044
PBS_JOBID= 13471340
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400815-1306826273/watcher-3400815-1306826273 -o /tmp/evaluation-result-3400815-1306826273/solver-3400815-1306826273 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400815-1306826273.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=368412113
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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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 : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263542356 kB
Buffers: 113880 kB
Cached: 402936 kB
SwapCached: 29992 kB
Active: 128324 kB
Inactive: 421580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263542356 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 7140 kB
Writeback: 4 kB
AnonPages: 29808 kB
Mapped: 8300 kB
Slab: 73100 kB
PageTables: 4264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191940 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= 61572 MiB
End job on node200 at 2011-05-31 09:21:20