Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
sathys 2011-04-01 | ? (TO) | 1299.88 | 1300.01 |
Name | random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf |
MD5SUM | 187184c44e9c5a07f5a8f762e04588fa |
Bench Category | RANDOM (random 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 | 2000 |
Number of clauses | 40000 |
Sum of the clauses size | 200000 |
Maximum clause length | 5 |
Minimum clause length | 5 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 40000 |
Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189598-1302705583.cnf 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 40000 200000 | 11999 0 0 nan | 0.000 % | 0.00/0.02 c ============================================================================== 0.00/0.02 c Result : #vars: 2000 #clauses: 40000 #literals: 200000 0.00/0.02 c CPU time: 0.023996 s 0.00/0.02 c ============================================================================== 0.05/0.11 c 0.05/0.11 c seed = 0, numatom = 2000, numclause = 40000, numliterals = 200000 0.05/0.11 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.05/0.11 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.05/0.11 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.05/0.18 c | 2 | 0.1 | 0 | 501 | 199 | 1 | 62183 | 3741 || 2 | 5531 | 287/ 287 | 251 | 0 | 0.05/0.24 c | 4 | 0.1 | 0 | 645 | 299 | 2 | 141533 | 7093 || 4 | 10008 | 265/ 265 | 585 | 0 | 0.05/0.31 c | 6 | 0.1 | 0 | 777 | 195 | 3 | 232754 | 10839 || 6 | 14255 | 265/ 265 | 927 | 0 | 0.05/0.38 c | 7 | 0.1 | 0 | 914 | 396 | 4 | 331885 | 13368 || 7 | 18253 | 228/ 228 | 1359 | 0 | 0.05/0.48 c | 11 | 0.1 | 0 | 1054 | 295 | 5 | 452904 | 18894 || 11 | 26354 | 228/ 228 | 1924 | 0 | 0.05/0.59 c | 14 | 0.1 | 0 | 1201 | 495 | 6 | 581290 | 24069 || 14 | 34057 | 209/ 209 | 2690 | 0 | 0.05/0.69 c | 15 | 0.1 | 0 | 1426 | 992 | 7 | 720413 | 27286 || 15 | 40607 | 183/ 183 | 3554 | 0 | 0.05/0.79 c | 16 | 0.1 | 0 | 1548 | 91 | 8 | 875947 | 30914 || 16 | 43851 | 183/ 183 | 3692 | 0 | 0.05/0.94 c | 21 | 0.1 | 0 | 1643 | 85 | 9 | 1046486 | 38987 || 21 | 54000 | 183/ 183 | 4479 | 0 | 0.98/1.09 c | 25 | 0.1 | 0 | 1806 | 185 | 10 | 1232814 | 45425 || 25 | 63332 | 183/ 183 | 5350 | 0 | 1.18/1.24 c | 29 | 0.2 | 0 | 1921 | 582 | 11 | 1429882 | 53068 || 29 | 74129 | 183/ 183 | 6242 | 0 | 1.28/1.39 c | 30 | 0.1 | 0 | 2041 | 377 | 12 | 1630996 | 57633 || 30 | 80598 | 159/ 159 | 7093 | 0 | 1.53/1.63 c | 31 | 0.2 | 0 | 2234 | 2082 | 13 | 1834659 | 61494 || 31 | 91786 | 136/ 136 | 8786 | 0 | 1.63/1.79 c | 31 | 0.2 | 0 | 2389 | 1480 | 14 | 2067797 | 64595 || 31 | 93763 | 136/ 136 | 8805 | 0 | 1.93/2.00 c | 38 | 0.2 | 0 | 2460 | 363 | 15 | 2316061 | 75333 || 38 | 108631 | 136/ 136 | 10150 | 0 | 2.04/2.20 c | 44 | 0.2 | 0 | 2524 | 253 | 16 | 2574875 | 85328 || 44 | 120831 | 136/ 136 | 11068 | 0 | 2.33/2.41 c | 46 | 0.2 | 0 | 2668 | 252 | 17 | 2850981 | 92064 || 46 | 132159 | 136/ 136 | 12360 | 0 | 2.53/2.65 c | 53 | 0.2 | 0 | 2813 | 248 | 18 | 3147161 | 103249 || 53 | 145480 | 136/ 136 | 13699 | 0 | 2.73/2.88 c | 59 | 0.2 | 0 | 2932 | 139 | 19 | 3446215 | 114539 || 59 | 159736 | 136/ 136 | 14638 | 0 | 3.03/3.11 c | 61 | 0.2 | 0 | 3132 | 740 | 20 | 3747959 | 120922 || 61 | 170609 | 136/ 136 | 15942 | 0 | 3.24/3.36 c | 62 | 0.2 | 0 | 3314 | 839 | 21 | 4061885 | 126741 || 62 | 183574 | 123/ 123 | 17653 | 0 | 3.53/3.63 c | 63 | 0.3 | 0 | 3386 | 3440 | 22 | 4379846 | 132393 || 63 | 200670 | 115/ 115 | 21012 | 0 | 3.83/3.90 c | 63 | 0.3 | 0 | 3511 | 1336 | 23 | 4731587 | 137716 || 63 | 208551 | 115/ 115 | 21078 | 0 | 4.03/4.18 c | 67 | 0.3 | 0 | 3606 | 27 | 24 | 5104684 | 146109 || 67 | 215780 | 115/ 115 | 21640 | 0 | 4.43/4.52 c | 76 | 0.3 | 0 | 3571 | 17 | 25 | 5476969 | 161751 || 76 | 236353 | 115/ 115 | 23337 | 0 | 4.73/4.83 c | 81 | 0.3 | 0 | 3723 | 110 | 26 | 5868022 | 172023 || 81 | 251859 | 115/ 115 | 25068 | 0 | 5.03/5.17 c | 90 | 0.3 | 0 | 3843 | 189 | 27 | 6280285 | 188127 || 90 | 272922 | 115/ 115 | 26657 | 0 | 5.42/5.52 c | 94 | 0.3 | 0 | 4053 | 1083 | 28 | 6693219 | 198394 || 94 | 292055 | 110/ 110 | 29817 | 0 | 5.72/5.85 c | 96 | 0.3 | 0 | 4269 | 80 | 29 | 7117594 | 206271 || 96 | 301779 | 110/ 110 | 30102 | 0 | 6.12/6.23 c | 107 | 0.4 | 0 | 4333 | 263 | 30 | 7557131 | 224133 || 107 | 326496 | 110/ 110 | 32096 | 0 | 6.55/6.70 c | 113 | 0.4 | 0 | 4503 | 252 | 31 | 8018442 | 237117 || 113 | 344759 | 110/ 110 | 33935 | 0 | 6.95/7.10 c | 123 | 0.4 | 0 | 4595 | 24 | 32 | 8484109 | 255177 || 123 | 369093 | 110/ 110 | 36051 | 0 | 7.25/7.49 c | 125 | 0.4 | 0 | 4777 | 121 | 33 | 8954955 | 264311 || 125 | 389680 | 110/ 110 | 38612 | 0 | 7.75/7.90 c | 126 | 0.4 | 0 | 4892 | 3923 | 34 | 9428758 | 271656 || 126 | 409175 | 110/ 110 | 41977 | 0 | 8.15/8.38 c | 126 | 0.5 | 0 | 5257 | 3022 | 35 | 9983717 | 277659 || 126 | 413284 | 110/ 110 | 42010 | 0 | 8.76/8.91 c | 127 | 0.5 | 0 | 5187 | 7023 | 36 | 10497083 | 286468 || 127 | 446048 | 84/ 84 | 48682 | 0 | 9.26/9.46 c | 127 | 0.5 | 0 | 5482 | 1520 | 37 | 11005800 | 294411 || 127 | 460213 | 84/ 84 | 48795 | 0 | 9.76/9.92 c | 127 | 0.5 | 0 | 5211 | 5722 | 38 | 11558261 | 299874 || 127 | 460213 | 84/ 84 | 48795 | 0 | 10.25/10.43 c | 140 | 0.5 | 0 | 5247 | 104 | 39 | 12128925 | 321261 || 140 | 486862 | 84/ 84 | 51041 | 0 | 10.76/10.90 c | 148 | 0.5 | 0 | 5215 | 179 | 40 | 12693402 | 338832 || 148 | 512547 | 84/ 84 | 53279 | 0 | 11.15/11.39 c | 157 | 0.5 | 0 | 5521 | 465 | 41 | 13276497 | 357240 || 157 | 539942 | 84/ 84 | 55948 | 0 | 11.65/11.89 c | 163 | 0.5 | 0 | 5807 | 166 | 42 | 13870400 | 371057 || 163 | 561809 | 84/ 84 | 58340 | 0 | 12.25/12.42 c | 173 | 0.5 | 0 | 5949 | 152 | 43 | 14469801 | 391617 || 173 | 591614 | 84/ 84 | 61206 | 0 | 12.75/12.99 c | 187 | 0.6 | 0 | 6223 | 320 | 44 | 15109250 | 415824 || 187 | 623070 | 84/ 84 | 63897 | 0 | 13.35/13.51 c | 189 | 0.5 | 0 | 6483 | 1014 | 45 | 15749820 | 426957 || 189 | 644937 | 84/ 84 | 66453 | 0 | 13.85/14.09 c | 190 | 0.6 | 0 | 6576 | 1212 | 46 | 16387914 | 437542 || 190 | 669958 | 84/ 84 | 69843 | 0 | 14.55/14.70 c | 200 | 0.6 | 0 | 6739 | 90 | 47 | 17055726 | 456565 || 200 | 692173 | 84/ 84 | 71657 | 0 | 15.15/15.30 c | 212 | 0.6 | 0 | 6599 | 475 | 48 | 17728735 | 478499 || 212 | 724381 | 84/ 84 | 74731 | 0 | 15.65/15.89 c | 221 | 0.6 | 0 | 6806 | 1561 | 49 | 18415646 | 498528 || 221 | 756969 | 84/ 84 | 78610 | 0 | 16.25/16.50 c | 231 | 0.6 | 0 | 6986 | 244 | 50 | 19120476 | 518643 || 231 | 782572 | 84/ 84 | 80464 | 0 | 16.95/17.15 c | 243 | 0.6 | 0 | 6980 | 25 | 51 | 19827654 | 542561 || 243 | 816271 | 84/ 84 | 83566 | 0 | 17.55/17.79 c | 252 | 0.6 | 0 | 7272 | 2019 | 52 | 20541592 | 562199 || 252 | 849969 | 84/ 84 | 87472 | 0 | 18.25/18.46 c | 253 | 0.7 | 0 | 7574 | 515 | 53 | 21276766 | 574388 || 253 | 877311 | 84/ 84 | 90875 | 0 | 18.95/19.19 c | 254 | 0.7 | 0 | 7625 | 6318 | 54 | 22023633 | 585493 || 254 | 907598 | 84/ 84 | 97574 | 0 | 19.84/20.04 c | 254 | 0.9 | 0 | 7942 | 2615 | 55 | 22771910 | 596151 || 254 | 925996 | 84/ 84 | 97724 | 0 | 20.65/20.89 c | 255 | 0.8 | 0 | 8059 | 8616 | 56 | 23548572 | 606309 || 255 | 961374 | 79/ 79 | 110846 | 0 | 21.75/21.93 c | 255 | 1.1 | 0 | 7754 | 6104 | 57 | 24246982 | 618598 || 255 | 993253 | 79/ 79 | 111103 | 0 | 22.95/23.12 c | 255 | 1.2 | 0 | 8465 | 1720 | 58 | 24970530 | 630327 || 255 | 1015934 | 79/ 79 | 111280 | 0 | 23.74/23.97 c | 255 | 0.8 | 0 | 7660 | 8021 | 59 | 25752109 | 638335 || 255 | 1015934 | 79/ 79 | 111280 | 0 | 24.74/24.97 c | 262 | 1.0 | 0 | 8701 | 215 | 60 | 26564541 | 654656 || 262 | 1029102 | 79/ 79 | 112579 | 0 | 25.54/25.78 c | 277 | 0.8 | 0 | 7470 | 298 | 61 | 27414094 | 683087 || 277 | 1070119 | 79/ 79 | 116170 | 0 | 26.34/26.54 c | 286 | 0.8 | 0 | 7832 | 277 | 62 | 28257127 | 705975 || 286 | 1109157 | 79/ 79 | 120135 | 0 | 27.14/27.34 c | 301 | 0.8 | 0 | 8097 | 960 | 63 | 29146289 | 734121 || 301 | 1146687 | 79/ 79 | 123659 | 0 | 27.94/28.16 c | 316 | 0.8 | 0 | 8486 | 134 | 64 | 30037329 | 763807 || 316 | 1187537 | 79/ 79 | 127205 | 0 | 28.84/29.00 c | 318 | 0.8 | 0 | 8730 | 4632 | 65 | 30890037 | 778473 || 318 | 1223339 | 79/ 79 | 132315 | 0 | 29.64/29.86 c | 331 | 0.9 | 0 | 9218 | 107 | 66 | 31826566 | 803450 || 331 | 1250713 | 79/ 79 | 134551 | 0 | 30.55/30.72 c | 347 | 0.9 | 0 | 9077 | 472 | 67 | 32733590 | 833673 || 347 | 1293880 | 79/ 79 | 138514 | 0 | 31.34/31.57 c | 356 | 0.9 | 0 | 9241 | 457 | 68 | 33662441 | 856319 || 356 | 1330185 | 79/ 79 | 142447 | 0 | 32.24/32.47 c | 373 | 0.9 | 0 | 9428 | 18 | 69 | 34624830 | 888528 || 373 | 1372900 | 79/ 79 | 146232 | 0 | 33.14/33.34 c | 381 | 0.9 | 0 | 9513 | 2099 | 70 | 35556978 | 910079 || 381 | 1414391 | 79/ 79 | 153178 | 0 | 34.04/34.26 c | 382 | 0.9 | 0 | 9684 | 4801 | 71 | 36497365 | 924267 || 382 | 1451092 | 79/ 79 | 159921 | 0 | 35.14/35.37 c | 382 | 1.1 | 0 | 10039 | 2802 | 72 | 37435913 | 939028 || 382 | 1479167 | 79/ 79 | 160151 | 0 | 36.15/36.38 c | 396 | 1.0 | 0 | 10123 | 276 | 73 | 38447075 | 966236 || 396 | 1509421 | 79/ 79 | 162821 | 0 | 37.15/37.36 c | 412 | 1.0 | 0 | 9856 | 1036 | 74 | 39458641 | 998315 || 412 | 1557571 | 79/ 79 | 167221 | 0 | 38.14/38.34 c | 426 | 1.0 | 0 | 10073 | 192 | 75 | 40495799 | 1027749 || 426 | 1599275 | 79/ 79 | 171209 | 0 | 39.14/39.35 c | 443 | 1.0 | 0 | 10157 | 862 | 76 | 41534036 | 1061195 || 443 | 1648866 | 79/ 79 | 176063 | 0 | 40.14/40.36 c | 445 | 1.0 | 0 | 10354 | 553 | 77 | 42561945 | 1078692 || 445 | 1687435 | 79/ 79 | 181200 | 0 | 41.24/41.40 c | 460 | 1.0 | 0 | 10614 | 1117 | 78 | 43628452 | 1109138 || 460 | 1726074 | 79/ 79 | 184753 | 0 | 42.24/42.44 c | 476 | 1.0 | 0 | 10883 | 1797 | 79 | 44714096 | 1141879 || 476 | 1776080 | 79/ 79 | 190006 | 0 | 43.24/43.47 c | 491 | 1.0 | 0 | 11012 | 574 | 80 | 45817103 | 1174675 || 491 | 1818237 | 79/ 79 | 193604 | 0 | 44.34/44.56 c | 507 | 1.1 | 0 | 11144 | 244 | 81 | 46905275 | 1208353 || 507 | 1871164 | 79/ 79 | 198876 | 0 | 45.44/45.67 c | 509 | 1.1 | 0 | 11324 | 4043 | 82 | 48007651 | 1224522 || 509 | 1912777 | 79/ 79 | 208826 | 0 | 46.64/46.89 c | 509 | 1.2 | 0 | 11411 | 3143 | 83 | 49080910 | 1241000 || 509 | 1944419 | 79/ 79 | 209064 | 0 | 48.04/48.23 c | 510 | 1.3 | 0 | 11848 | 11947 | 84 | 50183023 | 1257200 || 510 | 1996571 | 60/ 60 | 222287 | 0 | 49.74/49.95 c | 510 | 1.7 | 0 | 11858 | 1648 | 85 | 51269216 | 1275626 || 510 | 2036997 | 60/ 60 | 222583 | 0 | 51.14/51.33 c | 510 | 1.4 | 0 | 11504 | 10649 | 86 | 52477931 | 1286801 || 510 | 2036997 | 60/ 60 | 222583 | 0 | 52.75/52.96 c | 511 | 1.6 | 0 | 11948 | 19750 | 87 | 53576323 | 1303996 || 511 | 2119665 | 60/ 60 | 248912 | 0 | 55.15/55.34 c | 511 | 2.4 | 0 | 11476 | 9202 | 88 | 54641510 | 1322492 || 511 | 2169834 | 60/ 60 | 249290 | 0 | 58.16/58.36 c | 511 | 3.0 | 0 | 12400 | 9301 | 89 | 55705765 | 1341010 || 511 | 2220548 | 60/ 60 | 249674 | 0 | 59.55/59.78 c | 511 | 1.4 | 0 | 11302 | 9251 | 90 | 56983216 | 1353524 || 511 | 2221378 | 60/ 60 | 249676 | 0 | 61.15/61.36 c | 511 | 1.6 | 0 | 11660 | 18752 | 91 | 58291572 | 1365323 || 511 | 2221378 | 60/ 60 | 249676 | 0 | 62.75/62.95 c | 520 | 1.6 | 0 | 12487 | 21 | 92 | 59584935 | 1388876 || 520 | 2240457 | 60/ 60 | 251266 | 0 | 64.05/64.24 c | 541 | 1.3 | 0 | 11082 | 391 | 93 | 60835297 | 1429312 || 541 | 2298992 | 60/ 60 | 256764 | 0 | 65.35/65.50 c | 557 | 1.3 | 0 | 11534 | 565 | 94 | 62109857 | 1464203 || 557 | 2351035 | 60/ 60 | 262029 | 0 | 66.55/66.79 c | 574 | 1.3 | 0 | 12013 | 1634 | 95 | 63394769 | 1499930 || 574 | 2409579 | 60/ 60 | 270539 | 0 | 67.95/68.12 c | 587 | 1.3 | 0 | 12411 | 116 | 96 | 64667499 | 1531755 || 587 | 2454008 | 60/ 60 | 272933 | 0 | 69.25/69.43 c | 605 | 1.3 | 0 | 12830 | 1680 | 97 | 65959228 | 1569882 || 605 | 2513544 | 60/ 60 | 279432 | 0 | 70.55/70.79 c | 626 | 1.4 | 0 | 13459 | 37 | 98 | 67288006 | 1611730 || 626 | 2568716 | 60/ 60 | 283971 | 0 | 71.95/72.13 c | 637 | 1.3 | 0 | 13318 | 3718 | 99 | 68583373 | 1642557 || 637 | 2627879 | 60/ 60 | 291654 | 0 | 73.55/73.72 c | 638 | 1.6 | 0 | 13611 | 9319 | 100 | 69915178 | 1663444 || 638 | 2682246 | 60/ 60 | 298483 | 0 | 75.05/75.24 c | 651 | 1.5 | 0 | 13711 | 2 | 101 | 71289718 | 1693776 || 651 | 2712311 | 60/ 60 | 300777 | 0 | 76.45/76.69 c | 669 | 1.4 | 0 | 13403 | 2381 | 102 | 72676507 | 1732768 || 669 | 2774931 | 60/ 60 | 307302 | 0 | 77.95/78.13 c | 693 | 1.4 | 0 | 13575 | 112 | 103 | 74062726 | 1778152 || 693 | 2832352 | 60/ 60 | 312436 | 0 | 79.35/79.52 c | 701 | 1.4 | 0 | 13722 | 595 | 104 | 75396494 | 1806948 || 701 | 2888207 | 60/ 60 | 319498 | 0 | 80.85/81.01 c | 723 | 1.5 | 0 | 13859 | 458 | 105 | 76823724 | 1849542 || 723 | 2942648 | 60/ 60 | 324381 | 0 | 82.25/82.50 c | 743 | 1.5 | 0 | 14049 | 219 | 106 | 78258051 | 1892095 || 743 | 3003390 | 60/ 60 | 330289 | 0 | 83.85/84.03 c | 763 | 1.5 | 0 | 14446 | 2285 | 107 | 79683662 | 1935118 || 763 | 3071648 | 60/ 60 | 337148 | 0 | 85.35/85.54 c | 765 | 1.5 | 0 | 14779 | 6284 | 108 | 81109880 | 1957374 || 765 | 3127266 | 60/ 60 | 347215 | 0 | 87.05/87.25 c | 766 | 1.7 | 0 | 15123 | 7983 | 109 | 82544709 | 1977098 || 766 | 3178438 | 60/ 60 | 360456 | 0 | 89.44/89.69 c | 766 | 2.4 | 0 | 14856 | 184 | 110 | 83854509 | 2001032 || 766 | 3240934 | 60/ 60 | 360910 | 0 | 91.35/91.53 c | 766 | 1.8 | 0 | 14609 | 11686 | 111 | 85334197 | 2015718 || 766 | 3240934 | 60/ 60 | 360910 | 0 | 93.14/93.30 c | 795 | 1.8 | 0 | 15001 | 231 | 112 | 86854092 | 2067448 || 795 | 3309787 | 60/ 60 | 367156 | 0 | 94.74/94.91 c | 812 | 1.6 | 0 | 14516 | 508 | 113 | 88392506 | 2107815 || 812 | 3371685 | 60/ 60 | 373296 | 0 | 96.35/96.55 c | 829 | 1.6 | 0 | 14652 | 3478 | 114 | 89911740 | 2147971 || 829 | 3441285 | 60/ 60 | 381907 | 0 | 97.95/98.19 c | 848 | 1.6 | 0 | 15110 | 33 | 115 | 91473058 | 2190861 || 848 | 3496139 | 60/ 60 | 386110 | 0 | 99.64/99.87 c | 871 | 1.7 | 0 | 15287 | 286 | 116 | 93024641 | 2236812 || 871 | 3564059 | 60/ 60 | 392748 | 0 | 101.34/101.55 c | 891 | 1.7 | 0 | 15776 | 951 | 117 | 94572512 | 2281913 || 891 | 3634053 | 60/ 60 | 399680 | 0 | 103.15/103.39 c | 893 | 1.8 | 0 | 16449 | 8353 | 118 | 96109688 | 2306242 || 893 | 3698219 | 60/ 60 | 409838 | 0 | 105.35/105.51 c | 907 | 2.1 | 0 | 16522 | 229 | 119 | 97790816 | 2341176 || 907 | 3735872 | 60/ 60 | 412556 | 0 | 107.04/107.29 c | 928 | 1.8 | 0 | 16078 | 94 | 120 | 99394955 | 2386586 || 928 | 3803992 | 60/ 60 | 419294 | 0 | 108.94/109.12 c | 955 | 1.8 | 0 | 16243 | 1449 | 121 | 101017213 | 2439317 || 955 | 3881663 | 60/ 60 | 427440 | 0 | 110.74/110.94 c | 969 | 1.8 | 0 | 16554 | 129 | 122 | 102655949 | 2477114 || 969 | 3938736 | 60/ 60 | 433138 | 0 | 112.54/112.72 c | 989 | 1.8 | 0 | 16457 | 176 | 123 | 104311331 | 2522120 || 989 | 4006030 | 60/ 60 | 439938 | 0 | 114.44/114.60 c | 1018 | 1.9 | 0 | 16639 | 1023 | 124 | 105994994 | 2578043 || 1018 | 4086665 | 60/ 60 | 448481 | 0 | 116.24/116.46 c | 1020 | 1.9 | 0 | 17199 | 6724 | 125 | 107630863 | 2603914 || 1020 | 4150719 | 60/ 60 | 458672 | 0 | 118.45/118.63 c | 1021 | 2.2 | 0 | 17568 | 10122 | 126 | 109303298 | 2627025 || 1021 | 4208296 | 60/ 60 | 471995 | 0 | 121.15/121.36 c | 1021 | 2.7 | 0 | 17804 | 4023 | 127 | 110917643 | 2650873 || 1021 | 4254641 | 60/ 60 | 472359 | 0 | 123.85/124.01 c | 1022 | 2.6 | 0 | 17540 | 17226 | 128 | 112644389 | 2671746 || 1022 | 4323503 | 60/ 60 | 498570 | 0 | 127.15/127.31 c | 1022 | 3.3 | 0 | 17173 | 13304 | 129 | 114152917 | 2698627 || 1022 | 4396833 | 60/ 60 | 499152 | 0 | 130.35/130.54 c | 1022 | 3.2 | 0 | 17699 | 5525 | 130 | 115790009 | 2722026 || 1022 | 4439041 | 60/ 60 | 499470 | 0 | 133.15/133.34 c | 1022 | 2.8 | 0 | 16740 | 19026 | 131 | 117624285 | 2739115 || 1022 | 4439041 | 60/ 60 | 499470 | 0 | 136.05/136.23 c | 1023 | 2.9 | 0 | 16900 | 32628 | 132 | 119348798 | 2762899 || 1023 | 4565521 | 60/ 60 | 551836 | 0 | 139.75/139.95 c | 1023 | 3.7 | 0 | 16261 | 13701 | 133 | 120930148 | 2790542 || 1023 | 4639638 | 60/ 60 | 552367 | 0 | 144.55/144.74 c | 1023 | 4.8 | 0 | 18018 | 13805 | 134 | 122497351 | 2817719 || 1023 | 4711897 | 60/ 60 | 552945 | 0 | 149.55/149.72 c | 1023 | 5.0 | 0 | 17627 | 13901 | 135 | 124066803 | 2844892 || 1023 | 4785052 | 60/ 60 | 553529 | 0 | 152.75/152.92 c | 1023 | 3.2 | 0 | 18225 | 11235 | 136 | 125833258 | 2865380 || 1023 | 4799854 | 60/ 60 | 553638 | 0 | 156.44/156.69 c | 1023 | 3.8 | 0 | 17344 | 25339 | 137 | 127648180 | 2882739 || 1023 | 4799854 | 60/ 60 | 553638 | 0 | 159.74/159.96 c | 1023 | 3.3 | 0 | 18128 | 39540 | 138 | 129478233 | 2900413 || 1023 | 4799854 | 60/ 60 | 553638 | 0 | 163.24/163.48 c | 1032 | 3.5 | 0 | 18935 | 124 | 139 | 131322998 | 2929327 || 1032 | 4820087 | 60/ 60 | 555208 | 0 | 165.44/165.65 c | 1058 | 2.2 | 0 | 16262 | 79 | 140 | 133177121 | 2984072 || 1058 | 4899891 | 60/ 60 | 563029 | 0 | 167.54/167.76 c | 1085 | 2.1 | 0 | 17046 | 1038 | 141 | 135060879 | 3040853 || 1085 | 4983160 | 60/ 60 | 571267 | 0 | 169.74/169.97 c | 1106 | 2.2 | 0 | 17927 | 85 | 142 | 136933357 | 3089175 || 1106 | 5056970 | 60/ 60 | 578844 | 0 | 171.94/172.16 c | 1132 | 2.2 | 0 | 18151 | 623 | 143 | 138839359 | 3143992 || 1132 | 5139226 | 60/ 60 | 586979 | 0 | 174.14/174.34 c | 1149 | 2.2 | 0 | 18958 | 1779 | 144 | 140713860 | 3189414 || 1149 | 5216498 | 60/ 60 | 595626 | 0 | 176.54/176.73 c | 1153 | 2.4 | 0 | 19786 | 70 | 145 | 142646839 | 3218753 || 1153 | 5269820 | 60/ 60 | 602880 | 0 | 178.84/179.04 c | 1181 | 2.3 | 0 | 19055 | 1223 | 146 | 144592333 | 3276879 || 1181 | 5355764 | 60/ 60 | 611226 | 0 | 181.25/181.40 c | 1212 | 2.4 | 0 | 19357 | 267 | 147 | 146558975 | 3339787 || 1212 | 5447609 | 60/ 60 | 620074 | 0 | 183.45/183.69 c | 1233 | 2.3 | 0 | 19630 | 137 | 148 | 148501522 | 3388317 || 1233 | 5518770 | 60/ 60 | 627738 | 0 | 185.84/186.03 c | 1261 | 2.3 | 0 | 19711 | 186 | 149 | 150478257 | 3446653 || 1261 | 5604952 | 60/ 60 | 636105 | 0 | 188.14/188.33 c | 1276 | 2.3 | 0 | 19937 | 2861 | 150 | 152441165 | 3490851 || 1276 | 5678581 | 60/ 60 | 644557 | 0 | 190.75/190.96 c | 1278 | 2.6 | 0 | 20510 | 8762 | 151 | 154362052 | 3518377 || 1278 | 5759571 | 60/ 60 | 664433 | 0 | 194.15/194.34 c | 1278 | 3.4 | 0 | 20602 | 5161 | 152 | 156288412 | 3545021 || 1278 | 5813007 | 60/ 60 | 664871 | 0 | 197.35/197.52 c | 1300 | 3.2 | 0 | 21165 | 222 | 153 | 158389022 | 3592681 || 1300 | 5865980 | 60/ 60 | 669785 | 0 | 199.85/200.05 c | 1330 | 2.5 | 0 | 19762 | 267 | 154 | 160434029 | 3655109 || 1330 | 5956253 | 60/ 60 | 678229 | 0 | 202.35/202.52 c | 1347 | 2.5 | 0 | 20102 | 128 | 155 | 162496407 | 3702000 || 1347 | 6032591 | 60/ 60 | 686902 | 0 | 204.85/205.03 c | 1377 | 2.5 | 0 | 20096 | 79 | 156 | 164588690 | 3764315 || 1377 | 6121655 | 60/ 60 | 695499 | 0 | 207.35/207.58 c | 1404 | 2.5 | 0 | 20459 | 2823 | 157 | 166682518 | 3823039 || 1404 | 6218537 | 60/ 60 | 706927 | 0 | 210.25/210.40 c | 1405 | 2.8 | 0 | 21180 | 4620 | 158 | 168765019 | 3852433 || 1405 | 6277662 | 60/ 60 | 713822 | 0 | 212.95/213.13 c | 1436 | 2.7 | 0 | 22465 | 62 | 159 | 170888374 | 3914746 || 1436 | 6368199 | 60/ 60 | 722597 | 0 | 215.55/215.79 c | 1467 | 2.7 | 0 | 21459 | 405 | 160 | 173010795 | 3978438 || 1467 | 6460913 | 60/ 60 | 731436 | 0 | 218.25/218.43 c | 1491 | 2.6 | 0 | 21566 | 471 | 161 | 175165880 | 4033275 || 1491 | 6542680 | 60/ 60 | 739918 | 0 | 220.96/221.14 c | 1524 | 2.7 | 0 | 21751 | 11 | 162 | 177347717 | 4101273 || 1524 | 6639647 | 60/ 60 | 749055 | 0 | 223.55/223.78 c | 1532 | 2.7 | 0 | 21877 | 6899 | 163 | 179467535 | 4140650 || 1532 | 6728085 | 60/ 60 | 762566 | 0 | 226.65/226.86 c | 1533 | 3.1 | 0 | 22376 | 14101 | 164 | 181541432 | 4170878 || 1533 | 6806911 | 60/ 60 | 776004 | 0 | 230.05/230.26 c | 1533 | 3.4 | 0 | 23000 | 11800 | 165 | 183684406 | 4196598 || 1533 | 6834471 | 60/ 60 | 776196 | 0 | 233.95/234.16 c | 1534 | 3.9 | 0 | 22165 | 28801 | 166 | 185693353 | 4231394 || 1534 | 6966786 | 60/ 60 | 802931 | 0 | 239.15/239.36 c | 1534 | 5.2 | 0 | 23657 | 7502 | 167 | 187781647 | 4260154 || 1534 | 7017058 | 60/ 60 | 803345 | 0 | 242.86/243.00 c | 1534 | 3.6 | 0 | 21660 | 24703 | 168 | 190020701 | 4282039 || 1534 | 7017058 | 60/ 60 | 803345 | 0 | 245.65/245.80 c | 1567 | 2.8 | 0 | 20606 | 35 | 169 | 192234171 | 4350718 || 1567 | 7113317 | 60/ 60 | 812374 | 0 | 248.36/248.59 c | 1597 | 2.8 | 0 | 20965 | 3273 | 170 | 194462166 | 4415370 || 1597 | 7218062 | 60/ 60 | 824294 | 0 | 251.25/251.46 c | 1627 | 2.9 | 0 | 21766 | 703 | 171 | 196764796 | 4480355 || 1627 | 7305801 | 60/ 60 | 831484 | 0 | 254.15/254.30 c | 1659 | 2.9 | 0 | 22093 | 2250 | 172 | 199011856 | 4547167 || 1659 | 7409505 | 60/ 60 | 842011 | 0 | 256.95/257.15 c | 1661 | 2.8 | 0 | 22918 | 3143 | 173 | 201236491 | 4579868 || 1661 | 7481787 | 60/ 60 | 852190 | 0 | 259.95/260.20 c | 1692 | 3.1 | 0 | 23896 | 70 | 174 | 203558685 | 4645132 || 1692 | 7573135 | 60/ 60 | 861007 | 0 | 263.05/263.20 c | 1724 | 3.0 | 0 | 23536 | 1921 | 175 | 205917679 | 4711754 || 1724 | 7674323 | 60/ 60 | 873145 | 0 | 266.06/266.25 c | 1754 | 3.1 | 0 | 23620 | 1076 | 176 | 208245163 | 4778249 || 1754 | 7772039 | 60/ 60 | 880422 | 0 | 269.05/269.29 c | 1786 | 3.0 | 0 | 23862 | 1911 | 177 | 210617385 | 4846457 || 1786 | 7873415 | 60/ 60 | 890983 | 0 | 272.05/272.23 c | 1788 | 2.9 | 0 | 24193 | 3304 | 178 | 212864556 | 4881211 || 1788 | 7949347 | 60/ 60 | 901252 | 0 | 275.86/276.06 c | 1789 | 3.8 | 0 | 24148 | 2401 | 179 | 215133351 | 4915422 || 1789 | 8038479 | 60/ 60 | 914758 | 0 | 279.45/279.69 c | 1810 | 3.6 | 0 | 24817 | 156 | 180 | 217636794 | 4966068 || 1810 | 8089981 | 60/ 60 | 919212 | 0 | 282.65/282.87 c | 1848 | 3.2 | 0 | 23847 | 189 | 181 | 220039070 | 5041488 || 1848 | 8195849 | 60/ 60 | 929382 | 0 | 285.76/285.98 c | 1868 | 3.1 | 0 | 24062 | 34 | 182 | 222441761 | 5096483 || 1868 | 8286528 | 60/ 60 | 939463 | 0 | 288.95/289.19 c | 1907 | 3.2 | 0 | 24078 | 66 | 183 | 224876227 | 5173040 || 1907 | 8395066 | 60/ 60 | 949745 | 0 | 292.15/292.37 c | 1916 | 3.2 | 0 | 24324 | 8745 | 184 | 227232087 | 5217376 || 1916 | 8496791 | 60/ 60 | 963570 | 0 | 295.45/295.67 c | 1946 | 3.3 | 0 | 25277 | 782 | 185 | 229670214 | 5282444 || 1946 | 8578132 | 60/ 60 | 970643 | 0 | 298.75/298.95 c | 1978 | 3.3 | 0 | 25312 | 116 | 186 | 232132337 | 5352177 || 1978 | 8684488 | 60/ 60 | 981174 | 0 | 302.05/302.29 c | 2008 | 3.4 | 0 | 25469 | 362 | 187 | 234640367 | 5417946 || 2008 | 8779977 | 60/ 60 | 990826 | 0 | 305.45/305.64 c | 2041 | 3.3 | 0 | 25543 | 2294 | 188 | 237121451 | 5488942 || 2041 | 8892642 | 60/ 60 | 1002208 | 0 | 308.75/308.96 c | 2043 | 3.3 | 0 | 25977 | 4789 | 189 | 239568413 | 5525022 || 2043 | 8964467 | 60/ 60 | 1012407 | 0 | 313.05/313.26 c | 2044 | 4.3 | 0 | 25971 | 4989 | 190 | 241932561 | 5562265 || 2044 | 9062782 | 60/ 60 | 1025958 | 0 | 317.45/317.61 c | 2045 | 4.4 | 0 | 26072 | 24491 | 191 | 244335286 | 5595763 || 2045 | 9168424 | 60/ 60 | 1052504 | 0 | 323.95/324.14 c | 2045 | 6.5 | 0 | 26939 | 5693 | 192 | 246723776 | 5630484 || 2045 | 9240556 | 60/ 60 | 1053065 | 0 | 328.55/328.79 c | 2045 | 4.6 | 0 | 25893 | 25395 | 193 | 249298073 | 5655200 || 2045 | 9240556 | 60/ 60 | 1053065 | 0 | 333.95/334.18 c | 2046 | 5.4 | 0 | 24394 | 45200 | 194 | 251653856 | 5696326 || 2046 | 9432364 | 60/ 60 | 1105993 | 0 | 342.75/342.90 c | 2046 | 8.7 | 0 | 25295 | 19903 | 195 | 253929243 | 5735716 || 2046 | 9535598 | 60/ 60 | 1106837 | 0 | 351.45/351.64 c | 2046 | 8.7 | 0 | 26760 | 8303 | 196 | 256334448 | 5769534 || 2046 | 9595074 | 60/ 60 | 1107343 | 0 | 356.16/356.32 c | 2046 | 4.7 | 0 | 23550 | 28406 | 197 | 259021226 | 5795258 || 2046 | 9595074 | 60/ 60 | 1107343 | 0 | 361.85/362.06 c | 2046 | 5.8 | 0 | 24603 | 48610 | 198 | 261686730 | 5820934 || 2046 | 9595074 | 60/ 60 | 1107343 | 0 | 367.75/367.90 c | 2047 | 5.8 | 0 | 24026 | 68911 | 199 | 264085001 | 5862142 || 2047 | 9853647 | 60/ 60 | 1212073 | 0 | 376.85/377.06 c | 2047 | 9.2 | 0 | 24612 | 20406 | 200 | 266443932 | 5902642 || 2047 | 9949848 | 60/ 60 | 1212832 | 0 | 386.35/386.54 c | 2047 | 9.5 | 0 | 27019 | 20509 | 201 | 268752759 | 5944425 || 2047 | 10047539 | 60/ 60 | 1213627 | 0 | 396.45/396.62 c | 2047 | 10.1 | 0 | 28233 | 20601 | 202 | 271015526 | 5984850 || 2047 | 10143835 | 60/ 60 | 1214389 | 0 | 410.35/410.54 c | 2047 | 13.9 | 0 | 28558 | 20703 | 203 | 273259178 | 6023861 || 2047 | 10237805 | 60/ 60 | 1215120 | 0 | 416.85/417.07 c | 2047 | 6.5 | 0 | 27210 | 18330 | 204 | 276014430 | 6052744 || 2047 | 10248978 | 60/ 60 | 1215209 | 0 | 422.65/422.83 c | 2047 | 5.8 | 0 | 26604 | 39233 | 205 | 278751353 | 6079322 || 2047 | 10248978 | 60/ 60 | 1215209 | 0 | 428.15/428.30 c | 2047 | 5.5 | 0 | 27209 | 60235 | 206 | 281555404 | 6106048 || 2047 | 10248978 | 60/ 60 | 1215209 | 0 | 433.16/433.39 c | 2047 | 5.1 | 0 | 25885 | 81338 | 207 | 284359830 | 6133202 || 2047 | 10248978 | 60/ 60 | 1215209 | 0 | 438.25/438.49 c | 2048 | 5.1 | 0 | 25663 | 34 | 208 | 287157608 | 6161356 || 2048 | 10250532 | 60/ 60 | 1215323 | 0 | 442.15/442.35 c | 2093 | 3.9 | 0 | 24466 | 937 | 209 | 289921804 | 6248641 || 2093 | 10378432 | 60/ 60 | 1227548 | 0 | 445.85/446.07 c | 2124 | 3.7 | 0 | 25508 | 476 | 210 | 292669422 | 6320208 || 2124 | 10488278 | 60/ 60 | 1238917 | 0 | 449.76/449.96 c | 2167 | 3.9 | 0 | 26191 | 295 | 211 | 295463256 | 6406249 || 2167 | 10612235 | 60/ 60 | 1250577 | 0 | 453.65/453.82 c | 2174 | 3.9 | 0 | 27210 | 2477 | 212 | 298210986 | 6452890 || 2174 | 10712909 | 60/ 60 | 1264087 | 0 | 457.66/457.82 c | 2212 | 4.0 | 0 | 28073 | 309 | 213 | 301036731 | 6533290 || 2212 | 10820040 | 60/ 60 | 1274274 | 0 | 461.66/461.81 c | 2242 | 4.0 | 0 | 28551 | 156 | 214 | 303847672 | 6605183 || 2242 | 10932134 | 60/ 60 | 1285875 | 0 | 465.66/465.89 c | 2286 | 4.1 | 0 | 28010 | 163 | 215 | 306703582 | 6692420 || 2286 | 11059073 | 60/ 60 | 1298034 | 0 | 469.76/469.95 c | 2301 | 4.1 | 0 | 28256 | 25 | 216 | 309446782 | 6750464 || 2301 | 11180488 | 60/ 60 | 1313088 | 0 | 474.86/475.00 c | 2302 | 5.1 | 0 | 28521 | 2926 | 217 | 312182389 | 6788235 || 2302 | 11272474 | 60/ 60 | 1326655 | 0 | 479.36/479.58 c | 2332 | 4.6 | 0 | 28530 | 279 | 218 | 315094209 | 6856003 || 2332 | 11349659 | 60/ 60 | 1333768 | 0 | 483.46/483.63 c | 2365 | 4.1 | 0 | 28359 | 4105 | 219 | 317939781 | 6931994 || 2365 | 11475059 | 60/ 60 | 1347699 | 0 | 487.56/487.73 c | 2404 | 4.1 | 0 | 28475 | 433 | 220 | 320803482 | 7012957 || 2404 | 11586405 | 60/ 60 | 1357951 | 0 | 491.56/491.79 c | 2429 | 4.1 | 0 | 28649 | 5678 | 221 | 323675596 | 7082353 || 2429 | 11713444 | 60/ 60 | 1375437 | 0 | 496.16/496.32 c | 2459 | 4.5 | 0 | 29141 | 218 | 222 | 326554099 | 7155793 || 2459 | 11812499 | 60/ 60 | 1382702 | 0 | 500.26/500.47 c | 2492 | 4.2 | 0 | 29170 | 4469 | 223 | 329451025 | 7233267 || 2492 | 11940318 | 60/ 60 | 1396645 | 0 | 504.55/504.70 c | 2533 | 4.2 | 0 | 30089 | 173 | 224 | 332411119 | 7318011 || 2533 | 12054192 | 60/ 60 | 1407249 | 0 | 508.65/508.88 c | 2556 | 4.2 | 0 | 30121 | 6819 | 225 | 335323842 | 7384383 || 2556 | 12177054 | 60/ 60 | 1424388 | 0 | 513.75/513.96 c | 2557 | 5.1 | 0 | 30838 | 1016 | 226 | 338132718 | 7427961 || 2557 | 12281214 | 60/ 60 | 1438090 | 0 | 519.15/519.30 c | 2558 | 5.4 | 0 | 29918 | 24118 | 227 | 341094805 | 7465701 || 2558 | 12384122 | 60/ 60 | 1464546 | 0 | 525.96/526.18 c | 2558 | 6.9 | 0 | 30465 | 8919 | 228 | 343882170 | 7505351 || 2558 | 12459272 | 60/ 60 | 1465077 | 0 | 532.06/532.26 c | 2574 | 6.1 | 0 | 30528 | 95 | 229 | 346988422 | 7556603 || 2574 | 12501607 | 60/ 60 | 1468759 | 0 | 536.56/536.77 c | 2620 | 4.5 | 0 | 28910 | 1890 | 230 | 350028284 | 7650347 || 2620 | 12641145 | 60/ 60 | 1482687 | 0 | 540.85/541.07 c | 2652 | 4.3 | 0 | 29168 | 524 | 231 | 353058211 | 7727622 || 2652 | 12759744 | 60/ 60 | 1494954 | 0 | 545.15/545.38 c | 2685 | 4.3 | 0 | 29515 | 3261 | 232 | 356098472 | 7805181 || 2685 | 12887101 | 60/ 60 | 1513713 | 0 | 549.86/550.02 c | 2714 | 4.6 | 0 | 30152 | 87 | 233 | 359171029 | 7878558 || 2714 | 12991996 | 60/ 60 | 1520237 | 0 | 554.26/554.43 c | 2748 | 4.4 | 0 | 30795 | 4226 | 234 | 362205029 | 7959520 || 2748 | 13126441 | 60/ 60 | 1534996 | 0 | 558.86/559.03 c | 2793 | 4.6 | 0 | 31843 | 243 | 235 | 365330631 | 8051403 || 2793 | 13251636 | 60/ 60 | 1546460 | 0 | 563.36/563.53 c | 2812 | 4.5 | 0 | 31944 | 8803 | 236 | 368367813 | 8116810 || 2812 | 13382612 | 60/ 60 | 1562818 | 0 | 568.66/568.80 c | 2813 | 5.3 | 0 | 32244 | 4100 | 237 | 371405090 | 8160955 || 2813 | 13481433 | 60/ 60 | 1576453 | 0 | 573.76/573.96 c | 2844 | 5.2 | 0 | 32325 | 1044 | 238 | 374597921 | 8234635 || 2844 | 13572763 | 60/ 60 | 1585327 | 0 | 578.56/578.72 c | 2882 | 4.8 | 0 | 31837 | 180 | 239 | 377776515 | 8319469 || 2882 | 13698568 | 60/ 60 | 1598490 | 0 | 583.36/583.54 c | 2932 | 4.8 | 0 | 32119 | 167 | 240 | 380935418 | 8418158 || 2932 | 13839706 | 60/ 60 | 1611743 | 0 | 587.96/588.16 c | 2940 | 4.6 | 0 | 32495 | 5253 | 241 | 384068228 | 8469540 || 2940 | 13942317 | 60/ 60 | 1625409 | 0 | 592.96/593.13 c | 2990 | 5.0 | 0 | 32720 | 33 | 242 | 387294774 | 8568304 || 2990 | 14080314 | 60/ 60 | 1638386 | 0 | 597.76/597.98 c | 3028 | 4.9 | 0 | 32829 | 175 | 243 | 390499833 | 8654776 || 3028 | 14214784 | 60/ 60 | 1651916 | 0 | 602.57/602.78 c | 3066 | 4.8 | 0 | 33607 | 3901 | 244 | 393677287 | 8741059 || 3066 | 14355332 | 60/ 60 | 1667530 | 0 | 607.66/607.86 c | 3068 | 5.1 | 0 | 34023 | 14398 | 245 | 396739085 | 8787857 || 3068 | 14476708 | 60/ 60 | 1687772 | 0 | 614.96/615.13 c | 3069 | 7.3 | 0 | 34648 | 20198 | 246 | 399859293 | 8829327 || 3069 | 14582553 | 60/ 60 | 1714295 | 0 | 623.76/623.93 c | 3069 | 8.8 | 0 | 33873 | 6901 | 247 | 402857250 | 8873969 || 3069 | 14673751 | 60/ 60 | 1715046 | 0 | 631.36/631.59 c | 3070 | 7.7 | 0 | 34205 | 32105 | 248 | 406237343 | 8911079 || 3070 | 14795100 | 55/ 55 | 1767375 | 0 | 641.45/641.61 c | 3070 | 10.0 | 0 | 32835 | 25301 | 249 | 409080224 | 8961385 || 3070 | 14928643 | 55/ 55 | 1768376 | 0 | 655.96/656.18 c | 3070 | 14.6 | 0 | 34333 | 6006 | 250 | 412020597 | 9006277 || 3070 | 15022616 | 55/ 55 | 1769109 | 0 | 664.27/664.41 c | 3070 | 8.2 | 0 | 30816 | 31507 | 251 | 415639075 | 9037709 || 3070 | 15022616 | 55/ 55 | 1769109 | 0 | 672.06/672.25 c | 3085 | 7.8 | 0 | 34046 | 282 | 252 | 419143712 | 9089555 || 3085 | 15062342 | 55/ 55 | 1772687 | 0 | 677.26/677.48 c | 3132 | 5.2 | 0 | 29159 | 1088 | 253 | 422478629 | 9187648 || 3132 | 15206294 | 55/ 55 | 1786796 | 0 | 682.26/682.45 c | 3174 | 5.0 | 0 | 30334 | 120 | 254 | 425819572 | 9278746 || 3174 | 15342908 | 55/ 55 | 1800809 | 0 | 687.16/687.30 c | 3197 | 4.9 | 0 | 30783 | 9475 | 255 | 429038523 | 9351017 || 3197 | 15484212 | 55/ 55 | 1818028 | 0 | 692.36/692.57 c | 3239 | 5.3 | 0 | 32010 | 82 | 256 | 432484745 | 9441519 || 3239 | 15599685 | 55/ 55 | 1828778 | 0 | 697.56/697.74 c | 3278 | 5.2 | 0 | 32870 | 18 | 257 | 435900579 | 9531811 || 3278 | 15738015 | 55/ 55 | 1843045 | 0 | 702.76/702.98 c | 3323 | 5.2 | 0 | 34113 | 2714 | 258 | 439270916 | 9627872 || 3323 | 15887233 | 55/ 55 | 1859982 | 0 | 708.16/708.34 c | 3325 | 5.4 | 0 | 34402 | 14612 | 259 | 442565341 | 9677416 || 3325 | 16014358 | 55/ 55 | 1880194 | 0 | 714.16/714.30 c | 3348 | 6.0 | 0 | 34581 | 64 | 260 | 446052192 | 9745055 || 3348 | 16093326 | 55/ 55 | 1885439 | 0 | 719.46/719.60 c | 3388 | 5.3 | 0 | 33912 | 175 | 261 | 449412673 | 9837682 || 3388 | 16245028 | 55/ 55 | 1901461 | 0 | 724.86/725.06 c | 3439 | 5.5 | 0 | 34477 | 179 | 262 | 452882898 | 9940050 || 3439 | 16386921 | 55/ 55 | 1914529 | 0 | 729.96/730.17 c | 3452 | 5.1 | 0 | 34603 | 5348 | 263 | 456306049 | 10003294 || 3452 | 16505396 | 55/ 55 | 1929318 | 0 | 735.56/735.76 c | 3509 | 5.6 | 0 | 34749 | 251 | 264 | 459763098 | 10113746 || 3509 | 16660881 | 55/ 55 | 1943631 | 0 | 741.06/741.21 c | 3546 | 5.4 | 0 | 34894 | 2099 | 265 | 463234136 | 10202925 || 3546 | 16806250 | 55/ 55 | 1959229 | 0 | 746.36/746.55 c | 3579 | 5.3 | 0 | 35748 | 5826 | 266 | 466677294 | 10287515 || 3579 | 16948953 | 55/ 55 | 1978134 | 0 | 752.96/753.15 c | 3580 | 6.6 | 0 | 36318 | 4125 | 267 | 470030920 | 10336051 || 3580 | 17063460 | 55/ 55 | 1991880 | 0 | 760.46/760.62 c | 3581 | 7.5 | 0 | 36176 | 31329 | 268 | 473397386 | 10386864 || 3581 | 17210579 | 55/ 55 | 2018649 | 0 | 769.36/769.53 c | 3581 | 8.9 | 0 | 36376 | 20227 | 269 | 476908178 | 10427093 || 3581 | 17250206 | 55/ 55 | 2018971 | 0 | 775.76/775.95 c | 3627 | 6.4 | 0 | 36708 | 343 | 270 | 480447957 | 10524967 || 3627 | 17382487 | 55/ 55 | 2031358 | 0 | 781.57/781.77 c | 3673 | 5.8 | 0 | 34630 | 144 | 271 | 483989281 | 10626440 || 3673 | 17531746 | 55/ 55 | 2046367 | 0 | 787.07/787.27 c | 3708 | 5.5 | 0 | 34746 | 3282 | 272 | 487528734 | 10713191 || 3708 | 17679673 | 55/ 55 | 2067676 | 0 | 792.87/793.02 c | 3739 | 5.8 | 0 | 34962 | 529 | 273 | 491095875 | 10797455 || 3739 | 17806948 | 55/ 55 | 2076837 | 0 | 798.56/798.78 c | 3785 | 5.8 | 0 | 35833 | 435 | 274 | 494685352 | 10896605 || 3785 | 17955632 | 55/ 55 | 2091822 | 0 | 804.46/804.64 c | 3834 | 5.9 | 0 | 36777 | 1649 | 275 | 498306911 | 11000782 || 3834 | 18116123 | 55/ 55 | 2110049 | 0 | 810.36/810.60 c | 3836 | 5.9 | 0 | 37938 | 15243 | 276 | 501757342 | 11054898 || 3836 | 18254211 | 55/ 55 | 2130414 | 0 | 817.26/817.47 c | 3866 | 6.9 | 0 | 38352 | 470 | 277 | 505369861 | 11133400 || 3866 | 18350628 | 55/ 55 | 2137626 | 0 | 823.16/823.32 c | 3903 | 5.9 | 0 | 37310 | 63 | 278 | 508973892 | 11224024 || 3903 | 18490695 | 55/ 55 | 2152191 | 0 | 829.27/829.49 c | 3961 | 6.2 | 0 | 37564 | 1150 | 279 | 512646341 | 11337429 || 3961 | 18658161 | 55/ 55 | 2169135 | 0 | 835.26/835.41 c | 3978 | 5.9 | 0 | 38123 | 708 | 280 | 516284828 | 11405419 || 3978 | 18778881 | 55/ 55 | 2182954 | 0 | 841.27/841.49 c | 4026 | 6.1 | 0 | 38021 | 4289 | 281 | 519946239 | 11510356 || 4026 | 18945321 | 55/ 55 | 2200410 | 0 | 847.56/847.73 c | 4080 | 6.2 | 0 | 38534 | 409 | 282 | 523683854 | 11620134 || 4080 | 19093963 | 55/ 55 | 2214294 | 0 | 853.37/853.57 c | 4091 | 5.9 | 0 | 39098 | 8685 | 283 | 527256987 | 11681476 || 4091 | 19235780 | 55/ 55 | 2241320 | 0 | 860.66/860.82 c | 4092 | 7.2 | 0 | 39544 | 18285 | 284 | 530867016 | 11730730 || 4092 | 19368608 | 55/ 55 | 2267962 | 0 | 869.87/870.07 c | 4092 | 9.2 | 0 | 39705 | 8787 | 285 | 534288050 | 11782201 || 4092 | 19472456 | 55/ 55 | 2268754 | 0 | 877.86/878.00 c | 4093 | 7.9 | 0 | 38946 | 37788 | 286 | 537896753 | 11828645 || 4093 | 19624902 | 55/ 55 | 2321327 | 0 | 890.66/890.84 c | 4093 | 12.9 | 0 | 39296 | 29105 | 287 | 541182562 | 11885559 || 4093 | 19774566 | 55/ 55 | 2322500 | 0 | 900.77/900.91 c | 4093 | 10.1 | 0 | 39134 | 19293 | 288 | 544739287 | 11929526 || 4093 | 19825139 | 55/ 55 | 2322898 | 0 | 909.57/909.74 c | 4093 | 8.8 | 0 | 35880 | 48595 | 289 | 548538112 | 11966098 || 4093 | 19825139 | 55/ 55 | 2322898 | 0 | 921.16/921.35 c | 4094 | 11.6 | 0 | 35013 | 77998 | 290 | 551937213 | 12024715 || 4094 | 20137270 | 55/ 55 | 2428074 | 0 | 937.26/937.45 c | 4094 | 16.1 | 0 | 36826 | 29502 | 291 | 555260381 | 12084272 || 4094 | 20295481 | 55/ 55 | 2429314 | 0 | 954.57/954.74 c | 4094 | 17.3 | 0 | 37061 | 29601 | 292 | 558568549 | 12143928 || 4094 | 20451425 | 55/ 55 | 2430496 | 0 | 969.16/969.33 c | 4094 | 14.6 | 0 | 37740 | 13203 | 293 | 562127303 | 12192998 || 4094 | 20533199 | 55/ 55 | 2431108 | 0 | 980.07/980.25 c | 4094 | 10.9 | 0 | 36145 | 43006 | 294 | 565913152 | 12230775 || 4094 | 20533199 | 55/ 55 | 2431108 | 0 | 993.17/993.30 c | 4094 | 13.0 | 0 | 37864 | 72908 | 295 | 569699322 | 12268334 || 4094 | 20533199 | 55/ 55 | 2431108 | 0 | 1006.37/1006.55 c | 4095 | 13.2 | 0 | 37887 | 102909 | 296 | 573453001 | 12306814 || 4095 | 20875568 | 55/ 55 | 2639289 | 0 | 1017.56/1017.72 c | 4095 | 11.2 | 0 | 33054 | 30102 | 297 | 576897955 | 12364934 || 4095 | 21038175 | 55/ 55 | 2640503 | 0 | 1036.47/1036.60 c | 4095 | 18.9 | 0 | 37036 | 30201 | 298 | 580205598 | 12421085 || 4095 | 21190230 | 55/ 55 | 2641668 | 0 | 1060.17/1060.33 c | 4095 | 23.7 | 0 | 40129 | 30301 | 299 | 583471363 | 12477167 || 4095 | 21341420 | 55/ 55 | 2642809 | 0 | 1086.26/1086.42 c | 4095 | 26.1 | 0 | 41709 | 30402 | 300 | 586685250 | 12532928 || 4095 | 21491328 | 55/ 55 | 2643982 | 0 | 1110.36/1110.51 c | 4095 | 24.1 | 0 | 41476 | 30501 | 301 | 589932938 | 12588067 || 4095 | 21638908 | 55/ 55 | 2645116 | 0 | 1138.27/1138.48 c | 4095 | 28.0 | 0 | 43881 | 30603 | 302 | 593148973 | 12643114 || 4095 | 21785816 | 55/ 55 | 2646287 | 0 | 1162.48/1162.60 c | 4095 | 24.1 | 0 | 43689 | 8521 | 303 | 596621607 | 12694835 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1175.47/1175.64 c | 4095 | 13.0 | 0 | 34958 | 39322 | 304 | 600655209 | 12733215 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1189.87/1190.05 c | 4095 | 14.4 | 0 | 39742 | 70223 | 305 | 604618873 | 12771298 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1202.37/1202.58 c | 4095 | 12.5 | 0 | 41993 | 101226 | 306 | 608606448 | 12810162 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1217.07/1217.25 c | 4095 | 14.7 | 0 | 45112 | 132327 | 307 | 612520283 | 12848115 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1230.47/1230.63 c | 4095 | 13.4 | 0 | 45760 | 163530 | 308 | 616439560 | 12886784 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1243.47/1243.64 c | 4095 | 13.0 | 0 | 43676 | 194832 | 309 | 620417201 | 12925247 || 4095 | 21890779 | 55/ 55 | 2647127 | 0 | 1252.67/1252.88 c | 4141 | 9.2 | 0 | 39676 | 938 | 310 | 624457234 | 13026323 || 4141 | 22020085 | 55/ 55 | 2659542 | 0 | 1259.87/1260.04 c | 4189 | 7.2 | 0 | 35841 | 2369 | 311 | 628522423 | 13135890 || 4189 | 22188610 | 55/ 55 | 2677027 | 0 | 1266.67/1266.84 c | 4222 | 6.8 | 0 | 37335 | 1081 | 312 | 632554722 | 13230477 || 4222 | 22353366 | 55/ 55 | 2696110 | 0 | 1273.87/1274.07 c | 4281 | 7.2 | 0 | 38852 | 57 | 313 | 636725707 | 13351329 || 4281 | 22511854 | 55/ 55 | 2710778 | 0 | 1281.07/1281.21 c | 4328 | 7.1 | 0 | 40184 | 66 | 314 | 640807774 | 13462144 || 4328 | 22681227 | 55/ 55 | 2728032 | 0 | 1288.27/1288.49 c | 4350 | 7.3 | 0 | 41415 | 6633 | 315 | 644884777 | 13540186 || 4350 | 22842496 | 55/ 55 | 2758040 | 0 | 1296.78/1296.93 c | 4366 | 8.4 | 0 | 41737 | 98 | 316 | 648877314 | 13612520 || 4366 | 22953059 | 55/ 55 | 2762247 | 0 | 1299.88/1300.00 c | 4396 | 3.1 | 0 | 56340 | 741 | 316 | 650749322 | 13671514 || 4396 | 23040101 | 55/ 55 | 2770930 | 0 | 1299.88/1300.00 c c 1299.88/1300.00 c ----------------------------------- 1299.88/1300.00 c # temps = 1299.830000 1299.88/1300.00 c # cleaningDB = 316 1299.88/1300.00 c # clause binaire = 0 1299.88/1300.00 c # literal removed by litRedundant = 65910357 1299.88/1300.00 c # literal removed by litRedundantBin = 0 1299.88/1300.00 c # init clause removed by simplify = 0 1299.88/1300.00 c # learnt clause removed by simplify = 0 1299.88/1300.00 c # une clause fausse était une apprise = 0 1299.88/1300.00 c # equivalence dectecte = 0 1299.88/1300.00 c # Memory used : 126.77 MB 1299.88/1300.00 c 1299.88/1300.00 c ######################## 1299.88/1300.00 c #### ## ### ## #### 1299.88/1300.00 c #### #### # ## #### #### 1299.88/1300.00 c #### ## ### ## ### 1299.88/1300.00 c ######################## 1299.88/1300.00 c # restart = 4396 1299.88/1300.00 c # conflit = 5150232 1299.88/1300.00 c # decision = 13671514 1299.88/1300.00 c # propagation = 650749322 (500641.870091 (prop/sec)) 1299.88/1300.00 c 1299.88/1300.00 c ######################## 1299.88/1300.00 c ### ### # ## ## ## 1299.88/1300.00 c ### # # # #### # ### ### 1299.88/1300.00 c ### # ### ## # ### ### 1299.88/1300.00 c ######################## 1299.88/1300.00 c # numtry = 4396 1299.88/1300.00 c # numflips = 23040101 1299.88/1300.00 c # maxSat = 55 1299.88/1300.00 c # freeFlip = 4607307 1299.88/1300.00 c # nbBoundary = 0 1299.88/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: 931) 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-3189598-1302705583/watcher-3189598-1302705583 -o /tmp/evaluation-result-3189598-1302705583/solver-3189598-1302705583 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189598-1302705583.cnf rnovelty running on 2 cores: 4,6 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.84 1.97 1.99 5/192 10696 /proc/meminfo: memFree=19417036/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) R 10694 10696 10629 0 -1 4202496 315 0 0 0 0 0 0 0 22 0 1 0 382156976 8912896 253 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970370453 0 65538 4100 65536 0 0 0 17 4 0 0 0 /proc/10696/statm: 2176 253 211 178 0 69 0 [startup+0.01277 s] /proc/loadavg: 1.84 1.97 1.99 5/192 10696 /proc/meminfo: memFree=19417036/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 382156976 8912896 253 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/10696/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100728 s] /proc/loadavg: 1.84 1.97 1.99 5/192 10696 /proc/meminfo: memFree=19417036/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.300673 s] /proc/loadavg: 1.84 1.97 1.99 5/192 10696 /proc/meminfo: memFree=19417036/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700616 s] /proc/loadavg: 1.84 1.97 1.99 5/192 10696 /proc/meminfo: memFree=19417036/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.5005 s] /proc/loadavg: 1.84 1.97 1.99 5/196 10702 /proc/meminfo: memFree=19395172/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=16244 CPUtime=1.38 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 2512 0 0 0 138 0 0 0 25 0 1 0 382156983 16633856 2412 33554432000 4194304 4241092 140733976672416 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 4061 2412 136 12 0 2525 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 33652 [startup+3.10122 s] /proc/loadavg: 2.01 2.00 2.00 5/196 10702 /proc/meminfo: memFree=19391468/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=17624 CPUtime=2.98 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 2859 0 0 0 298 0 0 0 25 0 1 0 382156983 18046976 2759 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 4406 2759 136 12 0 2870 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 35032 [startup+6.30064 s] /proc/loadavg: 2.01 2.00 2.00 5/196 10702 /proc/meminfo: memFree=19383684/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=19604 CPUtime=6.17 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 3350 0 0 0 615 2 0 0 25 0 1 0 382156983 20074496 3250 33554432000 4194304 4241092 140733976672416 18446744073709551615 4228455 0 0 4096 24578 0 0 0 17 6 0 0 0 /proc/10702/statm: 4901 3250 136 12 0 3365 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 37012 [startup+12.7006 s] /proc/loadavg: 2.39 2.08 2.03 5/196 10702 /proc/meminfo: memFree=19372512/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=22996 CPUtime=12.5 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 4193 0 0 0 1246 4 0 0 25 0 1 0 382156983 23547904 4093 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 5749 4093 136 12 0 4213 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 40404 [startup+25.5004 s] /proc/loadavg: 2.64 2.14 2.05 5/196 10703 /proc/meminfo: memFree=19356224/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=29484 CPUtime=25.29 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 5852 0 0 0 2525 4 0 0 25 0 1 0 382156983 30191616 5737 33554432000 4194304 4241092 140733976672416 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 7371 5737 136 12 0 5835 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 46892 [startup+51.101 s] /proc/loadavg: 3.10 2.29 2.10 5/196 10703 /proc/meminfo: memFree=19337464/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=34268 CPUtime=50.89 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 7110 0 0 0 5085 4 0 0 25 0 1 0 382156983 35090432 6921 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 8567 6921 136 12 0 7031 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 51676 [startup+102.307 s] /proc/loadavg: 3.68 2.59 2.21 5/196 10705 /proc/meminfo: memFree=19308812/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=41256 CPUtime=102.1 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 9116 0 0 0 10205 5 0 0 25 0 1 0 382156983 42246144 8669 33554432000 4194304 4241092 140733976672416 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 10314 8669 136 12 0 8778 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 58664 [startup+162.301 s] /proc/loadavg: 3.88 2.85 2.32 5/196 10706 /proc/meminfo: memFree=19281140/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=51908 CPUtime=162.09 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 12038 0 0 0 16203 6 0 0 25 0 1 0 382156983 53153792 11348 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 12977 11348 136 12 0 11441 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 69316 [startup+222.3 s] /proc/loadavg: 3.95 3.05 2.42 5/196 10708 /proc/meminfo: memFree=19272708/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=53532 CPUtime=222.1 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 12864 0 0 0 22203 7 0 0 25 0 1 0 382156983 54816768 11747 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 13383 11747 136 12 0 11847 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 70940 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=19158356/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=94596 CPUtime=762.11 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 26353 0 0 0 76200 11 0 0 25 0 1 0 382156983 96866304 22021 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 23649 22021 136 12 0 22113 0 Current children cumulated CPU time (s) 762.16 Current children cumulated vsize (KiB) 112004 [startup+822.301 s] /proc/loadavg: 4.02 3.88 3.16 5/196 10724 /proc/meminfo: memFree=19140972/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=94788 CPUtime=822.11 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 26771 0 0 0 82199 12 0 0 25 0 1 0 382156983 97062912 22061 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223698 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 23697 22061 136 12 0 22161 0 Current children cumulated CPU time (s) 822.16 Current children cumulated vsize (KiB) 112196 [startup+882.301 s] /proc/loadavg: 4.00 3.90 3.21 5/196 10725 /proc/meminfo: memFree=19135120/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=94692 CPUtime=882.11 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 27133 0 0 0 88199 12 0 0 25 0 1 0 382156983 96964608 22040 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 23673 22040 136 12 0 22137 0 Current children cumulated CPU time (s) 882.16 Current children cumulated vsize (KiB) 112100 [startup+942.3 s] /proc/loadavg: 4.00 3.91 3.26 5/196 10727 /proc/meminfo: memFree=19119612/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=106152 CPUtime=942.11 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 30202 0 0 0 94199 12 0 0 25 0 1 0 382156983 108699648 24874 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 26538 24874 136 12 0 25002 0 Current children cumulated CPU time (s) 942.16 Current children cumulated vsize (KiB) 123560 [startup+1002.3 s] /proc/loadavg: 4.03 3.94 3.30 5/196 10729 /proc/meminfo: memFree=19109912/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=111696 CPUtime=1002.12 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 31770 0 0 0 100199 13 0 0 25 0 1 0 382156983 114376704 26267 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 27924 26267 136 12 0 26388 0 Current children cumulated CPU time (s) 1002.17 Current children cumulated vsize (KiB) 129104 [startup+1062.3 s] /proc/loadavg: 4.01 3.95 3.35 5/196 10730 /proc/meminfo: memFree=19101584/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=111568 CPUtime=1062.12 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 31915 0 0 0 106199 13 0 0 25 0 1 0 382156983 114245632 26238 33554432000 4194304 4241092 140733976672416 18446744073709551615 4205867 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 27892 26238 136 12 0 26356 0 Current children cumulated CPU time (s) 1062.17 Current children cumulated vsize (KiB) 128976 [startup+1122.3 s] /proc/loadavg: 4.00 3.95 3.38 5/196 10732 /proc/meminfo: memFree=19098108/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=111828 CPUtime=1122.11 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 32084 0 0 0 112198 13 0 0 25 0 1 0 382156983 114511872 26321 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 27957 26321 136 12 0 26421 0 Current children cumulated CPU time (s) 1122.16 Current children cumulated vsize (KiB) 129236 [startup+1182.3 s] /proc/loadavg: 4.00 3.96 3.42 5/196 10733 /proc/meminfo: memFree=19090780/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=117764 CPUtime=1182.12 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 33728 0 0 0 118198 14 0 0 25 0 1 0 382156983 120590336 27807 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 29441 27807 136 12 0 27905 0 Current children cumulated CPU time (s) 1182.17 Current children cumulated vsize (KiB) 135172 [startup+1242.3 s] /proc/loadavg: 4.07 3.98 3.46 5/196 10735 /proc/meminfo: memFree=19077872/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=129960 CPUtime=1242.12 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 36922 0 0 0 124198 14 0 0 25 0 1 0 382156983 133079040 30836 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 32490 30836 136 12 0 30954 0 Current children cumulated CPU time (s) 1242.17 Current children cumulated vsize (KiB) 147368 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.03 3.98 3.49 2/183 10763 /proc/meminfo: memFree=19298824/32951132 swapFree=67111528/67111528 [pid=10696] ppid=10694 vsize=8704 CPUtime=0.05 cores=4,6 /proc/10696/stat : 10696 (esg_static.sh) S 10694 10696 10629 0 -1 4202496 351 971 0 0 0 0 5 0 22 0 1 0 382156976 8912896 256 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970550016 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/10696/statm: 2176 256 211 178 0 69 0 [pid=10701] ppid=10696 vsize=8704 CPUtime=0 cores=4,6 /proc/10701/stat : 10701 (esg_static.sh) S 10696 10696 10629 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 1 0 382156983 8912896 135 33554432000 4194304 4922060 140734677145568 18446744073709551615 242970369157 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/10701/statm: 2176 135 90 178 0 69 0 [pid=10702] ppid=10701 vsize=129800 CPUtime=1299.83 cores=4,6 /proc/10702/stat : 10702 (sathys) R 10701 10696 10629 0 -1 4202496 37288 0 0 0 129968 15 0 0 25 0 1 0 382156983 132915200 30802 33554432000 4194304 4241092 140733976672416 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0 /proc/10702/statm: 32450 30802 136 12 0 30914 0 Current children cumulated CPU time (s) 1299.88 Current children cumulated vsize (KiB) 147208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10696 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=56991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.06099 # while last known CPU time is 1299.88 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1299.88 CPU user time (s): 1299.73 CPU system time (s): 0.15 CPU usage (%): 99.9898 Max. virtual memory (cumulated for all children) (KiB): 147368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.056991 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1673 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= 25 involuntary context switches= 4 runsolver used 2.20267 second user time and 4.96024 second system time The end
Begin job on node128 at 2011-04-13 16:39:43 IDJOB=3189598 IDBENCH=82529 IDSOLVER=1610 FILE ID=node128/3189598-1302705583 RUNJOBID= node128-1302705583-10648 PBS_JOBID= 12981418 Free space on /tmp= 72112 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189598-1302705583/watcher-3189598-1302705583 -o /tmp/evaluation-result-3189598-1302705583/solver-3189598-1302705583 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189598-1302705583.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 187184c44e9c5a07f5a8f762e04588fa RANDOM SEED=134725195 node128.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.82 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.852 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.852 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 19417316 kB Buffers: 543812 kB Cached: 12595172 kB SwapCached: 0 kB Active: 7793456 kB Inactive: 5419164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 19417316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 7800 kB Writeback: 0 kB AnonPages: 72472 kB Mapped: 15176 kB Slab: 255192 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 261060 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72112 MiB End job on node128 at 2011-04-13 17:01:23