| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| sathys 2011-04-01 | ? (TO) | 5000.07 | 4999.93 |
| Name | crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf |
| MD5SUM | 9255daf8fc8e7a0c753f68fd095283c9 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 33.025 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 144 |
| Number of clauses | 936 |
| Sum of the clauses size | 3312 |
| Maximum clause length | 12 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 792 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 144 |
0.00/0.00 static 0.00/0.00 HOME/instance-3438985-1306901724.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 | 936 3312 | 280 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c Result : #vars: 144 #clauses: 936 #literals: 3312 0.00/0.00 c CPU time: 0 s 0.00/0.00 c ============================================================================== 0.00/0.00 c 0.00/0.00 c seed = 0, numatom = 144, numclause = 144, numliterals = 3312 0.00/0.00 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.00 c | resCDCL | tps | #impl | #learnt | #conf | #clean | #propa | #deci || tryLS | numflip | maxSat/maxNoBi | nbAlea | Equi | 0.00/0.00 c --------------------------------------------------------------------------------------------------------------------------------------------- 0.00/0.01 c | 2 | 0.0 | 0 | 502 | 196 | 1 | 11372 | 795 || 2 | 1731 | 6/ 0 | 262 | 0 | 0.00/0.02 c | 4 | 0.0 | 0 | 942 | 296 | 2 | 25795 | 1783 || 4 | 3673 | 6/ 0 | 575 | 0 | 0.00/0.04 c | 6 | 0.0 | 0 | 1243 | 191 | 3 | 42144 | 2842 || 6 | 5566 | 6/ 0 | 893 | 0 | 0.00/0.06 c | 7 | 0.0 | 0 | 1595 | 391 | 4 | 61482 | 3978 || 7 | 7989 | 5/ 0 | 1317 | 0 | 0.00/0.08 c | 11 | 0.0 | 0 | 1942 | 290 | 5 | 83563 | 5380 || 11 | 10868 | 5/ 0 | 1837 | 0 | 0.00/0.12 c | 14 | 0.0 | 0 | 2363 | 478 | 6 | 107832 | 6900 || 14 | 14556 | 5/ 0 | 2556 | 0 | 0.00/0.16 c | 15 | 0.0 | 0 | 2903 | 977 | 7 | 130493 | 8375 || 15 | 18503 | 5/ 0 | 3391 | 0 | 0.00/0.21 c | 16 | 0.1 | 0 | 3334 | 76 | 8 | 161299 | 10063 || 16 | 19965 | 5/ 0 | 3501 | 0 | 0.00/0.27 c | 21 | 0.1 | 0 | 3718 | 61 | 9 | 194179 | 12125 || 21 | 24352 | 5/ 0 | 4228 | 0 | 0.00/0.34 c | 25 | 0.1 | 0 | 4203 | 158 | 10 | 225274 | 14184 || 25 | 28662 | 5/ 0 | 5067 | 0 | 0.00/0.43 c | 29 | 0.1 | 0 | 4664 | 551 | 11 | 258003 | 16478 || 29 | 33650 | 5/ 0 | 5906 | 0 | 0.00/0.52 c | 30 | 0.1 | 0 | 5232 | 351 | 12 | 292952 | 18763 || 30 | 38461 | 5/ 0 | 6751 | 0 | 0.00/0.62 c | 31 | 0.1 | 0 | 5514 | 2053 | 13 | 325559 | 21311 || 31 | 46403 | 5/ 0 | 8417 | 0 | 0.00/0.70 c | 31 | 0.1 | 0 | 6148 | 1452 | 14 | 369175 | 23870 || 31 | 47676 | 5/ 0 | 8427 | 0 | 0.00/0.84 c | 38 | 0.1 | 0 | 6701 | 347 | 15 | 414337 | 26964 || 38 | 54177 | 5/ 0 | 9677 | 0 | 0.00/1.01 c | 44 | 0.2 | 0 | 7171 | 237 | 16 | 460983 | 30014 || 44 | 59757 | 5/ 0 | 10518 | 0 | 1.20/1.22 c | 46 | 0.2 | 0 | 7625 | 225 | 17 | 509198 | 32957 || 46 | 66870 | 5/ 0 | 11775 | 0 | 1.39/1.43 c | 53 | 0.2 | 0 | 7852 | 213 | 18 | 561433 | 36230 || 53 | 72716 | 5/ 0 | 13017 | 0 | 1.59/1.64 c | 59 | 0.2 | 0 | 8347 | 104 | 19 | 613097 | 39751 || 59 | 78877 | 5/ 0 | 13871 | 0 | 1.79/1.83 c | 61 | 0.2 | 0 | 8788 | 701 | 20 | 663672 | 42916 || 61 | 85521 | 5/ 0 | 15124 | 0 | 2.09/2.10 c | 62 | 0.3 | 0 | 9248 | 801 | 21 | 719083 | 46233 || 62 | 94747 | 5/ 0 | 16802 | 0 | 2.30/2.34 c | 63 | 0.2 | 0 | 9440 | 3402 | 22 | 772383 | 49651 || 63 | 107315 | 5/ 0 | 20103 | 0 | 2.49/2.57 c | 63 | 0.2 | 0 | 10164 | 1303 | 23 | 828308 | 53263 || 63 | 112048 | 5/ 0 | 20149 | 0 | 2.79/2.80 c | 67 | 0.2 | 0 | 10893 | 0 | 24 | 890062 | 57101 || 67 | 115096 | 5/ 0 | 20670 | 0 | 3.09/3.14 c | 76 | 0.3 | 0 | 10955 | 289 | 25 | 956481 | 61648 || 76 | 124162 | 5/ 0 | 22251 | 0 | 3.41/3.48 c | 80 | 0.3 | 0 | 11303 | 78 | 26 | 1024919 | 65828 || 80 | 132141 | 5/ 0 | 23717 | 0 | 3.79/3.88 c | 90 | 0.4 | 0 | 11389 | 163 | 27 | 1096326 | 70582 || 90 | 141564 | 5/ 0 | 25387 | 0 | 4.19/4.28 c | 94 | 0.4 | 0 | 12114 | 1053 | 28 | 1164794 | 74938 || 94 | 153406 | 5/ 0 | 28508 | 0 | 4.59/4.63 c | 96 | 0.4 | 0 | 12469 | 50 | 29 | 1236174 | 79371 || 96 | 159137 | 5/ 0 | 28759 | 0 | 4.99/5.05 c | 107 | 0.4 | 0 | 13189 | 220 | 30 | 1309695 | 84691 || 107 | 169708 | 5/ 0 | 30659 | 0 | 5.50/5.52 c | 112 | 0.5 | 0 | 14195 | 199 | 31 | 1388696 | 89683 || 112 | 179314 | 5/ 0 | 32336 | 0 | 6.09/6.11 c | 123 | 0.6 | 0 | 14894 | 584 | 32 | 1467813 | 95160 || 123 | 191086 | 5/ 0 | 34450 | 0 | 6.60/6.69 c | 125 | 0.6 | 0 | 15831 | 81 | 33 | 1541467 | 100206 || 125 | 204330 | 5/ 0 | 36965 | 0 | 7.29/7.30 c | 126 | 0.6 | 0 | 16653 | 3884 | 34 | 1619366 | 105075 || 126 | 218419 | 5/ 0 | 40274 | 0 | 7.70/7.80 c | 126 | 0.5 | 0 | 17444 | 2984 | 35 | 1703604 | 109931 || 126 | 221501 | 5/ 0 | 40312 | 0 | 8.49/8.52 c | 127 | 0.7 | 0 | 17331 | 6985 | 36 | 1777343 | 115233 || 127 | 247103 | 5/ 0 | 46920 | 0 | 9.09/9.12 c | 127 | 0.6 | 0 | 17885 | 1484 | 37 | 1858349 | 120565 || 127 | 256022 | 5/ 0 | 46990 | 0 | 9.49/9.59 c | 127 | 0.5 | 0 | 18538 | 5686 | 38 | 1951440 | 125741 || 127 | 256022 | 5/ 0 | 46990 | 0 | 10.39/10.42 c | 139 | 0.8 | 0 | 18155 | 70 | 39 | 2042756 | 132225 || 139 | 266672 | 5/ 0 | 48888 | 0 | 11.19/11.25 c | 148 | 0.8 | 0 | 18081 | 159 | 40 | 2138403 | 138492 || 148 | 279313 | 5/ 0 | 51198 | 0 | 12.10/12.13 c | 157 | 0.9 | 0 | 18523 | 440 | 41 | 2234037 | 144853 || 157 | 292868 | 5/ 0 | 53716 | 0 | 12.99/13.04 c | 163 | 0.9 | 0 | 19352 | 130 | 42 | 2337062 | 151333 || 163 | 305524 | 5/ 0 | 56017 | 0 | 13.89/13.94 c | 173 | 0.9 | 0 | 19656 | 103 | 43 | 2436947 | 158212 || 173 | 320354 | 5/ 0 | 58710 | 0 | 14.79/14.86 c | 187 | 0.9 | 0 | 20190 | 277 | 44 | 2540771 | 165304 || 187 | 333205 | 5/ 0 | 61207 | 0 | 15.69/15.74 c | 189 | 0.9 | 0 | 21142 | 971 | 45 | 2641671 | 171698 || 189 | 347311 | 5/ 0 | 63697 | 0 | 16.69/16.73 c | 190 | 1.0 | 0 | 22533 | 1168 | 46 | 2737158 | 178196 || 190 | 364434 | 5/ 0 | 67042 | 0 | 17.71/17.77 c | 200 | 1.0 | 0 | 22990 | 48 | 47 | 2845254 | 185422 || 200 | 374030 | 5/ 0 | 68723 | 0 | 18.89/18.94 c | 212 | 1.2 | 0 | 22987 | 415 | 48 | 2957503 | 193033 || 212 | 389493 | 5/ 0 | 71632 | 0 | 20.09/20.17 c | 221 | 1.2 | 0 | 23734 | 1494 | 49 | 3069405 | 200473 || 221 | 407228 | 5/ 0 | 75391 | 0 | 21.29/21.38 c | 231 | 1.2 | 0 | 24143 | 170 | 50 | 3184090 | 208053 || 231 | 419149 | 5/ 0 | 77092 | 0 | 22.69/22.78 c | 243 | 1.4 | 0 | 24564 | 557 | 51 | 3297044 | 215993 || 243 | 435659 | 5/ 0 | 80030 | 0 | 24.09/24.16 c | 252 | 1.4 | 0 | 24130 | 1945 | 52 | 3411497 | 223831 || 252 | 453893 | 5/ 0 | 83771 | 0 | 25.19/25.30 c | 253 | 1.1 | 0 | 25229 | 439 | 53 | 3521812 | 231204 || 253 | 472260 | 5/ 0 | 87140 | 0 | 26.50/26.53 c | 254 | 1.2 | 0 | 26429 | 6245 | 54 | 3633667 | 238819 || 254 | 495084 | 5/ 0 | 93730 | 0 | 27.60/27.67 c | 254 | 1.1 | 0 | 27882 | 2542 | 55 | 3744163 | 246613 || 254 | 506151 | 5/ 0 | 93847 | 0 | 28.60/28.71 c | 255 | 1.0 | 0 | 30500 | 8545 | 56 | 3870539 | 254333 || 255 | 538862 | 5/ 0 | 106919 | 0 | 30.29/30.35 c | 255 | 1.6 | 0 | 31382 | 6103 | 57 | 3973937 | 262538 || 255 | 559478 | 5/ 0 | 107089 | 0 | 31.79/31.83 c | 255 | 1.5 | 0 | 32096 | 1649 | 58 | 4093254 | 270603 || 255 | 574423 | 5/ 0 | 107218 | 0 | 32.69/32.79 c | 255 | 1.0 | 0 | 31475 | 7951 | 59 | 4225700 | 278270 || 255 | 574423 | 5/ 0 | 107218 | 0 | 33.99/34.05 c | 261 | 1.3 | 0 | 31065 | 149 | 60 | 4360876 | 286589 || 261 | 579228 | 5/ 0 | 108064 | 0 | 35.89/35.91 c | 277 | 1.9 | 0 | 30503 | 216 | 61 | 4497489 | 296192 || 277 | 598859 | 5/ 0 | 111827 | 0 | 37.69/37.76 c | 286 | 1.9 | 0 | 28684 | 207 | 62 | 4633092 | 305524 || 286 | 620156 | 5/ 0 | 115591 | 0 | 39.39/39.46 c | 301 | 1.7 | 0 | 29915 | 887 | 63 | 4770368 | 315238 || 301 | 637153 | 5/ 0 | 118916 | 0 | 41.49/41.50 c | 316 | 2.0 | 0 | 30817 | 61 | 64 | 4908259 | 325148 || 316 | 656542 | 5/ 0 | 122261 | 0 | 43.39/43.48 c | 318 | 2.0 | 0 | 31399 | 4562 | 65 | 5041718 | 334135 || 318 | 681637 | 5/ 0 | 127281 | 0 | 45.29/45.32 c | 330 | 1.8 | 0 | 33172 | 43 | 66 | 5204825 | 343894 || 330 | 693134 | 5/ 0 | 129176 | 0 | 47.49/47.58 c | 347 | 2.2 | 0 | 33076 | 413 | 67 | 5353171 | 354214 || 347 | 714133 | 5/ 0 | 133154 | 0 | 49.79/49.81 c | 356 | 2.2 | 0 | 33990 | 390 | 68 | 5498936 | 363971 || 356 | 733695 | 5/ 0 | 136910 | 0 | 52.29/52.30 c | 373 | 2.5 | 0 | 33769 | 161 | 69 | 5656278 | 374629 || 373 | 754281 | 5/ 0 | 140506 | 0 | 54.39/54.43 c | 381 | 2.1 | 0 | 34088 | 2058 | 70 | 5803725 | 384600 || 381 | 780613 | 5/ 0 | 147306 | 0 | 56.39/56.49 c | 382 | 2.1 | 0 | 34982 | 4759 | 71 | 5960858 | 394182 || 382 | 807650 | 5/ 0 | 153961 | 0 | 58.69/58.79 c | 382 | 2.3 | 0 | 35802 | 2762 | 72 | 6100469 | 404168 || 382 | 823852 | 5/ 0 | 154104 | 0 | 60.79/60.82 c | 396 | 2.0 | 0 | 36842 | 240 | 73 | 6252089 | 415357 || 396 | 836563 | 5/ 0 | 156606 | 0 | 63.49/63.57 c | 412 | 2.8 | 0 | 38014 | 994 | 74 | 6406969 | 426609 || 412 | 860069 | 5/ 0 | 160828 | 0 | 66.29/66.40 c | 426 | 2.8 | 0 | 38713 | 177 | 75 | 6564833 | 437999 || 426 | 880749 | 5/ 0 | 164626 | 0 | 69.19/69.29 c | 443 | 2.9 | 0 | 39698 | 843 | 76 | 6725339 | 449445 || 443 | 904462 | 5/ 0 | 169225 | 0 | 72.09/72.15 c | 445 | 2.9 | 0 | 40199 | 536 | 77 | 6877127 | 460321 || 445 | 932034 | 5/ 0 | 174279 | 0 | 74.99/75.00 c | 460 | 2.8 | 0 | 40296 | 1112 | 78 | 7048430 | 472055 || 460 | 950219 | 5/ 0 | 177650 | 0 | 78.29/78.35 c | 476 | 3.4 | 0 | 40204 | 1773 | 79 | 7222355 | 483806 || 476 | 975582 | 5/ 0 | 182658 | 0 | 80.99/81.04 c | 491 | 2.7 | 0 | 40430 | 539 | 80 | 7396738 | 495760 || 491 | 995992 | 5/ 0 | 186002 | 0 | 84.39/84.40 c | 507 | 3.4 | 0 | 41833 | 205 | 81 | 7568107 | 508144 || 507 | 1023401 | 5/ 0 | 191064 | 0 | 87.19/87.26 c | 509 | 2.9 | 0 | 42474 | 4007 | 82 | 7736277 | 519211 || 509 | 1055932 | 5/ 0 | 200968 | 0 | 90.30/90.37 c | 509 | 3.1 | 0 | 43334 | 3102 | 83 | 7902823 | 530594 || 509 | 1075156 | 5/ 0 | 201124 | 0 | 93.69/93.73 c | 510 | 3.4 | 0 | 45050 | 11904 | 84 | 8068022 | 542093 || 510 | 1119184 | 5/ 0 | 214258 | 0 | 97.59/97.61 c | 510 | 3.9 | 0 | 46257 | 1605 | 85 | 8225510 | 553796 || 510 | 1143462 | 5/ 0 | 214450 | 0 | 100.69/100.74 c | 510 | 3.1 | 0 | 44677 | 10606 | 86 | 8415495 | 564601 || 510 | 1143462 | 5/ 0 | 214450 | 0 | 104.79/104.88 c | 511 | 4.1 | 0 | 43231 | 19708 | 87 | 8578206 | 576442 || 511 | 1217429 | 5/ 0 | 240629 | 0 | 109.09/109.19 c | 511 | 4.3 | 0 | 43352 | 9202 | 88 | 8737559 | 588639 || 511 | 1248759 | 5/ 0 | 240877 | 0 | 112.89/112.95 c | 511 | 3.8 | 0 | 42290 | 9301 | 89 | 8896708 | 601136 || 511 | 1280602 | 5/ 0 | 241158 | 0 | 115.60/115.61 c | 511 | 2.7 | 0 | 41554 | 9211 | 90 | 9090724 | 612623 || 511 | 1281257 | 5/ 0 | 241165 | 0 | 117.89/117.96 c | 511 | 2.4 | 0 | 41182 | 18712 | 91 | 9282277 | 624282 || 511 | 1281257 | 5/ 0 | 241165 | 0 | 120.88/120.90 c | 520 | 2.9 | 0 | 41771 | 194 | 92 | 9472017 | 636711 || 520 | 1289274 | 5/ 0 | 242623 | 0 | 124.69/124.77 c | 541 | 3.9 | 0 | 42806 | 345 | 93 | 9670688 | 650776 || 541 | 1317486 | 5/ 0 | 247870 | 0 | 128.88/128.95 c | 557 | 4.2 | 0 | 44172 | 503 | 94 | 9876132 | 664784 || 557 | 1345065 | 5/ 0 | 252913 | 0 | 132.88/132.93 c | 573 | 4.0 | 0 | 45097 | 1565 | 95 | 10080017 | 678761 || 573 | 1371870 | 5/ 0 | 257934 | 0 | 136.40/136.49 c | 586 | 3.6 | 0 | 44881 | 44 | 96 | 10282818 | 692721 || 586 | 1399538 | 5/ 0 | 263186 | 0 | 140.68/140.75 c | 605 | 4.3 | 0 | 47740 | 1616 | 97 | 10482246 | 707026 || 605 | 1431323 | 5/ 0 | 269663 | 0 | 144.98/145.06 c | 626 | 4.3 | 0 | 49827 | 283 | 98 | 10682437 | 721540 || 626 | 1456894 | 5/ 0 | 273872 | 0 | 149.49/149.56 c | 637 | 4.5 | 0 | 50054 | 3661 | 99 | 10877353 | 735795 || 637 | 1492378 | 5/ 0 | 281362 | 0 | 153.89/153.94 c | 638 | 4.4 | 0 | 52262 | 9257 | 100 | 11055073 | 749489 || 638 | 1529417 | 5/ 0 | 288088 | 0 | 157.30/157.39 c | 651 | 3.4 | 0 | 54740 | 216 | 101 | 11272616 | 763723 || 651 | 1541818 | 5/ 0 | 290184 | 0 | 162.39/162.45 c | 669 | 5.1 | 0 | 55926 | 2286 | 102 | 11478617 | 778556 || 669 | 1574977 | 5/ 0 | 296491 | 0 | 167.68/167.79 c | 692 | 5.3 | 0 | 56500 | 35 | 103 | 11696766 | 793906 || 692 | 1601128 | 5/ 0 | 301208 | 0 | 172.98/173.06 c | 701 | 5.3 | 0 | 56538 | 519 | 104 | 11894504 | 808527 || 701 | 1637396 | 5/ 0 | 308214 | 0 | 177.78/177.89 c | 723 | 4.8 | 0 | 59299 | 373 | 105 | 12120859 | 824305 || 723 | 1661876 | 5/ 0 | 312813 | 0 | 183.48/183.59 c | 742 | 5.7 | 0 | 58782 | 129 | 106 | 12345138 | 840014 || 742 | 1692057 | 5/ 0 | 318285 | 0 | 189.68/189.79 c | 763 | 6.2 | 0 | 59099 | 2176 | 107 | 12563896 | 855743 || 763 | 1726821 | 5/ 0 | 324994 | 0 | 195.28/195.36 c | 765 | 5.6 | 0 | 59445 | 6174 | 108 | 12773284 | 870327 || 765 | 1767565 | 5/ 0 | 334934 | 0 | 199.58/199.66 c | 766 | 4.3 | 0 | 59808 | 7869 | 109 | 12990575 | 884792 || 766 | 1809125 | 5/ 0 | 348051 | 0 | 206.08/206.16 c | 766 | 6.5 | 0 | 60910 | 69 | 110 | 13174299 | 899862 || 766 | 1846676 | 5/ 0 | 348384 | 0 | 209.98/210.09 c | 766 | 3.9 | 0 | 60372 | 11572 | 111 | 13424605 | 913779 || 766 | 1846676 | 5/ 0 | 348384 | 0 | 216.28/216.37 c | 794 | 6.3 | 0 | 59997 | 111 | 112 | 13659069 | 930577 || 794 | 1876450 | 5/ 0 | 353809 | 0 | 222.78/222.88 c | 812 | 6.5 | 0 | 60033 | 370 | 113 | 13884924 | 947026 || 812 | 1909892 | 5/ 0 | 360072 | 0 | 229.38/229.41 c | 829 | 6.5 | 0 | 60868 | 3348 | 114 | 14109505 | 963238 || 829 | 1948349 | 5/ 0 | 368387 | 0 | 235.28/235.31 c | 848 | 5.9 | 0 | 62326 | 223 | 115 | 14354963 | 979924 || 848 | 1973926 | 5/ 0 | 372281 | 0 | 242.10/242.12 c | 870 | 6.8 | 0 | 62900 | 159 | 116 | 14593476 | 997000 || 870 | 2007827 | 5/ 0 | 378456 | 0 | 249.18/249.24 c | 891 | 7.1 | 0 | 61988 | 819 | 117 | 14826976 | 1014042 || 891 | 2043733 | 5/ 0 | 385162 | 0 | 256.41/256.46 c | 893 | 7.2 | 0 | 63845 | 8220 | 118 | 15058964 | 1029653 || 893 | 2090587 | 5/ 0 | 395136 | 0 | 262.91/262.98 c | 907 | 6.5 | 0 | 64378 | 91 | 119 | 15301922 | 1046123 || 907 | 2108861 | 5/ 0 | 397691 | 0 | 269.69/269.78 c | 928 | 6.8 | 0 | 65935 | 253 | 120 | 15535258 | 1063513 || 928 | 2142540 | 5/ 0 | 404082 | 0 | 277.49/277.52 c | 955 | 7.8 | 0 | 67169 | 1306 | 121 | 15776226 | 1081479 || 955 | 2181174 | 5/ 0 | 411885 | 0 | 284.49/284.50 c | 968 | 7.0 | 0 | 68131 | 170 | 122 | 16034043 | 1098268 || 968 | 2212172 | 5/ 0 | 417142 | 0 | 292.09/292.11 c | 988 | 7.6 | 0 | 69803 | 36 | 123 | 16275601 | 1115849 || 988 | 2247004 | 5/ 0 | 423738 | 0 | 300.59/300.60 c | 1018 | 8.5 | 0 | 71419 | 869 | 124 | 16524547 | 1134151 || 1018 | 2286127 | 5/ 0 | 431952 | 0 | 308.69/308.78 c | 1020 | 8.2 | 0 | 72953 | 6570 | 125 | 16759390 | 1150775 || 1020 | 2332515 | 5/ 0 | 441941 | 0 | 316.39/316.45 c | 1021 | 7.7 | 0 | 72518 | 9973 | 126 | 17009452 | 1167358 || 1021 | 2379797 | 5/ 0 | 455104 | 0 | 324.29/324.32 c | 1021 | 7.9 | 0 | 71969 | 3874 | 127 | 17223327 | 1184459 || 1021 | 2410239 | 5/ 0 | 455371 | 0 | 330.89/330.95 c | 1022 | 6.6 | 0 | 75855 | 17075 | 128 | 17444359 | 1200965 || 1022 | 2475123 | 5/ 0 | 481498 | 0 | 339.69/339.72 c | 1022 | 8.8 | 0 | 81753 | 13305 | 129 | 17642000 | 1218123 || 1022 | 2517668 | 5/ 0 | 481837 | 0 | 347.89/347.92 c | 1022 | 8.2 | 0 | 85124 | 5381 | 130 | 17883873 | 1235068 || 1022 | 2544100 | 5/ 0 | 482066 | 0 | 351.09/351.12 c | 1022 | 3.2 | 0 | 85561 | 18885 | 131 | 18140426 | 1251422 || 1022 | 2544100 | 5/ 0 | 482066 | 0 | 358.61/358.65 c | 1023 | 7.5 | 0 | 85936 | 32486 | 132 | 18372818 | 1268734 || 1023 | 2668588 | 5/ 0 | 534244 | 0 | 369.19/369.23 c | 1023 | 10.6 | 0 | 87522 | 13703 | 133 | 18587960 | 1286956 || 1023 | 2713722 | 5/ 0 | 534637 | 0 | 379.19/379.29 c | 1023 | 10.0 | 0 | 88474 | 13805 | 134 | 18793709 | 1305093 || 1023 | 2758260 | 5/ 0 | 535017 | 0 | 389.29/389.38 c | 1023 | 10.1 | 0 | 90601 | 13902 | 135 | 18997026 | 1323189 || 1023 | 2802018 | 5/ 0 | 535393 | 0 | 394.69/394.78 c | 1023 | 5.4 | 0 | 95064 | 11097 | 136 | 19276278 | 1341269 || 1023 | 2811199 | 5/ 0 | 535466 | 0 | 399.31/399.35 c | 1023 | 4.6 | 0 | 93897 | 25200 | 137 | 19561026 | 1358167 || 1023 | 2811199 | 5/ 0 | 535466 | 0 | 402.61/402.67 c | 1023 | 3.3 | 0 | 96719 | 39404 | 138 | 19831616 | 1375700 || 1023 | 2811199 | 5/ 0 | 535466 | 0 | 409.39/409.45 c | 1031 | 6.8 | 0 | 100455 | 481 | 139 | 20114575 | 1393935 || 1031 | 2818676 | 5/ 0 | 536849 | 0 | 423.79/423.89 c | 1058 | 14.4 | 0 | 101509 | 229 | 140 | 20396847 | 1414405 || 1058 | 2859054 | 5/ 0 | 544444 | 0 | 439.19/439.27 c | 1085 | 15.4 | 0 | 93385 | 885 | 141 | 20684716 | 1435231 || 1085 | 2901297 | 5/ 0 | 552237 | 0 | 450.79/450.88 c | 1106 | 11.6 | 0 | 83288 | 152 | 142 | 20972457 | 1455243 || 1106 | 2939469 | 5/ 0 | 559560 | 0 | 462.11/462.12 c | 1132 | 11.2 | 0 | 83523 | 483 | 143 | 21253785 | 1476058 || 1132 | 2981198 | 5/ 0 | 567315 | 0 | 472.49/472.58 c | 1149 | 10.5 | 0 | 81931 | 1649 | 144 | 21535332 | 1496289 || 1149 | 3024334 | 5/ 0 | 575688 | 0 | 484.01/484.06 c | 1153 | 11.5 | 0 | 81237 | 244 | 145 | 21833842 | 1515449 || 1153 | 3061608 | 5/ 0 | 582775 | 0 | 495.29/495.39 c | 1181 | 11.3 | 0 | 75481 | 1061 | 146 | 22120286 | 1536566 || 1181 | 3104341 | 5/ 0 | 590737 | 0 | 506.29/506.39 c | 1212 | 11.0 | 0 | 77544 | 111 | 147 | 22415543 | 1558344 || 1212 | 3149031 | 5/ 0 | 599165 | 0 | 516.90/516.98 c | 1232 | 10.6 | 0 | 79412 | 278 | 148 | 22721614 | 1579460 || 1232 | 3187560 | 5/ 0 | 606389 | 0 | 527.90/528.01 c | 1260 | 11.0 | 0 | 79470 | 9 | 149 | 23012880 | 1601022 || 1260 | 3229681 | 5/ 0 | 614365 | 0 | 538.40/538.49 c | 1276 | 10.5 | 0 | 81052 | 2662 | 150 | 23321526 | 1621797 || 1276 | 3272574 | 5/ 0 | 622591 | 0 | 548.70/548.76 c | 1278 | 10.3 | 0 | 81327 | 8560 | 151 | 23610171 | 1641827 || 1278 | 3338696 | 5/ 0 | 642347 | 0 | 558.50/558.58 c | 1278 | 9.8 | 0 | 84549 | 4959 | 152 | 23870424 | 1662081 || 1278 | 3372636 | 5/ 0 | 642667 | 0 | 568.90/568.98 c | 1299 | 10.4 | 0 | 90307 | 27 | 153 | 24179596 | 1683238 || 1299 | 3395577 | 5/ 0 | 646876 | 0 | 582.60/582.61 c | 1329 | 13.6 | 0 | 94164 | 81 | 154 | 24481167 | 1705443 || 1329 | 3438687 | 5/ 0 | 655051 | 0 | 595.90/595.96 c | 1346 | 13.4 | 0 | 95160 | 155 | 155 | 24781199 | 1726802 || 1346 | 3482037 | 5/ 0 | 663465 | 0 | 610.90/610.93 c | 1376 | 15.0 | 0 | 96961 | 87 | 156 | 25088948 | 1749336 || 1376 | 3525863 | 5/ 0 | 671732 | 0 | 626.30/626.38 c | 1404 | 15.4 | 0 | 97243 | 2628 | 157 | 25392100 | 1772040 || 1404 | 3577479 | 5/ 0 | 682853 | 0 | 639.90/639.94 c | 1405 | 13.6 | 0 | 97358 | 4426 | 158 | 25697840 | 1792980 || 1405 | 3619222 | 5/ 0 | 689651 | 0 | 655.00/655.05 c | 1436 | 15.1 | 0 | 94771 | 2246 | 159 | 26011766 | 1816104 || 1436 | 3663346 | 5/ 0 | 697991 | 0 | 670.20/670.22 c | 1467 | 15.2 | 0 | 92194 | 169 | 160 | 26323470 | 1839590 || 1467 | 3708796 | 5/ 0 | 706362 | 0 | 684.50/684.53 c | 1490 | 14.3 | 0 | 93139 | 233 | 161 | 26628519 | 1862204 || 1490 | 3750385 | 5/ 0 | 714323 | 0 | 699.30/699.30 c | 1523 | 14.8 | 0 | 92594 | 88 | 162 | 26955101 | 1885669 || 1523 | 3796154 | 5/ 0 | 722929 | 0 | 713.80/713.81 c | 1532 | 14.5 | 0 | 94523 | 6666 | 163 | 27249800 | 1907683 || 1532 | 3855924 | 5/ 0 | 736406 | 0 | 730.30/730.31 c | 1533 | 16.5 | 0 | 96369 | 13863 | 164 | 27567279 | 1929381 || 1533 | 3916142 | 5/ 0 | 749726 | 0 | 739.60/739.65 c | 1533 | 9.3 | 0 | 95748 | 11562 | 165 | 27897427 | 1950747 || 1533 | 3934084 | 5/ 0 | 749911 | 0 | 755.01/755.04 c | 1534 | 15.4 | 0 | 98043 | 28565 | 166 | 28177323 | 1973150 || 1534 | 4037629 | 5/ 0 | 776414 | 0 | 768.41/768.49 c | 1534 | 13.5 | 0 | 99381 | 7267 | 167 | 28491380 | 1995401 || 1534 | 4070954 | 5/ 0 | 776721 | 0 | 778.82/778.83 c | 1534 | 10.3 | 0 | 99435 | 24469 | 168 | 28831664 | 2016544 || 1534 | 4070954 | 5/ 0 | 776721 | 0 | 795.91/795.90 c | 1566 | 17.1 | 0 | 99881 | 1697 | 169 | 29164231 | 2040867 || 1566 | 4115800 | 5/ 0 | 785180 | 0 | 813.21/813.20 c | 1597 | 17.3 | 0 | 99578 | 3043 | 170 | 29490014 | 2065524 || 1597 | 4171180 | 5/ 0 | 796770 | 0 | 830.71/830.77 c | 1627 | 17.6 | 0 | 100555 | 488 | 171 | 29828448 | 2090058 || 1627 | 4213482 | 5/ 0 | 803526 | 0 | 847.81/847.88 c | 1659 | 17.1 | 0 | 99464 | 2022 | 172 | 30157621 | 2114953 || 1659 | 4265141 | 5/ 0 | 813584 | 0 | 863.41/863.45 c | 1661 | 15.6 | 0 | 101194 | 2921 | 173 | 30473751 | 2137865 || 1661 | 4316945 | 5/ 0 | 823601 | 0 | 881.01/881.03 c | 1692 | 17.6 | 0 | 103193 | 2259 | 174 | 30826659 | 2162741 || 1692 | 4360942 | 5/ 0 | 831952 | 0 | 898.31/898.33 c | 1724 | 17.3 | 0 | 102126 | 1693 | 175 | 31176865 | 2188111 || 1724 | 4413337 | 5/ 0 | 843568 | 0 | 916.61/916.68 c | 1754 | 18.4 | 0 | 102673 | 835 | 176 | 31523696 | 2213345 || 1754 | 4459225 | 5/ 0 | 850371 | 0 | 936.31/936.36 c | 1786 | 19.7 | 0 | 102987 | 1666 | 177 | 31866591 | 2238764 || 1786 | 4511089 | 5/ 0 | 860432 | 0 | 952.91/952.92 c | 1788 | 16.6 | 0 | 104164 | 3064 | 178 | 32188258 | 2261816 || 1788 | 4564116 | 5/ 0 | 870459 | 0 | 966.93/966.93 c | 1789 | 14.0 | 0 | 104848 | 2165 | 179 | 32485813 | 2285470 || 1789 | 4630149 | 5/ 0 | 883854 | 0 | 981.23/981.23 c | 1810 | 14.3 | 0 | 111590 | 220 | 180 | 32831545 | 2309974 || 1810 | 4652749 | 5/ 0 | 888049 | 0 | 1001.61/1001.62 c | 1848 | 20.4 | 0 | 114079 | 235 | 181 | 33170391 | 2336497 || 1848 | 4704538 | 5/ 0 | 897702 | 0 | 1022.91/1022.91 c | 1867 | 21.3 | 0 | 115242 | 691 | 182 | 33521936 | 2361414 || 1867 | 4754560 | 5/ 0 | 907258 | 0 | 1045.41/1045.48 c | 1906 | 22.6 | 0 | 117212 | 11 | 183 | 33884908 | 2388160 || 1906 | 4807524 | 5/ 0 | 917006 | 0 | 1064.83/1064.89 c | 1916 | 19.4 | 0 | 117127 | 8496 | 184 | 34206927 | 2413077 || 1916 | 4872788 | 5/ 0 | 930648 | 0 | 1085.73/1085.79 c | 1946 | 20.9 | 0 | 122186 | 536 | 185 | 34571838 | 2439143 || 1946 | 4910412 | 5/ 0 | 937335 | 0 | 1110.42/1110.49 c | 1978 | 24.7 | 0 | 115545 | 2262 | 186 | 34920369 | 2465450 || 1978 | 4965102 | 5/ 0 | 947376 | 0 | 1132.11/1132.15 c | 2008 | 21.7 | 0 | 114941 | 100 | 187 | 35286694 | 2491792 || 2008 | 5014258 | 5/ 0 | 956601 | 0 | 1154.62/1154.70 c | 2041 | 22.5 | 0 | 115501 | 2039 | 188 | 35650249 | 2518773 || 2041 | 5070958 | 5/ 0 | 967496 | 0 | 1173.13/1173.19 c | 2043 | 18.5 | 0 | 116008 | 4533 | 189 | 36002685 | 2544271 || 2043 | 5124208 | 5/ 0 | 977561 | 0 | 1194.53/1194.51 c | 2044 | 21.3 | 0 | 117970 | 4730 | 190 | 36346180 | 2569259 || 2044 | 5192224 | 5/ 0 | 990943 | 0 | 1213.63/1213.62 c | 2045 | 19.1 | 0 | 113632 | 24232 | 191 | 36667065 | 2593877 || 2045 | 5279389 | 5/ 0 | 1017247 | 0 | 1236.03/1236.00 c | 2045 | 22.4 | 0 | 116416 | 5432 | 192 | 36985718 | 2618596 || 2045 | 5324740 | 5/ 0 | 1017647 | 0 | 1248.33/1248.38 c | 2045 | 12.4 | 0 | 117484 | 25133 | 193 | 37360049 | 2642627 || 2045 | 5324740 | 5/ 0 | 1017647 | 0 | 1270.73/1270.73 c | 2046 | 22.3 | 0 | 118065 | 44936 | 194 | 37650136 | 2668769 || 2046 | 5488166 | 5/ 0 | 1070227 | 0 | 1292.23/1292.22 c | 2046 | 21.5 | 0 | 123757 | 19904 | 195 | 37947149 | 2694751 || 2046 | 5552240 | 5/ 0 | 1070816 | 0 | 1311.13/1311.12 c | 2046 | 18.9 | 0 | 130402 | 8035 | 196 | 38292288 | 2720235 || 2046 | 5591149 | 5/ 0 | 1071162 | 0 | 1324.73/1324.74 c | 2046 | 13.6 | 0 | 134250 | 28136 | 197 | 38670716 | 2745054 || 2046 | 5591149 | 5/ 0 | 1071162 | 0 | 1338.33/1338.32 c | 2046 | 13.6 | 0 | 130361 | 48339 | 198 | 39047363 | 2769830 || 2046 | 5591149 | 5/ 0 | 1071162 | 0 | 1362.13/1362.18 c | 2047 | 23.9 | 0 | 127523 | 68640 | 199 | 39356195 | 2796471 || 2047 | 5850610 | 5/ 0 | 1175628 | 0 | 1384.43/1384.48 c | 2047 | 22.3 | 0 | 131750 | 20402 | 200 | 39650750 | 2823633 || 2047 | 5915971 | 5/ 0 | 1176228 | 0 | 1406.23/1406.22 c | 2047 | 21.7 | 0 | 136176 | 20502 | 201 | 39948403 | 2850625 || 2047 | 5980825 | 5/ 0 | 1176800 | 0 | 1433.93/1433.96 c | 2047 | 27.7 | 0 | 141172 | 20601 | 202 | 40252543 | 2877577 || 2047 | 6046442 | 5/ 0 | 1177353 | 0 | 1463.63/1463.62 c | 2047 | 29.7 | 0 | 145069 | 20702 | 203 | 40549834 | 2904964 || 2047 | 6112472 | 5/ 0 | 1177964 | 0 | 1479.43/1479.41 c | 2047 | 15.8 | 0 | 155492 | 18048 | 204 | 40955597 | 2930744 || 2047 | 6121448 | 5/ 0 | 1178060 | 0 | 1498.53/1498.57 c | 2047 | 19.2 | 0 | 152999 | 38949 | 205 | 41357802 | 2955989 || 2047 | 6121448 | 5/ 0 | 1178060 | 0 | 1516.63/1516.64 c | 2047 | 18.1 | 0 | 149087 | 59952 | 206 | 41756167 | 2981116 || 2047 | 6121448 | 5/ 0 | 1178060 | 0 | 1531.93/1531.93 c | 2047 | 15.3 | 0 | 141839 | 81053 | 207 | 42144025 | 3006607 || 2047 | 6121448 | 5/ 0 | 1178060 | 0 | 1547.75/1547.78 c | 2047 | 15.9 | 0 | 133132 | 102256 | 208 | 42534843 | 3032280 || 2047 | 6121448 | 5/ 0 | 1178060 | 0 | 1576.83/1576.87 c | 2093 | 29.1 | 0 | 127151 | 657 | 209 | 42937310 | 3063252 || 2093 | 6182762 | 5/ 0 | 1189815 | 0 | 1602.53/1602.53 c | 2124 | 25.7 | 0 | 115960 | 205 | 210 | 43343854 | 3093116 || 2124 | 6240771 | 5/ 0 | 1200678 | 0 | 1628.53/1628.59 c | 2166 | 26.1 | 0 | 118958 | 23 | 211 | 43748501 | 3123731 || 2166 | 6300125 | 5/ 0 | 1211578 | 0 | 1653.03/1653.00 c | 2174 | 24.4 | 0 | 121266 | 2206 | 212 | 44134893 | 3151955 || 2174 | 6367909 | 5/ 0 | 1224903 | 0 | 1677.73/1677.76 c | 2211 | 24.8 | 0 | 123140 | 24 | 213 | 44546890 | 3182128 || 2211 | 6417228 | 5/ 0 | 1234105 | 0 | 1704.63/1704.60 c | 2240 | 26.8 | 0 | 118211 | 156 | 214 | 44951187 | 3212037 || 2240 | 6476505 | 5/ 0 | 1245413 | 0 | 1732.23/1732.29 c | 2284 | 27.7 | 0 | 115070 | 83 | 215 | 45371881 | 3243169 || 2284 | 6537326 | 5/ 0 | 1256844 | 0 | 1757.34/1757.32 c | 2301 | 25.0 | 0 | 116279 | 9349 | 216 | 45768811 | 3272907 || 2301 | 6613643 | 5/ 0 | 1271819 | 0 | 1779.15/1779.11 c | 2302 | 21.8 | 0 | 118785 | 2647 | 217 | 46146097 | 3301108 || 2302 | 6681271 | 5/ 0 | 1285157 | 0 | 1801.35/1801.39 c | 2332 | 22.3 | 0 | 123876 | 0 | 218 | 46538703 | 3331058 || 2332 | 6717055 | 5/ 0 | 1291871 | 0 | 1829.36/1829.36 c | 2365 | 28.0 | 0 | 122732 | 3827 | 219 | 46954002 | 3361892 || 2365 | 6783806 | 5/ 0 | 1305261 | 0 | 1857.96/1858.01 c | 2403 | 28.6 | 0 | 125044 | 154 | 220 | 47371277 | 3393423 || 2403 | 6838390 | 5/ 0 | 1314896 | 0 | 1886.25/1886.26 c | 2429 | 28.2 | 0 | 125566 | 5410 | 221 | 47785464 | 3424088 || 2429 | 6912481 | 5/ 0 | 1331969 | 0 | 1913.85/1913.87 c | 2459 | 27.6 | 0 | 128557 | 1151 | 222 | 48195643 | 3455253 || 2459 | 6962494 | 5/ 0 | 1338776 | 0 | 1943.45/1943.43 c | 2492 | 29.6 | 0 | 128708 | 4189 | 223 | 48598763 | 3486734 || 2492 | 7030641 | 5/ 0 | 1352138 | 0 | 1973.65/1973.64 c | 2533 | 30.2 | 0 | 127159 | 215 | 224 | 49038309 | 3519069 || 2533 | 7086274 | 5/ 0 | 1362248 | 0 | 2001.45/2001.46 c | 2556 | 27.8 | 0 | 128232 | 6567 | 225 | 49445075 | 3550342 || 2556 | 7162417 | 5/ 0 | 1378825 | 0 | 2028.75/2028.73 c | 2557 | 27.3 | 0 | 130826 | 761 | 226 | 49820804 | 3580140 || 2557 | 7239377 | 5/ 0 | 1392322 | 0 | 2050.25/2050.28 c | 2558 | 21.6 | 0 | 137743 | 23862 | 227 | 50259500 | 3609481 || 2558 | 7326842 | 5/ 0 | 1418641 | 0 | 2078.65/2078.62 c | 2558 | 28.3 | 0 | 141599 | 8662 | 228 | 50664232 | 3639387 || 2558 | 7374753 | 5/ 0 | 1419070 | 0 | 2101.07/2101.02 c | 2573 | 22.4 | 0 | 142774 | 717 | 229 | 51120090 | 3669484 || 2573 | 7392803 | 5/ 0 | 1422447 | 0 | 2136.85/2136.85 c | 2620 | 35.8 | 0 | 144703 | 1624 | 230 | 51543215 | 3703009 || 2620 | 7461846 | 5/ 0 | 1435882 | 0 | 2172.05/2172.02 c | 2652 | 35.2 | 0 | 146473 | 267 | 231 | 51973768 | 3735231 || 2652 | 7525335 | 5/ 0 | 1447647 | 0 | 2204.85/2204.86 c | 2684 | 32.8 | 0 | 146392 | 3005 | 232 | 52402485 | 3768202 || 2684 | 7586730 | 5/ 0 | 1459354 | 0 | 2237.05/2237.03 c | 2714 | 32.2 | 0 | 142593 | 448 | 233 | 52819956 | 3800985 || 2714 | 7650877 | 5/ 0 | 1471887 | 0 | 2272.67/2272.70 c | 2748 | 35.7 | 0 | 145305 | 3966 | 234 | 53254796 | 3834719 || 2748 | 7723143 | 5/ 0 | 1486121 | 0 | 2308.26/2308.26 c | 2792 | 35.6 | 0 | 145292 | 285 | 235 | 53699282 | 3868742 || 2792 | 7782350 | 5/ 0 | 1496615 | 0 | 2343.86/2343.81 c | 2812 | 35.5 | 0 | 144238 | 8538 | 236 | 54124794 | 3901274 || 2812 | 7863057 | 5/ 0 | 1512923 | 0 | 2372.77/2372.76 c | 2813 | 29.0 | 0 | 145912 | 3838 | 237 | 54532950 | 3932611 || 2813 | 7933363 | 5/ 0 | 1526305 | 0 | 2404.68/2404.66 c | 2844 | 31.9 | 0 | 150066 | 761 | 238 | 54984054 | 3966121 || 2844 | 7977839 | 5/ 0 | 1534677 | 0 | 2442.77/2442.70 c | 2880 | 38.1 | 0 | 150556 | 82 | 239 | 55424500 | 3999690 || 2880 | 8042543 | 5/ 0 | 1546907 | 0 | 2481.79/2481.77 c | 2932 | 39.1 | 0 | 147825 | 169 | 240 | 55862013 | 4035028 || 2932 | 8110872 | 5/ 0 | 1559745 | 0 | 2514.17/2514.15 c | 2940 | 32.4 | 0 | 149785 | 4951 | 241 | 56289738 | 4067500 || 2940 | 8178700 | 5/ 0 | 1573089 | 0 | 2553.87/2553.88 c | 2989 | 39.7 | 0 | 152798 | 56 | 242 | 56740299 | 4102932 || 2989 | 8243915 | 5/ 0 | 1585259 | 0 | 2593.67/2593.61 c | 3028 | 39.7 | 0 | 153012 | 179 | 243 | 57187017 | 4137115 || 3028 | 8311741 | 5/ 0 | 1598208 | 0 | 2634.69/2634.69 c | 3066 | 41.1 | 0 | 149857 | 3586 | 244 | 57638307 | 4171935 || 3066 | 8387491 | 5/ 0 | 1613229 | 0 | 2672.09/2672.10 c | 3068 | 37.4 | 0 | 149675 | 14085 | 245 | 58066639 | 4204485 || 3068 | 8476493 | 5/ 0 | 1633132 | 0 | 2704.87/2704.87 c | 3069 | 32.8 | 0 | 150137 | 19887 | 246 | 58503269 | 4236834 || 3069 | 8566472 | 5/ 0 | 1659391 | 0 | 2735.58/2735.55 c | 3069 | 30.7 | 0 | 152540 | 6587 | 247 | 58905842 | 4269788 || 3069 | 8626483 | 5/ 0 | 1659931 | 0 | 2760.78/2760.73 c | 3070 | 25.2 | 0 | 157022 | 31788 | 248 | 59357963 | 4301559 || 3070 | 8748037 | 5/ 0 | 1712095 | 0 | 2799.78/2799.79 c | 3070 | 39.1 | 0 | 161191 | 25301 | 249 | 59722249 | 4335040 || 3070 | 8828764 | 5/ 0 | 1712797 | 0 | 2831.98/2831.95 c | 3070 | 32.2 | 0 | 174631 | 5687 | 250 | 60111831 | 4368610 || 3070 | 8892441 | 5/ 0 | 1713428 | 0 | 2847.38/2847.34 c | 3070 | 15.4 | 0 | 182821 | 31188 | 251 | 60546012 | 4399885 || 3070 | 8892441 | 5/ 0 | 1713428 | 0 | 2870.98/2870.96 c | 3085 | 23.6 | 0 | 185735 | 1163 | 252 | 60988943 | 4432190 || 3085 | 8910596 | 5/ 0 | 1716804 | 0 | 2920.78/2920.78 c | 3132 | 49.8 | 0 | 186702 | 757 | 253 | 61453907 | 4468965 || 3132 | 8981701 | 5/ 0 | 1730246 | 0 | 2970.78/2970.73 c | 3172 | 50.0 | 0 | 181205 | 470 | 254 | 61921263 | 4505694 || 3172 | 9051809 | 5/ 0 | 1743373 | 0 | 3021.18/3021.19 c | 3197 | 50.4 | 0 | 179895 | 9120 | 255 | 62357114 | 4541564 || 3197 | 9138274 | 5/ 0 | 1760406 | 0 | 3069.59/3069.59 c | 3238 | 48.4 | 0 | 170356 | 39 | 256 | 62838062 | 4577561 || 3238 | 9193651 | 5/ 0 | 1770473 | 0 | 3114.99/3114.90 c | 3277 | 45.3 | 0 | 161445 | 171 | 257 | 63306494 | 4614284 || 3277 | 9265024 | 5/ 0 | 1784081 | 0 | 3157.59/3157.58 c | 3323 | 42.7 | 0 | 164844 | 2386 | 258 | 63774062 | 4651945 || 3323 | 9344447 | 5/ 0 | 1800531 | 0 | 3205.40/3205.40 c | 3325 | 47.8 | 0 | 161589 | 14288 | 259 | 64240361 | 4687262 || 3325 | 9440663 | 5/ 0 | 1820494 | 0 | 3244.49/3244.46 c | 3347 | 39.1 | 0 | 161404 | 240 | 260 | 64720955 | 4722783 || 3347 | 9482453 | 5/ 0 | 1825281 | 0 | 3291.10/3291.03 c | 3388 | 46.6 | 0 | 160976 | 4662 | 261 | 65191120 | 4759859 || 3388 | 9563283 | 5/ 0 | 1840723 | 0 | 3335.70/3335.67 c | 3437 | 44.6 | 0 | 160592 | 139 | 262 | 65675497 | 4797889 || 3437 | 9628390 | 5/ 0 | 1852894 | 0 | 3376.80/3376.74 c | 3452 | 41.1 | 0 | 162506 | 5013 | 263 | 66130534 | 4833339 || 3452 | 9702894 | 5/ 0 | 1867500 | 0 | 3422.80/3422.70 c | 3508 | 46.0 | 0 | 164565 | 198 | 264 | 66606808 | 4872259 || 3508 | 9774677 | 5/ 0 | 1880908 | 0 | 3467.90/3467.85 c | 3546 | 45.2 | 0 | 165425 | 1716 | 265 | 67082305 | 4909800 || 3546 | 9851026 | 5/ 0 | 1895958 | 0 | 3511.80/3511.71 c | 3579 | 43.8 | 0 | 169161 | 5433 | 266 | 67548717 | 4947148 || 3579 | 9934263 | 5/ 0 | 1914254 | 0 | 3559.20/3559.14 c | 3580 | 47.4 | 0 | 173644 | 3730 | 267 | 67992180 | 4983176 || 3580 | 10017403 | 5/ 0 | 1927779 | 0 | 3602.10/3602.07 c | 3581 | 42.9 | 0 | 176549 | 30931 | 268 | 68402745 | 5019573 || 3581 | 10128033 | 5/ 0 | 1954341 | 0 | 3637.50/3637.49 c | 3581 | 35.4 | 0 | 182591 | 19829 | 269 | 68880973 | 5054537 || 3581 | 10152835 | 5/ 0 | 1954584 | 0 | 3687.51/3687.43 c | 3627 | 49.9 | 0 | 183088 | 1161 | 270 | 69373397 | 5093290 || 3627 | 10215694 | 5/ 0 | 1966339 | 0 | 3739.02/3738.92 c | 3673 | 51.5 | 0 | 182807 | 337 | 271 | 69848450 | 5132309 || 3673 | 10290457 | 5/ 0 | 1980600 | 0 | 3787.31/3787.21 c | 3707 | 48.3 | 0 | 182941 | 2878 | 272 | 70336876 | 5170718 || 3707 | 10364779 | 5/ 0 | 1994877 | 0 | 3837.91/3837.87 c | 3739 | 50.7 | 0 | 182594 | 106 | 273 | 70814474 | 5209221 || 3739 | 10444080 | 5/ 0 | 2009962 | 0 | 3886.82/3886.73 c | 3784 | 48.9 | 0 | 184306 | 4 | 274 | 71311675 | 5249076 || 3784 | 10517307 | 5/ 0 | 2023831 | 0 | 3938.42/3938.31 c | 3833 | 51.6 | 0 | 181428 | 1212 | 275 | 71801898 | 5288973 || 3833 | 10594540 | 5/ 0 | 2038514 | 0 | 3988.32/3988.26 c | 3836 | 50.0 | 0 | 183048 | 14809 | 276 | 72270889 | 5325798 || 3836 | 10698166 | 5/ 0 | 2061811 | 0 | 4034.22/4034.13 c | 3865 | 45.9 | 0 | 185734 | 37 | 277 | 72786451 | 5364274 || 3865 | 10744577 | 5/ 0 | 2067835 | 0 | 4086.42/4086.30 c | 3902 | 52.2 | 0 | 187505 | 273 | 278 | 73273736 | 5403811 || 3902 | 10821511 | 5/ 0 | 2082467 | 0 | 4142.13/4142.01 c | 3960 | 55.7 | 0 | 188592 | 740 | 279 | 73784508 | 5444718 || 3960 | 10900045 | 5/ 0 | 2097151 | 0 | 4191.14/4191.04 c | 3978 | 49.0 | 0 | 188109 | 300 | 280 | 74269126 | 5482822 || 3978 | 10976940 | 5/ 0 | 2112233 | 0 | 4247.93/4247.84 c | 4026 | 56.8 | 0 | 192256 | 3884 | 281 | 74756759 | 5523556 || 4026 | 11062224 | 5/ 0 | 2129003 | 0 | 4304.55/4304.43 c | 4079 | 56.6 | 0 | 192419 | 562 | 282 | 75255768 | 5564218 || 4079 | 11134002 | 5/ 0 | 2142030 | 0 | 4357.43/4357.39 c | 4091 | 53.0 | 0 | 193422 | 8231 | 283 | 75755646 | 5602411 || 4091 | 11236184 | 5/ 0 | 2168896 | 0 | 4411.64/4411.55 c | 4092 | 54.2 | 0 | 195654 | 17831 | 284 | 76228870 | 5639745 || 4092 | 11339350 | 5/ 0 | 2195347 | 0 | 4467.14/4467.03 c | 4092 | 55.5 | 0 | 196800 | 8329 | 285 | 76702485 | 5677580 || 4092 | 11406146 | 5/ 0 | 2195964 | 0 | 4510.64/4510.59 c | 4093 | 43.6 | 0 | 201097 | 37334 | 286 | 77151932 | 5714315 || 4093 | 11545715 | 5/ 0 | 2248344 | 0 | 4575.24/4575.13 c | 4093 | 64.5 | 0 | 203376 | 29101 | 287 | 77570046 | 5753045 || 4093 | 11640344 | 5/ 0 | 2249175 | 0 | 4622.74/4622.61 c | 4093 | 47.5 | 0 | 209666 | 18832 | 288 | 78079884 | 5790225 || 4093 | 11673233 | 5/ 0 | 2249437 | 0 | 4656.14/4656.06 c | 4093 | 33.4 | 0 | 212156 | 48134 | 289 | 78555730 | 5826688 || 4093 | 11673233 | 5/ 0 | 2249437 | 0 | 4724.04/4723.97 c | 4094 | 67.9 | 0 | 213563 | 77535 | 290 | 78991495 | 5865927 || 4094 | 11962775 | 5/ 0 | 2354118 | 0 | 4796.74/4796.66 c | 4094 | 72.7 | 0 | 214893 | 29501 | 291 | 79414564 | 5904918 || 4094 | 12057323 | 5/ 0 | 2354976 | 0 | 4873.55/4873.40 c | 4094 | 76.8 | 0 | 209555 | 29601 | 292 | 79845068 | 5944091 || 4094 | 12153939 | 5/ 0 | 2355812 | 0 | 4937.25/4937.12 c | 4094 | 63.7 | 0 | 202326 | 12737 | 293 | 80326552 | 5982336 || 4094 | 12208628 | 5/ 0 | 2356318 | 0 | 4974.15/4974.07 c | 4094 | 36.9 | 0 | 192961 | 42538 | 294 | 80835007 | 6018775 || 4094 | 12208628 | 5/ 0 | 2356318 | 0 | 5000.07/4999.92 c | 4094 | 25.8 | 0 | 218178 | 67755 | 294 | 81267632 | 6049815 || 4094 | 12208628 | 5/ 0 | 2356318 | 0 | 5000.07/4999.92 c c 5000.07/4999.92 c ----------------------------------- 5000.07/4999.92 c # temps = 5000.070000 5000.07/4999.92 c # cleaningDB = 294 5000.07/4999.92 c # clause binaire = 792 5000.07/4999.92 c # literal removed by litRedundant = 23186547 5000.07/4999.92 c # literal removed by litRedundantBin = 6856829 5000.07/4999.92 c # init clause removed by simplify = 0 5000.07/4999.92 c # learnt clause removed by simplify = 0 5000.07/4999.92 c # une clause fausse était une apprise = 0 5000.07/4999.92 c # equivalence dectecte = 0 5000.07/4999.92 c # Memory used : 76.75 MB 5000.07/4999.92 c 5000.07/4999.92 c ######################## 5000.07/4999.92 c #### ## ### ## #### 5000.07/4999.92 c #### #### # ## #### #### 5000.07/4999.92 c #### ## ### ## ### 5000.07/4999.92 c ######################## 5000.07/4999.92 c # restart = 4094 5000.07/4999.92 c # conflit = 4479950 5000.07/4999.92 c # decision = 6049815 5000.07/4999.92 c # propagation = 81267632 (16253.298854 (prop/sec)) 5000.07/4999.92 c 5000.07/4999.92 c ######################## 5000.07/4999.92 c ### ### # ## ## ## 5000.07/4999.92 c ### # # # #### # ### ### 5000.07/4999.92 c ### # ### ## # ### ### 5000.07/4999.92 c ######################## 5000.07/4999.92 c # numtry = 4094 5000.07/4999.92 c # numflips = 12208628 5000.07/4999.92 c # maxSat = 5 5000.07/4999.92 c # freeFlip = 4472699 5000.07/4999.92 c # nbBoundary = 0 5000.07/4999.92 c
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3438985-1306901724/watcher-3438985-1306901724 -o /tmp/evaluation-result-3438985-1306901724/solver-3438985-1306901724 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438985-1306901724.cnf rnovelty running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.07 4/513 23906 /proc/meminfo: memFree=16680112/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [startup+0.103113 s] /proc/loadavg: 0.92 0.98 1.07 4/513 23906 /proc/meminfo: memFree=16680112/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.201136 s] /proc/loadavg: 0.92 0.98 1.07 4/513 23906 /proc/meminfo: memFree=16680112/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301114 s] /proc/loadavg: 0.92 0.98 1.07 4/513 23906 /proc/meminfo: memFree=16680112/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701038 s] /proc/loadavg: 0.92 0.98 1.07 4/513 23906 /proc/meminfo: memFree=16680112/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50089 s] /proc/loadavg: 0.92 0.98 1.07 3/519 23988 /proc/meminfo: memFree=16673512/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=9772 CPUtime=1.49 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 928 0 0 0 149 0 0 0 25 0 1 0 782588037 10006528 839 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 2443 839 135 12 0 907 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27180 [startup+3.10057 s] /proc/loadavg: 0.92 0.98 1.07 3/519 23988 /proc/meminfo: memFree=16669448/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=10844 CPUtime=3.09 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 1203 0 0 0 309 0 0 0 25 0 1 0 782588037 11104256 1114 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 2711 1114 135 12 0 1175 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28252 [startup+6.30098 s] /proc/loadavg: 1.01 1.00 1.08 3/519 23989 /proc/meminfo: memFree=16666256/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=12244 CPUtime=6.29 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 1532 0 0 0 629 0 0 0 25 0 1 0 782588037 12537856 1443 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 3061 1443 136 12 0 1525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29652 [startup+12.7008 s] /proc/loadavg: 1.09 1.02 1.08 3/519 23989 /proc/meminfo: memFree=16660496/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=13944 CPUtime=12.69 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 1956 0 0 0 1269 0 0 0 25 0 1 0 782588037 14278656 1867 33554432000 4194304 4241092 140735782452592 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 3486 1867 136 12 0 1950 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31352 [startup+25.5004 s] /proc/loadavg: 1.29 1.06 1.10 3/519 23989 /proc/meminfo: memFree=16655528/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=16408 CPUtime=25.49 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 2586 0 0 0 2549 0 0 0 25 0 1 0 782588037 16801792 2494 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 4102 2494 136 12 0 2566 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33816 [startup+51.1005 s] /proc/loadavg: 1.53 1.14 1.12 3/519 23990 /proc/meminfo: memFree=16649524/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=19616 CPUtime=51.09 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 3412 0 0 0 5109 0 0 0 25 0 1 0 782588037 20086784 3314 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223750 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 4904 3314 136 12 0 3368 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 37024 [startup+102.301 s] /proc/loadavg: 1.79 1.27 1.16 3/519 23991 /proc/meminfo: memFree=16639640/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=24140 CPUtime=102.3 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 4575 0 0 0 10230 0 0 0 25 0 1 0 782588037 24719360 4420 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223600 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 6035 4420 136 12 0 4499 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 41548 [startup+162.3 s] /proc/loadavg: 1.92 1.40 1.21 3/519 23993 /proc/meminfo: memFree=16632496/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=26876 CPUtime=162.29 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 5329 0 0 0 16229 0 0 0 25 0 1 0 782588037 27521024 5104 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 6719 5104 136 12 0 5183 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 44284 [startup+222.32 s] /proc/loadavg: 1.97 1.51 1.26 3/519 23994 /proc/meminfo: memFree=16626080/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=30504 CPUtime=222.3 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 6364 0 0 0 22230 0 0 0 25 0 1 0 782588037 31236096 6036 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 7626 6036 136 12 0 6090 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 47912 [startup+282.301 s] ################ # More data... # ################ /proc/meminfo: memFree=16530236/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=74016 CPUtime=4482.44 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 21775 0 0 0 448236 8 0 0 25 0 1 0 782588037 75792384 16895 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18504 16895 136 12 0 16968 0 Current children cumulated CPU time (s) 4482.44 Current children cumulated vsize (KiB) 91424 [startup+4542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/519 24125 /proc/meminfo: memFree=16529708/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=74152 CPUtime=4542.44 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 21845 0 0 0 454236 8 0 0 25 0 1 0 782588037 75931648 16932 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18538 16932 136 12 0 17002 0 Current children cumulated CPU time (s) 4542.44 Current children cumulated vsize (KiB) 91560 [startup+4602.3 s] /proc/loadavg: 2.15 2.04 2.01 3/519 24126 /proc/meminfo: memFree=16528660/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=74304 CPUtime=4602.44 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 21919 0 0 0 460236 8 0 0 25 0 1 0 782588037 76087296 16965 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223720 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18576 16965 136 12 0 17040 0 Current children cumulated CPU time (s) 4602.44 Current children cumulated vsize (KiB) 91712 [startup+4662.3 s] /proc/loadavg: 2.12 2.05 2.01 3/519 24128 /proc/meminfo: memFree=16526616/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=74856 CPUtime=4662.44 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22136 0 0 0 466236 8 0 0 25 0 1 0 782588037 76652544 17110 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18714 17110 136 12 0 17178 0 Current children cumulated CPU time (s) 4662.44 Current children cumulated vsize (KiB) 92264 [startup+4722.3 s] /proc/loadavg: 2.14 2.07 2.01 3/519 24129 /proc/meminfo: memFree=16526316/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=75348 CPUtime=4722.46 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22257 0 0 0 472238 8 0 0 25 0 1 0 782588037 77156352 17231 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18837 17231 136 12 0 17301 0 Current children cumulated CPU time (s) 4722.46 Current children cumulated vsize (KiB) 92756 [startup+4782.3 s] /proc/loadavg: 2.09 2.07 2.01 3/519 24131 /proc/meminfo: memFree=16528460/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=75384 CPUtime=4782.44 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22300 0 0 0 478236 8 0 0 25 0 1 0 782588037 77193216 17235 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18846 17235 136 12 0 17310 0 Current children cumulated CPU time (s) 4782.44 Current children cumulated vsize (KiB) 92792 [startup+4842.32 s] /proc/loadavg: 2.03 2.05 2.01 3/519 24133 /proc/meminfo: memFree=16527268/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=75732 CPUtime=4842.47 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22425 0 0 0 484238 9 0 0 25 0 1 0 782588037 77549568 17318 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18933 17318 136 12 0 17397 0 Current children cumulated CPU time (s) 4842.47 Current children cumulated vsize (KiB) 93140 [startup+4902.3 s] /proc/loadavg: 2.01 2.04 2.00 3/519 24134 /proc/meminfo: memFree=16527600/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=75952 CPUtime=4902.45 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22526 0 0 0 490236 9 0 0 25 0 1 0 782588037 77774848 17366 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 18988 17366 136 12 0 17452 0 Current children cumulated CPU time (s) 4902.45 Current children cumulated vsize (KiB) 93360 [startup+4962.3 s] /proc/loadavg: 2.00 2.03 2.00 3/519 24136 /proc/meminfo: memFree=16525656/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=77452 CPUtime=4962.45 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 22964 0 0 0 496236 9 0 0 25 0 1 0 782588037 79310848 17745 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 19363 17745 136 12 0 17827 0 Current children cumulated CPU time (s) 4962.45 Current children cumulated vsize (KiB) 94860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.02 2.00 3/519 24137 /proc/meminfo: memFree=16524388/32951124 swapFree=62999000/67111528 [pid=23906] ppid=23904 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23906/stat : 23906 (esg_static.sh) S 23904 23906 22520 0 -1 4202496 350 155 0 0 0 0 0 0 22 0 1 0 782588037 8912896 256 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726404864 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0 /proc/23906/statm: 2176 256 211 178 0 69 0 [pid=23911] ppid=23906 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/23911/stat : 23911 (esg_static.sh) S 23906 23906 22520 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 1 0 782588037 8912896 135 33554432000 4194304 4922060 140734905111152 18446744073709551615 264726224005 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23911/statm: 2176 135 90 178 0 69 0 [pid=23912] ppid=23911 vsize=78580 CPUtime=5000.07 cores=0,2,4,6 /proc/23912/stat : 23912 (sathys) R 23911 23906 22520 0 -1 4202496 23330 0 0 0 499998 9 0 0 25 0 1 0 782588037 80465920 18050 33554432000 4194304 4241092 140735782452592 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 2 0 0 0 /proc/23912/statm: 19645 18050 136 12 0 18109 0 Current children cumulated CPU time (s) 5000.07 Current children cumulated vsize (KiB) 95988 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23906 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 5000.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.93 CPU time (s): 5000.07 CPU user time (s): 4999.98 CPU system time (s): 0.09 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 95988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 855 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= 40 involuntary context switches= 7 runsolver used 28.4567 second user time and 57.4813 second system time The end
Begin job on node141 at 2011-06-01 06:15:24 IDJOB=3438985 IDBENCH=83224 IDSOLVER=1935 FILE ID=node141/3438985-1306901724 RUNJOBID= node141-1306901724-23887 PBS_JOBID= 13488435 Free space on /tmp= 24328 MiB SOLVER NAME= sathys 2011-04-01 BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-12-12-unsat.cnf COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438985-1306901724/watcher-3438985-1306901724 -o /tmp/evaluation-result-3438985-1306901724/solver-3438985-1306901724 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3438985-1306901724.cnf rnovelty TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9255daf8fc8e7a0c753f68fd095283c9 RANDOM SEED=1871255542 node141.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 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.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16680540 kB Buffers: 41924 kB Cached: 5845396 kB SwapCached: 8636 kB Active: 10060992 kB Inactive: 5811352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16680540 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 9983788 kB Mapped: 24792 kB Slab: 258132 kB PageTables: 70040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150650936 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= 24324 MiB End job on node141 at 2011-06-01 07:38:44