Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sathys 2011-04-01 | ? (TO) | 1300.04 | 1300.01 |
Name | crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf |
MD5SUM | e0b064ae815c6a8bb8a9898180562bec |
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 | 153 |
Number of clauses | 316 |
Sum of the clauses size | 948 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 316 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3273632-1303604618.cnf 0.00/0.01 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 316 948 | 94 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 153 #clauses: 316 #literals: 948 0.00/0.01 c CPU time: 0 s 0.00/0.01 c ============================================================================== 0.00/0.01 c 0.00/0.01 c seed = 0, numatom = 153, numclause = 316, numliterals = 948 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.02 c | 2 | 0.0 | 0 | 504 | 199 | 1 | 14569 | 830 || 2 | 1325 | 1/ 1 | 242 | 0 | 0.00/0.02 c | 4 | 0.0 | 0 | 1104 | 291 | 2 | 30564 | 1684 || 4 | 2759 | 1/ 1 | 552 | 0 | 0.00/0.03 c | 6 | 0.0 | 0 | 1791 | 178 | 3 | 51470 | 3107 || 6 | 4173 | 1/ 1 | 862 | 0 | 0.00/0.04 c | 7 | 0.0 | 0 | 2467 | 379 | 4 | 76385 | 4317 || 7 | 5970 | 1/ 1 | 1273 | 0 | 0.00/0.05 c | 11 | 0.0 | 0 | 3062 | 254 | 5 | 103871 | 5798 || 11 | 8269 | 1/ 1 | 1791 | 0 | 0.00/0.06 c | 14 | 0.0 | 0 | 3869 | 438 | 6 | 134856 | 7408 || 14 | 11120 | 1/ 1 | 2504 | 0 | 0.00/0.07 c | 15 | 0.0 | 0 | 4800 | 939 | 7 | 165514 | 8814 || 15 | 14112 | 1/ 1 | 3319 | 0 | 0.00/0.09 c | 16 | 0.0 | 0 | 5255 | 34 | 8 | 203073 | 10393 || 16 | 15362 | 1/ 1 | 3424 | 0 | 0.00/0.11 c | 21 | 0.0 | 0 | 5503 | 0 | 9 | 239306 | 12348 || 21 | 18802 | 1/ 1 | 4147 | 0 | 0.00/0.13 c | 24 | 0.0 | 0 | 6267 | 98 | 10 | 283053 | 14495 || 24 | 21496 | 1/ 1 | 4769 | 0 | 0.00/0.16 c | 29 | 0.0 | 0 | 6905 | 495 | 11 | 329229 | 16926 || 29 | 25560 | 1/ 1 | 5797 | 0 | 0.00/0.19 c | 30 | 0.0 | 0 | 7646 | 285 | 12 | 376792 | 18852 || 30 | 29172 | 1/ 1 | 6615 | 0 | 0.00/0.22 c | 31 | 0.0 | 0 | 8287 | 1986 | 13 | 423482 | 20890 || 31 | 34545 | 1/ 1 | 8247 | 0 | 0.00/0.26 c | 31 | 0.0 | 0 | 8772 | 1381 | 14 | 479449 | 23251 || 31 | 35822 | 1/ 1 | 8254 | 0 | 0.00/0.30 c | 38 | 0.0 | 0 | 9021 | 256 | 15 | 536949 | 26237 || 38 | 40259 | 1/ 1 | 9480 | 0 | 0.00/0.35 c | 44 | 0.0 | 0 | 9561 | 149 | 16 | 597631 | 29247 || 44 | 44360 | 1/ 1 | 10304 | 0 | 0.00/0.39 c | 46 | 0.0 | 0 | 10268 | 143 | 17 | 661040 | 32127 || 46 | 50037 | 1/ 1 | 11545 | 0 | 0.00/0.44 c | 52 | 0.0 | 0 | 10484 | 104 | 18 | 726198 | 35312 || 52 | 53728 | 1/ 1 | 12368 | 0 | 0.00/0.50 c | 59 | 0.1 | 0 | 11042 | 287 | 19 | 794616 | 38567 || 59 | 59169 | 1/ 1 | 13603 | 0 | 0.00/0.55 c | 61 | 0.1 | 0 | 12010 | 577 | 20 | 867003 | 41725 || 61 | 64425 | 1/ 1 | 14833 | 0 | 0.00/0.62 c | 62 | 0.1 | 0 | 12694 | 674 | 21 | 942550 | 44715 || 62 | 70782 | 1/ 1 | 16473 | 0 | 0.00/0.69 c | 63 | 0.1 | 0 | 13006 | 3279 | 22 | 1014168 | 47808 || 63 | 79412 | 1/ 1 | 19735 | 0 | 0.00/0.77 c | 63 | 0.1 | 0 | 13396 | 1178 | 23 | 1093126 | 51218 || 63 | 83714 | 1/ 1 | 19752 | 0 | 0.00/0.85 c | 66 | 0.1 | 0 | 14139 | 170 | 24 | 1182699 | 55006 || 66 | 85657 | 1/ 1 | 20161 | 0 | 0.00/0.93 c | 76 | 0.1 | 0 | 14517 | 118 | 25 | 1270999 | 59378 || 76 | 92272 | 1/ 1 | 21804 | 0 | 0.98/1.04 c | 80 | 0.1 | 0 | 14629 | 111 | 26 | 1371895 | 63379 || 80 | 98945 | 1/ 1 | 23233 | 0 | 1.08/1.15 c | 89 | 0.1 | 0 | 15011 | 288 | 27 | 1462111 | 67922 || 89 | 105975 | 1/ 1 | 24769 | 0 | 1.17/1.25 c | 94 | 0.1 | 0 | 15885 | 874 | 28 | 1557162 | 72270 || 94 | 114433 | 1/ 1 | 27916 | 0 | 1.27/1.38 c | 95 | 0.1 | 0 | 16348 | 70 | 29 | 1671281 | 76171 || 95 | 119323 | 1/ 1 | 28045 | 0 | 1.47/1.51 c | 106 | 0.1 | 0 | 16778 | 18 | 30 | 1772703 | 81299 || 106 | 127385 | 1/ 1 | 29784 | 0 | 1.57/1.65 c | 112 | 0.1 | 0 | 17252 | 273 | 31 | 1870227 | 85999 || 112 | 134975 | 1/ 1 | 31636 | 0 | 1.67/1.79 c | 123 | 0.1 | 0 | 18183 | 342 | 32 | 1972495 | 91274 || 123 | 143038 | 1/ 1 | 33686 | 0 | 1.87/1.93 c | 125 | 0.1 | 0 | 19392 | 2229 | 33 | 2080550 | 95898 || 125 | 153252 | 1/ 1 | 36150 | 0 | 1.97/2.10 c | 126 | 0.2 | 0 | 19036 | 3625 | 34 | 2188915 | 100475 || 126 | 162828 | 1/ 1 | 39419 | 0 | 2.18/2.26 c | 126 | 0.2 | 0 | 19348 | 2724 | 35 | 2292447 | 105085 || 126 | 165998 | 1/ 1 | 39434 | 0 | 2.37/2.46 c | 127 | 0.2 | 0 | 20352 | 6727 | 36 | 2404824 | 109818 || 127 | 182433 | 1/ 1 | 45939 | 0 | 2.57/2.67 c | 127 | 0.2 | 0 | 20806 | 1228 | 37 | 2524831 | 114595 || 127 | 190576 | 1/ 1 | 45976 | 0 | 2.77/2.85 c | 127 | 0.2 | 0 | 20987 | 5429 | 38 | 2645403 | 119305 || 127 | 190576 | 1/ 1 | 45976 | 0 | 2.97/3.07 c | 138 | 0.2 | 0 | 21730 | 273 | 39 | 2764821 | 125390 || 138 | 198252 | 1/ 1 | 47723 | 0 | 3.18/3.29 c | 147 | 0.2 | 0 | 23214 | 62 | 40 | 2895994 | 131538 || 147 | 207772 | 1/ 1 | 49881 | 0 | 3.47/3.51 c | 157 | 0.2 | 0 | 24743 | 27 | 41 | 3028097 | 137939 || 157 | 218826 | 1/ 1 | 52541 | 0 | 3.67/3.74 c | 161 | 0.2 | 0 | 25002 | 17 | 42 | 3162758 | 143843 || 161 | 226981 | 1/ 1 | 54585 | 0 | 3.97/4.00 c | 173 | 0.3 | 0 | 25565 | 871 | 43 | 3295664 | 150293 || 173 | 238171 | 1/ 1 | 57459 | 0 | 4.17/4.28 c | 185 | 0.3 | 0 | 26376 | 91 | 44 | 3440158 | 157544 || 185 | 247476 | 1/ 1 | 59330 | 0 | 4.47/4.55 c | 189 | 0.3 | 0 | 26515 | 464 | 45 | 3583819 | 163979 || 189 | 260052 | 1/ 1 | 62402 | 0 | 4.77/4.84 c | 190 | 0.3 | 0 | 26571 | 659 | 46 | 3727280 | 170311 || 190 | 273025 | 1/ 1 | 65689 | 0 | 5.07/5.14 c | 198 | 0.3 | 0 | 26015 | 0 | 47 | 3879360 | 177039 || 198 | 279009 | 1/ 1 | 67020 | 0 | 5.38/5.44 c | 211 | 0.3 | 0 | 26047 | 150 | 48 | 4024289 | 184616 || 211 | 290439 | 1/ 1 | 69786 | 0 | 5.67/5.74 c | 221 | 0.3 | 0 | 26919 | 899 | 49 | 4178823 | 192070 || 221 | 303189 | 1/ 1 | 73871 | 0 | 5.97/6.07 c | 228 | 0.3 | 0 | 27377 | 247 | 50 | 4336759 | 199581 || 228 | 312979 | 1/ 1 | 75139 | 0 | 6.37/6.42 c | 242 | 0.3 | 0 | 27118 | 165 | 51 | 4498356 | 207319 || 242 | 324855 | 1/ 1 | 77998 | 0 | 6.67/6.75 c | 252 | 0.3 | 0 | 27998 | 1224 | 52 | 4659630 | 214861 || 252 | 338398 | 1/ 1 | 82087 | 0 | 6.97/7.09 c | 253 | 0.3 | 0 | 29481 | 4521 | 53 | 4819843 | 221614 || 253 | 353664 | 1/ 1 | 85385 | 0 | 7.37/7.46 c | 254 | 0.4 | 0 | 29433 | 5512 | 54 | 4978912 | 229250 || 254 | 367905 | 1/ 1 | 91909 | 0 | 7.87/7.91 c | 254 | 0.4 | 0 | 29202 | 1808 | 55 | 5148174 | 236882 || 254 | 379524 | 1/ 1 | 91965 | 0 | 8.17/8.29 c | 255 | 0.4 | 0 | 28183 | 7811 | 56 | 5323136 | 244575 || 255 | 396658 | 1/ 1 | 104917 | 0 | 8.68/8.73 c | 255 | 0.4 | 0 | 28317 | 6105 | 57 | 5475463 | 251916 || 255 | 413776 | 1/ 1 | 105005 | 0 | 9.17/9.28 c | 255 | 0.5 | 0 | 26935 | 915 | 58 | 5640924 | 259530 || 255 | 428949 | 1/ 1 | 105066 | 0 | 9.47/9.59 c | 255 | 0.3 | 0 | 25825 | 7218 | 59 | 5814586 | 267055 || 255 | 428949 | 1/ 1 | 105066 | 0 | 9.97/10.01 c | 258 | 0.4 | 0 | 28916 | 195 | 60 | 5987781 | 274803 || 258 | 430782 | 1/ 1 | 105477 | 0 | 10.37/10.45 c | 273 | 0.4 | 0 | 31338 | 189 | 61 | 6181311 | 284033 || 273 | 445374 | 1/ 1 | 108771 | 0 | 10.77/10.89 c | 286 | 0.4 | 0 | 33235 | 1753 | 62 | 6366591 | 293258 || 286 | 462054 | 1/ 1 | 113266 | 0 | 11.27/11.39 c | 300 | 0.5 | 0 | 35489 | 573 | 63 | 6569647 | 302743 || 300 | 474629 | 1/ 1 | 115738 | 0 | 11.87/11.94 c | 315 | 0.6 | 0 | 37443 | 279 | 64 | 6769131 | 312444 || 315 | 488816 | 1/ 1 | 119027 | 0 | 12.37/12.46 c | 318 | 0.5 | 0 | 38818 | 3574 | 65 | 6975890 | 321286 || 318 | 507784 | 1/ 1 | 124769 | 0 | 12.97/13.08 c | 326 | 0.6 | 0 | 38437 | 497 | 66 | 7190784 | 330745 || 326 | 517411 | 1/ 1 | 126127 | 0 | 13.67/13.71 c | 343 | 0.6 | 0 | 35346 | 129 | 67 | 7389920 | 340915 || 343 | 532796 | 1/ 1 | 129715 | 0 | 14.18/14.25 c | 352 | 0.6 | 0 | 36114 | 76 | 68 | 7602193 | 350331 || 352 | 548026 | 1/ 1 | 133415 | 0 | 14.77/14.86 c | 370 | 0.6 | 0 | 35857 | 87 | 69 | 7817408 | 360729 || 370 | 563888 | 1/ 1 | 137095 | 0 | 15.38/15.43 c | 380 | 0.6 | 0 | 36796 | 825 | 70 | 8021251 | 370551 || 380 | 580300 | 1/ 1 | 141203 | 0 | 15.87/15.96 c | 382 | 0.5 | 0 | 38154 | 3528 | 71 | 8223261 | 379581 || 382 | 600160 | 1/ 1 | 150960 | 0 | 16.57/16.65 c | 382 | 0.7 | 0 | 39675 | 1529 | 72 | 8432742 | 388787 || 382 | 617636 | 1/ 1 | 151047 | 0 | 17.17/17.28 c | 392 | 0.6 | 0 | 38927 | 112 | 73 | 8658469 | 399747 || 392 | 624255 | 1/ 1 | 152695 | 0 | 17.87/17.98 c | 411 | 0.7 | 0 | 37969 | 343 | 74 | 8878804 | 410629 || 411 | 641478 | 1/ 1 | 156794 | 0 | 18.58/18.64 c | 420 | 0.6 | 0 | 39214 | 385 | 75 | 9109907 | 420695 || 420 | 657504 | 1/ 1 | 160473 | 0 | 19.27/19.36 c | 441 | 0.7 | 0 | 39471 | 80 | 76 | 9336327 | 432063 || 441 | 675471 | 1/ 1 | 164580 | 0 | 19.87/19.98 c | 445 | 0.6 | 0 | 39953 | 3981 | 77 | 9559267 | 441792 || 445 | 697004 | 1/ 1 | 170731 | 0 | 20.67/20.75 c | 459 | 0.8 | 0 | 40797 | 320 | 78 | 9801358 | 453143 || 459 | 709740 | 1/ 1 | 173209 | 0 | 21.47/21.53 c | 475 | 0.8 | 0 | 43248 | 353 | 79 | 10045558 | 464510 || 475 | 728493 | 1/ 1 | 177303 | 0 | 22.27/22.33 c | 490 | 0.8 | 0 | 44308 | 271 | 80 | 10298506 | 475767 || 490 | 745441 | 1/ 1 | 181404 | 0 | 23.08/23.18 c | 507 | 0.9 | 0 | 44581 | 1062 | 81 | 10536116 | 487093 || 507 | 765733 | 1/ 1 | 187126 | 0 | 23.87/23.92 c | 508 | 0.7 | 0 | 45116 | 2458 | 82 | 10772460 | 497894 || 508 | 782220 | 1/ 1 | 190430 | 0 | 24.67/24.75 c | 509 | 0.8 | 0 | 44852 | 1561 | 83 | 11019037 | 508270 || 509 | 805826 | 1/ 1 | 197002 | 0 | 25.47/25.54 c | 510 | 0.8 | 0 | 44967 | 10362 | 84 | 11290693 | 518600 || 510 | 830130 | 1/ 1 | 209995 | 0 | 26.47/26.50 c | 510 | 0.9 | 0 | 43222 | 62 | 85 | 11511856 | 528745 || 510 | 854893 | 1/ 1 | 210121 | 0 | 27.07/27.18 c | 510 | 0.7 | 0 | 41983 | 9063 | 86 | 11771134 | 539855 || 510 | 854893 | 1/ 1 | 210121 | 0 | 27.87/27.99 c | 511 | 0.8 | 0 | 42125 | 18167 | 87 | 12002023 | 550840 || 511 | 895790 | 1/ 1 | 236081 | 0 | 28.97/29.03 c | 511 | 1.0 | 0 | 39315 | 9205 | 88 | 12222210 | 561537 || 511 | 920429 | 1/ 1 | 236196 | 0 | 30.17/30.22 c | 511 | 1.2 | 0 | 36878 | 9307 | 89 | 12441933 | 572291 || 511 | 945442 | 1/ 1 | 236333 | 0 | 30.97/31.01 c | 511 | 0.8 | 0 | 33691 | 7681 | 90 | 12716253 | 583899 || 511 | 949994 | 1/ 1 | 236356 | 0 | 31.78/31.81 c | 511 | 0.8 | 0 | 33677 | 17183 | 91 | 13014106 | 595304 || 511 | 949994 | 1/ 1 | 236356 | 0 | 32.47/32.58 c | 516 | 0.8 | 0 | 31477 | 55 | 92 | 13286266 | 607623 || 516 | 952836 | 1/ 1 | 236970 | 0 | 33.27/33.35 c | 540 | 0.8 | 0 | 30451 | 534 | 93 | 13579546 | 622306 || 540 | 974545 | 1/ 1 | 242102 | 0 | 33.97/34.06 c | 556 | 0.7 | 0 | 33919 | 31 | 94 | 13860384 | 635585 || 556 | 995389 | 1/ 1 | 247037 | 0 | 34.77/34.87 c | 573 | 0.8 | 0 | 39418 | 2270 | 95 | 14155604 | 649309 || 573 | 1019314 | 1/ 1 | 252778 | 0 | 35.67/35.72 c | 581 | 0.8 | 0 | 42815 | 451 | 96 | 14442374 | 662117 || 581 | 1037945 | 1/ 1 | 257306 | 0 | 36.67/36.71 c | 604 | 1.0 | 0 | 46676 | 1015 | 97 | 14728871 | 676459 || 604 | 1061178 | 1/ 1 | 262653 | 0 | 37.67/37.79 c | 620 | 1.1 | 0 | 51768 | 323 | 98 | 15025672 | 690118 || 620 | 1082230 | 1/ 1 | 267580 | 0 | 38.87/38.98 c | 637 | 1.2 | 0 | 53898 | 1740 | 99 | 15326025 | 704044 || 637 | 1106530 | 1/ 1 | 275728 | 0 | 40.07/40.15 c | 638 | 1.2 | 0 | 54486 | 7340 | 100 | 15629659 | 716681 || 638 | 1134497 | 1/ 1 | 282281 | 0 | 41.47/41.54 c | 645 | 1.4 | 0 | 52423 | 418 | 101 | 15963688 | 729942 || 645 | 1146068 | 1/ 1 | 283542 | 0 | 42.77/42.85 c | 668 | 1.3 | 0 | 50746 | 274 | 102 | 16264811 | 744622 || 668 | 1169265 | 1/ 1 | 288880 | 0 | 43.97/44.04 c | 687 | 1.2 | 0 | 51223 | 183 | 103 | 16563770 | 759328 || 687 | 1191435 | 1/ 1 | 294229 | 0 | 45.17/45.27 c | 701 | 1.2 | 0 | 51342 | 3197 | 104 | 16873929 | 773165 || 701 | 1218133 | 1/ 1 | 302006 | 0 | 46.48/46.56 c | 716 | 1.3 | 0 | 51794 | 395 | 105 | 17187462 | 787457 || 716 | 1236567 | 1/ 1 | 305310 | 0 | 47.77/47.85 c | 736 | 1.3 | 0 | 52285 | 8 | 106 | 17505706 | 802084 || 736 | 1259105 | 1/ 1 | 310757 | 0 | 49.17/49.22 c | 762 | 1.4 | 0 | 55776 | 1089 | 107 | 17818892 | 817200 || 762 | 1284211 | 1/ 1 | 316786 | 0 | 50.37/50.50 c | 765 | 1.3 | 0 | 58430 | 3862 | 108 | 18141262 | 830247 || 765 | 1312084 | 1/ 1 | 328184 | 0 | 51.87/51.94 c | 765 | 1.5 | 0 | 57310 | 5560 | 109 | 18490292 | 845352 || 765 | 1326858 | 1/ 1 | 328274 | 0 | 53.37/53.41 c | 766 | 1.5 | 0 | 56630 | 16965 | 110 | 18792347 | 858641 || 766 | 1371627 | 1/ 1 | 341377 | 0 | 54.77/54.88 c | 766 | 1.5 | 0 | 54058 | 9258 | 111 | 19161015 | 871922 || 766 | 1378875 | 1/ 1 | 341412 | 0 | 56.27/56.36 c | 787 | 1.5 | 0 | 50644 | 145 | 112 | 19505065 | 887848 || 787 | 1396730 | 1/ 1 | 345531 | 0 | 57.67/57.74 c | 809 | 1.4 | 0 | 50138 | 62 | 113 | 19828790 | 903848 || 809 | 1421838 | 1/ 1 | 351480 | 0 | 59.07/59.13 c | 828 | 1.4 | 0 | 49812 | 833 | 114 | 20165548 | 919348 || 828 | 1447946 | 1/ 1 | 357826 | 0 | 60.38/60.47 c | 843 | 1.4 | 0 | 51418 | 291 | 115 | 20502042 | 934667 || 843 | 1470881 | 1/ 1 | 363592 | 0 | 61.87/61.92 c | 863 | 1.4 | 0 | 54470 | 0 | 116 | 20850104 | 950551 || 863 | 1496505 | 1/ 1 | 369743 | 0 | 63.47/63.53 c | 890 | 1.6 | 0 | 57587 | 577 | 117 | 21192982 | 966998 || 890 | 1522960 | 1/ 1 | 375895 | 0 | 64.88/64.94 c | 893 | 1.4 | 0 | 61841 | 5579 | 118 | 21527752 | 981589 || 893 | 1556121 | 1/ 1 | 387323 | 0 | 66.57/66.68 c | 900 | 1.7 | 0 | 60601 | 453 | 119 | 21906602 | 997289 || 900 | 1572417 | 1/ 1 | 388602 | 0 | 68.37/68.49 c | 924 | 1.8 | 0 | 59787 | 2125 | 120 | 22254129 | 1013905 || 924 | 1601120 | 1/ 1 | 395586 | 0 | 70.28/70.31 c | 953 | 1.8 | 0 | 60938 | 265 | 121 | 22614250 | 1031043 || 953 | 1625402 | 1/ 1 | 401328 | 0 | 71.77/71.89 c | 959 | 1.6 | 0 | 59965 | 40 | 122 | 22977503 | 1046253 || 959 | 1650293 | 1/ 1 | 407475 | 0 | 73.58/73.66 c | 987 | 1.8 | 0 | 60130 | 1185 | 123 | 23331298 | 1063542 || 987 | 1679031 | 1/ 1 | 415271 | 0 | 75.37/75.48 c | 1014 | 1.8 | 0 | 61156 | 165 | 124 | 23686701 | 1080676 || 1014 | 1704695 | 1/ 1 | 420408 | 0 | 76.98/77.10 c | 1020 | 1.6 | 0 | 64243 | 3538 | 125 | 24045961 | 1096228 || 1020 | 1737709 | 1/ 1 | 433241 | 0 | 78.77/78.85 c | 1021 | 1.8 | 0 | 64411 | 6940 | 126 | 24430971 | 1111557 || 1021 | 1769769 | 1/ 1 | 446265 | 0 | 80.87/80.94 c | 1021 | 2.1 | 0 | 62876 | 834 | 127 | 24784794 | 1126529 || 1021 | 1805673 | 1/ 1 | 446434 | 0 | 82.67/82.72 c | 1022 | 1.8 | 0 | 60090 | 14049 | 128 | 25204171 | 1141886 || 1022 | 1835360 | 1/ 1 | 472321 | 0 | 84.68/84.77 c | 1022 | 2.0 | 0 | 59092 | 13315 | 129 | 25563251 | 1156975 || 1022 | 1874304 | 1/ 1 | 472495 | 0 | 87.07/87.18 c | 1022 | 2.4 | 0 | 55280 | 2363 | 130 | 25930944 | 1172351 || 1022 | 1905241 | 1/ 1 | 472665 | 0 | 88.88/88.94 c | 1022 | 1.8 | 0 | 49484 | 15865 | 131 | 26333308 | 1189601 || 1022 | 1905241 | 1/ 1 | 472665 | 0 | 90.58/90.67 c | 1023 | 1.7 | 0 | 48820 | 29473 | 132 | 26711455 | 1205865 || 1023 | 1968138 | 1/ 1 | 524399 | 0 | 92.38/92.48 c | 1023 | 1.8 | 0 | 49492 | 13730 | 133 | 27087240 | 1222015 || 1023 | 2006198 | 1/ 1 | 524583 | 0 | 94.78/94.85 c | 1023 | 2.4 | 0 | 48817 | 13805 | 134 | 27456241 | 1238263 || 1023 | 2044798 | 1/ 1 | 524791 | 0 | 97.18/97.24 c | 1023 | 2.4 | 0 | 46574 | 13906 | 135 | 27825207 | 1254865 || 1023 | 2083104 | 1/ 1 | 524990 | 0 | 98.98/99.03 c | 1023 | 1.8 | 0 | 46980 | 8114 | 136 | 28227057 | 1271798 || 1023 | 2098990 | 1/ 1 | 525064 | 0 | 100.47/100.56 c | 1023 | 1.5 | 0 | 46424 | 22215 | 137 | 28633686 | 1288676 || 1023 | 2098990 | 1/ 1 | 525064 | 0 | 101.97/102.09 c | 1023 | 1.5 | 0 | 48157 | 36417 | 138 | 29037943 | 1305990 || 1023 | 2098990 | 1/ 1 | 525064 | 0 | 103.67/103.78 c | 1023 | 1.7 | 0 | 47033 | 50719 | 139 | 29429969 | 1323661 || 1023 | 2098990 | 1/ 1 | 525064 | 0 | 105.48/105.53 c | 1054 | 1.7 | 0 | 52410 | 1798 | 140 | 29851668 | 1344148 || 1054 | 2132575 | 1/ 1 | 533258 | 0 | 107.47/107.50 c | 1084 | 2.0 | 0 | 59748 | 154 | 141 | 30276190 | 1364427 || 1084 | 2162690 | 1/ 1 | 539855 | 0 | 109.37/109.48 c | 1100 | 2.0 | 0 | 65747 | 476 | 142 | 30704896 | 1383472 || 1100 | 2192390 | 1/ 1 | 547248 | 0 | 111.97/112.02 c | 1127 | 2.5 | 0 | 70394 | 115 | 143 | 31147000 | 1403051 || 1127 | 2222910 | 1/ 1 | 554660 | 0 | 114.47/114.51 c | 1149 | 2.5 | 0 | 74637 | 3118 | 144 | 31575379 | 1423010 || 1149 | 2259362 | 1/ 1 | 564478 | 0 | 117.07/117.10 c | 1150 | 2.6 | 0 | 76054 | 3612 | 145 | 32030072 | 1440769 || 1150 | 2289801 | 1/ 1 | 571033 | 0 | 119.88/119.94 c | 1180 | 2.8 | 0 | 73649 | 85 | 146 | 32464770 | 1461511 || 1180 | 2318129 | 1/ 1 | 577582 | 0 | 122.67/122.71 c | 1210 | 2.8 | 0 | 74203 | 215 | 147 | 32899221 | 1482055 || 1210 | 2348764 | 1/ 1 | 584970 | 0 | 125.38/125.44 c | 1226 | 2.7 | 0 | 75023 | 246 | 148 | 33346890 | 1501817 || 1226 | 2379704 | 1/ 1 | 592770 | 0 | 128.27/128.35 c | 1254 | 2.9 | 0 | 73779 | 192 | 149 | 33777903 | 1522449 || 1254 | 2412162 | 1/ 1 | 600588 | 0 | 130.97/131.09 c | 1276 | 2.7 | 0 | 74018 | 3748 | 150 | 34217655 | 1542734 || 1276 | 2449694 | 1/ 1 | 610424 | 0 | 133.47/133.55 c | 1277 | 2.5 | 0 | 74344 | 4843 | 151 | 34664420 | 1561259 || 1277 | 2478541 | 1/ 1 | 616991 | 0 | 136.07/136.13 c | 1278 | 2.6 | 0 | 75956 | 1244 | 152 | 35077684 | 1579227 || 1278 | 2526482 | 1/ 1 | 630108 | 0 | 138.67/138.74 c | 1292 | 2.6 | 0 | 76007 | 292 | 153 | 35508786 | 1598521 || 1292 | 2536210 | 1/ 1 | 632572 | 0 | 141.67/141.80 c | 1322 | 3.1 | 0 | 74131 | 204 | 154 | 35963437 | 1620236 || 1322 | 2569946 | 1/ 1 | 640360 | 0 | 144.57/144.67 c | 1341 | 2.9 | 0 | 75309 | 261 | 155 | 36415633 | 1640895 || 1341 | 2607971 | 1/ 1 | 649792 | 0 | 147.57/147.66 c | 1372 | 3.0 | 0 | 75098 | 882 | 156 | 36869487 | 1662097 || 1372 | 2637888 | 1/ 1 | 657985 | 0 | 150.68/150.72 c | 1403 | 3.1 | 0 | 77511 | 838 | 157 | 37330273 | 1683782 || 1403 | 2672574 | 1/ 1 | 666199 | 0 | 153.37/153.43 c | 1405 | 2.7 | 0 | 78776 | 230 | 158 | 37771809 | 1703184 || 1405 | 2714362 | 1/ 1 | 676062 | 0 | 156.67/156.73 c | 1433 | 3.3 | 0 | 77011 | 120 | 159 | 38262855 | 1724794 || 1433 | 2736725 | 1/ 1 | 681387 | 0 | 159.97/160.01 c | 1464 | 3.3 | 0 | 77123 | 55 | 160 | 38732506 | 1747110 || 1464 | 2771257 | 1/ 1 | 689582 | 0 | 162.97/163.10 c | 1482 | 3.1 | 0 | 78673 | 463 | 161 | 39205904 | 1767458 || 1482 | 2805338 | 1/ 1 | 698180 | 0 | 166.37/166.45 c | 1513 | 3.4 | 0 | 79060 | 320 | 162 | 39673003 | 1790273 || 1513 | 2840290 | 1/ 1 | 706373 | 0 | 169.47/169.53 c | 1531 | 3.1 | 0 | 79392 | 2151 | 163 | 40146852 | 1811181 || 1531 | 2875777 | 1/ 1 | 715357 | 0 | 172.27/172.38 c | 1533 | 2.9 | 0 | 79585 | 9354 | 164 | 40622481 | 1830760 || 1533 | 2923052 | 1/ 1 | 734873 | 0 | 175.37/175.48 c | 1533 | 3.1 | 0 | 81550 | 7053 | 165 | 41067833 | 1850692 || 1533 | 2950718 | 1/ 1 | 735006 | 0 | 178.57/178.63 c | 1534 | 3.1 | 0 | 81373 | 24061 | 166 | 41510157 | 1870284 || 1534 | 3008619 | 1/ 1 | 761044 | 0 | 182.27/182.31 c | 1534 | 3.7 | 0 | 80734 | 2754 | 167 | 41938634 | 1889738 || 1534 | 3048945 | 1/ 1 | 761257 | 0 | 185.08/185.19 c | 1534 | 2.9 | 0 | 78376 | 19956 | 168 | 42396929 | 1910211 || 1534 | 3048945 | 1/ 1 | 761257 | 0 | 188.58/188.65 c | 1564 | 3.5 | 0 | 75590 | 683 | 169 | 42867810 | 1933670 || 1564 | 3075369 | 1/ 1 | 767815 | 0 | 191.98/192.04 c | 1595 | 3.4 | 0 | 76898 | 668 | 170 | 43361115 | 1956815 || 1595 | 3111354 | 1/ 1 | 776043 | 0 | 195.38/195.46 c | 1618 | 3.4 | 0 | 78506 | 168 | 171 | 43863035 | 1979249 || 1618 | 3147818 | 1/ 1 | 785089 | 0 | 198.99/199.03 c | 1652 | 3.6 | 0 | 80168 | 0 | 172 | 44355540 | 2003449 || 1652 | 3185497 | 1/ 1 | 793930 | 0 | 202.39/202.45 c | 1661 | 3.4 | 0 | 81193 | 7566 | 173 | 44864975 | 2025339 || 1661 | 3232307 | 1/ 1 | 807208 | 0 | 205.98/206.05 c | 1686 | 3.6 | 0 | 81429 | 178 | 174 | 45378235 | 2048792 || 1686 | 3258918 | 1/ 1 | 812163 | 0 | 209.68/209.79 c | 1721 | 3.8 | 0 | 84407 | 218 | 175 | 45884602 | 2073629 || 1721 | 3297269 | 1/ 1 | 821206 | 0 | 213.29/213.31 c | 1740 | 3.5 | 0 | 82886 | 890 | 176 | 46371887 | 2096696 || 1740 | 3334516 | 1/ 1 | 830324 | 0 | 217.08/217.18 c | 1777 | 3.9 | 0 | 82897 | 593 | 177 | 46868307 | 2121271 || 1777 | 3373930 | 1/ 1 | 839647 | 0 | 220.38/220.48 c | 1788 | 3.3 | 0 | 84608 | 7322 | 178 | 47357247 | 2144756 || 1788 | 3420873 | 1/ 1 | 853170 | 0 | 223.78/223.86 c | 1789 | 3.4 | 0 | 84838 | 16018 | 179 | 47860770 | 2165792 || 1789 | 3467649 | 1/ 1 | 866256 | 0 | 227.28/227.32 c | 1796 | 3.5 | 0 | 86460 | 380 | 180 | 48407226 | 2188456 || 1796 | 3482276 | 1/ 1 | 867525 | 0 | 231.38/231.48 c | 1834 | 4.2 | 0 | 85017 | 277 | 181 | 48928246 | 2213534 || 1834 | 3521803 | 1/ 1 | 876948 | 0 | 235.08/235.19 c | 1855 | 3.7 | 0 | 86118 | 167 | 182 | 49440092 | 2237167 || 1855 | 3559559 | 1/ 1 | 886378 | 0 | 239.28/239.31 c | 1894 | 4.1 | 0 | 87139 | 0 | 183 | 49947628 | 2262573 || 1894 | 3599328 | 1/ 1 | 895914 | 0 | 242.98/243.04 c | 1915 | 3.7 | 0 | 87810 | 2767 | 184 | 50458083 | 2286265 || 1915 | 3638209 | 1/ 1 | 905654 | 0 | 246.88/246.92 c | 1931 | 3.9 | 0 | 89777 | 1195 | 185 | 50981968 | 2310343 || 1931 | 3676611 | 1/ 1 | 915475 | 0 | 251.38/251.40 c | 1969 | 4.5 | 0 | 90284 | 589 | 186 | 51515925 | 2335886 || 1969 | 3716729 | 1/ 1 | 924927 | 0 | 255.58/255.67 c | 1994 | 4.3 | 0 | 92173 | 607 | 187 | 52056656 | 2360151 || 1994 | 3756985 | 1/ 1 | 935174 | 0 | 259.98/260.08 c | 2032 | 4.4 | 0 | 91673 | 206 | 188 | 52569997 | 2385852 || 2032 | 3797364 | 1/ 1 | 944634 | 0 | 264.18/264.23 c | 2043 | 4.1 | 0 | 93122 | 8081 | 189 | 53112235 | 2409319 || 2043 | 3847260 | 1/ 1 | 958120 | 0 | 268.28/268.34 c | 2044 | 4.1 | 0 | 91735 | 17876 | 190 | 53663547 | 2431704 || 2044 | 3896885 | 1/ 1 | 971234 | 0 | 272.58/272.61 c | 2045 | 4.3 | 0 | 89727 | 18175 | 191 | 54205487 | 2455764 || 2045 | 3942168 | 1/ 1 | 997167 | 0 | 277.48/277.50 c | 2045 | 4.9 | 0 | 87621 | 19614 | 192 | 54704252 | 2478327 || 2045 | 3998255 | 1/ 1 | 997432 | 0 | 281.48/281.58 c | 2045 | 4.1 | 0 | 81458 | 19087 | 193 | 55306457 | 2502104 || 2045 | 3999907 | 1/ 1 | 997438 | 0 | 285.28/285.33 c | 2046 | 3.7 | 0 | 81504 | 38900 | 194 | 55791940 | 2524856 || 2046 | 4088578 | 1/ 1 | 1049363 | 0 | 290.28/290.40 c | 2046 | 5.1 | 0 | 77935 | 19901 | 195 | 56249996 | 2547530 || 2046 | 4142966 | 1/ 1 | 1049621 | 0 | 295.58/295.69 c | 2046 | 5.3 | 0 | 75710 | 1997 | 196 | 56742872 | 2569983 || 2046 | 4193447 | 1/ 1 | 1049868 | 0 | 299.98/300.08 c | 2046 | 4.4 | 0 | 72074 | 22098 | 197 | 57392953 | 2593064 || 2046 | 4193447 | 1/ 1 | 1049868 | 0 | 304.48/304.60 c | 2046 | 4.5 | 0 | 71118 | 42299 | 198 | 57983990 | 2615519 || 2046 | 4193447 | 1/ 1 | 1049868 | 0 | 309.38/309.41 c | 2047 | 4.8 | 0 | 71235 | 62610 | 199 | 58595944 | 2638750 || 2047 | 4331634 | 1/ 1 | 1153489 | 0 | 314.78/314.85 c | 2047 | 5.4 | 0 | 68887 | 20406 | 200 | 59122592 | 2662509 || 2047 | 4391987 | 1/ 1 | 1153774 | 0 | 321.39/321.48 c | 2047 | 6.6 | 0 | 65354 | 20501 | 201 | 59628639 | 2685821 || 2047 | 4452618 | 1/ 1 | 1154079 | 0 | 327.59/327.67 c | 2047 | 6.2 | 0 | 61144 | 20610 | 202 | 60137524 | 2709566 || 2047 | 4510125 | 1/ 1 | 1154392 | 0 | 333.19/333.22 c | 2047 | 5.5 | 0 | 60814 | 20720 | 203 | 60650120 | 2733690 || 2047 | 4568506 | 1/ 1 | 1154671 | 0 | 337.59/337.63 c | 2047 | 4.4 | 0 | 64390 | 12049 | 204 | 61241862 | 2757815 || 2047 | 4593668 | 1/ 1 | 1154791 | 0 | 341.49/341.53 c | 2047 | 3.9 | 0 | 66392 | 32952 | 205 | 61942092 | 2781395 || 2047 | 4593668 | 1/ 1 | 1154791 | 0 | 345.68/345.73 c | 2047 | 4.2 | 0 | 66406 | 53953 | 206 | 62599487 | 2804972 || 2047 | 4593668 | 1/ 1 | 1154791 | 0 | 349.88/349.97 c | 2047 | 4.2 | 0 | 68694 | 75054 | 207 | 63247881 | 2829061 || 2047 | 4593668 | 1/ 1 | 1154791 | 0 | 354.28/354.35 c | 2047 | 4.4 | 0 | 72746 | 96255 | 208 | 63888501 | 2853444 || 2047 | 4593668 | 1/ 1 | 1154791 | 0 | 358.88/358.98 c | 2078 | 4.6 | 0 | 69930 | 563 | 209 | 64529708 | 2882563 || 2078 | 4629372 | 1/ 1 | 1163033 | 0 | 362.78/362.80 c | 2110 | 3.8 | 0 | 74556 | 1016 | 210 | 65154269 | 2911220 || 2110 | 4677384 | 1/ 1 | 1174531 | 0 | 367.08/367.16 c | 2151 | 4.4 | 0 | 80475 | 99 | 211 | 65781843 | 2940720 || 2151 | 4719584 | 1/ 1 | 1184357 | 0 | 371.38/371.48 c | 2174 | 4.3 | 0 | 90661 | 5391 | 212 | 66404088 | 2968337 || 2174 | 4771506 | 1/ 1 | 1200727 | 0 | 376.58/376.64 c | 2203 | 5.1 | 0 | 98557 | 132 | 213 | 67021195 | 2996615 || 2203 | 4808464 | 1/ 1 | 1206529 | 0 | 382.48/382.53 c | 2237 | 5.9 | 0 | 102820 | 2148 | 214 | 67657726 | 3025886 || 2237 | 4857844 | 1/ 1 | 1220434 | 0 | 388.58/388.63 c | 2268 | 6.1 | 0 | 107113 | 1488 | 215 | 68284036 | 3054879 || 2268 | 4900347 | 1/ 1 | 1228649 | 0 | 395.08/395.19 c | 2300 | 6.6 | 0 | 104835 | 2553 | 216 | 68928664 | 3083175 || 2300 | 4948163 | 1/ 1 | 1240134 | 0 | 400.78/400.88 c | 2302 | 5.7 | 0 | 104049 | 15053 | 217 | 69514704 | 3109531 || 2302 | 5011063 | 1/ 1 | 1259740 | 0 | 406.89/406.91 c | 2317 | 6.0 | 0 | 101762 | 772 | 218 | 70116532 | 3137897 || 2317 | 5035408 | 1/ 1 | 1263094 | 0 | 413.49/413.57 c | 2363 | 6.7 | 0 | 101782 | 441 | 219 | 70769271 | 3168099 || 2363 | 5082995 | 1/ 1 | 1274556 | 0 | 419.88/419.99 c | 2394 | 6.4 | 0 | 102369 | 275 | 220 | 71405856 | 3196937 || 2394 | 5128104 | 1/ 1 | 1285220 | 0 | 426.19/426.29 c | 2428 | 6.3 | 0 | 102914 | 3001 | 221 | 72043283 | 3226300 || 2428 | 5180259 | 1/ 1 | 1299152 | 0 | 432.69/432.72 c | 2443 | 6.4 | 0 | 104403 | 332 | 222 | 72749892 | 3254154 || 2443 | 5221114 | 1/ 1 | 1308170 | 0 | 439.58/439.66 c | 2489 | 6.9 | 0 | 103368 | 361 | 223 | 73400019 | 3284507 || 2489 | 5269330 | 1/ 1 | 1319656 | 0 | 446.18/446.27 c | 2522 | 6.6 | 0 | 106154 | 575 | 224 | 74059815 | 3314149 || 2522 | 5318212 | 1/ 1 | 1331969 | 0 | 452.98/453.05 c | 2555 | 6.8 | 0 | 106165 | 3697 | 225 | 74713798 | 3343540 || 2555 | 5370583 | 1/ 1 | 1345109 | 0 | 458.78/458.80 c | 2557 | 5.8 | 0 | 106490 | 12290 | 226 | 75303436 | 3371990 || 2557 | 5427426 | 1/ 1 | 1364696 | 0 | 464.29/464.39 c | 2558 | 5.6 | 0 | 106781 | 16209 | 227 | 75927021 | 3399112 || 2558 | 5482629 | 1/ 1 | 1390680 | 0 | 471.29/471.31 c | 2558 | 6.9 | 0 | 110384 | 1007 | 228 | 76507885 | 3426236 || 2558 | 5546366 | 1/ 1 | 1390979 | 0 | 477.30/477.31 c | 2558 | 6.0 | 0 | 106907 | 24308 | 229 | 77220872 | 3453593 || 2558 | 5546366 | 1/ 1 | 1390979 | 0 | 484.19/484.29 c | 2604 | 7.0 | 0 | 103753 | 253 | 230 | 77873630 | 3484937 || 2604 | 5595222 | 1/ 1 | 1402458 | 0 | 490.79/490.87 c | 2638 | 6.6 | 0 | 104482 | 90 | 231 | 78523885 | 3515555 || 2638 | 5642729 | 1/ 1 | 1414136 | 0 | 497.79/497.87 c | 2683 | 7.0 | 0 | 105171 | 2199 | 232 | 79178301 | 3546933 || 2683 | 5696289 | 1/ 1 | 1427057 | 0 | 504.19/504.21 c | 2694 | 6.3 | 0 | 106382 | 135 | 233 | 79852562 | 3576291 || 2694 | 5739567 | 1/ 1 | 1438327 | 0 | 511.59/511.62 c | 2744 | 7.4 | 0 | 102236 | 18 | 234 | 80513965 | 3608560 || 2744 | 5791346 | 1/ 1 | 1450400 | 0 | 518.10/518.13 c | 2778 | 6.5 | 0 | 109184 | 766 | 235 | 81175744 | 3639354 || 2778 | 5841044 | 1/ 1 | 1463101 | 0 | 525.19/525.26 c | 2811 | 7.1 | 0 | 113620 | 234 | 236 | 81829862 | 3670593 || 2811 | 5895305 | 1/ 1 | 1476222 | 0 | 531.69/531.75 c | 2813 | 6.5 | 0 | 113970 | 14727 | 237 | 82459591 | 3698639 || 2813 | 5956782 | 1/ 1 | 1495839 | 0 | 538.59/538.60 c | 2831 | 6.9 | 0 | 111102 | 137 | 238 | 83088406 | 3728459 || 2831 | 5984879 | 1/ 1 | 1499574 | 0 | 546.19/546.30 c | 2875 | 7.7 | 0 | 114631 | 519 | 239 | 83744672 | 3760425 || 2875 | 6037748 | 1/ 1 | 1512268 | 0 | 553.89/553.96 c | 2910 | 7.7 | 0 | 117893 | 168 | 240 | 84408233 | 3791666 || 2910 | 6085866 | 1/ 1 | 1524168 | 0 | 561.79/561.89 c | 2940 | 7.9 | 0 | 118415 | 5915 | 241 | 85067302 | 3822958 || 2940 | 6145597 | 1/ 1 | 1541708 | 0 | 569.70/569.77 c | 2971 | 7.9 | 0 | 118040 | 2352 | 242 | 85725270 | 3854700 || 2971 | 6190369 | 1/ 1 | 1549953 | 0 | 578.19/578.20 c | 3006 | 8.4 | 0 | 117709 | 177 | 243 | 86433522 | 3886447 || 3006 | 6238571 | 1/ 1 | 1561878 | 0 | 586.89/586.97 c | 3058 | 8.8 | 0 | 121888 | 108 | 244 | 87124547 | 3920372 || 3058 | 6291112 | 1/ 1 | 1574400 | 0 | 594.59/594.66 c | 3067 | 7.7 | 0 | 119985 | 5058 | 245 | 87839517 | 3950994 || 3067 | 6342254 | 1/ 1 | 1587706 | 0 | 601.79/601.80 c | 3068 | 7.1 | 0 | 117072 | 10859 | 246 | 88534194 | 3980164 || 3068 | 6391739 | 1/ 1 | 1600826 | 0 | 609.79/609.82 c | 3069 | 8.0 | 0 | 113840 | 35967 | 247 | 89209688 | 4009212 || 3069 | 6487194 | 1/ 1 | 1627021 | 0 | 616.69/616.78 c | 3069 | 7.0 | 0 | 110945 | 22758 | 248 | 89995000 | 4037544 || 3069 | 6494175 | 1/ 1 | 1627044 | 0 | 624.50/624.58 c | 3070 | 7.8 | 0 | 107709 | 48062 | 249 | 90651733 | 4066606 || 3070 | 6609356 | 1/ 1 | 1679105 | 0 | 633.50/633.55 c | 3070 | 9.0 | 0 | 102309 | 25402 | 250 | 91262081 | 4096030 || 3070 | 6679199 | 1/ 1 | 1679466 | 0 | 640.50/640.54 c | 3070 | 7.0 | 0 | 92307 | 22165 | 251 | 92020645 | 4125898 || 3070 | 6688348 | 1/ 1 | 1679518 | 0 | 647.00/647.06 c | 3070 | 6.5 | 0 | 89323 | 47767 | 252 | 92822150 | 4155556 || 3070 | 6688348 | 1/ 1 | 1679518 | 0 | 653.80/653.89 c | 3116 | 6.8 | 0 | 86938 | 432 | 253 | 93564861 | 4190124 || 3116 | 6736926 | 1/ 1 | 1691002 | 0 | 660.29/660.31 c | 3158 | 6.4 | 0 | 92694 | 110 | 254 | 94307760 | 4224196 || 3158 | 6790982 | 1/ 1 | 1704128 | 0 | 667.29/667.32 c | 3196 | 7.0 | 0 | 96595 | 4533 | 255 | 95073610 | 4258688 || 3196 | 6850770 | 1/ 1 | 1718884 | 0 | 674.50/674.50 c | 3222 | 7.2 | 0 | 104007 | 188 | 256 | 95866373 | 4291386 || 3222 | 6898383 | 1/ 1 | 1730390 | 0 | 681.90/681.97 c | 3260 | 7.5 | 0 | 109922 | 313 | 257 | 96586118 | 4325570 || 3260 | 6958015 | 1/ 1 | 1745120 | 0 | 690.19/690.25 c | 3309 | 8.3 | 0 | 119168 | 106 | 258 | 97322271 | 4361101 || 3309 | 7007984 | 1/ 1 | 1757007 | 0 | 698.29/698.31 c | 3324 | 8.0 | 0 | 123441 | 4496 | 259 | 98031609 | 4393352 || 3324 | 7062917 | 1/ 1 | 1771358 | 0 | 705.99/706.01 c | 3325 | 7.7 | 0 | 122880 | 11696 | 260 | 98778061 | 4426136 || 3325 | 7111803 | 1/ 1 | 1784479 | 0 | 715.90/715.91 c | 3380 | 9.9 | 0 | 120878 | 8 | 261 | 99504887 | 4461967 || 3380 | 7166270 | 1/ 1 | 1797425 | 0 | 725.29/725.33 c | 3419 | 9.4 | 0 | 122233 | 1119 | 262 | 100252252 | 4496954 || 3419 | 7223425 | 1/ 1 | 1812390 | 0 | 734.29/734.35 c | 3452 | 9.0 | 0 | 123631 | 4470 | 263 | 100984733 | 4530675 || 3452 | 7284746 | 1/ 1 | 1830387 | 0 | 744.09/744.15 c | 3483 | 9.8 | 0 | 123681 | 692 | 264 | 101753425 | 4564714 || 3483 | 7333725 | 1/ 1 | 1838673 | 0 | 753.70/753.77 c | 3527 | 9.6 | 0 | 121664 | 119 | 265 | 102508556 | 4600312 || 3527 | 7387508 | 1/ 1 | 1852001 | 0 | 763.30/763.32 c | 3577 | 9.6 | 0 | 124057 | 2200 | 266 | 103239795 | 4636925 || 3577 | 7447859 | 1/ 1 | 1866590 | 0 | 771.79/771.84 c | 3580 | 8.5 | 0 | 129117 | 12496 | 267 | 104003976 | 4668275 || 3580 | 7518091 | 1/ 1 | 1889452 | 0 | 780.79/780.89 c | 3581 | 9.0 | 0 | 126273 | 20503 | 268 | 104755964 | 4699692 || 3581 | 7586440 | 1/ 1 | 1915495 | 0 | 789.50/789.54 c | 3581 | 8.6 | 0 | 124755 | 9394 | 269 | 105421507 | 4730923 || 3581 | 7639267 | 1/ 1 | 1915733 | 0 | 798.00/798.06 c | 3610 | 8.5 | 0 | 123917 | 240 | 270 | 106145030 | 4766720 || 3610 | 7664906 | 1/ 1 | 1921508 | 0 | 807.20/807.22 c | 3644 | 9.2 | 0 | 131486 | 3126 | 271 | 106922843 | 4801335 || 3644 | 7721130 | 1/ 1 | 1935448 | 0 | 818.41/818.42 c | 3704 | 11.2 | 0 | 131476 | 360 | 272 | 107688131 | 4838570 || 3704 | 7779874 | 1/ 1 | 1949426 | 0 | 827.50/827.57 c | 3720 | 9.2 | 0 | 131569 | 55 | 273 | 108434630 | 4872242 || 3720 | 7834367 | 1/ 1 | 1963542 | 0 | 838.11/838.17 c | 3770 | 10.6 | 0 | 135608 | 696 | 274 | 109189036 | 4909439 || 3770 | 7894553 | 1/ 1 | 1978117 | 0 | 849.50/849.53 c | 3816 | 11.4 | 0 | 138308 | 554 | 275 | 109972842 | 4946130 || 3816 | 7951295 | 1/ 1 | 1992071 | 0 | 859.40/859.41 c | 3835 | 9.9 | 0 | 139660 | 3412 | 276 | 110740097 | 4980831 || 3835 | 8013416 | 1/ 1 | 2007650 | 0 | 870.01/870.03 c | 3836 | 10.6 | 0 | 131622 | 12305 | 277 | 111612146 | 5014168 || 3836 | 8063342 | 1/ 1 | 2020790 | 0 | 881.11/881.14 c | 3897 | 11.1 | 0 | 125998 | 618 | 278 | 112380960 | 5052089 || 3897 | 8123337 | 1/ 1 | 2035573 | 0 | 891.10/891.14 c | 3935 | 10.0 | 0 | 126666 | 14 | 279 | 113179928 | 5088725 || 3935 | 8181378 | 1/ 1 | 2049348 | 0 | 900.91/900.93 c | 3963 | 9.8 | 0 | 125263 | 557 | 280 | 113958870 | 5124164 || 3963 | 8251399 | 1/ 1 | 2066769 | 0 | 911.30/911.32 c | 4009 | 10.4 | 0 | 124695 | 797 | 281 | 114787352 | 5160891 || 4009 | 8299970 | 1/ 1 | 2078287 | 0 | 921.71/921.73 c | 4056 | 10.4 | 0 | 125393 | 405 | 282 | 115570776 | 5198132 || 4056 | 8360134 | 1/ 1 | 2093093 | 0 | 931.50/931.52 c | 4090 | 9.8 | 0 | 127358 | 5785 | 283 | 116340768 | 5234328 || 4090 | 8427019 | 1/ 1 | 2112685 | 0 | 940.80/940.83 c | 4091 | 9.3 | 0 | 133777 | 5773 | 284 | 117132641 | 5267935 || 4091 | 8486829 | 1/ 1 | 2125812 | 0 | 951.11/951.13 c | 4092 | 10.3 | 0 | 131355 | 34676 | 285 | 117882186 | 5302082 || 4092 | 8573206 | 1/ 1 | 2152001 | 0 | 959.12/959.12 c | 4092 | 8.0 | 0 | 130128 | 25272 | 286 | 118600854 | 5336688 || 4092 | 8583212 | 1/ 1 | 2152064 | 0 | 970.81/970.89 c | 4093 | 11.8 | 0 | 133046 | 54373 | 287 | 119340825 | 5369966 || 4093 | 8715985 | 1/ 1 | 2204139 | 0 | 983.71/983.74 c | 4093 | 12.9 | 0 | 129283 | 6771 | 288 | 120079524 | 5404928 || 4093 | 8777782 | 1/ 1 | 2204431 | 0 | 993.41/993.48 c | 4093 | 9.7 | 0 | 125099 | 36073 | 289 | 120887359 | 5439888 || 4093 | 8777782 | 1/ 1 | 2204431 | 0 | 1003.41/1003.47 c | 4094 | 10.0 | 0 | 119880 | 65477 | 290 | 121648787 | 5474142 || 4094 | 8922107 | 1/ 1 | 2308020 | 0 | 1014.71/1014.70 c | 4094 | 11.2 | 0 | 116006 | 29501 | 291 | 122352800 | 5508946 || 4094 | 9005954 | 1/ 1 | 2308435 | 0 | 1027.01/1027.07 c | 4094 | 12.4 | 0 | 112284 | 29602 | 292 | 123064938 | 5543141 || 4094 | 9089092 | 1/ 1 | 2308815 | 0 | 1041.11/1041.16 c | 4094 | 14.1 | 0 | 102254 | 674 | 293 | 123790239 | 5577643 || 4094 | 9169566 | 1/ 1 | 2309204 | 0 | 1050.21/1050.22 c | 4094 | 9.1 | 0 | 101693 | 30475 | 294 | 124708442 | 5612468 || 4094 | 9169566 | 1/ 1 | 2309204 | 0 | 1059.22/1059.29 c | 4094 | 9.1 | 0 | 95476 | 60379 | 295 | 125565329 | 5646371 || 4094 | 9169566 | 1/ 1 | 2309204 | 0 | 1069.01/1069.03 c | 4094 | 9.7 | 0 | 90711 | 90382 | 296 | 126420021 | 5680973 || 4094 | 9169566 | 1/ 1 | 2309204 | 0 | 1078.02/1078.06 c | 4095 | 9.0 | 0 | 87120 | 120484 | 297 | 127195847 | 5715252 || 4095 | 9426395 | 1/ 1 | 2516370 | 0 | 1089.71/1089.74 c | 4095 | 11.7 | 0 | 90873 | 30206 | 298 | 127990222 | 5749516 || 4095 | 9511242 | 1/ 1 | 2516793 | 0 | 1103.22/1103.30 c | 4095 | 13.5 | 0 | 95549 | 30304 | 299 | 128735174 | 5783516 || 4095 | 9593340 | 1/ 1 | 2517211 | 0 | 1117.01/1117.08 c | 4095 | 13.8 | 0 | 91151 | 30403 | 300 | 129483676 | 5817650 || 4095 | 9677957 | 1/ 1 | 2517636 | 0 | 1132.41/1132.47 c | 4095 | 15.4 | 0 | 99632 | 30505 | 301 | 130258527 | 5851537 || 4095 | 9764797 | 1/ 1 | 2518075 | 0 | 1149.42/1149.49 c | 4095 | 17.0 | 0 | 104524 | 30613 | 302 | 131011962 | 5886542 || 4095 | 9849925 | 1/ 1 | 2518489 | 0 | 1166.92/1166.98 c | 4095 | 17.5 | 0 | 105011 | 30702 | 303 | 131743276 | 5921280 || 4095 | 9935163 | 1/ 1 | 2518883 | 0 | 1176.02/1176.09 c | 4095 | 9.1 | 0 | 103166 | 26818 | 304 | 132620974 | 5958237 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1183.82/1183.87 c | 4095 | 7.8 | 0 | 111866 | 57719 | 305 | 133514284 | 5996168 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1194.32/1194.39 c | 4095 | 10.5 | 0 | 110649 | 88720 | 306 | 134308421 | 6035116 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1205.52/1205.54 c | 4095 | 11.1 | 0 | 115978 | 119824 | 307 | 135156336 | 6075234 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1216.41/1216.43 c | 4095 | 10.9 | 0 | 119827 | 151026 | 308 | 135834958 | 6115734 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1227.01/1227.01 c | 4095 | 10.6 | 0 | 127020 | 182328 | 309 | 136503613 | 6156924 || 4095 | 9945964 | 1/ 1 | 2518936 | 0 | 1239.42/1239.42 c | 4118 | 12.4 | 0 | 126910 | 427 | 310 | 137278043 | 6198386 || 4118 | 9965587 | 1/ 1 | 2523557 | 0 | 1252.32/1252.38 c | 4165 | 13.0 | 0 | 131084 | 290 | 311 | 138199385 | 6240167 || 4165 | 10033614 | 1/ 1 | 2539862 | 0 | 1265.72/1265.70 c | 4221 | 13.3 | 0 | 145799 | 2647 | 312 | 139128526 | 6282955 || 4221 | 10104139 | 1/ 1 | 2558274 | 0 | 1279.92/1279.96 c | 4253 | 14.3 | 0 | 154604 | 1328 | 313 | 140082644 | 6323202 || 4253 | 10167489 | 1/ 1 | 2573019 | 0 | 1295.42/1295.40 c | 4300 | 15.4 | 0 | 160371 | 793 | 314 | 141003961 | 6365534 || 4300 | 10232007 | 1/ 1 | 2587809 | 0 | 1300.02/1300.00 c | 4316 | 4.6 | 0 | 169753 | 1298 | 314 | 141271825 | 6377870 || 4316 | 10252096 | 1/ 1 | 2592708 | 0 | 1300.02/1300.00 c c 1300.02/1300.00 c ----------------------------------- 1300.02/1300.00 c # temps = 1300.030000 1300.02/1300.00 c # cleaningDB = 314 1300.02/1300.00 c # clause binaire = 0 1300.02/1300.00 c # literal removed by litRedundant = 19592583 1300.02/1300.00 c # literal removed by litRedundantBin = 0 1300.02/1300.00 c # init clause removed by simplify = 0 1300.02/1300.00 c # learnt clause removed by simplify = 0 1300.02/1300.00 c # une clause fausse était une apprise = 0 1300.02/1300.00 c # equivalence dectecte = 0 1300.02/1300.00 c # Memory used : 54.13 MB 1300.02/1300.00 c 1300.02/1300.00 c ######################## 1300.02/1300.00 c #### ## ### ## #### 1300.02/1300.00 c #### #### # ## #### #### 1300.02/1300.00 c #### ## ### ## ### 1300.02/1300.00 c ######################## 1300.02/1300.00 c # restart = 4316 1300.02/1300.00 c # conflit = 5081751 1300.02/1300.00 c # decision = 6377870 1300.02/1300.00 c # propagation = 141271825 (108668.126889 (prop/sec)) 1300.02/1300.00 c 1300.02/1300.00 c ######################## 1300.02/1300.00 c ### ### # ## ## ## 1300.02/1300.00 c ### # # # #### # ### ### 1300.02/1300.00 c ### # ### ## # ### ### 1300.02/1300.00 c ######################## 1300.02/1300.00 c # numtry = 4316 1300.02/1300.00 c # numflips = 10252096 1300.02/1300.00 c # maxSat = 1 1300.02/1300.00 c # freeFlip = 2564312 1300.02/1300.00 c # nbBoundary = 153 1300.02/1300.00 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3273632-1303604618/watcher-3273632-1303604618 -o /tmp/evaluation-result-3273632-1303604618/solver-3273632-1303604618 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3273632-1303604618.cnf rnovelty running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.40 3.06 3.58 7/182 13210 /proc/meminfo: memFree=14192392/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 550692426 8912896 252 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13210/statm: 2176 252 211 178 0 69 0 [startup+0.0948289 s] /proc/loadavg: 1.40 3.06 3.58 7/182 13210 /proc/meminfo: memFree=14192392/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100825 s] /proc/loadavg: 1.40 3.06 3.58 7/182 13210 /proc/meminfo: memFree=14192392/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300787 s] /proc/loadavg: 1.40 3.06 3.58 7/182 13210 /proc/meminfo: memFree=14192392/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700712 s] /proc/loadavg: 1.40 3.06 3.58 7/182 13210 /proc/meminfo: memFree=14192392/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50062 s] /proc/loadavg: 1.61 3.08 3.58 6/198 13234 /proc/meminfo: memFree=14175500/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=10604 CPUtime=1.47 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 1132 0 0 0 147 0 0 0 25 0 1 0 550692427 10858496 1042 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 2651 1042 136 12 0 1115 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 28012 [startup+3.10032 s] /proc/loadavg: 1.61 3.08 3.58 6/198 13234 /proc/meminfo: memFree=14170292/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=11860 CPUtime=3.07 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 1458 0 0 0 307 0 0 0 25 0 1 0 550692427 12144640 1368 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223670 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 2965 1368 136 12 0 1429 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 29268 [startup+6.30072 s] /proc/loadavg: 1.61 3.08 3.58 6/198 13234 /proc/meminfo: memFree=14162228/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=13496 CPUtime=6.27 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 1873 0 0 0 627 0 0 0 25 0 1 0 550692427 13819904 1783 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 3374 1783 136 12 0 1838 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 30904 [startup+12.7005 s] /proc/loadavg: 1.98 3.11 3.58 6/198 13235 /proc/meminfo: memFree=14152712/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=15648 CPUtime=12.67 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 2403 0 0 0 1267 0 0 0 25 0 1 0 550692427 16023552 2303 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223660 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 3912 2303 136 12 0 2376 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 33056 [startup+25.5011 s] /proc/loadavg: 2.29 3.14 3.59 6/198 13235 /proc/meminfo: memFree=14143408/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=17936 CPUtime=25.47 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 3021 0 0 0 2547 0 0 0 25 0 1 0 550692427 18366464 2858 33554432000 4194304 4241092 140733606684896 18446744073709551615 4221764 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 4484 2858 136 12 0 2948 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 35344 [startup+51.1012 s] /proc/loadavg: 2.87 3.21 3.60 6/198 13236 /proc/meminfo: memFree=14131344/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=20512 CPUtime=51.07 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 3851 0 0 0 5106 1 0 0 25 0 1 0 550692427 21004288 3538 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 5128 3538 136 12 0 3592 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37920 [startup+102.308 s] /proc/loadavg: 3.55 3.34 3.62 6/198 13237 /proc/meminfo: memFree=14112448/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=24648 CPUtime=102.28 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 5256 0 0 0 10226 2 0 0 25 0 1 0 550692427 25239552 4545 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 6162 4545 136 12 0 4626 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 42056 [startup+162.301 s] /proc/loadavg: 3.83 3.45 3.64 6/198 13239 /proc/meminfo: memFree=14101500/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=27536 CPUtime=162.27 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 6307 0 0 0 16225 2 0 0 25 0 1 0 550692427 28196864 5281 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 6884 5281 136 12 0 5348 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 44944 [startup+222.301 s] /proc/loadavg: 4.00 3.57 3.66 6/198 13240 /proc/meminfo: memFree=14094888/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=29384 CPUtime=222.28 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 7141 0 0 0 22225 3 0 0 25 0 1 0 550692427 30089216 5740 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 7346 5740 136 12 0 5810 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 46792 [startup+282.3 s] ################ # More data... # ################ [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=40296 CPUtime=702.29 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 12341 0 0 0 70222 7 0 0 25 0 1 0 550692427 41263104 8468 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223607 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 10074 8468 136 12 0 8538 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 57704 [startup+762.307 s] /proc/loadavg: 4.01 3.93 3.80 6/198 13255 /proc/meminfo: memFree=14047636/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=40676 CPUtime=762.3 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 12684 0 0 0 76223 7 0 0 25 0 1 0 550692427 41652224 8567 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 10169 8567 136 12 0 8633 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 58084 [startup+822.301 s] /proc/loadavg: 4.07 3.96 3.82 6/198 13256 /proc/meminfo: memFree=14042784/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=42236 CPUtime=822.3 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 13329 0 0 0 82222 8 0 0 25 0 1 0 550692427 43249664 8953 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 10559 8953 136 12 0 9023 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 59644 [startup+882.301 s] /proc/loadavg: 4.02 3.96 3.82 6/198 13258 /proc/meminfo: memFree=14036692/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=43296 CPUtime=882.3 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 13861 0 0 0 88222 8 0 0 25 0 1 0 550692427 44335104 9230 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 10824 9230 136 12 0 9288 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 60704 [startup+942.301 s] /proc/loadavg: 4.01 3.97 3.83 6/198 13262 /proc/meminfo: memFree=14029152/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=43492 CPUtime=942.3 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 14161 0 0 0 94222 8 0 0 25 0 1 0 550692427 44535808 9283 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 10873 9283 136 12 0 9337 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 60900 [startup+1002.3 s] /proc/loadavg: 4.00 3.97 3.84 6/198 13264 /proc/meminfo: memFree=14023248/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=45960 CPUtime=1002.31 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 14981 0 0 0 100222 9 0 0 25 0 1 0 550692427 47063040 9866 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 11490 9866 136 12 0 9954 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 63368 [startup+1062.3 s] /proc/loadavg: 4.00 3.97 3.84 6/198 13266 /proc/meminfo: memFree=14018760/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=47008 CPUtime=1062.31 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 15581 0 0 0 106221 10 0 0 25 0 1 0 550692427 48136192 10135 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 11752 10135 136 12 0 10216 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 64416 [startup+1122.3 s] /proc/loadavg: 4.00 3.97 3.85 6/198 13267 /proc/meminfo: memFree=14017004/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=47660 CPUtime=1122.31 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 15974 0 0 0 112221 10 0 0 25 0 1 0 550692427 48803840 10292 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 11915 10292 136 12 0 10379 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 65068 [startup+1182.3 s] /proc/loadavg: 4.05 3.99 3.86 6/198 13269 /proc/meminfo: memFree=14013644/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=49068 CPUtime=1182.32 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 16534 0 0 0 118221 11 0 0 25 0 1 0 550692427 50245632 10664 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 12267 10664 136 12 0 10731 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 66476 [startup+1242.3 s] /proc/loadavg: 4.02 3.99 3.86 6/198 13270 /proc/meminfo: memFree=14003456/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=54632 CPUtime=1242.32 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 18172 0 0 0 124220 12 0 0 25 0 1 0 550692427 55943168 12050 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 13658 12050 136 12 0 12122 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 72040 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.06 4.00 3.87 6/198 13272 /proc/meminfo: memFree=14001568/32950928 swapFree=67111524/67111528 [pid=13210] ppid=13207 vsize=8704 CPUtime=0 cores=0,2 /proc/13210/stat : 13210 (esg_static.sh) S 13207 13210 12644 0 -1 4202496 348 149 0 0 0 0 0 0 22 0 1 0 550692426 8912896 255 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415391488 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/13210/statm: 2176 255 211 178 0 69 0 [pid=13221] ppid=13210 vsize=8704 CPUtime=0 cores=0,2 /proc/13221/stat : 13221 (esg_static.sh) S 13210 13210 12644 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 550692427 8912896 134 33554432000 4194304 4922060 140733471284160 18446744073709551615 256415210629 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/13221/statm: 2176 134 90 178 0 69 0 [pid=13223] ppid=13221 vsize=55424 CPUtime=1300.02 cores=0,2 /proc/13223/stat : 13223 (sathys) R 13221 13210 12644 0 -1 4202496 18511 0 0 0 129990 12 0 0 25 0 1 0 550692427 56754176 12261 33554432000 4194304 4241092 140733606684896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/13223/statm: 13856 12261 136 12 0 12320 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 72832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1300.01 CPU time (s): 1300.04 CPU user time (s): 1299.91 CPU system time (s): 0.13098 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 72960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.91 system time used= 0.13098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19389 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= 41 involuntary context switches= 3849 runsolver used 2.16467 second user time and 4.95025 second system time The end
Begin job on node115 at 2011-04-24 02:23:38 IDJOB=3273632 IDBENCH=83143 IDSOLVER=1610 FILE ID=node115/3273632-1303604618 RUNJOBID= node115-1303604617-13179 PBS_JOBID= 13150582 Free space on /tmp= 72440 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273632-1303604618/watcher-3273632-1303604618 -o /tmp/evaluation-result-3273632-1303604618/solver-3273632-1303604618 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3273632-1303604618.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= e0b064ae815c6a8bb8a9898180562bec RANDOM SEED=1015411454 node115.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.811 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.62 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.811 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.15 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.811 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.77 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.811 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.74 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.811 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 14192712 kB Buffers: 2281924 kB Cached: 15857876 kB SwapCached: 4 kB Active: 7304460 kB Inactive: 10900888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14192712 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 1564 kB Writeback: 0 kB AnonPages: 64488 kB Mapped: 15272 kB Slab: 488280 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 204868 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= 72436 MiB End job on node115 at 2011-04-24 02:45:18