| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000 | 4999.93 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf |
| MD5SUM | f2a1eb7937a7cda114ce344a30ca1145 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1222.87 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2969 |
| Number of clauses | 18718 |
| Sum of the clauses size | 134151 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 435 |
| Number of clauses of size 3 | 2341 |
| Number of clauses of size 4 | 498 |
| Number of clauses of size 5 | 677 |
| Number of clauses of size over 5 | 14725 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439560-1306934600.cnf 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 18377 132406 | 5513 0 0 nan | 0.000 % | 0.00/0.05 c | 0 | 16697 121947 | -- 0 -- -- | -- | -436/-5158 0.00/0.05 c ============================================================================== 0.00/0.05 c Result : #vars: 2874 #clauses: 16697 #literals: 121947 0.00/0.05 c CPU time: 0.044993 s 0.00/0.05 c ============================================================================== 0.06/0.10 c 0.06/0.10 c seed = 0, numatom = 2874, numclause = 15508, numliterals = 121947 0.06/0.10 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.06/0.10 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.06/0.10 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.06/0.12 c | 2 | 0.0 | 0 | 488 | 196 | 1 | 18669 | 5460 || 2 | 5381 | 64/ 41 | 271 | 0 | 0.06/0.14 c | 4 | 0.0 | 0 | 1059 | 294 | 2 | 38403 | 11076 || 4 | 10182 | 49/ 29 | 641 | 0 | 0.06/0.16 c | 6 | 0.0 | 0 | 1737 | 187 | 3 | 63093 | 17879 || 6 | 15334 | 49/ 29 | 1004 | 0 | 0.06/0.18 c | 7 | 0.0 | 0 | 2499 | 384 | 4 | 92498 | 24435 || 7 | 21178 | 49/ 27 | 1492 | 0 | 0.06/0.21 c | 11 | 0.0 | 0 | 3315 | 283 | 5 | 125384 | 33198 || 11 | 28587 | 39/ 20 | 2123 | 0 | 0.06/0.25 c | 14 | 0.0 | 0 | 4296 | 481 | 6 | 161990 | 40449 || 14 | 36138 | 33/ 16 | 2916 | 0 | 0.06/0.29 c | 15 | 0.0 | 0 | 5321 | 981 | 7 | 203930 | 48182 || 15 | 44541 | 32/ 12 | 3822 | 0 | 0.06/0.32 c | 16 | 0.0 | 0 | 6190 | 77 | 8 | 243933 | 52729 || 16 | 47666 | 32/ 12 | 3955 | 0 | 0.06/0.38 c | 21 | 0.0 | 0 | 7081 | 66 | 9 | 294960 | 63888 || 21 | 57706 | 28/ 11 | 4792 | 0 | 0.06/0.43 c | 25 | 0.1 | 0 | 8088 | 165 | 10 | 346301 | 73135 || 25 | 66514 | 24/ 8 | 5716 | 0 | 0.06/0.50 c | 29 | 0.1 | 0 | 9139 | 560 | 11 | 402246 | 84459 || 29 | 78106 | 24/ 8 | 6675 | 0 | 0.06/0.57 c | 30 | 0.1 | 0 | 10273 | 357 | 12 | 466611 | 92152 || 30 | 87459 | 23/ 7 | 7582 | 0 | 0.06/0.67 c | 31 | 0.1 | 0 | 11263 | 2058 | 13 | 544661 | 103471 || 31 | 102844 | 16/ 2 | 9396 | 0 | 0.06/0.75 c | 31 | 0.1 | 0 | 12288 | 1460 | 14 | 620086 | 110070 || 31 | 106272 | 16/ 2 | 9438 | 0 | 0.06/0.86 c | 38 | 0.1 | 0 | 13254 | 353 | 15 | 702566 | 121819 || 38 | 119618 | 16/ 2 | 10804 | 0 | 0.06/0.98 c | 44 | 0.1 | 0 | 14384 | 250 | 16 | 795312 | 134671 || 44 | 133701 | 16/ 2 | 11787 | 0 | 1.10/1.13 c | 46 | 0.2 | 0 | 15581 | 247 | 17 | 902526 | 145837 || 46 | 149497 | 16/ 2 | 13150 | 0 | 1.18/1.27 c | 53 | 0.1 | 0 | 16683 | 244 | 18 | 1008861 | 155431 || 53 | 161026 | 15/ 2 | 14485 | 0 | 1.38/1.44 c | 59 | 0.2 | 0 | 17826 | 133 | 19 | 1131118 | 167383 || 59 | 176069 | 15/ 2 | 15441 | 0 | 1.58/1.64 c | 61 | 0.2 | 0 | 19007 | 732 | 20 | 1275579 | 176190 || 61 | 189985 | 15/ 2 | 16750 | 0 | 1.78/1.84 c | 62 | 0.2 | 0 | 19878 | 831 | 21 | 1407063 | 185900 || 62 | 207137 | 15/ 2 | 18522 | 0 | 1.98/2.09 c | 63 | 0.2 | 0 | 20831 | 3432 | 22 | 1553738 | 198153 || 63 | 231327 | 14/ 2 | 21955 | 0 | 2.28/2.34 c | 63 | 0.2 | 0 | 21779 | 1331 | 23 | 1728943 | 207637 || 63 | 243647 | 14/ 2 | 22055 | 0 | 2.58/2.61 c | 67 | 0.3 | 0 | 22697 | 23 | 24 | 1930967 | 214812 || 67 | 250107 | 14/ 2 | 22600 | 0 | 2.78/2.89 c | 76 | 0.3 | 0 | 23258 | 11 | 25 | 2096667 | 227984 || 76 | 269830 | 14/ 2 | 24257 | 0 | 3.08/3.20 c | 81 | 0.3 | 0 | 24600 | 107 | 26 | 2292779 | 238970 || 81 | 286943 | 14/ 2 | 26004 | 0 | 3.48/3.53 c | 90 | 0.3 | 0 | 25850 | 192 | 27 | 2481609 | 251522 || 90 | 306646 | 14/ 2 | 27588 | 0 | 3.78/3.88 c | 94 | 0.3 | 0 | 27236 | 1087 | 28 | 2689787 | 263151 || 94 | 328326 | 14/ 2 | 30779 | 0 | 4.18/4.23 c | 96 | 0.4 | 0 | 28242 | 85 | 29 | 2917429 | 277864 || 96 | 341183 | 14/ 2 | 31091 | 0 | 4.58/4.65 c | 107 | 0.4 | 0 | 30149 | 275 | 30 | 3148068 | 291583 || 107 | 363912 | 14/ 2 | 33102 | 0 | 4.98/5.08 c | 113 | 0.4 | 0 | 31400 | 269 | 31 | 3384631 | 302990 || 113 | 383267 | 14/ 2 | 34969 | 0 | 5.50/5.57 c | 123 | 0.5 | 0 | 32449 | 53 | 32 | 3634257 | 315793 || 123 | 406488 | 14/ 2 | 37062 | 0 | 5.98/6.07 c | 125 | 0.5 | 0 | 33760 | 149 | 33 | 3883250 | 328604 || 125 | 432674 | 14/ 2 | 39704 | 0 | 6.60/6.64 c | 126 | 0.6 | 0 | 34901 | 3952 | 34 | 4171673 | 340767 || 126 | 460036 | 12/ 1 | 43167 | 0 | 7.18/7.20 c | 126 | 0.6 | 0 | 35848 | 3052 | 35 | 4514351 | 347687 || 126 | 466917 | 12/ 1 | 43222 | 0 | 7.78/7.87 c | 127 | 0.7 | 0 | 36085 | 7055 | 36 | 4802141 | 361869 || 127 | 511269 | 8/ 0 | 49980 | 0 | 8.48/8.52 c | 127 | 0.6 | 0 | 37013 | 1557 | 37 | 5120128 | 372927 || 127 | 532128 | 8/ 0 | 50151 | 0 | 9.18/9.21 c | 127 | 0.7 | 0 | 37618 | 5762 | 38 | 5523494 | 378443 || 127 | 532128 | 8/ 0 | 50151 | 0 | 9.78/9.90 c | 140 | 0.7 | 0 | 37723 | 143 | 39 | 5844725 | 390367 || 140 | 553310 | 8/ 0 | 52310 | 0 | 10.58/10.62 c | 149 | 0.7 | 0 | 38266 | 237 | 40 | 6193745 | 401962 || 149 | 576329 | 8/ 0 | 54875 | 0 | 11.28/11.36 c | 157 | 0.8 | 0 | 39347 | 516 | 41 | 6545349 | 418671 || 157 | 600426 | 8/ 0 | 57053 | 0 | 12.18/12.21 c | 163 | 0.9 | 0 | 40128 | 9 | 42 | 6963205 | 430369 || 163 | 623032 | 8/ 0 | 59442 | 0 | 12.98/13.07 c | 173 | 0.8 | 0 | 40657 | 188 | 43 | 7321302 | 445619 || 173 | 652207 | 8/ 0 | 62261 | 0 | 13.88/13.96 c | 187 | 0.9 | 0 | 42144 | 379 | 44 | 7714694 | 459491 || 187 | 677794 | 8/ 0 | 64866 | 0 | 14.78/14.84 c | 189 | 0.9 | 0 | 43388 | 1077 | 45 | 8104044 | 470627 || 189 | 701325 | 8/ 0 | 67441 | 0 | 15.78/15.86 c | 190 | 1.0 | 0 | 44006 | 1278 | 46 | 8511995 | 484214 || 190 | 734362 | 8/ 0 | 70924 | 0 | 16.78/16.87 c | 200 | 1.0 | 0 | 44859 | 166 | 47 | 8941515 | 495281 || 200 | 751928 | 8/ 0 | 72644 | 0 | 17.88/17.94 c | 212 | 1.1 | 0 | 45949 | 545 | 48 | 9362320 | 511118 || 212 | 780107 | 8/ 0 | 75694 | 0 | 18.98/19.07 c | 221 | 1.1 | 0 | 47394 | 1636 | 49 | 9813298 | 524890 || 221 | 812104 | 8/ 0 | 79535 | 0 | 20.18/20.20 c | 231 | 1.1 | 0 | 48526 | 18 | 50 | 10278021 | 537862 || 231 | 834868 | 8/ 0 | 81304 | 0 | 21.28/21.38 c | 243 | 1.2 | 0 | 49775 | 107 | 51 | 10727258 | 550777 || 243 | 861905 | 8/ 0 | 84349 | 0 | 22.48/22.59 c | 252 | 1.2 | 0 | 50897 | 2095 | 52 | 11171421 | 573336 || 252 | 894184 | 8/ 0 | 88190 | 0 | 23.78/23.83 c | 253 | 1.2 | 0 | 52244 | 592 | 53 | 11634022 | 593134 || 253 | 924097 | 8/ 0 | 91628 | 0 | 25.18/25.22 c | 254 | 1.4 | 0 | 52784 | 6394 | 54 | 12129253 | 606228 || 254 | 959054 | 8/ 0 | 98327 | 0 | 26.48/26.56 c | 254 | 1.3 | 0 | 52981 | 2693 | 55 | 12616516 | 617996 || 254 | 980573 | 8/ 0 | 98466 | 0 | 27.78/27.86 c | 255 | 1.3 | 0 | 53253 | 8696 | 56 | 13117418 | 629382 || 255 | 1019387 | 8/ 0 | 111579 | 0 | 29.18/29.24 c | 255 | 1.4 | 0 | 54828 | 6101 | 57 | 13546059 | 645366 || 255 | 1062641 | 8/ 0 | 111917 | 0 | 30.68/30.80 c | 255 | 1.6 | 0 | 55182 | 1798 | 58 | 14050476 | 658545 || 255 | 1094313 | 8/ 0 | 112154 | 0 | 32.18/32.30 c | 255 | 1.5 | 0 | 55417 | 8100 | 59 | 14653017 | 671446 || 255 | 1094313 | 8/ 0 | 112154 | 0 | 33.98/34.02 c | 262 | 1.7 | 0 | 56519 | 288 | 60 | 15285220 | 681161 || 262 | 1103654 | 8/ 0 | 113420 | 0 | 35.58/35.68 c | 277 | 1.7 | 0 | 57741 | 368 | 61 | 15835982 | 697552 || 277 | 1135707 | 5/ 0 | 116852 | 0 | 37.29/37.38 c | 286 | 1.7 | 0 | 59203 | 357 | 62 | 16395302 | 712382 || 286 | 1168922 | 5/ 0 | 120687 | 0 | 39.18/39.25 c | 301 | 1.9 | 0 | 58275 | 1026 | 63 | 17026728 | 734331 || 301 | 1198707 | 5/ 0 | 124110 | 0 | 40.98/41.09 c | 316 | 1.8 | 0 | 59551 | 202 | 64 | 17610943 | 749060 || 316 | 1229405 | 5/ 0 | 127538 | 0 | 42.90/42.94 c | 318 | 1.8 | 0 | 60845 | 4699 | 65 | 18187100 | 763205 || 318 | 1269468 | 5/ 0 | 132630 | 0 | 44.88/44.90 c | 331 | 2.0 | 0 | 61909 | 179 | 66 | 18837527 | 783564 || 331 | 1290198 | 5/ 0 | 134781 | 0 | 46.88/46.90 c | 347 | 2.0 | 0 | 61594 | 545 | 67 | 19428356 | 799602 || 347 | 1325329 | 5/ 0 | 138627 | 0 | 48.68/48.72 c | 356 | 1.8 | 0 | 62851 | 532 | 68 | 20019192 | 814790 || 356 | 1356947 | 5/ 0 | 142498 | 0 | 50.68/50.75 c | 374 | 2.0 | 0 | 65413 | 108 | 69 | 20648429 | 840314 || 374 | 1389858 | 5/ 0 | 146335 | 0 | 52.80/52.85 c | 381 | 2.1 | 0 | 66421 | 2201 | 70 | 21279490 | 865573 || 381 | 1430969 | 5/ 0 | 153036 | 0 | 55.00/55.07 c | 382 | 2.2 | 0 | 67932 | 4903 | 71 | 21909174 | 879431 || 382 | 1471891 | 5/ 0 | 159767 | 0 | 57.20/57.27 c | 382 | 2.2 | 0 | 68248 | 2904 | 72 | 22530611 | 895798 || 382 | 1500055 | 5/ 0 | 159989 | 0 | 59.58/59.66 c | 396 | 2.4 | 0 | 68469 | 382 | 73 | 23263112 | 909688 || 396 | 1522462 | 5/ 0 | 162574 | 0 | 61.98/62.07 c | 412 | 2.4 | 0 | 68577 | 1147 | 74 | 23895434 | 927073 || 412 | 1560531 | 5/ 0 | 166836 | 0 | 64.48/64.51 c | 426 | 2.4 | 0 | 68650 | 17 | 75 | 24583073 | 943772 || 426 | 1594131 | 5/ 0 | 170664 | 0 | 66.98/67.05 c | 443 | 2.5 | 0 | 70291 | 997 | 76 | 25248040 | 961553 || 443 | 1634961 | 5/ 0 | 175369 | 0 | 69.58/69.67 c | 445 | 2.6 | 0 | 70751 | 693 | 77 | 25905579 | 977398 || 445 | 1678283 | 5/ 0 | 180502 | 0 | 72.18/72.29 c | 460 | 2.6 | 0 | 72423 | 62 | 78 | 26630892 | 992290 || 460 | 1708530 | 5/ 0 | 183918 | 0 | 75.08/75.11 c | 476 | 2.8 | 0 | 74885 | 1948 | 79 | 27327190 | 1010320 || 476 | 1751142 | 5/ 0 | 189046 | 0 | 77.88/77.93 c | 491 | 2.8 | 0 | 76181 | 713 | 80 | 28039998 | 1026528 || 491 | 1784921 | 5/ 0 | 192509 | 0 | 80.98/81.07 c | 507 | 3.1 | 0 | 77862 | 376 | 81 | 28768398 | 1044412 || 507 | 1829581 | 5/ 0 | 197626 | 0 | 83.78/83.89 c | 509 | 2.8 | 0 | 77990 | 4179 | 82 | 29505163 | 1063570 || 509 | 1874645 | 5/ 0 | 207572 | 0 | 86.38/86.48 c | 509 | 2.6 | 0 | 80020 | 3279 | 83 | 30182936 | 1079230 || 509 | 1908369 | 5/ 0 | 207813 | 0 | 89.58/89.68 c | 510 | 3.2 | 0 | 81052 | 12080 | 84 | 30924516 | 1095299 || 510 | 1963883 | 5/ 0 | 221036 | 0 | 92.68/92.74 c | 510 | 3.1 | 0 | 80916 | 1777 | 85 | 31566111 | 1112174 || 510 | 2005045 | 5/ 0 | 221310 | 0 | 96.28/96.32 c | 510 | 3.6 | 0 | 79939 | 10779 | 86 | 32451264 | 1123580 || 510 | 2005045 | 5/ 0 | 221310 | 0 | 99.48/99.53 c | 511 | 3.2 | 0 | 78291 | 19883 | 87 | 33115445 | 1141741 || 511 | 2089009 | 5/ 0 | 247545 | 0 | 102.58/102.60 c | 511 | 3.1 | 0 | 77447 | 9202 | 88 | 33784042 | 1161698 || 511 | 2152354 | 5/ 0 | 247935 | 0 | 105.68/105.71 c | 511 | 3.1 | 0 | 78159 | 9302 | 89 | 34403481 | 1183323 || 511 | 2212808 | 5/ 0 | 248382 | 0 | 108.78/108.87 c | 511 | 3.2 | 0 | 79688 | 9388 | 90 | 35296836 | 1200080 || 511 | 2212948 | 5/ 0 | 248382 | 0 | 112.68/112.75 c | 511 | 3.9 | 0 | 83306 | 18890 | 91 | 36277193 | 1220255 || 511 | 2212948 | 5/ 0 | 248382 | 0 | 116.28/116.30 c | 521 | 3.5 | 0 | 89072 | 170 | 92 | 37180544 | 1235270 || 521 | 2227594 | 5/ 0 | 250082 | 0 | 120.08/120.16 c | 541 | 3.9 | 0 | 93579 | 530 | 93 | 38042282 | 1255384 || 541 | 2273667 | 5/ 0 | 255213 | 0 | 123.99/124.01 c | 557 | 3.9 | 0 | 94835 | 698 | 94 | 38862331 | 1274617 || 557 | 2316242 | 5/ 0 | 260316 | 0 | 127.99/128.06 c | 574 | 4.0 | 0 | 94612 | 1768 | 95 | 39698215 | 1293862 || 574 | 2365498 | 5/ 0 | 268706 | 0 | 132.00/132.03 c | 587 | 4.0 | 0 | 94938 | 247 | 96 | 40599418 | 1315710 || 587 | 2404534 | 5/ 0 | 270960 | 0 | 136.29/136.33 c | 605 | 4.3 | 0 | 93140 | 1814 | 97 | 41448793 | 1336201 || 605 | 2456155 | 5/ 0 | 277325 | 0 | 140.80/140.84 c | 626 | 4.5 | 0 | 89701 | 169 | 98 | 42323318 | 1356115 || 626 | 2496486 | 5/ 0 | 281631 | 0 | 144.88/144.98 c | 637 | 4.1 | 0 | 87926 | 3852 | 99 | 43160595 | 1375472 || 637 | 2550958 | 5/ 0 | 289227 | 0 | 148.98/149.04 c | 638 | 4.1 | 0 | 88972 | 9451 | 100 | 43998636 | 1393600 || 638 | 2605954 | 5/ 0 | 296008 | 0 | 153.28/153.33 c | 651 | 4.3 | 0 | 89568 | 129 | 101 | 44949448 | 1410222 || 651 | 2626108 | 5/ 0 | 298160 | 0 | 157.78/157.84 c | 669 | 4.5 | 0 | 90807 | 95 | 102 | 45818842 | 1432463 || 669 | 2677119 | 5/ 0 | 304530 | 0 | 162.28/162.37 c | 693 | 4.5 | 0 | 91244 | 50 | 103 | 46724931 | 1452984 || 693 | 2719976 | 5/ 0 | 309419 | 0 | 166.78/166.86 c | 701 | 4.5 | 0 | 93272 | 734 | 104 | 47596112 | 1474044 || 701 | 2775840 | 5/ 0 | 316470 | 0 | 171.78/171.89 c | 723 | 5.0 | 0 | 94038 | 0 | 105 | 48533114 | 1498103 || 723 | 2817394 | 5/ 0 | 321176 | 0 | 176.88/176.90 c | 743 | 5.0 | 0 | 95524 | 49 | 106 | 49434665 | 1519093 || 743 | 2865526 | 5/ 0 | 326788 | 0 | 182.18/182.26 c | 763 | 5.3 | 0 | 97211 | 11 | 107 | 50360862 | 1541364 || 763 | 2923823 | 5/ 0 | 333521 | 0 | 187.18/187.24 c | 765 | 5.0 | 0 | 97935 | 6410 | 108 | 51280361 | 1561236 || 765 | 2980714 | 5/ 0 | 343544 | 0 | 192.18/192.21 c | 766 | 5.0 | 0 | 99648 | 8109 | 109 | 52241442 | 1581368 || 766 | 3031695 | 5/ 0 | 356699 | 0 | 197.08/197.16 c | 766 | 5.0 | 0 | 100157 | 310 | 110 | 53025487 | 1604901 || 766 | 3103467 | 5/ 0 | 357201 | 0 | 202.78/202.80 c | 766 | 5.6 | 0 | 100408 | 11816 | 111 | 54182449 | 1621282 || 766 | 3103467 | 5/ 0 | 357201 | 0 | 208.58/208.67 c | 795 | 5.9 | 0 | 103147 | 378 | 112 | 55161963 | 1644152 || 795 | 3153970 | 5/ 0 | 363152 | 0 | 213.98/214.06 c | 812 | 5.4 | 0 | 104808 | 641 | 113 | 56122513 | 1665943 || 812 | 3203628 | 5/ 0 | 369111 | 0 | 219.48/219.55 c | 829 | 5.5 | 0 | 106115 | 3612 | 114 | 57114060 | 1692233 || 829 | 3262412 | 5/ 0 | 377568 | 0 | 225.18/225.20 c | 849 | 5.7 | 0 | 108199 | 185 | 115 | 58101168 | 1713703 || 849 | 3305437 | 5/ 0 | 381680 | 0 | 231.48/231.58 c | 872 | 6.4 | 0 | 109790 | 138 | 116 | 59085984 | 1737861 || 872 | 3360476 | 5/ 0 | 388065 | 0 | 237.98/238.08 c | 891 | 6.5 | 0 | 112770 | 1106 | 117 | 60047657 | 1763432 || 891 | 3414484 | 5/ 0 | 394648 | 0 | 243.98/244.05 c | 893 | 6.0 | 0 | 111373 | 8505 | 118 | 60986115 | 1787145 || 893 | 3478700 | 5/ 0 | 404731 | 0 | 250.69/250.72 c | 907 | 6.7 | 0 | 112565 | 364 | 119 | 62104492 | 1807007 || 907 | 3507286 | 5/ 0 | 407342 | 0 | 257.08/257.16 c | 929 | 6.4 | 0 | 114613 | 17 | 120 | 63110494 | 1831332 || 929 | 3561632 | 5/ 0 | 413925 | 0 | 264.28/264.32 c | 955 | 7.2 | 0 | 115779 | 1553 | 121 | 64154162 | 1858075 || 955 | 3621109 | 5/ 0 | 421768 | 0 | 270.68/270.73 c | 969 | 6.4 | 0 | 115732 | 221 | 122 | 65135253 | 1880444 || 969 | 3669850 | 5/ 0 | 427342 | 0 | 277.38/277.45 c | 989 | 6.7 | 0 | 117322 | 80 | 123 | 66187760 | 1908686 || 989 | 3724412 | 5/ 0 | 433953 | 0 | 284.79/284.87 c | 1018 | 7.4 | 0 | 119254 | 1123 | 124 | 67218759 | 1934223 || 1018 | 3785781 | 5/ 0 | 442204 | 0 | 291.98/292.05 c | 1020 | 7.2 | 0 | 119715 | 6820 | 125 | 68307106 | 1957215 || 1020 | 3856033 | 5/ 0 | 452303 | 0 | 299.20/299.29 c | 1021 | 7.2 | 0 | 119949 | 10219 | 126 | 69455984 | 1979440 || 1021 | 3921706 | 5/ 0 | 465599 | 0 | 305.88/305.92 c | 1021 | 6.6 | 0 | 122627 | 4120 | 127 | 70439745 | 2002717 || 1021 | 3973960 | 5/ 0 | 466000 | 0 | 312.58/312.68 c | 1022 | 6.8 | 0 | 125110 | 17325 | 128 | 71521380 | 2023391 || 1022 | 4042282 | 5/ 0 | 492120 | 0 | 319.28/319.34 c | 1022 | 6.7 | 0 | 129208 | 13306 | 129 | 72332233 | 2052041 || 1022 | 4119380 | 5/ 0 | 492686 | 0 | 326.59/326.69 c | 1022 | 7.4 | 0 | 128059 | 5631 | 130 | 73377340 | 2073735 || 1022 | 4164470 | 5/ 0 | 492974 | 0 | 334.88/334.96 c | 1022 | 8.3 | 0 | 125569 | 19133 | 131 | 74729100 | 2090154 || 1022 | 4164470 | 5/ 0 | 492974 | 0 | 342.48/342.50 c | 1023 | 7.5 | 0 | 127694 | 32734 | 132 | 75857192 | 2112114 || 1023 | 4285395 | 5/ 0 | 545044 | 0 | 349.38/349.46 c | 1023 | 7.0 | 0 | 125231 | 13703 | 133 | 76777895 | 2139432 || 1023 | 4363820 | 5/ 0 | 545591 | 0 | 357.18/357.20 c | 1023 | 7.8 | 0 | 124279 | 13807 | 134 | 77689724 | 2164751 || 1023 | 4441374 | 5/ 0 | 546123 | 0 | 364.98/365.02 c | 1023 | 7.8 | 0 | 115870 | 13901 | 135 | 78596187 | 2190089 || 1023 | 4518944 | 5/ 0 | 546669 | 0 | 372.18/372.27 c | 1023 | 7.2 | 0 | 114900 | 11343 | 136 | 79818093 | 2208091 || 1023 | 4532619 | 5/ 0 | 546775 | 0 | 379.29/379.34 c | 1023 | 7.1 | 0 | 118465 | 25445 | 137 | 81173896 | 2224738 || 1023 | 4532619 | 5/ 0 | 546775 | 0 | 386.19/386.27 c | 1023 | 6.9 | 0 | 116975 | 39649 | 138 | 82537637 | 2243963 || 1023 | 4532619 | 5/ 0 | 546775 | 0 | 393.70/393.73 c | 1032 | 7.5 | 0 | 114242 | 38 | 139 | 83893059 | 2262621 || 1032 | 4545520 | 5/ 0 | 548272 | 0 | 400.89/400.93 c | 1059 | 7.2 | 0 | 121628 | 180 | 140 | 85119556 | 2294769 || 1059 | 4609528 | 5/ 0 | 556003 | 0 | 408.79/408.81 c | 1085 | 7.9 | 0 | 126525 | 1128 | 141 | 86321753 | 2323986 || 1085 | 4673457 | 5/ 0 | 563922 | 0 | 417.59/417.61 c | 1107 | 8.8 | 0 | 129335 | 187 | 142 | 87562820 | 2350651 || 1107 | 4735660 | 5/ 0 | 571570 | 0 | 426.49/426.56 c | 1132 | 8.9 | 0 | 124536 | 732 | 143 | 88826204 | 2378780 || 1132 | 4799815 | 5/ 0 | 579254 | 0 | 435.19/435.25 c | 1149 | 8.7 | 0 | 117979 | 1895 | 144 | 90060441 | 2406256 || 1149 | 4868415 | 5/ 0 | 587735 | 0 | 443.31/443.36 c | 1153 | 8.1 | 0 | 116586 | 189 | 145 | 91348758 | 2435302 || 1153 | 4928014 | 5/ 0 | 594957 | 0 | 452.00/452.02 c | 1181 | 8.7 | 0 | 112495 | 1332 | 146 | 92589935 | 2463524 || 1181 | 4995757 | 5/ 0 | 603076 | 0 | 460.99/461.02 c | 1212 | 9.0 | 0 | 115076 | 367 | 147 | 93854889 | 2493018 || 1212 | 5068205 | 5/ 0 | 611587 | 0 | 469.89/469.99 c | 1233 | 9.0 | 0 | 115917 | 17 | 148 | 95159219 | 2526450 || 1233 | 5129851 | 5/ 0 | 619005 | 0 | 479.29/479.39 c | 1261 | 9.4 | 0 | 117696 | 52 | 149 | 96423184 | 2556376 || 1261 | 5198221 | 5/ 0 | 627083 | 0 | 488.89/488.95 c | 1276 | 9.6 | 0 | 119427 | 2923 | 150 | 97764352 | 2583115 || 1276 | 5264933 | 5/ 0 | 635410 | 0 | 498.49/498.54 c | 1278 | 9.6 | 0 | 120908 | 8824 | 151 | 99034757 | 2609143 || 1278 | 5350042 | 5/ 0 | 655249 | 0 | 507.69/507.70 c | 1278 | 9.2 | 0 | 122506 | 5225 | 152 | 100283381 | 2641174 || 1278 | 5414867 | 5/ 0 | 655679 | 0 | 518.00/518.05 c | 1300 | 10.4 | 0 | 123864 | 291 | 153 | 101683468 | 2666595 || 1300 | 5452794 | 5/ 0 | 660374 | 0 | 528.29/528.34 c | 1330 | 10.3 | 0 | 128054 | 28 | 154 | 102982699 | 2696232 || 1330 | 5521330 | 5/ 0 | 668495 | 0 | 538.69/538.73 c | 1347 | 10.4 | 0 | 129387 | 193 | 155 | 104320772 | 2724362 || 1347 | 5586916 | 5/ 0 | 676907 | 0 | 549.90/549.93 c | 1378 | 11.2 | 0 | 131254 | 122 | 156 | 105646791 | 2754602 || 1378 | 5656315 | 5/ 0 | 685403 | 0 | 560.29/560.39 c | 1404 | 10.5 | 0 | 133166 | 2863 | 157 | 106923698 | 2784883 || 1404 | 5730938 | 5/ 0 | 696360 | 0 | 570.69/570.78 c | 1405 | 10.4 | 0 | 135161 | 4656 | 158 | 108270161 | 2810741 || 1405 | 5798143 | 5/ 0 | 703189 | 0 | 582.39/582.40 c | 1436 | 11.6 | 0 | 135698 | 90 | 159 | 109618460 | 2843359 || 1436 | 5867819 | 5/ 0 | 711705 | 0 | 594.09/594.12 c | 1467 | 11.7 | 0 | 134255 | 422 | 160 | 110915423 | 2873533 || 1467 | 5936538 | 5/ 0 | 720209 | 0 | 605.29/605.31 c | 1491 | 11.2 | 0 | 136391 | 475 | 161 | 112280428 | 2904383 || 1491 | 6000556 | 5/ 0 | 728384 | 0 | 617.29/617.32 c | 1524 | 12.0 | 0 | 139979 | 5 | 162 | 113654073 | 2935454 || 1524 | 6071905 | 5/ 0 | 737223 | 0 | 628.49/628.55 c | 1532 | 11.2 | 0 | 141604 | 6891 | 163 | 114931144 | 2964921 || 1532 | 6157024 | 5/ 0 | 750686 | 0 | 642.59/642.61 c | 1533 | 14.0 | 0 | 143565 | 14090 | 164 | 116291659 | 2992327 || 1533 | 6243254 | 5/ 0 | 764067 | 0 | 657.39/657.49 c | 1533 | 14.9 | 0 | 142798 | 11792 | 165 | 117788934 | 3017716 || 1533 | 6275189 | 5/ 0 | 764280 | 0 | 668.81/668.84 c | 1534 | 11.4 | 0 | 142212 | 28794 | 166 | 118898037 | 3050236 || 1534 | 6405231 | 5/ 0 | 790837 | 0 | 681.29/681.38 c | 1534 | 12.5 | 0 | 142073 | 7496 | 167 | 120187013 | 3077572 || 1534 | 6459366 | 5/ 0 | 791204 | 0 | 693.59/693.66 c | 1534 | 12.3 | 0 | 142042 | 24697 | 168 | 121836546 | 3097578 || 1534 | 6459366 | 5/ 0 | 791204 | 0 | 706.59/706.62 c | 1567 | 13.0 | 0 | 147746 | 37 | 169 | 123220140 | 3129238 || 1567 | 6530378 | 5/ 0 | 799963 | 0 | 720.20/720.21 c | 1597 | 13.6 | 0 | 148730 | 3280 | 170 | 124606168 | 3161064 || 1597 | 6610554 | 5/ 0 | 811586 | 0 | 733.61/733.71 c | 1627 | 13.5 | 0 | 152545 | 702 | 171 | 126022371 | 3191556 || 1627 | 6675637 | 5/ 0 | 818477 | 0 | 747.30/747.39 c | 1659 | 13.7 | 0 | 156150 | 2232 | 172 | 127421770 | 3223827 || 1659 | 6754534 | 5/ 0 | 828684 | 0 | 761.70/761.72 c | 1661 | 14.3 | 0 | 159430 | 3126 | 173 | 128882104 | 3252846 || 1661 | 6830740 | 5/ 0 | 838839 | 0 | 776.70/776.75 c | 1692 | 15.0 | 0 | 157712 | 57 | 174 | 130327147 | 3284446 || 1692 | 6899961 | 5/ 0 | 847344 | 0 | 791.91/791.95 c | 1724 | 15.2 | 0 | 153481 | 1881 | 175 | 131751749 | 3316406 || 1724 | 6973230 | 5/ 0 | 859088 | 0 | 807.60/807.60 c | 1754 | 15.6 | 0 | 155001 | 1024 | 176 | 133207491 | 3348460 || 1754 | 7045711 | 5/ 0 | 866034 | 0 | 822.90/822.94 c | 1786 | 15.3 | 0 | 156628 | 1851 | 177 | 134646521 | 3381463 || 1786 | 7125973 | 5/ 0 | 876208 | 0 | 836.80/836.88 c | 1788 | 14.0 | 0 | 156593 | 3245 | 178 | 136111569 | 3414649 || 1788 | 7199684 | 5/ 0 | 886355 | 0 | 851.31/851.34 c | 1789 | 14.5 | 0 | 159678 | 2345 | 179 | 137444740 | 3447594 || 1789 | 7292114 | 5/ 0 | 899891 | 0 | 867.81/867.90 c | 1810 | 16.6 | 0 | 160323 | 100 | 180 | 139062656 | 3477597 || 1810 | 7326752 | 5/ 0 | 904167 | 0 | 884.10/884.14 c | 1848 | 16.2 | 0 | 161876 | 94 | 181 | 140551023 | 3512609 || 1848 | 7404607 | 5/ 0 | 913970 | 0 | 900.20/900.22 c | 1868 | 16.1 | 0 | 162904 | 846 | 182 | 142066229 | 3545272 || 1868 | 7479274 | 5/ 0 | 923814 | 0 | 916.90/916.98 c | 1907 | 16.8 | 0 | 164352 | 172 | 183 | 143559491 | 3579837 || 1907 | 7560280 | 5/ 0 | 933708 | 0 | 932.90/932.97 c | 1916 | 16.0 | 0 | 166508 | 8650 | 184 | 144985285 | 3613206 || 1916 | 7652837 | 5/ 0 | 947345 | 0 | 949.80/949.82 c | 1946 | 16.8 | 0 | 167191 | 678 | 185 | 146530921 | 3644529 || 1946 | 7711534 | 5/ 0 | 954165 | 0 | 967.00/967.02 c | 1978 | 17.2 | 0 | 171188 | 11 | 186 | 148014524 | 3679697 || 1978 | 7796744 | 5/ 0 | 964402 | 0 | 985.10/985.17 c | 2008 | 18.1 | 0 | 171778 | 250 | 187 | 149560374 | 3712729 || 2008 | 7871980 | 5/ 0 | 973786 | 0 | 1003.60/1003.67 c | 2041 | 18.5 | 0 | 173315 | 2176 | 188 | 151047660 | 3748103 || 2041 | 7956794 | 5/ 0 | 984802 | 0 | 1020.20/1020.22 c | 2043 | 16.5 | 0 | 175284 | 4669 | 189 | 152531506 | 3779296 || 2043 | 8026849 | 5/ 0 | 994919 | 0 | 1036.90/1036.91 c | 2044 | 16.7 | 0 | 176149 | 4869 | 190 | 153930970 | 3811054 || 2044 | 8118170 | 5/ 0 | 1008403 | 0 | 1055.40/1055.45 c | 2045 | 18.5 | 0 | 176024 | 24370 | 191 | 155406781 | 3842925 || 2045 | 8226615 | 5/ 0 | 1034798 | 0 | 1074.40/1074.41 c | 2045 | 19.0 | 0 | 172867 | 5570 | 192 | 156822325 | 3876366 || 2045 | 8303846 | 5/ 0 | 1035337 | 0 | 1096.62/1096.62 c | 2045 | 22.2 | 0 | 168889 | 25271 | 193 | 158702783 | 3899270 || 2045 | 8303846 | 5/ 0 | 1035337 | 0 | 1112.81/1112.87 c | 2046 | 16.2 | 0 | 171786 | 45072 | 194 | 159995407 | 3937675 || 2046 | 8493347 | 5/ 0 | 1087930 | 0 | 1129.91/1129.94 c | 2046 | 17.1 | 0 | 167060 | 19903 | 195 | 161312898 | 3975403 || 2046 | 8599979 | 5/ 0 | 1088716 | 0 | 1147.11/1147.21 c | 2046 | 17.3 | 0 | 162485 | 8173 | 196 | 162771430 | 4013423 || 2046 | 8662013 | 5/ 0 | 1089212 | 0 | 1165.01/1165.06 c | 2046 | 17.9 | 0 | 163247 | 28275 | 197 | 164529217 | 4037050 || 2046 | 8662013 | 5/ 0 | 1089212 | 0 | 1182.53/1182.52 c | 2046 | 17.5 | 0 | 174667 | 48476 | 198 | 166324517 | 4063126 || 2046 | 8662013 | 5/ 0 | 1089212 | 0 | 1200.02/1200.09 c | 2047 | 17.6 | 0 | 184062 | 68777 | 199 | 167833123 | 4100807 || 2047 | 8947403 | 5/ 0 | 1193562 | 0 | 1218.01/1218.00 c | 2047 | 17.9 | 0 | 175479 | 20404 | 200 | 169247867 | 4139609 || 2047 | 9071372 | 5/ 0 | 1194347 | 0 | 1235.61/1235.66 c | 2047 | 17.7 | 0 | 184542 | 20503 | 201 | 170614023 | 4178430 || 2047 | 9190716 | 5/ 0 | 1195146 | 0 | 1255.81/1255.89 c | 2047 | 20.2 | 0 | 187970 | 20602 | 202 | 171993575 | 4216618 || 2047 | 9311263 | 5/ 0 | 1195968 | 0 | 1276.61/1276.67 c | 2047 | 20.8 | 0 | 186774 | 20702 | 203 | 173409152 | 4254973 || 2047 | 9432056 | 5/ 0 | 1196785 | 0 | 1297.92/1298.00 c | 2047 | 21.3 | 0 | 178110 | 18189 | 204 | 175301797 | 4281046 || 2047 | 9449168 | 5/ 0 | 1196891 | 0 | 1318.01/1318.03 c | 2047 | 20.0 | 0 | 165742 | 39091 | 205 | 177296254 | 4307031 || 2047 | 9449168 | 5/ 0 | 1196891 | 0 | 1336.61/1336.62 c | 2047 | 18.6 | 0 | 170334 | 60093 | 206 | 179249884 | 4333716 || 2047 | 9449168 | 5/ 0 | 1196891 | 0 | 1355.01/1355.01 c | 2047 | 18.4 | 0 | 180401 | 81194 | 207 | 181257276 | 4358717 || 2047 | 9449168 | 5/ 0 | 1196891 | 0 | 1371.62/1371.62 c | 2047 | 16.6 | 0 | 193167 | 102395 | 208 | 183314318 | 4387123 || 2047 | 9449168 | 5/ 0 | 1196891 | 0 | 1391.61/1391.64 c | 2093 | 20.0 | 0 | 203832 | 808 | 209 | 185061241 | 4430247 || 2093 | 9545901 | 5/ 0 | 1208829 | 0 | 1413.91/1413.93 c | 2124 | 22.3 | 0 | 204451 | 363 | 210 | 186875182 | 4472218 || 2124 | 9632559 | 5/ 0 | 1219864 | 0 | 1436.21/1436.24 c | 2166 | 22.3 | 0 | 194809 | 174 | 211 | 188588178 | 4513765 || 2166 | 9722436 | 5/ 0 | 1230886 | 0 | 1455.92/1455.99 c | 2174 | 19.8 | 0 | 185899 | 2371 | 212 | 190238883 | 4552475 || 2174 | 9818785 | 5/ 0 | 1244423 | 0 | 1477.82/1477.83 c | 2211 | 21.8 | 0 | 175022 | 193 | 213 | 192072771 | 4590967 || 2211 | 9895278 | 5/ 0 | 1253804 | 0 | 1498.42/1498.40 c | 2241 | 20.6 | 0 | 167582 | 22 | 214 | 193839256 | 4634381 || 2241 | 9983397 | 5/ 0 | 1265364 | 0 | 1519.72/1519.79 c | 2285 | 21.4 | 0 | 159671 | 15 | 215 | 195602039 | 4675756 || 2285 | 10077812 | 5/ 0 | 1276953 | 0 | 1538.94/1538.93 c | 2301 | 19.1 | 0 | 162243 | 9481 | 216 | 197336383 | 4715652 || 2301 | 10189164 | 5/ 0 | 1291977 | 0 | 1557.72/1557.70 c | 2302 | 18.8 | 0 | 165324 | 2779 | 217 | 199154657 | 4751750 || 2302 | 10286742 | 5/ 0 | 1305464 | 0 | 1579.22/1579.24 c | 2332 | 21.5 | 0 | 171483 | 118 | 218 | 201094729 | 4788203 || 2332 | 10344318 | 5/ 0 | 1312294 | 0 | 1600.62/1600.66 c | 2365 | 21.4 | 0 | 176122 | 3956 | 219 | 202892085 | 4829309 || 2365 | 10446654 | 5/ 0 | 1325880 | 0 | 1623.72/1623.70 c | 2403 | 23.1 | 0 | 177994 | 282 | 220 | 204727416 | 4868845 || 2403 | 10530744 | 5/ 0 | 1335725 | 0 | 1646.12/1646.10 c | 2429 | 22.4 | 0 | 179977 | 5521 | 221 | 206518706 | 4910193 || 2429 | 10638047 | 5/ 0 | 1352965 | 0 | 1670.12/1670.14 c | 2459 | 24.0 | 0 | 181558 | 60 | 222 | 208395215 | 4948667 || 2459 | 10717346 | 5/ 0 | 1360014 | 0 | 1693.82/1693.81 c | 2492 | 23.7 | 0 | 185468 | 4291 | 223 | 210147561 | 4990806 || 2492 | 10820046 | 5/ 0 | 1373623 | 0 | 1719.02/1719.06 c | 2533 | 25.2 | 0 | 184877 | 0 | 224 | 212063250 | 5031277 || 2533 | 10905540 | 5/ 0 | 1383843 | 0 | 1742.44/1742.44 c | 2556 | 23.4 | 0 | 183842 | 6647 | 225 | 213832211 | 5072608 || 2556 | 11015735 | 5/ 0 | 1400625 | 0 | 1764.44/1764.44 c | 2557 | 22.0 | 0 | 186706 | 844 | 226 | 215484198 | 5112530 || 2557 | 11125682 | 5/ 0 | 1414258 | 0 | 1788.72/1788.79 c | 2558 | 24.4 | 0 | 187280 | 23949 | 227 | 217419748 | 5148972 || 2558 | 11233100 | 5/ 0 | 1440670 | 0 | 1817.92/1817.98 c | 2558 | 29.2 | 0 | 188559 | 8748 | 228 | 219285043 | 5186783 || 2558 | 11314225 | 5/ 0 | 1441205 | 0 | 1849.32/1849.39 c | 2574 | 31.4 | 0 | 184418 | 818 | 229 | 221488372 | 5218679 || 2574 | 11340797 | 5/ 0 | 1444706 | 0 | 1874.82/1874.86 c | 2620 | 25.5 | 0 | 187535 | 1726 | 230 | 223319844 | 5263154 || 2620 | 11443383 | 5/ 0 | 1458175 | 0 | 1901.83/1901.87 c | 2652 | 27.0 | 0 | 189222 | 351 | 231 | 225178957 | 5304413 || 2652 | 11536811 | 5/ 0 | 1470044 | 0 | 1928.62/1928.64 c | 2684 | 26.8 | 0 | 188434 | 3099 | 232 | 227061596 | 5347284 || 2684 | 11627748 | 5/ 0 | 1481905 | 0 | 1954.92/1954.99 c | 2714 | 26.3 | 0 | 192300 | 510 | 233 | 228903159 | 5388522 || 2714 | 11724654 | 5/ 0 | 1494614 | 0 | 1981.63/1981.62 c | 2748 | 26.6 | 0 | 194237 | 4034 | 234 | 230742429 | 5430147 || 2748 | 11829421 | 5/ 0 | 1509011 | 0 | 2008.73/2008.79 c | 2792 | 27.2 | 0 | 200837 | 38 | 235 | 232599540 | 5471805 || 2792 | 11918051 | 5/ 0 | 1519672 | 0 | 2036.23/2036.26 c | 2812 | 27.5 | 0 | 200282 | 8602 | 236 | 234373442 | 5513628 || 2812 | 12031952 | 5/ 0 | 1536153 | 0 | 2068.13/2068.10 c | 2813 | 31.8 | 0 | 201487 | 3898 | 237 | 236326569 | 5552561 || 2813 | 12134735 | 5/ 0 | 1549729 | 0 | 2098.73/2098.76 c | 2844 | 30.7 | 0 | 203135 | 835 | 238 | 238429087 | 5590621 || 2844 | 12201191 | 5/ 0 | 1558225 | 0 | 2128.83/2128.85 c | 2881 | 30.1 | 0 | 206633 | 139 | 239 | 240365730 | 5632722 || 2881 | 12298339 | 5/ 0 | 1570809 | 0 | 2160.45/2160.42 c | 2932 | 31.6 | 0 | 210892 | 205 | 240 | 242281115 | 5677308 || 2932 | 12399372 | 5/ 0 | 1583737 | 0 | 2190.43/2190.42 c | 2940 | 30.0 | 0 | 211343 | 4984 | 241 | 244168336 | 5716806 || 2940 | 12494009 | 5/ 0 | 1597299 | 0 | 2221.83/2221.85 c | 2989 | 31.4 | 0 | 212015 | 73 | 242 | 246074469 | 5761195 || 2989 | 12591593 | 5/ 0 | 1609657 | 0 | 2251.83/2251.89 c | 3028 | 30.0 | 0 | 214736 | 192 | 243 | 247976103 | 5805461 || 3028 | 12690868 | 5/ 0 | 1622809 | 0 | 2283.83/2283.84 c | 3066 | 31.9 | 0 | 218454 | 3624 | 244 | 249926589 | 5849401 || 3066 | 12802008 | 5/ 0 | 1638063 | 0 | 2315.43/2315.47 c | 3068 | 31.6 | 0 | 218288 | 14117 | 245 | 251759017 | 5890764 || 3068 | 12924399 | 5/ 0 | 1658182 | 0 | 2347.03/2347.06 c | 3069 | 31.6 | 0 | 216900 | 19915 | 246 | 253737729 | 5928789 || 3069 | 13036702 | 5/ 0 | 1684617 | 0 | 2376.83/2376.89 c | 3069 | 29.8 | 0 | 217782 | 6617 | 247 | 255491733 | 5971191 || 3069 | 13138115 | 5/ 0 | 1685345 | 0 | 2410.15/2410.12 c | 3070 | 33.2 | 0 | 217921 | 31818 | 248 | 257620397 | 6005117 || 3070 | 13265021 | 5/ 0 | 1737636 | 0 | 2440.95/2440.95 c | 3070 | 30.8 | 0 | 216468 | 25304 | 249 | 259311218 | 6053766 || 3070 | 13409771 | 5/ 0 | 1738657 | 0 | 2473.73/2473.80 c | 3070 | 32.8 | 0 | 212133 | 5721 | 250 | 261099879 | 6098591 || 3070 | 13519584 | 5/ 0 | 1739440 | 0 | 2511.74/2511.71 c | 3070 | 37.9 | 0 | 206704 | 31224 | 251 | 263473143 | 6127508 || 3070 | 13519584 | 5/ 0 | 1739440 | 0 | 2548.34/2548.32 c | 3085 | 36.6 | 0 | 205391 | 1186 | 252 | 265783312 | 6160552 || 3085 | 13546898 | 5/ 0 | 1742861 | 0 | 2580.44/2580.48 c | 3132 | 32.2 | 0 | 204323 | 773 | 253 | 267745005 | 6205752 || 3132 | 13651811 | 5/ 0 | 1756403 | 0 | 2612.34/2612.40 c | 3172 | 31.9 | 0 | 206909 | 479 | 254 | 269783563 | 6254563 || 3172 | 13755704 | 5/ 0 | 1769663 | 0 | 2643.14/2643.18 c | 3197 | 30.8 | 0 | 209509 | 9128 | 255 | 271745954 | 6300096 || 3197 | 13880601 | 5/ 0 | 1786958 | 0 | 2676.44/2676.44 c | 3238 | 33.2 | 0 | 217711 | 39 | 256 | 273826468 | 6344010 || 3238 | 13964155 | 5/ 0 | 1797188 | 0 | 2711.94/2711.95 c | 3277 | 35.5 | 0 | 222495 | 163 | 257 | 275828061 | 6389258 || 3277 | 14069643 | 5/ 0 | 1810949 | 0 | 2748.34/2748.35 c | 3323 | 36.4 | 0 | 227260 | 2364 | 258 | 277851380 | 6439444 || 3323 | 14183935 | 5/ 0 | 1827617 | 0 | 2782.74/2782.77 c | 3325 | 34.4 | 0 | 230103 | 14264 | 259 | 279949712 | 6482283 || 3325 | 14310618 | 5/ 0 | 1847740 | 0 | 2816.54/2816.58 c | 3347 | 33.8 | 0 | 231346 | 206 | 260 | 282080611 | 6523208 || 3347 | 14374838 | 5/ 0 | 1852644 | 0 | 2852.44/2852.44 c | 3388 | 35.9 | 0 | 237603 | 4622 | 261 | 284079239 | 6570565 || 3388 | 14492071 | 5/ 0 | 1868368 | 0 | 2890.75/2890.75 c | 3437 | 38.3 | 0 | 238580 | 71 | 262 | 286130132 | 6616850 || 3437 | 14589880 | 5/ 0 | 1880694 | 0 | 2926.44/2926.41 c | 3452 | 35.7 | 0 | 240311 | 4943 | 263 | 288134249 | 6659644 || 3452 | 14693274 | 5/ 0 | 1895469 | 0 | 2966.94/2966.99 c | 3508 | 40.6 | 0 | 246031 | 101 | 264 | 290224379 | 6707322 || 3508 | 14800809 | 5/ 0 | 1909047 | 0 | 3005.64/3005.66 c | 3546 | 38.7 | 0 | 247232 | 1631 | 265 | 292233733 | 6754340 || 3546 | 14908792 | 5/ 0 | 1924301 | 0 | 3046.65/3046.60 c | 3579 | 40.9 | 0 | 251313 | 5365 | 266 | 294277958 | 6800980 || 3579 | 15024108 | 5/ 0 | 1942759 | 0 | 3085.85/3085.87 c | 3580 | 39.3 | 0 | 246781 | 3658 | 267 | 296308216 | 6845412 || 3580 | 15142128 | 5/ 0 | 1956456 | 0 | 3124.95/3124.95 c | 3581 | 39.1 | 0 | 245812 | 30860 | 268 | 298494011 | 6889290 || 3581 | 15300798 | 5/ 0 | 1983161 | 0 | 3169.06/3169.03 c | 3581 | 44.1 | 0 | 245112 | 19759 | 269 | 301014515 | 6928838 || 3581 | 15349072 | 5/ 0 | 1983491 | 0 | 3211.36/3211.38 c | 3627 | 42.3 | 0 | 250748 | 1063 | 270 | 303228940 | 6974155 || 3627 | 15440182 | 5/ 0 | 1995451 | 0 | 3253.76/3253.73 c | 3673 | 42.3 | 0 | 253364 | 250 | 271 | 305404462 | 7023443 || 3673 | 15549418 | 5/ 0 | 2009859 | 0 | 3295.76/3295.72 c | 3707 | 42.0 | 0 | 255637 | 2787 | 272 | 307515867 | 7069787 || 3707 | 15656990 | 5/ 0 | 2024271 | 0 | 3338.58/3338.57 c | 3739 | 42.9 | 0 | 257434 | 30 | 273 | 309727863 | 7117905 || 3739 | 15772180 | 5/ 0 | 2039520 | 0 | 3380.27/3380.26 c | 3784 | 41.7 | 0 | 262436 | 219 | 274 | 311818378 | 7166086 || 3784 | 15876510 | 5/ 0 | 2053530 | 0 | 3422.36/3422.31 c | 3833 | 42.0 | 0 | 266979 | 1127 | 275 | 313928987 | 7214850 || 3833 | 15991085 | 5/ 0 | 2068410 | 0 | 3464.36/3464.33 c | 3836 | 42.0 | 0 | 263550 | 14716 | 276 | 315973786 | 7261073 || 3836 | 16129831 | 5/ 0 | 2091896 | 0 | 3507.46/3507.43 c | 3865 | 43.1 | 0 | 262182 | 557 | 277 | 318192824 | 7307607 || 3865 | 16199975 | 5/ 0 | 2097993 | 0 | 3552.46/3552.49 c | 3902 | 45.1 | 0 | 263747 | 178 | 278 | 320366267 | 7355371 || 3902 | 16310791 | 5/ 0 | 2112881 | 0 | 3600.38/3600.35 c | 3960 | 47.9 | 0 | 265843 | 651 | 279 | 322522011 | 7405734 || 3960 | 16426201 | 5/ 0 | 2127739 | 0 | 3647.27/3647.29 c | 3978 | 47.0 | 0 | 266933 | 207 | 280 | 324745361 | 7450786 || 3978 | 16535236 | 5/ 0 | 2142973 | 0 | 3694.57/3694.55 c | 4026 | 47.3 | 0 | 267856 | 3785 | 281 | 326922501 | 7500305 || 4026 | 16657254 | 5/ 0 | 2159893 | 0 | 3743.67/3743.60 c | 4079 | 49.1 | 0 | 266679 | 423 | 282 | 329142693 | 7549129 || 4079 | 16764406 | 5/ 0 | 2173105 | 0 | 3787.27/3787.27 c | 4091 | 43.7 | 0 | 271153 | 8102 | 283 | 331317208 | 7596332 || 4091 | 16897128 | 5/ 0 | 2200098 | 0 | 3830.37/3830.38 c | 4092 | 43.1 | 0 | 275523 | 17704 | 284 | 333519191 | 7641513 || 4092 | 17035099 | 5/ 0 | 2226745 | 0 | 3876.37/3876.40 c | 4092 | 46.0 | 0 | 277698 | 8203 | 285 | 335571954 | 7688714 || 4092 | 17147797 | 5/ 0 | 2227546 | 0 | 3922.37/3922.39 c | 4093 | 46.0 | 0 | 279140 | 37209 | 286 | 337841048 | 7731445 || 4093 | 17299816 | 5/ 0 | 2279695 | 0 | 3968.27/3968.26 c | 4093 | 45.9 | 0 | 286174 | 29102 | 287 | 339633895 | 7786555 || 4093 | 17452398 | 5/ 0 | 2280834 | 0 | 4019.07/4019.03 c | 4093 | 50.8 | 0 | 284012 | 18711 | 288 | 341877480 | 7829372 || 4093 | 17508707 | 5/ 0 | 2281224 | 0 | 4068.67/4068.65 c | 4093 | 49.6 | 0 | 280648 | 48013 | 289 | 344459152 | 7862506 || 4093 | 17508707 | 5/ 0 | 2281224 | 0 | 4115.88/4115.80 c | 4094 | 47.1 | 0 | 276011 | 77414 | 290 | 346417416 | 7915756 || 4094 | 17838146 | 5/ 0 | 2386083 | 0 | 4168.18/4168.16 c | 4094 | 52.4 | 0 | 269090 | 29501 | 291 | 348362861 | 7970824 || 4094 | 17999730 | 5/ 0 | 2387217 | 0 | 4219.48/4219.45 c | 4094 | 51.3 | 0 | 262005 | 29608 | 292 | 350281524 | 8023391 || 4094 | 18160416 | 5/ 0 | 2388324 | 0 | 4270.19/4270.13 c | 4094 | 50.7 | 0 | 244098 | 12625 | 293 | 352544150 | 8069983 || 4094 | 18252549 | 5/ 0 | 2388996 | 0 | 4318.18/4318.11 c | 4094 | 48.0 | 0 | 246751 | 42429 | 294 | 355325534 | 8104058 || 4094 | 18252549 | 5/ 0 | 2388996 | 0 | 4359.29/4359.31 c | 4094 | 41.2 | 0 | 256785 | 72333 | 295 | 357975431 | 8139455 || 4094 | 18252549 | 5/ 0 | 2388996 | 0 | 4406.88/4406.87 c | 4094 | 47.6 | 0 | 247609 | 102334 | 296 | 360777094 | 8173524 || 4094 | 18252549 | 5/ 0 | 2388996 | 0 | 4454.99/4454.94 c | 4095 | 48.1 | 0 | 261057 | 132436 | 297 | 362846207 | 8229925 || 4095 | 18780709 | 5/ 0 | 2596085 | 0 | 4512.88/4512.81 c | 4095 | 57.9 | 0 | 266414 | 30201 | 298 | 364824058 | 8283635 || 4095 | 18956907 | 5/ 0 | 2597263 | 0 | 4577.09/4577.11 c | 4095 | 64.3 | 0 | 272291 | 30303 | 299 | 366831876 | 8336720 || 4095 | 19134536 | 5/ 0 | 2598453 | 0 | 4645.69/4645.62 c | 4095 | 68.5 | 0 | 266738 | 30403 | 300 | 368813576 | 8388745 || 4095 | 19313838 | 5/ 0 | 2599640 | 0 | 4713.69/4713.65 c | 4095 | 68.0 | 0 | 245179 | 30503 | 301 | 370816479 | 8440544 || 4095 | 19494909 | 5/ 0 | 2600739 | 0 | 4779.89/4779.88 c | 4095 | 66.2 | 0 | 225643 | 30601 | 302 | 372834606 | 8493076 || 4095 | 19672222 | 5/ 0 | 2601894 | 0 | 4833.29/4833.23 c | 4095 | 53.4 | 0 | 195281 | 7947 | 303 | 375054187 | 8541889 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 4874.21/4874.18 c | 4095 | 40.9 | 0 | 197680 | 38748 | 304 | 377885305 | 8578402 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 4915.09/4915.02 c | 4095 | 40.8 | 0 | 205975 | 69649 | 305 | 380751547 | 8613630 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 4956.29/4956.25 c | 4095 | 41.2 | 0 | 218679 | 100651 | 306 | 383605735 | 8649342 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 4999.90/4999.87 c | 4095 | 43.6 | 0 | 234067 | 131752 | 307 | 386501369 | 8690280 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 5000.00/4999.92 c | 4095 | 0.1 | 0 | 234107 | 131792 | 307 | 386505018 | 8690333 || 4095 | 19807574 | 5/ 0 | 2602796 | 0 | 5000.00/4999.92 c c 5000.00/4999.92 c ----------------------------------- 5000.00/4999.92 c # temps = 4999.960000 5000.00/4999.92 c # cleaningDB = 307 5000.00/4999.92 c # clause binaire = 2806 5000.00/4999.92 c # literal removed by litRedundant = 86288514 5000.00/4999.92 c # literal removed by litRedundantBin = 19519691 5000.00/4999.92 c # init clause removed by simplify = 0 5000.00/4999.92 c # learnt clause removed by simplify = 0 5000.00/4999.92 c # une clause fausse était une apprise = 0 5000.00/4999.92 c # equivalence dectecte = 0 5000.00/4999.92 c # Memory used : 88.23 MB 5000.00/4999.92 c 5000.00/4999.92 c ######################## 5000.00/4999.92 c #### ## ### ## #### 5000.00/4999.92 c #### #### # ## #### #### 5000.00/4999.92 c #### ## ### ## ### 5000.00/4999.92 c ######################## 5000.00/4999.92 c # restart = 4095 5000.00/4999.92 c # conflit = 4851304 5000.00/4999.92 c # decision = 8690333 5000.00/4999.92 c # propagation = 386505018 (77301.622013 (prop/sec)) 5000.00/4999.92 c 5000.00/4999.92 c ######################## 5000.00/4999.92 c ### ### # ## ## ## 5000.00/4999.92 c ### # # # #### # ### ### 5000.00/4999.92 c ### # ### ## # ### ### 5000.00/4999.92 c ######################## 5000.00/4999.92 c # numtry = 4095 5000.00/4999.92 c # numflips = 19807574 5000.00/4999.92 c # maxSat = 5 5000.00/4999.92 c # freeFlip = 4254584 5000.00/4999.92 c # nbBoundary = 0 5000.00/4999.92 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: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439560-1306934600/watcher-3439560-1306934600 -o /tmp/evaluation-result-3439560-1306934600/solver-3439560-1306934600 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439560-1306934600.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.04 2.05 2.05 2/537 6363 /proc/meminfo: memFree=29342192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805057937 8912896 252 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6363/statm: 2176 252 211 178 0 69 0 [startup+0.0587561 s] /proc/loadavg: 2.04 2.05 2.05 2/537 6363 /proc/meminfo: memFree=29342192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805057937 8912896 252 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/6363/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100776 s] /proc/loadavg: 2.04 2.05 2.05 2/537 6363 /proc/meminfo: memFree=29342192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.300741 s] /proc/loadavg: 2.04 2.05 2.05 2/537 6363 /proc/meminfo: memFree=29342192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+0.700678 s] /proc/loadavg: 2.04 2.05 2.05 2/537 6363 /proc/meminfo: memFree=29342192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8704 [startup+1.50051 s] /proc/loadavg: 2.04 2.05 2.05 3/540 6367 /proc/meminfo: memFree=29332992/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=14760 CPUtime=1.42 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 2146 0 0 0 142 0 0 0 19 0 1 0 805057944 15114240 2058 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 3690 2058 136 12 0 2154 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32168 [startup+3.10124 s] /proc/loadavg: 2.04 2.05 2.05 3/540 6367 /proc/meminfo: memFree=29330624/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=16012 CPUtime=3.02 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 2453 0 0 0 302 0 0 0 25 0 1 0 805057944 16396288 2365 33554432000 4194304 4241092 140735034843520 18446744073709551615 4221877 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 4003 2365 136 12 0 2467 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33420 [startup+6.30069 s] /proc/loadavg: 2.04 2.05 2.05 3/540 6367 /proc/meminfo: memFree=29328688/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=17408 CPUtime=6.22 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 2824 0 0 0 622 0 0 0 25 0 1 0 805057944 17825792 2736 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 4352 2736 136 12 0 2816 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34816 [startup+12.7006 s] /proc/loadavg: 2.03 2.05 2.05 3/540 6368 /proc/meminfo: memFree=29326244/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=19340 CPUtime=12.62 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 3301 0 0 0 1262 0 0 0 25 0 1 0 805057944 19804160 3213 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 4835 3213 136 12 0 3299 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36748 [startup+25.5003 s] /proc/loadavg: 2.02 2.05 2.05 3/540 6400 /proc/meminfo: memFree=29402536/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=21440 CPUtime=25.42 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 3838 0 0 0 2542 0 0 0 25 0 1 0 805057944 21954560 3749 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 5360 3749 136 12 0 3824 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38848 [startup+51.1008 s] /proc/loadavg: 2.02 2.04 2.05 3/540 6401 /proc/meminfo: memFree=29390284/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=24436 CPUtime=51.02 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 4585 0 0 0 5101 1 0 0 25 0 1 0 805057944 25022464 4492 33554432000 4194304 4241092 140735034843520 18446744073709551615 4233343 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 6109 4492 136 12 0 4573 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41844 [startup+102.321 s] /proc/loadavg: 2.00 2.03 2.04 3/540 6402 /proc/meminfo: memFree=29378320/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=28672 CPUtime=102.24 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 5690 0 0 0 10223 1 0 0 25 0 1 0 805057944 29360128 5551 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 7168 5551 136 12 0 5632 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 46080 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.04 3/540 6404 /proc/meminfo: memFree=29369288/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=32492 CPUtime=162.22 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 6740 0 0 0 16220 2 0 0 25 0 1 0 805057944 33271808 6516 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 8123 6516 136 12 0 6587 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 49900 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.03 3/540 6405 /proc/meminfo: memFree=29364884/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=34744 CPUtime=222.22 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 7380 0 0 0 22220 2 0 0 25 0 1 0 805057944 35577856 7064 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 8686 7064 136 12 0 7150 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 52152 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29258192/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=86416 CPUtime=4542.32 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 25316 0 0 0 454221 11 0 0 25 0 1 0 805057944 88489984 19970 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 21604 19970 136 12 0 20068 0 Current children cumulated CPU time (s) 4542.38 Current children cumulated vsize (KiB) 103824 [startup+4602.3 s] /proc/loadavg: 2.03 2.05 2.01 3/540 6534 /proc/meminfo: memFree=29256380/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=86660 CPUtime=4602.34 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 25408 0 0 0 460222 12 0 0 25 0 1 0 805057944 88739840 20027 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 21665 20027 136 12 0 20129 0 Current children cumulated CPU time (s) 4602.4 Current children cumulated vsize (KiB) 104068 [startup+4662.3 s] /proc/loadavg: 2.01 2.04 2.01 3/540 6536 /proc/meminfo: memFree=29255552/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=87036 CPUtime=4662.33 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 25554 0 0 0 466221 12 0 0 25 0 1 0 805057944 89124864 20118 33554432000 4194304 4241092 140735034843520 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 21759 20118 136 12 0 20223 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 104444 [startup+4722.32 s] /proc/loadavg: 2.00 2.03 2.00 3/540 6537 /proc/meminfo: memFree=29253968/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=87180 CPUtime=4722.35 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 25691 0 0 0 472223 12 0 0 25 0 1 0 805057944 89272320 20163 33554432000 4194304 4241092 140735034843520 18446744073709551615 4206170 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 21795 20163 136 12 0 20259 0 Current children cumulated CPU time (s) 4722.41 Current children cumulated vsize (KiB) 104588 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 6539 /proc/meminfo: memFree=29254516/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=87784 CPUtime=4782.33 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 25842 0 0 0 478221 12 0 0 25 0 1 0 805057944 89890816 20314 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 21946 20314 136 12 0 20410 0 Current children cumulated CPU time (s) 4782.39 Current children cumulated vsize (KiB) 105192 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 6540 /proc/meminfo: memFree=29252852/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=88560 CPUtime=4842.33 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 26250 0 0 0 484221 12 0 0 25 0 1 0 805057944 90685440 20532 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 22140 20532 136 12 0 20604 0 Current children cumulated CPU time (s) 4842.39 Current children cumulated vsize (KiB) 105968 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/540 6542 /proc/meminfo: memFree=29251896/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=89152 CPUtime=4902.33 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 26440 0 0 0 490221 12 0 0 25 0 1 0 805057944 91291648 20681 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 22288 20681 136 12 0 20752 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 106560 [startup+4962.3 s] /proc/loadavg: 2.13 2.04 2.01 3/540 6544 /proc/meminfo: memFree=29251580/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=89696 CPUtime=4962.33 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 26632 0 0 0 496221 12 0 0 25 0 1 0 805057944 91848704 20821 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 22424 20821 136 12 0 20888 0 Current children cumulated CPU time (s) 4962.39 Current children cumulated vsize (KiB) 107104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.18 2.06 2.02 3/540 6545 /proc/meminfo: memFree=29250300/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=90336 CPUtime=4999.94 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 26791 0 0 0 499982 12 0 0 25 0 1 0 805057944 92504064 20980 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 22584 20980 136 12 0 21048 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 107744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.18 2.06 2.02 3/540 6545 /proc/meminfo: memFree=29250300/32951124 swapFree=58212616/67111528 [pid=6363] ppid=6361 vsize=8704 CPUtime=0.06 cores=0,2,4,6 /proc/6363/stat : 6363 (esg_static.sh) S 6361 6363 5984 0 -1 4202496 348 767 0 0 0 0 6 0 25 0 1 0 805057937 8912896 255 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 2 0 0 0 /proc/6363/statm: 2176 255 211 178 0 69 0 [pid=6366] ppid=6363 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/6366/stat : 6366 (esg_static.sh) S 6363 6363 5984 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 805057944 8912896 134 33554432000 4194304 4922060 140734710882416 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/6366/statm: 2176 134 90 178 0 69 0 [pid=6367] ppid=6366 vsize=90336 CPUtime=4999.94 cores=0,2,4,6 /proc/6367/stat : 6367 (sathys) R 6366 6363 5984 0 -1 4202496 26791 0 0 0 499982 12 0 0 25 0 1 0 805057944 92504064 20980 33554432000 4194304 4241092 140735034843520 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/6367/statm: 22584 20980 136 12 0 21048 0 Current children cumulated CPU time (s) 5000 Current children cumulated vsize (KiB) 107744 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6363 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=65989 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.071988 # while last known CPU time is 5000 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.93 CPU time (s): 5000 CPU user time (s): 4999.88 CPU system time (s): 0.12 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 107744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.065989 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1281 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= 33 involuntary context switches= 7 runsolver used 28.3457 second user time and 62.6015 second system time The end
Begin job on node136 at 2011-06-01 15:23:20 IDJOB=3439560 IDBENCH=85793 IDSOLVER=1935 FILE ID=node136/3439560-1306934600 RUNJOBID= node136-1306929581-6002 PBS_JOBID= 13488582 Free space on /tmp= 73700 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439560-1306934600/watcher-3439560-1306934600 -o /tmp/evaluation-result-3439560-1306934600/solver-3439560-1306934600 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439560-1306934600.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145 RANDOM SEED=74040349 node136.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.809 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.61 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.809 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.75 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.809 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.809 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.76 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.809 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.75 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.809 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29342348 kB Buffers: 153268 kB Cached: 273020 kB SwapCached: 7704 kB Active: 3053284 kB Inactive: 279396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29342348 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 1800 kB Writeback: 0 kB AnonPages: 2905068 kB Mapped: 24732 kB Slab: 136760 kB PageTables: 68900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 169325780 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= 73700 MiB End job on node136 at 2011-06-01 16:46:42