| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.08 | 5000.03 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf |
| MD5SUM | f34a5dd1cdce70a322dd395bcb5f1303 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2548 |
| Number of clauses | 582679 |
| Sum of the clauses size | 1167806 |
| Maximum clause length | 52 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 582629 |
| 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 | 50 |
0.00/0.00 static 0.00/0.00 HOME/instance-3439685-1306936703.cnf 0.00/0.00 c Parsing... 0.00/0.14 c ============================================================================== 0.00/0.14 c | | ORIGINAL | LEARNT | | 0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.14 c ============================================================================== 0.00/0.14 c | 0 | 582679 1167806 | 174803 0 0 nan | 0.000 % | 1.59/1.67 c | 0 | 580131 1626523 | -- 0 -- -- | -- | -2548/458717 1.59/1.67 c ============================================================================== 1.59/1.67 c Result : #vars: 2498 #clauses: 580131 #literals: 1626523 1.59/1.67 c CPU time: 1.65275 s 1.59/1.67 c ============================================================================== 2.27/2.31 c 2.27/2.31 c seed = 0, numatom = 2498, numclause = 8429, numliterals = 1626523 2.27/2.31 c --------------------------------------------------------------------------------------------------------------------------------------------- 2.27/2.31 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 2.27/2.31 c --------------------------------------------------------------------------------------------------------------------------------------------- 2.57/2.61 c | 2 | 0.3 | 0 | 505 | 0 | 1 | 63576 | 3297 || 2 | 7337 | 51/ 0 | 266 | 0 | 2.77/2.90 c | 4 | 0.3 | 0 | 870 | 299 | 2 | 178806 | 7095 || 4 | 14216 | 50/ 0 | 631 | 0 | 3.18/3.26 c | 6 | 0.4 | 0 | 1119 | 196 | 3 | 308413 | 11470 || 6 | 21055 | 47/ 0 | 981 | 0 | 3.67/3.79 c | 7 | 0.5 | 0 | 1427 | 397 | 4 | 437883 | 14565 || 7 | 27003 | 47/ 0 | 1437 | 0 | 4.17/4.22 c | 11 | 0.4 | 0 | 1595 | 294 | 5 | 573049 | 20894 || 11 | 37701 | 47/ 0 | 2039 | 0 | 4.77/4.80 c | 14 | 0.6 | 0 | 1797 | 490 | 6 | 736244 | 27072 || 14 | 50278 | 46/ 0 | 2860 | 0 | 5.48/5.51 c | 15 | 0.7 | 0 | 2196 | 991 | 7 | 900728 | 31767 || 15 | 60462 | 43/ 0 | 3738 | 0 | 6.07/6.15 c | 16 | 0.6 | 0 | 2321 | 89 | 8 | 1086219 | 35823 || 16 | 65301 | 43/ 0 | 3889 | 0 | 6.67/6.73 c | 21 | 0.6 | 0 | 2378 | 76 | 9 | 1290077 | 44464 || 21 | 81011 | 43/ 0 | 4724 | 0 | 7.37/7.50 c | 25 | 0.8 | 0 | 2772 | 173 | 10 | 1583440 | 53273 || 25 | 95718 | 43/ 0 | 5668 | 0 | 8.47/8.52 c | 29 | 1.0 | 0 | 3030 | 571 | 11 | 1855847 | 63723 || 29 | 115126 | 43/ 0 | 6654 | 0 | 9.37/9.40 c | 30 | 0.9 | 0 | 3294 | 368 | 12 | 2073351 | 70665 || 30 | 126211 | 43/ 0 | 7548 | 0 | 10.67/10.75 c | 31 | 1.4 | 0 | 3768 | 2070 | 13 | 2323800 | 78496 || 31 | 145555 | 43/ 0 | 9348 | 0 | 11.98/12.03 c | 31 | 1.3 | 0 | 4062 | 1470 | 14 | 2687382 | 83132 || 31 | 149191 | 43/ 0 | 9381 | 0 | 12.97/13.10 c | 38 | 1.1 | 0 | 3974 | 358 | 15 | 3023279 | 95669 || 38 | 170579 | 43/ 0 | 10789 | 0 | 14.18/14.30 c | 44 | 1.2 | 0 | 3976 | 248 | 16 | 3418008 | 108625 || 44 | 193181 | 43/ 0 | 11817 | 0 | 15.66/15.70 c | 46 | 1.4 | 0 | 4368 | 244 | 17 | 3785230 | 118631 || 46 | 212709 | 43/ 0 | 13195 | 0 | 16.86/16.96 c | 53 | 1.3 | 0 | 4609 | 232 | 18 | 4177656 | 130700 || 53 | 232041 | 43/ 0 | 14582 | 0 | 18.36/18.40 c | 59 | 1.4 | 0 | 4904 | 125 | 19 | 4572782 | 144873 || 59 | 255001 | 43/ 0 | 15583 | 0 | 19.57/19.67 c | 61 | 1.3 | 0 | 5258 | 719 | 20 | 4971897 | 154254 || 61 | 274172 | 43/ 0 | 16955 | 0 | 21.07/21.15 c | 62 | 1.5 | 0 | 6093 | 820 | 21 | 5364698 | 162419 || 62 | 294125 | 43/ 0 | 18731 | 0 | 23.08/23.13 c | 63 | 2.0 | 0 | 6287 | 3424 | 22 | 5744895 | 172282 || 63 | 321121 | 43/ 0 | 22143 | 0 | 25.28/25.32 c | 63 | 2.2 | 0 | 6725 | 1325 | 23 | 6155477 | 181557 || 63 | 335416 | 43/ 0 | 22245 | 0 | 26.38/26.49 c | 67 | 1.2 | 0 | 6483 | 24 | 24 | 6729671 | 192410 || 67 | 347387 | 43/ 0 | 22852 | 0 | 28.16/28.27 c | 76 | 1.8 | 0 | 6595 | 18 | 25 | 7190419 | 211251 || 76 | 379879 | 43/ 0 | 24647 | 0 | 29.96/30.00 c | 81 | 1.7 | 0 | 6856 | 112 | 26 | 7706397 | 224712 || 81 | 405106 | 42/ 0 | 26477 | 0 | 31.66/31.80 c | 90 | 1.8 | 0 | 6967 | 0 | 27 | 8232509 | 241857 || 90 | 434944 | 42/ 0 | 28166 | 0 | 33.76/33.82 c | 94 | 2.0 | 0 | 7241 | 1095 | 28 | 8745725 | 255879 || 94 | 464692 | 42/ 0 | 31441 | 0 | 35.96/36.09 c | 96 | 2.3 | 0 | 7804 | 89 | 29 | 9321864 | 267234 || 96 | 480887 | 42/ 0 | 31798 | 0 | 38.26/38.35 c | 107 | 2.3 | 0 | 7941 | 268 | 30 | 9933651 | 288240 || 107 | 516621 | 42/ 0 | 33960 | 0 | 40.76/40.80 c | 113 | 2.5 | 0 | 7879 | 258 | 31 | 10579169 | 308675 || 113 | 549571 | 42/ 0 | 35963 | 0 | 43.16/43.28 c | 123 | 2.5 | 0 | 8072 | 36 | 32 | 11185958 | 331313 || 123 | 589768 | 42/ 0 | 38244 | 0 | 46.67/46.75 c | 125 | 3.5 | 0 | 7998 | 135 | 33 | 11777845 | 346250 || 125 | 621024 | 42/ 0 | 40891 | 0 | 50.77/50.81 c | 126 | 4.1 | 0 | 8182 | 3938 | 34 | 12455576 | 361632 || 126 | 656562 | 41/ 0 | 44419 | 0 | 53.37/53.47 c | 126 | 2.7 | 0 | 8189 | 3039 | 35 | 13249267 | 372551 || 126 | 666505 | 41/ 0 | 44522 | 0 | 57.08/57.18 c | 127 | 3.7 | 0 | 7837 | 7040 | 36 | 13649723 | 388645 || 127 | 718069 | 41/ 0 | 51372 | 0 | 60.57/60.67 c | 127 | 3.5 | 0 | 9116 | 1540 | 37 | 14244624 | 400709 || 127 | 740695 | 41/ 0 | 51578 | 0 | 63.47/63.53 c | 127 | 2.9 | 0 | 7822 | 5742 | 38 | 15480118 | 407179 || 127 | 740695 | 41/ 0 | 51578 | 0 | 65.98/66.03 c | 140 | 2.5 | 0 | 7820 | 116 | 39 | 16315910 | 430813 || 140 | 780557 | 41/ 0 | 53971 | 0 | 68.57/68.65 c | 149 | 2.6 | 0 | 8141 | 200 | 40 | 17085498 | 452723 || 149 | 820744 | 40/ 0 | 56348 | 0 | 71.77/71.83 c | 157 | 3.2 | 0 | 8979 | 482 | 41 | 17868118 | 477851 || 157 | 865291 | 40/ 0 | 59196 | 0 | 74.68/74.74 c | 163 | 2.9 | 0 | 9087 | 172 | 42 | 18648127 | 496127 || 163 | 900307 | 40/ 0 | 61711 | 0 | 77.77/77.88 c | 173 | 3.1 | 0 | 9478 | 150 | 43 | 19441129 | 522589 || 173 | 949016 | 40/ 0 | 64782 | 0 | 80.67/80.78 c | 187 | 2.9 | 0 | 10643 | 331 | 44 | 20285088 | 551569 || 187 | 996185 | 40/ 0 | 67606 | 0 | 84.58/84.62 c | 189 | 3.8 | 0 | 10947 | 1024 | 45 | 21091826 | 569449 || 189 | 1032018 | 40/ 0 | 70371 | 0 | 88.17/88.22 c | 190 | 3.6 | 0 | 10682 | 1225 | 46 | 21857112 | 588576 || 190 | 1075769 | 40/ 0 | 73965 | 0 | 90.97/91.04 c | 200 | 2.8 | 0 | 10811 | 102 | 47 | 22883588 | 614707 || 200 | 1108706 | 40/ 0 | 75847 | 0 | 94.37/94.51 c | 212 | 3.5 | 0 | 11635 | 483 | 48 | 23724888 | 642275 || 212 | 1159333 | 40/ 0 | 79120 | 0 | 98.07/98.18 c | 221 | 3.7 | 0 | 12238 | 1574 | 49 | 24592361 | 669950 || 221 | 1212323 | 40/ 0 | 83179 | 0 | 101.87/101.93 c | 231 | 3.8 | 0 | 12780 | 249 | 50 | 25583559 | 696059 || 231 | 1254848 | 40/ 0 | 85170 | 0 | 105.37/105.50 c | 243 | 3.6 | 0 | 12845 | 37 | 51 | 26503238 | 727987 || 243 | 1311810 | 40/ 0 | 88507 | 0 | 110.07/110.16 c | 252 | 4.7 | 0 | 13568 | 2026 | 52 | 27408455 | 756562 || 252 | 1365771 | 40/ 0 | 92618 | 0 | 114.56/114.65 c | 253 | 4.5 | 0 | 13513 | 522 | 53 | 28327355 | 777910 || 253 | 1408195 | 40/ 0 | 96240 | 0 | 121.06/121.18 c | 254 | 6.5 | 0 | 12833 | 6325 | 54 | 29658555 | 805006 || 254 | 1463239 | 40/ 0 | 103121 | 0 | 127.76/127.87 c | 254 | 6.7 | 0 | 13395 | 2626 | 55 | 30674488 | 825345 || 254 | 1502011 | 40/ 0 | 103475 | 0 | 131.56/131.69 c | 255 | 3.8 | 0 | 12051 | 8629 | 56 | 31771010 | 841894 || 255 | 1555238 | 40/ 0 | 116800 | 0 | 135.86/135.95 c | 255 | 4.3 | 0 | 12379 | 6101 | 57 | 32546227 | 867451 || 255 | 1620330 | 40/ 0 | 117397 | 0 | 140.06/140.17 c | 255 | 4.2 | 0 | 13063 | 1730 | 58 | 33530648 | 889878 || 255 | 1668936 | 40/ 0 | 117810 | 0 | 143.16/143.22 c | 255 | 3.1 | 0 | 12328 | 8031 | 59 | 35068561 | 899821 || 255 | 1668936 | 40/ 0 | 117810 | 0 | 146.17/146.24 c | 262 | 3.0 | 0 | 14321 | 219 | 60 | 36469424 | 917347 || 262 | 1688449 | 40/ 0 | 119199 | 0 | 150.26/150.30 c | 277 | 4.0 | 0 | 13357 | 277 | 61 | 37502138 | 952950 || 277 | 1752057 | 40/ 0 | 123014 | 0 | 154.97/155.11 c | 286 | 4.8 | 0 | 15033 | 259 | 62 | 38615657 | 985653 || 286 | 1816481 | 40/ 0 | 127193 | 0 | 160.26/160.36 c | 301 | 5.2 | 0 | 15679 | 930 | 63 | 39875838 | 1022189 || 301 | 1877935 | 40/ 0 | 130952 | 0 | 164.98/165.07 c | 316 | 4.7 | 0 | 17060 | 99 | 64 | 40981242 | 1058220 || 316 | 1939537 | 40/ 0 | 134686 | 0 | 171.58/171.67 c | 318 | 6.6 | 0 | 17339 | 4600 | 65 | 41933696 | 1085159 || 318 | 2002721 | 40/ 0 | 140068 | 0 | 176.97/177.04 c | 330 | 5.4 | 0 | 17786 | 66 | 66 | 43449339 | 1113029 || 330 | 2041843 | 40/ 0 | 142224 | 0 | 182.47/182.55 c | 347 | 5.5 | 0 | 16984 | 440 | 67 | 44709345 | 1151925 || 347 | 2109131 | 40/ 0 | 146671 | 0 | 187.97/188.03 c | 356 | 5.5 | 0 | 16866 | 432 | 68 | 46010235 | 1184506 || 356 | 2166346 | 40/ 0 | 150776 | 0 | 193.86/193.92 c | 373 | 5.9 | 0 | 17034 | 9 | 69 | 47295238 | 1222549 || 373 | 2230841 | 40/ 0 | 154775 | 0 | 199.46/199.52 c | 381 | 5.6 | 0 | 17096 | 2105 | 70 | 48493280 | 1253499 || 381 | 2298382 | 40/ 0 | 161999 | 0 | 205.16/205.29 c | 382 | 5.8 | 0 | 16665 | 4807 | 71 | 49506225 | 1278958 || 382 | 2360412 | 40/ 0 | 168949 | 0 | 212.07/212.10 c | 382 | 6.8 | 0 | 16873 | 2806 | 72 | 50589125 | 1306713 || 382 | 2410295 | 40/ 0 | 169429 | 0 | 216.87/216.93 c | 396 | 4.8 | 0 | 16216 | 286 | 73 | 51997592 | 1338129 || 396 | 2457162 | 40/ 0 | 172273 | 0 | 222.97/223.03 c | 412 | 6.1 | 0 | 16248 | 1052 | 74 | 53358372 | 1379966 || 412 | 2534691 | 40/ 0 | 176965 | 0 | 228.87/228.90 c | 426 | 5.9 | 0 | 17163 | 239 | 75 | 54709214 | 1419766 || 426 | 2600414 | 40/ 0 | 181185 | 0 | 234.87/234.95 c | 443 | 6.0 | 0 | 17727 | 903 | 76 | 56064998 | 1461016 || 443 | 2676561 | 40/ 0 | 186294 | 0 | 242.07/242.13 c | 445 | 7.2 | 0 | 17447 | 597 | 77 | 57287072 | 1494429 || 445 | 2750470 | 39/ 0 | 191752 | 0 | 248.58/248.68 c | 460 | 6.6 | 0 | 17973 | 1187 | 78 | 58784677 | 1535186 || 460 | 2811828 | 39/ 0 | 195554 | 0 | 255.37/255.45 c | 476 | 6.8 | 0 | 18602 | 1860 | 79 | 60265661 | 1580333 || 476 | 2892926 | 39/ 0 | 201100 | 0 | 261.87/261.93 c | 491 | 6.5 | 0 | 19313 | 634 | 80 | 61720283 | 1621096 || 491 | 2962798 | 39/ 0 | 204929 | 0 | 268.28/268.41 c | 507 | 6.5 | 0 | 19747 | 302 | 81 | 63179319 | 1666961 || 507 | 3046865 | 39/ 0 | 210501 | 0 | 275.07/275.11 c | 509 | 6.7 | 0 | 19303 | 4101 | 82 | 64623703 | 1694866 || 509 | 3111287 | 39/ 0 | 220716 | 0 | 282.17/282.27 c | 509 | 7.2 | 0 | 19542 | 3199 | 83 | 65931318 | 1723132 || 509 | 3167045 | 39/ 0 | 221210 | 0 | 289.57/289.68 c | 510 | 7.4 | 0 | 20093 | 12001 | 84 | 67272091 | 1750843 || 510 | 3250790 | 39/ 0 | 234759 | 0 | 298.86/298.93 c | 510 | 9.2 | 0 | 20658 | 1701 | 85 | 68594397 | 1786627 || 510 | 3331365 | 39/ 0 | 235506 | 0 | 306.56/306.64 c | 510 | 7.7 | 0 | 18978 | 10702 | 86 | 71081835 | 1800895 || 510 | 3331365 | 39/ 0 | 235506 | 0 | 313.86/313.92 c | 511 | 7.3 | 0 | 18368 | 19803 | 87 | 72311618 | 1833051 || 511 | 3455132 | 39/ 0 | 262337 | 0 | 322.56/322.68 c | 511 | 8.8 | 0 | 19027 | 9202 | 88 | 73191742 | 1868673 || 511 | 3543507 | 39/ 0 | 263098 | 0 | 332.76/332.86 c | 511 | 10.2 | 0 | 19574 | 9303 | 89 | 74063229 | 1903321 || 511 | 3630947 | 39/ 0 | 263863 | 0 | 339.66/339.78 c | 511 | 6.9 | 0 | 15341 | 9309 | 90 | 76673087 | 1922176 || 511 | 3631988 | 39/ 0 | 263880 | 0 | 345.56/345.62 c | 511 | 5.8 | 0 | 16254 | 18812 | 91 | 79270434 | 1941064 || 511 | 3631988 | 39/ 0 | 263880 | 0 | 352.56/352.67 c | 520 | 7.0 | 0 | 17318 | 92 | 92 | 81662606 | 1969965 || 520 | 3659305 | 39/ 0 | 265522 | 0 | 360.46/360.50 c | 541 | 7.8 | 0 | 15485 | 456 | 93 | 83373079 | 2022954 || 541 | 3755061 | 39/ 0 | 271412 | 0 | 368.86/368.98 c | 557 | 8.5 | 0 | 16966 | 634 | 94 | 85108304 | 2071633 || 557 | 3839722 | 39/ 0 | 277010 | 0 | 376.66/376.76 c | 574 | 7.8 | 0 | 18284 | 1692 | 95 | 86924804 | 2121029 || 574 | 3936638 | 39/ 0 | 286006 | 0 | 385.97/386.06 c | 587 | 9.3 | 0 | 19543 | 168 | 96 | 88702172 | 2162977 || 587 | 4010094 | 39/ 0 | 288681 | 0 | 393.78/393.89 c | 605 | 7.8 | 0 | 20455 | 1733 | 97 | 90271667 | 2212527 || 605 | 4105288 | 39/ 0 | 295547 | 0 | 402.16/402.28 c | 626 | 8.4 | 0 | 22413 | 100 | 98 | 92049969 | 2264988 || 626 | 4191344 | 39/ 0 | 300381 | 0 | 410.36/410.45 c | 637 | 8.2 | 0 | 23025 | 3785 | 99 | 93645725 | 2311549 || 637 | 4289981 | 39/ 0 | 308501 | 0 | 419.16/419.23 c | 638 | 8.8 | 0 | 22911 | 9387 | 100 | 95368284 | 2352575 || 638 | 4386426 | 39/ 0 | 315745 | 0 | 426.68/426.81 c | 651 | 7.6 | 0 | 23931 | 61 | 101 | 97705100 | 2387733 || 651 | 4428899 | 39/ 0 | 318161 | 0 | 435.26/435.36 c | 669 | 8.5 | 0 | 23387 | 29 | 102 | 99438859 | 2443621 || 669 | 4533955 | 39/ 0 | 325147 | 0 | 445.27/445.35 c | 693 | 10.0 | 0 | 24784 | 172 | 103 | 101453217 | 2497826 || 693 | 4618639 | 39/ 0 | 330550 | 0 | 453.77/453.83 c | 701 | 8.5 | 0 | 24736 | 648 | 104 | 103177521 | 2543533 || 701 | 4715635 | 39/ 0 | 337980 | 0 | 461.88/461.94 c | 723 | 8.1 | 0 | 24927 | 508 | 105 | 105334106 | 2593145 || 723 | 4798846 | 39/ 0 | 343134 | 0 | 471.67/471.71 c | 743 | 9.8 | 0 | 25043 | 283 | 106 | 107186764 | 2647093 || 743 | 4891090 | 39/ 0 | 349270 | 0 | 482.27/482.32 c | 763 | 10.6 | 0 | 25694 | 2352 | 107 | 109059731 | 2703154 || 763 | 4993416 | 39/ 0 | 356503 | 0 | 492.27/492.39 c | 765 | 10.1 | 0 | 24595 | 6353 | 108 | 110808489 | 2743382 || 765 | 5083976 | 39/ 0 | 366969 | 0 | 501.87/501.95 c | 766 | 9.6 | 0 | 24731 | 8051 | 109 | 112722571 | 2775254 || 766 | 5162088 | 39/ 0 | 380543 | 0 | 510.77/510.84 c | 766 | 8.9 | 0 | 23375 | 252 | 110 | 113843958 | 2826767 || 766 | 5285146 | 39/ 0 | 381667 | 0 | 518.67/518.75 c | 766 | 7.9 | 0 | 23609 | 11753 | 111 | 116585330 | 2843789 || 766 | 5285146 | 39/ 0 | 381667 | 0 | 528.37/528.42 c | 795 | 9.7 | 0 | 24821 | 287 | 112 | 118584890 | 2904914 || 795 | 5390238 | 39/ 0 | 388247 | 0 | 538.99/539.06 c | 812 | 10.6 | 0 | 25132 | 552 | 113 | 120487179 | 2957515 || 812 | 5490205 | 39/ 0 | 394830 | 0 | 549.37/549.49 c | 829 | 10.4 | 0 | 26521 | 3541 | 114 | 122160485 | 3008390 || 829 | 5597086 | 39/ 0 | 403848 | 0 | 559.17/559.23 c | 848 | 9.8 | 0 | 28221 | 96 | 115 | 124214647 | 3060941 || 848 | 5682249 | 39/ 0 | 408341 | 0 | 569.07/569.13 c | 871 | 9.9 | 0 | 29615 | 52 | 116 | 126184962 | 3119555 || 871 | 5789195 | 39/ 0 | 415304 | 0 | 579.59/579.64 c | 891 | 10.5 | 0 | 31615 | 1019 | 117 | 128106145 | 3175774 || 891 | 5889254 | 39/ 0 | 422559 | 0 | 590.47/590.54 c | 893 | 10.9 | 0 | 31135 | 8418 | 118 | 129869986 | 3221175 || 893 | 6003674 | 39/ 0 | 433173 | 0 | 598.77/598.87 c | 907 | 8.3 | 0 | 31534 | 295 | 119 | 132035226 | 3266054 || 907 | 6067694 | 39/ 0 | 436179 | 0 | 608.67/608.72 c | 929 | 9.8 | 0 | 32234 | 154 | 120 | 134195632 | 3328242 || 929 | 6178342 | 39/ 0 | 443461 | 0 | 619.67/619.73 c | 955 | 11.0 | 0 | 33531 | 1510 | 121 | 136348909 | 3391690 || 955 | 6295994 | 39/ 0 | 451927 | 0 | 631.57/631.61 c | 969 | 11.9 | 0 | 32949 | 185 | 122 | 138391154 | 3440864 || 969 | 6385007 | 39/ 0 | 457889 | 0 | 642.87/642.92 c | 989 | 11.3 | 0 | 32216 | 30 | 123 | 140509234 | 3499765 || 989 | 6491337 | 39/ 0 | 465072 | 0 | 654.07/654.13 c | 1018 | 11.2 | 0 | 32604 | 1052 | 124 | 142621744 | 3564372 || 1018 | 6612185 | 39/ 0 | 474035 | 0 | 666.48/666.57 c | 1020 | 12.4 | 0 | 32655 | 6753 | 125 | 144514130 | 3606918 || 1020 | 6714257 | 39/ 0 | 484560 | 0 | 678.07/678.14 c | 1021 | 11.6 | 0 | 30990 | 10149 | 126 | 146706105 | 3641814 || 1021 | 6805021 | 39/ 0 | 498151 | 0 | 693.17/693.21 c | 1021 | 15.1 | 0 | 31360 | 4050 | 127 | 148380368 | 3679239 || 1021 | 6885542 | 39/ 0 | 498895 | 0 | 706.37/706.47 c | 1022 | 13.3 | 0 | 30243 | 17251 | 128 | 150441560 | 3709047 || 1022 | 6980040 | 39/ 0 | 525387 | 0 | 727.37/727.49 c | 1022 | 21.0 | 0 | 31992 | 13305 | 129 | 151566587 | 3754996 || 1022 | 7095120 | 39/ 0 | 526405 | 0 | 748.28/748.31 c | 1022 | 20.8 | 0 | 32876 | 5558 | 130 | 153675492 | 3789985 || 1022 | 7164182 | 39/ 0 | 527021 | 0 | 760.88/760.99 c | 1022 | 12.7 | 0 | 27649 | 19060 | 131 | 156800168 | 3808994 || 1022 | 7164182 | 39/ 0 | 527021 | 0 | 774.48/774.52 c | 1023 | 13.5 | 0 | 27566 | 32661 | 132 | 159094509 | 3849597 || 1023 | 7343643 | 39/ 0 | 579992 | 0 | 792.58/792.65 c | 1023 | 18.1 | 0 | 25016 | 13701 | 133 | 160464961 | 3906879 || 1023 | 7483098 | 39/ 0 | 581345 | 0 | 814.28/814.32 c | 1023 | 21.7 | 0 | 28404 | 13802 | 134 | 161757101 | 3959603 || 1023 | 7613173 | 39/ 0 | 582448 | 0 | 834.08/834.11 c | 1023 | 19.8 | 0 | 26800 | 13901 | 135 | 163161020 | 4015090 || 1023 | 7749006 | 39/ 0 | 583682 | 0 | 848.48/848.50 c | 1023 | 14.4 | 0 | 25287 | 11268 | 136 | 165763274 | 4043539 || 1023 | 7777345 | 39/ 0 | 583944 | 0 | 860.48/860.58 c | 1023 | 12.1 | 0 | 25019 | 25373 | 137 | 169009977 | 4064391 || 1023 | 7777345 | 39/ 0 | 583944 | 0 | 871.38/871.41 c | 1023 | 10.8 | 0 | 25657 | 39575 | 138 | 171788758 | 4083814 || 1023 | 7777345 | 39/ 0 | 583944 | 0 | 883.08/883.15 c | 1032 | 11.7 | 0 | 26281 | 169 | 139 | 174612387 | 4117073 || 1032 | 7807580 | 39/ 0 | 585636 | 0 | 896.28/896.41 c | 1059 | 13.3 | 0 | 25582 | 132 | 140 | 177272772 | 4189296 || 1059 | 7933816 | 39/ 0 | 594021 | 0 | 909.88/909.91 c | 1085 | 13.5 | 0 | 27833 | 1082 | 141 | 179646337 | 4259107 || 1085 | 8061758 | 39/ 0 | 602546 | 0 | 921.98/922.06 c | 1107 | 12.1 | 0 | 29874 | 140 | 142 | 182043439 | 4322561 || 1107 | 8178723 | 39/ 0 | 610796 | 0 | 936.98/937.05 c | 1132 | 15.0 | 0 | 32068 | 696 | 143 | 184683713 | 4398247 || 1132 | 8309579 | 39/ 0 | 619215 | 0 | 951.58/951.65 c | 1149 | 14.6 | 0 | 33249 | 1867 | 144 | 187102100 | 4461330 || 1149 | 8433229 | 39/ 0 | 628345 | 0 | 964.98/965.04 c | 1153 | 13.4 | 0 | 33237 | 162 | 145 | 189426486 | 4505785 || 1153 | 8521827 | 39/ 0 | 635909 | 0 | 978.58/978.64 c | 1181 | 13.6 | 0 | 34160 | 1300 | 146 | 192017846 | 4580199 || 1181 | 8655115 | 39/ 0 | 644795 | 0 | 993.68/993.73 c | 1212 | 15.1 | 0 | 35746 | 340 | 147 | 194635207 | 4658131 || 1212 | 8798615 | 39/ 0 | 654138 | 0 | 1008.08/1008.18 c | 1233 | 14.5 | 0 | 36281 | 197 | 148 | 197244755 | 4723149 || 1233 | 8916237 | 39/ 0 | 662322 | 0 | 1023.18/1023.25 c | 1261 | 15.1 | 0 | 36144 | 32 | 149 | 199875493 | 4798886 || 1261 | 9049538 | 39/ 0 | 671186 | 0 | 1038.78/1038.88 c | 1276 | 15.6 | 0 | 36658 | 2912 | 150 | 202515195 | 4854829 || 1276 | 9157055 | 39/ 0 | 679927 | 0 | 1052.70/1052.78 c | 1278 | 13.9 | 0 | 34823 | 8810 | 151 | 204596409 | 4899903 || 1278 | 9282536 | 39/ 0 | 700270 | 0 | 1068.28/1068.39 c | 1278 | 15.6 | 0 | 33235 | 5208 | 152 | 206709444 | 4947321 || 1278 | 9378821 | 39/ 0 | 701093 | 0 | 1079.18/1079.21 c | 1300 | 10.8 | 0 | 33769 | 252 | 153 | 209747224 | 5004765 || 1300 | 9458508 | 39/ 0 | 706257 | 0 | 1093.40/1093.46 c | 1330 | 14.2 | 0 | 35179 | 280 | 154 | 212330155 | 5083872 || 1330 | 9597273 | 39/ 0 | 715086 | 0 | 1108.18/1108.25 c | 1347 | 14.8 | 0 | 36632 | 151 | 155 | 214892622 | 5147686 || 1347 | 9718914 | 39/ 0 | 724193 | 0 | 1122.88/1122.91 c | 1377 | 14.7 | 0 | 37643 | 93 | 156 | 217537386 | 5223128 || 1377 | 9852743 | 39/ 0 | 733252 | 0 | 1138.58/1138.61 c | 1404 | 15.7 | 0 | 39164 | 2847 | 157 | 220199183 | 5295583 || 1404 | 9999372 | 39/ 0 | 745211 | 0 | 1155.28/1155.30 c | 1405 | 16.7 | 0 | 38451 | 4645 | 158 | 222523433 | 5341332 || 1405 | 10093920 | 39/ 0 | 752513 | 0 | 1169.68/1169.73 c | 1436 | 14.4 | 0 | 39469 | 78 | 159 | 225203193 | 5420323 || 1436 | 10236118 | 39/ 0 | 761852 | 0 | 1186.28/1186.30 c | 1467 | 16.6 | 0 | 39935 | 425 | 160 | 228098340 | 5498993 || 1467 | 10374136 | 39/ 0 | 771163 | 0 | 1202.08/1202.12 c | 1491 | 15.8 | 0 | 40726 | 482 | 161 | 230829961 | 5571929 || 1491 | 10504398 | 39/ 0 | 780102 | 0 | 1218.58/1218.67 c | 1524 | 16.5 | 0 | 41172 | 17 | 162 | 233842671 | 5658294 || 1524 | 10652916 | 39/ 0 | 789824 | 0 | 1236.40/1236.44 c | 1532 | 17.8 | 0 | 40942 | 6913 | 163 | 236491552 | 5723723 || 1532 | 10796381 | 39/ 0 | 803929 | 0 | 1255.98/1256.03 c | 1533 | 19.6 | 0 | 39442 | 14118 | 164 | 239166729 | 5779712 || 1533 | 10929984 | 36/ 0 | 817969 | 0 | 1270.98/1271.02 c | 1533 | 15.0 | 0 | 39667 | 11819 | 165 | 242183978 | 5818827 || 1533 | 10979879 | 36/ 0 | 818469 | 0 | 1290.58/1290.62 c | 1534 | 19.6 | 0 | 37137 | 28821 | 166 | 244166845 | 5886034 || 1534 | 11197030 | 36/ 0 | 846078 | 0 | 1305.98/1306.05 c | 1534 | 15.4 | 0 | 38239 | 7527 | 167 | 246502184 | 5936450 || 1534 | 11291046 | 36/ 0 | 846906 | 0 | 1316.60/1316.64 c | 1534 | 10.6 | 0 | 35961 | 24728 | 168 | 249636724 | 5961699 || 1534 | 11291046 | 36/ 0 | 846906 | 0 | 1330.29/1330.39 c | 1567 | 13.8 | 0 | 39663 | 61 | 169 | 252386810 | 6039668 || 1567 | 11428520 | 36/ 0 | 856394 | 0 | 1346.59/1346.69 c | 1597 | 16.3 | 0 | 42264 | 3297 | 170 | 255160072 | 6122053 || 1597 | 11584818 | 36/ 0 | 868890 | 0 | 1361.80/1361.86 c | 1627 | 15.2 | 0 | 45356 | 741 | 171 | 258146722 | 6204770 || 1627 | 11726902 | 36/ 0 | 876582 | 0 | 1378.20/1378.31 c | 1659 | 16.5 | 0 | 47519 | 2295 | 172 | 260937308 | 6290998 || 1659 | 11889422 | 36/ 0 | 887667 | 0 | 1395.99/1396.04 c | 1661 | 17.7 | 0 | 48121 | 3196 | 173 | 263875323 | 6346572 || 1661 | 12006050 | 36/ 0 | 898389 | 0 | 1412.30/1412.41 c | 1692 | 16.4 | 0 | 48384 | 139 | 174 | 267100217 | 6426391 || 1692 | 12141876 | 36/ 0 | 907664 | 0 | 1429.49/1429.57 c | 1724 | 17.2 | 0 | 44543 | 1972 | 175 | 270308175 | 6506346 || 1724 | 12291372 | 36/ 0 | 920213 | 0 | 1446.29/1446.36 c | 1754 | 16.8 | 0 | 45569 | 1109 | 176 | 273525696 | 6591402 || 1754 | 12440340 | 36/ 0 | 927953 | 0 | 1465.10/1465.19 c | 1786 | 18.8 | 0 | 46266 | 1933 | 177 | 276650973 | 6676826 || 1786 | 12597514 | 36/ 0 | 939048 | 0 | 1485.00/1485.08 c | 1788 | 19.9 | 0 | 44577 | 3334 | 178 | 279844806 | 6737933 || 1788 | 12722667 | 36/ 0 | 949863 | 0 | 1503.70/1503.72 c | 1789 | 18.6 | 0 | 42387 | 2436 | 179 | 282419922 | 6803656 || 1789 | 12882105 | 36/ 0 | 964204 | 0 | 1519.69/1519.73 c | 1811 | 16.0 | 0 | 42796 | 203 | 180 | 286059878 | 6865696 || 1811 | 12954398 | 36/ 0 | 969278 | 0 | 1538.00/1538.09 c | 1849 | 18.4 | 0 | 43645 | 240 | 181 | 289082356 | 6954576 || 1849 | 13113712 | 36/ 0 | 979951 | 0 | 1558.10/1558.15 c | 1869 | 20.1 | 0 | 44076 | 106 | 182 | 292186968 | 7033582 || 1869 | 13255875 | 36/ 0 | 990273 | 0 | 1578.30/1578.40 c | 1908 | 20.2 | 0 | 45315 | 117 | 183 | 295325127 | 7124494 || 1908 | 13418779 | 36/ 0 | 1001244 | 0 | 1601.00/1601.03 c | 1916 | 22.6 | 0 | 45136 | 8800 | 184 | 298154205 | 7193241 || 1916 | 13578174 | 36/ 0 | 1015521 | 0 | 1619.90/1619.99 c | 1946 | 19.0 | 0 | 46941 | 845 | 185 | 301412728 | 7270909 || 1946 | 13702451 | 36/ 0 | 1023116 | 0 | 1642.00/1642.05 c | 1978 | 22.1 | 0 | 48318 | 170 | 186 | 304596997 | 7362196 || 1978 | 13869808 | 36/ 0 | 1034304 | 0 | 1662.60/1662.68 c | 2009 | 20.6 | 0 | 49120 | 405 | 187 | 307948262 | 7445258 || 2009 | 14022818 | 36/ 0 | 1045318 | 0 | 1682.91/1683.00 c | 2041 | 20.3 | 0 | 49251 | 2336 | 188 | 311038094 | 7532765 || 2041 | 14191666 | 36/ 0 | 1056512 | 0 | 1704.60/1704.64 c | 2043 | 21.7 | 0 | 47135 | 4835 | 189 | 314293882 | 7594819 || 2043 | 14320558 | 36/ 0 | 1067289 | 0 | 1727.10/1727.11 c | 2044 | 22.5 | 0 | 45688 | 5030 | 190 | 316944448 | 7659726 || 2044 | 14476432 | 36/ 0 | 1081543 | 0 | 1747.70/1747.72 c | 2045 | 20.6 | 0 | 45491 | 24537 | 191 | 319490770 | 7720194 || 2045 | 14644545 | 36/ 0 | 1108723 | 0 | 1770.50/1770.54 c | 2045 | 22.8 | 0 | 47167 | 5739 | 192 | 321796183 | 7784765 || 2045 | 14777433 | 36/ 0 | 1109872 | 0 | 1783.70/1783.76 c | 2045 | 13.2 | 0 | 44543 | 25442 | 193 | 325829312 | 7814049 || 2045 | 14777433 | 36/ 0 | 1109872 | 0 | 1807.10/1807.16 c | 2046 | 23.4 | 0 | 44453 | 45244 | 194 | 327664403 | 7886531 || 2046 | 15056779 | 36/ 0 | 1163687 | 0 | 1843.30/1843.39 c | 2046 | 36.2 | 0 | 46880 | 19904 | 195 | 329174051 | 7953470 || 2046 | 15219472 | 36/ 0 | 1165179 | 0 | 1869.00/1869.01 c | 2046 | 25.6 | 0 | 45911 | 8347 | 196 | 332630182 | 8015228 || 2046 | 15326193 | 36/ 0 | 1166119 | 0 | 1888.11/1888.11 c | 2046 | 19.1 | 0 | 42156 | 28449 | 197 | 337594486 | 8049645 || 2046 | 15326193 | 36/ 0 | 1166119 | 0 | 1905.80/1905.89 c | 2046 | 17.8 | 0 | 42858 | 48650 | 198 | 342370486 | 8085502 || 2046 | 15326193 | 36/ 0 | 1166119 | 0 | 1922.51/1922.51 c | 2047 | 16.6 | 0 | 37333 | 68957 | 199 | 344949755 | 8164438 || 2047 | 15716677 | 36/ 0 | 1272243 | 0 | 1944.30/1944.37 c | 2047 | 21.9 | 0 | 37325 | 20402 | 200 | 346844630 | 8241137 || 2047 | 15907885 | 36/ 0 | 1273989 | 0 | 1973.21/1973.29 c | 2047 | 28.9 | 0 | 42790 | 20503 | 201 | 348939610 | 8314876 || 2047 | 16092122 | 36/ 0 | 1275639 | 0 | 1998.11/1998.16 c | 2047 | 24.9 | 0 | 45206 | 20601 | 202 | 350909228 | 8391086 || 2047 | 16281841 | 36/ 0 | 1277312 | 0 | 2019.62/2019.65 c | 2047 | 21.5 | 0 | 33882 | 20701 | 203 | 352808182 | 8465096 || 2047 | 16467652 | 36/ 0 | 1279033 | 0 | 2037.01/2037.06 c | 2047 | 17.4 | 0 | 35099 | 18364 | 204 | 357072297 | 8502205 || 2047 | 16489330 | 36/ 0 | 1279233 | 0 | 2058.12/2058.12 c | 2047 | 21.1 | 0 | 34666 | 39265 | 205 | 361601045 | 8530847 || 2047 | 16489330 | 36/ 0 | 1279233 | 0 | 2079.71/2079.77 c | 2047 | 21.7 | 0 | 37745 | 60266 | 206 | 366277768 | 8559217 || 2047 | 16489330 | 36/ 0 | 1279233 | 0 | 2101.81/2101.84 c | 2047 | 22.1 | 0 | 40098 | 81370 | 207 | 371089717 | 8586968 || 2047 | 16489330 | 36/ 0 | 1279233 | 0 | 2122.81/2122.87 c | 2048 | 21.0 | 0 | 40980 | 72 | 208 | 375419046 | 8615615 || 2048 | 16491202 | 36/ 0 | 1279347 | 0 | 2145.02/2145.04 c | 2093 | 22.2 | 0 | 33102 | 987 | 209 | 379226294 | 8729850 || 2093 | 16693565 | 36/ 0 | 1292362 | 0 | 2167.21/2167.29 c | 2124 | 22.2 | 0 | 36241 | 524 | 210 | 382875725 | 8823627 || 2124 | 16870747 | 36/ 0 | 1304485 | 0 | 2190.81/2190.81 c | 2167 | 23.5 | 0 | 39608 | 37 | 211 | 386740479 | 8931143 || 2167 | 17061001 | 36/ 0 | 1316756 | 0 | 2216.42/2216.46 c | 2174 | 25.7 | 0 | 41409 | 2516 | 212 | 390516429 | 9013963 || 2174 | 17239710 | 36/ 0 | 1331100 | 0 | 2239.71/2239.74 c | 2212 | 23.3 | 0 | 43318 | 333 | 213 | 394617775 | 9114551 || 2212 | 17399362 | 36/ 0 | 1341792 | 0 | 2266.03/2266.03 c | 2242 | 26.3 | 0 | 45604 | 173 | 214 | 398170207 | 9206532 || 2242 | 17567281 | 36/ 0 | 1353929 | 0 | 2292.61/2292.65 c | 2286 | 26.6 | 0 | 47469 | 204 | 215 | 401758298 | 9313843 || 2286 | 17757482 | 36/ 0 | 1366682 | 0 | 2318.21/2318.26 c | 2301 | 25.6 | 0 | 47862 | 78 | 216 | 405051521 | 9402799 || 2301 | 17949333 | 36/ 0 | 1382485 | 0 | 2344.41/2344.44 c | 2302 | 26.2 | 0 | 44053 | 2978 | 217 | 407993271 | 9465150 || 2302 | 18091156 | 36/ 0 | 1396495 | 0 | 2366.32/2366.33 c | 2332 | 21.9 | 0 | 44464 | 329 | 218 | 412598150 | 9546447 || 2332 | 18205089 | 36/ 0 | 1403898 | 0 | 2389.72/2389.78 c | 2365 | 23.4 | 0 | 46558 | 4161 | 219 | 416353618 | 9647201 || 2365 | 18400711 | 36/ 0 | 1418523 | 0 | 2414.12/2414.11 c | 2404 | 24.3 | 0 | 48470 | 483 | 220 | 420220071 | 9744228 || 2404 | 18562881 | 36/ 0 | 1429351 | 0 | 2438.32/2438.34 c | 2429 | 24.2 | 0 | 50043 | 5743 | 221 | 423622064 | 9836661 || 2429 | 18757102 | 36/ 0 | 1447410 | 0 | 2463.02/2463.01 c | 2459 | 24.7 | 0 | 51837 | 272 | 222 | 427567011 | 9928351 || 2459 | 18910437 | 36/ 0 | 1455258 | 0 | 2489.62/2489.68 c | 2492 | 26.7 | 0 | 52264 | 4499 | 223 | 431318924 | 10025391 || 2492 | 19099839 | 36/ 0 | 1469815 | 0 | 2517.02/2517.07 c | 2534 | 27.4 | 0 | 54796 | 231 | 224 | 435117642 | 10127831 || 2534 | 19272707 | 36/ 0 | 1481057 | 0 | 2544.23/2544.23 c | 2556 | 27.2 | 0 | 55156 | 6872 | 225 | 438943798 | 10218935 || 2556 | 19471841 | 36/ 0 | 1498771 | 0 | 2570.63/2570.70 c | 2557 | 26.5 | 0 | 53753 | 1060 | 226 | 442661898 | 10303330 || 2557 | 19677891 | 36/ 0 | 1513450 | 0 | 2590.92/2590.91 c | 2558 | 20.2 | 0 | 49829 | 24163 | 227 | 446690033 | 10362974 || 2558 | 19839640 | 36/ 0 | 1540549 | 0 | 2618.12/2618.14 c | 2558 | 27.2 | 0 | 50395 | 8962 | 228 | 450614084 | 10435691 || 2558 | 19981987 | 36/ 0 | 1541798 | 0 | 2640.92/2640.97 c | 2575 | 22.8 | 0 | 51522 | 134 | 229 | 456145773 | 10500393 || 2575 | 20046611 | 36/ 0 | 1545809 | 0 | 2663.72/2663.78 c | 2620 | 22.8 | 0 | 49511 | 1950 | 230 | 460240213 | 10616703 || 2620 | 20260858 | 36/ 0 | 1560402 | 0 | 2687.92/2687.99 c | 2652 | 24.2 | 0 | 51902 | 573 | 231 | 464018411 | 10715960 || 2652 | 20445302 | 36/ 0 | 1573390 | 0 | 2713.12/2713.18 c | 2685 | 25.2 | 0 | 53218 | 3316 | 232 | 468006241 | 10814163 || 2685 | 20637486 | 36/ 0 | 1592807 | 0 | 2737.52/2737.53 c | 2714 | 24.3 | 0 | 54177 | 151 | 233 | 471869495 | 10913905 || 2714 | 20814979 | 36/ 0 | 1600100 | 0 | 2764.34/2764.34 c | 2748 | 26.8 | 0 | 54534 | 4271 | 234 | 475630854 | 11019371 || 2748 | 21021346 | 36/ 0 | 1615660 | 0 | 2793.93/2793.92 c | 2793 | 29.6 | 0 | 57312 | 276 | 235 | 479897819 | 11134437 || 2793 | 21214808 | 36/ 0 | 1627827 | 0 | 2820.52/2820.54 c | 2812 | 26.6 | 0 | 57391 | 8835 | 236 | 483662248 | 11227976 || 2812 | 21413700 | 36/ 0 | 1644876 | 0 | 2852.72/2852.75 c | 2813 | 32.2 | 0 | 55028 | 4131 | 237 | 488084190 | 11309444 || 2813 | 21581993 | 36/ 0 | 1659235 | 0 | 2880.02/2880.02 c | 2844 | 27.3 | 0 | 55867 | 1069 | 238 | 492326402 | 11399904 || 2844 | 21722182 | 36/ 0 | 1668484 | 0 | 2909.22/2909.25 c | 2882 | 29.2 | 0 | 55609 | 205 | 239 | 496549755 | 11507044 || 2882 | 21916791 | 36/ 0 | 1682315 | 0 | 2939.72/2939.70 c | 2933 | 30.5 | 0 | 57159 | 207 | 240 | 500607179 | 11628951 || 2933 | 22127982 | 36/ 0 | 1696448 | 0 | 2969.32/2969.32 c | 2940 | 29.6 | 0 | 56504 | 5297 | 241 | 504747146 | 11716828 || 2940 | 22309343 | 36/ 0 | 1710832 | 0 | 2995.02/2995.00 c | 2991 | 25.7 | 0 | 58582 | 101 | 242 | 508713738 | 11830668 || 2991 | 22510581 | 36/ 0 | 1724425 | 0 | 3025.32/3025.31 c | 3029 | 30.3 | 0 | 61165 | 213 | 243 | 512845448 | 11942855 || 3029 | 22717151 | 36/ 0 | 1738736 | 0 | 3053.42/3053.42 c | 3066 | 28.1 | 0 | 63373 | 3923 | 244 | 516785291 | 12055606 || 3066 | 22938185 | 36/ 0 | 1755050 | 0 | 3079.02/3079.07 c | 3068 | 25.6 | 0 | 60487 | 14423 | 245 | 520012839 | 12139673 || 3068 | 23139631 | 36/ 0 | 1776134 | 0 | 3107.62/3107.61 c | 3069 | 28.5 | 0 | 60315 | 20226 | 246 | 524082936 | 12206495 || 3069 | 23305961 | 36/ 0 | 1803285 | 0 | 3144.33/3144.31 c | 3069 | 36.7 | 0 | 59852 | 6924 | 247 | 527995431 | 12285111 || 3069 | 23476053 | 36/ 0 | 1804826 | 0 | 3170.25/3170.24 c | 3070 | 25.9 | 0 | 56527 | 32127 | 248 | 532936916 | 12335383 || 3070 | 23641675 | 36/ 0 | 1857614 | 0 | 3195.44/3195.51 c | 3070 | 25.3 | 0 | 54697 | 25302 | 249 | 535046723 | 12423263 || 3070 | 23863325 | 36/ 0 | 1859534 | 0 | 3233.23/3233.20 c | 3070 | 37.7 | 0 | 54773 | 6032 | 250 | 537898863 | 12498958 || 3070 | 24028818 | 36/ 0 | 1861081 | 0 | 3264.23/3264.22 c | 3070 | 31.0 | 0 | 50500 | 31535 | 251 | 543660999 | 12534975 || 3070 | 24028818 | 36/ 0 | 1861081 | 0 | 3286.74/3286.81 c | 3085 | 22.6 | 0 | 49707 | 304 | 252 | 549310075 | 12596297 || 3085 | 24089334 | 36/ 0 | 1864827 | 0 | 3312.83/3312.86 c | 3132 | 26.0 | 0 | 48858 | 1114 | 253 | 553774486 | 12717034 || 3132 | 24302242 | 36/ 0 | 1879683 | 0 | 3341.13/3341.14 c | 3174 | 28.3 | 0 | 53032 | 132 | 254 | 558275739 | 12834803 || 3174 | 24523509 | 36/ 0 | 1894541 | 0 | 3370.45/3370.47 c | 3197 | 29.3 | 0 | 53925 | 9504 | 255 | 562283015 | 12944204 || 3197 | 24761863 | 36/ 0 | 1912728 | 0 | 3400.33/3400.31 c | 3240 | 29.8 | 0 | 56070 | 112 | 256 | 566893425 | 13050237 || 3240 | 24938582 | 36/ 0 | 1924152 | 0 | 3431.83/3431.82 c | 3278 | 31.5 | 0 | 59390 | 23 | 257 | 571432135 | 13166934 || 3278 | 25155852 | 36/ 0 | 1939165 | 0 | 3465.74/3465.77 c | 3323 | 34.0 | 0 | 61805 | 2706 | 258 | 575875161 | 13291796 || 3323 | 25381086 | 36/ 0 | 1956905 | 0 | 3493.74/3493.78 c | 3325 | 28.0 | 0 | 57903 | 14606 | 259 | 579512977 | 13373325 || 3325 | 25583438 | 36/ 0 | 1977897 | 0 | 3522.03/3522.07 c | 3348 | 28.3 | 0 | 57931 | 54 | 260 | 584160192 | 13460824 || 3348 | 25715052 | 36/ 0 | 1983665 | 0 | 3552.95/3553.00 c | 3388 | 30.9 | 0 | 58174 | 164 | 261 | 588406441 | 13582599 || 3388 | 25953954 | 36/ 0 | 2000595 | 0 | 3585.44/3585.45 c | 3439 | 32.5 | 0 | 60808 | 153 | 262 | 592870415 | 13699686 || 3439 | 26151976 | 36/ 0 | 2014268 | 0 | 3615.94/3615.98 c | 3452 | 30.5 | 0 | 61752 | 5321 | 263 | 597268333 | 13796451 || 3452 | 26348238 | 36/ 0 | 2029868 | 0 | 3648.34/3648.36 c | 3509 | 32.4 | 0 | 63159 | 235 | 264 | 601769381 | 13925370 || 3509 | 26574032 | 36/ 0 | 2044923 | 0 | 3681.04/3681.03 c | 3546 | 32.7 | 0 | 65742 | 2069 | 265 | 606316671 | 14039383 || 3546 | 26791248 | 36/ 0 | 2061270 | 0 | 3715.04/3715.02 c | 3579 | 34.0 | 0 | 67581 | 5811 | 266 | 610720246 | 14150290 || 3579 | 27012554 | 36/ 0 | 2080999 | 0 | 3743.36/3743.33 c | 3580 | 28.3 | 0 | 63979 | 4108 | 267 | 614453989 | 14236423 || 3580 | 27205048 | 36/ 0 | 2095491 | 0 | 3771.34/3771.34 c | 3581 | 28.0 | 0 | 63437 | 31309 | 268 | 618030796 | 14329907 || 3581 | 27445941 | 36/ 0 | 2123389 | 0 | 3801.24/3801.22 c | 3581 | 29.9 | 0 | 62101 | 20209 | 269 | 621336432 | 14385023 || 3581 | 27510306 | 36/ 0 | 2124012 | 0 | 3832.36/3832.32 c | 3627 | 31.1 | 0 | 70479 | 315 | 270 | 625744443 | 14499280 || 3627 | 27705621 | 36/ 0 | 2137047 | 0 | 3866.64/3866.68 c | 3673 | 34.3 | 0 | 73309 | 100 | 271 | 630873435 | 14623364 || 3673 | 27936789 | 36/ 0 | 2152742 | 0 | 3898.95/3898.96 c | 3708 | 32.3 | 0 | 75301 | 3228 | 272 | 635678818 | 14730140 || 3708 | 28156302 | 36/ 0 | 2174766 | 0 | 3935.54/3935.50 c | 3739 | 36.5 | 0 | 76928 | 469 | 273 | 640553156 | 14848239 || 3739 | 28369629 | 36/ 0 | 2184694 | 0 | 3974.15/3974.18 c | 3785 | 38.7 | 0 | 78537 | 367 | 274 | 645566581 | 14975372 || 3785 | 28596487 | 36/ 0 | 2200445 | 0 | 4012.34/4012.34 c | 3833 | 38.2 | 0 | 81067 | 1563 | 275 | 650086007 | 15100827 || 3833 | 28829553 | 36/ 0 | 2216198 | 0 | 4042.46/4042.46 c | 3836 | 30.1 | 0 | 72394 | 15159 | 276 | 653865818 | 15191459 || 3836 | 29064079 | 36/ 0 | 2240776 | 0 | 4073.36/4073.39 c | 3866 | 30.9 | 0 | 71781 | 409 | 277 | 658833936 | 15286375 || 3866 | 29212608 | 36/ 0 | 2248588 | 0 | 4110.14/4110.13 c | 3903 | 36.7 | 0 | 72355 | 33 | 278 | 663587105 | 15404758 || 3903 | 29433477 | 36/ 0 | 2263885 | 0 | 4149.95/4149.97 c | 3961 | 39.8 | 0 | 75107 | 1106 | 279 | 668468778 | 15538810 || 3961 | 29678337 | 36/ 0 | 2281746 | 0 | 4187.05/4187.00 c | 3978 | 37.0 | 0 | 75917 | 685 | 280 | 673016841 | 15634017 || 3978 | 29865954 | 36/ 0 | 2296197 | 0 | 4222.55/4222.52 c | 4026 | 35.5 | 0 | 77237 | 4283 | 281 | 677502420 | 15764200 || 4026 | 30119798 | 36/ 0 | 2314628 | 0 | 4262.46/4262.42 c | 4079 | 39.9 | 0 | 78860 | 393 | 282 | 682406774 | 15893005 || 4079 | 30347548 | 36/ 0 | 2329164 | 0 | 4298.15/4298.18 c | 4091 | 35.8 | 0 | 77542 | 8685 | 283 | 687151414 | 15984136 || 4091 | 30563198 | 36/ 0 | 2357141 | 0 | 4332.65/4332.60 c | 4092 | 34.4 | 0 | 73958 | 18287 | 284 | 691967967 | 16067109 || 4092 | 30771698 | 36/ 0 | 2384703 | 0 | 4371.36/4371.33 c | 4092 | 38.7 | 0 | 72514 | 8786 | 285 | 695954105 | 16158654 || 4092 | 30953938 | 36/ 0 | 2386324 | 0 | 4401.95/4401.93 c | 4093 | 30.6 | 0 | 69734 | 37788 | 286 | 701268999 | 16244826 || 4093 | 31196215 | 36/ 0 | 2439798 | 0 | 4442.97/4442.92 c | 4093 | 41.0 | 0 | 69592 | 29102 | 287 | 704436883 | 16370402 || 4093 | 31500774 | 36/ 0 | 2442614 | 0 | 4473.35/4473.38 c | 4093 | 30.5 | 0 | 69212 | 19291 | 288 | 709350944 | 16441140 || 4093 | 31603059 | 36/ 0 | 2443549 | 0 | 4505.15/4505.19 c | 4093 | 31.8 | 0 | 65292 | 48595 | 289 | 715142249 | 16481115 || 4093 | 31603059 | 36/ 0 | 2443549 | 0 | 4547.76/4547.79 c | 4094 | 42.6 | 0 | 59081 | 77997 | 290 | 717924187 | 16579067 || 4094 | 32042036 | 36/ 0 | 2550231 | 0 | 4612.38/4612.38 c | 4094 | 64.6 | 0 | 64305 | 29503 | 291 | 720293456 | 16675192 || 4094 | 32276478 | 36/ 0 | 2552262 | 0 | 4687.56/4687.55 c | 4094 | 75.2 | 0 | 67281 | 29602 | 292 | 722647686 | 16770938 || 4094 | 32508242 | 36/ 0 | 2554355 | 0 | 4767.76/4767.72 c | 4094 | 80.2 | 0 | 66566 | 13203 | 293 | 725775385 | 16839469 || 4094 | 32631724 | 36/ 0 | 2555468 | 0 | 4820.97/4820.95 c | 4094 | 53.2 | 0 | 60695 | 43005 | 294 | 730763673 | 16879145 || 4094 | 32631724 | 36/ 0 | 2555468 | 0 | 4860.99/4860.96 c | 4094 | 40.0 | 0 | 61530 | 72908 | 295 | 735892285 | 16920703 || 4094 | 32631724 | 36/ 0 | 2555468 | 0 | 4898.17/4898.14 c | 4095 | 37.2 | 0 | 58753 | 102909 | 296 | 740958555 | 16962398 || 4095 | 33051245 | 36/ 0 | 2764374 | 0 | 4937.88/4937.83 c | 4095 | 39.7 | 0 | 52787 | 30101 | 297 | 743939938 | 17084923 || 4095 | 33352624 | 36/ 0 | 2767105 | 0 | 4979.07/4979.03 c | 4095 | 41.2 | 0 | 59106 | 30202 | 298 | 746782048 | 17193727 || 4095 | 33624714 | 36/ 0 | 2769461 | 0 | 5000.08/5000.01 c | 4095 | 21.0 | 0 | 74278 | 15172 | 298 | 748146887 | 17242761 || 4095 | 33749234 | 36/ 0 | 2770571 | 0 | 5000.08/5000.01 c c 5000.08/5000.01 c ----------------------------------- 5000.08/5000.01 c # temps = 4998.170000 5000.08/5000.01 c # cleaningDB = 298 5000.08/5000.01 c # clause binaire = 571702 5000.08/5000.01 c # literal removed by litRedundant = 277925324 5000.08/5000.01 c # literal removed by litRedundantBin = 286918973 5000.08/5000.01 c # init clause removed by simplify = 0 5000.08/5000.01 c # learnt clause removed by simplify = 0 5000.08/5000.01 c # une clause fausse était une apprise = 0 5000.08/5000.01 c # equivalence dectecte = 0 5000.08/5000.01 c # Memory used : 155.22 MB 5000.08/5000.01 c 5000.08/5000.01 c ######################## 5000.08/5000.01 c #### ## ### ## #### 5000.08/5000.01 c #### #### # ## #### #### 5000.08/5000.01 c #### ## ### ## ### 5000.08/5000.01 c ######################## 5000.08/5000.01 c # restart = 4095 5000.08/5000.01 c # conflit = 4590073 5000.08/5000.01 c # decision = 17242761 5000.08/5000.01 c # propagation = 748146887 (149684.161803 (prop/sec)) 5000.08/5000.01 c 5000.08/5000.01 c ######################## 5000.08/5000.01 c ### ### # ## ## ## 5000.08/5000.01 c ### # # # #### # ### ### 5000.08/5000.01 c ### # ### ## # ### ### 5000.08/5000.01 c ######################## 5000.08/5000.01 c # numtry = 4095 5000.08/5000.01 c # numflips = 33749234 5000.08/5000.01 c # maxSat = 36 5000.08/5000.01 c # freeFlip = 4983799 5000.08/5000.01 c # nbBoundary = 0 5000.08/5000.01 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439685-1306936703/watcher-3439685-1306936703 -o /tmp/evaluation-result-3439685-1306936703/solver-3439685-1306936703 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439685-1306936703.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: 2.00 2.03 2.01 2/448 29023 /proc/meminfo: memFree=32222896/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 [startup+0.083541 s] /proc/loadavg: 2.00 2.03 2.01 2/448 29023 /proc/meminfo: memFree=32222896/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100537 s] /proc/loadavg: 2.00 2.03 2.01 2/448 29023 /proc/meminfo: memFree=32222896/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300504 s] /proc/loadavg: 2.00 2.03 2.01 2/448 29023 /proc/meminfo: memFree=32222896/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700429 s] /proc/loadavg: 2.00 2.03 2.01 2/448 29023 /proc/meminfo: memFree=32222896/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50034 s] /proc/loadavg: 2.00 2.03 2.01 3/450 29025 /proc/meminfo: memFree=32179856/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 805269086 8912896 253 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/29023/statm: 2176 253 211 178 0 69 0 [pid=29024] ppid=29023 vsize=51756 CPUtime=1.49 cores=0,2,4,6 /proc/29024/stat : 29024 (SatELite_releas) R 29023 29023 28728 0 -1 4202496 10573 0 0 0 148 1 0 0 25 0 1 0 805269086 52998144 10528 33554432000 134512640 135144242 4292344448 18446744073709551615 134588390 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/29024/statm: 12939 10528 77 155 0 12782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60460 [startup+3.10113 s] /proc/loadavg: 2.00 2.03 2.01 3/451 29027 /proc/meminfo: memFree=32206136/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=19532 CPUtime=1.16 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 3347 0 0 0 116 0 0 0 25 0 1 0 805269279 20000768 3258 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 4883 3258 135 12 0 3347 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 36940 [startup+6.30057 s] /proc/loadavg: 2.00 2.02 2.01 3/451 29027 /proc/meminfo: memFree=32195520/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=21512 CPUtime=4.36 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 3841 0 0 0 436 0 0 0 25 0 1 0 805269279 22028288 3752 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222359 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 5378 3752 135 12 0 3842 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38920 [startup+12.7004 s] /proc/loadavg: 2.08 2.04 2.02 3/451 29027 /proc/meminfo: memFree=32192496/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=23756 CPUtime=10.76 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 4415 0 0 0 1076 0 0 0 25 0 1 0 805269279 24326144 4326 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 5939 4326 135 12 0 4403 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 41164 [startup+25.5012 s] /proc/loadavg: 2.06 2.04 2.02 3/451 29027 /proc/meminfo: memFree=32189632/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=26324 CPUtime=23.55 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 5063 0 0 0 2355 0 0 0 25 0 1 0 805269279 26955776 4974 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 6581 4974 135 12 0 5045 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 43732 [startup+51.1006 s] /proc/loadavg: 2.04 2.03 2.01 3/451 29028 /proc/meminfo: memFree=32183856/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=31604 CPUtime=49.16 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 6386 0 0 0 4915 1 0 0 25 0 1 0 805269279 32362496 6297 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222368 0 0 4096 24578 0 0 0 17 6 0 0 0 /proc/29027/statm: 7901 6297 135 12 0 6365 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49012 [startup+102.317 s] /proc/loadavg: 2.02 2.03 2.01 3/451 29029 /proc/meminfo: memFree=32179008/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=34164 CPUtime=100.37 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 7010 0 0 0 10036 1 0 0 25 0 1 0 805269279 34983936 6920 33554432000 4194304 4241092 140734260663296 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 8541 6920 136 12 0 7005 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 51572 [startup+162.301 s] /proc/loadavg: 2.16 2.05 2.01 3/451 29040 /proc/meminfo: memFree=32172220/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=39388 CPUtime=160.35 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 8320 0 0 0 16034 1 0 0 25 0 1 0 805269279 40333312 8223 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 9847 8223 136 12 0 8311 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 56796 [startup+222.301 s] /proc/loadavg: 2.13 2.06 2.01 3/451 29042 /proc/meminfo: memFree=32166208/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=43704 CPUtime=220.36 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 9409 0 0 0 22034 2 0 0 25 0 1 0 805269279 44752896 9304 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222359 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 10926 9304 136 12 0 9390 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 61112 [startup+282.301 s] /proc/loadavg: 2.05 2.05 2.01 3/451 29081 /proc/meminfo: memFree=32187068/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=31987656/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=138984 CPUtime=4480.44 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 38222 0 0 0 448030 14 0 0 25 0 1 0 805269279 142319616 33127 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 34746 33127 136 12 0 33210 0 Current children cumulated CPU time (s) 4482.35 Current children cumulated vsize (KiB) 156392 [startup+4542.3 s] /proc/loadavg: 2.15 2.06 2.02 3/451 29228 /proc/meminfo: memFree=31985744/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=140396 CPUtime=4540.45 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 38637 0 0 0 454030 15 0 0 25 0 1 0 805269279 143765504 33486 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 35099 33486 136 12 0 33563 0 Current children cumulated CPU time (s) 4542.36 Current children cumulated vsize (KiB) 157804 [startup+4602.3 s] /proc/loadavg: 2.12 2.08 2.02 3/451 29229 /proc/meminfo: memFree=31983080/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=142260 CPUtime=4600.46 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 39161 0 0 0 460031 15 0 0 25 0 1 0 805269279 145674240 33954 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 35565 33954 136 12 0 34029 0 Current children cumulated CPU time (s) 4602.37 Current children cumulated vsize (KiB) 159668 [startup+4662.3 s] /proc/loadavg: 2.04 2.06 2.02 3/451 29231 /proc/meminfo: memFree=31979072/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=145988 CPUtime=4660.45 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 40116 0 0 0 466030 15 0 0 25 0 1 0 805269279 149491712 34872 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 36497 34872 136 12 0 34961 0 Current children cumulated CPU time (s) 4662.36 Current children cumulated vsize (KiB) 163396 [startup+4722.32 s] /proc/loadavg: 2.01 2.05 2.01 3/451 29234 /proc/meminfo: memFree=31972936/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=151712 CPUtime=4720.47 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 41587 0 0 0 472032 15 0 0 25 0 1 0 805269279 155353088 36304 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 37928 36304 136 12 0 36392 0 Current children cumulated CPU time (s) 4722.38 Current children cumulated vsize (KiB) 169120 [startup+4782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/451 29235 /proc/meminfo: memFree=31969292/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=154908 CPUtime=4780.45 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 42435 0 0 0 478029 16 0 0 25 0 1 0 805269279 158625792 37107 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 38727 37107 136 12 0 37191 0 Current children cumulated CPU time (s) 4782.36 Current children cumulated vsize (KiB) 172316 [startup+4842.3 s] /proc/loadavg: 2.00 2.03 2.00 3/451 29237 /proc/meminfo: memFree=31966404/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=157228 CPUtime=4840.46 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 43065 0 0 0 484029 17 0 0 25 0 1 0 805269279 161001472 37677 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 39307 37677 136 12 0 37771 0 Current children cumulated CPU time (s) 4842.37 Current children cumulated vsize (KiB) 174636 [startup+4902.3 s] /proc/loadavg: 2.00 2.02 2.00 3/451 29238 /proc/meminfo: memFree=31963500/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=158172 CPUtime=4900.46 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 43452 0 0 0 490029 17 0 0 25 0 1 0 805269279 161968128 37942 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 39543 37942 136 12 0 38007 0 Current children cumulated CPU time (s) 4902.37 Current children cumulated vsize (KiB) 175580 [startup+4962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/451 29240 /proc/meminfo: memFree=31964080/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=158688 CPUtime=4960.46 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 43622 0 0 0 496029 17 0 0 25 0 1 0 805269279 162496512 38051 33554432000 4194304 4241092 140734260663296 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 39672 38051 136 12 0 38136 0 Current children cumulated CPU time (s) 4962.37 Current children cumulated vsize (KiB) 176096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.01 2.00 3/451 29241 /proc/meminfo: memFree=31963436/32950928 swapFree=34365992/67111528 [pid=29023] ppid=29021 vsize=8704 CPUtime=1.91 cores=0,2,4,6 /proc/29023/stat : 29023 (esg_static.sh) S 29021 29023 28728 0 -1 4202496 348 10575 0 0 0 0 189 2 18 0 1 0 805269086 8912896 256 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594866432 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0 /proc/29023/statm: 2176 256 211 178 0 69 0 [pid=29026] ppid=29023 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/29026/stat : 29026 (esg_static.sh) S 29023 29023 28728 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 805269279 8912896 135 33554432000 4194304 4922060 140735486902352 18446744073709551615 235594685573 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29026/statm: 2176 135 90 178 0 69 0 [pid=29027] ppid=29026 vsize=158940 CPUtime=4998.17 cores=0,2,4,6 /proc/29027/stat : 29027 (sathys) R 29026 29023 28728 0 -1 4202496 43717 0 0 0 499800 17 0 0 25 0 1 0 805269279 162754560 38112 33554432000 4194304 4241092 140734260663296 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/29027/statm: 39735 38112 136 12 0 38199 0 Current children cumulated CPU time (s) 5000.08 Current children cumulated vsize (KiB) 176348 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 29023 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=898711 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=29995 # CPU time returned by wait4() is 1.92871 # while last known CPU time is 5000.08 # # 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.08 CPU user time (s): 4999.89 CPU system time (s): 0.19 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 176412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.89871 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11089 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= 12 runsolver used 23.0315 second user time and 49.7384 second system time The end
Begin job on node120 at 2011-06-01 15:58:23 IDJOB=3439685 IDBENCH=88204 IDSOLVER=1935 FILE ID=node120/3439685-1306936703 RUNJOBID= node120-1306931279-28746 PBS_JOBID= 13488594 Free space on /tmp= 73924 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439685-1306936703/watcher-3439685-1306936703 -o /tmp/evaluation-result-3439685-1306936703/solver-3439685-1306936703 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439685-1306936703.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303 RANDOM SEED=409921492 node120.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.809 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.61 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.809 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.809 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.809 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.78 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.809 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.809 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.809 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32223176 kB Buffers: 161956 kB Cached: 213676 kB SwapCached: 12852 kB Active: 184000 kB Inactive: 253076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32223176 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 8588 kB Writeback: 0 kB AnonPages: 58572 kB Mapped: 9308 kB Slab: 129968 kB PageTables: 91324 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 105430776 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= 73920 MiB End job on node120 at 2011-06-01 17:21:45