Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
| MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 307 |
| Best CPU time to get the best result obtained on this benchmark | 1187.4 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 307 |
| Optimality of the best value was proved | YES |
| Number of variables | 319 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 186 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 319 |
| Biggest coefficient in the objective function | 87 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 23554 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 22000 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 1027256 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T16:34:36+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079453-1465223676.opb"] 0.00/0.01 c use --random-gen="1772191288 387873076 3747475075 2531276503 2217567812 132503427 3469721579 973313053 3520551838 3549533675 2364025521 393128870 1967856095 1693411796 1754871627 1916273656 3644421998 3039653667 2799259438 796904958 913755208 2020651305 1298131809 142429538 4012943159 2419647691 3479236257 4092747193 3620137135 1112311672 2851555190 1300009101 2814005089 1704644620 3454045164 2555308676 3046997137 607812961 305977814 3026779443 2574375320 3484737071 974607784 541080799 2514998601 1809293364 736740512 3560366009 3163330295 4025738776 2576898778 425184129 2675443590 896108301 3746722962 4041628671 2065777095 179409235 3165226269 383008652 34026855 1015492182 1899430201 2952009671 775208713 3274685963 56214505 3387658441 674186583 3924520865 4015733184 3345137936 225861353 2154283912 1545295327 3629749355 354585128 2715785815 1890630721 2545390618 1149588347 3570973828 2961919699 178146695 1076243589 257747384 2976034964 715438908 3074760345 3523861303 3636326207 3366100070 1572924187 1506170072 3222116816 1110554437 2199606360 3068503607 2232063687 1183413085 1729357902 3421522347 3322409222 599050408 3706005836 1499425807 135611945 3356406943 1192644423 1923594143 2911839927 1568642370 3553865166 3306501595 3213676581 909426449 1512538805 3911543116 707636380 2114898534 3270729373 934745711 1684844092 1362234102 2663112732 803202791 914492714 1668437855 3655056544 3282601715 679668695 1423966047 490519832 3895235786 1179625560 2140438398 1537749797 130553983 2829363826 1317839588 2043481039 1216081640 402424042 3743559898 1559185431 3752653972 2401922948 2788957938 2028636356 1619119536 2634867311 1139238632 1093611150 563444682 3406305944 3212580141 3411474265 1930492709 2815985037 3092028629 865389522 103287242 1350418380 128470495 2831726809 725586669 2716653125 1990063104 1682181590 663053073 2481191784 3429426360 1241594749 3712667106 1243615580 1829821982 547011410 1597341086 653560527 2109883492 1461811124 3024451432 1093417 4088439767 3582257254 743759123 1209532336 2464124916 1722448033 4050323986 443366213 3030175752 106278088 1314578401 2810867851 4185043230 1909261183 3787752728 1496306485 1427534528 1784584054 3134109617 3400710338 3173436848 2064555379 349000238 2192226278 374250088 4046590414 2014531035 2356122017 2812168520 1638437393 3103433196 1692681039 3025358548 3509219501 3146436760 1302898734 4220960050 3123568020 734411112 2138216903 1507538308 718220555 2103651428 1078680188 2468041585 3362730881 3253388754 364146350 2388900972 2682809131 2781720645 2795519182 2971318279 3962783688 3771753435 916271082 3794547216 3154149661 1979784656 2891288645 1106855846 3951512201 1435809858 1733399233 2586159645 386639533 3938549478 1905832259 1166672409 44362083 2891760080 3367451121 2140306045 255 362436" option to reproduce the execution 0.00/0.01 c #vars 319 0.00/0.01 c #constraints 6 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 108 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 319 | 0 | 108 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 319 0.00/0.02 c #random_decision = 2 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 23554 0.00/0.03 c BCD2: refineUB: 23553 -> 23498 0.00/0.03 c BCD2: updating upper bound: 23554 -> 23498 0.00/0.03 c BCD2: 0 <= obj <= 23498 0.00/0.03 c BCD2: #cores=0, #unrelaxed=319, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 108 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 298 | 0 | 108 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 298 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 202: cost of the new core is >=56 0.00/0.03 c lower bound updated to 56 0.00/0.03 c BCD2: refineUB: 23553 -> 23498 0.00/0.03 c BCD2: 56 <= obj <= 23498 0.00/0.03 c BCD2: #cores=1, #unrelaxed=117, #relaxed=202, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 108 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 311 | 0 | 108 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 311 0.00/0.03 c #random_decision = 1 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 660 0.00/0.03 c BCD2: updating upper bound: 23498 -> 659 0.00/0.03 c BCD2: 56 <= obj <= 659 0.00/0.03 c BCD2: #cores=1, #unrelaxed=117, #relaxed=202, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=2 bias=2/4 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 108 0 | 0 | 0 0.18/0.23 c 0.1s | 1 | 534 | 100 | 108 0 | 0 | 0 0.29/0.39 c 0.2s | 2 | 1455 | 250 | 119 0 | 0 | 0 0.59/0.62 c 0.5s | 3 | 2423 | 475 | 131 2 | 0 | 0 0.88/0.95 c 0.8s | 4 | 3312 | 813 | 145 5 | 0 | 0 1.28/1.36 c 1.2s | 5 | 6375 | 1320 | 160 8 | 0 | 0 1.68/1.74 c 1.6s | 6 | 9695 | 2081 | 194 11 | 0 | 0 2.39/2.41 c 2.2s | 7 | 13336 | 3223 | 214 17 | 0 | 0 3.59/3.60 c 3.4s | 8 | 18697 | 4936 | 236 26 | 0 | 0 5.29/5.39 c 5.2s | 9 | 26195 | 7506 | 260 38 | 0 | 0 7.39/7.41 c 7.2s | 9 | 33777 | 10606 | 260 52 | 0 | 0 7.89/7.93 c 7.8s | 10 | 34751 | 11361 | 286 55 | 0 | 0 9.89/9.93 c 9.8s | 10 | 47404 | 14461 | 286 68 | 0 | 0 11.39/11.46 c 11.3s | 11 | 58098 | 17144 | 315 79 | 0 | 0 13.39/13.48 c 13.3s | 11 | 66932 | 19844 | 315 90 | 0 | 0 15.49/15.52 c 15.4s | 11 | 75140 | 22444 | 315 100 | 0 | 0 17.49/17.53 c 17.4s | 11 | 84849 | 25044 | 315 110 | 0 | 0 17.89/17.96 c 17.8s | 12 | 89351 | 25819 | 347 113 | 0 | 0 19.99/20.03 c 19.9s | 12 | 100043 | 29119 | 347 125 | 0 | 0 21.99/22.05 c 21.9s | 12 | 109400 | 32119 | 347 136 | 0 | 0 24.08/24.11 c 23.9s | 12 | 118999 | 34819 | 347 145 | 0 | 0 26.08/26.16 c 26.0s | 12 | 124148 | 37419 | 347 156 | 0 | 0 26.98/27.03 c 26.9s | 13 | 126979 | 38832 | 382 161 | 0 | 0 28.98/29.06 c 28.9s | 13 | 135573 | 42132 | 382 171 | 0 | 0 30.98/31.08 c 30.9s | 13 | 141431 | 44832 | 382 181 | 0 | 0 33.09/33.13 c 33.0s | 13 | 149774 | 47432 | 382 190 | 0 | 0 35.08/35.19 c 35.0s | 13 | 160019 | 50732 | 382 201 | 0 | 0 37.18/37.22 c 37.1s | 13 | 170599 | 53232 | 382 210 | 0 | 0 39.18/39.23 c 39.1s | 13 | 182962 | 55632 | 382 218 | 0 | 0 41.18/41.24 c 41.1s | 14 | 193750 | 58352 | 421 228 | 0 | 0 43.18/43.26 c 43.1s | 14 | 200985 | 61252 | 421 237 | 0 | 0 45.28/45.33 c 45.2s | 14 | 210050 | 64152 | 421 246 | 0 | 0 47.29/47.34 c 47.2s | 14 | 220917 | 66352 | 421 253 | 0 | 0 49.28/49.37 c 49.2s | 14 | 232022 | 69352 | 421 263 | 0 | 0 51.28/51.38 c 51.2s | 14 | 243592 | 72352 | 421 272 | 0 | 0 53.38/53.44 c 53.3s | 14 | 251501 | 74952 | 421 281 | 0 | 0 55.38/55.46 c 55.3s | 14 | 263655 | 78252 | 421 291 | 0 | 0 57.48/57.50 c 57.3s | 14 | 272558 | 81152 | 421 300 | 0 | 0 59.49/59.53 c 59.4s | 14 | 279657 | 84052 | 421 309 | 0 | 0 61.48/61.55 c 61.4s | 14 | 289432 | 86452 | 421 318 | 0 | 0 62.38/62.47 c 62.3s | 15 | 292808 | 87632 | 464 321 | 0 | 0 64.38/64.48 c 64.3s | 15 | 302501 | 90432 | 464 330 | 0 | 0 66.48/66.53 c 66.4s | 15 | 310037 | 93232 | 464 339 | 0 | 0 68.48/68.54 c 68.4s | 15 | 320851 | 96132 | 464 347 | 0 | 0 70.48/70.58 c 70.4s | 15 | 325501 | 98732 | 464 355 | 0 | 0 72.47/72.60 c 72.4s | 15 | 333686 | 101932 | 464 365 | 0 | 0 74.57/74.63 c 74.5s | 15 | 343831 | 104932 | 464 374 | 0 | 0 76.67/76.73 c 76.6s | 15 | 353866 | 107532 | 464 381 | 0 | 0 78.77/78.80 c 78.6s | 15 | 361527 | 110232 | 464 390 | 0 | 0 80.76/80.82 c 80.7s | 15 | 370514 | 113032 | 464 398 | 0 | 0 82.76/82.85 c 82.7s | 15 | 377565 | 115032 | 464 404 | 0 | 0 84.77/84.86 c 84.7s | 15 | 386265 | 117432 | 464 412 | 0 | 0 86.76/86.88 c 86.7s | 15 | 394445 | 119832 | 464 419 | 0 | 0 88.86/88.91 c 88.7s | 15 | 403844 | 122532 | 464 427 | 0 | 0 90.85/90.93 c 90.8s | 15 | 411147 | 125132 | 464 435 | 0 | 0 92.85/92.94 c 92.8s | 15 | 416405 | 127532 | 464 443 | 0 | 0 94.85/94.98 c 94.8s | 15 | 423829 | 130232 | 464 451 | 0 | 0 95.95/96.00 c 95.8s | 16 | 427589 | 131552 | 511 455 | 0 | 0 97.96/98.04 c 97.9s | 16 | 435479 | 134452 | 511 463 | 0 | 0 100.06/100.12 c 100.0s | 16 | 443733 | 137152 | 511 471 | 0 | 0 102.05/102.16 c 101s | 16 | 453324 | 140452 | 511 480 | 0 | 0 104.15/104.21 c 104s | 16 | 462014 | 143152 | 511 487 | 0 | 0 106.15/106.25 c 106s | 16 | 470489 | 146052 | 511 495 | 0 | 0 108.15/108.29 c 108s | 16 | 481783 | 148752 | 511 503 | 0 | 0 110.25/110.35 c 110s | 16 | 492937 | 151852 | 511 511 | 0 | 0 112.25/112.37 c 112s | 16 | 500837 | 154552 | 511 519 | 0 | 0 114.35/114.42 c 114s | 16 | 505435 | 157052 | 511 526 | 0 | 0 116.35/116.47 c 116s | 16 | 513707 | 159552 | 511 533 | 0 | 0 118.45/118.53 c 118s | 16 | 519851 | 162352 | 511 541 | 0 | 0 120.44/120.54 c 120s | 16 | 529136 | 165052 | 511 548 | 0 | 0 122.44/122.55 c 122s | 16 | 541048 | 167452 | 511 555 | 0 | 0 124.54/124.62 c 124s | 16 | 549213 | 169852 | 511 562 | 0 | 0 126.55/126.67 c 126s | 16 | 555818 | 171752 | 511 568 | 0 | 0 128.54/128.68 c 128s | 16 | 562508 | 173652 | 511 574 | 0 | 0 130.64/130.77 c 130s | 16 | 570273 | 176052 | 511 581 | 0 | 0 132.64/132.77 c 132s | 16 | 577871 | 178052 | 511 587 | 0 | 0 134.74/134.85 c 134s | 16 | 584336 | 180352 | 511 594 | 0 | 0 136.74/136.87 c 136s | 16 | 593020 | 182352 | 511 600 | 0 | 0 138.74/138.88 c 138s | 16 | 600836 | 184352 | 511 606 | 0 | 0 140.84/140.93 c 140s | 16 | 609804 | 186452 | 511 613 | 0 | 0 142.83/142.98 c 142s | 16 | 616958 | 188552 | 511 620 | 0 | 0 144.93/145.04 c 144s | 16 | 623057 | 190552 | 511 627 | 0 | 0 146.93/147.05 c 146s | 16 | 630726 | 192552 | 511 633 | 0 | 0 149.03/149.14 c 148s | 16 | 638414 | 194552 | 511 640 | 0 | 0 151.03/151.16 c 150s | 16 | 646528 | 196552 | 563 646 | 0 | 0 151.93/152.07 c 151s | 17 | 649923 | 197432 | 563 649 | 0 | 0 153.94/154.10 c 153s | 17 | 658677 | 200432 | 563 657 | 0 | 0 156.04/156.13 c 155s | 17 | 663980 | 203032 | 563 664 | 0 | 0 158.04/158.14 c 157s | 17 | 670150 | 205832 | 563 671 | 0 | 0 160.14/160.21 c 160s | 17 | 677112 | 208932 | 563 679 | 0 | 0 162.13/162.22 c 162s | 17 | 685455 | 211732 | 563 687 | 0 | 0 164.13/164.26 c 164s | 17 | 692933 | 214432 | 563 694 | 0 | 0 166.14/166.27 c 166s | 17 | 699875 | 217032 | 563 700 | 0 | 0 168.24/168.31 c 168s | 17 | 710118 | 219832 | 563 708 | 0 | 0 170.23/170.36 c 170s | 17 | 718923 | 222332 | 563 714 | 0 | 0 172.23/172.37 c 172s | 17 | 725995 | 225032 | 563 721 | 0 | 0 174.23/174.38 c 174s | 17 | 735244 | 227632 | 563 728 | 0 | 0 176.33/176.42 c 176s | 17 | 744885 | 230532 | 563 735 | 0 | 0 178.33/178.48 c 178s | 17 | 755443 | 233532 | 563 743 | 0 | 0 180.43/180.56 c 180s | 17 | 763683 | 235932 | 563 750 | 0 | 0 182.42/182.58 c 182s | 17 | 774725 | 238432 | 563 756 | 0 | 0 184.52/184.64 c 184s | 17 | 782207 | 240532 | 563 762 | 0 | 0 186.52/186.66 c 186s | 17 | 789794 | 243732 | 563 770 | 0 | 0 188.62/188.73 c 188s | 17 | 796414 | 246032 | 563 776 | 0 | 0 190.62/190.75 c 190s | 17 | 799965 | 248232 | 563 782 | 0 | 0 192.72/192.83 c 192s | 17 | 811387 | 250932 | 563 789 | 0 | 0 194.73/194.86 c 194s | 17 | 820257 | 253032 | 563 795 | 0 | 0 196.83/196.99 c 196s | 17 | 832391 | 255732 | 563 802 | 0 | 0 198.92/199.03 c 198s | 17 | 841805 | 257832 | 563 807 | 0 | 0 200.92/201.08 c 200s | 17 | 851364 | 260132 | 563 813 | 0 | 0 203.02/203.13 c 202s | 17 | 860772 | 262332 | 563 819 | 0 | 0 205.01/205.17 c 205s | 17 | 868818 | 264432 | 563 825 | 0 | 0 207.11/207.29 c 207s | 17 | 875509 | 266432 | 563 830 | 0 | 0 209.11/209.29 c 209s | 17 | 884757 | 268832 | 563 837 | 0 | 0 211.22/211.36 c 211s | 17 | 894864 | 271232 | 563 844 | 0 | 0 213.32/213.45 c 213s | 17 | 903642 | 273432 | 563 850 | 0 | 0 215.31/215.46 c 215s | 17 | 910974 | 275532 | 563 856 | 0 | 0 217.41/217.53 c 217s | 17 | 916485 | 277332 | 563 861 | 0 | 0 219.51/219.60 c 219s | 17 | 922448 | 279232 | 563 866 | 0 | 0 221.50/221.67 c 221s | 17 | 924770 | 281132 | 563 872 | 0 | 0 223.50/223.68 c 223s | 17 | 932084 | 282932 | 563 877 | 0 | 0 225.60/225.74 c 225s | 17 | 938314 | 285032 | 563 883 | 0 | 0 227.61/227.77 c 227s | 17 | 946070 | 287132 | 563 889 | 0 | 0 229.60/229.78 c 229s | 17 | 954614 | 289132 | 563 894 | 0 | 0 231.70/231.82 c 231s | 17 | 963382 | 291332 | 563 901 | 0 | 0 233.70/233.87 c 233s | 17 | 972032 | 293732 | 563 907 | 0 | 0 235.80/235.92 c 235s | 17 | 979732 | 295932 | 620 913 | 0 | 0 236.00/236.14 c 235s | 18 | 980624 | 296252 | 620 913 | 0 | 0 238.00/238.16 c 237s | 18 | 990145 | 299552 | 620 921 | 0 | 0 240.10/240.22 c 240s | 18 | 1000359 | 302352 | 620 928 | 0 | 0 242.09/242.26 c 242s | 18 | 1010699 | 305452 | 620 935 | 0 | 0 244.20/244.32 c 244s | 18 | 1017622 | 308252 | 620 942 | 0 | 0 246.19/246.33 c 246s | 18 | 1024454 | 311052 | 620 949 | 0 | 0 248.19/248.35 c 248s | 18 | 1034908 | 313952 | 620 956 | 0 | 0 250.29/250.41 c 250s | 18 | 1043249 | 316352 | 620 962 | 0 | 0 252.29/252.47 c 252s | 18 | 1051696 | 318852 | 620 968 | 0 | 0 254.39/254.57 c 254s | 18 | 1060200 | 320952 | 620 973 | 0 | 0 256.49/256.62 c 256s | 18 | 1066754 | 322752 | 620 978 | 0 | 0 258.50/258.65 c 258s | 18 | 1073329 | 325152 | 620 984 | 0 | 0 260.49/260.68 c 260s | 18 | 1080960 | 327452 | 620 989 | 0 | 0 262.49/262.69 c 262s | 18 | 1090518 | 329652 | 620 994 | 0 | 0 264.58/264.73 c 264s | 18 | 1101078 | 332152 | 620 1001 | 0 | 0 266.58/266.78 c 266s | 18 | 1110259 | 334552 | 620 1007 | 0 | 0 268.68/268.83 c 268s | 18 | 1117718 | 336752 | 620 1012 | 0 | 0 270.78/270.90 c 270s | 18 | 1125352 | 339152 | 620 1018 | 0 | 0 272.69/272.90 c 272s | 18 | 1132184 | 341652 | 620 1024 | 0 | 0 274.78/274.99 c 274s | 18 | 1136532 | 344152 | 620 1031 | 0 | 0 276.88/277.00 c 276s | 18 | 1142529 | 346252 | 620 1036 | 0 | 0 278.88/279.04 c 278s | 18 | 1150778 | 348352 | 620 1041 | 0 | 0 280.98/281.10 c 280s | 18 | 1157265 | 350552 | 620 1046 | 0 | 0 282.98/283.15 c 282s | 18 | 1163119 | 352952 | 620 1052 | 0 | 0 285.08/285.23 c 285s | 18 | 1170969 | 354852 | 620 1057 | 0 | 0 287.18/287.31 c 287s | 18 | 1177676 | 356652 | 620 1062 | 0 | 0 289.18/289.40 c 289s | 18 | 1184097 | 358852 | 620 1068 | 0 | 0 291.27/291.50 c 291s | 18 | 1191470 | 360852 | 620 1073 | 0 | 0 293.37/293.52 c 293s | 18 | 1199108 | 362652 | 620 1077 | 0 | 0 295.37/295.53 c 295s | 18 | 1206145 | 364452 | 620 1082 | 0 | 0 297.47/297.61 c 297s | 18 | 1211029 | 366352 | 620 1087 | 0 | 0 299.47/299.65 c 299s | 18 | 1213877 | 368352 | 620 1092 | 0 | 0 301.57/301.76 c 301s | 18 | 1218748 | 370252 | 620 1098 | 0 | 0 303.57/303.78 c 303s | 18 | 1224442 | 372152 | 620 1103 | 0 | 0 305.67/305.86 c 305s | 18 | 1230465 | 374252 | 620 1108 | 0 | 0 307.77/307.91 c 307s | 18 | 1237052 | 376152 | 620 1113 | 0 | 0 309.76/309.97 c 309s | 18 | 1242932 | 378152 | 620 1118 | 0 | 0 311.86/312.06 c 311s | 18 | 1247860 | 379952 | 620 1123 | 0 | 0 313.96/314.13 c 313s | 18 | 1254240 | 382252 | 620 1129 | 0 | 0 315.96/316.19 c 316s | 18 | 1261096 | 384652 | 620 1135 | 0 | 0 318.06/318.20 c 318s | 18 | 1270180 | 387252 | 620 1141 | 0 | 0 320.07/320.26 c 320s | 18 | 1280058 | 390052 | 620 1148 | 0 | 0 322.06/322.29 c 322s | 18 | 1288181 | 392452 | 620 1154 | 0 | 0 324.16/324.31 c 324s | 18 | 1299005 | 395252 | 620 1161 | 0 | 0 326.16/326.36 c 326s | 18 | 1307955 | 397952 | 620 1168 | 0 | 0 328.26/328.42 c 328s | 18 | 1315339 | 400552 | 620 1174 | 0 | 0 330.25/330.44 c 330s | 18 | 1323942 | 403252 | 620 1181 | 0 | 0 332.35/332.53 c 332s | 18 | 1335125 | 406152 | 620 1188 | 0 | 0 334.37/334.59 c 334s | 18 | 1345397 | 408752 | 620 1194 | 0 | 0 336.47/336.65 c 336s | 18 | 1348217 | 411152 | 620 1200 | 0 | 0 338.46/338.68 c 338s | 18 | 1350604 | 413352 | 620 1206 | 0 | 0 340.55/340.70 c 340s | 18 | 1353555 | 415652 | 620 1212 | 0 | 0 342.55/342.75 c 342s | 18 | 1356007 | 417852 | 620 1218 | 0 | 0 344.55/344.79 c 344s | 18 | 1358598 | 420052 | 620 1224 | 0 | 0 346.65/346.80 c 346s | 18 | 1361200 | 422152 | 620 1229 | 0 | 0 348.66/348.87 c 348s | 18 | 1364157 | 424352 | 620 1235 | 0 | 0 350.65/350.90 c 350s | 18 | 1366823 | 426552 | 620 1240 | 0 | 0 352.75/352.91 c 352s | 18 | 1369311 | 428752 | 620 1246 | 0 | 0 354.75/354.97 c 354s | 18 | 1371650 | 430852 | 620 1252 | 0 | 0 356.84/357.08 c 356s | 18 | 1374006 | 433052 | 620 1258 | 0 | 0 358.94/359.16 c 358s | 18 | 1376160 | 435152 | 620 1263 | 0 | 0 360.94/361.17 c 361s | 18 | 1378303 | 437252 | 620 1269 | 0 | 0 362.95/363.18 c 363s | 18 | 1380309 | 439252 | 620 1274 | 0 | 0 364.94/365.19 c 365s | 18 | 1382266 | 441252 | 620 1279 | 0 | 0 367.04/367.25 c 367s | 18 | 1384282 | 443252 | 682 1284 | 0 | 0 368.45/368.61 c 368s | 19 | 1385504 | 444482 | 682 1287 | 0 | 0 370.44/370.64 c 370s | 19 | 1387915 | 446682 | 682 1293 | 0 | 0 372.54/372.73 c 372s | 19 | 1390192 | 448882 | 682 1298 | 0 | 0 374.54/374.74 c 374s | 19 | 1392683 | 451282 | 682 1304 | 0 | 0 376.63/376.80 c 376s | 19 | 1394993 | 453482 | 682 1309 | 0 | 0 378.73/378.90 c 378s | 19 | 1398032 | 455982 | 682 1315 | 0 | 0 380.73/380.98 c 380s | 19 | 1400497 | 458182 | 682 1320 | 0 | 0 382.83/383.01 c 382s | 19 | 1402767 | 460182 | 682 1325 | 0 | 0 384.84/385.08 c 384s | 19 | 1404950 | 462282 | 682 1330 | 0 | 0 386.83/387.08 c 386s | 19 | 1407045 | 464282 | 682 1335 | 0 | 0 388.93/389.10 c 388s | 19 | 1408983 | 466282 | 682 1339 | 0 | 0 390.92/391.18 c 391s | 19 | 1411164 | 468382 | 682 1344 | 0 | 0 393.02/393.27 c 393s | 19 | 1413165 | 470382 | 682 1349 | 0 | 0 395.12/395.38 c 395s | 19 | 1415275 | 472482 | 682 1355 | 0 | 0 397.22/397.42 c 397s | 19 | 1417169 | 474382 | 682 1359 | 0 | 0 399.23/399.48 c 399s | 19 | 1418972 | 476182 | 682 1364 | 0 | 0 401.33/401.55 c 401s | 19 | 1420770 | 477982 | 682 1369 | 0 | 0 403.42/403.64 c 403s | 19 | 1422899 | 479982 | 682 1374 | 0 | 0 405.52/405.73 c 405s | 19 | 1425395 | 482082 | 682 1380 | 0 | 0 407.62/407.82 c 407s | 19 | 1427808 | 484182 | 682 1385 | 0 | 0 409.62/409.86 c 409s | 19 | 1429914 | 486182 | 682 1390 | 0 | 0 411.61/411.87 c 411s | 19 | 1438435 | 489082 | 682 1397 | 0 | 0 413.71/413.93 c 413s | 19 | 1450233 | 492182 | 682 1403 | 0 | 0 415.72/415.97 c 415s | 19 | 1457604 | 494782 | 682 1409 | 0 | 0 417.82/418.02 c 417s | 19 | 1464371 | 496982 | 682 1415 | 0 | 0 419.81/420.04 c 419s | 19 | 1472414 | 499982 | 682 1421 | 0 | 0 421.91/422.10 c 421s | 19 | 1480188 | 502682 | 682 1427 | 0 | 0 423.91/424.13 c 423s | 19 | 1487273 | 504782 | 682 1432 | 0 | 0 425.91/426.17 c 426s | 19 | 1494519 | 506982 | 682 1438 | 0 | 0 427.91/428.18 c 428s | 19 | 1502868 | 509082 | 682 1442 | 0 | 0 430.01/430.27 c 430s | 19 | 1511282 | 511582 | 682 1448 | 0 | 0 432.00/432.28 c 432s | 19 | 1516927 | 513582 | 682 1453 | 0 | 0 434.10/434.36 c 434s | 19 | 1520969 | 515782 | 682 1458 | 0 | 0 436.20/436.41 c 436s | 19 | 1527427 | 518482 | 682 1464 | 0 | 0 438.20/438.48 c 438s | 19 | 1535673 | 521082 | 682 1470 | 0 | 0 440.30/440.57 c 440s | 19 | 1544741 | 523582 | 682 1476 | 0 | 0 442.40/442.60 c 442s | 19 | 1551905 | 525682 | 682 1481 | 0 | 0 444.40/444.62 c 444s | 19 | 1560518 | 528382 | 682 1487 | 0 | 0 446.51/446.75 c 446s | 19 | 1568445 | 530582 | 682 1492 | 0 | 0 448.61/448.84 c 448s | 19 | 1573115 | 532582 | 682 1497 | 0 | 0 450.70/450.95 c 450s | 19 | 1578196 | 534882 | 682 1502 | 0 | 0 452.70/452.96 c 452s | 19 | 1583337 | 536782 | 682 1507 | 0 | 0 454.80/455.03 c 454s | 19 | 1586849 | 538582 | 682 1511 | 0 | 0 456.80/457.05 c 456s | 19 | 1592265 | 540482 | 682 1515 | 0 | 0 458.80/459.08 c 458s | 19 | 1599128 | 542882 | 682 1521 | 0 | 0 460.89/461.16 c 460s | 19 | 1605762 | 544982 | 682 1525 | 0 | 0 462.90/463.17 c 463s | 19 | 1615214 | 547082 | 682 1530 | 0 | 0 464.89/465.17 c 465s | 19 | 1622512 | 549382 | 682 1536 | 0 | 0 466.99/467.24 c 467s | 19 | 1628214 | 551182 | 682 1540 | 0 | 0 469.09/469.33 c 469s | 19 | 1637497 | 553682 | 682 1546 | 0 | 0 471.09/471.37 c 471s | 19 | 1644256 | 555682 | 682 1551 | 0 | 0 473.19/473.45 c 473s | 19 | 1649830 | 557782 | 682 1556 | 0 | 0 475.29/475.52 c 475s | 19 | 1654627 | 559782 | 682 1560 | 0 | 0 477.39/477.61 c 477s | 19 | 1660577 | 561482 | 682 1564 | 0 | 0 479.39/479.68 c 479s | 19 | 1668647 | 563782 | 682 1569 | 0 | 0 481.48/481.74 c 481s | 19 | 1674630 | 565982 | 682 1575 | 0 | 0 483.58/483.87 c 483s | 19 | 1679275 | 568082 | 682 1580 | 0 | 0 485.68/485.92 c 485s | 19 | 1687158 | 570582 | 682 1586 | 0 | 0 487.78/488.01 c 487s | 19 | 1691070 | 572882 | 682 1591 | 0 | 0 489.88/490.11 c 489s | 19 | 1696765 | 574982 | 682 1596 | 0 | 0 491.98/492.21 c 492s | 19 | 1703018 | 576982 | 682 1601 | 0 | 0 493.98/494.22 c 494s | 19 | 1708566 | 578582 | 682 1605 | 0 | 0 495.98/496.24 c 496s | 19 | 1713403 | 580482 | 682 1610 | 0 | 0 498.08/498.34 c 498s | 19 | 1718037 | 582182 | 682 1614 | 0 | 0 500.07/500.39 c 500s | 19 | 1722730 | 583782 | 682 1619 | 0 | 0 502.17/502.42 c 502s | 19 | 1727779 | 585282 | 682 1623 | 0 | 0 504.17/504.46 c 504s | 19 | 1732482 | 586782 | 682 1627 | 0 | 0 506.17/506.48 c 506s | 19 | 1736569 | 588382 | 682 1631 | 0 | 0 508.28/508.54 c 508s | 19 | 1741095 | 590082 | 682 1635 | 0 | 0 510.28/510.55 c 510s | 19 | 1746043 | 591782 | 682 1640 | 0 | 0 512.38/512.61 c 512s | 19 | 1750040 | 593482 | 682 1644 | 0 | 0 514.47/514.75 c 514s | 19 | 1756114 | 595082 | 682 1649 | 0 | 0 516.47/516.79 c 516s | 19 | 1761221 | 596482 | 682 1653 | 0 | 0 518.57/518.85 c 518s | 19 | 1766466 | 598382 | 682 1657 | 0 | 0 520.67/520.91 c 520s | 19 | 1770375 | 600182 | 682 1661 | 0 | 0 522.66/522.96 c 522s | 19 | 1776305 | 602182 | 682 1666 | 0 | 0 524.76/525.04 c 524s | 19 | 1781219 | 604082 | 682 1671 | 0 | 0 526.77/527.07 c 526s | 19 | 1786320 | 605782 | 682 1675 | 0 | 0 528.76/529.08 c 528s | 19 | 1791257 | 607782 | 682 1679 | 0 | 0 530.86/531.15 c 530s | 19 | 1796727 | 609882 | 682 1684 | 0 | 0 532.96/533.21 c 533s | 19 | 1804663 | 611882 | 682 1689 | 0 | 0 534.96/535.21 c 535s | 19 | 1810202 | 614082 | 682 1694 | 0 | 0 536.96/537.26 c 537s | 19 | 1816390 | 616082 | 682 1699 | 0 | 0 539.06/539.32 c 539s | 19 | 1823648 | 618282 | 682 1704 | 0 | 0 541.06/541.36 c 541s | 19 | 1830457 | 620282 | 682 1709 | 0 | 0 543.05/543.37 c 543s | 19 | 1836725 | 622382 | 682 1714 | 0 | 0 545.05/545.37 c 545s | 19 | 1841546 | 624282 | 682 1718 | 0 | 0 547.15/547.42 c 547s | 19 | 1846523 | 626082 | 682 1723 | 0 | 0 549.15/549.42 c 549s | 19 | 1851004 | 628082 | 682 1728 | 0 | 0 551.15/551.43 c 551s | 19 | 1858077 | 630082 | 682 1732 | 0 | 0 553.15/553.43 c 553s | 19 | 1862338 | 632082 | 682 1737 | 0 | 0 555.15/555.46 c 555s | 19 | 1864264 | 633982 | 682 1742 | 0 | 0 557.25/557.57 c 557s | 19 | 1869484 | 636082 | 682 1747 | 0 | 0 559.25/559.59 c 559s | 19 | 1876393 | 638382 | 682 1752 | 0 | 0 561.35/561.65 c 561s | 19 | 1879114 | 640682 | 682 1757 | 0 | 0 563.45/563.73 c 563s | 19 | 1881339 | 642782 | 682 1763 | 0 | 0 565.45/565.76 c 565s | 19 | 1884075 | 644982 | 682 1768 | 0 | 0 567.45/567.76 c 567s | 19 | 1886681 | 647082 | 682 1773 | 0 | 0 567.64/567.98 c 567s | 19 | 1887097 | 647379 | 682 1773 | 0 | 0 567.64/567.98 c #cpu_time = 566.207s 567.64/567.98 c #wall_clock_time = 567.815s 567.64/567.98 c #decision = 1887097 567.64/567.98 c #random_decision = 8086 567.64/567.98 c #conflict = 647379 567.64/567.98 c #restart = 19 567.64/567.98 o 350 567.64/567.98 c BCD2: updating upper bound: 659 -> 349 567.64/567.98 c BCD2: 56 <= obj <= 349 567.64/567.98 c BCD2: #cores=1, #unrelaxed=117, #relaxed=202, #hardened=0 567.64/567.98 c BCD2: #sat=3 #unsat=2 bias=2/5 567.94/568.24 c Solving starts ... 567.94/568.24 c ============================[ Search Statistics ]============================ 567.94/568.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 567.94/568.24 c | | | | Limit GC | Var | Constra 567.94/568.24 c ============================================================================= 567.94/568.24 c 0.0s | 0 | 0 | 0 | 682 0 | 0 | 1 568.04/568.33 c 0.1s | 1 | 516 | 100 | 682 1 | 0 | 1 568.14/568.46 c 0.2s | 2 | 1055 | 250 | 682 1 | 0 | 1 568.34/568.63 c 0.4s | 3 | 1480 | 475 | 682 2 | 0 | 1 568.55/568.85 c 0.6s | 4 | 2043 | 813 | 682 2 | 0 | 1 568.94/569.21 c 1.0s | 5 | 2786 | 1320 | 682 4 | 0 | 1 569.44/569.77 c 1.5s | 6 | 3910 | 2081 | 682 5 | 0 | 1 570.24/570.56 c 2.3s | 7 | 5681 | 3223 | 682 8 | 0 | 1 571.44/571.74 c 3.5s | 8 | 8071 | 4936 | 682 12 | 0 | 1 573.24/573.50 c 5.3s | 9 | 11428 | 7506 | 682 18 | 0 | 1 575.24/575.54 c 7.3s | 9 | 15514 | 10406 | 682 25 | 0 | 1 575.94/576.28 c 8.0s | 10 | 16510 | 11361 | 682 28 | 0 | 1 578.04/578.34 c 10.1s | 10 | 21217 | 14261 | 682 35 | 0 | 1 580.14/580.42 c 12.2s | 10 | 24049 | 16461 | 751 40 | 0 | 1 580.74/581.09 c 12.9s | 11 | 24865 | 17144 | 751 42 | 0 | 1 581.44/581.76 c 13.5s | 11 | 25712 | 17762 | 751 43 | 0 | 1 581.44/581.76 c #cpu_time = 13.485s 581.44/581.76 c #wall_clock_time = 13.524s 581.44/581.76 c #decision = 25712 581.44/581.76 c #random_decision = 125 581.44/581.76 c #conflict = 17762 581.44/581.76 c #restart = 11 581.44/581.76 c BCD2: relaxing 117 and merging with 1 cores into a new core of size 319: cost of the new core is >=115 581.44/581.76 c lower bound updated to 115 581.44/581.76 c BCD2: 115 <= obj <= 349 581.44/581.76 c BCD2: #cores=1, #unrelaxed=0, #relaxed=319, #hardened=0 581.44/581.76 c BCD2: #sat=3 #unsat=3 bias=3/6 581.44/581.77 c Solving starts ... 581.44/581.77 c ============================[ Search Statistics ]============================ 581.44/581.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 581.44/581.77 c | | | | Limit GC | Var | Constra 581.44/581.77 c ============================================================================= 581.44/581.77 c 0.0s | 0 | 0 | 0 | 751 0 | 3 | 1 581.53/581.90 c 0.1s | 1 | 920 | 100 | 751 0 | 3 | 6 581.64/581.99 c 0.2s | 2 | 1516 | 250 | 751 0 | 3 | 6 581.93/582.27 c 0.5s | 3 | 2546 | 475 | 751 0 | 3 | 6 582.23/582.51 c 0.7s | 4 | 4142 | 813 | 751 1 | 3 | 6 582.93/583.28 c 1.5s | 5 | 4663 | 1320 | 751 2 | 3 | 6 583.94/584.25 c 2.5s | 6 | 5704 | 2081 | 751 4 | 3 | 6 585.63/585.90 c 4.1s | 7 | 6985 | 3223 | 751 6 | 3 | 6 587.43/587.78 c 6.0s | 8 | 16876 | 4936 | 751 10 | 3 | 6 589.63/589.93 c 8.2s | 8 | 20702 | 6636 | 751 14 | 3 | 6 590.93/591.21 c 9.4s | 9 | 21539 | 7506 | 751 17 | 3 | 6 592.93/593.29 c 11.5s | 9 | 24580 | 9306 | 751 21 | 3 | 6 595.03/595.35 c 13.6s | 9 | 26278 | 10806 | 751 24 | 3 | 6 595.63/595.97 c 14.2s | 10 | 27957 | 11361 | 751 26 | 3 | 6 597.83/598.10 c 16.3s | 10 | 31345 | 13161 | 751 30 | 3 | 6 599.83/600.18 c 18.4s | 10 | 32741 | 14561 | 751 34 | 3 | 6 601.92/602.25 c 20.5s | 10 | 34343 | 16061 | 751 37 | 3 | 6 603.42/603.78 c 22.0s | 11 | 35551 | 17144 | 751 40 | 3 | 6 605.52/605.87 c 24.1s | 11 | 37464 | 18844 | 751 44 | 3 | 6 607.62/607.93 c 26.2s | 11 | 39098 | 20544 | 751 48 | 3 | 6 609.72/610.01 c 28.2s | 11 | 40876 | 22344 | 751 53 | 3 | 6 611.72/612.04 c 30.3s | 11 | 43238 | 24444 | 751 59 | 3 | 6 613.32/613.67 c 31.9s | 12 | 45373 | 25819 | 751 62 | 3 | 6 615.32/615.68 c 33.9s | 12 | 47092 | 27319 | 751 66 | 3 | 6 617.42/617.76 c 36.0s | 12 | 48564 | 28719 | 751 69 | 3 | 6 619.52/619.88 c 38.1s | 12 | 50205 | 30219 | 751 73 | 3 | 6 621.62/621.93 c 40.2s | 12 | 51856 | 31719 | 751 77 | 3 | 6 623.72/624.04 c 42.3s | 12 | 53296 | 33319 | 751 80 | 3 | 6 625.82/626.11 c 44.3s | 12 | 55036 | 35019 | 751 85 | 3 | 6 627.82/628.15 c 46.4s | 12 | 56859 | 36819 | 751 90 | 3 | 6 629.92/630.21 c 48.4s | 12 | 58836 | 38819 | 751 95 | 3 | 6 629.92/630.22 c 48.5s | 13 | 58836 | 38832 | 751 95 | 3 | 6 631.91/632.28 c 50.5s | 13 | 60562 | 40432 | 751 99 | 3 | 6 634.01/634.38 c 52.6s | 13 | 62000 | 41832 | 751 103 | 3 | 6 636.11/636.42 c 54.7s | 13 | 63412 | 43232 | 751 106 | 3 | 6 638.21/638.56 c 56.8s | 13 | 64927 | 44732 | 751 110 | 3 | 6 640.31/640.64 c 58.9s | 13 | 66450 | 46332 | 751 113 | 3 | 6 642.41/642.70 c 60.9s | 13 | 68120 | 47932 | 751 117 | 3 | 6 644.42/644.76 c 63.0s | 13 | 69821 | 49632 | 751 122 | 3 | 6 646.51/646.85 c 65.1s | 13 | 71679 | 51532 | 751 127 | 3 | 6 648.61/648.94 c 67.2s | 13 | 73800 | 53332 | 751 131 | 3 | 6 650.60/650.97 c 69.2s | 13 | 75434 | 54832 | 751 134 | 3 | 6 652.70/653.07 c 71.3s | 13 | 76762 | 56232 | 751 137 | 3 | 6 654.70/655.08 c 73.3s | 13 | 78104 | 57632 | 751 141 | 3 | 6 655.70/656.06 c 74.3s | 14 | 78883 | 58352 | 751 143 | 3 | 6 657.80/658.11 c 76.3s | 14 | 80447 | 59852 | 751 146 | 3 | 6 659.90/660.26 c 78.5s | 14 | 82122 | 61452 | 751 151 | 3 | 6 661.90/662.30 c 80.5s | 14 | 83779 | 63152 | 751 155 | 3 | 6 664.00/664.32 c 82.6s | 14 | 85634 | 64952 | 751 159 | 3 | 6 666.00/666.38 c 84.6s | 14 | 87598 | 66952 | 751 165 | 3 | 6 668.10/668.43 c 86.7s | 14 | 90114 | 68652 | 751 169 | 3 | 6 670.10/670.49 c 88.7s | 14 | 91579 | 70052 | 751 172 | 3 | 6 672.29/672.61 c 90.8s | 14 | 92924 | 71552 | 751 176 | 3 | 6 674.29/674.64 c 92.9s | 14 | 94513 | 73052 | 751 179 | 3 | 6 676.39/676.72 c 95.0s | 14 | 96150 | 74652 | 751 184 | 3 | 6 678.40/678.76 c 97.0s | 14 | 97632 | 76252 | 751 187 | 3 | 6 680.49/680.86 c 99.1s | 14 | 99506 | 78052 | 751 192 | 3 | 6 682.59/682.92 c 101s | 14 | 101384 | 79952 | 751 197 | 3 | 6 684.69/685.09 c 103s | 14 | 103250 | 81752 | 751 201 | 3 | 6 686.79/687.19 c 105s | 14 | 104674 | 83152 | 751 205 | 3 | 6 688.89/689.29 c 107s | 14 | 106206 | 84552 | 751 209 | 3 | 6 690.88/691.29 c 109s | 14 | 107528 | 85952 | 751 212 | 3 | 6 692.98/693.33 c 111s | 14 | 108922 | 87352 | 751 215 | 3 | 6 693.38/693.76 c 111s | 15 | 109301 | 87632 | 751 216 | 3 | 6 695.48/695.80 c 114s | 15 | 111502 | 89132 | 751 220 | 3 | 6 697.58/697.91 c 116s | 15 | 114519 | 90732 | 751 223 | 3 | 6 699.58/699.92 c 118s | 15 | 115944 | 92232 | 751 227 | 3 | 6 701.69/702.01 c 120s | 15 | 118806 | 94032 | 751 232 | 3 | 6 703.70/704.07 c 122s | 15 | 120417 | 95732 | 751 236 | 3 | 6 705.69/706.07 c 124s | 15 | 122186 | 97432 | 751 241 | 3 | 6 707.79/708.10 c 126s | 15 | 124015 | 99332 | 751 246 | 3 | 6 709.79/710.18 c 128s | 15 | 126212 | 101532 | 751 252 | 3 | 6 711.89/712.21 c 130s | 15 | 128869 | 103632 | 751 258 | 3 | 6 713.89/714.23 c 132s | 15 | 130290 | 104932 | 751 262 | 3 | 6 715.99/716.31 c 134s | 15 | 131584 | 106332 | 751 265 | 3 | 6 718.09/718.41 c 136s | 15 | 133132 | 107832 | 751 269 | 3 | 6 720.09/720.41 c 138s | 15 | 134593 | 109332 | 751 272 | 3 | 6 722.09/722.46 c 140s | 15 | 136300 | 110932 | 751 277 | 3 | 6 724.18/724.58 c 142s | 15 | 138037 | 112732 | 751 281 | 3 | 6 726.28/726.65 c 144s | 15 | 139915 | 114632 | 751 286 | 3 | 6 728.28/728.66 c 146s | 15 | 141914 | 116632 | 751 291 | 3 | 6 730.28/730.67 c 148s | 15 | 143643 | 118332 | 751 295 | 3 | 6 732.39/732.72 c 150s | 15 | 145150 | 119732 | 751 299 | 3 | 6 734.49/734.82 c 153s | 15 | 146613 | 121232 | 751 302 | 3 | 6 736.48/736.86 c 155s | 15 | 148081 | 122732 | 751 306 | 3 | 6 738.58/738.93 c 157s | 15 | 149700 | 124332 | 751 310 | 3 | 6 740.68/741.00 c 159s | 15 | 151387 | 126032 | 751 314 | 3 | 6 742.68/743.05 c 161s | 15 | 153618 | 128132 | 751 319 | 3 | 6 744.78/745.17 c 163s | 15 | 155495 | 129732 | 751 323 | 3 | 6 746.88/747.21 c 165s | 15 | 156782 | 131132 | 751 326 | 3 | 6 747.48/747.81 c 166s | 16 | 157207 | 131552 | 751 327 | 3 | 6 749.58/749.92 c 168s | 16 | 165504 | 133752 | 751 332 | 3 | 6 751.58/751.96 c 170s | 16 | 167478 | 135352 | 751 335 | 3 | 6 753.68/754.08 c 172s | 16 | 168977 | 136952 | 751 339 | 3 | 6 755.78/756.16 c 174s | 16 | 170571 | 138552 | 751 343 | 3 | 6 757.88/758.21 c 176s | 16 | 174041 | 140252 | 751 347 | 3 | 6 759.88/760.29 c 178s | 16 | 179841 | 141952 | 751 351 | 3 | 6 761.98/762.36 c 180s | 16 | 184397 | 143652 | 751 355 | 3 | 6 763.98/764.36 c 182s | 16 | 187796 | 145152 | 751 358 | 3 | 6 765.98/766.39 c 184s | 16 | 192694 | 146652 | 751 361 | 3 | 6 768.18/768.55 c 186s | 16 | 199041 | 148252 | 751 365 | 3 | 6 770.27/770.68 c 188s | 16 | 200424 | 149652 | 751 368 | 3 | 6 772.37/772.77 c 190s | 16 | 201945 | 151052 | 751 372 | 3 | 6 774.47/774.82 c 193s | 16 | 203235 | 152452 | 751 375 | 3 | 6 776.47/776.83 c 195s | 16 | 204801 | 153852 | 751 379 | 3 | 6 778.58/778.92 c 197s | 16 | 206141 | 155352 | 751 382 | 3 | 6 780.57/780.93 c 199s | 16 | 207711 | 156852 | 751 386 | 3 | 6 782.67/783.00 c 201s | 16 | 209280 | 158452 | 751 390 | 3 | 6 784.77/785.11 c 203s | 16 | 211083 | 160152 | 751 395 | 3 | 6 786.77/787.18 c 205s | 16 | 212669 | 161852 | 751 399 | 3 | 6 788.87/789.23 c 207s | 16 | 214542 | 163652 | 751 404 | 3 | 6 790.87/791.27 c 209s | 16 | 216536 | 165652 | 751 410 | 3 | 6 792.97/793.33 c 211s | 16 | 218882 | 167952 | 751 417 | 3 | 6 794.98/795.40 c 213s | 16 | 220748 | 169352 | 751 420 | 3 | 6 797.07/797.48 c 215s | 16 | 222003 | 170652 | 751 423 | 3 | 6 799.17/799.53 c 217s | 16 | 223405 | 172052 | 751 427 | 3 | 6 801.27/801.67 c 219s | 16 | 224961 | 173552 | 751 430 | 3 | 6 803.37/803.73 c 221s | 16 | 226485 | 175052 | 751 434 | 3 | 6 805.37/805.73 c 223s | 16 | 228024 | 176652 | 751 438 | 3 | 6 807.47/807.81 c 226s | 16 | 229765 | 178452 | 751 443 | 3 | 6 809.47/809.85 c 228s | 16 | 231682 | 180152 | 751 447 | 3 | 6 811.67/812.00 c 230s | 16 | 232961 | 181552 | 751 450 | 3 | 6 813.67/814.06 c 232s | 16 | 234375 | 182952 | 751 454 | 3 | 6 815.77/816.13 c 234s | 16 | 235942 | 184452 | 751 457 | 3 | 6 817.87/818.26 c 236s | 16 | 237486 | 186052 | 751 461 | 3 | 6 819.97/820.33 c 238s | 16 | 239257 | 187752 | 751 466 | 3 | 6 822.07/822.44 c 240s | 16 | 241126 | 189552 | 751 470 | 3 | 6 824.16/824.52 c 242s | 16 | 242729 | 191152 | 751 474 | 3 | 6 826.26/826.68 c 244s | 16 | 244280 | 192552 | 751 477 | 3 | 6 828.36/828.74 c 246s | 16 | 245606 | 193952 | 751 481 | 3 | 6 830.46/830.84 c 249s | 16 | 247093 | 195452 | 751 484 | 3 | 6 832.47/832.88 c 251s | 16 | 248583 | 196952 | 751 488 | 3 | 6 833.16/833.50 c 251s | 17 | 249046 | 197432 | 751 489 | 3 | 6 835.16/835.51 c 253s | 17 | 250748 | 199032 | 751 493 | 3 | 6 837.26/837.61 c 255s | 17 | 252535 | 200832 | 751 497 | 3 | 6 839.26/839.65 c 257s | 17 | 254555 | 202832 | 751 502 | 3 | 6 841.27/841.65 c 259s | 17 | 256256 | 204432 | 751 507 | 3 | 6 843.37/843.75 c 261s | 17 | 257559 | 205832 | 751 510 | 3 | 6 845.46/845.82 c 264s | 17 | 258988 | 207232 | 751 513 | 3 | 6 847.46/847.87 c 266s | 17 | 260366 | 208632 | 751 517 | 3 | 6 849.66/850.03 c 268s | 17 | 262039 | 210232 | 751 521 | 3 | 6 851.76/852.11 c 270s | 17 | 263682 | 211832 | 751 525 | 3 | 6 853.76/854.12 c 272s | 17 | 265271 | 213532 | 751 529 | 3 | 6 855.76/856.17 c 274s | 17 | 267189 | 215432 | 751 534 | 3 | 6 857.86/858.25 c 276s | 17 | 269166 | 217132 | 751 538 | 3 | 6 859.97/860.33 c 278s | 17 | 270537 | 218532 | 751 542 | 3 | 6 861.96/862.39 c 280s | 17 | 271908 | 219932 | 751 545 | 3 | 6 864.06/864.42 c 282s | 17 | 273364 | 221432 | 751 548 | 3 | 6 866.06/866.46 c 284s | 17 | 274936 | 222932 | 751 552 | 3 | 6 868.16/868.55 c 286s | 17 | 276539 | 224532 | 751 556 | 3 | 6 870.26/870.63 c 288s | 17 | 278152 | 226232 | 751 560 | 3 | 6 872.36/872.75 c 290s | 17 | 280062 | 228032 | 751 565 | 3 | 6 874.36/874.76 c 292s | 17 | 281812 | 229832 | 751 570 | 3 | 6 876.36/876.76 c 294s | 17 | 283823 | 231832 | 751 575 | 3 | 6 878.36/878.78 c 297s | 17 | 286110 | 234132 | 751 582 | 3 | 6 880.46/880.85 c 299s | 17 | 288282 | 236132 | 751 588 | 3 | 6 882.55/882.94 c 301s | 17 | 289831 | 237632 | 751 591 | 3 | 6 884.55/884.94 c 303s | 17 | 291331 | 239132 | 751 595 | 3 | 6 886.55/886.97 c 305s | 17 | 292911 | 240732 | 751 599 | 3 | 6 888.65/889.01 c 307s | 17 | 294596 | 242432 | 751 603 | 3 | 6 890.76/891.12 c 309s | 17 | 299937 | 244432 | 751 608 | 3 | 6 892.75/893.16 c 311s | 17 | 301486 | 245932 | 751 611 | 3 | 6 894.85/895.21 c 313s | 17 | 303160 | 247532 | 751 615 | 3 | 6 896.85/897.28 c 315s | 17 | 304797 | 249232 | 751 619 | 3 | 6 898.95/899.36 c 317s | 17 | 307385 | 251332 | 751 624 | 3 | 6 900.95/901.37 c 319s | 17 | 309031 | 252832 | 751 627 | 3 | 6 902.95/903.37 c 321s | 17 | 310246 | 254132 | 751 630 | 3 | 6 905.06/905.43 c 323s | 17 | 311713 | 255532 | 751 634 | 3 | 6 907.05/907.44 c 325s | 17 | 313158 | 256932 | 751 637 | 3 | 6 909.15/909.52 c 327s | 17 | 314558 | 258432 | 751 641 | 3 | 6 911.15/911.57 c 329s | 17 | 316206 | 260032 | 751 645 | 3 | 6 913.25/913.62 c 331s | 17 | 317901 | 261732 | 751 649 | 3 | 6 915.25/915.62 c 333s | 17 | 319837 | 263632 | 751 654 | 3 | 6 917.35/917.79 c 336s | 17 | 326357 | 265332 | 751 658 | 3 | 6 919.45/919.82 c 338s | 17 | 328242 | 266732 | 751 661 | 3 | 6 921.65/922.02 c 340s | 17 | 331594 | 268232 | 751 665 | 3 | 6 923.65/924.06 c 342s | 17 | 336235 | 269732 | 751 668 | 3 | 6 925.65/926.09 c 344s | 17 | 339529 | 271232 | 751 671 | 3 | 6 927.75/928.14 c 346s | 17 | 342535 | 272832 | 751 675 | 3 | 6 929.85/930.20 c 348s | 17 | 345530 | 274432 | 751 679 | 3 | 6 931.95/932.30 c 350s | 17 | 351890 | 276132 | 751 683 | 3 | 6 933.95/934.31 c 352s | 17 | 358244 | 277932 | 751 688 | 3 | 6 935.95/936.34 c 354s | 17 | 360312 | 279632 | 751 692 | 3 | 6 937.96/938.40 c 356s | 17 | 362468 | 281432 | 751 697 | 3 | 6 940.05/940.42 c 358s | 17 | 365479 | 283432 | 751 703 | 3 | 6 942.05/942.45 c 360s | 17 | 368523 | 285832 | 751 710 | 3 | 6 944.25/944.67 c 362s | 17 | 375525 | 287932 | 751 716 | 3 | 6 946.25/946.68 c 364s | 17 | 380514 | 289332 | 751 719 | 3 | 6 948.35/948.72 c 366s | 17 | 383454 | 290732 | 751 723 | 3 | 6 950.35/950.77 c 369s | 17 | 384810 | 292132 | 751 726 | 3 | 6 952.55/952.94 c 371s | 17 | 388843 | 293632 | 751 729 | 3 | 6 954.56/954.97 c 373s | 17 | 390292 | 295032 | 751 733 | 3 | 6 956.15/956.55 c 374s | 18 | 393917 | 296252 | 751 736 | 3 | 6 958.15/958.57 c 376s | 18 | 395475 | 297652 | 751 739 | 3 | 6 960.25/960.66 c 378s | 18 | 396844 | 299052 | 751 743 | 3 | 6 962.35/962.77 c 381s | 18 | 398396 | 300552 | 751 746 | 3 | 6 964.45/964.88 c 383s | 18 | 400164 | 302152 | 751 750 | 3 | 6 966.55/966.92 c 385s | 18 | 401771 | 303752 | 751 754 | 3 | 6 968.65/969.03 c 387s | 18 | 403470 | 305552 | 751 759 | 3 | 6 970.75/971.10 c 389s | 18 | 405484 | 307552 | 751 764 | 3 | 6 972.75/973.16 c 391s | 18 | 407421 | 309352 | 751 768 | 3 | 6 974.75/975.19 c 393s | 18 | 408827 | 310752 | 751 772 | 3 | 6 976.94/977.35 c 395s | 18 | 410301 | 312252 | 751 775 | 3 | 6 979.14/979.50 c 397s | 18 | 411907 | 313852 | 751 779 | 3 | 6 981.14/981.58 c 399s | 18 | 413613 | 315452 | 751 783 | 3 | 6 983.34/983.70 c 401s | 18 | 415352 | 317152 | 751 788 | 3 | 6 985.35/985.80 c 404s | 18 | 417175 | 319052 | 751 792 | 3 | 6 987.45/987.88 c 406s | 18 | 419274 | 321152 | 751 797 | 3 | 6 989.54/989.96 c 408s | 18 | 420856 | 322652 | 751 801 | 3 | 6 991.54/991.97 c 410s | 18 | 425535 | 324152 | 751 804 | 3 | 6 993.64/994.03 c 412s | 18 | 427930 | 325652 | 751 808 | 3 | 6 995.74/996.10 c 414s | 18 | 429383 | 327152 | 751 811 | 3 | 6 997.74/998.14 c 416s | 18 | 434600 | 328852 | 827 815 | 3 | 6 999.74/1000.15 c 418s | 18 | 436152 | 330352 | 827 818 | 3 | 6 1001.85/1002.25 c 420s | 18 | 437708 | 331952 | 827 822 | 3 | 6 1003.84/1004.27 c 422s | 18 | 442053 | 333652 | 827 826 | 3 | 6 1005.84/1006.29 c 424s | 18 | 444202 | 335452 | 827 830 | 3 | 6 1007.94/1008.33 c 426s | 18 | 445979 | 337252 | 827 834 | 3 | 6 1010.04/1010.43 c 428s | 18 | 448005 | 339252 | 827 839 | 3 | 6 1012.04/1012.46 c 430s | 18 | 450257 | 341552 | 827 845 | 3 | 6 1014.24/1014.62 c 432s | 18 | 458131 | 343352 | 827 850 | 3 | 6 1016.24/1016.66 c 434s | 18 | 460927 | 344852 | 827 853 | 3 | 6 1018.34/1018.74 c 436s | 18 | 462349 | 346252 | 827 856 | 3 | 6 1020.44/1020.85 c 439s | 18 | 463677 | 347652 | 827 859 | 3 | 6 1022.64/1023.00 c 441s | 18 | 465301 | 349152 | 827 862 | 3 | 6 1024.73/1025.10 c 443s | 18 | 466669 | 350652 | 827 865 | 3 | 6 1026.73/1027.16 c 445s | 18 | 468294 | 352252 | 827 869 | 3 | 6 1028.83/1029.24 c 447s | 18 | 470059 | 353952 | 827 873 | 3 | 6 1030.93/1031.32 c 449s | 18 | 471930 | 355852 | 827 877 | 3 | 6 1032.93/1033.39 c 451s | 18 | 473770 | 357652 | 827 881 | 3 | 6 1035.13/1035.54 c 453s | 18 | 475366 | 359152 | 827 885 | 3 | 6 1037.13/1037.57 c 455s | 18 | 476768 | 360652 | 827 887 | 3 | 6 1039.14/1039.60 c 457s | 18 | 478355 | 362152 | 827 891 | 3 | 6 1041.23/1041.62 c 459s | 18 | 479876 | 363752 | 827 894 | 3 | 6 1043.23/1043.63 c 461s | 18 | 481560 | 365452 | 827 898 | 3 | 6 1045.33/1045.71 c 463s | 18 | 483318 | 367152 | 827 902 | 3 | 6 1047.33/1047.73 c 465s | 18 | 484764 | 368652 | 827 904 | 3 | 6 1049.33/1049.76 c 467s | 18 | 487308 | 370252 | 827 908 | 3 | 6 1051.43/1051.88 c 470s | 18 | 491652 | 372252 | 827 912 | 3 | 6 1053.63/1054.03 c 472s | 18 | 493231 | 373852 | 827 916 | 3 | 6 1055.74/1056.10 c 474s | 18 | 494835 | 375452 | 827 919 | 3 | 6 1057.73/1058.19 c 476s | 18 | 496453 | 377152 | 827 923 | 3 | 6 1059.83/1060.25 c 478s | 18 | 498235 | 378952 | 827 927 | 3 | 6 1061.93/1062.34 c 480s | 18 | 500165 | 380852 | 827 931 | 3 | 6 1063.93/1064.38 c 482s | 18 | 501638 | 382252 | 827 934 | 3 | 6 1066.03/1066.46 c 484s | 18 | 503129 | 383652 | 827 937 | 3 | 6 1068.13/1068.50 c 486s | 18 | 506834 | 385152 | 827 940 | 3 | 6 1070.13/1070.53 c 488s | 18 | 510601 | 386652 | 827 943 | 3 | 6 1072.13/1072.58 c 490s | 18 | 515851 | 388252 | 827 947 | 3 | 6 1074.23/1074.63 c 492s | 18 | 519717 | 389852 | 827 950 | 3 | 6 1076.23/1076.67 c 494s | 18 | 521712 | 391452 | 827 954 | 3 | 6 1078.32/1078.72 c 496s | 18 | 525041 | 393252 | 827 958 | 3 | 6 1080.42/1080.81 c 499s | 18 | 526770 | 394952 | 827 962 | 3 | 6 1082.42/1082.86 c 501s | 18 | 528428 | 396652 | 827 966 | 3 | 6 1084.52/1084.92 c 503s | 18 | 530190 | 398452 | 827 970 | 3 | 6 1086.53/1086.99 c 505s | 18 | 532208 | 400452 | 827 975 | 3 | 6 1088.52/1088.99 c 507s | 18 | 534521 | 402752 | 827 981 | 3 | 6 1090.62/1091.09 c 509s | 18 | 536981 | 404352 | 827 985 | 3 | 6 1092.82/1093.20 c 511s | 18 | 538300 | 405752 | 827 987 | 3 | 6 1094.82/1095.24 c 513s | 18 | 539770 | 407152 | 827 990 | 3 | 6 1096.82/1097.29 c 515s | 18 | 541216 | 408652 | 827 993 | 3 | 6 1098.92/1099.39 c 517s | 18 | 542770 | 410252 | 827 997 | 3 | 6 1101.02/1101.41 c 519s | 18 | 544499 | 411952 | 827 1001 | 3 | 6 1103.03/1103.42 c 521s | 18 | 546333 | 413752 | 827 1005 | 3 | 6 1105.02/1105.45 c 523s | 18 | 548520 | 415652 | 827 1010 | 3 | 6 1107.12/1107.55 c 525s | 18 | 549898 | 417052 | 827 1013 | 3 | 6 1109.22/1109.62 c 527s | 18 | 551426 | 418552 | 827 1016 | 3 | 6 1111.22/1111.67 c 529s | 18 | 553004 | 420052 | 827 1020 | 3 | 6 1113.22/1113.69 c 531s | 18 | 554532 | 421652 | 827 1023 | 3 | 6 1115.42/1115.80 c 534s | 18 | 556495 | 423552 | 827 1028 | 3 | 6 1117.42/1117.80 c 536s | 18 | 558233 | 425252 | 827 1031 | 3 | 6 1119.52/1119.91 c 538s | 18 | 559822 | 426652 | 827 1034 | 3 | 6 1121.52/1121.99 c 540s | 18 | 561230 | 428052 | 827 1037 | 3 | 6 1123.62/1124.02 c 542s | 18 | 562671 | 429452 | 827 1040 | 3 | 6 1125.72/1126.14 c 544s | 18 | 564235 | 430952 | 827 1043 | 3 | 6 1127.72/1128.14 c 546s | 18 | 565736 | 432452 | 827 1046 | 3 | 6 1129.82/1130.22 c 548s | 18 | 567341 | 434152 | 827 1050 | 3 | 6 1131.82/1132.28 c 550s | 18 | 569106 | 435952 | 827 1054 | 3 | 6 1133.92/1134.34 c 552s | 18 | 571171 | 437952 | 827 1059 | 3 | 6 1135.93/1136.37 c 554s | 18 | 572739 | 439452 | 827 1062 | 3 | 6 1138.13/1138.50 c 556s | 18 | 574372 | 441052 | 827 1065 | 3 | 6 1140.22/1140.60 c 558s | 18 | 575974 | 442652 | 827 1069 | 3 | 6 1142.22/1142.69 c 560s | 18 | 577600 | 444352 | 827 1072 | 3 | 6 1142.42/1142.84 c 561s | 19 | 577728 | 444482 | 827 1073 | 3 | 6 1144.52/1144.92 c 563s | 19 | 579835 | 445982 | 827 1076 | 3 | 6 1146.62/1147.02 c 565s | 19 | 582877 | 447782 | 827 1080 | 3 | 6 1148.72/1149.10 c 567s | 19 | 588439 | 450182 | 827 1086 | 3 | 6 1150.72/1151.12 c 569s | 19 | 591375 | 452382 | 827 1091 | 3 | 6 1152.72/1153.14 c 571s | 19 | 593828 | 453982 | 827 1095 | 3 | 6 1154.73/1155.16 c 573s | 19 | 595156 | 455282 | 827 1098 | 3 | 6 1156.83/1157.29 c 575s | 19 | 596620 | 456682 | 827 1101 | 3 | 6 1158.92/1159.34 c 577s | 19 | 598003 | 458182 | 827 1104 | 3 | 6 1160.92/1161.36 c 579s | 19 | 599352 | 459582 | 827 1107 | 3 | 6 1163.02/1163.48 c 581s | 19 | 601018 | 461182 | 827 1110 | 3 | 6 1165.22/1165.60 c 583s | 19 | 602774 | 462882 | 827 1115 | 3 | 6 1167.22/1167.68 c 585s | 19 | 604532 | 464682 | 827 1119 | 3 | 6 1169.32/1169.70 c 587s | 19 | 606387 | 466582 | 827 1123 | 3 | 6 1171.32/1171.75 c 589s | 19 | 608499 | 468682 | 827 1128 | 3 | 6 1173.32/1173.80 c 592s | 19 | 611066 | 470982 | 827 1135 | 3 | 6 1175.52/1175.93 c 594s | 19 | 612485 | 472382 | 827 1138 | 3 | 6 1177.62/1178.02 c 596s | 19 | 613946 | 473882 | 827 1141 | 3 | 6 1179.62/1180.05 c 598s | 19 | 615362 | 475382 | 827 1144 | 3 | 6 1181.62/1182.06 c 600s | 19 | 616990 | 476982 | 827 1148 | 3 | 6 1183.62/1184.08 c 602s | 19 | 618689 | 478682 | 827 1152 | 3 | 6 1185.71/1186.19 c 604s | 19 | 620911 | 480782 | 827 1157 | 3 | 6 1187.81/1188.29 c 606s | 19 | 622333 | 482282 | 827 1160 | 3 | 6 1189.92/1190.34 c 608s | 19 | 623844 | 483782 | 827 1163 | 3 | 6 1191.91/1192.37 c 610s | 19 | 625475 | 485382 | 827 1167 | 3 | 6 1194.01/1194.42 c 612s | 19 | 627154 | 487082 | 827 1171 | 3 | 6 1196.11/1196.56 c 614s | 19 | 629116 | 488882 | 827 1175 | 3 | 6 1198.31/1198.72 c 616s | 19 | 630564 | 490282 | 827 1178 | 3 | 6 1200.41/1200.85 c 619s | 19 | 632454 | 491582 | 827 1180 | 3 | 6 1202.51/1202.98 c 621s | 19 | 634825 | 492882 | 827 1183 | 3 | 6 1204.61/1205.05 c 623s | 19 | 637337 | 494282 | 827 1186 | 3 | 6 1206.71/1207.11 c 625s | 19 | 638712 | 495682 | 827 1189 | 3 | 6 1208.71/1209.14 c 627s | 19 | 640614 | 497182 | 827 1192 | 3 | 6 1210.82/1211.27 c 629s | 19 | 642549 | 498782 | 827 1196 | 3 | 6 1212.92/1213.32 c 631s | 19 | 644132 | 500382 | 827 1200 | 3 | 6 1214.91/1215.37 c 633s | 19 | 646226 | 502182 | 827 1204 | 3 | 6 1217.01/1217.41 c 635s | 19 | 648486 | 504182 | 827 1208 | 3 | 6 1219.01/1219.43 c 637s | 19 | 650614 | 506282 | 827 1214 | 3 | 6 1221.01/1221.47 c 639s | 19 | 653844 | 508782 | 827 1220 | 3 | 6 1223.11/1223.52 c 641s | 19 | 656985 | 511082 | 827 1226 | 3 | 6 1225.12/1225.53 c 643s | 19 | 658184 | 512382 | 827 1229 | 3 | 6 1227.22/1227.62 c 645s | 19 | 659643 | 513782 | 827 1232 | 3 | 6 1229.21/1229.64 c 647s | 19 | 661083 | 515282 | 827 1236 | 3 | 6 1231.31/1231.72 c 649s | 19 | 666134 | 517082 | 827 1240 | 3 | 6 1233.31/1233.78 c 652s | 19 | 668078 | 518582 | 827 1243 | 3 | 6 1235.41/1235.80 c 654s | 19 | 673312 | 520182 | 827 1246 | 3 | 6 1237.41/1237.84 c 656s | 19 | 677090 | 521782 | 827 1250 | 3 | 6 1239.51/1239.94 c 658s | 19 | 678786 | 523382 | 827 1253 | 3 | 6 1241.51/1241.95 c 660s | 19 | 680329 | 524982 | 827 1257 | 3 | 6 1243.51/1243.96 c 662s | 19 | 682050 | 526682 | 827 1261 | 3 | 6 1245.61/1246.05 c 664s | 19 | 683937 | 528582 | 827 1265 | 3 | 6 1247.61/1248.07 c 666s | 19 | 685937 | 530582 | 827 1270 | 3 | 6 1249.61/1250.08 c 668s | 19 | 688178 | 532882 | 827 1275 | 3 | 6 1251.70/1252.12 c 670s | 19 | 690007 | 534682 | 827 1280 | 3 | 6 1253.71/1254.13 c 672s | 19 | 691459 | 536082 | 827 1283 | 3 | 6 1255.81/1256.24 c 674s | 19 | 692894 | 537582 | 827 1286 | 3 | 6 1257.90/1258.34 c 676s | 19 | 694495 | 539182 | 827 1289 | 3 | 6 1260.00/1260.42 c 678s | 19 | 696311 | 540882 | 827 1293 | 3 | 6 1262.10/1262.50 c 680s | 19 | 698122 | 542682 | 827 1298 | 3 | 6 1264.10/1264.51 c 682s | 19 | 700067 | 544682 | 827 1302 | 3 | 6 1266.10/1266.58 c 684s | 19 | 702031 | 546582 | 827 1306 | 3 | 6 1268.10/1268.59 c 686s | 19 | 703358 | 547982 | 827 1309 | 3 | 6 1270.30/1270.71 c 688s | 19 | 705003 | 549582 | 827 1313 | 3 | 6 1272.31/1272.75 c 690s | 19 | 706634 | 551182 | 827 1316 | 3 | 6 1274.40/1274.84 c 693s | 19 | 708393 | 552982 | 827 1320 | 3 | 6 1276.50/1276.93 c 695s | 19 | 710517 | 554982 | 827 1325 | 3 | 6 1278.50/1278.94 c 697s | 19 | 711994 | 556382 | 827 1328 | 3 | 6 1280.50/1280.97 c 699s | 19 | 713369 | 557782 | 827 1331 | 3 | 6 1282.60/1283.00 c 701s | 19 | 714858 | 559282 | 827 1334 | 3 | 6 1284.70/1285.10 c 703s | 19 | 716419 | 560882 | 827 1337 | 3 | 6 1286.71/1287.12 c 705s | 19 | 718133 | 562582 | 827 1341 | 3 | 6 1288.81/1289.25 c 707s | 19 | 720264 | 564582 | 827 1346 | 3 | 6 1290.80/1291.27 c 709s | 19 | 721641 | 565982 | 827 1349 | 3 | 6 1292.80/1293.28 c 711s | 19 | 723139 | 567382 | 827 1353 | 3 | 6 1294.90/1295.37 c 713s | 19 | 724611 | 568982 | 827 1356 | 3 | 6 1297.00/1297.48 c 715s | 19 | 726386 | 570682 | 827 1360 | 3 | 6 1299.10/1299.51 c 717s | 19 | 728168 | 572482 | 827 1364 | 3 | 6 1301.10/1301.54 c 719s | 19 | 730216 | 574482 | 827 1369 | 3 | 6 1303.20/1303.65 c 721s | 19 | 731870 | 575982 | 827 1372 | 3 | 6 1305.20/1305.67 c 723s | 19 | 733151 | 577382 | 827 1374 | 3 | 6 1307.30/1307.72 c 725s | 19 | 734733 | 578882 | 827 1378 | 3 | 6 1309.40/1309.84 c 728s | 19 | 736395 | 580482 | 827 1381 | 3 | 6 1311.50/1311.90 c 730s | 19 | 738066 | 582182 | 827 1385 | 3 | 6 1313.50/1313.95 c 732s | 19 | 739889 | 584082 | 827 1389 | 3 | 6 1315.50/1315.95 c 734s | 19 | 742168 | 586182 | 827 1394 | 3 | 6 1317.59/1318.06 c 736s | 19 | 743866 | 587782 | 827 1397 | 3 | 6 1319.70/1320.13 c 738s | 19 | 745489 | 589382 | 827 1401 | 3 | 6 1321.69/1322.16 c 740s | 19 | 747164 | 591082 | 827 1404 | 3 | 6 1323.79/1324.21 c 742s | 19 | 748947 | 592882 | 827 1408 | 3 | 6 1325.79/1326.23 c 744s | 19 | 750796 | 594782 | 827 1412 | 3 | 6 1327.79/1328.23 c 746s | 19 | 752424 | 596382 | 827 1415 | 3 | 6 1329.79/1330.25 c 748s | 19 | 753968 | 597882 | 827 1418 | 3 | 6 1331.80/1332.28 c 750s | 19 | 755545 | 599382 | 827 1421 | 3 | 6 1333.90/1334.31 c 752s | 19 | 756991 | 600782 | 827 1424 | 3 | 6 1335.89/1336.34 c 754s | 19 | 758483 | 602282 | 827 1428 | 3 | 6 1337.89/1338.34 c 756s | 19 | 760103 | 603882 | 827 1431 | 3 | 6 1339.89/1340.37 c 758s | 19 | 761852 | 605682 | 827 1435 | 3 | 6 1341.99/1342.47 c 760s | 19 | 764203 | 607682 | 827 1440 | 3 | 6 1344.09/1344.59 c 762s | 19 | 765859 | 609282 | 827 1443 | 3 | 6 1346.29/1346.71 c 764s | 19 | 767473 | 610982 | 827 1447 | 3 | 6 1348.30/1348.75 c 766s | 19 | 769285 | 612782 | 827 1451 | 3 | 6 1350.40/1350.83 c 769s | 19 | 771531 | 614882 | 827 1455 | 3 | 6 1352.49/1352.91 c 771s | 19 | 773688 | 616782 | 827 1459 | 3 | 6 1354.59/1355.03 c 773s | 19 | 777589 | 618582 | 827 1463 | 3 | 6 1356.59/1357.07 c 775s | 19 | 779433 | 620082 | 827 1466 | 3 | 6 1358.69/1359.15 c 777s | 19 | 780947 | 621582 | 827 1469 | 3 | 6 1360.79/1361.22 c 779s | 19 | 782534 | 623182 | 827 1472 | 3 | 6 1362.79/1363.22 c 781s | 19 | 785148 | 624982 | 827 1476 | 3 | 6 1364.89/1365.32 c 783s | 19 | 787956 | 626982 | 827 1481 | 3 | 6 1366.89/1367.38 c 785s | 19 | 790159 | 629182 | 827 1486 | 3 | 6 1368.89/1369.39 c 787s | 19 | 796274 | 631182 | 827 1491 | 3 | 6 1370.99/1371.42 c 789s | 19 | 798835 | 632682 | 827 1494 | 3 | 6 1372.99/1373.49 c 791s | 19 | 801759 | 634282 | 827 1497 | 3 | 6 1375.09/1375.52 c 793s | 19 | 808560 | 635982 | 827 1501 | 3 | 6 1377.08/1377.57 c 795s | 19 | 814399 | 637882 | 827 1505 | 3 | 6 1379.18/1379.67 c 797s | 19 | 816103 | 639582 | 827 1508 | 3 | 6 1381.29/1381.76 c 799s | 19 | 819925 | 641582 | 827 1513 | 3 | 6 1383.28/1383.78 c 802s | 19 | 828101 | 643982 | 827 1518 | 3 | 6 1385.28/1385.79 c 804s | 19 | 830209 | 645982 | 827 1523 | 3 | 6 1387.38/1387.85 c 806s | 19 | 832634 | 648382 | 827 1529 | 3 | 6 1389.38/1389.86 c 808s | 19 | 835526 | 650382 | 827 1534 | 3 | 6 1391.48/1391.92 c 810s | 19 | 836976 | 651782 | 827 1537 | 3 | 6 1393.58/1394.05 c 812s | 19 | 838522 | 653282 | 827 1540 | 3 | 6 1395.68/1396.18 c 814s | 19 | 840014 | 654882 | 827 1543 | 3 | 6 1397.79/1398.26 c 816s | 19 | 841790 | 656582 | 827 1547 | 3 | 6 1399.89/1400.32 c 818s | 19 | 843607 | 658382 | 827 1551 | 3 | 6 1401.88/1402.37 c 820s | 19 | 845563 | 660382 | 827 1556 | 3 | 6 1404.08/1404.51 c 822s | 19 | 847764 | 662382 | 827 1560 | 3 | 6 1406.18/1406.61 c 824s | 19 | 849224 | 663882 | 827 1564 | 3 | 6 1408.18/1408.66 c 826s | 19 | 850750 | 665482 | 827 1567 | 3 | 6 1409.79/1410.28 c 828s | 20 | 852112 | 666827 | 827 1570 | 3 | 6 1411.88/1412.36 c 830s | 20 | 856246 | 668927 | 827 1574 | 3 | 6 1413.98/1414.48 c 832s | 20 | 859316 | 670527 | 827 1577 | 3 | 6 1416.08/1416.54 c 834s | 20 | 862963 | 672227 | 827 1581 | 3 | 6 1418.08/1418.58 c 836s | 20 | 864919 | 673827 | 827 1584 | 3 | 6 1420.18/1420.66 c 838s | 20 | 872053 | 675627 | 827 1588 | 3 | 6 1422.18/1422.68 c 840s | 20 | 875476 | 677327 | 827 1591 | 3 | 6 1424.18/1424.68 c 842s | 20 | 877220 | 679027 | 827 1595 | 3 | 6 1426.18/1426.69 c 844s | 20 | 879030 | 680827 | 827 1599 | 3 | 6 1428.28/1428.74 c 846s | 20 | 881112 | 682927 | 827 1604 | 3 | 6 1430.28/1430.78 c 849s | 20 | 886506 | 685527 | 827 1611 | 3 | 6 1432.28/1432.79 c 851s | 20 | 888249 | 687027 | 827 1614 | 3 | 6 1434.38/1434.88 c 853s | 20 | 889766 | 688527 | 827 1617 | 3 | 6 1436.48/1436.95 c 855s | 20 | 891351 | 690127 | 827 1620 | 3 | 6 1438.58/1439.01 c 857s | 20 | 893002 | 691827 | 827 1624 | 3 | 6 1440.58/1441.04 c 859s | 20 | 894855 | 693627 | 827 1628 | 3 | 6 1442.67/1443.11 c 861s | 20 | 896861 | 695727 | 827 1633 | 3 | 6 1444.67/1445.16 c 863s | 20 | 899852 | 697827 | 827 1638 | 3 | 6 1446.77/1447.23 c 865s | 20 | 901390 | 699427 | 827 1641 | 3 | 6 1448.87/1449.30 c 867s | 20 | 903075 | 701127 | 827 1644 | 3 | 6 1450.87/1451.32 c 869s | 20 | 905086 | 703027 | 827 1648 | 3 | 6 1452.97/1453.44 c 871s | 20 | 909944 | 705327 | 827 1653 | 3 | 6 1454.98/1455.49 c 873s | 20 | 919018 | 707627 | 827 1657 | 3 | 6 1456.97/1457.50 c 875s | 20 | 924424 | 709727 | 827 1661 | 3 | 6 1459.07/1459.56 c 877s | 20 | 931301 | 711727 | 827 1665 | 3 | 6 1461.17/1461.61 c 879s | 20 | 940158 | 713727 | 827 1669 | 3 | 6 1463.17/1463.65 c 881s | 20 | 953042 | 715727 | 827 1673 | 3 | 6 1465.27/1465.72 c 883s | 20 | 954908 | 717527 | 827 1677 | 3 | 6 1467.27/1467.78 c 886s | 20 | 957406 | 719827 | 827 1682 | 3 | 6 1469.37/1469.85 c 888s | 20 | 959845 | 722027 | 827 1686 | 3 | 6 1471.48/1471.92 c 890s | 20 | 962091 | 723827 | 827 1690 | 3 | 6 1473.58/1474.07 c 892s | 20 | 963902 | 725427 | 827 1693 | 3 | 6 1475.67/1476.16 c 894s | 20 | 965808 | 727127 | 827 1696 | 3 | 6 1477.67/1478.19 c 896s | 20 | 967488 | 728827 | 827 1700 | 3 | 6 1479.77/1480.28 c 898s | 20 | 969407 | 730727 | 827 1704 | 3 | 6 1481.87/1482.31 c 900s | 20 | 971468 | 732627 | 827 1709 | 3 | 6 1483.87/1484.33 c 902s | 20 | 973945 | 734127 | 827 1712 | 3 | 6 1485.87/1486.37 c 904s | 20 | 975239 | 735427 | 827 1715 | 3 | 6 1487.87/1488.38 c 906s | 20 | 976527 | 736727 | 827 1717 | 3 | 6 1489.97/1490.48 c 908s | 20 | 978002 | 738227 | 827 1721 | 3 | 6 1492.17/1492.62 c 910s | 20 | 979672 | 739827 | 827 1724 | 3 | 6 1494.17/1494.68 c 912s | 20 | 981339 | 741527 | 827 1728 | 3 | 6 1496.17/1496.69 c 914s | 20 | 983074 | 743327 | 827 1732 | 3 | 6 1498.27/1498.77 c 917s | 20 | 985278 | 745527 | 827 1737 | 3 | 6 1500.27/1500.78 c 919s | 20 | 988034 | 748127 | 827 1744 | 3 | 6 1502.37/1502.84 c 921s | 20 | 990720 | 750627 | 827 1749 | 3 | 6 1504.47/1504.93 c 923s | 20 | 996466 | 753227 | 827 1754 | 3 | 6 1506.47/1506.97 c 925s | 20 | 1003190 | 755627 | 827 1759 | 3 | 6 1508.66/1509.10 c 927s | 20 | 1014197 | 757927 | 827 1763 | 3 | 6 1510.76/1511.24 c 929s | 20 | 1016018 | 759527 | 827 1767 | 3 | 6 1512.76/1513.28 c 931s | 20 | 1017519 | 761027 | 827 1770 | 3 | 6 1514.86/1515.32 c 933s | 20 | 1019123 | 762627 | 827 1774 | 3 | 6 1516.86/1517.38 c 935s | 20 | 1021351 | 764727 | 827 1778 | 3 | 6 1518.96/1519.41 c 937s | 20 | 1024345 | 767227 | 827 1783 | 3 | 6 1520.97/1521.46 c 939s | 20 | 1028216 | 769727 | 827 1788 | 3 | 6 1523.07/1523.53 c 941s | 20 | 1029858 | 771327 | 827 1791 | 3 | 6 1525.16/1525.62 c 943s | 20 | 1031378 | 772827 | 827 1794 | 3 | 6 1527.16/1527.68 c 945s | 20 | 1032961 | 774427 | 827 1798 | 3 | 6 1529.26/1529.76 c 947s | 20 | 1034766 | 776227 | 827 1802 | 3 | 6 1531.36/1531.86 c 950s | 20 | 1036801 | 778027 | 827 1806 | 3 | 6 1533.46/1533.90 c 952s | 20 | 1038613 | 779827 | 827 1810 | 3 | 6 1535.46/1535.99 c 954s | 20 | 1041194 | 782127 | 827 1814 | 3 | 6 1537.56/1538.09 c 956s | 20 | 1043948 | 784127 | 827 1818 | 3 | 6 1539.67/1540.17 c 958s | 20 | 1050450 | 786327 | 827 1823 | 3 | 6 1541.77/1542.26 c 960s | 20 | 1055998 | 788327 | 827 1827 | 3 | 6 1543.86/1544.32 c 962s | 20 | 1062766 | 790327 | 827 1831 | 3 | 6 1545.86/1546.33 c 964s | 20 | 1068793 | 792227 | 827 1835 | 3 | 6 1547.96/1548.40 c 966s | 20 | 1070484 | 793827 | 827 1838 | 3 | 6 1549.96/1550.46 c 968s | 20 | 1072083 | 795427 | 827 1842 | 3 | 6 1552.06/1552.52 c 970s | 20 | 1073735 | 797127 | 827 1845 | 3 | 6 1554.16/1554.63 c 972s | 20 | 1075523 | 798927 | 827 1849 | 3 | 6 1556.26/1556.70 c 974s | 20 | 1077356 | 800727 | 827 1854 | 3 | 6 1558.26/1558.76 c 976s | 20 | 1079269 | 802627 | 827 1858 | 3 | 6 1560.36/1560.85 c 979s | 20 | 1081025 | 804327 | 827 1862 | 3 | 6 1562.36/1562.88 c 981s | 20 | 1082504 | 805827 | 827 1865 | 3 | 6 1564.56/1565.00 c 983s | 20 | 1084267 | 807527 | 827 1869 | 3 | 6 1566.56/1567.08 c 985s | 20 | 1086028 | 809327 | 827 1873 | 3 | 6 1568.66/1569.14 c 987s | 20 | 1088074 | 811327 | 827 1878 | 3 | 6 1570.66/1571.16 c 989s | 20 | 1089724 | 812927 | 827 1881 | 3 | 6 1572.66/1573.16 c 991s | 20 | 1091321 | 814527 | 827 1885 | 3 | 6 1574.76/1575.24 c 993s | 20 | 1093124 | 816327 | 827 1889 | 3 | 6 1576.75/1577.27 c 995s | 20 | 1095003 | 818227 | 827 1893 | 3 | 6 1578.75/1579.30 c 997s | 20 | 1096939 | 819927 | 827 1897 | 3 | 6 1580.95/1581.45 c 999s | 20 | 1098387 | 821427 | 827 1900 | 3 | 6 1583.05/1583.52 c 1001s | 20 | 1099894 | 822927 | 827 1903 | 3 | 6 1585.15/1585.63 c 1003s | 20 | 1101517 | 824527 | 827 1906 | 3 | 6 1587.15/1587.66 c 1005s | 20 | 1103139 | 826127 | 910 1910 | 3 | 6 1589.25/1589.75 c 1007s | 20 | 1105012 | 828027 | 910 1914 | 3 | 6 1591.36/1591.86 c 1010s | 20 | 1107669 | 830227 | 910 1919 | 3 | 6 1593.35/1593.87 c 1012s | 20 | 1113010 | 831927 | 910 1922 | 3 | 6 1595.45/1595.95 c 1014s | 20 | 1115599 | 833627 | 910 1925 | 3 | 6 1597.55/1598.02 c 1016s | 20 | 1119190 | 835327 | 910 1929 | 3 | 6 1599.55/1600.02 c 1018s | 20 | 1123976 | 837127 | 910 1932 | 3 | 6 1601.65/1602.13 c 1020s | 20 | 1128770 | 839227 | 910 1937 | 3 | 6 1603.75/1604.24 c 1022s | 20 | 1130492 | 841027 | 910 1940 | 3 | 6 1605.75/1606.27 c 1024s | 20 | 1133263 | 842727 | 910 1944 | 3 | 6 1607.86/1608.32 c 1026s | 20 | 1135747 | 844627 | 910 1948 | 3 | 6 1609.85/1610.38 c 1028s | 20 | 1137626 | 846227 | 910 1952 | 3 | 6 1612.05/1612.51 c 1030s | 20 | 1139186 | 847727 | 910 1955 | 3 | 6 1614.05/1614.53 c 1032s | 20 | 1140741 | 849327 | 910 1958 | 3 | 6 1616.05/1616.55 c 1034s | 20 | 1150044 | 852127 | 910 1963 | 3 | 6 1618.05/1618.57 c 1036s | 20 | 1158163 | 855127 | 910 1968 | 3 | 6 1620.15/1620.68 c 1038s | 20 | 1161558 | 857227 | 910 1973 | 3 | 6 1622.25/1622.76 c 1040s | 20 | 1166023 | 859327 | 910 1977 | 3 | 6 1624.25/1624.77 c 1043s | 20 | 1168625 | 860927 | 910 1980 | 3 | 6 1626.35/1626.86 c 1045s | 20 | 1170803 | 862627 | 910 1983 | 3 | 6 1628.45/1628.92 c 1047s | 20 | 1172513 | 864327 | 910 1987 | 3 | 6 1630.45/1630.98 c 1049s | 20 | 1174324 | 866127 | 910 1990 | 3 | 6 1632.55/1633.03 c 1051s | 20 | 1176848 | 868127 | 910 1995 | 3 | 6 1634.64/1635.16 c 1053s | 20 | 1181847 | 870127 | 910 1999 | 3 | 6 1636.74/1637.20 c 1055s | 20 | 1183183 | 871527 | 910 2002 | 3 | 6 1638.74/1639.22 c 1057s | 20 | 1184706 | 873027 | 910 2005 | 3 | 6 1640.75/1641.23 c 1059s | 20 | 1186297 | 874627 | 910 2008 | 3 | 6 1642.74/1643.25 c 1061s | 20 | 1188008 | 876327 | 910 2011 | 3 | 6 1644.74/1645.26 c 1063s | 20 | 1189828 | 878127 | 910 2015 | 3 | 6 1646.74/1647.28 c 1065s | 20 | 1191828 | 880127 | 910 2020 | 3 | 6 1648.84/1649.36 c 1067s | 20 | 1194316 | 882127 | 910 2024 | 3 | 6 1650.94/1651.45 c 1069s | 20 | 1199117 | 884027 | 910 2028 | 3 | 6 1653.04/1653.50 c 1071s | 20 | 1202728 | 885727 | 910 2031 | 3 | 6 1655.05/1655.53 c 1073s | 20 | 1204972 | 887527 | 910 2035 | 3 | 6 1657.14/1657.60 c 1075s | 20 | 1206712 | 889327 | 910 2039 | 3 | 6 1659.14/1659.70 c 1077s | 20 | 1208532 | 891127 | 910 2043 | 3 | 6 1661.24/1661.75 c 1079s | 20 | 1215634 | 893027 | 910 2047 | 3 | 6 1663.24/1663.78 c 1082s | 20 | 1219632 | 894627 | 910 2050 | 3 | 6 1665.44/1665.92 c 1084s | 20 | 1221383 | 896227 | 910 2053 | 3 | 6 1667.44/1667.92 c 1086s | 20 | 1222829 | 897727 | 910 2056 | 3 | 6 1669.45/1669.98 c 1088s | 20 | 1224519 | 899427 | 910 2060 | 3 | 6 1671.55/1672.01 c 1090s | 20 | 1226316 | 901127 | 910 2063 | 3 | 6 1673.54/1674.03 c 1092s | 20 | 1227946 | 902727 | 910 2066 | 3 | 6 1675.54/1676.05 c 1094s | 20 | 1229621 | 904427 | 910 2070 | 3 | 6 1677.64/1678.15 c 1096s | 20 | 1231484 | 906327 | 910 2074 | 3 | 6 1679.64/1680.17 c 1098s | 20 | 1234811 | 908227 | 910 2077 | 3 | 6 1681.74/1682.22 c 1100s | 20 | 1239273 | 910027 | 910 2081 | 3 | 6 1683.74/1684.22 c 1102s | 20 | 1244549 | 911727 | 910 2085 | 3 | 6 1685.74/1686.27 c 1104s | 20 | 1247520 | 913527 | 910 2088 | 3 | 6 1687.74/1688.29 c 1106s | 20 | 1249478 | 915327 | 910 2092 | 3 | 6 1689.84/1690.37 c 1108s | 20 | 1252286 | 917227 | 910 2096 | 3 | 6 1691.83/1692.38 c 1110s | 20 | 1254453 | 919127 | 910 2100 | 3 | 6 1693.93/1694.40 c 1112s | 20 | 1259442 | 921027 | 910 2104 | 3 | 6 1695.93/1696.41 c 1114s | 20 | 1261105 | 922627 | 910 2107 | 3 | 6 1697.94/1698.49 c 1116s | 20 | 1262777 | 924327 | 910 2111 | 3 | 6 1700.03/1700.57 c 1118s | 20 | 1264609 | 926127 | 910 2114 | 3 | 6 1702.13/1702.67 c 1120s | 20 | 1266774 | 928027 | 910 2118 | 3 | 6 1704.13/1704.68 c 1122s | 20 | 1271890 | 929827 | 910 2122 | 3 | 6 1706.23/1706.75 c 1124s | 20 | 1274731 | 931627 | 910 2125 | 3 | 6 1708.33/1708.85 c 1127s | 20 | 1276836 | 933427 | 910 2129 | 3 | 6 1710.43/1710.96 c 1129s | 20 | 1281536 | 935327 | 910 2133 | 3 | 6 1712.53/1713.03 c 1131s | 20 | 1283480 | 937127 | 910 2137 | 3 | 6 1714.54/1715.04 c 1133s | 20 | 1285415 | 938927 | 910 2141 | 3 | 6 1716.53/1717.05 c 1135s | 20 | 1288535 | 940627 | 910 2144 | 3 | 6 1718.63/1719.11 c 1137s | 20 | 1290123 | 942227 | 910 2147 | 3 | 6 1720.63/1721.17 c 1139s | 20 | 1291869 | 943927 | 910 2151 | 3 | 6 1722.63/1723.19 c 1141s | 20 | 1293646 | 945727 | 910 2155 | 3 | 6 1724.73/1725.20 c 1143s | 20 | 1296711 | 947527 | 910 2158 | 3 | 6 1726.73/1727.28 c 1145s | 20 | 1299633 | 949227 | 910 2162 | 3 | 6 1728.74/1729.29 c 1147s | 20 | 1304964 | 951027 | 910 2165 | 3 | 6 1730.83/1731.37 c 1149s | 20 | 1307393 | 952827 | 910 2169 | 3 | 6 1732.93/1733.49 c 1151s | 20 | 1309187 | 954627 | 910 2173 | 3 | 6 1735.03/1735.57 c 1153s | 20 | 1311569 | 956427 | 910 2177 | 3 | 6 1737.03/1737.59 c 1155s | 20 | 1316220 | 958227 | 910 2181 | 3 | 6 1739.13/1739.67 c 1157s | 20 | 1323217 | 960127 | 910 2185 | 3 | 6 1741.23/1741.70 c 1159s | 20 | 1324801 | 961727 | 910 2188 | 3 | 6 1743.23/1743.77 c 1162s | 20 | 1326459 | 963427 | 910 2192 | 3 | 6 1745.33/1745.88 c 1164s | 20 | 1328408 | 965327 | 910 2196 | 3 | 6 1747.43/1747.99 c 1166s | 20 | 1330262 | 967027 | 910 2199 | 3 | 6 1749.53/1750.04 c 1168s | 20 | 1331862 | 968627 | 910 2202 | 3 | 6 1751.53/1752.06 c 1170s | 20 | 1333522 | 970227 | 910 2206 | 3 | 6 1753.63/1754.13 c 1172s | 20 | 1335210 | 971927 | 910 2209 | 3 | 6 1755.73/1756.21 c 1174s | 20 | 1336961 | 973727 | 910 2213 | 3 | 6 1757.72/1758.23 c 1176s | 20 | 1338951 | 975627 | 910 2218 | 3 | 6 1759.82/1760.30 c 1178s | 20 | 1346146 | 977427 | 910 2221 | 3 | 6 1761.83/1762.38 c 1180s | 20 | 1350453 | 979327 | 910 2225 | 3 | 6 1763.93/1764.45 c 1182s | 20 | 1356570 | 981327 | 910 2229 | 3 | 6 1765.92/1766.46 c 1184s | 20 | 1359948 | 983327 | 910 2233 | 3 | 6 1768.02/1768.53 c 1186s | 20 | 1363118 | 985227 | 910 2237 | 3 | 6 1770.02/1770.53 c 1188s | 20 | 1366435 | 987227 | 910 2242 | 3 | 6 1772.02/1772.57 c 1190s | 20 | 1370674 | 989027 | 910 2245 | 3 | 6 1774.02/1774.57 c 1192s | 20 | 1372569 | 990527 | 910 2248 | 3 | 6 1776.13/1776.69 c 1194s | 20 | 1374158 | 992127 | 910 2252 | 3 | 6 1778.23/1778.73 c 1196s | 20 | 1375957 | 993827 | 910 2255 | 3 | 6 1780.32/1780.81 c 1199s | 20 | 1377492 | 995427 | 910 2258 | 3 | 6 1782.32/1782.82 c 1201s | 20 | 1379228 | 997127 | 910 2262 | 3 | 6 1784.42/1784.90 c 1203s | 20 | 1381113 | 999027 | 910 2266 | 3 | 6 1785.93/1786.42 c 1204s | 21 | 1382492 | 1000345 | 910 2269 | 3 | 6 1787.92/1788.43 c 1206s | 21 | 1386318 | 1002245 | 910 2273 | 3 | 6 1789.92/1790.46 c 1208s | 21 | 1389747 | 1004245 | 910 2277 | 3 | 6 1792.02/1792.50 c 1210s | 21 | 1393359 | 1006445 | 910 2281 | 3 | 6 1794.02/1794.56 c 1212s | 21 | 1397804 | 1008945 | 910 2286 | 3 | 6 1796.02/1796.56 c 1214s | 21 | 1402393 | 1011645 | 910 2292 | 3 | 6 1798.12/1798.63 c 1216s | 21 | 1405728 | 1013845 | 910 2296 | 3 | 6
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4079453-1465223676/watcher-4079453-1465223676 -o /tmp/evaluation-result-4079453-1465223676/solver-4079453-1465223676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079453-1465223676.opb pid=2980 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.10 2.08 2.08 3/179 2983 /proc/meminfo: memFree=30290196/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=467388 CPUtime=0 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 1694 0 0 0 0 0 0 0 20 0 4 0 104302563 478605312 2566 33554432000 4194304 16246674 140736847436208 140736847435632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 117359 2572 441 2943 0 114253 0 [pid=2983/tid=2984] ppid=2980 vsize=483772 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 495382528 2632 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=487868 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 499576832 2648 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=491964 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104302564 503771136 2664 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.1002 s] /proc/loadavg: 2.10 2.08 2.08 3/179 2983 /proc/meminfo: memFree=30290196/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 31716 0 0 0 5 4 0 0 20 0 4 0 104302563 1247350784 32575 33554432000 4194304 16246674 140736847436208 140736847418112 6958849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 304529 32590 766 2943 0 301423 0 [pid=2983/tid=2984] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 32602 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 32615 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 32626 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200483 s] /proc/loadavg: 2.10 2.08 2.08 3/179 2983 /proc/meminfo: memFree=30290196/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1218116 CPUtime=0.18 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 60639 0 0 0 11 7 0 0 20 0 4 0 104302563 1247350784 61498 33554432000 4194304 16246674 140736847436208 140736847418112 12477891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 304529 61503 784 2943 0 301423 0 [pid=2983/tid=2984] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 61507 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 61518 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 61530 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300493 s] /proc/loadavg: 2.10 2.08 2.08 3/179 2983 /proc/meminfo: memFree=30290196/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 73197 0 0 0 19 10 0 0 20 0 4 0 104302563 1247350784 74055 33554432000 4194304 16246674 140736847436208 140736847418112 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 304529 74056 784 2943 0 301423 0 [pid=2983/tid=2984] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 74057 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 74058 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 74058 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700407 s] /proc/loadavg: 2.10 2.08 2.08 3/179 2983 /proc/meminfo: memFree=30290196/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 146047 0 0 0 47 21 0 0 20 0 4 0 104302563 1247350784 146905 33554432000 4194304 16246674 140736847436208 140736847418112 5724032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 304529 146906 789 2943 0 301423 0 [pid=2983/tid=2984] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 146907 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 146907 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104302564 1247350784 146908 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.10 2.08 2.08 3/183 2987 /proc/meminfo: memFree=29463816/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1220164 CPUtime=1.48 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 246053 0 0 0 112 36 0 0 20 0 4 0 104302563 1249447936 246889 33554432000 4194304 16246674 140736847436208 140736847435520 12479203 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 305041 246889 849 2943 0 301935 0 [pid=2983/tid=2984] ppid=2980 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1249447936 246889 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1249447936 246889 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1249447936 246889 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.10 2.08 2.08 3/183 2987 /proc/meminfo: memFree=29220156/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 267400 0 0 0 269 40 0 0 20 0 4 0 104302563 1337528320 268236 33554432000 4194304 16246674 140736847436208 140736847419208 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 326545 268236 849 2943 0 323439 0 [pid=2983/tid=2984] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268236 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268236 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268236 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.09 2.07 2.08 4/183 2987 /proc/meminfo: memFree=29216944/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 267580 0 0 0 589 40 0 0 20 0 4 0 104302563 1337528320 268416 33554432000 4194304 16246674 140736847436208 140736847418112 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 326545 268416 849 2943 0 323439 0 [pid=2983/tid=2984] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268416 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268416 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1337528320 268416 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.08 2.07 2.08 3/183 2987 /proc/meminfo: memFree=29214864/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 268033 0 0 0 1229 40 0 0 20 0 4 0 104302563 1339625472 268869 33554432000 4194304 16246674 140736847436208 140736847418112 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327057 268869 851 2943 0 323951 0 [pid=2983/tid=2984] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.06 2.07 2.08 3/183 3036 /proc/meminfo: memFree=29334104/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 268033 0 0 0 2508 40 0 0 20 0 4 0 104302563 1339625472 268869 33554432000 4194304 16246674 140736847436208 140736847418112 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327057 268869 851 2943 0 323951 0 [pid=2983/tid=2984] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268869 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.10 2.08 2.08 4/183 3036 /proc/meminfo: memFree=29331512/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 268152 0 0 0 5068 40 0 0 20 0 4 0 104302563 1339625472 268990 33554432000 4194304 16246674 140736847436208 140736847418112 5553676 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327057 268990 851 2943 0 323951 0 [pid=2983/tid=2984] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268990 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268990 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268990 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.301 s] /proc/loadavg: 2.08 2.08 2.08 3/183 3037 /proc/meminfo: memFree=29330792/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1308228 CPUtime=102.26 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 268177 0 0 0 10186 40 0 0 20 0 4 0 104302563 1339625472 268991 33554432000 4194304 16246674 140736847436208 140736847418112 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327057 268991 852 2943 0 323951 0 [pid=2983/tid=2984] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268991 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268991 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1339625472 268991 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.10 2.10 2.08 3/183 3070 /proc/meminfo: memFree=29308016/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1361.89 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 136143 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.17 2.12 2.09 3/183 3071 /proc/meminfo: memFree=29308348/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1421.88 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 142142 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 12415766 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.06 2.10 2.09 3/183 3072 /proc/meminfo: memFree=29307228/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1481.87 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 148141 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 5823666 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1311300 [startup+1542.31 s] /proc/loadavg: 2.02 2.08 2.08 3/184 3076 /proc/meminfo: memFree=29306948/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1541.87 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 154141 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847419208 13954625 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.01 2.06 2.07 3/184 3100 /proc/meminfo: memFree=29306300/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1601.85 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 160139 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.00 2.05 2.07 3/183 3102 /proc/meminfo: memFree=29306576/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1661.84 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 166138 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.11 2.07 2.07 3/183 3103 /proc/meminfo: memFree=29306452/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1721.83 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 172137 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 5823218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1311300 [startup+1782.3 s] /proc/loadavg: 2.15 2.08 2.08 3/183 3104 /proc/meminfo: memFree=29306076/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1781.82 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 178136 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1311300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.09 2.08 3/183 3104 /proc/meminfo: memFree=29306452/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1800.02 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 179956 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1311300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2983 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.09 2.08 3/183 3104 /proc/meminfo: memFree=29306452/32872528 swapFree=13600/559348 [pid=2983] ppid=2980 vsize=1311300 CPUtime=1800.02 cores=1,3,5,7 /proc/2983/stat : 2983 (toysat) R 2980 2983 1842 0 -1 4202496 269254 0 0 0 179956 46 0 0 20 0 4 0 104302563 1342771200 269760 33554432000 4194304 16246674 140736847436208 140736847418112 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2983/statm: 327825 269760 853 2943 0 324719 0 [pid=2983/tid=2984] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2984/stat : 2984 (toysat) S 2980 2983 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727653022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=2983/tid=2985] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2985/stat : 2985 (toysat) S 2980 2983 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727567039728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=2983/tid=2986] ppid=2980 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/2983/task/2986/stat : 2986 (toysat) S 2980 2983 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104302564 1342771200 269760 33554432000 4194304 16246674 140736847436208 139727556566192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1311300 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.57 CPU system time (s): 0.465929 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.465929 maximum resident set size= 1079040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269254 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= 346 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6023 second user time and 6.90895 second system time The end
Begin job on node106 at 2016-06-06 16:34:36 IDJOB=4079453 IDBENCH=1854 IDSOLVER=2542 FILE ID=node106/4079453-1465223676 RUNJOBID= node106-1465219870-1859 PBS_JOBID= 19843217 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079453-1465223676/watcher-4079453-1465223676 -o /tmp/evaluation-result-4079453-1465223676/solver-4079453-1465223676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079453-1465223676.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=1212591427 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30290104 kB Buffers: 12520 kB Cached: 121592 kB SwapCached: 1832 kB Active: 1266420 kB Inactive: 56644 kB Active(anon): 1189988 kB Inactive(anon): 1244 kB Active(file): 76432 kB Inactive(file): 55400 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098512 kB Dirty: 16352 kB Writeback: 0 kB AnonPages: 1843648 kB Mapped: 10740 kB Shmem: 0 kB Slab: 567348 kB SReclaimable: 11624 kB SUnreclaim: 555724 kB KernelStack: 1520 kB PageTables: 7124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1891268 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1824768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node106 at 2016-06-06 17:04:37