| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 1299.95 | 1300.02 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf |
| MD5SUM | 7c175136a39da4bf967495732df3f101 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 22.0606 |
| 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-3189574-1302705444.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 | 41695 126686 | -- 0 -- -- | -- | -305/686 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 9734 #clauses: 41695 #literals: 126686 0.00/0.06 c CPU time: 0.06199 s 0.00/0.06 c ============================================================================== 0.08/0.12 c 0.08/0.12 c seed = 0, numatom = 9734, numclause = 41695, numliterals = 126686 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.22 c | 2 | 0.1 | 0 | 505 | 0 | 1 | 251810 | 5259 || 2 | 13527 | 1116/ 1116 | 290 | 0 | 0.08/0.30 c | 4 | 0.1 | 0 | 692 | 0 | 2 | 564794 | 10187 || 4 | 24211 | 939/ 939 | 645 | 0 | 0.08/0.39 c | 6 | 0.1 | 0 | 867 | 198 | 3 | 906474 | 15984 || 6 | 33517 | 939/ 939 | 1010 | 0 | 0.08/0.48 c | 7 | 0.1 | 0 | 1088 | 397 | 4 | 1306835 | 19634 || 7 | 41762 | 844/ 844 | 1461 | 0 | 0.08/0.60 c | 11 | 0.1 | 0 | 1272 | 293 | 5 | 1764151 | 28162 || 11 | 60577 | 844/ 844 | 2090 | 0 | 0.08/0.73 c | 14 | 0.1 | 0 | 1499 | 489 | 6 | 2267842 | 36401 || 14 | 79840 | 844/ 844 | 2886 | 0 | 0.08/0.87 c | 15 | 0.1 | 0 | 1748 | 987 | 7 | 2820954 | 42486 || 15 | 94602 | 751/ 751 | 3784 | 0 | 0.98/1.02 c | 16 | 0.2 | 0 | 1912 | 79 | 8 | 3423654 | 47462 || 16 | 101856 | 751/ 751 | 3916 | 0 | 1.18/1.20 c | 21 | 0.2 | 0 | 2058 | 68 | 9 | 4085507 | 59362 || 21 | 125706 | 751/ 751 | 4771 | 0 | 1.28/1.38 c | 25 | 0.2 | 0 | 2228 | 168 | 10 | 4793076 | 68617 || 25 | 146253 | 751/ 751 | 5705 | 0 | 1.48/1.58 c | 29 | 0.2 | 0 | 2418 | 561 | 11 | 5556021 | 80242 || 29 | 169900 | 751/ 751 | 6661 | 0 | 1.68/1.77 c | 30 | 0.2 | 0 | 2594 | 360 | 12 | 6337380 | 87175 || 30 | 186085 | 675/ 675 | 7561 | 0 | 1.88/2.00 c | 31 | 0.2 | 0 | 2781 | 2062 | 13 | 7176098 | 94483 || 31 | 208701 | 615/ 615 | 9326 | 0 | 2.18/2.23 c | 31 | 0.2 | 0 | 2961 | 1464 | 14 | 8113072 | 98638 || 31 | 212817 | 615/ 615 | 9357 | 0 | 2.38/2.49 c | 38 | 0.3 | 0 | 3099 | 362 | 15 | 9071688 | 114372 || 38 | 248617 | 615/ 615 | 10784 | 0 | 2.68/2.76 c | 44 | 0.3 | 0 | 3240 | 253 | 16 | 10071835 | 129491 || 44 | 279177 | 615/ 615 | 11791 | 0 | 2.98/3.04 c | 46 | 0.3 | 0 | 3405 | 249 | 17 | 11143718 | 139284 || 46 | 301876 | 615/ 615 | 13138 | 0 | 3.28/3.34 c | 53 | 0.3 | 0 | 3579 | 241 | 18 | 12248187 | 154468 || 53 | 331631 | 615/ 615 | 14538 | 0 | 3.58/3.66 c | 59 | 0.3 | 0 | 3737 | 129 | 19 | 13431246 | 172449 || 59 | 370252 | 615/ 615 | 15575 | 0 | 3.88/3.97 c | 61 | 0.3 | 0 | 4032 | 731 | 20 | 14644355 | 182504 || 61 | 394989 | 615/ 615 | 16924 | 0 | 4.28/4.30 c | 62 | 0.3 | 0 | 4232 | 829 | 21 | 15888375 | 192418 || 62 | 421408 | 567/ 567 | 18700 | 0 | 4.57/4.67 c | 63 | 0.4 | 0 | 4306 | 3431 | 22 | 17147446 | 201565 || 63 | 449676 | 435/ 435 | 22066 | 0 | 4.97/5.09 c | 63 | 0.4 | 0 | 4586 | 1331 | 23 | 18473205 | 209188 || 63 | 461983 | 435/ 435 | 22148 | 0 | 5.48/5.52 c | 67 | 0.4 | 0 | 4578 | 28 | 24 | 19921915 | 220619 || 67 | 479967 | 435/ 435 | 22733 | 0 | 5.87/5.93 c | 76 | 0.4 | 0 | 4453 | 9 | 25 | 21375243 | 242604 || 76 | 528330 | 435/ 435 | 24519 | 0 | 6.27/6.34 c | 81 | 0.4 | 0 | 4686 | 106 | 26 | 22887105 | 257771 || 81 | 560536 | 435/ 435 | 26333 | 0 | 6.67/6.77 c | 90 | 0.4 | 0 | 4932 | 192 | 27 | 24409296 | 280581 || 90 | 609040 | 435/ 435 | 28026 | 0 | 7.17/7.21 c | 94 | 0.4 | 0 | 5238 | 1086 | 28 | 25978611 | 296793 || 94 | 650568 | 435/ 435 | 31303 | 0 | 7.58/7.65 c | 96 | 0.4 | 0 | 5623 | 84 | 29 | 27618933 | 309943 || 96 | 673645 | 435/ 435 | 31648 | 0 | 8.07/8.15 c | 107 | 0.5 | 0 | 5869 | 258 | 30 | 29348475 | 335847 || 107 | 729820 | 435/ 435 | 33840 | 0 | 8.57/8.64 c | 113 | 0.5 | 0 | 6095 | 250 | 31 | 31103042 | 354208 || 113 | 769244 | 435/ 435 | 35807 | 0 | 9.07/9.16 c | 123 | 0.5 | 0 | 6199 | 33 | 32 | 32913606 | 382233 || 123 | 825856 | 435/ 435 | 38064 | 0 | 9.57/9.67 c | 125 | 0.5 | 0 | 6416 | 133 | 33 | 34721064 | 397586 || 125 | 867218 | 435/ 435 | 40712 | 0 | 10.17/10.21 c | 126 | 0.5 | 0 | 6535 | 3937 | 34 | 36600267 | 410896 || 126 | 904476 | 435/ 435 | 44143 | 0 | 10.67/10.77 c | 126 | 0.6 | 0 | 6630 | 3037 | 35 | 38545648 | 419417 || 126 | 914443 | 435/ 435 | 44208 | 0 | 11.37/11.40 c | 127 | 0.6 | 0 | 6791 | 7039 | 36 | 40477170 | 435391 || 127 | 970199 | 326/ 326 | 50989 | 0 | 12.08/12.10 c | 127 | 0.7 | 0 | 6989 | 1538 | 37 | 42462661 | 447309 || 127 | 994416 | 326/ 326 | 51143 | 0 | 12.78/12.81 c | 127 | 0.7 | 0 | 6784 | 5739 | 38 | 44527526 | 452994 || 127 | 994416 | 326/ 326 | 51143 | 0 | 13.38/13.48 c | 140 | 0.7 | 0 | 6844 | 126 | 39 | 46694487 | 483030 || 140 | 1056336 | 326/ 326 | 53521 | 0 | 14.08/14.12 c | 149 | 0.6 | 0 | 6817 | 211 | 40 | 48861810 | 509915 || 149 | 1113998 | 326/ 326 | 56311 | 0 | 14.67/14.77 c | 157 | 0.7 | 0 | 7164 | 497 | 41 | 51122837 | 535861 || 157 | 1170064 | 326/ 326 | 58679 | 0 | 15.38/15.44 c | 163 | 0.7 | 0 | 7615 | 192 | 42 | 53325080 | 556507 || 163 | 1214484 | 326/ 326 | 61174 | 0 | 16.07/16.15 c | 173 | 0.7 | 0 | 7914 | 181 | 43 | 55735447 | 586195 || 173 | 1277439 | 326/ 326 | 64188 | 0 | 16.77/16.87 c | 187 | 0.7 | 0 | 8250 | 351 | 44 | 58118098 | 619648 || 187 | 1347731 | 326/ 326 | 67061 | 0 | 17.48/17.56 c | 189 | 0.7 | 0 | 8808 | 1050 | 45 | 60513425 | 636765 || 189 | 1386607 | 326/ 326 | 69698 | 0 | 18.27/18.34 c | 190 | 0.8 | 0 | 8781 | 1249 | 46 | 62994426 | 653910 || 190 | 1430031 | 326/ 326 | 73201 | 0 | 19.07/19.16 c | 200 | 0.8 | 0 | 8884 | 126 | 47 | 65635308 | 680594 || 200 | 1479885 | 326/ 326 | 75137 | 0 | 19.86/19.97 c | 212 | 0.8 | 0 | 9002 | 499 | 48 | 68288302 | 714000 || 212 | 1551658 | 326/ 326 | 78395 | 0 | 20.66/20.76 c | 221 | 0.8 | 0 | 9213 | 1578 | 49 | 70916168 | 743675 || 221 | 1618128 | 326/ 326 | 82405 | 0 | 21.56/21.60 c | 231 | 0.8 | 0 | 9490 | 259 | 50 | 73660540 | 774632 || 231 | 1678057 | 326/ 326 | 84383 | 0 | 22.36/22.44 c | 243 | 0.8 | 0 | 9447 | 34 | 51 | 76379666 | 810066 || 243 | 1754835 | 326/ 326 | 87643 | 0 | 23.16/23.28 c | 252 | 0.9 | 0 | 9741 | 2020 | 52 | 79161116 | 840009 || 252 | 1824459 | 326/ 326 | 91700 | 0 | 24.06/24.16 c | 253 | 0.9 | 0 | 10157 | 518 | 53 | 81894215 | 859620 || 253 | 1872657 | 326/ 326 | 95234 | 0 | 25.16/25.21 c | 254 | 1.1 | 0 | 10032 | 6320 | 54 | 84777395 | 877272 || 254 | 1920674 | 326/ 326 | 101970 | 0 | 26.16/26.26 c | 254 | 1.1 | 0 | 10087 | 2619 | 55 | 87629980 | 894087 || 254 | 1952960 | 326/ 326 | 102213 | 0 | 27.26/27.33 c | 255 | 1.1 | 0 | 10142 | 8620 | 56 | 90545487 | 908507 || 255 | 2002318 | 198/ 198 | 115416 | 0 | 28.46/28.56 c | 255 | 1.2 | 0 | 9766 | 6103 | 57 | 93406870 | 931063 || 255 | 2061334 | 198/ 198 | 115773 | 0 | 29.76/29.87 c | 255 | 1.3 | 0 | 9777 | 1721 | 58 | 96301343 | 949621 || 255 | 2101678 | 198/ 198 | 116035 | 0 | 30.95/31.02 c | 255 | 1.1 | 0 | 9591 | 8022 | 59 | 99400580 | 958189 || 255 | 2101678 | 198/ 198 | 116035 | 0 | 32.25/32.38 c | 262 | 1.4 | 0 | 10106 | 213 | 60 | 102620354 | 979299 || 262 | 2131664 | 198/ 198 | 117439 | 0 | 33.35/33.44 c | 277 | 1.1 | 0 | 9374 | 289 | 61 | 105908838 | 1020276 || 277 | 2221862 | 198/ 198 | 121223 | 0 | 34.35/34.46 c | 286 | 1.0 | 0 | 9918 | 268 | 62 | 109199857 | 1054589 || 286 | 2297941 | 198/ 198 | 125347 | 0 | 35.44/35.54 c | 301 | 1.1 | 0 | 10361 | 946 | 63 | 112573548 | 1094670 || 301 | 2382429 | 198/ 198 | 129077 | 0 | 36.54/36.62 c | 316 | 1.1 | 0 | 11110 | 120 | 64 | 115977007 | 1137794 || 316 | 2473956 | 198/ 198 | 132867 | 0 | 37.64/37.70 c | 318 | 1.1 | 0 | 11439 | 4616 | 65 | 119276686 | 1161832 || 318 | 2537644 | 198/ 198 | 138102 | 0 | 38.74/38.83 c | 330 | 1.1 | 0 | 12199 | 92 | 66 | 122855379 | 1196600 || 330 | 2596381 | 198/ 198 | 140281 | 0 | 39.94/40.02 c | 347 | 1.2 | 0 | 12121 | 456 | 67 | 126402670 | 1242778 || 347 | 2698300 | 198/ 198 | 144697 | 0 | 41.04/41.19 c | 356 | 1.2 | 0 | 12396 | 443 | 68 | 130047794 | 1276936 || 356 | 2774565 | 198/ 198 | 148769 | 0 | 42.24/42.39 c | 373 | 1.2 | 0 | 12538 | 24 | 69 | 133699445 | 1323196 || 373 | 2871869 | 198/ 198 | 152787 | 0 | 43.44/43.59 c | 381 | 1.2 | 0 | 12712 | 2115 | 70 | 137400491 | 1357594 || 381 | 2957665 | 198/ 198 | 159947 | 0 | 44.74/44.83 c | 382 | 1.2 | 0 | 12848 | 4817 | 71 | 141092590 | 1380953 || 382 | 3017618 | 198/ 198 | 166774 | 0 | 46.23/46.34 c | 382 | 1.5 | 0 | 13437 | 2815 | 72 | 144704853 | 1405734 || 382 | 3066424 | 198/ 198 | 167105 | 0 | 47.63/47.74 c | 396 | 1.4 | 0 | 13178 | 279 | 73 | 148542826 | 1442356 || 396 | 3133222 | 198/ 198 | 169933 | 0 | 48.93/49.05 c | 412 | 1.3 | 0 | 12911 | 1038 | 74 | 152457978 | 1491264 || 412 | 3240840 | 198/ 198 | 174592 | 0 | 50.23/50.35 c | 426 | 1.3 | 0 | 13289 | 206 | 75 | 156368978 | 1535376 || 426 | 3330696 | 198/ 198 | 178765 | 0 | 51.53/51.69 c | 443 | 1.3 | 0 | 13452 | 876 | 76 | 160363595 | 1584040 || 443 | 3438977 | 198/ 198 | 183867 | 0 | 52.93/53.01 c | 445 | 1.3 | 0 | 13818 | 574 | 77 | 164277789 | 1613344 || 445 | 3509857 | 198/ 198 | 189155 | 0 | 54.33/54.44 c | 460 | 1.4 | 0 | 13996 | 1146 | 78 | 168471713 | 1656652 || 460 | 3598524 | 198/ 198 | 192891 | 0 | 55.73/55.85 c | 476 | 1.4 | 0 | 14741 | 1820 | 79 | 172678547 | 1704266 || 476 | 3702795 | 198/ 198 | 198370 | 0 | 57.13/57.25 c | 491 | 1.4 | 0 | 14878 | 594 | 80 | 176900482 | 1749030 || 491 | 3792932 | 198/ 198 | 202135 | 0 | 58.53/58.68 c | 507 | 1.4 | 0 | 14962 | 263 | 81 | 181117335 | 1798832 || 507 | 3901591 | 198/ 198 | 207635 | 0 | 60.03/60.12 c | 509 | 1.4 | 0 | 15119 | 4066 | 82 | 185320782 | 1823355 || 509 | 3966100 | 198/ 198 | 217699 | 0 | 61.62/61.74 c | 509 | 1.6 | 0 | 15030 | 3162 | 83 | 189658851 | 1850019 || 509 | 4021799 | 198/ 198 | 218120 | 0 | 63.32/63.49 c | 510 | 1.8 | 0 | 15136 | 11969 | 84 | 194036003 | 1876484 || 510 | 4099805 | 198/ 198 | 231469 | 0 | 65.42/65.50 c | 510 | 2.0 | 0 | 15191 | 1669 | 85 | 198164967 | 1906893 || 510 | 4169369 | 198/ 198 | 231927 | 0 | 67.12/67.25 c | 510 | 1.7 | 0 | 14297 | 10672 | 86 | 202907165 | 1919428 || 510 | 4169369 | 198/ 198 | 231927 | 0 | 69.02/69.12 c | 511 | 1.9 | 0 | 14554 | 19773 | 87 | 207497077 | 1952511 || 511 | 4282599 | 170/ 170 | 258415 | 0 | 72.23/72.30 c | 511 | 3.2 | 0 | 14394 | 9203 | 88 | 211916203 | 1989879 || 511 | 4365354 | 170/ 170 | 259050 | 0 | 75.53/75.66 c | 511 | 3.4 | 0 | 14914 | 9303 | 89 | 216291200 | 2027983 || 511 | 4450956 | 170/ 170 | 259679 | 0 | 77.73/77.82 c | 511 | 2.2 | 0 | 13641 | 9281 | 90 | 221280910 | 2041696 || 511 | 4451970 | 170/ 170 | 259687 | 0 | 80.63/80.73 c | 511 | 2.9 | 0 | 14689 | 18783 | 91 | 226368819 | 2053972 || 511 | 4451970 | 170/ 170 | 259687 | 0 | 83.23/83.39 c | 520 | 2.7 | 0 | 14771 | 71 | 92 | 231321153 | 2084095 || 520 | 4495136 | 170/ 170 | 261371 | 0 | 84.93/85.06 c | 541 | 1.7 | 0 | 13405 | 445 | 93 | 236164561 | 2143320 || 541 | 4625216 | 170/ 170 | 267199 | 0 | 86.63/86.78 c | 557 | 1.7 | 0 | 14088 | 613 | 94 | 241082945 | 2195578 || 557 | 4738830 | 170/ 170 | 272777 | 0 | 88.43/88.50 c | 574 | 1.7 | 0 | 15154 | 1677 | 95 | 246049702 | 2250997 || 574 | 4861112 | 170/ 170 | 281630 | 0 | 90.13/90.28 c | 587 | 1.8 | 0 | 15834 | 151 | 96 | 250995809 | 2298532 || 587 | 4960953 | 170/ 170 | 284232 | 0 | 91.93/92.06 c | 605 | 1.8 | 0 | 16664 | 1717 | 97 | 256013295 | 2355265 || 605 | 5089195 | 170/ 170 | 291048 | 0 | 93.83/93.92 c | 626 | 1.9 | 0 | 17806 | 76 | 98 | 261206570 | 2414617 || 626 | 5209488 | 170/ 170 | 295812 | 0 | 95.63/95.77 c | 637 | 1.8 | 0 | 17529 | 3752 | 99 | 266302275 | 2462729 || 637 | 5325074 | 170/ 170 | 303777 | 0 | 97.73/97.87 c | 638 | 2.1 | 0 | 17904 | 9347 | 100 | 271389551 | 2496751 || 638 | 5409887 | 170/ 170 | 310815 | 0 | 99.83/99.93 c | 651 | 2.1 | 0 | 17641 | 23 | 101 | 276752922 | 2538922 || 651 | 5480578 | 170/ 170 | 313306 | 0 | 101.72/101.83 c | 669 | 1.9 | 0 | 17458 | 2398 | 102 | 282025667 | 2597130 || 669 | 5613063 | 170/ 170 | 320195 | 0 | 103.62/103.78 c | 693 | 1.9 | 0 | 17774 | 153 | 103 | 287354481 | 2661060 || 693 | 5745064 | 170/ 170 | 325616 | 0 | 105.62/105.73 c | 701 | 1.9 | 0 | 18064 | 638 | 104 | 292745359 | 2707187 || 701 | 5854820 | 170/ 170 | 332964 | 0 | 107.63/107.75 c | 723 | 2.0 | 0 | 18198 | 505 | 105 | 298219304 | 2767925 || 723 | 5979617 | 170/ 170 | 338186 | 0 | 109.62/109.76 c | 743 | 2.0 | 0 | 18560 | 240 | 106 | 303720038 | 2828002 || 743 | 6108087 | 170/ 170 | 344271 | 0 | 111.63/111.77 c | 763 | 2.0 | 0 | 19233 | 2303 | 107 | 309235139 | 2891528 || 763 | 6251366 | 170/ 170 | 351530 | 0 | 113.62/113.78 c | 765 | 2.0 | 0 | 19611 | 6302 | 108 | 314733441 | 2927913 || 765 | 6342299 | 170/ 170 | 361760 | 0 | 115.92/116.07 c | 766 | 2.3 | 0 | 19669 | 8001 | 109 | 320362694 | 2957711 || 766 | 6414321 | 170/ 170 | 375120 | 0 | 119.02/119.17 c | 766 | 3.1 | 0 | 19321 | 203 | 110 | 325583166 | 3000479 || 766 | 6518854 | 170/ 170 | 375850 | 0 | 121.32/121.49 c | 766 | 2.3 | 0 | 18765 | 11704 | 111 | 331537716 | 3016652 || 766 | 6518854 | 170/ 170 | 375850 | 0 | 123.72/123.80 c | 795 | 2.3 | 0 | 18690 | 267 | 112 | 337416224 | 3091671 || 795 | 6675335 | 170/ 170 | 382359 | 0 | 125.82/125.94 c | 812 | 2.1 | 0 | 18603 | 529 | 113 | 343249150 | 3153717 || 812 | 6807177 | 170/ 170 | 388805 | 0 | 128.02/128.10 c | 829 | 2.2 | 0 | 18890 | 3486 | 114 | 349132872 | 3215670 || 829 | 6947079 | 170/ 170 | 397721 | 0 | 130.22/130.34 c | 848 | 2.2 | 0 | 19520 | 40 | 115 | 355121955 | 3275057 || 848 | 7068779 | 170/ 170 | 402176 | 0 | 132.42/132.57 c | 871 | 2.2 | 0 | 19954 | 12 | 116 | 361053271 | 3341851 || 871 | 7211973 | 170/ 170 | 409097 | 0 | 134.72/134.81 c | 891 | 2.2 | 0 | 20963 | 980 | 117 | 367094716 | 3407606 || 891 | 7358992 | 170/ 170 | 416385 | 0 | 137.02/137.13 c | 893 | 2.3 | 0 | 22099 | 8382 | 118 | 373062777 | 3449409 || 893 | 7473139 | 170/ 170 | 426795 | 0 | 139.53/139.65 c | 907 | 2.5 | 0 | 21796 | 255 | 119 | 379238084 | 3497166 || 907 | 7553644 | 170/ 170 | 429701 | 0 | 141.83/141.96 c | 929 | 2.3 | 0 | 21474 | 116 | 120 | 385387952 | 3565580 || 929 | 7700073 | 170/ 170 | 436905 | 0 | 144.22/144.36 c | 955 | 2.4 | 0 | 21839 | 1477 | 121 | 391642646 | 3641760 || 955 | 7868606 | 170/ 170 | 445413 | 0 | 146.62/146.76 c | 969 | 2.4 | 0 | 22242 | 145 | 122 | 397970879 | 3698053 || 969 | 7980442 | 170/ 170 | 451349 | 0 | 149.02/149.17 c | 989 | 2.4 | 0 | 22139 | 0 | 123 | 404332680 | 3764934 || 989 | 8125330 | 170/ 170 | 458477 | 0 | 151.63/151.71 c | 1018 | 2.5 | 0 | 22391 | 1050 | 124 | 410769569 | 3845543 || 1018 | 8301169 | 170/ 170 | 467416 | 0 | 154.02/154.18 c | 1020 | 2.5 | 0 | 23219 | 6749 | 125 | 417175079 | 3887124 || 1020 | 8408562 | 170/ 170 | 477736 | 0 | 156.72/156.89 c | 1021 | 2.7 | 0 | 23299 | 10144 | 126 | 423725205 | 3923652 || 1021 | 8498412 | 170/ 170 | 491216 | 0 | 160.02/160.18 c | 1021 | 3.3 | 0 | 23059 | 4044 | 127 | 429989474 | 3965810 || 1021 | 8587845 | 170/ 170 | 491857 | 0 | 163.12/163.27 c | 1022 | 3.1 | 0 | 22333 | 17245 | 128 | 436606506 | 3995200 || 1022 | 8673249 | 154/ 154 | 518163 | 0 | 167.22/167.31 c | 1022 | 4.0 | 0 | 22221 | 13302 | 129 | 442585932 | 4042113 || 1022 | 8791204 | 154/ 154 | 518947 | 0 | 171.02/171.19 c | 1022 | 3.9 | 0 | 22215 | 5546 | 130 | 449092283 | 4078499 || 1022 | 8863513 | 154/ 154 | 519394 | 0 | 175.32/175.45 c | 1022 | 4.2 | 0 | 21060 | 19047 | 131 | 455987578 | 4096310 || 1022 | 8863513 | 154/ 154 | 519394 | 0 | 179.02/179.14 c | 1023 | 3.7 | 0 | 21680 | 32653 | 132 | 462693721 | 4134057 || 1023 | 9013574 | 146/ 146 | 571837 | 0 | 183.73/183.89 c | 1023 | 4.8 | 0 | 20338 | 13702 | 133 | 468811897 | 4186788 || 1023 | 9138039 | 146/ 146 | 572761 | 0 | 191.23/191.33 c | 1023 | 7.4 | 0 | 21471 | 13804 | 134 | 474600713 | 4239879 || 1023 | 9259491 | 146/ 146 | 573631 | 0 | 200.53/200.69 c | 1023 | 9.4 | 0 | 22486 | 13901 | 135 | 480449525 | 4291485 || 1023 | 9374466 | 146/ 146 | 574499 | 0 | 205.53/205.62 c | 1023 | 4.9 | 0 | 21898 | 11260 | 136 | 487809977 | 4316986 || 1023 | 9395456 | 146/ 146 | 574645 | 0 | 211.13/211.22 c | 1023 | 5.6 | 0 | 20984 | 25361 | 137 | 495376728 | 4335315 || 1023 | 9395456 | 146/ 146 | 574645 | 0 | 216.23/216.32 c | 1023 | 5.1 | 0 | 20513 | 39566 | 138 | 502784257 | 4353970 || 1023 | 9395456 | 146/ 146 | 574645 | 0 | 221.03/221.12 c | 1032 | 4.8 | 0 | 19961 | 146 | 139 | 510231387 | 4390811 || 1032 | 9440108 | 146/ 146 | 576301 | 0 | 223.82/223.96 c | 1059 | 2.8 | 0 | 18556 | 101 | 140 | 517458757 | 4471474 || 1059 | 9612362 | 146/ 146 | 584515 | 0 | 226.73/226.80 c | 1085 | 2.8 | 0 | 20155 | 1037 | 141 | 524742805 | 4554655 || 1085 | 9793484 | 146/ 146 | 593216 | 0 | 229.63/229.76 c | 1106 | 3.0 | 0 | 21753 | 95 | 142 | 532131725 | 4629095 || 1106 | 9949828 | 146/ 146 | 601209 | 0 | 232.53/232.67 c | 1132 | 2.9 | 0 | 22577 | 656 | 143 | 539506799 | 4708765 || 1132 | 10123946 | 146/ 146 | 609784 | 0 | 235.43/235.56 c | 1149 | 2.9 | 0 | 24049 | 1832 | 144 | 546901672 | 4777365 || 1149 | 10278572 | 146/ 146 | 618844 | 0 | 238.53/238.62 c | 1153 | 3.1 | 0 | 25216 | 119 | 145 | 554242793 | 4821113 || 1153 | 10365355 | 146/ 146 | 626334 | 0 | 241.53/241.66 c | 1181 | 3.0 | 0 | 24684 | 1278 | 146 | 561729086 | 4906339 || 1181 | 10547460 | 146/ 146 | 635037 | 0 | 244.73/244.83 c | 1212 | 3.2 | 0 | 25074 | 320 | 147 | 569306538 | 5001320 || 1212 | 10754770 | 146/ 146 | 644365 | 0 | 247.83/247.95 c | 1233 | 3.1 | 0 | 25560 | 181 | 148 | 576961964 | 5072411 || 1233 | 10904088 | 146/ 146 | 652343 | 0 | 250.93/251.08 c | 1261 | 3.1 | 0 | 25713 | 40 | 149 | 584583141 | 5159416 || 1261 | 11089368 | 146/ 146 | 661121 | 0 | 254.13/254.21 c | 1276 | 3.1 | 0 | 26212 | 2904 | 150 | 592261954 | 5224446 || 1276 | 11236004 | 146/ 146 | 669816 | 0 | 257.43/257.56 c | 1278 | 3.4 | 0 | 26702 | 8805 | 151 | 600018567 | 5270791 || 1278 | 11363560 | 146/ 146 | 689948 | 0 | 261.43/261.58 c | 1278 | 4.0 | 0 | 26906 | 5204 | 152 | 607317327 | 5320260 || 1278 | 11468235 | 146/ 146 | 690672 | 0 | 265.23/265.37 c | 1300 | 3.8 | 0 | 26611 | 272 | 153 | 615125697 | 5386688 || 1300 | 11587632 | 146/ 146 | 695817 | 0 | 268.53/268.67 c | 1330 | 3.3 | 0 | 25621 | 11 | 154 | 623028531 | 5479047 || 1330 | 11782668 | 146/ 146 | 704631 | 0 | 271.73/271.88 c | 1347 | 3.2 | 0 | 26002 | 175 | 155 | 630911622 | 5549620 || 1347 | 11943658 | 146/ 146 | 713659 | 0 | 275.13/275.22 c | 1378 | 3.3 | 0 | 25889 | 109 | 156 | 638917154 | 5641841 || 1378 | 12142139 | 146/ 146 | 722966 | 0 | 278.43/278.56 c | 1404 | 3.3 | 0 | 26331 | 2875 | 157 | 646994290 | 5729584 || 1404 | 12343599 | 146/ 146 | 734701 | 0 | 281.93/282.01 c | 1405 | 3.4 | 0 | 27278 | 4670 | 158 | 655079893 | 5778783 || 1405 | 12448914 | 146/ 146 | 741892 | 0 | 285.43/285.54 c | 1436 | 3.5 | 0 | 28235 | 109 | 159 | 663228927 | 5871472 || 1436 | 12645366 | 146/ 146 | 751169 | 0 | 288.93/289.04 c | 1467 | 3.5 | 0 | 28016 | 460 | 160 | 671477497 | 5964497 || 1467 | 12842435 | 146/ 146 | 760397 | 0 | 292.43/292.54 c | 1491 | 3.5 | 0 | 28296 | 23 | 161 | 679736296 | 6046497 || 1491 | 13014128 | 146/ 146 | 769187 | 0 | 296.03/296.14 c | 1524 | 3.6 | 0 | 28612 | 61 | 162 | 688129482 | 6142876 || 1524 | 13223189 | 146/ 146 | 778804 | 0 | 299.42/299.57 c | 1532 | 3.4 | 0 | 28956 | 6953 | 163 | 696265150 | 6204594 || 1532 | 13378580 | 146/ 146 | 792629 | 0 | 303.53/303.66 c | 1533 | 4.1 | 0 | 29419 | 14153 | 164 | 704293451 | 6253781 || 1533 | 13503033 | 146/ 146 | 806301 | 0 | 308.33/308.43 c | 1533 | 4.8 | 0 | 30470 | 11850 | 165 | 712830529 | 6289273 || 1533 | 13549744 | 146/ 146 | 806599 | 0 | 313.63/313.79 c | 1534 | 5.4 | 0 | 29394 | 28852 | 166 | 720574569 | 6350538 || 1534 | 13739729 | 146/ 146 | 833633 | 0 | 319.83/319.94 c | 1534 | 6.1 | 0 | 29648 | 7551 | 167 | 728550496 | 6397083 || 1534 | 13824640 | 146/ 146 | 834247 | 0 | 325.03/325.12 c | 1534 | 5.2 | 0 | 27642 | 24752 | 168 | 737179211 | 6420158 || 1534 | 13824640 | 146/ 146 | 834247 | 0 | 328.83/328.91 c | 1567 | 3.8 | 0 | 25716 | 82 | 169 | 745772332 | 6516735 || 1567 | 14029119 | 146/ 146 | 843783 | 0 | 332.42/332.57 c | 1597 | 3.7 | 0 | 25970 | 3317 | 170 | 754451029 | 6612255 || 1597 | 14242893 | 146/ 146 | 856196 | 0 | 336.22/336.33 c | 1627 | 3.8 | 0 | 26973 | 765 | 171 | 763324460 | 6703289 || 1627 | 14428285 | 146/ 146 | 863813 | 0 | 340.02/340.14 c | 1659 | 3.8 | 0 | 28091 | 2305 | 172 | 772077878 | 6803268 || 1659 | 14651116 | 146/ 146 | 874876 | 0 | 343.82/343.91 c | 1661 | 3.8 | 0 | 29648 | 3204 | 173 | 780729555 | 6856337 || 1661 | 14772449 | 146/ 146 | 885341 | 0 | 347.73/347.89 c | 1692 | 4.0 | 0 | 30607 | 156 | 174 | 789677614 | 6948141 || 1692 | 14962349 | 146/ 146 | 894582 | 0 | 351.73/351.82 c | 1724 | 3.9 | 0 | 31541 | 1992 | 175 | 798707963 | 7046601 || 1724 | 15177582 | 146/ 146 | 907170 | 0 | 355.73/355.87 c | 1754 | 4.0 | 0 | 31455 | 1135 | 176 | 807677062 | 7141518 || 1754 | 15382541 | 146/ 146 | 914928 | 0 | 359.73/359.89 c | 1786 | 4.0 | 0 | 31722 | 1981 | 177 | 816838901 | 7241931 || 1786 | 15598985 | 146/ 146 | 925941 | 0 | 363.83/363.94 c | 1788 | 4.1 | 0 | 32096 | 3368 | 178 | 825839462 | 7292432 || 1788 | 15715535 | 146/ 146 | 936332 | 0 | 368.23/368.40 c | 1789 | 4.4 | 0 | 31710 | 2470 | 179 | 834644879 | 7349683 || 1789 | 15863949 | 146/ 146 | 950191 | 0 | 372.93/373.00 c | 1811 | 4.6 | 0 | 32020 | 225 | 180 | 843801633 | 7418651 || 1811 | 15981429 | 146/ 146 | 955362 | 0 | 377.14/377.22 c | 1849 | 4.2 | 0 | 31438 | 241 | 181 | 853099581 | 7527523 || 1849 | 16213754 | 146/ 146 | 966058 | 0 | 381.23/381.30 c | 1869 | 4.1 | 0 | 31870 | 123 | 182 | 862279712 | 7611342 || 1869 | 16397836 | 146/ 146 | 976234 | 0 | 385.43/385.55 c | 1908 | 4.2 | 0 | 31981 | 159 | 183 | 871695552 | 7724777 || 1908 | 16645327 | 146/ 146 | 987200 | 0 | 389.53/389.69 c | 1916 | 4.1 | 0 | 32443 | 8837 | 184 | 880978046 | 7796446 || 1916 | 16829307 | 146/ 146 | 1001282 | 0 | 394.03/394.18 c | 1946 | 4.5 | 0 | 33003 | 865 | 185 | 890626454 | 7886447 || 1946 | 17004068 | 146/ 146 | 1008779 | 0 | 398.33/398.44 c | 1978 | 4.3 | 0 | 33733 | 202 | 186 | 900074365 | 7989012 || 1978 | 17227514 | 146/ 146 | 1019841 | 0 | 402.63/402.79 c | 2009 | 4.4 | 0 | 34215 | 440 | 187 | 909570786 | 8086555 || 2009 | 17437627 | 146/ 146 | 1030757 | 0 | 407.03/407.16 c | 2041 | 4.4 | 0 | 34129 | 2371 | 188 | 919139207 | 8191834 || 2041 | 17667530 | 146/ 146 | 1041884 | 0 | 411.34/411.50 c | 2043 | 4.3 | 0 | 34605 | 4870 | 189 | 928609566 | 8246363 || 2043 | 17786314 | 146/ 146 | 1052395 | 0 | 416.43/416.54 c | 2044 | 5.0 | 0 | 34405 | 5071 | 190 | 938173583 | 8305924 || 2044 | 17935080 | 146/ 146 | 1066287 | 0 | 421.83/421.92 c | 2045 | 5.4 | 0 | 34733 | 24574 | 191 | 947275942 | 8362414 || 2045 | 18091929 | 146/ 146 | 1093076 | 0 | 429.03/429.15 c | 2045 | 7.2 | 0 | 34632 | 5775 | 192 | 956280434 | 8422353 || 2045 | 18217095 | 146/ 146 | 1093934 | 0 | 435.13/435.24 c | 2045 | 6.1 | 0 | 32393 | 25477 | 193 | 966378458 | 8449333 || 2045 | 18217095 | 146/ 146 | 1093934 | 0 | 441.13/441.21 c | 2046 | 6.0 | 0 | 31207 | 45280 | 194 | 975572661 | 8524307 || 2046 | 18489281 | 122/ 122 | 1147244 | 0 | 451.13/451.27 c | 2046 | 10.1 | 0 | 31104 | 19905 | 195 | 984490357 | 8595259 || 2046 | 18663244 | 122/ 122 | 1148482 | 0 | 460.63/460.80 c | 2046 | 9.5 | 0 | 30504 | 8385 | 196 | 993872135 | 8646866 || 2046 | 18760917 | 122/ 122 | 1149177 | 0 | 469.64/469.74 c | 2046 | 8.9 | 0 | 29314 | 28486 | 197 | 1004105412 | 8672507 || 2046 | 18760917 | 122/ 122 | 1149177 | 0 | 479.63/479.70 c | 2046 | 10.0 | 0 | 31039 | 48690 | 198 | 1014526486 | 8698333 || 2046 | 18760917 | 122/ 122 | 1149177 | 0 | 486.33/486.41 c | 2047 | 6.7 | 0 | 29461 | 68995 | 199 | 1023907293 | 8770336 || 2047 | 19093599 | 90/ 90 | 1254339 | 0 | 497.83/497.90 c | 2047 | 11.5 | 0 | 27826 | 20402 | 200 | 1032815048 | 8840963 || 2047 | 19273076 | 90/ 90 | 1255533 | 0 | 510.23/510.38 c | 2047 | 12.5 | 0 | 28746 | 20502 | 201 | 1041405346 | 8913089 || 2047 | 19451337 | 90/ 90 | 1256732 | 0 | 525.03/525.12 c | 2047 | 14.8 | 0 | 31354 | 20601 | 202 | 1050093799 | 8988180 || 2047 | 19627910 | 90/ 90 | 1258052 | 0 | 536.23/536.31 c | 2047 | 11.2 | 0 | 27664 | 20708 | 203 | 1059164785 | 9069521 || 2047 | 19819232 | 90/ 90 | 1259416 | 0 | 542.93/543.02 c | 2047 | 6.7 | 0 | 28675 | 18406 | 204 | 1069415904 | 9104718 || 2047 | 19839513 | 90/ 90 | 1259565 | 0 | 551.34/551.41 c | 2047 | 8.4 | 0 | 28289 | 39308 | 205 | 1080136398 | 9132459 || 2047 | 19839513 | 90/ 90 | 1259565 | 0 | 560.23/560.34 c | 2047 | 8.9 | 0 | 29424 | 60310 | 206 | 1090760098 | 9160191 || 2047 | 19839513 | 90/ 90 | 1259565 | 0 | 570.33/570.49 c | 2047 | 10.1 | 0 | 32272 | 81412 | 207 | 1101311852 | 9187461 || 2047 | 19839513 | 90/ 90 | 1259565 | 0 | 581.63/581.71 c | 2049 | 11.2 | 0 | 33782 | 114 | 208 | 1111659480 | 9217594 || 2049 | 19846158 | 90/ 90 | 1259805 | 0 | 586.73/586.87 c | 2093 | 5.1 | 0 | 28851 | 1020 | 209 | 1122401067 | 9347997 || 2093 | 20125911 | 90/ 90 | 1272639 | 0 | 591.53/591.69 c | 2124 | 4.8 | 0 | 30793 | 571 | 210 | 1133124064 | 9453316 || 2124 | 20349280 | 90/ 90 | 1284456 | 0 | 596.63/596.72 c | 2167 | 5.0 | 0 | 31845 | 90 | 211 | 1143973083 | 9579586 || 2167 | 20616331 | 90/ 90 | 1296650 | 0 | 601.54/601.62 c | 2174 | 4.9 | 0 | 34177 | 2573 | 212 | 1154528513 | 9654471 || 2174 | 20799952 | 90/ 90 | 1310563 | 0 | 606.73/606.88 c | 2212 | 5.2 | 0 | 36291 | 403 | 213 | 1165435763 | 9765213 || 2212 | 21031475 | 90/ 90 | 1321289 | 0 | 611.93/612.08 c | 2242 | 5.2 | 0 | 37803 | 45 | 214 | 1176280905 | 9872366 || 2242 | 21259583 | 90/ 90 | 1333355 | 0 | 617.23/617.35 c | 2286 | 5.3 | 0 | 36322 | 272 | 215 | 1187171012 | 9999675 || 2286 | 21535470 | 90/ 90 | 1346091 | 0 | 622.54/622.68 c | 2301 | 5.3 | 0 | 36757 | 131 | 216 | 1197880307 | 10090851 || 2301 | 21751886 | 90/ 90 | 1361590 | 0 | 628.33/628.46 c | 2302 | 5.8 | 0 | 36743 | 3031 | 217 | 1208624193 | 10155256 || 2302 | 21902164 | 90/ 90 | 1375505 | 0 | 634.23/634.36 c | 2332 | 5.9 | 0 | 35941 | 372 | 218 | 1219989807 | 10251247 || 2332 | 22076465 | 90/ 90 | 1383060 | 0 | 639.53/639.67 c | 2365 | 5.3 | 0 | 36380 | 4215 | 219 | 1231145048 | 10367214 || 2365 | 22338770 | 90/ 90 | 1397570 | 0 | 644.73/644.84 c | 2404 | 5.2 | 0 | 36688 | 28 | 220 | 1242177746 | 10484970 || 2404 | 22584740 | 90/ 90 | 1408399 | 0 | 650.13/650.23 c | 2429 | 5.4 | 0 | 36825 | 5782 | 221 | 1253375379 | 10585142 || 2429 | 22822340 | 90/ 90 | 1426359 | 0 | 655.83/655.99 c | 2459 | 5.8 | 0 | 37057 | 320 | 222 | 1264541564 | 10691562 || 2459 | 23038060 | 90/ 90 | 1434126 | 0 | 661.33/661.43 c | 2492 | 5.4 | 0 | 37221 | 4559 | 223 | 1275863089 | 10809161 || 2492 | 23297657 | 90/ 90 | 1448730 | 0 | 666.93/667.01 c | 2534 | 5.6 | 0 | 38830 | 276 | 224 | 1287306214 | 10932123 || 2534 | 23549089 | 90/ 90 | 1460097 | 0 | 672.33/672.46 c | 2556 | 5.4 | 0 | 39219 | 6936 | 225 | 1298590669 | 11036496 || 2556 | 23791410 | 90/ 90 | 1477657 | 0 | 678.43/678.57 c | 2557 | 6.1 | 0 | 39493 | 1138 | 226 | 1309581021 | 11106693 || 2557 | 23966096 | 90/ 90 | 1491616 | 0 | 684.93/685.01 c | 2558 | 6.5 | 0 | 39031 | 24241 | 227 | 1320632684 | 11168241 || 2558 | 24122960 | 90/ 90 | 1518405 | 0 | 694.73/694.85 c | 2558 | 9.8 | 0 | 40046 | 9041 | 228 | 1331039153 | 11234479 || 2558 | 24248135 | 90/ 90 | 1519269 | 0 | 703.23/703.31 c | 2575 | 8.4 | 0 | 37740 | 15 | 229 | 1342910448 | 11301266 || 2575 | 24341041 | 90/ 90 | 1523255 | 0 | 709.03/709.17 c | 2620 | 5.9 | 0 | 36834 | 2048 | 230 | 1354709328 | 11434052 || 2620 | 24632858 | 90/ 90 | 1537756 | 0 | 714.84/714.93 c | 2652 | 5.8 | 0 | 37054 | 667 | 231 | 1366494915 | 11546950 || 2652 | 24870875 | 90/ 90 | 1550546 | 0 | 720.54/720.69 c | 2685 | 5.8 | 0 | 37423 | 3411 | 232 | 1378309627 | 11660486 || 2685 | 25131764 | 90/ 90 | 1569778 | 0 | 726.64/726.70 c | 2714 | 6.0 | 0 | 38333 | 264 | 233 | 1389913388 | 11767265 || 2714 | 25350339 | 90/ 90 | 1576701 | 0 | 732.34/732.47 c | 2748 | 5.8 | 0 | 39719 | 4401 | 234 | 1401843976 | 11888071 || 2748 | 25631486 | 90/ 90 | 1592137 | 0 | 738.44/738.55 c | 2793 | 6.1 | 0 | 41559 | 422 | 235 | 1413918226 | 12016717 || 2793 | 25896294 | 90/ 90 | 1604227 | 0 | 744.44/744.54 c | 2812 | 6.0 | 0 | 41689 | 8989 | 236 | 1425744616 | 12120497 || 2812 | 26139831 | 90/ 90 | 1621076 | 0 | 750.84/750.97 c | 2813 | 6.4 | 0 | 41947 | 4287 | 237 | 1437245097 | 12188941 || 2813 | 26296331 | 90/ 90 | 1635029 | 0 | 757.44/757.58 c | 2844 | 6.6 | 0 | 41356 | 1229 | 238 | 1449416021 | 12292940 || 2844 | 26494385 | 90/ 90 | 1644301 | 0 | 763.64/763.71 c | 2882 | 6.1 | 0 | 40897 | 58 | 239 | 1461638624 | 12419249 || 2882 | 26763665 | 90/ 90 | 1657992 | 0 | 769.84/769.99 c | 2933 | 6.3 | 0 | 41371 | 61 | 240 | 1473928451 | 12564812 || 2933 | 27076357 | 90/ 90 | 1672069 | 0 | 775.74/775.83 c | 2940 | 5.8 | 0 | 42044 | 5452 | 241 | 1486087365 | 12641796 || 2940 | 27250438 | 90/ 90 | 1685966 | 0 | 782.24/782.30 c | 2991 | 6.5 | 0 | 41925 | 69 | 242 | 1498552883 | 12785039 || 2991 | 27555428 | 90/ 90 | 1699733 | 0 | 788.54/788.64 c | 3029 | 6.3 | 0 | 42884 | 96 | 243 | 1511000178 | 12911292 || 3029 | 27825622 | 90/ 90 | 1713793 | 0 | 794.84/794.94 c | 3066 | 6.3 | 0 | 44087 | 4138 | 244 | 1523389694 | 13040760 || 3066 | 28121492 | 90/ 90 | 1730005 | 0 | 801.24/801.34 c | 3068 | 6.4 | 0 | 44849 | 14636 | 245 | 1535603113 | 13118112 || 3068 | 28312782 | 90/ 90 | 1750654 | 0 | 808.14/808.22 c | 3069 | 6.9 | 0 | 44824 | 20435 | 246 | 1547761434 | 13183370 || 3069 | 28469504 | 90/ 90 | 1777480 | 0 | 819.04/819.19 c | 3069 | 11.0 | 0 | 44033 | 7130 | 247 | 1559176235 | 13260219 || 3069 | 28623952 | 90/ 90 | 1778622 | 0 | 827.93/828.01 c | 3070 | 8.8 | 0 | 42767 | 32331 | 248 | 1571750202 | 13313646 || 3070 | 28772873 | 90/ 90 | 1831094 | 0 | 840.14/840.20 c | 3070 | 12.2 | 0 | 41712 | 25303 | 249 | 1582591715 | 13404564 || 3070 | 28992844 | 90/ 90 | 1832663 | 0 | 854.44/854.52 c | 3070 | 14.3 | 0 | 42541 | 6234 | 250 | 1593825984 | 13478203 || 3070 | 29145080 | 90/ 90 | 1833748 | 0 | 865.04/865.10 c | 3070 | 10.6 | 0 | 36953 | 31737 | 251 | 1607279606 | 13512141 || 3070 | 29145080 | 90/ 90 | 1833748 | 0 | 876.24/876.33 c | 3085 | 11.2 | 0 | 39640 | 501 | 252 | 1620257098 | 13577999 || 3085 | 29230698 | 90/ 90 | 1837500 | 0 | 882.74/882.87 c | 3132 | 6.5 | 0 | 35625 | 1316 | 253 | 1633126240 | 13719215 || 3132 | 29531098 | 90/ 90 | 1852215 | 0 | 889.24/889.36 c | 3174 | 6.5 | 0 | 37403 | 24 | 254 | 1645982236 | 13853413 || 3174 | 29822463 | 90/ 90 | 1866908 | 0 | 895.64/895.77 c | 3197 | 6.4 | 0 | 38342 | 74 | 255 | 1658659531 | 13967224 || 3197 | 30094686 | 90/ 90 | 1884662 | 0 | 902.44/902.52 c | 3240 | 6.7 | 0 | 40766 | 99 | 256 | 1671794257 | 14093853 || 3240 | 30349519 | 90/ 90 | 1896107 | 0 | 909.04/909.11 c | 3279 | 6.6 | 0 | 42268 | 222 | 257 | 1684980450 | 14225097 || 3279 | 30632957 | 90/ 90 | 1911096 | 0 | 915.74/915.85 c | 3323 | 6.7 | 0 | 44895 | 2951 | 258 | 1698095434 | 14366908 || 3323 | 30946846 | 90/ 90 | 1928647 | 0 | 922.64/922.71 c | 3325 | 6.9 | 0 | 45423 | 14849 | 259 | 1710964786 | 14447964 || 3325 | 31156805 | 90/ 90 | 1949331 | 0 | 930.64/930.71 c | 3350 | 8.0 | 0 | 45504 | 112 | 260 | 1724249577 | 14544009 || 3350 | 31322030 | 90/ 90 | 1955216 | 0 | 937.44/937.59 c | 3388 | 6.9 | 0 | 44220 | 428 | 261 | 1737437041 | 14676192 || 3388 | 31619122 | 90/ 90 | 1971547 | 0 | 944.54/944.62 c | 3440 | 7.0 | 0 | 44917 | 223 | 262 | 1750664583 | 14823431 || 3440 | 31928157 | 90/ 90 | 1985503 | 0 | 951.24/951.34 c | 3452 | 6.7 | 0 | 45331 | 5595 | 263 | 1763838964 | 14914856 || 3452 | 32132738 | 90/ 90 | 2000501 | 0 | 958.54/958.62 c | 3510 | 7.3 | 0 | 45248 | 193 | 264 | 1777201219 | 15075199 || 3510 | 32472828 | 90/ 90 | 2015724 | 0 | 965.54/965.64 c | 3546 | 7.0 | 0 | 45418 | 2326 | 265 | 1790570719 | 15205379 || 3546 | 32761030 | 90/ 90 | 2031813 | 0 | 972.54/972.60 c | 3579 | 7.0 | 0 | 46978 | 6059 | 266 | 1803948765 | 15331648 || 3579 | 33048780 | 90/ 90 | 2051269 | 0 | 980.24/980.39 c | 3580 | 7.8 | 0 | 47496 | 4358 | 267 | 1816671641 | 15409876 || 3580 | 33232853 | 90/ 90 | 2065365 | 0 | 989.44/989.58 c | 3581 | 9.2 | 0 | 46606 | 31561 | 268 | 1829369265 | 15485010 || 3581 | 33438752 | 90/ 90 | 2092484 | 0 | 999.34/999.45 c | 3581 | 9.9 | 0 | 45893 | 20462 | 269 | 1842906810 | 15535886 || 3581 | 33496527 | 90/ 90 | 2092893 | 0 | 1007.74/1007.80 c | 3627 | 8.4 | 0 | 46020 | 554 | 270 | 1856656735 | 15674106 || 3627 | 33775600 | 90/ 90 | 2105945 | 0 | 1015.15/1015.27 c | 3673 | 7.5 | 0 | 44489 | 370 | 271 | 1870536689 | 15819054 || 3673 | 34087394 | 90/ 90 | 2121543 | 0 | 1022.24/1022.37 c | 3708 | 7.1 | 0 | 44764 | 3508 | 272 | 1884360261 | 15949946 || 3708 | 34382776 | 90/ 90 | 2143515 | 0 | 1029.74/1029.87 c | 3739 | 7.5 | 0 | 45243 | 749 | 273 | 1898215928 | 16070382 || 3739 | 34635145 | 90/ 90 | 2153092 | 0 | 1037.15/1037.22 c | 3785 | 7.4 | 0 | 46518 | 60 | 274 | 1912110665 | 16215399 || 3785 | 34946435 | 90/ 90 | 2168731 | 0 | 1044.55/1044.69 c | 3834 | 7.5 | 0 | 48278 | 1871 | 275 | 1926166607 | 16367172 || 3834 | 35280352 | 90/ 90 | 2187706 | 0 | 1052.25/1052.37 c | 3836 | 7.7 | 0 | 49994 | 15469 | 276 | 1939667601 | 16453662 || 3836 | 35497261 | 90/ 90 | 2208439 | 0 | 1061.04/1061.14 c | 3866 | 8.8 | 0 | 49843 | 727 | 277 | 1953512013 | 16563397 || 3866 | 35700951 | 90/ 90 | 2216175 | 0 | 1068.64/1068.70 c | 3905 | 7.5 | 0 | 48101 | 157 | 278 | 1967550757 | 16700566 || 3905 | 35991723 | 90/ 90 | 2231709 | 0 | 1076.34/1076.49 c | 3961 | 7.8 | 0 | 48346 | 1445 | 279 | 1981644845 | 16862564 || 3961 | 36344912 | 90/ 90 | 2249191 | 0 | 1084.04/1084.10 c | 3980 | 7.6 | 0 | 49293 | 112 | 280 | 1995695000 | 16967823 || 3980 | 36570960 | 90/ 90 | 2263716 | 0 | 1091.74/1091.84 c | 4026 | 7.8 | 0 | 48971 | 4624 | 281 | 2009884153 | 17119458 || 4026 | 36910192 | 90/ 90 | 2281777 | 0 | 1099.64/1099.78 c | 4081 | 7.9 | 0 | 49451 | 28 | 282 | 2024289619 | 17279485 || 4081 | 37240171 | 90/ 90 | 2296496 | 0 | 1107.34/1107.49 c | 4091 | 7.7 | 0 | 51253 | 9012 | 283 | 2038277508 | 17374591 || 4091 | 37479694 | 90/ 90 | 2324066 | 0 | 1116.24/1116.40 c | 4092 | 8.9 | 0 | 51381 | 18613 | 284 | 2052347696 | 17455655 || 4092 | 37676694 | 90/ 90 | 2351070 | 0 | 1127.94/1128.09 c | 4092 | 11.7 | 0 | 50382 | 9110 | 285 | 2065986304 | 17542638 || 4092 | 37858864 | 90/ 90 | 2352332 | 0 | 1137.94/1138.03 c | 4093 | 9.9 | 0 | 48420 | 38111 | 286 | 2080168269 | 17612702 || 4093 | 38056819 | 90/ 90 | 2405194 | 0 | 1155.44/1155.50 c | 4093 | 17.5 | 0 | 49147 | 29105 | 287 | 2092505260 | 17718493 || 4093 | 38317308 | 90/ 90 | 2407028 | 0 | 1168.64/1168.73 c | 4093 | 13.2 | 0 | 47641 | 19615 | 288 | 2106749450 | 17779354 || 4093 | 38399154 | 90/ 90 | 2407628 | 0 | 1183.74/1183.85 c | 4093 | 15.1 | 0 | 45208 | 48918 | 289 | 2121303426 | 17818049 || 4093 | 38399154 | 90/ 90 | 2407628 | 0 | 1197.14/1197.23 c | 4094 | 13.4 | 0 | 41098 | 78323 | 290 | 2134752725 | 17922556 || 4094 | 38800727 | 90/ 90 | 2513178 | 0 | 1223.45/1223.51 c | 4094 | 26.3 | 0 | 43627 | 29501 | 291 | 2147592909 | 18024463 || 4094 | 39037025 | 90/ 90 | 2514878 | 0 | 1253.25/1253.30 c | 4094 | 29.8 | 0 | 43853 | 29601 | 292 | 2159835221 | 18123541 || 4094 | 39270547 | 90/ 90 | 2516525 | 0 | 1274.35/1274.43 c | 4094 | 21.1 | 0 | 44054 | 13527 | 293 | 2173468819 | 18195817 || 4094 | 39393637 | 90/ 90 | 2517409 | 0 | 1288.45/1288.57 c | 4094 | 14.1 | 0 | 39249 | 43328 | 294 | 2188656694 | 18235644 || 4094 | 39393637 | 90/ 90 | 2517409 | 0 | 1299.95/1300.00 c | 4094 | 11.4 | 0 | 59985 | 64064 | 294 | 2199262898 | 18262744 || 4094 | 39393637 | 90/ 90 | 2517409 | 0 | 1299.95/1300.00 c c 1299.95/1300.00 c ----------------------------------- 1299.95/1300.00 c # temps = 1299.870000 1299.95/1300.00 c # cleaningDB = 294 1299.95/1300.00 c # clause binaire = 0 1299.95/1300.00 c # literal removed by litRedundant = 70647600 1299.95/1300.00 c # literal removed by litRedundantBin = 0 1299.95/1300.00 c # init clause removed by simplify = 0 1299.95/1300.00 c # learnt clause removed by simplify = 0 1299.95/1300.00 c # une clause fausse était une apprise = 0 1299.95/1300.00 c # equivalence dectecte = 0 1299.95/1300.00 c # Memory used : 143.33 MB 1299.95/1300.00 c 1299.95/1300.00 c ######################## 1299.95/1300.00 c #### ## ### ## #### 1299.95/1300.00 c #### #### # ## #### #### 1299.95/1300.00 c #### ## ### ## ### 1299.95/1300.00 c ######################## 1299.95/1300.00 c # restart = 4094 1299.95/1300.00 c # conflit = 4475462 1299.95/1300.00 c # decision = 18262744 1299.95/1300.00 c # propagation = 2199262898 (1691909.881757 (prop/sec)) 1299.95/1300.00 c 1299.95/1300.00 c ######################## 1299.95/1300.00 c ### ### # ## ## ## 1299.95/1300.00 c ### # # # #### # ### ### 1299.95/1300.00 c ### # ### ## # ### ### 1299.95/1300.00 c ######################## 1299.95/1300.00 c # numtry = 4094 1299.95/1300.00 c # numflips = 39393637 1299.95/1300.00 c # maxSat = 90 1299.95/1300.00 c # freeFlip = 3919043 1299.95/1300.00 c # nbBoundary = 0 1299.95/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-3189574-1302705444/watcher-3189574-1302705444 -o /tmp/evaluation-result-3189574-1302705444/solver-3189574-1302705444 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189574-1302705444.cnf rnovelty running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 382144060 8912896 252 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2915/statm: 2176 252 211 178 0 69 0 [startup+0.0129851 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 382144060 8912896 252 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2915/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100973 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300941 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700875 s] /proc/loadavg: 1.84 1.97 1.99 5/182 2919 /proc/meminfo: memFree=16155436/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.50077 s] /proc/loadavg: 1.84 1.97 1.99 6/196 2942 /proc/meminfo: memFree=16110536/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=22708 CPUtime=1.4 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 4087 0 0 0 140 0 0 0 25 0 1 0 382144069 23252992 3999 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 5677 3999 136 12 0 4141 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 40116 [startup+3.1005 s] /proc/loadavg: 1.84 1.97 1.99 7/196 2942 /proc/meminfo: memFree=16106320/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=24080 CPUtime=3 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 4431 0 0 0 300 0 0 0 25 0 1 0 382144069 24657920 4343 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223784 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 6020 4343 136 12 0 4484 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41488 [startup+6.30097 s] /proc/loadavg: 2.01 2.00 2.00 7/196 2942 /proc/meminfo: memFree=16097020/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=27116 CPUtime=6.19 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 5217 0 0 0 619 0 0 0 25 0 1 0 382144069 27766784 5129 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 6779 5129 136 12 0 5243 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 44524 [startup+12.7009 s] /proc/loadavg: 2.17 2.03 2.01 6/196 2942 /proc/meminfo: memFree=16088728/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=30284 CPUtime=12.59 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 5985 0 0 0 1259 0 0 0 25 0 1 0 382144069 31010816 5897 33554432000 4194304 4241092 140737316131776 18446744073709551615 210646807237 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 7571 5897 136 12 0 6035 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 47692 [startup+25.5007 s] /proc/loadavg: 2.58 2.13 2.04 7/196 2942 /proc/meminfo: memFree=16075516/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=33980 CPUtime=25.38 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 6909 0 0 0 2536 2 0 0 25 0 1 0 382144069 34795520 6821 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 8495 6821 136 12 0 6959 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 51388 [startup+51.1004 s] /proc/loadavg: 3.06 2.28 2.09 7/196 2943 /proc/meminfo: memFree=16056336/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=38504 CPUtime=50.95 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 8061 0 0 0 5090 5 0 0 25 0 1 0 382144069 39428096 7959 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 9626 7959 136 12 0 8090 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 55912 [startup+102.308 s] /proc/loadavg: 3.59 2.54 2.19 7/196 2944 /proc/meminfo: memFree=16011688/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=55228 CPUtime=102.15 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 12390 0 0 0 10209 6 0 0 25 0 1 0 382144069 56553472 12150 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223885 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 13807 12150 136 12 0 12271 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 72636 [startup+162.301 s] /proc/loadavg: 3.85 2.80 2.30 7/196 2947 /proc/meminfo: memFree=16004228/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=55260 CPUtime=162.14 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 12670 0 0 0 16208 6 0 0 25 0 1 0 382144069 56586240 12157 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223763 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 13815 12157 136 12 0 12279 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 72668 [startup+222.301 s] /proc/loadavg: 3.94 3.02 2.40 7/196 2949 /proc/meminfo: memFree=15943568/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=78156 CPUtime=222.15 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 18545 0 0 0 22207 8 0 0 25 0 1 0 382144069 80031744 17864 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223739 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 19539 17864 136 12 0 18003 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 95564 [startup+282.3 s] ################ # More data... # ################ /proc/meminfo: memFree=15848588/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=104760 CPUtime=762.17 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 27667 0 0 0 76205 12 0 0 25 0 1 0 382144069 107274240 24527 33554432000 4194304 4241092 140737316131776 18446744073709551615 4227982 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 26190 24527 136 12 0 24654 0 Current children cumulated CPU time (s) 762.25 Current children cumulated vsize (KiB) 122168 [startup+822.3 s] /proc/loadavg: 4.00 3.87 3.15 7/196 2967 /proc/meminfo: memFree=15840764/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=104728 CPUtime=822.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 27983 0 0 0 82204 12 0 0 25 0 1 0 382144069 107241472 24518 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 26182 24518 136 12 0 24646 0 Current children cumulated CPU time (s) 822.24 Current children cumulated vsize (KiB) 122136 [startup+882.301 s] /proc/loadavg: 4.08 3.90 3.21 5/196 2969 /proc/meminfo: memFree=15816328/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=121560 CPUtime=882.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 32391 0 0 0 88202 14 0 0 25 0 1 0 382144069 124477440 28738 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 30390 28738 136 12 0 28854 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 138968 [startup+942.301 s] /proc/loadavg: 4.12 3.95 3.27 7/196 2969 /proc/meminfo: memFree=15814708/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=121560 CPUtime=942.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 32727 0 0 0 94202 14 0 0 25 0 1 0 382144069 124477440 28738 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 30390 28738 136 12 0 28854 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 138968 [startup+1002.3 s] /proc/loadavg: 4.04 3.95 3.31 7/196 2971 /proc/meminfo: memFree=15812096/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=121496 CPUtime=1002.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 33015 0 0 0 100202 14 0 0 25 0 1 0 382144069 124411904 28719 33554432000 4194304 4241092 140737316131776 18446744073709551615 4222819 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 30374 28719 136 12 0 28838 0 Current children cumulated CPU time (s) 1002.24 Current children cumulated vsize (KiB) 138904 [startup+1062.3 s] /proc/loadavg: 4.01 3.96 3.35 7/196 2973 /proc/meminfo: memFree=15807624/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=121496 CPUtime=1062.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 33345 0 0 0 106201 15 0 0 25 0 1 0 382144069 124411904 28727 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 30374 28727 136 12 0 28838 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 138904 [startup+1122.3 s] /proc/loadavg: 4.00 3.97 3.39 7/196 2975 /proc/meminfo: memFree=15806376/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=121592 CPUtime=1122.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 33662 0 0 0 112201 15 0 0 25 0 1 0 382144069 124510208 28744 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 30398 28744 136 12 0 28862 0 Current children cumulated CPU time (s) 1122.24 Current children cumulated vsize (KiB) 139000 [startup+1182.3 s] /proc/loadavg: 4.00 3.97 3.42 7/196 2977 /proc/meminfo: memFree=15795816/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=130088 CPUtime=1182.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 35949 0 0 0 118200 16 0 0 25 0 1 0 382144069 133210112 30840 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 32522 30840 136 12 0 30986 0 Current children cumulated CPU time (s) 1182.24 Current children cumulated vsize (KiB) 147496 [startup+1242.3 s] /proc/loadavg: 4.00 3.97 3.46 7/196 2977 /proc/meminfo: memFree=15782540/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=136460 CPUtime=1242.16 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 37703 0 0 0 124199 17 0 0 25 0 1 0 382144069 139735040 32458 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 34115 32458 136 12 0 32579 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 153868 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.97 3.49 7/196 2979 /proc/meminfo: memFree=15738872/32951132 swapFree=67111528/67111528 [pid=2915] ppid=2910 vsize=8704 CPUtime=0.08 cores=1,3 /proc/2915/stat : 2915 (esg_static.sh) S 2910 2915 2865 0 -1 4202496 348 1396 0 0 0 0 8 0 18 0 1 0 382144060 8912896 255 33554432000 4194304 4922060 140733777716048 18446744073709551615 210647146240 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0 /proc/2915/statm: 2176 255 211 178 0 69 0 [pid=2939] ppid=2915 vsize=8704 CPUtime=0 cores=1,3 /proc/2939/stat : 2939 (esg_static.sh) S 2915 2915 2865 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 382144069 8912896 134 33554432000 4194304 4922060 140733777716048 18446744073709551615 210646965381 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2939/statm: 2176 134 90 178 0 69 0 [pid=2940] ppid=2939 vsize=146764 CPUtime=1299.87 cores=1,3 /proc/2940/stat : 2940 (sathys) R 2939 2915 2865 0 -1 4202496 40425 0 0 0 129969 18 0 0 25 0 1 0 382144069 150286336 35030 33554432000 4194304 4241092 140737316131776 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 1 0 0 0 /proc/2940/statm: 36691 35030 136 12 0 35155 0 Current children cumulated CPU time (s) 1299.95 Current children cumulated vsize (KiB) 164172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2915 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=82987 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.088986 # while last known CPU time is 1299.95 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.02 CPU time (s): 1299.95 CPU user time (s): 1299.77 CPU system time (s): 0.18 CPU usage (%): 99.9948 Max. virtual memory (cumulated for all children) (KiB): 164300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.082987 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1911 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= 47 involuntary context switches= 5 runsolver used 2.28365 second user time and 5.62614 second system time The end
Begin job on node129 at 2011-04-13 16:37:24 IDJOB=3189574 IDBENCH=82505 IDSOLVER=1610 FILE ID=node129/3189574-1302705444 RUNJOBID= node129-1302705444-2886 PBS_JOBID= 12981412 Free space on /tmp= 71980 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189574-1302705444/watcher-3189574-1302705444 -o /tmp/evaluation-result-3189574-1302705444/solver-3189574-1302705444 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189574-1302705444.cnf rnovelty TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 7c175136a39da4bf967495732df3f101 RANDOM SEED=1613276943 node129.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.831 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.66 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.831 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.83 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.831 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.75 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.831 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.82 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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: 32951132 kB MemFree: 16158508 kB Buffers: 529596 kB Cached: 15837532 kB SwapCached: 0 kB Active: 8942896 kB Inactive: 7491632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 16158508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 8 kB AnonPages: 66652 kB Mapped: 14764 kB Slab: 294904 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 195380 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71972 MiB End job on node129 at 2011-04-13 16:59:06