| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.52 | 1203.69 |
| Name | APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf |
| MD5SUM | 4f9c883534eb89cad9b9cad9e6eccbd0 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 75103 |
| Number of clauses | 225116 |
| Sum of the clauses size | 525268 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 150076 |
| Number of clauses of size 3 | 75038 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.06 c Using 4 threads 0.00/0.08 c This is CryptoMiniSat 3.0.0 0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.08 c Reading file 'HOME/instance-3367238-1305389720.cnf' 0.00/0.09 c -- header says num vars: 75103 0.00/0.09 c -- header says num clauses: 225116 6.74/1.86 c -- clauses added: 0 learnts, 225116 normals, 0 xors 6.74/1.86 c -- vars added 75103 6.74/1.86 c Parsing time: 0.07 s 6.74/1.86 c N st 0 0 75103 75038 150076 0 525266 0 no data no data 6.74/1.86 c asymm cl-useful: 0/2487/75037 lits-rem:0 time: 0.60 51.31/13.02 c Flit: 1025 Blit: 12472 bXBeca: 0 bXProp: 8315 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 12.13 51.31/13.03 c Cleaning up after failed var search: 0.01 s 51.31/13.05 c Replacing 8315 vars Replaced 107073 lits Time: 0.01 s 51.31/13.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 51.31/13.07 c bin-w-bin subsume rem 1892 bins time: 0.01 s 51.31/13.09 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.02 s 56.49/14.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 53074 time: 1.25 s 56.89/14.46 c Removed useless bin: 1541 fixed: 0 props: 20.00M time: 0.12 s 57.73/14.64 c lits-rem: 0 cl-subs: 35 v-elim: 17691 v-fix: 0 time: 0.17 s 57.73/14.65 c Finding binary XORs T: 0.01 s found: 1176 57.73/14.66 c Replacing 1176 vars Replaced 14664 lits Time: 0.01 s 57.73/14.68 c Finding non-binary XORs: 0.01 s (found: 38, avg size: 3.0) 57.73/14.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 57.73/14.69 c calculated reachability. Time: 0.00 57.73/14.69 c Calc default polars - time: 0.00 s pos: 2558 undec: 42616 neg: 29929 57.73/14.69 c ========================================================================================= 57.73/14.69 c types(t): F = full restart, N = normal restart 57.73/14.69 c types(t): S = simplification begin/end, E = solution found 57.73/14.69 c restart types(rt): st = static, dy = dynamic 57.73/14.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 57.73/14.69 c B st 0 0 34206 57989 63536 0 313516 0 no data no data 61.28/15.51 c N dy 16 4141 34164 57989 63743 3853 313516 225458 5.76 6.10 63.67/16.13 c N dy 40 8220 34161 57989 67012 7821 313516 321720 6.24 8.00 66.06/16.76 c Finding binary XORs T: 0.01 s found: 77 66.50/16.87 c N dy 67 12815 33958 57471 66341 12316 310291 442021 6.72 7.12 69.65/17.66 c N dy 89 17096 33897 57471 66643 16506 310291 570401 6.67 7.02 72.44/18.30 c N dy 110 21145 33897 57471 67075 10804 310291 133217 6.76 7.18 75.27/19.06 c F st 131 25001 33846 57471 67142 14574 310291 221559 6.80 no data 75.27/19.08 c Replacing 77 vars Replaced 432 lits Time: 0.01 s 76.82/19.47 c N st 132 25253 33808 56939 66657 14819 307741 240831 6.80 no data 84.05/21.24 c N dy 137 30001 33808 56939 66693 19478 307741 516306 6.80 no data 84.05/21.24 c S st 137 30001 33808 56939 66693 19478 307741 516306 6.80 no data 85.19/21.50 c S st 137 30503 33781 56939 66783 19867 307741 522122 6.80 no data 85.19/21.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 135.46/34.19 c Flit: 14 Blit: 969 bXBeca: 0 bXProp: 161 Bins: 42271 BRemL: 6603 BRemN: 0 P: 194.2M T: 12.60 135.86/34.20 c Cleaning up after failed var search: 0.01 s 135.86/34.23 c Replacing 161 vars Replaced 46507 lits Time: 0.02 s 135.86/34.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 135.86/34.25 c bin-w-bin subsume rem 3386 bins time: 0.01 s 135.86/34.28 c subs with bin: 1121 lits-rem: 118 v-fix: 0 time: 0.03 s 136.69/34.45 c Subs w/ non-existent bins: 56 l-rem: 84 v-fix: 0 done: 32082 time: 0.17 s 136.69/34.50 c Removed useless bin: 40 fixed: 0 props: 7.56M time: 0.05 s 137.84/34.72 c lits-rem: 79 cl-subs: 405 v-elim: 13597 v-fix: 0 time: 0.22 s 137.84/34.74 c subs with bin: 26 lits-rem: 336 v-fix: 0 time: 0.01 s 137.84/34.76 c lits-rem: 79 cl-subs: 137 v-elim: 0 v-fix: 0 time: 0.01 s 137.84/34.76 c Added XOR as norm:30 139.85/35.25 c asymm cl-useful: 102/5467/72294 lits-rem:182 time: 0.49 140.25/35.30 c calculated reachability. Time: 0.04 140.25/35.30 c N dy 137 30503 18485 72294 39822 1941 300624 48508 6.80 no data 140.65/35.41 c Finding binary XORs T: 0.11 s found: 35 143.04/36.00 c N dy 156 35176 18465 72294 49069 6417 300624 150650 6.75 7.19 143.44/36.18 c Finding binary XORs T: 0.05 s found: 19 145.04/36.60 c N dy 177 39334 18422 72060 65965 10441 299298 252719 6.75 7.15 146.22/36.88 c Finding binary XORs T: 0.05 s found: 0 147.02/37.08 c N dy 195 43524 18420 72049 65989 8441 299255 166518 6.71 7.09 148.62/37.46 c S st 204 45755 18420 72049 65997 10615 299255 208547 6.71 no data 149.02/37.54 c S st 204 46255 18420 72049 66011 11094 299255 213137 6.71 no data 149.02/37.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 160.18/40.32 c Flit: 1 Blit: 3 bXBeca: 0 bXProp: 2 Bins: 144 BRemL: 2106 BRemN: 11 P: 59.1M T: 2.77 160.18/40.34 c Replacing 56 vars Replaced 16317 lits Time: 0.02 s 160.18/40.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 160.18/40.38 c bin-w-bin subsume rem 17162 bins time: 0.01 s 160.58/40.41 c subs with bin: 2552 lits-rem: 3265 v-fix: 0 time: 0.03 s 160.58/40.46 c Subs w/ non-existent bins: 291 l-rem: 660 v-fix: 0 done: 18362 time: 0.05 s 160.58/40.47 c Removed useless bin: 192 fixed: 0 props: 1.74M time: 0.01 s 160.98/40.54 c lits-rem: 11 cl-subs: 121 v-elim: 6 v-fix: 0 time: 0.07 s 160.98/40.58 c subs with bin: 30 lits-rem: 549 v-fix: 0 time: 0.02 s 161.38/40.62 c lits-rem: 595 cl-subs: 525 v-elim: 0 v-fix: 0 time: 0.03 s 161.38/40.62 c Added XOR as norm:0 161.78/40.73 c vivif2 -- cl tried 68850 cl shrink 2991 lits rem 3143 time: 0.10 161.78/40.76 c vivif2 -- cl tried 10470 cl shrink 2702 lits rem 7641 time: 0.03 164.56/41.45 c asymm cl-useful: 277/15190/67733 lits-rem:277 time: 0.69 164.56/41.47 c calculated reachability. Time: 0.02 164.56/41.48 c N dy 204 46255 18356 67733 49023 10435 285659 154420 6.71 no data 169.75/42.74 c N dy 229 50385 18353 67733 53838 14454 285659 270007 6.79 7.17 172.19/43.33 c Finding binary XORs T: 0.05 s found: 19 173.34/43.69 c N dy 257 54397 18338 67474 53792 18236 283993 365014 6.84 10.30 175.75/44.23 c N dy 275 58573 18337 67474 53942 22348 283993 436699 6.82 7.36 178.93/45.07 c N dy 298 62655 18337 67474 54014 26364 283993 540930 6.87 12.94 181.32/45.69 c N dy 318 66659 18337 67474 54033 16624 283993 230012 6.89 7.25 183.32/46.20 c S st 336 69383 18337 67474 54102 19297 283993 288432 6.92 no data 184.12/46.33 c S st 336 69884 18337 67474 54110 19784 283993 299489 6.92 no data 184.12/46.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 196.08/49.36 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 556 BRemL: 1161 BRemN: 3 P: 65.8M T: 3.02 196.08/49.38 c Replacing 24 vars Replaced 629 lits Time: 0.02 s 196.48/49.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 196.48/49.41 c bin-w-bin subsume rem 1944 bins time: 0.01 s 196.48/49.43 c subs with bin: 416 lits-rem: 10 v-fix: 0 time: 0.02 s 196.48/49.49 c Subs w/ non-existent bins: 3 l-rem: 10 v-fix: 0 done: 18308 time: 0.05 s 196.89/49.50 c Removed useless bin: 11 fixed: 0 props: 1.36M time: 0.01 s 196.89/49.57 c lits-rem: 116 cl-subs: 311 v-elim: 112 v-fix: 0 time: 0.06 s 197.29/49.62 c subs with bin: 39 lits-rem: 781 v-fix: 0 time: 0.04 s 197.29/49.68 c lits-rem: 448 cl-subs: 353 v-elim: 0 v-fix: 0 time: 0.04 s 197.29/49.68 c Added XOR as norm:0 197.69/49.78 c vivif2 -- cl tried 66831 cl shrink 640 lits rem 667 time: 0.11 198.12/49.85 c vivif2 -- cl tried 19168 cl shrink 3782 lits rem 13840 time: 0.06 199.67/50.20 c asymm cl-useful: 34/3698/66737 lits-rem:102 time: 0.35 199.67/50.22 c calculated reachability. Time: 0.02 199.67/50.22 c N dy 336 69884 18196 66703 51080 19163 280026 254638 6.92 no data 204.45/51.45 c N dy 362 74386 18194 66703 51390 23558 280026 369478 6.96 10.53 208.45/52.48 c N dy 389 79167 18193 66703 51407 28275 280026 490770 6.99 7.43 212.03/53.36 c N dy 411 84287 18192 66703 51444 33312 280026 605242 6.99 7.45 213.23/53.67 c Finding binary XORs T: 0.06 s found: 0 214.83/54.01 c F st 432 87500 18192 66695 51105 18437 279949 191715 7.01 no data 218.82/55.00 c N st 437 90798 18192 66695 51111 21675 279949 294519 7.01 no data 222.81/56.07 c N dy 462 96707 18192 66695 51127 27500 279949 442615 7.04 7.45 227.20/57.13 c N dy 495 102926 18190 66695 51150 33617 279949 573515 7.05 7.47 228.83/57.56 c S st 508 104826 18190 66695 51846 35491 279949 621371 7.07 no data 229.23/57.66 c S st 508 105329 18190 66695 51850 35985 279949 630727 7.07 no data 229.23/57.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 242.39/60.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 24 Bins: 652 BRemL: 842 BRemN: 3 P: 74.2M T: 3.25 242.39/60.95 c Replacing 24 vars Replaced 709 lits Time: 0.02 s 242.39/60.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 242.39/60.97 c bin-w-bin subsume rem 39 bins time: 0.01 s 242.39/61.00 c subs with bin: 245 lits-rem: 25 v-fix: 0 time: 0.02 s 242.74/61.05 c Subs w/ non-existent bins: 18 l-rem: 53 v-fix: 0 done: 18165 time: 0.05 s 242.74/61.07 c Removed useless bin: 13 fixed: 0 props: 1.07M time: 0.01 s 243.15/61.13 c lits-rem: 0 cl-subs: 67 v-elim: 3 v-fix: 0 time: 0.06 s 243.55/61.25 c subs with bin: 64 lits-rem: 3003 v-fix: 0 time: 0.09 s 243.95/61.36 c lits-rem: 882 cl-subs: 726 v-elim: 0 v-fix: 0 time: 0.10 s 243.95/61.36 c Added XOR as norm:0 244.35/61.47 c vivif2 -- cl tried 66133 cl shrink 123 lits rem 136 time: 0.10 245.15/61.62 c vivif2 -- cl tried 34729 cl shrink 8281 lits rem 42573 time: 0.15 246.38/61.98 c asymm cl-useful: 9/3506/66113 lits-rem:27 time: 0.35 246.38/62.00 c calculated reachability. Time: 0.02 246.38/62.00 c N dy 508 105329 18162 66104 51611 34723 278180 515698 7.07 no data 252.71/63.58 c Finding binary XORs T: 0.06 s found: 0 255.55/64.29 c N dy 557 112128 18160 66101 51802 20853 278139 203411 7.12 9.49 261.49/65.74 c N dy 595 119667 18159 66101 57268 28282 278139 384324 7.13 7.59 261.89/65.84 c Finding binary XORs T: 0.06 s found: 5 269.87/67.87 c N dy 642 127412 18157 66097 57027 35873 278104 585271 7.19 7.64 277.09/69.70 c N dy 694 135646 18155 66097 57171 43979 278104 777756 7.23 7.62 284.62/71.53 c N dy 749 145133 18155 66097 57236 30763 278104 437432 7.26 7.66 292.61/73.55 c N dy 804 154668 18155 66097 57348 40194 278104 708349 7.29 7.68 295.40/74.26 c S st 819 157993 18155 66097 57356 43474 278104 784293 7.29 no data 296.20/74.41 c S st 819 158496 18155 66097 57359 43970 278104 793596 7.29 no data 296.20/74.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 310.15/77.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 23 Bins: 200 BRemL: 739 BRemN: 0 P: 86.6M T: 3.51 310.15/77.96 c Replacing 28 vars Replaced 1870 lits Time: 0.03 s 310.15/77.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 310.15/77.99 c bin-w-bin subsume rem 164 bins time: 0.01 s 310.55/78.01 c subs with bin: 80 lits-rem: 9 v-fix: 0 time: 0.02 s 310.55/78.06 c Subs w/ non-existent bins: 7 l-rem: 10 v-fix: 0 done: 18127 time: 0.05 s 310.55/78.08 c Removed useless bin: 5 fixed: 0 props: 0.93M time: 0.01 s 310.95/78.14 c lits-rem: 0 cl-subs: 82 v-elim: 2 v-fix: 0 time: 0.06 s 311.75/78.36 c subs with bin: 35 lits-rem: 1458 v-fix: 0 time: 0.19 s 312.20/78.51 c lits-rem: 1600 cl-subs: 805 v-elim: 0 v-fix: 0 time: 0.13 s 312.20/78.51 c Added XOR as norm:0 312.95/78.61 c vivif2 -- cl tried 65697 cl shrink 372 lits rem 377 time: 0.11 313.35/78.80 c vivif2 -- cl tried 42693 cl shrink 10668 lits rem 70580 time: 0.18 314.95/79.11 c asymm cl-useful: 0/3834/65530 lits-rem:0 time: 0.31 314.95/79.13 c calculated reachability. Time: 0.02 314.95/79.13 c N dy 819 158496 18125 65530 56733 42686 275958 658366 7.29 no data 319.74/80.39 c Finding binary XORs T: 0.06 s found: 24 329.31/82.72 c N dy 876 168757 18120 65313 56932 30808 275153 406104 7.32 7.71 339.27/85.27 c N dy 930 180045 18119 65313 57453 41948 275153 716242 7.32 7.79 350.45/88.01 c N dy 993 191808 18119 65313 57550 30968 275153 320831 7.34 7.82 360.87/90.66 c N dy 1067 204132 18117 65313 57656 43098 275153 595844 7.37 10.71 366.00/91.90 c Finding binary XORs T: 0.06 s found: 3 371.58/93.36 c N dy 1115 217813 18117 65297 57023 56486 275013 879297 7.35 7.77 383.55/96.32 c N dy 1193 231716 18117 65297 57166 46804 275012 611805 7.37 7.91 389.14/97.76 c S st 1228 237744 18117 65297 57199 52776 275012 760343 7.39 no data 389.94/97.92 c S st 1228 238247 18117 65297 57205 53271 275012 771314 7.39 no data 389.94/97.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 403.91/101.46 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 398 BRemL: 326 BRemN: 1 P: 92.3M T: 3.53 403.91/101.49 c Replacing 29 vars Replaced 955 lits Time: 0.03 s 403.91/101.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 404.35/101.51 c bin-w-bin subsume rem 51 bins time: 0.01 s 404.35/101.54 c subs with bin: 304 lits-rem: 15 v-fix: 0 time: 0.02 s 404.35/101.59 c Subs w/ non-existent bins: 5 l-rem: 32 v-fix: 0 done: 18087 time: 0.05 s 404.35/101.60 c Removed useless bin: 13 fixed: 0 props: 0.86M time: 0.01 s 404.75/101.67 c lits-rem: 0 cl-subs: 65 v-elim: 0 v-fix: 0 time: 0.07 s 405.90/101.91 c subs with bin: 60 lits-rem: 1531 v-fix: 0 time: 0.20 s 406.29/102.09 c lits-rem: 2540 cl-subs: 1187 v-elim: 0 v-fix: 0 time: 0.16 s 406.29/102.09 c Added XOR as norm:0 406.69/102.19 c vivif2 -- cl tried 64905 cl shrink 331 lits rem 332 time: 0.11 407.89/102.40 c vivif2 -- cl tried 52023 cl shrink 10068 lits rem 58876 time: 0.21 409.13/102.75 c asymm cl-useful: 0/2564/64792 lits-rem:0 time: 0.34 409.13/102.78 c calculated reachability. Time: 0.02 409.13/102.78 c N dy 1228 238247 18087 64792 57283 52013 273137 693555 7.39 no data 423.04/106.22 c Finding binary XORs T: 0.06 s found: 27 428.63/107.63 c N dy 1294 253490 18082 64576 57406 42260 272297 443580 7.39 7.80 434.61/109.20 c Finding binary XORs T: 0.06 s found: 1 444.23/111.58 c N dy 1382 269754 18080 64567 60406 58284 272231 856258 7.41 7.84 460.94/115.71 c N dy 1476 287080 18080 64567 60519 49923 272231 595960 7.43 8.02 478.92/120.25 c N dy 1582 305487 18079 64567 60619 68118 272230 1060359 7.46 9.34 479.68/120.41 c F st 1586 306253 18079 64567 60619 68875 272230 1077753 7.46 no data 479.68/120.44 c Replacing 28 vars Replaced 771 lits Time: 0.02 s 495.64/124.46 c N dy 1667 325004 18051 64551 60331 61076 272059 788639 7.47 7.90 516.39/129.65 c N dy 1776 345167 18050 64551 60402 53343 272058 514570 7.49 7.97 525.16/131.80 c Finding binary XORs T: 0.06 s found: 6 527.95/132.57 c S st 1842 357372 18050 64549 61011 65346 272040 819177 7.50 no data 528.75/132.74 c S st 1842 357874 18050 64549 61021 65834 272040 825547 7.50 no data 528.75/132.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 543.91/136.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 1218 BRemL: 681 BRemN: 0 P: 99.1M T: 3.80 543.91/136.57 c Replacing 8 vars Replaced 546 lits Time: 0.02 s 543.91/136.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 544.31/136.60 c bin-w-bin subsume rem 79 bins time: 0.01 s 544.31/136.62 c subs with bin: 1814 lits-rem: 15 v-fix: 0 time: 0.03 s 544.31/136.68 c Subs w/ non-existent bins: 4 l-rem: 7 v-fix: 0 done: 18042 time: 0.05 s 544.31/136.69 c Removed useless bin: 10 fixed: 0 props: 0.71M time: 0.01 s 544.75/136.76 c lits-rem: 0 cl-subs: 73 v-elim: 1 v-fix: 0 time: 0.07 s 545.51/136.97 c subs with bin: 48 lits-rem: 2654 v-fix: 0 time: 0.18 s 546.31/137.17 c lits-rem: 3611 cl-subs: 1661 v-elim: 0 v-fix: 0 time: 0.19 s 546.31/137.17 c Added XOR as norm:0 546.71/137.28 c vivif2 -- cl tried 62659 cl shrink 259 lits rem 259 time: 0.10 547.90/137.50 c vivif2 -- cl tried 63842 cl shrink 8266 lits rem 48907 time: 0.22 548.71/137.78 c asymm cl-useful: 0/525/62647 lits-rem:0 time: 0.28 549.14/137.81 c calculated reachability. Time: 0.02 549.14/137.81 c N dy 1842 357874 18041 62647 61481 63834 267634 748328 7.50 no data 568.24/142.66 c Finding binary XORs T: 0.07 s found: 29 573.03/143.80 c N dy 1944 378085 18032 62423 61421 55232 266686 504151 7.53 7.96 594.58/149.21 c N dy 2047 398165 18031 62423 61514 75089 266686 1053420 7.53 8.47 618.51/155.28 c N dy 2166 418745 18030 62423 61607 66851 266686 748428 7.55 7.96 639.25/160.42 c N dy 2243 438986 18030 62423 61693 86733 266685 1249025 7.54 8.11 661.98/166.17 c N dy 2335 459083 18029 62423 61856 77378 266685 914071 7.54 7.96 667.18/167.48 c Finding binary XORs T: 0.07 s found: 30 683.53/171.57 c N dy 2436 479085 18029 62198 61789 97106 265845 1432276 7.55 10.14 704.67/176.88 c N dy 2548 499106 18029 62198 61867 85892 265845 1052135 7.57 8.03 732.60/183.81 c N dy 2670 520423 18029 62198 61926 75303 265845 678346 7.59 8.01 750.55/188.37 c S st 2756 536811 18029 62198 61973 91511 265845 1143831 7.61 no data 751.39/188.57 c S st 2756 537315 18029 62198 61978 92003 265845 1155310 7.61 no data 751.39/188.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 767.70/192.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 580 BRemL: 746 BRemN: 0 P: 115.8M T: 4.09 768.10/192.70 c Replacing 59 vars Replaced 1789 lits Time: 0.02 s 768.10/192.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 768.10/192.73 c bin-w-bin subsume rem 163 bins time: 0.01 s 768.10/192.75 c subs with bin: 184 lits-rem: 47 v-fix: 0 time: 0.02 s 768.54/192.81 c Subs w/ non-existent bins: 9 l-rem: 53 v-fix: 0 done: 17970 time: 0.06 s 768.54/192.83 c Removed useless bin: 2 fixed: 0 props: 0.61M time: 0.02 s 768.94/192.91 c lits-rem: 0 cl-subs: 128 v-elim: 1 v-fix: 0 time: 0.08 s 770.49/193.30 c subs with bin: 62 lits-rem: 2219 v-fix: 0 time: 0.33 s 771.69/193.66 c lits-rem: 5358 cl-subs: 2177 v-elim: 0 v-fix: 0 time: 0.35 s 771.69/193.66 c Added XOR as norm:0 772.09/193.77 c vivif2 -- cl tried 61835 cl shrink 229 lits rem 233 time: 0.10 773.32/194.09 c vivif2 -- cl tried 89641 cl shrink 9966 lits rem 70852 time: 0.32 774.48/194.36 c asymm cl-useful: 0/411/61784 lits-rem:0 time: 0.28 774.48/194.39 c calculated reachability. Time: 0.02 774.48/194.39 c N dy 2756 537315 17969 61784 61538 89629 264072 1050600 7.61 no data 774.88/194.46 c Finding binary XORs T: 0.07 s found: 0 802.39/201.36 c N dy 2844 557363 17965 61784 61658 109369 264071 1678146 7.61 8.10 838.73/210.50 c N dy 2938 577397 17960 61784 61773 95845 264071 1384477 7.61 11.58 865.06/217.05 c N dy 3034 597563 17960 61784 61822 115721 264071 1944657 7.61 8.46 888.96/223.01 c N dy 3129 617574 17960 61784 61865 102454 264071 1268640 7.62 8.13 916.88/230.03 c N dy 3232 637674 17960 61784 61903 122317 264071 1852934 7.63 8.14 930.88/233.60 c Finding binary XORs T: 0.07 s found: 35 944.44/236.96 c N dy 3322 657926 17959 61544 64859 107945 263093 1366662 7.63 8.06 971.12/243.66 c N dy 3419 677933 17954 61544 64881 127667 263093 1922270 7.64 8.04 999.84/250.85 c N dy 3532 697947 17952 61544 65154 112457 263093 1376653 7.64 8.05 1030.16/258.42 c N dy 3634 718299 17952 61544 65202 132570 263093 2021525 7.65 8.07 1058.53/265.56 c N dy 3724 738356 17951 61544 65237 115929 263093 1444771 7.65 8.65 1087.61/272.82 c Finding binary XORs T: 0.06 s found: 6 1087.61/272.87 c N dy 3806 758396 17951 61508 64948 135728 262920 2010790 7.65 11.72 1118.32/280.50 c N dy 3906 778498 17951 61508 64988 118472 262920 1358925 7.65 8.11 1151.42/288.85 c N dy 4015 798502 17948 61508 65041 138239 262920 2021419 7.66 8.28 1162.60/291.69 c S st 4043 805972 17948 61508 65055 145615 262920 2238690 7.67 no data 1163.83/291.96 c S st 4043 806478 17948 61508 65060 146114 262920 2246094 7.67 no data 1163.83/291.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1182.53/296.62 c Flit: 4 Blit: 3 bXBeca: 0 bXProp: 49 Bins: 203 BRemL: 282 BRemN: 0 P: 145.4M T: 4.64 1182.53/296.68 c Replacing 90 vars Replaced 4449 lits Time: 0.06 s 1182.93/296.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1182.93/296.71 c bin-w-bin subsume rem 308 bins time: 0.01 s 1182.93/296.74 c subs with bin: 234 lits-rem: 58 v-fix: 0 time: 0.02 s 1182.93/296.79 c Subs w/ non-existent bins: 11 l-rem: 28 v-fix: 0 done: 17849 time: 0.06 s 1183.33/296.81 c Removed useless bin: 16 fixed: 0 props: 0.59M time: 0.01 s 1183.73/296.91 c lits-rem: 19 cl-subs: 170 v-elim: 18 v-fix: 0 time: 0.10 s 1186.92/297.76 c subs with bin: 169 lits-rem: 5106 v-fix: 0 time: 0.74 s 1192.10/299.06 c lits-rem: 14054 cl-subs: 4029 v-elim: 0 v-fix: 0 time: 1.28 s 1192.50/299.16 c vivif2 -- cl tried 60739 cl shrink 236 lits rem 240 time: 0.10 1194.90/299.77 c vivif2 -- cl tried 140776 cl shrink 22083 lits rem 159315 time: 0.61 1196.10/300.03 c asymm cl-useful: 0/442/60681 lits-rem:0 time: 0.25 1196.10/300.06 c calculated reachability. Time: 0.02 1196.10/300.06 c N dy 4043 806478 17831 60681 64172 140733 259719 1863808 7.67 no data 1196.50/300.13 c Finding binary XORs T: 0.07 s found: 8 1230.80/308.72 c N dy 4135 826752 17824 60681 64619 121619 259719 1395523 7.67 8.32 1263.51/316.96 c Finding binary XORs T: 0.07 s found: 8 1272.30/319.15 c N dy 4230 846783 17823 60668 64570 140925 259560 2290085 7.67 8.16 1304.24/327.16 c N dy 4329 866902 17823 60668 64625 122569 259560 1275466 7.68 8.14 1335.31/334.97 c N dy 4418 886994 17823 60668 64656 142460 259560 1872092 7.68 8.32 1372.01/344.15 c N dy 4519 907217 17821 60668 64701 122559 259560 1166710 7.68 8.19 1398.74/350.85 c N dy 4603 927227 17821 60668 64752 142321 259560 1696026 7.69 8.61 1430.26/358.71 c N dy 4697 947527 17821 60668 64775 162364 259560 2238924 7.69 8.14 1460.57/366.37 c N dy 4791 967539 17821 60668 64805 141204 259560 1600181 7.70 8.62 1492.08/374.23 c N dy 4880 987579 17820 60668 64845 160996 259560 2163562 7.70 8.21 1522.40/381.81 c N dy 4972 1008225 17820 60668 64918 139377 259560 1414570 7.71 8.28 1554.71/389.97 c N dy 5064 1028349 17820 60668 64964 159276 259560 2038381 7.72 8.21 1589.05/398.52 c N dy 5166 1048378 17820 60668 64993 136022 259560 1252492 7.72 8.13 1617.33/405.61 c N dy 5258 1068380 17820 60668 65014 155754 259560 1777831 7.73 9.38 1621.72/406.70 c F st 5275 1071875 17820 60668 65018 159223 259560 1867686 7.73 no data 1621.72/406.75 c Replacing 16 vars Replaced 671 lits Time: 0.03 s 1622.52/406.98 c Finding binary XORs T: 0.06 s found: 54 1648.44/413.49 c N dy 5338 1088526 17804 60462 64797 175496 258666 2466190 7.73 8.20 1683.14/422.19 c N dy 5446 1108530 17804 60462 64824 151388 258666 1604224 7.74 9.40 1717.84/430.88 c N dy 5560 1128686 17804 60462 64856 171308 258666 2255468 7.76 8.34 1754.55/440.06 c N dy 5651 1148834 17804 60462 64873 146164 258666 1340042 7.76 8.20 1760.57/441.53 c Finding binary XORs T: 0.06 s found: 53 1788.44/448.51 c N dy 5760 1168913 17769 60274 66794 165972 258061 1974386 7.77 8.48 1823.55/457.33 c N dy 5854 1189369 17766 60274 66843 186218 258060 2603294 7.78 8.20 1864.63/467.61 c Finding binary XORs T: 0.05 s found: 16 1865.03/467.74 c N dy 5975 1209412 17764 60242 67012 160116 257904 1683263 7.79 9.16 1865.47/467.87 c S st 5978 1209717 17764 60242 67012 160417 257904 1693086 7.79 6.93 1866.62/468.16 c S st 5978 1210218 17764 60242 67016 160913 257904 1706028 7.79 no data 1866.62/468.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1886.57/473.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 453 BRemL: 387 BRemN: 0 P: 160.6M T: 4.95 1886.57/473.17 c Replacing 125 vars Replaced 9601 lits Time: 0.04 s 1886.57/473.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1886.97/473.20 c bin-w-bin subsume rem 1177 bins time: 0.01 s 1886.97/473.23 c subs with bin: 271 lits-rem: 50 v-fix: 0 time: 0.03 s 1886.97/473.29 c Subs w/ non-existent bins: 13 l-rem: 57 v-fix: 0 done: 17641 time: 0.06 s 1886.97/473.30 c Removed useless bin: 23 fixed: 0 props: 0.55M time: 0.02 s 1887.80/473.41 c lits-rem: 0 cl-subs: 94 v-elim: 12 v-fix: 0 time: 0.11 s 1889.76/473.94 c subs with bin: 319 lits-rem: 6111 v-fix: 0 time: 0.44 s 1892.95/474.74 c lits-rem: 11608 cl-subs: 3883 v-elim: 0 v-fix: 0 time: 0.79 s 1893.35/474.85 c vivif2 -- cl tried 59710 cl shrink 183 lits rem 185 time: 0.10 1895.35/475.35 c vivif2 -- cl tried 156312 cl shrink 9979 lits rem 52276 time: 0.50 1896.19/475.59 c asymm cl-useful: 0/210/59675 lits-rem:0 time: 0.24 1896.59/475.62 c calculated reachability. Time: 0.02 1896.59/475.62 c N dy 5978 1210218 17629 59675 65525 156251 255772 1576709 7.79 no data 1934.84/485.20 c Finding binary XORs T: 0.07 s found: 5 1947.60/488.45 c N dy 6072 1230288 17622 59656 65717 176035 255634 2869826 7.79 10.52 1986.69/498.20 c N dy 6160 1250379 17622 59656 65750 195866 255634 3513586 7.79 8.28 2023.43/507.46 c N dy 6254 1270803 17621 59656 65793 166566 255634 1760880 7.80 8.36 2068.86/518.80 c N dy 6375 1290892 17620 59656 65844 186510 255634 2601363 7.81 8.36 2103.96/527.66 c Finding binary XORs T: 0.07 s found: 83 2117.93/531.12 c N dy 6477 1311072 17612 59415 66449 206273 254733 3454487 7.81 8.39 2153.43/540.07 c N dy 6566 1331098 17610 59415 66518 178638 254733 2103158 7.82 8.59 2195.31/550.53 c N dy 6659 1351230 17607 59415 66556 198557 254733 2881826 7.82 8.24 2236.79/560.91 c N dy 6755 1371253 17606 59415 66591 170133 254733 1698828 7.82 12.20 2270.70/569.47 c N dy 6832 1391435 17606 59415 66633 190097 254733 2308100 7.82 8.32 2315.38/580.68 c N dy 6942 1411690 17605 59415 66671 210193 254733 3092853 7.83 8.24 2353.27/590.15 c N dy 7042 1432782 17605 59415 66707 181919 254733 1878883 7.83 8.31 2388.03/598.82 c N dy 7139 1452823 17605 59415 66727 201778 254733 2503832 7.83 8.30 2432.65/610.00 c N dy 7256 1473297 17605 59415 66739 222070 254733 3245390 7.84 8.32 2470.54/619.59 c N dy 7360 1493302 17605 59415 66763 190951 254733 2075313 7.85 9.00 2494.47/625.50 c Finding binary XORs T: 0.06 s found: 50 2511.63/629.81 c N dy 7444 1513360 17605 59210 66217 210659 253816 2705869 7.85 8.31 2555.50/640.81 c N dy 7554 1533381 17605 59210 66249 230538 253816 3451113 7.85 8.27 2592.60/650.11 c N dy 7637 1553496 17605 59210 66267 198821 253816 2128316 7.85 8.28 2631.69/659.94 c N dy 7731 1574129 17605 59210 66277 219272 253816 2758093 7.85 8.29 2683.94/673.02 c N dy 7859 1597674 17605 59210 66294 190167 253816 1777523 7.86 8.43 2727.42/683.92 c N dy 7975 1617742 17605 59210 66322 210095 253816 2516580 7.87 10.56 2777.68/696.53 c N dy 8101 1637772 17605 59210 66339 230035 253816 3368104 7.88 8.35 2823.15/707.97 c N dy 8191 1657874 17605 59210 66347 196251 253816 1854050 7.88 8.35 2868.22/719.25 c N dy 8305 1677948 17605 59210 66375 216201 253816 2648658 7.89 8.64 2896.59/726.34 c Finding binary XORs T: 0.06 s found: 64 2896.59/726.40 c Replacing 202 vars Replaced 12660 lits Time: 0.06 s 2918.10/731.72 c N dy 8440 1697954 17398 58761 66435 235754 251834 3421461 7.90 8.37 2950.39/739.87 c S st 8529 1710218 17395 58761 66492 247950 251834 3955788 7.91 no data 2951.99/740.23 c S st 8529 1710724 17395 58761 66497 248449 251834 3963929 7.91 no data 2951.99/740.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2974.32/745.89 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 18 Bins: 174 BRemL: 197 BRemN: 0 P: 200.0M T: 5.63 2974.72/745.98 c Replacing 18 vars Replaced 4107 lits Time: 0.09 s 2975.12/746.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2975.12/746.01 c bin-w-bin subsume rem 536 bins time: 0.01 s 2975.12/746.03 c subs with bin: 187 lits-rem: 73 v-fix: 0 time: 0.02 s 2975.12/746.09 c Subs w/ non-existent bins: 20 l-rem: 55 v-fix: 0 done: 17372 time: 0.06 s 2975.12/746.11 c Removed useless bin: 24 fixed: 0 props: 0.62M time: 0.01 s 2975.96/746.25 c lits-rem: 5 cl-subs: 129 v-elim: 24 v-fix: 0 time: 0.14 s 2983.10/748.00 c subs with bin: 227 lits-rem: 8367 v-fix: 0 time: 1.55 s 2996.67/751.42 c lits-rem: 20424 cl-subs: 4589 v-elim: 0 v-fix: 0 time: 3.40 s 2997.06/751.52 c vivif2 -- cl tried 58373 cl shrink 139 lits rem 140 time: 0.10 3001.45/752.68 c vivif2 -- cl tried 241368 cl shrink 32317 lits rem 273553 time: 1.16 3002.29/752.89 c asymm cl-useful: 0/186/58330 lits-rem:0 time: 0.21 3002.64/752.93 c calculated reachability. Time: 0.02 3002.64/752.93 c N dy 8529 1710724 17348 58330 65621 241292 250164 3374452 7.91 no data 3003.04/753.01 c Finding binary XORs T: 0.08 s found: 12 3055.30/766.17 c N dy 8627 1730904 17341 58330 66047 204703 250164 2109768 7.91 8.35 3088.40/774.48 c Finding binary XORs T: 0.08 s found: 45 3101.97/777.83 c N dy 8717 1751021 17340 58117 65980 224641 249239 2917596 7.91 8.45 3156.60/791.51 c N dy 8835 1771127 17340 58117 66016 244592 249239 3820728 7.92 8.34 3206.47/804.05 c N dy 8929 1791159 17336 58117 66327 209056 249239 2096791 7.92 8.35 3255.94/816.44 c N dy 9034 1811163 17332 58117 66390 228897 249239 3076811 7.93 12.30 3310.17/830.09 c N dy 9166 1831328 17330 58117 66412 248925 249239 3928956 7.94 8.38 3362.83/843.29 c N dy 9266 1851497 17329 58117 66440 212767 249239 2112961 7.94 8.43 3410.69/855.22 c N dy 9345 1871762 17329 58117 66452 232852 249239 2890657 7.94 8.71 3417.47/856.98 c Finding binary XORs T: 0.08 s found: 63 3462.99/868.33 c N dy 9444 1891765 17327 57886 66173 252670 248256 3706172 7.95 11.52 3520.03/882.63 c N dy 9585 1911791 17327 57886 66208 214893 248256 2081427 7.96 25.94 3567.90/894.61 c N dy 9701 1931877 17327 57886 66231 234840 248256 2852639 7.97 10.54 3615.72/906.62 c N dy 9813 1951965 17327 57886 66253 254776 248256 3563299 7.98 10.59 3665.57/919.12 c N dy 9907 1972081 17327 57886 66278 274750 248256 4273882 7.98 8.47 3712.25/930.85 c N dy 10019 1992483 17327 57886 66293 236379 248256 2657095 7.98 8.44 3762.50/943.41 c N dy 10148 2012505 17327 57886 66317 256256 248256 3443387 8.00 8.43 3816.35/956.98 c N dy 10270 2032541 17326 57886 66335 276120 248256 4191354 8.00 8.45 3870.63/970.52 c N dy 10380 2052640 17326 57886 66351 236437 248256 2575618 8.01 9.26 3921.26/983.28 c N dy 10496 2072880 17326 57886 66364 256548 248256 3383715 8.01 8.46 3963.18/993.73 c N dy 10570 2093091 17326 57886 66378 276559 248256 4000501 8.01 8.45 4018.57/1007.60 c N dy 10693 2113111 17326 57886 66395 235929 248256 2355372 8.02 10.91 4068.82/1020.25 c N dy 10785 2133153 17326 57886 66402 255827 248256 3140779 8.03 8.46 4117.09/1032.36 c N dy 10868 2153281 17326 57886 66413 275748 248256 3834658 8.03 8.51 4176.54/1047.25 c N dy 10963 2173313 17326 57886 66441 295644 248256 4609570 8.03 8.90 4222.40/1058.79 c Finding binary XORs T: 0.06 s found: 39 4231.17/1060.97 c N dy 11077 2194483 17326 57872 67148 254931 248199 2932250 8.04 8.51 4274.70/1071.87 c S st 11159 2210725 17324 57872 67202 271067 248199 3635486 8.04 no data 4276.25/1072.26 c S st 11159 2211226 17324 57872 67209 271559 248199 3642208 8.04 no data 4276.65/1072.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4298.98/1077.98 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 38 BRemL: 66 BRemN: 0 P: 200.2M T: 5.69 4299.39/1078.08 c Replacing 165 vars Replaced 10160 lits Time: 0.09 s 4299.80/1078.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4299.80/1078.11 c bin-w-bin subsume rem 458 bins time: 0.01 s 4299.80/1078.13 c subs with bin: 211 lits-rem: 78 v-fix: 0 time: 0.02 s 4299.80/1078.20 c Subs w/ non-existent bins: 17 l-rem: 51 v-fix: 0 done: 17158 time: 0.06 s 4300.20/1078.21 c Removed useless bin: 24 fixed: 0 props: 0.63M time: 0.01 s 4300.63/1078.36 c lits-rem: 0 cl-subs: 100 v-elim: 9 v-fix: 0 time: 0.15 s 4306.57/1079.81 c subs with bin: 262 lits-rem: 7379 v-fix: 0 time: 1.27 s 4318.93/1082.93 c lits-rem: 17779 cl-subs: 3934 v-elim: 0 v-fix: 0 time: 3.11 s 4319.33/1083.03 c vivif2 -- cl tried 57236 cl shrink 108 lits rem 111 time: 0.10 4323.71/1084.13 c vivif2 -- cl tried 264824 cl shrink 21770 lits rem 167029 time: 1.10 4324.51/1084.33 c asymm cl-useful: 0/139/57188 lits-rem:0 time: 0.20 4324.51/1084.36 c calculated reachability. Time: 0.02 4324.51/1084.36 c N dy 11159 2211226 17149 57188 66266 264742 245474 3200308 8.04 no data 4338.08/1087.72 c Finding binary XORs T: 0.08 s found: 20 4389.12/1100.55 c N dy 11268 2231281 17144 57177 66472 284662 245396 4487811 8.05 8.48 4460.93/1118.58 c N dy 11358 2251765 17143 57177 66493 240607 245396 2526743 8.05 8.50 4519.58/1133.27 c N dy 11440 2271795 17141 57177 66529 260459 245396 3766449 8.05 8.54 4571.43/1146.25 c N dy 11534 2291855 17140 57177 66550 280363 245396 4560544 8.05 15.52 4620.92/1158.63 c Finding binary XORs T: 0.08 s found: 55 4635.64/1162.34 c N dy 11624 2312063 17139 56965 66885 300036 244523 5408795 8.05 8.48 4691.12/1176.28 c N dy 11733 2332081 17135 56965 66918 257162 244522 2759572 8.06 9.97 4752.55/1191.63 c N dy 11844 2352199 17134 56965 66952 277163 244521 3731695 8.06 8.50
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
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-3367238-1305389720/watcher-3367238-1305389720 -o /tmp/evaluation-result-3367238-1305389720/solver-3367238-1305389720 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367238-1305389720.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=51168 CPUtime=0.01 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 406 0 0 0 1 0 0 0 21 0 4 0 650572409 52396032 346 33554432000 4194304 4580107 140735293842256 18446744073709551615 47080490145714 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27090/statm: 12792 346 299 95 0 7774 0 [pid=27090/tid=27091] ppid=27088 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650572409 52396032 346 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650572409 52396032 346 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 650572409 52396032 346 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 4 0 0 0 [startup+0.092197 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=208708 CPUtime=0.19 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 1925 0 0 0 19 0 0 0 22 0 4 0 650572409 213716992 1842 33554432000 4194304 4580107 140735293842256 18446744073709551615 4310274 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 52177 1848 336 95 0 47159 0 [pid=27090/tid=27091] ppid=27088 vsize=208708 CPUtime=0.04 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 170 0 0 0 4 0 0 0 23 0 4 0 650572409 213716992 1850 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640859451 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=208708 CPUtime=0.02 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 454 0 0 0 2 0 0 0 23 0 4 0 650572409 213716992 1858 33554432000 4194304 4580107 140735293842256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=208708 CPUtime=0.07 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 454 0 0 0 7 0 0 0 23 0 4 0 650572409 213716992 1859 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 208708 [startup+0.101446 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=286080 CPUtime=0.2 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 4190 0 0 0 20 0 0 0 22 0 4 0 650572409 292945920 3841 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640520737 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 71520 3864 337 95 0 66502 0 [pid=27090/tid=27091] ppid=27088 vsize=286080 CPUtime=0.05 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) S 27088 27090 27049 0 -1 4202560 580 0 0 0 5 0 0 0 18 0 4 0 650572409 292945920 3864 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640964590 0 0 4096 2 18446604447246210944 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=286080 CPUtime=0.02 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) S 27088 27090 27049 0 -1 4202560 885 0 0 0 2 0 0 0 23 0 4 0 650572409 292945920 3870 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640964590 0 0 4096 2 18446604447246210944 0 0 -1 4 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=286080 CPUtime=0.08 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) S 27088 27090 27049 0 -1 4202560 1203 0 0 0 8 0 0 0 18 0 4 0 650572409 292945920 3886 33554432000 4194304 4580107 140735293842256 18446744073709551615 253640964590 0 0 4096 2 18446604447246210944 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 286080 [startup+1.82785 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=364404 CPUtime=6.74 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 38921 0 0 0 668 6 0 0 18 0 4 0 650572409 373149696 33857 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292956 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 91101 33857 360 95 0 86083 0 [pid=27090/tid=27091] ppid=27088 vsize=364404 CPUtime=1.77 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10428 0 0 0 177 0 0 0 20 0 4 0 650572409 373149696 33857 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=364404 CPUtime=1.58 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9081 0 0 0 157 1 0 0 20 0 4 0 650572409 373149696 33857 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=364404 CPUtime=1.7 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10537 0 0 0 168 2 0 0 19 0 4 0 650572409 373149696 33857 33554432000 4194304 4580107 140735293842256 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.74 Current children cumulated vsize (KiB) 364404 [startup+1.90084 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=364404 CPUtime=7.03 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 38940 0 0 0 697 6 0 0 19 0 4 0 650572409 373149696 33876 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 91101 33876 360 95 0 86083 0 [pid=27090/tid=27091] ppid=27088 vsize=364404 CPUtime=1.84 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10428 0 0 0 184 0 0 0 20 0 4 0 650572409 373149696 33876 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=364404 CPUtime=1.65 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9081 0 0 0 164 1 0 0 20 0 4 0 650572409 373149696 33876 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=364404 CPUtime=1.78 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10556 0 0 0 176 2 0 0 19 0 4 0 650572409 373149696 33876 33554432000 4194304 4580107 140735293842256 18446744073709551615 4322884 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.03 Current children cumulated vsize (KiB) 364404 [startup+2.00082 s] /proc/loadavg: 2.54 3.00 3.35 5/361 27090 /proc/meminfo: memFree=24079036/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=364404 CPUtime=7.43 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 38952 0 0 0 737 6 0 0 19 0 4 0 650572409 373149696 33888 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 91101 33888 360 95 0 86083 0 [pid=27090/tid=27091] ppid=27088 vsize=364404 CPUtime=1.94 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10428 0 0 0 194 0 0 0 20 0 4 0 650572409 373149696 33888 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=364404 CPUtime=1.75 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9081 0 0 0 174 1 0 0 20 0 4 0 650572409 373149696 33888 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=364404 CPUtime=1.88 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10568 0 0 0 186 2 0 0 19 0 4 0 650572409 373149696 33888 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.43 Current children cumulated vsize (KiB) 364404 [startup+3.10063 s] /proc/loadavg: 2.54 3.00 3.35 9/365 27094 /proc/meminfo: memFree=23921532/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=367924 CPUtime=11.82 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 40033 0 0 0 1176 6 0 0 21 0 4 0 650572409 376754176 34969 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 91981 34969 361 95 0 86963 0 [pid=27090/tid=27091] ppid=27088 vsize=367924 CPUtime=3.04 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10428 0 0 0 304 0 0 0 25 0 4 0 650572409 376754176 34969 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=367924 CPUtime=2.85 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9081 0 0 0 284 1 0 0 24 0 4 0 650572409 376754176 34969 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=367924 CPUtime=2.96 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 11649 0 0 0 294 2 0 0 21 0 4 0 650572409 376754176 34969 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 11.82 Current children cumulated vsize (KiB) 367924 [startup+6.30104 s] /proc/loadavg: 2.98 3.08 3.38 9/365 27095 /proc/meminfo: memFree=23906732/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=367924 CPUtime=24.59 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 40564 0 0 0 2452 7 0 0 25 0 4 0 650572409 376754176 35500 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 91981 35500 361 95 0 86963 0 [pid=27090/tid=27091] ppid=27088 vsize=367924 CPUtime=6.24 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 10428 0 0 0 624 0 0 0 25 0 4 0 650572409 376754176 35500 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=367924 CPUtime=6.06 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9081 0 0 0 605 1 0 0 25 0 4 0 650572409 376754176 35500 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=367924 CPUtime=6.12 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 12180 0 0 0 610 2 0 0 25 0 4 0 650572409 376754176 35500 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 24.59 Current children cumulated vsize (KiB) 367924 [startup+12.7009 s] /proc/loadavg: 3.38 3.17 3.40 9/365 27095 /proc/meminfo: memFree=23874836/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=379688 CPUtime=50.11 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 45121 0 0 0 5003 8 0 0 25 0 4 0 650572409 388800512 37858 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 94922 37858 373 95 0 89904 0 [pid=27090/tid=27091] ppid=27088 vsize=379688 CPUtime=12.65 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 12576 0 0 0 1264 1 0 0 25 0 4 0 650572409 388800512 37858 33554432000 4194304 4580107 140735293842256 18446744073709551615 4515243 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=379688 CPUtime=12.46 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 9114 0 0 0 1245 1 0 0 25 0 4 0 650572409 388800512 37858 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=379688 CPUtime=12.45 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 14556 0 0 0 1242 3 0 0 25 0 4 0 650572409 388800512 37858 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.11 Current children cumulated vsize (KiB) 379688 [startup+25.5006 s] /proc/loadavg: 4.40 3.40 3.47 9/365 27095 /proc/meminfo: memFree=23616972/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=708564 CPUtime=101.16 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 136996 0 0 0 10093 23 0 0 25 0 4 0 650572409 725569536 120321 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 177141 120321 380 95 0 172123 0 [pid=27090/tid=27091] ppid=27088 vsize=708564 CPUtime=25.44 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 39494 0 0 0 2539 5 0 0 25 0 4 0 650572409 725569536 120321 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=708564 CPUtime=25.25 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 17707 0 0 0 2523 2 0 0 25 0 4 0 650572409 725569536 120321 33554432000 4194304 4580107 140735293842256 18446744073709551615 4330002 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=708564 CPUtime=25.12 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 49467 0 0 0 2502 10 0 0 25 0 4 0 650572409 725569536 120321 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.16 Current children cumulated vsize (KiB) 708564 [startup+51.1009 s] /proc/loadavg: 5.70 3.79 3.60 9/365 27096 /proc/meminfo: memFree=22880468/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=1476208 CPUtime=203.25 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 306911 0 0 0 20273 52 0 0 25 0 4 0 650572409 1511636992 275702 33554432000 4194304 4580107 140735293842256 18446744073709551615 4324067 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 369052 275702 380 95 0 364034 0 [pid=27090/tid=27091] ppid=27088 vsize=1476208 CPUtime=51.03 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 72869 0 0 0 5092 11 0 0 25 0 4 0 650572409 1511636992 275702 33554432000 4194304 4580107 140735293842256 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=1476208 CPUtime=50.85 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 65755 0 0 0 5076 9 0 0 25 0 4 0 650572409 1511636992 275702 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=1476208 CPUtime=50.42 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 98144 0 0 0 5025 17 0 0 25 0 4 0 650572409 1511636992 275702 33554432000 4194304 4580107 140735293842256 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.25 Current children cumulated vsize (KiB) 1476208 [startup+102.301 s] /proc/loadavg: 7.14 4.47 3.84 9/365 27097 /proc/meminfo: memFree=22680676/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=1685664 CPUtime=407.49 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 379404 0 0 0 40679 70 0 0 25 0 4 0 650572409 1726119936 320075 33554432000 4194304 4580107 140735293842256 18446744073709551615 4502102 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 421416 320075 380 95 0 416398 0 [pid=27090/tid=27091] ppid=27088 vsize=1685664 CPUtime=102.22 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 86208 0 0 0 10207 15 0 0 25 0 4 0 650572409 1726119936 320075 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=1685664 CPUtime=102.05 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 77407 0 0 0 10192 13 0 0 25 0 4 0 650572409 1726119936 320075 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=1685664 CPUtime=101.06 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 130935 0 0 0 10082 24 0 0 25 0 4 0 650572409 1726119936 320075 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 407.49 Current children cumulated vsize (KiB) 1685664 [startup+162.301 s] ################ # More data... # ################ [pid=27090] ppid=27088 vsize=1890824 CPUtime=2800.81 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 789714 0 0 0 279887 194 0 0 25 0 4 0 650572409 1936203776 385846 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 472706 385846 388 95 0 467688 0 [pid=27090/tid=27091] ppid=27088 vsize=1890824 CPUtime=696.99 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 194127 0 0 0 69652 47 0 0 25 0 4 0 650572409 1936203776 385846 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=1890824 CPUtime=702.06 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 174298 0 0 0 70163 43 0 0 25 0 4 0 650572409 1936203776 385846 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=1890824 CPUtime=699.58 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 231641 0 0 0 69905 53 0 0 25 0 4 0 650572409 1936203776 385846 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2800.81 Current children cumulated vsize (KiB) 1890824 [startup+762.301 s] /proc/loadavg: 8.12 7.70 6.00 9/365 27115 /proc/meminfo: memFree=22204204/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2079124 CPUtime=3040.15 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 822676 0 0 0 303810 205 0 0 25 0 4 0 650572409 2129022976 395887 33554432000 4194304 4580107 140735293842256 18446744073709551615 4316421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 519781 395887 382 95 0 514763 0 [pid=27090/tid=27091] ppid=27088 vsize=2079124 CPUtime=756.34 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 201237 0 0 0 75584 50 0 0 25 0 4 0 650572409 2129022976 395887 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2079124 CPUtime=762.06 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 181157 0 0 0 76160 46 0 0 25 0 4 0 650572409 2129022976 395887 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2079124 CPUtime=759.58 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 237839 0 0 0 75903 55 0 0 25 0 4 0 650572409 2129022976 395887 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3040.15 Current children cumulated vsize (KiB) 2079124 [startup+822.301 s] /proc/loadavg: 8.08 7.77 6.12 9/365 27116 /proc/meminfo: memFree=22136956/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2152796 CPUtime=3279.46 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 858560 0 0 0 327731 215 0 0 25 0 4 0 650572409 2204463104 416759 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 538199 416759 382 95 0 533181 0 [pid=27090/tid=27091] ppid=27088 vsize=2152796 CPUtime=815.66 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 206106 0 0 0 81515 51 0 0 25 0 4 0 650572409 2204463104 416759 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2152796 CPUtime=822.06 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 194816 0 0 0 82156 50 0 0 25 0 4 0 650572409 2204463104 416759 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2152796 CPUtime=819.58 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 247775 0 0 0 81899 59 0 0 25 0 4 0 650572409 2204463104 416759 33554432000 4194304 4580107 140735293842256 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3279.46 Current children cumulated vsize (KiB) 2152796 [startup+882.301 s] /proc/loadavg: 8.20 7.85 6.25 9/365 27118 /proc/meminfo: memFree=22207120/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=1983536 CPUtime=3518.79 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 888008 0 0 0 351651 228 0 0 25 0 4 0 650572409 2031140864 401196 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 495884 401196 382 95 0 490866 0 [pid=27090/tid=27091] ppid=27088 vsize=1983536 CPUtime=874.99 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 213498 0 0 0 87445 54 0 0 25 0 4 0 650572409 2031140864 401196 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=1983536 CPUtime=882.07 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 204663 0 0 0 88152 55 0 0 25 0 4 0 650572409 2031140864 401196 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=1983536 CPUtime=879.56 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 255369 0 0 0 87895 61 0 0 25 0 4 0 650572409 2031140864 401196 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3518.79 Current children cumulated vsize (KiB) 1983536 [startup+942.301 s] /proc/loadavg: 8.20 7.91 6.37 9/365 27120 /proc/meminfo: memFree=22177412/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2006288 CPUtime=3758.11 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 913005 0 0 0 375574 237 0 0 25 0 4 0 650572409 2054438912 403220 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 501572 403220 381 95 0 496554 0 [pid=27090/tid=27091] ppid=27088 vsize=2006288 CPUtime=934.32 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 223563 0 0 0 93374 58 0 0 25 0 4 0 650572409 2054438912 403220 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2006288 CPUtime=942.07 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 206744 0 0 0 94151 56 0 0 25 0 4 0 650572409 2054438912 403220 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2006288 CPUtime=939.55 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 261085 0 0 0 93892 63 0 0 25 0 4 0 650572409 2054438912 403220 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3758.11 Current children cumulated vsize (KiB) 2006288 [startup+1002.3 s] /proc/loadavg: 8.19 7.95 6.48 9/365 27121 /proc/meminfo: memFree=22130620/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2030752 CPUtime=3997.45 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 943276 0 0 0 399497 248 0 0 25 0 4 0 650572409 2079490048 414937 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 507688 414937 381 95 0 502670 0 [pid=27090/tid=27091] ppid=27088 vsize=2030752 CPUtime=993.66 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 230705 0 0 0 99305 61 0 0 25 0 4 0 650572409 2079490048 414937 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2030752 CPUtime=1002.07 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 217065 0 0 0 100148 59 0 0 25 0 4 0 650572409 2079490048 414937 33554432000 4194304 4580107 140735293842256 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2030752 CPUtime=999.54 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 266737 0 0 0 99889 65 0 0 25 0 4 0 650572409 2079490048 414937 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3997.45 Current children cumulated vsize (KiB) 2030752 [startup+1062.3 s] /proc/loadavg: 8.25 8.01 6.59 9/365 27123 /proc/meminfo: memFree=22073420/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2189404 CPUtime=4236.76 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 980090 0 0 0 423417 259 0 0 25 0 4 0 650572409 2241949696 426094 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 547351 426094 381 95 0 542333 0 [pid=27090/tid=27091] ppid=27088 vsize=2189404 CPUtime=1052.99 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 237969 0 0 0 105235 64 0 0 25 0 4 0 650572409 2241949696 426094 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2189404 CPUtime=1062.07 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 224304 0 0 0 106146 61 0 0 25 0 4 0 650572409 2241949696 426094 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2189404 CPUtime=1059.53 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 278709 0 0 0 105885 68 0 0 25 0 4 0 650572409 2241949696 426094 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4236.76 Current children cumulated vsize (KiB) 2189404 [startup+1122.3 s] /proc/loadavg: 8.14 8.02 6.68 9/365 27124 /proc/meminfo: memFree=22023648/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2157388 CPUtime=4476.14 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 1018305 0 0 0 447343 271 0 0 25 0 4 0 650572409 2209165312 437458 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 539347 437458 380 95 0 534329 0 [pid=27090/tid=27091] ppid=27088 vsize=2157388 CPUtime=1112.33 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 250929 0 0 0 111166 67 0 0 25 0 4 0 650572409 2209165312 437458 33554432000 4194304 4580107 140735293842256 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2157388 CPUtime=1122.09 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 231775 0 0 0 112145 64 0 0 25 0 4 0 650572409 2209165312 437458 33554432000 4194304 4580107 140735293842256 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2157388 CPUtime=1119.53 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 286169 0 0 0 111883 70 0 0 25 0 4 0 650572409 2209165312 437458 33554432000 4194304 4580107 140735293842256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4476.14 Current children cumulated vsize (KiB) 2157388 [startup+1182.3 s] /proc/loadavg: 8.11 8.03 6.76 9/365 27126 /proc/meminfo: memFree=21934456/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2322172 CPUtime=4715.42 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 1054878 0 0 0 471259 283 0 0 25 0 4 0 650572409 2377904128 461233 33554432000 4194304 4580107 140735293842256 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 580543 461233 380 95 0 575525 0 [pid=27090/tid=27091] ppid=27088 vsize=2322172 CPUtime=1171.65 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 258522 0 0 0 117096 69 0 0 25 0 4 0 650572409 2377904128 461233 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2322172 CPUtime=1182.08 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 246293 0 0 0 118140 68 0 0 25 0 4 0 650572409 2377904128 461233 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2322172 CPUtime=1179.51 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 293029 0 0 0 117878 73 0 0 25 0 4 0 650572409 2377904128 461233 33554432000 4194304 4580107 140735293842256 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4715.42 Current children cumulated vsize (KiB) 2322172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.08 8.03 6.79 10/365 27127 /proc/meminfo: memFree=21918192/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2351468 CPUtime=4800.42 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 1063493 0 0 0 479756 286 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 587867 462117 380 95 0 582849 0 [pid=27090/tid=27091] ppid=27088 vsize=2351468 CPUtime=1192.72 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 259795 0 0 0 119202 70 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2351468 CPUtime=1203.39 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 247689 0 0 0 120270 69 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2351468 CPUtime=1200.82 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 297663 0 0 0 120008 74 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.42 Current children cumulated vsize (KiB) 2351468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.6 s] /proc/loadavg: 8.08 8.03 6.79 10/365 27127 /proc/meminfo: memFree=21918192/32951124 swapFree=56449224/67111528 [pid=27090] ppid=27088 vsize=2351468 CPUtime=4800.42 cores=0,2,4,6 /proc/27090/stat : 27090 (strangenight2-m) R 27088 27090 27049 0 -1 4202496 1063493 0 0 0 479756 286 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27090/statm: 587867 462117 380 95 0 582849 0 [pid=27090/tid=27091] ppid=27088 vsize=2351468 CPUtime=1192.72 cores=0,2,4,6 /proc/27090/task/27091/stat : 27091 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 259795 0 0 0 119202 70 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27090/tid=27092] ppid=27088 vsize=2351468 CPUtime=1203.39 cores=0,2,4,6 /proc/27090/task/27092/stat : 27092 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 247689 0 0 0 120270 69 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27090/tid=27093] ppid=27088 vsize=2351468 CPUtime=1200.82 cores=0,2,4,6 /proc/27090/task/27093/stat : 27093 (strangenight2-m) R 27088 27090 27049 0 -1 4202560 297663 0 0 0 120008 74 0 0 25 0 4 0 650572409 2407903232 462117 33554432000 4194304 4580107 140735293842256 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.42 Current children cumulated vsize (KiB) 2351468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.69 CPU time (s): 4800.52 CPU user time (s): 4797.59 CPU system time (s): 2.93555 CPU usage (%): 398.817 Max. virtual memory (cumulated for all children) (KiB): 2450576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.59 system time used= 2.93555 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1063494 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= 3930 involuntary context switches= 22365 runsolver used 3.83442 second user time and 9.52255 second system time The end
Begin job on node106 at 2011-05-14 18:15:20 IDJOB=3367238 IDBENCH=70781 IDSOLVER=1844 FILE ID=node106/3367238-1305389720 RUNJOBID= node106-1305389720-27067 PBS_JOBID= 13324446 Free space on /tmp= 73352 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367238-1305389720/watcher-3367238-1305389720 -o /tmp/evaluation-result-3367238-1305389720/solver-3367238-1305389720 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367238-1305389720.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0 RANDOM SEED=1732767719 node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5226.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24080076 kB Buffers: 258704 kB Cached: 5631736 kB SwapCached: 27544 kB Active: 710004 kB Inactive: 7932744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24080076 kB SwapTotal: 67111528 kB SwapFree: 56449224 kB Dirty: 14900 kB Writeback: 0 kB AnonPages: 2733552 kB Mapped: 10084 kB Slab: 114108 kB PageTables: 47740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 75043172 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73348 MiB End job on node106 at 2011-05-14 18:35:26