| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1299.99 | 1300.02 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf |
| MD5SUM | 811f95ba5a9b338808c76dfc6ace0a83 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 12.1901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4999 |
| Number of clauses | 21000 |
| Sum of the clauses size | 63000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 21000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189660-1302706074.cnf 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 21000 63000 | 6299 0 0 nan | 0.000 % | 0.00/0.03 c | 0 | 20877 63344 | -- 0 -- -- | -- | -123/344 0.00/0.03 c ============================================================================== 0.00/0.03 c Result : #vars: 4876 #clauses: 20877 #literals: 63344 0.00/0.03 c CPU time: 0.030995 s 0.00/0.03 c ============================================================================== 0.00/0.07 c 0.00/0.07 c seed = 0, numatom = 4876, numclause = 20877, numliterals = 63344 0.00/0.07 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.07 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.07 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.04/0.12 c | 2 | 0.0 | 0 | 501 | 197 | 1 | 152682 | 3095 || 2 | 8218 | 475/ 475 | 257 | 0 | 0.04/0.16 c | 4 | 0.1 | 0 | 718 | 291 | 2 | 339387 | 6269 || 4 | 15137 | 475/ 475 | 593 | 0 | 0.04/0.22 c | 6 | 0.1 | 0 | 934 | 183 | 3 | 564985 | 9699 || 6 | 21239 | 450/ 450 | 939 | 0 | 0.04/0.28 c | 7 | 0.1 | 0 | 1192 | 382 | 4 | 826486 | 12192 || 7 | 26634 | 362/ 362 | 1361 | 0 | 0.04/0.36 c | 11 | 0.1 | 0 | 1415 | 278 | 5 | 1108819 | 17077 || 11 | 37033 | 362/ 362 | 1932 | 0 | 0.04/0.44 c | 14 | 0.1 | 0 | 1687 | 479 | 6 | 1427362 | 22316 || 14 | 48173 | 362/ 362 | 2710 | 0 | 0.04/0.52 c | 15 | 0.1 | 0 | 1981 | 978 | 7 | 1757865 | 26088 || 15 | 57336 | 293/ 293 | 3583 | 0 | 0.04/0.62 c | 16 | 0.1 | 0 | 2225 | 66 | 8 | 2140551 | 29325 || 16 | 61631 | 293/ 293 | 3707 | 0 | 0.04/0.73 c | 21 | 0.1 | 0 | 2348 | 55 | 9 | 2554241 | 36486 || 21 | 76326 | 293/ 293 | 4493 | 0 | 0.04/0.85 c | 25 | 0.1 | 0 | 2574 | 149 | 10 | 2999132 | 42655 || 25 | 89335 | 293/ 293 | 5379 | 0 | 0.04/0.97 c | 29 | 0.1 | 0 | 2776 | 544 | 11 | 3468730 | 49909 || 29 | 105918 | 293/ 293 | 6270 | 0 | 1.08/1.10 c | 30 | 0.1 | 0 | 3000 | 336 | 12 | 3965893 | 54710 || 30 | 115529 | 278/ 278 | 7146 | 0 | 1.18/1.25 c | 31 | 0.1 | 0 | 3198 | 2037 | 13 | 4472044 | 59680 || 31 | 130066 | 200/ 200 | 8853 | 0 | 1.38/1.41 c | 31 | 0.2 | 0 | 3437 | 1435 | 14 | 5060448 | 63241 || 31 | 133025 | 200/ 200 | 8871 | 0 | 1.48/1.58 c | 38 | 0.2 | 0 | 3516 | 325 | 15 | 5662324 | 72843 || 38 | 153331 | 200/ 200 | 10212 | 0 | 1.68/1.74 c | 44 | 0.2 | 0 | 3665 | 221 | 16 | 6287030 | 82219 || 44 | 173363 | 200/ 200 | 11133 | 0 | 1.88/1.92 c | 46 | 0.2 | 0 | 3954 | 222 | 17 | 6952735 | 89289 || 46 | 189147 | 200/ 200 | 12443 | 0 | 2.08/2.11 c | 53 | 0.2 | 0 | 4187 | 219 | 18 | 7643566 | 98846 || 53 | 207446 | 200/ 200 | 13791 | 0 | 2.28/2.31 c | 59 | 0.2 | 0 | 4460 | 113 | 19 | 8353925 | 109053 || 59 | 228659 | 200/ 200 | 14735 | 0 | 2.48/2.51 c | 61 | 0.2 | 0 | 4814 | 712 | 20 | 9113572 | 115850 || 61 | 244155 | 200/ 200 | 16043 | 0 | 2.68/2.73 c | 62 | 0.2 | 0 | 5058 | 812 | 21 | 9879512 | 123310 || 62 | 263516 | 200/ 200 | 17791 | 0 | 2.88/2.98 c | 63 | 0.2 | 0 | 5264 | 3418 | 22 | 10685461 | 129940 || 63 | 283725 | 154/ 154 | 21136 | 0 | 3.18/3.26 c | 63 | 0.3 | 0 | 5412 | 1319 | 23 | 11498097 | 136724 || 63 | 294727 | 154/ 154 | 21226 | 0 | 3.48/3.54 c | 67 | 0.3 | 0 | 5430 | 15 | 24 | 12405537 | 144540 || 67 | 305833 | 154/ 154 | 21793 | 0 | 3.78/3.80 c | 76 | 0.3 | 0 | 5411 | 0 | 25 | 13311770 | 157780 || 76 | 333844 | 154/ 154 | 23471 | 0 | 3.98/4.07 c | 80 | 0.3 | 0 | 5677 | 98 | 26 | 14213533 | 167950 || 80 | 354900 | 154/ 154 | 25013 | 0 | 4.28/4.36 c | 90 | 0.3 | 0 | 5920 | 191 | 27 | 15203221 | 182621 || 90 | 387062 | 154/ 154 | 26808 | 0 | 4.58/4.64 c | 94 | 0.3 | 0 | 6240 | 1084 | 28 | 16167178 | 193113 || 94 | 412369 | 154/ 154 | 29983 | 0 | 4.88/4.95 c | 96 | 0.3 | 0 | 6665 | 83 | 29 | 17211367 | 201951 || 96 | 427960 | 154/ 154 | 30265 | 0 | 5.18/5.27 c | 107 | 0.3 | 0 | 6878 | 263 | 30 | 18277992 | 218132 || 107 | 462327 | 154/ 154 | 32252 | 0 | 5.58/5.60 c | 113 | 0.3 | 0 | 7183 | 246 | 31 | 19362847 | 230288 || 113 | 488351 | 154/ 154 | 34115 | 0 | 5.88/5.95 c | 123 | 0.3 | 0 | 7307 | 20 | 32 | 20503078 | 247134 || 123 | 524597 | 154/ 154 | 36242 | 0 | 6.28/6.31 c | 125 | 0.4 | 0 | 7628 | 119 | 33 | 21624999 | 257907 || 125 | 552725 | 154/ 154 | 38842 | 0 | 6.58/6.68 c | 126 | 0.4 | 0 | 7755 | 3921 | 34 | 22782300 | 267461 || 126 | 578159 | 154/ 154 | 42220 | 0 | 6.98/7.09 c | 126 | 0.4 | 0 | 8036 | 3020 | 35 | 24013148 | 274406 || 126 | 585080 | 154/ 154 | 42271 | 0 | 7.48/7.55 c | 127 | 0.5 | 0 | 8018 | 7027 | 36 | 25192964 | 286742 || 127 | 627345 | 109/ 109 | 48986 | 0 | 7.98/8.06 c | 127 | 0.5 | 0 | 8278 | 1527 | 37 | 26414493 | 296352 || 127 | 646326 | 109/ 109 | 49116 | 0 | 8.48/8.56 c | 127 | 0.5 | 0 | 8098 | 5729 | 38 | 27789607 | 302062 || 127 | 646326 | 109/ 109 | 49116 | 0 | 8.98/9.00 c | 140 | 0.4 | 0 | 8049 | 104 | 39 | 29158607 | 320834 || 140 | 683453 | 109/ 109 | 51386 | 0 | 9.37/9.42 c | 148 | 0.4 | 0 | 8209 | 181 | 40 | 30537719 | 336598 || 148 | 717345 | 109/ 109 | 53622 | 0 | 9.78/9.86 c | 157 | 0.4 | 0 | 8652 | 461 | 41 | 31937422 | 354366 || 157 | 756263 | 109/ 109 | 56282 | 0 | 10.27/10.33 c | 163 | 0.5 | 0 | 9074 | 154 | 42 | 33372509 | 368597 || 163 | 786824 | 109/ 109 | 58692 | 0 | 10.77/10.80 c | 173 | 0.5 | 0 | 9533 | 126 | 43 | 34824610 | 388039 || 173 | 829340 | 109/ 109 | 61550 | 0 | 11.17/11.29 c | 187 | 0.5 | 0 | 9989 | 305 | 44 | 36310270 | 409356 || 187 | 873859 | 109/ 109 | 64221 | 0 | 11.67/11.79 c | 189 | 0.5 | 0 | 10619 | 1003 | 45 | 37873549 | 422342 || 189 | 902394 | 109/ 109 | 66823 | 0 | 12.28/12.35 c | 190 | 0.6 | 0 | 10563 | 1204 | 46 | 39364473 | 434850 || 190 | 934896 | 109/ 109 | 70237 | 0 | 12.88/12.92 c | 200 | 0.6 | 0 | 10508 | 86 | 47 | 40993478 | 452709 || 200 | 966826 | 109/ 109 | 72043 | 0 | 13.37/13.47 c | 212 | 0.5 | 0 | 10574 | 466 | 48 | 42615121 | 473715 || 212 | 1012590 | 109/ 109 | 75138 | 0 | 13.97/14.02 c | 221 | 0.6 | 0 | 10884 | 1554 | 49 | 44266526 | 492670 || 221 | 1056930 | 109/ 109 | 79041 | 0 | 14.57/14.60 c | 231 | 0.6 | 0 | 11100 | 244 | 50 | 45970512 | 511246 || 231 | 1093283 | 109/ 109 | 80899 | 0 | 15.07/15.17 c | 243 | 0.6 | 0 | 11149 | 4 | 51 | 47681308 | 533582 || 243 | 1140801 | 109/ 109 | 84012 | 0 | 15.67/15.74 c | 252 | 0.6 | 0 | 11629 | 1989 | 52 | 49410865 | 553566 || 252 | 1188644 | 109/ 109 | 87960 | 0 | 16.27/16.35 c | 253 | 0.6 | 0 | 12237 | 488 | 53 | 51157391 | 568681 || 253 | 1225031 | 109/ 109 | 91414 | 0 | 16.97/17.03 c | 254 | 0.7 | 0 | 12179 | 6290 | 54 | 52905962 | 582943 || 254 | 1262850 | 109/ 109 | 98116 | 0 | 17.77/17.84 c | 254 | 0.8 | 0 | 12305 | 2591 | 55 | 54689160 | 597309 || 254 | 1289204 | 109/ 109 | 98311 | 0 | 18.58/18.69 c | 255 | 0.8 | 0 | 12313 | 8593 | 56 | 56551921 | 609127 || 255 | 1327232 | 93/ 93 | 111396 | 0 | 19.48/19.54 c | 255 | 0.9 | 0 | 11548 | 6103 | 57 | 58270935 | 626975 || 255 | 1374349 | 93/ 93 | 111741 | 0 | 20.47/20.59 c | 255 | 1.0 | 0 | 11532 | 1695 | 58 | 60095437 | 641633 || 255 | 1406557 | 93/ 93 | 111967 | 0 | 21.47/21.51 c | 255 | 0.9 | 0 | 10994 | 7996 | 59 | 62182655 | 649727 || 255 | 1406557 | 93/ 93 | 111967 | 0 | 22.37/22.42 c | 261 | 0.9 | 0 | 10908 | 191 | 60 | 64323819 | 664750 || 261 | 1424323 | 93/ 93 | 112896 | 0 | 23.08/23.14 c | 277 | 0.7 | 0 | 10543 | 261 | 61 | 66334392 | 691415 || 277 | 1484068 | 93/ 93 | 116858 | 0 | 23.77/23.85 c | 286 | 0.7 | 0 | 11428 | 235 | 62 | 68380363 | 715910 || 286 | 1541873 | 93/ 93 | 120839 | 0 | 24.47/24.60 c | 301 | 0.8 | 0 | 12118 | 906 | 63 | 70509856 | 741358 || 301 | 1595017 | 93/ 93 | 124379 | 0 | 25.28/25.35 c | 316 | 0.8 | 0 | 13068 | 75 | 64 | 72622421 | 769524 || 316 | 1655637 | 93/ 93 | 127951 | 0 | 26.07/26.15 c | 318 | 0.8 | 0 | 13776 | 4572 | 65 | 74770939 | 787886 || 318 | 1702415 | 93/ 93 | 133076 | 0 | 26.87/26.96 c | 330 | 0.8 | 0 | 14650 | 52 | 66 | 76964968 | 810218 || 330 | 1739648 | 93/ 93 | 135138 | 0 | 27.77/27.80 c | 347 | 0.8 | 0 | 14745 | 421 | 67 | 79170412 | 838726 || 347 | 1802316 | 93/ 93 | 139347 | 0 | 28.58/28.63 c | 356 | 0.8 | 0 | 14981 | 412 | 68 | 81435796 | 861919 || 356 | 1852434 | 93/ 93 | 143296 | 0 | 29.37/29.47 c | 373 | 0.9 | 0 | 15207 | 182 | 69 | 83726948 | 891439 || 373 | 1913760 | 93/ 93 | 147125 | 0 | 30.27/30.36 c | 381 | 0.9 | 0 | 15534 | 2072 | 70 | 85974336 | 914511 || 381 | 1969243 | 93/ 93 | 154104 | 0 | 31.17/31.29 c | 382 | 0.9 | 0 | 15600 | 4768 | 71 | 88271513 | 932680 || 382 | 2015370 | 93/ 93 | 160817 | 0 | 32.27/32.33 c | 382 | 1.0 | 0 | 15843 | 2767 | 72 | 90550895 | 952144 || 382 | 2055429 | 93/ 93 | 161102 | 0 | 33.27/33.38 c | 396 | 1.1 | 0 | 15724 | 253 | 73 | 92981565 | 976943 || 396 | 2098429 | 93/ 93 | 163796 | 0 | 34.27/34.33 c | 412 | 0.9 | 0 | 15288 | 1013 | 74 | 95423183 | 1007549 || 412 | 2166392 | 93/ 93 | 168260 | 0 | 35.18/35.27 c | 426 | 0.9 | 0 | 15728 | 189 | 75 | 97893218 | 1036430 || 426 | 2225229 | 93/ 93 | 172265 | 0 | 36.18/36.23 c | 443 | 1.0 | 0 | 15910 | 871 | 76 | 100358796 | 1067523 || 443 | 2292948 | 93/ 93 | 177113 | 0 | 37.17/37.20 c | 445 | 1.0 | 0 | 16471 | 571 | 77 | 102840927 | 1089040 || 445 | 2344031 | 93/ 93 | 182295 | 0 | 38.17/38.22 c | 460 | 1.0 | 0 | 16874 | 1141 | 78 | 105433243 | 1117085 || 460 | 2398044 | 93/ 93 | 185856 | 0 | 39.17/39.24 c | 476 | 1.0 | 0 | 17677 | 1808 | 79 | 108048311 | 1148884 || 476 | 2467784 | 93/ 93 | 191113 | 0 | 40.17/40.30 c | 491 | 1.0 | 0 | 18005 | 573 | 80 | 110662165 | 1179327 || 491 | 2529424 | 93/ 93 | 194723 | 0 | 41.27/41.36 c | 507 | 1.1 | 0 | 18062 | 242 | 81 | 113346961 | 1211617 || 507 | 2600000 | 93/ 93 | 199985 | 0 | 42.37/42.45 c | 509 | 1.1 | 0 | 18153 | 4043 | 82 | 116066547 | 1231733 || 509 | 2650081 | 93/ 93 | 209950 | 0 | 43.67/43.73 c | 509 | 1.3 | 0 | 18096 | 3141 | 83 | 118783646 | 1253537 || 509 | 2693108 | 93/ 93 | 210251 | 0 | 44.98/45.05 c | 510 | 1.3 | 0 | 18316 | 11943 | 84 | 121531304 | 1273667 || 510 | 2753777 | 90/ 90 | 223508 | 0 | 46.57/46.69 c | 510 | 1.6 | 0 | 17847 | 1643 | 85 | 124242422 | 1296454 || 510 | 2803420 | 90/ 90 | 223857 | 0 | 48.07/48.15 c | 510 | 1.5 | 0 | 17200 | 10644 | 86 | 127194232 | 1308065 || 510 | 2803420 | 90/ 90 | 223857 | 0 | 49.57/49.65 c | 511 | 1.5 | 0 | 17333 | 19747 | 87 | 129829794 | 1334036 || 511 | 2898893 | 57/ 57 | 250239 | 0 | 51.88/51.98 c | 511 | 2.3 | 0 | 16597 | 9206 | 88 | 132277198 | 1362184 || 511 | 2965890 | 57/ 57 | 250704 | 0 | 54.38/54.47 c | 511 | 2.5 | 0 | 16731 | 9301 | 89 | 134853628 | 1389443 || 511 | 3033748 | 57/ 57 | 251170 | 0 | 55.78/55.84 c | 511 | 1.4 | 0 | 14940 | 9259 | 90 | 137960358 | 1402627 || 511 | 3034772 | 57/ 57 | 251179 | 0 | 57.58/57.64 c | 511 | 1.8 | 0 | 15698 | 18761 | 91 | 141029063 | 1414855 || 511 | 3034772 | 57/ 57 | 251179 | 0 | 59.38/59.44 c | 520 | 1.8 | 0 | 16044 | 41 | 92 | 144078303 | 1436818 || 520 | 3060655 | 57/ 57 | 252759 | 0 | 60.58/60.67 c | 541 | 1.2 | 0 | 15652 | 399 | 93 | 147113156 | 1475743 || 541 | 3143707 | 57/ 57 | 258306 | 0 | 61.78/61.87 c | 557 | 1.2 | 0 | 16651 | 580 | 94 | 150175835 | 1511408 || 557 | 3219225 | 57/ 57 | 263611 | 0 | 63.08/63.11 c | 574 | 1.2 | 0 | 18249 | 1655 | 95 | 153237195 | 1546119 || 574 | 3298157 | 57/ 57 | 272186 | 0 | 64.38/64.47 c | 587 | 1.4 | 0 | 19245 | 127 | 96 | 156354267 | 1578676 || 587 | 3362517 | 57/ 57 | 274571 | 0 | 65.78/65.80 c | 605 | 1.3 | 0 | 20092 | 1696 | 97 | 159474825 | 1616844 || 605 | 3448059 | 57/ 57 | 281178 | 0 | 67.08/67.18 c | 626 | 1.4 | 0 | 21629 | 44 | 98 | 162694367 | 1655694 || 626 | 3525773 | 57/ 57 | 285663 | 0 | 68.47/68.56 c | 637 | 1.4 | 0 | 21369 | 3725 | 99 | 165857201 | 1688846 || 637 | 3606552 | 57/ 57 | 293427 | 0 | 70.18/70.20 c | 638 | 1.6 | 0 | 21702 | 9323 | 100 | 168941715 | 1714953 || 638 | 3672727 | 57/ 57 | 300292 | 0 | 71.87/71.94 c | 651 | 1.7 | 0 | 21412 | 0 | 101 | 172384567 | 1743020 || 651 | 3715816 | 57/ 57 | 302565 | 0 | 73.37/73.40 c | 669 | 1.5 | 0 | 20750 | 2356 | 102 | 175675518 | 1782047 || 669 | 3805024 | 57/ 57 | 309194 | 0 | 74.78/74.83 c | 693 | 1.4 | 0 | 21135 | 102 | 103 | 179037938 | 1822732 || 693 | 3885820 | 57/ 57 | 314202 | 0 | 76.27/76.31 c | 701 | 1.5 | 0 | 21427 | 588 | 104 | 182390537 | 1856438 || 701 | 3967377 | 57/ 57 | 321463 | 0 | 77.77/77.85 c | 723 | 1.5 | 0 | 21493 | 464 | 105 | 185809951 | 1894611 || 723 | 4044237 | 57/ 57 | 326376 | 0 | 79.27/79.37 c | 743 | 1.5 | 0 | 21935 | 213 | 106 | 189198679 | 1935081 || 743 | 4129364 | 57/ 57 | 332228 | 0 | 80.87/80.91 c | 763 | 1.5 | 0 | 22860 | 2277 | 107 | 192637809 | 1977489 || 763 | 4225380 | 57/ 57 | 339190 | 0 | 82.38/82.45 c | 765 | 1.5 | 0 | 23586 | 6272 | 108 | 196110075 | 2005362 || 765 | 4295912 | 57/ 57 | 349309 | 0 | 84.17/84.20 c | 766 | 1.8 | 0 | 23384 | 7972 | 109 | 199609019 | 2029782 || 766 | 4356449 | 57/ 57 | 362597 | 0 | 86.37/86.42 c | 766 | 2.2 | 0 | 23094 | 168 | 110 | 202830977 | 2061395 || 766 | 4437768 | 57/ 57 | 363142 | 0 | 88.17/88.22 c | 766 | 1.8 | 0 | 22499 | 11669 | 111 | 206586056 | 2076478 || 766 | 4437768 | 57/ 57 | 363142 | 0 | 89.87/89.95 c | 795 | 1.7 | 0 | 22233 | 212 | 112 | 210253927 | 2123514 || 795 | 4535144 | 57/ 57 | 369418 | 0 | 91.57/91.61 c | 812 | 1.7 | 0 | 22275 | 474 | 113 | 213880131 | 2162993 || 812 | 4620409 | 57/ 57 | 375610 | 0 | 93.27/93.30 c | 829 | 1.7 | 0 | 22468 | 3454 | 114 | 217516558 | 2202584 || 829 | 4710663 | 57/ 57 | 384255 | 0 | 94.97/95.05 c | 848 | 1.8 | 0 | 23279 | 9 | 115 | 221213938 | 2242664 || 848 | 4787308 | 57/ 57 | 388436 | 0 | 96.78/96.80 c | 871 | 1.8 | 0 | 23691 | 265 | 116 | 224989827 | 2287160 || 871 | 4882219 | 57/ 57 | 395071 | 0 | 98.47/98.53 c | 891 | 1.7 | 0 | 24949 | 924 | 117 | 228747949 | 2331761 || 891 | 4978246 | 57/ 57 | 402015 | 0 | 100.37/100.40 c | 893 | 1.9 | 0 | 26091 | 8325 | 118 | 232393307 | 2363809 || 893 | 5059027 | 57/ 57 | 412221 | 0 | 102.37/102.47 c | 907 | 2.1 | 0 | 25897 | 204 | 119 | 236355292 | 2398047 || 907 | 5113701 | 57/ 57 | 414968 | 0 | 104.27/104.32 c | 928 | 1.8 | 0 | 25326 | 67 | 120 | 240204187 | 2442247 || 928 | 5207229 | 57/ 57 | 421736 | 0 | 106.07/106.18 c | 955 | 1.9 | 0 | 25759 | 1418 | 121 | 244105583 | 2491121 || 955 | 5314269 | 57/ 57 | 430050 | 0 | 107.97/108.05 c | 968 | 1.9 | 0 | 26350 | 95 | 122 | 247993427 | 2529000 || 968 | 5393423 | 57/ 57 | 435581 | 0 | 109.88/109.93 c | 989 | 1.9 | 0 | 26180 | 165 | 123 | 251925931 | 2573369 || 989 | 5487022 | 57/ 57 | 442632 | 0 | 111.77/111.89 c | 1018 | 2.0 | 0 | 26385 | 1013 | 124 | 255960318 | 2625063 || 1018 | 5597321 | 57/ 57 | 451182 | 0 | 113.67/113.79 c | 1020 | 1.9 | 0 | 27581 | 6716 | 125 | 259873994 | 2657520 || 1020 | 5679982 | 57/ 57 | 461406 | 0 | 115.87/115.98 c | 1021 | 2.2 | 0 | 27766 | 10116 | 126 | 263768803 | 2686425 || 1021 | 5750989 | 57/ 57 | 474763 | 0 | 118.57/118.66 c | 1021 | 2.7 | 0 | 27108 | 4017 | 127 | 267501001 | 2719714 || 1021 | 5820185 | 57/ 57 | 475196 | 0 | 121.07/121.12 c | 1022 | 2.5 | 0 | 26025 | 17218 | 128 | 271614062 | 2744952 || 1022 | 5893722 | 43/ 43 | 501392 | 0 | 124.37/124.48 c | 1022 | 3.4 | 0 | 25977 | 13306 | 129 | 275440255 | 2783618 || 1022 | 5990612 | 43/ 43 | 502101 | 0 | 128.16/128.20 c | 1022 | 3.7 | 0 | 25888 | 5520 | 130 | 279453173 | 2813932 || 1022 | 6043384 | 43/ 43 | 502494 | 0 | 130.97/131.06 c | 1022 | 2.9 | 0 | 23680 | 19021 | 131 | 283777427 | 2832211 || 1022 | 6043384 | 43/ 43 | 502494 | 0 | 133.67/133.70 c | 1023 | 2.6 | 0 | 23153 | 32622 | 132 | 287889591 | 2863858 || 1023 | 6175631 | 38/ 38 | 554855 | 0 | 137.48/137.54 c | 1023 | 3.8 | 0 | 23232 | 13701 | 133 | 291760688 | 2908748 || 1023 | 6278610 | 38/ 38 | 555538 | 0 | 143.77/143.81 c | 1023 | 6.3 | 0 | 24098 | 13807 | 134 | 295382972 | 2950875 || 1023 | 6377268 | 38/ 38 | 556237 | 0 | 150.07/150.12 c | 1023 | 6.3 | 0 | 24254 | 13901 | 135 | 299060241 | 2992318 || 1023 | 6474390 | 38/ 38 | 556932 | 0 | 152.87/152.99 c | 1023 | 2.9 | 0 | 21261 | 11233 | 136 | 303453355 | 3015467 || 1023 | 6494004 | 38/ 38 | 557061 | 0 | 155.87/155.95 c | 1023 | 3.0 | 0 | 21610 | 25339 | 137 | 307738035 | 3034345 || 1023 | 6494004 | 38/ 38 | 557061 | 0 | 159.97/160.06 c | 1023 | 4.1 | 0 | 23089 | 39540 | 138 | 312094234 | 3052829 || 1023 | 6494004 | 38/ 38 | 557061 | 0 | 163.37/163.45 c | 1032 | 3.4 | 0 | 22852 | 131 | 139 | 316515251 | 3080972 || 1032 | 6521550 | 38/ 38 | 558634 | 0 | 165.57/165.60 c | 1058 | 2.2 | 0 | 21361 | 86 | 140 | 321052114 | 3134961 || 1058 | 6636662 | 38/ 38 | 566498 | 0 | 167.57/167.70 c | 1085 | 2.1 | 0 | 23625 | 1027 | 141 | 325564002 | 3189968 || 1085 | 6754752 | 38/ 38 | 574813 | 0 | 169.87/169.92 c | 1106 | 2.2 | 0 | 25338 | 94 | 142 | 330140930 | 3239092 || 1106 | 6858444 | 38/ 38 | 582512 | 0 | 172.17/172.20 c | 1132 | 2.3 | 0 | 26271 | 641 | 143 | 334740589 | 3292292 || 1132 | 6971513 | 38/ 38 | 590703 | 0 | 174.37/174.45 c | 1149 | 2.2 | 0 | 28659 | 1823 | 144 | 339244070 | 3340982 || 1149 | 7079668 | 38/ 38 | 599470 | 0 | 176.98/177.01 c | 1153 | 2.6 | 0 | 30592 | 115 | 145 | 343834382 | 3377821 || 1153 | 7151294 | 38/ 38 | 606804 | 0 | 179.47/179.50 c | 1181 | 2.5 | 0 | 29768 | 1257 | 146 | 348502468 | 3434174 || 1181 | 7270242 | 38/ 38 | 615227 | 0 | 181.97/182.00 c | 1212 | 2.5 | 0 | 30227 | 298 | 147 | 353179761 | 3492732 || 1212 | 7397332 | 38/ 38 | 624123 | 0 | 184.47/184.55 c | 1233 | 2.6 | 0 | 30791 | 161 | 148 | 357956630 | 3541740 || 1233 | 7497451 | 38/ 38 | 631824 | 0 | 187.07/187.13 c | 1261 | 2.6 | 0 | 31048 | 10 | 149 | 362741161 | 3599297 || 1261 | 7617121 | 38/ 38 | 640235 | 0 | 189.57/189.67 c | 1276 | 2.5 | 0 | 31286 | 2894 | 150 | 367515195 | 3645774 || 1276 | 7718232 | 38/ 38 | 648731 | 0 | 192.27/192.34 c | 1278 | 2.7 | 0 | 31755 | 8793 | 151 | 372241870 | 3682242 || 1278 | 7818612 | 38/ 38 | 668712 | 0 | 195.68/195.75 c | 1278 | 3.4 | 0 | 32203 | 5193 | 152 | 376881512 | 3721471 || 1278 | 7892320 | 38/ 38 | 669247 | 0 | 198.87/198.97 c | 1300 | 3.2 | 0 | 31343 | 261 | 153 | 381876252 | 3765558 || 1300 | 7965347 | 38/ 38 | 674115 | 0 | 201.57/201.68 c | 1330 | 2.7 | 0 | 30469 | 296 | 154 | 386843369 | 3823655 || 1330 | 8087897 | 38/ 38 | 682544 | 0 | 204.27/204.38 c | 1347 | 2.7 | 0 | 30729 | 151 | 155 | 391842805 | 3871188 || 1347 | 8190927 | 38/ 38 | 691274 | 0 | 206.97/207.04 c | 1378 | 2.7 | 0 | 30366 | 106 | 156 | 396763114 | 3931459 || 1378 | 8316330 | 38/ 38 | 700119 | 0 | 209.67/209.75 c | 1404 | 2.7 | 0 | 31073 | 2850 | 157 | 401819484 | 3989192 || 1404 | 8447072 | 38/ 38 | 711369 | 0 | 212.47/212.53 c | 1405 | 2.8 | 0 | 32275 | 4641 | 158 | 406998159 | 4025293 || 1405 | 8518640 | 38/ 38 | 718271 | 0 | 215.37/215.41 c | 1436 | 2.9 | 0 | 33300 | 84 | 159 | 412080539 | 4086323 || 1436 | 8647289 | 38/ 38 | 727139 | 0 | 218.17/218.28 c | 1467 | 2.9 | 0 | 33585 | 417 | 160 | 417207061 | 4147811 || 1467 | 8777982 | 38/ 38 | 736051 | 0 | 221.08/221.17 c | 1491 | 2.9 | 0 | 34039 | 462 | 161 | 422333896 | 4203964 || 1491 | 8893782 | 38/ 38 | 744506 | 0 | 224.07/224.16 c | 1524 | 3.0 | 0 | 34700 | 0 | 162 | 427548263 | 4266459 || 1524 | 9025113 | 38/ 38 | 753706 | 0 | 226.87/226.94 c | 1532 | 2.8 | 0 | 35052 | 6886 | 163 | 432609809 | 4310090 || 1532 | 9135124 | 38/ 38 | 767255 | 0 | 230.17/230.24 c | 1533 | 3.3 | 0 | 35256 | 14087 | 164 | 437542471 | 4349422 || 1533 | 9233691 | 38/ 38 | 780787 | 0 | 233.77/233.88 c | 1533 | 3.6 | 0 | 35990 | 11787 | 165 | 442716357 | 4380283 || 1533 | 9271574 | 38/ 38 | 781049 | 0 | 238.37/238.43 c | 1534 | 4.6 | 0 | 34485 | 28789 | 166 | 447515092 | 4430041 || 1534 | 9428799 | 38/ 38 | 807871 | 0 | 243.87/243.95 c | 1534 | 5.5 | 0 | 34208 | 7484 | 167 | 452632738 | 4468086 || 1534 | 9495973 | 38/ 38 | 808339 | 0 | 248.67/248.73 c | 1534 | 4.8 | 0 | 32620 | 24685 | 168 | 458219151 | 4490599 || 1534 | 9495973 | 38/ 38 | 808339 | 0 | 251.88/251.96 c | 1567 | 3.2 | 0 | 30610 | 23 | 169 | 463718923 | 4555007 || 1567 | 9629263 | 38/ 38 | 817478 | 0 | 254.87/254.96 c | 1597 | 3.0 | 0 | 30390 | 3281 | 170 | 469140505 | 4617732 || 1597 | 9770513 | 38/ 38 | 829445 | 0 | 257.97/258.02 c | 1627 | 3.0 | 0 | 31794 | 732 | 171 | 474629185 | 4678807 || 1627 | 9891116 | 38/ 38 | 836724 | 0 | 261.07/261.16 c | 1659 | 3.1 | 0 | 32815 | 2271 | 172 | 480148129 | 4744850 || 1659 | 10038712 | 38/ 38 | 847337 | 0 | 264.27/264.38 c | 1661 | 3.2 | 0 | 35026 | 3168 | 173 | 485544891 | 4786506 || 1661 | 10133488 | 38/ 38 | 857582 | 0 | 267.67/267.71 c | 1692 | 3.3 | 0 | 36062 | 104 | 174 | 491141106 | 4848508 || 1692 | 10258895 | 38/ 38 | 866448 | 0 | 270.87/270.96 c | 1724 | 3.2 | 0 | 37713 | 1923 | 175 | 496768735 | 4911321 || 1724 | 10394043 | 38/ 38 | 878561 | 0 | 274.27/274.37 c | 1754 | 3.4 | 0 | 37543 | 1068 | 176 | 502365013 | 4974662 || 1754 | 10525902 | 38/ 38 | 885843 | 0 | 277.67/277.80 c | 1786 | 3.4 | 0 | 37928 | 1904 | 177 | 508051603 | 5041176 || 1786 | 10670108 | 38/ 38 | 896395 | 0 | 281.17/281.21 c | 1788 | 3.4 | 0 | 38209 | 3298 | 178 | 513557867 | 5083674 || 1788 | 10766305 | 38/ 38 | 906628 | 0 | 285.37/285.48 c | 1789 | 4.3 | 0 | 38292 | 2399 | 179 | 518859711 | 5127649 || 1789 | 10882128 | 38/ 38 | 920259 | 0 | 289.37/289.41 c | 1810 | 3.9 | 0 | 38149 | 166 | 180 | 524587102 | 5175893 || 1810 | 10955262 | 38/ 38 | 924735 | 0 | 292.87/292.94 c | 1848 | 3.5 | 0 | 37355 | 198 | 181 | 530356054 | 5245914 || 1848 | 11104096 | 38/ 38 | 934924 | 0 | 296.27/296.38 c | 1868 | 3.4 | 0 | 37768 | 75 | 182 | 536089614 | 5303284 || 1868 | 11230443 | 38/ 38 | 945076 | 0 | 299.87/299.96 c | 1908 | 3.6 | 0 | 38130 | 113 | 183 | 541932733 | 5374568 || 1908 | 11384076 | 38/ 38 | 955539 | 0 | 303.37/303.40 c | 1916 | 3.4 | 0 | 38548 | 8800 | 184 | 547682851 | 5427304 || 1916 | 11517662 | 38/ 38 | 969319 | 0 | 307.07/307.15 c | 1946 | 3.8 | 0 | 39715 | 836 | 185 | 553725134 | 5488289 || 1946 | 11629214 | 38/ 38 | 976486 | 0 | 310.77/310.84 c | 1978 | 3.7 | 0 | 40842 | 173 | 186 | 559628129 | 5557564 || 1978 | 11780321 | 38/ 38 | 987128 | 0 | 314.58/314.64 c | 2009 | 3.8 | 0 | 41387 | 416 | 187 | 565647208 | 5622494 || 2009 | 11915100 | 38/ 38 | 997711 | 0 | 318.27/318.36 c | 2041 | 3.7 | 0 | 41504 | 2348 | 188 | 571603281 | 5691447 || 2041 | 12065413 | 38/ 38 | 1008371 | 0 | 321.97/322.09 c | 2043 | 3.7 | 0 | 42016 | 4843 | 189 | 577564020 | 5735962 || 2043 | 12158492 | 38/ 38 | 1018623 | 0 | 326.58/326.66 c | 2044 | 4.6 | 0 | 41563 | 5043 | 190 | 583423695 | 5784688 || 2044 | 12276568 | 38/ 38 | 1032270 | 0 | 331.47/331.59 c | 2045 | 4.9 | 0 | 41643 | 24547 | 191 | 589331468 | 5831230 || 2045 | 12405914 | 38/ 38 | 1058883 | 0 | 337.87/337.96 c | 2045 | 6.4 | 0 | 40408 | 5738 | 192 | 595113484 | 5878663 || 2045 | 12502056 | 38/ 38 | 1059526 | 0 | 343.87/343.93 c | 2045 | 6.0 | 0 | 38426 | 25442 | 193 | 601504618 | 5903531 || 2045 | 12502056 | 38/ 38 | 1059526 | 0 | 349.57/349.68 c | 2046 | 5.7 | 0 | 35387 | 45247 | 194 | 607127596 | 5963578 || 2046 | 12725145 | 38/ 38 | 1112473 | 0 | 359.58/359.69 c | 2046 | 10.0 | 0 | 34943 | 19901 | 195 | 612478720 | 6020828 || 2046 | 12861699 | 38/ 38 | 1113441 | 0 | 367.77/367.85 c | 2046 | 8.1 | 0 | 34778 | 8347 | 196 | 618266699 | 6065102 || 2046 | 12939823 | 38/ 38 | 1113990 | 0 | 373.47/373.54 c | 2046 | 5.7 | 0 | 31729 | 28448 | 197 | 624934124 | 6091119 || 2046 | 12939823 | 38/ 38 | 1113990 | 0 | 379.38/379.41 c | 2046 | 5.9 | 0 | 32580 | 48650 | 198 | 631477801 | 6117448 || 2046 | 12939823 | 38/ 38 | 1113990 | 0 | 385.07/385.15 c | 2047 | 5.8 | 0 | 31269 | 68951 | 199 | 637428144 | 6170203 || 2047 | 13202873 | 22/ 22 | 1218723 | 0 | 393.47/393.56 c | 2047 | 8.4 | 0 | 31164 | 20403 | 200 | 643194315 | 6225741 || 2047 | 13335753 | 22/ 22 | 1219689 | 0 | 405.27/405.32 c | 2047 | 11.8 | 0 | 34201 | 20502 | 201 | 648664265 | 6280278 || 2047 | 13461797 | 22/ 22 | 1220637 | 0 | 419.38/419.41 c | 2047 | 14.1 | 0 | 35426 | 20601 | 202 | 654003578 | 6332875 || 2047 | 13583457 | 22/ 22 | 1221510 | 0 | 432.28/432.33 c | 2047 | 12.9 | 0 | 35962 | 20701 | 203 | 659361803 | 6388256 || 2047 | 13710794 | 22/ 22 | 1222467 | 0 | 439.18/439.26 c | 2047 | 6.9 | 0 | 32755 | 18358 | 204 | 665881596 | 6418742 || 2047 | 13725180 | 22/ 22 | 1222582 | 0 | 446.18/446.24 c | 2047 | 7.0 | 0 | 31819 | 39260 | 205 | 672489448 | 6445342 || 2047 | 13725180 | 22/ 22 | 1222582 | 0 | 452.98/453.06 c | 2047 | 6.8 | 0 | 30975 | 60262 | 206 | 679341091 | 6472330 || 2047 | 13725180 | 22/ 22 | 1222582 | 0 | 459.78/459.85 c | 2047 | 6.8 | 0 | 32301 | 81364 | 207 | 686127460 | 6499072 || 2047 | 13725180 | 22/ 22 | 1222582 | 0 | 466.48/466.50 c | 2048 | 6.6 | 0 | 33118 | 64 | 208 | 692855371 | 6527212 || 2048 | 13727446 | 22/ 22 | 1222701 | 0 | 470.48/470.53 c | 2093 | 4.0 | 0 | 30313 | 976 | 209 | 699559584 | 6611368 || 2093 | 13907907 | 22/ 22 | 1235044 | 0 | 474.28/474.39 c | 2124 | 3.9 | 0 | 33469 | 517 | 210 | 706251286 | 6682139 || 2124 | 14059719 | 22/ 22 | 1246487 | 0 | 478.38/478.47 c | 2167 | 4.1 | 0 | 35789 | 12 | 211 | 712970918 | 6763592 || 2167 | 14230332 | 22/ 22 | 1258163 | 0 | 482.38/482.48 c | 2174 | 4.0 | 0 | 39217 | 2506 | 212 | 719584347 | 6819209 || 2174 | 14358913 | 22/ 22 | 1271748 | 0 | 486.88/486.93 c | 2212 | 4.5 | 0 | 41790 | 345 | 213 | 726461977 | 6893686 || 2212 | 14506677 | 22/ 22 | 1281990 | 0 | 491.28/491.30 c | 2242 | 4.4 | 0 | 44079 | 189 | 214 | 733197155 | 6964483 || 2242 | 14660054 | 22/ 22 | 1293650 | 0 | 495.98/496.06 c | 2286 | 4.8 | 0 | 43382 | 184 | 215 | 740111846 | 7047636 || 2286 | 14834350 | 22/ 22 | 1305838 | 0 | 500.58/500.64 c | 2301 | 4.6 | 0 | 43771 | 56 | 216 | 746766625 | 7112947 || 2301 | 14994812 | 22/ 22 | 1320928 | 0 | 505.88/505.91 c | 2302 | 5.3 | 0 | 43743 | 2953 | 217 | 753777455 | 7164023 || 2302 | 15106128 | 22/ 22 | 1334603 | 0 | 511.28/511.31 c | 2332 | 5.4 | 0 | 42897 | 308 | 218 | 761092852 | 7227154 || 2332 | 15214788 | 22/ 22 | 1341771 | 0 | 515.88/515.94 c | 2365 | 4.6 | 0 | 43203 | 4142 | 219 | 768054746 | 7303861 || 2365 | 15387541 | 22/ 22 | 1355749 | 0 | 520.67/520.74 c | 2404 | 4.8 | 0 | 43709 | 467 | 220 | 775169027 | 7382394 || 2404 | 15543512 | 22/ 22 | 1366053 | 0 | 525.27/525.34 c | 2429 | 4.6 | 0 | 43964 | 5718 | 221 | 782059580 | 7453849 || 2429 | 15710658 | 22/ 22 | 1383502 | 0 | 530.18/530.27 c | 2459 | 4.9 | 0 | 44154 | 235 | 222 | 788939639 | 7524541 || 2459 | 15846190 | 22/ 22 | 1390842 | 0 | 534.97/535.07 c | 2492 | 4.8 | 0 | 44818 | 4460 | 223 | 796029624 | 7602270 || 2492 | 16022359 | 22/ 22 | 1404876 | 0 | 539.98/540.02 c | 2533 | 4.9 | 0 | 47036 | 183 | 224 | 803152034 | 7681600 || 2533 | 16181047 | 22/ 22 | 1415533 | 0 | 544.87/544.94 c | 2556 | 4.9 | 0 | 47179 | 6837 | 225 | 810228779 | 7754700 || 2556 | 16356424 | 22/ 22 | 1432749 | 0 | 550.37/550.48 c | 2557 | 5.5 | 0 | 47532 | 1033 | 226 | 816979875 | 7811741 || 2557 | 16495150 | 22/ 22 | 1446503 | 0 | 556.17/556.23 c | 2558 | 5.8 | 0 | 45888 | 24137 | 227 | 823916751 | 7860773 || 2558 | 16618930 | 22/ 22 | 1473112 | 0 | 562.77/562.88 c | 2558 | 6.7 | 0 | 44911 | 8938 | 228 | 830926838 | 7913988 || 2558 | 16720407 | 22/ 22 | 1473846 | 0 | 569.27/569.40 c | 2575 | 6.5 | 0 | 44532 | 112 | 229 | 838581679 | 7963490 || 2575 | 16778970 | 22/ 22 | 1477660 | 0 | 574.37/574.49 c | 2620 | 5.1 | 0 | 42075 | 1915 | 230 | 845847789 | 8053269 || 2620 | 16975918 | 22/ 22 | 1491678 | 0 | 579.37/579.46 c | 2652 | 5.0 | 0 | 42674 | 549 | 231 | 853157191 | 8129880 || 2652 | 17136861 | 22/ 22 | 1503976 | 0 | 584.27/584.32 c | 2685 | 4.9 | 0 | 43369 | 3276 | 232 | 860511667 | 8205910 || 2685 | 17307432 | 22/ 22 | 1522715 | 0 | 589.37/589.50 c | 2714 | 5.2 | 0 | 44926 | 126 | 233 | 867899816 | 8282047 || 2714 | 17457729 | 22/ 22 | 1529322 | 0 | 594.47/594.56 c | 2748 | 5.0 | 0 | 46945 | 4259 | 234 | 875259070 | 8363657 || 2748 | 17640444 | 22/ 22 | 1544240 | 0 | 599.97/600.00 c | 2793 | 5.5 | 0 | 49776 | 250 | 235 | 882771008 | 8449485 || 2793 | 17813971 | 22/ 22 | 1555830 | 0 | 605.07/605.17 c | 2812 | 5.2 | 0 | 50522 | 8812 | 236 | 890104704 | 8521770 || 2812 | 17984731 | 22/ 22 | 1572238 | 0 | 610.57/610.62 c | 2813 | 5.4 | 0 | 50360 | 4109 | 237 | 897546124 | 8577664 || 2813 | 18109027 | 22/ 22 | 1585939 | 0 | 616.57/616.61 c | 2844 | 6.0 | 0 | 50094 | 1041 | 238 | 905291225 | 8648902 || 2844 | 18240247 | 22/ 22 | 1594866 | 0 | 622.07/622.12 c | 2882 | 5.5 | 0 | 49772 | 168 | 239 | 912906443 | 8730585 || 2882 | 18413656 | 22/ 22 | 1608032 | 0 | 627.87/627.95 c | 2932 | 5.8 | 0 | 50453 | 147 | 240 | 920621170 | 8825285 || 2932 | 18612606 | 22/ 22 | 1621355 | 0 | 633.07/633.18 c | 2940 | 5.2 | 0 | 51237 | 5227 | 241 | 927957916 | 8885673 || 2940 | 18747688 | 22/ 22 | 1635132 | 0 | 639.08/639.13 c | 2990 | 5.9 | 0 | 50949 | 32 | 242 | 935661352 | 8977546 || 2990 | 18938208 | 22/ 22 | 1648131 | 0 | 644.77/644.88 c | 3028 | 5.8 | 0 | 51847 | 160 | 243 | 943383403 | 9060722 || 3028 | 19112141 | 22/ 22 | 1661609 | 0 | 650.57/650.68 c | 3066 | 5.8 | 0 | 53193 | 3902 | 244 | 951152480 | 9145985 || 3066 | 19302936 | 22/ 22 | 1677347 | 0 | 656.47/656.54 c | 3068 | 5.9 | 0 | 53826 | 14402 | 245 | 958835218 | 9206080 || 3068 | 19451928 | 22/ 22 | 1697645 | 0 | 663.47/663.58 c | 3069 | 7.0 | 0 | 53372 | 20201 | 246 | 966502637 | 9258875 || 3069 | 19581283 | 22/ 22 | 1724203 | 0 | 671.87/671.96 c | 3069 | 8.4 | 0 | 51250 | 6900 | 247 | 973583156 | 9320123 || 3069 | 19709647 | 22/ 22 | 1725132 | 0 | 678.68/678.75 c | 3070 | 6.8 | 0 | 49863 | 32103 | 248 | 981275670 | 9365870 || 3070 | 19840234 | 22/ 22 | 1777426 | 0 | 688.77/688.81 c | 3070 | 10.0 | 0 | 47969 | 25304 | 249 | 988016355 | 9437122 || 3070 | 20015134 | 22/ 22 | 1778684 | 0 | 701.88/701.97 c | 3070 | 13.2 | 0 | 47807 | 6008 | 250 | 994858442 | 9496855 || 3070 | 20139740 | 22/ 22 | 1779570 | 0 | 709.58/709.65 c | 3070 | 7.7 | 0 | 41566 | 31509 | 251 | 1003177004 | 9529688 || 3070 | 20139740 | 22/ 22 | 1779570 | 0 | 717.88/717.97 c | 3085 | 8.3 | 0 | 42171 | 287 | 252 | 1011363769 | 9580290 || 3085 | 20194605 | 22/ 22 | 1783132 | 0 | 723.48/723.58 c | 3132 | 5.6 | 0 | 40935 | 1093 | 253 | 1019344665 | 9674145 || 3132 | 20394274 | 22/ 22 | 1797240 | 0 | 729.08/729.11 c | 3174 | 5.5 | 0 | 43667 | 127 | 254 | 1027405950 | 9763951 || 3174 | 20587178 | 22/ 22 | 1811337 | 0 | 734.58/734.60 c | 3197 | 5.5 | 0 | 45668 | 9495 | 255 | 1035466704 | 9847527 || 3197 | 20782670 | 22/ 22 | 1828748 | 0 | 740.58/740.61 c | 3240 | 6.0 | 0 | 48880 | 103 | 256 | 1043603770 | 9933269 || 3240 | 20945036 | 22/ 22 | 1839577 | 0 | 746.48/746.59 c | 3278 | 6.0 | 0 | 51524 | 12 | 257 | 1051747493 | 10021310 || 3278 | 21132486 | 22/ 22 | 1853986 | 0 | 752.88/752.90 c | 3323 | 6.3 | 0 | 54592 | 2718 | 258 | 1059951362 | 10114817 || 3323 | 21340297 | 22/ 22 | 1870987 | 0 | 758.98/759.08 c | 3325 | 6.2 | 0 | 54664 | 14618 | 259 | 1067956302 | 10179103 || 3325 | 21502570 | 22/ 22 | 1891380 | 0 | 766.18/766.28 c | 3348 | 7.2 | 0 | 53855 | 62 | 260 | 1076381085 | 10247296 || 3348 | 21614668 | 22/ 22 | 1896600 | 0 | 772.68/772.78 c | 3388 | 6.5 | 0 | 52656 | 182 | 261 | 1084639044 | 10339724 || 3388 | 21820712 | 22/ 22 | 1912797 | 0 | 779.28/779.31 c | 3439 | 6.5 | 0 | 53998 | 182 | 262 | 1092996721 | 10435694 || 3439 | 22015358 | 22/ 22 | 1925907 | 0 | 785.18/785.30 c | 3452 | 6.0 | 0 | 54402 | 5352 | 263 | 1101201996 | 10505810 || 3452 | 22172462 | 22/ 22 | 1940869 | 0 | 792.08/792.12 c | 3509 | 6.8 | 0 | 54749 | 254 | 264 | 1109585448 | 10608346 || 3509 | 22388497 | 22/ 22 | 1955268 | 0 | 798.49/798.59 c | 3546 | 6.5 | 0 | 55133 | 2091 | 265 | 1117826183 | 10697771 || 3546 | 22586022 | 22/ 22 | 1970913 | 0 | 804.98/805.04 c | 3579 | 6.5 | 0 | 57041 | 5825 | 266 | 1126284067 | 10782832 || 3579 | 22779515 | 22/ 22 | 1989872 | 0 | 812.58/812.61 c | 3580 | 7.6 | 0 | 58484 | 4120 | 267 | 1134410785 | 10844444 || 3580 | 22918978 | 22/ 22 | 2003640 | 0 | 820.88/820.93 c | 3581 | 8.3 | 0 | 57396 | 31324 | 268 | 1142409731 | 10910648 || 3581 | 23092311 | 22/ 22 | 2030551 | 0 | 831.18/831.25 c | 3581 | 10.3 | 0 | 56008 | 20224 | 269 | 1151021612 | 10957408 || 3581 | 23140514 | 22/ 22 | 2030897 | 0 | 838.78/838.85 c | 3627 | 7.6 | 0 | 53596 | 352 | 270 | 1159611970 | 11049454 || 3627 | 23324056 | 22/ 22 | 2043315 | 0 | 845.48/845.59 c | 3673 | 6.7 | 0 | 52006 | 163 | 271 | 1168186534 | 11145633 || 3673 | 23528515 | 22/ 22 | 2058289 | 0 | 851.98/852.04 c | 3708 | 6.5 | 0 | 52557 | 3286 | 272 | 1176834742 | 11234509 || 3708 | 23727128 | 22/ 22 | 2079716 | 0 | 858.78/858.84 c | 3739 | 6.8 | 0 | 52942 | 517 | 273 | 1185335780 | 11320524 || 3739 | 23898196 | 22/ 22 | 2088863 | 0 | 865.38/865.48 c | 3785 | 6.6 | 0 | 55328 | 427 | 274 | 1193953082 | 11415501 || 3785 | 24099594 | 22/ 22 | 2103731 | 0 | 872.38/872.47 c | 3834 | 7.0 | 0 | 58149 | 1625 | 275 | 1202658978 | 11516757 || 3834 | 24316189 | 22/ 22 | 2121980 | 0 | 879.48/879.56 c | 3836 | 7.1 | 0 | 61178 | 15223 | 276 | 1211095743 | 11583668 || 3836 | 24486370 | 22/ 22 | 2142455 | 0 | 887.48/887.60 c | 3866 | 8.0 | 0 | 60484 | 479 | 277 | 1219797238 | 11659877 || 3866 | 24619107 | 22/ 22 | 2149745 | 0 | 894.68/894.71 c | 3903 | 7.1 | 0 | 58802 | 93 | 278 | 1228583703 | 11750831 || 3903 | 24810352 | 22/ 22 | 2164298 | 0 | 902.18/902.23 c | 3961 | 7.5 | 0 | 59211 | 1187 | 279 | 1237463865 | 11859997 || 3961 | 25045777 | 22/ 22 | 2181436 | 0 | 909.27/909.34 c | 3978 | 7.1 | 0 | 60343 | 761 | 280 | 1246215707 | 11933605 || 3978 | 25200335 | 22/ 22 | 2195329 | 0 | 916.68/916.73 c | 4026 | 7.4 | 0 | 59960 | 4375 | 281 | 1255031175 | 12034907 || 4026 | 25426705 | 22/ 22 | 2212853 | 0 | 924.38/924.40 c | 4080 | 7.7 | 0 | 60274 | 473 | 282 | 1263956880 | 12137305 || 4080 | 25636135 | 22/ 22 | 2226688 | 0 | 931.48/931.57 c | 4091 | 7.2 | 0 | 62445 | 8746 | 283 | 1272784177 | 12208828 || 4091 | 25813348 | 22/ 22 | 2253877 | 0 | 939.18/939.30 c | 4092 | 7.7 | 0 | 62199 | 18347 | 284 | 1281522954 | 12273875 || 4092 | 25970392 | 22/ 22 | 2280701 | 0 | 948.78/948.87 c | 4092 | 9.6 | 0 | 61178 | 8847 | 285 | 1290045747 | 12345778 || 4092 | 26119816 | 22/ 22 | 2281707 | 0 | 957.78/957.86 c | 4093 | 9.0 | 0 | 59103 | 37850 | 286 | 1298851604 | 12403317 || 4093 | 26291228 | 22/ 22 | 2334323 | 0 | 975.08/975.10 c | 4093 | 17.2 | 0 | 58920 | 29106 | 287 | 1306372162 | 12481484 || 4093 | 26486178 | 22/ 22 | 2335663 | 0 | 989.99/990.06 c | 4093 | 15.0 | 0 | 56774 | 19355 | 288 | 1315180931 | 12533653 || 4093 | 26551267 | 22/ 22 | 2336134 | 0 | 1002.78/1002.85 c | 4093 | 12.8 | 0 | 51649 | 48659 | 289 | 1324382045 | 12571423 || 4093 | 26551267 | 22/ 22 | 2336134 | 0 | 1012.78/1012.89 c | 4094 | 10.1 | 0 | 47699 | 78060 | 290 | 1332437678 | 12652775 || 4094 | 26895671 | 22/ 22 | 2441418 | 0 | 1030.29/1030.37 c | 4094 | 17.5 | 0 | 48175 | 29504 | 291 | 1339810531 | 12733461 || 4094 | 27096328 | 22/ 22 | 2442841 | 0 | 1050.58/1050.66 c | 4094 | 20.3 | 0 | 48610 | 29601 | 292 | 1346811228 | 12811793 || 4094 | 27283893 | 22/ 22 | 2444249 | 0 | 1065.38/1065.42 c | 4094 | 14.8 | 0 | 47611 | 13259 | 293 | 1355215377 | 12872573 || 4094 | 27391633 | 22/ 22 | 2444985 | 0 | 1076.48/1076.51 c | 4094 | 11.1 | 0 | 44608 | 43060 | 294 | 1364840013 | 12910256 || 4094 | 27391633 | 22/ 22 | 2444985 | 0 | 1088.58/1088.62 c | 4094 | 12.1 | 0 | 47894 | 72961 | 295 | 1374454139 | 12947879 || 4094 | 27391633 | 22/ 22 | 2444985 | 0 | 1098.98/1099.08 c | 4095 | 10.5 | 0 | 44130 | 102964 | 296 | 1383894102 | 12988102 || 4095 | 27689180 | 22/ 22 | 2652811 | 0 | 1110.99/1111.09 c | 4095 | 12.0 | 0 | 43654 | 30101 | 297 | 1392520318 | 13074861 || 4095 | 27898763 | 22/ 22 | 2654258 | 0 | 1126.48/1126.51 c | 4095 | 15.4 | 0 | 47323 | 30210 | 298 | 1401122278 | 13160643 || 4095 | 28104118 | 22/ 22 | 2655731 | 0 | 1150.99/1151.00 c | 4095 | 24.5 | 0 | 50954 | 30305 | 299 | 1409211295 | 13243583 || 4095 | 28294329 | 22/ 22 | 2657140 | 0 | 1176.89/1176.94 c | 4095 | 25.9 | 0 | 48401 | 30402 | 300 | 1417289639 | 13326660 || 4095 | 28486841 | 22/ 22 | 2658530 | 0 | 1205.98/1206.09 c | 4095 | 29.1 | 0 | 50733 | 30501 | 301 | 1425297279 | 13408276 || 4095 | 28672396 | 22/ 22 | 2659944 | 0 | 1239.08/1239.14 c | 4095 | 33.0 | 0 | 51378 | 30603 | 302 | 1433022689 | 13488141 || 4095 | 28850888 | 22/ 22 | 2661304 | 0 | 1266.68/1266.72 c | 4095 | 27.6 | 0 | 47981 | 8587 | 303 | 1441349749 | 13555667 || 4095 | 28976587 | 22/ 22 | 2662268 | 0 | 1282.08/1282.11 c | 4095 | 15.4 | 0 | 40454 | 39389 | 304 | 1451291886 | 13595025 || 4095 | 28976587 | 22/ 22 | 2662268 | 0 | 1295.79/1295.88 c | 4095 | 13.8 | 0 | 44884 | 70292 | 305 | 1461107911 | 13633964 || 4095 | 28976587 | 22/ 22 | 2662268 | 0 | 1299.99/1300.00 c | 4095 | 4.1 | 0 | 53401 | 78810 | 305 | 1463813843 | 13644438 || 4095 | 28976587 | 22/ 22 | 2662268 | 0 | 1299.99/1300.00 c c 1299.99/1300.00 c ----------------------------------- 1299.99/1300.00 c # temps = 1299.950000 1299.99/1300.00 c # cleaningDB = 305 1299.99/1300.00 c # clause binaire = 0 1299.99/1300.00 c # literal removed by litRedundant = 82532173 1299.99/1300.00 c # literal removed by litRedundantBin = 0 1299.99/1300.00 c # init clause removed by simplify = 0 1299.99/1300.00 c # learnt clause removed by simplify = 0 1299.99/1300.00 c # une clause fausse était une apprise = 0 1299.99/1300.00 c # equivalence dectecte = 0 1299.99/1300.00 c # Memory used : 113.54 MB 1299.99/1300.00 c 1299.99/1300.00 c ######################## 1299.99/1300.00 c #### ## ### ## #### 1299.99/1300.00 c #### #### # ## #### #### 1299.99/1300.00 c #### ## ### ## ### 1299.99/1300.00 c ######################## 1299.99/1300.00 c # restart = 4095 1299.99/1300.00 c # conflit = 4797675 1299.99/1300.00 c # decision = 13644438 1299.99/1300.00 c # propagation = 1463813843 (1126053.958229 (prop/sec)) 1299.99/1300.00 c 1299.99/1300.00 c ######################## 1299.99/1300.00 c ### ### # ## ## ## 1299.99/1300.00 c ### # # # #### # ### ### 1299.99/1300.00 c ### # ### ## # ### ### 1299.99/1300.00 c ######################## 1299.99/1300.00 c # numtry = 4095 1299.99/1300.00 c # numflips = 28976587 1299.99/1300.00 c # maxSat = 22 1299.99/1300.00 c # freeFlip = 4072190 1299.99/1300.00 c # nbBoundary = 0 1299.99/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-3189660-1302706074/watcher-3189660-1302706074 -o /tmp/evaluation-result-3189660-1302706074/solver-3189660-1302706074 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189660-1302706074.cnf rnovelty running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/176 16779 /proc/meminfo: memFree=29716700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 382210219 8912896 253 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16779/statm: 2176 253 211 178 0 69 0 [startup+0.0904079 s] /proc/loadavg: 2.00 2.00 2.00 4/176 16779 /proc/meminfo: memFree=29716700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.10037 s] /proc/loadavg: 2.00 2.00 2.00 4/176 16779 /proc/meminfo: memFree=29716700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.300373 s] /proc/loadavg: 2.00 2.00 2.00 4/176 16779 /proc/meminfo: memFree=29716700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+0.700353 s] /proc/loadavg: 2.00 2.00 2.00 4/176 16779 /proc/meminfo: memFree=29716700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8704 [startup+1.50118 s] /proc/loadavg: 2.16 2.03 2.01 5/198 16818 /proc/meminfo: memFree=29653080/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=16344 CPUtime=1.44 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 2530 0 0 0 144 0 0 0 25 0 1 0 382210224 16736256 2441 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 4086 2441 136 12 0 2550 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33752 [startup+3.1009 s] /proc/loadavg: 2.16 2.03 2.01 5/198 16818 /proc/meminfo: memFree=29648492/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=17400 CPUtime=3.04 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 2798 0 0 0 304 0 0 0 25 0 1 0 382210224 17817600 2709 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 4350 2709 136 12 0 2814 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34808 [startup+6.30034 s] /proc/loadavg: 2.16 2.03 2.01 5/198 16818 /proc/meminfo: memFree=29641792/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=18380 CPUtime=6.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 3055 0 0 0 624 0 0 0 25 0 1 0 382210224 18821120 2966 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 4595 2966 136 12 0 3059 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35788 [startup+12.7012 s] /proc/loadavg: 2.52 2.11 2.04 5/198 16818 /proc/meminfo: memFree=29633296/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=21284 CPUtime=12.64 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 3782 0 0 0 1264 0 0 0 25 0 1 0 382210224 21794816 3693 33554432000 4194304 4241092 140736224600464 18446744073709551615 4221567 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 5321 3693 136 12 0 3785 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38692 [startup+25.5009 s] /proc/loadavg: 2.75 2.18 2.06 5/198 16818 /proc/meminfo: memFree=29621956/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=25560 CPUtime=25.43 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 4880 0 0 0 2543 0 0 0 25 0 1 0 382210224 26173440 4773 33554432000 4194304 4241092 140736224600464 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 6390 4773 136 12 0 4854 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42968 [startup+51.1004 s] /proc/loadavg: 3.17 2.32 2.11 5/198 16819 /proc/meminfo: memFree=29600028/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=31412 CPUtime=51.03 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 6390 0 0 0 5103 0 0 0 25 0 1 0 382210224 32165888 6212 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 7853 6212 136 12 0 6317 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48820 [startup+102.307 s] /proc/loadavg: 3.67 2.60 2.21 5/198 16820 /proc/meminfo: memFree=29573036/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=35920 CPUtime=102.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 7762 0 0 0 10223 1 0 0 25 0 1 0 382210224 36782080 7352 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 8980 7352 136 12 0 7444 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 53328 [startup+162.301 s] /proc/loadavg: 3.88 2.85 2.32 5/198 16822 /proc/meminfo: memFree=29547520/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=53560 CPUtime=162.23 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 12443 0 0 0 16221 2 0 0 25 0 1 0 382210224 54845440 11761 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 13390 11761 136 12 0 11854 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 70968 [startup+222.301 s] /proc/loadavg: 3.95 3.06 2.42 5/198 16824 /proc/meminfo: memFree=29529700/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=53656 CPUtime=222.23 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 12848 0 0 0 22220 3 0 0 25 0 1 0 382210224 54943744 11779 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 13414 11779 136 12 0 11878 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 71064 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29424780/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=85692 CPUtime=762.25 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 23689 0 0 0 76218 7 0 0 25 0 1 0 382210224 87748608 19777 33554432000 4194304 4241092 140736224600464 18446744073709551615 4227965 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 21423 19777 136 12 0 19887 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 103100 [startup+822.301 s] /proc/loadavg: 4.00 3.87 3.16 5/198 16849 /proc/meminfo: memFree=29419140/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=85820 CPUtime=822.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 24032 0 0 0 82217 7 0 0 25 0 1 0 382210224 87879680 19814 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 21455 19814 136 12 0 19919 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 103228 [startup+882.301 s] /proc/loadavg: 4.07 3.91 3.21 5/198 16850 /proc/meminfo: memFree=29392284/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=85992 CPUtime=882.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 24453 0 0 0 88217 7 0 0 25 0 1 0 382210224 88055808 19865 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 21498 19865 136 12 0 19962 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 103400 [startup+942.3 s] /proc/loadavg: 4.02 3.92 3.26 5/198 16855 /proc/meminfo: memFree=29375428/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=85992 CPUtime=942.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 24799 0 0 0 94217 7 0 0 25 0 1 0 382210224 88055808 19867 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 21498 19867 136 12 0 19962 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 103400 [startup+1002.3 s] /proc/loadavg: 4.01 3.93 3.30 5/198 16856 /proc/meminfo: memFree=29355824/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=97976 CPUtime=1002.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 27988 0 0 0 100215 9 0 0 25 0 1 0 382210224 100327424 22863 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 24494 22863 136 12 0 22958 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 115384 [startup+1062.3 s] /proc/loadavg: 4.00 3.94 3.34 5/198 16858 /proc/meminfo: memFree=29336192/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=100768 CPUtime=1062.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 28876 0 0 0 106214 10 0 0 25 0 1 0 382210224 103186432 23548 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 25192 23548 136 12 0 23656 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 118176 [startup+1122.3 s] /proc/loadavg: 4.00 3.95 3.38 5/198 16860 /proc/meminfo: memFree=29334752/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=100768 CPUtime=1122.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 29122 0 0 0 112214 10 0 0 25 0 1 0 382210224 103186432 23546 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 25192 23546 136 12 0 23656 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 118176 [startup+1182.3 s] /proc/loadavg: 4.03 3.97 3.42 5/198 16861 /proc/meminfo: memFree=29323896/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=110888 CPUtime=1182.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 31815 0 0 0 118213 11 0 0 25 0 1 0 382210224 113549312 26106 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 27722 26106 136 12 0 26186 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 128296 [startup+1242.3 s] /proc/loadavg: 4.01 3.97 3.46 5/198 16863 /proc/meminfo: memFree=29320480/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=113452 CPUtime=1242.24 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 32528 0 0 0 124213 11 0 0 25 0 1 0 382210224 116174848 26731 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 28363 26731 136 12 0 26827 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 130860 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.04 3.99 3.49 5/198 16864 /proc/meminfo: memFree=29316056/32951124 swapFree=67051388/67111528 [pid=16779] ppid=16777 vsize=8704 CPUtime=0.04 cores=0,2 /proc/16779/stat : 16779 (esg_static.sh) S 16777 16779 16745 0 -1 4202496 350 774 0 0 0 0 4 0 25 0 1 0 382210219 8912896 256 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/16779/statm: 2176 256 211 178 0 69 0 [pid=16793] ppid=16779 vsize=8704 CPUtime=0 cores=0,2 /proc/16793/stat : 16793 (esg_static.sh) S 16779 16779 16745 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382210224 8912896 135 33554432000 4194304 4922060 140736220726384 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/16793/statm: 2176 135 90 178 0 69 0 [pid=16794] ppid=16793 vsize=116260 CPUtime=1299.95 cores=0,2 /proc/16794/stat : 16794 (sathys) R 16793 16779 16745 0 -1 4202496 33375 0 0 0 129984 11 0 0 25 0 1 0 382210224 119050240 27414 33554432000 4194304 4241092 140736224600464 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/16794/statm: 29065 27414 136 12 0 27529 0 Current children cumulated CPU time (s) 1299.99 Current children cumulated vsize (KiB) 133668 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 16779 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=42993 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.044992 # while last known CPU time is 1299.99 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.02 CPU time (s): 1299.99 CPU user time (s): 1299.88 CPU system time (s): 0.11 CPU usage (%): 99.9979 Max. virtual memory (cumulated for all children) (KiB): 133796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.042993 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1473 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= 46 involuntary context switches= 7 runsolver used 2.28765 second user time and 4.83026 second system time The end
Begin job on node101 at 2011-04-13 16:47:55 IDJOB=3189660 IDBENCH=82591 IDSOLVER=1610 FILE ID=node101/3189660-1302706074 RUNJOBID= node101-1302706074-16763 PBS_JOBID= 12981434 Free space on /tmp= 71316 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189660-1302706074/watcher-3189660-1302706074 -o /tmp/evaluation-result-3189660-1302706074/solver-3189660-1302706074 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189660-1302706074.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 811f95ba5a9b338808c76dfc6ace0a83 RANDOM SEED=55661550 node101.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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.841 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.77 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.841 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.83 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.841 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.74 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.841 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.83 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29719472 kB Buffers: 84076 kB Cached: 2977424 kB SwapCached: 19744 kB Active: 1067284 kB Inactive: 2017692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29719472 kB SwapTotal: 67111528 kB SwapFree: 67051388 kB Dirty: 1336 kB Writeback: 0 kB AnonPages: 14004 kB Mapped: 8276 kB Slab: 81220 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190796 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= 71304 MiB End job on node101 at 2011-04-13 17:09:35