| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1300.04 | 1300.01 |
| Name | random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf |
| MD5SUM | 409e3a755415661f5541c475b40a659c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.076987 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 80 |
| Number of clauses | 7120 |
| Sum of the clauses size | 49840 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 7120 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189996-1302709837.cnf 0.00/0.00 c Parsing... 0.00/0.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 7120 49840 | 2135 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c Result : #vars: 80 #clauses: 7120 #literals: 49840 0.00/0.00 c CPU time: 0.003999 s 0.00/0.00 c ============================================================================== 0.00/0.02 c 0.00/0.02 c seed = 0, numatom = 80, numclause = 7120, numliterals = 49840 0.00/0.02 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.02 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.02 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.01/0.05 c | 2 | 0.0 | 0 | 501 | 0 | 1 | 5950 | 740 || 2 | 1214 | 5/ 5 | 253 | 0 | 0.01/0.07 c | 4 | 0.0 | 0 | 782 | 0 | 2 | 12892 | 1523 || 4 | 2515 | 4/ 4 | 563 | 0 | 0.01/0.10 c | 7 | 0.0 | 0 | 1037 | 203 | 3 | 21528 | 2446 || 7 | 3798 | 4/ 4 | 876 | 0 | 0.01/0.14 c | 8 | 0.0 | 0 | 1327 | 401 | 4 | 30398 | 3434 || 8 | 5454 | 4/ 4 | 1287 | 0 | 0.01/0.18 c | 11 | 0.0 | 0 | 1668 | 0 | 5 | 40852 | 4661 || 11 | 7496 | 4/ 4 | 1811 | 0 | 0.01/0.23 c | 14 | 0.0 | 0 | 2042 | 498 | 6 | 52685 | 5942 || 14 | 10135 | 1/ 1 | 2529 | 0 | 0.01/0.28 c | 15 | 0.1 | 0 | 2458 | 997 | 7 | 64966 | 7246 || 15 | 13001 | 1/ 1 | 3354 | 0 | 0.01/0.32 c | 16 | 0.0 | 0 | 2720 | 98 | 8 | 78819 | 8687 || 16 | 13969 | 1/ 1 | 3470 | 0 | 0.01/0.39 c | 21 | 0.1 | 0 | 3091 | 84 | 9 | 94264 | 10446 || 21 | 16889 | 1/ 1 | 4195 | 0 | 0.01/0.46 c | 25 | 0.1 | 0 | 3378 | 183 | 10 | 110749 | 12250 || 25 | 19858 | 1/ 1 | 5007 | 0 | 0.01/0.53 c | 29 | 0.1 | 0 | 3663 | 571 | 11 | 127873 | 14188 || 29 | 23442 | 1/ 1 | 5840 | 0 | 0.01/0.61 c | 30 | 0.1 | 0 | 3977 | 370 | 12 | 145952 | 16096 || 30 | 26720 | 1/ 1 | 6669 | 0 | 0.01/0.71 c | 31 | 0.1 | 0 | 4307 | 2071 | 13 | 165083 | 18048 || 31 | 32242 | 1/ 1 | 8305 | 0 | 0.01/0.78 c | 31 | 0.1 | 0 | 4587 | 1467 | 14 | 186275 | 20059 || 31 | 32928 | 1/ 1 | 8314 | 0 | 0.01/0.88 c | 38 | 0.1 | 0 | 4757 | 359 | 15 | 208723 | 22575 || 38 | 37379 | 1/ 1 | 9554 | 0 | 0.01/0.98 c | 44 | 0.1 | 0 | 5048 | 248 | 16 | 231936 | 25176 || 44 | 41175 | 1/ 1 | 10403 | 0 | 0.99/1.10 c | 46 | 0.1 | 0 | 5285 | 244 | 17 | 256264 | 27695 || 46 | 46045 | 1/ 1 | 11636 | 0 | 1.18/1.21 c | 53 | 0.1 | 0 | 5565 | 232 | 18 | 281510 | 30610 || 53 | 50341 | 1/ 1 | 12872 | 0 | 1.28/1.33 c | 59 | 0.1 | 0 | 5878 | 123 | 19 | 307729 | 33585 || 59 | 54526 | 1/ 1 | 13696 | 0 | 1.38/1.45 c | 61 | 0.1 | 0 | 6201 | 723 | 20 | 334888 | 36378 || 61 | 59424 | 1/ 1 | 14941 | 0 | 1.48/1.58 c | 62 | 0.1 | 0 | 6464 | 824 | 21 | 363348 | 39262 || 62 | 64075 | 1/ 1 | 15651 | 0 | 1.68/1.75 c | 63 | 0.2 | 0 | 6871 | 3426 | 22 | 392611 | 42184 || 63 | 73676 | 1/ 1 | 18887 | 0 | 1.78/1.88 c | 63 | 0.1 | 0 | 7266 | 1326 | 23 | 423816 | 45235 || 63 | 76737 | 1/ 1 | 18920 | 0 | 1.98/2.01 c | 67 | 0.1 | 0 | 7537 | 19 | 24 | 456934 | 48556 || 67 | 78895 | 1/ 1 | 19444 | 0 | 2.09/2.18 c | 76 | 0.2 | 0 | 7814 | 298 | 25 | 490452 | 52320 || 76 | 84957 | 1/ 1 | 20980 | 0 | 2.28/2.34 c | 80 | 0.1 | 0 | 8147 | 85 | 26 | 524450 | 55980 || 80 | 90541 | 1/ 1 | 22439 | 0 | 2.48/2.52 c | 90 | 0.2 | 0 | 8522 | 167 | 27 | 559907 | 60096 || 90 | 97033 | 1/ 1 | 24095 | 0 | 2.68/2.72 c | 94 | 0.2 | 0 | 8706 | 1055 | 28 | 595841 | 63919 || 94 | 105948 | 1/ 1 | 27183 | 0 | 2.78/2.88 c | 96 | 0.2 | 0 | 8996 | 51 | 29 | 633127 | 67747 || 96 | 109833 | 1/ 1 | 27418 | 0 | 2.98/3.09 c | 107 | 0.2 | 0 | 9331 | 230 | 30 | 672046 | 72204 || 107 | 117249 | 1/ 1 | 29277 | 0 | 3.19/3.28 c | 113 | 0.2 | 0 | 9467 | 222 | 31 | 712362 | 76483 || 113 | 124031 | 1/ 1 | 31018 | 0 | 3.48/3.50 c | 123 | 0.2 | 0 | 9716 | 4 | 32 | 753789 | 81258 || 123 | 131957 | 1/ 1 | 33008 | 0 | 3.68/3.73 c | 125 | 0.2 | 0 | 9955 | 99 | 33 | 795142 | 85528 || 125 | 141361 | 1/ 1 | 35491 | 0 | 3.88/4.00 c | 126 | 0.3 | 0 | 10317 | 3900 | 34 | 838702 | 89834 || 126 | 151991 | 1/ 1 | 38790 | 0 | 4.08/4.17 c | 126 | 0.2 | 0 | 10822 | 3001 | 35 | 883835 | 94171 || 126 | 153989 | 1/ 1 | 38806 | 0 | 4.48/4.52 c | 127 | 0.3 | 0 | 11212 | 7003 | 36 | 926580 | 98667 || 127 | 172737 | 1/ 1 | 45263 | 0 | 4.68/4.76 c | 127 | 0.2 | 0 | 11496 | 1504 | 37 | 971655 | 103285 || 127 | 178253 | 1/ 1 | 45327 | 0 | 4.88/4.94 c | 127 | 0.2 | 0 | 11793 | 5705 | 38 | 1019956 | 107899 || 127 | 178253 | 1/ 1 | 45327 | 0 | 5.18/5.22 c | 139 | 0.3 | 0 | 12190 | 75 | 39 | 1069590 | 113437 || 139 | 185770 | 1/ 1 | 47203 | 0 | 5.49/5.51 c | 148 | 0.3 | 0 | 12467 | 151 | 40 | 1118420 | 119024 || 148 | 194793 | 1/ 1 | 49472 | 0 | 5.78/5.81 c | 157 | 0.3 | 0 | 12718 | 430 | 41 | 1168998 | 124619 || 157 | 204640 | 1/ 1 | 51974 | 0 | 5.98/6.09 c | 163 | 0.3 | 0 | 12886 | 124 | 42 | 1221011 | 130140 || 163 | 213145 | 1/ 1 | 54217 | 0 | 6.38/6.41 c | 173 | 0.3 | 0 | 13474 | 114 | 43 | 1274172 | 136069 || 173 | 223729 | 1/ 1 | 56893 | 0 | 6.68/6.73 c | 187 | 0.3 | 0 | 13668 | 294 | 44 | 1328525 | 142291 || 187 | 232921 | 1/ 1 | 59377 | 0 | 6.98/7.03 c | 189 | 0.3 | 0 | 13875 | 989 | 45 | 1382966 | 147892 || 189 | 242870 | 1/ 1 | 61875 | 0 | 7.28/7.38 c | 190 | 0.3 | 0 | 14154 | 1185 | 46 | 1437977 | 153483 || 190 | 255170 | 1/ 1 | 65107 | 0 | 7.59/7.69 c | 200 | 0.3 | 0 | 14557 | 60 | 47 | 1495696 | 159809 || 200 | 261947 | 1/ 1 | 66773 | 0 | 7.98/8.04 c | 212 | 0.3 | 0 | 14724 | 443 | 48 | 1555404 | 166344 || 212 | 273002 | 1/ 1 | 69679 | 0 | 8.38/8.40 c | 221 | 0.4 | 0 | 14899 | 1527 | 49 | 1615005 | 172821 || 221 | 285597 | 1/ 1 | 73359 | 0 | 8.69/8.74 c | 231 | 0.3 | 0 | 15279 | 203 | 50 | 1675709 | 179465 || 231 | 293866 | 1/ 1 | 75012 | 0 | 9.09/9.11 c | 243 | 0.4 | 0 | 15537 | 569 | 51 | 1738772 | 186370 || 243 | 305209 | 1/ 1 | 77827 | 0 | 9.49/9.52 c | 252 | 0.4 | 0 | 15825 | 1964 | 52 | 1802169 | 193191 || 252 | 318382 | 1/ 1 | 81510 | 0 | 9.80/9.90 c | 253 | 0.4 | 0 | 16057 | 464 | 53 | 1864986 | 199707 || 253 | 330952 | 1/ 1 | 84808 | 0 | 10.39/10.41 c | 254 | 0.5 | 0 | 16377 | 6266 | 54 | 1931259 | 206259 || 254 | 348486 | 1/ 1 | 91326 | 0 | 10.79/10.83 c | 254 | 0.4 | 0 | 16909 | 2564 | 55 | 1996885 | 212874 || 254 | 356166 | 1/ 1 | 91393 | 0 | 11.29/11.39 c | 255 | 0.5 | 0 | 17359 | 8565 | 56 | 2063429 | 219601 || 255 | 382537 | 1/ 1 | 104333 | 0 | 11.89/11.91 c | 255 | 0.5 | 0 | 17546 | 6103 | 57 | 2130889 | 226493 || 255 | 396116 | 1/ 1 | 104463 | 0 | 12.39/12.45 c | 255 | 0.5 | 0 | 17894 | 1668 | 58 | 2199965 | 233414 || 255 | 406095 | 1/ 1 | 104567 | 0 | 12.79/12.86 c | 255 | 0.4 | 0 | 18058 | 7969 | 59 | 2272348 | 240307 || 255 | 406095 | 1/ 1 | 104567 | 0 | 13.29/13.31 c | 261 | 0.4 | 0 | 18436 | 158 | 60 | 2344758 | 247797 || 261 | 409493 | 1/ 1 | 105384 | 0 | 13.79/13.83 c | 277 | 0.5 | 0 | 18826 | 233 | 61 | 2417940 | 256028 || 277 | 423558 | 1/ 1 | 109114 | 0 | 14.30/14.36 c | 286 | 0.5 | 0 | 19007 | 218 | 62 | 2491117 | 264042 || 286 | 438596 | 1/ 1 | 112840 | 0 | 14.89/14.90 c | 301 | 0.6 | 0 | 19380 | 890 | 63 | 2567266 | 272541 || 301 | 451115 | 1/ 1 | 116166 | 0 | 15.40/15.45 c | 316 | 0.5 | 0 | 19857 | 56 | 64 | 2643144 | 281217 || 316 | 464957 | 1/ 1 | 119496 | 0 | 15.99/16.03 c | 318 | 0.6 | 0 | 20034 | 4557 | 65 | 2718656 | 289029 || 318 | 482900 | 1/ 1 | 124447 | 0 | 16.49/16.56 c | 330 | 0.5 | 0 | 20472 | 33 | 66 | 2799521 | 297599 || 330 | 491121 | 1/ 1 | 126328 | 0 | 17.09/17.16 c | 347 | 0.6 | 0 | 20077 | 403 | 67 | 2880921 | 306629 || 347 | 506234 | 1/ 1 | 130243 | 0 | 17.69/17.72 c | 356 | 0.6 | 0 | 20442 | 380 | 68 | 2962776 | 315227 || 356 | 520375 | 1/ 1 | 133961 | 0 | 18.29/18.30 c | 373 | 0.6 | 0 | 20650 | 143 | 69 | 3045971 | 324501 || 373 | 534603 | 1/ 1 | 137507 | 0 | 18.89/18.95 c | 381 | 0.7 | 0 | 20854 | 2027 | 70 | 3130105 | 333302 || 381 | 554657 | 1/ 1 | 144149 | 0 | 19.59/19.65 c | 382 | 0.7 | 0 | 21186 | 4730 | 71 | 3214753 | 341691 || 382 | 574759 | 1/ 1 | 150654 | 0 | 20.29/20.30 c | 382 | 0.7 | 0 | 21717 | 2728 | 72 | 3300047 | 350184 || 382 | 585281 | 1/ 1 | 150758 | 0 | 20.89/20.98 c | 396 | 0.7 | 0 | 22102 | 209 | 73 | 3389556 | 359548 || 396 | 594438 | 1/ 1 | 153194 | 0 | 21.69/21.70 c | 412 | 0.7 | 0 | 22327 | 970 | 74 | 3477015 | 369299 || 412 | 610986 | 1/ 1 | 157349 | 0 | 22.39/22.40 c | 426 | 0.7 | 0 | 22682 | 140 | 75 | 3565800 | 378976 || 426 | 625416 | 1/ 1 | 161052 | 0 | 23.09/23.17 c | 443 | 0.8 | 0 | 22960 | 811 | 76 | 3656728 | 389069 || 443 | 642587 | 1/ 1 | 165587 | 0 | 23.79/23.88 c | 445 | 0.7 | 0 | 23315 | 504 | 77 | 3745663 | 398322 || 445 | 661887 | 1/ 1 | 170556 | 0 | 24.59/24.62 c | 460 | 0.7 | 0 | 23708 | 1086 | 78 | 3840206 | 408365 || 460 | 674752 | 1/ 1 | 173863 | 0 | 25.39/25.42 c | 476 | 0.8 | 0 | 23908 | 1755 | 79 | 3934830 | 418630 || 476 | 692973 | 1/ 1 | 178855 | 0 | 26.19/26.21 c | 491 | 0.8 | 0 | 23917 | 522 | 80 | 4029727 | 428976 || 491 | 707135 | 1/ 1 | 181920 | 0 | 26.99/27.05 c | 507 | 0.8 | 0 | 24148 | 197 | 81 | 4125565 | 439432 || 507 | 726191 | 1/ 1 | 186879 | 0 | 27.79/27.89 c | 509 | 0.9 | 0 | 24494 | 3998 | 82 | 4223812 | 449115 || 509 | 751202 | 1/ 1 | 196658 | 0 | 28.59/28.69 c | 509 | 0.8 | 0 | 24964 | 3097 | 83 | 4320091 | 458839 || 509 | 763459 | 1/ 1 | 196767 | 0 | 29.59/29.63 c | 510 | 0.9 | 0 | 25358 | 11898 | 84 | 4417247 | 468835 || 510 | 795349 | 1/ 1 | 209810 | 0 | 30.49/30.55 c | 510 | 0.9 | 0 | 25785 | 1592 | 85 | 4515005 | 478860 || 510 | 811093 | 1/ 1 | 209981 | 0 | 31.29/31.33 c | 510 | 0.8 | 0 | 26065 | 10594 | 86 | 4618867 | 488727 || 510 | 811093 | 1/ 1 | 209981 | 0 | 32.39/32.43 c | 511 | 1.1 | 0 | 26394 | 19697 | 87 | 4719451 | 499140 || 511 | 852275 | 1/ 1 | 226124 | 0 | 33.48/33.56 c | 511 | 1.1 | 0 | 26699 | 9201 | 88 | 4818803 | 509490 || 511 | 872143 | 1/ 1 | 226326 | 0 | 34.68/34.73 c | 511 | 1.2 | 0 | 26953 | 9303 | 89 | 4920033 | 519923 || 511 | 891760 | 1/ 1 | 226514 | 0 | 35.68/35.71 c | 511 | 1.0 | 0 | 27469 | 9204 | 90 | 5027771 | 530264 || 511 | 892181 | 1/ 1 | 226516 | 0 | 36.58/36.66 c | 511 | 1.0 | 0 | 27702 | 18706 | 91 | 5137127 | 540675 || 511 | 892181 | 1/ 1 | 226516 | 0 | 37.59/37.67 c | 520 | 1.0 | 0 | 28028 | 179 | 92 | 5246385 | 551807 || 520 | 897991 | 1/ 1 | 227959 | 0 | 38.69/38.76 c | 541 | 1.1 | 0 | 28402 | 336 | 93 | 5356638 | 563950 || 541 | 917576 | 1/ 1 | 232846 | 0 | 39.78/39.81 c | 557 | 1.0 | 0 | 28743 | 501 | 94 | 5467175 | 575963 || 557 | 937023 | 1/ 1 | 237831 | 0 | 40.78/40.84 c | 573 | 1.0 | 0 | 29418 | 1567 | 95 | 5580183 | 587940 || 573 | 956390 | 1/ 1 | 242809 | 0 | 41.88/41.96 c | 586 | 1.1 | 0 | 29212 | 28 | 96 | 5694363 | 599873 || 586 | 975844 | 1/ 1 | 247805 | 0 | 43.09/43.18 c | 605 | 1.2 | 0 | 30174 | 1587 | 97 | 5808954 | 612339 || 605 | 998995 | 1/ 1 | 254199 | 0 | 44.29/44.37 c | 626 | 1.2 | 0 | 30405 | 238 | 98 | 5925013 | 625051 || 626 | 1017040 | 1/ 1 | 258329 | 0 | 45.49/45.58 c | 637 | 1.2 | 0 | 29591 | 3623 | 99 | 6039702 | 637246 || 637 | 1043213 | 1/ 1 | 265706 | 0 | 46.78/46.80 c | 638 | 1.2 | 0 | 30141 | 9224 | 100 | 6157066 | 648917 || 638 | 1069593 | 1/ 1 | 272335 | 0 | 47.88/47.91 c | 651 | 1.1 | 0 | 30889 | 205 | 101 | 6279161 | 661380 || 651 | 1078424 | 1/ 1 | 274284 | 0 | 49.18/49.27 c | 669 | 1.4 | 0 | 31482 | 2266 | 102 | 6399088 | 674442 || 669 | 1102265 | 1/ 1 | 280421 | 0 | 50.59/50.64 c | 692 | 1.4 | 0 | 31746 | 26 | 103 | 6520932 | 687811 || 692 | 1120937 | 1/ 1 | 285071 | 0 | 51.88/51.97 c | 701 | 1.3 | 0 | 32029 | 501 | 104 | 6640009 | 700451 || 701 | 1147172 | 1/ 1 | 291932 | 0 | 53.28/53.36 c | 723 | 1.4 | 0 | 32255 | 359 | 105 | 6764354 | 713913 || 723 | 1164754 | 1/ 1 | 296456 | 0 | 54.78/54.83 c | 742 | 1.5 | 0 | 32751 | 107 | 106 | 6889087 | 727468 || 742 | 1186458 | 1/ 1 | 301849 | 0 | 56.28/56.38 c | 763 | 1.5 | 0 | 32937 | 2166 | 107 | 7014793 | 741131 || 763 | 1211352 | 1/ 1 | 308391 | 0 | 57.78/57.85 c | 765 | 1.5 | 0 | 32910 | 6164 | 108 | 7140717 | 753660 || 765 | 1241053 | 1/ 1 | 317851 | 0 | 59.39/59.49 c | 766 | 1.6 | 0 | 33349 | 7868 | 109 | 7265371 | 766415 || 766 | 1273676 | 1/ 1 | 330796 | 0 | 61.08/61.10 c | 766 | 1.6 | 0 | 33973 | 70 | 110 | 7388837 | 779336 || 766 | 1298422 | 1/ 1 | 331053 | 0 | 62.18/62.27 c | 766 | 1.2 | 0 | 34942 | 11572 | 111 | 7521864 | 791932 || 766 | 1298422 | 1/ 1 | 331053 | 0 | 63.79/63.83 c | 794 | 1.6 | 0 | 35466 | 126 | 112 | 7654730 | 806657 || 794 | 1319865 | 1/ 1 | 336424 | 0 | 65.29/65.34 c | 812 | 1.5 | 0 | 35607 | 386 | 113 | 7787438 | 820847 || 812 | 1344173 | 1/ 1 | 342627 | 0 | 66.88/66.97 c | 829 | 1.6 | 0 | 35877 | 3336 | 114 | 7922328 | 835192 || 829 | 1372552 | 1/ 1 | 350840 | 0 | 68.48/68.54 c | 847 | 1.6 | 0 | 36265 | 195 | 115 | 8058052 | 849671 || 847 | 1390330 | 1/ 1 | 354595 | 0 | 70.18/70.22 c | 870 | 1.7 | 0 | 36287 | 159 | 116 | 8193810 | 864574 || 870 | 1414642 | 1/ 1 | 360700 | 0 | 71.79/71.89 c | 891 | 1.7 | 0 | 36051 | 806 | 117 | 8329959 | 879420 || 891 | 1440154 | 1/ 1 | 367321 | 0 | 73.48/73.59 c | 893 | 1.7 | 0 | 36080 | 8205 | 118 | 8467659 | 893208 || 893 | 1473369 | 1/ 1 | 376174 | 0 | 75.08/75.18 c | 907 | 1.6 | 0 | 36319 | 67 | 119 | 8614372 | 907698 || 907 | 1486679 | 1/ 1 | 378702 | 0 | 76.89/76.92 c | 928 | 1.7 | 0 | 37002 | 229 | 120 | 8755861 | 922795 || 928 | 1511082 | 1/ 1 | 385006 | 0 | 78.69/78.79 c | 955 | 1.9 | 0 | 37380 | 1278 | 121 | 8898946 | 938369 || 955 | 1539149 | 1/ 1 | 392723 | 0 | 80.48/80.57 c | 968 | 1.8 | 0 | 37484 | 152 | 122 | 9043720 | 953358 || 968 | 1561259 | 1/ 1 | 397724 | 0 | 82.49/82.50 c | 988 | 1.9 | 0 | 38066 | 10 | 123 | 9189275 | 968804 || 988 | 1586964 | 1/ 1 | 404259 | 0 | 84.39/84.44 c | 1018 | 1.9 | 0 | 38462 | 849 | 124 | 9333684 | 985005 || 1018 | 1615257 | 1/ 1 | 412391 | 0 | 86.18/86.26 c | 1020 | 1.8 | 0 | 38614 | 6541 | 125 | 9479115 | 999569 || 1020 | 1649292 | 1/ 1 | 422243 | 0 | 88.09/88.10 c | 1021 | 1.8 | 0 | 38568 | 9940 | 126 | 9624381 | 1014236 || 1021 | 1685305 | 1/ 1 | 435122 | 0 | 89.79/89.84 c | 1021 | 1.7 | 0 | 38801 | 3838 | 127 | 9769700 | 1028956 || 1021 | 1705643 | 1/ 1 | 435316 | 0 | 91.88/91.97 c | 1022 | 2.1 | 0 | 39452 | 17042 | 128 | 9916764 | 1043726 || 1022 | 1759280 | 1/ 1 | 461231 | 0 | 94.18/94.20 c | 1022 | 2.2 | 0 | 40032 | 13301 | 129 | 10060031 | 1058671 || 1022 | 1788310 | 1/ 1 | 461484 | 0 | 96.38/96.41 c | 1022 | 2.2 | 0 | 40236 | 5340 | 130 | 10208376 | 1073698 || 1022 | 1806129 | 1/ 1 | 461671 | 0 | 98.29/98.34 c | 1022 | 1.9 | 0 | 40517 | 18841 | 131 | 10366155 | 1088484 || 1022 | 1806129 | 1/ 1 | 461671 | 0 | 100.88/100.92 c | 1023 | 2.6 | 0 | 41196 | 32443 | 132 | 10520922 | 1103681 || 1023 | 1906247 | 1/ 1 | 513304 | 0 | 103.08/103.11 c | 1023 | 2.2 | 0 | 41980 | 13702 | 133 | 10669761 | 1119111 || 1023 | 1936085 | 1/ 1 | 513606 | 0 | 105.49/105.52 c | 1023 | 2.4 | 0 | 42729 | 13802 | 134 | 10818570 | 1134725 || 1023 | 1966122 | 1/ 1 | 513897 | 0 | 108.18/108.22 c | 1023 | 2.7 | 0 | 43050 | 13906 | 135 | 10968142 | 1150487 || 1023 | 1996780 | 1/ 1 | 514193 | 0 | 110.48/110.54 c | 1023 | 2.3 | 0 | 44813 | 11053 | 136 | 11129918 | 1166002 || 1023 | 2003101 | 1/ 1 | 514252 | 0 | 112.68/112.72 c | 1023 | 2.2 | 0 | 44754 | 25155 | 137 | 11292513 | 1181466 || 1023 | 2003101 | 1/ 1 | 514252 | 0 | 115.08/115.11 c | 1023 | 2.4 | 0 | 44694 | 39357 | 138 | 11458110 | 1196927 || 1023 | 2003101 | 1/ 1 | 514252 | 0 | 117.59/117.68 c | 1031 | 2.6 | 0 | 44406 | 443 | 139 | 11623705 | 1213085 || 1031 | 2008405 | 1/ 1 | 515592 | 0 | 120.08/120.11 c | 1057 | 2.4 | 0 | 45344 | 171 | 140 | 11788691 | 1230835 || 1057 | 2037377 | 1/ 1 | 522947 | 0 | 122.78/122.85 c | 1085 | 2.7 | 0 | 45679 | 808 | 141 | 11951975 | 1248850 || 1085 | 2066645 | 1/ 1 | 529792 | 0 | 125.39/125.41 c | 1105 | 2.6 | 0 | 44047 | 69 | 142 | 12120210 | 1266381 || 1105 | 2094246 | 1/ 1 | 536933 | 0 | 127.98/128.05 c | 1132 | 2.6 | 0 | 45030 | 419 | 143 | 12287099 | 1284488 || 1132 | 2124366 | 1/ 1 | 544716 | 0 | 130.48/130.59 c | 1149 | 2.5 | 0 | 46254 | 1578 | 144 | 12452672 | 1302088 || 1149 | 2155132 | 1/ 1 | 552981 | 0 | 132.78/132.89 c | 1153 | 2.3 | 0 | 46115 | 175 | 145 | 12618706 | 1318909 || 1153 | 2181556 | 1/ 1 | 560005 | 0 | 135.68/135.72 c | 1181 | 2.8 | 0 | 43788 | 1016 | 146 | 12789010 | 1337353 || 1181 | 2212309 | 1/ 1 | 567895 | 0 | 138.59/138.67 c | 1212 | 3.0 | 0 | 44404 | 45 | 147 | 12962057 | 1356248 || 1212 | 2244725 | 1/ 1 | 576179 | 0 | 141.38/141.44 c | 1232 | 2.8 | 0 | 45009 | 211 | 148 | 13134870 | 1374369 || 1232 | 2272019 | 1/ 1 | 583292 | 0 | 144.28/144.32 c | 1260 | 2.9 | 0 | 45410 | 857 | 149 | 13308560 | 1393116 || 1260 | 2302633 | 1/ 1 | 591120 | 0 | 147.08/147.10 c | 1276 | 2.8 | 0 | 45808 | 2618 | 150 | 13482606 | 1411323 || 1276 | 2334379 | 1/ 1 | 599285 | 0 | 149.68/149.79 c | 1278 | 2.7 | 0 | 46475 | 8518 | 151 | 13656464 | 1428897 || 1278 | 2382640 | 1/ 1 | 618718 | 0 | 152.48/152.58 c | 1278 | 2.8 | 0 | 47159 | 4919 | 152 | 13829597 | 1446336 || 1278 | 2405447 | 1/ 1 | 618934 | 0 | 155.58/155.62 c | 1299 | 3.0 | 0 | 47704 | 281 | 153 | 14010346 | 1464988 || 1299 | 2422038 | 1/ 1 | 623057 | 0 | 158.88/158.95 c | 1329 | 3.3 | 0 | 48112 | 17 | 154 | 14190219 | 1484554 || 1329 | 2453555 | 1/ 1 | 631122 | 0 | 161.98/162.09 c | 1345 | 3.1 | 0 | 48544 | 85 | 155 | 14371387 | 1503267 || 1345 | 2484962 | 1/ 1 | 639236 | 0 | 165.38/165.48 c | 1376 | 3.4 | 0 | 49088 | 36 | 156 | 14553059 | 1523226 || 1376 | 2517661 | 1/ 1 | 647519 | 0 | 168.88/168.97 c | 1404 | 3.5 | 0 | 49666 | 2564 | 157 | 14738341 | 1542965 || 1404 | 2556130 | 1/ 1 | 658543 | 0 | 171.88/171.97 c | 1405 | 3.0 | 0 | 49829 | 4361 | 158 | 14921579 | 1561068 || 1405 | 2586012 | 1/ 1 | 665199 | 0 | 175.48/175.52 c | 1436 | 3.6 | 0 | 51116 | 2195 | 159 | 15107261 | 1581081 || 1436 | 2617957 | 1/ 1 | 673528 | 0 | 179.08/179.18 c | 1467 | 3.7 | 0 | 50465 | 121 | 160 | 15294863 | 1601380 || 1467 | 2650975 | 1/ 1 | 681784 | 0 | 182.49/182.56 c | 1490 | 3.4 | 0 | 50572 | 178 | 161 | 15483343 | 1621251 || 1490 | 2680316 | 1/ 1 | 688983 | 0 | 186.29/186.30 c | 1523 | 3.8 | 0 | 50692 | 7 | 162 | 15673177 | 1641846 || 1523 | 2713700 | 1/ 1 | 697416 | 0 | 189.59/189.68 c | 1532 | 3.4 | 0 | 50896 | 6582 | 163 | 15859322 | 1661197 || 1532 | 2758384 | 1/ 1 | 710756 | 0 | 192.89/192.92 c | 1533 | 3.2 | 0 | 51533 | 13780 | 164 | 16048029 | 1680008 || 1533 | 2802510 | 1/ 1 | 723819 | 0 | 196.39/196.49 c | 1533 | 3.6 | 0 | 51843 | 11477 | 165 | 16241742 | 1698767 || 1533 | 2814411 | 1/ 1 | 723925 | 0 | 199.99/200.06 c | 1534 | 3.6 | 0 | 52472 | 28481 | 166 | 16424064 | 1717830 || 1534 | 2892767 | 1/ 1 | 749548 | 0 | 203.29/203.38 c | 1534 | 3.3 | 0 | 52753 | 7181 | 167 | 16612573 | 1736947 || 1534 | 2914125 | 1/ 1 | 749765 | 0 | 206.09/206.13 c | 1534 | 2.8 | 0 | 52881 | 24383 | 168 | 16808124 | 1755817 || 1534 | 2914125 | 1/ 1 | 749765 | 0 | 210.00/210.01 c | 1566 | 3.9 | 0 | 52950 | 1610 | 169 | 17004675 | 1777159 || 1566 | 2946869 | 1/ 1 | 758161 | 0 | 214.09/214.12 c | 1597 | 4.1 | 0 | 53183 | 2949 | 170 | 17200986 | 1798488 || 1597 | 2985469 | 1/ 1 | 769310 | 0 | 218.29/218.34 c | 1627 | 4.2 | 0 | 53562 | 381 | 171 | 17399245 | 1819846 || 1627 | 3015637 | 1/ 1 | 775952 | 0 | 222.49/222.56 c | 1659 | 4.2 | 0 | 53210 | 1889 | 172 | 17597103 | 1841528 || 1659 | 3053061 | 1/ 1 | 785922 | 0 | 226.19/226.24 c | 1661 | 3.7 | 0 | 54411 | 2777 | 173 | 17796707 | 1861412 || 1661 | 3090632 | 1/ 1 | 795481 | 0 | 230.39/230.46 c | 1692 | 4.2 | 0 | 54529 | 2126 | 174 | 17999101 | 1883157 || 1692 | 3122739 | 1/ 1 | 803758 | 0 | 234.89/234.95 c | 1723 | 4.5 | 0 | 54307 | 1568 | 175 | 18203731 | 1905310 || 1723 | 3155719 | 1/ 1 | 812040 | 0 | 239.39/239.44 c | 1754 | 4.5 | 0 | 54421 | 690 | 176 | 18409215 | 1927357 || 1754 | 3193264 | 1/ 1 | 821954 | 0 | 243.99/244.04 c | 1786 | 4.6 | 0 | 55219 | 1525 | 177 | 18616969 | 1949393 || 1786 | 3230617 | 1/ 1 | 831638 | 0 | 247.69/247.77 c | 1788 | 3.7 | 0 | 55655 | 2925 | 178 | 18821546 | 1969847 || 1788 | 3269136 | 1/ 1 | 841509 | 0 | 251.69/251.75 c | 1789 | 4.0 | 0 | 56166 | 2015 | 179 | 19023550 | 1990180 || 1789 | 3317493 | 1/ 1 | 854488 | 0 | 255.59/255.64 c | 1809 | 3.9 | 0 | 57038 | 67 | 180 | 19232559 | 2011744 || 1809 | 3333001 | 1/ 1 | 858392 | 0 | 260.49/260.54 c | 1847 | 4.9 | 0 | 57766 | 95 | 181 | 19442477 | 2034829 || 1847 | 3370200 | 1/ 1 | 867895 | 0 | 264.39/264.45 c | 1867 | 3.9 | 0 | 57904 | 533 | 182 | 19654482 | 2056877 || 1867 | 3407714 | 1/ 1 | 877583 | 0 | 268.79/268.83 c | 1905 | 4.4 | 0 | 58277 | 363 | 183 | 19869029 | 2080035 || 1905 | 3445115 | 1/ 1 | 887107 | 0 | 272.70/272.78 c | 1916 | 3.9 | 0 | 58448 | 8344 | 184 | 20078712 | 2101743 || 1916 | 3484735 | 1/ 1 | 895754 | 0 | 276.79/276.84 c | 1945 | 4.1 | 0 | 59079 | 386 | 185 | 20294468 | 2124570 || 1945 | 3510292 | 1/ 1 | 901571 | 0 | 281.50/281.51 c | 1978 | 4.7 | 0 | 59211 | 2122 | 186 | 20512145 | 2147846 || 1978 | 3551337 | 1/ 1 | 912331 | 0 | 286.09/286.19 c | 2008 | 4.7 | 0 | 58706 | 573 | 187 | 20730203 | 2170923 || 2008 | 3587084 | 1/ 1 | 921359 | 0 | 290.79/290.86 c | 2041 | 4.7 | 0 | 59114 | 1897 | 188 | 20947914 | 2194364 || 2041 | 3627779 | 1/ 1 | 932068 | 0 | 294.80/294.89 c | 2043 | 4.0 | 0 | 59319 | 4395 | 189 | 21164655 | 2215954 || 2043 | 3665952 | 1/ 1 | 941884 | 0 | 299.59/299.65 c | 2044 | 4.8 | 0 | 59802 | 4595 | 190 | 21378889 | 2237745 || 2044 | 3714969 | 1/ 1 | 955072 | 0 | 304.39/304.50 c | 2045 | 4.8 | 0 | 60593 | 24098 | 191 | 21593606 | 2259518 || 2045 | 3781918 | 1/ 1 | 980889 | 0 | 309.10/309.14 c | 2045 | 4.6 | 0 | 60769 | 5300 | 192 | 21808999 | 2281390 || 2045 | 3812927 | 1/ 1 | 981221 | 0 | 313.09/313.12 c | 2045 | 4.0 | 0 | 61142 | 25002 | 193 | 22032429 | 2302922 || 2045 | 3812927 | 1/ 1 | 981221 | 0 | 318.39/318.43 c | 2046 | 5.3 | 0 | 61068 | 44803 | 194 | 22249979 | 2325285 || 2046 | 3937230 | 1/ 1 | 1032388 | 0 | 323.09/323.18 c | 2046 | 4.8 | 0 | 60954 | 19902 | 195 | 22465494 | 2347667 || 2046 | 3981234 | 1/ 1 | 1032803 | 0 | 327.70/327.75 c | 2046 | 4.6 | 0 | 61393 | 7903 | 196 | 22682976 | 2370033 || 2046 | 4007049 | 1/ 1 | 1033046 | 0 | 331.49/331.56 c | 2046 | 3.8 | 0 | 62057 | 28006 | 197 | 22914279 | 2392065 || 2046 | 4007049 | 1/ 1 | 1033046 | 0 | 335.69/335.75 c | 2046 | 4.2 | 0 | 63557 | 48207 | 198 | 23146860 | 2414058 || 2046 | 4007049 | 1/ 1 | 1033046 | 0 | 340.90/340.93 c | 2047 | 5.2 | 0 | 65142 | 68511 | 199 | 23367306 | 2436961 || 2047 | 4139288 | 1/ 1 | 1085613 | 0 | 345.99/346.07 c | 2047 | 5.1 | 0 | 64944 | 20402 | 200 | 23588882 | 2459952 || 2047 | 4182902 | 1/ 1 | 1086024 | 0 | 351.19/351.20 c | 2047 | 5.1 | 0 | 66743 | 20502 | 201 | 23803081 | 2482960 || 2047 | 4226613 | 1/ 1 | 1086476 | 0 | 356.99/357.06 c | 2047 | 5.9 | 0 | 67994 | 20601 | 202 | 24018544 | 2506038 || 2047 | 4270060 | 1/ 1 | 1086916 | 0 | 363.69/363.72 c | 2047 | 6.7 | 0 | 67791 | 20701 | 203 | 24235902 | 2529150 || 2047 | 4313824 | 1/ 1 | 1087348 | 0 | 369.99/370.02 c | 2047 | 6.3 | 0 | 69868 | 17920 | 204 | 24466636 | 2551973 || 2047 | 4319996 | 1/ 1 | 1087406 | 0 | 375.79/375.84 c | 2047 | 5.8 | 0 | 67835 | 38821 | 205 | 24698348 | 2574929 || 2047 | 4319996 | 1/ 1 | 1087406 | 0 | 380.99/381.04 c | 2047 | 5.2 | 0 | 68987 | 59822 | 206 | 24933902 | 2597882 || 2047 | 4319996 | 1/ 1 | 1087406 | 0 | 386.19/386.21 c | 2047 | 5.2 | 0 | 70968 | 80925 | 207 | 25166993 | 2621065 || 2047 | 4319996 | 1/ 1 | 1087406 | 0 | 391.50/391.54 c | 2047 | 5.3 | 0 | 73513 | 102127 | 208 | 25401832 | 2644181 || 2047 | 4319996 | 1/ 1 | 1087406 | 0 | 397.99/398.08 c | 2093 | 6.5 | 0 | 74452 | 540 | 209 | 25644520 | 2670746 || 2093 | 4363665 | 1/ 1 | 1098927 | 0 | 404.70/404.75 c | 2123 | 6.7 | 0 | 71714 | 83 | 210 | 25887068 | 2696481 || 2123 | 4405227 | 1/ 1 | 1109258 | 0 | 411.59/411.60 c | 2166 | 6.8 | 0 | 72102 | 187 | 211 | 26131209 | 2723167 || 2166 | 4449152 | 1/ 1 | 1120397 | 0 | 417.59/417.64 c | 2174 | 6.0 | 0 | 72691 | 2077 | 212 | 26373260 | 2747812 || 2174 | 4498236 | 1/ 1 | 1133498 | 0 | 424.09/424.19 c | 2211 | 6.6 | 0 | 71497 | 199 | 213 | 26620937 | 2774256 || 2211 | 4533741 | 1/ 1 | 1142596 | 0 | 430.49/430.57 c | 2240 | 6.4 | 0 | 70137 | 44 | 214 | 26867267 | 2800445 || 2240 | 4576675 | 1/ 1 | 1153534 | 0 | 437.50/437.58 c | 2284 | 7.0 | 0 | 66409 | 853 | 215 | 27114699 | 2827531 || 2284 | 4621031 | 1/ 1 | 1164784 | 0 | 443.40/443.47 c | 2301 | 5.9 | 0 | 66850 | 9220 | 216 | 27359343 | 2853216 || 2301 | 4676567 | 1/ 1 | 1179595 | 0 | 448.70/448.75 c | 2302 | 5.3 | 0 | 67206 | 2518 | 217 | 27601965 | 2877927 || 2302 | 4726013 | 1/ 1 | 1192670 | 0 | 454.80/454.87 c | 2332 | 6.1 | 0 | 68265 | 1070 | 218 | 27857694 | 2904435 || 2332 | 4751877 | 1/ 1 | 1199285 | 0 | 461.60/461.68 c | 2365 | 6.8 | 0 | 69091 | 3695 | 219 | 28110783 | 2931333 || 2365 | 4800211 | 1/ 1 | 1212293 | 0 | 468.40/468.41 c | 2403 | 6.7 | 0 | 69494 | 591 | 220 | 28366467 | 2958623 || 2403 | 4839409 | 1/ 1 | 1221814 | 0 | 474.80/474.88 c | 2429 | 6.5 | 0 | 70206 | 5238 | 221 | 28621067 | 2985355 || 2429 | 4894673 | 1/ 1 | 1238666 | 0 | 481.30/481.39 c | 2459 | 6.5 | 0 | 70733 | 975 | 222 | 28879370 | 3012376 || 2459 | 4929972 | 1/ 1 | 1245376 | 0 | 488.50/488.52 c | 2492 | 7.1 | 0 | 71216 | 3983 | 223 | 29136595 | 3039718 || 2492 | 4979653 | 1/ 1 | 1258577 | 0 | 495.70/495.75 c | 2532 | 7.2 | 0 | 71346 | 191 | 224 | 29395684 | 3067650 || 2532 | 5019917 | 1/ 1 | 1268296 | 0 | 502.60/502.69 c | 2556 | 6.9 | 0 | 71145 | 6357 | 225 | 29654379 | 3094772 || 2556 | 5077443 | 1/ 1 | 1285038 | 0 | 508.90/508.97 c | 2557 | 6.3 | 0 | 71432 | 555 | 226 | 29909501 | 3120560 || 2557 | 5133613 | 1/ 1 | 1298318 | 0 | 515.50/515.50 c | 2558 | 6.5 | 0 | 72011 | 23660 | 227 | 30171509 | 3146101 || 2558 | 5200453 | 1/ 1 | 1324321 | 0 | 521.89/521.98 c | 2558 | 6.5 | 0 | 73445 | 8456 | 228 | 30428876 | 3171907 || 2558 | 5232392 | 1/ 1 | 1324659 | 0 | 528.09/528.17 c | 2573 | 6.2 | 0 | 74725 | 530 | 229 | 30696059 | 3198394 || 2573 | 5245357 | 1/ 1 | 1327956 | 0 | 536.29/536.33 c | 2620 | 8.2 | 0 | 76066 | 1420 | 230 | 30961924 | 3227374 || 2620 | 5295253 | 1/ 1 | 1341210 | 0 | 543.90/543.96 c | 2652 | 7.6 | 0 | 76137 | 57 | 231 | 31231689 | 3255589 || 2652 | 5341900 | 1/ 1 | 1352799 | 0 | 551.80/551.87 c | 2684 | 7.9 | 0 | 76667 | 2791 | 232 | 31499479 | 3283806 || 2684 | 5386734 | 1/ 1 | 1364387 | 0 | 559.50/559.50 c | 2714 | 7.6 | 0 | 76610 | 229 | 233 | 31767850 | 3312043 || 2714 | 5434161 | 1/ 1 | 1376803 | 0 | 567.51/567.52 c | 2748 | 8.0 | 0 | 77197 | 3739 | 234 | 32033439 | 3340814 || 2748 | 5486388 | 1/ 1 | 1390789 | 0 | 575.90/575.90 c | 2791 | 8.4 | 0 | 76586 | 29 | 235 | 32305739 | 3370073 || 2791 | 5528756 | 1/ 1 | 1400939 | 0 | 584.01/584.10 c | 2812 | 8.2 | 0 | 75014 | 8283 | 236 | 32576051 | 3398203 || 2812 | 5588223 | 1/ 1 | 1417183 | 0 | 591.00/591.08 c | 2813 | 7.0 | 0 | 75723 | 3579 | 237 | 32845724 | 3425120 || 2813 | 5641484 | 1/ 1 | 1430137 | 0 | 598.80/598.81 c | 2844 | 7.7 | 0 | 76645 | 517 | 238 | 33120209 | 3453920 || 2844 | 5673507 | 1/ 1 | 1438424 | 0 | 606.79/606.81 c | 2879 | 8.0 | 0 | 77342 | 136 | 239 | 33398094 | 3483105 || 2879 | 5719851 | 1/ 1 | 1450322 | 0 | 615.70/615.74 c | 2931 | 8.9 | 0 | 77367 | 118 | 240 | 33674250 | 3513549 || 2931 | 5769300 | 1/ 1 | 1462917 | 0 | 623.20/623.29 c | 2940 | 7.6 | 0 | 77850 | 4691 | 241 | 33951238 | 3541517 || 2940 | 5819881 | 1/ 1 | 1476249 | 0 | 632.00/632.05 c | 2988 | 8.8 | 0 | 78393 | 73 | 242 | 34232853 | 3571808 || 2988 | 5865462 | 1/ 1 | 1487879 | 0 | 640.30/640.34 c | 3027 | 8.3 | 0 | 79019 | 104 | 243 | 34510990 | 3601624 || 3027 | 5914498 | 1/ 1 | 1500698 | 0 | 649.51/649.51 c | 3066 | 9.2 | 0 | 79111 | 3313 | 244 | 34792141 | 3631793 || 3066 | 5969616 | 1/ 1 | 1515735 | 0 | 657.51/657.50 c | 3068 | 8.0 | 0 | 79005 | 13810 | 245 | 35066625 | 3659825 || 3068 | 6038628 | 1/ 1 | 1535417 | 0 | 665.80/665.82 c | 3069 | 8.3 | 0 | 79988 | 19608 | 246 | 35344621 | 3687767 || 3069 | 6106631 | 1/ 1 | 1561008 | 0 | 673.50/673.57 c | 3069 | 7.8 | 0 | 80860 | 6308 | 247 | 35619745 | 3715812 || 3069 | 6147527 | 1/ 1 | 1561380 | 0 | 681.41/681.41 c | 3070 | 7.9 | 0 | 81417 | 31513 | 248 | 35902854 | 3743697 || 3070 | 6244903 | 1/ 1 | 1612912 | 0 | 689.61/689.68 c | 3070 | 8.3 | 0 | 82048 | 25301 | 249 | 36167852 | 3772222 || 3070 | 6297905 | 1/ 1 | 1613407 | 0 | 698.41/698.42 c | 3070 | 8.7 | 0 | 82022 | 5417 | 250 | 36437263 | 3800624 || 3070 | 6340040 | 1/ 1 | 1613855 | 0 | 704.90/704.91 c | 3070 | 6.5 | 0 | 80888 | 30919 | 251 | 36726827 | 3828515 || 3070 | 6340040 | 1/ 1 | 1613855 | 0 | 712.71/712.72 c | 3085 | 7.8 | 0 | 81523 | 893 | 252 | 37018117 | 3857470 || 3085 | 6352341 | 1/ 1 | 1617129 | 0 | 722.80/722.82 c | 3132 | 10.1 | 0 | 82235 | 490 | 253 | 37306958 | 3889219 || 3132 | 6404388 | 1/ 1 | 1630388 | 0 | 732.70/732.76 c | 3171 | 9.9 | 0 | 82225 | 207 | 254 | 37604981 | 3920357 || 3171 | 6454098 | 1/ 1 | 1643234 | 0 | 741.80/741.80 c | 3197 | 9.0 | 0 | 81163 | 8865 | 255 | 37896273 | 3950901 || 3197 | 6516268 | 1/ 1 | 1659757 | 0 | 751.10/751.13 c | 3237 | 9.3 | 0 | 82737 | 64 | 256 | 38191893 | 3982389 || 3237 | 6556509 | 1/ 1 | 1669476 | 0 | 761.21/761.29 c | 3276 | 10.2 | 0 | 82486 | 804 | 257 | 38487559 | 4013888 || 3276 | 6608912 | 1/ 1 | 1683021 | 0 | 771.40/771.48 c | 3323 | 10.2 | 0 | 83288 | 2101 | 258 | 38787190 | 4046038 || 3323 | 6666130 | 1/ 1 | 1699313 | 0 | 779.70/779.78 c | 3325 | 8.3 | 0 | 80677 | 13995 | 259 | 39077566 | 4075631 || 3325 | 6734349 | 1/ 1 | 1718644 | 0 | 788.61/788.64 c | 3347 | 8.9 | 0 | 81855 | 528 | 260 | 39376542 | 4106267 || 3347 | 6763604 | 1/ 1 | 1723306 | 0 | 798.70/798.70 c | 3388 | 10.1 | 0 | 83262 | 4335 | 261 | 39677334 | 4138439 || 3388 | 6821465 | 1/ 1 | 1738620 | 0 | 809.10/809.14 c | 3437 | 10.4 | 0 | 84014 | 164 | 262 | 39984155 | 4170974 || 3437 | 6869823 | 1/ 1 | 1750701 | 0 | 818.41/818.40 c | 3452 | 9.3 | 0 | 84312 | 4724 | 263 | 40285193 | 4201798 || 3452 | 6924928 | 1/ 1 | 1764938 | 0 | 829.50/829.54 c | 3507 | 11.1 | 0 | 85086 | 120 | 264 | 40591217 | 4235111 || 3507 | 6976376 | 1/ 1 | 1777849 | 0 | 840.00/840.03 c | 3546 | 10.5 | 0 | 86017 | 1433 | 265 | 40895482 | 4267535 || 3546 | 7033288 | 1/ 1 | 1792905 | 0 | 850.40/850.49 c | 3579 | 10.5 | 0 | 86646 | 5175 | 266 | 41200184 | 4299830 || 3579 | 7094897 | 1/ 1 | 1811037 | 0 | 859.11/859.16 c | 3580 | 8.7 | 0 | 85888 | 3475 | 267 | 41495859 | 4330118 || 3580 | 7153207 | 1/ 1 | 1824239 | 0 | 868.50/868.58 c | 3581 | 9.4 | 0 | 86952 | 30679 | 268 | 41799311 | 4360364 || 3581 | 7235307 | 1/ 1 | 1850025 | 0 | 877.10/877.18 c | 3581 | 8.6 | 0 | 87748 | 19578 | 269 | 42110524 | 4390446 || 3581 | 7252540 | 1/ 1 | 1850187 | 0 | 888.20/888.29 c | 3627 | 11.1 | 0 | 88330 | 899 | 270 | 42422141 | 4423809 || 3627 | 7297301 | 1/ 1 | 1861754 | 0 | 899.71/899.73 c | 3672 | 11.4 | 0 | 88368 | 121 | 271 | 42736419 | 4457190 || 3672 | 7350477 | 1/ 1 | 1875102 | 0 | 910.60/910.61 c | 3707 | 10.9 | 0 | 88865 | 2650 | 272 | 43047239 | 4490212 || 3707 | 7404643 | 1/ 1 | 1888737 | 0 | 921.60/921.60 c | 3739 | 11.0 | 0 | 89203 | 2287 | 273 | 43359184 | 4523001 || 3739 | 7461355 | 1/ 1 | 1903570 | 0 | 933.00/933.08 c | 3783 | 11.5 | 0 | 89355 | 80 | 274 | 43675444 | 4556529 || 3783 | 7513525 | 1/ 1 | 1916948 | 0 | 945.00/945.04 c | 3833 | 12.0 | 0 | 90016 | 983 | 275 | 43990182 | 4590688 || 3833 | 7570896 | 1/ 1 | 1931635 | 0 | 955.00/955.01 c | 3836 | 10.0 | 0 | 89812 | 14580 | 276 | 44299720 | 4622109 || 3836 | 7630168 | 1/ 1 | 1944477 | 0 | 965.81/965.84 c | 3865 | 10.8 | 0 | 90241 | 406 | 277 | 44617208 | 4655010 || 3865 | 7662579 | 1/ 1 | 1950364 | 0 | 977.60/977.63 c | 3901 | 11.8 | 0 | 91163 | 15 | 278 | 44936474 | 4688721 || 3901 | 7718686 | 1/ 1 | 1964642 | 0 | 990.30/990.31 c | 3960 | 12.7 | 0 | 92118 | 477 | 279 | 45257196 | 4723940 || 3960 | 7776276 | 1/ 1 | 1979288 | 0 | 1000.92/1000.94 c | 3978 | 10.7 | 0 | 92462 | 40 | 280 | 45575171 | 4756621 || 3978 | 7831196 | 1/ 1 | 1993699 | 0 | 1013.71/1013.71 c | 4026 | 12.8 | 0 | 93172 | 3625 | 281 | 45899492 | 4791283 || 4026 | 7892405 | 1/ 1 | 2010140 | 0 | 1026.51/1026.55 c | 4079 | 12.8 | 0 | 93567 | 322 | 282 | 46224324 | 4826365 || 4079 | 7944553 | 1/ 1 | 2023027 | 0 | 1037.32/1037.36 c | 4091 | 10.8 | 0 | 94023 | 8007 | 283 | 46547328 | 4859191 || 4091 | 8022335 | 1/ 1 | 2049619 | 0 | 1048.22/1048.20 c | 4092 | 10.9 | 0 | 93598 | 17608 | 284 | 46868503 | 4891373 || 4092 | 8100677 | 1/ 1 | 2075746 | 0 | 1059.22/1059.22 c | 4092 | 11.0 | 0 | 94325 | 8108 | 285 | 47187923 | 4923767 || 4092 | 8146167 | 1/ 1 | 2076235 | 0 | 1069.91/1069.98 c | 4093 | 10.8 | 0 | 95581 | 37110 | 286 | 47513407 | 4955849 || 4093 | 8263143 | 1/ 1 | 2128268 | 0 | 1081.51/1081.51 c | 4093 | 11.5 | 0 | 98229 | 29102 | 287 | 47827306 | 4988607 || 4093 | 8326371 | 1/ 1 | 2128937 | 0 | 1091.72/1091.77 c | 4093 | 10.2 | 0 | 98267 | 18611 | 288 | 48152960 | 5020859 || 4093 | 8348817 | 1/ 1 | 2129142 | 0 | 1101.31/1101.33 c | 4093 | 9.6 | 0 | 97283 | 47912 | 289 | 48490209 | 5052798 || 4093 | 8348817 | 1/ 1 | 2129142 | 0 | 1113.22/1113.29 c | 4094 | 12.0 | 0 | 97963 | 77313 | 290 | 48809314 | 5085927 || 4094 | 8561131 | 1/ 1 | 2221598 | 0 | 1124.81/1124.89 c | 4094 | 11.6 | 0 | 99229 | 29501 | 291 | 49129809 | 5119011 || 4094 | 8624297 | 1/ 1 | 2222215 | 0 | 1137.01/1137.09 c | 4094 | 12.2 | 0 | 99920 | 29602 | 292 | 49447018 | 5152237 || 4094 | 8687378 | 1/ 1 | 2222812 | 0 | 1148.81/1148.85 c | 4094 | 11.8 | 0 | 97196 | 12511 | 293 | 49771708 | 5185273 || 4094 | 8723495 | 1/ 1 | 2223208 | 0 | 1158.32/1158.34 c | 4094 | 9.5 | 0 | 98433 | 42312 | 294 | 50112578 | 5217852 || 4094 | 8723495 | 1/ 1 | 2223208 | 0 | 1169.01/1169.08 c | 4094 | 10.7 | 0 | 99172 | 72214 | 295 | 50451905 | 5250562 || 4094 | 8723495 | 1/ 1 | 2223208 | 0 | 1180.32/1180.33 c | 4094 | 11.3 | 0 | 99509 | 102215 | 296 | 50790025 | 5283214 || 4094 | 8723495 | 1/ 1 | 2223208 | 0 | 1195.91/1195.98 c | 4095 | 15.7 | 0 | 103525 | 132320 | 297 | 51118073 | 5317132 || 4095 | 9131036 | 1/ 1 | 2426135 | 0 | 1209.72/1209.78 c | 4095 | 13.8 | 0 | 104152 | 30202 | 298 | 51442869 | 5350718 || 4095 | 9196844 | 1/ 1 | 2426822 | 0 | 1223.41/1223.47 c | 4095 | 13.7 | 0 | 104509 | 30303 | 299 | 51763599 | 5384625 || 4095 | 9262451 | 1/ 1 | 2427439 | 0 | 1237.01/1237.08 c | 4095 | 13.6 | 0 | 101684 | 30402 | 300 | 52082471 | 5418591 || 4095 | 9328032 | 1/ 1 | 2428134 | 0 | 1252.01/1252.02 c | 4095 | 14.9 | 0 | 102476 | 30502 | 301 | 52401764 | 5452498 || 4095 | 9394641 | 1/ 1 | 2428806 | 0 | 1268.22/1268.27 c | 4095 | 16.3 | 0 | 101379 | 30602 | 302 | 52719156 | 5486600 || 4095 | 9461203 | 1/ 1 | 2429468 | 0 | 1282.71/1282.74 c | 4095 | 14.5 | 0 | 95152 | 7827 | 303 | 53046478 | 5520888 || 4095 | 9510746 | 1/ 1 | 2429954 | 0 | 1292.01/1292.01 c | 4095 | 9.3 | 0 | 98645 | 38628 | 304 | 53397776 | 5554720 || 4095 | 9510746 | 1/ 1 | 2429954 | 0 | 1300.03/1300.00 c | 4095 | 8.0 | 0 | 125636 | 65619 | 304 | 53707784 | 5584325 || 4095 | 9510746 | 1/ 1 | 2429954 | 0 | 1300.03/1300.00 c c 1300.03/1300.00 c ----------------------------------- 1300.03/1300.00 c # temps = 1300.020000 1300.03/1300.00 c # cleaningDB = 304 1300.03/1300.00 c # clause binaire = 0 1300.03/1300.00 c # literal removed by litRedundant = 12144509 1300.03/1300.00 c # literal removed by litRedundantBin = 0 1300.03/1300.00 c # init clause removed by simplify = 0 1300.03/1300.00 c # learnt clause removed by simplify = 0 1300.03/1300.00 c # une clause fausse était une apprise = 0 1300.03/1300.00 c # equivalence dectecte = 0 1300.03/1300.00 c # Memory used : 41.63 MB 1300.03/1300.00 c 1300.03/1300.00 c ######################## 1300.03/1300.00 c #### ## ### ## #### 1300.03/1300.00 c #### #### # ## #### #### 1300.03/1300.00 c #### ## ### ## ### 1300.03/1300.00 c ######################## 1300.03/1300.00 c # restart = 4095 1300.03/1300.00 c # conflit = 4785213 1300.03/1300.00 c # decision = 5584325 1300.03/1300.00 c # propagation = 53707784 (41313.044415 (prop/sec)) 1300.03/1300.00 c 1300.03/1300.00 c ######################## 1300.03/1300.00 c ### ### # ## ## ## 1300.03/1300.00 c ### # # # #### # ### ### 1300.03/1300.00 c ### # ### ## # ### ### 1300.03/1300.00 c ######################## 1300.03/1300.00 c # numtry = 4095 1300.03/1300.00 c # numflips = 9510746 1300.03/1300.00 c # maxSat = 1 1300.03/1300.00 c # freeFlip = 3995594 1300.03/1300.00 c # nbBoundary = 80 1300.03/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-3189996-1302709837/watcher-3189996-1302709837 -o /tmp/evaluation-result-3189996-1302709837/solver-3189996-1302709837 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189996-1302709837.cnf rnovelty running on 2 cores: 0,2 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: 4.03 4.03 3.93 4/195 3852 /proc/meminfo: memFree=16375184/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) R 3850 3852 3261 0 -1 4202496 315 0 0 0 0 0 0 0 25 0 1 0 382581383 8912896 253 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905551253 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/3852/statm: 2176 253 211 178 0 69 0 [startup+0.0309341 s] /proc/loadavg: 4.03 4.03 3.93 4/195 3852 /proc/meminfo: memFree=16375184/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.100886 s] /proc/loadavg: 4.03 4.03 3.93 4/195 3852 /proc/meminfo: memFree=16375184/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.300853 s] /proc/loadavg: 4.03 4.03 3.93 4/195 3852 /proc/meminfo: memFree=16375184/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.700813 s] /proc/loadavg: 4.03 4.03 3.93 4/195 3852 /proc/meminfo: memFree=16375184/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+1.50066 s] /proc/loadavg: 4.03 4.03 3.93 5/198 3856 /proc/meminfo: memFree=16369588/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=9796 CPUtime=1.47 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 939 0 0 0 147 0 0 0 25 0 1 0 382581384 10031104 851 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 2449 851 135 12 0 913 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27204 [startup+3.10036 s] /proc/loadavg: 4.02 4.03 3.93 5/198 3856 /proc/meminfo: memFree=16366984/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=10876 CPUtime=3.07 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 1193 0 0 0 307 0 0 0 25 0 1 0 382581384 11137024 1105 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 2719 1105 135 12 0 1183 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28284 [startup+6.3008 s] /proc/loadavg: 4.02 4.03 3.93 5/198 3856 /proc/meminfo: memFree=16361032/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=11716 CPUtime=6.27 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 1396 0 0 0 627 0 0 0 25 0 1 0 382581384 11997184 1308 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 2929 1308 136 12 0 1393 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29124 [startup+12.7006 s] /proc/loadavg: 4.02 4.02 3.93 5/198 3856 /proc/meminfo: memFree=16354172/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=13144 CPUtime=12.68 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 1756 0 0 0 1267 1 0 0 25 0 1 0 382581384 13459456 1663 33554432000 4194304 4241092 140733271399856 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 3286 1663 136 12 0 1750 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30552 [startup+25.5003 s] /proc/loadavg: 4.02 4.02 3.93 5/198 3857 /proc/meminfo: memFree=16345008/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=14984 CPUtime=25.48 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 2281 0 0 0 2547 1 0 0 25 0 1 0 382581384 15343616 2140 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 3746 2140 136 12 0 2210 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32392 [startup+51.1007 s] /proc/loadavg: 4.08 4.04 3.93 5/198 3857 /proc/meminfo: memFree=16335168/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=17640 CPUtime=51.07 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 3080 0 0 0 5106 1 0 0 25 0 1 0 382581384 18063360 2807 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 4410 2807 136 12 0 2874 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35048 [startup+102.307 s] /proc/loadavg: 4.03 4.03 3.93 5/198 3896 /proc/meminfo: memFree=16324072/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=20832 CPUtime=102.28 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 4185 0 0 0 10227 1 0 0 25 0 1 0 382581384 21331968 3593 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 5208 3593 136 12 0 3672 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 38240 [startup+162.301 s] /proc/loadavg: 4.01 4.02 3.93 5/198 3897 /proc/meminfo: memFree=16309044/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=23740 CPUtime=162.27 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 5300 0 0 0 16226 1 0 0 25 0 1 0 382581384 24309760 4331 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 5935 4331 136 12 0 4399 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 41148 [startup+222.301 s] /proc/loadavg: 4.00 4.02 3.93 5/198 3899 /proc/meminfo: memFree=16301344/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=25436 CPUtime=222.28 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 6023 0 0 0 22226 2 0 0 25 0 1 0 382581384 26046464 4731 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 6359 4731 136 12 0 4823 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 42844 [startup+282.301 s] ################ # More data... # ################ [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=34372 CPUtime=702.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 10568 0 0 0 70225 5 0 0 25 0 1 0 382581384 35196928 6988 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223743 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 8593 6988 136 12 0 7057 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 51780 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.94 5/198 4070 /proc/meminfo: memFree=16266404/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=35380 CPUtime=762.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 11054 0 0 0 76225 5 0 0 25 0 1 0 382581384 36229120 7249 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 8845 7249 136 12 0 7309 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 52788 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.94 5/198 4074 /proc/meminfo: memFree=16261924/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=35756 CPUtime=822.29 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 11387 0 0 0 82224 5 0 0 25 0 1 0 382581384 36614144 7310 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 8939 7310 136 12 0 7403 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 53164 [startup+882.301 s] /proc/loadavg: 4.03 4.01 3.95 5/198 4076 /proc/meminfo: memFree=16258328/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=36348 CPUtime=882.29 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 11790 0 0 0 88224 5 0 0 25 0 1 0 382581384 37220352 7481 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 9087 7481 136 12 0 7551 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 53756 [startup+942.301 s] /proc/loadavg: 4.01 4.01 3.95 5/198 4078 /proc/meminfo: memFree=16256084/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=37100 CPUtime=942.29 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 12168 0 0 0 94224 5 0 0 25 0 1 0 382581384 37990400 7648 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 9275 7648 136 12 0 7739 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 54508 [startup+1002.3 s] /proc/loadavg: 4.05 4.02 3.95 5/198 4080 /proc/meminfo: memFree=16252220/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=37616 CPUtime=1002.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 12556 0 0 0 100224 6 0 0 25 0 1 0 382581384 38518784 7784 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 9404 7784 136 12 0 7868 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 55024 [startup+1062.3 s] /proc/loadavg: 4.02 4.01 3.95 5/198 4081 /proc/meminfo: memFree=16244884/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=38004 CPUtime=1062.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 12867 0 0 0 106224 6 0 0 25 0 1 0 382581384 38916096 7874 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 9501 7874 136 12 0 7965 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 55412 [startup+1122.3 s] /proc/loadavg: 4.06 4.02 3.96 5/198 4083 /proc/meminfo: memFree=16240880/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=39332 CPUtime=1122.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 13431 0 0 0 112224 6 0 0 25 0 1 0 382581384 40275968 8211 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 9833 8211 136 12 0 8297 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 56740 [startup+1182.3 s] /proc/loadavg: 4.02 4.02 3.96 5/198 4084 /proc/meminfo: memFree=16236508/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=41136 CPUtime=1182.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 14098 0 0 0 118224 6 0 0 25 0 1 0 382581384 42123264 8660 33554432000 4194304 4241092 140733271399856 18446744073709551615 4206122 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 10284 8660 136 12 0 8748 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 58544 [startup+1242.3 s] /proc/loadavg: 4.00 4.01 3.96 5/198 4086 /proc/meminfo: memFree=16234012/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=41664 CPUtime=1242.3 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 14483 0 0 0 124223 7 0 0 25 0 1 0 382581384 42663936 8818 33554432000 4194304 4241092 140733271399856 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 10416 8818 136 12 0 8880 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 59072 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.96 3/184 4126 /proc/meminfo: memFree=16315544/32951124 swapFree=67111528/67111528 [pid=3852] ppid=3850 vsize=8704 CPUtime=0.01 cores=0,2 /proc/3852/stat : 3852 (esg_static.sh) S 3850 3852 3261 0 -1 4202496 351 302 0 0 0 0 1 0 25 0 1 0 382581383 8912896 256 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3852/statm: 2176 256 211 178 0 69 0 [pid=3855] ppid=3852 vsize=8704 CPUtime=0 cores=0,2 /proc/3855/stat : 3855 (esg_static.sh) S 3852 3852 3261 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 382581384 8912896 135 33554432000 4194304 4922060 140737047132240 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3855/statm: 2176 135 90 178 0 69 0 [pid=3856] ppid=3855 vsize=42624 CPUtime=1300.02 cores=0,2 /proc/3856/stat : 3856 (sathys) R 3855 3852 3261 0 -1 4202496 14916 0 0 0 129994 8 0 0 25 0 1 0 382581384 43646976 9063 33554432000 4194304 4241092 140733271399856 18446744073709551615 4225164 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3856/statm: 10656 9063 136 12 0 9120 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 60032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1300.01 CPU time (s): 1300.04 CPU user time (s): 1299.96 CPU system time (s): 0.084987 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 60032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.96 system time used= 0.084987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15950 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= 13 involuntary context switches= 1998 runsolver used 2.21366 second user time and 4.90725 second system time The end
Begin job on node137 at 2011-04-13 17:50:37 IDJOB=3189996 IDBENCH=82927 IDSOLVER=1610 FILE ID=node137/3189996-1302709837 RUNJOBID= node137-1302705934-3279 PBS_JOBID= 12981426 Free space on /tmp= 71268 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189996-1302709837/watcher-3189996-1302709837 -o /tmp/evaluation-result-3189996-1302709837/solver-3189996-1302709837 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189996-1302709837.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 409e3a755415661f5541c475b40a659c RANDOM SEED=769930929 node137.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.844 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.68 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.844 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.844 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.74 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.844 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.74 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.844 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.82 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.83 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.844 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: 16375216 kB Buffers: 671600 kB Cached: 15435588 kB SwapCached: 0 kB Active: 9224128 kB Inactive: 6961344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16375216 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4008 kB Writeback: 0 kB AnonPages: 77760 kB Mapped: 15276 kB Slab: 327356 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 264980 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= 71268 MiB End job on node137 at 2011-04-13 18:12:17