| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1300.04 | 1300.01 |
| Name | random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf |
| MD5SUM | 55b0e04e9e653549cf2eabcc194b78ff |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.142977 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 150 |
| Number of clauses | 3195 |
| Sum of the clauses size | 15975 |
| Maximum clause length | 5 |
| Minimum clause length | 5 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 3195 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 static 0.00/0.00 HOME/instance-3189846-1302708536.cnf 0.00/0.00 c Parsing... 0.00/0.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 3195 15975 | 958 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c Result : #vars: 150 #clauses: 3195 #literals: 15975 0.00/0.00 c CPU time: 0.001999 s 0.00/0.00 c ============================================================================== 0.00/0.01 c 0.00/0.01 c seed = 0, numatom = 150, numclause = 3195, numliterals = 15975 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.01 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.02 c | 2 | 0.0 | 0 | 502 | 0 | 1 | 10334 | 824 || 2 | 1359 | 7/ 7 | 264 | 0 | 0.00/0.03 c | 4 | 0.0 | 0 | 810 | 0 | 2 | 23042 | 1722 || 4 | 2753 | 7/ 7 | 572 | 0 | 0.00/0.04 c | 6 | 0.0 | 0 | 1119 | 198 | 3 | 38052 | 2779 || 6 | 4158 | 5/ 5 | 891 | 0 | 0.00/0.06 c | 8 | 0.0 | 0 | 1512 | 402 | 4 | 55348 | 3820 || 8 | 5991 | 5/ 5 | 1310 | 0 | 0.00/0.08 c | 11 | 0.0 | 0 | 1901 | 295 | 5 | 74718 | 5191 || 11 | 8353 | 5/ 5 | 1829 | 0 | 0.00/0.11 c | 14 | 0.0 | 0 | 2335 | 494 | 6 | 96255 | 6644 || 14 | 11259 | 5/ 5 | 2552 | 0 | 0.00/0.14 c | 15 | 0.0 | 0 | 2777 | 993 | 7 | 119033 | 8041 || 15 | 14373 | 5/ 5 | 3385 | 0 | 0.00/0.17 c | 16 | 0.0 | 0 | 3024 | 92 | 8 | 145982 | 9546 || 16 | 15469 | 5/ 5 | 3496 | 0 | 0.00/0.20 c | 21 | 0.0 | 0 | 3335 | 82 | 9 | 174187 | 11502 || 21 | 18819 | 5/ 5 | 4222 | 0 | 0.00/0.25 c | 25 | 0.0 | 0 | 3632 | 176 | 10 | 203918 | 13487 || 25 | 22151 | 4/ 4 | 5045 | 0 | 0.00/0.29 c | 29 | 0.0 | 0 | 3901 | 574 | 11 | 237386 | 15605 || 29 | 26156 | 4/ 4 | 5882 | 0 | 0.00/0.34 c | 30 | 0.0 | 0 | 4185 | 374 | 12 | 271119 | 17651 || 30 | 29760 | 4/ 4 | 6717 | 0 | 0.00/0.40 c | 31 | 0.1 | 0 | 4613 | 2079 | 13 | 306827 | 19804 || 31 | 35964 | 3/ 3 | 8375 | 0 | 0.00/0.45 c | 31 | 0.1 | 0 | 5039 | 1479 | 14 | 345655 | 21889 || 31 | 36931 | 3/ 3 | 8381 | 0 | 0.00/0.52 c | 38 | 0.1 | 0 | 5297 | 373 | 15 | 388154 | 24706 || 38 | 42073 | 3/ 3 | 9645 | 0 | 0.00/0.59 c | 44 | 0.1 | 0 | 5632 | 258 | 16 | 431756 | 27638 || 44 | 46466 | 3/ 3 | 10480 | 0 | 0.00/0.66 c | 46 | 0.1 | 0 | 5977 | 251 | 17 | 475470 | 30447 || 46 | 51850 | 3/ 3 | 11728 | 0 | 0.00/0.74 c | 53 | 0.1 | 0 | 6389 | 234 | 18 | 523744 | 33651 || 53 | 56668 | 3/ 3 | 12967 | 0 | 0.00/0.82 c | 59 | 0.1 | 0 | 6705 | 125 | 19 | 572756 | 37002 || 59 | 61410 | 3/ 3 | 13810 | 0 | 0.00/0.91 c | 61 | 0.1 | 0 | 7097 | 723 | 20 | 624840 | 40016 || 61 | 66758 | 3/ 3 | 15060 | 0 | 0.99/1.01 c | 62 | 0.1 | 0 | 7401 | 823 | 21 | 677775 | 43142 || 62 | 73782 | 3/ 3 | 16717 | 0 | 1.09/1.13 c | 63 | 0.1 | 0 | 7699 | 3425 | 22 | 733941 | 46296 || 63 | 83785 | 3/ 3 | 20004 | 0 | 1.19/1.24 c | 63 | 0.1 | 0 | 7960 | 1323 | 23 | 790807 | 49474 || 63 | 87049 | 3/ 3 | 20032 | 0 | 1.29/1.34 c | 67 | 0.1 | 0 | 8275 | 22 | 24 | 852636 | 53080 || 67 | 89502 | 3/ 3 | 20557 | 0 | 1.39/1.47 c | 76 | 0.1 | 0 | 8553 | 4 | 25 | 914362 | 57343 || 76 | 96589 | 3/ 3 | 22126 | 0 | 1.49/1.59 c | 80 | 0.1 | 0 | 8828 | 96 | 26 | 979071 | 61253 || 80 | 103018 | 3/ 3 | 23592 | 0 | 1.69/1.73 c | 90 | 0.1 | 0 | 9260 | 176 | 27 | 1046332 | 65744 || 90 | 110488 | 3/ 3 | 25266 | 0 | 1.79/1.88 c | 94 | 0.2 | 0 | 9763 | 1078 | 28 | 1113487 | 69885 || 94 | 120196 | 3/ 3 | 28345 | 0 | 1.99/2.02 c | 96 | 0.1 | 0 | 10145 | 74 | 29 | 1182597 | 74008 || 96 | 124741 | 3/ 3 | 28585 | 0 | 2.09/2.19 c | 107 | 0.2 | 0 | 10593 | 251 | 30 | 1254377 | 78992 || 107 | 133187 | 3/ 3 | 30456 | 0 | 2.29/2.36 c | 113 | 0.2 | 0 | 10877 | 238 | 31 | 1330511 | 83614 || 113 | 140843 | 3/ 3 | 32251 | 0 | 2.49/2.55 c | 123 | 0.2 | 0 | 11304 | 17 | 32 | 1406965 | 88783 || 123 | 150020 | 3/ 3 | 34238 | 0 | 2.69/2.74 c | 125 | 0.2 | 0 | 11648 | 118 | 33 | 1484268 | 93516 || 125 | 160603 | 3/ 3 | 36752 | 0 | 2.89/2.94 c | 126 | 0.2 | 0 | 11965 | 3919 | 34 | 1565083 | 98150 || 126 | 172431 | 3/ 3 | 40039 | 0 | 3.09/3.12 c | 126 | 0.2 | 0 | 12473 | 3020 | 35 | 1648610 | 102802 || 126 | 174675 | 3/ 3 | 40065 | 0 | 3.30/3.38 c | 127 | 0.3 | 0 | 12660 | 7022 | 36 | 1729501 | 107749 || 127 | 195605 | 3/ 3 | 46677 | 0 | 3.59/3.63 c | 127 | 0.2 | 0 | 13016 | 1519 | 37 | 1813657 | 112684 || 127 | 202074 | 3/ 3 | 46729 | 0 | 3.79/3.85 c | 127 | 0.2 | 0 | 13132 | 5720 | 38 | 1907498 | 117462 || 127 | 202074 | 3/ 3 | 46729 | 0 | 3.99/4.08 c | 139 | 0.2 | 0 | 13427 | 96 | 39 | 1999412 | 123598 || 139 | 210793 | 3/ 3 | 48611 | 0 | 4.29/4.34 c | 148 | 0.2 | 0 | 13832 | 172 | 40 | 2094176 | 129603 || 148 | 221110 | 3/ 3 | 50910 | 0 | 4.59/4.60 c | 157 | 0.3 | 0 | 14151 | 459 | 41 | 2189165 | 135770 || 157 | 232033 | 3/ 3 | 53415 | 0 | 4.79/4.87 c | 163 | 0.3 | 0 | 14697 | 157 | 42 | 2286094 | 141803 || 163 | 242063 | 3/ 3 | 55695 | 0 | 5.09/5.16 c | 173 | 0.3 | 0 | 15233 | 128 | 43 | 2386170 | 148240 || 173 | 254213 | 3/ 3 | 58410 | 0 | 5.40/5.47 c | 187 | 0.3 | 0 | 15842 | 302 | 44 | 2488432 | 155059 || 187 | 264804 | 3/ 3 | 60911 | 0 | 5.69/5.76 c | 189 | 0.3 | 0 | 16086 | 998 | 45 | 2591520 | 161194 || 189 | 275966 | 3/ 3 | 63403 | 0 | 5.99/6.08 c | 190 | 0.3 | 0 | 16289 | 1198 | 46 | 2695604 | 167326 || 190 | 289906 | 3/ 3 | 66739 | 0 | 6.39/6.41 c | 200 | 0.3 | 0 | 16538 | 85 | 47 | 2806621 | 174178 || 200 | 297558 | 3/ 3 | 68394 | 0 | 6.69/6.76 c | 212 | 0.3 | 0 | 16717 | 469 | 48 | 2917833 | 181379 || 212 | 310174 | 3/ 3 | 71288 | 0 | 7.09/7.11 c | 221 | 0.3 | 0 | 16986 | 1544 | 49 | 3029987 | 188509 || 221 | 324475 | 3/ 3 | 75004 | 0 | 7.39/7.47 c | 231 | 0.4 | 0 | 17444 | 208 | 50 | 3143482 | 195850 || 231 | 333839 | 3/ 3 | 76671 | 0 | 7.79/7.86 c | 243 | 0.4 | 0 | 17676 | 580 | 51 | 3262285 | 203365 || 243 | 346857 | 3/ 3 | 79584 | 0 | 8.19/8.25 c | 252 | 0.4 | 0 | 18131 | 1958 | 52 | 3379326 | 210810 || 252 | 361927 | 2/ 2 | 83325 | 0 | 8.59/8.66 c | 253 | 0.4 | 0 | 18670 | 455 | 53 | 3501973 | 217749 || 253 | 377755 | 2/ 2 | 86652 | 0 | 8.99/9.09 c | 254 | 0.4 | 0 | 18759 | 6256 | 54 | 3623035 | 224676 || 254 | 396445 | 2/ 2 | 93201 | 0 | 9.49/9.56 c | 254 | 0.5 | 0 | 19245 | 2557 | 55 | 3749328 | 231744 || 254 | 405320 | 2/ 2 | 93280 | 0 | 9.99/10.04 c | 255 | 0.5 | 0 | 19436 | 8558 | 56 | 3878035 | 238902 || 255 | 431443 | 1/ 1 | 106303 | 0 | 10.49/10.54 c | 255 | 0.5 | 0 | 19643 | 6101 | 57 | 4001097 | 246489 || 255 | 448382 | 1/ 1 | 106454 | 0 | 10.99/11.08 c | 255 | 0.5 | 0 | 19619 | 1659 | 58 | 4129126 | 253963 || 255 | 460275 | 1/ 1 | 106553 | 0 | 11.39/11.49 c | 255 | 0.4 | 0 | 19516 | 7962 | 59 | 4264335 | 261199 || 255 | 460275 | 1/ 1 | 106553 | 0 | 11.89/11.93 c | 261 | 0.4 | 0 | 20058 | 154 | 60 | 4403383 | 269156 || 261 | 464176 | 1/ 1 | 107390 | 0 | 12.39/12.41 c | 277 | 0.5 | 0 | 20481 | 223 | 61 | 4543035 | 278179 || 277 | 479866 | 1/ 1 | 111155 | 0 | 12.89/12.94 c | 286 | 0.5 | 0 | 21027 | 199 | 62 | 4681682 | 286826 || 286 | 497177 | 1/ 1 | 114932 | 0 | 13.49/13.50 c | 301 | 0.6 | 0 | 21450 | 883 | 63 | 4824902 | 295960 || 301 | 510890 | 1/ 1 | 118272 | 0 | 13.99/14.06 c | 316 | 0.6 | 0 | 22410 | 43 | 64 | 4969363 | 305364 || 316 | 526597 | 1/ 1 | 121624 | 0 | 14.59/14.62 c | 318 | 0.6 | 0 | 22893 | 4541 | 65 | 5111258 | 313773 || 318 | 546869 | 1/ 1 | 126577 | 0 | 15.09/15.19 c | 330 | 0.6 | 0 | 23229 | 6 | 66 | 5261526 | 322983 || 330 | 556318 | 1/ 1 | 128458 | 0 | 15.79/15.85 c | 347 | 0.7 | 0 | 22952 | 367 | 67 | 5413563 | 332728 || 347 | 573508 | 1/ 1 | 132425 | 0 | 16.39/16.46 c | 356 | 0.6 | 0 | 23573 | 358 | 68 | 5565053 | 342135 || 356 | 589505 | 1/ 1 | 136167 | 0 | 17.09/17.13 c | 373 | 0.7 | 0 | 24050 | 130 | 69 | 5718976 | 352320 || 373 | 605593 | 1/ 1 | 139700 | 0 | 17.79/17.80 c | 381 | 0.7 | 0 | 24388 | 2003 | 70 | 5874683 | 361806 || 381 | 627672 | 1/ 1 | 146439 | 0 | 18.39/18.49 c | 382 | 0.7 | 0 | 24965 | 4703 | 71 | 6029632 | 370834 || 382 | 649960 | 1/ 1 | 153007 | 0 | 19.09/19.18 c | 382 | 0.7 | 0 | 25491 | 2706 | 72 | 6184518 | 379947 || 382 | 663123 | 1/ 1 | 153119 | 0 | 19.89/19.92 c | 395 | 0.7 | 0 | 25933 | 170 | 73 | 6349541 | 390093 || 395 | 672600 | 1/ 1 | 155199 | 0 | 20.59/20.68 c | 412 | 0.8 | 0 | 26038 | 940 | 74 | 6512095 | 400857 || 412 | 691668 | 1/ 1 | 159786 | 0 | 21.39/21.43 c | 426 | 0.8 | 0 | 26357 | 115 | 75 | 6675640 | 411357 || 426 | 708072 | 1/ 1 | 163517 | 0 | 22.19/22.24 c | 443 | 0.8 | 0 | 26913 | 768 | 76 | 6845360 | 422387 || 443 | 727808 | 1/ 1 | 168108 | 0 | 22.99/23.04 c | 445 | 0.8 | 0 | 27267 | 466 | 77 | 7014568 | 432244 || 445 | 750274 | 1/ 1 | 173041 | 0 | 23.79/23.86 c | 460 | 0.8 | 0 | 27833 | 1036 | 78 | 7189406 | 443043 || 460 | 764919 | 1/ 1 | 176375 | 0 | 24.69/24.74 c | 476 | 0.9 | 0 | 28266 | 1706 | 79 | 7364757 | 454319 || 476 | 785717 | 1/ 1 | 181382 | 0 | 25.59/25.64 c | 491 | 0.9 | 0 | 28674 | 478 | 80 | 7544502 | 465609 || 491 | 803046 | 1/ 1 | 184746 | 0 | 26.48/26.56 c | 507 | 0.9 | 0 | 29224 | 160 | 81 | 7723030 | 477113 || 507 | 824826 | 1/ 1 | 189725 | 0 | 27.39/27.41 c | 509 | 0.8 | 0 | 29566 | 3962 | 82 | 7904605 | 487520 || 509 | 852143 | 1/ 1 | 199614 | 0 | 28.29/28.34 c | 509 | 0.9 | 0 | 29988 | 3060 | 83 | 8087465 | 498033 || 509 | 867567 | 1/ 1 | 199753 | 0 | 29.29/29.39 c | 510 | 1.1 | 0 | 30170 | 11864 | 84 | 8271905 | 508512 || 510 | 902832 | 1/ 1 | 212759 | 0 | 30.49/30.52 c | 510 | 1.1 | 0 | 30360 | 1566 | 85 | 8450600 | 519402 || 510 | 922030 | 1/ 1 | 212946 | 0 | 31.38/31.45 c | 510 | 0.9 | 0 | 30026 | 10567 | 86 | 8644390 | 529639 || 510 | 922030 | 1/ 1 | 212946 | 0 | 32.48/32.56 c | 511 | 1.1 | 0 | 29981 | 19668 | 87 | 8830315 | 540601 || 511 | 982704 | 1/ 1 | 239078 | 0 | 33.78/33.81 c | 511 | 1.3 | 0 | 29703 | 9203 | 88 | 9018643 | 551796 || 511 | 1006826 | 1/ 1 | 239316 | 0 | 34.98/35.07 c | 511 | 1.2 | 0 | 29233 | 9301 | 89 | 9207476 | 563219 || 511 | 1031258 | 1/ 1 | 239551 | 0 | 35.88/35.99 c | 511 | 0.9 | 0 | 29160 | 9171 | 90 | 9414063 | 574002 || 511 | 1031894 | 1/ 1 | 239557 | 0 | 36.88/36.99 c | 511 | 1.0 | 0 | 29623 | 18672 | 91 | 9621136 | 584817 || 511 | 1031894 | 1/ 1 | 239557 | 0 | 38.08/38.12 c | 520 | 1.1 | 0 | 30029 | 167 | 92 | 9830373 | 596510 || 520 | 1038442 | 1/ 1 | 241016 | 0 | 39.18/39.25 c | 541 | 1.1 | 0 | 30417 | 306 | 93 | 10034627 | 609903 || 541 | 1061453 | 1/ 1 | 246219 | 0 | 40.38/40.44 c | 557 | 1.2 | 0 | 31305 | 477 | 94 | 10241930 | 622899 || 557 | 1083578 | 1/ 1 | 251196 | 0 | 41.48/41.54 c | 573 | 1.1 | 0 | 32792 | 1551 | 95 | 10451057 | 635988 || 573 | 1105075 | 1/ 1 | 256186 | 0 | 42.68/42.70 c | 586 | 1.2 | 0 | 32970 | 24 | 96 | 10660424 | 648964 || 586 | 1127264 | 1/ 1 | 261403 | 0 | 43.88/43.91 c | 605 | 1.2 | 0 | 33990 | 1587 | 97 | 10872779 | 662669 || 605 | 1153471 | 1/ 1 | 267831 | 0 | 45.18/45.20 c | 626 | 1.3 | 0 | 34452 | 242 | 98 | 11089783 | 676602 || 626 | 1174055 | 1/ 1 | 272021 | 0 | 46.48/46.50 c | 637 | 1.3 | 0 | 34119 | 3627 | 99 | 11307492 | 689932 || 637 | 1202914 | 1/ 1 | 279457 | 0 | 47.68/47.79 c | 638 | 1.3 | 0 | 34645 | 9228 | 100 | 11527465 | 702578 || 638 | 1232548 | 1/ 1 | 286095 | 0 | 48.98/49.05 c | 651 | 1.3 | 0 | 34656 | 204 | 101 | 11752263 | 715907 || 651 | 1242950 | 1/ 1 | 288216 | 0 | 50.38/50.45 c | 669 | 1.4 | 0 | 35237 | 2259 | 102 | 11976508 | 730094 || 669 | 1270303 | 1/ 1 | 294472 | 0 | 51.78/51.87 c | 692 | 1.4 | 0 | 35797 | 22 | 103 | 12203812 | 744694 || 692 | 1291624 | 1/ 1 | 299155 | 0 | 53.18/53.23 c | 701 | 1.4 | 0 | 36407 | 510 | 104 | 12425695 | 758340 || 701 | 1320867 | 1/ 1 | 306113 | 0 | 54.68/54.76 c | 723 | 1.5 | 0 | 36659 | 359 | 105 | 12658466 | 772982 || 723 | 1340717 | 1/ 1 | 310711 | 0 | 56.28/56.30 c | 742 | 1.5 | 0 | 37217 | 116 | 106 | 12889641 | 787640 || 742 | 1365765 | 1/ 1 | 316157 | 0 | 57.78/57.85 c | 763 | 1.5 | 0 | 38287 | 2189 | 107 | 13121647 | 802726 || 763 | 1394204 | 1/ 1 | 322831 | 0 | 59.28/59.31 c | 765 | 1.5 | 0 | 38612 | 6186 | 108 | 13354857 | 816305 || 765 | 1427252 | 1/ 1 | 332693 | 0 | 60.78/60.86 c | 766 | 1.6 | 0 | 38820 | 7888 | 109 | 13588640 | 829746 || 766 | 1461700 | 1/ 1 | 345789 | 0 | 62.48/62.50 c | 766 | 1.6 | 0 | 39234 | 89 | 110 | 13813843 | 843949 || 766 | 1491943 | 1/ 1 | 346060 | 0 | 63.99/64.08 c | 766 | 1.6 | 0 | 39272 | 11591 | 111 | 14061536 | 857044 || 766 | 1491943 | 1/ 1 | 346060 | 0 | 65.69/65.77 c | 794 | 1.7 | 0 | 39147 | 153 | 112 | 14303679 | 873334 || 794 | 1516489 | 1/ 1 | 351513 | 0 | 67.29/67.36 c | 812 | 1.6 | 0 | 39354 | 417 | 113 | 14545926 | 888868 || 812 | 1543589 | 1/ 1 | 357764 | 0 | 68.99/69.09 c | 829 | 1.7 | 0 | 39818 | 3384 | 114 | 14791166 | 904447 || 829 | 1575281 | 1/ 1 | 366073 | 0 | 70.79/70.80 c | 848 | 1.7 | 0 | 40691 | 258 | 115 | 15036956 | 919983 || 848 | 1595682 | 1/ 1 | 369960 | 0 | 72.59/72.63 c | 871 | 1.8 | 0 | 40936 | 210 | 116 | 15288142 | 936216 || 871 | 1622751 | 1/ 1 | 376204 | 0 | 74.39/74.48 c | 891 | 1.8 | 0 | 42115 | 864 | 117 | 15538825 | 952410 || 891 | 1651570 | 1/ 1 | 382765 | 0 | 76.19/76.21 c | 893 | 1.7 | 0 | 43155 | 8268 | 118 | 15788281 | 967222 || 893 | 1688877 | 1/ 1 | 392690 | 0 | 77.99/78.01 c | 907 | 1.8 | 0 | 43065 | 137 | 119 | 16045535 | 982859 || 907 | 1703517 | 1/ 1 | 395224 | 0 | 79.99/80.04 c | 928 | 2.0 | 0 | 43292 | 0 | 120 | 16307059 | 999196 || 928 | 1730748 | 1/ 1 | 401577 | 0 | 82.09/82.13 c | 955 | 2.1 | 0 | 43732 | 1353 | 121 | 16565975 | 1016371 || 955 | 1761900 | 1/ 1 | 409347 | 0 | 83.99/84.02 c | 968 | 1.9 | 0 | 44120 | 28 | 122 | 16827065 | 1032436 || 968 | 1787036 | 1/ 1 | 414582 | 0 | 85.89/85.97 c | 988 | 1.9 | 0 | 44348 | 91 | 123 | 17088882 | 1049275 || 988 | 1815552 | 1/ 1 | 421139 | 0 | 88.08/88.10 c | 1018 | 2.1 | 0 | 44738 | 922 | 124 | 17353509 | 1066977 || 1018 | 1847227 | 1/ 1 | 429316 | 0 | 89.98/90.03 c | 1020 | 1.9 | 0 | 45301 | 6619 | 125 | 17619936 | 1082667 || 1020 | 1885511 | 1/ 1 | 439224 | 0 | 91.78/91.82 c | 1021 | 1.8 | 0 | 45674 | 10021 | 126 | 17884074 | 1098101 || 1021 | 1924423 | 1/ 1 | 452361 | 0 | 93.78/93.84 c | 1021 | 2.0 | 0 | 46097 | 3923 | 127 | 18151157 | 1113607 || 1021 | 1948925 | 1/ 1 | 452563 | 0 | 95.78/95.85 c | 1022 | 2.0 | 0 | 45913 | 17124 | 128 | 18423680 | 1128989 || 1022 | 2002340 | 1/ 1 | 478622 | 0 | 98.08/98.14 c | 1022 | 2.3 | 0 | 45972 | 13303 | 129 | 18684090 | 1145380 || 1022 | 2037468 | 1/ 1 | 478951 | 0 | 100.38/100.48 c | 1022 | 2.3 | 0 | 45947 | 5419 | 130 | 18952118 | 1161336 || 1022 | 2058096 | 1/ 1 | 479141 | 0 | 102.39/102.47 c | 1022 | 2.0 | 0 | 45130 | 18920 | 131 | 19230489 | 1176610 || 1022 | 2058096 | 1/ 1 | 479141 | 0 | 104.79/104.83 c | 1023 | 2.4 | 0 | 45056 | 32522 | 132 | 19507490 | 1192515 || 1023 | 2161192 | 1/ 1 | 531241 | 0 | 107.39/107.48 c | 1023 | 2.7 | 0 | 45020 | 13702 | 133 | 19774377 | 1209242 || 1023 | 2196619 | 1/ 1 | 531569 | 0 | 110.19/110.22 c | 1023 | 2.7 | 0 | 44973 | 13802 | 134 | 20040610 | 1226005 || 1023 | 2232304 | 1/ 1 | 531879 | 0 | 113.08/113.11 c | 1023 | 2.9 | 0 | 44200 | 13904 | 135 | 20307478 | 1242868 || 1023 | 2267686 | 1/ 1 | 532210 | 0 | 115.39/115.40 c | 1023 | 2.3 | 0 | 43979 | 11130 | 136 | 20597125 | 1258918 || 1023 | 2275052 | 1/ 1 | 532277 | 0 | 117.59/117.65 c | 1023 | 2.2 | 0 | 43525 | 25231 | 137 | 20892437 | 1274747 || 1023 | 2275052 | 1/ 1 | 532277 | 0 | 119.68/119.73 c | 1023 | 2.1 | 0 | 44092 | 39432 | 138 | 21189572 | 1290723 || 1023 | 2275052 | 1/ 1 | 532277 | 0 | 121.99/122.01 c | 1031 | 2.3 | 0 | 44240 | 14 | 139 | 21491920 | 1307599 || 1031 | 2281183 | 1/ 1 | 533630 | 0 | 124.08/124.15 c | 1058 | 2.1 | 0 | 45494 | 247 | 140 | 21791894 | 1327098 || 1058 | 2313845 | 1/ 1 | 541119 | 0 | 126.39/126.48 c | 1085 | 2.3 | 0 | 47451 | 891 | 141 | 22096657 | 1346746 || 1085 | 2348242 | 1/ 1 | 548939 | 0 | 128.78/128.85 c | 1106 | 2.4 | 0 | 47677 | 157 | 142 | 22397786 | 1366048 || 1106 | 2380063 | 1/ 1 | 556267 | 0 | 131.08/131.16 c | 1132 | 2.3 | 0 | 48609 | 500 | 143 | 22704424 | 1385664 || 1132 | 2413616 | 1/ 1 | 563970 | 0 | 133.38/133.49 c | 1149 | 2.3 | 0 | 50266 | 1651 | 144 | 23012110 | 1404838 || 1149 | 2449149 | 1/ 1 | 572251 | 0 | 135.88/135.94 c | 1153 | 2.5 | 0 | 51162 | 248 | 145 | 23322538 | 1422735 || 1153 | 2478125 | 1/ 1 | 579314 | 0 | 138.38/138.49 c | 1181 | 2.5 | 0 | 49886 | 1084 | 146 | 23630089 | 1443154 || 1181 | 2512907 | 1/ 1 | 587255 | 0 | 140.98/141.06 c | 1212 | 2.6 | 0 | 50484 | 126 | 147 | 23938855 | 1463863 || 1212 | 2549343 | 1/ 1 | 595577 | 0 | 143.58/143.67 c | 1232 | 2.6 | 0 | 51160 | 287 | 148 | 24251817 | 1483407 || 1232 | 2580682 | 1/ 1 | 602740 | 0 | 146.48/146.50 c | 1260 | 2.8 | 0 | 51371 | 30 | 149 | 24573027 | 1503994 || 1260 | 2615231 | 1/ 1 | 610658 | 0 | 148.98/149.08 c | 1276 | 2.6 | 0 | 51954 | 2710 | 150 | 24890507 | 1523714 || 1276 | 2650475 | 1/ 1 | 618876 | 0 | 151.69/151.74 c | 1278 | 2.7 | 0 | 52715 | 8610 | 151 | 25208107 | 1542132 || 1278 | 2705593 | 1/ 1 | 638509 | 0 | 154.38/154.47 c | 1278 | 2.7 | 0 | 53216 | 5010 | 152 | 25523438 | 1560878 || 1278 | 2733327 | 1/ 1 | 638746 | 0 | 157.29/157.36 c | 1299 | 2.9 | 0 | 53739 | 74 | 153 | 25850684 | 1580805 || 1299 | 2752113 | 1/ 1 | 642937 | 0 | 160.28/160.30 c | 1330 | 2.9 | 0 | 53902 | 113 | 154 | 26179987 | 1602098 || 1330 | 2788251 | 1/ 1 | 651324 | 0 | 162.88/162.96 c | 1346 | 2.7 | 0 | 54314 | 184 | 155 | 26512020 | 1622279 || 1346 | 2823084 | 1/ 1 | 659394 | 0 | 165.78/165.87 c | 1377 | 2.9 | 0 | 54666 | 126 | 156 | 26842488 | 1643910 || 1377 | 2859105 | 1/ 1 | 667703 | 0 | 168.88/168.91 c | 1404 | 3.1 | 0 | 55151 | 2640 | 157 | 27173132 | 1665287 || 1404 | 2900928 | 1/ 1 | 678662 | 0 | 171.49/171.60 c | 1405 | 2.7 | 0 | 55894 | 4436 | 158 | 27506365 | 1684547 || 1405 | 2933844 | 1/ 1 | 685364 | 0 | 174.68/174.80 c | 1436 | 3.2 | 0 | 56205 | 2268 | 159 | 27841657 | 1706498 || 1436 | 2969826 | 1/ 1 | 693704 | 0 | 177.78/177.89 c | 1467 | 3.1 | 0 | 56588 | 191 | 160 | 28176515 | 1728657 || 1467 | 3006459 | 1/ 1 | 702022 | 0 | 180.78/180.84 c | 1490 | 3.0 | 0 | 57232 | 244 | 161 | 28515169 | 1750091 || 1490 | 3040646 | 1/ 1 | 709920 | 0 | 184.09/184.14 c | 1523 | 3.3 | 0 | 57627 | 53 | 162 | 28860930 | 1772563 || 1523 | 3078075 | 1/ 1 | 718481 | 0 | 187.18/187.26 c | 1532 | 3.1 | 0 | 58085 | 6633 | 163 | 29194992 | 1793341 || 1532 | 3125992 | 1/ 1 | 731903 | 0 | 190.49/190.58 c | 1533 | 3.3 | 0 | 58576 | 13834 | 164 | 29541354 | 1813358 || 1533 | 3174977 | 1/ 1 | 745118 | 0 | 193.88/193.95 c | 1533 | 3.4 | 0 | 59011 | 11535 | 165 | 29890559 | 1832843 || 1533 | 3189474 | 1/ 1 | 745229 | 0 | 197.68/197.76 c | 1534 | 3.8 | 0 | 58689 | 28537 | 166 | 30220453 | 1853556 || 1534 | 3273043 | 1/ 1 | 771554 | 0 | 201.78/201.81 c | 1534 | 4.1 | 0 | 58637 | 7236 | 167 | 30557059 | 1873757 || 1534 | 3299311 | 1/ 1 | 771821 | 0 | 205.48/205.56 c | 1534 | 3.8 | 0 | 58213 | 24437 | 168 | 30915037 | 1893021 || 1534 | 3299311 | 1/ 1 | 771821 | 0 | 209.08/209.17 c | 1566 | 3.6 | 0 | 56970 | 1678 | 169 | 31268105 | 1916065 || 1566 | 3336298 | 1/ 1 | 780242 | 0 | 212.48/212.58 c | 1597 | 3.4 | 0 | 57424 | 3014 | 170 | 31621503 | 1939387 || 1597 | 3381251 | 1/ 1 | 791790 | 0 | 215.98/216.10 c | 1627 | 3.5 | 0 | 58760 | 438 | 171 | 31978628 | 1962595 || 1627 | 3415248 | 1/ 1 | 798505 | 0 | 219.78/219.81 c | 1659 | 3.7 | 0 | 59425 | 1981 | 172 | 32339479 | 1986280 || 1659 | 3457402 | 1/ 1 | 808496 | 0 | 222.98/223.06 c | 1661 | 3.2 | 0 | 60860 | 2877 | 173 | 32697099 | 2007513 || 1661 | 3500521 | 1/ 1 | 818480 | 0 | 226.68/226.78 c | 1692 | 3.7 | 0 | 61794 | 2199 | 174 | 33066042 | 2030906 || 1692 | 3536284 | 1/ 1 | 826808 | 0 | 230.28/230.36 c | 1724 | 3.6 | 0 | 62368 | 1635 | 175 | 33432824 | 2054737 || 1724 | 3578628 | 1/ 1 | 838375 | 0 | 234.19/234.27 c | 1754 | 3.9 | 0 | 62589 | 763 | 176 | 33804397 | 2078459 || 1754 | 3615217 | 1/ 1 | 845104 | 0 | 237.98/238.07 c | 1786 | 3.8 | 0 | 63201 | 1611 | 177 | 34173714 | 2102706 || 1786 | 3657629 | 1/ 1 | 855097 | 0 | 241.78/241.89 c | 1788 | 3.8 | 0 | 63656 | 3003 | 178 | 34549307 | 2124401 || 1788 | 3701533 | 1/ 1 | 865097 | 0 | 246.18/246.29 c | 1789 | 4.4 | 0 | 63967 | 2104 | 179 | 34920439 | 2146239 || 1789 | 3754533 | 1/ 1 | 878362 | 0 | 250.28/250.37 c | 1810 | 4.1 | 0 | 64410 | 160 | 180 | 35300511 | 2169323 || 1810 | 3772905 | 1/ 1 | 882523 | 0 | 254.28/254.39 c | 1848 | 4.0 | 0 | 64843 | 179 | 181 | 35678541 | 2194573 || 1848 | 3815151 | 1/ 1 | 892129 | 0 | 258.39/258.41 c | 1867 | 4.0 | 0 | 65206 | 650 | 182 | 36060910 | 2218263 || 1867 | 3856431 | 1/ 1 | 901677 | 0 | 262.48/262.50 c | 1906 | 4.1 | 0 | 65604 | 478 | 183 | 36445579 | 2243706 || 1906 | 3898577 | 1/ 1 | 911372 | 0 | 266.58/266.63 c | 1916 | 4.1 | 0 | 65735 | 8459 | 184 | 36826110 | 2267113 || 1916 | 3952749 | 1/ 1 | 924977 | 0 | 270.78/270.89 c | 1946 | 4.3 | 0 | 66532 | 497 | 185 | 37215228 | 2291649 || 1946 | 3983050 | 1/ 1 | 931668 | 0 | 275.08/275.17 c | 1978 | 4.3 | 0 | 67526 | 2243 | 186 | 37603413 | 2316843 || 1978 | 4027426 | 1/ 1 | 941649 | 0 | 279.39/279.46 c | 2008 | 4.3 | 0 | 67656 | 73 | 187 | 37991899 | 2342199 || 2008 | 4067542 | 1/ 1 | 950849 | 0 | 283.79/283.83 c | 2041 | 4.4 | 0 | 68078 | 2016 | 188 | 38378293 | 2367771 || 2041 | 4113220 | 1/ 1 | 961686 | 0 | 287.99/288.01 c | 2043 | 4.2 | 0 | 68394 | 4516 | 189 | 38770965 | 2390732 || 2043 | 4155410 | 1/ 1 | 971646 | 0 | 292.59/292.62 c | 2044 | 4.6 | 0 | 68886 | 4712 | 190 | 39163346 | 2413806 || 2044 | 4207968 | 1/ 1 | 984698 | 0 | 297.18/297.24 c | 2045 | 4.6 | 0 | 69053 | 24217 | 191 | 39556927 | 2436943 || 2045 | 4273268 | 1/ 1 | 1008909 | 0 | 302.18/302.23 c | 2045 | 5.0 | 0 | 68571 | 5413 | 192 | 39944116 | 2460525 || 2045 | 4309438 | 1/ 1 | 1009226 | 0 | 306.68/306.75 c | 2045 | 4.5 | 0 | 68151 | 25114 | 193 | 40354059 | 2482883 || 2045 | 4309438 | 1/ 1 | 1009226 | 0 | 311.68/311.74 c | 2046 | 5.0 | 0 | 67816 | 44915 | 194 | 40736852 | 2507093 || 2046 | 4443696 | 1/ 1 | 1061376 | 0 | 317.59/317.68 c | 2046 | 5.9 | 0 | 65888 | 19901 | 195 | 41112412 | 2531225 || 2046 | 4495153 | 1/ 1 | 1061865 | 0 | 323.49/323.57 c | 2046 | 5.9 | 0 | 64356 | 8017 | 196 | 41503459 | 2554735 || 2046 | 4526253 | 1/ 1 | 1062147 | 0 | 327.99/328.04 c | 2046 | 4.5 | 0 | 63639 | 28118 | 197 | 41924452 | 2577449 || 2046 | 4526253 | 1/ 1 | 1062147 | 0 | 332.89/332.97 c | 2046 | 4.9 | 0 | 64020 | 48319 | 198 | 42340803 | 2600185 || 2046 | 4526253 | 1/ 1 | 1062147 | 0 | 338.59/338.66 c | 2047 | 5.7 | 0 | 63242 | 68623 | 199 | 42743322 | 2624770 || 2047 | 4713104 | 1/ 1 | 1148830 | 0 | 344.79/344.83 c | 2047 | 6.2 | 0 | 62184 | 20401 | 200 | 43140500 | 2649824 || 2047 | 4766079 | 1/ 1 | 1149317 | 0 | 351.19/351.27 c | 2047 | 6.4 | 0 | 63739 | 20505 | 201 | 43531927 | 2674775 || 2047 | 4819508 | 1/ 1 | 1149776 | 0 | 358.39/358.48 c | 2047 | 7.2 | 0 | 64805 | 20601 | 202 | 43915223 | 2699585 || 2047 | 4872375 | 1/ 1 | 1150265 | 0 | 365.69/365.78 c | 2047 | 7.3 | 0 | 62983 | 20701 | 203 | 44303018 | 2724720 || 2047 | 4925168 | 1/ 1 | 1150721 | 0 | 371.49/371.53 c | 2047 | 5.8 | 0 | 63537 | 18032 | 204 | 44741306 | 2748524 || 2047 | 4932199 | 1/ 1 | 1150796 | 0 | 376.79/376.80 c | 2047 | 5.3 | 0 | 62662 | 38935 | 205 | 45188647 | 2772164 || 2047 | 4932199 | 1/ 1 | 1150796 | 0 | 381.99/382.08 c | 2047 | 5.3 | 0 | 62299 | 59936 | 206 | 45636519 | 2795602 || 2047 | 4932199 | 1/ 1 | 1150796 | 0 | 386.99/387.03 c | 2047 | 4.9 | 0 | 63422 | 81037 | 207 | 46077750 | 2819627 || 2047 | 4932199 | 1/ 1 | 1150796 | 0 | 392.39/392.45 c | 2047 | 5.4 | 0 | 64533 | 102240 | 208 | 46521374 | 2843618 || 2047 | 4932199 | 1/ 1 | 1150796 | 0 | 397.99/398.00 c | 2093 | 5.6 | 0 | 64885 | 646 | 209 | 46963170 | 2873044 || 2093 | 4982043 | 1/ 1 | 1162467 | 0 | 403.49/403.58 c | 2123 | 5.6 | 0 | 64761 | 183 | 210 | 47408382 | 2901235 || 2123 | 5028648 | 1/ 1 | 1172894 | 0 | 409.20/409.24 c | 2166 | 5.7 | 0 | 66523 | 300 | 211 | 47858059 | 2930419 || 2166 | 5077586 | 1/ 1 | 1184107 | 0 | 414.79/414.88 c | 2174 | 5.6 | 0 | 69829 | 2179 | 212 | 48303629 | 2956989 || 2174 | 5131878 | 1/ 1 | 1197306 | 0 | 420.79/420.87 c | 2211 | 6.0 | 0 | 71862 | 2 | 213 | 48760498 | 2985724 || 2211 | 5172418 | 1/ 1 | 1206479 | 0 | 426.89/426.93 c | 2240 | 6.1 | 0 | 73228 | 141 | 214 | 49210890 | 3013980 || 2240 | 5220842 | 1/ 1 | 1217735 | 0 | 433.49/433.56 c | 2284 | 6.6 | 0 | 71628 | 39 | 215 | 49666788 | 3043807 || 2284 | 5271065 | 1/ 1 | 1229101 | 0 | 439.59/439.63 c | 2301 | 6.1 | 0 | 72272 | 9301 | 216 | 50117965 | 3071624 || 2301 | 5332859 | 1/ 1 | 1243969 | 0 | 445.69/445.72 c | 2302 | 6.1 | 0 | 72732 | 2605 | 217 | 50564302 | 3098247 || 2302 | 5387408 | 1/ 1 | 1257248 | 0 | 452.49/452.50 c | 2332 | 6.8 | 0 | 72969 | 1150 | 218 | 51031104 | 3126561 || 2332 | 5416730 | 1/ 1 | 1263918 | 0 | 459.29/459.33 c | 2365 | 6.8 | 0 | 74140 | 3772 | 219 | 51489716 | 3155878 || 2365 | 5471871 | 1/ 1 | 1277232 | 0 | 466.09/466.19 c | 2403 | 6.9 | 0 | 74773 | 85 | 220 | 51951806 | 3185585 || 2403 | 5516173 | 1/ 1 | 1286856 | 0 | 472.90/472.95 c | 2429 | 6.8 | 0 | 75345 | 5339 | 221 | 52414647 | 3214499 || 2429 | 5576888 | 1/ 1 | 1303823 | 0 | 479.99/480.07 c | 2459 | 7.1 | 0 | 75857 | 1052 | 222 | 52879279 | 3243675 || 2459 | 5617446 | 1/ 1 | 1310576 | 0 | 487.09/487.16 c | 2492 | 7.1 | 0 | 76804 | 4062 | 223 | 53350261 | 3273225 || 2492 | 5673051 | 1/ 1 | 1323889 | 0 | 494.49/494.55 c | 2532 | 7.4 | 0 | 78047 | 70 | 224 | 53824575 | 3303608 || 2532 | 5718275 | 1/ 1 | 1333675 | 0 | 501.39/501.48 c | 2556 | 6.9 | 0 | 78017 | 6429 | 225 | 54293793 | 3332739 || 2556 | 5779740 | 1/ 1 | 1350445 | 0 | 508.29/508.34 c | 2557 | 6.9 | 0 | 78569 | 624 | 226 | 54756702 | 3360337 || 2557 | 5843164 | 1/ 1 | 1363794 | 0 | 515.29/515.36 c | 2558 | 7.0 | 0 | 78760 | 23726 | 227 | 55233576 | 3387584 || 2558 | 5905493 | 1/ 1 | 1382915 | 0 | 523.09/523.19 c | 2558 | 7.8 | 0 | 78693 | 8526 | 228 | 55701592 | 3415129 || 2558 | 5942151 | 1/ 1 | 1383264 | 0 | 530.10/530.20 c | 2573 | 7.0 | 0 | 77813 | 591 | 229 | 56187929 | 3443141 || 2573 | 5956877 | 1/ 1 | 1386605 | 0 | 537.80/537.83 c | 2620 | 7.6 | 0 | 77628 | 1496 | 230 | 56669311 | 3474658 || 2620 | 6012166 | 1/ 1 | 1399935 | 0 | 545.29/545.30 c | 2652 | 7.5 | 0 | 78083 | 134 | 231 | 57149187 | 3505328 || 2652 | 6064740 | 1/ 1 | 1411644 | 0 | 552.90/552.97 c | 2684 | 7.7 | 0 | 78934 | 2864 | 232 | 57640589 | 3535774 || 2684 | 6113674 | 1/ 1 | 1422306 | 0 | 560.30/560.35 c | 2714 | 7.4 | 0 | 79756 | 301 | 233 | 58119782 | 3566447 || 2714 | 6165670 | 1/ 1 | 1434758 | 0 | 567.80/567.89 c | 2748 | 7.5 | 0 | 81188 | 3814 | 234 | 58606852 | 3597667 || 2748 | 6223755 | 1/ 1 | 1448827 | 0 | 575.80/575.82 c | 2792 | 7.9 | 0 | 82585 | 119 | 235 | 59102779 | 3629559 || 2792 | 6271174 | 1/ 1 | 1459236 | 0 | 583.50/583.52 c | 2812 | 7.7 | 0 | 82707 | 8381 | 236 | 59592303 | 3659603 || 2812 | 6336417 | 1/ 1 | 1475331 | 0 | 591.40/591.41 c | 2813 | 7.9 | 0 | 83002 | 3680 | 237 | 60081710 | 3688154 || 2813 | 6395193 | 1/ 1 | 1488623 | 0 | 599.41/599.50 c | 2844 | 8.1 | 0 | 82993 | 590 | 238 | 60586583 | 3719046 || 2844 | 6431406 | 1/ 1 | 1496983 | 0 | 607.30/607.37 c | 2880 | 7.9 | 0 | 83622 | 231 | 239 | 61085966 | 3750782 || 2880 | 6483779 | 1/ 1 | 1509177 | 0 | 615.91/615.90 c | 2931 | 8.5 | 0 | 84068 | 9 | 240 | 61585638 | 3784079 || 2931 | 6539271 | 1/ 1 | 1521750 | 0 | 623.50/623.54 c | 2940 | 7.6 | 0 | 85014 | 4797 | 241 | 62085141 | 3813965 || 2940 | 6595121 | 1/ 1 | 1535280 | 0 | 632.20/632.22 c | 2989 | 8.7 | 0 | 84911 | 190 | 242 | 62584128 | 3847106 || 2989 | 6647624 | 1/ 1 | 1547343 | 0 | 640.70/640.74 c | 3027 | 8.5 | 0 | 85961 | 12 | 243 | 63089963 | 3879545 || 3027 | 6703176 | 1/ 1 | 1560009 | 0 | 649.80/649.85 c | 3066 | 9.1 | 0 | 87237 | 3433 | 244 | 63596629 | 3912212 || 3066 | 6764138 | 1/ 1 | 1575097 | 0 | 658.20/658.20 c | 3068 | 8.4 | 0 | 87107 | 13933 | 245 | 64097230 | 3941966 || 3068 | 6835277 | 1/ 1 | 1594909 | 0 | 666.40/666.42 c | 3069 | 8.2 | 0 | 87603 | 19729 | 246 | 64597774 | 3971304 || 3069 | 6917318 | 1/ 1 | 1621147 | 0 | 675.60/675.66 c | 3069 | 9.2 | 0 | 87122 | 6428 | 247 | 65084837 | 4001296 || 3069 | 6966124 | 1/ 1 | 1621552 | 0 | 684.60/684.63 c | 3070 | 9.0 | 0 | 87397 | 31629 | 248 | 65604768 | 4030427 || 3070 | 7058004 | 1/ 1 | 1667337 | 0 | 694.60/694.65 c | 3070 | 10.0 | 0 | 87175 | 25303 | 249 | 66099072 | 4061295 || 3070 | 7122048 | 1/ 1 | 1667923 | 0 | 705.80/705.85 c | 3070 | 11.2 | 0 | 86031 | 5533 | 250 | 66601216 | 4091648 || 3070 | 7173363 | 1/ 1 | 1668408 | 0 | 714.00/714.09 c | 3070 | 8.2 | 0 | 83140 | 31034 | 251 | 67141762 | 4120637 || 3070 | 7173363 | 1/ 1 | 1668408 | 0 | 722.40/722.45 c | 3085 | 8.4 | 0 | 82576 | 995 | 252 | 67682207 | 4151051 || 3085 | 7187447 | 1/ 1 | 1671732 | 0 | 731.50/731.57 c | 3132 | 9.1 | 0 | 83174 | 609 | 253 | 68206065 | 4185871 || 3132 | 7246068 | 1/ 1 | 1685113 | 0 | 740.60/740.67 c | 3171 | 9.1 | 0 | 84661 | 322 | 254 | 68732063 | 4219512 || 3171 | 7302296 | 1/ 1 | 1698073 | 0 | 749.20/749.24 c | 3197 | 8.6 | 0 | 85172 | 8966 | 255 | 69257400 | 4252632 || 3197 | 7372400 | 1/ 1 | 1715115 | 0 | 758.70/758.70 c | 3238 | 9.5 | 0 | 88196 | 187 | 256 | 69796388 | 4286642 || 3238 | 7417291 | 1/ 1 | 1725104 | 0 | 768.10/768.12 c | 3276 | 9.4 | 0 | 88622 | 897 | 257 | 70330931 | 4320742 || 3276 | 7475244 | 1/ 1 | 1738538 | 0 | 778.20/778.26 c | 3323 | 10.1 | 0 | 90538 | 2198 | 258 | 70862694 | 4355798 || 3323 | 7539367 | 1/ 1 | 1755023 | 0 | 787.40/787.45 c | 3325 | 9.2 | 0 | 90331 | 14096 | 259 | 71402061 | 4387400 || 3325 | 7615069 | 1/ 1 | 1774897 | 0 | 797.40/797.43 c | 3347 | 10.0 | 0 | 90854 | 36 | 260 | 71949472 | 4420271 || 3347 | 7648688 | 1/ 1 | 1779609 | 0 | 807.70/807.74 c | 3388 | 10.3 | 0 | 91114 | 4429 | 261 | 72488949 | 4455186 || 3388 | 7713730 | 1/ 1 | 1794993 | 0 | 818.20/818.29 c | 3437 | 10.5 | 0 | 92125 | 243 | 262 | 73030711 | 4490835 || 3437 | 7767535 | 1/ 1 | 1807105 | 0 | 827.90/827.93 c | 3452 | 9.6 | 0 | 92479 | 4813 | 263 | 73570740 | 4523820 || 3452 | 7828129 | 1/ 1 | 1821504 | 0 | 839.00/839.07 c | 3507 | 11.2 | 0 | 93115 | 186 | 264 | 74117398 | 4560057 || 3507 | 7885494 | 1/ 1 | 1834620 | 0 | 850.31/850.39 c | 3546 | 11.3 | 0 | 93619 | 1501 | 265 | 74671381 | 4595144 || 3546 | 7948108 | 1/ 1 | 1849754 | 0 | 860.60/860.66 c | 3579 | 10.3 | 0 | 95038 | 5239 | 266 | 75218463 | 4629871 || 3579 | 8015753 | 1/ 1 | 1867952 | 0 | 869.70/869.72 c | 3580 | 9.1 | 0 | 95157 | 3539 | 267 | 75760171 | 4662144 || 3580 | 8081587 | 1/ 1 | 1881332 | 0 | 879.80/879.84 c | 3581 | 10.1 | 0 | 95108 | 30745 | 268 | 76307532 | 4694713 || 3581 | 8171006 | 1/ 1 | 1907725 | 0 | 889.50/889.50 c | 3581 | 9.7 | 0 | 94073 | 19642 | 269 | 76877667 | 4726266 || 3581 | 8190759 | 1/ 1 | 1907889 | 0 | 900.60/900.64 c | 3627 | 11.1 | 0 | 94251 | 946 | 270 | 77436348 | 4762243 || 3627 | 8241232 | 1/ 1 | 1919558 | 0 | 911.60/911.68 c | 3672 | 11.1 | 0 | 94392 | 109 | 271 | 77996123 | 4798393 || 3672 | 8300994 | 1/ 1 | 1933295 | 0 | 922.91/922.94 c | 3707 | 11.2 | 0 | 94495 | 2629 | 272 | 78557669 | 4833912 || 3707 | 8363053 | 1/ 1 | 1947827 | 0 | 934.30/934.30 c | 3739 | 11.4 | 0 | 95058 | 2266 | 273 | 79122317 | 4869332 || 3739 | 8425805 | 1/ 1 | 1962816 | 0 | 945.80/945.85 c | 3783 | 11.6 | 0 | 96358 | 58 | 274 | 79686737 | 4905873 || 3783 | 8485036 | 1/ 1 | 1976385 | 0 | 957.60/957.69 c | 3833 | 11.8 | 0 | 98968 | 940 | 275 | 80251326 | 4942916 || 3833 | 8548503 | 1/ 1 | 1991199 | 0 | 969.11/969.19 c | 3836 | 11.5 | 0 | 99835 | 14537 | 276 | 80813013 | 4976666 || 3836 | 8632034 | 1/ 1 | 2014280 | 0 | 980.81/980.86 c | 3865 | 11.7 | 0 | 99767 | 375 | 277 | 81394025 | 5012020 || 3865 | 8669361 | 1/ 1 | 2020265 | 0 | 993.01/993.01 c | 3901 | 12.1 | 0 | 100600 | 176 | 278 | 81966219 | 5048186 || 3901 | 8731328 | 1/ 1 | 2034671 | 0 | 1006.21/1006.26 c | 3960 | 13.2 | 0 | 101143 | 460 | 279 | 82542527 | 5086643 || 3960 | 8796289 | 1/ 1 | 2049508 | 0 | 1018.91/1018.91 c | 3978 | 12.6 | 0 | 101767 | 22 | 280 | 83118632 | 5121782 || 3978 | 8859325 | 1/ 1 | 2064469 | 0 | 1032.11/1032.20 c | 4026 | 13.3 | 0 | 101963 | 3628 | 281 | 83697772 | 5159393 || 4026 | 8929244 | 1/ 1 | 2081076 | 0 | 1045.21/1045.25 c | 4079 | 13.1 | 0 | 102764 | 321 | 282 | 84284325 | 5197467 || 4079 | 8987519 | 1/ 1 | 2094016 | 0 | 1056.81/1056.83 c | 4091 | 11.6 | 0 | 103491 | 7996 | 283 | 84869815 | 5232332 || 4091 | 9070956 | 1/ 1 | 2120741 | 0 | 1068.02/1068.07 c | 4092 | 11.2 | 0 | 103123 | 17599 | 284 | 85439706 | 5266475 || 4092 | 9155283 | 1/ 1 | 2147053 | 0 | 1080.41/1080.43 c | 4092 | 12.4 | 0 | 103163 | 8102 | 285 | 86003429 | 5300921 || 4092 | 9208847 | 1/ 1 | 2147510 | 0 | 1091.41/1091.45 c | 4093 | 11.0 | 0 | 103261 | 37105 | 286 | 86594525 | 5334919 || 4093 | 9321645 | 1/ 1 | 2199691 | 0 | 1104.42/1104.44 c | 4093 | 13.0 | 0 | 102303 | 29102 | 287 | 87171512 | 5370455 || 4093 | 9395464 | 1/ 1 | 2200346 | 0 | 1117.41/1117.42 c | 4093 | 13.0 | 0 | 100501 | 18602 | 288 | 87765450 | 5404269 || 4093 | 9421702 | 1/ 1 | 2200587 | 0 | 1127.91/1127.97 c | 4093 | 10.5 | 0 | 98038 | 47903 | 289 | 88367196 | 5437447 || 4093 | 9421702 | 1/ 1 | 2200587 | 0 | 1142.21/1142.29 c | 4094 | 14.3 | 0 | 97411 | 77304 | 290 | 88930729 | 5472941 || 4094 | 9663334 | 1/ 1 | 2303610 | 0 | 1158.11/1158.11 c | 4094 | 15.8 | 0 | 96437 | 29503 | 291 | 89482012 | 5508465 || 4094 | 9737901 | 1/ 1 | 2304300 | 0 | 1175.21/1175.28 c | 4094 | 17.2 | 0 | 95259 | 29603 | 292 | 90040639 | 5544189 || 4094 | 9814550 | 1/ 1 | 2304986 | 0 | 1191.61/1191.60 c | 4094 | 16.3 | 0 | 94425 | 12509 | 293 | 90632373 | 5578995 || 4094 | 9858217 | 1/ 1 | 2305397 | 0 | 1204.42/1204.41 c | 4094 | 12.8 | 0 | 95491 | 42313 | 294 | 91259978 | 5612689 || 4094 | 9858217 | 1/ 1 | 2305397 | 0 | 1216.21/1216.26 c | 4094 | 11.8 | 0 | 92634 | 72215 | 295 | 91881707 | 5646445 || 4094 | 9858217 | 1/ 1 | 2305397 | 0 | 1228.01/1228.01 c | 4094 | 11.8 | 0 | 90492 | 102217 | 296 | 92510716 | 5680309 || 4094 | 9858217 | 1/ 1 | 2305397 | 0 | 1241.11/1241.10 c | 4095 | 13.1 | 0 | 92794 | 132319 | 297 | 93106103 | 5716905 || 4095 | 10266403 | 1/ 1 | 2509026 | 0 | 1255.41/1255.45 c | 4095 | 14.4 | 0 | 95457 | 30201 | 298 | 93696122 | 5753640 || 4095 | 10345126 | 1/ 1 | 2509769 | 0 | 1270.81/1270.86 c | 4095 | 15.4 | 0 | 95422 | 30301 | 299 | 94277213 | 5790130 || 4095 | 10421916 | 1/ 1 | 2510465 | 0 | 1285.51/1285.50 c | 4095 | 14.6 | 0 | 93432 | 30402 | 300 | 94846747 | 5826597 || 4095 | 10500666 | 1/ 1 | 2511179 | 0 | 1300.01/1300.00 c | 4095 | 14.5 | 0 | 123093 | 29661 | 300 | 95395388 | 5861955 || 4095 | 10575638 | 1/ 1 | 2511862 | 0 | 1300.01/1300.00 c c 1300.01/1300.00 c ----------------------------------- 1300.01/1300.00 c # temps = 1300.010000 1300.01/1300.00 c # cleaningDB = 300 1300.01/1300.00 c # clause binaire = 0 1300.01/1300.00 c # literal removed by litRedundant = 14717769 1300.01/1300.00 c # literal removed by litRedundantBin = 0 1300.01/1300.00 c # init clause removed by simplify = 0 1300.01/1300.00 c # learnt clause removed by simplify = 0 1300.01/1300.00 c # une clause fausse était une apprise = 0 1300.01/1300.00 c # equivalence dectecte = 0 1300.01/1300.00 c # Memory used : 39.87 MB 1300.01/1300.00 c 1300.01/1300.00 c ######################## 1300.01/1300.00 c #### ## ### ## #### 1300.01/1300.00 c #### #### # ## #### #### 1300.01/1300.00 c #### ## ### ## ### 1300.01/1300.00 c ######################## 1300.01/1300.00 c # restart = 4095 1300.01/1300.00 c # conflit = 4665300 1300.01/1300.00 c # decision = 5861955 1300.01/1300.00 c # propagation = 95395388 (73379.938770 (prop/sec)) 1300.01/1300.00 c 1300.01/1300.00 c ######################## 1300.01/1300.00 c ### ### # ## ## ## 1300.01/1300.00 c ### # # # #### # ### ### 1300.01/1300.00 c ### # ### ## # ### ### 1300.01/1300.00 c ######################## 1300.01/1300.00 c # numtry = 4095 1300.01/1300.00 c # numflips = 10575638 1300.01/1300.00 c # maxSat = 1 1300.01/1300.00 c # freeFlip = 4069354 1300.01/1300.00 c # nbBoundary = 75 1300.01/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-3189846-1302708536/watcher-3189846-1302708536 -o /tmp/evaluation-result-3189846-1302708536/solver-3189846-1302708536 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189846-1302708536.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 4.00 3.81 5/195 3689 /proc/meminfo: memFree=16376572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 382451361 8912896 253 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3689/statm: 2176 253 211 178 0 69 0 [startup+0.0161711 s] /proc/loadavg: 4.00 4.00 3.81 5/195 3689 /proc/meminfo: memFree=16376572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101149 s] /proc/loadavg: 4.00 4.00 3.81 5/195 3689 /proc/meminfo: memFree=16376572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301112 s] /proc/loadavg: 4.00 4.00 3.81 5/195 3689 /proc/meminfo: memFree=16376572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701064 s] /proc/loadavg: 4.00 4.00 3.81 5/195 3689 /proc/meminfo: memFree=16376572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50093 s] /proc/loadavg: 4.00 4.00 3.81 5/198 3693 /proc/meminfo: memFree=16371596/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=9612 CPUtime=1.49 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 897 0 0 0 149 0 0 0 25 0 1 0 382451362 9842688 809 33554432000 4194304 4241092 140737107664288 18446744073709551615 4221285 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 2403 809 135 12 0 867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27020 [startup+3.10064 s] /proc/loadavg: 4.00 4.00 3.81 5/198 3693 /proc/meminfo: memFree=16368372/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=10404 CPUtime=3.09 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 1080 0 0 0 309 0 0 0 25 0 1 0 382451362 10653696 992 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223895 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 2601 992 135 12 0 1065 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27812 [startup+6.30104 s] /proc/loadavg: 4.00 4.00 3.81 5/198 3693 /proc/meminfo: memFree=16363312/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=11640 CPUtime=6.29 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 1402 0 0 0 629 0 0 0 25 0 1 0 382451362 11919360 1313 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 2910 1313 136 12 0 1374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29048 [startup+12.7009 s] /proc/loadavg: 4.00 4.00 3.82 5/198 3694 /proc/meminfo: memFree=16356168/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=13192 CPUtime=12.69 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 1800 0 0 0 1269 0 0 0 25 0 1 0 382451362 13508608 1703 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 3298 1703 136 12 0 1762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30600 [startup+25.5006 s] /proc/loadavg: 4.00 4.00 3.82 5/198 3694 /proc/meminfo: memFree=16348228/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=14756 CPUtime=25.49 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 2228 0 0 0 2549 0 0 0 25 0 1 0 382451362 15110144 2093 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 3689 2093 136 12 0 2153 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32164 [startup+51.101 s] /proc/loadavg: 4.00 4.00 3.82 5/198 3695 /proc/meminfo: memFree=16338468/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=17424 CPUtime=51.08 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 2987 0 0 0 5108 0 0 0 25 0 1 0 382451362 17842176 2763 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 4356 2763 136 12 0 2820 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34832 [startup+102.307 s] /proc/loadavg: 4.00 4.00 3.83 5/198 3696 /proc/meminfo: memFree=16322832/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=20628 CPUtime=102.29 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 4073 0 0 0 10227 2 0 0 25 0 1 0 382451362 21123072 3552 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 5157 3552 136 12 0 3621 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 38036 [startup+162.301 s] /proc/loadavg: 4.00 4.00 3.83 5/198 3698 /proc/meminfo: memFree=16313132/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=23668 CPUtime=162.28 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 5225 0 0 0 16226 2 0 0 25 0 1 0 382451362 24236032 4318 33554432000 4194304 4241092 140737107664288 18446744073709551615 4221285 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 5917 4318 136 12 0 4381 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 41076 [startup+222.301 s] /proc/loadavg: 4.00 4.00 3.84 5/198 3699 /proc/meminfo: memFree=16305908/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=25144 CPUtime=222.28 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 5923 0 0 0 22226 2 0 0 25 0 1 0 382451362 25747456 4669 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223660 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 6286 4669 136 12 0 4750 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 42552 [startup+282.3 s] ################ # More data... # ################ [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=33580 CPUtime=702.3 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 10241 0 0 0 70225 5 0 0 25 0 1 0 382451362 34385920 6782 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223739 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 8395 6782 136 12 0 6859 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 50988 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.89 5/198 3714 /proc/meminfo: memFree=16265044/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=34920 CPUtime=762.3 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 10820 0 0 0 76225 5 0 0 25 0 1 0 382451362 35758080 7106 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 8730 7106 136 12 0 7194 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 52328 [startup+822.301 s] /proc/loadavg: 4.04 4.01 3.90 5/198 3715 /proc/meminfo: memFree=16262056/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=35132 CPUtime=822.3 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 11105 0 0 0 82225 5 0 0 25 0 1 0 382451362 35975168 7175 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 8783 7175 136 12 0 7247 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 52540 [startup+882.301 s] /proc/loadavg: 4.01 4.01 3.91 5/198 3717 /proc/meminfo: memFree=16258560/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=35240 CPUtime=882.3 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 11366 0 0 0 88225 5 0 0 25 0 1 0 382451362 36085760 7203 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 8810 7203 136 12 0 7274 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 52648 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.91 5/198 3719 /proc/meminfo: memFree=16255940/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=36200 CPUtime=942.3 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 11788 0 0 0 94225 5 0 0 25 0 1 0 382451362 37068800 7428 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9050 7428 136 12 0 7514 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 53608 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.91 5/198 3720 /proc/meminfo: memFree=16251572/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=36548 CPUtime=1002.31 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 12084 0 0 0 100225 6 0 0 25 0 1 0 382451362 37425152 7530 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9137 7530 136 12 0 7601 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 53956 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.91 5/198 3722 /proc/meminfo: memFree=16247696/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=36516 CPUtime=1062.31 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 12300 0 0 0 106225 6 0 0 25 0 1 0 382451362 37392384 7533 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9129 7533 136 12 0 7593 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 53924 [startup+1122.3 s] /proc/loadavg: 4.14 4.03 3.92 5/198 3723 /proc/meminfo: memFree=16244316/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=37576 CPUtime=1122.31 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 12787 0 0 0 112225 6 0 0 25 0 1 0 382451362 38477824 7797 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9394 7797 136 12 0 7858 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 54984 [startup+1182.3 s] /proc/loadavg: 4.05 4.02 3.92 5/198 3725 /proc/meminfo: memFree=16241424/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=38364 CPUtime=1182.31 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 13156 0 0 0 118225 6 0 0 25 0 1 0 382451362 39284736 7972 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223736 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9591 7972 136 12 0 8055 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 55772 [startup+1242.3 s] /proc/loadavg: 4.07 4.03 3.93 5/198 3727 /proc/meminfo: memFree=16236688/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=39672 CPUtime=1242.31 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 13741 0 0 0 124225 6 0 0 25 0 1 0 382451362 40624128 8329 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 9918 8329 136 12 0 8382 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 57080 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.03 4.03 3.93 5/198 3824 /proc/meminfo: memFree=16340152/32951124 swapFree=67111528/67111528 [pid=3689] ppid=3687 vsize=8704 CPUtime=0 cores=0,2 /proc/3689/stat : 3689 (esg_static.sh) S 3687 3689 3261 0 -1 4202496 350 207 0 0 0 0 0 0 25 0 1 0 382451361 8912896 256 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905730816 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/3689/statm: 2176 256 211 178 0 69 0 [pid=3692] ppid=3689 vsize=8704 CPUtime=0 cores=0,2 /proc/3692/stat : 3692 (esg_static.sh) S 3689 3689 3261 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 1 0 382451362 8912896 135 33554432000 4194304 4922060 140734530008752 18446744073709551615 218905549957 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3692/statm: 2176 135 90 178 0 69 0 [pid=3693] ppid=3692 vsize=40820 CPUtime=1300.01 cores=0,2 /proc/3693/stat : 3693 (sathys) R 3692 3689 3261 0 -1 4202496 14131 0 0 0 129995 6 0 0 25 0 1 0 382451362 41799680 8581 33554432000 4194304 4241092 140737107664288 18446744073709551615 4223700 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/3693/statm: 10205 8581 136 12 0 8669 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 58228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1300.01 CPU time (s): 1300.04 CPU user time (s): 1299.97 CPU system time (s): 0.072988 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 58228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.97 system time used= 0.072988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15068 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= 11 involuntary context switches= 1726 runsolver used 2.32065 second user time and 4.79227 second system time The end
Begin job on node137 at 2011-04-13 17:28:56 IDJOB=3189846 IDBENCH=82777 IDSOLVER=1610 FILE ID=node137/3189846-1302708536 RUNJOBID= node137-1302705934-3279 PBS_JOBID= 12981426 Free space on /tmp= 71268 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189846-1302708536/watcher-3189846-1302708536 -o /tmp/evaluation-result-3189846-1302708536/solver-3189846-1302708536 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189846-1302708536.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 55b0e04e9e653549cf2eabcc194b78ff RANDOM SEED=610892065 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16376588 kB Buffers: 671316 kB Cached: 15435936 kB SwapCached: 0 kB Active: 9222692 kB Inactive: 6961420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16376588 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4464 kB Writeback: 0 kB AnonPages: 76908 kB Mapped: 15232 kB Slab: 327404 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 263704 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= 71268 MiB End job on node137 at 2011-04-13 17:50:37