0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400653-1306273012.cnf'
1.41/0.08 c -- header says num vars: 249327
1.41/0.08 c -- header says num clauses: 746444
96.24/7.73 c -- clauses added: 0 learnts, 746444 normals, 0 xors
96.24/7.73 c -- vars added 249327
96.24/7.73 c Parsing time: 1.10 s
96.24/7.73 c N st 0 0 249327 248814 497628 0 1741698 0 no data no data
160.81/9.81 c asymm cl-useful: 0/308/248805 lits-rem:0 time: 2.07
1287.49/45.27 c Flit: 5 Blit: 55 bXBeca: 0 bXProp: 593 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 35.45
1292.13/45.50 c Replacing 593 vars Replaced 9685 lits Time: 0.19 s
1319.32/46.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1321.96/46.91 c bin-w-bin subsume rem 3 bins time: 0.09 s
1327.51/47.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.25 s
1431.07/50.59 c Subs w/ non-existent bins: 13 l-rem: 0 v-fix: 14 done: 65582 time: 2.81 s
1449.62/51.15 c Removed useless bin: 0 fixed: 0 props: 20.09M time: 0.56 s
1614.25/56.42 c lits-rem: 0 cl-subs: 1436 v-elim: 82887 v-fix: 0 time: 4.55 s
1617.18/56.53 c Finding binary XORs T: 0.11 s found: 14
1620.11/56.64 c Replacing 14 vars Replaced 224 lits Time: 0.11 s
1628.86/56.90 c Finding non-binary XORs: 0.14 s (found: 8040, avg size: 3.0)
1628.86/56.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
1628.86/56.96 c calculated reachability. Time: 0.01
1631.85/57.01 c Calc default polars - time: 0.05 s pos: 2024 undec: 96741 neg: 150562
1631.85/57.01 c =========================================================================================
1631.85/57.01 c types(t): F = full restart, N = normal restart
1631.85/57.01 c types(t): S = simplification begin/end, E = solution found
1631.85/57.01 c restart types(rt): st = static, dy = dynamic
1631.85/57.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1631.85/57.01 c B st 0 0 165746 211536 329674 0 1433743 0 no data no data
2254.16/78.80 c N dy 15 4226 165745 211536 329759 3989 1433743 256058 16.54 18.50
2714.78/100.88 c N dy 39 9538 165710 211536 330269 9135 1433743 546937 19.20 20.27
3094.67/168.24 c Finding binary XORs T: 0.11 s found: 180
3165.08/171.38 c N dy 56 13611 165675 211118 332628 12596 1429036 718285 19.36 24.14
3553.38/183.61 c N dy 77 17812 165675 211118 332690 16667 1429036 929804 20.46 21.58
4035.98/198.63 c N dy 88 22715 165663 211118 335499 11878 1429036 343600 19.54 20.89
4256.56/205.57 c F st 94 25002 165663 211118 335533 14075 1429036 467561 19.00 17.01
4263.57/205.73 c Replacing 180 vars Replaced 5100 lits Time: 0.11 s
4464.32/212.02 c N st 98 27032 165469 210738 335882 15963 1423148 612113 19.00 no data
4735.99/220.59 c S st 100 30000 165468 210738 335910 18795 1423148 853293 19.00 no data
4742.38/220.75 c Finding binary XORs T: 0.11 s found: 506
4819.11/223.13 c S st 100 30501 165467 210407 334405 19076 1417430 833583 19.00 no data
4822.93/223.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
5707.72/250.99 c Flit: 3 Blit: 1 bXBeca: 0 bXProp: 58 Bins: 81170 BRemL: 18 BRemN: 0 P: 200.1M T: 27.76
5717.32/251.22 c Replacing 564 vars Replaced 30130 lits Time: 0.21 s
5720.51/251.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
5723.71/251.47 c bin-w-bin subsume rem 700 bins time: 0.08 s
5730.10/251.68 c subs with bin: 1828 lits-rem: 759 v-fix: 0 time: 0.22 s
5838.77/255.08 c Subs w/ non-existent bins: 258 l-rem: 1348 v-fix: 0 done: 57999 time: 3.38 s
5851.56/255.48 c Removed useless bin: 41 fixed: 0 props: 20.05M time: 0.40 s
5937.21/258.13 c lits-rem: 2 cl-subs: 1485 v-elim: 85012 v-fix: 0 time: 2.43 s
5940.41/258.27 c subs with bin: 49 lits-rem: 436 v-fix: 0 time: 0.09 s
5950.62/258.57 c lits-rem: 330 cl-subs: 356 v-elim: 0 v-fix: 0 time: 0.19 s
5978.77/259.44 c asymm cl-useful: 1425/4619/240579 lits-rem:1447 time: 0.87
5978.77/259.48 c calculated reachability. Time: 0.01
5978.77/259.49 c N dy 100 30501 79849 240579 176427 9222 1317067 301582 19.00 no data
5982.55/259.57 c Finding binary XORs T: 0.08 s found: 33
6328.19/270.44 c N dy 109 34686 79793 240579 179805 13330 1317067 527572 18.16 20.92
6576.28/279.89 c N dy 120 38708 79776 240579 179821 17292 1317067 752922 17.67 32.26
6786.43/287.39 c Finding binary XORs T: 0.08 s found: 782
6792.82/287.50 c Replacing 817 vars Replaced 27632 lits Time: 0.11 s
6983.99/293.51 c N dy 124 42710 78953 238054 158348 10927 1296420 272371 16.95 17.88
7191.55/300.00 c S st 130 45751 78941 238054 160105 13915 1296420 402021 16.66 8.56
7239.48/301.51 c S st 130 46251 78933 238054 160129 14391 1296420 430171 16.66 no data
7239.48/301.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
7842.18/320.50 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 114 Bins: 4823 BRemL: 2 BRemN: 0 P: 200.0M T: 18.90
7848.59/320.65 c Replacing 115 vars Replaced 12763 lits Time: 0.14 s
7854.98/320.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7854.98/320.88 c bin-w-bin subsume rem 1914 bins time: 0.05 s
7861.38/321.04 c subs with bin: 4233 lits-rem: 1073 v-fix: 0 time: 0.15 s
7886.95/321.81 c Subs w/ non-existent bins: 3249 l-rem: 21331 v-fix: 0 done: 72035 time: 0.77 s
7900.36/322.23 c Removed useless bin: 204 fixed: 0 props: 20.00M time: 0.41 s
7915.71/322.74 c lits-rem: 57 cl-subs: 517 v-elim: 858 v-fix: 0 time: 0.49 s
7922.11/322.95 c subs with bin: 112 lits-rem: 1468 v-fix: 0 time: 0.15 s
7931.70/323.31 c lits-rem: 700 cl-subs: 948 v-elim: 0 v-fix: 0 time: 0.24 s
7963.66/324.27 c asymm cl-useful: 136/6217/230086 lits-rem:278 time: 0.96
7966.86/324.32 c calculated reachability. Time: 0.01
7966.86/324.32 c N dy 130 46251 77959 230086 162595 12883 1267703 367738 16.66 no data
7966.86/324.40 c Finding binary XORs T: 0.08 s found: 69
8308.86/335.02 c N dy 141 50594 77959 230086 162622 17154 1267703 533713 16.44 17.54
8536.42/342.16 c N dy 149 54696 77952 230086 165846 21148 1267703 715770 16.52 19.29
8849.62/351.93 c N dy 161 58960 77951 230086 165900 25263 1267703 893154 16.30 17.18
8852.85/352.05 c Finding binary XORs T: 0.08 s found: 412
9152.68/361.42 c N dy 173 63029 77943 229716 174609 29128 1264661 1094503 16.18 50.87
9178.24/362.22 c Finding binary XORs T: 0.08 s found: 154
9536.20/373.47 c N dy 193 67200 77943 229505 174265 18335 1262857 430054 16.19 17.59
9728.61/379.47 c S st 202 69377 77925 229505 179827 20488 1262856 571631 16.17 no data
9798.94/381.65 c S st 202 69878 77925 229505 179849 20964 1262856 591999 16.17 no data
9802.14/381.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
10447.13/401.99 c Flit: 1 Blit: 2 bXBeca: 0 bXProp: 195 Bins: 9764 BRemL: 7 BRemN: 0 P: 200.0M T: 20.24
10453.52/402.17 c Replacing 838 vars Replaced 28086 lits Time: 0.17 s
10459.91/402.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10463.11/402.41 c bin-w-bin subsume rem 6625 bins time: 0.05 s
10466.93/402.55 c subs with bin: 2414 lits-rem: 73 v-fix: 0 time: 0.15 s
10491.88/403.31 c Subs w/ non-existent bins: 333 l-rem: 1370 v-fix: 0 done: 71358 time: 0.75 s
10507.86/403.81 c Removed useless bin: 64 fixed: 0 props: 15.56M time: 0.50 s
10520.64/404.23 c lits-rem: 1 cl-subs: 127 v-elim: 70 v-fix: 0 time: 0.41 s
10527.04/404.48 c subs with bin: 115 lits-rem: 829 v-fix: 0 time: 0.17 s
10540.45/404.89 c lits-rem: 451 cl-subs: 252 v-elim: 0 v-fix: 0 time: 0.28 s
10572.41/405.84 c asymm cl-useful: 103/4766/224874 lits-rem:365 time: 0.95
10572.41/405.89 c calculated reachability. Time: 0.01
10572.41/405.89 c N dy 202 69878 77020 224873 159748 20148 1245162 521366 16.17 no data
10575.61/405.97 c Finding binary XORs T: 0.08 s found: 135
10952.14/417.71 c N dy 222 74580 76982 224873 168584 24775 1245160 746807 16.24 17.52
10955.34/417.83 c Finding binary XORs T: 0.08 s found: 717
10959.12/417.94 c Replacing 856 vars Replaced 25195 lits Time: 0.11 s
11322.94/429.38 c N dy 233 79361 76126 223014 148354 29005 1233259 888559 15.94 18.78
11703.32/441.28 c N dy 255 84506 76114 223014 149870 33944 1233259 1116135 15.92 17.05
11885.49/446.92 c F st 266 87500 76103 223014 150708 19668 1233259 334954 15.85 9.00
11888.72/447.06 c Replacing 4 vars Replaced 103 lits Time: 0.09 s
12144.43/455.03 c N st 271 90795 76094 222465 149813 22633 1229175 487068 15.85 no data
12147.63/455.11 c Finding binary XORs T: 0.08 s found: 446
12735.77/473.58 c N dy 290 96672 76082 222465 151728 28340 1229175 930164 16.10 92.71
13269.60/490.23 c Finding binary XORs T: 0.08 s found: 493
13272.79/490.37 c Replacing 940 vars Replaced 32668 lits Time: 0.14 s
13311.14/491.61 c N dy 313 103108 75143 220563 149976 34437 1220238 1156348 15.97 17.04
13426.18/495.10 c S st 321 104817 75143 220563 149981 36120 1220238 1243374 15.98 9.20
13486.93/497.03 c S st 321 105319 75142 220563 150904 36579 1220238 1260407 15.98 no data
13490.73/497.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
14212.53/519.74 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 128 Bins: 16875 BRemL: 1 BRemN: 0 P: 200.0M T: 22.61
14218.92/519.92 c Replacing 130 vars Replaced 8354 lits Time: 0.16 s
14225.32/520.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
14225.32/520.15 c bin-w-bin subsume rem 2725 bins time: 0.05 s
14229.14/520.29 c subs with bin: 3547 lits-rem: 107 v-fix: 0 time: 0.14 s
14254.08/521.05 c Subs w/ non-existent bins: 35 l-rem: 156 v-fix: 0 done: 71822 time: 0.76 s
14270.06/521.54 c Removed useless bin: 34 fixed: 0 props: 13.97M time: 0.49 s
14282.85/522.00 c lits-rem: 1 cl-subs: 392 v-elim: 116 v-fix: 0 time: 0.45 s
14302.64/522.53 c subs with bin: 119 lits-rem: 5259 v-fix: 0 time: 0.38 s
14337.81/523.64 c lits-rem: 1572 cl-subs: 793 v-elim: 0 v-fix: 0 time: 0.97 s
14378.73/524.99 c asymm cl-useful: 81/11720/216087 lits-rem:251 time: 1.35
14381.93/525.04 c calculated reachability. Time: 0.01
14381.93/525.05 c N dy 321 105319 74891 216087 164047 34771 1212965 1161906 15.98 no data
14385.13/525.12 c Finding binary XORs T: 0.08 s found: 120
14935.54/542.37 c Finding binary XORs T: 0.08 s found: 676
14941.30/542.53 c Replacing 799 vars Replaced 34849 lits Time: 0.16 s
15053.19/546.04 c N dy 342 112885 74057 214432 187286 24817 1202460 464523 15.80 16.71
15379.22/556.21 c Finding binary XORs T: 0.08 s found: 416
15650.92/564.78 c N dy 365 120537 74052 214055 198068 31894 1200525 750955 15.60 17.32
15928.95/573.42 c Finding binary XORs T: 0.08 s found: 383
15932.14/573.55 c Replacing 803 vars Replaced 30760 lits Time: 0.13 s
16344.50/586.49 c N dy 392 129069 73227 212133 210003 39778 1191264 1091247 15.54 16.42
16623.22/595.19 c Finding binary XORs T: 0.08 s found: 448
17127.64/610.92 c N dy 420 137435 73201 211370 216930 31152 1187826 583326 15.50 16.32
17648.64/627.20 c Finding binary XORs T: 0.08 s found: 852
17651.84/627.34 c Replacing 1303 vars Replaced 47113 lits Time: 0.14 s
18067.35/640.39 c N dy 460 146647 71867 208138 214639 39774 1172348 923295 15.47 16.30
18835.13/664.41 c N dy 496 156031 71859 208138 217257 48942 1172346 1309836 15.46 16.67
18840.93/664.57 c Finding binary XORs T: 0.08 s found: 835
18847.32/664.71 c Replacing 836 vars Replaced 33692 lits Time: 0.14 s
19019.94/670.19 c S st 511 157979 70998 206092 219996 50253 1162826 1390683 15.61 no data
19087.06/672.21 c S st 511 158479 70998 206092 220017 50731 1162826 1423753 15.61 no data
19090.23/672.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
19914.82/698.19 c Flit: 1 Blit: 2 bXBeca: 0 bXProp: 43 Bins: 13013 BRemL: 0 BRemN: 0 P: 200.1M T: 25.88
19921.22/698.39 c Replacing 49 vars Replaced 10286 lits Time: 0.19 s
19928.24/698.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
19930.83/698.64 c bin-w-bin subsume rem 11281 bins time: 0.06 s
19934.03/698.79 c subs with bin: 4343 lits-rem: 127 v-fix: 0 time: 0.15 s
19963.43/699.63 c Subs w/ non-existent bins: 28 l-rem: 13 v-fix: 0 done: 68741 time: 0.84 s
19972.35/700.00 c Removed useless bin: 64 fixed: 0 props: 10.33M time: 0.36 s
19991.55/700.53 c lits-rem: 0 cl-subs: 965 v-elim: 255 v-fix: 0 time: 0.54 s
20017.12/701.37 c subs with bin: 336 lits-rem: 10766 v-fix: 0 time: 0.68 s
20052.30/702.46 c lits-rem: 2337 cl-subs: 1001 v-elim: 0 v-fix: 0 time: 0.97 s
20093.83/703.77 c asymm cl-useful: 172/6246/200113 lits-rem:641 time: 1.31
20097.03/703.82 c calculated reachability. Time: 0.01
20097.03/703.82 c N dy 511 158479 70691 200101 219812 47162 1160695 1236011 15.61 no data
20260.05/708.93 c Finding binary XORs T: 0.08 s found: 59
20886.55/728.58 c Finding binary XORs T: 0.08 s found: 1218
20892.94/728.72 c Replacing 1278 vars Replaced 44941 lits Time: 0.14 s
21085.38/734.81 c N dy 542 169836 69385 197515 223551 40796 1148418 776171 15.46 16.63
21605.79/751.05 c Finding binary XORs T: 0.08 s found: 1126
21608.98/751.20 c Replacing 1132 vars Replaced 47196 lits Time: 0.15 s
22091.63/766.22 c N dy 587 180766 68221 194310 221789 51056 1133745 1125108 15.50 18.17
22622.20/782.85 c Finding binary XORs T: 0.08 s found: 453
22999.37/794.64 c N dy 632 192355 68189 193768 230842 43265 1130711 678884 15.50 16.78
23213.54/801.34 c Finding binary XORs T: 0.08 s found: 486
23216.74/801.48 c Replacing 942 vars Replaced 36357 lits Time: 0.13 s
23520.40/810.91 c Finding binary XORs T: 0.08 s found: 375
24012.65/826.36 c N dy 673 204634 67204 191537 244193 54588 1121260 1128409 15.40 37.61
24341.90/836.66 c Finding binary XORs T: 0.09 s found: 953
24348.31/836.83 c Replacing 1329 vars Replaced 65683 lits Time: 0.17 s
25080.29/859.79 c Finding binary XORs T: 0.08 s found: 572
25246.50/864.93 c N dy 707 217924 65838 187018 249011 66268 1101860 1478251 15.18 16.06
26058.41/890.39 c Finding binary XORs T: 0.08 s found: 791
26064.81/890.56 c Replacing 1364 vars Replaced 66917 lits Time: 0.16 s
26473.93/903.36 c N dy 755 231999 64384 184066 249170 60324 1088872 1130173 15.05 16.49
26937.44/917.86 c S st 775 237720 64369 184066 251631 65970 1088872 1334830 15.00 no data
27001.37/919.81 c S st 775 238220 64369 184066 251649 66443 1088872 1367474 15.00 no data
27004.57/919.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
27806.88/945.05 c Flit: 8 Blit: 5 bXBeca: 0 bXProp: 297 Bins: 8932 BRemL: 4 BRemN: 0 P: 200.0M T: 25.12
27813.28/945.26 c Replacing 298 vars Replaced 24138 lits Time: 0.20 s
27819.67/945.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
27822.87/945.50 c bin-w-bin subsume rem 15660 bins time: 0.06 s
27826.07/945.66 c subs with bin: 1745 lits-rem: 306 v-fix: 0 time: 0.16 s
27854.84/946.60 c Subs w/ non-existent bins: 60 l-rem: 36 v-fix: 0 done: 63991 time: 0.91 s
27864.43/946.88 c Removed useless bin: 116 fixed: 0 props: 8.20M time: 0.28 s
27886.79/947.58 c lits-rem: 35 cl-subs: 2139 v-elim: 477 v-fix: 0 time: 0.69 s
27906.58/948.16 c subs with bin: 455 lits-rem: 8267 v-fix: 0 time: 0.43 s
27934.75/949.03 c lits-rem: 1440 cl-subs: 1257 v-elim: 0 v-fix: 0 time: 0.74 s
27985.88/950.64 c asymm cl-useful: 42/3137/178673 lits-rem:92 time: 1.60
27985.88/950.69 c calculated reachability. Time: 0.01
27985.88/950.69 c N dy 775 238220 63514 178673 236973 61934 1115742 1134553 15.00 no data
27989.08/950.77 c Finding binary XORs T: 0.08 s found: 202
28465.32/965.66 c Finding binary XORs T: 0.08 s found: 773
28472.35/965.84 c Replacing 977 vars Replaced 55742 lits Time: 0.18 s
29383.30/994.35 c Finding binary XORs T: 0.08 s found: 455
29433.81/995.94 c N dy 835 253727 62456 175037 244531 57116 1097257 787562 15.08 16.55
30530.19/1030.29 c N dy 887 269924 62419 175037 248008 73106 1097255 1459694 15.08 16.89
30536.59/1030.43 c Finding binary XORs T: 0.08 s found: 195
30539.79/1030.61 c Replacing 651 vars Replaced 56165 lits Time: 0.17 s
31214.86/1051.69 c Finding binary XORs T: 0.08 s found: 178
31850.31/1071.51 c N dy 950 288174 61745 172338 250449 68900 1083206 1072503 15.08 15.96
32451.27/1090.33 c Finding binary XORs T: 0.08 s found: 273
33254.19/1115.44 c F st 1029 306250 61649 170430 252663 85318 1073042 1821659 15.15 8.30
33259.95/1115.66 c Replacing 456 vars Replaced 42386 lits Time: 0.16 s
33311.10/1117.30 c N st 1031 306878 61206 168788 249434 84274 1058640 1747230 15.15 no data
33442.16/1121.31 c Finding binary XORs T: 0.08 s found: 244
34244.48/1146.47 c Finding binary XORs T: 0.08 s found: 221
34544.93/1155.80 c N dy 1081 326753 61083 165449 262301 80953 1037714 1258462 15.08 16.14
35168.26/1175.38 c Finding binary XORs T: 0.08 s found: 206
35174.66/1175.56 c Replacing 671 vars Replaced 63892 lits Time: 0.18 s
35645.16/1190.25 c Finding binary XORs T: 0.08 s found: 181
36099.03/1204.43 c N dy 1168 347711 60257 161219 273348 77489 1010417 923796 15.06 16.21
36747.32/1224.79 c Finding binary XORs T: 0.08 s found: 126
37019.02/1233.20 c S st 1192 357330 60153 159657 279834 86281 1003645 1236329 14.95 13.22
37060.58/1234.54 c S st 1192 357831 60153 159657 279848 86768 1003645 1262931 14.95 no data
37063.78/1234.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
37790.01/1257.37 c Flit: 3 Blit: 5 bXBeca: 0 bXProp: 99 Bins: 2965 BRemL: 2 BRemN: 0 P: 200.0M T: 22.72
37798.95/1257.60 c Replacing 406 vars Replaced 33567 lits Time: 0.22 s
37802.15/1257.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
37805.35/1257.84 c bin-w-bin subsume rem 16813 bins time: 0.07 s
37808.55/1257.99 c subs with bin: 958 lits-rem: 971 v-fix: 0 time: 0.15 s
37837.32/1258.86 c Subs w/ non-existent bins: 173 l-rem: 974 v-fix: 1 done: 59736 time: 0.87 s
37843.72/1259.05 c Removed useless bin: 144 fixed: 0 props: 4.39M time: 0.19 s
37872.49/1259.94 c lits-rem: 163 cl-subs: 5058 v-elim: 1501 v-fix: 0 time: 0.89 s
37885.28/1260.32 c subs with bin: 4858 lits-rem: 10146 v-fix: 0 time: 0.23 s
37904.45/1260.91 c lits-rem: 958 cl-subs: 1512 v-elim: 0 v-fix: 0 time: 0.47 s
37955.60/1262.53 c asymm cl-useful: 79/656/148104 lits-rem:188 time: 1.61
37955.60/1262.58 c calculated reachability. Time: 0.01
37955.60/1262.58 c N dy 1192 357831 58234 148104 258503 72901 1092952 891270 14.95 no data
38096.22/1266.97 c Finding binary XORs T: 0.08 s found: 134
38438.25/1277.64 c Finding binary XORs T: 0.08 s found: 998
38444.64/1277.80 c Replacing 1132 vars Replaced 91629 lits Time: 0.17 s
38985.48/1294.72 c Finding binary XORs T: 0.08 s found: 1569
38988.04/1294.89 c Replacing 1569 vars Replaced 89511 lits Time: 0.17 s
39074.64/1305.15 c Following stats are for *FIRST FINISHED THREAD ONLY*
39074.64/1305.15 c num threads : 32
39074.64/1305.15 c restarts : 1363
39074.64/1305.15 c dynamic restarts : 1339
39074.64/1305.15 c static restarts : 24
39074.64/1305.15 c full restarts : 3
39074.64/1305.15 c total simplify time : 9.43
39074.64/1305.15 c learnts DL2 : 0
39074.64/1305.15 c learnts size 2 : 2379214
39074.64/1305.15 c learnts size 1 : 6702 (2.69 % of vars)
39074.64/1305.15 c filedLit time : 62.31 (5.11 % time)
39074.64/1305.15 c v-elim SatELite : 168393 (67.54 % vars)
39074.64/1305.15 c SatELite time : 20.56 (1.69 % time)
39074.64/1305.15 c v-elim xor : 0 (0.00 % vars)
39074.64/1305.15 c xor elim time : 0.24 (0.02 % time)
39074.64/1305.15 c num binary xor trees : 2628
39074.64/1305.15 c binxor trees' crown : 20468 (7.79 leafs/tree)
39074.64/1305.15 c bin xor find time : 3.45
39074.64/1305.15 c OTF clause improved : 4578 (0.01 clauses/conflict)
39074.64/1305.15 c OTF impr. size diff : 6292 (1.37 lits/clause)
39074.64/1305.15 c OTF cl watch-shrink : 95182 (0.24 clauses/conflict)
39074.64/1305.15 c OTF cl watch-sh-lit : 342342 (3.60 lits/clause)
39074.64/1305.15 c tried to recurMin cls : 0 (0.00 % of conflicts)
39074.64/1305.15 c updated cache : 0 (nan lits/tried recurMin)
39074.64/1305.15 c unit cls recevied : 749 (11.18 % of units)
39074.64/1305.15 c unit cls sent : 185 (2.76 % of units)
39074.64/1305.15 c bin cls recevied : 498662
39074.64/1305.15 c bin cls sent : 11319
39074.64/1305.15 c clauses over max glue : 0 (0.00 % of all clauses)
39074.64/1305.15 c conflicts : 392617 (322.19 / sec)
39074.64/1305.15 c decisions : 6277885 (1.55 % random)
39074.64/1305.15 c bogo-props : 15880427209 (13031839.76 / sec)
39074.64/1305.15 c conflict literals : 17764338 (26.97 % deleted)
39074.64/1305.15 c Memory used : 13668.25 MB
39074.64/1305.15 c single-thread CPU time : 1218.59 s
39074.64/1305.15 c all-threads sum CPU time : 38948.50 s
39074.64/1305.15 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400653-1306273012/watcher-3400653-1306273012 -o /tmp/evaluation-result-3400653-1306273012/solver-3400653-1306273012 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400653-1306273012.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.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=338000 CPUtime=0.89 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) R 11581 11583 11499 0 -1 4202496 467 0 0 0 89 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 84500 408 300 95 0 79482 0
[pid=11583/tid=11584] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025747 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670026162 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=338000 CPUtime=0 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025757 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=338000 CPUtime=0 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025757 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025747 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0679759 s]
/proc/loadavg: 27.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=740964 CPUtime=1.41 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) R 11581 11583 11499 0 -1 4202496 5597 0 0 0 111 30 0 0 25 0 32 0 738787752 758747136 5448 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 185241 5458 332 95 0 180223 0
[pid=11583/tid=11584] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 114 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 329 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 135 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 108 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5470 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 135 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5484 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 149 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5492 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 119 0 0 0 3 1 0 0 24 0 32 0 738787752 758747136 5492 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 127 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5493 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=740964 CPUtime=0.02 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 41 0 0 0 2 0 0 0 25 0 32 0 738787752 758747136 5506 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=740964 CPUtime=0.01 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 124 0 0 0 1 0 0 0 25 0 32 0 738787752 758747136 5523 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5548 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 146 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5548 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 140 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5549 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 134 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5554 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 301 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5571 268435456000 4194304 4580107 140736450948560 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=740964 CPUtime=0.01 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 297 0 0 0 1 0 0 0 18 0 32 0 738787752 758747136 5606 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 134 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5611 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 307 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5611 268435456000 4194304 4580107 140736450948560 18446744073709551615 4311177 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 294 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5612 268435456000 4194304 4580107 140736450948560 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 286 0 0 0 3 0 0 0 17 0 32 0 738787752 758747136 5623 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446744071566927984 0 0 -1 23 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 294 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5630 268435456000 4194304 4580107 140736450948560 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 152 0 0 0 3 0 0 0 18 0 32 0 738787752 758747136 5639 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 119 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5651 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 117 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5652 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 131 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5661 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 134 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5680 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 153 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5721 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 137 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5722 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 124 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5723 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 120 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5732 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 124 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5750 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 740964
[startup+0.103877 s]
/proc/loadavg: 27.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=1177332 CPUtime=1.99 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) S 11581 11583 11499 0 -1 4202496 11361 0 0 0 117 82 0 0 17 0 32 0 738787752 1205587968 11212 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 294333 11216 334 95 0 289315 0
[pid=11583/tid=11584] ppid=11581 vsize=1177332 CPUtime=0.06 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 322 0 0 0 3 3 0 0 17 0 32 0 738787752 1205587968 11223 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 490 0 0 0 4 2 0 0 17 0 32 0 738787752 1213988864 11229 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604474669981152 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 334 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11233 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 337 0 0 0 3 3 0 0 24 0 32 0 738787752 1213988864 11235 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11241 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 350 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11242 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 373 0 0 0 3 3 0 0 17 0 32 0 738787752 1213988864 11242 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604480244678112 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11249 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=1185536 CPUtime=0.03 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 316 0 0 0 2 1 0 0 17 0 32 0 738787752 1213988864 11256 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=1185536 CPUtime=0.02 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 315 0 0 0 1 1 0 0 17 0 32 0 738787752 1213988864 11258 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11260 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 328 0 0 0 4 2 0 0 17 0 32 0 738787752 1213988864 11262 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604482313944544 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 306 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11273 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 320 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11273 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604480880041440 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 405 0 0 0 4 1 0 0 17 0 32 0 738787752 1213988864 11282 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604574634745312 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=1185536 CPUtime=0.03 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 377 0 0 0 1 2 0 0 17 0 32 0 738787752 1213988864 11289 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604704577830368 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
################
# More data... #
################
[pid=11583/tid=11584] ppid=11581 vsize=13996284 CPUtime=1227.62 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 168627 0 0 0 122331 431 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 4223100 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=13996284 CPUtime=1217.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 149758 0 0 0 121300 403 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480244678112 0 0 -1 21 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=13996284 CPUtime=1213.74 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 146489 0 0 0 120978 396 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707277069792 0 0 -1 8 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=13996284 CPUtime=1228.28 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 180383 0 0 0 122390 438 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=13996284 CPUtime=1214.56 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 214286 0 0 0 121010 446 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604481419754976 0 0 -1 1 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=13996284 CPUtime=1233.73 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 268915 0 0 0 122953 420 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604701683531232 0 0 -1 29 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=13996284 CPUtime=1222.9 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 355539 0 0 0 121887 403 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744071566931384 0 0 -1 12 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=13996284 CPUtime=1209.7 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 247781 0 0 0 120573 397 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604709874630112 0 0 -1 13 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=13996284 CPUtime=1216.7 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121910 0 0 0 121257 413 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706329648608 0 0 -1 17 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=13996284 CPUtime=1223.87 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 223695 0 0 0 122075 312 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707446201824 0 0 -1 10 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=13996284 CPUtime=1223.2 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 141341 0 0 0 121911 409 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708197285344 0 0 -1 9 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=13996284 CPUtime=1223.86 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 117445 0 0 0 122078 308 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604705224990176 0 0 -1 5 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 244665 0 0 0 121537 456 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604704429981152 0 0 -1 15 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=13996284 CPUtime=1221.87 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 235362 0 0 0 121859 328 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604478795300320 0 0 -1 3 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=13996284 CPUtime=1220.35 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 144735 0 0 0 121587 448 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604482313944544 0 0 -1 4 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=13996284 CPUtime=1220.57 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 245230 0 0 0 121734 323 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604483721518560 0 0 -1 28 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=13996284 CPUtime=1221.94 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 201183 0 0 0 121776 418 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604710698335712 0 0 -1 27 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=13996284 CPUtime=1213.67 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 138983 0 0 0 120922 445 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604574634745312 0 0 -1 11 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=13996284 CPUtime=1213.56 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 105316 0 0 0 120977 379 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604711040450016 0 0 -1 22 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=13996284 CPUtime=1228.95 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121051 0 0 0 122476 419 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604477448625632 0 0 -1 26 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112830 0 0 0 121574 419 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670001348 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=13996284 CPUtime=1222.07 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 134752 0 0 0 121795 412 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708192509408 0 0 -1 25 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=13996284 CPUtime=1222.49 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 114810 0 0 0 121863 386 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604474669981152 0 0 -1 30 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=13996284 CPUtime=1217.42 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 195148 0 0 0 121344 398 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707590446560 0 0 -1 20 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=13996284 CPUtime=1215.55 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 179990 0 0 0 121175 380 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=13996284 CPUtime=1208.07 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 227939 0 0 0 120415 392 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480947740128 0 0 -1 31 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=13996284 CPUtime=1222.97 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209217 0 0 0 121870 427 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706257173984 0 0 -1 7 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=13996284 CPUtime=1223.08 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 96606 0 0 0 121912 396 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604476646284768 0 0 -1 6 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=13996284 CPUtime=1220.14 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 168183 0 0 0 121599 415 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480880041440 0 0 -1 21 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=13996284 CPUtime=1229.24 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209185 0 0 0 122487 437 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604702911954400 0 0 -1 19 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=13996284 CPUtime=1228.38 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 68643 0 0 0 122615 223 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604700297616864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39066.6
Current children cumulated vsize (KiB) 13996284
Solver just ended. Dumping a history of the last processes samples
[startup+1303.9 s]
/proc/loadavg: 29.87 31.54 30.80 4/445 11649
/proc/meminfo: memFree=243102460/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=13996284 CPUtime=39071.3 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) S 11581 11583 11499 0 -1 4202496 5643850 0 0 0 3894501 12625 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 3499071 3008151 380 95 0 3494053 0
[pid=11583/tid=11584] ppid=11581 vsize=13996284 CPUtime=1229.16 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 170585 0 0 0 122480 436 0 0 19 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=13996284 CPUtime=1217.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 149758 0 0 0 121300 403 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480244678112 0 0 -1 21 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=13996284 CPUtime=1213.74 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 146489 0 0 0 120978 396 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707277069792 0 0 -1 8 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=13996284 CPUtime=1229.85 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 183539 0 0 0 122537 448 0 0 19 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=13996284 CPUtime=1214.56 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 214286 0 0 0 121010 446 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604481419754976 0 0 -1 1 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=13996284 CPUtime=1233.73 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 268915 0 0 0 122953 420 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604701683531232 0 0 -1 29 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=13996284 CPUtime=1222.9 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 355539 0 0 0 121887 403 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744071566931384 0 0 -1 12 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=13996284 CPUtime=1209.7 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 247781 0 0 0 120573 397 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604709874630112 0 0 -1 13 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=13996284 CPUtime=1216.7 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121910 0 0 0 121257 413 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706329648608 0 0 -1 17 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=13996284 CPUtime=1223.87 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 223695 0 0 0 122075 312 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707446201824 0 0 -1 10 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=13996284 CPUtime=1223.2 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 141341 0 0 0 121911 409 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708197285344 0 0 -1 9 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=13996284 CPUtime=1223.86 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 117445 0 0 0 122078 308 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604705224990176 0 0 -1 5 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 244665 0 0 0 121537 456 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604704429981152 0 0 -1 15 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=13996284 CPUtime=1221.87 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 235362 0 0 0 121859 328 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604478795300320 0 0 -1 3 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=13996284 CPUtime=1220.35 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 144735 0 0 0 121587 448 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604482313944544 0 0 -1 4 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=13996284 CPUtime=1220.57 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 245230 0 0 0 121734 323 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604483721518560 0 0 -1 28 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=13996284 CPUtime=1221.94 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 201183 0 0 0 121776 418 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604710698335712 0 0 -1 27 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=13996284 CPUtime=1213.67 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 138983 0 0 0 120922 445 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604574634745312 0 0 -1 11 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=13996284 CPUtime=1213.56 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 105316 0 0 0 120977 379 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604711040450016 0 0 -1 22 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=13996284 CPUtime=1228.95 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121051 0 0 0 122476 419 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604477448625632 0 0 -1 26 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=13996284 CPUtime=1221.52 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112830 0 0 0 121733 419 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=13996284 CPUtime=1222.07 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 134752 0 0 0 121795 412 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708192509408 0 0 -1 25 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=13996284 CPUtime=1222.49 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 114810 0 0 0 121863 386 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604474669981152 0 0 -1 30 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=13996284 CPUtime=1217.42 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 195148 0 0 0 121344 398 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707590446560 0 0 -1 20 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=13996284 CPUtime=1215.55 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 179990 0 0 0 121175 380 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=13996284 CPUtime=1208.07 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 227939 0 0 0 120415 392 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480947740128 0 0 -1 31 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=13996284 CPUtime=1222.97 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209217 0 0 0 121870 427 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706257173984 0 0 -1 7 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=13996284 CPUtime=1223.08 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 96606 0 0 0 121912 396 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604476646284768 0 0 -1 6 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=13996284 CPUtime=1220.14 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 168183 0 0 0 121599 415 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480880041440 0 0 -1 21 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=13996284 CPUtime=1229.24 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209185 0 0 0 122487 437 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604702911954400 0 0 -1 19 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=13996284 CPUtime=1228.38 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 68643 0 0 0 122615 223 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604700297616864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39071.3
Current children cumulated vsize (KiB) 13996284
[startup+1305.5 s]
/proc/loadavg: 29.87 31.54 30.80 4/445 11649
/proc/meminfo: memFree=243101588/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.1 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12662 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1217.37 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 437 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.1
Current children cumulated vsize (KiB) 0
[startup+1305.9 s]
/proc/loadavg: 27.72 31.06 30.65 2/415 11649
/proc/meminfo: memFree=246465080/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.5 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12702 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1217.77 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 477 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.5
Current children cumulated vsize (KiB) 0
[startup+1306.3 s]
/proc/loadavg: 27.72 31.06 30.65 2/415 11649
/proc/meminfo: memFree=246465080/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.9 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12742 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1218.17 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 517 0 0 19 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1306.38
CPU time (s): 39076
CPU user time (s): 38948.5
CPU system time (s): 127.506
CPU usage (%): 2991.16
Max. virtual memory (cumulated for all children) (KiB): 13996284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38948.5
system time used= 127.506
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5644007
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= 4060257
involuntary context switches= 187515
runsolver used 7.8568 second user time and 29.2246 second system time
The end
Begin job on node200 at 2011-05-24 23:36:53
IDJOB=3400653
IDBENCH=70769
IDSOLVER=1886
FILE ID=node200/3400653-1306273012
RUNJOBID= node200-1306273010-11513
PBS_JOBID= 13411772
Free space on /tmp= 62032 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400653-1306273012/watcher-3400653-1306273012 -o /tmp/evaluation-result-3400653-1306273012/solver-3400653-1306273012 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400653-1306273012.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=76889353
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255153940 kB
Buffers: 465444 kB
Cached: 8232912 kB
SwapCached: 0 kB
Active: 7782596 kB
Inactive: 984880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255153940 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 18916 kB
Writeback: 0 kB
AnonPages: 68012 kB
Mapped: 14696 kB
Slab: 256100 kB
PageTables: 5316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167040 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= 62028 MiB
End job on node200 at 2011-05-24 23:58:40