| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1300.03 | 1300.01 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf |
| MD5SUM | a2618a2d05b86feb60504578f5d9c7e5 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 47.6977 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189745-1302707332.cnf 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % | 0.00/0.06 c | 0 | 41730 126581 | -- 0 -- -- | -- | -270/581 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 9756 #clauses: 41730 #literals: 126581 0.00/0.06 c CPU time: 0.06199 s 0.00/0.06 c ============================================================================== 0.08/0.12 c 0.08/0.12 c seed = 0, numatom = 9756, numclause = 41730, numliterals = 126581 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.12 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.24 c | 2 | 0.1 | 0 | 502 | 0 | 1 | 259885 | 6526 || 2 | 15757 | 1031/ 1031 | 309 | 0 | 0.08/0.32 c | 4 | 0.1 | 0 | 687 | 295 | 2 | 554675 | 11818 || 4 | 26932 | 1026/ 1026 | 662 | 0 | 0.08/0.42 c | 6 | 0.1 | 0 | 871 | 184 | 3 | 920446 | 17421 || 6 | 37317 | 1026/ 1026 | 1032 | 0 | 0.08/0.52 c | 7 | 0.1 | 0 | 1057 | 385 | 4 | 1328670 | 21201 || 7 | 46210 | 1001/ 1001 | 1490 | 0 | 0.08/0.65 c | 11 | 0.1 | 0 | 1261 | 278 | 5 | 1784115 | 30366 || 11 | 67374 | 990/ 990 | 2127 | 0 | 0.08/0.80 c | 14 | 0.1 | 0 | 1474 | 475 | 6 | 2282194 | 38264 || 14 | 85868 | 897/ 897 | 2927 | 0 | 0.08/0.94 c | 15 | 0.2 | 0 | 1728 | 972 | 7 | 2819265 | 43390 || 15 | 98817 | 753/ 753 | 3808 | 0 | 1.08/1.11 c | 16 | 0.2 | 0 | 1917 | 68 | 8 | 3437902 | 47969 || 16 | 104850 | 753/ 753 | 3946 | 0 | 1.28/1.30 c | 21 | 0.2 | 0 | 2017 | 60 | 9 | 4109408 | 59636 || 21 | 129297 | 753/ 753 | 4803 | 0 | 1.38/1.49 c | 25 | 0.2 | 0 | 2231 | 157 | 10 | 4816199 | 69546 || 25 | 149816 | 753/ 753 | 5746 | 0 | 1.68/1.71 c | 29 | 0.2 | 0 | 2397 | 550 | 11 | 5561616 | 80242 || 29 | 174345 | 753/ 753 | 6690 | 0 | 1.88/1.92 c | 30 | 0.2 | 0 | 2559 | 350 | 12 | 6350636 | 86804 || 30 | 188141 | 714/ 714 | 7579 | 0 | 2.08/2.15 c | 31 | 0.2 | 0 | 2737 | 2055 | 13 | 7139084 | 93556 || 31 | 208638 | 592/ 592 | 9346 | 0 | 2.38/2.41 c | 31 | 0.3 | 0 | 2999 | 1453 | 14 | 8019075 | 97399 || 31 | 212351 | 592/ 592 | 9370 | 0 | 2.68/2.70 c | 38 | 0.3 | 0 | 3037 | 342 | 15 | 9000518 | 113701 || 38 | 248667 | 592/ 592 | 10806 | 0 | 2.88/3.00 c | 44 | 0.3 | 0 | 3133 | 234 | 16 | 10017365 | 129509 || 44 | 280076 | 592/ 592 | 11822 | 0 | 3.18/3.29 c | 46 | 0.3 | 0 | 3351 | 231 | 17 | 11076133 | 140121 || 46 | 304879 | 592/ 592 | 13184 | 0 | 3.58/3.62 c | 53 | 0.3 | 0 | 3555 | 222 | 18 | 12216965 | 155954 || 53 | 338468 | 592/ 592 | 14591 | 0 | 3.88/3.95 c | 59 | 0.3 | 0 | 3793 | 111 | 19 | 13375719 | 173531 || 59 | 372964 | 592/ 592 | 15601 | 0 | 4.18/4.28 c | 61 | 0.3 | 0 | 4063 | 712 | 20 | 14572625 | 183007 || 61 | 395027 | 592/ 592 | 16928 | 0 | 4.58/4.64 c | 62 | 0.3 | 0 | 4352 | 811 | 21 | 15800718 | 192259 || 62 | 417958 | 579/ 579 | 18683 | 0 | 4.98/5.03 c | 63 | 0.4 | 0 | 4497 | 3412 | 22 | 17079043 | 202819 || 63 | 450429 | 438/ 438 | 22080 | 0 | 5.38/5.46 c | 63 | 0.4 | 0 | 4682 | 1313 | 23 | 18436045 | 210647 || 63 | 464419 | 438/ 438 | 22163 | 0 | 5.88/5.90 c | 67 | 0.4 | 0 | 4821 | 9 | 24 | 19916037 | 221850 || 67 | 481948 | 438/ 438 | 22747 | 0 | 6.29/6.34 c | 76 | 0.4 | 0 | 4673 | 0 | 25 | 21373995 | 243016 || 76 | 527899 | 438/ 438 | 24530 | 0 | 6.69/6.77 c | 80 | 0.4 | 0 | 4888 | 89 | 26 | 22858931 | 258305 || 80 | 558798 | 438/ 438 | 26126 | 0 | 7.18/7.24 c | 90 | 0.5 | 0 | 5093 | 168 | 27 | 24411040 | 281595 || 90 | 607852 | 438/ 438 | 28033 | 0 | 7.69/7.71 c | 94 | 0.5 | 0 | 5374 | 1057 | 28 | 25994955 | 298104 || 94 | 647204 | 438/ 438 | 31297 | 0 | 8.18/8.20 c | 96 | 0.5 | 0 | 5691 | 46 | 29 | 27598752 | 310326 || 96 | 670389 | 438/ 438 | 31627 | 0 | 8.68/8.74 c | 107 | 0.5 | 0 | 5885 | 236 | 30 | 29322237 | 335008 || 107 | 723749 | 438/ 438 | 33803 | 0 | 9.18/9.26 c | 113 | 0.5 | 0 | 5990 | 224 | 31 | 31070638 | 353929 || 113 | 764586 | 438/ 438 | 35786 | 0 | 9.78/9.81 c | 123 | 0.6 | 0 | 6096 | 592 | 32 | 32867829 | 379172 || 123 | 820741 | 438/ 438 | 38029 | 0 | 10.28/10.36 c | 125 | 0.5 | 0 | 6331 | 86 | 33 | 34682734 | 394888 || 125 | 859087 | 438/ 438 | 40678 | 0 | 10.88/10.96 c | 126 | 0.6 | 0 | 6435 | 3891 | 34 | 36582023 | 407572 || 126 | 894502 | 409/ 409 | 44088 | 0 | 11.48/11.55 c | 126 | 0.6 | 0 | 6500 | 2991 | 35 | 38520666 | 415774 || 126 | 903960 | 409/ 409 | 44147 | 0 | 12.09/12.20 c | 127 | 0.6 | 0 | 6665 | 6992 | 36 | 40431678 | 431511 || 127 | 956563 | 360/ 360 | 50922 | 0 | 12.88/12.91 c | 127 | 0.7 | 0 | 6814 | 1493 | 37 | 42428878 | 443495 || 127 | 980630 | 360/ 360 | 51079 | 0 | 13.58/13.60 c | 127 | 0.7 | 0 | 6754 | 5695 | 38 | 44614725 | 449589 || 127 | 980630 | 360/ 360 | 51079 | 0 | 14.18/14.29 c | 139 | 0.7 | 0 | 6777 | 75 | 39 | 46775707 | 478733 || 139 | 1038776 | 360/ 360 | 53219 | 0 | 14.88/14.98 c | 148 | 0.7 | 0 | 6868 | 161 | 40 | 48953445 | 505442 || 148 | 1097168 | 360/ 360 | 55813 | 0 | 15.58/15.68 c | 157 | 0.7 | 0 | 7219 | 442 | 41 | 51179394 | 533495 || 157 | 1157976 | 360/ 360 | 58627 | 0 | 16.28/16.39 c | 163 | 0.7 | 0 | 7646 | 137 | 42 | 53458748 | 554604 || 163 | 1202516 | 360/ 360 | 61109 | 0 | 17.08/17.15 c | 173 | 0.8 | 0 | 7880 | 122 | 43 | 55821185 | 585127 || 173 | 1267405 | 360/ 360 | 64159 | 0 | 17.88/17.92 c | 187 | 0.8 | 0 | 8212 | 308 | 44 | 58234608 | 618453 || 187 | 1335226 | 360/ 360 | 67016 | 0 | 18.58/18.65 c | 189 | 0.7 | 0 | 8607 | 1005 | 45 | 60614917 | 637346 || 189 | 1377505 | 360/ 360 | 69687 | 0 | 19.48/19.50 c | 190 | 0.9 | 0 | 8713 | 1203 | 46 | 63016462 | 653724 || 190 | 1417273 | 360/ 360 | 73159 | 0 | 20.28/20.33 c | 200 | 0.8 | 0 | 8635 | 84 | 47 | 65612158 | 680453 || 200 | 1468986 | 360/ 360 | 75116 | 0 | 21.08/21.17 c | 212 | 0.8 | 0 | 8796 | 464 | 48 | 68184616 | 713203 || 212 | 1539066 | 360/ 360 | 78360 | 0 | 21.99/22.01 c | 221 | 0.9 | 0 | 9054 | 1554 | 49 | 70799468 | 742862 || 221 | 1606266 | 360/ 360 | 82369 | 0 | 22.88/22.90 c | 231 | 0.9 | 0 | 9320 | 244 | 50 | 73512177 | 772715 || 231 | 1666392 | 360/ 360 | 84347 | 0 | 23.68/23.78 c | 243 | 0.9 | 0 | 9408 | 21 | 51 | 76242239 | 807732 || 243 | 1741698 | 360/ 360 | 87607 | 0 | 24.58/24.69 c | 252 | 0.9 | 0 | 9698 | 2010 | 52 | 79071976 | 837285 || 252 | 1811740 | 360/ 360 | 91650 | 0 | 25.58/25.61 c | 253 | 0.9 | 0 | 10110 | 503 | 53 | 81853684 | 856199 || 253 | 1858852 | 360/ 360 | 95176 | 0 | 26.49/26.58 c | 254 | 1.0 | 0 | 10063 | 6305 | 54 | 84711301 | 874305 || 254 | 1910670 | 354/ 354 | 101935 | 0 | 27.59/27.64 c | 254 | 1.1 | 0 | 10060 | 2607 | 55 | 87618010 | 892346 || 254 | 1943810 | 354/ 354 | 102185 | 0 | 28.69/28.73 c | 255 | 1.1 | 0 | 10095 | 8609 | 56 | 90622504 | 906616 || 255 | 1990572 | 232/ 232 | 115375 | 0 | 29.98/30.06 c | 255 | 1.3 | 0 | 10137 | 6101 | 57 | 93438619 | 928306 || 255 | 2046673 | 232/ 232 | 115727 | 0 | 31.68/31.71 c | 255 | 1.6 | 0 | 10659 | 1709 | 58 | 96360495 | 947162 || 255 | 2083681 | 232/ 232 | 115974 | 0 | 32.98/33.02 c | 255 | 1.3 | 0 | 9567 | 8011 | 59 | 99851356 | 955580 || 255 | 2083681 | 232/ 232 | 115974 | 0 | 34.28/34.32 c | 262 | 1.3 | 0 | 10083 | 202 | 60 | 103244370 | 975068 || 262 | 2109838 | 232/ 232 | 116940 | 0 | 35.38/35.45 c | 277 | 1.1 | 0 | 9435 | 285 | 61 | 106560133 | 1017060 || 277 | 2200781 | 232/ 232 | 121153 | 0 | 36.48/36.53 c | 286 | 1.1 | 0 | 9982 | 271 | 62 | 109829581 | 1050798 || 286 | 2279033 | 232/ 232 | 125275 | 0 | 37.58/37.67 c | 301 | 1.1 | 0 | 10379 | 953 | 63 | 113256333 | 1090911 || 301 | 2363201 | 232/ 232 | 129000 | 0 | 38.78/38.83 c | 316 | 1.1 | 0 | 11264 | 103 | 64 | 116688336 | 1133172 || 316 | 2452788 | 232/ 232 | 132792 | 0 | 39.98/40.01 c | 318 | 1.2 | 0 | 11654 | 4602 | 65 | 120044583 | 1158046 || 318 | 2520992 | 232/ 232 | 138056 | 0 | 41.18/41.25 c | 330 | 1.2 | 0 | 12378 | 79 | 66 | 123588334 | 1191701 || 330 | 2581568 | 232/ 232 | 140231 | 0 | 42.48/42.50 c | 347 | 1.2 | 0 | 12098 | 448 | 67 | 127170315 | 1237129 || 347 | 2681964 | 232/ 232 | 144618 | 0 | 43.68/43.72 c | 356 | 1.2 | 0 | 12433 | 439 | 68 | 130767772 | 1270874 || 356 | 2754919 | 232/ 232 | 148681 | 0 | 44.98/45.01 c | 373 | 1.3 | 0 | 12621 | 14 | 69 | 134473795 | 1318009 || 373 | 2854520 | 232/ 232 | 152714 | 0 | 46.18/46.25 c | 381 | 1.2 | 0 | 12751 | 2101 | 70 | 138126033 | 1351114 || 381 | 2936712 | 232/ 232 | 159856 | 0 | 47.48/47.51 c | 382 | 1.3 | 0 | 12833 | 4800 | 71 | 141807832 | 1374020 || 382 | 2996382 | 232/ 232 | 166682 | 0 | 48.88/48.98 c | 382 | 1.5 | 0 | 13229 | 2803 | 72 | 145559345 | 1396128 || 382 | 3039073 | 232/ 232 | 166960 | 0 | 50.38/50.49 c | 396 | 1.5 | 0 | 13294 | 282 | 73 | 149382458 | 1434295 || 396 | 3110384 | 232/ 232 | 169799 | 0 | 51.79/51.86 c | 412 | 1.4 | 0 | 12826 | 1048 | 74 | 153314859 | 1480596 || 412 | 3212512 | 232/ 232 | 174441 | 0 | 53.18/53.22 c | 426 | 1.4 | 0 | 13162 | 233 | 75 | 157260519 | 1524184 || 426 | 3303515 | 232/ 232 | 178634 | 0 | 54.58/54.64 c | 443 | 1.4 | 0 | 13350 | 900 | 76 | 161289586 | 1574075 || 443 | 3415690 | 232/ 232 | 183748 | 0 | 55.98/56.10 c | 445 | 1.5 | 0 | 13771 | 598 | 77 | 165342626 | 1605020 || 445 | 3491066 | 232/ 232 | 189077 | 0 | 57.58/57.60 c | 460 | 1.5 | 0 | 13923 | 1164 | 78 | 169538009 | 1647151 || 460 | 3578502 | 232/ 232 | 192799 | 0 | 58.98/59.09 c | 476 | 1.5 | 0 | 14440 | 1833 | 79 | 173691056 | 1694852 || 476 | 3685378 | 232/ 232 | 198296 | 0 | 60.48/60.56 c | 491 | 1.5 | 0 | 14712 | 599 | 80 | 177943479 | 1740744 || 491 | 3776350 | 232/ 232 | 202046 | 0 | 61.98/62.06 c | 507 | 1.5 | 0 | 14822 | 270 | 81 | 182150613 | 1792118 || 507 | 3891113 | 232/ 232 | 207578 | 0 | 63.58/63.63 c | 509 | 1.6 | 0 | 15022 | 4072 | 82 | 186433548 | 1818417 || 509 | 3960533 | 232/ 232 | 217686 | 0 | 65.38/65.40 c | 509 | 1.8 | 0 | 15007 | 3172 | 83 | 190707270 | 1844812 || 509 | 4013959 | 232/ 232 | 218096 | 0 | 67.18/67.28 c | 510 | 1.9 | 0 | 15263 | 11973 | 84 | 195070061 | 1872801 || 510 | 4096900 | 229/ 229 | 231473 | 0 | 69.78/69.87 c | 510 | 2.6 | 0 | 15244 | 1675 | 85 | 199265180 | 1903341 || 510 | 4164511 | 229/ 229 | 231928 | 0 | 72.18/72.21 c | 510 | 2.4 | 0 | 14857 | 10677 | 86 | 204081948 | 1915462 || 510 | 4164511 | 229/ 229 | 231928 | 0 | 74.08/74.19 c | 511 | 2.0 | 0 | 14819 | 19778 | 87 | 208503521 | 1947616 || 511 | 4282409 | 194/ 194 | 258422 | 0 | 76.68/76.70 c | 511 | 2.5 | 0 | 13355 | 9202 | 88 | 212897319 | 1984451 || 511 | 4375792 | 194/ 194 | 259079 | 0 | 79.58/79.66 c | 511 | 3.0 | 0 | 13846 | 9301 | 89 | 217146890 | 2019401 || 511 | 4461105 | 194/ 194 | 259675 | 0 | 81.58/81.67 c | 511 | 2.0 | 0 | 13384 | 9281 | 90 | 221969076 | 2033897 || 511 | 4462224 | 194/ 194 | 259682 | 0 | 84.38/84.40 c | 511 | 2.7 | 0 | 14137 | 18782 | 91 | 226774203 | 2046632 || 511 | 4462224 | 194/ 194 | 259682 | 0 | 86.89/86.95 c | 520 | 2.6 | 0 | 15094 | 71 | 92 | 231499908 | 2077893 || 520 | 4509691 | 194/ 194 | 261394 | 0 | 88.68/88.74 c | 541 | 1.8 | 0 | 13594 | 445 | 93 | 236402006 | 2139788 || 541 | 4642511 | 194/ 194 | 267241 | 0 | 90.48/90.53 c | 557 | 1.8 | 0 | 14142 | 608 | 94 | 241341227 | 2191781 || 557 | 4754903 | 194/ 194 | 272805 | 0 | 92.28/92.31 c | 574 | 1.8 | 0 | 15286 | 1683 | 95 | 246292245 | 2243216 || 574 | 4875322 | 194/ 194 | 281622 | 0 | 94.08/94.15 c | 587 | 1.8 | 0 | 15979 | 160 | 96 | 251291622 | 2292801 || 587 | 4976538 | 194/ 194 | 284249 | 0 | 95.98/96.02 c | 605 | 1.9 | 0 | 16659 | 1715 | 97 | 256302391 | 2349478 || 605 | 5106209 | 194/ 194 | 291059 | 0 | 97.89/97.93 c | 626 | 1.9 | 0 | 17942 | 70 | 98 | 261406680 | 2410064 || 626 | 5230900 | 194/ 194 | 295839 | 0 | 99.78/99.81 c | 637 | 1.9 | 0 | 17730 | 3747 | 99 | 266467826 | 2457245 || 637 | 5342842 | 194/ 194 | 303776 | 0 | 101.78/101.88 c | 638 | 2.1 | 0 | 18074 | 9346 | 100 | 271381575 | 2489647 || 638 | 5427029 | 194/ 194 | 310782 | 0 | 103.98/104.05 c | 651 | 2.2 | 0 | 17813 | 15 | 101 | 276729424 | 2530276 || 651 | 5493268 | 194/ 194 | 313247 | 0 | 105.98/106.03 c | 669 | 2.0 | 0 | 17425 | 2372 | 102 | 282003154 | 2587652 || 669 | 5622189 | 194/ 194 | 320126 | 0 | 107.98/108.06 c | 693 | 2.0 | 0 | 17875 | 134 | 103 | 287441921 | 2652678 || 693 | 5750696 | 194/ 194 | 325540 | 0 | 109.99/110.09 c | 701 | 2.0 | 0 | 18097 | 618 | 104 | 292748746 | 2699083 || 701 | 5864909 | 194/ 194 | 332913 | 0 | 112.19/112.21 c | 723 | 2.1 | 0 | 18122 | 463 | 105 | 298290412 | 2759050 || 723 | 5987462 | 194/ 194 | 338109 | 0 | 114.28/114.31 c | 743 | 2.1 | 0 | 18436 | 226 | 106 | 303782996 | 2820795 || 743 | 6119851 | 194/ 194 | 344205 | 0 | 116.38/116.42 c | 763 | 2.1 | 0 | 19139 | 2302 | 107 | 309282201 | 2883482 || 763 | 6261003 | 194/ 194 | 351447 | 0 | 118.48/118.51 c | 765 | 2.1 | 0 | 19549 | 6298 | 108 | 314797763 | 2920534 || 765 | 6356394 | 194/ 194 | 361696 | 0 | 120.99/121.03 c | 766 | 2.5 | 0 | 19895 | 7998 | 109 | 320512522 | 2951555 || 766 | 6433689 | 194/ 194 | 375081 | 0 | 123.78/123.84 c | 766 | 2.8 | 0 | 19080 | 197 | 110 | 325816774 | 2993712 || 766 | 6539646 | 194/ 194 | 375810 | 0 | 126.49/126.56 c | 766 | 2.7 | 0 | 18987 | 11699 | 111 | 331919041 | 3008961 || 766 | 6539646 | 194/ 194 | 375810 | 0 | 128.88/128.93 c | 795 | 2.4 | 0 | 18773 | 261 | 112 | 337795883 | 3083946 || 795 | 6697708 | 194/ 194 | 382318 | 0 | 131.08/131.15 c | 812 | 2.2 | 0 | 18658 | 532 | 113 | 343560493 | 3141806 || 812 | 6823234 | 194/ 194 | 388727 | 0 | 133.28/133.38 c | 829 | 2.2 | 0 | 18882 | 3502 | 114 | 349412070 | 3201703 || 829 | 6965595 | 194/ 194 | 397648 | 0 | 135.68/135.71 c | 848 | 2.3 | 0 | 19593 | 66 | 115 | 355439049 | 3260231 || 848 | 7079093 | 194/ 194 | 402059 | 0 | 137.98/138.02 c | 871 | 2.3 | 0 | 19904 | 25 | 116 | 361393043 | 3329882 || 871 | 7227576 | 194/ 194 | 409041 | 0 | 140.28/140.35 c | 891 | 2.3 | 0 | 20848 | 981 | 117 | 367348283 | 3396212 || 891 | 7372238 | 194/ 194 | 416303 | 0 | 142.68/142.79 c | 893 | 2.4 | 0 | 21881 | 8382 | 118 | 373263658 | 3436523 || 893 | 7478380 | 194/ 194 | 426685 | 0 | 145.38/145.43 c | 907 | 2.6 | 0 | 21572 | 254 | 119 | 379417595 | 3486466 || 907 | 7565434 | 194/ 194 | 429637 | 0 | 147.88/147.91 c | 929 | 2.5 | 0 | 21292 | 115 | 120 | 385633695 | 3552766 || 929 | 7710286 | 194/ 194 | 436828 | 0 | 150.38/150.41 c | 955 | 2.5 | 0 | 21577 | 1467 | 121 | 391856594 | 3629473 || 955 | 7878520 | 194/ 194 | 445326 | 0 | 152.89/152.98 c | 969 | 2.6 | 0 | 22040 | 153 | 122 | 398074205 | 3684866 || 969 | 7992679 | 194/ 194 | 451301 | 0 | 155.48/155.51 c | 989 | 2.5 | 0 | 21790 | 10 | 123 | 404487753 | 3751044 || 989 | 8134100 | 194/ 194 | 458400 | 0 | 157.98/158.07 c | 1018 | 2.6 | 0 | 22029 | 1036 | 124 | 410893863 | 3830277 || 1018 | 8310426 | 194/ 194 | 467320 | 0 | 160.48/160.56 c | 1020 | 2.5 | 0 | 22863 | 6738 | 125 | 417010670 | 3871288 || 1020 | 8417441 | 194/ 194 | 477658 | 0 | 163.48/163.57 c | 1021 | 3.0 | 0 | 23227 | 10136 | 126 | 423205750 | 3905439 || 1021 | 8502380 | 194/ 194 | 491083 | 0 | 166.78/166.87 c | 1021 | 3.3 | 0 | 22854 | 4037 | 127 | 429287352 | 3946650 || 1021 | 8588790 | 194/ 194 | 491706 | 0 | 170.08/170.15 c | 1022 | 3.3 | 0 | 22364 | 17239 | 128 | 435703431 | 3976540 || 1022 | 8677096 | 162/ 162 | 518038 | 0 | 174.69/174.74 c | 1022 | 4.6 | 0 | 22124 | 13303 | 129 | 441635210 | 4026872 || 1022 | 8801964 | 162/ 162 | 518876 | 0 | 178.39/178.49 c | 1022 | 3.8 | 0 | 21849 | 5544 | 130 | 448020454 | 4065238 || 1022 | 8875731 | 162/ 162 | 519355 | 0 | 181.98/182.02 c | 1022 | 3.5 | 0 | 19499 | 19045 | 131 | 454916959 | 4083810 || 1022 | 8875731 | 162/ 162 | 519355 | 0 | 185.68/185.76 c | 1023 | 3.7 | 0 | 20093 | 32648 | 132 | 461736042 | 4122527 || 1023 | 9026442 | 132/ 132 | 571805 | 0 | 191.08/191.18 c | 1023 | 5.4 | 0 | 20147 | 13703 | 133 | 467895129 | 4177541 || 1023 | 9156108 | 132/ 132 | 572776 | 0 | 197.28/197.37 c | 1023 | 6.2 | 0 | 20967 | 13801 | 134 | 474259577 | 4227614 || 1023 | 9281528 | 132/ 132 | 573601 | 0 | 203.29/203.38 c | 1023 | 6.0 | 0 | 19966 | 13904 | 135 | 480749157 | 4275521 || 1023 | 9399567 | 132/ 132 | 574421 | 0 | 207.09/207.11 c | 1023 | 3.7 | 0 | 20767 | 11255 | 136 | 487770097 | 4301406 || 1023 | 9420729 | 132/ 132 | 574566 | 0 | 211.89/211.97 c | 1023 | 4.9 | 0 | 19620 | 25357 | 137 | 495001986 | 4320669 || 1023 | 9420729 | 132/ 132 | 574566 | 0 | 217.29/217.36 c | 1023 | 5.4 | 0 | 22031 | 39559 | 138 | 502068548 | 4339808 || 1023 | 9420729 | 132/ 132 | 574566 | 0 | 222.39/222.40 c | 1032 | 5.0 | 0 | 21851 | 147 | 139 | 509260981 | 4376003 || 1032 | 9464269 | 132/ 132 | 576221 | 0 | 225.29/225.32 c | 1058 | 2.9 | 0 | 19046 | 94 | 140 | 516405282 | 4457030 || 1058 | 9636485 | 132/ 132 | 584446 | 0 | 228.19/228.20 c | 1085 | 2.9 | 0 | 20440 | 1049 | 141 | 523663457 | 4540879 || 1085 | 9824475 | 132/ 132 | 593180 | 0 | 231.09/231.19 c | 1106 | 3.0 | 0 | 21861 | 97 | 142 | 530950491 | 4612904 || 1106 | 9983062 | 132/ 132 | 601166 | 0 | 234.09/234.16 c | 1132 | 3.0 | 0 | 22375 | 630 | 143 | 538271093 | 4694322 || 1132 | 10162004 | 132/ 132 | 609761 | 0 | 237.09/237.14 c | 1149 | 3.0 | 0 | 24021 | 1802 | 144 | 545501719 | 4763464 || 1149 | 10315151 | 132/ 132 | 618811 | 0 | 240.39/240.49 c | 1153 | 3.3 | 0 | 25624 | 95 | 145 | 552912839 | 4806680 || 1153 | 10407577 | 132/ 132 | 626326 | 0 | 243.59/243.64 c | 1181 | 3.2 | 0 | 24523 | 1246 | 146 | 560346636 | 4892028 || 1181 | 10593223 | 132/ 132 | 635038 | 0 | 246.79/246.83 c | 1212 | 3.2 | 0 | 24986 | 283 | 147 | 567894310 | 4983888 || 1212 | 10791658 | 132/ 132 | 644315 | 0 | 249.99/250.03 c | 1233 | 3.2 | 0 | 25309 | 140 | 148 | 575438395 | 5054192 || 1233 | 10942794 | 132/ 132 | 652295 | 0 | 253.19/253.25 c | 1261 | 3.2 | 0 | 25450 | 188 | 149 | 583060063 | 5139502 || 1261 | 11126564 | 132/ 132 | 661043 | 0 | 256.29/256.39 c | 1276 | 3.1 | 0 | 25699 | 2857 | 150 | 590666014 | 5206566 || 1276 | 11273740 | 132/ 132 | 669773 | 0 | 259.70/259.75 c | 1278 | 3.4 | 0 | 26151 | 8755 | 151 | 598058310 | 5251369 || 1278 | 11398115 | 132/ 132 | 689868 | 0 | 263.89/263.96 c | 1278 | 4.2 | 0 | 26576 | 5155 | 152 | 605467400 | 5296101 || 1278 | 11488100 | 132/ 132 | 690501 | 0 | 267.89/267.93 c | 1300 | 4.0 | 0 | 26163 | 215 | 153 | 613616311 | 5361750 || 1300 | 11602863 | 132/ 132 | 695606 | 0 | 271.29/271.33 c | 1330 | 3.4 | 0 | 25273 | 268 | 154 | 621482619 | 5452084 || 1330 | 11800358 | 132/ 132 | 704437 | 0 | 274.59/274.68 c | 1347 | 3.3 | 0 | 25728 | 122 | 155 | 629472507 | 5522808 || 1347 | 11950636 | 132/ 132 | 713430 | 0 | 277.99/278.09 c | 1377 | 3.4 | 0 | 25808 | 67 | 156 | 637489907 | 5613880 || 1377 | 12148000 | 132/ 132 | 722505 | 0 | 281.39/281.49 c | 1404 | 3.4 | 0 | 26443 | 2837 | 157 | 645549214 | 5701360 || 1404 | 12350039 | 132/ 132 | 734462 | 0 | 285.00/285.05 c | 1405 | 3.6 | 0 | 27371 | 4634 | 158 | 653624622 | 5747484 || 1405 | 12449489 | 132/ 132 | 741618 | 0 | 288.59/288.66 c | 1436 | 3.6 | 0 | 28491 | 73 | 159 | 661773701 | 5838922 || 1436 | 12645507 | 132/ 132 | 750900 | 0 | 292.19/292.23 c | 1467 | 3.6 | 0 | 28111 | 395 | 160 | 669981251 | 5930010 || 1467 | 12839753 | 132/ 132 | 760117 | 0 | 295.79/295.82 c | 1491 | 3.6 | 0 | 28429 | 446 | 161 | 678225432 | 6009719 || 1491 | 13013834 | 132/ 132 | 768903 | 0 | 299.39/299.44 c | 1524 | 3.6 | 0 | 28629 | 0 | 162 | 686471740 | 6104770 || 1524 | 13220256 | 132/ 132 | 778501 | 0 | 302.99/303.04 c | 1532 | 3.6 | 0 | 28851 | 6882 | 163 | 694832684 | 6166031 || 1532 | 13374520 | 132/ 132 | 792309 | 0 | 306.90/306.99 c | 1533 | 4.0 | 0 | 29063 | 14086 | 164 | 703087692 | 6218695 || 1533 | 13502970 | 132/ 132 | 806023 | 0 | 311.49/311.51 c | 1533 | 4.5 | 0 | 29539 | 11787 | 165 | 711609776 | 6256063 || 1533 | 13552175 | 132/ 132 | 806362 | 0 | 316.39/316.45 c | 1534 | 4.9 | 0 | 28595 | 28788 | 166 | 719501786 | 6315940 || 1534 | 13733653 | 132/ 132 | 833347 | 0 | 322.89/322.94 c | 1534 | 6.5 | 0 | 29516 | 7483 | 167 | 727709618 | 6359908 || 1534 | 13810122 | 132/ 132 | 833909 | 0 | 328.19/328.29 c | 1534 | 5.3 | 0 | 27061 | 24686 | 168 | 736788885 | 6383357 || 1534 | 13810122 | 132/ 132 | 833909 | 0 | 332.09/332.17 c | 1567 | 3.9 | 0 | 26213 | 35 | 169 | 745520233 | 6481717 || 1567 | 14015568 | 132/ 132 | 843438 | 0 | 335.79/335.90 c | 1597 | 3.7 | 0 | 26563 | 3282 | 170 | 754265187 | 6576735 || 1597 | 14226831 | 132/ 132 | 855882 | 0 | 339.69/339.77 c | 1627 | 3.9 | 0 | 27692 | 742 | 171 | 763050781 | 6667861 || 1627 | 14415164 | 132/ 132 | 863510 | 0 | 343.59/343.66 c | 1659 | 3.9 | 0 | 28517 | 2284 | 172 | 771800002 | 6765358 || 1659 | 14633380 | 132/ 132 | 874518 | 0 | 347.70/347.76 c | 1661 | 4.1 | 0 | 30180 | 3177 | 173 | 780589563 | 6821024 || 1661 | 14760267 | 132/ 132 | 885058 | 0 | 351.79/351.88 c | 1692 | 4.1 | 0 | 31162 | 134 | 174 | 789368617 | 6913988 || 1692 | 14954536 | 132/ 132 | 894299 | 0 | 355.89/355.90 c | 1724 | 4.0 | 0 | 31456 | 1973 | 175 | 798234571 | 7010127 || 1724 | 15166015 | 132/ 132 | 906848 | 0 | 359.89/359.96 c | 1754 | 4.1 | 0 | 31280 | 1120 | 176 | 807187297 | 7103628 || 1754 | 15366963 | 132/ 132 | 914603 | 0 | 363.99/364.07 c | 1786 | 4.1 | 0 | 31727 | 1952 | 177 | 816307466 | 7202749 || 1786 | 15585493 | 132/ 132 | 925613 | 0 | 368.09/368.17 c | 1788 | 4.1 | 0 | 32007 | 3346 | 178 | 825054064 | 7257895 || 1788 | 15706901 | 132/ 132 | 936108 | 0 | 372.79/372.81 c | 1789 | 4.7 | 0 | 31904 | 2447 | 179 | 833844091 | 7318796 || 1789 | 15860163 | 132/ 132 | 950022 | 0 | 377.49/377.52 c | 1811 | 4.7 | 0 | 32027 | 204 | 180 | 843204056 | 7387424 || 1811 | 15977498 | 132/ 132 | 955208 | 0 | 381.79/381.88 c | 1849 | 4.4 | 0 | 31431 | 233 | 181 | 852526126 | 7496724 || 1849 | 16211833 | 132/ 132 | 965893 | 0 | 385.99/386.09 c | 1868 | 4.2 | 0 | 31628 | 79 | 182 | 861801749 | 7577827 || 1868 | 16392189 | 132/ 132 | 975941 | 0 | 390.39/390.44 c | 1908 | 4.4 | 0 | 31624 | 116 | 183 | 871171792 | 7690057 || 1908 | 16630259 | 132/ 132 | 986940 | 0 | 394.69/394.72 c | 1916 | 4.3 | 0 | 31884 | 8801 | 184 | 880358643 | 7759205 || 1916 | 16802620 | 132/ 132 | 1000992 | 0 | 399.19/399.29 c | 1946 | 4.6 | 0 | 32564 | 846 | 185 | 889968416 | 7848475 || 1946 | 16974862 | 132/ 132 | 1008475 | 0 | 403.59/403.66 c | 1978 | 4.4 | 0 | 33292 | 198 | 186 | 899400379 | 7951498 || 1978 | 17201491 | 132/ 132 | 1019525 | 0 | 408.10/408.11 c | 2009 | 4.4 | 0 | 33993 | 446 | 187 | 909047166 | 8048047 || 2009 | 17402649 | 132/ 132 | 1030383 | 0 | 412.60/412.62 c | 2041 | 4.5 | 0 | 34078 | 2366 | 188 | 918686627 | 8149600 || 2041 | 17628008 | 132/ 132 | 1041476 | 0 | 417.00/417.02 c | 2043 | 4.4 | 0 | 34386 | 4860 | 189 | 928298090 | 8206705 || 2043 | 17756032 | 132/ 132 | 1052027 | 0 | 421.99/422.04 c | 2044 | 5.0 | 0 | 34121 | 5058 | 190 | 937567736 | 8265383 || 2044 | 17905600 | 132/ 132 | 1065991 | 0 | 427.59/427.65 c | 2045 | 5.6 | 0 | 34347 | 24561 | 191 | 946914281 | 8319474 || 2045 | 18064046 | 132/ 132 | 1092741 | 0 | 434.90/434.98 c | 2045 | 7.3 | 0 | 34168 | 5762 | 192 | 956107113 | 8375241 || 2045 | 18183069 | 132/ 132 | 1093487 | 0 | 440.80/440.85 c | 2045 | 5.9 | 0 | 31774 | 25464 | 193 | 966447757 | 8402665 || 2045 | 18183069 | 132/ 132 | 1093487 | 0 | 447.00/447.08 c | 2046 | 6.2 | 0 | 31037 | 45265 | 194 | 975758390 | 8473335 || 2046 | 18440424 | 132/ 132 | 1146714 | 0 | 458.29/458.33 c | 2046 | 11.2 | 0 | 31517 | 19902 | 195 | 984762806 | 8539471 || 2046 | 18597346 | 132/ 132 | 1147887 | 0 | 466.50/466.52 c | 2046 | 8.2 | 0 | 30499 | 8363 | 196 | 994345677 | 8587883 || 2046 | 18686858 | 132/ 132 | 1148489 | 0 | 473.39/473.49 c | 2046 | 7.0 | 0 | 29118 | 28464 | 197 | 1005162091 | 8614145 || 2046 | 18686858 | 132/ 132 | 1148489 | 0 | 482.09/482.13 c | 2046 | 8.6 | 0 | 30581 | 48665 | 198 | 1015847229 | 8641104 || 2046 | 18686858 | 132/ 132 | 1148489 | 0 | 488.99/489.02 c | 2047 | 6.9 | 0 | 29960 | 68966 | 199 | 1025509930 | 8719404 || 2047 | 19033439 | 110/ 110 | 1253775 | 0 | 497.59/497.62 c | 2047 | 8.6 | 0 | 27278 | 20401 | 200 | 1035007350 | 8795184 || 2047 | 19221883 | 110/ 110 | 1255079 | 0 | 511.19/511.27 c | 2047 | 13.6 | 0 | 29541 | 20506 | 201 | 1044127820 | 8866822 || 2047 | 19396277 | 110/ 110 | 1256285 | 0 | 527.80/527.87 c | 2047 | 16.6 | 0 | 31244 | 20602 | 202 | 1053159828 | 8936184 || 2047 | 19565114 | 110/ 110 | 1257465 | 0 | 544.60/544.69 c | 2047 | 16.8 | 0 | 31255 | 20702 | 203 | 1061993313 | 9006522 || 2047 | 19728165 | 110/ 110 | 1258677 | 0 | 551.90/551.99 c | 2047 | 7.3 | 0 | 31210 | 18378 | 204 | 1072417456 | 9040840 || 2047 | 19746387 | 110/ 110 | 1258798 | 0 | 559.90/560.00 c | 2047 | 8.0 | 0 | 28321 | 39279 | 205 | 1083367225 | 9068481 || 2047 | 19746387 | 110/ 110 | 1258798 | 0 | 568.80/568.81 c | 2047 | 8.8 | 0 | 29537 | 60282 | 206 | 1094082709 | 9096600 || 2047 | 19746387 | 110/ 110 | 1258798 | 0 | 576.10/576.11 c | 2047 | 7.3 | 0 | 27912 | 81383 | 207 | 1104702710 | 9125175 || 2047 | 19746387 | 110/ 110 | 1258798 | 0 | 584.60/584.66 c | 2048 | 8.6 | 0 | 29658 | 81 | 208 | 1115440615 | 9155549 || 2048 | 19750524 | 110/ 110 | 1258918 | 0 | 589.60/589.67 c | 2093 | 5.0 | 0 | 28829 | 1007 | 209 | 1126072135 | 9285787 || 2093 | 20031246 | 110/ 110 | 1271849 | 0 | 594.49/594.55 c | 2124 | 4.9 | 0 | 30922 | 536 | 210 | 1136762098 | 9392425 || 2124 | 20256864 | 110/ 110 | 1283732 | 0 | 599.60/599.61 c | 2167 | 5.0 | 0 | 31533 | 50 | 211 | 1147585162 | 9519414 || 2167 | 20525254 | 110/ 110 | 1295878 | 0 | 604.49/604.50 c | 2174 | 4.9 | 0 | 33836 | 2538 | 212 | 1157992477 | 9592633 || 2174 | 20703288 | 110/ 110 | 1309806 | 0 | 609.69/609.79 c | 2212 | 5.3 | 0 | 34708 | 373 | 213 | 1168916963 | 9704719 || 2212 | 20935454 | 110/ 110 | 1320501 | 0 | 614.80/614.85 c | 2242 | 5.1 | 0 | 36265 | 1 | 214 | 1179766443 | 9809765 || 2242 | 21161734 | 110/ 110 | 1332568 | 0 | 620.20/620.22 c | 2286 | 5.4 | 0 | 36135 | 211 | 215 | 1190674938 | 9935911 || 2286 | 21435548 | 110/ 110 | 1345296 | 0 | 625.50/625.50 c | 2301 | 5.3 | 0 | 36497 | 76 | 216 | 1201521181 | 10025607 || 2301 | 21654895 | 110/ 110 | 1360784 | 0 | 631.41/631.46 c | 2302 | 6.0 | 0 | 36428 | 2977 | 217 | 1212396700 | 10090973 || 2302 | 21802249 | 110/ 110 | 1374679 | 0 | 637.01/637.09 c | 2332 | 5.6 | 0 | 35712 | 317 | 218 | 1223485517 | 10183690 || 2332 | 21969687 | 110/ 110 | 1382187 | 0 | 642.41/642.44 c | 2365 | 5.4 | 0 | 36125 | 4156 | 219 | 1234604646 | 10296793 || 2365 | 22222229 | 110/ 110 | 1396683 | 0 | 647.80/647.89 c | 2404 | 5.4 | 0 | 36864 | 491 | 220 | 1245824302 | 10414756 || 2404 | 22463526 | 110/ 110 | 1407506 | 0 | 653.20/653.20 c | 2429 | 5.3 | 0 | 36984 | 5755 | 221 | 1257019918 | 10517865 || 2429 | 22705429 | 110/ 110 | 1425435 | 0 | 658.91/658.98 c | 2459 | 5.8 | 0 | 37225 | 287 | 222 | 1268273997 | 10623063 || 2459 | 22912555 | 110/ 110 | 1433234 | 0 | 664.41/664.44 c | 2492 | 5.5 | 0 | 37389 | 4507 | 223 | 1279472067 | 10739189 || 2492 | 23172997 | 110/ 110 | 1447794 | 0 | 670.01/670.08 c | 2534 | 5.6 | 0 | 38862 | 214 | 224 | 1290893330 | 10861658 || 2534 | 23424257 | 110/ 110 | 1459171 | 0 | 675.60/675.61 c | 2556 | 5.5 | 0 | 39394 | 6879 | 225 | 1302333789 | 10964486 || 2556 | 23667335 | 110/ 110 | 1476721 | 0 | 682.50/682.51 c | 2557 | 6.9 | 0 | 39963 | 1077 | 226 | 1313597451 | 11045005 || 2557 | 23844847 | 110/ 110 | 1490873 | 0 | 689.30/689.36 c | 2558 | 6.8 | 0 | 38358 | 24180 | 227 | 1324875822 | 11104498 || 2558 | 24000201 | 110/ 110 | 1517625 | 0 | 697.70/697.76 c | 2558 | 8.4 | 0 | 38795 | 8981 | 228 | 1335699246 | 11164728 || 2558 | 24117590 | 110/ 110 | 1518415 | 0 | 705.40/705.43 c | 2575 | 7.7 | 0 | 38185 | 144 | 229 | 1347432633 | 11230945 || 2575 | 24213660 | 110/ 110 | 1522412 | 0 | 711.20/711.23 c | 2620 | 5.8 | 0 | 36532 | 1951 | 230 | 1359007814 | 11364489 || 2620 | 24504263 | 110/ 110 | 1536893 | 0 | 716.91/716.96 c | 2652 | 5.7 | 0 | 36951 | 600 | 231 | 1370719659 | 11478117 || 2652 | 24750903 | 110/ 110 | 1549662 | 0 | 722.61/722.66 c | 2685 | 5.7 | 0 | 37694 | 3363 | 232 | 1382472191 | 11591772 || 2685 | 25008704 | 110/ 110 | 1568968 | 0 | 728.61/728.65 c | 2714 | 6.0 | 0 | 38883 | 195 | 233 | 1394134686 | 11702081 || 2714 | 25231697 | 110/ 110 | 1575921 | 0 | 734.41/734.47 c | 2748 | 5.8 | 0 | 40120 | 4346 | 234 | 1405970925 | 11823617 || 2748 | 25510290 | 110/ 110 | 1591354 | 0 | 740.61/740.60 c | 2793 | 6.1 | 0 | 41931 | 366 | 235 | 1417989667 | 11955514 || 2793 | 25784007 | 110/ 110 | 1603539 | 0 | 746.61/746.66 c | 2812 | 6.1 | 0 | 41967 | 8927 | 236 | 1429842037 | 12056990 || 2812 | 26020621 | 110/ 110 | 1620300 | 0 | 753.61/753.65 c | 2813 | 7.0 | 0 | 42350 | 4227 | 237 | 1441909409 | 12122265 || 2813 | 26165302 | 110/ 110 | 1634178 | 0 | 760.31/760.39 c | 2844 | 6.7 | 0 | 41301 | 1169 | 238 | 1454114383 | 12225203 || 2844 | 26359545 | 110/ 110 | 1643451 | 0 | 766.51/766.51 c | 2882 | 6.1 | 0 | 40764 | 298 | 239 | 1466225486 | 12348786 || 2882 | 26627358 | 110/ 110 | 1657153 | 0 | 772.81/772.80 c | 2933 | 6.3 | 0 | 41131 | 284 | 240 | 1478374625 | 12492741 || 2933 | 26932249 | 110/ 110 | 1671156 | 0 | 778.71/778.77 c | 2940 | 6.0 | 0 | 41591 | 5358 | 241 | 1490253505 | 12572836 || 2940 | 27112601 | 110/ 110 | 1685143 | 0 | 785.11/785.18 c | 2991 | 6.4 | 0 | 41061 | 167 | 242 | 1502504306 | 12716131 || 2991 | 27418576 | 110/ 110 | 1698883 | 0 | 791.51/791.54 c | 3029 | 6.4 | 0 | 41955 | 298 | 243 | 1514896531 | 12843086 || 3029 | 27692724 | 110/ 110 | 1712968 | 0 | 797.81/797.82 c | 3066 | 6.3 | 0 | 43430 | 4020 | 244 | 1527265901 | 12971096 || 3066 | 27982233 | 110/ 110 | 1729180 | 0 | 804.31/804.34 c | 3068 | 6.5 | 0 | 44057 | 14520 | 245 | 1539578675 | 13050451 || 3068 | 28180830 | 110/ 110 | 1749806 | 0 | 811.51/811.51 c | 3069 | 7.2 | 0 | 44116 | 20321 | 246 | 1551820301 | 13116090 || 3069 | 28346496 | 110/ 110 | 1776683 | 0 | 821.71/821.75 c | 3069 | 10.2 | 0 | 42944 | 7019 | 247 | 1563523544 | 13189707 || 3069 | 28509417 | 110/ 110 | 1777819 | 0 | 831.71/831.75 c | 3070 | 10.0 | 0 | 43426 | 32223 | 248 | 1575752381 | 13239255 || 3070 | 28654624 | 110/ 110 | 1830236 | 0 | 843.30/843.31 c | 3070 | 11.6 | 0 | 40108 | 25305 | 249 | 1586522167 | 13334185 || 3070 | 28899050 | 110/ 110 | 1831918 | 0 | 861.11/861.19 c | 3070 | 17.9 | 0 | 40984 | 6127 | 250 | 1597451566 | 13410786 || 3070 | 29067674 | 110/ 110 | 1833115 | 0 | 873.11/873.14 c | 3070 | 12.0 | 0 | 36457 | 31628 | 251 | 1610649748 | 13444054 || 3070 | 29067674 | 110/ 110 | 1833115 | 0 | 884.11/884.15 c | 3085 | 11.0 | 0 | 36805 | 399 | 252 | 1623696846 | 13509598 || 3085 | 29155624 | 110/ 110 | 1836866 | 0 | 890.61/890.66 c | 3132 | 6.5 | 0 | 34851 | 1208 | 253 | 1636426191 | 13654357 || 3132 | 29465460 | 110/ 110 | 1851661 | 0 | 897.01/897.07 c | 3174 | 6.4 | 0 | 37224 | 230 | 254 | 1649262220 | 13788900 || 3174 | 29755280 | 110/ 110 | 1866285 | 0 | 903.31/903.35 c | 3197 | 6.3 | 0 | 38747 | 9600 | 255 | 1661863855 | 13902645 || 3197 | 30028056 | 110/ 110 | 1884064 | 0 | 910.01/910.09 c | 3240 | 6.8 | 0 | 41104 | 27 | 256 | 1675012247 | 14029409 || 3240 | 30274210 | 110/ 110 | 1895471 | 0 | 916.81/916.88 c | 3278 | 6.8 | 0 | 42576 | 167 | 257 | 1688106931 | 14160177 || 3278 | 30558759 | 110/ 110 | 1910361 | 0 | 923.81/923.80 c | 3323 | 6.9 | 0 | 45158 | 2886 | 258 | 1701241755 | 14304678 || 3323 | 30882378 | 110/ 110 | 1928066 | 0 | 930.81/930.83 c | 3325 | 7.0 | 0 | 45545 | 14791 | 259 | 1714028988 | 14385792 || 3325 | 31081344 | 110/ 110 | 1948714 | 0 | 939.21/939.22 c | 3349 | 8.4 | 0 | 45783 | 43 | 260 | 1727218599 | 14483037 || 3349 | 31255048 | 110/ 110 | 1954454 | 0 | 946.31/946.30 c | 3388 | 7.1 | 0 | 43760 | 370 | 261 | 1740444966 | 14617724 || 3388 | 31557324 | 110/ 110 | 1970976 | 0 | 953.41/953.42 c | 3440 | 7.1 | 0 | 44337 | 186 | 262 | 1753816506 | 14764653 || 3440 | 31861271 | 110/ 110 | 1984917 | 0 | 960.31/960.34 c | 3452 | 6.9 | 0 | 44983 | 5558 | 263 | 1766994853 | 14858075 || 3452 | 32068562 | 110/ 110 | 1999935 | 0 | 967.71/967.72 c | 3510 | 7.4 | 0 | 44782 | 147 | 264 | 1780479936 | 15018795 || 3510 | 32405330 | 110/ 110 | 2015146 | 0 | 974.81/974.83 c | 3546 | 7.1 | 0 | 44801 | 2267 | 265 | 1793889340 | 15148025 || 3546 | 32691704 | 110/ 110 | 2031240 | 0 | 981.81/981.85 c | 3579 | 7.0 | 0 | 46403 | 5989 | 266 | 1807253151 | 15273009 || 3579 | 32974313 | 110/ 110 | 2050692 | 0 | 989.41/989.43 c | 3580 | 7.6 | 0 | 47520 | 4286 | 267 | 1819992524 | 15352058 || 3580 | 33156330 | 110/ 110 | 2064741 | 0 | 999.11/999.17 c | 3581 | 9.8 | 0 | 47031 | 31487 | 268 | 1832744739 | 15430148 || 3581 | 33366660 | 110/ 110 | 2091932 | 0 | 1009.41/1009.42 c | 3581 | 10.2 | 0 | 47070 | 20383 | 269 | 1846489031 | 15481539 || 3581 | 33425254 | 110/ 110 | 2092355 | 0 | 1018.01/1018.07 c | 3627 | 8.6 | 0 | 45782 | 500 | 270 | 1860350694 | 15620363 || 3627 | 33708090 | 110/ 110 | 2105434 | 0 | 1025.51/1025.53 c | 3673 | 7.5 | 0 | 44534 | 311 | 271 | 1874256549 | 15766011 || 3673 | 34023143 | 110/ 110 | 2121061 | 0 | 1032.61/1032.67 c | 3708 | 7.1 | 0 | 44755 | 3445 | 272 | 1888090856 | 15896725 || 3708 | 34322668 | 110/ 110 | 2143046 | 0 | 1040.21/1040.23 c | 3739 | 7.6 | 0 | 45095 | 697 | 273 | 1901859134 | 16017471 || 3739 | 34575484 | 110/ 110 | 2152649 | 0 | 1047.51/1047.58 c | 3785 | 7.3 | 0 | 46413 | 591 | 274 | 1915785705 | 16161624 || 3785 | 34884054 | 110/ 110 | 2168259 | 0 | 1055.11/1055.13 c | 3834 | 7.5 | 0 | 48549 | 1780 | 275 | 1929788909 | 16313194 || 3834 | 35216172 | 110/ 110 | 2187227 | 0 | 1062.72/1062.79 c | 3836 | 7.7 | 0 | 50602 | 15377 | 276 | 1943295649 | 16400889 || 3836 | 35446086 | 110/ 110 | 2207975 | 0 | 1071.52/1071.55 c | 3866 | 8.8 | 0 | 49541 | 622 | 277 | 1957601572 | 16509412 || 3866 | 35650541 | 110/ 110 | 2215701 | 0 | 1079.22/1079.25 c | 3904 | 7.7 | 0 | 48596 | 32 | 278 | 1971705750 | 16644703 || 3904 | 35943012 | 110/ 110 | 2231019 | 0 | 1087.22/1087.27 c | 3961 | 8.0 | 0 | 48852 | 1320 | 279 | 1986021303 | 16808717 || 3961 | 36299745 | 110/ 110 | 2248749 | 0 | 1094.82/1094.89 c | 3979 | 7.6 | 0 | 49694 | 887 | 280 | 2000158311 | 16909715 || 3979 | 36522587 | 110/ 110 | 2263112 | 0 | 1102.72/1102.79 c | 4026 | 7.9 | 0 | 49217 | 4478 | 281 | 2014305583 | 17063432 || 4026 | 36868280 | 110/ 110 | 2281276 | 0 | 1110.92/1110.90 c | 4080 | 8.1 | 0 | 49617 | 69 | 282 | 2028723161 | 17221281 || 4080 | 37199647 | 110/ 110 | 2295962 | 0 | 1118.62/1118.63 c | 4091 | 7.7 | 0 | 51273 | 8851 | 283 | 2042525678 | 17317462 || 4091 | 37442041 | 110/ 110 | 2323645 | 0 | 1127.81/1127.80 c | 4092 | 9.2 | 0 | 51172 | 18451 | 284 | 2056217232 | 17397267 || 4092 | 37639281 | 110/ 110 | 2350623 | 0 | 1138.02/1138.00 c | 4092 | 10.2 | 0 | 50772 | 8951 | 285 | 2069907087 | 17489574 || 4092 | 37837166 | 110/ 110 | 2351991 | 0 | 1148.22/1148.25 c | 4093 | 10.2 | 0 | 49710 | 37952 | 286 | 2084221483 | 17559716 || 4093 | 38037253 | 110/ 110 | 2404855 | 0 | 1165.91/1165.97 c | 4093 | 17.7 | 0 | 49609 | 29102 | 287 | 2096873041 | 17663886 || 4093 | 38298670 | 110/ 110 | 2406705 | 0 | 1183.01/1183.08 c | 4093 | 17.1 | 0 | 49623 | 19456 | 288 | 2111240760 | 17723793 || 4093 | 38375966 | 110/ 110 | 2407259 | 0 | 1195.51/1195.51 c | 4093 | 12.4 | 0 | 45312 | 48757 | 289 | 2126812070 | 17762818 || 4093 | 38375966 | 110/ 110 | 2407259 | 0 | 1209.62/1209.66 c | 4094 | 14.1 | 0 | 42813 | 78158 | 290 | 2139646154 | 17864728 || 4094 | 38781131 | 105/ 105 | 2512799 | 0 | 1233.42/1233.46 c | 4094 | 23.8 | 0 | 44381 | 29501 | 291 | 2151912712 | 17966625 || 4094 | 39037010 | 105/ 105 | 2514558 | 0 | 1260.22/1260.27 c | 4094 | 26.8 | 0 | 44289 | 29602 | 292 | 2163937316 | 18067315 || 4094 | 39285911 | 105/ 105 | 2516226 | 0 | 1280.22/1280.22 c | 4094 | 20.0 | 0 | 44196 | 13362 | 293 | 2177273929 | 18142188 || 4094 | 39419914 | 105/ 105 | 2517184 | 0 | 1293.82/1293.83 c | 4094 | 13.6 | 0 | 41101 | 43164 | 294 | 2191879629 | 18182158 || 4094 | 39419914 | 105/ 105 | 2517184 | 0 | 1300.03/1300.00 c | 4094 | 6.2 | 0 | 54009 | 56072 | 294 | 2198298112 | 18199958 || 4094 | 39419914 | 105/ 105 | 2517184 | 0 | 1300.03/1300.00 c c 1300.03/1300.00 c ----------------------------------- 1300.03/1300.00 c # temps = 1299.950000 1300.03/1300.00 c # cleaningDB = 294 1300.03/1300.00 c # clause binaire = 0 1300.03/1300.00 c # literal removed by litRedundant = 70093540 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 : 138.33 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 = 4094 1300.03/1300.00 c # conflit = 4467579 1300.03/1300.00 c # decision = 18199958 1300.03/1300.00 c # propagation = 2198298112 (1691063.588600 (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 = 4094 1300.03/1300.00 c # numflips = 39419914 1300.03/1300.00 c # maxSat = 105 1300.03/1300.00 c # freeFlip = 3926794 1300.03/1300.00 c # nbBoundary = 0 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-3189745-1302707332/watcher-3189745-1302707332 -o /tmp/evaluation-result-3189745-1302707332/solver-3189745-1302707332 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189745-1302707332.cnf rnovelty running on 2 cores: 5,7 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.00 3.96 3.25 3/184 16945 /proc/meminfo: memFree=14633676/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 331 0 0 0 0 0 0 0 24 0 1 0 382330312 8912896 252 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16945/statm: 2176 252 211 178 0 69 0 [startup+0.108475 s] /proc/loadavg: 4.00 3.96 3.25 3/184 16945 /proc/meminfo: memFree=14633676/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.200369 s] /proc/loadavg: 4.00 3.96 3.25 3/184 16945 /proc/meminfo: memFree=14633676/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300356 s] /proc/loadavg: 4.00 3.96 3.25 3/184 16945 /proc/meminfo: memFree=14633676/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700273 s] /proc/loadavg: 4.00 3.96 3.25 3/184 16945 /proc/meminfo: memFree=14633676/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.50114 s] /proc/loadavg: 4.00 3.96 3.25 4/194 16962 /proc/meminfo: memFree=14603284/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=22712 CPUtime=1.4 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 4115 0 0 0 140 0 0 0 25 0 1 0 382330320 23257088 4026 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223861 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 5678 4026 136 12 0 4142 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 40120 [startup+3.10081 s] /proc/loadavg: 4.00 3.96 3.25 5/198 16992 /proc/meminfo: memFree=14598160/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=24224 CPUtime=3 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 4464 0 0 0 299 1 0 0 25 0 1 0 382330320 24805376 4375 33554432000 4194304 4241092 140733526510864 18446744073709551615 4215224 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 6056 4375 136 12 0 4520 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41632 [startup+6.3012 s] /proc/loadavg: 4.00 3.96 3.26 5/198 16992 /proc/meminfo: memFree=14585944/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=26732 CPUtime=6.21 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 5107 0 0 0 620 1 0 0 25 0 1 0 382330320 27373568 5018 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223653 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 6683 5018 136 12 0 5147 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44140 [startup+12.701 s] /proc/loadavg: 4.00 3.96 3.26 5/198 16992 /proc/meminfo: memFree=14574460/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=28580 CPUtime=12.6 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 5564 0 0 0 1259 1 0 0 25 0 1 0 382330320 29265920 5475 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 7145 5475 136 12 0 5609 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 45988 [startup+25.5005 s] /proc/loadavg: 4.00 3.96 3.27 5/198 16993 /proc/meminfo: memFree=14558436/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=30692 CPUtime=25.4 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 6086 0 0 0 2539 1 0 0 25 0 1 0 382330320 31428608 5997 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223656 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 7673 5997 136 12 0 6137 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48100 [startup+51.1006 s] /proc/loadavg: 4.00 3.97 3.29 5/198 16993 /proc/meminfo: memFree=14536424/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=38252 CPUtime=51 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 8002 0 0 0 5099 1 0 0 25 0 1 0 382330320 39170048 7902 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 9563 7902 136 12 0 8027 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55660 [startup+102.301 s] /proc/loadavg: 4.06 3.99 3.33 5/198 16995 /proc/meminfo: memFree=14503540/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=52880 CPUtime=102.21 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 11765 0 0 0 10219 2 0 0 25 0 1 0 382330320 54149120 11545 33554432000 4194304 4241092 140733526510864 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 13220 11545 136 12 0 11684 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 70288 [startup+162.3 s] /proc/loadavg: 4.02 3.99 3.37 5/198 16996 /proc/meminfo: memFree=14475972/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=52912 CPUtime=162.2 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 12022 0 0 0 16218 2 0 0 25 0 1 0 382330320 54181888 11550 33554432000 4194304 4241092 140733526510864 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 13228 11550 136 12 0 11692 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 70320 [startup+222.308 s] /proc/loadavg: 4.01 3.99 3.40 5/198 16998 /proc/meminfo: memFree=14455360/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=68916 CPUtime=222.21 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 16242 0 0 0 22217 4 0 0 25 0 1 0 382330320 70569984 15577 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 17229 15577 136 12 0 15693 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 86324 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=14319756/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=112976 CPUtime=822.23 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 30013 0 0 0 82213 10 0 0 25 0 1 0 382330320 115687424 26584 33554432000 4194304 4241092 140733526510864 18446744073709551615 4221344 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 28244 26584 136 12 0 26708 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 130384 [startup+882.307 s] /proc/loadavg: 4.00 4.00 3.69 5/198 17015 /proc/meminfo: memFree=14310820/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=119260 CPUtime=882.23 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 31779 0 0 0 88212 11 0 0 25 0 1 0 382330320 122122240 28148 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 29815 28148 136 12 0 28279 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 136668 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.71 5/198 17017 /proc/meminfo: memFree=14298996/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=119292 CPUtime=942.23 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 32096 0 0 0 94212 11 0 0 25 0 1 0 382330320 122155008 28151 33554432000 4194304 4241092 140733526510864 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 29823 28151 136 12 0 28287 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 136700 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.73 5/198 17019 /proc/meminfo: memFree=14280884/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=119228 CPUtime=1002.23 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 32420 0 0 0 100212 11 0 0 25 0 1 0 382330320 122089472 28143 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 29807 28143 136 12 0 28271 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 136636 [startup+1062.3 s] /proc/loadavg: 4.04 4.01 3.75 5/198 17020 /proc/meminfo: memFree=14269568/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=119420 CPUtime=1062.24 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 32751 0 0 0 106212 12 0 0 25 0 1 0 382330320 122286080 28185 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 29855 28185 136 12 0 28319 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 136828 [startup+1122.3 s] /proc/loadavg: 4.01 4.01 3.76 5/198 17022 /proc/meminfo: memFree=14247468/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=119324 CPUtime=1122.24 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 33054 0 0 0 112212 12 0 0 25 0 1 0 382330320 122187776 28160 33554432000 4194304 4241092 140733526510864 18446744073709551615 4222072 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 29831 28160 136 12 0 28295 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 136732 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.77 5/198 17023 /proc/meminfo: memFree=14228220/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=134392 CPUtime=1182.24 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 37005 0 0 0 118211 13 0 0 25 0 1 0 382330320 137617408 31939 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 33598 31939 136 12 0 32062 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 151800 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.78 5/198 17025 /proc/meminfo: memFree=14212696/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=136360 CPUtime=1242.24 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 37676 0 0 0 124211 13 0 0 25 0 1 0 382330320 139632640 32425 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223885 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 34090 32425 136 12 0 32554 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 153768 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.79 4/194 17029 /proc/meminfo: memFree=14331492/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=141644 CPUtime=1299.95 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 39139 0 0 0 129981 14 0 0 25 0 1 0 382330320 145043456 33744 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 35411 33744 136 12 0 33875 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 159052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 4.00 4.00 3.79 4/194 17029 /proc/meminfo: memFree=14331492/32950928 swapFree=67102716/67111528 [pid=16945] ppid=16943 vsize=8704 CPUtime=0.08 cores=5,7 /proc/16945/stat : 16945 (esg_static.sh) S 16943 16945 16744 0 -1 4202496 348 1394 0 0 0 0 8 0 24 0 1 0 382330312 8912896 255 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476694784 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/16945/statm: 2176 255 211 178 0 69 0 [pid=16952] ppid=16945 vsize=8704 CPUtime=0 cores=5,7 /proc/16952/stat : 16952 (esg_static.sh) S 16945 16945 16744 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382330320 8912896 134 33554432000 4194304 4922060 140734811669088 18446744073709551615 239476513925 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/16952/statm: 2176 134 90 178 0 69 0 [pid=16953] ppid=16952 vsize=141644 CPUtime=1299.95 cores=5,7 /proc/16953/stat : 16953 (sathys) R 16952 16945 16744 0 -1 4202496 39139 0 0 0 129981 14 0 0 25 0 1 0 382330320 145043456 33744 33554432000 4194304 4241092 140733526510864 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/16953/statm: 35411 33744 136 12 0 33875 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 159052 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16945 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=83987 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.088986 # while last known CPU time is 1300.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.03 CPU user time (s): 1299.89 CPU system time (s): 0.14 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 159212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.083987 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2092 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= 14 involuntary context switches= 20 runsolver used 2.07268 second user time and 5.04223 second system time The end
Begin job on node148 at 2011-04-13 17:08:52 IDJOB=3189745 IDBENCH=82676 IDSOLVER=1610 FILE ID=node148/3189745-1302707332 RUNJOBID= node148-1302706032-16765 PBS_JOBID= 12981431 Free space on /tmp= 70932 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189745-1302707332/watcher-3189745-1302707332 -o /tmp/evaluation-result-3189745-1302707332/solver-3189745-1302707332 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189745-1302707332.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= a2618a2d05b86feb60504578f5d9c7e5 RANDOM SEED=53112214 node148.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.854 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.70 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.854 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.854 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.83 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.854 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.75 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.854 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.854 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.854 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.82 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.854 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: 32950928 kB MemFree: 14633824 kB Buffers: 618528 kB Cached: 17222512 kB SwapCached: 4908 kB Active: 9566680 kB Inactive: 8343008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14633824 kB SwapTotal: 67111528 kB SwapFree: 67102716 kB Dirty: 4712 kB Writeback: 0 kB AnonPages: 66464 kB Mapped: 15132 kB Slab: 342828 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 251068 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= 70928 MiB End job on node148 at 2011-04-13 17:30:33