| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.12 | 5000.02 |
| Name | crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf |
| MD5SUM | 8561dcfb17af254a7261755a5f31a440 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.63714 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of clauses | 720 |
| Sum of the clauses size | 1800 |
| Maximum clause length | 5 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 600 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 120 |
| Number of clauses of size over 5 | 0 |
0.00/0.02 static 0.00/0.02 HOME/instance-3438620-1306894021.cnf 0.00/0.02 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 | 720 1800 | 215 0 0 nan | 0.000 % | 0.00/0.02 c ============================================================================== 0.00/0.02 c Result : #vars: 300 #clauses: 720 #literals: 1800 0.00/0.02 c CPU time: 0.000999 s 0.00/0.02 c ============================================================================== 0.00/0.02 c 0.00/0.02 c seed = 0, numatom = 300, numclause = 120, numliterals = 1800 0.00/0.02 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.02 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.02 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.03 c | 2 | 0.0 | 0 | 503 | 201 | 1 | 29147 | 965 || 2 | 1808 | 13/ 3 | 231 | 0 | 0.00/0.04 c | 4 | 0.0 | 0 | 838 | 299 | 2 | 60438 | 2036 || 4 | 3373 | 11/ 3 | 540 | 0 | 0.00/0.05 c | 6 | 0.0 | 0 | 1239 | 191 | 3 | 99960 | 3349 || 6 | 5211 | 8/ 2 | 857 | 0 | 0.00/0.07 c | 7 | 0.0 | 0 | 1643 | 392 | 4 | 142214 | 4531 || 7 | 7186 | 8/ 1 | 1275 | 0 | 0.00/0.09 c | 11 | 0.0 | 0 | 2061 | 292 | 5 | 191567 | 6366 || 11 | 10379 | 8/ 1 | 1798 | 0 | 0.00/0.11 c | 14 | 0.0 | 0 | 2552 | 489 | 6 | 246444 | 8188 || 14 | 13858 | 8/ 0 | 2521 | 0 | 0.00/0.14 c | 15 | 0.0 | 0 | 3040 | 989 | 7 | 304538 | 9886 || 15 | 17475 | 8/ 0 | 3346 | 0 | 0.00/0.18 c | 16 | 0.0 | 0 | 3294 | 85 | 8 | 374069 | 11671 || 16 | 18852 | 8/ 0 | 3465 | 0 | 0.00/0.22 c | 21 | 0.0 | 0 | 3557 | 73 | 9 | 445031 | 14157 || 21 | 22826 | 8/ 0 | 4190 | 0 | 0.00/0.27 c | 25 | 0.0 | 0 | 3977 | 168 | 10 | 522769 | 16438 || 25 | 26641 | 8/ 0 | 5009 | 0 | 0.00/0.32 c | 29 | 0.0 | 0 | 4344 | 563 | 11 | 600191 | 19012 || 29 | 31290 | 8/ 0 | 5847 | 0 | 0.00/0.37 c | 30 | 0.1 | 0 | 4783 | 358 | 12 | 677387 | 21424 || 30 | 35235 | 8/ 0 | 6678 | 0 | 0.00/0.44 c | 31 | 0.1 | 0 | 5365 | 2060 | 13 | 760261 | 23846 || 31 | 41819 | 8/ 0 | 8332 | 0 | 0.00/0.51 c | 31 | 0.1 | 0 | 5770 | 1461 | 14 | 861356 | 26167 || 31 | 42958 | 8/ 0 | 8339 | 0 | 0.00/0.60 c | 38 | 0.1 | 0 | 5941 | 355 | 15 | 961540 | 29515 || 38 | 48678 | 8/ 0 | 9588 | 0 | 0.00/0.69 c | 44 | 0.1 | 0 | 6284 | 244 | 16 | 1069919 | 32987 || 44 | 53818 | 8/ 0 | 10438 | 0 | 0.00/0.79 c | 46 | 0.1 | 0 | 6685 | 236 | 17 | 1178645 | 36357 || 46 | 60522 | 8/ 0 | 11679 | 0 | 0.00/0.90 c | 53 | 0.1 | 0 | 6944 | 224 | 18 | 1299903 | 40114 || 53 | 65761 | 8/ 0 | 12921 | 0 | 0.00/1.02 c | 59 | 0.1 | 0 | 7314 | 126 | 19 | 1419098 | 44268 || 59 | 71745 | 8/ 0 | 13748 | 0 | 1.08/1.14 c | 61 | 0.1 | 0 | 8020 | 726 | 20 | 1547745 | 47806 || 61 | 77646 | 8/ 0 | 15002 | 0 | 1.19/1.28 c | 62 | 0.1 | 0 | 8569 | 824 | 21 | 1681595 | 51263 || 62 | 85444 | 8/ 0 | 16656 | 0 | 1.37/1.44 c | 63 | 0.2 | 0 | 8709 | 3426 | 22 | 1810654 | 54914 || 63 | 96529 | 8/ 0 | 19941 | 0 | 1.57/1.61 c | 63 | 0.2 | 0 | 8922 | 1326 | 23 | 1943982 | 58744 || 63 | 101274 | 8/ 0 | 19975 | 0 | 1.67/1.79 c | 67 | 0.2 | 0 | 9171 | 20 | 24 | 2092157 | 62636 || 67 | 103994 | 8/ 0 | 20495 | 0 | 1.87/1.97 c | 76 | 0.2 | 0 | 9103 | 7 | 25 | 2241044 | 67830 || 76 | 112324 | 8/ 0 | 22067 | 0 | 2.07/2.15 c | 81 | 0.2 | 0 | 9281 | 102 | 26 | 2398996 | 72304 || 81 | 119824 | 8/ 0 | 23724 | 0 | 2.29/2.35 c | 90 | 0.2 | 0 | 9570 | 187 | 27 | 2562587 | 77767 || 90 | 127983 | 8/ 0 | 25192 | 0 | 2.47/2.56 c | 94 | 0.2 | 0 | 10390 | 1081 | 28 | 2732525 | 82638 || 94 | 138359 | 8/ 0 | 28275 | 0 | 2.67/2.76 c | 96 | 0.2 | 0 | 10834 | 68 | 29 | 2902693 | 87498 || 96 | 144247 | 8/ 0 | 28520 | 0 | 2.97/3.01 c | 107 | 0.2 | 0 | 11227 | 236 | 30 | 3077602 | 93258 || 107 | 153622 | 8/ 0 | 30386 | 0 | 3.17/3.26 c | 113 | 0.2 | 0 | 11806 | 231 | 31 | 3251740 | 98657 || 113 | 162591 | 8/ 0 | 32143 | 0 | 3.47/3.54 c | 123 | 0.3 | 0 | 12298 | 599 | 32 | 3432387 | 104724 || 123 | 173149 | 8/ 0 | 34146 | 0 | 3.77/3.81 c | 125 | 0.3 | 0 | 12984 | 87 | 33 | 3614918 | 110133 || 125 | 185173 | 8/ 0 | 36645 | 0 | 4.07/4.10 c | 126 | 0.3 | 0 | 13101 | 3889 | 34 | 3797752 | 115260 || 126 | 197476 | 8/ 0 | 39958 | 0 | 4.38/4.42 c | 126 | 0.3 | 0 | 13585 | 2990 | 35 | 4000821 | 120258 || 126 | 200472 | 8/ 0 | 39976 | 0 | 4.67/4.79 c | 127 | 0.4 | 0 | 13523 | 6992 | 36 | 4176043 | 126054 || 127 | 222864 | 8/ 0 | 46566 | 0 | 5.07/5.14 c | 127 | 0.4 | 0 | 13810 | 1492 | 37 | 4368060 | 131729 || 127 | 231624 | 8/ 0 | 46634 | 0 | 5.37/5.43 c | 127 | 0.3 | 0 | 13956 | 5693 | 38 | 4605446 | 136735 || 127 | 231624 | 8/ 0 | 46634 | 0 | 5.77/5.81 c | 139 | 0.4 | 0 | 13448 | 63 | 39 | 4823298 | 143686 || 139 | 241379 | 8/ 0 | 48515 | 0 | 6.07/6.19 c | 148 | 0.4 | 0 | 13994 | 140 | 40 | 5045732 | 150676 || 148 | 252685 | 8/ 0 | 50794 | 0 | 6.47/6.59 c | 157 | 0.4 | 0 | 14831 | 422 | 41 | 5276672 | 157826 || 157 | 265159 | 8/ 0 | 53304 | 0 | 6.97/7.00 c | 163 | 0.4 | 0 | 15535 | 118 | 42 | 5518438 | 164415 || 163 | 276214 | 8/ 0 | 55580 | 0 | 7.37/7.46 c | 173 | 0.4 | 0 | 15868 | 91 | 43 | 5753657 | 172075 || 173 | 290097 | 8/ 0 | 58277 | 0 | 7.87/7.93 c | 187 | 0.5 | 0 | 16381 | 253 | 44 | 5996935 | 180102 || 187 | 301869 | 8/ 0 | 60764 | 0 | 8.27/8.38 c | 189 | 0.5 | 0 | 17367 | 946 | 45 | 6245850 | 187031 || 189 | 314851 | 8/ 0 | 63269 | 0 | 8.78/8.87 c | 190 | 0.5 | 0 | 17343 | 1143 | 46 | 6481428 | 193826 || 190 | 329815 | 8/ 0 | 66581 | 0 | 9.27/9.37 c | 200 | 0.5 | 0 | 17545 | 15 | 47 | 6729159 | 201490 || 200 | 338356 | 8/ 0 | 68245 | 0 | 9.88/9.94 c | 212 | 0.6 | 0 | 18054 | 392 | 48 | 6996887 | 209814 || 212 | 352023 | 8/ 0 | 71149 | 0 | 10.47/10.50 c | 221 | 0.6 | 0 | 18974 | 1479 | 49 | 7257814 | 218010 || 221 | 367517 | 8/ 0 | 74864 | 0 | 10.98/11.10 c | 231 | 0.6 | 0 | 19665 | 142 | 50 | 7533865 | 226448 || 231 | 378495 | 8/ 0 | 76528 | 0 | 11.67/11.75 c | 243 | 0.6 | 0 | 20023 | 509 | 51 | 7804030 | 235457 || 243 | 393335 | 8/ 0 | 79430 | 0 | 12.27/12.39 c | 252 | 0.6 | 0 | 20904 | 1903 | 52 | 8076754 | 244047 || 252 | 410125 | 8/ 0 | 83139 | 0 | 12.97/13.03 c | 253 | 0.7 | 0 | 21634 | 405 | 53 | 8346761 | 251675 || 253 | 427203 | 8/ 0 | 86464 | 0 | 13.57/13.68 c | 254 | 0.6 | 0 | 21590 | 6210 | 54 | 8621763 | 259270 || 254 | 446666 | 8/ 0 | 93022 | 0 | 14.28/14.39 c | 254 | 0.7 | 0 | 21319 | 2505 | 55 | 8906245 | 267053 || 254 | 457675 | 8/ 0 | 93083 | 0 | 14.97/15.03 c | 255 | 0.6 | 0 | 21042 | 8507 | 56 | 9193666 | 275252 || 255 | 483448 | 8/ 0 | 106119 | 0 | 15.67/15.78 c | 255 | 0.8 | 0 | 20966 | 6101 | 57 | 9452294 | 284587 || 255 | 503293 | 8/ 0 | 106277 | 0 | 16.37/16.47 c | 255 | 0.7 | 0 | 20768 | 1605 | 58 | 9727437 | 293192 || 255 | 517747 | 8/ 0 | 106386 | 0 | 17.07/17.14 c | 255 | 0.7 | 0 | 20932 | 7906 | 59 | 10069612 | 300576 || 255 | 517747 | 8/ 0 | 106386 | 0 | 17.77/17.82 c | 261 | 0.7 | 0 | 20260 | 92 | 60 | 10415332 | 308961 || 261 | 522197 | 8/ 0 | 107221 | 0 | 18.57/18.65 c | 276 | 0.8 | 0 | 20316 | 156 | 61 | 10741683 | 319356 || 276 | 539255 | 8/ 0 | 110552 | 0 | 19.37/19.46 c | 286 | 0.8 | 0 | 21055 | 142 | 62 | 11074560 | 329454 || 286 | 558893 | 8/ 0 | 114697 | 0 | 20.27/20.30 c | 301 | 0.8 | 0 | 21757 | 796 | 63 | 11409051 | 340193 || 301 | 574382 | 8/ 0 | 118037 | 0 | 21.07/21.19 c | 316 | 0.9 | 0 | 22885 | 1167 | 64 | 11749209 | 351339 || 316 | 592355 | 8/ 0 | 121393 | 0 | 21.98/22.06 c | 318 | 0.9 | 0 | 22867 | 4462 | 65 | 12076304 | 361241 || 318 | 614436 | 8/ 0 | 126385 | 0 | 22.87/22.96 c | 330 | 0.9 | 0 | 24290 | 136 | 66 | 12429111 | 371670 || 330 | 625282 | 7/ 0 | 128263 | 0 | 23.87/23.97 c | 347 | 1.0 | 0 | 25024 | 296 | 67 | 12775594 | 383023 || 347 | 644076 | 7/ 0 | 132208 | 0 | 24.97/25.02 c | 356 | 1.0 | 0 | 25823 | 267 | 68 | 13134807 | 393423 || 356 | 661960 | 7/ 0 | 135952 | 0 | 26.07/26.12 c | 372 | 1.1 | 0 | 26274 | 25 | 69 | 13498155 | 405214 || 372 | 680325 | 7/ 0 | 139392 | 0 | 27.07/27.13 c | 381 | 1.0 | 0 | 26894 | 1907 | 70 | 13854174 | 415910 || 381 | 703073 | 7/ 0 | 146281 | 0 | 28.07/28.12 c | 382 | 1.0 | 0 | 27538 | 4605 | 71 | 14194366 | 426149 || 382 | 726695 | 7/ 0 | 152853 | 0 | 29.17/29.24 c | 382 | 1.1 | 0 | 28473 | 2602 | 72 | 14543511 | 436130 || 382 | 742657 | 7/ 0 | 152947 | 0 | 30.37/30.43 c | 395 | 1.2 | 0 | 28183 | 68 | 73 | 14936408 | 447142 || 395 | 753473 | 7/ 0 | 155030 | 0 | 31.67/31.72 c | 412 | 1.3 | 0 | 27734 | 833 | 74 | 15316998 | 459493 || 412 | 774832 | 7/ 0 | 159589 | 0 | 32.87/32.93 c | 425 | 1.2 | 0 | 28456 | 191 | 75 | 15694881 | 471347 || 425 | 793513 | 7/ 0 | 163150 | 0 | 34.08/34.21 c | 443 | 1.3 | 0 | 28622 | 653 | 76 | 16084926 | 483944 || 443 | 815018 | 7/ 0 | 167896 | 0 | 35.37/35.43 c | 445 | 1.2 | 0 | 28955 | 349 | 77 | 16467914 | 495127 || 445 | 839860 | 7/ 0 | 172893 | 0 | 36.67/36.78 c | 460 | 1.4 | 0 | 29029 | 915 | 78 | 16890505 | 507577 || 460 | 855632 | 7/ 0 | 176204 | 0 | 38.07/38.12 c | 476 | 1.3 | 0 | 30220 | 1573 | 79 | 17286006 | 520545 || 476 | 878022 | 7/ 0 | 181183 | 0 | 39.47/39.52 c | 491 | 1.4 | 0 | 31007 | 328 | 80 | 17692747 | 533408 || 491 | 897161 | 7/ 0 | 184552 | 0 | 40.87/40.99 c | 507 | 1.5 | 0 | 31576 | 2396 | 81 | 18103489 | 546467 || 507 | 921578 | 7/ 0 | 189526 | 0 | 42.27/42.36 c | 509 | 1.4 | 0 | 32045 | 3796 | 82 | 18533582 | 558030 || 509 | 948809 | 7/ 0 | 199378 | 0 | 43.87/43.91 c | 509 | 1.5 | 0 | 32133 | 2891 | 83 | 18954014 | 570040 || 509 | 968118 | 7/ 0 | 199513 | 0 | 45.37/45.46 c | 510 | 1.6 | 0 | 32540 | 11693 | 84 | 19374071 | 582147 || 510 | 1004018 | 7/ 0 | 212623 | 0 | 47.07/47.11 c | 510 | 1.7 | 0 | 32106 | 1395 | 85 | 19781101 | 594930 || 510 | 1028870 | 7/ 0 | 212821 | 0 | 48.38/48.46 c | 510 | 1.3 | 0 | 31367 | 10396 | 86 | 20252339 | 605696 || 510 | 1028870 | 7/ 0 | 212821 | 0 | 49.97/50.03 c | 511 | 1.6 | 0 | 30283 | 19503 | 87 | 20652477 | 617773 || 511 | 1086571 | 7/ 0 | 238940 | 0 | 51.79/51.90 c | 511 | 1.9 | 0 | 29007 | 9201 | 88 | 21041554 | 630601 || 511 | 1115576 | 7/ 0 | 239142 | 0 | 53.88/53.92 c | 511 | 2.0 | 0 | 28764 | 9302 | 89 | 21432469 | 643283 || 511 | 1144283 | 7/ 0 | 239328 | 0 | 54.98/55.04 c | 511 | 1.1 | 0 | 28542 | 9006 | 90 | 21934202 | 654346 || 511 | 1145559 | 7/ 0 | 239334 | 0 | 56.08/56.12 c | 511 | 1.1 | 0 | 28095 | 18509 | 91 | 22410098 | 665712 || 511 | 1145559 | 7/ 0 | 239334 | 0 | 57.47/57.51 c | 519 | 1.4 | 0 | 28451 | 487 | 92 | 22886217 | 678114 || 519 | 1152409 | 7/ 0 | 240678 | 0 | 59.07/59.13 c | 541 | 1.6 | 0 | 27511 | 143 | 93 | 23353028 | 693935 || 541 | 1179430 | 7/ 0 | 245992 | 0 | 60.59/60.66 c | 557 | 1.5 | 0 | 29040 | 294 | 94 | 23837640 | 708833 || 557 | 1203775 | 7/ 0 | 250999 | 0 | 62.17/62.24 c | 573 | 1.6 | 0 | 30497 | 1359 | 95 | 24326660 | 723918 || 573 | 1228477 | 7/ 0 | 256001 | 0 | 63.67/63.81 c | 585 | 1.6 | 0 | 30979 | 22 | 96 | 24804322 | 738286 || 585 | 1253001 | 7/ 0 | 261102 | 0 | 65.57/65.62 c | 605 | 1.8 | 0 | 32862 | 1365 | 97 | 25288535 | 754218 || 605 | 1281302 | 7/ 0 | 267620 | 0 | 67.47/67.54 c | 625 | 1.9 | 0 | 34993 | 16 | 98 | 25786655 | 770111 || 625 | 1304522 | 7/ 0 | 271580 | 0 | 69.39/69.49 c | 637 | 2.0 | 0 | 35579 | 3393 | 99 | 26279911 | 784903 || 637 | 1335604 | 7/ 0 | 279216 | 0 | 71.27/71.38 c | 638 | 1.9 | 0 | 36459 | 8993 | 100 | 26764082 | 799442 || 638 | 1368493 | 7/ 0 | 285885 | 0 | 73.17/73.25 c | 650 | 1.9 | 0 | 36654 | 162 | 101 | 27290011 | 813755 || 650 | 1380044 | 7/ 0 | 287769 | 0 | 75.37/75.43 c | 669 | 2.2 | 0 | 36552 | 2009 | 102 | 27799384 | 829941 || 669 | 1409835 | 7/ 0 | 294188 | 0 | 77.67/77.75 c | 691 | 2.3 | 0 | 37299 | 227 | 103 | 28343024 | 846680 || 691 | 1434324 | 7/ 0 | 298776 | 0 | 79.97/80.01 c | 701 | 2.2 | 0 | 37753 | 199 | 104 | 28857033 | 862532 || 701 | 1468376 | 7/ 0 | 305818 | 0 | 82.07/82.19 c | 722 | 2.2 | 0 | 38180 | 66 | 105 | 29387554 | 879112 || 722 | 1489267 | 7/ 0 | 309983 | 0 | 84.37/84.44 c | 742 | 2.2 | 0 | 38528 | 128 | 106 | 29911834 | 895919 || 742 | 1517014 | 7/ 0 | 315817 | 0 | 86.77/86.82 c | 763 | 2.4 | 0 | 39940 | 1892 | 107 | 30441539 | 912867 || 763 | 1547742 | 7/ 0 | 322447 | 0 | 88.87/88.95 c | 765 | 2.1 | 0 | 40865 | 5892 | 108 | 30951143 | 927683 || 765 | 1582810 | 7/ 0 | 332335 | 0 | 91.17/91.26 c | 766 | 2.3 | 0 | 41066 | 7593 | 109 | 31500700 | 942181 || 766 | 1616901 | 7/ 0 | 345426 | 0 | 93.97/94.07 c | 766 | 2.8 | 0 | 40469 | 11403 | 110 | 31989956 | 957893 || 766 | 1654127 | 7/ 0 | 345690 | 0 | 96.17/96.27 c | 766 | 2.2 | 0 | 40093 | 11296 | 111 | 32613932 | 971260 || 766 | 1654872 | 7/ 0 | 345696 | 0 | 98.87/98.90 c | 794 | 2.6 | 0 | 39029 | 125 | 112 | 33164949 | 989489 || 794 | 1681370 | 7/ 0 | 351112 | 0 | 101.37/101.43 c | 812 | 2.5 | 0 | 38951 | 81 | 113 | 33726786 | 1007017 || 812 | 1711355 | 7/ 0 | 357336 | 0 | 103.77/103.90 c | 829 | 2.5 | 0 | 39288 | 3051 | 114 | 34289387 | 1024434 || 829 | 1744861 | 7/ 0 | 365582 | 0 | 106.47/106.54 c | 847 | 2.6 | 0 | 40379 | 213 | 115 | 34890365 | 1042261 || 847 | 1768616 | 7/ 0 | 369370 | 0 | 109.27/109.32 c | 870 | 2.8 | 0 | 41443 | 166 | 116 | 35479857 | 1060746 || 870 | 1799176 | 7/ 0 | 375602 | 0 | 111.97/112.08 c | 891 | 2.8 | 0 | 42935 | 507 | 117 | 36044317 | 1079041 || 891 | 1831800 | 7/ 0 | 382275 | 0 | 114.57/114.66 c | 893 | 2.6 | 0 | 45101 | 7908 | 118 | 36604261 | 1095788 || 893 | 1871213 | 7/ 0 | 392205 | 0 | 117.37/117.48 c | 907 | 2.8 | 0 | 44625 | 396 | 119 | 37207634 | 1112935 || 907 | 1888414 | 7/ 0 | 394747 | 0 | 120.47/120.50 c | 927 | 3.0 | 0 | 44197 | 247 | 120 | 37814634 | 1131425 || 927 | 1918757 | 7/ 0 | 400993 | 0 | 123.57/123.69 c | 955 | 3.2 | 0 | 44803 | 974 | 121 | 38414255 | 1150981 || 955 | 1951670 | 7/ 0 | 408841 | 0 | 126.59/126.64 c | 966 | 3.0 | 0 | 45375 | 149 | 122 | 39018704 | 1169009 || 966 | 1980283 | 7/ 0 | 413873 | 0 | 129.67/129.71 c | 987 | 3.1 | 0 | 45960 | 1398 | 123 | 39597963 | 1188087 || 987 | 2012314 | 7/ 0 | 420532 | 0 | 132.97/133.08 c | 1017 | 3.4 | 0 | 46722 | 530 | 124 | 40215435 | 1208279 || 1017 | 2045394 | 7/ 0 | 427204 | 0 | 135.87/135.99 c | 1020 | 2.9 | 0 | 48599 | 6225 | 125 | 40804297 | 1225805 || 1020 | 2087392 | 7/ 0 | 438738 | 0 | 138.87/138.99 c | 1021 | 3.0 | 0 | 49291 | 9625 | 126 | 41390182 | 1242240 || 1021 | 2127039 | 7/ 0 | 451851 | 0 | 142.17/142.24 c | 1021 | 3.2 | 0 | 49321 | 3526 | 127 | 41959586 | 1259498 || 1021 | 2157483 | 7/ 0 | 452072 | 0 | 145.07/145.21 c | 1022 | 3.0 | 0 | 48570 | 16729 | 128 | 42595692 | 1276061 || 1022 | 2207313 | 7/ 0 | 478108 | 0 | 148.67/148.79 c | 1022 | 3.6 | 0 | 47376 | 13305 | 129 | 43139965 | 1295194 || 1022 | 2250073 | 7/ 0 | 478394 | 0 | 152.17/152.26 c | 1022 | 3.5 | 0 | 46839 | 5035 | 130 | 43747611 | 1313109 || 1022 | 2276276 | 7/ 0 | 478563 | 0 | 154.97/155.01 c | 1022 | 2.8 | 0 | 44306 | 18536 | 131 | 44422078 | 1328748 || 1022 | 2276276 | 7/ 0 | 478563 | 0 | 158.07/158.15 c | 1023 | 3.1 | 0 | 43311 | 32137 | 132 | 45050672 | 1346100 || 1023 | 2371388 | 7/ 0 | 530638 | 0 | 161.79/161.86 c | 1023 | 3.7 | 0 | 41567 | 13704 | 133 | 45636792 | 1365394 || 1023 | 2415974 | 7/ 0 | 530935 | 0 | 165.37/165.41 c | 1023 | 3.6 | 0 | 41560 | 13801 | 134 | 46214275 | 1384723 || 1023 | 2460321 | 7/ 0 | 531236 | 0 | 168.77/168.84 c | 1023 | 3.4 | 0 | 39872 | 13902 | 135 | 46787757 | 1403599 || 1023 | 2504510 | 7/ 0 | 531548 | 0 | 171.77/171.82 c | 1023 | 3.0 | 0 | 40497 | 10745 | 136 | 47437857 | 1420213 || 1023 | 2514729 | 7/ 0 | 531608 | 0 | 174.37/174.48 c | 1023 | 2.7 | 0 | 39015 | 24846 | 137 | 48091655 | 1436651 || 1023 | 2514729 | 7/ 0 | 531608 | 0 | 176.77/176.87 c | 1023 | 2.4 | 0 | 38034 | 39047 | 138 | 48778442 | 1453118 || 1023 | 2514729 | 7/ 0 | 531608 | 0 | 179.67/179.76 c | 1030 | 2.9 | 0 | 36560 | 132 | 139 | 49461488 | 1470868 || 1030 | 2521111 | 7/ 0 | 532848 | 0 | 182.87/182.90 c | 1057 | 3.1 | 0 | 35951 | 178 | 140 | 50170217 | 1492990 || 1057 | 2557933 | 7/ 0 | 540328 | 0 | 185.99/186.04 c | 1085 | 3.1 | 0 | 38113 | 490 | 141 | 50858632 | 1515675 || 1085 | 2596976 | 7/ 0 | 548222 | 0 | 189.07/189.13 c | 1104 | 3.1 | 0 | 39793 | 49 | 142 | 51570573 | 1537354 || 1104 | 2631354 | 7/ 0 | 555294 | 0 | 192.48/192.58 c | 1132 | 3.5 | 0 | 42162 | 83 | 143 | 52279548 | 1559956 || 1132 | 2669811 | 7/ 0 | 563178 | 0 | 195.97/196.00 c | 1149 | 3.4 | 0 | 45986 | 1252 | 144 | 52978353 | 1581350 || 1149 | 2708729 | 7/ 0 | 571485 | 0 | 199.37/199.40 c | 1151 | 3.4 | 0 | 49271 | 46 | 145 | 53653544 | 1600340 || 1151 | 2739781 | 7/ 0 | 578238 | 0 | 203.67/203.74 c | 1181 | 4.3 | 0 | 49047 | 671 | 146 | 54380055 | 1623522 || 1181 | 2779881 | 7/ 0 | 586438 | 0 | 207.88/207.97 c | 1212 | 4.2 | 0 | 50270 | 2109 | 147 | 55116518 | 1646962 || 1212 | 2819444 | 7/ 0 | 594724 | 0 | 211.97/212.07 c | 1231 | 4.1 | 0 | 51295 | 167 | 148 | 55856296 | 1668621 || 1231 | 2853859 | 7/ 0 | 601827 | 0 | 216.37/216.48 c | 1259 | 4.4 | 0 | 51704 | 491 | 149 | 56585348 | 1692088 || 1259 | 2893277 | 7/ 0 | 609738 | 0 | 220.67/220.76 c | 1276 | 4.3 | 0 | 52322 | 2241 | 150 | 57336167 | 1714306 || 1276 | 2932990 | 7/ 0 | 618038 | 0 | 224.57/224.61 c | 1278 | 3.9 | 0 | 53147 | 8138 | 151 | 58062258 | 1735182 || 1278 | 2987176 | 7/ 0 | 637674 | 0 | 228.47/228.54 c | 1278 | 3.9 | 0 | 53535 | 4537 | 152 | 58781725 | 1757981 || 1278 | 3023655 | 7/ 0 | 637953 | 0 | 232.77/232.83 c | 1297 | 4.3 | 0 | 52570 | 85 | 153 | 59564456 | 1779509 || 1297 | 3042899 | 7/ 0 | 641819 | 0 | 237.47/237.51 c | 1327 | 4.7 | 0 | 51901 | 128 | 154 | 60322801 | 1803581 || 1327 | 3082850 | 7/ 0 | 650011 | 0 | 241.77/241.86 c | 1344 | 4.4 | 0 | 52794 | 295 | 155 | 61089203 | 1825951 || 1344 | 3122178 | 7/ 0 | 658295 | 0 | 246.67/246.72 c | 1375 | 4.9 | 0 | 52943 | 228 | 156 | 61856801 | 1850587 || 1375 | 3162096 | 7/ 0 | 666618 | 0 | 251.57/251.63 c | 1404 | 4.9 | 0 | 54166 | 2173 | 157 | 62624084 | 1874962 || 1404 | 3207191 | 7/ 0 | 677763 | 0 | 255.97/256.08 c | 1405 | 4.4 | 0 | 56021 | 3975 | 158 | 63391308 | 1896251 || 1405 | 3246316 | 7/ 0 | 684472 | 0 | 260.97/261.03 c | 1436 | 4.9 | 0 | 57771 | 1818 | 159 | 64161910 | 1921177 || 1436 | 3284365 | 7/ 0 | 692760 | 0 | 266.29/266.34 c | 1467 | 5.3 | 0 | 58556 | 2144 | 160 | 64934193 | 1946250 || 1467 | 3325577 | 7/ 0 | 701108 | 0 | 271.37/271.46 c | 1490 | 5.1 | 0 | 59262 | 383 | 161 | 65690316 | 1970365 || 1490 | 3364009 | 7/ 0 | 709036 | 0 | 276.87/276.97 c | 1521 | 5.5 | 0 | 60704 | 307 | 162 | 66492194 | 1996096 || 1521 | 3405428 | 7/ 0 | 717327 | 0 | 282.27/282.32 c | 1532 | 5.4 | 0 | 61309 | 6188 | 163 | 67257162 | 2019504 || 1532 | 3457691 | 7/ 0 | 730947 | 0 | 287.27/287.34 c | 1533 | 5.0 | 0 | 61402 | 13393 | 164 | 68008555 | 2042164 || 1533 | 3509669 | 7/ 0 | 744151 | 0 | 291.87/291.94 c | 1533 | 4.6 | 0 | 62163 | 11089 | 165 | 68814018 | 2063614 || 1533 | 3527820 | 7/ 0 | 744294 | 0 | 297.78/297.84 c | 1534 | 5.9 | 0 | 60523 | 28090 | 166 | 69539612 | 2087114 || 1534 | 3615226 | 7/ 0 | 770585 | 0 | 303.18/303.20 c | 1534 | 5.4 | 0 | 59531 | 6791 | 167 | 70307414 | 2109326 || 1534 | 3647504 | 7/ 0 | 770793 | 0 | 307.58/307.65 c | 1534 | 4.4 | 0 | 57792 | 23993 | 168 | 71166113 | 2129616 || 1534 | 3647504 | 7/ 0 | 770793 | 0 | 313.18/313.20 c | 1565 | 5.6 | 0 | 55366 | 1214 | 169 | 71980154 | 2155459 || 1565 | 3687740 | 7/ 0 | 779134 | 0 | 318.58/318.64 c | 1597 | 5.4 | 0 | 56196 | 2530 | 170 | 72801210 | 2181842 || 1597 | 3736061 | 7/ 0 | 790725 | 0 | 324.08/324.10 c | 1627 | 5.4 | 0 | 57914 | 1172 | 171 | 73632075 | 2208119 || 1627 | 3776096 | 7/ 0 | 797432 | 0 | 329.88/329.94 c | 1659 | 5.8 | 0 | 60606 | 1500 | 172 | 74467819 | 2234690 || 1659 | 3821654 | 7/ 0 | 807388 | 0 | 335.38/335.43 c | 1661 | 5.5 | 0 | 62883 | 2393 | 173 | 75299379 | 2257902 || 1661 | 3870139 | 7/ 0 | 817343 | 0 | 341.48/341.55 c | 1692 | 6.1 | 0 | 63856 | 1725 | 174 | 76145271 | 2284107 || 1692 | 3907974 | 7/ 0 | 825662 | 0 | 347.88/347.90 c | 1723 | 6.4 | 0 | 65778 | 1165 | 175 | 76979420 | 2310736 || 1723 | 3950417 | 7/ 0 | 833996 | 0 | 354.30/354.36 c | 1753 | 6.5 | 0 | 66145 | 276 | 176 | 77827049 | 2337742 || 1753 | 3993968 | 7/ 0 | 843159 | 0 | 361.08/361.14 c | 1786 | 6.8 | 0 | 66649 | 1093 | 177 | 78665174 | 2365116 || 1786 | 4041775 | 7/ 0 | 853951 | 0 | 366.98/367.07 c | 1788 | 5.9 | 0 | 67115 | 2490 | 178 | 79482451 | 2389125 || 1788 | 4090451 | 7/ 0 | 863960 | 0 | 373.48/373.52 c | 1789 | 6.4 | 0 | 67210 | 1587 | 179 | 80290575 | 2413933 || 1789 | 4150950 | 7/ 0 | 877224 | 0 | 379.60/379.69 c | 1807 | 6.2 | 0 | 68035 | 123 | 180 | 81167041 | 2438474 || 1807 | 4169543 | 7/ 0 | 880959 | 0 | 386.78/386.82 c | 1845 | 7.1 | 0 | 67625 | 133 | 181 | 82030744 | 2467094 || 1845 | 4216539 | 7/ 0 | 890542 | 0 | 393.48/393.58 c | 1867 | 6.8 | 0 | 68604 | 72 | 182 | 82909539 | 2493888 || 1867 | 4262924 | 7/ 0 | 900499 | 0 | 400.88/400.94 c | 1905 | 7.4 | 0 | 69046 | 486 | 183 | 83779311 | 2522574 || 1905 | 4309229 | 7/ 0 | 910049 | 0 | 407.48/407.56 c | 1916 | 6.6 | 0 | 69734 | 7858 | 184 | 84630075 | 2548993 || 1916 | 4366468 | 7/ 0 | 923708 | 0 | 414.69/414.82 c | 1945 | 7.3 | 0 | 71289 | 466 | 185 | 85515698 | 2576579 || 1945 | 4400447 | 7/ 0 | 929564 | 0 | 422.28/422.39 c | 1978 | 7.6 | 0 | 71656 | 1567 | 186 | 86403491 | 2605055 || 1978 | 4449682 | 7/ 0 | 940365 | 0 | 429.88/429.91 c | 2007 | 7.5 | 0 | 72653 | 285 | 187 | 87282185 | 2633410 || 2007 | 4494655 | 7/ 0 | 949103 | 0 | 437.58/437.67 c | 2041 | 7.8 | 0 | 72932 | 1309 | 188 | 88173391 | 2662561 || 2041 | 4544104 | 7/ 0 | 960303 | 0 | 444.50/444.55 c | 2043 | 6.9 | 0 | 73732 | 3802 | 189 | 89037661 | 2687622 || 2043 | 4592547 | 7/ 0 | 970301 | 0 | 451.58/451.65 c | 2044 | 7.1 | 0 | 73723 | 4001 | 190 | 89905930 | 2713207 || 2044 | 4651281 | 7/ 0 | 983632 | 0 | 458.48/458.53 c | 2045 | 6.9 | 0 | 73565 | 23504 | 191 | 90769917 | 2738558 || 2045 | 4721652 | 7/ 0 | 1009834 | 0 | 466.28/466.35 c | 2045 | 7.8 | 0 | 72547 | 4705 | 192 | 91591030 | 2764957 || 2045 | 4767641 | 7/ 0 | 1010173 | 0 | 472.78/472.84 c | 2045 | 6.5 | 0 | 70293 | 24406 | 193 | 92550207 | 2788562 || 2045 | 4767641 | 7/ 0 | 1010173 | 0 | 478.98/479.06 c | 2046 | 6.2 | 0 | 67234 | 44207 | 194 | 93311153 | 2815453 || 2046 | 4897969 | 6/ 0 | 1062502 | 0 | 486.78/486.87 c | 2046 | 7.8 | 0 | 65555 | 19901 | 195 | 94052696 | 2842137 || 2046 | 4958068 | 6/ 0 | 1062939 | 0 | 494.68/494.72 c | 2046 | 7.8 | 0 | 64426 | 7306 | 196 | 94924786 | 2868531 || 2046 | 4996322 | 6/ 0 | 1063225 | 0 | 499.88/499.97 c | 2046 | 5.2 | 0 | 63257 | 27407 | 197 | 95916941 | 2892226 || 2046 | 4996322 | 6/ 0 | 1063225 | 0 | 504.78/504.82 c | 2046 | 4.9 | 0 | 63111 | 47609 | 198 | 96873615 | 2915846 || 2046 | 4996322 | 6/ 0 | 1063225 | 0 | 511.49/511.61 c | 2047 | 6.8 | 0 | 61763 | 67913 | 199 | 97741102 | 2943479 || 2047 | 5194905 | 6/ 0 | 1167412 | 0 | 519.88/519.90 c | 2047 | 8.3 | 0 | 61511 | 20402 | 200 | 98567585 | 2972387 || 2047 | 5257020 | 6/ 0 | 1167867 | 0 | 528.88/528.90 c | 2047 | 9.0 | 0 | 62732 | 20503 | 201 | 99403286 | 3000866 || 2047 | 5317308 | 6/ 0 | 1168285 | 0 | 537.58/537.62 c | 2047 | 8.7 | 0 | 61979 | 20601 | 202 | 100221237 | 3029273 || 2047 | 5377731 | 6/ 0 | 1168744 | 0 | 547.18/547.25 c | 2047 | 9.6 | 0 | 58309 | 20701 | 203 | 101050410 | 3057259 || 2047 | 5439051 | 6/ 0 | 1169178 | 0 | 552.58/552.69 c | 2047 | 5.4 | 0 | 56861 | 17320 | 204 | 102100765 | 3082020 || 2047 | 5449200 | 6/ 0 | 1169256 | 0 | 557.88/557.99 c | 2047 | 5.3 | 0 | 55826 | 38221 | 205 | 103133257 | 3106054 || 2047 | 5449200 | 6/ 0 | 1169256 | 0 | 562.98/563.03 c | 2047 | 5.0 | 0 | 53861 | 59223 | 206 | 104150177 | 3130601 || 2047 | 5449200 | 6/ 0 | 1169256 | 0 | 568.08/568.16 c | 2047 | 5.1 | 0 | 54661 | 80326 | 207 | 105190132 | 3155034 || 2047 | 5449200 | 6/ 0 | 1169256 | 0 | 573.78/573.86 c | 2047 | 5.7 | 0 | 55950 | 101528 | 208 | 106215487 | 3179168 || 2047 | 5449200 | 6/ 0 | 1169256 | 0 | 581.18/581.23 c | 2092 | 7.4 | 0 | 52149 | 516 | 209 | 107271712 | 3212581 || 2092 | 5502569 | 6/ 0 | 1180064 | 0 | 587.88/587.93 c | 2121 | 6.7 | 0 | 51524 | 238 | 210 | 108307751 | 3244471 || 2121 | 5555224 | 6/ 0 | 1190918 | 0 | 594.78/594.81 c | 2163 | 6.9 | 0 | 54402 | 250 | 211 | 109357205 | 3277742 || 2163 | 5610398 | 6/ 0 | 1202035 | 0 | 601.38/601.41 c | 2174 | 6.6 | 0 | 59913 | 1409 | 212 | 110357833 | 3307849 || 2174 | 5673689 | 6/ 0 | 1215723 | 0 | 608.88/608.93 c | 2208 | 7.5 | 0 | 64263 | 49 | 213 | 111439014 | 3339472 || 2208 | 5716295 | 6/ 0 | 1224453 | 0 | 616.79/616.87 c | 2237 | 7.9 | 0 | 68665 | 3165 | 214 | 112488881 | 3371614 || 2237 | 5770170 | 6/ 0 | 1235649 | 0 | 625.90/625.94 c | 2283 | 9.1 | 0 | 70256 | 173 | 215 | 113551531 | 3405711 || 2283 | 5827150 | 6/ 0 | 1247303 | 0 | 634.48/634.57 c | 2301 | 8.6 | 0 | 70551 | 8531 | 216 | 114562663 | 3436696 || 2301 | 5893763 | 6/ 0 | 1262189 | 0 | 642.68/642.80 c | 2302 | 8.2 | 0 | 71202 | 1825 | 217 | 115569708 | 3466990 || 2302 | 5958493 | 6/ 0 | 1275520 | 0 | 651.78/651.88 c | 2331 | 9.1 | 0 | 69954 | 373 | 218 | 116655719 | 3498052 || 2331 | 5987388 | 6/ 0 | 1281354 | 0 | 661.09/661.12 c | 2365 | 9.2 | 0 | 70895 | 2976 | 219 | 117714106 | 3531417 || 2365 | 6048819 | 6/ 0 | 1295444 | 0 | 670.48/670.53 c | 2402 | 9.4 | 0 | 72087 | 191 | 220 | 118787121 | 3565145 || 2402 | 6098793 | 6/ 0 | 1304657 | 0 | 679.38/679.43 c | 2429 | 8.9 | 0 | 72794 | 4513 | 221 | 119836266 | 3597385 || 2429 | 6163103 | 6/ 0 | 1321989 | 0 | 688.38/688.47 c | 2458 | 9.0 | 0 | 73598 | 254 | 222 | 120875081 | 3629780 || 2458 | 6208171 | 6/ 0 | 1327931 | 0 | 698.18/698.25 c | 2492 | 9.8 | 0 | 75363 | 3269 | 223 | 121936891 | 3663744 || 2492 | 6270068 | 6/ 0 | 1342032 | 0 | 708.28/708.40 c | 2530 | 10.1 | 0 | 78421 | 547 | 224 | 123037283 | 3697639 || 2530 | 6322006 | 6/ 0 | 1351629 | 0 | 718.30/718.38 c | 2556 | 10.0 | 0 | 79706 | 5574 | 225 | 124106808 | 3730532 || 2556 | 6388162 | 6/ 0 | 1368538 | 0 | 727.98/728.02 c | 2557 | 9.6 | 0 | 80266 | 18973 | 226 | 125121153 | 3761146 || 2557 | 6459509 | 6/ 0 | 1381951 | 0 | 737.18/737.22 c | 2558 | 9.2 | 0 | 79780 | 22874 | 227 | 126183760 | 3790367 || 2558 | 6528934 | 6/ 0 | 1408140 | 0 | 747.99/748.10 c | 2558 | 10.9 | 0 | 79531 | 7673 | 228 | 127200773 | 3820380 || 2558 | 6577455 | 6/ 0 | 1408465 | 0 | 758.08/758.10 c | 2573 | 10.0 | 0 | 78459 | 957 | 229 | 128352148 | 3849590 || 2573 | 6592880 | 6/ 0 | 1411807 | 0 | 769.18/769.26 c | 2619 | 11.1 | 0 | 75815 | 636 | 230 | 129445188 | 3885645 || 2619 | 6650508 | 6/ 0 | 1423469 | 0 | 779.38/779.47 c | 2652 | 10.2 | 0 | 76689 | 1667 | 231 | 130536661 | 3919653 || 2652 | 6711420 | 6/ 0 | 1436752 | 0 | 789.68/789.77 c | 2684 | 10.3 | 0 | 77754 | 1961 | 232 | 131635386 | 3954025 || 2684 | 6768996 | 6/ 0 | 1448408 | 0 | 799.81/799.82 c | 2711 | 10.1 | 0 | 79780 | 211 | 233 | 132723648 | 3988420 || 2711 | 6823481 | 6/ 0 | 1460110 | 0 | 810.70/810.78 c | 2748 | 11.0 | 0 | 82439 | 2910 | 234 | 133831093 | 4023805 || 2748 | 6887763 | 6/ 0 | 1474932 | 0 | 822.39/822.45 c | 2788 | 11.7 | 0 | 84268 | 12 | 235 | 134951657 | 4059538 || 2788 | 6941557 | 6/ 0 | 1484764 | 0 | 833.49/833.58 c | 2812 | 11.1 | 0 | 86507 | 7446 | 236 | 136014795 | 4094390 || 2812 | 7012293 | 6/ 0 | 1501516 | 0 | 844.29/844.30 c | 2813 | 10.7 | 0 | 87208 | 2746 | 237 | 137105434 | 4126403 || 2813 | 7078056 | 6/ 0 | 1514812 | 0 | 855.91/855.98 c | 2844 | 11.7 | 0 | 87959 | 2074 | 238 | 138257044 | 4159810 || 2844 | 7117167 | 6/ 0 | 1523124 | 0 | 868.39/868.43 c | 2876 | 12.4 | 0 | 87402 | 3084 | 239 | 139395466 | 4195297 || 2876 | 7173814 | 6/ 0 | 1534786 | 0 | 881.29/881.30 c | 2929 | 12.9 | 0 | 88098 | 347 | 240 | 140535806 | 4232969 || 2929 | 7236075 | 6/ 0 | 1547688 | 0 | 892.39/892.40 c | 2940 | 11.1 | 0 | 89609 | 3819 | 241 | 141645165 | 4266236 || 2940 | 7299667 | 6/ 0 | 1561402 | 0 | 905.49/905.53 c | 2986 | 13.1 | 0 | 90344 | 324 | 242 | 142796331 | 4303078 || 2986 | 7355647 | 6/ 0 | 1573018 | 0 | 918.09/918.19 c | 3025 | 12.7 | 0 | 91551 | 328 | 243 | 143934374 | 4339584 || 3025 | 7415877 | 6/ 0 | 1585899 | 0 | 931.49/931.60 c | 3066 | 13.4 | 0 | 92563 | 2413 | 244 | 145068268 | 4376219 || 3066 | 7481224 | 6/ 0 | 1601164 | 0 | 942.70/942.74 c | 3068 | 11.1 | 0 | 94286 | 12914 | 245 | 146175923 | 4409005 || 3068 | 7556757 | 6/ 0 | 1620960 | 0 | 953.81/953.85 c | 3069 | 11.1 | 0 | 94188 | 18715 | 246 | 147269145 | 4440485 || 3069 | 7631850 | 6/ 0 | 1647194 | 0 | 966.69/966.73 c | 3069 | 12.9 | 0 | 93364 | 5418 | 247 | 148320516 | 4473139 || 3069 | 7693703 | 6/ 0 | 1647623 | 0 | 979.19/979.24 c | 3070 | 12.5 | 0 | 93505 | 30620 | 248 | 149524945 | 4503255 || 3070 | 7784172 | 6/ 0 | 1699696 | 0 | 993.69/993.71 c | 3070 | 14.5 | 0 | 89635 | 25302 | 249 | 150538564 | 4538015 || 3070 | 7865460 | 6/ 0 | 1700220 | 0 | 1007.49/1007.59 c | 3070 | 13.9 | 0 | 88016 | 4521 | 250 | 151585753 | 4571807 || 3070 | 7931332 | 6/ 0 | 1700701 | 0 | 1017.99/1018.07 c | 3070 | 10.5 | 0 | 81943 | 30022 | 251 | 152860623 | 4601595 || 3070 | 7931332 | 6/ 0 | 1700701 | 0 | 1028.69/1028.77 c | 3084 | 10.7 | 0 | 80005 | 594 | 252 | 154120578 | 4633542 || 3084 | 7943403 | 6/ 0 | 1703186 | 0 | 1041.39/1041.46 c | 3132 | 12.7 | 0 | 75966 | 1986 | 253 | 155313776 | 4673111 || 3132 | 8009465 | 6/ 0 | 1717283 | 0 | 1053.09/1053.14 c | 3170 | 11.7 | 0 | 77657 | 173 | 254 | 156493606 | 4710578 || 3170 | 8069641 | 6/ 0 | 1729765 | 0 | 1064.39/1064.49 c | 3197 | 11.3 | 0 | 80692 | 7926 | 255 | 157649244 | 4747716 || 3197 | 8144425 | 6/ 0 | 1747151 | 0 | 1076.49/1076.53 c | 3235 | 12.0 | 0 | 85191 | 432 | 256 | 158837840 | 4784813 || 3235 | 8195505 | 6/ 0 | 1756748 | 0 | 1089.39/1089.44 c | 3275 | 12.9 | 0 | 87074 | 1020 | 257 | 160045313 | 4823307 || 3275 | 8260558 | 6/ 0 | 1770468 | 0 | 1102.89/1102.99 c | 3322 | 13.5 | 0 | 92497 | 1113 | 258 | 161250925 | 4862700 || 3322 | 8324886 | 6/ 0 | 1783787 | 0 | 1115.89/1115.99 c | 3325 | 13.0 | 0 | 94255 | 13008 | 259 | 162418246 | 4897262 || 3325 | 8410282 | 6/ 0 | 1806841 | 0 | 1129.29/1129.37 c | 3344 | 13.4 | 0 | 94465 | 48 | 260 | 163659452 | 4932458 || 3344 | 8447721 | 6/ 0 | 1810836 | 0 | 1144.19/1144.25 c | 3388 | 14.9 | 0 | 93998 | 3338 | 261 | 164875646 | 4971877 || 3388 | 8519463 | 6/ 0 | 1826932 | 0 | 1159.20/1159.23 c | 3434 | 15.0 | 0 | 95336 | 244 | 262 | 166084588 | 5012311 || 3434 | 8580850 | 6/ 0 | 1838630 | 0 | 1172.61/1172.67 c | 3452 | 13.4 | 0 | 95772 | 3695 | 263 | 167271527 | 5048919 || 3452 | 8648707 | 6/ 0 | 1853568 | 0 | 1187.90/1187.96 c | 3504 | 15.3 | 0 | 96179 | 166 | 264 | 168489898 | 5089106 || 3504 | 8709068 | 6/ 0 | 1866075 | 0 | 1203.30/1203.32 c | 3545 | 15.4 | 0 | 96985 | 337 | 265 | 169734859 | 5128626 || 3545 | 8776227 | 6/ 0 | 1880266 | 0 | 1218.50/1218.51 c | 3579 | 15.2 | 0 | 99411 | 4045 | 266 | 170966367 | 5166914 || 3579 | 8850264 | 6/ 0 | 1900058 | 0 | 1233.50/1233.58 c | 3580 | 15.1 | 0 | 101007 | 2337 | 267 | 172130202 | 5202265 || 3580 | 8927759 | 6/ 0 | 1913413 | 0 | 1247.41/1247.44 c | 3581 | 13.9 | 0 | 100712 | 29539 | 268 | 173290520 | 5237321 || 3581 | 9017885 | 6/ 0 | 1939716 | 0 | 1260.90/1260.97 c | 3581 | 13.5 | 0 | 99214 | 18439 | 269 | 174523537 | 5270649 || 3581 | 9046238 | 6/ 0 | 1939930 | 0 | 1277.22/1277.25 c | 3626 | 16.3 | 0 | 97522 | 333 | 270 | 175797496 | 5310067 || 3626 | 9098226 | 6/ 0 | 1950753 | 0 | 1293.10/1293.13 c | 3668 | 15.9 | 0 | 95200 | 21 | 271 | 177031920 | 5350715 || 3668 | 9164935 | 6/ 0 | 1964654 | 0 | 1308.50/1308.56 c | 3707 | 15.4 | 0 | 95288 | 1404 | 272 | 178291330 | 5390981 || 3707 | 9235614 | 6/ 0 | 1979822 | 0 | 1323.31/1323.41 c | 3739 | 14.9 | 0 | 95750 | 990 | 273 | 179522567 | 5429841 || 3739 | 9299999 | 6/ 0 | 1994749 | 0 | 1338.90/1338.96 c | 3778 | 15.5 | 0 | 97192 | 312 | 274 | 180809605 | 5470096 || 3778 | 9365285 | 6/ 0 | 2007644 | 0 | 1355.60/1355.62 c | 3833 | 16.7 | 0 | 100632 | 2072 | 275 | 182066164 | 5512935 || 3833 | 9438797 | 6/ 0 | 2023012 | 0 | 1370.72/1370.74 c | 3836 | 15.1 | 0 | 105140 | 13266 | 276 | 183302953 | 5550270 || 3836 | 9525068 | 6/ 0 | 2046060 | 0 | 1386.01/1386.11 c | 3861 | 15.4 | 0 | 104811 | 207 | 277 | 184581124 | 5589399 || 3861 | 9567823 | 6/ 0 | 2051173 | 0 | 1403.10/1403.12 c | 3899 | 17.0 | 0 | 104320 | 2225 | 278 | 185850579 | 5630071 || 3899 | 9637868 | 6/ 0 | 2066135 | 0 | 1421.70/1421.71 c | 3959 | 18.6 | 0 | 105532 | 341 | 279 | 187145467 | 5673192 || 3959 | 9706511 | 6/ 0 | 2080276 | 0 | 1437.60/1437.60 c | 3977 | 15.9 | 0 | 106766 | 507 | 280 | 188366932 | 5711809 || 3977 | 9774118 | 6/ 0 | 2095198 | 0 | 1456.00/1456.08 c | 4026 | 18.5 | 0 | 107373 | 2271 | 281 | 189662052 | 5754134 || 4026 | 9848601 | 6/ 0 | 2112581 | 0 | 1474.70/1474.75 c | 4074 | 18.7 | 0 | 108060 | 46 | 282 | 190976991 | 5796889 || 4074 | 9913543 | 6/ 0 | 2124495 | 0 | 1491.10/1491.16 c | 4091 | 16.4 | 0 | 110364 | 6593 | 283 | 192231163 | 5835559 || 4091 | 9998344 | 6/ 0 | 2152161 | 0 | 1507.20/1507.22 c | 4092 | 16.1 | 0 | 111360 | 16188 | 284 | 193470053 | 5872439 || 4092 | 10085928 | 6/ 0 | 2178485 | 0 | 1525.21/1525.24 c | 4092 | 18.0 | 0 | 110258 | 6688 | 285 | 194650276 | 5910623 || 4092 | 10157188 | 6/ 0 | 2178984 | 0 | 1541.23/1541.28 c | 4093 | 16.0 | 0 | 109485 | 35689 | 286 | 195916636 | 5946885 || 4093 | 10262877 | 6/ 0 | 2231181 | 0 | 1560.41/1560.44 c | 4093 | 19.2 | 0 | 107203 | 29101 | 287 | 197065834 | 5987186 || 4093 | 10352929 | 6/ 0 | 2231794 | 0 | 1578.21/1578.22 c | 4093 | 17.8 | 0 | 105222 | 17190 | 288 | 198386625 | 6024280 || 4093 | 10390173 | 6/ 0 | 2232071 | 0 | 1592.92/1592.95 c | 4093 | 14.7 | 0 | 101165 | 46492 | 289 | 199802492 | 6058441 || 4093 | 10390173 | 6/ 0 | 2232071 | 0 | 1609.81/1609.84 c | 4094 | 16.9 | 0 | 94511 | 75894 | 290 | 200980035 | 6097652 || 4094 | 10615893 | 6/ 0 | 2336556 | 0 | 1628.71/1628.77 c | 4094 | 18.9 | 0 | 93149 | 29501 | 291 | 202062581 | 6136669 || 4094 | 10708343 | 6/ 0 | 2337156 | 0 | 1646.82/1646.89 c | 4094 | 18.1 | 0 | 91382 | 29604 | 292 | 203121357 | 6175649 || 4094 | 10797615 | 6/ 0 | 2337757 | 0 | 1664.61/1664.64 c | 4094 | 17.7 | 0 | 89979 | 11099 | 293 | 204369247 | 6214487 || 4094 | 10855682 | 6/ 0 | 2338152 | 0 | 1677.41/1677.48 c | 4094 | 12.8 | 0 | 90197 | 40903 | 294 | 205853932 | 6248691 || 4094 | 10855682 | 6/ 0 | 2338152 | 0 | 1690.41/1690.41 c | 4094 | 12.9 | 0 | 86154 | 70804 | 295 | 207305689 | 6283158 || 4094 | 10855682 | 6/ 0 | 2338152 | 0 | 1701.41/1701.49 c | 4094 | 11.1 | 0 | 83663 | 100805 | 296 | 208687053 | 6318023 || 4094 | 10855682 | 6/ 0 | 2338152 | 0 | 1718.40/1718.41 c | 4095 | 16.9 | 0 | 81921 | 130906 | 297 | 209938289 | 6361319 || 4095 | 11239613 | 6/ 0 | 2546439 | 0 | 1736.31/1736.30 c | 4095 | 17.9 | 0 | 85223 | 30202 | 298 | 211116039 | 6403673 || 4095 | 11332741 | 6/ 0 | 2547089 | 0 | 1755.41/1755.43 c | 4095 | 19.1 | 0 | 85349 | 30303 | 299 | 212288572 | 6445263 || 4095 | 11425075 | 6/ 0 | 2547740 | 0 | 1774.11/1774.15 c | 4095 | 18.7 | 0 | 79423 | 30403 | 300 | 213465903 | 6486914 || 4095 | 11519380 | 6/ 0 | 2548395 | 0 | 1792.41/1792.47 c | 4095 | 18.3 | 0 | 80140 | 30502 | 301 | 214633746 | 6528399 || 4095 | 11612543 | 6/ 0 | 2549043 | 0 | 1815.31/1815.33 c | 4095 | 22.9 | 0 | 79444 | 30601 | 302 | 215837391 | 6570543 || 4095 | 11707947 | 6/ 0 | 2549765 | 0 | 1835.21/1835.28 c | 4095 | 19.9 | 0 | 74382 | 6417 | 303 | 217099041 | 6611337 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1847.41/1847.46 c | 4095 | 12.2 | 0 | 73468 | 37219 | 304 | 218591531 | 6647273 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1859.71/1859.71 c | 4095 | 12.3 | 0 | 76326 | 68123 | 305 | 220067827 | 6682931 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1870.71/1870.71 c | 4095 | 11.0 | 0 | 76794 | 99124 | 306 | 221521119 | 6719309 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1882.51/1882.58 c | 4095 | 11.9 | 0 | 76208 | 130225 | 307 | 222980670 | 6755556 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1893.42/1893.45 c | 4095 | 10.9 | 0 | 75440 | 161427 | 308 | 224429324 | 6792086 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1904.51/1904.51 c | 4095 | 11.1 | 0 | 75335 | 192728 | 309 | 225859644 | 6828506 || 4095 | 11782582 | 6/ 0 | 2550254 | 0 | 1919.01/1919.09 c | 4137 | 14.6 | 0 | 67664 | 225 | 310 | 227329320 | 6873113 || 4137 | 11832331 | 6/ 0 | 2560368 | 0 | 1933.31/1933.30 c | 4188 | 14.2 | 0 | 72278 | 174 | 311 | 228852824 | 6920515 || 4188 | 11912437 | 6/ 0 | 2576904 | 0 | 1947.31/1947.31 c | 4222 | 14.0 | 0 | 80085 | 8498 | 312 | 230317824 | 6966505 || 4222 | 12002047 | 6/ 0 | 2596862 | 0 | 1963.63/1963.64 c | 4275 | 16.3 | 0 | 86909 | 269 | 313 | 231855715 | 7013276 || 4275 | 12067256 | 6/ 0 | 2609738 | 0 | 1981.01/1981.04 c | 4322 | 17.4 | 0 | 92696 | 240 | 314 | 233379448 | 7060781 || 4322 | 12146177 | 6/ 0 | 2625994 | 0 | 1999.41/1999.44 c | 4349 | 18.4 | 0 | 98761 | 4369 | 315 | 234916005 | 7106367 || 4349 | 12228835 | 6/ 0 | 2643430 | 0 | 2016.43/2016.49 c | 4364 | 17.0 | 0 | 100317 | 549 | 316 | 236370602 | 7148105 || 4364 | 12300772 | 6/ 0 | 2659199 | 0 | 2037.81/2037.86 c | 4413 | 21.4 | 0 | 97707 | 1139 | 317 | 237889166 | 7195456 || 4413 | 12384388 | 6/ 0 | 2676677 | 0 | 2058.41/2058.44 c | 4475 | 20.6 | 0 | 99391 | 1994 | 318 | 239411216 | 7244218 || 4475 | 12464522 | 6/ 0 | 2693304 | 0 | 2078.03/2078.02 c | 4506 | 19.6 | 0 | 101644 | 223 | 319 | 240919186 | 7289655 || 4506 | 12538699 | 6/ 0 | 2709118 | 0 | 2098.71/2098.73 c | 4555 | 20.7 | 0 | 102150 | 502 | 320 | 242410408 | 7337216 || 4555 | 12619782 | 6/ 0 | 2726559 | 0 | 2119.51/2119.58 c | 4603 | 20.8 | 0 | 103781 | 2069 | 321 | 243942246 | 7385045 || 4603 | 12701270 | 6/ 0 | 2743170 | 0 | 2138.22/2138.29 c | 4605 | 18.7 | 0 | 106854 | 5863 | 322 | 245414732 | 7427149 || 4605 | 12789543 | 6/ 0 | 2763055 | 0 | 2156.72/2156.70 c | 4606 | 18.4 | 0 | 108665 | 163 | 323 | 246799816 | 7470989 || 4606 | 12905195 | 6/ 0 | 2789635 | 0 | 2175.32/2175.31 c | 4625 | 18.6 | 0 | 107072 | 23 | 324 | 248318873 | 7512473 || 4625 | 12924392 | 6/ 0 | 2793507 | 0 | 2196.84/2196.86 c | 4676 | 21.6 | 0 | 105098 | 300 | 325 | 249853408 | 7561640 || 4676 | 13005526 | 6/ 0 | 2810844 | 0 | 2219.22/2219.29 c | 4732 | 22.4 | 0 | 106961 | 4132 | 326 | 251365165 | 7611366 || 4732 | 13093421 | 6/ 0 | 2829561 | 0 | 2240.73/2240.74 c | 4766 | 21.4 | 0 | 107980 | 61 | 327 | 252919312 | 7657614 || 4766 | 13166391 | 6/ 0 | 2844726 | 0 | 2263.42/2263.49 c | 4825 | 22.8 | 0 | 108263 | 203 | 328 | 254438035 | 7708008 || 4825 | 13248971 | 6/ 0 | 2861968 | 0 | 2284.73/2284.73 c | 4860 | 21.2 | 0 | 112689 | 9026 | 329 | 255949200 | 7755613 || 4860 | 13343130 | 6/ 0 | 2882707 | 0 | 2304.72/2304.79 c | 4865 | 20.1 | 0 | 115387 | 217 | 330 | 257512021 | 7798396 || 4865 | 13405121 | 6/ 0 | 2896515 | 0 | 2329.94/2329.92 c | 4924 | 25.1 | 0 | 116219 | 3769 | 331 | 259058739 | 7848807 || 4924 | 13494911 | 6/ 0 | 2915964 | 0 | 2355.32/2355.39 c | 4986 | 25.5 | 0 | 117375 | 1203 | 332 | 260606131 | 7899997 || 4986 | 13575025 | 6/ 0 | 2932618 | 0 | 2379.33/2379.34 c | 5018 | 23.9 | 0 | 118116 | 810 | 333 | 262164839 | 7947301 || 5018 | 13654624 | 6/ 0 | 2949230 | 0 | 2404.32/2404.38 c | 5069 | 25.0 | 0 | 118451 | 196 | 334 | 263705695 | 7996457 || 5069 | 13735997 | 6/ 0 | 2966251 | 0 | 2428.72/2428.76 c | 5115 | 24.4 | 0 | 118709 | 5487 | 335 | 265203809 | 8045587 || 5115 | 13828910 | 6/ 0 | 2988998 | 0 | 2451.94/2451.93 c | 5116 | 23.2 | 0 | 120925 | 10687 | 336 | 266782416 | 8089302 || 5116 | 13901367 | 6/ 0 | 3002344 | 0 | 2476.14/2476.20 c | 5117 | 24.3 | 0 | 121004 | 6387 | 337 | 268255383 | 8134729 || 5117 | 14018378 | 6/ 0 | 3028866 | 0 | 2496.63/2496.63 c | 5118 | 20.4 | 0 | 121302 | 40592 | 338 | 269749380 | 8177699 || 5118 | 14139094 | 6/ 0 | 3081152 | 0 | 2521.53/2521.58 c | 5118 | 24.9 | 0 | 120287 | 34310 | 339 | 271085099 | 8224499 || 5118 | 14246201 | 6/ 0 | 3081903 | 0 | 2542.03/2542.06 c | 5118 | 20.5 | 0 | 120659 | 32502 | 340 | 272749229 | 8264423 || 5118 | 14252256 | 6/ 0 | 3081937 | 0 | 2564.43/2564.49 c | 5149 | 22.4 | 0 | 117566 | 1352 | 341 | 274381947 | 8309626 || 5149 | 14291814 | 6/ 0 | 3090223 | 0 | 2590.73/2590.75 c | 5211 | 26.3 | 0 | 111589 | 1001 | 342 | 275953039 | 8361605 || 5211 | 14377332 | 6/ 0 | 3108526 | 0 | 2614.03/2614.03 c | 5245 | 23.3 | 0 | 115050 | 1615 | 343 | 277510546 | 8410814 || 5245 | 14469320 | 6/ 0 | 3128455 | 0 | 2639.53/2639.58 c | 5307 | 25.6 | 0 | 116347 | 1863 | 344 | 279096138 | 8462705 || 5307 | 14548201 | 6/ 0 | 3145066 | 0 | 2665.53/2665.54 c | 5367 | 26.0 | 0 | 119333 | 298 | 345 | 280683150 | 8514376 || 5367 | 14631274 | 6/ 0 | 3162065 | 0 | 2689.54/2689.57 c | 5373 | 24.0 | 0 | 120195 | 16386 | 346 | 282227179 | 8560752 || 5373 | 14739828 | 6/ 0 | 3188169 | 0 | 2715.73/2715.72 c | 5415 | 26.2 | 0 | 125229 | 57 | 347 | 283891512 | 8609109 || 5415 | 14796707 | 6/ 0 | 3198281 | 0 | 2743.64/2743.67 c | 5468 | 28.0 | 0 | 125019 | 1615 | 348 | 285484105 | 8661199 || 5468 | 14883089 | 6/ 0 | 3216627 | 0 | 2770.24/2770.24 c | 5500 | 26.6 | 0 | 126118 | 6394 | 349 | 287075862 | 8710518 || 5500 | 14967000 | 6/ 0 | 3234844 | 0 | 2799.03/2799.06 c | 5563 | 28.8 | 0 | 126810 | 41 | 350 | 288647599 | 8763472 || 5563 | 15061442 | 6/ 0 | 3254852 | 0 | 2828.03/2828.06 c | 5626 | 29.0 | 0 | 127840 | 1778 | 351 | 290223335 | 8816238 || 5626 | 15146187 | 6/ 0 | 3274700 | 0 | 2852.53/2852.51 c | 5628 | 24.4 | 0 | 128594 | 3778 | 352 | 291700909 | 8863091 || 5628 | 15244096 | 6/ 0 | 3294659 | 0 | 2877.33/2877.34 c | 5629 | 24.8 | 0 | 129375 | 1080 | 353 | 293159174 | 8909203 || 5629 | 15361319 | 6/ 0 | 3321164 | 0 | 2903.43/2903.41 c | 5658 | 26.1 | 0 | 129155 | 384 | 354 | 294859349 | 8955731 || 5658 | 15389822 | 6/ 0 | 3326997 | 0 | 2932.75/2932.76 c | 5714 | 29.4 | 0 | 127926 | 128 | 355 | 296463783 | 9008402 || 5714 | 15478329 | 6/ 0 | 3345677 | 0 | 2961.83/2961.86 c | 5756 | 29.1 | 0 | 129735 | 9219 | 356 | 298054962 | 9060445 || 5756 | 15577974 | 6/ 0 | 3367698 | 0 | 2991.23/2991.24 c | 5818 | 29.4 | 0 | 130337 | 1125 | 357 | 299644574 | 9113069 || 5818 | 15653786 | 6/ 0 | 3384333 | 0 | 3021.64/3021.64 c | 5879 | 30.4 | 0 | 131750 | 574 | 358 | 301279678 | 9166406 || 5879 | 15740307 | 6/ 0 | 3401856 | 0 | 3048.16/3048.20 c | 5884 | 26.6 | 0 | 134668 | 18260 | 359 | 302813127 | 9214847 || 5884 | 15850774 | 6/ 0 | 3427512 | 0 | 3077.85/3077.90 c | 5931 | 29.7 | 0 | 136370 | 34 | 360 | 304522308 | 9265638 || 5931 | 15910464 | 6/ 0 | 3439340 | 0 | 3110.74/3110.78 c | 5992 | 32.9 | 0 | 136973 | 74 | 361 | 306168442 | 9319662 || 5992 | 16000262 | 6/ 0 | 3458331 | 0 | 3141.76/3141.74 c | 6026 | 31.0 | 0 | 137791 | 209 | 362 | 307837857 | 9370494 || 6026 | 16088132 | 6/ 0 | 3477427 | 0 | 3174.14/3174.14 c | 6087 | 32.4 | 0 | 137858 | 154 | 363 | 309483314 | 9424901 || 6087 | 16176203 | 6/ 0 | 3496166 | 0 | 3206.94/3206.93 c | 6138 | 32.8 | 0 | 138290 | 5428 | 364 | 311134527 | 9477914 || 6138 | 16276152 | 6/ 0 | 3520568 | 0 | 3235.04/3235.01 c | 6140 | 28.1 | 0 | 138857 | 13526 | 365 | 312747463 | 9524557 || 6140 | 16387608 | 6/ 0 | 3559882 | 0 | 3264.44/3264.43 c | 6140 | 29.4 | 0 | 138801 | 12127 | 366 | 314288738 | 9573449 || 6140 | 16464775 | 6/ 0 | 3560435 | 0 | 3293.56/3293.53 c | 6141 | 29.1 | 0 | 138583 | 49231 | 367 | 315857270 | 9621286 || 6141 | 16612736 | 6/ 0 | 3612875 | 0 | 3326.65/3326.65 c | 6141 | 33.1 | 0 | 135247 | 9625 | 368 | 317394303 | 9669222 || 6141 | 16697616 | 6/ 0 | 3613493 | 0 | 3351.64/3351.70 c | 6141 | 25.1 | 0 | 131925 | 46926 | 369 | 319131836 | 9713289 || 6141 | 16697616 | 6/ 0 | 3613493 | 0 | 3382.74/3382.75 c | 6142 | 31.1 | 0 | 124014 | 84328 | 370 | 320566927 | 9762649 || 6142 | 16946398 | 6/ 0 | 3718070 | 0 | 3413.15/3413.13 c | 6142 | 30.4 | 0 | 119043 | 37504 | 371 | 321901096 | 9812086 || 6142 | 17060784 | 6/ 0 | 3718855 | 0 | 3445.45/3445.47 c | 6142 | 32.3 | 0 | 118138 | 5829 | 372 | 323310371 | 9860326 || 6142 | 17157348 | 6/ 0 | 3719541 | 0 | 3466.74/3466.75 c | 6142 | 21.3 | 0 | 119342 | 43530 | 373 | 325051810 | 9903599 || 6142 | 17157348 | 6/ 0 | 3719541 | 0 | 3488.75/3488.71 c | 6142 | 22.0 | 0 | 118137 | 81332 | 374 | 326777963 | 9946756 || 6142 | 17157348 | 6/ 0 | 3719541 | 0 | 3513.75/3513.74 c | 6176 | 25.0 | 0 | 117141 | 143 | 375 | 328480418 | 9996559 || 6176 | 17199667 | 6/ 0 | 3728267 | 0 | 3542.35/3542.37 c | 6237 | 28.6 | 0 | 117714 | 80 | 376 | 330228771 | 10053210 || 6237 | 17293331 | 6/ 0 | 3747867 | 0 | 3569.95/3569.93 c | 6279 | 27.6 | 0 | 122253 | 288 | 377 | 331985874 | 10107028 || 6279 | 17385235 | 6/ 0 | 3767648 | 0 | 3600.15/3600.19 c | 6341 | 30.3 | 0 | 123831 | 147 | 378 | 333706435 | 10163033 || 6341 | 17478416 | 6/ 0 | 3787399 | 0 | 3631.05/3631.07 c | 6396 | 30.9 | 0 | 119719 | 5617 | 379 | 335449364 | 10219500 || 6396 | 17582612 | 6/ 0 | 3812426 | 0 | 3655.65/3655.69 c | 6404 | 24.6 | 0 | 126090 | 394 | 380 | 337164710 | 10269141 || 6404 | 17661517 | 6/ 0 | 3827014 | 0 | 3687.06/3687.02 c | 6467 | 31.3 | 0 | 130377 | 325 | 381 | 338919053 | 10326274 || 6467 | 17755949 | 6/ 0 | 3847008 | 0 | 3719.56/3719.59 c | 6524 | 32.6 | 0 | 130398 | 5559 | 382 | 340664378 | 10383064 || 6524 | 17860544 | 6/ 0 | 3872259 | 0 | 3751.86/3751.89 c | 6585 | 32.3 | 0 | 132022 | 106 | 383 | 342425925 | 10439495 || 6585 | 17944941 | 6/ 0 | 3887275 | 0 | 3785.76/3785.74 c | 6648 | 33.9 | 0 | 134458 | 330 | 384 | 344171007 | 10496660 || 6648 | 18038405 | 6/ 0 | 3907225 | 0 | 3816.45/3816.46 c | 6652 | 30.7 | 0 | 135475 | 3215 | 385 | 345884782 | 10548795 || 6652 | 18149327 | 6/ 0 | 3932089 | 0 | 3847.16/3847.18 c | 6653 | 30.7 | 0 | 135916 | 3813 | 386 | 347501125 | 10599882 || 6653 | 18267462 | 6/ 0 | 3958627 | 0 | 3877.85/3877.86 c | 6690 | 30.7 | 0 | 137465 | 117 | 387 | 349321533 | 10652157 || 6690 | 18310773 | 6/ 0 | 3967761 | 0 | 3914.46/3914.47 c | 6754 | 36.6 | 0 | 135831 | 498 | 388 | 351079584 | 10709965 || 6754 | 18406962 | 6/ 0 | 3988151 | 0 | 3947.86/3947.83 c | 6795 | 33.4 | 0 | 137089 | 304 | 389 | 352833156 | 10765581 || 6795 | 18500423 | 6/ 0 | 4008505 | 0 | 3983.66/3983.69 c | 6860 | 35.9 | 0 | 137628 | 44 | 390 | 354604503 | 10823689 || 6860 | 18595658 | 6/ 0 | 4028678 | 0 | 4017.46/4017.42 c | 6907 | 33.7 | 0 | 138119 | 1355 | 391 | 356346222 | 10881081 || 6907 | 18701902 | 6/ 0 | 4051754 | 0 | 4048.66/4048.65 c | 6931 | 31.2 | 0 | 141200 | 495 | 392 | 358141818 | 10934574 || 6931 | 18783055 | 6/ 0 | 4069739 | 0 | 4085.76/4085.73 c | 6998 | 37.1 | 0 | 140755 | 80 | 393 | 359928343 | 10993411 || 6998 | 18880132 | 6/ 0 | 4090186 | 0 | 4119.97/4119.92 c | 7035 | 34.2 | 0 | 143518 | 4883 | 394 | 361688090 | 11048834 || 7035 | 18978795 | 6/ 0 | 4111534 | 0 | 4157.87/4157.89 c | 7098 | 38.0 | 0 | 143606 | 3017 | 395 | 363492979 | 11107166 || 7098 | 19073193 | 6/ 0 | 4131486 | 0 | 4195.77/4195.76 c | 7162 | 37.9 | 0 | 144809 | 4432 | 396 | 365266751 | 11166328 || 7162 | 19180688 | 6/ 0 | 4157956 | 0 | 4228.27/4228.24 c | 7164 | 32.5 | 0 | 146195 | 15736 | 397 | 367019168 | 11216832 || 7164 | 19301419 | 6/ 0 | 4197426 | 0 | 4260.87/4260.88 c | 7164 | 32.6 | 0 | 146097 | 17540 | 398 | 368754714 | 11268889 || 7164 | 19373213 | 6/ 0 | 4197925 | 0 | 4292.77/4292.71 c | 7165 | 31.8 | 0 | 146420 | 57845 | 399 | 370348909 | 11322290 || 7165 | 19547423 | 6/ 0 | 4250595 | 0 | 4325.39/4325.33 c | 7165 | 32.6 | 0 | 145326 | 21446 | 400 | 372093708 | 11373535 || 7165 | 19604129 | 6/ 0 | 4251029 | 0 | 4357.07/4357.04 c | 7194 | 31.7 | 0 | 143623 | 467 | 401 | 373965177 | 11425222 || 7194 | 19631935 | 6/ 0 | 4256858 | 0 | 4395.68/4395.64 c | 7258 | 38.6 | 0 | 137925 | 702 | 402 | 375790730 | 11485078 || 7258 | 19730021 | 6/ 0 | 4277670 | 0 | 4430.27/4430.27 c | 7299 | 34.6 | 0 | 137399 | 103 | 403 | 377568484 | 11542619 || 7299 | 19826987 | 6/ 0 | 4298865 | 0 | 4467.67/4467.64 c | 7369 | 37.4 | 0 | 138475 | 499 | 404 | 379385899 | 11603476 || 7369 | 19926143 | 6/ 0 | 4320067 | 0 | 4503.67/4503.62 c | 7419 | 36.0 | 0 | 142710 | 252 | 405 | 381174726 | 11662715 || 7419 | 20036748 | 6/ 0 | 4344112 | 0 | 4538.07/4538.09 c | 7444 | 34.5 | 0 | 146805 | 75 | 406 | 383001349 | 11716251 || 7444 | 20117565 | 6/ 0 | 4362186 | 0 | 4577.57/4577.59 c | 7513 | 39.5 | 0 | 149524 | 909 | 407 | 384819889 | 11776319 || 7513 | 20218860 | 6/ 0 | 4383946 | 0 | 4614.97/4614.99 c | 7553 | 37.4 | 0 | 151543 | 195 | 408 | 386603188 | 11833576 || 7553 | 20314251 | 6/ 0 | 4404707 | 0 | 4656.97/4656.97 c | 7624 | 42.0 | 0 | 152390 | 473 | 409 | 388412010 | 11894276 || 7624 | 20415681 | 6/ 0 | 4426308 | 0 | 4698.37/4698.36 c | 7674 | 41.4 | 0 | 154230 | 754 | 410 | 390240442 | 11953330 || 7674 | 20526791 | 6/ 0 | 4450364 | 0 | 4735.07/4735.00 c | 7676 | 36.6 | 0 | 154723 | 23051 | 411 | 392006741 | 12006795 || 7676 | 20654473 | 6/ 0 | 4489811 | 0 | 4769.79/4769.79 c | 7679 | 34.8 | 0 | 154278 | 43 | 412 | 393776267 | 12058318 || 7679 | 20703957 | 6/ 0 | 4490556 | 0 | 4812.59/4812.53 c | 7752 | 42.7 | 0 | 152454 | 286 | 413 | 395619780 | 12120284 || 7752 | 20805387 | 6/ 0 | 4512179 | 0 | 4852.78/4852.77 c | 7803 | 40.2 | 0 | 153285 | 658 | 414 | 397418584 | 12180345 || 7803 | 20917230 | 6/ 0 | 4536641 | 0 | 4894.88/4894.88 c | 7866 | 42.1 | 0 | 154499 | 794 | 415 | 399278078 | 12241486 || 7866 | 21011623 | 6/ 0 | 4556629 | 0 | 4937.59/4937.59 c | 7930 | 42.7 | 0 | 154863 | 4240 | 416 | 401114360 | 12302529 || 7930 | 21118749 | 6/ 0 | 4583069 | 0 | 4975.59/4975.55 c | 7945 | 38.0 | 0 | 156450 | 304 | 417 | 402965499 | 12358468 || 7945 | 21206768 | 6/ 0 | 4598907 | 0 | 5000.10/5000.01 c | 7993 | 24.5 | 0 | 180900 | 1050 | 417 | 404042440 | 12395254 || 7993 | 21269066 | 6/ 0 | 4613002 | 0 | 5000.10/5000.01 c c 5000.10/5000.01 c ----------------------------------- 5000.10/5000.01 c # temps = 5000.100000 5000.10/5000.01 c # cleaningDB = 417 5000.10/5000.01 c # clause binaire = 600 5000.10/5000.01 c # literal removed by litRedundant = 72966232 5000.10/5000.01 c # literal removed by litRedundantBin = 7120232 5000.10/5000.01 c # init clause removed by simplify = 0 5000.10/5000.01 c # learnt clause removed by simplify = 0 5000.10/5000.01 c # une clause fausse était une apprise = 0 5000.10/5000.01 c # equivalence dectecte = 0 5000.10/5000.01 c # Memory used : 67.52 MB 5000.10/5000.01 c 5000.10/5000.01 c ######################## 5000.10/5000.01 c #### ## ### ## #### 5000.10/5000.01 c #### #### # ## #### #### 5000.10/5000.01 c #### ## ### ## ### 5000.10/5000.01 c ######################## 5000.10/5000.01 c # restart = 7993 5000.10/5000.01 c # conflit = 8907481 5000.10/5000.01 c # decision = 12395254 5000.10/5000.01 c # propagation = 404042440 (80806.871863 (prop/sec)) 5000.10/5000.01 c 5000.10/5000.01 c ######################## 5000.10/5000.01 c ### ### # ## ## ## 5000.10/5000.01 c ### # # # #### # ### ### 5000.10/5000.01 c ### # ### ## # ### ### 5000.10/5000.01 c ######################## 5000.10/5000.01 c # numtry = 7993 5000.10/5000.01 c # numflips = 21269066 5000.10/5000.01 c # maxSat = 6 5000.10/5000.01 c # freeFlip = 6407963 5000.10/5000.01 c # nbBoundary = 0 5000.10/5000.01 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-3438620-1306894021/watcher-3438620-1306894021 -o /tmp/evaluation-result-3438620-1306894021/solver-3438620-1306894021 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438620-1306894021.cnf rnovelty running on 4 cores: 1,3,5,7 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: 1.06 1.02 1.18 3/510 11939 /proc/meminfo: memFree=6931288/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8568 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) R 11935 11939 10497 0 -1 4194304 145 0 0 0 0 0 0 0 20 0 1 0 781818204 8773632 86 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106165424 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11939/statm: 2142 86 66 178 0 35 0 [startup+0.120338 s] /proc/loadavg: 1.06 1.02 1.18 3/510 11939 /proc/meminfo: memFree=6931288/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200322 s] /proc/loadavg: 1.06 1.02 1.18 3/510 11939 /proc/meminfo: memFree=6931288/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300303 s] /proc/loadavg: 1.06 1.02 1.18 3/510 11939 /proc/meminfo: memFree=6931288/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700245 s] /proc/loadavg: 1.06 1.02 1.18 3/510 11939 /proc/meminfo: memFree=6931288/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50109 s] /proc/loadavg: 1.13 1.03 1.19 3/516 11947 /proc/meminfo: memFree=6924180/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=9744 CPUtime=1.47 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 920 0 0 0 147 0 0 0 20 0 1 0 781818206 9977856 830 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 2436 830 135 12 0 900 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 27152 [startup+3.10081 s] /proc/loadavg: 1.13 1.03 1.19 3/516 11947 /proc/meminfo: memFree=6920336/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=10536 CPUtime=3.07 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 1131 0 0 0 307 0 0 0 25 0 1 0 781818206 10788864 1041 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 2634 1041 135 12 0 1098 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 27944 [startup+6.30025 s] /proc/loadavg: 1.13 1.03 1.19 4/516 11947 /proc/meminfo: memFree=6916884/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=11904 CPUtime=6.27 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 1460 0 0 0 627 0 0 0 25 0 1 0 781818206 12189696 1370 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223603 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 2976 1370 136 12 0 1440 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 29312 [startup+12.7011 s] /proc/loadavg: 1.26 1.07 1.19 3/516 11947 /proc/meminfo: memFree=6912272/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=13164 CPUtime=12.67 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 1790 0 0 0 1267 0 0 0 25 0 1 0 781818206 13479936 1699 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 3291 1699 136 12 0 1755 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 30572 [startup+25.5009 s] /proc/loadavg: 1.38 1.10 1.20 4/516 11948 /proc/meminfo: memFree=6907692/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=15480 CPUtime=25.47 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 2365 0 0 0 2547 0 0 0 25 0 1 0 781818206 15851520 2261 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 3870 2261 136 12 0 2334 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 32888 [startup+51.1004 s] /proc/loadavg: 1.62 1.18 1.22 3/516 11948 /proc/meminfo: memFree=6902428/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=18372 CPUtime=51.07 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 3164 0 0 0 5107 0 0 0 25 0 1 0 781818206 18812928 2977 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 4593 2977 136 12 0 3057 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35780 [startup+102.3 s] /proc/loadavg: 1.83 1.31 1.26 3/516 11950 /proc/meminfo: memFree=6894556/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=21668 CPUtime=102.28 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 4203 0 0 0 10228 0 0 0 25 0 1 0 781818206 22188032 3817 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 5417 3817 136 12 0 3881 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 39076 [startup+162.301 s] /proc/loadavg: 1.94 1.43 1.31 3/516 11951 /proc/meminfo: memFree=6886296/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=24556 CPUtime=162.27 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 5165 0 0 0 16227 0 0 0 25 0 1 0 781818206 25145344 4553 33554432000 4194304 4241092 140733299858912 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 6139 4553 136 12 0 4603 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 41964 [startup+222.32 s] /proc/loadavg: 1.98 1.53 1.35 4/516 11953 /proc/meminfo: memFree=6881500/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=26696 CPUtime=222.29 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 5951 0 0 0 22229 0 0 0 25 0 1 0 781818206 27336704 5068 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 6674 5068 136 12 0 5138 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 44104 [startup+282.301 s] ################ # More data... # ################ [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=68944 CPUtime=4482.37 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27195 0 0 0 448225 12 0 0 25 0 1 0 781818206 70598656 15614 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17236 15614 136 12 0 15700 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 86352 [startup+4542.3 s] /proc/loadavg: 2.03 2.04 2.00 4/516 12086 /proc/meminfo: memFree=6795936/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=68912 CPUtime=4542.37 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27310 0 0 0 454225 12 0 0 25 0 1 0 781818206 70565888 15605 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17228 15605 136 12 0 15692 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 86320 [startup+4602.3 s] /proc/loadavg: 2.01 2.03 2.00 4/516 12088 /proc/meminfo: memFree=6795488/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69104 CPUtime=4602.37 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27422 0 0 0 460225 12 0 0 25 0 1 0 781818206 70762496 15654 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17276 15654 136 12 0 15740 0 Current children cumulated CPU time (s) 4602.37 Current children cumulated vsize (KiB) 86512 [startup+4662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 12089 /proc/meminfo: memFree=6792816/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=68944 CPUtime=4662.37 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27521 0 0 0 466225 12 0 0 25 0 1 0 781818206 70598656 15621 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17236 15621 136 12 0 15700 0 Current children cumulated CPU time (s) 4662.37 Current children cumulated vsize (KiB) 86352 [startup+4722.3 s] /proc/loadavg: 2.04 2.03 2.00 4/516 12094 /proc/meminfo: memFree=6791268/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69136 CPUtime=4722.39 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27631 0 0 0 472227 12 0 0 25 0 1 0 781818206 70795264 15665 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17284 15665 136 12 0 15748 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 86544 [startup+4782.3 s] /proc/loadavg: 2.01 2.02 2.00 4/516 12096 /proc/meminfo: memFree=6792316/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69008 CPUtime=4782.37 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27759 0 0 0 478225 12 0 0 25 0 1 0 781818206 70664192 15652 33554432000 4194304 4241092 140733299858912 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17252 15652 136 12 0 15716 0 Current children cumulated CPU time (s) 4782.37 Current children cumulated vsize (KiB) 86416 [startup+4842.32 s] /proc/loadavg: 2.00 2.02 2.00 4/516 12097 /proc/meminfo: memFree=6790536/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69136 CPUtime=4842.4 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27861 0 0 0 484228 12 0 0 25 0 1 0 781818206 70795264 15684 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223722 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17284 15684 136 12 0 15748 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 86544 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 4/516 12099 /proc/meminfo: memFree=6790728/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=68976 CPUtime=4902.38 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 27957 0 0 0 490226 12 0 0 25 0 1 0 781818206 70631424 15644 33554432000 4194304 4241092 140733299858912 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17244 15644 136 12 0 15708 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 86384 [startup+4962.3 s] /proc/loadavg: 2.13 2.05 2.01 4/516 12100 /proc/meminfo: memFree=6789940/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69136 CPUtime=4962.39 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 28069 0 0 0 496226 13 0 0 25 0 1 0 781818206 70795264 15685 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17284 15685 136 12 0 15748 0 Current children cumulated CPU time (s) 4962.39 Current children cumulated vsize (KiB) 86544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.18 2.07 2.02 3/510 12120 /proc/meminfo: memFree=6860104/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69136 CPUtime=5000.1 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 28127 0 0 0 499997 13 0 0 25 0 1 0 781818206 70795264 15679 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17284 15679 136 12 0 15748 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 86544 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.18 2.07 2.02 3/510 12120 /proc/meminfo: memFree=6860104/32951124 swapFree=67111204/67111528 [pid=11939] ppid=11935 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11939/stat : 11939 (esg_static.sh) S 11935 11939 10497 0 -1 4202496 349 167 0 0 0 0 0 0 20 0 1 0 781818204 8912896 256 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106768640 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/11939/statm: 2176 256 211 178 0 69 0 [pid=11946] ppid=11939 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11946/stat : 11946 (esg_static.sh) S 11939 11939 10497 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 781818206 8912896 135 33554432000 4194304 4922060 140734144900528 18446744073709551615 255106587781 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11946/statm: 2176 135 90 178 0 69 0 [pid=11947] ppid=11946 vsize=69136 CPUtime=5000.1 cores=1,3,5,7 /proc/11947/stat : 11947 (sathys) R 11946 11939 10497 0 -1 4202496 28127 0 0 0 499997 13 0 0 25 0 1 0 781818206 70795264 15679 33554432000 4194304 4241092 140733299858912 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0 /proc/11947/statm: 17284 15679 136 12 0 15748 0 Current children cumulated CPU time (s) 5000.1 Current children cumulated vsize (KiB) 86544 Child status: 0 Real time (s): 5000.02 CPU time (s): 5000.12 CPU user time (s): 4999.98 CPU system time (s): 0.140978 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 86672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4999.98 system time used= 0.140978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29022 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= 26 involuntary context switches= 8667 runsolver used 24.8122 second user time and 64.9611 second system time The end
Begin job on node144 at 2011-06-01 04:07:01 IDJOB=3438620 IDBENCH=83139 IDSOLVER=1935 FILE ID=node144/3438620-1306894021 RUNJOBID= node144-1306894021-11921 PBS_JOBID= 13488432 Free space on /tmp= 7484 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n300-s12830984-sat.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438620-1306894021/watcher-3438620-1306894021 -o /tmp/evaluation-result-3438620-1306894021/solver-3438620-1306894021 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438620-1306894021.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8561dcfb17af254a7261755a5f31a440 RANDOM SEED=1653113648 node144.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.850 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.850 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 : 5226.16 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.850 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.850 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.83 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.850 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.850 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.82 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.850 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.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 6931732 kB Buffers: 89496 kB Cached: 10240996 kB SwapCached: 140 kB Active: 19487844 kB Inactive: 6004984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 6931732 kB SwapTotal: 67111528 kB SwapFree: 67111204 kB Dirty: 1572 kB Writeback: 0 kB AnonPages: 15161344 kB Mapped: 41816 kB Slab: 386808 kB PageTables: 69756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 157743636 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= 7484 MiB End job on node144 at 2011-06-01 05:30:21