Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sathys 2011-04-01 | ? (TO) | 5000.06 | 5000.03 |
Name | CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf |
MD5SUM | 140eea74f7e66501965365160d02fa4d |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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-3438460-1306885010.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.63 c | 0 | 212478 711538 | -- 0 -- -- | -- | -2686/279250 0.00/0.63 c ============================================================================== 0.00/0.63 c Result : #vars: 2030 #clauses: 212478 #literals: 711538 0.00/0.63 c CPU time: 0.620905 s 0.00/0.63 c ============================================================================== 0.74/0.89 c 0.74/0.89 c seed = 0, numatom = 2030, numclause = 10145, numliterals = 711538 0.74/0.89 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.74/0.89 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.74/0.89 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.74/0.99 c | 2 | 0.1 | 0 | 501 | 198 | 1 | 75561 | 2345 || 2 | 5238 | 35/ 0 | 250 | 0 | 0.74/1.08 c | 4 | 0.1 | 0 | 985 | 299 | 2 | 168835 | 4993 || 4 | 9700 | 28/ 0 | 593 | 0 | 1.10/1.17 c | 6 | 0.1 | 0 | 1522 | 193 | 3 | 270276 | 7858 || 6 | 14009 | 28/ 0 | 936 | 0 | 1.21/1.29 c | 7 | 0.1 | 0 | 2037 | 393 | 4 | 386188 | 10245 || 7 | 18643 | 28/ 0 | 1372 | 0 | 1.39/1.41 c | 11 | 0.1 | 0 | 2490 | 293 | 5 | 510076 | 14058 || 11 | 25415 | 28/ 0 | 1926 | 0 | 1.49/1.55 c | 14 | 0.1 | 0 | 3215 | 490 | 6 | 658605 | 18540 || 14 | 34110 | 28/ 0 | 2705 | 0 | 1.69/1.71 c | 15 | 0.2 | 0 | 3941 | 993 | 7 | 810913 | 22321 || 15 | 42755 | 28/ 0 | 3596 | 0 | 1.79/1.86 c | 16 | 0.2 | 0 | 4273 | 94 | 8 | 981958 | 25545 || 16 | 45552 | 28/ 0 | 3721 | 0 | 1.98/2.05 c | 21 | 0.2 | 0 | 4629 | 95 | 9 | 1167778 | 31272 || 21 | 55597 | 28/ 0 | 4502 | 0 | 2.20/2.25 c | 25 | 0.2 | 0 | 5263 | 194 | 10 | 1362510 | 36261 || 25 | 64875 | 28/ 0 | 5379 | 0 | 2.38/2.46 c | 29 | 0.2 | 0 | 5914 | 593 | 11 | 1585285 | 42401 || 29 | 76587 | 28/ 0 | 6274 | 0 | 2.58/2.69 c | 30 | 0.2 | 0 | 6409 | 391 | 12 | 1791753 | 47349 || 30 | 85691 | 28/ 0 | 7158 | 0 | 2.88/2.93 c | 31 | 0.2 | 0 | 6811 | 2092 | 13 | 1993924 | 52607 || 31 | 99784 | 28/ 0 | 8887 | 0 | 3.08/3.15 c | 31 | 0.2 | 0 | 7292 | 1491 | 14 | 2247174 | 55861 || 31 | 101994 | 28/ 0 | 8905 | 0 | 3.40/3.43 c | 38 | 0.3 | 0 | 7939 | 384 | 15 | 2520340 | 63455 || 38 | 115755 | 28/ 0 | 10241 | 0 | 3.68/3.71 c | 44 | 0.3 | 0 | 8552 | 282 | 16 | 2803851 | 70502 || 44 | 127821 | 25/ 0 | 11149 | 0 | 3.98/4.03 c | 46 | 0.3 | 0 | 9253 | 277 | 17 | 3116168 | 77600 || 46 | 142418 | 25/ 0 | 12488 | 0 | 4.28/4.35 c | 53 | 0.3 | 0 | 9551 | 270 | 18 | 3448758 | 85352 || 53 | 155689 | 25/ 0 | 13826 | 0 | 4.58/4.69 c | 59 | 0.3 | 0 | 10437 | 163 | 19 | 3785528 | 93289 || 59 | 168969 | 25/ 0 | 14756 | 0 | 4.98/5.04 c | 61 | 0.4 | 0 | 11501 | 763 | 20 | 4124144 | 99502 || 61 | 181008 | 25/ 0 | 16068 | 0 | 5.38/5.45 c | 62 | 0.4 | 0 | 11579 | 866 | 21 | 4478204 | 106363 || 62 | 197444 | 25/ 0 | 17828 | 0 | 5.78/5.88 c | 63 | 0.4 | 0 | 11607 | 3468 | 22 | 4886811 | 113873 || 63 | 219302 | 24/ 0 | 21233 | 0 | 6.28/6.33 c | 63 | 0.4 | 0 | 11542 | 1369 | 23 | 5278449 | 120277 || 63 | 229861 | 24/ 0 | 21325 | 0 | 6.70/6.76 c | 67 | 0.4 | 0 | 12141 | 64 | 24 | 5707353 | 127127 || 67 | 236441 | 24/ 0 | 21877 | 0 | 7.18/7.22 c | 76 | 0.5 | 0 | 12241 | 51 | 25 | 6129880 | 137816 || 76 | 255276 | 24/ 0 | 23540 | 0 | 7.58/7.70 c | 81 | 0.5 | 0 | 12562 | 146 | 26 | 6571652 | 147401 || 81 | 272302 | 24/ 0 | 25298 | 0 | 8.18/8.21 c | 90 | 0.5 | 0 | 13254 | 33 | 27 | 7037670 | 159230 || 90 | 292103 | 22/ 0 | 26881 | 0 | 8.68/8.72 c | 94 | 0.5 | 0 | 14448 | 1133 | 28 | 7514174 | 168996 || 94 | 314183 | 22/ 0 | 30060 | 0 | 9.18/9.28 c | 97 | 0.6 | 0 | 15316 | 134 | 29 | 8016406 | 177922 || 97 | 327920 | 22/ 0 | 30568 | 0 | 9.78/9.85 c | 107 | 0.6 | 0 | 15945 | 25 | 30 | 8516689 | 189675 || 107 | 349117 | 22/ 0 | 32323 | 0 | 10.38/10.44 c | 113 | 0.6 | 0 | 16266 | 23 | 31 | 9034937 | 200928 || 113 | 369313 | 22/ 0 | 34202 | 0 | 11.00/11.06 c | 123 | 0.6 | 0 | 17316 | 107 | 32 | 9568963 | 213460 || 123 | 392184 | 22/ 0 | 36305 | 0 | 11.68/11.71 c | 125 | 0.6 | 0 | 18096 | 206 | 33 | 10057162 | 223490 || 125 | 415531 | 22/ 0 | 38910 | 0 | 12.28/12.39 c | 126 | 0.7 | 0 | 18097 | 4007 | 34 | 10565524 | 233556 || 126 | 440698 | 22/ 0 | 42344 | 0 | 12.98/13.02 c | 126 | 0.6 | 0 | 18210 | 3108 | 35 | 11144390 | 241373 || 126 | 446936 | 22/ 0 | 42397 | 0 | 13.78/13.84 c | 127 | 0.8 | 0 | 18985 | 7111 | 36 | 11667333 | 253277 || 127 | 487670 | 22/ 0 | 49172 | 0 | 14.58/14.64 c | 127 | 0.8 | 0 | 18340 | 1608 | 37 | 12225930 | 262381 || 127 | 504692 | 22/ 0 | 49332 | 0 | 15.28/15.33 c | 127 | 0.7 | 0 | 17515 | 5810 | 38 | 12841047 | 269315 || 127 | 504692 | 22/ 0 | 49332 | 0 | 15.98/16.09 c | 140 | 0.8 | 0 | 18831 | 190 | 39 | 13494788 | 283245 || 140 | 529098 | 22/ 0 | 51576 | 0 | 16.78/16.84 c | 149 | 0.7 | 0 | 20137 | 283 | 40 | 14122107 | 297376 || 149 | 554980 | 22/ 0 | 54198 | 0 | 17.60/17.65 c | 157 | 0.8 | 0 | 21705 | 579 | 41 | 14813834 | 311325 || 157 | 581486 | 22/ 0 | 56449 | 0 | 18.38/18.48 c | 163 | 0.8 | 0 | 22124 | 70 | 42 | 15486260 | 324503 || 163 | 605481 | 22/ 0 | 58856 | 0 | 19.28/19.36 c | 173 | 0.9 | 0 | 23935 | 260 | 43 | 16173456 | 339667 || 173 | 635195 | 22/ 0 | 61692 | 0 | 20.18/20.25 c | 187 | 0.9 | 0 | 25216 | 427 | 44 | 16884457 | 355147 || 187 | 662810 | 22/ 0 | 64326 | 0 | 21.18/21.20 c | 189 | 0.9 | 0 | 24860 | 1125 | 45 | 17574379 | 368737 || 189 | 688834 | 22/ 0 | 66981 | 0 | 22.18/22.26 c | 190 | 1.1 | 0 | 24958 | 1325 | 46 | 18284643 | 381778 || 190 | 718481 | 18/ 0 | 70443 | 0 | 23.20/23.29 c | 201 | 1.0 | 0 | 24328 | 220 | 47 | 19083836 | 396605 || 201 | 739461 | 18/ 0 | 72317 | 0 | 24.20/24.26 c | 212 | 1.0 | 0 | 24344 | 13 | 48 | 19810694 | 412838 || 212 | 770264 | 18/ 0 | 75321 | 0 | 25.18/25.25 c | 221 | 1.0 | 0 | 25224 | 1695 | 49 | 20580620 | 429100 || 221 | 803630 | 18/ 0 | 79226 | 0 | 26.18/26.27 c | 231 | 1.0 | 0 | 26063 | 75 | 50 | 21385961 | 444387 || 231 | 828818 | 18/ 0 | 81062 | 0 | 27.28/27.30 c | 243 | 1.0 | 0 | 26578 | 169 | 51 | 22189475 | 461445 || 243 | 860203 | 18/ 0 | 84137 | 0 | 28.38/28.44 c | 252 | 1.1 | 0 | 27746 | 2146 | 52 | 23031284 | 478131 || 252 | 896307 | 18/ 0 | 88090 | 0 | 29.48/29.53 c | 253 | 1.1 | 0 | 29415 | 646 | 53 | 23892104 | 492049 || 253 | 928869 | 18/ 0 | 91577 | 0 | 30.68/30.76 c | 254 | 1.2 | 0 | 30101 | 6447 | 54 | 24758663 | 505739 || 254 | 965690 | 18/ 0 | 98322 | 0 | 32.18/32.23 c | 254 | 1.5 | 0 | 30485 | 2748 | 55 | 25675020 | 517848 || 254 | 987482 | 18/ 0 | 98496 | 0 | 33.38/33.49 c | 255 | 1.3 | 0 | 29619 | 8751 | 56 | 26490248 | 530287 || 255 | 1029215 | 18/ 0 | 111686 | 0 | 34.78/34.84 c | 255 | 1.3 | 0 | 29774 | 6101 | 57 | 27188283 | 546376 || 255 | 1070818 | 18/ 0 | 112074 | 0 | 36.40/36.44 c | 255 | 1.6 | 0 | 28323 | 1851 | 58 | 27935660 | 559594 || 255 | 1098228 | 18/ 0 | 112298 | 0 | 37.78/37.82 c | 255 | 1.4 | 0 | 26414 | 8153 | 59 | 28901501 | 568421 || 255 | 1098228 | 18/ 0 | 112298 | 0 | 39.08/39.15 c | 262 | 1.3 | 0 | 27810 | 340 | 60 | 29900102 | 581157 || 262 | 1110916 | 18/ 0 | 113614 | 0 | 40.38/40.42 c | 277 | 1.3 | 0 | 29669 | 422 | 61 | 30845742 | 602917 || 277 | 1149196 | 18/ 0 | 117133 | 0 | 41.80/41.87 c | 286 | 1.4 | 0 | 31793 | 406 | 62 | 31792599 | 622463 || 286 | 1188311 | 18/ 0 | 121096 | 0 | 43.18/43.25 c | 301 | 1.4 | 0 | 30644 | 1079 | 63 | 32810864 | 644739 || 301 | 1225842 | 18/ 0 | 124617 | 0 | 44.58/44.62 c | 316 | 1.4 | 0 | 33153 | 254 | 64 | 33848674 | 665722 || 316 | 1263529 | 18/ 0 | 128138 | 0 | 46.08/46.10 c | 318 | 1.5 | 0 | 35167 | 4754 | 65 | 34763134 | 683772 || 318 | 1308399 | 18/ 0 | 133348 | 0 | 47.48/47.56 c | 331 | 1.5 | 0 | 33676 | 236 | 66 | 35857353 | 701586 || 331 | 1332050 | 18/ 0 | 135559 | 0 | 48.98/49.09 c | 347 | 1.5 | 0 | 31790 | 4 | 67 | 36908884 | 724151 || 347 | 1373265 | 18/ 0 | 139527 | 0 | 50.60/50.64 c | 356 | 1.6 | 0 | 32516 | 589 | 68 | 38039272 | 743950 || 356 | 1410994 | 18/ 0 | 143480 | 0 | 52.19/52.21 c | 374 | 1.6 | 0 | 34114 | 162 | 69 | 39152977 | 766541 || 374 | 1450956 | 18/ 0 | 147465 | 0 | 53.79/53.85 c | 381 | 1.6 | 0 | 34826 | 2246 | 70 | 40207919 | 787729 || 381 | 1496852 | 18/ 0 | 154258 | 0 | 55.29/55.39 c | 382 | 1.5 | 0 | 34777 | 4943 | 71 | 41256402 | 806106 || 382 | 1542130 | 18/ 0 | 161056 | 0 | 57.09/57.10 c | 382 | 1.7 | 0 | 36848 | 2942 | 72 | 42302018 | 824508 || 382 | 1578280 | 18/ 0 | 161375 | 0 | 58.79/58.84 c | 396 | 1.8 | 0 | 37070 | 420 | 73 | 43487139 | 844160 || 396 | 1605483 | 18/ 0 | 164027 | 0 | 60.50/60.58 c | 412 | 1.7 | 0 | 37703 | 1196 | 74 | 44642396 | 867713 || 412 | 1650822 | 18/ 0 | 168466 | 0 | 62.29/62.36 c | 426 | 1.8 | 0 | 38526 | 75 | 75 | 45837125 | 891239 || 426 | 1691579 | 18/ 0 | 172431 | 0 | 64.19/64.21 c | 443 | 1.9 | 0 | 39171 | 1044 | 76 | 46969238 | 915600 || 443 | 1737494 | 18/ 0 | 177252 | 0 | 65.89/65.98 c | 445 | 1.8 | 0 | 40545 | 741 | 77 | 48067950 | 936339 || 445 | 1785395 | 18/ 0 | 182479 | 0 | 67.79/67.83 c | 460 | 1.9 | 0 | 40821 | 111 | 78 | 49306903 | 958462 || 460 | 1822264 | 18/ 0 | 186029 | 0 | 69.69/69.70 c | 476 | 1.9 | 0 | 42315 | 1977 | 79 | 50551664 | 983124 || 476 | 1871784 | 18/ 0 | 191264 | 0 | 71.61/71.64 c | 491 | 1.9 | 0 | 43006 | 746 | 80 | 51776107 | 1006721 || 491 | 1911924 | 18/ 0 | 194806 | 0 | 73.70/73.74 c | 507 | 2.1 | 0 | 43981 | 418 | 81 | 53008115 | 1032690 || 507 | 1963060 | 18/ 0 | 200053 | 0 | 75.79/75.86 c | 509 | 2.1 | 0 | 44010 | 4218 | 82 | 54207121 | 1052475 || 509 | 2013734 | 13/ 0 | 210116 | 0 | 78.10/78.16 c | 509 | 2.3 | 0 | 44432 | 3317 | 83 | 55412472 | 1071935 || 509 | 2050406 | 13/ 0 | 210427 | 0 | 80.19/80.26 c | 510 | 2.1 | 0 | 43413 | 12120 | 84 | 56554166 | 1092273 || 510 | 2113498 | 13/ 0 | 223800 | 0 | 82.79/82.81 c | 510 | 2.5 | 0 | 43276 | 1821 | 85 | 57671773 | 1112276 || 510 | 2157382 | 13/ 0 | 224200 | 0 | 85.19/85.27 c | 510 | 2.5 | 0 | 41644 | 10822 | 86 | 59048178 | 1124328 || 510 | 2157382 | 13/ 0 | 224200 | 0 | 87.69/87.76 c | 511 | 2.5 | 0 | 41747 | 19924 | 87 | 60189593 | 1145770 || 511 | 2252853 | 13/ 0 | 250649 | 0 | 90.49/90.56 c | 511 | 2.8 | 0 | 40038 | 9205 | 88 | 61289470 | 1169087 || 511 | 2312756 | 13/ 0 | 251142 | 0 | 93.29/93.38 c | 511 | 2.8 | 0 | 36822 | 31 | 89 | 62461793 | 1193693 || 511 | 2377632 | 13/ 0 | 251714 | 0 | 95.19/95.24 c | 511 | 1.9 | 0 | 36128 | 9433 | 90 | 63816084 | 1208311 || 511 | 2377632 | 13/ 0 | 251714 | 0 | 97.29/97.31 c | 511 | 2.1 | 0 | 39050 | 18934 | 91 | 65150561 | 1222505 || 511 | 2377632 | 13/ 0 | 251714 | 0 | 99.39/99.45 c | 521 | 2.1 | 0 | 46092 | 219 | 92 | 66513530 | 1242666 || 521 | 2395878 | 13/ 0 | 253473 | 0 | 101.49/101.51 c | 541 | 2.0 | 0 | 47714 | 583 | 93 | 67933013 | 1274183 || 541 | 2451566 | 13/ 0 | 258763 | 0 | 103.51/103.57 c | 557 | 2.1 | 0 | 48841 | 752 | 94 | 69289095 | 1302933 || 557 | 2506649 | 13/ 0 | 264088 | 0 | 105.79/105.83 c | 574 | 2.3 | 0 | 53124 | 1820 | 95 | 70765859 | 1334390 || 574 | 2569022 | 13/ 0 | 272621 | 0 | 108.09/108.13 c | 587 | 2.3 | 0 | 54966 | 297 | 96 | 72232005 | 1362397 || 587 | 2617682 | 13/ 0 | 275073 | 0 | 110.48/110.59 c | 605 | 2.5 | 0 | 55748 | 1874 | 97 | 73744892 | 1394228 || 605 | 2680242 | 13/ 0 | 281626 | 0 | 112.98/113.03 c | 627 | 2.4 | 0 | 51539 | 241 | 98 | 75302832 | 1424322 || 627 | 2732288 | 13/ 0 | 286480 | 0 | 115.38/115.44 c | 637 | 2.4 | 0 | 48557 | 3928 | 99 | 76714292 | 1452410 || 637 | 2797386 | 13/ 0 | 293848 | 0 | 117.80/117.90 c | 638 | 2.5 | 0 | 50401 | 9530 | 100 | 78174103 | 1476982 || 638 | 2859022 | 13/ 0 | 300775 | 0 | 120.28/120.38 c | 652 | 2.5 | 0 | 50467 | 208 | 101 | 79808601 | 1500862 || 652 | 2884705 | 13/ 0 | 303445 | 0 | 122.98/123.06 c | 669 | 2.7 | 0 | 53296 | 177 | 102 | 81347182 | 1532822 || 669 | 2947805 | 13/ 0 | 309615 | 0 | 125.68/125.75 c | 694 | 2.7 | 0 | 52558 | 132 | 103 | 82947714 | 1563665 || 694 | 3001395 | 13/ 0 | 314896 | 0 | 128.38/128.40 c | 701 | 2.7 | 0 | 54266 | 820 | 104 | 84490200 | 1592397 || 701 | 3065945 | 13/ 0 | 321865 | 0 | 131.18/131.21 c | 723 | 2.8 | 0 | 54528 | 78 | 105 | 86134731 | 1623160 || 723 | 3116195 | 13/ 0 | 326706 | 0 | 133.98/134.05 c | 744 | 2.8 | 0 | 55052 | 132 | 106 | 87721470 | 1653665 || 744 | 3172888 | 13/ 0 | 332617 | 0 | 136.98/137.04 c | 763 | 3.0 | 0 | 55920 | 88 | 107 | 89296990 | 1687260 || 763 | 3239928 | 13/ 0 | 339451 | 0 | 140.08/140.15 c | 765 | 3.1 | 0 | 53695 | 6485 | 108 | 90979495 | 1714273 || 765 | 3306497 | 13/ 0 | 349658 | 0 | 143.00/143.06 c | 766 | 2.9 | 0 | 53855 | 8186 | 109 | 92625810 | 1737036 || 766 | 3364983 | 13/ 0 | 362960 | 0 | 146.30/146.36 c | 766 | 3.3 | 0 | 54382 | 385 | 110 | 94108194 | 1767335 || 766 | 3441810 | 13/ 0 | 363655 | 0 | 149.28/149.34 c | 766 | 3.0 | 0 | 53798 | 11886 | 111 | 95866373 | 1784334 || 766 | 3441810 | 13/ 0 | 363655 | 0 | 152.38/152.48 c | 795 | 3.1 | 0 | 55639 | 425 | 112 | 97611009 | 1819052 || 795 | 3502320 | 13/ 0 | 369823 | 0 | 155.78/155.82 c | 812 | 3.3 | 0 | 56495 | 686 | 113 | 99391895 | 1851628 || 812 | 3564198 | 13/ 0 | 376014 | 0 | 159.08/159.11 c | 829 | 3.3 | 0 | 56752 | 3668 | 114 | 101199339 | 1883627 || 829 | 3635316 | 13/ 0 | 384624 | 0 | 162.48/162.55 c | 849 | 3.4 | 0 | 58806 | 26 | 115 | 103031023 | 1915678 || 849 | 3686253 | 13/ 0 | 388919 | 0 | 165.88/165.90 c | 872 | 3.3 | 0 | 58551 | 175 | 116 | 104857650 | 1949988 || 872 | 3750267 | 13/ 0 | 395446 | 0 | 169.28/169.36 c | 891 | 3.5 | 0 | 60942 | 1137 | 117 | 106691387 | 1983452 || 891 | 3814405 | 13/ 0 | 402214 | 0 | 172.80/172.88 c | 893 | 3.5 | 0 | 59177 | 8537 | 118 | 108280738 | 2012245 || 893 | 3891467 | 13/ 0 | 412498 | 0 | 176.59/176.66 c | 908 | 3.8 | 0 | 58539 | 417 | 119 | 110105498 | 2039633 || 908 | 3927734 | 13/ 0 | 416047 | 0 | 180.09/180.11 c | 929 | 3.5 | 0 | 60721 | 88 | 120 | 111991559 | 2073681 || 929 | 3990841 | 13/ 0 | 422029 | 0 | 183.81/183.86 c | 955 | 3.8 | 0 | 62296 | 1647 | 121 | 113888897 | 2110466 || 955 | 4064397 | 13/ 0 | 430153 | 0 | 187.39/187.41 c | 969 | 3.5 | 0 | 62901 | 34 | 122 | 115707066 | 2141141 || 969 | 4123871 | 13/ 0 | 435886 | 0 | 191.09/191.17 c | 990 | 3.8 | 0 | 65636 | 195 | 123 | 117604446 | 2174866 || 990 | 4189445 | 13/ 0 | 442882 | 0 | 194.89/194.97 c | 1018 | 3.8 | 0 | 67324 | 1242 | 124 | 119480250 | 2211955 || 1018 | 4261695 | 13/ 0 | 451131 | 0 | 198.78/198.90 c | 1020 | 3.9 | 0 | 69399 | 6937 | 125 | 121293553 | 2242756 || 1020 | 4340511 | 13/ 0 | 461443 | 0 | 203.09/203.16 c | 1021 | 4.3 | 0 | 68722 | 10337 | 126 | 123068025 | 2268911 || 1021 | 4410106 | 13/ 0 | 474844 | 0 | 207.59/207.62 c | 1021 | 4.5 | 0 | 68534 | 4236 | 127 | 124778851 | 2296652 || 1021 | 4468459 | 13/ 0 | 475298 | 0 | 211.88/211.92 c | 1022 | 4.3 | 0 | 67678 | 17441 | 128 | 126621170 | 2321479 || 1022 | 4550108 | 13/ 0 | 501647 | 0 | 216.70/216.73 c | 1022 | 4.8 | 0 | 67971 | 13301 | 129 | 128275804 | 2356532 || 1022 | 4644650 | 13/ 0 | 502461 | 0 | 221.28/221.38 c | 1022 | 4.7 | 0 | 64218 | 5740 | 130 | 130135408 | 2384695 || 1022 | 4697244 | 13/ 0 | 502900 | 0 | 225.78/225.86 c | 1022 | 4.5 | 0 | 59226 | 19241 | 131 | 132231657 | 2404053 || 1022 | 4697244 | 13/ 0 | 502900 | 0 | 230.38/230.48 c | 1023 | 4.6 | 0 | 57680 | 32843 | 132 | 134217425 | 2432895 || 1023 | 4844793 | 13/ 0 | 555431 | 0 | 235.40/235.44 c | 1023 | 5.0 | 0 | 57611 | 13702 | 133 | 136060325 | 2467085 || 1023 | 4939049 | 13/ 0 | 556194 | 0 | 240.78/240.83 c | 1023 | 5.4 | 0 | 57133 | 13803 | 134 | 137912397 | 2500837 || 1023 | 5032114 | 13/ 0 | 556951 | 0 | 246.58/246.65 c | 1023 | 5.8 | 0 | 51392 | 13906 | 135 | 139738997 | 2533100 || 1023 | 5120779 | 13/ 0 | 557681 | 0 | 252.28/252.32 c | 1023 | 5.7 | 0 | 51667 | 11447 | 136 | 141709676 | 2554898 || 1023 | 5137033 | 13/ 0 | 557813 | 0 | 256.89/256.96 c | 1023 | 4.6 | 0 | 57224 | 25550 | 137 | 143527486 | 2575068 || 1023 | 5137033 | 13/ 0 | 557813 | 0 | 262.19/262.26 c | 1023 | 5.3 | 0 | 61878 | 39751 | 138 | 145499977 | 2594649 || 1023 | 5137033 | 13/ 0 | 557813 | 0 | 267.41/267.44 c | 1033 | 5.2 | 0 | 68338 | 139 | 139 | 147511677 | 2620562 || 1033 | 5155413 | 13/ 0 | 559574 | 0 | 270.71/270.76 c | 1059 | 3.3 | 0 | 79716 | 77 | 140 | 149587722 | 2665104 || 1059 | 5235687 | 13/ 0 | 567330 | 0 | 274.29/274.35 c | 1085 | 3.6 | 0 | 85236 | 1232 | 141 | 151672506 | 2709060 || 1085 | 5317366 | 13/ 0 | 575483 | 0 | 277.98/278.08 c | 1107 | 3.7 | 0 | 90420 | 297 | 142 | 153729732 | 2751149 || 1107 | 5398068 | 13/ 0 | 583423 | 0 | 281.88/281.92 c | 1133 | 3.8 | 0 | 86787 | 844 | 143 | 155886817 | 2793887 || 1133 | 5477910 | 13/ 0 | 591459 | 0 | 285.68/285.76 c | 1149 | 3.8 | 0 | 84994 | 2014 | 144 | 158015375 | 2835196 || 1149 | 5559714 | 13/ 0 | 600077 | 0 | 290.19/290.26 c | 1154 | 4.5 | 0 | 79249 | 12 | 145 | 160273901 | 2868412 || 1154 | 5623976 | 13/ 0 | 607560 | 0 | 294.29/294.38 c | 1181 | 4.1 | 0 | 65353 | 1467 | 146 | 162459031 | 2912023 || 1181 | 5706147 | 13/ 0 | 615840 | 0 | 298.59/298.63 c | 1212 | 4.2 | 0 | 67132 | 505 | 147 | 164678768 | 2958080 || 1212 | 5794617 | 13/ 0 | 624670 | 0 | 302.99/303.01 c | 1234 | 4.4 | 0 | 68222 | 169 | 148 | 166835283 | 2998569 || 1234 | 5868907 | 13/ 0 | 632546 | 0 | 307.29/307.37 c | 1262 | 4.4 | 0 | 69055 | 224 | 149 | 169079101 | 3043526 || 1262 | 5952566 | 13/ 0 | 640897 | 0 | 311.69/311.77 c | 1276 | 4.4 | 0 | 69534 | 3090 | 150 | 171249578 | 3081732 || 1276 | 6027063 | 13/ 0 | 649148 | 0 | 316.59/316.68 c | 1278 | 4.9 | 0 | 70491 | 8992 | 151 | 173475172 | 3116425 || 1278 | 6125220 | 13/ 0 | 669256 | 0 | 321.49/321.57 c | 1278 | 4.9 | 0 | 69652 | 5395 | 152 | 175578852 | 3152571 || 1278 | 6194423 | 13/ 0 | 669833 | 0 | 326.29/326.36 c | 1300 | 4.8 | 0 | 69233 | 470 | 153 | 177995809 | 3188542 || 1300 | 6242679 | 13/ 0 | 674657 | 0 | 331.11/331.15 c | 1331 | 4.8 | 0 | 72879 | 219 | 154 | 180410409 | 3234994 || 1331 | 6329236 | 13/ 0 | 683477 | 0 | 335.99/336.03 c | 1347 | 4.9 | 0 | 73798 | 84 | 155 | 182757020 | 3274896 || 1347 | 6405596 | 13/ 0 | 691774 | 0 | 340.89/340.91 c | 1378 | 4.9 | 0 | 74218 | 25 | 156 | 185112816 | 3320951 || 1378 | 6491045 | 13/ 0 | 700543 | 0 | 345.89/345.95 c | 1404 | 5.0 | 0 | 75353 | 3070 | 157 | 187529315 | 3366581 || 1404 | 6584483 | 13/ 0 | 711706 | 0 | 350.59/350.66 c | 1405 | 4.7 | 0 | 78301 | 4866 | 158 | 189769590 | 3400468 || 1405 | 6654422 | 13/ 0 | 718714 | 0 | 355.79/355.82 c | 1436 | 5.1 | 0 | 82870 | 303 | 159 | 192223742 | 3447514 || 1436 | 6742704 | 13/ 0 | 727523 | 0 | 360.99/361.08 c | 1467 | 5.3 | 0 | 80495 | 642 | 160 | 194714503 | 3492849 || 1467 | 6828043 | 13/ 0 | 736303 | 0 | 366.41/366.46 c | 1492 | 5.4 | 0 | 81392 | 198 | 161 | 197329592 | 3536774 || 1492 | 6912080 | 13/ 0 | 744808 | 0 | 371.59/371.69 c | 1525 | 5.2 | 0 | 83457 | 227 | 162 | 199805577 | 3583526 || 1525 | 7000253 | 13/ 0 | 753904 | 0 | 377.09/377.16 c | 1532 | 5.5 | 0 | 84394 | 7118 | 163 | 202254330 | 3623579 || 1532 | 7101525 | 13/ 0 | 767497 | 0 | 383.59/383.65 c | 1533 | 6.5 | 0 | 86063 | 14316 | 164 | 204712067 | 3658840 || 1533 | 7197646 | 13/ 0 | 781157 | 0 | 389.89/389.92 c | 1533 | 6.3 | 0 | 83919 | 12015 | 165 | 207066966 | 3687605 || 1533 | 7227544 | 13/ 0 | 781391 | 0 | 395.79/395.88 c | 1534 | 6.0 | 0 | 81554 | 29016 | 166 | 209295592 | 3728812 || 1534 | 7387920 | 13/ 0 | 808385 | 0 | 402.79/402.85 c | 1534 | 7.0 | 0 | 80969 | 7715 | 167 | 211619733 | 3761993 || 1534 | 7450698 | 13/ 0 | 808936 | 0 | 409.49/409.54 c | 1534 | 6.7 | 0 | 81071 | 24917 | 168 | 214245509 | 3785089 || 1534 | 7450698 | 13/ 0 | 808936 | 0 | 415.09/415.15 c | 1568 | 5.6 | 0 | 87908 | 246 | 169 | 216868212 | 3833883 || 1568 | 7539027 | 13/ 0 | 818154 | 0 | 420.69/420.77 c | 1597 | 5.6 | 0 | 90126 | 3498 | 170 | 219469851 | 3883032 || 1597 | 7640415 | 13/ 0 | 829900 | 0 | 426.49/426.57 c | 1628 | 5.8 | 0 | 93535 | 961 | 171 | 222206267 | 3930493 || 1628 | 7725079 | 13/ 0 | 838731 | 0 | 432.49/432.50 c | 1659 | 5.9 | 0 | 96266 | 101 | 172 | 224816461 | 3979956 || 1659 | 7819420 | 13/ 0 | 847535 | 0 | 438.19/438.24 c | 1661 | 5.7 | 0 | 99184 | 3400 | 173 | 227179922 | 4020872 || 1661 | 7907095 | 13/ 0 | 857904 | 0 | 444.19/444.23 c | 1692 | 6.0 | 0 | 97323 | 350 | 174 | 229928907 | 4067559 || 1692 | 7991488 | 13/ 0 | 866661 | 0 | 450.39/450.48 c | 1724 | 6.2 | 0 | 88554 | 2188 | 175 | 232657732 | 4116038 || 1724 | 8087217 | 13/ 0 | 878744 | 0 | 456.61/456.69 c | 1754 | 6.2 | 0 | 89901 | 119 | 176 | 235316140 | 4163864 || 1754 | 8176042 | 13/ 0 | 885919 | 0 | 462.99/463.05 c | 1786 | 6.4 | 0 | 90627 | 2149 | 177 | 238079405 | 4213940 || 1786 | 8275584 | 13/ 0 | 896390 | 0 | 469.39/469.43 c | 1788 | 6.4 | 0 | 91057 | 3549 | 178 | 240741015 | 4253825 || 1788 | 8363966 | 13/ 0 | 906698 | 0 | 476.59/476.63 c | 1789 | 7.2 | 0 | 93553 | 2650 | 179 | 243323269 | 4294966 || 1789 | 8473641 | 13/ 0 | 920467 | 0 | 483.08/483.19 c | 1811 | 6.6 | 0 | 94616 | 409 | 180 | 246112827 | 4334648 || 1811 | 8519798 | 13/ 0 | 925280 | 0 | 490.08/490.15 c | 1849 | 7.0 | 0 | 97343 | 440 | 181 | 248925892 | 4387905 || 1849 | 8620235 | 13/ 0 | 935362 | 0 | 496.58/496.66 c | 1869 | 6.5 | 0 | 97286 | 94 | 182 | 251551865 | 4434706 || 1869 | 8710287 | 13/ 0 | 945164 | 0 | 503.48/503.51 c | 1908 | 6.8 | 0 | 98763 | 26 | 183 | 254272004 | 4486758 || 1908 | 8810334 | 13/ 0 | 955417 | 0 | 510.19/510.28 c | 1916 | 6.8 | 0 | 100771 | 9017 | 184 | 256863902 | 4531561 || 1916 | 8922588 | 13/ 0 | 969232 | 0 | 517.39/517.43 c | 1946 | 7.1 | 0 | 100406 | 1062 | 185 | 259789987 | 4577849 || 1946 | 8994860 | 13/ 0 | 976306 | 0 | 524.49/524.50 c | 1978 | 7.1 | 0 | 102287 | 406 | 186 | 262614710 | 4629640 || 1978 | 9094684 | 13/ 0 | 986800 | 0 | 532.29/532.31 c | 2009 | 7.8 | 0 | 100240 | 647 | 187 | 265563402 | 4679430 || 2009 | 9187617 | 13/ 0 | 997314 | 0 | 539.79/539.85 c | 2041 | 7.5 | 0 | 100369 | 184 | 188 | 268420390 | 4730353 || 2041 | 9290143 | 13/ 0 | 1007875 | 0 | 547.19/547.23 c | 2043 | 7.4 | 0 | 99977 | 5081 | 189 | 271374102 | 4770814 || 2043 | 9372785 | 13/ 0 | 1018181 | 0 | 554.89/554.99 c | 2044 | 7.8 | 0 | 99817 | 5276 | 190 | 274360116 | 4812529 || 2044 | 9484407 | 13/ 0 | 1031920 | 0 | 562.49/562.50 c | 2045 | 7.5 | 0 | 101113 | 24778 | 191 | 276801883 | 4853105 || 2045 | 9610722 | 13/ 0 | 1058628 | 0 | 571.29/571.32 c | 2045 | 8.8 | 0 | 102898 | 5978 | 192 | 279143468 | 4892959 || 2045 | 9694046 | 13/ 0 | 1059299 | 0 | 581.19/581.22 c | 2046 | 9.9 | 0 | 101523 | 25679 | 193 | 281796155 | 4919345 || 2046 | 9790500 | 13/ 0 | 1111444 | 0 | 589.99/590.06 c | 2046 | 8.8 | 0 | 102475 | 19802 | 194 | 284282614 | 4967739 || 2046 | 9920202 | 13/ 0 | 1112479 | 0 | 601.29/601.31 c | 2046 | 11.2 | 0 | 93199 | 19901 | 195 | 286575436 | 5011448 || 2046 | 10038612 | 13/ 0 | 1113448 | 0 | 612.50/612.56 c | 2046 | 11.3 | 0 | 85141 | 8581 | 196 | 289234045 | 5048009 || 2046 | 10104220 | 13/ 0 | 1113990 | 0 | 620.99/621.00 c | 2046 | 8.4 | 0 | 81957 | 28682 | 197 | 292449422 | 5075445 || 2046 | 10104220 | 13/ 0 | 1113990 | 0 | 629.39/629.48 c | 2046 | 8.5 | 0 | 88139 | 48883 | 198 | 295425635 | 5102615 || 2046 | 10104220 | 13/ 0 | 1113990 | 0 | 638.99/639.04 c | 2047 | 9.6 | 0 | 100101 | 69187 | 199 | 297795632 | 5149124 || 2047 | 10412307 | 13/ 0 | 1219292 | 0 | 650.79/650.89 c | 2047 | 11.9 | 0 | 89998 | 20406 | 200 | 300148484 | 5196143 || 2047 | 10539142 | 13/ 0 | 1220395 | 0 | 664.80/664.87 c | 2047 | 14.0 | 0 | 90707 | 20504 | 201 | 302608162 | 5242646 || 2047 | 10666960 | 13/ 0 | 1221456 | 0 | 679.81/679.84 c | 2047 | 15.0 | 0 | 93427 | 20604 | 202 | 304933266 | 5287554 || 2047 | 10792142 | 13/ 0 | 1222527 | 0 | 695.21/695.30 c | 2047 | 15.5 | 0 | 88744 | 20701 | 203 | 307234565 | 5332705 || 2047 | 10914949 | 13/ 0 | 1223599 | 0 | 708.51/708.55 c | 2047 | 13.2 | 0 | 74421 | 18604 | 204 | 310004067 | 5360761 || 2047 | 10927292 | 13/ 0 | 1223698 | 0 | 719.69/719.73 c | 2047 | 11.2 | 0 | 59996 | 39509 | 205 | 312758340 | 5387665 || 2047 | 10927292 | 13/ 0 | 1223698 | 0 | 729.69/729.72 c | 2047 | 10.0 | 0 | 69156 | 60513 | 206 | 315695727 | 5415077 || 2047 | 10927292 | 13/ 0 | 1223698 | 0 | 740.19/740.31 c | 2047 | 10.6 | 0 | 84012 | 81620 | 207 | 318735761 | 5442268 || 2047 | 10927292 | 13/ 0 | 1223698 | 0 | 751.89/751.92 c | 2050 | 11.6 | 0 | 96817 | 119 | 208 | 321794676 | 5470590 || 2050 | 10930547 | 13/ 0 | 1224132 | 0 | 757.19/757.20 c | 2093 | 5.3 | 0 | 108381 | 60 | 209 | 324840698 | 5541137 || 2093 | 11059700 | 13/ 0 | 1236114 | 0 | 762.59/762.65 c | 2124 | 5.4 | 0 | 117710 | 211 | 210 | 327976036 | 5601555 || 2124 | 11171812 | 13/ 0 | 1247556 | 0 | 768.59/768.63 c | 2169 | 6.0 | 0 | 122044 | 142 | 211 | 331101822 | 5669339 || 2169 | 11294861 | 13/ 0 | 1259448 | 0 | 774.99/775.08 c | 2174 | 6.5 | 0 | 118695 | 2831 | 212 | 334288848 | 5721276 || 2174 | 11414333 | 13/ 0 | 1272943 | 0 | 781.39/781.41 c | 2212 | 6.3 | 0 | 112378 | 62 | 213 | 337495840 | 5781566 || 2212 | 11518287 | 13/ 0 | 1283112 | 0 | 787.99/788.01 c | 2243 | 6.6 | 0 | 109379 | 16 | 214 | 340704144 | 5842376 || 2243 | 11632567 | 13/ 0 | 1294945 | 0 | 794.79/794.88 c | 2287 | 6.9 | 0 | 94309 | 248 | 215 | 343919717 | 5905900 || 2287 | 11749335 | 13/ 0 | 1306878 | 0 | 801.69/801.75 c | 2301 | 6.9 | 0 | 96291 | 423 | 216 | 346790197 | 5963611 || 2301 | 11879395 | 13/ 0 | 1322002 | 0 | 809.40/809.45 c | 2302 | 7.7 | 0 | 97962 | 3321 | 217 | 349700971 | 6010127 || 2302 | 11990076 | 13/ 0 | 1335787 | 0 | 816.80/816.82 c | 2332 | 7.4 | 0 | 98975 | 673 | 218 | 353114242 | 6061205 || 2332 | 12059013 | 13/ 0 | 1342824 | 0 | 823.80/823.90 c | 2365 | 7.1 | 0 | 103860 | 4517 | 219 | 356317155 | 6122226 || 2365 | 12188014 | 13/ 0 | 1356741 | 0 | 831.40/831.40 c | 2406 | 7.5 | 0 | 104104 | 139 | 220 | 359827478 | 6183585 || 2406 | 12295792 | 13/ 0 | 1367287 | 0 | 838.70/838.78 c | 2429 | 7.4 | 0 | 106046 | 6093 | 221 | 362982737 | 6243671 || 2429 | 12426870 | 13/ 0 | 1384513 | 0 | 846.70/846.76 c | 2459 | 8.0 | 0 | 108500 | 635 | 222 | 366491781 | 6299949 || 2459 | 12523227 | 13/ 0 | 1391791 | 0 | 854.60/854.68 c | 2492 | 7.9 | 0 | 112102 | 96 | 223 | 369781499 | 6361593 || 2492 | 12652462 | 13/ 0 | 1405731 | 0 | 862.70/862.77 c | 2536 | 8.1 | 0 | 113322 | 122 | 224 | 373238498 | 6423565 || 2536 | 12761376 | 13/ 0 | 1416698 | 0 | 870.80/870.81 c | 2556 | 8.0 | 0 | 112231 | 7281 | 225 | 376554867 | 6481627 || 2556 | 12893390 | 13/ 0 | 1433431 | 0 | 879.80/879.83 c | 2557 | 9.0 | 0 | 113563 | 1475 | 226 | 379706410 | 6535254 || 2557 | 13021637 | 13/ 0 | 1447407 | 0 | 888.70/888.72 c | 2558 | 8.9 | 0 | 110275 | 24576 | 227 | 382710389 | 6582837 || 2558 | 13144837 | 13/ 0 | 1474193 | 0 | 900.70/900.75 c | 2558 | 12.0 | 0 | 112975 | 9377 | 228 | 385605063 | 6628090 || 2558 | 13225410 | 13/ 0 | 1474952 | 0 | 910.81/910.87 c | 2576 | 10.1 | 0 | 106753 | 48 | 229 | 388987665 | 6672498 || 2576 | 13264707 | 13/ 0 | 1478973 | 0 | 919.50/919.60 c | 2620 | 8.7 | 0 | 109020 | 2379 | 230 | 392487903 | 6738734 || 2620 | 13394335 | 13/ 0 | 1492542 | 0 | 928.20/928.22 c | 2652 | 8.6 | 0 | 107445 | 1018 | 231 | 395914960 | 6799130 || 2652 | 13507416 | 13/ 0 | 1504710 | 0 | 936.69/936.73 c | 2685 | 8.5 | 0 | 108738 | 3766 | 232 | 399463731 | 6861679 || 2685 | 13640502 | 13/ 0 | 1523514 | 0 | 945.60/945.62 c | 2715 | 8.9 | 0 | 114783 | 629 | 233 | 402916563 | 6921849 || 2715 | 13751743 | 13/ 0 | 1530919 | 0 | 954.49/954.51 c | 2748 | 8.9 | 0 | 116380 | 4767 | 234 | 406401449 | 6985553 || 2748 | 13884772 | 13/ 0 | 1544938 | 0 | 963.71/963.73 c | 2793 | 9.2 | 0 | 121164 | 185 | 235 | 409891214 | 7049743 || 2793 | 13995888 | 13/ 0 | 1556379 | 0 | 973.29/973.38 c | 2812 | 9.6 | 0 | 119854 | 9345 | 236 | 413267532 | 7108992 || 2812 | 14132663 | 13/ 0 | 1572783 | 0 | 983.29/983.38 c | 2813 | 10.0 | 0 | 121394 | 4644 | 237 | 416891877 | 7158230 || 2813 | 14242235 | 13/ 0 | 1586592 | 0 | 992.59/992.63 c | 2844 | 9.3 | 0 | 121317 | 1595 | 238 | 420581437 | 7214270 || 2844 | 14325949 | 13/ 0 | 1595338 | 0 | 1002.39/1002.46 c | 2883 | 9.8 | 0 | 124191 | 441 | 239 | 424191181 | 7278178 || 2883 | 14448330 | 13/ 0 | 1608849 | 0 | 1012.59/1012.61 c | 2935 | 10.2 | 0 | 125022 | 245 | 240 | 427851339 | 7347401 || 2935 | 14577607 | 13/ 0 | 1621987 | 0 | 1021.91/1022.01 c | 2940 | 9.4 | 0 | 126825 | 5843 | 241 | 431172757 | 7400388 || 2940 | 14687962 | 13/ 0 | 1635410 | 0 | 1032.09/1032.10 c | 2992 | 10.1 | 0 | 128839 | 144 | 242 | 434824102 | 7468503 || 2992 | 14817599 | 13/ 0 | 1648563 | 0 | 1041.99/1042.08 c | 3031 | 10.0 | 0 | 133163 | 276 | 243 | 438414401 | 7533453 || 3031 | 14943860 | 13/ 0 | 1662096 | 0 | 1052.81/1052.82 c | 3066 | 10.8 | 0 | 136984 | 4513 | 244 | 442039159 | 7599809 || 3066 | 15082752 | 13/ 0 | 1677333 | 0 | 1063.81/1063.82 c | 3068 | 11.0 | 0 | 133088 | 15010 | 245 | 445281532 | 7654605 || 3068 | 15226114 | 13/ 0 | 1697775 | 0 | 1074.60/1074.69 c | 3069 | 10.9 | 0 | 134731 | 20809 | 246 | 448790547 | 7704937 || 3069 | 15353761 | 13/ 0 | 1724531 | 0 | 1087.20/1087.23 c | 3069 | 12.5 | 0 | 134710 | 7509 | 247 | 452091265 | 7757371 || 3069 | 15467106 | 13/ 0 | 1725480 | 0 | 1099.80/1099.85 c | 3070 | 12.6 | 0 | 132402 | 32712 | 248 | 455674404 | 7800817 || 3070 | 15610694 | 13/ 0 | 1778041 | 0 | 1114.90/1114.97 c | 3070 | 15.1 | 0 | 133603 | 25304 | 249 | 458817484 | 7862708 || 3070 | 15776145 | 13/ 0 | 1779425 | 0 | 1133.80/1133.81 c | 3070 | 18.8 | 0 | 124624 | 6614 | 250 | 462232904 | 7917231 || 3070 | 15896355 | 13/ 0 | 1780460 | 0 | 1148.70/1148.79 c | 3070 | 15.0 | 0 | 106831 | 32117 | 251 | 465943752 | 7952142 || 3070 | 15896355 | 13/ 0 | 1780460 | 0 | 1161.50/1161.53 c | 3086 | 12.7 | 0 | 113640 | 893 | 252 | 469757508 | 7997601 || 3086 | 15932889 | 13/ 0 | 1784093 | 0 | 1171.30/1171.39 c | 3133 | 9.9 | 0 | 124300 | 1710 | 253 | 473630908 | 8071602 || 3133 | 16078807 | 13/ 0 | 1801285 | 0 | 1181.52/1181.59 c | 3176 | 10.2 | 0 | 129290 | 149 | 254 | 477514978 | 8143165 || 3176 | 16207070 | 13/ 0 | 1812254 | 0 | 1191.60/1191.69 c | 3197 | 10.1 | 0 | 124238 | 521 | 255 | 481259079 | 8209464 || 3197 | 16354111 | 13/ 0 | 1829418 | 0 | 1202.20/1202.20 c | 3242 | 10.5 | 0 | 132395 | 243 | 256 | 485265139 | 8276953 || 3242 | 16466325 | 13/ 0 | 1840857 | 0 | 1212.80/1212.89 c | 3281 | 10.7 | 0 | 139883 | 188 | 257 | 489177260 | 8347387 || 3281 | 16601534 | 13/ 0 | 1854893 | 0 | 1224.10/1224.16 c | 3323 | 11.3 | 0 | 133029 | 3411 | 258 | 493144186 | 8420049 || 3323 | 16749689 | 13/ 0 | 1871378 | 0 | 1235.20/1235.27 c | 3325 | 11.1 | 0 | 116803 | 15303 | 259 | 496702915 | 8476964 || 3325 | 16895025 | 13/ 0 | 1891892 | 0 | 1246.60/1246.67 c | 3351 | 11.4 | 0 | 116932 | 243 | 260 | 500515611 | 8533795 || 3351 | 16973909 | 13/ 0 | 1897556 | 0 | 1257.99/1258.04 c | 3388 | 11.4 | 0 | 120910 | 872 | 261 | 504511844 | 8605202 || 3388 | 17117847 | 13/ 0 | 1913137 | 0 | 1269.80/1269.86 c | 3441 | 11.8 | 0 | 122702 | 377 | 262 | 508540905 | 8678496 || 3441 | 17248789 | 13/ 0 | 1926774 | 0 | 1281.00/1281.08 c | 3452 | 11.2 | 0 | 123631 | 6064 | 263 | 512269342 | 8737222 || 3452 | 17367954 | 13/ 0 | 1941076 | 0 | 1293.00/1293.02 c | 3511 | 12.0 | 0 | 124332 | 157 | 264 | 516334072 | 8812602 || 3511 | 17509897 | 13/ 0 | 1955613 | 0 | 1304.50/1304.55 c | 3546 | 11.5 | 0 | 127267 | 400 | 265 | 520369452 | 8882263 || 3546 | 17650716 | 13/ 0 | 1970844 | 0 | 1316.20/1316.20 c | 3579 | 11.7 | 0 | 132596 | 6532 | 266 | 524313276 | 8951665 || 3579 | 17800411 | 13/ 0 | 1989782 | 0 | 1328.40/1328.49 c | 3580 | 12.3 | 0 | 132946 | 4827 | 267 | 528124249 | 9009960 || 3580 | 17930599 | 13/ 0 | 2003729 | 0 | 1342.01/1342.04 c | 3581 | 13.5 | 0 | 136307 | 32028 | 268 | 531639989 | 9073182 || 3581 | 18115196 | 13/ 0 | 2030935 | 0 | 1357.20/1357.27 c | 3581 | 15.2 | 0 | 136113 | 20928 | 269 | 535791137 | 9118213 || 3581 | 18157575 | 13/ 0 | 2031296 | 0 | 1370.80/1370.80 c | 3629 | 13.5 | 0 | 139744 | 139 | 270 | 540071329 | 9188796 || 3629 | 18280725 | 13/ 0 | 2043807 | 0 | 1383.50/1383.58 c | 3674 | 12.8 | 0 | 140020 | 847 | 271 | 544221313 | 9261577 || 3674 | 18424081 | 13/ 0 | 2059276 | 0 | 1396.30/1396.38 c | 3708 | 12.8 | 0 | 141973 | 3976 | 272 | 548251473 | 9331346 || 3708 | 18573879 | 13/ 0 | 2079861 | 0 | 1409.12/1409.21 c | 3739 | 12.8 | 0 | 141893 | 1236 | 273 | 552223202 | 9399536 || 3739 | 18696289 | 13/ 0 | 2088883 | 0 | 1422.60/1422.62 c | 3786 | 13.4 | 0 | 141483 | 550 | 274 | 556470247 | 9472488 || 3786 | 18838832 | 13/ 0 | 2104468 | 0 | 1436.30/1436.32 c | 3834 | 13.7 | 0 | 144231 | 2362 | 275 | 560725712 | 9545869 || 3834 | 18986919 | 13/ 0 | 2121775 | 0 | 1450.00/1450.06 c | 3836 | 13.7 | 0 | 143573 | 15964 | 276 | 564689834 | 9607886 || 3836 | 19150533 | 13/ 0 | 2142473 | 0 | 1464.80/1464.86 c | 3866 | 14.8 | 0 | 141361 | 1198 | 277 | 568815164 | 9669225 || 3866 | 19239580 | 13/ 0 | 2149682 | 0 | 1479.10/1479.10 c | 3906 | 14.2 | 0 | 141466 | 315 | 278 | 573216817 | 9740571 || 3906 | 19375045 | 13/ 0 | 2164825 | 0 | 1493.40/1493.43 c | 3961 | 14.3 | 0 | 143051 | 1894 | 279 | 577369829 | 9820016 || 3961 | 19526510 | 13/ 0 | 2181040 | 0 | 1507.39/1507.40 c | 3981 | 14.0 | 0 | 145100 | 37 | 280 | 581355587 | 9884601 || 3981 | 19649578 | 13/ 0 | 2195363 | 0 | 1521.99/1522.01 c | 4026 | 14.6 | 0 | 147124 | 248 | 281 | 585518137 | 9960074 || 4026 | 19805950 | 13/ 0 | 2212341 | 0 | 1536.60/1536.62 c | 4082 | 14.6 | 0 | 148523 | 125 | 282 | 589913136 | 10036113 || 4082 | 19944070 | 13/ 0 | 2226310 | 0 | 1550.80/1550.80 c | 4091 | 14.2 | 0 | 154348 | 9413 | 283 | 593964090 | 10098913 || 4091 | 20103037 | 13/ 0 | 2253336 | 0 | 1565.90/1565.98 c | 4092 | 15.2 | 0 | 153592 | 19015 | 284 | 597687357 | 10156778 || 4092 | 20251803 | 13/ 0 | 2280276 | 0 | 1583.80/1583.88 c | 4092 | 17.9 | 0 | 152315 | 9515 | 285 | 601478424 | 10217221 || 4092 | 20368434 | 13/ 0 | 2281262 | 0 | 1600.30/1600.31 c | 4093 | 16.4 | 0 | 148367 | 38516 | 286 | 605694098 | 10273165 || 4093 | 20548801 | 13/ 0 | 2334179 | 0 | 1622.52/1622.55 c | 4093 | 22.2 | 0 | 146577 | 29101 | 287 | 609474734 | 10342009 || 4093 | 20728596 | 13/ 0 | 2335721 | 0 | 1644.10/1644.12 c | 4093 | 21.6 | 0 | 139343 | 20017 | 288 | 613699348 | 10390529 || 4093 | 20785264 | 13/ 0 | 2336203 | 0 | 1661.90/1661.97 c | 4093 | 17.8 | 0 | 126278 | 49318 | 289 | 617966308 | 10430048 || 4093 | 20785264 | 13/ 0 | 2336203 | 0 | 1680.50/1680.54 c | 4094 | 18.6 | 0 | 130233 | 78722 | 290 | 621941782 | 10501585 || 4094 | 21160076 | 13/ 0 | 2442129 | 0 | 1704.71/1704.76 c | 4094 | 24.2 | 0 | 126388 | 29502 | 291 | 625819122 | 10572083 || 4094 | 21349222 | 13/ 0 | 2443778 | 0 | 1731.31/1731.38 c | 4094 | 26.6 | 0 | 122450 | 29602 | 292 | 629734735 | 10638907 || 4094 | 21530276 | 13/ 0 | 2445340 | 0 | 1761.12/1761.21 c | 4094 | 29.8 | 0 | 116298 | 13925 | 293 | 634096137 | 10692452 || 4094 | 21628017 | 13/ 0 | 2446159 | 0 | 1785.20/1785.25 c | 4094 | 24.0 | 0 | 120265 | 43726 | 294 | 638937363 | 10731519 || 4094 | 21628017 | 13/ 0 | 2446159 | 0 | 1808.00/1808.04 c | 4094 | 22.8 | 0 | 121668 | 73628 | 295 | 643831428 | 10769756 || 4094 | 21628017 | 13/ 0 | 2446159 | 0 | 1827.00/1827.08 c | 4095 | 19.0 | 0 | 115432 | 103631 | 296 | 648359135 | 10812424 || 4095 | 22017926 | 13/ 0 | 2654807 | 0 | 1847.50/1847.55 c | 4095 | 20.5 | 0 | 132199 | 30103 | 297 | 652109840 | 10879453 || 4095 | 22191316 | 13/ 0 | 2656266 | 0 | 1877.72/1877.76 c | 4095 | 30.2 | 0 | 139671 | 30203 | 298 | 655672546 | 10941906 || 4095 | 22356547 | 13/ 0 | 2657656 | 0 | 1909.80/1909.88 c | 4095 | 32.1 | 0 | 143425 | 30301 | 299 | 659260580 | 11004433 || 4095 | 22522899 | 13/ 0 | 2659069 | 0 | 1945.10/1945.14 c | 4095 | 35.3 | 0 | 143282 | 30401 | 300 | 662783341 | 11067274 || 4095 | 22686478 | 13/ 0 | 2660509 | 0 | 1972.00/1972.01 c | 4095 | 26.9 | 0 | 130254 | 30501 | 301 | 666531139 | 11132213 || 4095 | 22857362 | 13/ 0 | 2661982 | 0 | 2001.41/2001.43 c | 4095 | 29.4 | 0 | 106622 | 30602 | 302 | 670361460 | 11196394 || 4095 | 23026182 | 13/ 0 | 2663470 | 0 | 2031.91/2031.93 c | 4095 | 30.5 | 0 | 77241 | 9240 | 303 | 674497259 | 11254672 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2048.01/2048.04 c | 4095 | 16.1 | 0 | 78635 | 40041 | 304 | 678995706 | 11298215 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2065.51/2065.52 c | 4095 | 17.5 | 0 | 95767 | 70942 | 305 | 683712897 | 11340943 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2084.81/2084.82 c | 4095 | 19.3 | 0 | 113905 | 101943 | 306 | 688463161 | 11382775 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2106.71/2106.79 c | 4095 | 22.0 | 0 | 130556 | 133046 | 307 | 693584323 | 11425298 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2130.41/2130.40 c | 4095 | 23.6 | 0 | 141238 | 164247 | 308 | 698601509 | 11467119 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2152.83/2152.87 c | 4095 | 22.5 | 0 | 157140 | 195548 | 309 | 703388523 | 11509338 || 4095 | 23144988 | 13/ 0 | 2664446 | 0 | 2168.01/2168.02 c | 4141 | 15.2 | 0 | 161093 | 475 | 310 | 707999676 | 11594664 || 4141 | 23276126 | 13/ 0 | 2676830 | 0 | 2178.91/2178.99 c | 4189 | 11.0 | 0 | 160559 | 682 | 311 | 712609391 | 11686676 || 4189 | 23450829 | 13/ 0 | 2694399 | 0 | 2190.41/2190.45 c | 4222 | 11.5 | 0 | 159852 | 1812 | 312 | 717121120 | 11771319 || 4222 | 23624830 | 13/ 0 | 2713588 | 0 | 2202.81/2202.87 c | 4282 | 12.4 | 0 | 152505 | 211 | 313 | 721911218 | 11861628 || 4282 | 23781404 | 13/ 0 | 2728557 | 0 | 2214.81/2214.82 c | 4330 | 12.0 | 0 | 150741 | 529 | 314 | 726491646 | 11949436 || 4330 | 23948597 | 13/ 0 | 2746073 | 0 | 2227.71/2227.75 c | 4350 | 12.9 | 0 | 142335 | 7387 | 315 | 731187229 | 12027713 || 4350 | 24130240 | 13/ 0 | 2775743 | 0 | 2241.31/2241.39 c | 4369 | 13.6 | 0 | 140029 | 41 | 316 | 735753935 | 12099722 || 4369 | 24248535 | 13/ 0 | 2780515 | 0 | 2254.11/2254.10 c | 4417 | 12.7 | 0 | 134984 | 49 | 317 | 740505105 | 12186733 || 4417 | 24415328 | 13/ 0 | 2798012 | 0 | 2267.31/2267.33 c | 4476 | 13.2 | 0 | 135517 | 2640 | 318 | 745301920 | 12276716 || 4476 | 24594764 | 13/ 0 | 2818321 | 0 | 2280.51/2280.54 c | 4508 | 13.2 | 0 | 140073 | 2086 | 319 | 750081399 | 12356810 || 4508 | 24748917 | 13/ 0 | 2834039 | 0 | 2293.81/2293.89 c | 4561 | 13.3 | 0 | 140024 | 181 | 320 | 754927977 | 12443599 || 4561 | 24909482 | 13/ 0 | 2850722 | 0 | 2307.51/2307.51 c | 4604 | 13.6 | 0 | 143678 | 5220 | 321 | 759685848 | 12528155 || 4604 | 25089036 | 13/ 0 | 2874014 | 0 | 2321.71/2321.70 c | 4605 | 14.2 | 0 | 146083 | 9020 | 322 | 764190484 | 12597420 || 4605 | 25232779 | 13/ 0 | 2888078 | 0 | 2339.01/2339.08 c | 4606 | 17.4 | 0 | 149031 | 3321 | 323 | 768535888 | 12672890 || 4606 | 25451661 | 13/ 0 | 2915594 | 0 | 2356.01/2356.01 c | 4635 | 16.9 | 0 | 148163 | 264 | 324 | 773670645 | 12735668 || 4635 | 25510659 | 13/ 0 | 2921721 | 0 | 2370.31/2370.34 c | 4684 | 14.3 | 0 | 153659 | 477 | 325 | 778417912 | 12820902 || 4684 | 25678413 | 13/ 0 | 2940045 | 0 | 2385.42/2385.49 c | 4732 | 15.2 | 0 | 158751 | 2567 | 326 | 783352036 | 12909864 || 4732 | 25851286 | 13/ 0 | 2957517 | 0 | 2400.72/2400.79 c | 4776 | 15.3 | 0 | 158144 | 75 | 327 | 788316670 | 12992225 || 4776 | 26013854 | 13/ 0 | 2975207 | 0 | 2416.02/2416.09 c | 4827 | 15.3 | 0 | 160391 | 2281 | 328 | 793257347 | 13080176 || 4827 | 26190309 | 13/ 0 | 2994198 | 0 | 2432.02/2432.11 c | 4860 | 16.0 | 0 | 161479 | 2716 | 329 | 798249394 | 13161847 || 4860 | 26361121 | 13/ 0 | 3013274 | 0 | 2448.81/2448.88 c | 4875 | 16.8 | 0 | 164729 | 302 | 330 | 803125702 | 13229646 || 4875 | 26497342 | 13/ 0 | 3029695 | 0 | 2464.81/2464.89 c | 4924 | 16.0 | 0 | 164415 | 2304 | 331 | 808161121 | 13314248 || 4924 | 26666430 | 13/ 0 | 3048033 | 0 | 2481.91/2481.91 c | 4987 | 17.0 | 0 | 164721 | 2210 | 332 | 813361011 | 13405347 || 4987 | 26848425 | 13/ 0 | 3068864 | 0 | 2498.81/2498.87 c | 5019 | 17.0 | 0 | 168426 | 642 | 333 | 818462024 | 13487819 || 5019 | 27007686 | 13/ 0 | 3084718 | 0 | 2515.61/2515.64 c | 5079 | 16.8 | 0 | 167328 | 121 | 334 | 823497011 | 13576093 || 5079 | 27174650 | 13/ 0 | 3102606 | 0 | 2532.41/2532.44 c | 5115 | 16.8 | 0 | 171352 | 8940 | 335 | 828566599 | 13661949 || 5115 | 27363764 | 13/ 0 | 3124670 | 0 | 2550.31/2550.30 c | 5117 | 17.9 | 0 | 175280 | 14137 | 336 | 833701060 | 13724369 || 5117 | 27535388 | 13/ 0 | 3164677 | 0 | 2567.11/2567.16 c | 5117 | 16.9 | 0 | 174831 | 9839 | 337 | 837963758 | 13796424 || 5117 | 27695492 | 13/ 0 | 3166062 | 0 | 2587.23/2587.22 c | 5118 | 20.1 | 0 | 175492 | 44041 | 338 | 842898694 | 13864626 || 5118 | 27914679 | 13/ 0 | 3219313 | 0 | 2615.71/2615.74 c | 5118 | 28.5 | 0 | 177694 | 1539 | 339 | 847243657 | 13942677 || 5118 | 28111277 | 13/ 0 | 3220956 | 0 | 2643.21/2643.28 c | 5118 | 27.5 | 0 | 169782 | 35943 | 340 | 852690587 | 13988571 || 5118 | 28111277 | 13/ 0 | 3220956 | 0 | 2664.23/2664.24 c | 5159 | 21.0 | 0 | 162657 | 180 | 341 | 858192868 | 14062403 || 5159 | 28212443 | 13/ 0 | 3231455 | 0 | 2681.61/2681.67 c | 5212 | 17.4 | 0 | 156692 | 879 | 342 | 863326766 | 14151739 || 5212 | 28390617 | 13/ 0 | 3250709 | 0 | 2698.33/2698.40 c | 5245 | 16.7 | 0 | 153003 | 5118 | 343 | 868227534 | 14234594 || 5245 | 28559305 | 13/ 0 | 3269889 | 0 | 2715.93/2716.01 c | 5308 | 17.6 | 0 | 157318 | 2985 | 344 | 873522020 | 14328006 || 5308 | 28742991 | 13/ 0 | 3290730 | 0 | 2733.81/2733.85 c | 5370 | 17.8 | 0 | 157186 | 1745 | 345 | 878644051 | 14421693 || 5370 | 28917611 | 13/ 0 | 3308260 | 0 | 2752.71/2752.75 c | 5373 | 18.9 | 0 | 168788 | 743 | 346 | 883501177 | 14498590 || 5373 | 29115013 | 13/ 0 | 3332377 | 0 | 2772.02/2772.07 c | 5422 | 19.3 | 0 | 169608 | 237 | 347 | 888930580 | 14580211 || 5422 | 29238764 | 13/ 0 | 3345078 | 0 | 2790.91/2790.92 c | 5480 | 18.8 | 0 | 168763 | 112 | 348 | 894194219 | 14673558 || 5480 | 29418487 | 13/ 0 | 3364270 | 0 | 2809.31/2809.40 c | 5513 | 18.5 | 0 | 172990 | 155 | 349 | 899338913 | 14756961 || 5513 | 29588018 | 13/ 0 | 3383423 | 0 | 2828.71/2828.71 c | 5566 | 19.3 | 0 | 177073 | 277 | 350 | 904682034 | 14847448 || 5566 | 29766514 | 13/ 0 | 3402585 | 0 | 2848.51/2848.56 c | 5626 | 19.8 | 0 | 178372 | 755 | 351 | 910000292 | 14941900 || 5626 | 29959567 | 13/ 0 | 3423158 | 0 | 2867.91/2867.93 c | 5628 | 19.4 | 0 | 179151 | 7554 | 352 | 915215553 | 15013439 || 5628 | 30122452 | 13/ 0 | 3443809 | 0 | 2889.01/2889.03 c | 5629 | 21.1 | 0 | 186223 | 4854 | 353 | 919699707 | 15091993 || 5629 | 30331304 | 13/ 0 | 3471311 | 0 | 2911.01/2911.01 c | 5660 | 22.0 | 0 | 181414 | 602 | 354 | 925188265 | 15162383 || 5660 | 30411947 | 13/ 0 | 3479990 | 0 | 2930.71/2930.76 c | 5722 | 19.8 | 0 | 180131 | 402 | 355 | 930525178 | 15255526 || 5722 | 30590701 | 13/ 0 | 3499216 | 0 | 2949.91/2949.99 c | 5756 | 19.2 | 0 | 182468 | 3508 | 356 | 935753255 | 15340712 || 5756 | 30772447 | 13/ 0 | 3520064 | 0 | 2970.81/2970.89 c | 5819 | 20.9 | 0 | 184526 | 2696 | 357 | 941222748 | 15432949 || 5819 | 30952641 | 13/ 0 | 3540829 | 0 | 2992.31/2992.37 c | 5881 | 21.5 | 0 | 186080 | 381 | 358 | 946685787 | 15527592 || 5881 | 31133458 | 13/ 0 | 3558482 | 0 | 3015.71/3015.71 c | 5884 | 23.3 | 0 | 186761 | 3081 | 359 | 951800761 | 15604484 || 5884 | 31323220 | 13/ 0 | 3582592 | 0 | 3036.91/3036.97 c | 5944 | 21.3 | 0 | 187822 | 357 | 360 | 957259527 | 15691907 || 5944 | 31463936 | 13/ 0 | 3597451 | 0 | 3058.41/3058.46 c | 6000 | 21.5 | 0 | 193054 | 134 | 361 | 962652468 | 15784080 || 6000 | 31647342 | 13/ 0 | 3617046 | 0 | 3080.41/3080.46 c | 6038 | 22.0 | 0 | 193451 | 177 | 362 | 968092608 | 15870989 || 6038 | 31820337 | 13/ 0 | 3636807 | 0 | 3102.71/3102.72 c | 6096 | 22.3 | 0 | 196270 | 266 | 363 | 973537328 | 15964252 || 6096 | 32003443 | 13/ 0 | 3657031 | 0 | 3124.91/3124.95 c | 6138 | 22.2 | 0 | 198989 | 9552 | 364 | 978913306 | 16055161 || 6138 | 32205416 | 13/ 0 | 3680008 | 0 | 3148.11/3148.15 c | 6140 | 23.2 | 0 | 201171 | 17652 | 365 | 984403664 | 16127902 || 6140 | 32400955 | 13/ 0 | 3720166 | 0 | 3172.01/3172.07 c | 6140 | 23.9 | 0 | 209359 | 16251 | 366 | 989270618 | 16196696 || 6140 | 32528717 | 13/ 0 | 3721264 | 0 | 3195.31/3195.34 c | 6141 | 23.3 | 0 | 208599 | 53353 | 367 | 993971628 | 16276855 || 6141 | 32803469 | 13/ 0 | 3775000 | 0 | 3225.01/3225.02 c | 6141 | 29.7 | 0 | 206140 | 13754 | 368 | 998571652 | 16347752 || 6141 | 32945040 | 13/ 0 | 3776242 | 0 | 3254.81/3254.84 c | 6141 | 29.8 | 0 | 200846 | 51056 | 369 | 1004005257 | 16396729 || 6141 | 32945040 | 13/ 0 | 3776242 | 0 | 3278.81/3278.80 c | 6142 | 24.0 | 0 | 206055 | 88460 | 370 | 1008602352 | 16486938 || 6142 | 33376086 | 13/ 0 | 3882492 | 0 | 3311.13/3311.18 c | 6142 | 32.4 | 0 | 177415 | 37503 | 371 | 1012829450 | 16569646 || 6142 | 33601711 | 13/ 0 | 3884395 | 0 | 3345.52/3345.57 c | 6142 | 34.4 | 0 | 163882 | 9960 | 372 | 1017512026 | 16643528 || 6142 | 33765539 | 13/ 0 | 3885748 | 0 | 3372.64/3372.62 c | 6142 | 27.0 | 0 | 156902 | 47664 | 373 | 1022986598 | 16694666 || 6142 | 33765539 | 13/ 0 | 3885748 | 0 | 3399.32/3399.34 c | 6142 | 26.7 | 0 | 168985 | 85467 | 374 | 1028241303 | 16746292 || 6142 | 33765539 | 13/ 0 | 3885748 | 0 | 3422.82/3422.80 c | 6188 | 23.5 | 0 | 181690 | 477 | 375 | 1033890565 | 16833098 || 6188 | 33886671 | 13/ 0 | 3898024 | 0 | 3440.32/3440.39 c | 6250 | 17.6 | 0 | 166354 | 549 | 376 | 1039574158 | 16939711 || 6250 | 34089509 | 13/ 0 | 3918241 | 0 | 3457.12/3457.15 c | 6287 | 16.8 | 0 | 175879 | 168 | 377 | 1045165860 | 17032726 || 6287 | 34272493 | 13/ 0 | 3938652 | 0 | 3474.72/3474.79 c | 6350 | 17.6 | 0 | 188777 | 118 | 378 | 1050767191 | 17136172 || 6350 | 34470097 | 13/ 0 | 3959629 | 0 | 3493.42/3493.49 c | 6396 | 18.7 | 0 | 194853 | 223 | 379 | 1056437541 | 17237214 || 6396 | 34690489 | 13/ 0 | 3983625 | 0 | 3513.71/3513.76 c | 6414 | 20.3 | 0 | 184431 | 102 | 380 | 1061962480 | 17317391 || 6414 | 34839671 | 13/ 0 | 4000939 | 0 | 3533.72/3533.73 c | 6476 | 20.0 | 0 | 179376 | 75 | 381 | 1067818607 | 17422692 || 6476 | 35040618 | 13/ 0 | 4021956 | 0 | 3554.01/3554.09 c | 6524 | 20.4 | 0 | 171260 | 284 | 382 | 1073500314 | 17521600 || 6524 | 35260117 | 13/ 0 | 4046187 | 0 | 3575.52/3575.54 c | 6587 | 21.5 | 0 | 173497 | 2055 | 383 | 1079525000 | 17620825 || 6587 | 35439853 | 13/ 0 | 4066921 | 0 | 3596.82/3596.84 c | 6650 | 21.3 | 0 | 174623 | 2331 | 384 | 1085488038 | 17724478 || 6650 | 35640756 | 13/ 0 | 4087870 | 0 | 3618.22/3618.23 c | 6652 | 21.4 | 0 | 175227 | 7627 | 385 | 1091328358 | 17805672 || 6652 | 35821548 | 13/ 0 | 4108662 | 0 | 3643.42/3643.43 c | 6653 | 25.2 | 0 | 177540 | 8231 | 386 | 1097243047 | 17887190 || 6653 | 36031924 | 13/ 0 | 4136134 | 0 | 3666.72/3666.72 c | 6699 | 23.3 | 0 | 172982 | 25 | 387 | 1102973972 | 17971449 || 6699 | 36147652 | 13/ 0 | 4148372 | 0 | 3688.12/3688.19 c | 6762 | 21.5 | 0 | 175337 | 673 | 388 | 1108740850 | 18072629 || 6762 | 36343696 | 13/ 0 | 4169324 | 0 | 3710.12/3710.15 c | 6808 | 22.0 | 0 | 178238 | 79 | 389 | 1114514008 | 18169222 || 6808 | 36535463 | 13/ 0 | 4190608 | 0 | 3732.82/3732.89 c | 6872 | 22.8 | 0 | 179989 | 347 | 390 | 1120499106 | 18274954 || 6872 | 36739370 | 13/ 0 | 4212033 | 0 | 3755.62/3755.64 c | 6907 | 22.7 | 0 | 182431 | 5769 | 391 | 1126483054 | 18366995 || 6907 | 36930853 | 13/ 0 | 4233740 | 0 | 3779.02/3779.01 c | 6939 | 23.4 | 0 | 185349 | 1309 | 392 | 1132198288 | 18456079 || 6939 | 37111574 | 13/ 0 | 4256160 | 0 | 3801.52/3801.58 c | 7002 | 22.6 | 0 | 195178 | 76 | 393 | 1138148719 | 18557142 || 7002 | 37313285 | 13/ 0 | 4277227 | 0 | 3825.72/3825.75 c | 7045 | 24.2 | 0 | 194842 | 297 | 394 | 1144196836 | 18653129 || 7045 | 37497022 | 13/ 0 | 4298060 | 0 | 3849.92/3850.00 c | 7112 | 24.2 | 0 | 196806 | 557 | 395 | 1150206426 | 18758418 || 7112 | 37701329 | 13/ 0 | 4319957 | 0 | 3874.34/3874.34 c | 7162 | 24.3 | 0 | 199648 | 9047 | 396 | 1155920911 | 18861092 || 7162 | 37919359 | 13/ 0 | 4345103 | 0 | 3899.64/3899.68 c | 7164 | 25.3 | 0 | 200590 | 20344 | 397 | 1161936836 | 18944467 || 7164 | 38131801 | 13/ 0 | 4385415 | 0 | 3926.72/3926.72 c | 7164 | 27.0 | 0 | 202897 | 22139 | 398 | 1167922187 | 19022555 || 7164 | 38248787 | 13/ 0 | 4386438 | 0 | 3951.82/3951.84 c | 7165 | 25.1 | 0 | 197869 | 62443 | 399 | 1173035710 | 19118977 || 7165 | 38587313 | 13/ 0 | 4440619 | 0 | 3981.93/3981.91 c | 7165 | 30.1 | 0 | 193601 | 26044 | 400 | 1179000917 | 19187933 || 7165 | 38680597 | 13/ 0 | 4441398 | 0 | 4011.33/4011.39 c | 7196 | 29.5 | 0 | 199154 | 884 | 401 | 1185498301 | 19262335 || 7196 | 38762541 | 13/ 0 | 4450130 | 0 | 4035.53/4035.51 c | 7265 | 24.1 | 0 | 208478 | 243 | 402 | 1191512348 | 19366200 || 7265 | 38962248 | 13/ 0 | 4471905 | 0 | 4061.12/4061.19 c | 7309 | 25.7 | 0 | 211202 | 72 | 403 | 1197671050 | 19465592 || 7309 | 39158094 | 13/ 0 | 4493814 | 0 | 4086.82/4086.84 c | 7379 | 25.7 | 0 | 214291 | 130 | 404 | 1203728537 | 19571535 || 7379 | 39362726 | 13/ 0 | 4516064 | 0 | 4111.84/4111.91 c | 7419 | 25.1 | 0 | 218821 | 5056 | 405 | 1209620782 | 19667037 || 7419 | 39560170 | 13/ 0 | 4538836 | 0 | 4139.22/4139.25 c | 7451 | 27.4 | 0 | 226275 | 1978 | 406 | 1215463021 | 19759240 || 7451 | 39742226 | 13/ 0 | 4561270 | 0 | 4165.92/4165.99 c | 7517 | 26.7 | 0 | 225643 | 263 | 407 | 1221657875 | 19862850 || 7517 | 39938277 | 13/ 0 | 4582599 | 0 | 4192.72/4192.78 c | 7563 | 26.8 | 0 | 211745 | 888 | 408 | 1227748957 | 19962958 || 7563 | 40135018 | 13/ 0 | 4604820 | 0 | 4221.13/4221.13 c | 7635 | 28.4 | 0 | 214961 | 142 | 409 | 1234007534 | 20070981 || 7635 | 40343982 | 13/ 0 | 4627364 | 0 | 4248.13/4248.13 c | 7674 | 27.0 | 0 | 215234 | 5758 | 410 | 1239834167 | 20166887 || 7674 | 40540914 | 13/ 0 | 4649877 | 0 | 4277.63/4277.66 c | 7676 | 29.5 | 0 | 216079 | 28063 | 411 | 1245637097 | 20258325 || 7676 | 40803735 | 13/ 0 | 4690576 | 0 | 4311.73/4311.75 c | 7691 | 34.1 | 0 | 218983 | 36 | 412 | 1252009864 | 20335227 || 7691 | 40906943 | 13/ 0 | 4694699 | 0 | 4339.43/4339.48 c | 7762 | 27.7 | 0 | 222112 | 402 | 413 | 1258226725 | 20442088 || 7762 | 41113425 | 13/ 0 | 4716988 | 0 | 4367.33/4367.37 c | 7803 | 27.9 | 0 | 224450 | 5735 | 414 | 1264333506 | 20541757 || 7803 | 41319336 | 13/ 0 | 4740030 | 0 | 4396.93/4396.94 c | 7875 | 29.6 | 0 | 225856 | 184 | 415 | 1270736948 | 20649368 || 7875 | 41528184 | 13/ 0 | 4762484 | 0 | 4426.13/4426.16 c | 7930 | 29.2 | 0 | 228264 | 9387 | 416 | 1276800596 | 20756428 || 7930 | 41756601 | 13/ 0 | 4788751 | 0 | 4456.53/4456.50 c | 7958 | 30.3 | 0 | 230028 | 107 | 417 | 1282757052 | 20844507 || 7958 | 41916921 | 13/ 0 | 4807975 | 0 | 4486.43/4486.47 c | 8025 | 30.0 | 0 | 234731 | 1471 | 418 | 1289093039 | 20952356 || 8025 | 42134177 | 13/ 0 | 4832165 | 0 | 4516.43/4516.42 c | 8072 | 30.0 | 0 | 231895 | 90 | 419 | 1295374954 | 21051145 || 8072 | 42330279 | 13/ 0 | 4853980 | 0 | 4547.73/4547.78 c | 8143 | 31.3 | 0 | 230889 | 541 | 420 | 1301644920 | 21160337 || 8143 | 42540606 | 13/ 0 | 4877048 | 0 | 4577.53/4577.57 c | 8185 | 29.8 | 0 | 231438 | 5966 | 421 | 1307633151 | 21256837 || 8185 | 42737693 | 13/ 0 | 4899928 | 0 | 4608.23/4608.22 c | 8187 | 30.7 | 0 | 234209 | 29369 | 422 | 1312976811 | 21346003 || 8187 | 42995800 | 13/ 0 | 4940645 | 0 | 4642.04/4642.03 c | 8188 | 33.8 | 0 | 240031 | 33665 | 423 | 1319083098 | 21424140 || 8188 | 43206556 | 13/ 0 | 4993708 | 0 | 4680.33/4680.30 c | 8188 | 38.3 | 0 | 238472 | 42802 | 424 | 1324358852 | 21525016 || 8188 | 43477135 | 13/ 0 | 4996061 | 0 | 4719.93/4719.95 c | 8188 | 39.6 | 0 | 232034 | 42568 | 425 | 1331065346 | 21582388 || 8188 | 43479223 | 13/ 0 | 4996084 | 0 | 4757.43/4757.42 c | 8189 | 37.5 | 0 | 242352 | 85569 | 426 | 1336728863 | 21674466 || 8189 | 43877112 | 13/ 0 | 5102165 | 0 | 4807.93/4807.96 c | 8189 | 50.5 | 0 | 226931 | 43102 | 427 | 1342072569 | 21769785 || 8189 | 44129301 | 13/ 0 | 5104369 | 0 | 4872.53/4872.57 c | 8189 | 64.6 | 0 | 189655 | 18270 | 428 | 1348069276 | 21848176 || 8189 | 44274936 | 13/ 0 | 5105619 | 0 | 4912.65/4912.68 c | 8189 | 40.1 | 0 | 176285 | 61571 | 429 | 1354894008 | 21903998 || 8189 | 44274936 | 13/ 0 | 5105619 | 0 | 4957.54/4957.55 c | 8190 | 44.9 | 0 | 179230 | 104972 | 430 | 1362085030 | 21961945 || 8190 | 44673315 | 13/ 0 | 5314302 | 0 | 4991.54/4991.58 c | 8190 | 34.0 | 0 | 190725 | 43501 | 431 | 1367001149 | 22063339 || 8190 | 44941475 | 13/ 0 | 5316640 | 0 | 5000.06/5000.02 c | 8190 | 8.4 | 0 | 200361 | 9636 | 431 | 1368225683 | 22086781 || 8190 | 45000977 | 13/ 0 | 5317144 | 0 | 5000.06/5000.02 c c 5000.06/5000.02 c ----------------------------------- 5000.06/5000.02 c # temps = 4999.320000 5000.06/5000.02 c # cleaningDB = 431 5000.06/5000.02 c # clause binaire = 202343 5000.06/5000.02 c # literal removed by litRedundant = 982472194 5000.06/5000.02 c # literal removed by litRedundantBin = 292188116 5000.06/5000.02 c # init clause removed by simplify = 0 5000.06/5000.02 c # learnt clause removed by simplify = 0 5000.06/5000.02 c # une clause fausse était une apprise = 0 5000.06/5000.02 c # equivalence dectecte = 0 5000.06/5000.02 c # Memory used : 153.85 MB 5000.06/5000.02 c 5000.06/5000.02 c ######################## 5000.06/5000.02 c #### ## ### ## #### 5000.06/5000.02 c #### #### # ## #### #### 5000.06/5000.02 c #### ## ### ## ### 5000.06/5000.02 c ######################## 5000.06/5000.02 c # restart = 8190 5000.06/5000.02 c # conflit = 9492530 5000.06/5000.02 c # decision = 22086781 5000.06/5000.02 c # propagation = 1368225683 (273682.357401 (prop/sec)) 5000.06/5000.02 c 5000.06/5000.02 c ######################## 5000.06/5000.02 c ### ### # ## ## ## 5000.06/5000.02 c ### # # # #### # ### ### 5000.06/5000.02 c ### # ### ## # ### ### 5000.06/5000.02 c ######################## 5000.06/5000.02 c # numtry = 8190 5000.06/5000.02 c # numflips = 45000977 5000.06/5000.02 c # maxSat = 13 5000.06/5000.02 c # freeFlip = 9207552 5000.06/5000.02 c # nbBoundary = 0 5000.06/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-3438460-1306885010/watcher-3438460-1306885010 -o /tmp/evaluation-result-3438460-1306885010/solver-3438460-1306885010 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438460-1306885010.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: 2.00 1.61 0.81 2/563 13555 /proc/meminfo: memFree=4026068/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 800099675 8912896 253 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13555/statm: 2176 253 211 178 0 69 0 [startup+0.108961 s] /proc/loadavg: 2.00 1.61 0.81 2/563 13555 /proc/meminfo: memFree=4026068/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 800099675 8912896 253 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13555/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200942 s] /proc/loadavg: 2.00 1.61 0.81 2/563 13555 /proc/meminfo: memFree=4026068/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 800099675 8912896 253 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13555/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300923 s] /proc/loadavg: 2.00 1.61 0.81 2/563 13555 /proc/meminfo: memFree=4026068/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 800099675 8912896 253 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13555/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700859 s] /proc/loadavg: 2.00 1.61 0.81 2/563 13555 /proc/meminfo: memFree=4026068/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 800099675 8912896 253 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/13555/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50072 s] /proc/loadavg: 2.00 1.61 0.81 3/566 13559 /proc/meminfo: memFree=4012164/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=15384 CPUtime=0.75 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 2338 0 0 0 75 0 0 0 18 0 1 0 800099749 15753216 2249 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 3846 2249 135 12 0 2310 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32792 [startup+3.10045 s] /proc/loadavg: 2.00 1.62 0.81 3/566 13559 /proc/meminfo: memFree=4009928/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=16836 CPUtime=2.34 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 2682 0 0 0 234 0 0 0 21 0 1 0 800099749 17240064 2593 33554432000 4194304 4241092 140735766303136 18446744073709551615 4222375 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 4209 2593 135 12 0 2673 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34244 [startup+6.30098 s] /proc/loadavg: 2.00 1.62 0.81 3/566 13559 /proc/meminfo: memFree=4007388/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=18564 CPUtime=5.54 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 3129 0 0 0 554 0 0 0 25 0 1 0 800099749 19009536 3040 33554432000 4194304 4241092 140735766303136 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 4641 3040 135 12 0 3105 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35972 [startup+12.7009 s] /proc/loadavg: 2.00 1.63 0.83 3/566 13559 /proc/meminfo: memFree=4003888/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=21400 CPUtime=11.94 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 3820 0 0 0 1194 0 0 0 25 0 1 0 800099749 21913600 3731 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 5350 3731 136 12 0 3814 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38808 [startup+25.5007 s] /proc/loadavg: 2.00 1.64 0.84 3/566 13559 /proc/meminfo: memFree=4000428/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=24772 CPUtime=24.74 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 4659 0 0 0 2474 0 0 0 25 0 1 0 800099749 25366528 4567 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223718 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 6193 4567 136 12 0 4657 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42180 [startup+51.1004 s] /proc/loadavg: 2.00 1.67 0.87 3/566 13560 /proc/meminfo: memFree=3994964/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=29312 CPUtime=50.35 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 5844 0 0 0 5034 1 0 0 25 0 1 0 800099749 30015488 5725 33554432000 4194304 4241092 140735766303136 18446744073709551615 4205312 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 7328 5725 136 12 0 5792 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46720 [startup+102.301 s] /proc/loadavg: 2.19 1.78 0.95 3/566 13561 /proc/meminfo: memFree=3987708/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=35520 CPUtime=101.56 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 7502 0 0 0 10155 1 0 0 25 0 1 0 800099749 36372480 7281 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 8880 7281 136 12 0 7344 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 52928 [startup+162.301 s] /proc/loadavg: 2.15 1.85 1.02 3/566 13563 /proc/meminfo: memFree=3978456/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=41168 CPUtime=161.54 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 9062 0 0 0 16153 1 0 0 25 0 1 0 800099749 42156032 8678 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 10292 8678 136 12 0 8756 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 58576 [startup+222.322 s] /proc/loadavg: 2.10 1.89 1.09 3/566 13565 /proc/meminfo: memFree=3972676/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=45864 CPUtime=221.57 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 10436 0 0 0 22155 2 0 0 25 0 1 0 800099749 46964736 9869 33554432000 4194304 4241092 140735766303136 18446744073709551615 4229040 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 11466 9869 136 12 0 9930 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 63272 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=3916592/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=149188 CPUtime=4541.59 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 48083 0 0 0 454141 18 0 0 25 0 1 0 800099749 152768512 35679 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 37297 35679 136 12 0 35761 0 Current children cumulated CPU time (s) 4542.33 Current children cumulated vsize (KiB) 166596 [startup+4602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/566 13725 /proc/meminfo: memFree=3904828/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=149432 CPUtime=4601.59 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 48305 0 0 0 460141 18 0 0 25 0 1 0 800099749 153018368 35761 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 37358 35761 136 12 0 35822 0 Current children cumulated CPU time (s) 4602.33 Current children cumulated vsize (KiB) 166840 [startup+4662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/566 13727 /proc/meminfo: memFree=3898188/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=150016 CPUtime=4661.6 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 48571 0 0 0 466141 19 0 0 25 0 1 0 800099749 153616384 35904 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 37504 35904 136 12 0 35968 0 Current children cumulated CPU time (s) 4662.34 Current children cumulated vsize (KiB) 167424 [startup+4722.3 s] /proc/loadavg: 2.06 2.05 2.01 3/566 13729 /proc/meminfo: memFree=3891288/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=151160 CPUtime=4721.61 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 48995 0 0 0 472142 19 0 0 25 0 1 0 800099749 154787840 36171 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 37790 36171 136 12 0 36254 0 Current children cumulated CPU time (s) 4722.35 Current children cumulated vsize (KiB) 168568 [startup+4782.3 s] /proc/loadavg: 2.02 2.04 2.00 3/566 13730 /proc/meminfo: memFree=3886384/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=152040 CPUtime=4781.59 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 49255 0 0 0 478140 19 0 0 25 0 1 0 800099749 155688960 36382 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 38010 36382 136 12 0 36474 0 Current children cumulated CPU time (s) 4782.33 Current children cumulated vsize (KiB) 169448 [startup+4842.32 s] /proc/loadavg: 2.11 2.06 2.01 3/566 13732 /proc/meminfo: memFree=3881492/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=153372 CPUtime=4841.61 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 49701 0 0 0 484142 19 0 0 25 0 1 0 800099749 157052928 36727 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 38343 36727 136 12 0 36807 0 Current children cumulated CPU time (s) 4842.35 Current children cumulated vsize (KiB) 170780 [startup+4902.3 s] /proc/loadavg: 2.09 2.06 2.01 3/566 13733 /proc/meminfo: memFree=3874348/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=156772 CPUtime=4901.59 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 50736 0 0 0 490140 19 0 0 25 0 1 0 800099749 160534528 37595 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223631 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 39193 37595 136 12 0 37657 0 Current children cumulated CPU time (s) 4902.33 Current children cumulated vsize (KiB) 174180 [startup+4962.3 s] /proc/loadavg: 2.03 2.05 2.00 3/566 13735 /proc/meminfo: memFree=3870936/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=157440 CPUtime=4961.6 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 51065 0 0 0 496140 20 0 0 25 0 1 0 800099749 161218560 37761 33554432000 4194304 4241092 140735766303136 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 39360 37761 136 12 0 37824 0 Current children cumulated CPU time (s) 4962.34 Current children cumulated vsize (KiB) 174848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.02 2.04 2.00 3/566 13736 /proc/meminfo: memFree=3869516/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=157536 CPUtime=4999.32 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 51144 0 0 0 499912 20 0 0 25 0 1 0 800099749 161316864 37789 33554432000 4194304 4241092 140735766303136 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 39384 37789 136 12 0 37848 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 174944 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.02 2.04 2.00 3/566 13736 /proc/meminfo: memFree=3869516/32950928 swapFree=41528364/67111528 [pid=13555] ppid=13553 vsize=8704 CPUtime=0.74 cores=1,3,5,7 /proc/13555/stat : 13555 (esg_static.sh) S 13553 13555 13470 0 -1 4202496 349 4429 0 0 0 0 72 2 18 0 1 0 800099675 8912896 256 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0 /proc/13555/statm: 2176 256 211 178 0 69 0 [pid=13558] ppid=13555 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/13558/stat : 13558 (esg_static.sh) S 13555 13555 13470 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 800099749 8912896 135 33554432000 4194304 4922060 140734868985568 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/13558/statm: 2176 135 90 178 0 69 0 [pid=13559] ppid=13558 vsize=157536 CPUtime=4999.32 cores=1,3,5,7 /proc/13559/stat : 13559 (sathys) R 13558 13555 13470 0 -1 4202496 51144 0 0 0 499912 20 0 0 25 0 1 0 800099749 161316864 37789 33554432000 4194304 4241092 140735766303136 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0 /proc/13559/statm: 39384 37789 136 12 0 37848 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 174944 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13555 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=722890 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=25996 # CPU time returned by wait4() is 0.748886 # while last known CPU time is 5000.06 # # 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.06 CPU user time (s): 4999.84 CPU system time (s): 0.22 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 175136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.72289 system time used= 0.025996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4946 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= 32 involuntary context switches= 7 runsolver used 29.2356 second user time and 65.664 second system time The end
Begin job on node126 at 2011-06-01 01:36:50 IDJOB=3438460 IDBENCH=71367 IDSOLVER=1935 FILE ID=node126/3438460-1306885010 RUNJOBID= node126-1306884536-13489 PBS_JOBID= 13488450 Free space on /tmp= 3448 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes7.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438460-1306885010/watcher-3438460-1306885010 -o /tmp/evaluation-result-3438460-1306885010/solver-3438460-1306885010 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438460-1306885010.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 140eea74f7e66501965365160d02fa4d RANDOM SEED=168917803 node126.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.783 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.56 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.783 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.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.80 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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: 32950928 kB MemFree: 4026356 kB Buffers: 89872 kB Cached: 26059452 kB SwapCached: 15072 kB Active: 14514000 kB Inactive: 13445872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 4026356 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 3512 kB Writeback: 0 kB AnonPages: 1808224 kB Mapped: 23752 kB Slab: 793836 kB PageTables: 100004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 176451008 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= 3452 MiB End job on node126 at 2011-06-01 03:00:12