| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.03 | 5000.03 |
| Name | CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf |
| MD5SUM | 5301921bbf5d6337937a0fa8d34aaf48 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 775.246 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2100 |
| Number of clauses | 215164 |
| Sum of the clauses size | 432288 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 215094 |
| 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 | 70 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438495-1306889536.cnf 0.00/0.00 c Parsing... 0.00/0.05 c ============================================================================== 0.00/0.05 c | | ORIGINAL | LEARNT | | 0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.05 c ============================================================================== 0.00/0.05 c | 0 | 215164 432288 | 64549 0 0 nan | 0.000 % | 0.00/0.62 c | 0 | 212446 711172 | -- 0 -- -- | -- | -2718/278884 0.00/0.62 c ============================================================================== 0.00/0.62 c Result : #vars: 2030 #clauses: 212446 #literals: 711172 0.00/0.62 c CPU time: 0.615906 s 0.00/0.62 c ============================================================================== 0.73/0.88 c 0.73/0.88 c seed = 0, numatom = 2030, numclause = 10131, numliterals = 711172 0.73/0.88 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.73/0.88 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.73/0.88 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.73/0.98 c | 2 | 0.1 | 0 | 502 | 0 | 1 | 71998 | 2650 || 2 | 5569 | 35/ 0 | 252 | 0 | 0.73/1.05 c | 4 | 0.1 | 0 | 1013 | 0 | 2 | 153829 | 5193 || 4 | 9520 | 35/ 0 | 583 | 0 | 1.08/1.15 c | 6 | 0.1 | 0 | 1497 | 197 | 3 | 255721 | 8267 || 6 | 13878 | 35/ 0 | 925 | 0 | 1.19/1.26 c | 7 | 0.1 | 0 | 2051 | 397 | 4 | 368495 | 10965 || 7 | 18635 | 34/ 0 | 1362 | 0 | 1.27/1.37 c | 11 | 0.1 | 0 | 2691 | 294 | 5 | 493218 | 15044 || 11 | 25846 | 34/ 0 | 1922 | 0 | 1.47/1.51 c | 14 | 0.1 | 0 | 3384 | 489 | 6 | 629395 | 19635 || 14 | 34576 | 34/ 0 | 2699 | 0 | 1.57/1.66 c | 15 | 0.2 | 0 | 4096 | 988 | 7 | 782334 | 23359 || 15 | 42451 | 30/ 0 | 3592 | 0 | 1.77/1.82 c | 16 | 0.2 | 0 | 4493 | 88 | 8 | 950473 | 27023 || 16 | 45562 | 30/ 0 | 3718 | 0 | 1.97/2.00 c | 21 | 0.2 | 0 | 4830 | 83 | 9 | 1148092 | 32550 || 21 | 55202 | 30/ 0 | 4498 | 0 | 2.07/2.19 c | 25 | 0.2 | 0 | 5465 | 184 | 10 | 1342243 | 37537 || 25 | 64635 | 30/ 0 | 5375 | 0 | 2.29/2.39 c | 29 | 0.2 | 0 | 6135 | 583 | 11 | 1548982 | 43080 || 29 | 75757 | 30/ 0 | 6265 | 0 | 2.47/2.59 c | 30 | 0.2 | 0 | 6732 | 380 | 12 | 1765621 | 47748 || 30 | 85001 | 30/ 0 | 7151 | 0 | 2.77/2.85 c | 31 | 0.3 | 0 | 7353 | 2081 | 13 | 1992573 | 53296 || 31 | 100214 | 30/ 0 | 8884 | 0 | 2.97/3.06 c | 31 | 0.2 | 0 | 7758 | 1483 | 14 | 2214278 | 57081 || 31 | 102887 | 30/ 0 | 8905 | 0 | 3.28/3.33 c | 38 | 0.3 | 0 | 8679 | 372 | 15 | 2486767 | 65058 || 38 | 117624 | 30/ 0 | 10250 | 0 | 3.57/3.62 c | 44 | 0.3 | 0 | 9418 | 270 | 16 | 2770699 | 72839 || 44 | 130205 | 30/ 0 | 11162 | 0 | 3.87/3.95 c | 46 | 0.3 | 0 | 9774 | 270 | 17 | 3109428 | 79389 || 46 | 143822 | 30/ 0 | 12496 | 0 | 4.17/4.28 c | 53 | 0.3 | 0 | 9695 | 252 | 18 | 3415514 | 87231 || 53 | 156101 | 30/ 0 | 13821 | 0 | 4.57/4.61 c | 59 | 0.3 | 0 | 10108 | 151 | 19 | 3759904 | 96244 || 59 | 170884 | 30/ 0 | 14768 | 0 | 4.88/4.97 c | 61 | 0.4 | 0 | 11255 | 750 | 20 | 4094214 | 103560 || 61 | 184735 | 23/ 0 | 16106 | 0 | 5.28/5.31 c | 62 | 0.4 | 0 | 11352 | 852 | 21 | 4429229 | 110223 || 62 | 200398 | 23/ 0 | 17857 | 0 | 5.60/5.69 c | 63 | 0.4 | 0 | 11563 | 3453 | 22 | 4754025 | 117798 || 63 | 221769 | 23/ 0 | 21262 | 0 | 5.98/6.09 c | 63 | 0.4 | 0 | 12407 | 1351 | 23 | 5106233 | 124345 || 63 | 231253 | 23/ 0 | 21338 | 0 | 6.48/6.51 c | 67 | 0.4 | 0 | 13461 | 42 | 24 | 5510830 | 131245 || 67 | 237558 | 23/ 0 | 21891 | 0 | 6.88/6.95 c | 76 | 0.4 | 0 | 14676 | 28 | 25 | 5918252 | 141194 || 76 | 256557 | 23/ 0 | 23546 | 0 | 7.38/7.40 c | 81 | 0.5 | 0 | 15170 | 130 | 26 | 6348520 | 150431 || 81 | 273791 | 23/ 0 | 25310 | 0 | 7.88/7.90 c | 90 | 0.5 | 0 | 15815 | 6 | 27 | 6792610 | 161739 || 90 | 293010 | 23/ 0 | 26880 | 0 | 8.38/8.43 c | 94 | 0.5 | 0 | 16414 | 1102 | 28 | 7227301 | 171725 || 94 | 315686 | 23/ 0 | 30060 | 0 | 8.90/8.95 c | 97 | 0.5 | 0 | 16839 | 100 | 29 | 7716300 | 181045 || 97 | 329993 | 23/ 0 | 30368 | 0 | 9.48/9.51 c | 107 | 0.6 | 0 | 17375 | 282 | 30 | 8221481 | 193435 || 107 | 353173 | 23/ 0 | 32343 | 0 | 10.00/10.06 c | 113 | 0.6 | 0 | 17161 | 270 | 31 | 8745726 | 203740 || 113 | 372893 | 23/ 0 | 34219 | 0 | 10.58/10.65 c | 123 | 0.6 | 0 | 17748 | 48 | 32 | 9289672 | 217132 || 123 | 398419 | 23/ 0 | 36338 | 0 | 11.28/11.38 c | 125 | 0.7 | 0 | 18461 | 147 | 33 | 9839059 | 228179 || 125 | 423359 | 23/ 0 | 38958 | 0 | 11.98/12.06 c | 126 | 0.7 | 0 | 18328 | 3949 | 34 | 10363669 | 238725 || 126 | 448319 | 23/ 0 | 42389 | 0 | 12.58/12.70 c | 126 | 0.6 | 0 | 18550 | 3049 | 35 | 10895468 | 246513 || 126 | 455123 | 23/ 0 | 42444 | 0 | 13.48/13.54 c | 127 | 0.8 | 0 | 18678 | 7054 | 36 | 11412301 | 257738 || 127 | 494276 | 23/ 0 | 49213 | 0 | 14.29/14.37 c | 127 | 0.8 | 0 | 18426 | 1554 | 37 | 11941464 | 267663 || 127 | 512023 | 23/ 0 | 49386 | 0 | 15.08/15.10 c | 127 | 0.7 | 0 | 17415 | 5755 | 38 | 12554766 | 275661 || 127 | 512023 | 23/ 0 | 49386 | 0 | 15.78/15.85 c | 140 | 0.8 | 0 | 17452 | 136 | 39 | 13198164 | 290066 || 140 | 536572 | 23/ 0 | 51620 | 0 | 16.60/16.64 c | 149 | 0.8 | 0 | 18662 | 221 | 40 | 13835575 | 304227 || 149 | 563444 | 23/ 0 | 54259 | 0 | 17.38/17.43 c | 157 | 0.8 | 0 | 19828 | 517 | 41 | 14495868 | 318246 || 157 | 589838 | 23/ 0 | 56501 | 0 | 18.18/18.23 c | 163 | 0.8 | 0 | 20060 | 11 | 42 | 15124819 | 330048 || 163 | 612664 | 23/ 0 | 58889 | 0 | 18.98/19.07 c | 173 | 0.8 | 0 | 21256 | 197 | 43 | 15774280 | 344887 || 173 | 642622 | 23/ 0 | 61724 | 0 | 19.90/19.95 c | 187 | 0.9 | 0 | 22908 | 380 | 44 | 16496450 | 361396 || 187 | 671599 | 23/ 0 | 64392 | 0 | 20.78/20.82 c | 189 | 0.9 | 0 | 23702 | 1081 | 45 | 17199062 | 374676 || 189 | 698303 | 23/ 0 | 67024 | 0 | 21.68/21.73 c | 190 | 0.9 | 0 | 23643 | 1281 | 46 | 17965393 | 388111 || 190 | 730485 | 23/ 0 | 70511 | 0 | 22.58/22.63 c | 200 | 0.9 | 0 | 23855 | 173 | 47 | 18757275 | 401431 || 200 | 749626 | 23/ 0 | 72256 | 0 | 23.58/23.64 c | 212 | 1.0 | 0 | 25200 | 557 | 48 | 19520064 | 418574 || 212 | 782452 | 23/ 0 | 75384 | 0 | 24.58/24.66 c | 221 | 1.0 | 0 | 26159 | 1641 | 49 | 20263690 | 434046 || 221 | 814809 | 23/ 0 | 79278 | 0 | 25.68/25.74 c | 231 | 1.1 | 0 | 26515 | 28 | 50 | 21094564 | 449309 || 231 | 839177 | 23/ 0 | 81107 | 0 | 26.68/26.76 c | 243 | 1.0 | 0 | 26413 | 109 | 51 | 21876838 | 466143 || 243 | 870837 | 23/ 0 | 84191 | 0 | 27.78/27.81 c | 252 | 1.0 | 0 | 27901 | 2095 | 52 | 22681706 | 482916 || 252 | 906435 | 23/ 0 | 88137 | 0 | 28.88/28.94 c | 253 | 1.1 | 0 | 29342 | 589 | 53 | 23488100 | 498414 || 253 | 939065 | 23/ 0 | 91630 | 0 | 29.98/30.07 c | 254 | 1.1 | 0 | 28265 | 6390 | 54 | 24313627 | 511804 || 254 | 975047 | 23/ 0 | 98364 | 0 | 31.18/31.28 c | 254 | 1.2 | 0 | 28359 | 2694 | 55 | 25106180 | 524803 || 254 | 998643 | 23/ 0 | 98544 | 0 | 32.48/32.57 c | 255 | 1.3 | 0 | 28275 | 8695 | 56 | 25956068 | 537014 || 255 | 1040803 | 20/ 0 | 111759 | 0 | 34.08/34.16 c | 255 | 1.6 | 0 | 28106 | 6102 | 57 | 26738288 | 552548 || 255 | 1082845 | 20/ 0 | 112134 | 0 | 35.48/35.58 c | 255 | 1.4 | 0 | 25208 | 1796 | 58 | 27522091 | 567199 || 255 | 1113732 | 20/ 0 | 112389 | 0 | 36.88/36.90 c | 255 | 1.3 | 0 | 23141 | 8097 | 59 | 28482483 | 576343 || 255 | 1113732 | 20/ 0 | 112389 | 0 | 38.18/38.20 c | 262 | 1.3 | 0 | 22998 | 292 | 60 | 29413829 | 588849 || 262 | 1125597 | 20/ 0 | 113675 | 0 | 39.37/39.42 c | 277 | 1.2 | 0 | 23845 | 369 | 61 | 30346453 | 610655 || 277 | 1164688 | 20/ 0 | 117219 | 0 | 40.57/40.67 c | 286 | 1.3 | 0 | 26013 | 354 | 62 | 31266522 | 630165 || 286 | 1204772 | 20/ 0 | 121169 | 0 | 41.89/41.97 c | 301 | 1.3 | 0 | 26087 | 1045 | 63 | 32289591 | 651251 || 301 | 1241452 | 20/ 0 | 124695 | 0 | 43.17/43.29 c | 316 | 1.3 | 0 | 28804 | 230 | 64 | 33289244 | 674107 || 316 | 1282888 | 20/ 0 | 128238 | 0 | 44.57/44.61 c | 318 | 1.3 | 0 | 31333 | 4731 | 65 | 34208183 | 693307 || 318 | 1330034 | 20/ 0 | 133481 | 0 | 45.87/46.00 c | 331 | 1.4 | 0 | 32358 | 214 | 66 | 35315780 | 711619 || 331 | 1353926 | 20/ 0 | 135692 | 0 | 47.39/47.46 c | 347 | 1.5 | 0 | 32161 | 598 | 67 | 36352604 | 734716 || 347 | 1397277 | 20/ 0 | 139683 | 0 | 48.97/49.01 c | 356 | 1.5 | 0 | 33355 | 573 | 68 | 37379438 | 755147 || 356 | 1435354 | 20/ 0 | 143643 | 0 | 50.47/50.50 c | 374 | 1.5 | 0 | 33936 | 148 | 69 | 38443122 | 777531 || 374 | 1475737 | 20/ 0 | 147597 | 0 | 51.97/52.02 c | 381 | 1.5 | 0 | 34996 | 2229 | 70 | 39467149 | 797373 || 381 | 1521120 | 20/ 0 | 154382 | 0 | 53.57/53.68 c | 382 | 1.7 | 0 | 35790 | 4927 | 71 | 40508355 | 814648 || 382 | 1564298 | 19/ 0 | 161177 | 0 | 55.37/55.44 c | 382 | 1.8 | 0 | 36866 | 2929 | 72 | 41525533 | 831837 || 382 | 1596209 | 19/ 0 | 161466 | 0 | 57.07/57.11 c | 396 | 1.7 | 0 | 36157 | 403 | 73 | 42643085 | 851803 || 396 | 1624253 | 19/ 0 | 164126 | 0 | 58.67/58.77 c | 412 | 1.7 | 0 | 36164 | 1158 | 74 | 43761917 | 875791 || 412 | 1669091 | 19/ 0 | 168558 | 0 | 60.37/60.51 c | 426 | 1.8 | 0 | 37389 | 32 | 75 | 44914603 | 898846 || 426 | 1710589 | 19/ 0 | 172513 | 0 | 62.17/62.21 c | 443 | 1.7 | 0 | 37489 | 1011 | 76 | 46070698 | 923746 || 443 | 1758082 | 19/ 0 | 177359 | 0 | 63.78/63.87 c | 445 | 1.7 | 0 | 38645 | 710 | 77 | 47136466 | 944365 || 445 | 1805564 | 19/ 0 | 182597 | 0 | 65.67/65.73 c | 460 | 1.9 | 0 | 38766 | 70 | 78 | 48408420 | 967538 || 460 | 1843453 | 19/ 0 | 186121 | 0 | 67.57/67.60 c | 476 | 1.9 | 0 | 41022 | 1942 | 79 | 49552712 | 992517 || 476 | 1891588 | 19/ 0 | 191356 | 0 | 69.39/69.43 c | 491 | 1.8 | 0 | 40974 | 718 | 80 | 50733097 | 1016439 || 491 | 1931907 | 19/ 0 | 194902 | 0 | 71.27/71.34 c | 507 | 1.9 | 0 | 42186 | 396 | 81 | 51977941 | 1041752 || 507 | 1983321 | 19/ 0 | 200139 | 0 | 73.17/73.26 c | 509 | 1.9 | 0 | 42611 | 4197 | 82 | 53081602 | 1061669 || 509 | 2034886 | 19/ 0 | 210199 | 0 | 75.17/75.27 c | 509 | 2.0 | 0 | 42440 | 3294 | 83 | 54245131 | 1081771 || 509 | 2074882 | 19/ 0 | 210524 | 0 | 77.37/77.42 c | 510 | 2.2 | 0 | 43225 | 12095 | 84 | 55444088 | 1102490 || 510 | 2141034 | 18/ 0 | 223915 | 0 | 79.97/80.09 c | 510 | 2.7 | 0 | 43794 | 1794 | 85 | 56594293 | 1123511 || 510 | 2189990 | 18/ 0 | 224334 | 0 | 82.07/82.10 c | 510 | 2.0 | 0 | 42142 | 10796 | 86 | 57773321 | 1137104 || 510 | 2189990 | 18/ 0 | 224334 | 0 | 84.27/84.30 c | 511 | 2.2 | 0 | 43571 | 19899 | 87 | 58794230 | 1158078 || 511 | 2284978 | 18/ 0 | 250787 | 0 | 86.77/86.90 c | 511 | 2.6 | 0 | 42103 | 9203 | 88 | 59775383 | 1180943 || 511 | 2342965 | 18/ 0 | 251268 | 0 | 89.67/89.76 c | 511 | 2.9 | 0 | 39108 | 2 | 89 | 60812116 | 1202705 || 511 | 2402526 | 18/ 0 | 251770 | 0 | 92.07/92.12 c | 511 | 2.3 | 0 | 38107 | 9403 | 90 | 62263336 | 1215918 || 511 | 2402526 | 18/ 0 | 251770 | 0 | 94.27/94.32 c | 511 | 2.2 | 0 | 41344 | 18906 | 91 | 63692200 | 1229270 || 511 | 2402526 | 18/ 0 | 251770 | 0 | 96.57/96.69 c | 521 | 2.4 | 0 | 45332 | 198 | 92 | 65091660 | 1249178 || 521 | 2421989 | 18/ 0 | 253542 | 0 | 98.58/98.61 c | 541 | 1.9 | 0 | 46522 | 567 | 93 | 66396649 | 1279519 || 541 | 2477635 | 18/ 0 | 258839 | 0 | 100.58/100.64 c | 557 | 2.0 | 0 | 48334 | 752 | 94 | 67816512 | 1308637 || 557 | 2532732 | 18/ 0 | 264151 | 0 | 102.68/102.78 c | 574 | 2.1 | 0 | 50822 | 1828 | 95 | 69266075 | 1337854 || 574 | 2594005 | 18/ 0 | 272675 | 0 | 104.98/105.04 c | 587 | 2.3 | 0 | 53854 | 11 | 96 | 70742562 | 1365590 || 587 | 2642211 | 18/ 0 | 275115 | 0 | 107.28/107.30 c | 605 | 2.3 | 0 | 53106 | 1882 | 97 | 72214734 | 1396448 || 605 | 2703356 | 18/ 0 | 281647 | 0 | 109.58/109.63 c | 627 | 2.3 | 0 | 51926 | 253 | 98 | 73675399 | 1426221 || 627 | 2755273 | 18/ 0 | 286512 | 0 | 111.98/112.01 c | 637 | 2.4 | 0 | 47911 | 3940 | 99 | 75094867 | 1455163 || 637 | 2821185 | 18/ 0 | 293900 | 0 | 114.38/114.50 c | 638 | 2.5 | 0 | 48618 | 9540 | 100 | 76560681 | 1482521 || 638 | 2889132 | 18/ 0 | 300901 | 0 | 116.98/117.05 c | 652 | 2.5 | 0 | 49371 | 212 | 101 | 78233381 | 1506349 || 652 | 2915415 | 18/ 0 | 303560 | 0 | 119.38/119.44 c | 669 | 2.4 | 0 | 51958 | 184 | 102 | 79752282 | 1538297 || 669 | 2980900 | 18/ 0 | 309727 | 0 | 121.78/121.90 c | 694 | 2.5 | 0 | 51956 | 135 | 103 | 81284113 | 1569959 || 694 | 3035139 | 18/ 0 | 315003 | 0 | 124.40/124.48 c | 701 | 2.6 | 0 | 54486 | 831 | 104 | 82808215 | 1598334 || 701 | 3099406 | 18/ 0 | 321988 | 0 | 127.08/127.15 c | 723 | 2.7 | 0 | 54371 | 84 | 105 | 84431507 | 1629602 || 723 | 3152021 | 18/ 0 | 326835 | 0 | 129.68/129.73 c | 744 | 2.6 | 0 | 55897 | 142 | 106 | 85928553 | 1660392 || 744 | 3210449 | 18/ 0 | 332767 | 0 | 132.48/132.51 c | 763 | 2.8 | 0 | 59198 | 95 | 107 | 87526492 | 1692897 || 763 | 3277320 | 18/ 0 | 339573 | 0 | 135.18/135.23 c | 765 | 2.7 | 0 | 55788 | 6496 | 108 | 89009850 | 1719553 || 765 | 3343279 | 18/ 0 | 349771 | 0 | 138.18/138.26 c | 766 | 3.0 | 0 | 55827 | 8201 | 109 | 90535344 | 1742013 || 766 | 3402523 | 17/ 0 | 363111 | 0 | 141.38/141.49 c | 766 | 3.2 | 0 | 56337 | 402 | 110 | 91812070 | 1770237 || 766 | 3479142 | 17/ 0 | 363782 | 0 | 144.20/144.29 c | 766 | 2.8 | 0 | 56885 | 11904 | 111 | 93399125 | 1786713 || 766 | 3479142 | 17/ 0 | 363782 | 0 | 147.18/147.22 c | 795 | 2.9 | 0 | 62103 | 453 | 112 | 95032301 | 1821897 || 795 | 3542250 | 17/ 0 | 369976 | 0 | 150.28/150.36 c | 812 | 3.1 | 0 | 61722 | 717 | 113 | 96683670 | 1854709 || 812 | 3602511 | 17/ 0 | 376120 | 0 | 153.27/153.39 c | 829 | 3.0 | 0 | 62030 | 3697 | 114 | 98351521 | 1887865 || 829 | 3676911 | 17/ 0 | 384757 | 0 | 156.30/156.34 c | 849 | 3.0 | 0 | 64030 | 75 | 115 | 100058043 | 1920133 || 849 | 3728675 | 17/ 0 | 389027 | 0 | 159.38/159.50 c | 872 | 3.2 | 0 | 63483 | 50 | 116 | 101788414 | 1954610 || 872 | 3794284 | 17/ 0 | 395586 | 0 | 162.48/162.56 c | 891 | 3.1 | 0 | 64388 | 1222 | 117 | 103532039 | 1988915 || 891 | 3860453 | 17/ 0 | 402373 | 0 | 165.78/165.87 c | 893 | 3.3 | 0 | 60156 | 8618 | 118 | 105149143 | 2018321 || 893 | 3940231 | 17/ 0 | 412698 | 0 | 169.17/169.21 c | 908 | 3.3 | 0 | 59584 | 501 | 119 | 106823484 | 2046924 || 908 | 3978392 | 17/ 0 | 416240 | 0 | 172.37/172.46 c | 930 | 3.2 | 0 | 60977 | 162 | 120 | 108571217 | 2082519 || 930 | 4043095 | 17/ 0 | 422481 | 0 | 175.77/175.82 c | 955 | 3.4 | 0 | 61901 | 1715 | 121 | 110425642 | 2119014 || 955 | 4117520 | 17/ 0 | 430377 | 0 | 179.07/179.12 c | 969 | 3.3 | 0 | 62763 | 80 | 122 | 112205674 | 2151026 || 969 | 4176490 | 17/ 0 | 436123 | 0 | 182.48/182.61 c | 990 | 3.5 | 0 | 65273 | 243 | 123 | 114062316 | 2186810 || 990 | 4245400 | 17/ 0 | 443107 | 0 | 186.17/186.21 c | 1018 | 3.6 | 0 | 66429 | 1286 | 124 | 115950863 | 2226382 || 1018 | 4321513 | 17/ 0 | 451417 | 0 | 189.67/189.74 c | 1020 | 3.5 | 0 | 68293 | 6986 | 125 | 117732214 | 2256886 || 1020 | 4402540 | 17/ 0 | 461737 | 0 | 193.17/193.24 c | 1021 | 3.5 | 0 | 69493 | 10387 | 126 | 119424875 | 2284493 || 1021 | 4475048 | 17/ 0 | 475156 | 0 | 197.17/197.22 c | 1021 | 4.0 | 0 | 72402 | 4288 | 127 | 120999400 | 2312001 || 1021 | 4532615 | 17/ 0 | 475624 | 0 | 201.47/201.52 c | 1022 | 4.3 | 0 | 73101 | 17493 | 128 | 122801640 | 2336291 || 1022 | 4613993 | 17/ 0 | 501999 | 0 | 206.27/206.30 c | 1022 | 4.8 | 0 | 74562 | 13302 | 129 | 124538670 | 2368986 || 1022 | 4703815 | 17/ 0 | 502742 | 0 | 211.57/211.63 c | 1022 | 5.3 | 0 | 70811 | 5789 | 130 | 126512028 | 2394968 || 1022 | 4754360 | 17/ 0 | 503174 | 0 | 215.77/215.86 c | 1022 | 4.2 | 0 | 63482 | 19293 | 131 | 128587893 | 2414053 || 1022 | 4754360 | 17/ 0 | 503174 | 0 | 219.87/220.00 c | 1023 | 4.1 | 0 | 66993 | 32896 | 132 | 130446552 | 2443273 || 1023 | 4901570 | 17/ 0 | 555667 | 0 | 224.77/224.90 c | 1023 | 4.9 | 0 | 65815 | 13705 | 133 | 132116988 | 2476447 || 1023 | 4988895 | 17/ 0 | 556408 | 0 | 229.78/229.81 c | 1023 | 4.9 | 0 | 64497 | 13804 | 134 | 133679768 | 2509789 || 1023 | 5075021 | 17/ 0 | 557131 | 0 | 235.77/235.82 c | 1023 | 6.0 | 0 | 56009 | 13904 | 135 | 135244306 | 2542014 || 1023 | 5160555 | 17/ 0 | 557844 | 0 | 240.77/240.89 c | 1023 | 5.1 | 0 | 57097 | 11509 | 136 | 137402315 | 2564863 || 1023 | 5175940 | 17/ 0 | 557971 | 0 | 245.67/245.71 c | 1023 | 4.8 | 0 | 55202 | 25610 | 137 | 139737275 | 2584519 || 1023 | 5175940 | 17/ 0 | 557971 | 0 | 249.97/250.03 c | 1023 | 4.3 | 0 | 51075 | 39811 | 138 | 142006453 | 2603934 || 1023 | 5175940 | 17/ 0 | 557971 | 0 | 254.57/254.69 c | 1033 | 4.7 | 0 | 48427 | 198 | 139 | 144413594 | 2629489 || 1033 | 5194598 | 17/ 0 | 559727 | 0 | 257.87/257.94 c | 1060 | 3.2 | 0 | 54144 | 158 | 140 | 146432459 | 2675149 || 1060 | 5278601 | 17/ 0 | 567720 | 0 | 261.37/261.40 c | 1085 | 3.5 | 0 | 59794 | 1320 | 141 | 148513511 | 2719542 || 1085 | 5360516 | 17/ 0 | 575692 | 0 | 264.77/264.82 c | 1107 | 3.4 | 0 | 65371 | 96 | 142 | 150652161 | 2761051 || 1107 | 5439105 | 17/ 0 | 583608 | 0 | 268.38/268.45 c | 1133 | 3.6 | 0 | 70000 | 53 | 143 | 152853783 | 2804591 || 1133 | 5521924 | 17/ 0 | 591665 | 0 | 272.07/272.16 c | 1149 | 3.7 | 0 | 69327 | 2136 | 144 | 154890400 | 2845767 || 1149 | 5603923 | 17/ 0 | 600282 | 0 | 275.77/275.84 c | 1155 | 3.7 | 0 | 71188 | 127 | 145 | 156919455 | 2879857 || 1155 | 5672469 | 17/ 0 | 607933 | 0 | 279.68/279.77 c | 1181 | 3.9 | 0 | 69312 | 1592 | 146 | 159084624 | 2923994 || 1181 | 5754435 | 17/ 0 | 616092 | 0 | 283.68/283.78 c | 1212 | 4.0 | 0 | 71413 | 637 | 147 | 161308267 | 2969739 || 1212 | 5844157 | 17/ 0 | 624912 | 0 | 287.68/287.72 c | 1234 | 3.9 | 0 | 74111 | 10 | 148 | 163399360 | 3012962 || 1234 | 5922794 | 17/ 0 | 632818 | 0 | 291.88/291.91 c | 1262 | 4.2 | 0 | 74256 | 66 | 149 | 165667219 | 3057685 || 1262 | 6006715 | 17/ 0 | 641142 | 0 | 296.00/296.09 c | 1277 | 4.2 | 0 | 75437 | 3241 | 150 | 167885187 | 3096703 || 1277 | 6094507 | 17/ 0 | 655974 | 0 | 300.18/300.30 c | 1278 | 4.2 | 0 | 76032 | 9142 | 151 | 169968995 | 3132284 || 1278 | 6184256 | 17/ 0 | 669547 | 0 | 305.08/305.17 c | 1278 | 4.9 | 0 | 76325 | 5543 | 152 | 171983864 | 3167335 || 1278 | 6252891 | 17/ 0 | 670132 | 0 | 309.78/309.81 c | 1300 | 4.6 | 0 | 76461 | 15 | 153 | 174397309 | 3204577 || 1300 | 6302977 | 17/ 0 | 674992 | 0 | 314.18/314.26 c | 1331 | 4.4 | 0 | 77640 | 366 | 154 | 176723974 | 3250713 || 1331 | 6390931 | 17/ 0 | 683832 | 0 | 318.88/318.93 c | 1348 | 4.7 | 0 | 78690 | 244 | 155 | 179158575 | 3290417 || 1348 | 6473825 | 17/ 0 | 692524 | 0 | 323.39/323.43 c | 1378 | 4.5 | 0 | 78447 | 194 | 156 | 181477470 | 3335115 || 1378 | 6559395 | 17/ 0 | 700843 | 0 | 327.90/327.96 c | 1404 | 4.5 | 0 | 79719 | 3263 | 157 | 183734274 | 3380388 || 1404 | 6655550 | 17/ 0 | 712080 | 0 | 332.30/332.35 c | 1405 | 4.4 | 0 | 80041 | 5058 | 158 | 185792078 | 3413995 || 1405 | 6721733 | 17/ 0 | 719070 | 0 | 337.18/337.20 c | 1436 | 4.8 | 0 | 81220 | 500 | 159 | 188159065 | 3460268 || 1436 | 6808994 | 17/ 0 | 727882 | 0 | 341.98/342.00 c | 1467 | 4.8 | 0 | 80542 | 855 | 160 | 190557217 | 3506034 || 1467 | 6895678 | 17/ 0 | 736632 | 0 | 347.08/347.12 c | 1493 | 5.1 | 0 | 82122 | 205 | 161 | 192982324 | 3550199 || 1493 | 6980771 | 17/ 0 | 745400 | 0 | 351.99/352.07 c | 1526 | 5.0 | 0 | 84959 | 159 | 162 | 195416355 | 3598232 || 1526 | 7070586 | 17/ 0 | 754347 | 0 | 356.98/357.02 c | 1532 | 4.9 | 0 | 86566 | 7356 | 163 | 197735688 | 3638797 || 1532 | 7169069 | 17/ 0 | 767840 | 0 | 362.28/362.32 c | 1533 | 5.3 | 0 | 87568 | 14558 | 164 | 199969375 | 3676267 || 1533 | 7265883 | 17/ 0 | 781502 | 0 | 367.58/367.62 c | 1533 | 5.3 | 0 | 89319 | 12259 | 165 | 202481461 | 3707473 || 1533 | 7298781 | 17/ 0 | 781805 | 0 | 373.28/373.33 c | 1534 | 5.7 | 0 | 93068 | 29261 | 166 | 204474620 | 3752401 || 1534 | 7461604 | 17/ 0 | 808870 | 0 | 379.49/379.59 c | 1534 | 6.3 | 0 | 90708 | 7956 | 167 | 206844438 | 3787125 || 1534 | 7525164 | 17/ 0 | 809404 | 0 | 386.09/386.17 c | 1534 | 6.6 | 0 | 90942 | 25158 | 168 | 209568353 | 3811230 || 1534 | 7525164 | 17/ 0 | 809404 | 0 | 391.70/391.75 c | 1568 | 5.6 | 0 | 90562 | 172 | 169 | 212172690 | 3860327 || 1568 | 7616634 | 17/ 0 | 818653 | 0 | 397.20/397.26 c | 1597 | 5.5 | 0 | 91233 | 3713 | 170 | 214627551 | 3910038 || 1597 | 7720462 | 17/ 0 | 830458 | 0 | 402.70/402.73 c | 1628 | 5.5 | 0 | 91858 | 1151 | 171 | 217163529 | 3957604 || 1628 | 7806071 | 17/ 0 | 839213 | 0 | 408.28/408.38 c | 1659 | 5.6 | 0 | 87977 | 301 | 172 | 219776084 | 4007324 || 1659 | 7900219 | 17/ 0 | 848009 | 0 | 414.28/414.33 c | 1661 | 5.9 | 0 | 90972 | 3595 | 173 | 222400417 | 4045680 || 1661 | 7987345 | 17/ 0 | 858388 | 0 | 419.98/420.04 c | 1692 | 5.7 | 0 | 88077 | 537 | 174 | 225023561 | 4092158 || 1692 | 8072989 | 17/ 0 | 867135 | 0 | 425.80/425.87 c | 1724 | 5.8 | 0 | 86494 | 2379 | 175 | 227585280 | 4141769 || 1724 | 8171868 | 17/ 0 | 879225 | 0 | 431.68/431.78 c | 1754 | 5.9 | 0 | 87050 | 312 | 176 | 230112778 | 4191185 || 1754 | 8259966 | 17/ 0 | 886412 | 0 | 437.79/437.91 c | 1786 | 6.1 | 0 | 88892 | 2359 | 177 | 232767100 | 4241284 || 1786 | 8359426 | 17/ 0 | 896854 | 0 | 444.18/444.24 c | 1788 | 6.3 | 0 | 90140 | 3755 | 178 | 235469153 | 4281584 || 1788 | 8448452 | 17/ 0 | 907208 | 0 | 450.38/450.46 c | 1789 | 6.2 | 0 | 91438 | 2855 | 179 | 237735779 | 4321745 || 1789 | 8557916 | 17/ 0 | 920972 | 0 | 456.89/456.90 c | 1811 | 6.4 | 0 | 92469 | 9 | 180 | 240484656 | 4362164 || 1811 | 8606764 | 17/ 0 | 925793 | 0 | 462.99/463.10 c | 1849 | 6.2 | 0 | 95229 | 43 | 181 | 243239225 | 4413351 || 1849 | 8705616 | 17/ 0 | 935875 | 0 | 469.19/469.24 c | 1870 | 6.1 | 0 | 96521 | 3 | 182 | 245869766 | 4459694 || 1870 | 8797953 | 17/ 0 | 945857 | 0 | 475.49/475.56 c | 1909 | 6.3 | 0 | 98331 | 229 | 183 | 248528053 | 4513184 || 1909 | 8898248 | 17/ 0 | 956061 | 0 | 481.69/481.73 c | 1916 | 6.2 | 0 | 99604 | 9212 | 184 | 250966459 | 4557490 || 1916 | 9012507 | 17/ 0 | 969777 | 0 | 488.29/488.34 c | 1946 | 6.6 | 0 | 101214 | 42 | 185 | 253834143 | 4603920 || 1946 | 9085087 | 17/ 0 | 976844 | 0 | 494.89/494.95 c | 1978 | 6.6 | 0 | 105125 | 586 | 186 | 256516526 | 4656594 || 1978 | 9186866 | 17/ 0 | 987396 | 0 | 501.71/501.76 c | 2009 | 6.8 | 0 | 103453 | 841 | 187 | 259355507 | 4707231 || 2009 | 9287131 | 17/ 0 | 997942 | 0 | 508.39/508.42 c | 2041 | 6.7 | 0 | 106072 | 383 | 188 | 262038519 | 4759306 || 2041 | 9391511 | 17/ 0 | 1008469 | 0 | 515.09/515.10 c | 2043 | 6.7 | 0 | 106354 | 5278 | 189 | 264760258 | 4799898 || 2043 | 9479397 | 17/ 0 | 1018809 | 0 | 522.49/522.56 c | 2044 | 7.5 | 0 | 106338 | 5482 | 190 | 267439260 | 4844773 || 2044 | 9594483 | 17/ 0 | 1032608 | 0 | 530.09/530.21 c | 2045 | 7.6 | 0 | 107543 | 24986 | 191 | 270333460 | 4886607 || 2045 | 9723204 | 17/ 0 | 1059319 | 0 | 538.69/538.77 c | 2045 | 8.6 | 0 | 106919 | 6187 | 192 | 272628746 | 4926857 || 2045 | 9802179 | 17/ 0 | 1060022 | 0 | 547.79/547.82 c | 2046 | 9.1 | 0 | 103807 | 25888 | 193 | 275356042 | 4953848 || 2046 | 9899685 | 17/ 0 | 1112115 | 0 | 556.71/556.77 c | 2046 | 8.9 | 0 | 106814 | 19801 | 194 | 277710661 | 5002021 || 2046 | 10020850 | 17/ 0 | 1113155 | 0 | 567.79/567.82 c | 2046 | 11.1 | 0 | 96800 | 19901 | 195 | 280045585 | 5048939 || 2046 | 10142681 | 17/ 0 | 1114183 | 0 | 577.39/577.47 c | 2046 | 9.6 | 0 | 89651 | 8790 | 196 | 282679646 | 5089598 || 2046 | 10215993 | 17/ 0 | 1114810 | 0 | 584.89/584.98 c | 2046 | 7.5 | 0 | 88717 | 28892 | 197 | 285579677 | 5118755 || 2046 | 10215993 | 17/ 0 | 1114810 | 0 | 593.01/593.06 c | 2046 | 8.1 | 0 | 94168 | 49093 | 198 | 288515720 | 5147346 || 2046 | 10215993 | 17/ 0 | 1114810 | 0 | 601.29/601.37 c | 2047 | 8.3 | 0 | 107937 | 69395 | 199 | 291378079 | 5198685 || 2047 | 10537617 | 17/ 0 | 1220232 | 0 | 610.38/610.40 c | 2047 | 9.0 | 0 | 93292 | 20402 | 200 | 293742060 | 5249979 || 2047 | 10674578 | 17/ 0 | 1221391 | 0 | 620.78/620.85 c | 2047 | 10.5 | 0 | 97434 | 20502 | 201 | 296272367 | 5300795 || 2047 | 10811115 | 17/ 0 | 1222587 | 0 | 632.38/632.42 c | 2047 | 11.6 | 0 | 96935 | 20602 | 202 | 298854679 | 5351069 || 2047 | 10945995 | 17/ 0 | 1223773 | 0 | 642.18/642.21 c | 2047 | 9.8 | 0 | 91097 | 20702 | 203 | 301429999 | 5401244 || 2047 | 11082587 | 17/ 0 | 1224924 | 0 | 650.99/651.05 c | 2047 | 8.9 | 0 | 81249 | 18803 | 204 | 304429587 | 5432215 || 2047 | 11095714 | 17/ 0 | 1225034 | 0 | 660.00/660.05 c | 2047 | 9.0 | 0 | 66460 | 39705 | 205 | 307607363 | 5460840 || 2047 | 11095714 | 17/ 0 | 1225034 | 0 | 668.19/668.20 c | 2047 | 8.2 | 0 | 70083 | 60706 | 206 | 310806288 | 5488884 || 2047 | 11095714 | 17/ 0 | 1225034 | 0 | 676.61/676.63 c | 2047 | 8.4 | 0 | 78889 | 81808 | 207 | 313901348 | 5516862 || 2047 | 11095714 | 17/ 0 | 1225034 | 0 | 686.09/686.19 c | 2050 | 9.6 | 0 | 87640 | 10 | 208 | 317117537 | 5546133 || 2050 | 11100725 | 17/ 0 | 1225477 | 0 | 691.69/691.70 c | 2093 | 5.5 | 0 | 95275 | 250 | 209 | 320216825 | 5614957 || 2093 | 11226072 | 17/ 0 | 1237406 | 0 | 697.51/697.55 c | 2125 | 5.9 | 0 | 101010 | 401 | 210 | 323256312 | 5676311 || 2125 | 11340089 | 17/ 0 | 1248833 | 0 | 703.49/703.59 c | 2169 | 6.0 | 0 | 102810 | 27 | 211 | 326401285 | 5742583 || 2169 | 11462496 | 17/ 0 | 1260800 | 0 | 709.61/709.62 c | 2174 | 6.0 | 0 | 104634 | 3015 | 212 | 329266735 | 5794711 || 2174 | 11577745 | 17/ 0 | 1274226 | 0 | 715.99/716.00 c | 2212 | 6.4 | 0 | 101734 | 270 | 213 | 332453026 | 5856269 || 2212 | 11682050 | 17/ 0 | 1284386 | 0 | 722.49/722.59 c | 2244 | 6.6 | 0 | 100173 | 215 | 214 | 335665882 | 5917667 || 2244 | 11800535 | 17/ 0 | 1296624 | 0 | 729.30/729.38 c | 2288 | 6.8 | 0 | 90507 | 144 | 215 | 338945787 | 5982357 || 2288 | 11919804 | 17/ 0 | 1308339 | 0 | 736.09/736.18 c | 2301 | 6.8 | 0 | 92169 | 623 | 216 | 341936320 | 6039138 || 2301 | 12051207 | 17/ 0 | 1323308 | 0 | 742.99/743.05 c | 2302 | 6.9 | 0 | 93218 | 3521 | 217 | 344948951 | 6087761 || 2302 | 12168325 | 17/ 0 | 1337106 | 0 | 749.89/749.90 c | 2333 | 6.9 | 0 | 94365 | 870 | 218 | 348187216 | 6141989 || 2333 | 12245867 | 17/ 0 | 1345801 | 0 | 756.69/756.74 c | 2365 | 6.8 | 0 | 99438 | 4726 | 219 | 351350848 | 6204586 || 2365 | 12377070 | 17/ 0 | 1358158 | 0 | 763.79/763.89 c | 2406 | 7.1 | 0 | 102071 | 57 | 220 | 354608652 | 6265611 || 2406 | 12482743 | 17/ 0 | 1368741 | 0 | 770.89/770.92 c | 2429 | 7.0 | 0 | 104345 | 6323 | 221 | 357890306 | 6325190 || 2429 | 12617918 | 17/ 0 | 1385939 | 0 | 778.09/778.19 c | 2460 | 7.3 | 0 | 106501 | 866 | 222 | 361214705 | 6383305 || 2460 | 12719060 | 17/ 0 | 1394838 | 0 | 785.69/785.72 c | 2492 | 7.5 | 0 | 111012 | 310 | 223 | 364471204 | 6445841 || 2492 | 12848545 | 17/ 0 | 1407173 | 0 | 793.39/793.40 c | 2536 | 7.7 | 0 | 113513 | 0 | 224 | 367839754 | 6505954 || 2536 | 12958097 | 17/ 0 | 1418115 | 0 | 801.59/801.64 c | 2556 | 8.2 | 0 | 113897 | 7468 | 225 | 370921847 | 6564392 || 2556 | 13089428 | 17/ 0 | 1434908 | 0 | 809.99/810.08 c | 2557 | 8.4 | 0 | 113721 | 1667 | 226 | 374083620 | 6612783 || 2557 | 13206422 | 17/ 0 | 1448813 | 0 | 818.69/818.74 c | 2558 | 8.7 | 0 | 111767 | 24772 | 227 | 377263568 | 6660300 || 2558 | 13338881 | 17/ 0 | 1475674 | 0 | 829.29/829.39 c | 2558 | 10.7 | 0 | 116424 | 9569 | 228 | 380411277 | 6706124 || 2558 | 13427507 | 17/ 0 | 1476449 | 0 | 837.90/837.90 c | 2577 | 8.5 | 0 | 115614 | 238 | 229 | 383767681 | 6749690 || 2577 | 13467478 | 17/ 0 | 1480473 | 0 | 845.90/845.94 c | 2620 | 8.0 | 0 | 122436 | 157 | 230 | 387163182 | 6817056 || 2620 | 13601185 | 17/ 0 | 1493959 | 0 | 854.30/854.37 c | 2652 | 8.4 | 0 | 122189 | 1202 | 231 | 390555470 | 6876830 || 2652 | 13717258 | 17/ 0 | 1506202 | 0 | 862.60/862.67 c | 2685 | 8.3 | 0 | 124582 | 3949 | 232 | 393873995 | 6938294 || 2685 | 13852521 | 17/ 0 | 1525044 | 0 | 871.20/871.24 c | 2715 | 8.6 | 0 | 128199 | 792 | 233 | 397265814 | 6998784 || 2715 | 13961884 | 17/ 0 | 1532435 | 0 | 879.80/879.83 c | 2748 | 8.6 | 0 | 129269 | 116 | 234 | 400653307 | 7061727 || 2748 | 14094042 | 17/ 0 | 1546411 | 0 | 888.60/888.67 c | 2793 | 8.8 | 0 | 127742 | 340 | 235 | 404158484 | 7127512 || 2793 | 14210364 | 17/ 0 | 1557864 | 0 | 897.50/897.61 c | 2812 | 8.9 | 0 | 121573 | 9494 | 236 | 407482579 | 7187859 || 2812 | 14349898 | 17/ 0 | 1574337 | 0 | 907.50/907.56 c | 2813 | 10.0 | 0 | 122034 | 4793 | 237 | 410811608 | 7237704 || 2813 | 14464687 | 17/ 0 | 1588135 | 0 | 916.59/916.63 c | 2845 | 9.1 | 0 | 120589 | 33 | 238 | 414291237 | 7294624 || 2845 | 14553045 | 17/ 0 | 1597011 | 0 | 925.29/925.36 c | 2883 | 8.7 | 0 | 124922 | 570 | 239 | 417618703 | 7359026 || 2883 | 14679491 | 17/ 0 | 1610451 | 0 | 934.79/934.85 c | 2935 | 9.5 | 0 | 125784 | 62 | 240 | 421209013 | 7429208 || 2935 | 14811967 | 17/ 0 | 1623654 | 0 | 943.69/943.73 c | 2940 | 8.9 | 0 | 126322 | 5944 | 241 | 424500541 | 7482544 || 2940 | 14925373 | 17/ 0 | 1637036 | 0 | 953.39/953.47 c | 2993 | 9.7 | 0 | 127397 | 246 | 242 | 428180220 | 7551647 || 2993 | 15056197 | 17/ 0 | 1650622 | 0 | 963.60/963.68 c | 3031 | 10.2 | 0 | 131305 | 98 | 243 | 431840312 | 7616722 || 3031 | 15183002 | 17/ 0 | 1663786 | 0 | 973.29/973.40 c | 3066 | 9.7 | 0 | 132976 | 4618 | 244 | 435407470 | 7682170 || 3066 | 15321126 | 17/ 0 | 1678976 | 0 | 982.79/982.89 c | 3068 | 9.5 | 0 | 131057 | 15118 | 245 | 438604219 | 7737167 || 3068 | 15462178 | 17/ 0 | 1699407 | 0 | 994.09/994.12 c | 3069 | 11.2 | 0 | 131152 | 20919 | 246 | 441710052 | 7784892 || 3069 | 15589795 | 17/ 0 | 1726104 | 0 | 1005.19/1005.28 c | 3069 | 11.2 | 0 | 128403 | 7621 | 247 | 444873935 | 7839739 || 3069 | 15705069 | 17/ 0 | 1727146 | 0 | 1016.41/1016.50 c | 3070 | 11.2 | 0 | 127300 | 32822 | 248 | 448390152 | 7882305 || 3070 | 15847631 | 17/ 0 | 1779676 | 0 | 1027.90/1027.96 c | 3070 | 11.5 | 0 | 130467 | 25303 | 249 | 451453762 | 7944676 || 3070 | 16009963 | 17/ 0 | 1781019 | 0 | 1043.91/1043.93 c | 3070 | 16.0 | 0 | 124177 | 6726 | 250 | 454593923 | 7995170 || 3070 | 16122630 | 17/ 0 | 1781965 | 0 | 1057.70/1057.74 c | 3070 | 13.8 | 0 | 104781 | 32229 | 251 | 458412092 | 8029850 || 3070 | 16122630 | 17/ 0 | 1781965 | 0 | 1070.80/1070.89 c | 3087 | 13.2 | 0 | 108496 | 103 | 252 | 462230144 | 8075327 || 3087 | 16162130 | 17/ 0 | 1785729 | 0 | 1079.90/1079.98 c | 3133 | 9.1 | 0 | 115680 | 1812 | 253 | 465945372 | 8151184 || 3133 | 16309593 | 17/ 0 | 1802876 | 0 | 1089.50/1089.56 c | 3176 | 9.6 | 0 | 118099 | 28 | 254 | 469774932 | 8223285 || 3176 | 16442733 | 17/ 0 | 1813907 | 0 | 1099.30/1099.36 c | 3197 | 9.8 | 0 | 112181 | 600 | 255 | 473310408 | 8289705 || 3197 | 16596150 | 17/ 0 | 1831068 | 0 | 1109.00/1109.09 c | 3242 | 9.7 | 0 | 118425 | 312 | 256 | 477172319 | 8358773 || 3242 | 16709604 | 17/ 0 | 1842502 | 0 | 1118.82/1118.84 c | 3281 | 9.8 | 0 | 124644 | 256 | 257 | 480932532 | 8428623 || 3281 | 16844866 | 16/ 0 | 1856492 | 0 | 1129.20/1129.29 c | 3323 | 10.5 | 0 | 126605 | 3482 | 258 | 484799587 | 8500390 || 3323 | 16990706 | 16/ 0 | 1873006 | 0 | 1139.90/1139.90 c | 3325 | 10.6 | 0 | 114629 | 15379 | 259 | 488437594 | 8560716 || 3325 | 17142601 | 16/ 0 | 1893633 | 0 | 1150.20/1150.25 c | 3351 | 10.4 | 0 | 117769 | 37 | 260 | 492263920 | 8618778 || 3351 | 17225328 | 16/ 0 | 1899274 | 0 | 1160.80/1160.82 c | 3388 | 10.6 | 0 | 124224 | 959 | 261 | 496205163 | 8692178 || 3388 | 17374056 | 16/ 0 | 1914953 | 0 | 1171.40/1171.49 c | 3441 | 10.7 | 0 | 126982 | 432 | 262 | 500031773 | 8766036 || 3441 | 17507788 | 16/ 0 | 1928616 | 0 | 1182.10/1182.11 c | 3452 | 10.6 | 0 | 130212 | 6115 | 263 | 503954884 | 8825160 || 3452 | 17634535 | 16/ 0 | 1942937 | 0 | 1193.20/1193.25 c | 3512 | 11.1 | 0 | 130684 | 200 | 264 | 507939616 | 8901668 || 3512 | 17778824 | 16/ 0 | 1957413 | 0 | 1204.20/1204.22 c | 3546 | 11.0 | 0 | 134556 | 432 | 265 | 511827902 | 8970614 || 3546 | 17920631 | 16/ 0 | 1972625 | 0 | 1215.10/1215.19 c | 3579 | 11.0 | 0 | 137707 | 6580 | 266 | 515779660 | 9039732 || 3579 | 18073228 | 16/ 0 | 1991592 | 0 | 1226.50/1226.58 c | 3580 | 11.4 | 0 | 133665 | 4875 | 267 | 519524675 | 9097929 || 3580 | 18210761 | 16/ 0 | 2005534 | 0 | 1239.60/1239.70 c | 3581 | 13.1 | 0 | 135843 | 32076 | 268 | 523438651 | 9159135 || 3581 | 18398477 | 16/ 0 | 2032772 | 0 | 1251.92/1251.98 c | 3581 | 12.3 | 0 | 131043 | 20972 | 269 | 527339307 | 9205716 || 3581 | 18443679 | 16/ 0 | 2033143 | 0 | 1263.80/1263.86 c | 3629 | 11.9 | 0 | 132069 | 184 | 270 | 531343965 | 9275956 || 3629 | 18567070 | 16/ 0 | 2045658 | 0 | 1275.10/1275.12 c | 3674 | 11.3 | 0 | 131643 | 897 | 271 | 535303985 | 9348459 || 3674 | 18710008 | 16/ 0 | 2061137 | 0 | 1286.80/1286.85 c | 3708 | 11.7 | 0 | 132900 | 4049 | 272 | 539139060 | 9419520 || 3708 | 18860428 | 16/ 0 | 2081608 | 0 | 1299.41/1299.46 c | 3739 | 12.6 | 0 | 135479 | 1291 | 273 | 543112143 | 9485432 || 3739 | 18983541 | 16/ 0 | 2090623 | 0 | 1311.51/1311.51 c | 3786 | 12.0 | 0 | 136002 | 609 | 274 | 547166458 | 9559152 || 3786 | 19125567 | 16/ 0 | 2106309 | 0 | 1324.11/1324.13 c | 3834 | 12.6 | 0 | 143071 | 2408 | 275 | 551261456 | 9636373 || 3834 | 19280047 | 16/ 0 | 2123707 | 0 | 1337.51/1337.53 c | 3836 | 13.4 | 0 | 143778 | 16013 | 276 | 554900750 | 9697007 || 3836 | 19443373 | 16/ 0 | 2144271 | 0 | 1351.61/1351.69 c | 3866 | 14.2 | 0 | 141712 | 84 | 277 | 559099909 | 9757054 || 3866 | 19533729 | 16/ 0 | 2151482 | 0 | 1364.31/1364.33 c | 3906 | 12.6 | 0 | 145701 | 404 | 278 | 563215756 | 9828982 || 3906 | 19675741 | 16/ 0 | 2166771 | 0 | 1377.40/1377.46 c | 3961 | 13.1 | 0 | 147983 | 2009 | 279 | 567288443 | 9908064 || 3961 | 19831423 | 16/ 0 | 2182984 | 0 | 1390.52/1390.59 c | 3981 | 13.1 | 0 | 150380 | 181 | 280 | 571212605 | 9973157 || 3981 | 19960524 | 16/ 0 | 2197270 | 0 | 1403.80/1403.85 c | 4026 | 13.3 | 0 | 152243 | 387 | 281 | 575340768 | 10049571 || 4026 | 20121776 | 16/ 0 | 2214247 | 0 | 1417.50/1417.53 c | 4083 | 13.7 | 0 | 154723 | 276 | 282 | 579520633 | 10127901 || 4083 | 20261770 | 16/ 0 | 2228390 | 0 | 1431.50/1431.52 c | 4091 | 14.0 | 0 | 159295 | 9562 | 283 | 583635950 | 10191954 || 4091 | 20425579 | 16/ 0 | 2255350 | 0 | 1446.00/1446.01 c | 4092 | 14.5 | 0 | 154348 | 19160 | 284 | 587678606 | 10253054 || 4092 | 20584863 | 16/ 0 | 2282414 | 0 | 1462.50/1462.54 c | 4092 | 16.5 | 0 | 151846 | 9659 | 285 | 591500431 | 10312711 || 4092 | 20706549 | 16/ 0 | 2283438 | 0 | 1478.53/1478.58 c | 4093 | 16.0 | 0 | 146742 | 38660 | 286 | 595734426 | 10368256 || 4093 | 20891725 | 16/ 0 | 2336347 | 0 | 1496.31/1496.38 c | 4093 | 17.8 | 0 | 141737 | 29101 | 287 | 599396509 | 10436698 || 4093 | 21080201 | 16/ 0 | 2337884 | 0 | 1514.01/1514.06 c | 4093 | 17.7 | 0 | 133343 | 20160 | 288 | 603295312 | 10484645 || 4093 | 21135276 | 16/ 0 | 2338378 | 0 | 1531.41/1531.44 c | 4093 | 17.4 | 0 | 120707 | 49462 | 289 | 607382766 | 10524079 || 4093 | 21135276 | 16/ 0 | 2338378 | 0 | 1546.11/1546.12 c | 4094 | 14.7 | 0 | 117814 | 78863 | 290 | 611324442 | 10595256 || 4094 | 21508006 | 16/ 0 | 2444281 | 0 | 1565.21/1565.30 c | 4094 | 19.2 | 0 | 111599 | 29502 | 291 | 615117852 | 10665304 || 4094 | 21696448 | 16/ 0 | 2445917 | 0 | 1586.60/1586.63 c | 4094 | 21.3 | 0 | 110716 | 29601 | 292 | 618680416 | 10731695 || 4094 | 21876006 | 16/ 0 | 2447465 | 0 | 1603.93/1603.98 c | 4094 | 17.3 | 0 | 103687 | 14067 | 293 | 622530488 | 10786745 || 4094 | 21968354 | 16/ 0 | 2448243 | 0 | 1618.51/1618.59 c | 4094 | 14.6 | 0 | 108263 | 43870 | 294 | 626768508 | 10827861 || 4094 | 21968354 | 16/ 0 | 2448243 | 0 | 1634.91/1634.95 c | 4094 | 16.4 | 0 | 108814 | 73771 | 295 | 630977991 | 10867885 || 4094 | 21968354 | 16/ 0 | 2448243 | 0 | 1653.11/1653.17 c | 4095 | 18.2 | 0 | 101941 | 103773 | 296 | 635125478 | 10909947 || 4095 | 22359753 | 16/ 0 | 2656840 | 0 | 1664.61/1664.65 c | 4095 | 11.5 | 0 | 109072 | 30103 | 297 | 638742455 | 10986724 || 4095 | 22568877 | 16/ 0 | 2658541 | 0 | 1682.81/1682.87 c | 4095 | 18.2 | 0 | 118217 | 30201 | 298 | 642300319 | 11052579 || 4095 | 22757975 | 16/ 0 | 2660114 | 0 | 1700.91/1700.98 c | 4095 | 18.1 | 0 | 125304 | 30303 | 299 | 645544709 | 11119779 || 4095 | 22944921 | 16/ 0 | 2661703 | 0 | 1720.21/1720.27 c | 4095 | 19.3 | 0 | 123204 | 30403 | 300 | 648960375 | 11186605 || 4095 | 23136337 | 16/ 0 | 2663328 | 0 | 1745.83/1745.85 c | 4095 | 25.6 | 0 | 122127 | 30502 | 301 | 652349536 | 11252393 || 4095 | 23322978 | 16/ 0 | 2664848 | 0 | 1767.42/1767.43 c | 4095 | 21.6 | 0 | 115492 | 30604 | 302 | 655844886 | 11320468 || 4095 | 23509950 | 16/ 0 | 2666418 | 0 | 1791.82/1791.82 c | 4095 | 24.4 | 0 | 90172 | 9388 | 303 | 659855540 | 11379114 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1809.64/1809.64 c | 4095 | 17.8 | 0 | 90270 | 40191 | 304 | 664609858 | 11420278 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1828.02/1828.05 c | 4095 | 18.4 | 0 | 105822 | 71093 | 305 | 669595202 | 11460088 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1847.82/1847.85 c | 4095 | 19.8 | 0 | 114363 | 102094 | 306 | 674469492 | 11499672 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1869.42/1869.44 c | 4095 | 21.6 | 0 | 132239 | 133195 | 307 | 679700464 | 11538589 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1890.62/1890.60 c | 4095 | 21.2 | 0 | 145752 | 164397 | 308 | 684599694 | 11579177 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1914.52/1914.52 c | 4095 | 23.9 | 0 | 158263 | 195698 | 309 | 689606229 | 11618707 || 4095 | 23640935 | 16/ 0 | 2667487 | 0 | 1928.44/1928.46 c | 4141 | 13.9 | 0 | 165364 | 618 | 310 | 694185667 | 11703257 || 4141 | 23776787 | 16/ 0 | 2679919 | 0 | 1938.22/1938.23 c | 4189 | 9.8 | 0 | 166477 | 847 | 311 | 698621584 | 11797016 || 4189 | 23956327 | 16/ 0 | 2697481 | 0 | 1948.12/1948.16 c | 4222 | 9.9 | 0 | 166683 | 1988 | 312 | 703103223 | 11883677 || 4222 | 24142927 | 16/ 0 | 2716783 | 0 | 1959.42/1959.42 c | 4282 | 11.2 | 0 | 161395 | 391 | 313 | 707788147 | 11974779 || 4282 | 24301001 | 16/ 0 | 2731786 | 0 | 1970.32/1970.33 c | 4330 | 10.9 | 0 | 155727 | 108 | 314 | 712418557 | 12064285 || 4330 | 24474555 | 16/ 0 | 2749375 | 0 | 1981.92/1981.97 c | 4350 | 11.6 | 0 | 150566 | 7571 | 315 | 716792526 | 12142567 || 4350 | 24656308 | 16/ 0 | 2779010 | 0 | 1993.52/1993.58 c | 4370 | 11.6 | 0 | 140164 | 20 | 316 | 721171502 | 12218126 || 4370 | 24786408 | 16/ 0 | 2783895 | 0 | 2005.12/2005.14 c | 4418 | 11.6 | 0 | 133824 | 53 | 317 | 725745766 | 12305163 || 4418 | 24955290 | 16/ 0 | 2801371 | 0 | 2017.12/2017.14 c | 4476 | 12.0 | 0 | 137584 | 2838 | 318 | 730440275 | 12397414 || 4476 | 25141102 | 16/ 0 | 2821709 | 0 | 2029.52/2029.56 c | 4508 | 12.4 | 0 | 140900 | 2268 | 319 | 735055535 | 12479182 || 4508 | 25301923 | 16/ 0 | 2837595 | 0 | 2041.82/2041.89 c | 4562 | 12.3 | 0 | 141440 | 369 | 320 | 739826867 | 12567703 || 4562 | 25469036 | 16/ 0 | 2854663 | 0 | 2054.42/2054.46 c | 4604 | 12.6 | 0 | 145680 | 5399 | 321 | 744389271 | 12653877 || 4604 | 25650958 | 16/ 0 | 2877483 | 0 | 2069.12/2069.18 c | 4605 | 14.7 | 0 | 149122 | 9193 | 322 | 748941116 | 12721175 || 4605 | 25793102 | 16/ 0 | 2891530 | 0 | 2083.72/2083.71 c | 4606 | 14.5 | 0 | 146895 | 3491 | 323 | 753351397 | 12798433 || 4606 | 26029154 | 16/ 0 | 2919092 | 0 | 2098.03/2098.05 c | 4635 | 14.3 | 0 | 145038 | 423 | 324 | 758178347 | 12861956 || 4635 | 26090680 | 16/ 0 | 2925210 | 0 | 2110.83/2110.82 c | 4684 | 12.8 | 0 | 155528 | 657 | 325 | 762793299 | 12948721 || 4684 | 26261076 | 16/ 0 | 2943612 | 0 | 2124.33/2124.34 c | 4732 | 13.5 | 0 | 158155 | 2795 | 326 | 767651456 | 13036690 || 4732 | 26430642 | 16/ 0 | 2961147 | 0 | 2137.53/2137.57 c | 4777 | 13.2 | 0 | 158788 | 8 | 327 | 772198717 | 13120789 || 4777 | 26593118 | 16/ 0 | 2978943 | 0 | 2151.63/2151.66 c | 4827 | 14.1 | 0 | 160467 | 98 | 328 | 777005142 | 13211189 || 4827 | 26773771 | 16/ 0 | 2997774 | 0 | 2165.73/2165.74 c | 4860 | 14.1 | 0 | 165281 | 2949 | 329 | 781703599 | 13295085 || 4860 | 26947415 | 16/ 0 | 3016942 | 0 | 2181.03/2181.01 c | 4875 | 15.3 | 0 | 171569 | 528 | 330 | 786623931 | 13368410 || 4875 | 27089462 | 16/ 0 | 3033412 | 0 | 2195.23/2195.25 c | 4924 | 14.2 | 0 | 162976 | 2533 | 331 | 791305365 | 13454488 || 4924 | 27258070 | 16/ 0 | 3051727 | 0 | 2210.13/2210.17 c | 4987 | 14.9 | 0 | 166370 | 2441 | 332 | 796110228 | 13543769 || 4987 | 27438631 | 16/ 0 | 3072534 | 0 | 2225.83/2225.87 c | 5019 | 15.7 | 0 | 169982 | 884 | 333 | 801087375 | 13623243 || 5019 | 27598807 | 16/ 0 | 3088339 | 0 | 2241.03/2241.04 c | 5080 | 15.2 | 0 | 170687 | 343 | 334 | 805937905 | 13711645 || 5080 | 27772376 | 16/ 0 | 3106735 | 0 | 2256.43/2256.48 c | 5115 | 15.4 | 0 | 173687 | 9180 | 335 | 810731099 | 13797503 || 5115 | 27964335 | 16/ 0 | 3128474 | 0 | 2272.43/2272.44 c | 5117 | 15.9 | 0 | 175467 | 14380 | 336 | 815455317 | 13864002 || 5117 | 28134595 | 16/ 0 | 3168484 | 0 | 2289.93/2289.95 c | 5117 | 17.5 | 0 | 171897 | 10079 | 337 | 820040426 | 13939142 || 5117 | 28293795 | 16/ 0 | 3169782 | 0 | 2307.83/2307.84 c | 5118 | 17.9 | 0 | 170787 | 44283 | 338 | 824765388 | 14010197 || 5118 | 28520676 | 16/ 0 | 3223045 | 0 | 2331.05/2331.02 c | 5118 | 23.2 | 0 | 172079 | 1784 | 339 | 829013993 | 14094671 || 5118 | 28734254 | 16/ 0 | 3225017 | 0 | 2351.83/2351.87 c | 5118 | 20.8 | 0 | 165620 | 36186 | 340 | 834840520 | 14143021 || 5118 | 28734254 | 16/ 0 | 3225017 | 0 | 2369.55/2369.57 c | 5161 | 17.7 | 0 | 168431 | 104 | 341 | 840219277 | 14217938 || 5161 | 28837188 | 16/ 0 | 3235620 | 0 | 2384.73/2384.72 c | 5212 | 15.2 | 0 | 170652 | 1094 | 342 | 845168113 | 14307494 || 5212 | 29016768 | 16/ 0 | 3254695 | 0 | 2400.13/2400.19 c | 5245 | 15.5 | 0 | 175887 | 5316 | 343 | 850011333 | 14390860 || 5245 | 29189028 | 16/ 0 | 3273790 | 0 | 2416.23/2416.20 c | 5308 | 16.0 | 0 | 178425 | 3192 | 344 | 855049176 | 14485453 || 5308 | 29374334 | 16/ 0 | 3294634 | 0 | 2432.93/2432.96 c | 5370 | 16.8 | 0 | 176677 | 1990 | 345 | 860150118 | 14577523 || 5370 | 29549135 | 16/ 0 | 3312171 | 0 | 2449.13/2449.16 c | 5373 | 16.2 | 0 | 184968 | 985 | 346 | 864930416 | 14656664 || 5373 | 29747383 | 16/ 0 | 3336356 | 0 | 2465.83/2465.85 c | 5422 | 16.7 | 0 | 179718 | 173 | 347 | 870230816 | 14738192 || 5422 | 29872007 | 16/ 0 | 3349048 | 0 | 2482.43/2482.43 c | 5480 | 16.6 | 0 | 174239 | 60 | 348 | 875382445 | 14830133 || 5480 | 30054370 | 16/ 0 | 3368254 | 0 | 2499.13/2499.18 c | 5513 | 16.7 | 0 | 176715 | 99 | 349 | 880403456 | 14916244 || 5513 | 30229965 | 16/ 0 | 3387469 | 0 | 2516.63/2516.66 c | 5567 | 17.5 | 0 | 181733 | 204 | 350 | 885507151 | 15007715 || 5567 | 30408996 | 16/ 0 | 3406808 | 0 | 2534.43/2534.42 c | 5626 | 17.8 | 0 | 184322 | 985 | 351 | 890551218 | 15101267 || 5626 | 30602374 | 16/ 0 | 3427195 | 0 | 2553.43/2553.49 c | 5628 | 19.1 | 0 | 185469 | 7782 | 352 | 895409473 | 15174148 || 5628 | 30764457 | 16/ 0 | 3447876 | 0 | 2574.83/2574.84 c | 5629 | 21.3 | 0 | 187262 | 5082 | 353 | 900749242 | 15254940 || 5629 | 30991534 | 16/ 0 | 3475475 | 0 | 2594.53/2594.54 c | 5660 | 19.7 | 0 | 184115 | 825 | 354 | 906370950 | 15324707 || 5660 | 31074138 | 16/ 0 | 3484179 | 0 | 2612.43/2612.51 c | 5722 | 18.0 | 0 | 184884 | 607 | 355 | 911362976 | 15418355 || 5722 | 31257807 | 16/ 0 | 3503413 | 0 | 2629.94/2629.96 c | 5756 | 17.5 | 0 | 186371 | 3739 | 356 | 916330685 | 15505889 || 5756 | 31444460 | 16/ 0 | 3524323 | 0 | 2648.74/2648.70 c | 5819 | 18.8 | 0 | 187167 | 2917 | 357 | 921696743 | 15601007 || 5819 | 31629629 | 16/ 0 | 3545148 | 0 | 2667.94/2667.92 c | 5881 | 19.2 | 0 | 189882 | 595 | 358 | 926985537 | 15695751 || 5881 | 31811693 | 16/ 0 | 3562757 | 0 | 2686.74/2686.70 c | 5884 | 18.8 | 0 | 191465 | 3292 | 359 | 931843778 | 15774114 || 5884 | 32007330 | 16/ 0 | 3586894 | 0 | 2705.94/2705.98 c | 5944 | 19.3 | 0 | 195753 | 557 | 360 | 937221632 | 15862268 || 5944 | 32152076 | 16/ 0 | 3601779 | 0 | 2725.24/2725.21 c | 6000 | 19.2 | 0 | 197976 | 333 | 361 | 942350836 | 15953823 || 6000 | 32332406 | 16/ 0 | 3621356 | 0 | 2744.66/2744.62 c | 6039 | 19.4 | 0 | 198621 | 158 | 362 | 947468557 | 16041037 || 6039 | 32505920 | 16/ 0 | 3641309 | 0 | 2765.04/2765.00 c | 6096 | 20.4 | 0 | 202782 | 484 | 363 | 952962631 | 16134736 || 6096 | 32693442 | 16/ 0 | 3661381 | 0 | 2785.04/2785.06 c | 6138 | 20.1 | 0 | 205103 | 202 | 364 | 958294340 | 16227051 || 6138 | 32898190 | 16/ 0 | 3684452 | 0 | 2808.54/2808.57 c | 6140 | 23.5 | 0 | 206126 | 17902 | 365 | 963926571 | 16302591 || 6140 | 33091852 | 16/ 0 | 3724699 | 0 | 2832.66/2832.67 c | 6140 | 24.1 | 0 | 204982 | 16502 | 366 | 969786083 | 16377601 || 6140 | 33235965 | 16/ 0 | 3725925 | 0 | 2855.24/2855.25 c | 6141 | 22.6 | 0 | 199472 | 53603 | 367 | 974766262 | 16460575 || 6141 | 33517477 | 16/ 0 | 3779610 | 0 | 2881.34/2881.32 c | 6141 | 26.1 | 0 | 195668 | 14004 | 368 | 979422682 | 16532864 || 6141 | 33654461 | 16/ 0 | 3780778 | 0 | 2903.54/2903.58 c | 6142 | 22.2 | 0 | 186027 | 51305 | 369 | 984762802 | 16584165 || 6142 | 33846203 | 16/ 0 | 3885080 | 0 | 2925.94/2925.98 c | 6142 | 22.4 | 0 | 188034 | 37401 | 370 | 989054268 | 16673357 || 6142 | 34081719 | 16/ 0 | 3887061 | 0 | 2956.85/2956.91 c | 6142 | 30.9 | 0 | 166116 | 37501 | 371 | 993252091 | 16755999 || 6142 | 34307303 | 16/ 0 | 3888919 | 0 | 2994.44/2994.46 c | 6142 | 37.6 | 0 | 156871 | 10207 | 372 | 997677816 | 16828773 || 6142 | 34466566 | 16/ 0 | 3890254 | 0 | 3020.54/3020.59 c | 6142 | 26.1 | 0 | 148628 | 47909 | 373 | 1002740002 | 16881280 || 6142 | 34466566 | 16/ 0 | 3890254 | 0 | 3046.94/3047.01 c | 6142 | 26.4 | 0 | 158720 | 85712 | 374 | 1007907383 | 16931877 || 6142 | 34466566 | 16/ 0 | 3890254 | 0 | 3068.95/3069.01 c | 6188 | 22.0 | 0 | 177027 | 726 | 375 | 1013372515 | 17019636 || 6188 | 34590693 | 16/ 0 | 3902591 | 0 | 3085.95/3085.98 c | 6250 | 17.0 | 0 | 173547 | 185 | 376 | 1018900745 | 17128305 || 6250 | 34793682 | 16/ 0 | 3922833 | 0 | 3103.16/3103.17 c | 6289 | 17.2 | 0 | 182994 | 113 | 377 | 1024266480 | 17224205 || 6289 | 34982215 | 16/ 0 | 3943442 | 0 | 3120.55/3120.58 c | 6350 | 17.4 | 0 | 194481 | 119 | 378 | 1029694005 | 17330523 || 6350 | 35183885 | 16/ 0 | 3964252 | 0 | 3138.55/3138.55 c | 6396 | 18.0 | 0 | 203509 | 539 | 379 | 1035023910 | 17433465 || 6396 | 35398315 | 16/ 0 | 3988197 | 0 | 3158.15/3158.13 c | 6415 | 19.6 | 0 | 196372 | 207 | 380 | 1040423034 | 17515797 || 6415 | 35552422 | 16/ 0 | 4005877 | 0 | 3177.65/3177.63 c | 6478 | 19.5 | 0 | 180532 | 166 | 381 | 1046124329 | 17619539 || 6478 | 35754039 | 16/ 0 | 4026805 | 0 | 3196.65/3196.63 c | 6524 | 19.0 | 0 | 158111 | 579 | 382 | 1051712139 | 17720965 || 6524 | 35970870 | 16/ 0 | 4050765 | 0 | 3215.85/3215.86 c | 6587 | 19.2 | 0 | 161500 | 2358 | 383 | 1057306935 | 17821303 || 6587 | 36151951 | 16/ 0 | 4071554 | 0 | 3235.65/3235.64 c | 6650 | 19.8 | 0 | 169465 | 2614 | 384 | 1063040233 | 17925848 || 6650 | 36352253 | 16/ 0 | 4092533 | 0 | 3256.05/3256.07 c | 6652 | 20.4 | 0 | 170158 | 7909 | 385 | 1068618921 | 18009760 || 6652 | 36544119 | 16/ 0 | 4113398 | 0 | 3276.15/3276.19 c | 6653 | 20.1 | 0 | 176876 | 8510 | 386 | 1074188139 | 18095701 || 6653 | 36769971 | 16/ 0 | 4140971 | 0 | 3297.85/3297.90 c | 6699 | 21.7 | 0 | 181593 | 308 | 387 | 1080438493 | 18179275 || 6699 | 36891769 | 16/ 0 | 4153225 | 0 | 3318.46/3318.41 c | 6763 | 20.5 | 0 | 189326 | 84 | 388 | 1086166353 | 18282605 || 6763 | 37093800 | 16/ 0 | 4174346 | 0 | 3339.66/3339.69 c | 6809 | 21.3 | 0 | 193494 | 390 | 389 | 1091639705 | 18379182 || 6809 | 37290552 | 16/ 0 | 4195997 | 0 | 3360.86/3360.85 c | 6873 | 21.2 | 0 | 195998 | 644 | 390 | 1097296514 | 18480377 || 6873 | 37492339 | 16/ 0 | 4217862 | 0 | 3381.66/3381.67 c | 6907 | 20.8 | 0 | 198475 | 6075 | 391 | 1102850748 | 18574133 || 6907 | 37682278 | 16/ 0 | 4238714 | 0 | 3402.76/3402.78 c | 6939 | 21.1 | 0 | 201623 | 1610 | 392 | 1108311694 | 18663566 || 6939 | 37871737 | 16/ 0 | 4261248 | 0 | 3425.46/3425.42 c | 7002 | 22.6 | 0 | 208424 | 371 | 393 | 1114222745 | 18767205 || 7002 | 38075935 | 16/ 0 | 4282203 | 0 | 3447.66/3447.68 c | 7046 | 22.3 | 0 | 203033 | 275 | 394 | 1119808564 | 18860913 || 7046 | 38269558 | 16/ 0 | 4303190 | 0 | 3470.15/3470.15 c | 7112 | 22.5 | 0 | 205585 | 226 | 395 | 1125561433 | 18966695 || 7112 | 38477129 | 16/ 0 | 4324944 | 0 | 3493.35/3493.34 c | 7162 | 23.2 | 0 | 206376 | 9336 | 396 | 1131347491 | 19068572 || 7162 | 38699340 | 16/ 0 | 4350115 | 0 | 3520.45/3520.45 c | 7164 | 27.1 | 0 | 208497 | 20636 | 397 | 1137081070 | 19147322 || 7164 | 38911027 | 16/ 0 | 4390375 | 0 | 3546.36/3546.39 c | 7164 | 25.9 | 0 | 204857 | 22435 | 398 | 1143115890 | 19224370 || 7164 | 39034974 | 16/ 0 | 4391403 | 0 | 3571.96/3571.90 c | 7165 | 25.5 | 0 | 212581 | 62737 | 399 | 1148461046 | 19321261 || 7165 | 39384275 | 16/ 0 | 4445625 | 0 | 3602.36/3602.34 c | 7165 | 30.4 | 0 | 210029 | 26337 | 400 | 1154376801 | 19390462 || 7165 | 39472545 | 16/ 0 | 4446384 | 0 | 3630.86/3630.88 c | 7196 | 28.5 | 0 | 210483 | 1172 | 401 | 1160430391 | 19467004 || 7196 | 39559739 | 16/ 0 | 4455158 | 0 | 3654.16/3654.11 c | 7266 | 23.2 | 0 | 211631 | 241 | 402 | 1166356755 | 19574243 || 7266 | 39766393 | 16/ 0 | 4477415 | 0 | 3677.66/3677.64 c | 7310 | 23.5 | 0 | 212535 | 65 | 403 | 1172277389 | 19671546 || 7310 | 39965530 | 16/ 0 | 4499169 | 0 | 3701.57/3701.55 c | 7380 | 23.9 | 0 | 217919 | 232 | 404 | 1178109088 | 19777431 || 7380 | 40170946 | 16/ 0 | 4521367 | 0 | 3726.06/3726.08 c | 7419 | 24.5 | 0 | 208795 | 5355 | 405 | 1184233819 | 19874442 || 7419 | 40372079 | 16/ 0 | 4543890 | 0 | 3750.86/3750.82 c | 7451 | 24.7 | 0 | 214251 | 2272 | 406 | 1189816688 | 19966001 || 7451 | 40565745 | 16/ 0 | 4566371 | 0 | 3774.87/3774.83 c | 7518 | 24.0 | 0 | 217305 | 239 | 407 | 1195762661 | 20073550 || 7518 | 40769139 | 16/ 0 | 4587841 | 0 | 3799.47/3799.47 c | 7564 | 24.6 | 0 | 209423 | 50 | 408 | 1201615991 | 20172376 || 7564 | 40968165 | 16/ 0 | 4610078 | 0 | 3825.16/3825.18 c | 7635 | 25.7 | 0 | 210498 | 112 | 409 | 1207553011 | 20280833 || 7635 | 41183198 | 16/ 0 | 4632602 | 0 | 3851.17/3851.15 c | 7674 | 26.0 | 0 | 211251 | 6045 | 410 | 1213521140 | 20375529 || 7674 | 41380748 | 16/ 0 | 4655176 | 0 | 3877.47/3877.50 c | 7676 | 26.4 | 0 | 214413 | 28345 | 411 | 1219274588 | 20467924 || 7676 | 41644880 | 16/ 0 | 4695951 | 0 | 3904.77/3904.72 c | 7691 | 27.2 | 0 | 215754 | 310 | 412 | 1224958870 | 20543968 || 7691 | 41742956 | 16/ 0 | 4700013 | 0 | 3930.17/3930.13 c | 7763 | 25.4 | 0 | 224257 | 130 | 413 | 1230980590 | 20651621 || 7763 | 41953330 | 16/ 0 | 4722478 | 0 | 3956.77/3956.74 c | 7803 | 26.6 | 0 | 227266 | 5972 | 414 | 1237156773 | 20752949 || 7803 | 42161288 | 16/ 0 | 4745319 | 0 | 3983.47/3983.43 c | 7876 | 26.7 | 0 | 231090 | 230 | 415 | 1243212913 | 20861954 || 7876 | 42372151 | 16/ 0 | 4768065 | 0 | 4009.69/4009.68 c | 7930 | 26.2 | 0 | 232654 | 28 | 416 | 1249305114 | 20969550 || 7930 | 42611541 | 16/ 0 | 4794246 | 0 | 4035.87/4035.88 c | 7959 | 26.2 | 0 | 236266 | 197 | 417 | 1255034457 | 21056068 || 7959 | 42771795 | 16/ 0 | 4813657 | 0 | 4062.67/4062.66 c | 8025 | 26.8 | 0 | 247795 | 1757 | 418 | 1261090366 | 21161994 || 8025 | 42988935 | 16/ 0 | 4837483 | 0 | 4091.09/4091.07 c | 8072 | 28.4 | 0 | 241931 | 361 | 419 | 1267390467 | 21261421 || 8072 | 43187131 | 16/ 0 | 4859242 | 0 | 4119.37/4119.38 c | 8143 | 28.3 | 0 | 242184 | 214 | 420 | 1273387715 | 21369393 || 8143 | 43398434 | 16/ 0 | 4882333 | 0 | 4146.47/4146.49 c | 8185 | 27.1 | 0 | 243564 | 6253 | 421 | 1279453589 | 21468925 || 8185 | 43600754 | 16/ 0 | 4905340 | 0 | 4174.87/4174.89 c | 8187 | 28.4 | 0 | 249480 | 29655 | 422 | 1285157531 | 21562709 || 8187 | 43875813 | 16/ 0 | 4946226 | 0 | 4204.67/4204.60 c | 8188 | 29.7 | 0 | 248867 | 33950 | 423 | 1290930962 | 21641259 || 8188 | 44082965 | 16/ 0 | 4999278 | 0 | 4242.97/4242.96 c | 8188 | 38.4 | 0 | 247193 | 42801 | 424 | 1296311307 | 21744136 || 8188 | 44369401 | 16/ 0 | 5001732 | 0 | 4274.07/4274.01 c | 8188 | 31.0 | 0 | 238358 | 42854 | 425 | 1302572332 | 21802764 || 8188 | 44369719 | 16/ 0 | 5001735 | 0 | 4312.97/4312.98 c | 8189 | 39.0 | 0 | 240960 | 85855 | 426 | 1309009532 | 21897799 || 8189 | 44796874 | 16/ 0 | 5107988 | 0 | 4361.97/4361.99 c | 8189 | 49.0 | 0 | 224886 | 43101 | 427 | 1315688397 | 22000125 || 8189 | 45087168 | 16/ 0 | 5110337 | 0 | 4407.12/4407.19 c | 8189 | 45.1 | 0 | 188559 | 18556 | 428 | 1322120767 | 22081449 || 8189 | 45246598 | 16/ 0 | 5111713 | 0 | 4440.32/4440.31 c | 8189 | 33.1 | 0 | 170048 | 61858 | 429 | 1328558769 | 22139324 || 8189 | 45246598 | 16/ 0 | 5111713 | 0 | 4474.02/4474.04 c | 8190 | 33.7 | 0 | 169400 | 105261 | 430 | 1334847659 | 22199996 || 8190 | 45647543 | 16/ 0 | 5320313 | 0 | 4510.22/4510.23 c | 8190 | 36.2 | 0 | 179463 | 43503 | 431 | 1339538321 | 22298655 || 8190 | 45919800 | 16/ 0 | 5322661 | 0 | 4566.92/4566.90 c | 8190 | 56.7 | 0 | 167172 | 43602 | 432 | 1344373511 | 22390235 || 8190 | 46179575 | 16/ 0 | 5324845 | 0 | 4619.92/4619.93 c | 8190 | 53.0 | 0 | 158095 | 43703 | 433 | 1348921246 | 22481025 || 8190 | 46437444 | 16/ 0 | 5327005 | 0 | 4678.22/4678.29 c | 8190 | 58.4 | 0 | 161717 | 43801 | 434 | 1353585721 | 22567517 || 8190 | 46689574 | 16/ 0 | 5329137 | 0 | 4738.02/4738.02 c | 8190 | 59.7 | 0 | 152654 | 16570 | 435 | 1358464359 | 22643906 || 8190 | 46844487 | 16/ 0 | 5330460 | 0 | 4785.32/4785.31 c | 8190 | 47.3 | 0 | 135417 | 60571 | 436 | 1363878942 | 22700641 || 8190 | 46844487 | 16/ 0 | 5330460 | 0 | 4829.42/4829.40 c | 8190 | 44.1 | 0 | 124523 | 104672 | 437 | 1369435421 | 22756854 || 8190 | 46844487 | 16/ 0 | 5330460 | 0 | 4865.63/4865.61 c | 8190 | 36.2 | 0 | 156801 | 148876 | 438 | 1375708723 | 22816692 || 8190 | 46844487 | 16/ 0 | 5330460 | 0 | 4900.43/4900.45 c | 8190 | 34.8 | 0 | 190166 | 193180 | 439 | 1382126776 | 22876609 || 8190 | 46844487 | 16/ 0 | 5330460 | 0 | 4928.53/4928.56 c | 8191 | 28.1 | 0 | 222995 | 237581 | 440 | 1387462181 | 22976618 || 8191 | 47831714 | 16/ 0 | 5749604 | 0 | 4967.03/4967.05 c | 8191 | 38.5 | 0 | 236749 | 44501 | 441 | 1392561547 | 23078212 || 8191 | 48110977 | 16/ 0 | 5751998 | 0 | 5000.03/5000.02 c | 8191 | 33.0 | 0 | 265360 | 28611 | 441 | 1395548470 | 23140303 || 8191 | 48282234 | 16/ 0 | 5753382 | 0 | 5000.03/5000.02 c c 5000.03/5000.02 c ----------------------------------- 5000.03/5000.02 c # temps = 4999.310000 5000.03/5000.02 c # cleaningDB = 441 5000.03/5000.02 c # clause binaire = 202323 5000.03/5000.02 c # literal removed by litRedundant = 1028218741 5000.03/5000.02 c # literal removed by litRedundantBin = 297502185 5000.03/5000.02 c # init clause removed by simplify = 0 5000.03/5000.02 c # learnt clause removed by simplify = 0 5000.03/5000.02 c # une clause fausse était une apprise = 0 5000.03/5000.02 c # equivalence dectecte = 0 5000.03/5000.02 c # Memory used : 156.23 MB 5000.03/5000.02 c 5000.03/5000.02 c ######################## 5000.03/5000.02 c #### ## ### ## #### 5000.03/5000.02 c #### #### # ## #### #### 5000.03/5000.02 c #### ## ### ## ### 5000.03/5000.02 c ######################## 5000.03/5000.02 c # restart = 8191 5000.03/5000.02 c # conflit = 9952030 5000.03/5000.02 c # decision = 23140303 5000.03/5000.02 c # propagation = 1395548470 (279148.216454 (prop/sec)) 5000.03/5000.02 c 5000.03/5000.02 c ######################## 5000.03/5000.02 c ### ### # ## ## ## 5000.03/5000.02 c ### # # # #### # ### ### 5000.03/5000.02 c ### # ### ## # ### ### 5000.03/5000.02 c ######################## 5000.03/5000.02 c # numtry = 8191 5000.03/5000.02 c # numflips = 48282234 5000.03/5000.02 c # maxSat = 16 5000.03/5000.02 c # freeFlip = 9964487 5000.03/5000.02 c # nbBoundary = 0 5000.03/5000.02 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3438495-1306889536/watcher-3438495-1306889536 -o /tmp/evaluation-result-3438495-1306889536/solver-3438495-1306889536 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438495-1306889536.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.08 2.02 4/535 3651 /proc/meminfo: memFree=9699596/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 800551601 8912896 252 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3651/statm: 2176 252 211 178 0 69 0 [startup+0.105233 s] /proc/loadavg: 2.20 2.08 2.02 4/535 3651 /proc/meminfo: memFree=9699596/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 800551601 8912896 252 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3651/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.20121 s] /proc/loadavg: 2.20 2.08 2.02 4/535 3651 /proc/meminfo: memFree=9699596/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 800551601 8912896 252 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3651/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301186 s] /proc/loadavg: 2.20 2.08 2.02 4/535 3651 /proc/meminfo: memFree=9699596/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 800551601 8912896 252 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3651/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70112 s] /proc/loadavg: 2.20 2.08 2.02 4/535 3651 /proc/meminfo: memFree=9699596/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 800551601 8912896 252 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/3651/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50095 s] /proc/loadavg: 2.19 2.08 2.02 3/539 3656 /proc/meminfo: memFree=9662248/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=15544 CPUtime=0.74 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 2349 0 0 0 74 0 0 0 18 0 1 0 800551675 15917056 2260 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 3886 2260 135 12 0 2350 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32952 [startup+3.1007 s] /proc/loadavg: 2.19 2.08 2.02 3/540 3658 /proc/meminfo: memFree=9667944/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=17060 CPUtime=2.34 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 2736 0 0 0 234 0 0 0 21 0 1 0 800551675 17469440 2647 33554432000 4194304 4241092 140736510603008 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 4265 2647 135 12 0 2729 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34468 [startup+6.30114 s] /proc/loadavg: 2.19 2.08 2.02 3/540 3658 /proc/meminfo: memFree=9662780/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=18644 CPUtime=5.55 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 3136 0 0 0 554 1 0 0 25 0 1 0 800551675 19091456 3047 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223333 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 4661 3047 135 12 0 3125 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36052 [startup+12.701 s] /proc/loadavg: 2.16 2.08 2.02 3/540 3658 /proc/meminfo: memFree=9655412/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=21480 CPUtime=11.95 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 3856 0 0 0 1194 1 0 0 25 0 1 0 800551675 21995520 3767 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 5370 3767 136 12 0 3834 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38888 [startup+25.5008 s] /proc/loadavg: 2.13 2.07 2.02 3/540 3658 /proc/meminfo: memFree=9649808/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=24580 CPUtime=24.75 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 4629 0 0 0 2474 1 0 0 25 0 1 0 800551675 25169920 4540 33554432000 4194304 4241092 140736510603008 18446744073709551615 4205808 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 6145 4540 136 12 0 4609 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41988 [startup+51.1013 s] /proc/loadavg: 2.09 2.07 2.01 3/540 3659 /proc/meminfo: memFree=9641568/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=29024 CPUtime=50.34 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 5750 0 0 0 5033 1 0 0 25 0 1 0 800551675 29720576 5629 33554432000 4194304 4241092 140736510603008 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 7256 5629 136 12 0 5720 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46432 [startup+102.301 s] /proc/loadavg: 2.03 2.05 2.01 3/540 3660 /proc/meminfo: memFree=9625884/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=35864 CPUtime=101.56 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 7570 0 0 0 10154 2 0 0 25 0 1 0 800551675 36724736 7369 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 8966 7369 136 12 0 7430 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 53272 [startup+162.301 s] /proc/loadavg: 2.01 2.04 2.00 3/540 3662 /proc/meminfo: memFree=9613156/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=42480 CPUtime=161.55 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 9361 0 0 0 16153 2 0 0 25 0 1 0 800551675 43499520 8988 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223681 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 10620 8988 136 12 0 9084 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 59888 [startup+222.321 s] /proc/loadavg: 2.08 2.05 2.00 3/540 3663 /proc/meminfo: memFree=9606500/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=46028 CPUtime=221.57 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 10468 0 0 0 22155 2 0 0 25 0 1 0 800551675 47132672 9894 33554432000 4194304 4241092 140736510603008 18446744073709551615 4222340 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 11507 9894 136 12 0 9971 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 63436 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=9386848/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=150708 CPUtime=4541.59 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 49410 0 0 0 454140 19 0 0 25 0 1 0 800551675 154324992 36070 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 37677 36070 136 12 0 36141 0 Current children cumulated CPU time (s) 4542.32 Current children cumulated vsize (KiB) 168116 [startup+4602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 4272 /proc/meminfo: memFree=9382420/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=152076 CPUtime=4601.59 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 49843 0 0 0 460140 19 0 0 25 0 1 0 800551675 155725824 36399 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 38019 36399 136 12 0 36483 0 Current children cumulated CPU time (s) 4602.32 Current children cumulated vsize (KiB) 169484 [startup+4662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/540 4274 /proc/meminfo: memFree=9381388/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=152492 CPUtime=4661.59 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 50089 0 0 0 466140 19 0 0 25 0 1 0 800551675 156151808 36525 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 38123 36525 136 12 0 36587 0 Current children cumulated CPU time (s) 4662.32 Current children cumulated vsize (KiB) 169900 [startup+4722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/540 4275 /proc/meminfo: memFree=9378208/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=153984 CPUtime=4721.6 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 50520 0 0 0 472141 19 0 0 25 0 1 0 800551675 157679616 36890 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 38496 36890 136 12 0 36960 0 Current children cumulated CPU time (s) 4722.33 Current children cumulated vsize (KiB) 171392 [startup+4782.3 s] /proc/loadavg: 2.10 2.04 2.01 3/540 4277 /proc/meminfo: memFree=9375536/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=155300 CPUtime=4781.59 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 50915 0 0 0 478140 19 0 0 25 0 1 0 800551675 159027200 37196 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 38825 37196 136 12 0 37289 0 Current children cumulated CPU time (s) 4782.32 Current children cumulated vsize (KiB) 172708 [startup+4842.32 s] /proc/loadavg: 2.08 2.04 2.01 3/540 4279 /proc/meminfo: memFree=9370288/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=156460 CPUtime=4841.61 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 51436 0 0 0 484142 19 0 0 25 0 1 0 800551675 160215040 37519 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 39115 37519 136 12 0 37579 0 Current children cumulated CPU time (s) 4842.34 Current children cumulated vsize (KiB) 173868 [startup+4902.3 s] /proc/loadavg: 2.10 2.06 2.01 3/540 4280 /proc/meminfo: memFree=9368468/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=157892 CPUtime=4901.6 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 51836 0 0 0 490140 20 0 0 25 0 1 0 800551675 161681408 37877 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 39473 37877 136 12 0 37937 0 Current children cumulated CPU time (s) 4902.33 Current children cumulated vsize (KiB) 175300 [startup+4962.3 s] /proc/loadavg: 2.07 2.06 2.01 3/540 4282 /proc/meminfo: memFree=9366308/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=159228 CPUtime=4961.6 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 52194 0 0 0 496140 20 0 0 25 0 1 0 800551675 163049472 38199 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 39807 38199 136 12 0 38271 0 Current children cumulated CPU time (s) 4962.33 Current children cumulated vsize (KiB) 176636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.03 2.05 2.01 4/540 4283 /proc/meminfo: memFree=9365504/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=159972 CPUtime=4999.3 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 52422 0 0 0 499910 20 0 0 25 0 1 0 800551675 163811328 38377 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 39993 38377 136 12 0 38457 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 177380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+5000 s] /proc/loadavg: 2.03 2.05 2.01 4/540 4283 /proc/meminfo: memFree=9365504/32951124 swapFree=58212616/67111528 [pid=3651] ppid=3649 vsize=8704 CPUtime=0.73 cores=0,2,4,6 /proc/3651/stat : 3651 (esg_static.sh) S 3649 3651 3384 0 -1 4202496 347 4452 0 0 0 0 72 1 18 0 1 0 800551601 8912896 255 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/3651/statm: 2176 255 211 178 0 69 0 [pid=3655] ppid=3651 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/3655/stat : 3655 (esg_static.sh) S 3651 3651 3384 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 800551675 8912896 134 33554432000 4194304 4922060 140734088183520 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/3655/statm: 2176 134 90 178 0 69 0 [pid=3656] ppid=3655 vsize=159972 CPUtime=4999.3 cores=0,2,4,6 /proc/3656/stat : 3656 (sathys) R 3655 3651 3384 0 -1 4202496 52422 0 0 0 499910 20 0 0 25 0 1 0 800551675 163811328 38377 33554432000 4194304 4241092 140736510603008 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/3656/statm: 39993 38377 136 12 0 38457 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 177380 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3651 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=721890 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=13997 # CPU time returned by wait4() is 0.735887 # while last known CPU time is 5000.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.03 CPU user time (s): 4999.82 CPU system time (s): 0.21 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 177380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.72189 system time used= 0.013997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5146 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= 9 runsolver used 28.9526 second user time and 60.2408 second system time The end
Begin job on node136 at 2011-06-01 02:52:16 IDJOB=3438495 IDBENCH=71428 IDSOLVER=1935 FILE ID=node136/3438495-1306889536 RUNJOBID= node136-1306884533-3404 PBS_JOBID= 13488440 Free space on /tmp= 32232 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438495-1306889536/watcher-3438495-1306889536 -o /tmp/evaluation-result-3438495-1306889536/solver-3438495-1306889536 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438495-1306889536.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5301921bbf5d6337937a0fa8d34aaf48 RANDOM SEED=1802097650 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 9700496 kB Buffers: 91176 kB Cached: 19575976 kB SwapCached: 7672 kB Active: 8883016 kB Inactive: 13607488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 9700496 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 8236 kB Writeback: 0 kB AnonPages: 2821360 kB Mapped: 24620 kB Slab: 620924 kB PageTables: 68456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 169225664 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= 32256 MiB End job on node136 at 2011-06-01 04:15:36