| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.05 | 5000.03 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf |
| MD5SUM | bfa662ff57088c54e0febd091ce11e5c |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.268958 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1985 |
| Number of clauses | 409171 |
| Sum of the clauses size | 820237 |
| Maximum clause length | 47 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 409126 |
| 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 | 45 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439710-1306937876.cnf 0.00/0.00 c Parsing... 0.00/0.10 c ============================================================================== 0.00/0.10 c | | ORIGINAL | LEARNT | | 0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.10 c ============================================================================== 0.00/0.10 c | 0 | 409171 820237 | 122751 0 0 nan | 0.000 % | 1.38/1.45 c | 0 | 407186 1215184 | -- 0 -- -- | -- | -1985/394947 1.38/1.45 c ============================================================================== 1.38/1.45 c Result : #vars: 1940 #clauses: 407186 #literals: 1215184 1.38/1.45 c CPU time: 1.44678 s 1.38/1.45 c ============================================================================== 1.63/1.93 c 1.63/1.93 c seed = 0, numatom = 1940, numclause = 8673, numliterals = 1215184 1.63/1.93 c --------------------------------------------------------------------------------------------------------------------------------------------- 1.63/1.93 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 1.63/1.93 c --------------------------------------------------------------------------------------------------------------------------------------------- 2.08/2.14 c | 2 | 0.2 | 0 | 501 | 0 | 1 | 66017 | 3425 || 2 | 7187 | 58/ 0 | 267 | 0 | 2.27/2.38 c | 4 | 0.2 | 0 | 871 | 0 | 2 | 172394 | 7364 || 4 | 14648 | 56/ 0 | 635 | 0 | 2.67/2.70 c | 7 | 0.3 | 0 | 1210 | 201 | 3 | 282025 | 11124 || 7 | 20577 | 53/ 0 | 975 | 0 | 2.97/3.05 c | 8 | 0.4 | 0 | 1404 | 402 | 4 | 422670 | 15027 || 8 | 28189 | 53/ 0 | 1447 | 0 | 3.37/3.44 c | 11 | 0.4 | 0 | 1727 | 297 | 5 | 571054 | 21925 || 11 | 40099 | 53/ 0 | 2075 | 0 | 3.87/3.95 c | 14 | 0.5 | 0 | 2060 | 497 | 6 | 737100 | 28027 || 14 | 51700 | 53/ 0 | 2873 | 0 | 4.47/4.59 c | 15 | 0.6 | 0 | 2478 | 998 | 7 | 940501 | 34102 || 15 | 64743 | 48/ 0 | 3789 | 0 | 5.07/5.14 c | 16 | 0.6 | 0 | 2621 | 96 | 8 | 1230583 | 38763 || 16 | 70149 | 48/ 0 | 3928 | 0 | 5.67/5.72 c | 21 | 0.6 | 0 | 2495 | 96 | 9 | 1416871 | 47107 || 21 | 85299 | 48/ 0 | 4767 | 0 | 6.27/6.33 c | 25 | 0.6 | 0 | 2891 | 197 | 10 | 1635082 | 54476 || 25 | 99748 | 48/ 0 | 5704 | 0 | 6.97/7.05 c | 29 | 0.7 | 0 | 3253 | 587 | 11 | 1846012 | 63148 || 29 | 114500 | 48/ 0 | 6651 | 0 | 7.87/7.90 c | 30 | 0.9 | 0 | 3421 | 381 | 12 | 2085727 | 68445 || 30 | 125052 | 48/ 0 | 7542 | 0 | 8.78/8.82 c | 31 | 0.9 | 0 | 3514 | 2082 | 13 | 2252806 | 74712 || 31 | 142146 | 48/ 0 | 9313 | 0 | 9.47/9.51 c | 31 | 0.7 | 0 | 3886 | 1480 | 14 | 2579058 | 79333 || 31 | 145177 | 48/ 0 | 9346 | 0 | 10.27/10.35 c | 38 | 0.8 | 0 | 3834 | 373 | 15 | 2881485 | 92436 || 38 | 165906 | 48/ 0 | 10749 | 0 | 11.17/11.27 c | 44 | 0.9 | 0 | 4198 | 269 | 16 | 3182260 | 104390 || 44 | 186006 | 48/ 0 | 11757 | 0 | 12.37/12.42 c | 46 | 1.2 | 0 | 4114 | 265 | 17 | 3445835 | 113356 || 46 | 203783 | 48/ 0 | 13119 | 0 | 13.27/13.38 c | 53 | 1.0 | 0 | 4399 | 256 | 18 | 3818847 | 125129 || 53 | 224131 | 48/ 0 | 14523 | 0 | 14.37/14.48 c | 59 | 1.1 | 0 | 5030 | 139 | 19 | 4172919 | 137643 || 59 | 246027 | 48/ 0 | 15513 | 0 | 15.87/15.96 c | 61 | 1.5 | 0 | 5476 | 738 | 20 | 4588764 | 148407 || 61 | 264954 | 48/ 0 | 16890 | 0 | 17.37/17.40 c | 62 | 1.4 | 0 | 5524 | 839 | 21 | 4923829 | 158131 || 62 | 285988 | 48/ 0 | 18679 | 0 | 18.98/19.04 c | 63 | 1.6 | 0 | 5706 | 3443 | 22 | 5330380 | 168168 || 63 | 313823 | 48/ 0 | 22101 | 0 | 20.98/21.02 c | 63 | 2.0 | 0 | 6425 | 1345 | 23 | 5801726 | 176767 || 63 | 328194 | 48/ 0 | 22215 | 0 | 22.17/22.24 c | 67 | 1.2 | 0 | 6318 | 37 | 24 | 6384117 | 186926 || 67 | 338457 | 48/ 0 | 22788 | 0 | 23.47/23.55 c | 76 | 1.3 | 0 | 6063 | 19 | 25 | 6854148 | 203939 || 76 | 370636 | 48/ 0 | 24587 | 0 | 24.97/25.02 c | 81 | 1.5 | 0 | 6550 | 105 | 26 | 7314999 | 216200 || 81 | 393081 | 48/ 0 | 26389 | 0 | 26.28/26.40 c | 90 | 1.4 | 0 | 7103 | 188 | 27 | 7827537 | 234112 || 90 | 424643 | 48/ 0 | 28083 | 0 | 27.97/28.08 c | 94 | 1.7 | 0 | 7777 | 1086 | 28 | 8276802 | 249220 || 94 | 455309 | 48/ 0 | 31372 | 0 | 29.87/29.90 c | 96 | 1.8 | 0 | 8258 | 84 | 29 | 8851121 | 263149 || 96 | 476447 | 48/ 0 | 31781 | 0 | 31.67/31.73 c | 107 | 1.8 | 0 | 8435 | 265 | 30 | 9401961 | 282816 || 107 | 512313 | 48/ 0 | 33949 | 0 | 33.57/33.69 c | 113 | 2.0 | 0 | 8916 | 255 | 31 | 9987810 | 300051 || 113 | 542697 | 48/ 0 | 35927 | 0 | 35.77/35.80 c | 123 | 2.1 | 0 | 9030 | 38 | 32 | 10575577 | 320438 || 123 | 579450 | 48/ 0 | 38175 | 0 | 38.17/38.26 c | 125 | 2.5 | 0 | 9071 | 135 | 33 | 11027405 | 334955 || 125 | 612615 | 48/ 0 | 40857 | 0 | 41.07/41.14 c | 126 | 2.9 | 0 | 8680 | 3936 | 34 | 11608680 | 350254 || 126 | 646981 | 48/ 0 | 44359 | 0 | 43.27/43.36 c | 126 | 2.2 | 0 | 8488 | 3036 | 35 | 12579452 | 362931 || 126 | 657619 | 48/ 0 | 44463 | 0 | 46.07/46.17 c | 127 | 2.8 | 0 | 8244 | 7040 | 36 | 12960567 | 383336 || 127 | 717603 | 48/ 0 | 51398 | 0 | 49.17/49.23 c | 127 | 3.1 | 0 | 8816 | 1539 | 37 | 13615280 | 400299 || 127 | 748108 | 48/ 0 | 51702 | 0 | 50.95/51.06 c | 127 | 1.8 | 0 | 8713 | 5742 | 38 | 14616664 | 407751 || 127 | 748108 | 48/ 0 | 51702 | 0 | 52.95/53.03 c | 140 | 2.0 | 0 | 8592 | 109 | 39 | 15356649 | 431704 || 140 | 787329 | 48/ 0 | 54079 | 0 | 55.05/55.16 c | 148 | 2.1 | 0 | 9237 | 194 | 40 | 16065326 | 452226 || 148 | 824482 | 48/ 0 | 56432 | 0 | 57.45/57.59 c | 157 | 2.4 | 0 | 9975 | 485 | 41 | 16758282 | 473683 || 157 | 865325 | 48/ 0 | 59248 | 0 | 59.85/59.91 c | 163 | 2.3 | 0 | 10959 | 167 | 42 | 17616880 | 493691 || 163 | 901968 | 48/ 0 | 61791 | 0 | 62.45/62.50 c | 173 | 2.6 | 0 | 11719 | 155 | 43 | 18346993 | 515876 || 173 | 944139 | 48/ 0 | 64791 | 0 | 65.05/65.18 c | 187 | 2.7 | 0 | 12265 | 337 | 44 | 19186113 | 541745 || 187 | 986269 | 48/ 0 | 67572 | 0 | 68.17/68.27 c | 189 | 3.1 | 0 | 12386 | 1034 | 45 | 19951463 | 561812 || 189 | 1027672 | 48/ 0 | 70381 | 0 | 70.85/70.92 c | 190 | 2.7 | 0 | 12137 | 1234 | 46 | 20565510 | 581640 || 190 | 1072694 | 48/ 0 | 73997 | 0 | 73.35/73.44 c | 200 | 2.5 | 0 | 12637 | 117 | 47 | 21457775 | 603096 || 200 | 1104840 | 48/ 0 | 75868 | 0 | 76.05/76.18 c | 212 | 2.7 | 0 | 12615 | 503 | 48 | 22237530 | 628965 || 212 | 1151699 | 48/ 0 | 79116 | 0 | 78.85/78.96 c | 221 | 2.8 | 0 | 12493 | 1589 | 49 | 22955492 | 651309 || 221 | 1198242 | 48/ 0 | 83126 | 0 | 82.05/82.17 c | 231 | 3.2 | 0 | 13062 | 275 | 50 | 23876623 | 674339 || 231 | 1237989 | 48/ 0 | 85067 | 0 | 85.05/85.13 c | 243 | 3.0 | 0 | 13092 | 45 | 51 | 24718211 | 701667 || 243 | 1290368 | 48/ 0 | 88366 | 0 | 88.05/88.10 c | 252 | 3.0 | 0 | 14017 | 2033 | 52 | 25510311 | 727900 || 252 | 1343639 | 48/ 0 | 92464 | 0 | 91.27/91.33 c | 253 | 3.2 | 0 | 14370 | 536 | 53 | 26288919 | 749659 || 253 | 1392631 | 48/ 0 | 96155 | 0 | 94.65/94.75 c | 254 | 3.4 | 0 | 13793 | 6337 | 54 | 27116528 | 767954 || 254 | 1436902 | 48/ 0 | 102941 | 0 | 97.95/98.04 c | 254 | 3.3 | 0 | 14528 | 2635 | 55 | 27819547 | 784340 || 254 | 1465788 | 48/ 0 | 103190 | 0 | 100.95/101.04 c | 255 | 3.0 | 0 | 14189 | 8636 | 56 | 28709699 | 801445 || 255 | 1518032 | 47/ 0 | 116508 | 0 | 105.05/105.19 c | 255 | 4.2 | 0 | 14422 | 6105 | 57 | 29301481 | 828221 || 255 | 1583174 | 47/ 0 | 117116 | 0 | 109.45/109.51 c | 255 | 4.3 | 0 | 15476 | 1742 | 58 | 29977441 | 849783 || 255 | 1628575 | 47/ 0 | 117529 | 0 | 112.05/112.15 c | 255 | 2.6 | 0 | 12607 | 8044 | 59 | 30981205 | 859042 || 255 | 1628575 | 47/ 0 | 117529 | 0 | 114.95/115.09 c | 262 | 2.9 | 0 | 13654 | 240 | 60 | 31912168 | 876713 || 262 | 1648089 | 47/ 0 | 118902 | 0 | 118.25/118.33 c | 277 | 3.2 | 0 | 12641 | 310 | 61 | 32875779 | 906844 || 277 | 1702050 | 47/ 0 | 122633 | 0 | 122.25/122.30 c | 286 | 4.0 | 0 | 13432 | 287 | 62 | 33848702 | 937533 || 286 | 1761975 | 47/ 0 | 126801 | 0 | 125.85/125.90 c | 301 | 3.6 | 0 | 13823 | 958 | 63 | 34935187 | 966790 || 301 | 1814165 | 47/ 0 | 130476 | 0 | 129.66/129.79 c | 316 | 3.9 | 0 | 14646 | 127 | 64 | 35912300 | 997645 || 316 | 1869958 | 47/ 0 | 134173 | 0 | 134.25/134.30 c | 318 | 4.5 | 0 | 15002 | 4627 | 65 | 36861598 | 1027171 || 318 | 1938311 | 47/ 0 | 139568 | 0 | 137.95/138.07 c | 331 | 3.8 | 0 | 16150 | 100 | 66 | 38306489 | 1054160 || 331 | 1975954 | 47/ 0 | 141724 | 0 | 141.95/142.01 c | 347 | 3.9 | 0 | 16442 | 463 | 67 | 39390765 | 1089034 || 347 | 2041096 | 47/ 0 | 146136 | 0 | 146.05/146.21 c | 356 | 4.2 | 0 | 17330 | 452 | 68 | 40596397 | 1119298 || 356 | 2094839 | 47/ 0 | 150246 | 0 | 150.45/150.56 c | 373 | 4.3 | 0 | 18190 | 21 | 69 | 41763194 | 1153492 || 373 | 2154198 | 47/ 0 | 154168 | 0 | 155.15/155.26 c | 381 | 4.7 | 0 | 18428 | 2107 | 70 | 42903220 | 1184650 || 381 | 2223712 | 47/ 0 | 161412 | 0 | 159.75/159.85 c | 382 | 4.6 | 0 | 18356 | 4808 | 71 | 43910493 | 1211159 || 382 | 2286558 | 47/ 0 | 168397 | 0 | 164.65/164.78 c | 382 | 4.9 | 0 | 18358 | 2811 | 72 | 44959087 | 1234702 || 382 | 2331700 | 47/ 0 | 168801 | 0 | 168.15/168.29 c | 396 | 3.5 | 0 | 18519 | 303 | 73 | 46214702 | 1263339 || 396 | 2372659 | 47/ 0 | 171572 | 0 | 172.55/172.69 c | 412 | 4.4 | 0 | 19933 | 1068 | 74 | 47497198 | 1303018 || 412 | 2446072 | 47/ 0 | 176295 | 0 | 177.25/177.37 c | 426 | 4.7 | 0 | 20640 | 235 | 75 | 48849688 | 1338019 || 426 | 2507312 | 47/ 0 | 180431 | 0 | 182.24/182.39 c | 443 | 5.0 | 0 | 21518 | 912 | 76 | 50066373 | 1375152 || 443 | 2577228 | 47/ 0 | 185500 | 0 | 187.64/187.72 c | 445 | 5.3 | 0 | 21546 | 604 | 77 | 51308237 | 1404115 || 445 | 2640695 | 47/ 0 | 190858 | 0 | 192.15/192.28 c | 460 | 4.6 | 0 | 21713 | 1183 | 78 | 52654398 | 1437079 || 460 | 2695758 | 47/ 0 | 194556 | 0 | 197.15/197.25 c | 476 | 5.0 | 0 | 22524 | 1852 | 79 | 53919802 | 1474918 || 476 | 2767663 | 47/ 0 | 200012 | 0 | 202.75/202.84 c | 491 | 5.6 | 0 | 22627 | 625 | 80 | 55376100 | 1511248 || 491 | 2830233 | 46/ 0 | 203856 | 0 | 208.55/208.69 c | 507 | 5.8 | 0 | 22567 | 288 | 81 | 56600018 | 1552117 || 507 | 2912385 | 46/ 0 | 209396 | 0 | 213.95/214.09 c | 509 | 5.4 | 0 | 22379 | 4087 | 82 | 57864103 | 1576409 || 509 | 2972571 | 46/ 0 | 219563 | 0 | 220.05/220.10 c | 509 | 6.0 | 0 | 22618 | 3187 | 83 | 59126561 | 1607063 || 509 | 3031712 | 46/ 0 | 220072 | 0 | 224.95/225.09 c | 510 | 5.0 | 0 | 22315 | 11990 | 84 | 60404406 | 1637572 || 510 | 3118065 | 46/ 0 | 233692 | 0 | 231.35/231.42 c | 510 | 6.3 | 0 | 21740 | 1688 | 85 | 61436892 | 1671241 || 510 | 3194135 | 46/ 0 | 234398 | 0 | 236.15/236.26 c | 510 | 4.8 | 0 | 21290 | 10689 | 86 | 63373748 | 1683817 || 510 | 3194135 | 46/ 0 | 234398 | 0 | 241.55/241.60 c | 511 | 5.3 | 0 | 21288 | 19791 | 87 | 64466333 | 1717241 || 511 | 3320570 | 46/ 0 | 261194 | 0 | 248.76/248.83 c | 511 | 7.2 | 0 | 21256 | 9202 | 88 | 65288095 | 1754474 || 511 | 3412030 | 46/ 0 | 262055 | 0 | 255.75/255.83 c | 511 | 7.0 | 0 | 21761 | 9307 | 89 | 66029666 | 1791936 || 511 | 3504230 | 46/ 0 | 262895 | 0 | 259.95/260.00 c | 511 | 4.2 | 0 | 17020 | 9301 | 90 | 67848492 | 1806220 || 511 | 3505104 | 46/ 0 | 262901 | 0 | 263.97/264.05 c | 511 | 4.0 | 0 | 19520 | 18805 | 91 | 69826639 | 1819841 || 511 | 3505104 | 46/ 0 | 262901 | 0 | 268.45/268.53 c | 520 | 4.5 | 0 | 20390 | 78 | 92 | 71783395 | 1844786 || 520 | 3531911 | 46/ 0 | 264537 | 0 | 274.15/274.24 c | 541 | 5.7 | 0 | 21581 | 446 | 93 | 73268000 | 1893252 || 541 | 3620967 | 46/ 0 | 270366 | 0 | 280.15/280.26 c | 557 | 6.0 | 0 | 23605 | 609 | 94 | 74804555 | 1938659 || 557 | 3705246 | 46/ 0 | 275950 | 0 | 286.15/286.29 c | 574 | 6.0 | 0 | 25036 | 1673 | 95 | 76341174 | 1982023 || 574 | 3792044 | 45/ 0 | 284773 | 0 | 292.75/292.89 c | 587 | 6.6 | 0 | 26230 | 150 | 96 | 77733299 | 2022764 || 587 | 3861038 | 45/ 0 | 287440 | 0 | 299.65/299.76 c | 605 | 6.9 | 0 | 26330 | 1703 | 97 | 79309996 | 2069676 || 605 | 3952495 | 45/ 0 | 294366 | 0 | 306.65/306.71 c | 626 | 6.9 | 0 | 26686 | 52 | 98 | 80983711 | 2117011 || 626 | 4033801 | 45/ 0 | 299153 | 0 | 313.75/313.88 c | 637 | 7.2 | 0 | 25904 | 3737 | 99 | 82459454 | 2161371 || 637 | 4128233 | 45/ 0 | 307215 | 0 | 320.45/320.58 c | 638 | 6.7 | 0 | 25409 | 9339 | 100 | 83806828 | 2196529 || 638 | 4213945 | 45/ 0 | 314408 | 0 | 326.95/327.04 c | 651 | 6.4 | 0 | 24978 | 299 | 101 | 85612455 | 2229776 || 651 | 4254864 | 45/ 0 | 316802 | 0 | 334.45/334.54 c | 669 | 7.5 | 0 | 25000 | 2353 | 102 | 87102225 | 2278857 || 669 | 4352269 | 45/ 0 | 323659 | 0 | 342.07/342.16 c | 693 | 7.6 | 0 | 26258 | 104 | 103 | 89032047 | 2327484 || 693 | 4434358 | 45/ 0 | 328949 | 0 | 349.55/349.65 c | 701 | 7.5 | 0 | 26281 | 578 | 104 | 90630002 | 2370593 || 701 | 4529959 | 45/ 0 | 336522 | 0 | 356.55/356.60 c | 723 | 6.9 | 0 | 27027 | 432 | 105 | 92510524 | 2416343 || 723 | 4606021 | 45/ 0 | 341660 | 0 | 363.96/364.06 c | 742 | 7.5 | 0 | 27679 | 197 | 106 | 94276441 | 2461110 || 742 | 4685663 | 45/ 0 | 347526 | 0 | 371.25/371.34 c | 763 | 7.3 | 0 | 28211 | 2268 | 107 | 95797414 | 2511804 || 763 | 4784791 | 45/ 0 | 354837 | 0 | 378.37/378.49 c | 765 | 7.1 | 0 | 27366 | 6267 | 108 | 97223061 | 2548772 || 765 | 4875508 | 45/ 0 | 365265 | 0 | 385.85/385.97 c | 766 | 7.5 | 0 | 28416 | 7967 | 109 | 99169033 | 2583010 || 766 | 4952546 | 45/ 0 | 378771 | 0 | 395.15/395.29 c | 766 | 9.3 | 0 | 26519 | 169 | 110 | 100258628 | 2628113 || 766 | 5063090 | 45/ 0 | 379777 | 0 | 401.55/401.67 c | 766 | 6.4 | 0 | 24975 | 11670 | 111 | 102434147 | 2644616 || 766 | 5063090 | 45/ 0 | 379777 | 0 | 408.35/408.49 c | 795 | 6.8 | 0 | 25470 | 208 | 112 | 104200567 | 2697939 || 795 | 5157394 | 45/ 0 | 386292 | 0 | 416.25/416.35 c | 812 | 7.9 | 0 | 26598 | 466 | 113 | 105930341 | 2747069 || 812 | 5248658 | 45/ 0 | 392748 | 0 | 423.85/423.93 c | 829 | 7.6 | 0 | 27379 | 3434 | 114 | 107506908 | 2795595 || 829 | 5350502 | 45/ 0 | 401703 | 0 | 431.17/431.22 c | 848 | 7.3 | 0 | 28513 | 289 | 115 | 109406062 | 2842861 || 848 | 5430163 | 45/ 0 | 406176 | 0 | 439.25/439.30 c | 871 | 8.1 | 0 | 29807 | 235 | 116 | 111202545 | 2893951 || 871 | 5523552 | 45/ 0 | 413081 | 0 | 447.95/448.07 c | 891 | 8.8 | 0 | 31488 | 896 | 117 | 113041391 | 2946706 || 891 | 5622661 | 45/ 0 | 420333 | 0 | 455.45/455.53 c | 893 | 7.5 | 0 | 31112 | 8295 | 118 | 114373658 | 2989805 || 893 | 5731185 | 45/ 0 | 430931 | 0 | 463.35/463.40 c | 907 | 7.9 | 0 | 32629 | 167 | 119 | 116410421 | 3029480 || 907 | 5788367 | 45/ 0 | 433830 | 0 | 471.65/471.76 c | 928 | 8.4 | 0 | 33371 | 22 | 120 | 118234317 | 3080719 || 928 | 5885315 | 45/ 0 | 440869 | 0 | 481.15/481.25 c | 955 | 9.5 | 0 | 34544 | 1371 | 121 | 120164392 | 3140596 || 955 | 5998235 | 45/ 0 | 449396 | 0 | 490.35/490.40 c | 968 | 9.2 | 0 | 34746 | 33 | 122 | 122147167 | 3189832 || 968 | 6085828 | 45/ 0 | 455236 | 0 | 499.26/499.35 c | 988 | 9.0 | 0 | 35114 | 89 | 123 | 124045273 | 3244333 || 988 | 6189542 | 45/ 0 | 462522 | 0 | 508.65/508.75 c | 1018 | 9.4 | 0 | 36404 | 924 | 124 | 125906044 | 3302394 || 1018 | 6299694 | 45/ 0 | 471388 | 0 | 518.65/518.71 c | 1020 | 10.0 | 0 | 35141 | 6626 | 125 | 127658988 | 3346649 || 1020 | 6406782 | 45/ 0 | 481964 | 0 | 527.85/528.00 c | 1021 | 9.3 | 0 | 34121 | 10029 | 126 | 129452434 | 3383409 || 1021 | 6496759 | 45/ 0 | 495607 | 0 | 538.45/538.51 c | 1021 | 10.5 | 0 | 33591 | 3930 | 127 | 130984002 | 3421727 || 1021 | 6575017 | 45/ 0 | 496357 | 0 | 547.65/547.74 c | 1022 | 9.2 | 0 | 33984 | 17136 | 128 | 133015487 | 3452856 || 1022 | 6671409 | 45/ 0 | 522850 | 0 | 559.54/559.69 c | 1022 | 12.0 | 0 | 33288 | 13302 | 129 | 134034932 | 3505739 || 1022 | 6797536 | 45/ 0 | 523960 | 0 | 568.44/568.61 c | 1022 | 8.9 | 0 | 34503 | 5437 | 130 | 135507112 | 3545947 || 1022 | 6873085 | 45/ 0 | 524659 | 0 | 575.64/575.79 c | 1022 | 7.2 | 0 | 30687 | 18938 | 131 | 137520449 | 3565946 || 1022 | 6873085 | 45/ 0 | 524659 | 0 | 584.25/584.37 c | 1023 | 8.6 | 0 | 31742 | 32542 | 132 | 139231679 | 3608937 || 1023 | 7054740 | 45/ 0 | 577597 | 0 | 596.45/596.55 c | 1023 | 12.2 | 0 | 33642 | 13701 | 133 | 140546608 | 3671121 || 1023 | 7201695 | 45/ 0 | 578985 | 0 | 608.45/608.59 c | 1023 | 12.0 | 0 | 34066 | 13801 | 134 | 141972325 | 3734918 || 1023 | 7353893 | 45/ 0 | 580423 | 0 | 622.05/622.17 c | 1023 | 13.6 | 0 | 34879 | 13904 | 135 | 143319020 | 3797229 || 1023 | 7501814 | 45/ 0 | 581820 | 0 | 633.85/633.90 c | 1023 | 11.7 | 0 | 34961 | 11144 | 136 | 145386558 | 3824993 || 1023 | 7532319 | 45/ 0 | 582077 | 0 | 642.75/642.88 c | 1023 | 9.0 | 0 | 32138 | 25245 | 137 | 148040507 | 3844976 || 1023 | 7532319 | 45/ 0 | 582077 | 0 | 652.27/652.32 c | 1023 | 9.4 | 0 | 31338 | 39446 | 138 | 150646655 | 3865558 || 1023 | 7532319 | 45/ 0 | 582077 | 0 | 659.97/660.05 c | 1031 | 7.7 | 0 | 29001 | 18 | 139 | 153242675 | 3897238 || 1031 | 7557027 | 45/ 0 | 583593 | 0 | 669.95/670.08 c | 1058 | 10.0 | 0 | 30879 | 260 | 140 | 155397357 | 3962833 || 1058 | 7674788 | 45/ 0 | 591903 | 0 | 681.15/681.27 c | 1085 | 11.2 | 0 | 33384 | 902 | 141 | 157415856 | 4027788 || 1085 | 7797360 | 45/ 0 | 600548 | 0 | 692.55/692.68 c | 1106 | 11.4 | 0 | 35439 | 153 | 142 | 159545668 | 4086232 || 1106 | 7907452 | 45/ 0 | 608568 | 0 | 704.55/704.67 c | 1132 | 12.0 | 0 | 36142 | 504 | 143 | 161772433 | 4150060 || 1132 | 8023479 | 45/ 0 | 616989 | 0 | 715.55/715.68 c | 1149 | 11.0 | 0 | 37263 | 1672 | 144 | 163754987 | 4206413 || 1149 | 8136888 | 45/ 0 | 626021 | 0 | 726.95/727.12 c | 1153 | 11.4 | 0 | 36393 | 268 | 145 | 166099214 | 4250030 || 1153 | 8227397 | 45/ 0 | 633649 | 0 | 737.05/737.19 c | 1181 | 10.1 | 0 | 35446 | 1107 | 146 | 168148207 | 4315437 || 1181 | 8346979 | 45/ 0 | 642340 | 0 | 749.44/749.54 c | 1212 | 12.4 | 0 | 37435 | 152 | 147 | 170521317 | 4387987 || 1212 | 8480216 | 45/ 0 | 651544 | 0 | 761.65/761.70 c | 1232 | 12.2 | 0 | 38011 | 17 | 148 | 173012684 | 4444066 || 1232 | 8581689 | 45/ 0 | 659417 | 0 | 774.14/774.24 c | 1260 | 12.5 | 0 | 39146 | 56 | 149 | 175386183 | 4510669 || 1260 | 8701123 | 45/ 0 | 668168 | 0 | 787.34/787.45 c | 1276 | 13.2 | 0 | 39355 | 2716 | 150 | 177672784 | 4568281 || 1276 | 8808917 | 45/ 0 | 677103 | 0 | 798.34/798.45 c | 1278 | 11.0 | 0 | 37457 | 8616 | 151 | 179827082 | 4624336 || 1278 | 8952839 | 45/ 0 | 697764 | 0 | 810.05/810.19 c | 1278 | 11.8 | 0 | 36299 | 5019 | 152 | 181521204 | 4678310 || 1278 | 9063261 | 45/ 0 | 698729 | 0 | 821.15/821.21 c | 1299 | 11.0 | 0 | 36963 | 82 | 153 | 184082966 | 4728173 || 1299 | 9133719 | 45/ 0 | 703377 | 0 | 833.05/833.12 c | 1330 | 11.9 | 0 | 37966 | 116 | 154 | 186508492 | 4799764 || 1330 | 9266148 | 45/ 0 | 712592 | 0 | 844.65/844.77 c | 1346 | 11.6 | 0 | 39146 | 168 | 155 | 188765368 | 4860966 || 1346 | 9384669 | 45/ 0 | 721454 | 0 | 857.74/857.82 c | 1377 | 13.0 | 0 | 40668 | 102 | 156 | 191169144 | 4930309 || 1377 | 9513780 | 45/ 0 | 730514 | 0 | 871.44/871.53 c | 1404 | 13.7 | 0 | 42252 | 2641 | 157 | 193562896 | 5000409 || 1404 | 9649283 | 45/ 0 | 742455 | 0 | 884.84/884.97 c | 1405 | 13.4 | 0 | 42005 | 4436 | 158 | 196070273 | 5056479 || 1405 | 9757466 | 45/ 0 | 749859 | 0 | 898.34/898.47 c | 1436 | 13.5 | 0 | 43493 | 2266 | 159 | 198469945 | 5124014 || 1436 | 9883632 | 45/ 0 | 759042 | 0 | 912.04/912.10 c | 1467 | 13.6 | 0 | 43915 | 184 | 160 | 200882990 | 5196543 || 1467 | 10018478 | 45/ 0 | 768332 | 0 | 925.74/925.80 c | 1490 | 13.7 | 0 | 44251 | 239 | 161 | 203505112 | 5259283 || 1490 | 10134052 | 45/ 0 | 777039 | 0 | 941.25/941.30 c | 1523 | 15.5 | 0 | 44952 | 61 | 162 | 206204798 | 5335277 || 1523 | 10272704 | 45/ 0 | 786560 | 0 | 955.15/955.29 c | 1532 | 14.0 | 0 | 44108 | 6645 | 163 | 208523179 | 5393186 || 1532 | 10410458 | 45/ 0 | 800829 | 0 | 973.85/973.97 c | 1533 | 18.7 | 0 | 44766 | 13844 | 164 | 211022933 | 5445520 || 1533 | 10539214 | 45/ 0 | 814838 | 0 | 995.05/995.12 c | 1533 | 21.2 | 0 | 44799 | 11540 | 165 | 214276341 | 5483745 || 1533 | 10592670 | 45/ 0 | 815340 | 0 | 1008.67/1008.78 c | 1534 | 13.7 | 0 | 40912 | 28541 | 166 | 215996555 | 5553348 || 1534 | 10808775 | 45/ 0 | 842927 | 0 | 1023.95/1024.07 c | 1534 | 15.3 | 0 | 42713 | 7240 | 167 | 217971680 | 5602254 || 1534 | 10902472 | 45/ 0 | 843789 | 0 | 1036.05/1036.20 c | 1534 | 12.1 | 0 | 39787 | 24443 | 168 | 220828534 | 5627661 || 1534 | 10902472 | 45/ 0 | 843789 | 0 | 1048.85/1048.95 c | 1566 | 12.8 | 0 | 43028 | 1675 | 169 | 223454105 | 5701071 || 1566 | 11036690 | 45/ 0 | 853204 | 0 | 1063.74/1063.84 c | 1597 | 14.9 | 0 | 43699 | 2997 | 170 | 226203586 | 5780486 || 1597 | 11194623 | 45/ 0 | 865805 | 0 | 1078.85/1078.92 c | 1627 | 15.1 | 0 | 46210 | 440 | 171 | 228793289 | 5848172 || 1627 | 11314923 | 45/ 0 | 873319 | 0 | 1095.15/1095.26 c | 1659 | 16.3 | 0 | 47745 | 1966 | 172 | 231370709 | 5922790 || 1659 | 11458717 | 45/ 0 | 884295 | 0 | 1109.75/1109.85 c | 1661 | 14.6 | 0 | 47719 | 2862 | 173 | 233645347 | 5979751 || 1661 | 11582955 | 45/ 0 | 895056 | 0 | 1125.94/1126.02 c | 1692 | 16.2 | 0 | 49038 | 2190 | 174 | 236639731 | 6050860 || 1692 | 11709467 | 45/ 0 | 904207 | 0 | 1143.44/1143.52 c | 1724 | 17.5 | 0 | 48537 | 1609 | 175 | 239388468 | 6122394 || 1724 | 11847732 | 45/ 0 | 916682 | 0 | 1161.74/1161.83 c | 1754 | 18.3 | 0 | 49607 | 755 | 176 | 242275361 | 6197907 || 1754 | 11985551 | 45/ 0 | 924406 | 0 | 1180.64/1180.72 c | 1786 | 18.9 | 0 | 50628 | 1571 | 177 | 244993094 | 6272747 || 1786 | 12128086 | 45/ 0 | 935328 | 0 | 1199.05/1199.13 c | 1788 | 18.4 | 0 | 49073 | 2967 | 178 | 247499070 | 6331132 || 1788 | 12248948 | 45/ 0 | 946043 | 0 | 1216.15/1216.24 c | 1789 | 17.1 | 0 | 46848 | 2068 | 179 | 249587893 | 6383151 || 1789 | 12379588 | 45/ 0 | 959959 | 0 | 1231.25/1231.37 c | 1810 | 15.1 | 0 | 46846 | 125 | 180 | 252553779 | 6434463 || 1810 | 12446778 | 45/ 0 | 964643 | 0 | 1249.15/1249.25 c | 1848 | 17.9 | 0 | 48830 | 146 | 181 | 255275032 | 6518415 || 1848 | 12602052 | 45/ 0 | 975336 | 0 | 1265.65/1265.77 c | 1867 | 16.5 | 0 | 49949 | 576 | 182 | 257903264 | 6586512 || 1867 | 12732874 | 45/ 0 | 985848 | 0 | 1284.77/1284.84 c | 1906 | 19.1 | 0 | 51062 | 402 | 183 | 260690060 | 6668900 || 1906 | 12887953 | 45/ 0 | 996488 | 0 | 1301.85/1301.96 c | 1916 | 17.1 | 0 | 50892 | 8397 | 184 | 262951785 | 6737188 || 1916 | 13046875 | 45/ 0 | 1011151 | 0 | 1321.25/1321.35 c | 1946 | 19.4 | 0 | 52475 | 434 | 185 | 266434299 | 6805417 || 1946 | 13157057 | 45/ 0 | 1018587 | 0 | 1339.65/1339.81 c | 1978 | 18.5 | 0 | 53341 | 2161 | 186 | 269002910 | 6882298 || 1978 | 13307500 | 45/ 0 | 1029678 | 0 | 1360.55/1360.65 c | 2008 | 20.8 | 0 | 54388 | 587 | 187 | 271842090 | 6956580 || 2008 | 13447771 | 45/ 0 | 1039798 | 0 | 1381.25/1381.38 c | 2041 | 20.7 | 0 | 54889 | 1913 | 188 | 274682359 | 7039778 || 2041 | 13606053 | 45/ 0 | 1051674 | 0 | 1404.15/1404.28 c | 2043 | 22.9 | 0 | 54480 | 4416 | 189 | 277713204 | 7105317 || 2043 | 13744929 | 45/ 0 | 1062599 | 0 | 1423.85/1423.97 c | 2044 | 19.7 | 0 | 53528 | 4609 | 190 | 280250378 | 7173539 || 2044 | 13912486 | 45/ 0 | 1076938 | 0 | 1441.15/1441.20 c | 2045 | 17.2 | 0 | 52560 | 24116 | 191 | 283035948 | 7231447 || 2045 | 14078470 | 45/ 0 | 1104050 | 0 | 1459.15/1459.28 c | 2045 | 18.1 | 0 | 53023 | 5314 | 192 | 285716541 | 7298436 || 2045 | 14221218 | 45/ 0 | 1105357 | 0 | 1475.07/1475.17 c | 2045 | 15.9 | 0 | 51435 | 25016 | 193 | 289394123 | 7326714 || 2045 | 14221218 | 45/ 0 | 1105357 | 0 | 1491.25/1491.31 c | 2046 | 16.2 | 0 | 50020 | 44817 | 194 | 291164004 | 7410521 || 2046 | 14525713 | 45/ 0 | 1159442 | 0 | 1510.16/1510.29 c | 2046 | 19.0 | 0 | 52891 | 19901 | 195 | 292655666 | 7490223 || 2046 | 14715744 | 45/ 0 | 1161097 | 0 | 1531.07/1531.14 c | 2046 | 20.9 | 0 | 53682 | 7919 | 196 | 294817983 | 7543270 || 2046 | 14818256 | 45/ 0 | 1162028 | 0 | 1548.78/1548.87 c | 2046 | 17.7 | 0 | 51202 | 28020 | 197 | 297955760 | 7571691 || 2046 | 14818256 | 45/ 0 | 1162028 | 0 | 1564.46/1564.54 c | 2046 | 15.7 | 0 | 55188 | 48223 | 198 | 301258617 | 7601584 || 2046 | 14818256 | 45/ 0 | 1162028 | 0 | 1584.66/1584.78 c | 2047 | 20.2 | 0 | 57807 | 68524 | 199 | 302760158 | 7660213 || 2047 | 15162375 | 45/ 0 | 1267689 | 0 | 1612.26/1612.31 c | 2047 | 27.5 | 0 | 60235 | 20402 | 200 | 304125669 | 7729074 || 2047 | 15329958 | 45/ 0 | 1269188 | 0 | 1641.06/1641.16 c | 2047 | 28.8 | 0 | 59132 | 20501 | 201 | 305493954 | 7797580 || 2047 | 15497906 | 45/ 0 | 1270695 | 0 | 1674.66/1674.71 c | 2047 | 33.5 | 0 | 60089 | 20603 | 202 | 306895879 | 7867498 || 2047 | 15672395 | 45/ 0 | 1272292 | 0 | 1707.86/1707.96 c | 2047 | 33.2 | 0 | 61799 | 20702 | 203 | 308222383 | 7935259 || 2047 | 15840770 | 45/ 0 | 1273832 | 0 | 1730.06/1730.16 c | 2047 | 22.2 | 0 | 49096 | 17932 | 204 | 311486212 | 7970179 || 2047 | 15865434 | 45/ 0 | 1274057 | 0 | 1748.76/1748.84 c | 2047 | 18.7 | 0 | 47150 | 38833 | 205 | 315295973 | 7997980 || 2047 | 15865434 | 45/ 0 | 1274057 | 0 | 1766.76/1766.88 c | 2047 | 18.0 | 0 | 50750 | 59834 | 206 | 319064921 | 8026320 || 2047 | 15865434 | 45/ 0 | 1274057 | 0 | 1785.36/1785.45 c | 2047 | 18.6 | 0 | 53644 | 80935 | 207 | 322975670 | 8055093 || 2047 | 15865434 | 45/ 0 | 1274057 | 0 | 1802.06/1802.13 c | 2047 | 16.7 | 0 | 55532 | 102137 | 208 | 326665510 | 8084549 || 2047 | 15865434 | 45/ 0 | 1274057 | 0 | 1823.46/1823.50 c | 2093 | 21.4 | 0 | 56109 | 532 | 209 | 329890555 | 8183304 || 2093 | 16045592 | 45/ 0 | 1286955 | 0 | 1847.06/1847.14 c | 2123 | 23.6 | 0 | 58207 | 80 | 210 | 333107308 | 8269781 || 2123 | 16212508 | 45/ 0 | 1298488 | 0 | 1869.98/1870.09 c | 2166 | 23.0 | 0 | 59540 | 188 | 211 | 336323878 | 8367996 || 2166 | 16395628 | 45/ 0 | 1311072 | 0 | 1890.77/1890.87 c | 2174 | 20.8 | 0 | 58720 | 2078 | 212 | 339170414 | 8445601 || 2174 | 16567222 | 45/ 0 | 1325473 | 0 | 1912.16/1912.23 c | 2211 | 21.4 | 0 | 60121 | 207 | 213 | 342350466 | 8530938 || 2211 | 16712716 | 45/ 0 | 1335714 | 0 | 1935.66/1935.75 c | 2240 | 23.5 | 0 | 60269 | 43 | 214 | 345677976 | 8618994 || 2240 | 16877964 | 45/ 0 | 1348126 | 0 | 1961.06/1961.17 c | 2284 | 25.4 | 0 | 57710 | 850 | 215 | 348847951 | 8715879 || 2284 | 17060502 | 45/ 0 | 1360741 | 0 | 1987.87/1987.93 c | 2301 | 26.8 | 0 | 58177 | 9209 | 216 | 352035269 | 8801844 || 2301 | 17248018 | 45/ 0 | 1376729 | 0 | 2012.77/2012.85 c | 2302 | 24.9 | 0 | 55486 | 2503 | 217 | 354633263 | 8863644 || 2302 | 17390462 | 45/ 0 | 1390825 | 0 | 2036.87/2036.92 c | 2332 | 24.1 | 0 | 56504 | 1017 | 218 | 358276688 | 8938212 || 2332 | 17494530 | 45/ 0 | 1398202 | 0 | 2060.87/2060.98 c | 2365 | 24.1 | 0 | 57297 | 3641 | 219 | 361482709 | 9027983 || 2365 | 17672783 | 45/ 0 | 1412657 | 0 | 2086.27/2086.35 c | 2403 | 25.4 | 0 | 58679 | 549 | 220 | 364987939 | 9117961 || 2403 | 17832432 | 45/ 0 | 1423368 | 0 | 2109.67/2109.78 c | 2429 | 23.4 | 0 | 59116 | 5204 | 221 | 368090755 | 9203415 || 2429 | 18014209 | 45/ 0 | 1441379 | 0 | 2135.37/2135.42 c | 2459 | 25.6 | 0 | 60264 | 942 | 222 | 371309143 | 9293796 || 2459 | 18167346 | 45/ 0 | 1449135 | 0 | 2160.87/2160.90 c | 2492 | 25.5 | 0 | 61804 | 3958 | 223 | 374468365 | 9386808 || 2492 | 18349578 | 45/ 0 | 1463660 | 0 | 2187.97/2188.08 c | 2532 | 27.2 | 0 | 63470 | 173 | 224 | 377866892 | 9479140 || 2532 | 18511761 | 45/ 0 | 1474622 | 0 | 2215.17/2215.25 c | 2556 | 27.2 | 0 | 64223 | 6314 | 225 | 380890520 | 9564743 || 2556 | 18691285 | 45/ 0 | 1492421 | 0 | 2244.17/2244.27 c | 2557 | 29.0 | 0 | 61172 | 508 | 226 | 383650804 | 9643265 || 2557 | 18877619 | 45/ 0 | 1506966 | 0 | 2268.77/2268.89 c | 2558 | 24.6 | 0 | 58168 | 23612 | 227 | 387174142 | 9705788 || 2558 | 19028043 | 45/ 0 | 1533970 | 0 | 2298.27/2298.30 c | 2558 | 29.4 | 0 | 58653 | 8404 | 228 | 389972243 | 9773179 || 2558 | 19159989 | 45/ 0 | 1535110 | 0 | 2322.27/2322.32 c | 2573 | 24.0 | 0 | 57307 | 479 | 229 | 394293764 | 9828452 || 2573 | 19215652 | 45/ 0 | 1538811 | 0 | 2344.87/2344.90 c | 2620 | 22.6 | 0 | 54347 | 1376 | 230 | 397824357 | 9935626 || 2620 | 19415904 | 45/ 0 | 1553480 | 0 | 2370.07/2370.16 c | 2652 | 25.2 | 0 | 56143 | 2382 | 231 | 401214910 | 10027948 || 2652 | 19595324 | 45/ 0 | 1566359 | 0 | 2394.69/2394.76 c | 2684 | 24.6 | 0 | 57579 | 2706 | 232 | 404602793 | 10118615 || 2684 | 19766111 | 45/ 0 | 1579183 | 0 | 2421.97/2422.11 c | 2713 | 27.4 | 0 | 59507 | 137 | 233 | 408206286 | 10205687 || 2713 | 19935811 | 45/ 0 | 1592359 | 0 | 2450.17/2450.24 c | 2748 | 28.1 | 0 | 60939 | 3654 | 234 | 411641122 | 10304858 || 2748 | 20132637 | 45/ 0 | 1608213 | 0 | 2481.07/2481.17 c | 2791 | 30.9 | 0 | 63807 | 143 | 235 | 415318451 | 10403818 || 2791 | 20308699 | 45/ 0 | 1619709 | 0 | 2507.67/2507.73 c | 2812 | 26.6 | 0 | 63747 | 8200 | 236 | 418406454 | 10495698 || 2812 | 20508444 | 45/ 0 | 1637418 | 0 | 2530.78/2530.89 c | 2813 | 23.2 | 0 | 59908 | 3498 | 237 | 421063799 | 10561611 || 2813 | 20663078 | 45/ 0 | 1651654 | 0 | 2556.78/2556.82 c | 2844 | 25.9 | 0 | 63156 | 424 | 238 | 424725487 | 10643679 || 2844 | 20794595 | 45/ 0 | 1660910 | 0 | 2583.58/2583.62 c | 2879 | 26.8 | 0 | 65562 | 21 | 239 | 428092704 | 10739904 || 2879 | 20978211 | 45/ 0 | 1674247 | 0 | 2613.38/2613.49 c | 2930 | 29.9 | 0 | 68705 | 500 | 240 | 431649217 | 10846111 || 2930 | 21174317 | 45/ 0 | 1688195 | 0 | 2642.78/2642.86 c | 2940 | 29.4 | 0 | 69430 | 4570 | 241 | 435143384 | 10926127 || 2940 | 21344896 | 45/ 0 | 1702849 | 0 | 2673.00/2673.04 c | 2988 | 30.2 | 0 | 72593 | 182 | 242 | 438912159 | 11025990 || 2988 | 21528384 | 45/ 0 | 1715930 | 0 | 2706.08/2706.18 c | 3026 | 33.1 | 0 | 74118 | 498 | 243 | 442640732 | 11124516 || 3026 | 21715663 | 45/ 0 | 1729988 | 0 | 2737.08/2737.10 c | 3066 | 30.9 | 0 | 73925 | 3208 | 244 | 446323289 | 11224336 || 3066 | 21913393 | 45/ 0 | 1746572 | 0 | 2764.88/2764.90 c | 3068 | 27.8 | 0 | 69137 | 13709 | 245 | 449002906 | 11303094 || 3068 | 22107332 | 45/ 0 | 1767608 | 0 | 2796.58/2796.62 c | 3069 | 31.7 | 0 | 69198 | 19508 | 246 | 452303317 | 11373397 || 3069 | 22284953 | 45/ 0 | 1794844 | 0 | 2831.29/2831.32 c | 3069 | 34.7 | 0 | 67551 | 6206 | 247 | 455229544 | 11464728 || 3069 | 22479689 | 45/ 0 | 1796636 | 0 | 2853.78/2853.85 c | 3070 | 22.5 | 0 | 65533 | 31407 | 248 | 458851531 | 11517676 || 3070 | 22642819 | 45/ 0 | 1849363 | 0 | 2879.69/2879.72 c | 3070 | 25.9 | 0 | 67024 | 25301 | 249 | 460791838 | 11616839 || 3070 | 22885017 | 45/ 0 | 1851551 | 0 | 2917.98/2918.06 c | 3070 | 38.3 | 0 | 69683 | 5309 | 250 | 463827388 | 11701160 || 3070 | 23069470 | 45/ 0 | 1853252 | 0 | 2945.08/2945.11 c | 3070 | 27.1 | 0 | 60901 | 30812 | 251 | 469643852 | 11739185 || 3070 | 23069470 | 45/ 0 | 1853252 | 0 | 2971.89/2971.98 c | 3085 | 26.9 | 0 | 64459 | 785 | 252 | 474564072 | 11794545 || 3085 | 23119835 | 45/ 0 | 1856902 | 0 | 2999.59/2999.67 c | 3132 | 27.7 | 0 | 60707 | 382 | 253 | 478107838 | 11905118 || 3132 | 23329926 | 45/ 0 | 1871721 | 0 | 3029.89/3029.92 c | 3171 | 30.3 | 0 | 63379 | 87 | 254 | 481966091 | 12008000 || 3171 | 23523362 | 45/ 0 | 1885937 | 0 | 3057.38/3057.42 c | 3197 | 27.5 | 0 | 63239 | 8746 | 255 | 485370815 | 12110007 || 3197 | 23740018 | 45/ 0 | 1904303 | 0 | 3087.09/3087.11 c | 3237 | 29.7 | 0 | 66450 | 142 | 256 | 489264511 | 12205388 || 3237 | 23900558 | 45/ 0 | 1915269 | 0 | 3120.29/3120.32 c | 3275 | 33.2 | 0 | 68422 | 637 | 257 | 493020391 | 12307969 || 3275 | 24097202 | 45/ 0 | 1930138 | 0 | 3152.79/3152.88 c | 3323 | 32.6 | 0 | 70799 | 1919 | 258 | 496778532 | 12416656 || 3323 | 24308353 | 45/ 0 | 1948135 | 0 | 3182.09/3182.18 c | 3325 | 29.3 | 0 | 68678 | 13818 | 259 | 500059910 | 12496134 || 3325 | 24503622 | 45/ 0 | 1969109 | 0 | 3215.79/3215.84 c | 3347 | 33.7 | 0 | 69716 | 364 | 260 | 504086617 | 12573303 || 3347 | 24619363 | 45/ 0 | 1974594 | 0 | 3248.89/3248.98 c | 3388 | 33.1 | 0 | 68915 | 4187 | 261 | 507734347 | 12683463 || 3388 | 24840507 | 45/ 0 | 1991409 | 0 | 3286.39/3286.46 c | 3436 | 37.5 | 0 | 71752 | 178 | 262 | 512086932 | 12790249 || 3436 | 25025220 | 45/ 0 | 2004550 | 0 | 3320.09/3320.12 c | 3452 | 33.7 | 0 | 70893 | 4539 | 263 | 515917148 | 12878948 || 3452 | 25210023 | 45/ 0 | 2020468 | 0 | 3354.20/3354.22 c | 3506 | 34.1 | 0 | 72478 | 443 | 264 | 520030822 | 12994001 || 3506 | 25418166 | 45/ 0 | 2034892 | 0 | 3390.00/3390.07 c | 3546 | 35.8 | 0 | 74605 | 1243 | 265 | 523996641 | 13098937 || 3546 | 25622440 | 45/ 0 | 2051535 | 0 | 3426.41/3426.42 c | 3579 | 36.3 | 0 | 75702 | 4945 | 266 | 527597254 | 13199807 || 3579 | 25832681 | 45/ 0 | 2071106 | 0 | 3461.10/3461.12 c | 3580 | 34.7 | 0 | 72099 | 3236 | 267 | 531070838 | 13286649 || 3580 | 26023691 | 45/ 0 | 2085674 | 0 | 3493.81/3493.85 c | 3581 | 32.7 | 0 | 69911 | 30437 | 268 | 534166847 | 13374813 || 3581 | 26256713 | 45/ 0 | 2113404 | 0 | 3529.31/3529.31 c | 3581 | 35.5 | 0 | 71573 | 19336 | 269 | 538974477 | 13438047 || 3581 | 26335534 | 45/ 0 | 2114120 | 0 | 3562.71/3562.70 c | 3627 | 33.4 | 0 | 71099 | 627 | 270 | 543647534 | 13540400 || 3627 | 26507838 | 45/ 0 | 2126999 | 0 | 3598.90/3598.95 c | 3672 | 36.2 | 0 | 71060 | 104 | 271 | 547692199 | 13650851 || 3672 | 26717936 | 45/ 0 | 2142208 | 0 | 3632.40/3632.44 c | 3707 | 33.5 | 0 | 72594 | 2322 | 272 | 551513357 | 13756846 || 3707 | 26926886 | 45/ 0 | 2158165 | 0 | 3666.60/3666.62 c | 3739 | 34.2 | 0 | 74494 | 1954 | 273 | 555494270 | 13858174 || 3739 | 27126764 | 45/ 0 | 2174394 | 0 | 3701.10/3701.13 c | 3782 | 34.5 | 0 | 76792 | 232 | 274 | 559589562 | 13964388 || 3782 | 27326359 | 45/ 0 | 2189238 | 0 | 3736.01/3736.08 c | 3833 | 35.0 | 0 | 78580 | 613 | 275 | 563295356 | 14078407 || 3833 | 27546031 | 45/ 0 | 2205637 | 0 | 3766.61/3766.69 c | 3836 | 30.6 | 0 | 77704 | 14211 | 276 | 566423125 | 14166707 || 3836 | 27767014 | 45/ 0 | 2230040 | 0 | 3798.91/3798.97 c | 3864 | 32.3 | 0 | 79692 | 42 | 277 | 570757349 | 14252246 || 3864 | 27902361 | 45/ 0 | 2236463 | 0 | 3831.91/3831.96 c | 3899 | 33.0 | 0 | 79631 | 3159 | 278 | 574678491 | 14355837 || 3899 | 28103677 | 45/ 0 | 2252364 | 0 | 3873.02/3873.07 c | 3960 | 41.1 | 0 | 81527 | 111 | 279 | 579006453 | 14482489 || 3960 | 28339889 | 45/ 0 | 2268945 | 0 | 3912.52/3912.61 c | 3978 | 39.5 | 0 | 81795 | 873 | 280 | 583099678 | 14574090 || 3978 | 28525218 | 45/ 0 | 2285065 | 0 | 3952.72/3952.72 c | 4026 | 40.1 | 0 | 82710 | 3251 | 281 | 587232243 | 14692500 || 4026 | 28757552 | 45/ 0 | 2303231 | 0 | 3994.32/3994.32 c | 4078 | 41.6 | 0 | 84402 | 235 | 282 | 591561442 | 14805350 || 4078 | 28963139 | 45/ 0 | 2317208 | 0 | 4034.84/4034.87 c | 4091 | 40.5 | 0 | 83863 | 7607 | 283 | 595722286 | 14900222 || 4091 | 29183325 | 45/ 0 | 2345689 | 0 | 4069.22/4069.20 c | 4092 | 34.3 | 0 | 80209 | 17207 | 284 | 599051455 | 14993101 || 4092 | 29404786 | 45/ 0 | 2373387 | 0 | 4107.52/4107.57 c | 4092 | 38.4 | 0 | 78756 | 7704 | 285 | 602303387 | 15087234 || 4092 | 29605289 | 45/ 0 | 2375237 | 0 | 4136.12/4136.19 c | 4093 | 28.6 | 0 | 79028 | 36705 | 286 | 606425122 | 15153261 || 4093 | 29810425 | 45/ 0 | 2428365 | 0 | 4163.92/4163.96 c | 4093 | 27.8 | 0 | 76415 | 29101 | 287 | 608580568 | 15261034 || 4093 | 30072094 | 45/ 0 | 2430737 | 0 | 4200.13/4200.19 c | 4093 | 36.2 | 0 | 77398 | 18209 | 288 | 612444063 | 15332142 || 4093 | 30180326 | 45/ 0 | 2431738 | 0 | 4235.93/4235.95 c | 4093 | 35.8 | 0 | 74918 | 47510 | 289 | 618087672 | 15371661 || 4093 | 30180326 | 45/ 0 | 2431738 | 0 | 4268.43/4268.44 c | 4094 | 32.5 | 0 | 69157 | 76915 | 290 | 620955524 | 15483032 || 4094 | 30639479 | 45/ 0 | 2538515 | 0 | 4310.53/4310.50 c | 4094 | 42.1 | 0 | 68516 | 29506 | 291 | 623309009 | 15595634 || 4094 | 30911290 | 45/ 0 | 2540919 | 0 | 4365.13/4365.12 c | 4094 | 54.6 | 0 | 71646 | 29601 | 292 | 625602423 | 15701992 || 4094 | 31167187 | 45/ 0 | 2543238 | 0 | 4402.83/4402.82 c | 4094 | 37.7 | 0 | 67631 | 12119 | 293 | 628877201 | 15784667 || 4094 | 31321838 | 45/ 0 | 2544701 | 0 | 4428.54/4428.56 c | 4094 | 25.7 | 0 | 57287 | 41921 | 294 | 633767151 | 15827206 || 4094 | 31321838 | 45/ 0 | 2544701 | 0 | 4450.13/4450.12 c | 4094 | 21.6 | 0 | 62918 | 71822 | 295 | 639368765 | 15873690 || 4094 | 31321838 | 45/ 0 | 2544701 | 0 | 4473.13/4473.14 c | 4094 | 23.0 | 0 | 61071 | 101824 | 296 | 645098776 | 15922365 || 4094 | 31321838 | 45/ 0 | 2544701 | 0 | 4504.23/4504.25 c | 4095 | 31.1 | 0 | 60525 | 131925 | 297 | 647669715 | 16047791 || 4095 | 32038499 | 44/ 0 | 2756480 | 0 | 4547.34/4547.34 c | 4095 | 43.1 | 0 | 70626 | 30201 | 298 | 650168187 | 16164391 || 4095 | 32319634 | 44/ 0 | 2759022 | 0 | 4587.13/4587.12 c | 4095 | 39.8 | 0 | 74615 | 30301 | 299 | 652597926 | 16282166 || 4095 | 32606200 | 44/ 0 | 2761568 | 0 | 4634.13/4634.13 c | 4095 | 47.0 | 0 | 77383 | 30403 | 300 | 654882447 | 16395340 || 4095 | 32881926 | 44/ 0 | 2764013 | 0 | 4675.23/4675.20 c | 4095 | 41.1 | 0 | 74246 | 30504 | 301 | 657078109 | 16507483 || 4095 | 33155634 | 44/ 0 | 2766502 | 0 | 4715.94/4715.97 c | 4095 | 40.8 | 0 | 66278 | 30603 | 302 | 659424524 | 16624407 || 4095 | 33439383 | 44/ 0 | 2769014 | 0 | 4749.04/4749.01 c | 4095 | 33.0 | 0 | 56279 | 7433 | 303 | 662730177 | 16729428 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4772.04/4772.04 c | 4095 | 23.0 | 0 | 50498 | 38235 | 304 | 667815763 | 16772439 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4796.94/4797.01 c | 4095 | 25.0 | 0 | 59225 | 69136 | 305 | 673264893 | 16816965 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4819.05/4819.10 c | 4095 | 22.1 | 0 | 61011 | 100138 | 306 | 678492359 | 16860544 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4843.74/4843.79 c | 4095 | 24.7 | 0 | 66513 | 131240 | 307 | 684129025 | 16905937 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4868.95/4868.97 c | 4095 | 25.2 | 0 | 71553 | 162443 | 308 | 689828208 | 16949048 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4894.64/4894.62 c | 4095 | 25.6 | 0 | 77815 | 193744 | 309 | 695496950 | 16991498 || 4095 | 33663752 | 44/ 0 | 2771065 | 0 | 4919.34/4919.31 c | 4140 | 24.7 | 0 | 75540 | 447 | 310 | 700602767 | 17103054 || 4140 | 33844016 | 44/ 0 | 2783178 | 0 | 4953.55/4953.54 c | 4189 | 34.2 | 0 | 77335 | 1239 | 311 | 705252637 | 17233615 || 4189 | 34092043 | 44/ 0 | 2802170 | 0 | 4991.55/4991.55 c | 4222 | 38.0 | 0 | 78992 | 9560 | 312 | 709572185 | 17364822 || 4222 | 34361595 | 44/ 0 | 2822257 | 0 | 5000.05/5000.02 c | 4229 | 8.5 | 0 | 87180 | 332 | 312 | 711185673 | 17386640 || 4229 | 34381289 | 44/ 0 | 2823645 | 0 | 5000.05/5000.02 c c 5000.05/5000.02 c ----------------------------------- 5000.05/5000.02 c # temps = 4998.430000 5000.05/5000.02 c # cleaningDB = 312 5000.05/5000.02 c # clause binaire = 398513 5000.05/5000.02 c # literal removed by litRedundant = 268801767 5000.05/5000.02 c # literal removed by litRedundantBin = 242135005 5000.05/5000.02 c # init clause removed by simplify = 0 5000.05/5000.02 c # learnt clause removed by simplify = 0 5000.05/5000.02 c # une clause fausse était une apprise = 0 5000.05/5000.02 c # equivalence dectecte = 0 5000.05/5000.02 c # Memory used : 135.45 MB 5000.05/5000.02 c 5000.05/5000.02 c ######################## 5000.05/5000.02 c #### ## ### ## #### 5000.05/5000.02 c #### #### # ## #### #### 5000.05/5000.02 c #### ## ### ## ### 5000.05/5000.02 c ######################## 5000.05/5000.02 c # restart = 4229 5000.05/5000.02 c # conflit = 5016465 5000.05/5000.02 c # decision = 17386640 5000.05/5000.02 c # propagation = 711185673 (142281.526436 (prop/sec)) 5000.05/5000.02 c 5000.05/5000.02 c ######################## 5000.05/5000.02 c ### ### # ## ## ## 5000.05/5000.02 c ### # # # #### # ### ### 5000.05/5000.02 c ### # ### ## # ### ### 5000.05/5000.02 c ######################## 5000.05/5000.02 c # numtry = 4229 5000.05/5000.02 c # numflips = 34381289 5000.05/5000.02 c # maxSat = 44 5000.05/5000.02 c # freeFlip = 5079903 5000.05/5000.02 c # nbBoundary = 0 5000.05/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-3439710-1306937876/watcher-3439710-1306937876 -o /tmp/evaluation-result-3439710-1306937876/solver-3439710-1306937876 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439710-1306937876.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.02 2.00 2/526 4265 /proc/meminfo: memFree=24410140/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 [startup+0.0746349 s] /proc/loadavg: 1.97 2.02 2.00 2/526 4265 /proc/meminfo: memFree=24410140/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100625 s] /proc/loadavg: 1.97 2.02 2.00 2/526 4265 /proc/meminfo: memFree=24410140/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300591 s] /proc/loadavg: 1.97 2.02 2.00 2/526 4265 /proc/meminfo: memFree=24410140/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70053 s] /proc/loadavg: 1.97 2.02 2.00 2/526 4265 /proc/meminfo: memFree=24410140/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50031 s] /proc/loadavg: 1.97 2.02 2.00 3/528 4267 /proc/meminfo: memFree=24379628/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 805385306 8912896 253 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/4265/statm: 2176 253 211 178 0 69 0 [pid=4266] ppid=4265 vsize=29668 CPUtime=1.49 cores=0,2,4,6 /proc/4266/stat : 4266 (SatELite_releas) R 4265 4265 3689 0 -1 4202496 7433 0 0 0 148 1 0 0 25 0 1 0 805385306 30380032 6587 33554432000 134512640 135144242 4292775072 18446744073709551615 134823444 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/4266/statm: 7417 6587 77 155 0 7260 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38372 [startup+3.10109 s] /proc/loadavg: 1.97 2.02 2.00 3/529 4269 /proc/meminfo: memFree=24390072/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=18020 CPUtime=1.44 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 2967 0 0 0 144 0 0 0 25 0 1 0 805385471 18452480 2879 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222375 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 4505 2879 135 12 0 2969 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 35428 [startup+6.30051 s] /proc/loadavg: 1.98 2.02 2.00 3/529 4269 /proc/meminfo: memFree=24386984/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=19208 CPUtime=4.64 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 3270 0 0 0 464 0 0 0 25 0 1 0 805385471 19668992 3182 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222372 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 4802 3182 135 12 0 3266 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 36616 [startup+12.7004 s] /proc/loadavg: 1.98 2.02 2.00 3/529 4269 /proc/meminfo: memFree=24383592/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=21188 CPUtime=11.04 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 3774 0 0 0 1104 0 0 0 25 0 1 0 805385471 21696512 3686 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 5297 3686 135 12 0 3761 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 38596 [startup+25.501 s] /proc/loadavg: 1.98 2.02 2.00 3/529 4269 /proc/meminfo: memFree=24380480/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=23304 CPUtime=23.84 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 4310 0 0 0 2383 1 0 0 25 0 1 0 805385471 23863296 4222 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 5826 4222 135 12 0 4290 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 40712 [startup+51.1004 s] /proc/loadavg: 1.99 2.02 2.00 3/529 4307 /proc/meminfo: memFree=24386136/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=27688 CPUtime=49.42 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 5395 0 0 0 4941 1 0 0 25 0 1 0 805385471 28352512 5307 33554432000 4194304 4241092 140733495391040 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/4269/statm: 6922 5307 135 12 0 5386 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 45096 [startup+102.32 s] /proc/loadavg: 1.99 2.01 2.00 3/529 4308 /proc/meminfo: memFree=24370896/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=32424 CPUtime=100.64 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 6568 0 0 0 10063 1 0 0 25 0 1 0 805385471 33202176 6479 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/4269/statm: 8106 6479 136 12 0 6570 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49832 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 3/529 4310 /proc/meminfo: memFree=24358532/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=36780 CPUtime=160.61 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 7673 0 0 0 16060 1 0 0 25 0 1 0 805385471 37662720 7575 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/4269/statm: 9195 7575 136 12 0 7659 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 54188 [startup+222.3 s] /proc/loadavg: 2.14 2.03 2.01 3/529 4311 /proc/meminfo: memFree=24350780/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=40896 CPUtime=220.62 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 8727 0 0 0 22061 1 0 0 25 0 1 0 805385471 41877504 8601 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/4269/statm: 10224 8601 136 12 0 8688 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 58304 [startup+282.301 s] /proc/loadavg: 2.12 2.04 2.01 3/529 4313 /proc/meminfo: memFree=24344912/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=24159916/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=128260 CPUtime=4480.7 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 35934 0 0 0 448057 13 0 0 25 0 1 0 805385471 131338240 30434 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 32065 30434 136 12 0 30529 0 Current children cumulated CPU time (s) 4482.33 Current children cumulated vsize (KiB) 145668 [startup+4542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/529 4476 /proc/meminfo: memFree=24158096/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=129788 CPUtime=4540.7 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 36372 0 0 0 454057 13 0 0 25 0 1 0 805385471 132902912 30822 33554432000 4194304 4241092 140733495391040 18446744073709551615 4205065 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 32447 30822 136 12 0 30911 0 Current children cumulated CPU time (s) 4542.33 Current children cumulated vsize (KiB) 147196 [startup+4602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/529 4477 /proc/meminfo: memFree=24155552/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=131112 CPUtime=4600.71 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 36798 0 0 0 460058 13 0 0 25 0 1 0 805385471 134258688 31156 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 32778 31156 136 12 0 31242 0 Current children cumulated CPU time (s) 4602.34 Current children cumulated vsize (KiB) 148520 [startup+4662.3 s] /proc/loadavg: 2.11 2.03 2.01 3/529 4479 /proc/meminfo: memFree=24153744/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=132596 CPUtime=4660.7 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 37261 0 0 0 466057 13 0 0 25 0 1 0 805385471 135778304 31537 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 33149 31537 136 12 0 31613 0 Current children cumulated CPU time (s) 4662.33 Current children cumulated vsize (KiB) 150004 [startup+4722.32 s] /proc/loadavg: 2.18 2.07 2.02 3/529 4480 /proc/meminfo: memFree=24151940/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=134324 CPUtime=4720.73 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 37823 0 0 0 472059 14 0 0 25 0 1 0 805385471 137547776 31989 33554432000 4194304 4241092 140733495391040 18446744073709551615 4205046 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 33581 31989 136 12 0 32045 0 Current children cumulated CPU time (s) 4722.36 Current children cumulated vsize (KiB) 151732 [startup+4782.3 s] /proc/loadavg: 2.11 2.07 2.02 3/529 4482 /proc/meminfo: memFree=24151228/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=135252 CPUtime=4780.71 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 38145 0 0 0 478057 14 0 0 25 0 1 0 805385471 138498048 32184 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 33813 32184 136 12 0 32277 0 Current children cumulated CPU time (s) 4782.34 Current children cumulated vsize (KiB) 152660 [startup+4842.3 s] /proc/loadavg: 2.04 2.05 2.01 3/529 4484 /proc/meminfo: memFree=24149552/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=136776 CPUtime=4840.71 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 38624 0 0 0 484056 15 0 0 25 0 1 0 805385471 140058624 32585 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 34194 32585 136 12 0 32658 0 Current children cumulated CPU time (s) 4842.34 Current children cumulated vsize (KiB) 154184 [startup+4902.3 s] /proc/loadavg: 2.01 2.04 2.01 3/529 4485 /proc/meminfo: memFree=24148008/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=138200 CPUtime=4900.71 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 39102 0 0 0 490056 15 0 0 25 0 1 0 805385471 141516800 32950 33554432000 4194304 4241092 140733495391040 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 34550 32950 136 12 0 33014 0 Current children cumulated CPU time (s) 4902.34 Current children cumulated vsize (KiB) 155608 [startup+4962.3 s] /proc/loadavg: 2.00 2.03 2.00 3/529 4487 /proc/meminfo: memFree=24146672/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=138664 CPUtime=4960.71 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 39354 0 0 0 496056 15 0 0 25 0 1 0 805385471 141991936 33072 33554432000 4194304 4241092 140733495391040 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 34666 33072 136 12 0 33130 0 Current children cumulated CPU time (s) 4962.34 Current children cumulated vsize (KiB) 156072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.02 2.00 3/529 4488 /proc/meminfo: memFree=24146008/32951124 swapFree=56930356/67111528 [pid=4265] ppid=4263 vsize=8704 CPUtime=1.63 cores=0,2,4,6 /proc/4265/stat : 4265 (esg_static.sh) S 4263 4265 3689 0 -1 4202496 350 7434 0 0 0 0 162 1 18 0 1 0 805385306 8912896 256 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 6 0 0 0 /proc/4265/statm: 2176 256 211 178 0 69 0 [pid=4268] ppid=4265 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/4268/stat : 4268 (esg_static.sh) S 4265 4265 3689 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 805385471 8912896 135 33554432000 4194304 4922060 140736478627056 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/4268/statm: 2176 135 90 178 0 69 0 [pid=4269] ppid=4268 vsize=138696 CPUtime=4998.42 cores=0,2,4,6 /proc/4269/stat : 4269 (sathys) R 4268 4265 3689 0 -1 4202496 39402 0 0 0 499827 15 0 0 25 0 1 0 805385471 142024704 33076 33554432000 4194304 4241092 140733495391040 18446744073709551615 4205410 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/4269/statm: 34674 33076 136 12 0 33138 0 Current children cumulated CPU time (s) 5000.05 Current children cumulated vsize (KiB) 156104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4265 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=627752 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=20996 # CPU time returned by wait4() is 1.64875 # while last known CPU time is 5000.05 # # 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.05 CPU user time (s): 4999.89 CPU system time (s): 0.16 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 156264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.62775 system time used= 0.020996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7951 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= 33 involuntary context switches= 17 runsolver used 27.7918 second user time and 58.6581 second system time The end
Begin job on node137 at 2011-06-01 16:17:56 IDJOB=3439710 IDBENCH=88209 IDSOLVER=1935 FILE ID=node137/3439710-1306937876 RUNJOBID= node137-1306927826-3707 PBS_JOBID= 13488570 Free space on /tmp= 73532 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439710-1306937876/watcher-3439710-1306937876 -o /tmp/evaluation-result-3439710-1306937876/solver-3439710-1306937876 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439710-1306937876.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bfa662ff57088c54e0febd091ce11e5c RANDOM SEED=1895905196 node137.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.844 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.68 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.844 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.844 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.844 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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.844 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.83 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24410296 kB Buffers: 134940 kB Cached: 130176 kB SwapCached: 12308 kB Active: 8117620 kB Inactive: 172728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24410296 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 8023212 kB Mapped: 21504 kB Slab: 106220 kB PageTables: 74716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162553620 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= 73524 MiB End job on node137 at 2011-06-01 17:41:18