| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1299.92 | 1300.02 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf |
| MD5SUM | 20b02cb2651a47b9d104f0bf45924440 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.89356 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| 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 static 0.00/0.00 HOME/instance-3189573-1302705444.cnf 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % | 0.00/0.06 c | 0 | 41691 126703 | -- 0 -- -- | -- | -309/703 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 9742 #clauses: 41691 #literals: 126703 0.00/0.06 c CPU time: 0.06399 s 0.00/0.06 c ============================================================================== 0.08/0.12 c 0.08/0.12 c seed = 0, numatom = 9742, numclause = 41691, numliterals = 126703 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.12 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.23 c | 2 | 0.1 | 0 | 503 | 201 | 1 | 238698 | 5368 || 2 | 14112 | 1071/ 1071 | 295 | 0 | 0.08/0.31 c | 4 | 0.1 | 0 | 682 | 300 | 2 | 538990 | 10366 || 4 | 25073 | 990/ 990 | 651 | 0 | 0.08/0.40 c | 6 | 0.1 | 0 | 867 | 196 | 3 | 887533 | 16197 || 6 | 35716 | 968/ 968 | 1016 | 0 | 0.08/0.50 c | 7 | 0.1 | 0 | 1070 | 396 | 4 | 1296995 | 19925 || 7 | 44292 | 876/ 876 | 1471 | 0 | 0.08/0.63 c | 11 | 0.1 | 0 | 1256 | 296 | 5 | 1761277 | 27706 || 11 | 61717 | 876/ 876 | 2090 | 0 | 0.08/0.76 c | 14 | 0.1 | 0 | 1479 | 495 | 6 | 2249872 | 36069 || 14 | 80501 | 876/ 876 | 2887 | 0 | 0.08/0.90 c | 15 | 0.2 | 0 | 1706 | 995 | 7 | 2810900 | 41910 || 15 | 96045 | 730/ 730 | 3788 | 0 | 0.98/1.06 c | 16 | 0.1 | 0 | 1877 | 93 | 8 | 3419893 | 47707 || 16 | 104606 | 730/ 730 | 3936 | 0 | 1.18/1.24 c | 21 | 0.2 | 0 | 2029 | 84 | 9 | 4090170 | 59766 || 21 | 129228 | 730/ 730 | 4798 | 0 | 1.38/1.42 c | 25 | 0.2 | 0 | 2229 | 182 | 10 | 4782812 | 69916 || 25 | 151702 | 730/ 730 | 5744 | 0 | 1.58/1.63 c | 29 | 0.2 | 0 | 2442 | 583 | 11 | 5550078 | 80435 || 29 | 174488 | 730/ 730 | 6678 | 0 | 1.78/1.83 c | 30 | 0.2 | 0 | 2658 | 382 | 12 | 6352076 | 87191 || 30 | 187899 | 702/ 702 | 7572 | 0 | 1.98/2.06 c | 31 | 0.2 | 0 | 2801 | 2083 | 13 | 7188002 | 94000 || 31 | 208644 | 618/ 618 | 9331 | 0 | 2.28/2.30 c | 31 | 0.2 | 0 | 3039 | 1482 | 14 | 8097537 | 98103 || 31 | 211585 | 618/ 618 | 9353 | 0 | 2.48/2.56 c | 38 | 0.3 | 0 | 3106 | 378 | 15 | 9050356 | 112979 || 38 | 244886 | 618/ 618 | 10762 | 0 | 2.78/2.84 c | 44 | 0.3 | 0 | 3244 | 268 | 16 | 10072516 | 127018 || 44 | 273803 | 618/ 618 | 11765 | 0 | 3.08/3.12 c | 46 | 0.3 | 0 | 3438 | 265 | 17 | 11111356 | 136793 || 46 | 296706 | 618/ 618 | 13109 | 0 | 3.38/3.43 c | 53 | 0.3 | 0 | 3613 | 257 | 18 | 12220424 | 152356 || 53 | 328098 | 618/ 618 | 14517 | 0 | 3.68/3.76 c | 59 | 0.3 | 0 | 3797 | 145 | 19 | 13385448 | 169874 || 59 | 362276 | 618/ 618 | 15510 | 0 | 3.98/4.08 c | 61 | 0.3 | 0 | 4073 | 742 | 20 | 14572990 | 180679 || 61 | 387545 | 618/ 618 | 16890 | 0 | 4.38/4.42 c | 62 | 0.3 | 0 | 4275 | 841 | 21 | 15790651 | 190455 || 62 | 413245 | 604/ 604 | 18648 | 0 | 4.78/4.80 c | 63 | 0.4 | 0 | 4348 | 3444 | 22 | 17075986 | 199879 || 63 | 442634 | 454/ 454 | 22029 | 0 | 5.18/5.22 c | 63 | 0.4 | 0 | 4669 | 1345 | 23 | 18430274 | 207253 || 63 | 455282 | 454/ 454 | 22099 | 0 | 5.58/5.66 c | 67 | 0.4 | 0 | 4710 | 39 | 24 | 19895410 | 218237 || 67 | 473030 | 454/ 454 | 22691 | 0 | 5.98/6.09 c | 76 | 0.4 | 0 | 4629 | 22 | 25 | 21349722 | 241234 || 76 | 522007 | 454/ 454 | 24477 | 0 | 6.48/6.51 c | 81 | 0.4 | 0 | 4836 | 118 | 26 | 22823381 | 256388 || 81 | 556155 | 454/ 454 | 26285 | 0 | 6.87/6.96 c | 90 | 0.5 | 0 | 5063 | 191 | 27 | 24370417 | 279156 || 90 | 606102 | 454/ 454 | 27992 | 0 | 7.37/7.41 c | 94 | 0.4 | 0 | 5365 | 1088 | 28 | 25977716 | 294943 || 94 | 643047 | 454/ 454 | 31247 | 0 | 7.77/7.87 c | 96 | 0.5 | 0 | 5681 | 86 | 29 | 27620210 | 307128 || 96 | 665658 | 454/ 454 | 31589 | 0 | 8.27/8.38 c | 107 | 0.5 | 0 | 5908 | 257 | 30 | 29354548 | 333049 || 107 | 722523 | 454/ 454 | 33768 | 0 | 8.87/8.90 c | 113 | 0.5 | 0 | 6094 | 246 | 31 | 31121370 | 352329 || 113 | 762509 | 454/ 454 | 35749 | 0 | 9.37/9.44 c | 123 | 0.5 | 0 | 6199 | 29 | 32 | 32932076 | 379129 || 123 | 821627 | 454/ 454 | 38014 | 0 | 9.88/9.96 c | 125 | 0.5 | 0 | 6469 | 124 | 33 | 34728499 | 393935 || 125 | 859250 | 454/ 454 | 40654 | 0 | 10.47/10.53 c | 126 | 0.6 | 0 | 6585 | 3926 | 34 | 36586539 | 406429 || 126 | 895432 | 446/ 446 | 44067 | 0 | 11.08/11.12 c | 126 | 0.6 | 0 | 6834 | 3029 | 35 | 38630587 | 414978 || 126 | 905354 | 446/ 446 | 44122 | 0 | 11.68/11.77 c | 127 | 0.7 | 0 | 6835 | 7032 | 36 | 40512864 | 430877 || 127 | 958814 | 320/ 320 | 50909 | 0 | 12.38/12.47 c | 127 | 0.7 | 0 | 6876 | 1533 | 37 | 42539040 | 443072 || 127 | 983418 | 320/ 320 | 51069 | 0 | 13.08/13.18 c | 127 | 0.7 | 0 | 6932 | 5734 | 38 | 44768228 | 448571 || 127 | 983418 | 320/ 320 | 51069 | 0 | 13.88/13.90 c | 140 | 0.7 | 0 | 6903 | 111 | 39 | 46993556 | 479755 || 140 | 1046059 | 320/ 320 | 53450 | 0 | 14.48/14.55 c | 148 | 0.6 | 0 | 6850 | 197 | 40 | 49210158 | 503891 || 148 | 1096898 | 320/ 320 | 55794 | 0 | 15.18/15.23 c | 157 | 0.7 | 0 | 7241 | 484 | 41 | 51443551 | 531368 || 157 | 1155847 | 320/ 320 | 58593 | 0 | 15.88/15.94 c | 163 | 0.7 | 0 | 7669 | 173 | 42 | 53734994 | 551990 || 163 | 1203196 | 320/ 320 | 61062 | 0 | 16.58/16.65 c | 173 | 0.7 | 0 | 7919 | 156 | 43 | 56084708 | 580774 || 173 | 1265342 | 320/ 320 | 64103 | 0 | 17.38/17.41 c | 187 | 0.8 | 0 | 8255 | 347 | 44 | 58499623 | 614199 || 187 | 1336259 | 320/ 320 | 66959 | 0 | 18.08/18.12 c | 189 | 0.7 | 0 | 8729 | 1046 | 45 | 60869816 | 631242 || 189 | 1375578 | 320/ 320 | 69612 | 0 | 18.88/18.90 c | 190 | 0.8 | 0 | 8660 | 1245 | 46 | 63378347 | 648956 || 190 | 1421655 | 320/ 320 | 73094 | 0 | 19.68/19.73 c | 200 | 0.8 | 0 | 8796 | 126 | 47 | 66013768 | 675536 || 200 | 1473131 | 320/ 320 | 75062 | 0 | 20.48/20.54 c | 212 | 0.8 | 0 | 8873 | 516 | 48 | 68629065 | 708656 || 212 | 1545209 | 320/ 320 | 78318 | 0 | 21.28/21.36 c | 221 | 0.8 | 0 | 9148 | 1610 | 49 | 71240767 | 738816 || 221 | 1613378 | 320/ 320 | 82327 | 0 | 22.18/22.20 c | 231 | 0.8 | 0 | 9500 | 295 | 50 | 73925187 | 767657 || 231 | 1672291 | 320/ 320 | 84303 | 0 | 22.98/23.07 c | 243 | 0.9 | 0 | 9486 | 73 | 51 | 76667449 | 803087 || 243 | 1745251 | 320/ 320 | 87537 | 0 | 23.88/23.95 c | 252 | 0.9 | 0 | 9816 | 2064 | 52 | 79461300 | 833256 || 252 | 1818143 | 320/ 320 | 91607 | 0 | 24.78/24.86 c | 253 | 0.9 | 0 | 10195 | 560 | 53 | 82283937 | 852273 || 253 | 1861105 | 320/ 320 | 95110 | 0 | 25.78/25.87 c | 254 | 1.0 | 0 | 10139 | 6364 | 54 | 85094150 | 871558 || 254 | 1913815 | 287/ 287 | 101890 | 0 | 26.97/27.08 c | 254 | 1.2 | 0 | 10494 | 2663 | 55 | 87871226 | 889248 || 254 | 1947519 | 287/ 287 | 102127 | 0 | 28.07/28.17 c | 255 | 1.1 | 0 | 9955 | 8665 | 56 | 90828284 | 903724 || 255 | 1995652 | 220/ 220 | 115332 | 0 | 29.28/29.34 c | 255 | 1.2 | 0 | 9830 | 6103 | 57 | 93556205 | 926853 || 255 | 2059511 | 220/ 220 | 115713 | 0 | 30.68/30.77 c | 255 | 1.4 | 0 | 10167 | 1768 | 58 | 96489003 | 946277 || 255 | 2100931 | 220/ 220 | 115980 | 0 | 31.88/31.92 c | 255 | 1.1 | 0 | 9578 | 8069 | 59 | 99792648 | 955038 || 255 | 2100931 | 220/ 220 | 115980 | 0 | 33.07/33.14 c | 262 | 1.2 | 0 | 10772 | 260 | 60 | 103068699 | 975896 || 262 | 2131390 | 220/ 220 | 117379 | 0 | 34.18/34.22 c | 277 | 1.1 | 0 | 9804 | 338 | 61 | 106349318 | 1017605 || 277 | 2220291 | 220/ 220 | 121175 | 0 | 35.18/35.29 c | 286 | 1.1 | 0 | 10311 | 320 | 62 | 109639572 | 1052415 || 286 | 2300794 | 220/ 220 | 125315 | 0 | 36.37/36.42 c | 301 | 1.1 | 0 | 10695 | 985 | 63 | 113003102 | 1092297 || 301 | 2387537 | 220/ 220 | 129056 | 0 | 37.47/37.54 c | 316 | 1.1 | 0 | 11439 | 145 | 64 | 116432001 | 1135699 || 316 | 2477139 | 220/ 220 | 132843 | 0 | 38.57/38.66 c | 318 | 1.1 | 0 | 11918 | 4647 | 65 | 119799487 | 1160062 || 318 | 2543243 | 220/ 220 | 138088 | 0 | 39.77/39.85 c | 331 | 1.2 | 0 | 12424 | 128 | 66 | 123311627 | 1194550 || 331 | 2603724 | 220/ 220 | 140480 | 0 | 40.97/41.04 c | 347 | 1.2 | 0 | 12120 | 496 | 67 | 126795764 | 1239911 || 347 | 2704440 | 220/ 220 | 144680 | 0 | 42.17/42.25 c | 356 | 1.2 | 0 | 12421 | 480 | 68 | 130390947 | 1274179 || 356 | 2777982 | 220/ 220 | 148730 | 0 | 43.47/43.50 c | 373 | 1.2 | 0 | 12637 | 44 | 69 | 134060034 | 1321846 || 373 | 2874181 | 220/ 220 | 152760 | 0 | 44.67/44.71 c | 381 | 1.2 | 0 | 12841 | 2132 | 70 | 137751226 | 1355727 || 381 | 2957690 | 220/ 220 | 159910 | 0 | 45.97/46.00 c | 382 | 1.3 | 0 | 13005 | 4825 | 71 | 141394099 | 1379085 || 382 | 3017781 | 220/ 220 | 166740 | 0 | 47.37/47.42 c | 382 | 1.4 | 0 | 13306 | 2821 | 72 | 145012560 | 1400624 || 382 | 3061211 | 220/ 220 | 167020 | 0 | 48.77/48.85 c | 396 | 1.4 | 0 | 13068 | 297 | 73 | 148879008 | 1437684 || 396 | 3129998 | 220/ 220 | 169846 | 0 | 50.07/50.16 c | 412 | 1.3 | 0 | 13007 | 1066 | 74 | 152731631 | 1485208 || 412 | 3235324 | 220/ 220 | 174501 | 0 | 51.47/51.52 c | 426 | 1.3 | 0 | 13324 | 246 | 75 | 156720230 | 1526711 || 426 | 3321859 | 220/ 220 | 178659 | 0 | 52.78/52.89 c | 443 | 1.4 | 0 | 13403 | 904 | 76 | 160720874 | 1575513 || 443 | 3431140 | 220/ 220 | 183766 | 0 | 54.17/54.22 c | 445 | 1.3 | 0 | 13754 | 595 | 77 | 164645961 | 1604420 || 445 | 3500124 | 220/ 220 | 189050 | 0 | 55.57/55.67 c | 460 | 1.5 | 0 | 14105 | 1160 | 78 | 168796837 | 1647964 || 460 | 3588514 | 220/ 220 | 192771 | 0 | 56.97/57.09 c | 476 | 1.4 | 0 | 14612 | 1834 | 79 | 172933243 | 1694991 || 476 | 3690772 | 220/ 220 | 198264 | 0 | 58.47/58.53 c | 491 | 1.4 | 0 | 14741 | 594 | 80 | 177138770 | 1740807 || 491 | 3784041 | 220/ 220 | 202030 | 0 | 59.97/60.00 c | 507 | 1.5 | 0 | 14838 | 253 | 81 | 181387512 | 1789347 || 507 | 3891408 | 220/ 220 | 207519 | 0 | 61.37/61.49 c | 509 | 1.5 | 0 | 15077 | 4049 | 82 | 185712211 | 1814780 || 509 | 3958733 | 220/ 220 | 217580 | 0 | 63.07/63.17 c | 509 | 1.7 | 0 | 15157 | 3151 | 83 | 190091860 | 1840100 || 509 | 4010197 | 220/ 220 | 217978 | 0 | 64.78/64.89 c | 510 | 1.7 | 0 | 15231 | 11952 | 84 | 194389477 | 1867801 || 510 | 4091142 | 220/ 220 | 231366 | 0 | 67.08/67.11 c | 510 | 2.2 | 0 | 15319 | 1653 | 85 | 198744665 | 1898003 || 510 | 4157890 | 220/ 220 | 231828 | 0 | 69.07/69.16 c | 510 | 2.1 | 0 | 14708 | 10654 | 86 | 203552958 | 1910091 || 510 | 4157890 | 220/ 220 | 231828 | 0 | 71.08/71.17 c | 511 | 2.0 | 0 | 14627 | 19755 | 87 | 207852755 | 1941512 || 511 | 4271958 | 172/ 172 | 258307 | 0 | 73.98/74.03 c | 511 | 2.9 | 0 | 14430 | 9203 | 88 | 211863849 | 1974856 || 511 | 4356894 | 172/ 172 | 258890 | 0 | 77.97/78.07 c | 511 | 4.0 | 0 | 15209 | 9301 | 89 | 215751541 | 2005867 || 511 | 4432967 | 172/ 172 | 259439 | 0 | 80.27/80.35 c | 511 | 2.3 | 0 | 13838 | 9260 | 90 | 220659957 | 2019210 || 511 | 4434227 | 172/ 172 | 259450 | 0 | 82.87/82.95 c | 511 | 2.6 | 0 | 14192 | 18762 | 91 | 225771209 | 2031392 || 511 | 4434227 | 172/ 172 | 259450 | 0 | 85.57/85.62 c | 520 | 2.7 | 0 | 16010 | 41 | 92 | 230593264 | 2062067 || 520 | 4480133 | 172/ 172 | 261129 | 0 | 87.27/87.37 c | 541 | 1.8 | 0 | 12905 | 394 | 93 | 235444039 | 2122516 || 541 | 4610220 | 172/ 172 | 266952 | 0 | 88.97/89.07 c | 557 | 1.7 | 0 | 13678 | 567 | 94 | 240350036 | 2174641 || 557 | 4723542 | 172/ 172 | 272532 | 0 | 90.77/90.82 c | 574 | 1.8 | 0 | 14883 | 1642 | 95 | 245354570 | 2226941 || 574 | 4840131 | 172/ 172 | 281339 | 0 | 92.57/92.69 c | 587 | 1.9 | 0 | 15587 | 117 | 96 | 250356912 | 2274176 || 587 | 4936895 | 172/ 172 | 283949 | 0 | 94.37/94.49 c | 605 | 1.8 | 0 | 16516 | 1672 | 97 | 255301396 | 2331209 || 605 | 5068655 | 172/ 172 | 290793 | 0 | 96.27/96.35 c | 626 | 1.9 | 0 | 17821 | 31 | 98 | 260399213 | 2391194 || 626 | 5192080 | 172/ 172 | 295532 | 0 | 98.17/98.21 c | 637 | 1.9 | 0 | 17794 | 3718 | 99 | 265472220 | 2438810 || 637 | 5309904 | 172/ 172 | 303523 | 0 | 100.17/100.26 c | 638 | 2.0 | 0 | 18000 | 9315 | 100 | 270400470 | 2472542 || 638 | 5394356 | 172/ 172 | 310527 | 0 | 102.17/102.27 c | 651 | 2.0 | 0 | 17915 | 295 | 101 | 275743587 | 2513524 || 651 | 5460618 | 172/ 172 | 312950 | 0 | 104.17/104.20 c | 669 | 1.9 | 0 | 17754 | 2366 | 102 | 280943008 | 2574505 || 669 | 5598509 | 172/ 172 | 319910 | 0 | 106.07/106.17 c | 693 | 2.0 | 0 | 18073 | 130 | 103 | 286293676 | 2637875 || 693 | 5728296 | 172/ 172 | 325356 | 0 | 108.07/108.17 c | 701 | 2.0 | 0 | 18255 | 612 | 104 | 291620300 | 2685465 || 701 | 5844029 | 172/ 172 | 332719 | 0 | 110.17/110.27 c | 723 | 2.1 | 0 | 18318 | 477 | 105 | 297048917 | 2744995 || 723 | 5967795 | 172/ 172 | 337917 | 0 | 112.27/112.37 c | 743 | 2.1 | 0 | 18407 | 242 | 106 | 302634723 | 2806163 || 743 | 6098330 | 172/ 172 | 344020 | 0 | 114.37/114.49 c | 763 | 2.1 | 0 | 19114 | 2319 | 107 | 308189617 | 2870142 || 763 | 6242343 | 172/ 172 | 351228 | 0 | 116.48/116.55 c | 765 | 2.1 | 0 | 19534 | 6320 | 108 | 313609526 | 2905904 || 765 | 6338887 | 172/ 172 | 361524 | 0 | 118.68/118.74 c | 766 | 2.2 | 0 | 19426 | 8018 | 109 | 319317564 | 2936395 || 766 | 6416514 | 172/ 172 | 374876 | 0 | 121.47/121.58 c | 766 | 2.8 | 0 | 19157 | 216 | 110 | 324555195 | 2981296 || 766 | 6533009 | 172/ 172 | 375685 | 0 | 124.07/124.20 c | 766 | 2.6 | 0 | 18832 | 11720 | 111 | 330274082 | 2997165 || 766 | 6533009 | 172/ 172 | 375685 | 0 | 126.48/126.50 c | 795 | 2.3 | 0 | 19183 | 256 | 112 | 336042485 | 3071567 || 795 | 6692243 | 172/ 172 | 382188 | 0 | 128.58/128.68 c | 812 | 2.2 | 0 | 18957 | 520 | 113 | 341831638 | 3131030 || 812 | 6824540 | 172/ 172 | 388630 | 0 | 130.78/130.88 c | 829 | 2.2 | 0 | 19174 | 3496 | 114 | 347724195 | 3190358 || 829 | 6963099 | 172/ 172 | 397488 | 0 | 133.08/133.14 c | 848 | 2.3 | 0 | 19622 | 55 | 115 | 353724810 | 3251514 || 848 | 7082296 | 172/ 172 | 401943 | 0 | 135.37/135.42 c | 871 | 2.3 | 0 | 19964 | 26 | 116 | 359710500 | 3321262 || 871 | 7228698 | 172/ 172 | 408914 | 0 | 137.57/137.67 c | 891 | 2.2 | 0 | 20875 | 990 | 117 | 365625420 | 3384368 || 891 | 7370571 | 172/ 172 | 416156 | 0 | 139.97/140.08 c | 893 | 2.4 | 0 | 21882 | 8392 | 118 | 371527852 | 3425191 || 893 | 7481021 | 172/ 172 | 426553 | 0 | 142.77/142.90 c | 907 | 2.8 | 0 | 21759 | 267 | 119 | 377816541 | 3474269 || 907 | 7568785 | 172/ 172 | 429506 | 0 | 145.27/145.30 c | 929 | 2.4 | 0 | 21100 | 141 | 120 | 384017266 | 3541973 || 929 | 7718387 | 172/ 172 | 436685 | 0 | 147.67/147.74 c | 955 | 2.4 | 0 | 21463 | 1488 | 121 | 390238474 | 3617783 || 955 | 7889809 | 172/ 172 | 445206 | 0 | 150.17/150.21 c | 969 | 2.5 | 0 | 21947 | 150 | 122 | 396437276 | 3672224 || 969 | 8005114 | 172/ 172 | 451196 | 0 | 152.57/152.67 c | 989 | 2.5 | 0 | 21781 | 7 | 123 | 402786397 | 3737425 || 989 | 8147578 | 172/ 172 | 458283 | 0 | 155.17/155.23 c | 1018 | 2.6 | 0 | 22034 | 1051 | 124 | 409222909 | 3816468 || 1018 | 8324817 | 172/ 172 | 467209 | 0 | 157.67/157.71 c | 1020 | 2.5 | 0 | 22842 | 6747 | 125 | 415421980 | 3859548 || 1020 | 8435297 | 172/ 172 | 477570 | 0 | 160.37/160.40 c | 1021 | 2.7 | 0 | 23421 | 10148 | 126 | 421936929 | 3896361 || 1021 | 8530261 | 172/ 172 | 491042 | 0 | 163.47/163.53 c | 1021 | 3.1 | 0 | 23009 | 4048 | 127 | 428274479 | 3936518 || 1021 | 8614347 | 172/ 172 | 491662 | 0 | 166.47/166.57 c | 1022 | 3.0 | 0 | 22258 | 17250 | 128 | 434795201 | 3967261 || 1022 | 8702769 | 172/ 172 | 517998 | 0 | 171.77/171.80 c | 1022 | 5.2 | 0 | 22353 | 13303 | 129 | 440462558 | 4017340 || 1022 | 8829993 | 172/ 172 | 518820 | 0 | 176.07/176.18 c | 1022 | 4.4 | 0 | 22160 | 5554 | 130 | 446871448 | 4056195 || 1022 | 8907270 | 172/ 172 | 519308 | 0 | 180.27/180.31 c | 1022 | 4.1 | 0 | 20460 | 19057 | 131 | 453724773 | 4074297 || 1022 | 8907270 | 172/ 172 | 519308 | 0 | 183.86/183.98 c | 1023 | 3.7 | 0 | 20242 | 32662 | 132 | 460303505 | 4113334 || 1023 | 9060830 | 66/ 66 | 571764 | 0 | 188.76/188.88 c | 1023 | 4.9 | 0 | 19686 | 13702 | 133 | 466407128 | 4164382 || 1023 | 9186573 | 66/ 66 | 572677 | 0 | 195.77/195.89 c | 1023 | 7.0 | 0 | 20853 | 13805 | 134 | 472495996 | 4216875 || 1023 | 9311077 | 66/ 66 | 573541 | 0 | 203.66/203.72 c | 1023 | 7.8 | 0 | 20925 | 13902 | 135 | 478404606 | 4269539 || 1023 | 9435571 | 66/ 66 | 574440 | 0 | 209.37/209.42 c | 1023 | 5.7 | 0 | 21269 | 11273 | 136 | 485242751 | 4295587 || 1023 | 9459653 | 66/ 66 | 574609 | 0 | 215.57/215.64 c | 1023 | 6.2 | 0 | 20893 | 25374 | 137 | 492503667 | 4313985 || 1023 | 9459653 | 66/ 66 | 574609 | 0 | 221.66/221.79 c | 1023 | 6.2 | 0 | 22579 | 39575 | 138 | 499487115 | 4332214 || 1023 | 9459653 | 66/ 66 | 574609 | 0 | 227.46/227.59 c | 1032 | 5.8 | 0 | 22231 | 164 | 139 | 506694415 | 4368322 || 1032 | 9506244 | 66/ 66 | 576277 | 0 | 230.46/230.51 c | 1059 | 2.9 | 0 | 17810 | 124 | 140 | 513917742 | 4450311 || 1059 | 9679622 | 66/ 66 | 584589 | 0 | 233.26/233.34 c | 1085 | 2.8 | 0 | 19424 | 1081 | 141 | 521135487 | 4533165 || 1085 | 9855717 | 66/ 66 | 593159 | 0 | 236.16/236.21 c | 1107 | 2.9 | 0 | 21093 | 149 | 142 | 528348526 | 4608404 || 1107 | 10021187 | 66/ 66 | 601407 | 0 | 239.06/239.16 c | 1132 | 2.9 | 0 | 22175 | 701 | 143 | 535791907 | 4688002 || 1132 | 10193972 | 66/ 66 | 609772 | 0 | 242.06/242.11 c | 1149 | 3.0 | 0 | 23856 | 1863 | 144 | 543092110 | 4755514 || 1149 | 10348069 | 66/ 66 | 618802 | 0 | 245.36/245.46 c | 1153 | 3.3 | 0 | 25597 | 159 | 145 | 550503398 | 4801094 || 1153 | 10443839 | 66/ 66 | 626340 | 0 | 248.47/248.59 c | 1181 | 3.1 | 0 | 24681 | 1297 | 146 | 557979119 | 4885952 || 1181 | 10628268 | 66/ 66 | 635053 | 0 | 251.66/251.75 c | 1212 | 3.2 | 0 | 24967 | 317 | 147 | 565618578 | 4978308 || 1212 | 10835210 | 66/ 66 | 644365 | 0 | 254.86/254.90 c | 1233 | 3.2 | 0 | 25442 | 189 | 148 | 573082990 | 5048709 || 1233 | 10984238 | 66/ 66 | 652339 | 0 | 257.96/258.06 c | 1261 | 3.2 | 0 | 25533 | 34 | 149 | 580679046 | 5135002 || 1261 | 11170063 | 66/ 66 | 661108 | 0 | 261.16/261.25 c | 1276 | 3.2 | 0 | 25800 | 2906 | 150 | 588420732 | 5201067 || 1276 | 11320681 | 66/ 66 | 669837 | 0 | 264.66/264.70 c | 1278 | 3.4 | 0 | 26116 | 8807 | 151 | 596112737 | 5245907 || 1278 | 11447403 | 66/ 66 | 689951 | 0 | 268.76/268.86 c | 1278 | 4.2 | 0 | 26479 | 5208 | 152 | 603577780 | 5297122 || 1278 | 11554671 | 66/ 66 | 690703 | 0 | 272.67/272.74 c | 1300 | 3.9 | 0 | 26122 | 258 | 153 | 611341045 | 5363100 || 1300 | 11673830 | 66/ 66 | 695850 | 0 | 276.07/276.10 c | 1330 | 3.4 | 0 | 25307 | 300 | 154 | 619220166 | 5452922 || 1330 | 11868759 | 66/ 66 | 704670 | 0 | 279.37/279.41 c | 1347 | 3.3 | 0 | 25655 | 168 | 155 | 627169522 | 5521628 || 1347 | 12013569 | 66/ 66 | 713634 | 0 | 282.67/282.76 c | 1377 | 3.4 | 0 | 25653 | 90 | 156 | 635153133 | 5614352 || 1377 | 12210147 | 66/ 66 | 722738 | 0 | 286.06/286.12 c | 1404 | 3.4 | 0 | 26247 | 2843 | 157 | 643179834 | 5700738 || 1404 | 12407617 | 66/ 66 | 734661 | 0 | 289.36/289.48 c | 1405 | 3.4 | 0 | 27397 | 4638 | 158 | 651139071 | 5749183 || 1405 | 12512241 | 66/ 66 | 741840 | 0 | 292.96/293.06 c | 1436 | 3.6 | 0 | 28275 | 86 | 159 | 659386233 | 5840515 || 1436 | 12709981 | 66/ 66 | 751118 | 0 | 296.46/296.56 c | 1467 | 3.5 | 0 | 28053 | 437 | 160 | 667693821 | 5934078 || 1467 | 12907228 | 66/ 66 | 760338 | 0 | 300.06/300.18 c | 1491 | 3.6 | 0 | 28354 | 474 | 161 | 675963966 | 6012163 || 1491 | 13075682 | 66/ 66 | 769127 | 0 | 303.66/303.78 c | 1524 | 3.6 | 0 | 28722 | 1 | 162 | 684282132 | 6108335 || 1524 | 13280175 | 66/ 66 | 778715 | 0 | 307.26/307.30 c | 1532 | 3.5 | 0 | 28837 | 6884 | 163 | 692605877 | 6170853 || 1532 | 13440204 | 66/ 66 | 792540 | 0 | 311.16/311.24 c | 1533 | 3.9 | 0 | 29265 | 14089 | 164 | 700789759 | 6219354 || 1533 | 13564089 | 66/ 66 | 806209 | 0 | 315.96/316.09 c | 1533 | 4.9 | 0 | 29480 | 11790 | 165 | 709373890 | 6255650 || 1533 | 13615223 | 66/ 66 | 806539 | 0 | 321.56/321.62 c | 1534 | 5.5 | 0 | 28738 | 28793 | 166 | 717629130 | 6321686 || 1534 | 13814641 | 66/ 66 | 833658 | 0 | 327.16/327.27 c | 1534 | 5.6 | 0 | 28665 | 7494 | 167 | 725831525 | 6368951 || 1534 | 13903920 | 66/ 66 | 834286 | 0 | 331.96/332.05 c | 1534 | 4.8 | 0 | 27434 | 24695 | 168 | 734460042 | 6392478 || 1534 | 13903920 | 66/ 66 | 834286 | 0 | 335.86/335.91 c | 1567 | 3.9 | 0 | 25408 | 31 | 169 | 743114734 | 6489261 || 1567 | 14114688 | 66/ 66 | 843856 | 0 | 339.46/339.59 c | 1597 | 3.7 | 0 | 25756 | 3273 | 170 | 751777065 | 6584508 || 1597 | 14331701 | 66/ 66 | 856282 | 0 | 343.26/343.35 c | 1627 | 3.8 | 0 | 26903 | 708 | 171 | 760637991 | 6677377 || 1627 | 14524442 | 66/ 66 | 863935 | 0 | 347.06/347.11 c | 1659 | 3.8 | 0 | 28109 | 2247 | 172 | 769315591 | 6776190 || 1659 | 14744405 | 66/ 66 | 874990 | 0 | 350.86/350.93 c | 1661 | 3.8 | 0 | 29681 | 3142 | 173 | 777827939 | 6832635 || 1661 | 14873317 | 66/ 66 | 885518 | 0 | 354.86/354.90 c | 1692 | 4.0 | 0 | 30714 | 78 | 174 | 786763239 | 6927229 || 1692 | 15071202 | 66/ 66 | 894807 | 0 | 358.76/358.84 c | 1724 | 3.9 | 0 | 31784 | 1917 | 175 | 795664299 | 7026780 || 1724 | 15289035 | 66/ 66 | 907385 | 0 | 362.86/362.93 c | 1754 | 4.1 | 0 | 31584 | 1038 | 176 | 804603239 | 7124314 || 1754 | 15493952 | 66/ 66 | 915168 | 0 | 366.86/366.97 c | 1786 | 4.0 | 0 | 31744 | 1864 | 177 | 813716449 | 7222974 || 1786 | 15707185 | 66/ 66 | 926159 | 0 | 370.85/370.98 c | 1788 | 4.0 | 0 | 31936 | 3260 | 178 | 822738315 | 7275056 || 1788 | 15826810 | 66/ 66 | 936577 | 0 | 375.95/376.06 c | 1789 | 5.1 | 0 | 31726 | 2360 | 179 | 831592252 | 7333588 || 1789 | 15976412 | 66/ 66 | 950457 | 0 | 380.75/380.85 c | 1810 | 4.8 | 0 | 31496 | 126 | 180 | 841065077 | 7401073 || 1810 | 16090642 | 66/ 66 | 955201 | 0 | 384.96/385.05 c | 1848 | 4.2 | 0 | 30831 | 143 | 181 | 850362867 | 7510335 || 1848 | 16323637 | 66/ 66 | 965896 | 0 | 389.05/389.11 c | 1868 | 4.1 | 0 | 31243 | 0 | 182 | 859604821 | 7590868 || 1868 | 16503083 | 66/ 66 | 976347 | 0 | 393.25/393.37 c | 1907 | 4.2 | 0 | 31337 | 34 | 183 | 868981911 | 7701662 || 1907 | 16739991 | 66/ 66 | 987182 | 0 | 397.45/397.54 c | 1916 | 4.2 | 0 | 31637 | 8727 | 184 | 878301655 | 7772386 || 1916 | 16913739 | 66/ 66 | 1001410 | 0 | 401.75/401.87 c | 1946 | 4.3 | 0 | 32500 | 766 | 185 | 887854605 | 7861452 || 1946 | 17088517 | 66/ 66 | 1008906 | 0 | 406.05/406.15 c | 1978 | 4.3 | 0 | 33449 | 88 | 186 | 897318940 | 7966752 || 1978 | 17322891 | 66/ 66 | 1020017 | 0 | 410.35/410.49 c | 2008 | 4.4 | 0 | 33868 | 318 | 187 | 906933832 | 8062663 || 2008 | 17527068 | 66/ 66 | 1030103 | 0 | 414.75/414.86 c | 2041 | 4.4 | 0 | 33874 | 2246 | 188 | 916416140 | 8166655 || 2041 | 17758432 | 66/ 66 | 1042026 | 0 | 418.95/419.10 c | 2043 | 4.2 | 0 | 34434 | 4743 | 189 | 925763267 | 8221732 || 2043 | 17881477 | 66/ 66 | 1052546 | 0 | 424.16/424.22 c | 2044 | 5.1 | 0 | 34237 | 4943 | 190 | 935011779 | 8282059 || 2044 | 18036438 | 66/ 66 | 1066478 | 0 | 429.96/430.02 c | 2045 | 5.8 | 0 | 34977 | 24445 | 191 | 944102310 | 8341401 || 2045 | 18195605 | 66/ 66 | 1093285 | 0 | 436.56/436.69 c | 2045 | 6.7 | 0 | 33559 | 5645 | 192 | 953016332 | 8402925 || 2045 | 18326776 | 66/ 66 | 1094200 | 0 | 443.26/443.39 c | 2045 | 6.7 | 0 | 31963 | 25346 | 193 | 963112873 | 8429443 || 2045 | 18326776 | 66/ 66 | 1094200 | 0 | 449.95/450.01 c | 2046 | 6.6 | 0 | 30745 | 45151 | 194 | 971981060 | 8504431 || 2046 | 18593340 | 66/ 66 | 1147495 | 0 | 460.35/460.46 c | 2046 | 10.4 | 0 | 30908 | 19904 | 195 | 980449370 | 8577857 || 2046 | 18770813 | 66/ 66 | 1148773 | 0 | 470.05/470.14 c | 2046 | 9.7 | 0 | 31484 | 8256 | 196 | 989310310 | 8631578 || 2046 | 18872759 | 66/ 66 | 1149538 | 0 | 476.85/476.96 c | 2046 | 6.8 | 0 | 27938 | 28357 | 197 | 999521859 | 8658882 || 2046 | 18872759 | 66/ 66 | 1149538 | 0 | 484.95/485.09 c | 2046 | 8.1 | 0 | 28236 | 48558 | 198 | 1010029705 | 8685495 || 2046 | 18872759 | 66/ 66 | 1149538 | 0 | 491.85/491.97 c | 2047 | 6.9 | 0 | 28385 | 68859 | 199 | 1019182620 | 8758550 || 2047 | 19199483 | 66/ 66 | 1254650 | 0 | 502.15/502.20 c | 2047 | 10.2 | 0 | 28709 | 20410 | 200 | 1028039746 | 8832589 || 2047 | 19376767 | 66/ 66 | 1255921 | 0 | 517.24/517.35 c | 2047 | 15.1 | 0 | 31323 | 20502 | 201 | 1036245198 | 8904819 || 2047 | 19545589 | 66/ 66 | 1257120 | 0 | 536.65/536.74 c | 2047 | 19.4 | 0 | 33736 | 20602 | 202 | 1044371906 | 8972017 || 2047 | 19704912 | 66/ 66 | 1258302 | 0 | 557.55/557.64 c | 2047 | 20.9 | 0 | 33154 | 20707 | 203 | 1052290047 | 9040243 || 2047 | 19863091 | 66/ 66 | 1259429 | 0 | 565.64/565.75 c | 2047 | 8.1 | 0 | 30952 | 18280 | 204 | 1062152854 | 9074300 || 2047 | 19882251 | 66/ 66 | 1259566 | 0 | 574.64/574.73 c | 2047 | 9.0 | 0 | 27765 | 39181 | 205 | 1072460166 | 9102136 || 2047 | 19882251 | 66/ 66 | 1259566 | 0 | 583.44/583.56 c | 2047 | 8.8 | 0 | 28223 | 60184 | 206 | 1082982907 | 9130161 || 2047 | 19882251 | 66/ 66 | 1259566 | 0 | 592.75/592.82 c | 2047 | 9.2 | 0 | 27510 | 81287 | 207 | 1093877935 | 9157860 || 2047 | 19882251 | 66/ 66 | 1259566 | 0 | 602.84/602.97 c | 2048 | 10.2 | 0 | 30385 | 102488 | 208 | 1104568467 | 9186572 || 2048 | 19885364 | 66/ 66 | 1259684 | 0 | 607.84/607.98 c | 2093 | 5.0 | 0 | 28029 | 913 | 209 | 1115158522 | 9317027 || 2093 | 20168176 | 66/ 66 | 1272599 | 0 | 612.64/612.79 c | 2124 | 4.8 | 0 | 30270 | 458 | 210 | 1125814998 | 9424033 || 2124 | 20394112 | 66/ 66 | 1284424 | 0 | 617.64/617.78 c | 2167 | 5.0 | 0 | 31387 | 291 | 211 | 1136510294 | 9550601 || 2167 | 20663841 | 66/ 66 | 1296635 | 0 | 622.64/622.74 c | 2174 | 5.0 | 0 | 33763 | 2475 | 212 | 1146883990 | 9624890 || 2174 | 20840996 | 66/ 66 | 1310530 | 0 | 627.84/627.92 c | 2212 | 5.2 | 0 | 35048 | 321 | 213 | 1157573196 | 9737667 || 2212 | 21068183 | 66/ 66 | 1321239 | 0 | 632.84/632.98 c | 2242 | 5.1 | 0 | 36474 | 150 | 214 | 1168364027 | 9843545 || 2242 | 21299684 | 66/ 66 | 1333308 | 0 | 638.14/638.29 c | 2286 | 5.3 | 0 | 36314 | 168 | 215 | 1179253768 | 9969450 || 2286 | 21573708 | 66/ 66 | 1346046 | 0 | 643.44/643.57 c | 2301 | 5.3 | 0 | 36688 | 47 | 216 | 1189862747 | 10056842 || 2301 | 21784592 | 66/ 66 | 1361483 | 0 | 649.63/649.70 c | 2302 | 6.1 | 0 | 36584 | 2948 | 217 | 1200797115 | 10122050 || 2302 | 21934657 | 66/ 66 | 1375415 | 0 | 655.63/655.74 c | 2332 | 6.0 | 0 | 36013 | 316 | 218 | 1211890139 | 10214426 || 2332 | 22106208 | 66/ 66 | 1382932 | 0 | 660.83/660.97 c | 2365 | 5.2 | 0 | 36003 | 4161 | 219 | 1222925711 | 10328575 || 2365 | 22361264 | 66/ 66 | 1397421 | 0 | 666.33/666.40 c | 2404 | 5.4 | 0 | 36492 | 483 | 220 | 1234141040 | 10447101 || 2404 | 22601556 | 66/ 66 | 1408237 | 0 | 671.53/671.69 c | 2429 | 5.3 | 0 | 36523 | 5747 | 221 | 1245385622 | 10552224 || 2429 | 22846418 | 66/ 66 | 1426237 | 0 | 677.23/677.31 c | 2459 | 5.6 | 0 | 36609 | 297 | 222 | 1256703616 | 10658442 || 2459 | 23060577 | 66/ 66 | 1434038 | 0 | 682.63/682.76 c | 2492 | 5.5 | 0 | 37092 | 4529 | 223 | 1268001647 | 10774417 || 2492 | 23321839 | 66/ 66 | 1448615 | 0 | 688.23/688.32 c | 2534 | 5.5 | 0 | 38785 | 264 | 224 | 1279406327 | 10899210 || 2534 | 23575240 | 66/ 66 | 1460006 | 0 | 693.53/693.68 c | 2556 | 5.4 | 0 | 39178 | 6927 | 225 | 1290656901 | 11002269 || 2556 | 23815734 | 66/ 66 | 1477529 | 0 | 700.03/700.14 c | 2557 | 6.5 | 0 | 39666 | 1126 | 226 | 1302162584 | 11076277 || 2557 | 23989783 | 66/ 66 | 1491558 | 0 | 706.73/706.83 c | 2558 | 6.7 | 0 | 38747 | 24235 | 227 | 1313820959 | 11137774 || 2558 | 24149941 | 66/ 66 | 1518354 | 0 | 714.63/714.73 c | 2558 | 7.9 | 0 | 38753 | 9040 | 228 | 1325016671 | 11202744 || 2558 | 24280584 | 66/ 66 | 1519221 | 0 | 722.03/722.14 c | 2575 | 7.4 | 0 | 37386 | 18 | 229 | 1336774793 | 11271216 || 2575 | 24377911 | 66/ 66 | 1523235 | 0 | 727.83/727.90 c | 2620 | 5.8 | 0 | 36249 | 2034 | 230 | 1348428243 | 11405654 || 2620 | 24675631 | 66/ 66 | 1537738 | 0 | 733.42/733.58 c | 2652 | 5.7 | 0 | 36435 | 678 | 231 | 1360092864 | 11519555 || 2652 | 24918949 | 66/ 66 | 1550563 | 0 | 739.03/739.19 c | 2685 | 5.6 | 0 | 36743 | 3415 | 232 | 1371697074 | 11631604 || 2685 | 25171668 | 66/ 66 | 1569779 | 0 | 745.02/745.10 c | 2714 | 5.9 | 0 | 37906 | 251 | 233 | 1383491713 | 11739365 || 2714 | 25394628 | 66/ 66 | 1576724 | 0 | 750.72/750.88 c | 2748 | 5.8 | 0 | 39230 | 4409 | 234 | 1395300767 | 11861242 || 2748 | 25672312 | 66/ 66 | 1592160 | 0 | 756.82/756.90 c | 2793 | 6.0 | 0 | 41116 | 411 | 235 | 1407249979 | 11991725 || 2793 | 25948098 | 66/ 66 | 1604305 | 0 | 762.62/762.77 c | 2812 | 5.9 | 0 | 41399 | 8970 | 236 | 1419179802 | 12090742 || 2812 | 26183062 | 66/ 66 | 1621078 | 0 | 769.02/769.14 c | 2813 | 6.4 | 0 | 41777 | 4268 | 237 | 1430876785 | 12163040 || 2813 | 26344988 | 66/ 66 | 1635083 | 0 | 775.52/775.66 c | 2844 | 6.5 | 0 | 41413 | 1213 | 238 | 1443087282 | 12267496 || 2844 | 26541994 | 66/ 66 | 1644339 | 0 | 781.62/781.77 c | 2882 | 6.1 | 0 | 40999 | 57 | 239 | 1455284483 | 12390991 || 2882 | 26809003 | 66/ 66 | 1657994 | 0 | 787.92/788.05 c | 2933 | 6.3 | 0 | 41555 | 30 | 240 | 1467419253 | 12536380 || 2933 | 27116051 | 66/ 66 | 1672070 | 0 | 794.02/794.15 c | 2940 | 6.1 | 0 | 42273 | 5422 | 241 | 1479555761 | 12612753 || 2940 | 27288192 | 66/ 66 | 1685953 | 0 | 800.42/800.52 c | 2991 | 6.4 | 0 | 42049 | 15 | 242 | 1491834981 | 12757560 || 2991 | 27595158 | 66/ 66 | 1699749 | 0 | 806.73/806.84 c | 3029 | 6.3 | 0 | 42482 | 64 | 243 | 1504140587 | 12882593 || 3029 | 27869664 | 66/ 66 | 1713825 | 0 | 812.93/813.08 c | 3066 | 6.2 | 0 | 43531 | 4060 | 244 | 1516477581 | 13009871 || 3066 | 28158329 | 66/ 66 | 1730011 | 0 | 819.53/819.66 c | 3068 | 6.6 | 0 | 44173 | 14558 | 245 | 1528310234 | 13084826 || 3068 | 28346542 | 66/ 66 | 1750632 | 0 | 827.32/827.41 c | 3069 | 7.7 | 0 | 44376 | 20359 | 246 | 1540355922 | 13150367 || 3069 | 28508346 | 66/ 66 | 1777477 | 0 | 838.32/838.43 c | 3069 | 11.0 | 0 | 43259 | 7058 | 247 | 1552491715 | 13226426 || 3069 | 28663154 | 66/ 66 | 1778608 | 0 | 847.82/847.95 c | 3070 | 9.5 | 0 | 43701 | 32259 | 248 | 1565266429 | 13275944 || 3070 | 28808185 | 66/ 66 | 1831033 | 0 | 860.22/860.33 c | 3070 | 12.4 | 0 | 40129 | 25301 | 249 | 1576196968 | 13361001 || 3070 | 29021497 | 66/ 66 | 1832540 | 0 | 876.81/876.90 c | 3070 | 16.6 | 0 | 41487 | 6159 | 250 | 1587351329 | 13430961 || 3070 | 29165859 | 66/ 66 | 1833565 | 0 | 886.52/886.62 c | 3070 | 9.7 | 0 | 36167 | 31660 | 251 | 1599854487 | 13464951 || 3070 | 29165859 | 66/ 66 | 1833565 | 0 | 897.52/897.62 c | 3085 | 11.0 | 0 | 37889 | 433 | 252 | 1612425785 | 13531185 || 3085 | 29252795 | 66/ 66 | 1837311 | 0 | 904.02/904.11 c | 3132 | 6.5 | 0 | 34586 | 1253 | 253 | 1625228697 | 13673925 || 3132 | 29557636 | 66/ 66 | 1852063 | 0 | 910.31/910.50 c | 3174 | 6.4 | 0 | 36972 | 277 | 254 | 1638084327 | 13807114 || 3174 | 29844804 | 66/ 66 | 1866677 | 0 | 916.71/916.82 c | 3197 | 6.3 | 0 | 38286 | 31 | 255 | 1650657525 | 13916563 || 3197 | 30105688 | 66/ 66 | 1884372 | 0 | 923.41/923.55 c | 3240 | 6.7 | 0 | 40907 | 67 | 256 | 1663749839 | 14046021 || 3240 | 30361330 | 66/ 66 | 1895830 | 0 | 930.01/930.11 c | 3278 | 6.6 | 0 | 42163 | 185 | 257 | 1676627629 | 14175065 || 3278 | 30641296 | 66/ 66 | 1910694 | 0 | 936.71/936.85 c | 3323 | 6.7 | 0 | 44647 | 2911 | 258 | 1689675316 | 14316578 || 3323 | 30953405 | 66/ 66 | 1928342 | 0 | 943.62/943.77 c | 3325 | 6.9 | 0 | 45299 | 14808 | 259 | 1702261817 | 14397226 || 3325 | 31152645 | 66/ 66 | 1948999 | 0 | 951.32/951.45 c | 3349 | 7.7 | 0 | 45040 | 61 | 260 | 1715343492 | 14495046 || 3349 | 31325427 | 66/ 66 | 1954754 | 0 | 958.21/958.39 c | 3388 | 7.0 | 0 | 43769 | 387 | 261 | 1728499032 | 14629128 || 3388 | 31625997 | 66/ 66 | 1971293 | 0 | 965.41/965.58 c | 3440 | 7.2 | 0 | 44613 | 182 | 262 | 1741912083 | 14776108 || 3440 | 31933070 | 66/ 66 | 1985240 | 0 | 972.22/972.37 c | 3452 | 6.8 | 0 | 44882 | 5570 | 263 | 1755106585 | 14870426 || 3452 | 32141663 | 66/ 66 | 2000319 | 0 | 979.61/979.70 c | 3510 | 7.3 | 0 | 45014 | 135 | 264 | 1768506626 | 15030710 || 3510 | 32483726 | 66/ 66 | 2015507 | 0 | 986.52/986.70 c | 3546 | 7.0 | 0 | 45054 | 2269 | 265 | 1781833906 | 15160715 || 3546 | 32769398 | 66/ 66 | 2031598 | 0 | 993.51/993.61 c | 3579 | 6.9 | 0 | 46519 | 6005 | 266 | 1795236023 | 15284197 || 3579 | 33044751 | 66/ 66 | 2051002 | 0 | 1001.51/1001.63 c | 3580 | 8.0 | 0 | 47326 | 4306 | 267 | 1808697679 | 15360142 || 3580 | 33220031 | 66/ 66 | 2065015 | 0 | 1011.01/1011.16 c | 3581 | 9.5 | 0 | 46573 | 31511 | 268 | 1821816125 | 15440824 || 3581 | 33432763 | 66/ 66 | 2092250 | 0 | 1022.11/1022.21 c | 3581 | 11.1 | 0 | 46540 | 20410 | 269 | 1835134036 | 15491480 || 3581 | 33491214 | 66/ 66 | 2092660 | 0 | 1030.71/1030.86 c | 3627 | 8.6 | 0 | 47154 | 510 | 270 | 1848820747 | 15630496 || 3627 | 33776443 | 66/ 66 | 2105747 | 0 | 1038.22/1038.33 c | 3673 | 7.5 | 0 | 43699 | 322 | 271 | 1862614134 | 15779541 || 3673 | 34093857 | 66/ 66 | 2121397 | 0 | 1045.22/1045.38 c | 3708 | 7.0 | 0 | 43957 | 3467 | 272 | 1876312691 | 15908644 || 3708 | 34389960 | 66/ 66 | 2143382 | 0 | 1052.82/1052.96 c | 3739 | 7.6 | 0 | 44381 | 695 | 273 | 1890058448 | 16030213 || 3739 | 34637429 | 66/ 66 | 2152972 | 0 | 1060.22/1060.34 c | 3785 | 7.4 | 0 | 45407 | 16 | 274 | 1903970336 | 16174819 || 3785 | 34946172 | 66/ 66 | 2168591 | 0 | 1067.52/1067.68 c | 3834 | 7.3 | 0 | 47250 | 1827 | 275 | 1917864931 | 16326052 || 3834 | 35277856 | 66/ 66 | 2187538 | 0 | 1074.92/1075.07 c | 3836 | 7.4 | 0 | 49627 | 15426 | 276 | 1931367939 | 16415623 || 3836 | 35503178 | 66/ 66 | 2208327 | 0 | 1083.62/1083.73 c | 3866 | 8.7 | 0 | 49159 | 672 | 277 | 1945506681 | 16524258 || 3866 | 35702368 | 66/ 66 | 2216044 | 0 | 1091.22/1091.32 c | 3904 | 7.6 | 0 | 48207 | 88 | 278 | 1959742596 | 16658886 || 3904 | 35992136 | 66/ 66 | 2231348 | 0 | 1099.01/1099.13 c | 3961 | 7.8 | 0 | 48514 | 1380 | 279 | 1973899374 | 16824045 || 3961 | 36353314 | 66/ 66 | 2249076 | 0 | 1106.71/1106.81 c | 3979 | 7.7 | 0 | 49572 | 34 | 280 | 1988039405 | 16926712 || 3979 | 36575805 | 66/ 66 | 2263464 | 0 | 1114.51/1114.61 c | 4026 | 7.8 | 0 | 49151 | 4539 | 281 | 2002128788 | 17078094 || 4026 | 36915022 | 66/ 66 | 2281607 | 0 | 1122.41/1122.56 c | 4081 | 8.0 | 0 | 49564 | 132 | 282 | 2016447085 | 17234934 || 4081 | 37241498 | 66/ 66 | 2296312 | 0 | 1130.01/1130.13 c | 4091 | 7.6 | 0 | 51040 | 8910 | 283 | 2030557074 | 17329281 || 4091 | 37476032 | 66/ 66 | 2323871 | 0 | 1139.11/1139.27 c | 4092 | 9.1 | 0 | 51096 | 18509 | 284 | 2044447640 | 17407044 || 4092 | 37667868 | 66/ 66 | 2350819 | 0 | 1149.21/1149.39 c | 4092 | 10.1 | 0 | 49840 | 9010 | 285 | 2058191835 | 17497721 || 4092 | 37863097 | 66/ 66 | 2352173 | 0 | 1159.81/1159.98 c | 4093 | 10.6 | 0 | 49012 | 38013 | 286 | 2072388996 | 17568542 || 4093 | 38070600 | 66/ 66 | 2405065 | 0 | 1176.71/1176.90 c | 4093 | 16.9 | 0 | 48906 | 29101 | 287 | 2084849365 | 17667804 || 4093 | 38329518 | 66/ 66 | 2406835 | 0 | 1190.31/1190.42 c | 4093 | 13.5 | 0 | 47645 | 19515 | 288 | 2098788489 | 17728435 || 4093 | 38411836 | 66/ 66 | 2407404 | 0 | 1204.31/1204.42 c | 4093 | 14.0 | 0 | 43337 | 48818 | 289 | 2113386512 | 17767400 || 4093 | 38411836 | 66/ 66 | 2407404 | 0 | 1217.30/1217.42 c | 4094 | 13.0 | 0 | 42637 | 78221 | 290 | 2126455068 | 17869606 || 4094 | 38817192 | 66/ 66 | 2512953 | 0 | 1238.21/1238.32 c | 4094 | 20.9 | 0 | 42871 | 29501 | 291 | 2139036047 | 17970880 || 4094 | 39068984 | 66/ 66 | 2514706 | 0 | 1265.61/1265.75 c | 4094 | 27.4 | 0 | 44789 | 29605 | 292 | 2151449993 | 18064783 || 4094 | 39300280 | 66/ 66 | 2516233 | 0 | 1289.41/1289.55 c | 4094 | 23.8 | 0 | 45178 | 13429 | 293 | 2165348316 | 18133992 || 4094 | 39420908 | 66/ 66 | 2517109 | 0 | 1299.92/1300.00 c | 4094 | 10.4 | 0 | 66594 | 34845 | 293 | 2176704008 | 18161777 || 4094 | 39420908 | 66/ 66 | 2517109 | 0 | 1299.92/1300.00 c c 1299.92/1300.00 c ----------------------------------- 1299.92/1300.00 c # temps = 1299.840000 1299.92/1300.00 c # cleaningDB = 293 1299.92/1300.00 c # clause binaire = 0 1299.92/1300.00 c # literal removed by litRedundant = 69145584 1299.92/1300.00 c # literal removed by litRedundantBin = 0 1299.92/1300.00 c # init clause removed by simplify = 0 1299.92/1300.00 c # learnt clause removed by simplify = 0 1299.92/1300.00 c # une clause fausse était une apprise = 0 1299.92/1300.00 c # equivalence dectecte = 0 1299.92/1300.00 c # Memory used : 156.13 MB 1299.92/1300.00 c 1299.92/1300.00 c ######################## 1299.92/1300.00 c #### ## ### ## #### 1299.92/1300.00 c #### #### # ## #### #### 1299.92/1300.00 c #### ## ### ## ### 1299.92/1300.00 c ######################## 1299.92/1300.00 c # restart = 4094 1299.92/1300.00 c # conflit = 4446338 1299.92/1300.00 c # decision = 18161777 1299.92/1300.00 c # propagation = 2176704008 (1674593.802314 (prop/sec)) 1299.92/1300.00 c 1299.92/1300.00 c ######################## 1299.92/1300.00 c ### ### # ## ## ## 1299.92/1300.00 c ### # # # #### # ### ### 1299.92/1300.00 c ### # ### ## # ### ### 1299.92/1300.00 c ######################## 1299.92/1300.00 c # numtry = 4094 1299.92/1300.00 c # numflips = 39420908 1299.92/1300.00 c # maxSat = 66 1299.92/1300.00 c # freeFlip = 3923820 1299.92/1300.00 c # nbBoundary = 0 1299.92/1300.00 c
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: 931) 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-3189573-1302705444/watcher-3189573-1302705444 -o /tmp/evaluation-result-3189573-1302705444/solver-3189573-1302705444 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189573-1302705444.cnf rnovelty running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 330 0 0 0 0 0 0 0 19 0 1 0 382144060 8912896 252 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/2918/statm: 2176 252 211 178 0 69 0 [startup+0.01299 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 330 0 0 0 0 0 0 0 19 0 1 0 382144060 8912896 252 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/2918/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100975 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300954 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700876 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.5008 s] /proc/loadavg: 1.84 1.97 1.99 7/196 2942 /proc/meminfo: memFree=16110536/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=22576 CPUtime=1.4 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 4074 0 0 0 140 0 0 0 25 0 1 0 382144069 23117824 3985 33554432000 4194304 4241092 140736266575504 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 5644 3985 136 12 0 4108 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 39984 [startup+3.10053 s] /proc/loadavg: 1.84 1.97 1.99 7/196 2942 /proc/meminfo: memFree=16106320/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=23924 CPUtime=3 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 4397 0 0 0 300 0 0 0 25 0 1 0 382144069 24498176 4308 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 5981 4308 136 12 0 4445 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41332 [startup+6.30099 s] /proc/loadavg: 2.01 2.00 2.00 7/196 2942 /proc/meminfo: memFree=16097020/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=26564 CPUtime=6.2 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 5074 0 0 0 620 0 0 0 25 0 1 0 382144069 27201536 4985 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 6641 4985 136 12 0 5105 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43972 [startup+12.7009 s] /proc/loadavg: 2.17 2.03 2.01 7/196 2942 /proc/meminfo: memFree=16088852/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=28808 CPUtime=12.6 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 5643 0 0 0 1259 1 0 0 25 0 1 0 382144069 29499392 5554 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 7202 5554 136 12 0 5666 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46216 [startup+25.5008 s] /proc/loadavg: 2.58 2.13 2.04 7/196 2942 /proc/meminfo: memFree=16075516/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=31052 CPUtime=25.4 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 6197 0 0 0 2539 1 0 0 25 0 1 0 382144069 31797248 6108 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 7763 6108 136 12 0 6227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48460 [startup+51.1004 s] /proc/loadavg: 3.06 2.28 2.09 7/196 2943 /proc/meminfo: memFree=16056336/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=37684 CPUtime=50.99 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 7858 0 0 0 5098 1 0 0 25 0 1 0 382144069 38588416 7755 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223647 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 9421 7755 136 12 0 7885 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55092 [startup+102.308 s] /proc/loadavg: 3.59 2.54 2.19 7/196 2944 /proc/meminfo: memFree=16011688/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=53760 CPUtime=102.19 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 11999 0 0 0 10217 2 0 0 25 0 1 0 382144069 55050240 11764 33554432000 4194304 4241092 140736266575504 18446744073709551615 4221877 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 13440 11764 136 12 0 11904 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71168 [startup+162.301 s] /proc/loadavg: 3.85 2.80 2.30 7/196 2947 /proc/meminfo: memFree=16004228/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=53792 CPUtime=162.19 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 12265 0 0 0 16216 3 0 0 25 0 1 0 382144069 55083008 11768 33554432000 4194304 4241092 140736266575504 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 13448 11768 136 12 0 11912 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 71200 [startup+222.301 s] /proc/loadavg: 3.94 3.02 2.40 7/196 2949 /proc/meminfo: memFree=15943568/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=84612 CPUtime=222.18 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 20146 0 0 0 22213 5 0 0 25 0 1 0 382144069 86642688 19492 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 21153 19492 136 12 0 19617 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 102020 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=15848588/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=115296 CPUtime=762.15 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 30213 0 0 0 76207 8 0 0 25 0 1 0 382144069 118063104 27154 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 28824 27154 136 12 0 27288 0 Current children cumulated CPU time (s) 762.23 Current children cumulated vsize (KiB) 132704 [startup+822.3 s] /proc/loadavg: 4.00 3.87 3.15 7/196 2967 /proc/meminfo: memFree=15840764/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=115200 CPUtime=822.14 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 30522 0 0 0 82205 9 0 0 25 0 1 0 382144069 117964800 27133 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 28800 27133 136 12 0 27264 0 Current children cumulated CPU time (s) 822.22 Current children cumulated vsize (KiB) 132608 [startup+882.301 s] /proc/loadavg: 4.08 3.90 3.21 7/196 2969 /proc/meminfo: memFree=15816328/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=121040 CPUtime=882.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 32172 0 0 0 88204 9 0 0 25 0 1 0 382144069 123944960 28591 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30260 28591 136 12 0 28724 0 Current children cumulated CPU time (s) 882.21 Current children cumulated vsize (KiB) 138448 [startup+942.301 s] /proc/loadavg: 4.12 3.95 3.27 7/196 2969 /proc/meminfo: memFree=15814708/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=121136 CPUtime=942.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 32487 0 0 0 94204 9 0 0 25 0 1 0 382144069 124043264 28609 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30284 28609 136 12 0 28748 0 Current children cumulated CPU time (s) 942.21 Current children cumulated vsize (KiB) 138544 [startup+1002.3 s] /proc/loadavg: 4.04 3.95 3.31 7/196 2971 /proc/meminfo: memFree=15812096/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=121008 CPUtime=1002.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 32830 0 0 0 100204 9 0 0 25 0 1 0 382144069 123912192 28584 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30252 28584 136 12 0 28716 0 Current children cumulated CPU time (s) 1002.21 Current children cumulated vsize (KiB) 138416 [startup+1062.3 s] /proc/loadavg: 4.01 3.96 3.35 7/196 2973 /proc/meminfo: memFree=15807624/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=121008 CPUtime=1062.14 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 33122 0 0 0 106204 10 0 0 25 0 1 0 382144069 123912192 28584 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223885 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30252 28584 136 12 0 28716 0 Current children cumulated CPU time (s) 1062.22 Current children cumulated vsize (KiB) 138416 [startup+1122.3 s] /proc/loadavg: 4.00 3.97 3.39 7/196 2975 /proc/meminfo: memFree=15806376/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=121200 CPUtime=1122.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 33458 0 0 0 112203 10 0 0 25 0 1 0 382144069 124108800 28630 33554432000 4194304 4241092 140736266575504 18446744073709551615 4228455 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30300 28630 136 12 0 28764 0 Current children cumulated CPU time (s) 1122.21 Current children cumulated vsize (KiB) 138608 [startup+1182.3 s] /proc/loadavg: 4.00 3.97 3.42 7/196 2977 /proc/meminfo: memFree=15795816/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=123068 CPUtime=1182.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 34182 0 0 0 118203 10 0 0 25 0 1 0 382144069 126021632 29091 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 30767 29091 136 12 0 29231 0 Current children cumulated CPU time (s) 1182.21 Current children cumulated vsize (KiB) 140476 [startup+1242.3 s] /proc/loadavg: 4.00 3.97 3.46 7/196 2977 /proc/meminfo: memFree=15782540/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=128684 CPUtime=1242.13 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 35789 0 0 0 124202 11 0 0 25 0 1 0 382144069 131772416 30506 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 32171 30506 136 12 0 30635 0 Current children cumulated CPU time (s) 1242.21 Current children cumulated vsize (KiB) 146092 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.97 3.49 7/196 2979 /proc/meminfo: memFree=15738872/32951132 swapFree=67111528/67111528 [pid=2918] ppid=2907 vsize=8704 CPUtime=0.08 cores=4,6 /proc/2918/stat : 2918 (esg_static.sh) S 2907 2918 2865 0 -1 4202496 347 1396 0 0 0 0 8 0 19 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733289045520 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/2918/statm: 2176 255 211 178 0 69 0 [pid=2941] ppid=2918 vsize=8704 CPUtime=0 cores=4,6 /proc/2941/stat : 2941 (esg_static.sh) S 2918 2918 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733289045520 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2941/statm: 2176 134 90 178 0 69 0 [pid=2942] ppid=2941 vsize=159868 CPUtime=1299.84 cores=4,6 /proc/2942/stat : 2942 (sathys) R 2941 2918 2865 0 -1 4202496 43651 0 0 0 129972 12 0 0 25 0 1 0 382144069 163704832 38282 33554432000 4194304 4241092 140736266575504 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/2942/statm: 39967 38282 136 12 0 38431 0 Current children cumulated CPU time (s) 1299.92 Current children cumulated vsize (KiB) 177276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2918 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=83987 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.087986 # while last known CPU time is 1299.92 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.02 CPU time (s): 1299.92 CPU user time (s): 1299.8 CPU system time (s): 0.12 CPU usage (%): 99.9925 Max. virtual memory (cumulated for all children) (KiB): 177340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.083987 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1909 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= 37 involuntary context switches= 11 runsolver used 2.51262 second user time and 5.34119 second system time The end
Begin job on node129 at 2011-04-13 16:37:24 IDJOB=3189573 IDBENCH=82504 IDSOLVER=1610 FILE ID=node129/3189573-1302705444 RUNJOBID= node129-1302705444-2885 PBS_JOBID= 12981412 Free space on /tmp= 71984 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189573-1302705444/watcher-3189573-1302705444 -o /tmp/evaluation-result-3189573-1302705444/solver-3189573-1302705444 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189573-1302705444.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 20b02cb2651a47b9d104f0bf45924440 RANDOM SEED=1613276943 node129.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.831 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.831 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 : 5332.83 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.831 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.831 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.831 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.831 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.83 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.831 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.831 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: 32951132 kB MemFree: 16159992 kB Buffers: 529584 kB Cached: 15835604 kB SwapCached: 0 kB Active: 8940536 kB Inactive: 7492352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 16159992 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1620 kB Writeback: 8 kB AnonPages: 67428 kB Mapped: 14764 kB Slab: 294904 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 195016 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71972 MiB End job on node129 at 2011-04-13 16:59:06