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-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir09_area_delay.opb |
| MD5SUM | 5a18fe98bad06341d01eaf33ecb4f046 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.790879 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | NO |
| Number of variables | 13487 |
| Total number of constraints | 57800 |
| Number of constraints which are clauses | 57800 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 254 |
| Number of terms in the objective function | 6486 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6486 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 6486 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-06T23:56:27+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-4079795-1465250187.opb"] 0.00/0.01 c use --random-gen="1372040189 1591994180 2709316427 2209007026 657099864 4166035575 3259376813 2694189155 1709538085 3880215754 2003826114 4086394202 955039779 3060250537 1283735560 2262623344 3774322005 2436887757 1270355783 2100126587 2863892815 2390470526 3984194849 1158276803 803318612 714160903 2429199202 671667042 3197620790 98916306 2155928032 3947341151 4206616702 2541839670 2228295314 3428666611 3985758358 1747849305 257922184 1962364603 3439628259 3208460923 2364600588 3362109598 1428059507 1888266164 3734640610 3134650568 195888439 3543666281 4230270081 2622319165 4225921958 2577028712 2047775827 2519576827 3090785297 4077879238 1567097434 265653904 397536337 2711815286 1642138933 1105276278 3513773154 1303246427 74584415 1367466211 2919670517 1592203329 1999486191 2716244432 3313017790 3079399577 1349029946 2505875007 2588398371 337545520 106039460 3718356871 2462376018 1938774645 1509448116 1284977848 3761975187 3277342538 3466203077 1023463671 3353207493 2602100446 2762269051 4069814532 2699254038 808194193 380530406 110488175 93817139 2446903505 1928616191 4150496993 2304428491 794929020 4098935034 2761529713 3031975060 3881531771 815027332 892562557 3211170869 1080208273 1345018812 3981514171 1564696188 2820298061 3377647364 1268925360 4123809711 1873593997 2377604324 2190161484 1552337511 300620220 3421232249 4164375267 467821448 1301015945 4108682014 1238941858 173657147 2242186049 3188589596 2299239444 957859014 2286696187 540162548 1374135521 3364105185 4137336774 2063391999 4126517216 2574150757 3077426236 1497860371 4008046911 2819127015 4265178469 627457651 729861914 3673085274 598943665 682415808 1267167902 4057640837 595240942 1074194810 1116347475 4276236708 3437030642 2030978924 661553211 992989753 17650783 3843944483 845868456 2332728829 3282139716 644290045 3040264354 3094377876 2443321418 2547706064 2941071263 2231828404 4149840408 3760405690 1644924832 1097494448 119731135 1915000405 56474653 1435684620 2899902413 306785001 2267107518 243176075 3419562464 3254210548 4268202290 601460264 1948112887 882147422 2701632616 1967659349 1848493501 1673976119 1029977757 1419933794 3630005110 756760397 4040454352 34715995 2096191953 2308624396 831692498 373124064 4062574004 1829000659 1857281442 2553142993 64641064 1263431702 2228420034 4110303193 1949987151 3007568147 669692197 3412540821 1645194762 3624030846 4159271886 4224488806 1593904649 1679611385 572021068 545577574 2320168591 3454310400 3262019048 3919999302 1842385621 26323012 3774670745 1372654523 2786358848 2468599870 313309504 2328913584 3501297076 2401012862 10935019 3336028615 3462509673 243442460 214827568 1177101 1369486108 1943758133 2171238496 2792242573 3160254379 3445991192 1017793541 3047499037 1007690781 992991680 1760073034 255 362436" option to reproduce the execution 0.29/0.38 c #vars 13487 0.29/0.38 c #constraints 57800 1.09/1.13 c BCD2: Hardening is enabled. 1.09/1.13 c BCD2: BiasedSearch is enabled. 1.09/1.13 c Solving starts ... 1.09/1.13 c ============================[ Search Statistics ]============================ 1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.13 c | | | | Limit GC | Var | Constra 1.09/1.13 c ============================================================================= 1.09/1.14 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 0 1.18/1.24 c 0.1s | 0 | 6285 | 0 | 22839 0 | 13 | 192 1.18/1.24 c #cpu_time = 0.100s 1.18/1.24 c #wall_clock_time = 0.100s 1.18/1.24 c #decision = 6285 1.18/1.24 c #random_decision = 36 1.18/1.24 c #conflict = 0 1.18/1.24 c #restart = 0 1.18/1.24 o 6110 1.29/1.37 c BCD2: updating upper bound: 6486 -> 6109 1.49/1.50 c BCD2: 0 <= obj <= 6109 1.49/1.50 c BCD2: #cores=0, #unrelaxed=6486, #relaxed=0, #hardened=0 1.49/1.50 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.50 c Solving starts ... 1.49/1.50 c ============================[ Search Statistics ]============================ 1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.50 c | | | | Limit GC | Var | Constra 1.49/1.50 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.49/1.53 c 0.0s | 0 | 2655 | 0 | 22839 0 | 13 | 192 1.49/1.53 c #cpu_time = 0.032s 1.49/1.53 c #wall_clock_time = 0.032s 1.49/1.53 c #decision = 2655 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 0 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 7: cost of the new core is >=1 1.49/1.53 c lower bound updated to 1 1.49/1.54 c BCD2: 1 <= obj <= 6109 1.49/1.54 c BCD2: #cores=1, #unrelaxed=6479, #relaxed=7, #hardened=0 1.49/1.54 c BCD2: #sat=1 #unsat=2 bias=2/3 1.49/1.54 c Solving starts ... 1.49/1.54 c ============================[ Search Statistics ]============================ 1.49/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.54 c | | | | Limit GC | Var | Constra 1.49/1.54 c ============================================================================= 1.49/1.54 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.49/1.58 c 0.0s | 0 | 4566 | 0 | 22839 0 | 13 | 192 1.49/1.58 c #cpu_time = 0.034s 1.49/1.58 c #wall_clock_time = 0.034s 1.49/1.58 c #decision = 4566 1.49/1.58 c #random_decision = 0 1.49/1.58 c #conflict = 0 1.49/1.58 c #restart = 0 1.49/1.58 c BCD2: found a new core of size 63: cost of the new core is >=1 1.49/1.58 c lower bound updated to 2 1.49/1.58 c BCD2: 2 <= obj <= 6109 1.49/1.58 c BCD2: #cores=2, #unrelaxed=6416, #relaxed=70, #hardened=0 1.49/1.58 c BCD2: #sat=1 #unsat=3 bias=3/4 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.59 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.59/1.62 c 0.0s | 0 | 4701 | 0 | 22839 0 | 13 | 192 1.59/1.62 c #cpu_time = 0.035s 1.59/1.62 c #wall_clock_time = 0.035s 1.59/1.62 c #decision = 4701 1.59/1.62 c #random_decision = 0 1.59/1.62 c #conflict = 0 1.59/1.62 c #restart = 0 1.59/1.62 c BCD2: found a new core of size 63: cost of the new core is >=1 1.59/1.62 c lower bound updated to 3 1.59/1.63 c BCD2: 3 <= obj <= 6109 1.59/1.63 c BCD2: #cores=3, #unrelaxed=6353, #relaxed=133, #hardened=0 1.59/1.63 c BCD2: #sat=1 #unsat=4 bias=4/5 1.59/1.63 c Solving starts ... 1.59/1.63 c ============================[ Search Statistics ]============================ 1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.63 c | | | | Limit GC | Var | Constra 1.59/1.63 c ============================================================================= 1.59/1.63 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.59/1.68 c 0.0s | 0 | 5172 | 0 | 22839 0 | 13 | 192 1.59/1.68 c #cpu_time = 0.047s 1.59/1.68 c #wall_clock_time = 0.047s 1.59/1.68 c #decision = 5172 1.59/1.68 c #random_decision = 0 1.59/1.68 c #conflict = 0 1.59/1.68 c #restart = 0 1.59/1.68 c BCD2: found a new core of size 1186: cost of the new core is >=1 1.59/1.68 c lower bound updated to 4 1.59/1.68 c BCD2: 4 <= obj <= 6109 1.59/1.68 c BCD2: #cores=4, #unrelaxed=5167, #relaxed=1319, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=5 bias=5/6 1.59/1.69 c Solving starts ... 1.59/1.69 c ============================[ Search Statistics ]============================ 1.59/1.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.69 c | | | | Limit GC | Var | Constra 1.59/1.69 c ============================================================================= 1.59/1.69 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.69/1.73 c 0.0s | 0 | 3989 | 0 | 22839 0 | 13 | 192 1.69/1.73 c #cpu_time = 0.034s 1.69/1.73 c #wall_clock_time = 0.034s 1.69/1.73 c #decision = 3989 1.69/1.73 c #random_decision = 0 1.69/1.73 c #conflict = 0 1.69/1.73 c #restart = 0 1.69/1.73 c BCD2: found a new core of size 1: cost of the new core is >=1 1.69/1.73 c lower bound updated to 5 1.69/1.73 c BCD2: 5 <= obj <= 6109 1.69/1.73 c BCD2: #cores=5, #unrelaxed=5166, #relaxed=1320, #hardened=0 1.69/1.73 c BCD2: #sat=1 #unsat=6 bias=6/7 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.74 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.69/1.78 c 0.0s | 0 | 4303 | 0 | 22839 0 | 13 | 192 1.69/1.78 c #cpu_time = 0.044s 1.69/1.78 c #wall_clock_time = 0.044s 1.69/1.78 c #decision = 4303 1.69/1.78 c #random_decision = 0 1.69/1.78 c #conflict = 0 1.69/1.78 c #restart = 0 1.69/1.78 c BCD2: found a new core of size 3: cost of the new core is >=1 1.69/1.78 c lower bound updated to 6 1.69/1.79 c BCD2: 6 <= obj <= 6109 1.69/1.79 c BCD2: #cores=6, #unrelaxed=5163, #relaxed=1323, #hardened=0 1.69/1.79 c BCD2: #sat=1 #unsat=7 bias=7/8 1.69/1.80 c Solving starts ... 1.69/1.80 c ============================[ Search Statistics ]============================ 1.69/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.80 c | | | | Limit GC | Var | Constra 1.69/1.80 c ============================================================================= 1.69/1.80 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.79/1.84 c 0.0s | 0 | 4308 | 0 | 22839 0 | 13 | 192 1.79/1.84 c #cpu_time = 0.037s 1.79/1.84 c #wall_clock_time = 0.037s 1.79/1.84 c #decision = 4308 1.79/1.84 c #random_decision = 0 1.79/1.84 c #conflict = 0 1.79/1.84 c #restart = 0 1.79/1.84 c BCD2: found a new core of size 9: cost of the new core is >=1 1.79/1.84 c lower bound updated to 7 1.79/1.84 c BCD2: 7 <= obj <= 6109 1.79/1.84 c BCD2: #cores=7, #unrelaxed=5154, #relaxed=1332, #hardened=0 1.79/1.84 c BCD2: #sat=1 #unsat=8 bias=8/9 1.79/1.85 c Solving starts ... 1.79/1.85 c ============================[ Search Statistics ]============================ 1.79/1.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.85 c | | | | Limit GC | Var | Constra 1.79/1.85 c ============================================================================= 1.79/1.85 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.89/1.90 c 0.1s | 0 | 6380 | 2 | 22839 0 | 13 | 192 1.89/1.90 c #cpu_time = 0.051s 1.89/1.90 c #wall_clock_time = 0.051s 1.89/1.90 c #decision = 6380 1.89/1.90 c #random_decision = 0 1.89/1.90 c #conflict = 2 1.89/1.90 c #restart = 0 1.89/1.90 c BCD2: found a new core of size 991: cost of the new core is >=1 1.89/1.90 c lower bound updated to 8 1.89/1.91 c BCD2: 8 <= obj <= 6109 1.89/1.91 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 1.89/1.91 c BCD2: #sat=1 #unsat=9 bias=9/10 1.89/1.92 c Solving starts ... 1.89/1.92 c ============================[ Search Statistics ]============================ 1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.92 c | | | | Limit GC | Var | Constra 1.89/1.92 c ============================================================================= 1.89/1.92 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 192 1.89/1.98 c 0.1s | 0 | 6135 | 2 | 22839 0 | 13 | 192 1.89/1.98 c #cpu_time = 0.053s 1.89/1.98 c #wall_clock_time = 0.053s 1.89/1.98 c #decision = 6135 1.89/1.98 c #random_decision = 4 1.89/1.98 c #conflict = 2 1.89/1.98 c #restart = 0 1.89/1.98 o 127 1.89/1.98 c BCD2: updating upper bound: 6109 -> 126 1.99/2.02 c BCD2: 8 <= obj <= 126 1.99/2.02 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 1.99/2.02 c BCD2: #sat=2 #unsat=9 bias=9/11 1.99/2.03 c Solving starts ... 1.99/2.03 c ============================[ Search Statistics ]============================ 1.99/2.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.03 c | | | | Limit GC | Var | Constra 1.99/2.03 c ============================================================================= 1.99/2.03 c 0.0s | 0 | 0 | 0 | 22839 0 | 13 | 193 2.09/2.17 c 0.1s | 1 | 5873 | 100 | 25123 0 | 13 | 193 2.39/2.43 c 0.4s | 2 | 11416 | 250 | 27636 0 | 13 | 193 2.49/2.53 c 0.5s | 2 | 16133 | 259 | 27636 0 | 13 | 193 2.49/2.53 c #cpu_time = 0.487s 2.49/2.53 c #wall_clock_time = 0.488s 2.49/2.53 c #decision = 16133 2.49/2.53 c #random_decision = 6 2.49/2.53 c #conflict = 259 2.49/2.53 c #restart = 2 2.49/2.53 o 101 2.49/2.54 c BCD2: updating upper bound: 126 -> 100 2.49/2.57 c BCD2: 8 <= obj <= 100 2.49/2.57 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 2.49/2.57 c BCD2: #sat=3 #unsat=9 bias=9/12 2.49/2.58 c Solving starts ... 2.49/2.58 c ============================[ Search Statistics ]============================ 2.49/2.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.58 c | | | | Limit GC | Var | Constra 2.49/2.58 c ============================================================================= 2.49/2.58 c 0.0s | 0 | 0 | 0 | 27636 0 | 13 | 194 2.99/3.03 c 0.4s | 1 | 6449 | 100 | 27636 0 | 13 | 194 3.49/3.55 c 1.0s | 2 | 16110 | 250 | 30400 0 | 13 | 194 4.59/4.63 c 2.0s | 3 | 28757 | 475 | 30400 0 | 13 | 194 4.99/5.01 c 2.4s | 3 | 34483 | 573 | 33440 0 | 13 | 194 4.99/5.01 c #cpu_time = 2.418s 4.99/5.01 c #wall_clock_time = 2.424s 4.99/5.01 c #decision = 34483 4.99/5.01 c #random_decision = 24 4.99/5.01 c #conflict = 573 4.99/5.01 c #restart = 3 4.99/5.01 o 76 4.99/5.02 c BCD2: updating upper bound: 100 -> 75 4.99/5.05 c BCD2: 8 <= obj <= 75 4.99/5.05 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 4.99/5.05 c BCD2: #sat=4 #unsat=9 bias=9/13 4.99/5.06 c Solving starts ... 4.99/5.06 c ============================[ Search Statistics ]============================ 4.99/5.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.06 c | | | | Limit GC | Var | Constra 4.99/5.06 c ============================================================================= 4.99/5.06 c 0.0s | 0 | 0 | 0 | 33440 0 | 13 | 195 5.39/5.46 c 0.4s | 1 | 6602 | 100 | 33440 0 | 13 | 195 5.89/5.92 c 0.9s | 2 | 12495 | 250 | 33440 0 | 13 | 195 6.49/6.57 c 1.5s | 3 | 19162 | 475 | 33440 0 | 13 | 195 7.29/7.34 c 2.3s | 4 | 26313 | 813 | 36784 0 | 13 | 195 8.49/8.53 c 3.5s | 4 | 40325 | 1055 | 36784 0 | 13 | 195 8.49/8.53 c #cpu_time = 3.453s 8.49/8.53 c #wall_clock_time = 3.461s 8.49/8.53 c #decision = 40325 8.49/8.53 c #random_decision = 25 8.49/8.53 c #conflict = 1055 8.49/8.53 c #restart = 4 8.49/8.53 o 54 8.49/8.54 c BCD2: updating upper bound: 75 -> 53 8.49/8.57 c BCD2: 8 <= obj <= 53 8.49/8.57 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 8.49/8.57 c BCD2: #sat=5 #unsat=9 bias=9/14 8.49/8.58 c Solving starts ... 8.49/8.58 c ============================[ Search Statistics ]============================ 8.49/8.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.49/8.58 c | | | | Limit GC | Var | Constra 8.49/8.58 c ============================================================================= 8.49/8.58 c 0.0s | 0 | 0 | 0 | 36784 0 | 13 | 196 8.88/8.97 c 0.4s | 1 | 5436 | 100 | 36784 0 | 13 | 196 9.38/9.47 c 0.9s | 2 | 11377 | 250 | 40463 0 | 13 | 196 10.48/10.55 c 2.0s | 3 | 25524 | 475 | 40463 0 | 13 | 196 11.19/11.27 c 2.7s | 4 | 32668 | 813 | 40463 0 | 13 | 196 11.48/11.55 c 3.0s | 4 | 38379 | 879 | 40463 0 | 13 | 196 11.48/11.55 c #cpu_time = 2.947s 11.48/11.55 c #wall_clock_time = 2.954s 11.48/11.55 c #decision = 38379 11.48/11.55 c #random_decision = 26 11.48/11.55 c #conflict = 879 11.48/11.55 c #restart = 4 11.48/11.55 o 36 11.48/11.55 c BCD2: updating upper bound: 53 -> 35 11.48/11.59 c BCD2: 8 <= obj <= 35 11.48/11.59 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 11.48/11.59 c BCD2: #sat=6 #unsat=9 bias=9/15 11.58/11.60 c Solving starts ... 11.58/11.60 c ============================[ Search Statistics ]============================ 11.58/11.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.58/11.60 c | | | | Limit GC | Var | Constra 11.58/11.60 c ============================================================================= 11.58/11.60 c 0.0s | 0 | 0 | 0 | 40463 0 | 13 | 197 11.98/12.03 c 0.4s | 1 | 10254 | 100 | 40463 0 | 13 | 197 12.39/12.45 c 0.8s | 2 | 15355 | 250 | 40463 0 | 13 | 197 12.98/13.07 c 1.5s | 3 | 22355 | 475 | 44510 0 | 13 | 197 14.28/14.32 c 2.7s | 4 | 38840 | 813 | 44510 0 | 13 | 197 15.38/15.47 c 3.9s | 5 | 49872 | 1320 | 44510 0 | 13 | 197 17.58/17.65 c 6.1s | 5 | 72053 | 2020 | 44510 0 | 13 | 197 17.79/17.83 c 6.2s | 6 | 72607 | 2081 | 44510 0 | 13 | 197 19.88/19.97 c 8.4s | 6 | 84861 | 2881 | 48962 0 | 13 | 197 20.98/21.03 c 9.4s | 7 | 92437 | 3223 | 48962 0 | 13 | 197 23.09/23.19 c 11.6s | 7 | 109364 | 4023 | 48962 0 | 13 | 197 25.29/25.33 c 13.7s | 7 | 115074 | 4823 | 53859 0 | 13 | 197 25.50/25.54 c 13.9s | 8 | 116008 | 4936 | 53859 0 | 13 | 197 27.59/27.63 c 16.0s | 8 | 128387 | 5736 | 53859 0 | 13 | 197 29.59/29.64 c 18.0s | 8 | 133207 | 6336 | 53859 0 | 13 | 197 31.69/31.74 c 20.1s | 8 | 139222 | 7036 | 53859 0 | 13 | 197 32.59/32.64 c 21.0s | 9 | 140993 | 7506 | 53859 0 | 13 | 197 34.78/34.81 c 23.2s | 9 | 160747 | 8206 | 53859 0 | 13 | 197 36.78/36.86 c 25.3s | 9 | 177067 | 8806 | 59245 0 | 13 | 197 38.88/38.93 c 27.3s | 9 | 185855 | 9606 | 59245 0 | 13 | 197 40.99/41.06 c 29.5s | 9 | 189217 | 11006 | 59245 0 | 13 | 197 41.68/41.72 c 30.1s | 10 | 190755 | 11361 | 59245 0 | 13 | 197 43.88/43.94 c 32.3s | 10 | 216481 | 11961 | 59245 0 | 13 | 197 46.08/46.13 c 34.5s | 10 | 223105 | 12561 | 59245 0 | 13 | 197 48.18/48.28 c 36.7s | 10 | 226782 | 13361 | 59245 0 | 13 | 197 50.28/50.37 c 38.8s | 10 | 233041 | 14161 | 59245 0 | 13 | 197 52.28/52.38 c 40.8s | 10 | 240156 | 14861 | 65170 0 | 13 | 197 54.58/54.60 c 43.0s | 10 | 247697 | 15661 | 65170 0 | 13 | 197 56.58/56.63 c 45.0s | 10 | 252341 | 16361 | 65170 0 | 13 | 197 58.68/58.77 c 47.2s | 11 | 260364 | 17144 | 65170 0 | 13 | 197 60.98/61.06 c 49.5s | 11 | 281075 | 17844 | 65170 0 | 13 | 197 63.18/63.26 c 51.7s | 11 | 290540 | 18744 | 65170 0 | 13 | 197 65.28/65.31 c 53.7s | 11 | 297017 | 19444 | 65170 0 | 13 | 197 67.28/67.36 c 55.8s | 11 | 303085 | 20344 | 65170 0 | 13 | 197 69.58/69.67 c 58.1s | 11 | 311316 | 21144 | 65170 0 | 13 | 197 71.78/71.84 c 60.2s | 11 | 320546 | 21944 | 65170 0 | 13 | 197 73.88/73.99 c 62.4s | 11 | 329604 | 22844 | 65170 0 | 13 | 197 75.97/76.05 c 64.5s | 11 | 340121 | 23444 | 71687 0 | 14 | 256 78.17/78.29 c 66.7s | 11 | 352784 | 24144 | 71687 0 | 14 | 256 80.59/80.61 c 69.0s | 11 | 363669 | 24844 | 71687 0 | 14 | 256 82.69/82.77 c 71.2s | 11 | 369565 | 25644 | 71687 0 | 14 | 256 83.18/83.29 c 71.7s | 12 | 371469 | 25819 | 71687 0 | 14 | 256 85.48/85.58 c 74.0s | 12 | 390390 | 26319 | 71687 0 | 14 | 256 87.58/87.69 c 76.1s | 12 | 399091 | 27119 | 71687 0 | 14 | 256 89.68/89.75 c 78.1s | 12 | 405892 | 27919 | 71687 0 | 14 | 256 91.98/92.01 c 80.4s | 12 | 415913 | 28819 | 71687 0 | 14 | 256 94.18/94.26 c 82.7s | 12 | 426471 | 29719 | 71687 0 | 14 | 256 96.37/96.45 c 84.8s | 12 | 433196 | 30719 | 71687 0 | 14 | 256 98.57/98.63 c 87.0s | 12 | 441273 | 31619 | 71687 0 | 14 | 256 100.57/100.65 c 89.0s | 12 | 448770 | 32619 | 71687 0 | 14 | 256 102.58/102.69 c 91.1s | 12 | 456920 | 33419 | 71687 0 | 14 | 256 104.68/104.79 c 93.2s | 12 | 465818 | 34319 | 71687 0 | 14 | 256 106.88/106.96 c 95.4s | 12 | 475004 | 35119 | 71687 0 | 14 | 256 109.07/109.14 c 97.5s | 12 | 481041 | 36019 | 78856 0 | 14 | 256 111.17/111.30 c 99.7s | 12 | 488282 | 36819 | 78856 0 | 14 | 256 113.27/113.34 c 101s | 12 | 494422 | 37719 | 78856 0 | 14 | 256 115.27/115.39 c 103s | 12 | 499555 | 38519 | 78856 0 | 14 | 256 116.17/116.27 c 104s | 13 | 503181 | 38832 | 78856 0 | 14 | 256 118.27/118.39 c 106s | 13 | 520628 | 39432 | 78856 0 | 14 | 256 120.37/120.45 c 108s | 13 | 527085 | 40132 | 78856 0 | 14 | 256 122.47/122.52 c 110s | 13 | 534328 | 40832 | 78856 0 | 14 | 256 124.67/124.76 c 113s | 13 | 539654 | 41632 | 78856 0 | 14 | 256 126.68/126.79 c 115s | 13 | 543126 | 42632 | 78856 0 | 14 | 256 128.88/128.96 c 117s | 13 | 551283 | 43332 | 78856 0 | 14 | 256 131.08/131.12 c 119s | 13 | 557275 | 44132 | 78856 0 | 14 | 256 133.17/133.20 c 121s | 13 | 564088 | 44932 | 78856 0 | 14 | 256 135.17/135.25 c 123s | 13 | 571689 | 45632 | 78856 0 | 14 | 256 137.37/137.46 c 125s | 13 | 579050 | 46432 | 78856 0 | 14 | 256 139.57/139.66 c 128s | 13 | 584429 | 47232 | 78856 0 | 14 | 256 141.67/141.71 c 130s | 13 | 590207 | 47932 | 78856 0 | 14 | 256 143.77/143.81 c 132s | 13 | 595938 | 48732 | 78856 0 | 14 | 256 145.77/145.81 c 134s | 13 | 600149 | 49632 | 78856 0 | 14 | 256 147.77/147.85 c 136s | 13 | 606551 | 50532 | 78856 0 | 14 | 256 149.87/149.97 c 138s | 13 | 613090 | 51432 | 78856 0 | 14 | 256 152.16/152.24 c 140s | 13 | 620500 | 52232 | 78856 0 | 14 | 256 154.46/154.52 c 142s | 13 | 627310 | 53032 | 78856 0 | 14 | 256 156.66/156.79 c 145s | 13 | 631746 | 53932 | 78856 0 | 14 | 256 158.76/158.86 c 147s | 13 | 637699 | 54632 | 78856 0 | 14 | 256 160.96/161.03 c 149s | 13 | 644311 | 55332 | 86742 0 | 14 | 256 163.07/163.15 c 151s | 13 | 649653 | 56132 | 86742 0 | 14 | 256 165.27/165.32 c 153s | 13 | 657490 | 56932 | 86742 0 | 14 | 256 167.26/167.36 c 155s | 13 | 660570 | 57832 | 86742 0 | 14 | 256 168.66/168.71 c 157s | 14 | 663952 | 58352 | 86742 0 | 14 | 256 170.67/170.76 c 159s | 14 | 674080 | 58752 | 86742 0 | 14 | 256 172.56/172.65 c 161s | 14 | 685245 | 59160 | 86742 0 | 14 | 256 172.56/172.65 c #cpu_time = 160.631s 172.56/172.65 c #wall_clock_time = 161.041s 172.56/172.65 c #decision = 685245 172.56/172.65 c #random_decision = 1065 172.56/172.65 c #conflict = 59160 172.56/172.65 c #restart = 14 172.56/172.65 o 24 172.56/172.65 c BCD2: updating upper bound: 35 -> 23 172.66/172.70 c BCD2: 8 <= obj <= 23 172.66/172.70 c BCD2: #cores=8, #unrelaxed=4163, #relaxed=2323, #hardened=0 172.66/172.70 c BCD2: #sat=7 #unsat=9 bias=9/16 172.66/172.71 c Solving starts ... 172.66/172.71 c ============================[ Search Statistics ]============================ 172.66/172.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 172.66/172.71 c | | | | Limit GC | Var | Constra 172.66/172.71 c ============================================================================= 172.66/172.71 c 0.0s | 0 | 0 | 0 | 86742 0 | 14 | 257 173.36/173.47 c 0.8s | 1 | 9088 | 100 | 86742 0 | 14 | 257 174.26/174.33 c 1.6s | 2 | 15208 | 250 | 86742 0 | 14 | 257 175.66/175.70 c 3.0s | 3 | 22303 | 475 | 86742 0 | 14 | 257 177.66/177.72 c 5.0s | 3 | 30245 | 775 | 86742 0 | 14 | 257 177.76/177.84 c 5.1s | 4 | 30534 | 813 | 86742 0 | 14 | 257 180.06/180.19 c 7.5s | 4 | 39724 | 1213 | 86742 0 | 14 | 257 180.46/180.58 c 7.9s | 5 | 43630 | 1320 | 86742 0 | 14 | 257 182.66/182.79 c 10.1s | 6 | 58366 | 2081 | 86742 0 | 14 | 257 184.76/184.83 c 12.1s | 6 | 67844 | 2781 | 86742 0 | 14 | 257 185.96/186.06 c 13.4s | 7 | 71682 | 3223 | 86742 0 | 14 | 257 188.06/188.19 c 15.5s | 7 | 81485 | 3623 | 86742 0 | 14 | 257 190.16/190.25 c 17.5s | 7 | 97641 | 4423 | 86742 0 | 14 | 257 191.26/191.33 c 18.6s | 8 | 99153 | 4936 | 86742 0 | 14 | 257 193.46/193.56 c 20.9s | 8 | 109327 | 5336 | 86742 0 | 14 | 257 195.76/195.84 c 23.1s | 8 | 113083 | 5736 | 86742 0 | 14 | 257 197.86/197.94 c 25.2s | 8 | 116597 | 6236 | 86742 0 | 14 | 257 199.86/199.99 c 27.3s | 8 | 120821 | 6736 | 86742 0 | 14 | 257 202.16/202.28 c 29.6s | 8 | 127430 | 7136 | 86742 0 | 14 | 257 204.46/204.51 c 31.8s | 9 | 131903 | 7506 | 86742 0 | 14 | 257 206.56/206.67 c 34.0s | 9 | 139418 | 7806 | 86742 0 | 14 | 257 209.06/209.15 c 36.4s | 9 | 145186 | 8206 | 86742 0 | 14 | 257 211.36/211.47 c 38.8s | 9 | 149118 | 8606 | 86742 0 | 14 | 257 213.45/213.50 c 40.8s | 9 | 156461 | 9206 | 86742 0 | 14 | 257 215.95/216.00 c 43.3s | 9 | 161371 | 10106 | 86742 0 | 14 | 257 217.96/218.09 c 45.4s | 9 | 166351 | 10606 | 86742 0 | 14 | 257 220.35/220.42 c 47.7s | 9 | 170807 | 11206 | 86742 0 | 14 | 257 221.16/221.26 c 48.6s | 10 | 172503 | 11361 | 86742 0 | 14 | 257 223.16/223.30 c 50.6s | 10 | 180797 | 11861 | 86742 0 | 14 | 257 225.26/225.30 c 52.6s | 10 | 182999 | 12761 | 86742 0 | 14 | 257 227.26/227.33 c 54.6s | 10 | 186086 | 13561 | 86742 0 | 14 | 257 229.46/229.50 c 56.8s | 10 | 189067 | 14561 | 86742 0 | 14 | 257 231.66/231.70 c 59.0s | 10 | 191724 | 15361 | 86742 0 | 14 | 257 233.96/234.07 c 61.4s | 10 | 198799 | 15961 | 86742 0 | 14 | 257 236.36/236.46 c 63.8s | 10 | 204142 | 16761 | 86742 0 | 14 | 257 237.35/237.50 c 64.8s | 11 | 205028 | 17144 | 86742 0 | 14 | 257 239.65/239.70 c 67.0s | 11 | 213293 | 17444 | 86742 0 | 14 | 257 241.65/241.70 c 69.0s | 11 | 218109 | 17844 | 86742 0 | 14 | 257 243.65/243.73 c 71.0s | 11 | 222266 | 18144 | 86742 0 | 14 | 257 245.75/245.84 c 73.1s | 11 | 233811 | 18544 | 86742 0 | 14 | 257 248.05/248.12 c 75.4s | 11 | 243384 | 19344 | 86742 0 | 14 | 257 250.25/250.36 c 77.7s | 11 | 245339 | 20144 | 86742 0 | 14 | 257 252.35/252.41 c 79.7s | 11 | 248068 | 20844 | 86742 0 | 14 | 257 254.55/254.60 c 81.9s | 11 | 250497 | 21744 | 86742 0 | 14 | 257 256.85/256.93 c 84.2s | 11 | 257802 | 22344 | 86742 0 | 14 | 257 258.95/259.02 c 86.3s | 11 | 261676 | 23244 | 86742 0 | 14 | 257 261.45/261.51 c 88.8s | 11 | 269319 | 24044 | 86742 0 | 14 | 257 263.16/263.29 c 90.6s | 11 | 275550 | 24380 | 86742 0 | 14 | 257 263.16/263.29 c #cpu_time = 90.348s 263.16/263.29 c #wall_clock_time = 90.579s 263.16/263.29 c #decision = 275550 263.16/263.29 c #random_decision = 431 263.16/263.29 c #conflict = 24380 263.16/263.29 c #restart = 11 263.16/263.29 c BCD2: relaxing 2458 and merging with 6 cores into a new core of size 4717: cost of the new core is >=7 263.16/263.29 c lower bound updated to 9 263.25/263.31 c BCD2: 9 <= obj <= 23 263.25/263.31 c BCD2: #cores=3, #unrelaxed=1705, #relaxed=4781, #hardened=0 263.25/263.31 c BCD2: #sat=7 #unsat=10 bias=10/17 263.25/263.32 c Solving starts ... 263.25/263.32 c ============================[ Search Statistics ]============================ 263.25/263.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 263.25/263.32 c | | | | Limit GC | Var | Constra 263.25/263.32 c ============================================================================= 263.25/263.32 c 0.0s | 0 | 0 | 0 | 86742 0 | 45 | 257 266.04/266.12 c 2.8s | 0 | 4452 | 100 | 86742 0 | 45 | 313 266.04/266.13 c 2.8s | 1 | 4452 | 100 | 86742 0 | 45 | 313 267.45/267.59 c 4.3s | 2 | 8507 | 250 | 86742 0 | 45 | 313 269.75/269.86 c 6.5s | 2 | 12354 | 350 | 86742 0 | 45 | 313 271.04/271.11 c 7.8s | 3 | 13639 | 475 | 86742 0 | 45 | 313 273.74/273.88 c 10.6s | 3 | 17944 | 775 | 95417 0 | 45 | 313 274.34/274.44 c 11.1s | 4 | 18125 | 813 | 95417 0 | 45 | 313 277.14/277.26 c 13.9s | 4 | 22619 | 1113 | 95417 0 | 45 | 313 279.04/279.13 c 15.8s | 5 | 24072 | 1320 | 95417 0 | 45 | 313 281.75/281.86 c 18.5s | 5 | 27954 | 1620 | 95417 0 | 45 | 313 284.24/284.37 c 21.0s | 5 | 30587 | 1920 | 95417 0 | 45 | 313 285.74/285.82 c 22.5s | 6 | 32553 | 2081 | 95417 0 | 45 | 313 287.94/288.02 c 24.7s | 6 | 38346 | 2281 | 95417 0 | 45 | 313 290.74/290.84 c 27.5s | 6 | 42088 | 2581 | 95417 0 | 45 | 313 293.34/293.48 c 30.2s | 6 | 45006 | 2881 | 95417 0 | 45 | 313 295.74/295.87 c 32.5s | 6 | 47150 | 3181 | 95417 0 | 45 | 313 296.05/296.20 c 32.9s | 7 | 47240 | 3223 | 95417 0 | 45 | 313 299.04/299.14 c 35.8s | 7 | 53267 | 3523 | 95417 0 | 45 | 313 301.24/301.33 c 38.0s | 7 | 58384 | 3723 | 95417 0 | 45 | 313 303.24/303.35 c 40.0s | 7 | 60470 | 3923 | 95417 0 | 45 | 313 305.44/305.56 c 42.2s | 7 | 64472 | 4123 | 95417 0 | 45 | 313 308.34/308.45 c 45.1s | 7 | 68947 | 4423 | 95417 0 | 45 | 313 311.14/311.29 c 48.0s | 7 | 73164 | 4723 | 95417 0 | 45 | 313 313.14/313.22 c 49.9s | 8 | 75837 | 4936 | 95417 0 | 45 | 313 315.74/315.84 c 52.5s | 8 | 80411 | 5236 | 95417 0 | 45 | 313 317.74/317.86 c 54.5s | 8 | 82751 | 5436 | 95417 0 | 45 | 313 320.35/320.43 c 57.1s | 8 | 84703 | 5736 | 95417 0 | 45 | 313 323.24/323.30 c 60.0s | 8 | 86489 | 6036 | 95417 0 | 45 | 313 325.54/325.61 c 62.3s | 8 | 87035 | 6236 | 95417 0 | 45 | 313 328.64/328.74 c 65.4s | 8 | 89353 | 6536 | 95417 0 | 45 | 313 331.24/331.38 c 68.1s | 8 | 91725 | 6836 | 95417 0 | 45 | 313 333.44/333.51 c 70.2s | 8 | 96881 | 7036 | 95417 0 | 45 | 313 336.24/336.32 c 73.0s | 8 | 101335 | 7336 | 95417 0 | 45 | 313 337.64/337.79 c 74.5s | 9 | 102373 | 7506 | 95417 0 | 45 | 313 340.44/340.60 c 77.3s | 9 | 107302 | 7806 | 95417 0 | 45 | 313 342.74/342.88 c 79.6s | 9 | 110736 | 8106 | 95417 0 | 45 | 313 344.94/345.01 c 81.7s | 9 | 112087 | 8406 | 95417 0 | 45 | 313 347.34/347.41 c 84.1s | 9 | 113789 | 8706 | 95417 0 | 45 | 313 349.83/349.96 c 86.6s | 9 | 115436 | 9006 | 95417 0 | 45 | 313 352.33/352.44 c 89.1s | 9 | 116592 | 9306 | 95417 0 | 45 | 313 355.03/355.15 c 91.8s | 9 | 118629 | 9606 | 95417 0 | 45 | 313 357.74/357.81 c 94.5s | 9 | 122744 | 9906 | 95417 0 | 45 | 313 360.03/360.15 c 96.8s | 9 | 125810 | 10206 | 95417 0 | 45 | 313 362.33/362.45 c 99.1s | 9 | 128544 | 10506 | 95417 0 | 45 | 313 364.63/364.70 c 101s | 9 | 132647 | 10806 | 95417 0 | 45 | 313 366.83/366.96 c 103s | 9 | 135545 | 11106 | 95417 0 | 45 | 313 368.74/368.89 c 105s | 10 | 137257 | 11361 | 95417 0 | 45 | 313 371.33/371.43 c 108s | 10 | 140702 | 11661 | 95417 0 | 45 | 313 373.83/373.97 c 110s | 10 | 143632 | 11961 | 95417 0 | 45 | 313 376.13/376.28 c 112s | 10 | 146181 | 12261 | 95417 0 | 45 | 313 378.53/378.61 c 115s | 10 | 149044 | 12561 | 95417 0 | 45 | 313 380.73/380.84 c 117s | 10 | 152724 | 12761 | 95417 0 | 45 | 313 382.72/382.89 c 119s | 10 | 156407 | 12961 | 95417 0 | 45 | 313 385.62/385.79 c 122s | 10 | 159876 | 13261 | 95417 0 | 45 | 313 388.62/388.74 c 125s | 10 | 162886 | 13561 | 95417 0 | 45 | 313 390.63/390.80 c 127s | 10 | 163790 | 13761 | 95417 0 | 45 | 313 393.22/393.33 c 130s | 10 | 167380 | 13961 | 95417 0 | 45 | 313 395.82/395.93 c 132s | 10 | 170188 | 14261 | 95417 0 | 45 | 313 399.92/400.02 c 136s | 10 | 172437 | 14461 | 95417 0 | 45 | 313 402.73/402.88 c 139s | 10 | 176087 | 14761 | 95417 0 | 45 | 313 405.52/405.68 c 142s | 10 | 179588 | 15061 | 95417 0 | 45 | 313 408.52/408.60 c 145s | 10 | 183069 | 15361 | 95417 0 | 45 | 313 410.53/410.65 c 147s | 10 | 186008 | 15561 | 95417 0 | 45 | 313 413.43/413.55 c 150s | 10 | 190134 | 15861 | 95417 0 | 45 | 313 416.22/416.33 c 153s | 10 | 193176 | 16161 | 95417 0 | 45 | 313 418.82/418.91 c 155s | 10 | 195810 | 16461 | 95417 0 | 45 | 313 421.32/421.41 c 158s | 10 | 198913 | 16761 | 95417 0 | 45 | 313 423.73/423.87 c 160s | 10 | 202036 | 17061 | 95417 0 | 45 | 313 424.52/424.62 c 161s | 11 | 202825 | 17144 | 95417 0 | 45 | 313 426.82/426.91 c 163s | 11 | 206766 | 17444 | 95417 0 | 45 | 313 428.92/429.06 c 165s | 11 | 208960 | 17744 | 95417 0 | 45 | 313 431.02/431.18 c 167s | 11 | 211783 | 18044 | 95417 0 | 45 | 313 433.53/433.68 c 170s | 11 | 214527 | 18344 | 95417 0 | 45 | 313 436.02/436.10 c 172s | 11 | 216511 | 18644 | 95417 0 | 45 | 313 438.32/438.49 c 175s | 11 | 218767 | 18944 | 95417 0 | 45 | 313 440.72/440.85 c 177s | 11 | 220324 | 19244 | 95417 0 | 45 | 313 443.22/443.38 c 180s | 11 | 223535 | 19544 | 95417 0 | 45 | 313 445.63/445.76 c 182s | 11 | 224743 | 19844 | 95417 0 | 45 | 313 447.83/447.96 c 184s | 11 | 226569 | 20044 | 95417 0 | 45 | 313 450.32/450.46 c 187s | 11 | 229274 | 20344 | 95417 0 | 45 | 313 452.62/452.79 c 189s | 11 | 230730 | 20644 | 95417 0 | 45 | 313 454.72/454.80 c 191s | 11 | 232507 | 20844 | 95417 0 | 45 | 313 457.52/457.61 c 194s | 11 | 236261 | 21144 | 95417 0 | 45 | 313 459.92/460.09 c 196s | 11 | 238828 | 21444 | 95417 0 | 45 | 313 462.71/462.86 c 199s | 11 | 242252 | 21744 | 95417 0 | 45 | 313 465.42/465.60 c 202s | 11 | 245033 | 22044 | 95417 0 | 45 | 313 468.01/468.15 c 204s | 11 | 248050 | 22344 | 95417 0 | 45 | 313 470.41/470.58 c 207s | 11 | 249922 | 22644 | 95417 0 | 45 | 313 472.71/472.82 c 209s | 11 | 251332 | 22944 | 95417 0 | 45 | 313 475.11/475.22 c 211s | 11 | 252081 | 23244 | 95417 0 | 45 | 313 477.63/477.79 c 214s | 11 | 254072 | 23544 | 95417 0 | 45 | 313 480.12/480.29 c 216s | 11 | 256410 | 23744 | 95417 0 | 45 | 313 482.81/482.97 c 219s | 11 | 259205 | 24044 | 95417 0 | 45 | 313 484.81/484.97 c 221s | 11 | 260925 | 24244 | 95417 0 | 45 | 313 487.01/487.17 c 223s | 11 | 261910 | 24444 | 95417 0 | 45 | 313 489.72/489.83 c 226s | 11 | 263708 | 24744 | 95417 0 | 45 | 313 493.02/493.13 c 229s | 11 | 266584 | 25044 | 95417 0 | 45 | 313 495.51/495.65 c 232s | 11 | 269356 | 25244 | 95417 0 | 45 | 313 497.81/497.91 c 234s | 11 | 272556 | 25444 | 95417 0 | 45 | 313 500.31/500.49 c 237s | 11 | 274731 | 25744 | 95417 0 | 45 | 313 501.01/501.13 c 237s | 12 | 275641 | 25819 | 95417 0 | 45 | 313 503.71/503.86 c 240s | 12 | 279775 | 26119 | 95417 0 | 45 | 313 506.11/506.27 c 242s | 12 | 282175 | 26419 | 95417 0 | 45 | 313 508.81/508.91 c 245s | 12 | 284825 | 26719 | 95417 0 | 45 | 313 511.61/511.72 c 248s | 12 | 287929 | 27019 | 95417 0 | 45 | 313 514.21/514.35 c 251s | 12 | 291686 | 27319 | 95417 0 | 45 | 313 516.61/516.75 c 253s | 12 | 295839 | 27519 | 95417 0 | 45 | 313 518.80/518.96 c 255s | 12 | 299296 | 27719 | 95417 0 | 45 | 313 521.40/521.59 c 258s | 12 | 302447 | 27919 | 95417 0 | 45 | 313 523.82/523.95 c 260s | 12 | 304864 | 28119 | 95417 0 | 45 | 313 526.51/526.68 c 263s | 12 | 307836 | 28419 | 95417 0 | 45 | 313 529.11/529.28 c 265s | 12 | 310086 | 28719 | 95417 0 | 45 | 313 531.52/531.69 c 268s | 12 | 311362 | 29019 | 95417 0 | 45 | 313 533.72/533.88 c 270s | 12 | 315295 | 29219 | 95417 0 | 45 | 313 536.71/536.83 c 273s | 12 | 317749 | 29519 | 95417 0 | 45 | 313 539.01/539.12 c 275s | 12 | 321866 | 29719 | 95417 0 | 45 | 313 541.21/541.36 c 278s | 12 | 325820 | 29919 | 95417 0 | 45 | 313 543.52/543.63 c 280s | 12 | 329474 | 30119 | 95417 0 | 45 | 313 546.11/546.29 c 282s | 12 | 332375 | 30419 | 95417 0 | 45 | 313 548.71/548.89 c 285s | 12 | 334778 | 30719 | 95417 0 | 45 | 313 551.01/551.19 c 287s | 12 | 337733 | 31019 | 95417 0 | 45 | 313 553.11/553.29 c 289s | 12 | 339050 | 31319 | 95417 0 | 45 | 313 555.31/555.44 c 292s | 12 | 340679 | 31619 | 95417 0 | 45 | 313 557.91/558.02 c 294s | 12 | 343656 | 31919 | 95417 0 | 45 | 313 560.80/560.90 c 297s | 12 | 346146 | 32219 | 95417 0 | 45 | 313 563.41/563.54 c 300s | 12 | 348733 | 32519 | 95417 0 | 45 | 313 566.00/566.11 c 302s | 12 | 352037 | 32819 | 95417 0 | 45 | 313 568.40/568.57 c 305s | 12 | 354172 | 33119 | 95417 0 | 45 | 313 571.20/571.37 c 308s | 12 | 357488 | 33419 | 95417 0 | 45 | 313 573.90/574.01 c 310s | 12 | 359946 | 33719 | 95417 0 | 45 | 313 576.10/576.23 c 312s | 12 | 362022 | 34019 | 95417 0 | 45 | 313 578.81/578.99 c 315s | 12 | 364971 | 34319 | 95417 0 | 45 | 313 581.10/581.22 c 317s | 12 | 367960 | 34619 | 95417 0 | 45 | 313 583.40/583.56 c 320s | 12 | 371380 | 34919 | 95417 0 | 45 | 313 585.90/586.00 c 322s | 12 | 373868 | 35219 | 95417 0 | 45 | 313 588.61/588.78 c 325s | 12 | 377333 | 35519 | 95417 0 | 45 | 313 591.20/591.32 c 327s | 12 | 379611 | 35819 | 95417 0 | 45 | 313 593.80/593.95 c 330s | 12 | 383226 | 36119 | 95417 0 | 45 | 313 596.10/596.25 c 332s | 12 | 386395 | 36419 | 95417 0 | 45 | 313 598.61/598.71 c 335s | 12 | 389080 | 36719 | 95417 0 | 45 | 313 600.90/601.01 c 337s | 12 | 391198 | 37019 | 95417 0 | 45 | 313 603.01/603.12 c 339s | 12 | 392695 | 37319 | 95417 0 | 45 | 313 605.40/605.53 c 342s | 12 | 394520 | 37619 | 95417 0 | 45 | 313 608.00/608.16 c 344s | 12 | 398448 | 37919 | 95417 0 | 45 | 313 610.60/610.79 c 347s | 12 | 402362 | 38219 | 95417 0 | 45 | 313 613.10/613.26 c 349s | 12 | 406703 | 38519 | 95417 0 | 45 | 313 615.50/615.64 c 352s | 12 | 409644 | 38819 | 95417 0 | 45 | 313 615.60/615.75 c 352s | 13 | 409672 | 38832 | 95417 0 | 45 | 313 618.20/618.30 c 354s | 13 | 414383 | 39132 | 95417 0 | 45 | 313 620.50/620.65 c 357s | 13 | 416486 | 39432 | 95417 0 | 45 | 313 623.09/623.28 c 359s | 13 | 420187 | 39732 | 95417 0 | 45 | 313 625.29/625.47 c 362s | 13 | 422901 | 40032 | 95417 0 | 45 | 313 627.79/627.93 c 364s | 13 | 426167 | 40332 | 95417 0 | 45 | 313 630.40/630.54 c 367s | 13 | 428871 | 40632 | 95417 0 | 45 | 313 632.70/632.82 c 369s | 13 | 430416 | 40932 | 95417 0 | 45 | 313 634.99/635.18 c 371s | 13 | 431313 | 41232 | 95417 0 | 45 | 313 637.29/637.48 c 374s | 13 | 433480 | 41532 | 95417 0 | 45 | 313 639.59/639.78 c 376s | 13 | 434607 | 41832 | 95417 0 | 45 | 313 642.29/642.48 c 379s | 13 | 436243 | 42132 | 95417 0 | 45 | 313 644.80/644.97 c 381s | 13 | 438825 | 42432 | 95417 0 | 45 | 313 647.39/647.51 c 384s | 13 | 441109 | 42732 | 95417 0 | 45 | 313 649.79/649.92 c 386s | 13 | 442799 | 43032 | 95417 0 | 45 | 313 652.09/652.20 c 388s | 13 | 444661 | 43332 | 95417 0 | 45 | 313 654.49/654.65 c 391s | 13 | 445801 | 43632 | 95417 0 | 45 | 313 657.29/657.45 c 394s | 13 | 446903 | 43932 | 95417 0 | 45 | 313 659.99/660.16 c 396s | 13 | 447843 | 44232 | 95417 0 | 45 | 313 662.29/662.50 c 399s | 13 | 449490 | 44432 | 104959 0 | 45 | 313 664.49/664.63 c 401s | 13 | 452675 | 44632 | 104959 0 | 45 | 313 667.08/667.22 c 403s | 13 | 455844 | 44932 | 104959 0 | 45 | 313 669.78/669.92 c 406s | 13 | 459450 | 45232 | 104959 0 | 45 | 313 672.68/672.83 c 409s | 13 | 462423 | 45532 | 104959 0 | 45 | 313 675.59/675.71 c 412s | 13 | 465724 | 45832 | 104959 0 | 45 | 313 678.28/678.45 c 415s | 13 | 468470 | 46132 | 104959 0 | 45 | 313 680.88/681.08 c 417s | 13 | 471149 | 46432 | 104959 0 | 45 | 313 683.68/683.86 c 420s | 13 | 474118 | 46732 | 104959 0 | 45 | 313 686.28/686.42 c 423s | 13 | 477430 | 47032 | 104959 0 | 45 | 313 688.88/689.02 c 425s | 13 | 479721 | 47332 | 104959 0 | 45 | 313 691.58/691.77 c 428s | 13 | 482041 | 47632 | 104959 0 | 45 | 313 694.08/694.24 c 430s | 13 | 484432 | 47932 | 104959 0 | 45 | 313 696.58/696.72 c 433s | 13 | 486565 | 48232 | 104959 0 | 45 | 313 698.68/698.80 c 435s | 13 | 487325 | 48432 | 104959 0 | 45 | 313 701.18/701.35 c 438s | 13 | 488462 | 48632 | 104959 0 | 45 | 313 703.59/703.77 c 440s | 13 | 490922 | 48832 | 104959 0 | 45 | 313 705.98/706.10 c 442s | 13 | 493154 | 49032 | 104959 0 | 45 | 313 708.18/708.39 c 445s | 13 | 494613 | 49232 | 104959 0 | 45 | 313 710.79/710.99 c 447s | 13 | 496958 | 49432 | 104959 0 | 45 | 313 712.99/713.11 c 449s | 13 | 499544 | 49632 | 104959 0 | 45 | 313 715.09/715.28 c 451s | 13 | 502625 | 49832 | 104959 0 | 45 | 313 717.18/717.36 c 454s | 13 | 505531 | 50032 | 104959 0 | 45 | 313 719.59/719.79 c 456s | 13 | 508909 | 50232 | 104959 0 | 45 | 313 722.18/722.32 c 458s | 13 | 513524 | 50432 | 104959 0 | 45 | 313 724.58/724.79 c 461s | 13 | 518037 | 50632 | 104959 0 | 45 | 313 726.88/727.01 c 463s | 13 | 521407 | 50832 | 104959 0 | 45 | 313 728.98/729.12 c 465s | 13 | 523791 | 51032 | 104959 0 | 45 | 313 731.69/731.89 c 468s | 13 | 526891 | 51332 | 104959 0 | 45 | 313 734.48/734.64 c 471s | 13 | 530267 | 51632 | 104959 0 | 45 | 313 737.09/737.28 c 473s | 13 | 532772 | 51932 | 104959 0 | 45 | 313 739.68/739.85 c 476s | 13 | 534967 | 52232 | 104959 0 | 45 | 313 742.18/742.37 c 479s | 13 | 537300 | 52532 | 104959 0 | 45 | 313 745.18/745.31 c 481s | 13 | 541090 | 52832 | 104959 0 | 45 | 313 747.58/747.78 c 484s | 13 | 544142 | 53132 | 104959 0 | 45 | 313 749.98/750.18 c 486s | 13 | 546204 | 53432 | 104959 0 | 45 | 313 752.48/752.68 c 489s | 13 | 547947 | 53732 | 104959 0 | 45 | 313 755.27/755.47 c 492s | 13 | 549416 | 54032 | 104959 0 | 45 | 313 757.87/758.00 c 494s | 13 | 551417 | 54332 | 104959 0 | 45 | 313 760.28/760.49 c 497s | 13 | 552732 | 54632 | 104959 0 | 45 | 313 762.38/762.58 c 499s | 13 | 554185 | 54832 | 104959 0 | 45 | 313 765.17/765.37 c 502s | 13 | 556417 | 55132 | 104959 0 | 45 | 313 767.57/767.80 c 504s | 13 | 558711 | 55332 | 104959 0 | 45 | 313 769.77/769.90 c 506s | 13 | 561691 | 55532 | 104959 0 | 45 | 313 771.77/771.94 c 508s | 13 | 563754 | 55732 | 104959 0 | 45 | 313 774.48/774.63 c 511s | 13 | 566940 | 56032 | 104959 0 | 45 | 313 776.97/777.14 c 513s | 13 | 568561 | 56332 | 104959 0 | 45 | 313 779.77/779.95 c 516s | 13 | 570046 | 56632 | 104959 0 | 45 | 313 782.18/782.38 c 519s | 13 | 571174 | 56932 | 104959 0 | 45 | 313 784.97/785.14 c 521s | 13 | 573467 | 57232 | 104959 0 | 45 | 313 787.37/787.55 c 524s | 13 | 574606 | 57532 | 104959 0 | 45 | 313 789.97/790.10 c 526s | 13 | 575987 | 57832 | 104959 0 | 45 | 313 792.27/792.46 c 529s | 13 | 577184 | 58132 | 104959 0 | 45 | 313 794.17/794.30 c 530s | 14 | 578233 | 58352 | 104959 0 | 45 | 313 796.17/796.32 c 532s | 14 | 580700 | 58552 | 104959 0 | 45 | 313 798.67/798.80 c 535s | 14 | 581649 | 58852 | 104959 0 | 45 | 313 801.27/801.48 c 538s | 14 | 584490 | 59152 | 104959 0 | 45 | 313 803.56/803.72 c 540s | 14 | 586634 | 59352 | 104959 0 | 45 | 313 805.56/805.73 c 542s | 14 | 589794 | 59552 | 104959 0 | 45 | 313 807.66/807.86 c 544s | 14 | 592087 | 59752 | 104959 0 | 45 | 313 809.86/810.01 c 546s | 14 | 593932 | 59952 | 104959 0 | 45 | 313 812.16/812.33 c 549s | 14 | 597238 | 60152 | 104959 0 | 45 | 313 814.17/814.38 c 551s | 14 | 599951 | 60352 | 104959 0 | 45 | 313 817.16/817.33 c 554s | 14 | 602907 | 60652 | 104959 0 | 45 | 313 821.46/821.60 c 558s | 14 | 604923 | 60952 | 104959 0 | 45 | 313 824.16/824.37 c 561s | 14 | 607665 | 61252 | 104959 0 | 45 | 313 826.76/826.96 c 563s | 14 | 609668 | 61552 | 104959 0 | 45 | 313 829.76/829.91 c 566s | 14 | 612555 | 61852 | 104959 0 | 45 | 313 832.26/832.46 c 569s | 14 | 613567 | 62152 | 104959 0 | 45 | 313 834.96/835.11 c 571s | 14 | 614659 | 62452 | 104959 0 | 45 | 313 837.75/837.93 c 574s | 14 | 616472 | 62752 | 104959 0 | 45 | 313 839.75/839.94 c 576s | 14 | 617913 | 62952 | 104959 0 | 45 | 313 842.25/842.40 c 579s | 14 | 619361 | 63252 | 104959 0 | 45 | 313 844.96/845.11 c 581s | 14 | 620965 | 63552 | 104959 0 | 45 | 313 847.65/847.88 c 584s | 14 | 622855 | 63852 | 104959 0 | 45 | 313 850.55/850.72 c 587s | 14 | 625109 | 64152 | 104959 0 | 45 | 313 852.85/853.02 c 589s | 14 | 626472 | 64352 | 104959 0 | 45 | 313 855.75/855.98 c 592s | 14 | 628796 | 64552 | 104959 0 | 45 | 313 858.54/858.77 c 595s | 14 | 630564 | 64752 | 104959 0 | 45 | 313 861.45/861.67 c 598s | 14 | 632925 | 64952 | 104959 0 | 45 | 313 864.24/864.40 c 601s | 14 | 634883 | 65152 | 104959 0 | 45 | 313 866.94/867.18 c 603s | 14 | 637345 | 65352 | 104959 0 | 45 | 313 869.64/869.85 c 606s | 14 | 639017 | 65552 | 104959 0 | 45 | 313 872.74/872.95 c 609s | 14 | 641961 | 65752 | 104959 0 | 45 | 313 875.53/875.70 c 612s | 14 | 643725 | 65952 | 104959 0 | 45 | 313 877.73/877.98 c 614s | 14 | 647384 | 66152 | 104959 0 | 45 | 313 880.83/881.06 c 617s | 14 | 650981 | 66452 | 104959 0 | 45 | 313 882.83/883.06 c 619s | 14 | 652630 | 66652 | 104959 0 | 45 | 313 885.33/885.51 c 622s | 14 | 654606 | 66952 | 104959 0 | 45 | 313 887.42/887.69 c 624s | 14 | 656187 | 67252 | 104959 0 | 45 | 313 890.32/890.57 c 627s | 14 | 656911 | 67552 | 104959 0 | 45 | 313 893.23/893.43 c 630s | 14 | 658354 | 67852 | 104959 0 | 45 | 313 895.92/896.17 c 632s | 14 | 660850 | 68052 | 104959 0 | 45 | 313 898.43/898.66 c 635s | 14 | 662313 | 68252 | 104959 0 | 45 | 313 900.83/901.08 c 637s | 14 | 663042 | 68452 | 104959 0 | 45 | 313 903.42/903.65 c 640s | 14 | 663797 | 68652 | 104959 0 | 45 | 313 905.72/905.99 c 642s | 14 | 664348 | 68852 | 104959 0 | 45 | 313 908.22/908.47 c 645s | 14 | 665428 | 69052 | 104959 0 | 45 | 313 910.93/911.10 c 647s | 14 | 666412 | 69252 | 104959 0 | 45 | 313 913.32/913.53 c 650s | 14 | 669438 | 69452 | 104959 0 | 45 | 313 915.82/916.02 c 652s | 14 | 673048 | 69752 | 104959 0 | 45 | 313 918.31/918.51 c 655s | 14 | 675606 | 70052 | 104959 0 | 45 | 313 921.31/921.50 c 658s | 14 | 678746 | 70352 | 104959 0 | 45 | 313 923.91/924.10 c 660s | 14 | 681191 | 70652 | 104959 0 | 45 | 313 926.22/926.42 c 663s | 14 | 683940 | 70952 | 104959 0 | 45 | 313 928.52/928.73 c 665s | 14 | 686470 | 71252 | 104959 0 | 45 | 313 930.81/931.10 c 667s | 14 | 688638 | 71552 | 104959 0 | 45 | 313 933.21/933.44 c 670s | 14 | 690375 | 71852 | 104959 0 | 45 | 313 935.81/936.08 c 672s | 14 | 693198 | 72152 | 104959 0 | 45 | 313 938.20/938.43 c 675s | 14 | 694959 | 72452 | 104959 0 | 45 | 313 940.70/940.90 c 677s | 14 | 695958 | 72752 | 104959 0 | 45 | 313 943.20/943.41 c 680s | 14 | 698329 | 73052 | 104959 0 | 45 | 313 945.80/946.08 c 682s | 14 | 700289 | 73352 | 104959 0 | 45 | 313 948.49/948.76 c 685s | 14 | 703156 | 73652 | 104959 0 | 45 | 313 951.19/951.48 c 688s | 14 | 705560 | 73952 | 104959 0 | 45 | 313 953.59/953.80 c 690s | 14 | 707187 | 74252 | 104959 0 | 45 | 313 956.09/956.30 c 692s | 14 | 708527 | 74552 | 104959 0 | 45 | 313 958.49/958.73 c 695s | 14 | 710066 | 74852 | 104959 0 | 45 | 313 961.50/961.78 c 698s | 14 | 713512 | 75152 | 104959 0 | 45 | 313 964.19/964.49 c 701s | 14 | 715382 | 75452 | 104959 0 | 45 | 313 966.29/966.54 c 703s | 14 | 716408 | 75652 | 104959 0 | 45 | 313 968.28/968.55 c 705s | 14 | 716939 | 75852 | 104959 0 | 45 | 313 971.18/971.43 c 708s | 14 | 718336 | 76152 | 104959 0 | 45 | 313 973.28/973.58 c 710s | 14 | 719391 | 76352 | 104959 0 | 45 | 313 976.18/976.40 c 713s | 14 | 720793 | 76652 | 104959 0 | 45 | 313 979.48/979.79 c 716s | 14 | 721802 | 76952 | 104959 0 | 45 | 313 982.08/982.39 c 719s | 14 | 722722 | 77152 | 104959 0 | 45 | 313 984.68/984.98 c 721s | 14 | 725742 | 77452 | 104959 0 | 45 | 313 987.07/987.39 c 724s | 14 | 727566 | 77752 | 104959 0 | 45 | 313 989.57/989.84 c 726s | 14 | 729340 | 78052 | 104959 0 | 45 | 313 991.97/992.20 c 728s | 14 | 730994 | 78352 | 104959 0 | 45 | 313 994.17/994.47 c 731s | 14 | 732169 | 78652 | 104959 0 | 45 | 313 997.06/997.36 c 734s | 14 | 735432 | 78952 | 104959 0 | 45 | 313 999.76/1000.08 c 736s | 14 | 738010 | 79252 | 104959 0 | 45 | 313 1002.36/1002.60 c 739s | 14 | 740511 | 79552 | 104959 0 | 45 | 313 1004.86/1005.15 c 741s | 14 | 743259 | 79852 | 104959 0 | 45 | 313 1007.36/1007.67 c 744s | 14 | 745664 | 80152 | 104959 0 | 45 | 313 1009.77/1010.10 c 746s | 14 | 747265 | 80452 | 104959 0 | 45 | 313 1012.66/1012.90 c 749s | 14 | 749521 | 80752 | 104959 0 | 45 | 313 1014.76/1015.09 c 751s | 14 | 752078 | 80952 | 104959 0 | 45 | 313 1017.76/1018.03 c 754s | 14 | 754595 | 81252 | 104959 0 | 45 | 313 1020.25/1020.59 c 757s | 14 | 757328 | 81552 | 104959 0 | 45 | 313 1022.75/1023.08 c 759s | 14 | 760765 | 81852 | 104959 0 | 45 | 313 1025.26/1025.51 c 762s | 14 | 762507 | 82152 | 104959 0 | 45 | 313 1027.65/1027.96 c 764s | 14 | 764923 | 82452 | 104959 0 | 45 | 313 1030.15/1030.45 c 767s | 14 | 766991 | 82752 | 104959 0 | 45 | 313 1032.75/1033.04 c 769s | 14 | 768051 | 83052 | 104959 0 | 45 | 313 1035.35/1035.61 c 772s | 14 | 769232 | 83352 | 104959 0 | 45 | 313 1037.74/1038.00 c 774s | 14 | 770226 | 83652 | 104959 0 | 45 | 313 1040.65/1040.94 c 777s | 14 | 772019 | 83952 | 104959 0 | 45 | 313 1042.64/1042.99 c 779s | 14 | 774270 | 84152 | 104959 0 | 45 | 313 1044.74/1045.01 c 781s | 14 | 775798 | 84352 | 104959 0 | 45 | 313 1046.74/1047.03 c 783s | 14 | 777409 | 84552 | 104959 0 | 45 | 313 1049.14/1049.48 c 786s | 14 | 779628 | 84852 | 104959 0 | 45 | 313 1051.54/1051.85 c 788s | 14 | 781681 | 85152 | 104959 0 | 45 | 313 1054.23/1054.51 c 791s | 14 | 784921 | 85452 | 104959 0 | 45 | 313 1056.83/1057.16 c 793s | 14 | 787517 | 85752 | 104959 0 | 45 | 313 1059.43/1059.72 c 796s | 14 | 790447 | 86052 | 104959 0 | 45 | 313 1061.83/1062.17 c 798s | 14 | 792149 | 86352 | 104959 0 | 45 | 313 1065.13/1065.42 c 802s | 14 | 795613 | 86652 | 104959 0 | 45 | 313 1067.73/1068.02 c 804s | 14 | 798128 | 86952 | 104959 0 | 45 | 313 1070.43/1070.77 c 807s | 14 | 799806 | 87252 | 104959 0 | 45 | 313 1073.43/1073.80 c 810s | 14 | 800920 | 87552 | 104959 0 | 45 | 313 1074.23/1074.58 c 811s | 15 | 801177 | 87632 | 104959 0 | 45 | 313 1076.94/1077.25 c 813s | 15 | 805565 | 87832 | 104959 0 | 45 | 313 1079.33/1079.62 c 816s | 15 | 810135 | 88032 | 104959 0 | 45 | 313 1081.34/1081.67 c 818s | 15 | 811611 | 88232 | 104959 0 | 45 | 313 1084.13/1084.45 c 821s | 15 | 815021 | 88432 | 104959 0 | 45 | 313 1086.63/1086.95 c 823s | 15 | 817164 | 88632 | 104959 0 | 45 | 313 1088.82/1089.11 c 825s | 15 | 819102 | 88832 | 104959 0 | 45 | 313 1091.92/1092.20 c 828s | 15 | 821468 | 89032 | 104959 0 | 45 | 313 1094.22/1094.52 c 831s | 15 | 824044 | 89232 | 104959 0 | 45 | 313 1097.11/1097.40 c 834s | 15 | 826809 | 89432 | 104959 0 | 45 | 313 1100.02/1100.39 c 837s | 15 | 828715 | 89732 | 104959 0 | 45 | 313 1102.81/1103.12 c 839s | 15 | 829961 | 90032 | 104959 0 | 45 | 313 1105.21/1105.53 c 842s | 15 | 830801 | 90232 | 104959 0 | 45 | 313 1107.51/1107.86 c 844s | 15 | 832206 | 90432 | 104959 0 | 45 | 313 1110.11/1110.46 c 847s | 15 | 834007 | 90732 | 104959 0 | 45 | 313 1112.90/1113.20 c 849s | 15 | 836953 | 91032 | 104959 0 | 45 | 313 1114.90/1115.24 c 851s | 15 | 839629 | 91232 | 104959 0 | 45 | 313 1117.10/1117.41 c 854s | 15 | 841208 | 91432 | 104959 0 | 45 | 313 1120.20/1120.55 c 857s | 15 | 843860 | 91732 | 104959 0 | 45 | 313 1123.11/1123.48 c 860s | 15 | 846386 | 91932 | 104959 0 | 45 | 313 1125.60/1125.95 c 862s | 15 | 850445 | 92132 | 104959 0 | 45 | 313 1128.09/1128.43 c 865s | 15 | 853330 | 92332 | 104959 0 | 45 | 313 1130.29/1130.64 c 867s | 15 | 855658 | 92532 | 104959 0 | 45 | 313 1133.59/1133.91 c 870s | 15 | 859367 | 92832 | 104959 0 | 45 | 313 1136.20/1136.57 c 873s | 15 | 864332 | 93032 | 104959 0 | 45 | 313 1138.59/1138.90 c 875s | 15 | 867490 | 93232 | 104959 0 | 45 | 313 1140.60/1140.92 c 877s | 15 | 869372 | 93432 | 104959 0 | 45 | 313 1142.69/1143.08 c 879s | 15 | 871350 | 93632 | 104959 0 | 45 | 313 1145.59/1145.92 c 882s | 15 | 873310 | 93932 | 104959 0 | 45 | 313 1148.09/1148.41 c 885s | 15 | 875494 | 94232 | 104959 0 | 45 | 313 1150.49/1150.90 c 887s | 15 | 876811 | 94532 | 104959 0 | 45 | 313 1153.39/1153.70 c 890s | 15 | 878927 | 94832 | 104959 0 | 45 | 313 1155.88/1156.29 c 892s | 15 | 880798 | 95132 | 104959 0 | 45 | 313 1157.98/1158.31 c 894s | 15 | 881573 | 95332 | 104959 0 | 45 | 313 1160.68/1161.05 c 897s | 15 | 883082 | 95632 | 104959 0 | 45 | 313 1163.58/1163.91 c 900s | 15 | 883974 | 95932 | 104959 0 | 45 | 313 1165.89/1166.26 c 902s | 15 | 884896 | 96132 | 104959 0 | 45 | 313 1168.48/1168.85 c 905s | 15 | 885800 | 96332 | 104959 0 | 45 | 313 1171.48/1171.86 c 908s | 15 | 887614 | 96632 | 104959 0 | 45 | 313 1174.18/1174.56 c 911s | 15 | 890652 | 96932 | 104959 0 | 45 | 313 1176.88/1177.28 c 913s | 15 | 893587 | 97232 | 104959 0 | 45 | 313 1179.77/1180.14 c 916s | 15 | 895869 | 97532 | 104959 0 | 45 | 313 1182.57/1182.97 c 919s | 15 | 898559 | 97832 | 104959 0 | 45 | 313 1185.57/1185.91 c 922s | 15 | 900904 | 98132 | 104959 0 | 45 | 313 1188.47/1188.81 c 925s | 15 | 903923 | 98432 | 104959 0 | 45 | 313 1190.47/1190.86 c 927s | 15 | 905055 | 98632 | 104959 0 | 45 | 313 1193.27/1193.61 c 930s | 15 | 907487 | 98932 | 104959 0 | 45 | 313 1195.27/1195.69 c 932s | 15 | 908500 | 99132 | 104959 0 | 45 | 313 1198.17/1198.59 c 935s | 15 | 911187 | 99432 | 104959 0 | 45 | 313 1201.07/1201.42 c 938s | 15 | 913219 | 99732 | 104959 0 | 45 | 313 1203.57/1203.96 c 940s | 15 | 914351 | 100032 | 104959 0 | 45 | 313 1206.57/1206.96 c 943s | 15 | 915501 | 100332 | 104959 0 | 45 | 313 1209.06/1209.48 c 946s | 15 | 916472 | 100532 | 104959 0 | 45 | 313 1212.07/1212.50 c 949s | 15 | 918116 | 100832 | 104959 0 | 45 | 313 1214.76/1215.17 c 951s | 15 | 919768 | 101132 | 104959 0 | 45 | 313 1217.56/1217.97 c 954s | 15 | 920999 | 101432 | 104959 0 | 45 | 313 1219.76/1220.10 c 956s | 15 | 922740 | 101632 | 104959 0 | 45 | 313 1222.46/1222.89 c 959s | 15 | 924108 | 101932 | 104959 0 | 45 | 313 1225.16/1225.59 c 962s | 15 | 926407 | 102232 | 104959 0 | 45 | 313 1227.35/1227.73 c 964s | 15 | 928779 | 102432 | 104959 0 | 45 | 313 1229.45/1229.86 c 966s | 15 | 930946 | 102632 | 104959 0 | 45 | 313 1231.86/1232.23 c 968s | 15 | 933751 | 102832 | 104959 0 | 45 | 313 1234.06/1234.47 c 971s | 15 | 935533 | 103032 | 104959 0 | 45 | 313 1236.36/1236.78 c 973s | 15 | 938209 | 103232 | 104959 0 | 45 | 313 1239.25/1239.61 c 976s | 15 | 940908 | 103532 | 104959 0 | 45 | 313 1241.45/1241.85 c 978s | 15 | 942731 | 103732 | 104959 0 | 45 | 313 1243.65/1244.02 c 980s | 15 | 945318 | 103932 | 104959 0 | 45 | 313 1245.75/1246.12 c 982s | 15 | 946812 | 104132 | 104959 0 | 45 | 313 1248.05/1248.43 c 985s | 15 | 948407 | 104332 | 104959 0 | 45 | 313 1250.55/1250.91 c 987s | 15 | 950852 | 104532 | 104959 0 | 45 | 313 1252.75/1253.11 c 989s | 15 | 951518 | 104732 | 104959 0 | 45 | 313 1254.95/1255.37 c 992s | 15 | 952733 | 104932 | 104959 0 | 45 | 313 1257.34/1257.71 c 994s | 15 | 956483 | 105132 | 104959 0 | 45 | 313 1260.24/1260.69 c 997s | 15 | 959906 | 105332 | 104959 0 | 45 | 313 1263.34/1263.77 c 1000s | 15 | 961752 | 105532 | 104959 0 | 45 | 313 1265.95/1266.31 c 1002s | 15 | 964222 | 105732 | 104959 0 | 45 | 313 1268.04/1268.47 c 1005s | 15 | 966230 | 105932 | 104959 0 | 45 | 313 1270.34/1270.80 c 1007s | 15 | 968886 | 106132 | 104959 0 | 45 | 313 1273.34/1273.70 c 1010s | 15 | 970782 | 106432 | 104959 0 | 45 | 313 1275.84/1276.23 c 1012s | 15 | 972501 | 106632 | 104959 0 | 45 | 313 1278.33/1278.72 c 1015s | 15 | 974900 | 106832 | 104959 0 | 45 | 313 1280.93/1281.35 c 1018s | 15 | 976851 | 107032 | 104959 0 | 45 | 313 1283.03/1283.41 c 1020s | 15 | 978594 | 107232 | 104959 0 | 45 | 313 1286.13/1286.60 c 1023s | 15 | 981541 | 107532 | 104959 0 | 45 | 313 1288.73/1289.14 c 1025s | 15 | 983706 | 107732 | 104959 0 | 45 | 313 1292.13/1292.59 c 1029s | 15 | 985801 | 107932 | 104959 0 | 45 | 313 1294.53/1294.93 c 1031s | 15 | 986531 | 108132 | 104959 0 | 45 | 313 1297.32/1297.73 c 1034s | 15 | 990140 | 108332 | 104959 0 | 45 | 313 1301.03/1301.45 c 1038s | 15 | 992160 | 108532 | 104959 1 | 45 | 313 1303.63/1304.02 c 1040s | 15 | 993884 | 108732 | 104959 1 | 45 | 313 1305.64/1306.02 c 1042s | 15 | 995464 | 108932 | 104959 1 | 45 | 313 1307.73/1308.12 c 1044s | 15 | 997238 | 109132 | 104959 1 | 45 | 313 1310.03/1310.49 c 1047s | 15 | 999036 | 109332 | 104959 1 | 45 | 313 1312.82/1313.20 c 1049s | 15 | 1001402 | 109632 | 104959 1 | 45 | 313 1315.62/1316.10 c 1052s | 15 | 1003743 | 109932 | 115455 1 | 45 | 313 1318.52/1318.98 c 1055s | 15 | 1005374 | 110232 | 115455 1 | 45 | 313 1320.62/1321.02 c 1057s | 15 | 1006489 | 110432 | 115455 1 | 45 | 313 1322.62/1323.05 c 1059s | 15 | 1007077 | 110632 | 115455 1 | 45 | 313 1325.12/1325.51 c 1062s | 15 | 1007899 | 110832 | 115455 1 | 45 | 313 1327.31/1327.74 c 1064s | 15 | 1008583 | 111032 | 115455 1 | 45 | 313 1331.01/1331.44 c 1068s | 15 | 1010368 | 111232 | 115455 1 | 45 | 313 1333.91/1334.39 c 1071s | 15 | 1012396 | 111432 | 115455 1 | 45 | 313 1336.01/1336.41 c 1073s | 15 | 1014567 | 111632 | 115455 1 | 45 | 313 1338.70/1339.16 c 1075s | 15 | 1016907 | 111932 | 115455 1 | 45 | 313 1341.60/1342.09 c 1078s | 15 | 1018381 | 112232 | 115455 1 | 45 | 313 1343.80/1344.24 c 1080s | 15 | 1019502 | 112432 | 115455 1 | 45 | 313 1346.00/1346.43 c 1083s | 15 | 1021328 | 112632 | 115455 1 | 45 | 313 1348.70/1349.18 c 1085s | 15 | 1022773 | 112932 | 115455 1 | 45 | 313 1350.90/1351.34 c 1088s | 15 | 1023883 | 113132 | 115455 1 | 45 | 313 1352.91/1353.37 c 1090s | 15 | 1025128 | 113332 | 115455 1 | 45 | 313 1355.01/1355.43 c 1092s | 15 | 1026968 | 113532 | 115455 1 | 45 | 313 1357.80/1358.27 c 1094s | 15 | 1029786 | 113832 | 115455 1 | 45 | 313 1360.90/1361.31 c 1097s | 15 | 1032526 | 114132 | 115455 1 | 45 | 313 1362.90/1363.32 c 1099s | 15 | 1033346 | 114332 | 115455 1 | 45 | 313 1365.90/1366.32 c 1102s | 15 | 1035257 | 114632 | 115455 1 | 45 | 313 1368.49/1368.96 c 1105s | 15 | 1036552 | 114932 | 115455 1 | 45 | 313 1370.69/1371.12 c 1107s | 15 | 1038867 | 115132 | 115455 1 | 45 | 313 1373.59/1374.09 c 1110s | 15 | 1040757 | 115432 | 115455 1 | 45 | 313 1376.69/1377.18 c 1113s | 15 | 1043349 | 115732 | 115455 1 | 45 | 313 1379.39/1379.83 c 1116s | 15 | 1044952 | 115932 | 115455 1 | 45 | 313 1381.59/1382.09 c 1118s | 15 | 1046546 | 116132 | 115455 1 | 45 | 313 1383.79/1384.26 c 1120s | 15 | 1047280 | 116332 | 115455 1 | 45 | 313 1386.69/1387.10 c 1123s | 15 | 1048697 | 116532 | 115455 1 | 45 | 313 1388.98/1389.50 c 1126s | 15 | 1051690 | 116732 | 115455 1 | 45 | 313 1391.29/1391.79 c 1128s | 15 | 1054249 | 116932 | 115455 1 | 45 | 313 1393.59/1394.01 c 1130s | 15 | 1056905 | 117132 | 115455 1 | 45 | 313 1395.69/1396.12 c 1132s | 15 | 1059208 | 117332 | 115455 1 | 45 | 313 1398.48/1398.94 c 1135s | 15 | 1061268 | 117632 | 115455 1 | 45 | 313 1401.18/1401.70 c 1138s | 15 | 1063609 | 117932 | 115455 1 | 45 | 313 1403.77/1404.21 c 1140s | 15 | 1066039 | 118232 | 115455 1 | 45 | 313 1406.07/1406.54 c 1143s | 15 | 1067631 | 118532 | 115455 1 | 45 | 313 1408.47/1408.91 c 1145s | 15 | 1069358 | 118832 | 115455 1 | 45 | 313 1411.18/1411.64 c 1148s | 15 | 1071386 | 119132 | 115455 1 | 45 | 313 1413.77/1414.22 c 1150s | 15 | 1073270 | 119432 | 115455 1 | 45 | 313 1415.77/1416.25 c 1152s | 15 | 1074998 | 119632 | 115455 1 | 45 | 313 1418.47/1418.92 c 1155s | 15 | 1077034 | 119932 | 115455 1 | 45 | 313 1420.97/1421.42 c 1158s | 15 | 1079222 | 120232 | 115455 1 | 45 | 313 1423.68/1424.12 c 1160s | 15 | 1080919 | 120532 | 115455 1 | 45 | 313 1426.28/1426.77 c 1163s | 15 | 1082982 | 120832 | 115455 1 | 45 | 313 1429.17/1429.67 c 1166s | 15 | 1085119 | 121132 | 115455 1 | 45 | 313 1432.08/1432.52 c 1169s | 15 | 1087315 | 121432 | 115455 1 | 45 | 313 1434.97/1435.40 c 1172s | 15 | 1088681 | 121732 | 115455 1 | 45 | 313 1436.97/1437.41 c 1174s | 15 | 1089397 | 121932 | 115455 1 | 45 | 313 1439.87/1440.33 c 1177s | 15 | 1091145 | 122132 | 115455 1 | 45 | 313 1442.47/1442.96 c 1179s | 15 | 1092249 | 122332 | 115455 1 | 45 | 313 1445.67/1446.16 c 1182s | 15 | 1095308 | 122532 | 115455 1 | 45 | 313 1447.87/1448.32 c 1185s | 15 | 1097690 | 122732 | 115455 1 | 45 | 313 1450.78/1451.25 c 1187s | 15 | 1099757 | 123032 | 115455 1 | 45 | 313 1452.88/1453.40 c 1190s | 15 | 1101977 | 123232 | 115455 1 | 45 | 313 1455.67/1456.18 c 1192s | 15 | 1106149 | 123432 | 115455 1 | 45 | 313 1458.27/1458.73 c 1195s | 15 | 1107869 | 123632 | 115455 1 | 45 | 313 1460.77/1461.25 c 1197s | 15 | 1108502 | 123832 | 115455 1 | 45 | 313 1463.97/1464.48 c 1201s | 15 | 1110149 | 124032 | 115455 1 | 45 | 313 1466.27/1466.75 c 1203s | 15 | 1111102 | 124232 | 115455 1 | 45 | 313 1468.97/1469.45 c 1206s | 15 | 1112403 | 124432 | 115455 1 | 45 | 313 1471.47/1471.99 c 1208s | 15 | 1113581 | 124632 | 115455 1 | 45 | 313 1474.07/1474.58 c 1211s | 15 | 1115690 | 124832 | 115455 1 | 45 | 313 1477.36/1477.83 c 1214s | 15 | 1117904 | 125132 | 115455 1 | 45 | 313 1479.96/1480.42 c 1217s | 15 | 1119270 | 125332 | 115455 1 | 45 | 313 1482.57/1483.01 c 1219s | 15 | 1120421 | 125532 | 115455 1 | 45 | 313 1485.46/1485.98 c 1222s | 15 | 1122144 | 125832 | 115455 1 | 45 | 313 1487.56/1488.09 c 1224s | 15 | 1122912 | 126032 | 115455 1 | 45 | 313 1490.37/1490.89 c 1227s | 15 | 1124270 | 126232 | 115455 1 | 45 | 313 1492.66/1493.15 c 1229s | 15 | 1125475 | 126432 | 115455 1 | 45 | 313 1495.06/1495.54 c 1232s | 15 | 1126534 | 126632 | 115455 1 | 45 | 313 1497.46/1497.95 c 1234s | 15 | 1127987 | 126832 | 115455 1 | 45 | 313 1500.36/1500.80 c 1237s | 15 | 1129379 | 127032 | 115455 1 | 45 | 313 1502.37/1502.90 c 1239s | 15 | 1130271 | 127232 | 115455 1 | 45 | 313 1505.77/1506.26 c 1242s | 15 | 1132082 | 127532 | 115455 1 | 45 | 313 1508.16/1508.61 c 1245s | 15 | 1133418 | 127732 | 115455 1 | 45 | 313 1510.46/1510.93 c 1247s | 15 | 1134245 | 127932 | 115455 1 | 45 | 313 1512.46/1512.94 c 1249s | 15 | 1134922 | 128132 | 115455 1 | 45 | 313 1514.57/1515.04 c 1251s | 15 | 1135552 | 128332 | 115455 1 | 45 | 313 1516.66/1517.17 c 1253s | 15 | 1136116 | 128532 | 115455 1 | 45 | 313 1519.36/1519.81 c 1256s | 15 | 1136676 | 128732 | 115455 1 | 45 | 313 1521.96/1522.46 c 1259s | 15 | 1137981 | 128932 | 115455 1 | 45 | 313 1524.16/1524.62 c 1261s | 15 | 1139088 | 129132 | 115455 1 | 45 | 313 1526.26/1526.76 c 1263s | 15 | 1140055 | 129332 | 115455 1 | 45 | 313 1529.25/1529.71 c 1266s | 15 | 1141568 | 129632 | 115455 1 | 45 | 313 1532.06/1532.60 c 1269s | 15 | 1143088 | 129932 | 115455 1 | 45 | 313 1534.55/1535.05 c 1271s | 15 | 1143821 | 130132 | 115455 1 | 45 | 313 1537.56/1538.02 c 1274s | 15 | 1144560 | 130332 | 115455 1 | 45 | 313 1540.15/1540.68 c 1277s | 15 | 1145716 | 130532 | 115455 1 | 45 | 313 1542.95/1543.50 c 1280s | 15 | 1147444 | 130732 | 115455 1 | 45 | 313 1545.65/1546.11 c 1282s | 15 | 1149102 | 130932 | 115455 1 | 45 | 313 1549.15/1549.65 c 1286s | 15 | 1152133 | 131232 | 115455 1 | 45 | 313 1551.35/1551.87 c 1288s | 15 | 1153331 | 131432 | 115455 1 | 45 | 313 1553.15/1553.66 c 1290s | 16 | 1154508 | 131552 | 115455 1 | 45 | 313 1555.85/1556.32 c 1292s | 16 | 1157379 | 131752 | 115455 1 | 45 | 313 1558.75/1559.21 c 1295s | 16 | 1158928 | 131952 | 115455 1 | 45 | 313 1562.05/1562.59 c 1299s | 16 | 1159964 | 132152 | 115455 1 | 45 | 313 1567.15/1567.68 c 1304s | 16 | 1161987 | 132352 | 115455 1 | 45 | 313 1570.85/1571.32 c 1308s | 16 | 1164871 | 132552 | 115455 1 | 45 | 313 1572.95/1573.41 c 1310s | 16 | 1167083 | 132652 | 115455 1 | 45 | 313 1576.95/1577.47 c 1314s | 16 | 1169236 | 132852 | 115455 1 | 45 | 313 1580.95/1581.43 c 1318s | 16 | 1171774 | 133052 | 115455 1 | 45 | 313 1582.95/1583.48 c 1320s | 16 | 1173142 | 133152 | 115455 1 | 45 | 313 1585.05/1585.57 c 1322s | 16 | 1174878 | 133252 | 115455 1 | 45 | 313 1587.16/1587.67 c 1324s | 16 | 1175675 | 133352 | 115455 1 | 45 | 313 1589.36/1589.82 c 1326s | 16 | 1177678 | 133452 | 115455 1 | 45 | 313 1591.35/1591.85 c 1328s | 16 | 1178325 | 133552 | 115455 1 | 45 | 313 1593.45/1593.94 c 1330s | 16 | 1180349 | 133652 | 115455 1 | 45 | 313 1597.35/1597.85 c 1334s | 16 | 1181585 | 133852 | 115455 1 | 45 | 313 1599.35/1599.85 c 1336s | 16 | 1181984 | 133952 | 115455 1 | 45 | 313 1601.46/1601.99 c 1338s | 16 | 1182259 | 134052 | 115455 1 | 45 | 313 1603.66/1604.19 c 1340s | 16 | 1183170 | 134152 | 115455 1 | 45 | 313 1607.65/1608.12 c 1344s | 16 | 1185150 | 134352 | 115455 1 | 45 | 313 1611.55/1612.08 c 1348s | 16 | 1185764 | 134552 | 115455 1 | 45 | 313 1615.65/1616.19 c 1352s | 16 | 1187887 | 134752 | 115455 1 | 45 | 313 1619.05/1619.59 c 1356s | 16 | 1189113 | 134952 | 115455 1 | 45 | 313 1622.85/1623.39 c 1360s | 16 | 1189847 | 135152 | 115455 1 | 45 | 313 1624.95/1625.42 c 1362s | 16 | 1191331 | 135252 | 115455 1 | 45 | 313 1627.94/1628.47 c 1365s | 16 | 1194908 | 135452 | 115455 1 | 45 | 313 1631.34/1631.87 c 1368s | 16 | 1201244 | 135652 | 115455 1 | 45 | 313 1633.94/1634.49 c 1371s | 16 | 1203986 | 135852 | 115455 1 | 45 | 313 1636.55/1637.03 c 1373s | 16 | 1205712 | 136052 | 115455 1 | 45 | 313 1638.94/1639.45 c 1376s | 16 | 1208308 | 136252 | 115455 1 | 45 | 313 1641.34/1641.80 c 1378s | 16 | 1209816 | 136452 | 115455 1 | 45 | 313 1643.64/1644.18 c 1380s | 16 | 1211310 | 136652 | 115455 1 | 45 | 313 1646.14/1646.69 c 1383s | 16 | 1213306 | 136852 | 115455 1 | 45 | 313 1649.04/1649.51 c 1386s | 16 | 1215036 | 137052 | 115455 1 | 45 | 313 1651.64/1652.15 c 1388s | 16 | 1216918 | 137252 | 115455 1 | 45 | 313 1654.34/1654.82 c 1391s | 16 | 1219273 | 137452 | 115455 1 | 45 | 313 1656.74/1657.27 c 1393s | 16 | 1220772 | 137652 | 115455 1 | 45 | 313 1659.34/1659.87 c 1396s | 16 | 1222375 | 137852 | 115455 1 | 45 | 313 1662.34/1662.89 c 1399s | 16 | 1224671 | 138052 | 115455 1 | 45 | 313 1665.14/1665.63 c 1402s | 16 | 1226078 | 138252 | 115455 1 | 45 | 313 1668.04/1668.52 c 1405s | 16 | 1227915 | 138452 | 115455 1 | 45 | 313 1671.94/1672.49 c 1409s | 16 | 1232815 | 138652 | 115455 1 | 45 | 313 1675.84/1676.37 c 1413s | 16 | 1234801 | 138852 | 115455 1 | 45 | 313 1677.84/1678.39 c 1415s | 16 | 1237739 | 138952 | 115455 1 | 45 | 313 1681.64/1682.19 c 1418s | 16 | 1241523 | 139152 | 115455 1 | 45 | 313 1685.43/1685.95 c 1422s | 16 | 1244634 | 139352 | 115455 1 | 45 | 313 1689.44/1689.98 c 1426s | 16 | 1248803 | 139552 | 115455 1 | 45 | 313 1691.43/1691.99 c 1428s | 16 | 1250413 | 139652 | 115455 1 | 45 | 313 1693.63/1694.15 c 1430s | 16 | 1252412 | 139752 | 115455 1 | 45 | 313 1695.83/1696.35 c 1433s | 16 | 1254391 | 139852 | 115455 1 | 45 | 313 1699.83/1700.31 c 1436s | 16 | 1255602 | 140052 | 115455 1 | 45 | 313 1701.93/1702.45 c 1439s | 16 | 1257331 | 140252 | 115455 1 | 45 | 313 1704.13/1704.68 c 1441s | 16 | 1259202 | 140452 | 115455 1 | 45 | 313 1706.43/1706.91 c 1443s | 16 | 1260851 | 140652 | 115455 1 | 45 | 313 1708.43/1708.91 c 1445s | 16 | 1262332 | 140852 | 115455 1 | 45 | 313 1711.03/1711.55 c 1448s | 16 | 1265212 | 141052 | 115455 1 | 45 | 313 1713.23/1713.73 c 1450s | 16 | 1266946 | 141252 | 115455 1 | 45 | 313 1715.93/1716.45 c 1453s | 16 | 1270945 | 141452 | 115455 1 | 45 | 313 1718.33/1718.85 c 1455s | 16 | 1273118 | 141652 | 115455 1 | 45 | 313 1720.73/1721.26 c 1457s | 16 | 1276638 | 141852 | 115455 1 | 45 | 313 1723.33/1723.83 c 1460s | 16 | 1279475 | 142052 | 115455 1 | 45 | 313 1725.63/1726.17 c 1462s | 16 | 1282265 | 142252 | 115455 1 | 45 | 313 1727.83/1728.40 c 1465s | 16 | 1284458 | 142452 | 115455 1 | 45 | 313 1730.22/1730.72 c 1467s | 16 | 1286967 | 142652 | 115455 1 | 45 | 313 1732.52/1733.00 c 1469s | 16 | 1290386 | 142852 | 115455 1 | 45 | 313 1734.82/1735.39 c 1472s | 16 | 1292975 | 143052 | 115455 1 | 45 | 313 1737.42/1737.92 c 1474s | 16 | 1294931 | 143252 | 115455 1 | 45 | 313 1740.03/1740.57 c 1477s | 16 | 1296142 | 143452 | 115455 1 | 45 | 313 1742.72/1743.29 c 1479s | 16 | 1297720 | 143652 | 115455 1 | 45 | 313 1745.43/1745.94 c 1482s | 16 | 1299584 | 143852 | 115455 1 | 45 | 313 1748.42/1748.99 c 1485s | 16 | 1301614 | 144052 | 115455 1 | 45 | 313 1751.12/1751.63 c 1488s | 16 | 1302616 | 144252 | 115455 1 | 45 | 313 1753.72/1754.26 c 1490s | 16 | 1305924 | 144452 | 115455 1 | 45 | 313 1757.02/1757.58 c 1494s | 16 | 1307730 | 144652 | 115455 1 | 45 | 313 1759.22/1759.77 c 1496s | 16 | 1311155 | 144752 | 115455 1 | 45 | 313 1762.92/1763.45 c 1500s | 16 | 1314349 | 144952 | 115455 1 | 45 | 313 1766.52/1767.07 c 1503s | 16 | 1317738 | 145152 | 115455 1 | 45 | 313 1770.42/1770.92 c 1507s | 16 | 1320061 | 145352 | 115455 1 | 45 | 313 1772.42/1772.92 c 1509s | 16 | 1321635 | 145452 | 115455 1 | 45 | 313 1774.52/1775.05 c 1511s | 16 | 1323526 | 145552 | 115455 1 | 45 | 313 1778.42/1778.95 c 1515s | 16 | 1327098 | 145752 | 115455 1 | 45 | 313 1782.32/1782.85 c 1519s | 16 | 1331327 | 145952 | 115455 1 | 45 | 313 1784.41/1784.92 c 1521s | 16 | 1332785 | 146052 | 115455 1 | 45 | 313 1786.41/1786.95 c 1523s | 16 | 1335349 | 146152 | 115455 1 | 45 | 313 1788.42/1788.99 c 1525s | 16 | 1337009 | 146252 | 115455 1 | 45 | 313 1792.21/1792.72 c 1529s | 16 | 1339384 | 146452 | 115455 1 | 45 | 313 1795.81/1796.36 c 1533s | 16 | 1340438 | 146652 | 115455 1 | 45 | 313 1799.32/1799.84 c 1536s | 16 | 1341124 | 146852 | 115455 1 | 45 | 313
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-4079795-1465250187/watcher-4079795-1465250187 -o /tmp/evaluation-result-4079795-1465250187/solver-4079795-1465250187 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079795-1465250187.opb pid=8389 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.05 2.05 2.00 3/179 8392 /proc/meminfo: memFree=30677200/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=704956 CPUtime=0 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 2627 0 0 0 0 0 0 0 20 0 4 0 106953382 721874944 2478 33554432000 4194304 16246674 140734883149440 140734883148864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 176751 2487 441 2943 0 173645 0 [pid=8392/tid=8393] ppid=8389 vsize=722364 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 739700736 2546 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 743895040 2562 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=730556 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106953382 748089344 2580 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.05 2.05 2.00 3/179 8392 /proc/meminfo: memFree=30677200/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 28162 0 0 0 6 3 0 0 20 0 4 0 106953382 1250496512 27950 33554432000 4194304 16246674 140734883149440 140734883148752 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 305297 27957 800 2943 0 302191 0 [pid=8392/tid=8393] ppid=8389 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1250496512 27962 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1250496512 27967 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1250496512 27972 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200537 s] /proc/loadavg: 2.05 2.05 2.00 3/179 8392 /proc/meminfo: memFree=30677200/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 50764 0 0 0 13 6 0 0 20 0 4 0 106953382 1344868352 51063 33554432000 4194304 16246674 140734883149440 140734883148752 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 328337 51063 800 2943 0 325231 0 [pid=8392/tid=8393] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 51063 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 51063 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 51063 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300505 s] /proc/loadavg: 2.05 2.05 2.00 3/179 8392 /proc/meminfo: memFree=30677200/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 56760 0 0 0 22 7 0 0 20 0 4 0 106953382 1344868352 57059 33554432000 4194304 16246674 140734883149440 140734883148752 12752135 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 328337 57059 800 2943 0 325231 0 [pid=8392/tid=8393] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 57059 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 57059 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 57059 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70043 s] /proc/loadavg: 2.05 2.05 2.00 3/179 8392 /proc/meminfo: memFree=30677200/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 85431 0 0 0 57 12 0 0 20 0 4 0 106953382 1344868352 85730 33554432000 4194304 16246674 140734883149440 140734883148752 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 328337 85738 836 2943 0 325231 0 [pid=8392/tid=8393] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 85744 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 85749 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1344868352 85754 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5005 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8396 /proc/meminfo: memFree=29945760/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=1.49 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 188132 0 0 0 122 27 0 0 20 0 4 0 106953382 1372131328 188431 33554432000 4194304 16246674 140734883149440 140734883148752 5869232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 188431 883 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188431 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188431 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188431 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1339972 [startup+3.10045 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8396 /proc/meminfo: memFree=29923920/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=3.09 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 188161 0 0 0 282 27 0 0 20 0 4 0 106953382 1372131328 188460 33554432000 4194304 16246674 140734883149440 140734883131328 12483234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 188460 910 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188460 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188460 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 188460 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1339972 [startup+6.30042 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8396 /proc/meminfo: memFree=29574076/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=6.29 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 275692 0 0 0 591 38 0 0 20 0 4 0 106953382 1372131328 275991 33554432000 4194304 16246674 140734883149440 140734883131328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 275991 910 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275991 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275991 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275991 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1339972 [startup+12.7004 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8396 /proc/meminfo: memFree=29574012/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=12.68 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 275696 0 0 0 1230 38 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 140734883131328 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 275995 913 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1339972 [startup+25.5004 s] /proc/loadavg: 2.03 2.05 2.00 3/183 8396 /proc/meminfo: memFree=29574416/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=25.5 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 275696 0 0 0 2511 39 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 140734883131328 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 275995 913 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1339972 [startup+51.1004 s] /proc/loadavg: 2.02 2.04 2.00 4/182 8396 /proc/meminfo: memFree=29575020/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=51.08 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 275696 0 0 0 5069 39 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 140734883131328 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 275995 913 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275995 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1339972 [startup+102.3 s] /proc/loadavg: 2.12 2.07 2.01 3/183 8399 /proc/meminfo: memFree=29574048/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1339972 CPUtime=102.27 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 275698 0 0 0 10187 40 0 0 20 0 4 0 106953382 1372131328 275997 33554432000 4194304 16246674 140734883149440 140734883131328 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 334993 275997 915 2943 0 331887 0 [pid=8392/tid=8393] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275997 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275997 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1372131328 275997 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1339972 ################ # More data... # ################ /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1344068 [startup+1362.3 s] /proc/loadavg: 2.10 2.07 2.01 3/183 8453 /proc/meminfo: memFree=29532512/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1361.9 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277026 0 0 0 136128 62 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 5675905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1344068 [startup+1422.3 s] /proc/loadavg: 2.11 2.07 2.01 3/184 8457 /proc/meminfo: memFree=29532016/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1421.88 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277057 0 0 0 142123 65 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1344068 [startup+1482.3 s] /proc/loadavg: 2.09 2.07 2.01 3/183 8458 /proc/meminfo: memFree=29532888/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1481.86 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277057 0 0 0 148120 66 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 5673837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1344068 [startup+1542.3 s] /proc/loadavg: 2.11 2.07 2.01 3/183 8459 /proc/meminfo: memFree=29532856/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1541.85 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277057 0 0 0 154119 66 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1344068 [startup+1602.3 s] /proc/loadavg: 2.12 2.07 2.01 3/182 8460 /proc/meminfo: memFree=29533088/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1601.85 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277057 0 0 0 160116 69 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1344068 [startup+1662.3 s] /proc/loadavg: 2.10 2.07 2.01 3/183 8462 /proc/meminfo: memFree=29533304/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1661.85 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277057 0 0 0 166116 69 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 140734883131328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277021 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277021 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1344068 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.00 3/183 8512 /proc/meminfo: memFree=29540096/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1721.83 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277058 0 0 0 172114 69 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 140734883131328 5712550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277277 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1344068 [startup+1782.31 s] /proc/loadavg: 2.08 2.06 2.00 3/183 8513 /proc/meminfo: memFree=29540056/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1781.82 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277058 0 0 0 178113 69 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 140734883131328 5663327 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277277 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1344068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.07 2.01 3/183 8513 /proc/meminfo: memFree=29540432/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1800.01 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277058 0 0 0 179932 69 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 140734883131328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277277 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1344068 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 8392 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.07 2.01 3/183 8513 /proc/meminfo: memFree=29540432/32872528 swapFree=11372/178980 [pid=8392] ppid=8389 vsize=1344068 CPUtime=1800.01 cores=1,3,5,7 /proc/8392/stat : 8392 (toysat) R 8389 8392 4590 0 -1 4202496 277058 0 0 0 179932 69 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 140734883131328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8392/statm: 336017 277277 915 2943 0 332911 0 [pid=8392/tid=8393] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8393/stat : 8393 (toysat) S 8389 8392 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639500287216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8392/tid=8394] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8394/stat : 8394 (toysat) S 8389 8392 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639489797360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8392/tid=8395] ppid=8389 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/8392/task/8395/stat : 8395 (toysat) S 8389 8392 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106953382 1376325632 277277 33554432000 4194304 16246674 140734883149440 139639479323824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1344068 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.33 CPU system time (s): 0.697893 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1344068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.697893 maximum resident set size= 1109108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277058 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= 351 involuntary context switches= 1919 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.79397 second user time and 9.93149 second system time The end
Begin job on node105 at 2016-06-06 23:56:27 IDJOB=4079795 IDBENCH=25003 IDSOLVER=2542 FILE ID=node105/4079795-1465250187 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079795-1465250187/watcher-4079795-1465250187 -o /tmp/evaluation-result-4079795-1465250187/solver-4079795-1465250187 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079795-1465250187.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046 RANDOM SEED=516592942 node105.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.813 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.62 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.813 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.813 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.55 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.813 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.813 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.55 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.813 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.813 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.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30677472 kB Buffers: 57020 kB Cached: 145800 kB SwapCached: 1756 kB Active: 1211504 kB Inactive: 101288 kB Active(anon): 1110892 kB Inactive(anon): 1508 kB Active(file): 100612 kB Inactive(file): 99780 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 18224 kB Writeback: 64 kB AnonPages: 1292396 kB Mapped: 10792 kB Shmem: 0 kB Slab: 570180 kB SReclaimable: 13484 kB SUnreclaim: 556696 kB KernelStack: 1488 kB PageTables: 6688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1431256 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 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 node105 at 2016-06-07 00:26:28