| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1300.04 | 1300.01 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf |
| MD5SUM | c57904e3ea235f276cacd03d81f1155b |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.75673 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| 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 | 42000 |
| 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-3189750-1302707335.cnf 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % | 0.00/0.06 c | 0 | 41704 126700 | -- 0 -- -- | -- | -296/700 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 9738 #clauses: 41704 #literals: 126700 0.00/0.06 c CPU time: 0.06399 s 0.00/0.06 c ============================================================================== 0.08/0.12 c 0.08/0.12 c seed = 0, numatom = 9738, numclause = 41704, numliterals = 126700 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.12 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.08/0.12 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.08/0.23 c | 2 | 0.1 | 0 | 501 | 194 | 1 | 253347 | 5500 || 2 | 14378 | 1048/ 1048 | 303 | 0 | 0.08/0.32 c | 4 | 0.1 | 0 | 679 | 294 | 2 | 553574 | 10196 || 4 | 24311 | 938/ 938 | 647 | 0 | 0.08/0.41 c | 6 | 0.1 | 0 | 843 | 191 | 3 | 912308 | 15834 || 6 | 35122 | 938/ 938 | 1017 | 0 | 0.08/0.51 c | 7 | 0.1 | 0 | 1045 | 393 | 4 | 1303343 | 19634 || 7 | 44271 | 825/ 825 | 1476 | 0 | 0.08/0.63 c | 11 | 0.1 | 0 | 1237 | 286 | 5 | 1761496 | 27870 || 11 | 61958 | 825/ 825 | 2093 | 0 | 0.08/0.77 c | 14 | 0.1 | 0 | 1457 | 482 | 6 | 2274996 | 35410 || 14 | 79269 | 776/ 776 | 2885 | 0 | 0.08/0.91 c | 15 | 0.1 | 0 | 1700 | 983 | 7 | 2824789 | 41201 || 15 | 95083 | 733/ 733 | 3785 | 0 | 0.99/1.07 c | 16 | 0.2 | 0 | 1912 | 81 | 8 | 3427106 | 46158 || 16 | 101154 | 733/ 733 | 3916 | 0 | 1.18/1.25 c | 21 | 0.2 | 0 | 2079 | 71 | 9 | 4089025 | 57541 || 21 | 125241 | 733/ 733 | 4770 | 0 | 1.38/1.45 c | 25 | 0.2 | 0 | 2278 | 164 | 10 | 4791771 | 67374 || 25 | 147783 | 733/ 733 | 5714 | 0 | 1.58/1.68 c | 29 | 0.2 | 0 | 2479 | 558 | 11 | 5563661 | 78935 || 29 | 173583 | 733/ 733 | 6677 | 0 | 1.88/1.90 c | 30 | 0.2 | 0 | 2619 | 356 | 12 | 6363508 | 85893 || 30 | 187822 | 730/ 730 | 7572 | 0 | 2.09/2.16 c | 31 | 0.2 | 0 | 2772 | 2057 | 13 | 7175596 | 92415 || 31 | 206029 | 566/ 566 | 9318 | 0 | 2.38/2.42 c | 31 | 0.3 | 0 | 3010 | 1458 | 14 | 8047009 | 96443 || 31 | 209384 | 566/ 566 | 9345 | 0 | 2.68/2.71 c | 38 | 0.3 | 0 | 2999 | 351 | 15 | 9003767 | 111975 || 38 | 241427 | 566/ 566 | 10753 | 0 | 2.98/3.02 c | 44 | 0.3 | 0 | 3178 | 245 | 16 | 10002881 | 126702 || 44 | 271909 | 566/ 566 | 11768 | 0 | 3.29/3.33 c | 46 | 0.3 | 0 | 3346 | 241 | 17 | 11044595 | 137307 || 46 | 297003 | 566/ 566 | 13125 | 0 | 3.58/3.69 c | 53 | 0.3 | 0 | 3594 | 231 | 18 | 12167885 | 153547 || 53 | 329686 | 566/ 566 | 14535 | 0 | 3.98/4.04 c | 59 | 0.4 | 0 | 3806 | 118 | 19 | 13290688 | 171475 || 59 | 363503 | 566/ 566 | 15544 | 0 | 4.29/4.39 c | 61 | 0.4 | 0 | 4109 | 717 | 20 | 14494544 | 181244 || 61 | 386463 | 566/ 566 | 16899 | 0 | 4.68/4.76 c | 62 | 0.4 | 0 | 4317 | 814 | 21 | 15741025 | 190663 || 62 | 412907 | 545/ 545 | 18661 | 0 | 5.18/5.20 c | 63 | 0.4 | 0 | 4518 | 3415 | 22 | 17017248 | 199712 || 63 | 440755 | 433/ 433 | 22031 | 0 | 5.58/5.66 c | 63 | 0.5 | 0 | 4685 | 1315 | 23 | 18386620 | 208149 || 63 | 455182 | 433/ 433 | 22116 | 0 | 6.08/6.13 c | 67 | 0.5 | 0 | 4636 | 9 | 24 | 19843584 | 219369 || 67 | 472828 | 433/ 433 | 22704 | 0 | 6.59/6.61 c | 76 | 0.5 | 0 | 4494 | 289 | 25 | 21346280 | 240030 || 76 | 517488 | 433/ 433 | 24468 | 0 | 6.98/7.06 c | 80 | 0.5 | 0 | 4654 | 82 | 26 | 22843427 | 255088 || 80 | 546300 | 433/ 433 | 26053 | 0 | 7.48/7.56 c | 90 | 0.5 | 0 | 4857 | 168 | 27 | 24419521 | 279320 || 90 | 595487 | 433/ 433 | 27970 | 0 | 7.98/8.07 c | 94 | 0.5 | 0 | 5145 | 1065 | 28 | 26031741 | 295569 || 94 | 634751 | 433/ 433 | 31228 | 0 | 8.48/8.59 c | 96 | 0.5 | 0 | 5524 | 57 | 29 | 27722216 | 307773 || 96 | 656949 | 433/ 433 | 31573 | 0 | 9.08/9.17 c | 107 | 0.6 | 0 | 5804 | 233 | 30 | 29455283 | 334503 || 107 | 714440 | 433/ 433 | 33756 | 0 | 9.68/9.74 c | 113 | 0.6 | 0 | 6029 | 228 | 31 | 31202188 | 353848 || 113 | 754893 | 433/ 433 | 35748 | 0 | 10.28/10.34 c | 123 | 0.6 | 0 | 6222 | 12 | 32 | 32998163 | 380982 || 123 | 811571 | 433/ 433 | 37995 | 0 | 10.88/10.95 c | 125 | 0.6 | 0 | 6489 | 109 | 33 | 34867945 | 396226 || 125 | 847411 | 433/ 433 | 40639 | 0 | 11.58/11.60 c | 126 | 0.7 | 0 | 6647 | 3910 | 34 | 36794414 | 408801 || 126 | 881170 | 433/ 433 | 44053 | 0 | 12.18/12.28 c | 126 | 0.7 | 0 | 6728 | 3015 | 35 | 38831135 | 417417 || 126 | 890378 | 433/ 433 | 44106 | 0 | 12.98/13.04 c | 127 | 0.8 | 0 | 6754 | 7016 | 36 | 40740921 | 434010 || 127 | 945104 | 267/ 267 | 50897 | 0 | 13.78/13.84 c | 127 | 0.8 | 0 | 7174 | 1516 | 37 | 42686789 | 446709 || 127 | 969193 | 267/ 267 | 51050 | 0 | 14.58/14.67 c | 127 | 0.8 | 0 | 6787 | 5717 | 38 | 44849080 | 452140 || 127 | 969193 | 267/ 267 | 51050 | 0 | 15.38/15.44 c | 139 | 0.8 | 0 | 6577 | 96 | 39 | 47045879 | 482412 || 139 | 1028873 | 267/ 267 | 53206 | 0 | 16.08/16.18 c | 148 | 0.7 | 0 | 6642 | 186 | 40 | 49277781 | 510363 || 148 | 1086653 | 267/ 267 | 55800 | 0 | 16.88/16.95 c | 157 | 0.8 | 0 | 7049 | 468 | 41 | 51557459 | 536297 || 157 | 1143077 | 267/ 267 | 58588 | 0 | 17.68/17.72 c | 163 | 0.8 | 0 | 7328 | 163 | 42 | 53863271 | 556593 || 163 | 1188849 | 267/ 267 | 61055 | 0 | 18.48/18.51 c | 173 | 0.8 | 0 | 7692 | 150 | 43 | 56194160 | 586034 || 173 | 1252294 | 267/ 267 | 64105 | 0 | 19.28/19.36 c | 187 | 0.9 | 0 | 8070 | 338 | 44 | 58608958 | 621694 || 187 | 1324937 | 267/ 267 | 66974 | 0 | 20.08/20.15 c | 189 | 0.8 | 0 | 8689 | 1038 | 45 | 61052874 | 640323 || 189 | 1367273 | 267/ 267 | 69652 | 0 | 20.88/20.98 c | 190 | 0.8 | 0 | 8876 | 1235 | 46 | 63443807 | 657308 || 190 | 1410643 | 267/ 267 | 73131 | 0 | 21.78/21.90 c | 200 | 0.9 | 0 | 8748 | 112 | 47 | 66035383 | 684072 || 200 | 1460384 | 267/ 267 | 75083 | 0 | 22.78/22.81 c | 212 | 0.9 | 0 | 8921 | 495 | 48 | 68674332 | 716848 || 212 | 1532358 | 267/ 267 | 78337 | 0 | 23.68/23.74 c | 221 | 0.9 | 0 | 9168 | 1573 | 49 | 71391556 | 746328 || 221 | 1597394 | 267/ 267 | 82343 | 0 | 24.68/24.71 c | 231 | 1.0 | 0 | 9349 | 267 | 50 | 74189396 | 775991 || 231 | 1656330 | 267/ 267 | 84317 | 0 | 25.68/25.70 c | 243 | 1.0 | 0 | 9284 | 45 | 51 | 76985688 | 811444 || 243 | 1733160 | 267/ 267 | 87580 | 0 | 26.58/26.63 c | 252 | 0.9 | 0 | 9580 | 2031 | 52 | 79676896 | 841224 || 252 | 1803354 | 267/ 267 | 91630 | 0 | 27.58/27.63 c | 253 | 1.0 | 0 | 10028 | 525 | 53 | 82412851 | 859745 || 253 | 1847211 | 267/ 267 | 95130 | 0 | 28.58/28.68 c | 254 | 1.0 | 0 | 9919 | 6329 | 54 | 85335337 | 876788 || 254 | 1893504 | 267/ 267 | 101873 | 0 | 29.88/29.93 c | 254 | 1.2 | 0 | 10102 | 2627 | 55 | 88221670 | 893089 || 254 | 1924600 | 267/ 267 | 102085 | 0 | 30.98/31.04 c | 255 | 1.1 | 0 | 10084 | 8629 | 56 | 91215233 | 909320 || 255 | 1977903 | 193/ 193 | 115310 | 0 | 32.38/32.49 c | 255 | 1.4 | 0 | 10116 | 6102 | 57 | 93966287 | 933000 || 255 | 2040942 | 193/ 193 | 115707 | 0 | 34.18/34.26 c | 255 | 1.8 | 0 | 10694 | 1731 | 58 | 96796429 | 952977 || 255 | 2084803 | 193/ 193 | 115984 | 0 | 35.68/35.71 c | 255 | 1.5 | 0 | 9767 | 8033 | 59 | 100020101 | 961352 || 255 | 2084803 | 193/ 193 | 115984 | 0 | 37.08/37.20 c | 262 | 1.5 | 0 | 10179 | 228 | 60 | 103293207 | 981290 || 262 | 2114391 | 193/ 193 | 117378 | 0 | 38.28/38.38 c | 277 | 1.2 | 0 | 9471 | 313 | 61 | 106515643 | 1022478 || 277 | 2203408 | 193/ 193 | 121172 | 0 | 39.49/39.56 c | 286 | 1.2 | 0 | 9947 | 292 | 62 | 109797160 | 1058257 || 286 | 2284488 | 193/ 193 | 125313 | 0 | 40.69/40.77 c | 301 | 1.2 | 0 | 10197 | 975 | 63 | 113174223 | 1098916 || 301 | 2369931 | 193/ 193 | 129057 | 0 | 41.98/42.02 c | 316 | 1.2 | 0 | 10995 | 148 | 64 | 116597225 | 1141420 || 316 | 2457591 | 193/ 193 | 132832 | 0 | 43.18/43.29 c | 318 | 1.3 | 0 | 11435 | 4648 | 65 | 120038105 | 1166704 || 318 | 2522251 | 193/ 193 | 138082 | 0 | 44.58/44.62 c | 331 | 1.3 | 0 | 12157 | 127 | 66 | 123569575 | 1203405 || 331 | 2587614 | 193/ 193 | 140483 | 0 | 45.88/45.97 c | 347 | 1.4 | 0 | 12024 | 497 | 67 | 127163249 | 1248579 || 347 | 2686228 | 193/ 193 | 144679 | 0 | 47.19/47.27 c | 356 | 1.3 | 0 | 12337 | 490 | 68 | 130712330 | 1282833 || 356 | 2761644 | 193/ 193 | 148737 | 0 | 48.58/48.67 c | 373 | 1.4 | 0 | 12534 | 51 | 69 | 134410045 | 1329323 || 373 | 2857881 | 193/ 193 | 152757 | 0 | 49.98/50.05 c | 381 | 1.4 | 0 | 12821 | 2138 | 70 | 138098825 | 1362240 || 381 | 2938753 | 193/ 193 | 159894 | 0 | 51.59/51.60 c | 382 | 1.5 | 0 | 13010 | 4834 | 71 | 141843455 | 1385316 || 382 | 2995855 | 193/ 193 | 166704 | 0 | 53.08/53.20 c | 382 | 1.6 | 0 | 13356 | 2833 | 72 | 145536576 | 1408666 || 382 | 3043782 | 193/ 193 | 167017 | 0 | 54.68/54.77 c | 396 | 1.6 | 0 | 13054 | 300 | 73 | 149433947 | 1445919 || 396 | 3112521 | 193/ 193 | 169837 | 0 | 56.18/56.24 c | 412 | 1.5 | 0 | 12784 | 1069 | 74 | 153282725 | 1494495 || 412 | 3221329 | 193/ 193 | 174504 | 0 | 57.68/57.72 c | 426 | 1.5 | 0 | 13072 | 248 | 75 | 157259247 | 1536063 || 426 | 3311301 | 193/ 193 | 178671 | 0 | 59.18/59.24 c | 443 | 1.5 | 0 | 13147 | 915 | 76 | 161299883 | 1584428 || 443 | 3416759 | 193/ 193 | 183764 | 0 | 60.68/60.71 c | 445 | 1.5 | 0 | 13548 | 612 | 77 | 165268179 | 1613228 || 445 | 3491704 | 193/ 193 | 189055 | 0 | 62.18/62.29 c | 460 | 1.6 | 0 | 14013 | 1190 | 78 | 169421643 | 1655108 || 460 | 3577113 | 193/ 193 | 192752 | 0 | 63.88/63.90 c | 476 | 1.6 | 0 | 14587 | 1851 | 79 | 173625602 | 1703742 || 476 | 3683653 | 193/ 193 | 198263 | 0 | 65.38/65.49 c | 491 | 1.6 | 0 | 14824 | 611 | 80 | 177843487 | 1749789 || 491 | 3774093 | 193/ 193 | 202024 | 0 | 67.09/67.11 c | 507 | 1.6 | 0 | 15014 | 284 | 81 | 182100547 | 1800811 || 507 | 3886579 | 193/ 193 | 207533 | 0 | 68.68/68.78 c | 509 | 1.7 | 0 | 15277 | 4085 | 82 | 186331655 | 1825737 || 509 | 3951841 | 193/ 193 | 217590 | 0 | 70.48/70.55 c | 509 | 1.8 | 0 | 15177 | 3180 | 83 | 190615734 | 1853009 || 509 | 4007498 | 193/ 193 | 218022 | 0 | 72.38/72.47 c | 510 | 1.9 | 0 | 15667 | 11985 | 84 | 194932900 | 1880920 || 510 | 4091365 | 193/ 193 | 231416 | 0 | 74.78/74.81 c | 510 | 2.3 | 0 | 15314 | 1686 | 85 | 199080240 | 1909739 || 510 | 4157795 | 193/ 193 | 231851 | 0 | 76.98/77.06 c | 510 | 2.3 | 0 | 14645 | 10688 | 86 | 203818837 | 1922098 || 510 | 4157795 | 193/ 193 | 231851 | 0 | 79.29/79.33 c | 511 | 2.3 | 0 | 14885 | 19792 | 87 | 208113044 | 1953580 || 511 | 4269098 | 149/ 149 | 258317 | 0 | 82.39/82.44 c | 511 | 3.1 | 0 | 14321 | 9203 | 88 | 212144743 | 1989544 || 511 | 4352063 | 149/ 149 | 258935 | 0 | 86.88/86.99 c | 511 | 4.5 | 0 | 15236 | 9302 | 89 | 215992263 | 2023998 || 511 | 4429720 | 149/ 149 | 259529 | 0 | 89.08/89.12 c | 511 | 2.1 | 0 | 13233 | 9293 | 90 | 220777014 | 2037793 || 511 | 4430677 | 149/ 149 | 259534 | 0 | 91.78/91.80 c | 511 | 2.7 | 0 | 13596 | 18796 | 91 | 225483564 | 2050728 || 511 | 4430677 | 149/ 149 | 259534 | 0 | 94.18/94.24 c | 520 | 2.5 | 0 | 13405 | 81 | 92 | 230353531 | 2081042 || 520 | 4474110 | 149/ 149 | 261204 | 0 | 96.08/96.18 c | 541 | 1.9 | 0 | 13471 | 448 | 93 | 235269095 | 2141881 || 541 | 4609689 | 149/ 149 | 267064 | 0 | 97.98/98.09 c | 557 | 1.9 | 0 | 14211 | 606 | 94 | 240177115 | 2192365 || 557 | 4719425 | 149/ 149 | 272604 | 0 | 99.88/99.99 c | 574 | 1.9 | 0 | 15279 | 1667 | 95 | 245119559 | 2244441 || 574 | 4840354 | 149/ 149 | 281418 | 0 | 101.98/102.03 c | 587 | 2.0 | 0 | 15988 | 139 | 96 | 250160984 | 2292599 || 587 | 4935565 | 149/ 149 | 284045 | 0 | 103.98/104.07 c | 605 | 2.0 | 0 | 16706 | 1704 | 97 | 255193969 | 2349581 || 605 | 5066045 | 149/ 149 | 290866 | 0 | 106.08/106.14 c | 626 | 2.1 | 0 | 17806 | 62 | 98 | 260398299 | 2409422 || 626 | 5189221 | 149/ 149 | 295630 | 0 | 108.18/108.20 c | 637 | 2.1 | 0 | 17676 | 3753 | 99 | 265472246 | 2458681 || 637 | 5308342 | 149/ 149 | 303639 | 0 | 110.48/110.56 c | 638 | 2.4 | 0 | 18040 | 9355 | 100 | 270332147 | 2500540 || 638 | 5410804 | 149/ 149 | 310758 | 0 | 112.88/112.93 c | 651 | 2.4 | 0 | 17973 | 47 | 101 | 275667381 | 2541793 || 651 | 5476391 | 149/ 149 | 313224 | 0 | 115.08/115.10 c | 669 | 2.2 | 0 | 17614 | 19 | 102 | 280993401 | 2601879 || 669 | 5611731 | 149/ 149 | 320146 | 0 | 117.28/117.33 c | 693 | 2.2 | 0 | 18027 | 177 | 103 | 286424843 | 2665852 || 693 | 5744054 | 149/ 149 | 325574 | 0 | 119.38/119.49 c | 701 | 2.2 | 0 | 18274 | 644 | 104 | 291700018 | 2712425 || 701 | 5855732 | 149/ 149 | 332936 | 0 | 121.78/121.81 c | 723 | 2.3 | 0 | 18386 | 491 | 105 | 297149378 | 2773280 || 723 | 5979306 | 149/ 149 | 338141 | 0 | 124.08/124.12 c | 743 | 2.3 | 0 | 18678 | 251 | 106 | 302652943 | 2833338 || 743 | 6107180 | 149/ 149 | 344219 | 0 | 126.39/126.42 c | 763 | 2.3 | 0 | 19352 | 2334 | 107 | 308145970 | 2896921 || 763 | 6249785 | 149/ 149 | 351473 | 0 | 128.78/128.80 c | 765 | 2.4 | 0 | 19652 | 6333 | 108 | 313546392 | 2931705 || 765 | 6337310 | 149/ 149 | 361686 | 0 | 131.28/131.33 c | 766 | 2.5 | 0 | 19702 | 8031 | 109 | 319311103 | 2961043 || 766 | 6410255 | 149/ 149 | 375034 | 0 | 134.29/134.38 c | 766 | 3.0 | 0 | 19170 | 230 | 110 | 324638858 | 3003425 || 766 | 6517050 | 149/ 149 | 375774 | 0 | 137.79/137.85 c | 766 | 3.5 | 0 | 18978 | 11731 | 111 | 330991915 | 3018413 || 766 | 6517050 | 149/ 149 | 375774 | 0 | 140.39/140.46 c | 795 | 2.6 | 0 | 18832 | 279 | 112 | 336874099 | 3092838 || 795 | 6674316 | 149/ 149 | 382271 | 0 | 142.79/142.88 c | 812 | 2.4 | 0 | 18402 | 519 | 113 | 342721140 | 3153324 || 812 | 6805073 | 149/ 149 | 388718 | 0 | 145.29/145.31 c | 829 | 2.4 | 0 | 18652 | 3484 | 114 | 348643069 | 3213265 || 829 | 6943126 | 149/ 149 | 397601 | 0 | 147.79/147.88 c | 848 | 2.6 | 0 | 19454 | 54 | 115 | 354688221 | 3271506 || 848 | 7057830 | 149/ 149 | 402012 | 0 | 150.39/150.41 c | 871 | 2.5 | 0 | 19648 | 16 | 116 | 360713478 | 3339264 || 871 | 7202102 | 149/ 149 | 408965 | 0 | 152.90/152.90 c | 891 | 2.5 | 0 | 20511 | 983 | 117 | 366837409 | 3402416 || 891 | 7337781 | 149/ 149 | 416178 | 0 | 155.59/155.66 c | 893 | 2.8 | 0 | 21647 | 8381 | 118 | 372884412 | 3443276 || 893 | 7442761 | 149/ 149 | 426556 | 0 | 158.40/158.49 c | 907 | 2.8 | 0 | 21549 | 245 | 119 | 379263531 | 3492090 || 907 | 7526646 | 149/ 149 | 429482 | 0 | 161.09/161.15 c | 929 | 2.7 | 0 | 21055 | 101 | 120 | 385475289 | 3560250 || 929 | 7673822 | 149/ 149 | 436539 | 0 | 163.80/163.83 c | 955 | 2.7 | 0 | 21299 | 1457 | 121 | 391677141 | 3635648 || 955 | 7844265 | 149/ 149 | 445158 | 0 | 166.49/166.54 c | 969 | 2.7 | 0 | 21817 | 115 | 122 | 397909343 | 3690975 || 969 | 7958715 | 149/ 149 | 451162 | 0 | 169.19/169.27 c | 989 | 2.7 | 0 | 21858 | 187 | 123 | 404258805 | 3758891 || 989 | 8110883 | 149/ 149 | 458305 | 0 | 171.99/172.07 c | 1018 | 2.8 | 0 | 22194 | 1019 | 124 | 410715405 | 3838812 || 1018 | 8283799 | 149/ 149 | 467218 | 0 | 174.80/174.83 c | 1020 | 2.8 | 0 | 23057 | 6717 | 125 | 417047841 | 3880252 || 1020 | 8392175 | 149/ 149 | 477553 | 0 | 177.89/177.94 c | 1021 | 3.1 | 0 | 23483 | 10116 | 126 | 423529708 | 3917097 || 1021 | 8482843 | 149/ 149 | 491008 | 0 | 181.99/182.08 c | 1021 | 4.1 | 0 | 23006 | 4017 | 127 | 430038309 | 3955491 || 1021 | 8561717 | 149/ 149 | 491587 | 0 | 185.79/185.83 c | 1022 | 3.8 | 0 | 22299 | 17218 | 128 | 436847443 | 3985357 || 1022 | 8648731 | 149/ 149 | 517919 | 0 | 190.09/190.17 c | 1022 | 4.3 | 0 | 21912 | 13301 | 129 | 442850376 | 4036974 || 1022 | 8774556 | 149/ 149 | 518756 | 0 | 195.29/195.34 c | 1022 | 5.2 | 0 | 21435 | 5520 | 130 | 449129024 | 4074170 || 1022 | 8847642 | 149/ 149 | 519239 | 0 | 199.29/199.38 c | 1022 | 4.0 | 0 | 20579 | 19022 | 131 | 456005468 | 4092191 || 1022 | 8847642 | 149/ 149 | 519239 | 0 | 203.59/203.60 c | 1023 | 4.2 | 0 | 21860 | 32624 | 132 | 462548466 | 4130352 || 1023 | 8998384 | 88/ 88 | 571655 | 0 | 209.79/209.84 c | 1023 | 6.2 | 0 | 19622 | 13701 | 133 | 468263980 | 4182502 || 1023 | 9122657 | 88/ 88 | 572562 | 0 | 216.99/217.06 c | 1023 | 7.2 | 0 | 19846 | 13802 | 134 | 474316790 | 4235174 || 1023 | 9243952 | 88/ 88 | 573422 | 0 | 223.59/223.66 c | 1023 | 6.6 | 0 | 19655 | 13901 | 135 | 480469408 | 4284956 || 1023 | 9359617 | 88/ 88 | 574259 | 0 | 227.79/227.83 c | 1023 | 4.2 | 0 | 19814 | 11227 | 136 | 487681963 | 4310644 || 1023 | 9382912 | 88/ 88 | 574409 | 0 | 232.79/232.86 c | 1023 | 5.0 | 0 | 19696 | 25328 | 137 | 495086118 | 4329462 || 1023 | 9382912 | 88/ 88 | 574409 | 0 | 237.59/237.61 c | 1023 | 4.8 | 0 | 20731 | 39529 | 138 | 502606819 | 4348614 || 1023 | 9382912 | 88/ 88 | 574409 | 0 | 242.29/242.36 c | 1032 | 4.8 | 0 | 20986 | 118 | 139 | 509924090 | 4384844 || 1032 | 9425742 | 88/ 88 | 576068 | 0 | 245.39/245.49 c | 1058 | 3.1 | 0 | 19119 | 68 | 140 | 517090164 | 4465396 || 1058 | 9593605 | 88/ 88 | 584254 | 0 | 248.59/248.65 c | 1085 | 3.2 | 0 | 20666 | 1017 | 141 | 524388230 | 4548867 || 1085 | 9774333 | 88/ 88 | 592908 | 0 | 251.79/251.85 c | 1106 | 3.2 | 0 | 22322 | 82 | 142 | 531698747 | 4621872 || 1106 | 9932928 | 88/ 88 | 600914 | 0 | 255.09/255.11 c | 1132 | 3.3 | 0 | 22937 | 626 | 143 | 539002629 | 4705628 || 1132 | 10117411 | 88/ 88 | 609536 | 0 | 258.29/258.36 c | 1149 | 3.2 | 0 | 24562 | 1787 | 144 | 546459873 | 4775960 || 1149 | 10272470 | 88/ 88 | 618633 | 0 | 261.99/262.04 c | 1153 | 3.7 | 0 | 26034 | 84 | 145 | 553813647 | 4817877 || 1153 | 10360110 | 88/ 88 | 626093 | 0 | 265.39/265.48 c | 1181 | 3.4 | 0 | 24611 | 1229 | 146 | 561404911 | 4902872 || 1181 | 10543034 | 88/ 88 | 634840 | 0 | 268.89/268.94 c | 1212 | 3.5 | 0 | 25181 | 270 | 147 | 568971635 | 4992517 || 1212 | 10738071 | 88/ 88 | 644075 | 0 | 272.29/272.39 c | 1233 | 3.5 | 0 | 25435 | 139 | 148 | 576559544 | 5062977 || 1233 | 10887649 | 88/ 88 | 652054 | 0 | 275.89/275.95 c | 1261 | 3.6 | 0 | 25418 | 185 | 149 | 584290562 | 5148519 || 1261 | 11074420 | 88/ 88 | 660857 | 0 | 279.29/279.36 c | 1276 | 3.4 | 0 | 25660 | 2869 | 150 | 591940264 | 5216313 || 1276 | 11221963 | 88/ 88 | 669598 | 0 | 283.09/283.13 c | 1278 | 3.8 | 0 | 26027 | 8771 | 151 | 599607618 | 5261622 || 1278 | 11344043 | 88/ 88 | 689667 | 0 | 287.89/287.93 c | 1278 | 4.8 | 0 | 26490 | 5171 | 152 | 607310012 | 5304724 || 1278 | 11430186 | 88/ 88 | 690263 | 0 | 292.10/292.15 c | 1300 | 4.2 | 0 | 25960 | 223 | 153 | 615349268 | 5370543 || 1300 | 11550187 | 88/ 88 | 695413 | 0 | 295.80/295.84 c | 1330 | 3.7 | 0 | 25279 | 269 | 154 | 623224584 | 5458999 || 1330 | 11741383 | 88/ 88 | 704230 | 0 | 299.40/299.47 c | 1347 | 3.6 | 0 | 25693 | 137 | 155 | 631103270 | 5528059 || 1347 | 11891335 | 88/ 88 | 713176 | 0 | 303.20/303.20 c | 1377 | 3.7 | 0 | 25771 | 81 | 156 | 639178673 | 5619461 || 1377 | 12086742 | 88/ 88 | 722281 | 0 | 306.90/306.95 c | 1404 | 3.8 | 0 | 26450 | 2831 | 157 | 647248247 | 5706646 || 1404 | 12284754 | 88/ 88 | 734178 | 0 | 310.60/310.60 c | 1405 | 3.6 | 0 | 27300 | 4628 | 158 | 655145328 | 5753512 || 1405 | 12383506 | 88/ 88 | 741358 | 0 | 314.50/314.51 c | 1436 | 3.9 | 0 | 27752 | 75 | 159 | 663353127 | 5845014 || 1436 | 12580845 | 88/ 88 | 750681 | 0 | 318.30/318.34 c | 1467 | 3.8 | 0 | 28096 | 415 | 160 | 671599735 | 5936920 || 1467 | 12777473 | 88/ 88 | 759878 | 0 | 322.20/322.22 c | 1491 | 3.9 | 0 | 28456 | 472 | 161 | 679829538 | 6016487 || 1491 | 12947688 | 88/ 88 | 768661 | 0 | 326.20/326.23 c | 1524 | 4.0 | 0 | 28655 | 9 | 162 | 688225497 | 6115005 || 1524 | 13155236 | 88/ 88 | 778242 | 0 | 330.10/330.17 c | 1532 | 3.9 | 0 | 28906 | 6895 | 163 | 696468463 | 6176203 || 1532 | 13307093 | 88/ 88 | 792063 | 0 | 334.50/334.59 c | 1533 | 4.4 | 0 | 29406 | 14091 | 164 | 704780931 | 6227782 || 1533 | 13435757 | 88/ 88 | 805784 | 0 | 339.30/339.31 c | 1533 | 4.7 | 0 | 29293 | 11793 | 165 | 713171613 | 6263715 || 1533 | 13484944 | 88/ 88 | 806108 | 0 | 344.10/344.15 c | 1534 | 4.8 | 0 | 28470 | 28795 | 166 | 721174710 | 6325659 || 1534 | 13684083 | 88/ 88 | 833140 | 0 | 350.50/350.58 c | 1534 | 6.4 | 0 | 28612 | 7497 | 167 | 729453814 | 6369730 || 1534 | 13765398 | 88/ 88 | 833686 | 0 | 356.70/356.71 c | 1534 | 6.1 | 0 | 27306 | 24699 | 168 | 738451537 | 6393207 || 1534 | 13765398 | 88/ 88 | 833686 | 0 | 361.00/361.01 c | 1567 | 4.3 | 0 | 26073 | 41 | 169 | 747166620 | 6491106 || 1567 | 13968113 | 88/ 88 | 843207 | 0 | 365.10/365.14 c | 1597 | 4.1 | 0 | 26077 | 3293 | 170 | 755873209 | 6589188 || 1597 | 14194682 | 88/ 88 | 855737 | 0 | 369.20/369.25 c | 1627 | 4.1 | 0 | 27530 | 740 | 171 | 764693226 | 6682347 || 1627 | 14382046 | 88/ 88 | 863366 | 0 | 373.40/373.48 c | 1659 | 4.2 | 0 | 28461 | 2278 | 172 | 773515125 | 6781282 || 1659 | 14605075 | 88/ 88 | 874407 | 0 | 377.60/377.60 c | 1661 | 4.1 | 0 | 29688 | 3173 | 173 | 781921870 | 6833057 || 1661 | 14722435 | 88/ 88 | 884866 | 0 | 381.90/382.00 c | 1692 | 4.4 | 0 | 30521 | 124 | 174 | 790903087 | 6925277 || 1692 | 14914372 | 88/ 88 | 894113 | 0 | 386.30/386.35 c | 1724 | 4.3 | 0 | 31595 | 1960 | 175 | 799956833 | 7021551 || 1724 | 15121503 | 88/ 88 | 906653 | 0 | 390.70/390.75 c | 1754 | 4.4 | 0 | 31407 | 1094 | 176 | 808881243 | 7116043 || 1754 | 15320555 | 88/ 88 | 914378 | 0 | 395.20/395.22 c | 1786 | 4.5 | 0 | 31698 | 1925 | 177 | 817994795 | 7215498 || 1786 | 15539393 | 88/ 88 | 925408 | 0 | 399.60/399.60 c | 1788 | 4.4 | 0 | 31869 | 3318 | 178 | 826704433 | 7270838 || 1788 | 15662371 | 88/ 88 | 935898 | 0 | 404.60/404.62 c | 1789 | 5.0 | 0 | 31797 | 2418 | 179 | 835468421 | 7325546 || 1789 | 15802133 | 88/ 88 | 949681 | 0 | 409.80/409.84 c | 1810 | 5.2 | 0 | 31749 | 184 | 180 | 844780579 | 7394932 || 1810 | 15921413 | 88/ 88 | 954448 | 0 | 414.40/414.47 c | 1849 | 4.6 | 0 | 31251 | 217 | 181 | 854090469 | 7503237 || 1849 | 16160266 | 88/ 88 | 965589 | 0 | 418.90/418.91 c | 1868 | 4.4 | 0 | 31538 | 79 | 182 | 863270508 | 7583432 || 1868 | 16332135 | 88/ 88 | 975593 | 0 | 423.50/423.54 c | 1908 | 4.6 | 0 | 31682 | 104 | 183 | 872719472 | 7692108 || 1908 | 16562647 | 88/ 88 | 986574 | 0 | 428.00/428.02 c | 1916 | 4.5 | 0 | 31866 | 8801 | 184 | 882049715 | 7762844 || 1916 | 16739939 | 88/ 88 | 1000618 | 0 | 432.80/432.89 c | 1946 | 4.9 | 0 | 32720 | 859 | 185 | 891741149 | 7854690 || 1946 | 16917316 | 88/ 88 | 1008161 | 0 | 437.50/437.59 c | 1978 | 4.7 | 0 | 33313 | 203 | 186 | 901244916 | 7958685 || 1978 | 17142559 | 88/ 88 | 1019193 | 0 | 442.30/442.34 c | 2009 | 4.8 | 0 | 33753 | 463 | 187 | 910825886 | 8054644 || 2009 | 17343095 | 88/ 88 | 1030075 | 0 | 447.10/447.17 c | 2041 | 4.8 | 0 | 33889 | 11 | 188 | 920438566 | 8158983 || 2041 | 17573942 | 88/ 88 | 1041178 | 0 | 451.90/451.90 c | 2043 | 4.7 | 0 | 34297 | 4906 | 189 | 930006656 | 8211207 || 2043 | 17695063 | 88/ 88 | 1051636 | 0 | 457.30/457.36 c | 2044 | 5.5 | 0 | 34316 | 5106 | 190 | 939480579 | 8270747 || 2044 | 17843384 | 88/ 88 | 1065552 | 0 | 463.30/463.38 c | 2045 | 6.0 | 0 | 34646 | 24612 | 191 | 948961699 | 8327878 || 2045 | 17998594 | 88/ 88 | 1092388 | 0 | 473.40/473.41 c | 2045 | 10.0 | 0 | 34861 | 5811 | 192 | 957985933 | 8384534 || 2045 | 18112332 | 88/ 88 | 1093178 | 0 | 482.00/482.03 c | 2045 | 8.6 | 0 | 33338 | 25512 | 193 | 968252890 | 8410987 || 2045 | 18112332 | 88/ 88 | 1093178 | 0 | 488.20/488.26 c | 2046 | 6.2 | 0 | 30298 | 45315 | 194 | 977608824 | 8492774 || 2046 | 18400858 | 88/ 88 | 1146551 | 0 | 500.20/500.23 c | 2046 | 12.0 | 0 | 29382 | 19903 | 195 | 986488523 | 8567680 || 2046 | 18587718 | 88/ 88 | 1147921 | 0 | 511.80/511.84 c | 2046 | 11.6 | 0 | 29809 | 8417 | 196 | 995815909 | 8622495 || 2046 | 18694184 | 88/ 88 | 1148641 | 0 | 521.60/521.68 c | 2046 | 9.8 | 0 | 28576 | 28519 | 197 | 1006040132 | 8649365 || 2046 | 18694184 | 88/ 88 | 1148641 | 0 | 532.60/532.60 c | 2046 | 10.9 | 0 | 31439 | 48721 | 198 | 1016036498 | 8675846 || 2046 | 18694184 | 88/ 88 | 1148641 | 0 | 540.60/540.62 c | 2047 | 8.0 | 0 | 27604 | 69022 | 199 | 1025498725 | 8746243 || 2047 | 19014194 | 77/ 77 | 1253714 | 0 | 553.50/553.55 c | 2047 | 12.9 | 0 | 27502 | 20402 | 200 | 1034499148 | 8815785 || 2047 | 19184135 | 77/ 77 | 1254902 | 0 | 568.00/568.07 c | 2047 | 14.5 | 0 | 29892 | 20502 | 201 | 1043248482 | 8885993 || 2047 | 19355175 | 77/ 77 | 1256089 | 0 | 585.11/585.10 c | 2047 | 17.0 | 0 | 30799 | 20603 | 202 | 1051695942 | 8952805 || 2047 | 19518838 | 77/ 77 | 1257201 | 0 | 606.61/606.68 c | 2047 | 21.6 | 0 | 31912 | 20701 | 203 | 1059946095 | 9019274 || 2047 | 19676232 | 77/ 77 | 1258351 | 0 | 616.51/616.58 c | 2047 | 9.9 | 0 | 30424 | 18430 | 204 | 1070462687 | 9052768 || 2047 | 19693700 | 77/ 77 | 1258470 | 0 | 626.21/626.21 c | 2047 | 9.6 | 0 | 29606 | 39334 | 205 | 1081182465 | 9080785 || 2047 | 19693700 | 77/ 77 | 1258470 | 0 | 637.51/637.51 c | 2047 | 11.3 | 0 | 31207 | 60337 | 206 | 1091665761 | 9108475 || 2047 | 19693700 | 77/ 77 | 1258470 | 0 | 647.21/647.25 c | 2047 | 9.7 | 0 | 33138 | 81438 | 207 | 1102395789 | 9135928 || 2047 | 19693700 | 77/ 77 | 1258470 | 0 | 658.01/658.07 c | 2049 | 10.8 | 0 | 31174 | 139 | 208 | 1113013910 | 9165735 || 2049 | 19699933 | 77/ 77 | 1258707 | 0 | 663.61/663.63 c | 2093 | 5.6 | 0 | 27314 | 1060 | 209 | 1123779244 | 9295599 || 2093 | 19980145 | 77/ 77 | 1271524 | 0 | 668.91/668.97 c | 2124 | 5.3 | 0 | 29533 | 17 | 210 | 1134505369 | 9402505 || 2124 | 20205397 | 77/ 77 | 1283416 | 0 | 674.41/674.46 c | 2168 | 5.5 | 0 | 30938 | 143 | 211 | 1145308493 | 9529963 || 2168 | 20478743 | 77/ 77 | 1295676 | 0 | 679.82/679.85 c | 2174 | 5.4 | 0 | 33341 | 2629 | 212 | 1155761814 | 9604355 || 2174 | 20653690 | 77/ 77 | 1309477 | 0 | 685.51/685.50 c | 2212 | 5.6 | 0 | 35011 | 458 | 213 | 1166689211 | 9714974 || 2212 | 20879077 | 77/ 77 | 1320152 | 0 | 691.11/691.15 c | 2242 | 5.7 | 0 | 36088 | 93 | 214 | 1177758021 | 9821802 || 2242 | 21103604 | 77/ 77 | 1332224 | 0 | 697.01/697.04 c | 2286 | 5.9 | 0 | 35903 | 9 | 215 | 1188749198 | 9950831 || 2286 | 21381938 | 77/ 77 | 1344969 | 0 | 702.82/702.88 c | 2301 | 5.9 | 0 | 36142 | 182 | 216 | 1199796585 | 10043292 || 2301 | 21601319 | 77/ 77 | 1360466 | 0 | 709.42/709.49 c | 2302 | 6.6 | 0 | 36039 | 3081 | 217 | 1210386731 | 10103873 || 2302 | 21738084 | 77/ 77 | 1374295 | 0 | 715.91/715.98 c | 2332 | 6.5 | 0 | 35513 | 429 | 218 | 1221584056 | 10197081 || 2332 | 21909129 | 77/ 77 | 1381814 | 0 | 721.71/721.78 c | 2365 | 5.8 | 0 | 35846 | 4278 | 219 | 1232707577 | 10313436 || 2365 | 22171495 | 77/ 77 | 1396397 | 0 | 727.71/727.71 c | 2405 | 5.9 | 0 | 36253 | 111 | 220 | 1243929828 | 10432567 || 2405 | 22419312 | 77/ 77 | 1407322 | 0 | 733.62/733.60 c | 2429 | 5.9 | 0 | 36473 | 5869 | 221 | 1255129275 | 10534923 || 2429 | 22665688 | 77/ 77 | 1425181 | 0 | 739.71/739.74 c | 2459 | 6.1 | 0 | 36615 | 422 | 222 | 1266421756 | 10642698 || 2459 | 22879392 | 77/ 77 | 1433036 | 0 | 745.72/745.73 c | 2492 | 6.0 | 0 | 37219 | 4656 | 223 | 1277759697 | 10758246 || 2492 | 23139429 | 77/ 77 | 1447562 | 0 | 751.81/751.85 c | 2534 | 6.1 | 0 | 38782 | 73 | 224 | 1289232384 | 10883175 || 2534 | 23394118 | 77/ 77 | 1458987 | 0 | 757.82/757.89 c | 2556 | 6.0 | 0 | 39276 | 7041 | 225 | 1300462688 | 10984580 || 2556 | 23640860 | 77/ 77 | 1476518 | 0 | 764.71/764.73 c | 2557 | 6.8 | 0 | 40033 | 1242 | 226 | 1311477671 | 11060076 || 2557 | 23821416 | 77/ 77 | 1490637 | 0 | 772.01/772.05 c | 2558 | 7.3 | 0 | 38750 | 24345 | 227 | 1322946998 | 11122624 || 2558 | 23981637 | 77/ 77 | 1517404 | 0 | 781.41/781.43 c | 2558 | 9.4 | 0 | 38428 | 9143 | 228 | 1334090593 | 11185142 || 2558 | 24105919 | 77/ 77 | 1518256 | 0 | 789.01/789.01 c | 2576 | 7.6 | 0 | 37824 | 103 | 229 | 1345603412 | 11252093 || 2576 | 24200905 | 77/ 77 | 1522438 | 0 | 795.41/795.44 c | 2620 | 6.4 | 0 | 36387 | 2107 | 230 | 1357429121 | 11389747 || 2620 | 24505526 | 77/ 77 | 1536812 | 0 | 801.61/801.67 c | 2652 | 6.2 | 0 | 36610 | 719 | 231 | 1369169880 | 11504432 || 2652 | 24750116 | 77/ 77 | 1549563 | 0 | 808.01/808.03 c | 2685 | 6.4 | 0 | 37182 | 3443 | 232 | 1381054634 | 11619024 || 2685 | 25012016 | 77/ 77 | 1568891 | 0 | 814.62/814.68 c | 2714 | 6.7 | 0 | 38320 | 290 | 233 | 1392787307 | 11725995 || 2714 | 25229768 | 77/ 77 | 1575813 | 0 | 821.02/821.00 c | 2748 | 6.3 | 0 | 39538 | 4433 | 234 | 1404679225 | 11846037 || 2748 | 25500660 | 77/ 77 | 1591146 | 0 | 827.62/827.61 c | 2793 | 6.6 | 0 | 41161 | 474 | 235 | 1416787828 | 11978384 || 2793 | 25768270 | 77/ 77 | 1603320 | 0 | 834.02/834.03 c | 2812 | 6.4 | 0 | 41777 | 9038 | 236 | 1428691942 | 12080526 || 2812 | 26005483 | 77/ 77 | 1620097 | 0 | 841.43/841.41 c | 2813 | 7.4 | 0 | 42032 | 4332 | 237 | 1440402843 | 12143365 || 2813 | 26155044 | 77/ 77 | 1633970 | 0 | 848.72/848.75 c | 2844 | 7.3 | 0 | 41419 | 1285 | 238 | 1452633363 | 12245413 || 2844 | 26347949 | 77/ 77 | 1643233 | 0 | 855.52/855.52 c | 2882 | 6.8 | 0 | 40461 | 105 | 239 | 1464802608 | 12371634 || 2882 | 26614049 | 77/ 77 | 1656951 | 0 | 862.43/862.44 c | 2933 | 6.9 | 0 | 40968 | 94 | 240 | 1476961594 | 12519063 || 2933 | 26929524 | 77/ 77 | 1671011 | 0 | 869.03/869.08 c | 2940 | 6.6 | 0 | 41624 | 5491 | 241 | 1489140998 | 12595809 || 2940 | 27100399 | 77/ 77 | 1684937 | 0 | 876.12/876.16 c | 2992 | 7.1 | 0 | 41624 | 101 | 242 | 1501565067 | 12740275 || 2992 | 27408014 | 77/ 77 | 1698689 | 0 | 883.02/883.07 c | 3030 | 6.9 | 0 | 42005 | 141 | 243 | 1513907262 | 12868564 || 3030 | 27686210 | 77/ 77 | 1712925 | 0 | 889.93/889.92 c | 3066 | 6.8 | 0 | 43476 | 4176 | 244 | 1526214196 | 12998607 || 3066 | 27976943 | 77/ 77 | 1729029 | 0 | 897.02/897.00 c | 3068 | 7.1 | 0 | 44130 | 14673 | 245 | 1538398248 | 13076535 || 3068 | 28172781 | 77/ 77 | 1749619 | 0 | 905.12/905.18 c | 3069 | 8.2 | 0 | 44445 | 20473 | 246 | 1550605597 | 13142798 || 3069 | 28332837 | 77/ 77 | 1776539 | 0 | 916.33/916.38 c | 3069 | 11.2 | 0 | 43048 | 7173 | 247 | 1562046794 | 13216386 || 3069 | 28486053 | 77/ 77 | 1777628 | 0 | 926.23/926.25 c | 3070 | 9.9 | 0 | 42394 | 32374 | 248 | 1574435873 | 13268366 || 3070 | 28630104 | 77/ 77 | 1830084 | 0 | 940.02/940.06 c | 3070 | 13.8 | 0 | 41035 | 25301 | 249 | 1585597939 | 13360306 || 3070 | 28854779 | 77/ 77 | 1831696 | 0 | 958.63/958.65 c | 3070 | 18.6 | 0 | 41531 | 6277 | 250 | 1597031950 | 13436507 || 3070 | 29018674 | 77/ 77 | 1832842 | 0 | 970.53/970.53 c | 3070 | 11.9 | 0 | 36437 | 31778 | 251 | 1610437515 | 13471172 || 3070 | 29018674 | 77/ 77 | 1832842 | 0 | 982.03/982.08 c | 3085 | 11.5 | 0 | 37128 | 538 | 252 | 1623207643 | 13537834 || 3085 | 29105618 | 77/ 77 | 1836615 | 0 | 989.13/989.15 c | 3132 | 7.1 | 0 | 35302 | 1346 | 253 | 1636101183 | 13680506 || 3132 | 29412386 | 77/ 77 | 1851359 | 0 | 996.23/996.21 c | 3174 | 7.1 | 0 | 37438 | 77 | 254 | 1649090507 | 13817322 || 3174 | 29702148 | 77/ 77 | 1866046 | 0 | 1003.13/1003.18 c | 3197 | 7.0 | 0 | 38476 | 137 | 255 | 1661816332 | 13931894 || 3197 | 29974588 | 77/ 77 | 1883845 | 0 | 1010.53/1010.54 c | 3241 | 7.4 | 0 | 40876 | 134 | 256 | 1675127811 | 14060924 || 3241 | 30235058 | 77/ 77 | 1895511 | 0 | 1017.73/1017.74 c | 3279 | 7.2 | 0 | 42556 | 268 | 257 | 1688156607 | 14191324 || 3279 | 30515093 | 77/ 77 | 1910279 | 0 | 1025.13/1025.15 c | 3323 | 7.4 | 0 | 44706 | 2980 | 258 | 1701209219 | 14332424 || 3323 | 30827727 | 77/ 77 | 1927860 | 0 | 1032.83/1032.84 c | 3325 | 7.7 | 0 | 45472 | 14880 | 259 | 1714042305 | 14414230 || 3325 | 31037927 | 77/ 77 | 1948512 | 0 | 1041.53/1041.54 c | 3350 | 8.7 | 0 | 45549 | 137 | 260 | 1727217914 | 14508611 || 3350 | 31205341 | 77/ 77 | 1954395 | 0 | 1049.13/1049.15 c | 3388 | 7.6 | 0 | 44189 | 452 | 261 | 1740440938 | 14643220 || 3388 | 31502264 | 77/ 77 | 1970711 | 0 | 1056.93/1056.95 c | 3440 | 7.8 | 0 | 44896 | 254 | 262 | 1753847376 | 14790970 || 3440 | 31812157 | 77/ 77 | 1984645 | 0 | 1064.33/1064.31 c | 3452 | 7.3 | 0 | 45289 | 5642 | 263 | 1766971661 | 14882220 || 3452 | 32017634 | 77/ 77 | 1999635 | 0 | 1072.33/1072.34 c | 3510 | 8.0 | 0 | 45158 | 8 | 264 | 1780448419 | 15045907 || 3510 | 32365391 | 77/ 77 | 2014913 | 0 | 1080.03/1080.01 c | 3546 | 7.7 | 0 | 45520 | 2344 | 265 | 1793975341 | 15175495 || 3546 | 32655476 | 77/ 77 | 2031022 | 0 | 1087.53/1087.59 c | 3579 | 7.6 | 0 | 46961 | 6088 | 266 | 1807341607 | 15303577 || 3579 | 32942022 | 77/ 77 | 2050536 | 0 | 1095.73/1095.79 c | 3580 | 8.2 | 0 | 47880 | 4377 | 267 | 1820695154 | 15382481 || 3580 | 33127787 | 77/ 77 | 2064594 | 0 | 1105.93/1105.97 c | 3581 | 10.2 | 0 | 47497 | 31579 | 268 | 1833720282 | 15464931 || 3581 | 33342969 | 77/ 77 | 2091847 | 0 | 1117.03/1117.05 c | 3581 | 11.1 | 0 | 46927 | 20477 | 269 | 1847178786 | 15517927 || 3581 | 33402807 | 77/ 77 | 2092273 | 0 | 1126.44/1126.47 c | 3627 | 9.4 | 0 | 46293 | 585 | 270 | 1861139030 | 15657300 || 3627 | 33690246 | 77/ 77 | 2105380 | 0 | 1134.53/1134.50 c | 3674 | 8.0 | 0 | 44731 | 412 | 271 | 1874937934 | 15803058 || 3674 | 34003395 | 77/ 77 | 2121808 | 0 | 1142.23/1142.26 c | 3708 | 7.8 | 0 | 44970 | 3553 | 272 | 1888685699 | 15931036 || 3708 | 34290572 | 77/ 77 | 2142921 | 0 | 1150.33/1150.36 c | 3739 | 8.1 | 0 | 45445 | 789 | 273 | 1902518603 | 16056373 || 3739 | 34550747 | 77/ 77 | 2152594 | 0 | 1158.53/1158.50 c | 3785 | 8.1 | 0 | 46944 | 98 | 274 | 1916542809 | 16200180 || 3785 | 34861383 | 77/ 77 | 2168194 | 0 | 1166.73/1166.70 c | 3834 | 8.2 | 0 | 48969 | 1912 | 275 | 1930525858 | 16350269 || 3834 | 35192798 | 77/ 77 | 2187151 | 0 | 1175.03/1175.09 c | 3836 | 8.4 | 0 | 50996 | 15513 | 276 | 1943816384 | 16436132 || 3836 | 35413340 | 77/ 77 | 2207842 | 0 | 1184.43/1184.41 c | 3866 | 9.3 | 0 | 50333 | 763 | 277 | 1958043488 | 16544570 || 3866 | 35616456 | 77/ 77 | 2215574 | 0 | 1192.73/1192.74 c | 3905 | 8.3 | 0 | 49064 | 185 | 278 | 1972082031 | 16678841 || 3905 | 35901540 | 77/ 77 | 2231065 | 0 | 1201.33/1201.38 c | 3961 | 8.6 | 0 | 49225 | 1474 | 279 | 1986257805 | 16842816 || 3961 | 36257042 | 77/ 77 | 2248573 | 0 | 1209.83/1209.82 c | 3980 | 8.4 | 0 | 49851 | 141 | 280 | 2000539317 | 16946383 || 3980 | 36476789 | 77/ 77 | 2263045 | 0 | 1218.33/1218.33 c | 4026 | 8.5 | 0 | 49473 | 4646 | 281 | 2014663341 | 17102470 || 4026 | 36820339 | 77/ 77 | 2281087 | 0 | 1227.13/1227.12 c | 4081 | 8.8 | 0 | 49850 | 38 | 282 | 2029087417 | 17262399 || 4081 | 37150916 | 77/ 77 | 2295904 | 0 | 1235.34/1235.36 c | 4091 | 8.2 | 0 | 51414 | 9025 | 283 | 2043488963 | 17360721 || 4091 | 37394168 | 77/ 77 | 2323520 | 0 | 1245.15/1245.17 c | 4092 | 9.8 | 0 | 51742 | 18622 | 284 | 2057272383 | 17439499 || 4092 | 37593723 | 77/ 77 | 2350487 | 0 | 1257.14/1257.19 c | 4092 | 12.0 | 0 | 51125 | 9123 | 285 | 2070482889 | 17525819 || 4092 | 37775931 | 77/ 77 | 2351704 | 0 | 1268.44/1268.43 c | 4093 | 11.2 | 0 | 49570 | 38128 | 286 | 2084606898 | 17597022 || 4093 | 37976540 | 77/ 77 | 2404560 | 0 | 1289.83/1289.81 c | 4093 | 21.4 | 0 | 49750 | 29102 | 287 | 2097453753 | 17698363 || 4093 | 38212590 | 77/ 77 | 2406379 | 0 | 1300.04/1300.00 c | 4093 | 10.2 | 0 | 66193 | 6871 | 287 | 2105304728 | 17742449 || 4093 | 38289522 | 77/ 77 | 2406914 | 0 | 1300.04/1300.00 c c 1300.04/1300.00 c ----------------------------------- 1300.04/1300.00 c # temps = 1299.960000 1300.04/1300.00 c # cleaningDB = 287 1300.04/1300.00 c # clause binaire = 0 1300.04/1300.00 c # literal removed by litRedundant = 63126613 1300.04/1300.00 c # literal removed by litRedundantBin = 0 1300.04/1300.00 c # init clause removed by simplify = 0 1300.04/1300.00 c # learnt clause removed by simplify = 0 1300.04/1300.00 c # une clause fausse était une apprise = 0 1300.04/1300.00 c # equivalence dectecte = 0 1300.04/1300.00 c # Memory used : 126.05 MB 1300.04/1300.00 c 1300.04/1300.00 c ######################## 1300.04/1300.00 c #### ## ### ## #### 1300.04/1300.00 c #### #### # ## #### #### 1300.04/1300.00 c #### ## ### ## ### 1300.04/1300.00 c ######################## 1300.04/1300.00 c # restart = 4093 1300.04/1300.00 c # conflit = 4264606 1300.04/1300.00 c # decision = 17742449 1300.04/1300.00 c # propagation = 2105304728 (1619515.006616 (prop/sec)) 1300.04/1300.00 c 1300.04/1300.00 c ######################## 1300.04/1300.00 c ### ### # ## ## ## 1300.04/1300.00 c ### # # # #### # ### ### 1300.04/1300.00 c ### # ### ## # ### ### 1300.04/1300.00 c ######################## 1300.04/1300.00 c # numtry = 4093 1300.04/1300.00 c # numflips = 38289522 1300.04/1300.00 c # maxSat = 77 1300.04/1300.00 c # freeFlip = 3762957 1300.04/1300.00 c # nbBoundary = 0 1300.04/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-3189750-1302707335/watcher-3189750-1302707335 -o /tmp/evaluation-result-3189750-1302707335/solver-3189750-1302707335 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189750-1302707335.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: 4.00 3.98 3.49 4/185 10603 /proc/meminfo: memFree=11923028/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 363149112 8912896 252 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10603/statm: 2176 252 211 178 0 69 0 [startup+0.090568 s] /proc/loadavg: 4.00 3.98 3.49 4/185 10603 /proc/meminfo: memFree=11923028/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 363149112 8912896 252 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10603/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.105591 s] /proc/loadavg: 4.00 3.98 3.49 4/185 10603 /proc/meminfo: memFree=11923028/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300534 s] /proc/loadavg: 4.00 3.98 3.49 4/185 10603 /proc/meminfo: memFree=11923028/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700461 s] /proc/loadavg: 4.00 3.98 3.49 4/185 10603 /proc/meminfo: memFree=11923028/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.50032 s] /proc/loadavg: 4.00 3.98 3.49 4/194 10618 /proc/meminfo: memFree=11834864/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=22576 CPUtime=1.4 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 4083 0 0 0 140 0 0 0 19 0 1 0 363149121 23117824 3993 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 5644 3993 136 12 0 4108 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 39984 [startup+3.101 s] /proc/loadavg: 4.00 3.98 3.49 5/198 10648 /proc/meminfo: memFree=11824656/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=24028 CPUtime=3 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 4442 0 0 0 300 0 0 0 25 0 1 0 363149121 24604672 4352 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 6007 4352 136 12 0 4471 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41436 [startup+6.30034 s] /proc/loadavg: 4.00 3.98 3.49 5/198 10648 /proc/meminfo: memFree=11814116/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=26536 CPUtime=6.2 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 5044 0 0 0 620 0 0 0 25 0 1 0 363149121 27172864 4954 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223670 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 6634 4954 136 12 0 5098 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43944 [startup+12.7011 s] /proc/loadavg: 4.00 3.98 3.49 5/198 10648 /proc/meminfo: memFree=11801616/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=28912 CPUtime=12.6 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 5658 0 0 0 1260 0 0 0 25 0 1 0 363149121 29605888 5568 33554432000 4194304 4241092 140733406619424 18446744073709551615 4228339 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 7228 5568 136 12 0 5692 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46320 [startup+25.5005 s] /proc/loadavg: 4.00 3.98 3.50 5/198 10649 /proc/meminfo: memFree=11784148/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=30896 CPUtime=25.4 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 6148 0 0 0 2540 0 0 0 25 0 1 0 363149121 31637504 6058 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223885 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 7724 6058 136 12 0 6188 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48304 [startup+51.1005 s] /proc/loadavg: 4.00 3.98 3.51 5/198 10649 /proc/meminfo: memFree=11755692/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=38584 CPUtime=51 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 8077 0 0 0 5099 1 0 0 25 0 1 0 363149121 39510016 7974 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 9646 7974 136 12 0 8110 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55992 [startup+102.307 s] /proc/loadavg: 4.00 3.98 3.54 5/198 10651 /proc/meminfo: memFree=11718968/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=55320 CPUtime=102.21 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 12375 0 0 0 10219 2 0 0 25 0 1 0 363149121 56647680 12161 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223993 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 13830 12161 136 12 0 12294 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 72728 [startup+162.3 s] /proc/loadavg: 4.00 3.98 3.56 5/198 10652 /proc/meminfo: memFree=11690432/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=55384 CPUtime=162.21 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 12600 0 0 0 16218 3 0 0 25 0 1 0 363149121 56713216 12177 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 13846 12177 136 12 0 12310 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 72792 [startup+222.3 s] /proc/loadavg: 4.00 3.98 3.59 5/198 10654 /proc/meminfo: memFree=11663624/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=73236 CPUtime=222.21 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 17250 0 0 0 22218 3 0 0 25 0 1 0 363149121 74993664 16646 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223993 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 18309 16646 136 12 0 16773 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 90644 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=11454172/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=111244 CPUtime=762.24 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 28862 0 0 0 76217 7 0 0 25 0 1 0 363149121 113913856 26139 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 27811 26139 136 12 0 26275 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 128652 [startup+822.3 s] /proc/loadavg: 4.02 4.01 3.77 5/198 10670 /proc/meminfo: memFree=11445984/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=111148 CPUtime=822.24 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 29142 0 0 0 82216 8 0 0 25 0 1 0 363149121 113815552 26119 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 27787 26119 136 12 0 26251 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 128556 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.78 5/198 10672 /proc/meminfo: memFree=11440020/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=111308 CPUtime=882.24 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 29436 0 0 0 88216 8 0 0 25 0 1 0 363149121 113979392 26156 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 27827 26156 136 12 0 26291 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 128716 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.79 5/198 10673 /proc/meminfo: memFree=11435152/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=111340 CPUtime=942.24 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 29662 0 0 0 94216 8 0 0 25 0 1 0 363149121 114012160 26163 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223698 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 27835 26163 136 12 0 26299 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 128748 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.80 5/198 10678 /proc/meminfo: memFree=11422292/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=117360 CPUtime=1002.25 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 31409 0 0 0 100216 9 0 0 25 0 1 0 363149121 120176640 27685 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 29340 27685 136 12 0 27804 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 134768 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.81 5/198 10679 /proc/meminfo: memFree=11415708/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=117392 CPUtime=1062.25 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 31717 0 0 0 106215 10 0 0 25 0 1 0 363149121 120209408 27693 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 29348 27693 136 12 0 27812 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 134800 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 3.82 5/198 10681 /proc/meminfo: memFree=11412964/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=117360 CPUtime=1122.25 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 31978 0 0 0 112215 10 0 0 25 0 1 0 363149121 120176640 27686 33554432000 4194304 4241092 140733406619424 18446744073709551615 4227904 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 29340 27686 136 12 0 27804 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 134768 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.83 5/198 10683 /proc/meminfo: memFree=11411328/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=117456 CPUtime=1182.25 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 32291 0 0 0 118215 10 0 0 25 0 1 0 363149121 120274944 27709 33554432000 4194304 4241092 140733406619424 18446744073709551615 4221285 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 29364 27709 136 12 0 27828 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 134864 [startup+1242.3 s] /proc/loadavg: 4.08 4.02 3.84 5/198 10684 /proc/meminfo: memFree=11410428/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=117456 CPUtime=1242.26 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 32580 0 0 0 124215 11 0 0 25 0 1 0 363149121 120274944 27707 33554432000 4194304 4241092 140733406619424 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 29364 27707 136 12 0 27828 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 134864 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.03 4.01 3.85 4/195 10688 /proc/meminfo: memFree=11517312/32951124 swapFree=67111528/67111528 [pid=10603] ppid=10601 vsize=8704 CPUtime=0.08 cores=0,2 /proc/10603/stat : 10603 (esg_static.sh) S 10601 10603 10403 0 -1 4202496 348 1396 0 0 0 0 8 0 25 0 1 0 363149112 8912896 255 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338383616 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/10603/statm: 2176 255 211 178 0 69 0 [pid=10615] ppid=10603 vsize=8704 CPUtime=0 cores=0,2 /proc/10615/stat : 10615 (esg_static.sh) S 10603 10603 10403 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 1 0 363149121 8912896 134 33554432000 4194304 4922060 140735427381936 18446744073709551615 270338202757 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/10615/statm: 2176 134 90 178 0 69 0 [pid=10616] ppid=10615 vsize=129068 CPUtime=1299.96 cores=0,2 /proc/10616/stat : 10616 (sathys) R 10615 10603 10403 0 -1 4202496 35648 0 0 0 129985 11 0 0 25 0 1 0 363149121 132165632 30601 33554432000 4194304 4241092 140733406619424 18446744073709551615 4228319 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/10616/statm: 32267 30601 136 12 0 30731 0 Current children cumulated CPU time (s) 1300.04 Current children cumulated vsize (KiB) 146476 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 10603 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=87986 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.091985 # while last known CPU time is 1300.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.04 CPU user time (s): 1299.93 CPU system time (s): 0.11 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 146572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.087986 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2095 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= 10 involuntary context switches= 5 runsolver used 2.20066 second user time and 4.92025 second system time The end
Begin job on node143 at 2011-04-13 17:08:55 IDJOB=3189750 IDBENCH=82681 IDSOLVER=1610 FILE ID=node143/3189750-1302707335 RUNJOBID= node143-1302706034-10421 PBS_JOBID= 12981432 Free space on /tmp= 71324 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189750-1302707335/watcher-3189750-1302707335 -o /tmp/evaluation-result-3189750-1302707335/solver-3189750-1302707335 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189750-1302707335.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= c57904e3ea235f276cacd03d81f1155b RANDOM SEED=749081327 node143.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 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.75 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.846 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.846 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.74 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.846 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: 11923300 kB Buffers: 718600 kB Cached: 19794700 kB SwapCached: 0 kB Active: 9876720 kB Inactive: 10713652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 11923300 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6620 kB Writeback: 0 kB AnonPages: 77184 kB Mapped: 15468 kB Slab: 373856 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 252320 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= 71316 MiB End job on node143 at 2011-04-13 17:30:35