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.06 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb |
| MD5SUM | 580618cb84d1b6d12452a14c6ff54025 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.298954 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 10236 |
| Total number of constraints | 31056 |
| Number of constraints which are clauses | 31056 |
| 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 | 127 |
| Number of terms in the objective function | 5070 |
| 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 | 5070 |
| 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 | 5070 |
| 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:32:07+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-4079843-1465248727.opb"] 0.00/0.01 c use --random-gen="1891018554 3321002001 1181509289 4231303055 4115813324 1805637408 167440750 3410199303 285827216 1264463200 3466622120 4105941968 3623752670 3174456608 385854165 2333681659 3580071329 268502116 3773379479 287320603 4023386705 429139274 1900583484 2163813467 1208013511 3447372645 1213806528 396706232 861316265 3200104749 448754941 3972039550 1151739672 3524004673 3496368085 49742025 2813490504 2051332484 3060296724 3301519293 1960949056 4254000117 1256433634 1596601792 3926045855 3866121271 1248047086 98316226 1998929836 1312698425 2731885473 1385536815 716408116 3256070374 302510850 990458399 1072497313 263354624 1969299126 1688988480 1363642587 1254697096 897018360 984223433 2814742220 2779095477 434344977 2690845621 410660958 3586264511 3646324206 316919321 1748864202 3749418556 2841653124 1954063181 2907076080 3940516277 2758559532 2569444345 452131705 542671427 1288925084 87254187 1705640169 3191980866 4100366081 2586007276 2267225307 3703231285 4079204949 2668317774 236485161 3544864704 1129598379 2243100353 3990802883 2489378854 1236203240 3685071387 356517910 1198901606 2695392061 3652087817 1223859727 3327908974 404726203 2973565644 2306076705 983377566 3401745008 3704851804 1488569873 4056570728 4183399347 1909532742 2394448819 3073188508 3725945565 4012915851 1271884037 3388219529 3239794606 4227798044 2548223255 2870292361 4006787204 4289389357 2529830313 1485604156 3813336787 2200528207 1874084796 596438613 419343278 450439477 2999909380 1307979772 4229968515 4179954646 1823677715 1361756388 1196959716 112202154 4001553620 1413927604 4066229824 3736971399 2981032196 377025133 2127311842 1968203122 2005267552 1044100280 563626016 3417976926 340743573 3156560907 810761127 1349022504 3706172316 1242443095 2732237197 1448840019 1710505101 3059882151 1783993220 4271188796 2874235206 2108049409 2977270415 780882863 359098662 693838879 1546545142 578525574 2743370074 497423436 801633880 2690135414 3623217335 30016993 128561719 54412372 18808008 120494188 858046281 2701280710 1125372091 939300416 3107249885 4026657979 950866263 4063527532 1772928562 3417537355 2929136587 3449306193 2038411941 2576372784 4262098419 1386721530 2440681074 3069830289 3363983841 421506971 3027716496 3913940631 1988635295 3286141082 2970227329 3402594195 1033357477 3496659760 1078885812 483607410 1655293545 2117198381 1561880476 1697576010 3690965996 2740685979 1416690418 1185117198 2697089918 2646817599 3390406951 1984986715 2526220425 3303755711 1007715024 4164285788 632461744 959249412 1525937859 2640708212 2251352343 3305244500 659694273 106572723 2906690877 2337984626 1103637863 2468887229 3395840066 358711131 4112379044 3540427026 572716501 3208711656 4145986167 3344144736 257334026 1925503877 445767839 1358271237 255 362436" option to reproduce the execution 0.19/0.21 c #vars 10236 0.19/0.21 c #constraints 31056 0.49/0.59 c BCD2: Hardening is enabled. 0.49/0.59 c BCD2: BiasedSearch is enabled. 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 0 0.68/0.70 c 0.0s | 0 | 2216 | 0 | 13431 0 | 1976 | 4067 0.68/0.70 c #cpu_time = 0.033s 0.68/0.70 c #wall_clock_time = 0.033s 0.68/0.70 c #decision = 2216 0.68/0.70 c #random_decision = 3 0.68/0.70 c #conflict = 0 0.68/0.70 c #restart = 0 0.68/0.70 o 2220 0.68/0.70 c BCD2: updating upper bound: 5070 -> 2219 0.68/0.75 c BCD2: 0 <= obj <= 2219 0.68/0.75 c BCD2: #cores=0, #unrelaxed=5070, #relaxed=0, #hardened=0 0.68/0.75 c BCD2: #sat=1 #unsat=1 bias=1/2 0.68/0.75 c Solving starts ... 0.68/0.75 c ============================[ Search Statistics ]============================ 0.68/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.75 c | | | | Limit GC | Var | Constra 0.68/0.75 c ============================================================================= 0.68/0.75 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.68/0.77 c 0.0s | 0 | 4 | 0 | 13431 0 | 1976 | 4067 0.68/0.77 c #cpu_time = 0.014s 0.68/0.77 c #wall_clock_time = 0.014s 0.68/0.77 c #decision = 4 0.68/0.77 c #random_decision = 0 0.68/0.77 c #conflict = 0 0.68/0.77 c #restart = 0 0.68/0.77 c BCD2: found a new core of size 1: cost of the new core is >=1 0.68/0.77 c lower bound updated to 1 0.68/0.77 c BCD2: 1 <= obj <= 2219 0.68/0.77 c BCD2: #cores=1, #unrelaxed=5069, #relaxed=1, #hardened=0 0.68/0.77 c BCD2: #sat=1 #unsat=2 bias=2/3 0.68/0.78 c Solving starts ... 0.68/0.78 c ============================[ Search Statistics ]============================ 0.68/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.78 c | | | | Limit GC | Var | Constra 0.68/0.78 c ============================================================================= 0.68/0.78 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.68/0.79 c 0.0s | 0 | 17 | 0 | 13431 0 | 1976 | 4067 0.68/0.79 c #cpu_time = 0.013s 0.68/0.79 c #wall_clock_time = 0.013s 0.68/0.79 c #decision = 17 0.68/0.79 c #random_decision = 0 0.68/0.79 c #conflict = 0 0.68/0.79 c #restart = 0 0.68/0.79 c BCD2: found a new core of size 1: cost of the new core is >=1 0.68/0.79 c lower bound updated to 2 0.68/0.79 c BCD2: 2 <= obj <= 2219 0.68/0.79 c BCD2: #cores=2, #unrelaxed=5068, #relaxed=2, #hardened=0 0.68/0.79 c BCD2: #sat=1 #unsat=3 bias=3/4 0.68/0.79 c Solving starts ... 0.68/0.79 c ============================[ Search Statistics ]============================ 0.68/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.79 c | | | | Limit GC | Var | Constra 0.68/0.79 c ============================================================================= 0.68/0.79 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.78/0.81 c 0.0s | 0 | 20 | 0 | 13431 0 | 1976 | 4067 0.78/0.81 c #cpu_time = 0.013s 0.78/0.81 c #wall_clock_time = 0.013s 0.78/0.81 c #decision = 20 0.78/0.81 c #random_decision = 0 0.78/0.81 c #conflict = 0 0.78/0.81 c #restart = 0 0.78/0.81 c BCD2: found a new core of size 3: cost of the new core is >=1 0.78/0.81 c lower bound updated to 3 0.78/0.81 c BCD2: 3 <= obj <= 2219 0.78/0.81 c BCD2: #cores=3, #unrelaxed=5065, #relaxed=5, #hardened=0 0.78/0.81 c BCD2: #sat=1 #unsat=4 bias=4/5 0.78/0.81 c Solving starts ... 0.78/0.81 c ============================[ Search Statistics ]============================ 0.78/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.81 c | | | | Limit GC | Var | Constra 0.78/0.81 c ============================================================================= 0.78/0.81 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.78/0.82 c 0.0s | 0 | 30 | 0 | 13431 0 | 1976 | 4067 0.78/0.82 c #cpu_time = 0.013s 0.78/0.82 c #wall_clock_time = 0.013s 0.78/0.82 c #decision = 30 0.78/0.82 c #random_decision = 0 0.78/0.82 c #conflict = 0 0.78/0.82 c #restart = 0 0.78/0.82 c BCD2: found a new core of size 3: cost of the new core is >=1 0.78/0.82 c lower bound updated to 4 0.78/0.83 c BCD2: 4 <= obj <= 2219 0.78/0.83 c BCD2: #cores=4, #unrelaxed=5062, #relaxed=8, #hardened=0 0.78/0.83 c BCD2: #sat=1 #unsat=5 bias=5/6 0.78/0.83 c Solving starts ... 0.78/0.83 c ============================[ Search Statistics ]============================ 0.78/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.83 c | | | | Limit GC | Var | Constra 0.78/0.83 c ============================================================================= 0.78/0.83 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.78/0.84 c 0.0s | 0 | 110 | 0 | 13431 0 | 1976 | 4067 0.78/0.84 c #cpu_time = 0.015s 0.78/0.84 c #wall_clock_time = 0.015s 0.78/0.84 c #decision = 110 0.78/0.84 c #random_decision = 0 0.78/0.84 c #conflict = 0 0.78/0.84 c #restart = 0 0.78/0.84 c BCD2: found a new core of size 9: cost of the new core is >=1 0.78/0.84 c lower bound updated to 5 0.78/0.85 c BCD2: 5 <= obj <= 2219 0.78/0.85 c BCD2: #cores=5, #unrelaxed=5053, #relaxed=17, #hardened=0 0.78/0.85 c BCD2: #sat=1 #unsat=6 bias=6/7 0.78/0.85 c Solving starts ... 0.78/0.85 c ============================[ Search Statistics ]============================ 0.78/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.85 c | | | | Limit GC | Var | Constra 0.78/0.85 c ============================================================================= 0.78/0.85 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.78/0.86 c 0.0s | 0 | 199 | 0 | 13431 0 | 1976 | 4067 0.78/0.86 c #cpu_time = 0.014s 0.78/0.86 c #wall_clock_time = 0.014s 0.78/0.86 c #decision = 199 0.78/0.86 c #random_decision = 0 0.78/0.86 c #conflict = 0 0.78/0.86 c #restart = 0 0.78/0.86 c BCD2: found a new core of size 8: cost of the new core is >=1 0.78/0.86 c lower bound updated to 6 0.78/0.87 c BCD2: 6 <= obj <= 2219 0.78/0.87 c BCD2: #cores=6, #unrelaxed=5045, #relaxed=25, #hardened=0 0.78/0.87 c BCD2: #sat=1 #unsat=7 bias=7/8 0.78/0.87 c Solving starts ... 0.78/0.87 c ============================[ Search Statistics ]============================ 0.78/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.87 c | | | | Limit GC | Var | Constra 0.78/0.87 c ============================================================================= 0.78/0.87 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.78/0.88 c 0.0s | 0 | 208 | 0 | 13431 0 | 1976 | 4067 0.78/0.88 c #cpu_time = 0.013s 0.78/0.88 c #wall_clock_time = 0.013s 0.78/0.88 c #decision = 208 0.78/0.88 c #random_decision = 0 0.78/0.88 c #conflict = 0 0.78/0.88 c #restart = 0 0.78/0.88 c BCD2: found a new core of size 10: cost of the new core is >=1 0.78/0.88 c lower bound updated to 7 0.78/0.88 c BCD2: 7 <= obj <= 2219 0.78/0.88 c BCD2: #cores=7, #unrelaxed=5035, #relaxed=35, #hardened=0 0.78/0.88 c BCD2: #sat=1 #unsat=8 bias=8/9 0.78/0.88 c Solving starts ... 0.78/0.88 c ============================[ Search Statistics ]============================ 0.78/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.88 c | | | | Limit GC | Var | Constra 0.78/0.88 c ============================================================================= 0.78/0.88 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.88/0.90 c 0.0s | 0 | 406 | 0 | 13431 0 | 1976 | 4067 0.88/0.90 c #cpu_time = 0.020s 0.88/0.90 c #wall_clock_time = 0.020s 0.88/0.90 c #decision = 406 0.88/0.90 c #random_decision = 0 0.88/0.90 c #conflict = 0 0.88/0.90 c #restart = 0 0.88/0.90 c BCD2: found a new core of size 11: cost of the new core is >=1 0.88/0.90 c lower bound updated to 8 0.88/0.90 c BCD2: 8 <= obj <= 2219 0.88/0.90 c BCD2: #cores=8, #unrelaxed=5024, #relaxed=46, #hardened=0 0.88/0.90 c BCD2: #sat=1 #unsat=9 bias=9/10 0.88/0.90 c Solving starts ... 0.88/0.90 c ============================[ Search Statistics ]============================ 0.88/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.90 c | | | | Limit GC | Var | Constra 0.88/0.90 c ============================================================================= 0.88/0.90 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.88/0.92 c 0.0s | 0 | 474 | 0 | 13431 0 | 1976 | 4067 0.88/0.92 c #cpu_time = 0.015s 0.88/0.92 c #wall_clock_time = 0.015s 0.88/0.92 c #decision = 474 0.88/0.92 c #random_decision = 0 0.88/0.92 c #conflict = 0 0.88/0.92 c #restart = 0 0.88/0.92 c BCD2: found a new core of size 3: cost of the new core is >=1 0.88/0.92 c lower bound updated to 9 0.88/0.92 c BCD2: 9 <= obj <= 2219 0.88/0.92 c BCD2: #cores=9, #unrelaxed=5021, #relaxed=49, #hardened=0 0.88/0.92 c BCD2: #sat=1 #unsat=10 bias=10/11 0.88/0.92 c Solving starts ... 0.88/0.92 c ============================[ Search Statistics ]============================ 0.88/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.92 c | | | | Limit GC | Var | Constra 0.88/0.92 c ============================================================================= 0.88/0.92 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.88/0.94 c 0.0s | 0 | 1148 | 0 | 13431 0 | 1976 | 4067 0.88/0.94 c #cpu_time = 0.017s 0.88/0.94 c #wall_clock_time = 0.017s 0.88/0.94 c #decision = 1148 0.88/0.94 c #random_decision = 0 0.88/0.94 c #conflict = 0 0.88/0.94 c #restart = 0 0.88/0.94 c BCD2: found a new core of size 45: cost of the new core is >=1 0.88/0.94 c lower bound updated to 10 0.88/0.94 c BCD2: 10 <= obj <= 2219 0.88/0.94 c BCD2: #cores=10, #unrelaxed=4976, #relaxed=94, #hardened=0 0.88/0.94 c BCD2: #sat=1 #unsat=11 bias=11/12 0.88/0.94 c Solving starts ... 0.88/0.94 c ============================[ Search Statistics ]============================ 0.88/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.94 c | | | | Limit GC | Var | Constra 0.88/0.94 c ============================================================================= 0.88/0.95 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.88/0.96 c 0.0s | 0 | 1269 | 0 | 13431 0 | 1976 | 4067 0.88/0.96 c #cpu_time = 0.016s 0.88/0.96 c #wall_clock_time = 0.016s 0.88/0.96 c #decision = 1269 0.88/0.96 c #random_decision = 0 0.88/0.96 c #conflict = 0 0.88/0.96 c #restart = 0 0.88/0.96 c BCD2: found a new core of size 104: cost of the new core is >=1 0.88/0.96 c lower bound updated to 11 0.88/0.97 c BCD2: 11 <= obj <= 2219 0.88/0.97 c BCD2: #cores=11, #unrelaxed=4872, #relaxed=198, #hardened=0 0.88/0.97 c BCD2: #sat=1 #unsat=12 bias=12/13 0.88/0.97 c Solving starts ... 0.88/0.97 c ============================[ Search Statistics ]============================ 0.88/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.97 c | | | | Limit GC | Var | Constra 0.88/0.97 c ============================================================================= 0.88/0.97 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.88/0.98 c 0.0s | 0 | 1378 | 0 | 13431 0 | 1976 | 4067 0.88/0.98 c #cpu_time = 0.017s 0.88/0.98 c #wall_clock_time = 0.017s 0.88/0.98 c #decision = 1378 0.88/0.98 c #random_decision = 0 0.88/0.98 c #conflict = 0 0.88/0.98 c #restart = 0 0.88/0.98 c BCD2: found a new core of size 33: cost of the new core is >=1 0.88/0.98 c lower bound updated to 12 0.88/0.99 c BCD2: 12 <= obj <= 2219 0.88/0.99 c BCD2: #cores=12, #unrelaxed=4839, #relaxed=231, #hardened=0 0.88/0.99 c BCD2: #sat=1 #unsat=13 bias=13/14 0.88/0.99 c Solving starts ... 0.88/0.99 c ============================[ Search Statistics ]============================ 0.88/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.99 c | | | | Limit GC | Var | Constra 0.88/0.99 c ============================================================================= 0.88/0.99 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.98/1.01 c 0.0s | 0 | 1727 | 0 | 13431 0 | 1976 | 4067 0.98/1.01 c #cpu_time = 0.016s 0.98/1.01 c #wall_clock_time = 0.016s 0.98/1.01 c #decision = 1727 0.98/1.01 c #random_decision = 0 0.98/1.01 c #conflict = 0 0.98/1.01 c #restart = 0 0.98/1.01 c BCD2: found a new core of size 59: cost of the new core is >=1 0.98/1.01 c lower bound updated to 13 0.98/1.01 c BCD2: 13 <= obj <= 2219 0.98/1.01 c BCD2: #cores=13, #unrelaxed=4780, #relaxed=290, #hardened=0 0.98/1.01 c BCD2: #sat=1 #unsat=14 bias=14/15 0.98/1.01 c Solving starts ... 0.98/1.01 c ============================[ Search Statistics ]============================ 0.98/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.01 c | | | | Limit GC | Var | Constra 0.98/1.01 c ============================================================================= 0.98/1.01 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.98/1.03 c 0.0s | 0 | 2078 | 0 | 13431 0 | 1976 | 4067 0.98/1.03 c #cpu_time = 0.017s 0.98/1.03 c #wall_clock_time = 0.017s 0.98/1.03 c #decision = 2078 0.98/1.03 c #random_decision = 0 0.98/1.03 c #conflict = 0 0.98/1.03 c #restart = 0 0.98/1.03 c BCD2: found a new core of size 32: cost of the new core is >=1 0.98/1.03 c lower bound updated to 14 0.98/1.03 c BCD2: 14 <= obj <= 2219 0.98/1.03 c BCD2: #cores=14, #unrelaxed=4748, #relaxed=322, #hardened=0 0.98/1.03 c BCD2: #sat=1 #unsat=15 bias=15/16 0.98/1.03 c Solving starts ... 0.98/1.03 c ============================[ Search Statistics ]============================ 0.98/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.03 c | | | | Limit GC | Var | Constra 0.98/1.03 c ============================================================================= 0.98/1.03 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.98/1.06 c 0.0s | 0 | 3089 | 0 | 13431 0 | 1976 | 4067 0.98/1.06 c #cpu_time = 0.023s 0.98/1.06 c #wall_clock_time = 0.023s 0.98/1.06 c #decision = 3089 0.98/1.06 c #random_decision = 0 0.98/1.06 c #conflict = 0 0.98/1.06 c #restart = 0 0.98/1.06 c BCD2: found a new core of size 148: cost of the new core is >=1 0.98/1.06 c lower bound updated to 15 0.98/1.06 c BCD2: 15 <= obj <= 2219 0.98/1.06 c BCD2: #cores=15, #unrelaxed=4600, #relaxed=470, #hardened=0 0.98/1.06 c BCD2: #sat=1 #unsat=16 bias=16/17 0.98/1.06 c Solving starts ... 0.98/1.06 c ============================[ Search Statistics ]============================ 0.98/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.06 c | | | | Limit GC | Var | Constra 0.98/1.06 c ============================================================================= 0.98/1.06 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 0.98/1.08 c 0.0s | 0 | 3119 | 0 | 13431 0 | 1976 | 4067 0.98/1.08 c #cpu_time = 0.018s 0.98/1.08 c #wall_clock_time = 0.019s 0.98/1.08 c #decision = 3119 0.98/1.08 c #random_decision = 0 0.98/1.08 c #conflict = 0 0.98/1.08 c #restart = 0 0.98/1.08 c BCD2: found a new core of size 33: cost of the new core is >=1 0.98/1.08 c lower bound updated to 16 0.98/1.09 c BCD2: 16 <= obj <= 2219 0.98/1.09 c BCD2: #cores=16, #unrelaxed=4567, #relaxed=503, #hardened=0 0.98/1.09 c BCD2: #sat=1 #unsat=17 bias=17/18 0.98/1.09 c Solving starts ... 0.98/1.09 c ============================[ Search Statistics ]============================ 0.98/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.09 c | | | | Limit GC | Var | Constra 0.98/1.09 c ============================================================================= 0.98/1.09 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 1.09/1.11 c 0.0s | 0 | 3301 | 0 | 13431 0 | 1976 | 4067 1.09/1.11 c #cpu_time = 0.018s 1.09/1.11 c #wall_clock_time = 0.018s 1.09/1.11 c #decision = 3301 1.09/1.11 c #random_decision = 0 1.09/1.11 c #conflict = 0 1.09/1.11 c #restart = 0 1.09/1.11 c BCD2: found a new core of size 76: cost of the new core is >=1 1.09/1.11 c lower bound updated to 17 1.09/1.11 c BCD2: 17 <= obj <= 2219 1.09/1.11 c BCD2: #cores=17, #unrelaxed=4491, #relaxed=579, #hardened=0 1.09/1.11 c BCD2: #sat=1 #unsat=18 bias=18/19 1.09/1.11 c Solving starts ... 1.09/1.11 c ============================[ Search Statistics ]============================ 1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.11 c | | | | Limit GC | Var | Constra 1.09/1.11 c ============================================================================= 1.09/1.11 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 1.09/1.13 c 0.0s | 0 | 3288 | 0 | 13431 0 | 1976 | 4067 1.09/1.13 c #cpu_time = 0.017s 1.09/1.13 c #wall_clock_time = 0.018s 1.09/1.13 c #decision = 3288 1.09/1.13 c #random_decision = 0 1.09/1.13 c #conflict = 0 1.09/1.13 c #restart = 0 1.09/1.13 c BCD2: found a new core of size 33: cost of the new core is >=1 1.09/1.13 c lower bound updated to 18 1.09/1.13 c BCD2: 18 <= obj <= 2219 1.09/1.13 c BCD2: #cores=18, #unrelaxed=4458, #relaxed=612, #hardened=0 1.09/1.13 c BCD2: #sat=1 #unsat=19 bias=19/20 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.13 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 1.09/1.16 c 0.0s | 0 | 3480 | 0 | 13431 0 | 1976 | 4067 1.09/1.16 c #cpu_time = 0.022s 1.09/1.16 c #wall_clock_time = 0.022s 1.09/1.16 c #decision = 3480 1.09/1.16 c #random_decision = 0 1.09/1.16 c #conflict = 0 1.09/1.16 c #restart = 0 1.09/1.16 c BCD2: found a new core of size 71: cost of the new core is >=1 1.09/1.16 c lower bound updated to 19 1.09/1.16 c BCD2: 19 <= obj <= 2219 1.09/1.16 c BCD2: #cores=19, #unrelaxed=4387, #relaxed=683, #hardened=0 1.09/1.16 c BCD2: #sat=1 #unsat=20 bias=20/21 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4067 1.09/1.19 c 0.0s | 0 | 3958 | 0 | 13431 0 | 1976 | 4067 1.09/1.19 c #cpu_time = 0.025s 1.09/1.19 c #wall_clock_time = 0.025s 1.09/1.19 c #decision = 3958 1.09/1.19 c #random_decision = 0 1.09/1.19 c #conflict = 0 1.09/1.19 c #restart = 0 1.09/1.19 o 33 1.09/1.20 c BCD2: updating upper bound: 2219 -> 32 1.19/1.21 c BCD2: 19 <= obj <= 32 1.19/1.21 c BCD2: #cores=19, #unrelaxed=4387, #relaxed=683, #hardened=0 1.19/1.21 c BCD2: #sat=2 #unsat=20 bias=20/22 1.19/1.21 c Solving starts ... 1.19/1.21 c ============================[ Search Statistics ]============================ 1.19/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.21 c | | | | Limit GC | Var | Constra 1.19/1.21 c ============================================================================= 1.19/1.21 c 0.0s | 0 | 0 | 0 | 13431 0 | 1976 | 4068 1.19/1.24 c 0.0s | 0 | 3608 | 2 | 13431 0 | 1976 | 4068 1.19/1.24 c #cpu_time = 0.027s 1.19/1.24 c #wall_clock_time = 0.027s 1.19/1.24 c #decision = 3608 1.19/1.24 c #random_decision = 0 1.19/1.24 c #conflict = 2 1.19/1.24 c #restart = 0 1.19/1.24 c BCD2: relaxing 9 and merging with 2 cores into a new core of size 21: cost of the new core is >=3 1.19/1.24 c lower bound updated to 20 1.19/1.24 c BCD2: 20 <= obj <= 32 1.19/1.24 c BCD2: #cores=18, #unrelaxed=4378, #relaxed=692, #hardened=0 1.19/1.24 c BCD2: #sat=2 #unsat=21 bias=21/23 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 13431 0 | 1981 | 4068 1.28/1.31 c 0.1s | 1 | 3856 | 100 | 14775 0 | 1981 | 4076 1.38/1.44 c 0.2s | 2 | 21990 | 250 | 16253 0 | 1981 | 4076 1.58/1.64 c 0.4s | 2 | 34769 | 472 | 16253 0 | 1981 | 4076 1.58/1.64 c #cpu_time = 0.399s 1.58/1.64 c #wall_clock_time = 0.401s 1.58/1.64 c #decision = 34769 1.58/1.64 c #random_decision = 2 1.58/1.64 c #conflict = 472 1.58/1.64 c #restart = 2 1.58/1.64 c BCD2: relaxing 175 and merging with 13 cores into a new core of size 781: cost of the new core is >=16 1.58/1.64 c lower bound updated to 21 1.58/1.65 c BCD2: 21 <= obj <= 32 1.58/1.65 c BCD2: #cores=6, #unrelaxed=4203, #relaxed=867, #hardened=0 1.58/1.65 c BCD2: #sat=2 #unsat=22 bias=22/24 1.58/1.66 c Solving starts ... 1.58/1.66 c ============================[ Search Statistics ]============================ 1.58/1.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.66 c | | | | Limit GC | Var | Constra 1.58/1.66 c ============================================================================= 1.58/1.66 c 0.0s | 0 | 0 | 0 | 16253 0 | 2013 | 4076 1.78/1.85 c 0.2s | 1 | 3952 | 100 | 17879 0 | 2013 | 4127 1.98/2.03 c 0.4s | 2 | 8635 | 250 | 17879 0 | 2013 | 4127 2.29/2.31 c 0.6s | 3 | 12864 | 475 | 19667 0 | 2013 | 4127 2.68/2.74 c 1.1s | 4 | 17747 | 813 | 19667 0 | 2013 | 4127 2.98/3.05 c 1.4s | 4 | 22122 | 1096 | 21634 0 | 2013 | 4127 2.98/3.05 c #cpu_time = 1.384s 2.98/3.05 c #wall_clock_time = 1.388s 2.98/3.05 c #decision = 22122 2.98/3.05 c #random_decision = 5 2.98/3.05 c #conflict = 1096 2.98/3.05 c #restart = 4 2.98/3.05 o 32 2.98/3.05 c BCD2: updating upper bound: 32 -> 31 2.98/3.07 c BCD2: 21 <= obj <= 31 2.98/3.07 c BCD2: #cores=6, #unrelaxed=4203, #relaxed=867, #hardened=0 2.98/3.07 c BCD2: #sat=3 #unsat=22 bias=22/25 2.98/3.07 c Solving starts ... 2.98/3.07 c ============================[ Search Statistics ]============================ 2.98/3.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.98/3.07 c | | | | Limit GC | Var | Constra 2.98/3.07 c ============================================================================= 2.98/3.07 c 0.0s | 0 | 0 | 0 | 21634 0 | 2013 | 4128 3.08/3.19 c 0.1s | 1 | 3828 | 100 | 21634 0 | 2013 | 4128 3.29/3.37 c 0.3s | 2 | 8295 | 250 | 21634 0 | 2013 | 4128 3.58/3.60 c 0.5s | 3 | 12826 | 475 | 21634 0 | 2013 | 4128 3.88/3.98 c 0.9s | 4 | 17475 | 813 | 23798 0 | 2013 | 4128 4.49/4.56 c 1.5s | 5 | 23031 | 1320 | 23798 0 | 2013 | 4128 5.69/5.72 c 2.6s | 6 | 37060 | 2081 | 26178 0 | 2013 | 4128 7.29/7.32 c 4.2s | 7 | 51221 | 3223 | 26178 0 | 2013 | 4128 9.29/9.32 c 6.2s | 7 | 67685 | 4523 | 28796 0 | 2013 | 4128 9.90/9.95 c 6.9s | 8 | 70878 | 4936 | 28796 0 | 2013 | 4128 11.99/12.08 c 9.0s | 8 | 87510 | 6336 | 31676 0 | 2013 | 4128 13.99/14.06 c 11.0s | 9 | 98680 | 7506 | 31676 0 | 2013 | 4128 16.09/16.18 c 13.1s | 9 | 118611 | 8706 | 31676 0 | 2013 | 4128 18.09/18.19 c 15.1s | 9 | 129495 | 9906 | 34844 0 | 2013 | 4128 20.29/20.33 c 17.3s | 9 | 138577 | 11106 | 34844 0 | 2013 | 4128 20.79/20.81 c 17.7s | 10 | 143606 | 11361 | 34844 0 | 2013 | 4128 22.79/22.81 c 19.7s | 10 | 158569 | 12461 | 34844 0 | 2013 | 4128 24.89/24.93 c 21.9s | 10 | 168561 | 13761 | 34844 0 | 2013 | 4128 26.99/27.03 c 24.0s | 10 | 178967 | 14861 | 34844 0 | 2013 | 4128 29.09/29.19 c 26.1s | 10 | 189373 | 15961 | 38329 0 | 2013 | 4128 31.19/31.20 c 28.1s | 10 | 195793 | 16961 | 38329 0 | 2013 | 4128 31.49/31.56 c 28.5s | 11 | 198047 | 17144 | 38329 0 | 2013 | 4128 33.68/33.74 c 30.7s | 11 | 211587 | 18244 | 38329 0 | 2013 | 4128 35.78/35.88 c 32.8s | 11 | 217887 | 19344 | 38329 0 | 2013 | 4128 37.88/37.92 c 34.8s | 11 | 230787 | 20544 | 38329 0 | 2013 | 4128 40.08/40.11 c 37.0s | 11 | 244582 | 21744 | 38329 0 | 2013 | 4128 42.08/42.11 c 39.0s | 11 | 254806 | 22844 | 38329 0 | 2013 | 4128 44.09/44.15 c 41.1s | 11 | 261569 | 23844 | 38329 0 | 2013 | 4128 46.19/46.30 c 43.2s | 11 | 271022 | 24744 | 42162 0 | 2013 | 4128 48.49/48.53 c 45.5s | 11 | 276823 | 25744 | 42162 0 | 2013 | 4128 48.68/48.75 c 45.7s | 12 | 277947 | 25819 | 42162 0 | 2013 | 4128 50.69/50.79 c 47.7s | 12 | 287332 | 26519 | 42162 0 | 2013 | 4128 52.79/52.84 c 49.8s | 12 | 296208 | 27319 | 42162 0 | 2013 | 4128 54.88/54.96 c 51.9s | 12 | 305923 | 28419 | 42162 0 | 2013 | 4128 56.98/57.00 c 53.9s | 12 | 313090 | 29419 | 42162 0 | 2013 | 4128 58.98/59.01 c 55.9s | 12 | 319580 | 30219 | 42162 0 | 2013 | 4128 61.08/61.15 c 58.1s | 12 | 326705 | 31019 | 42162 0 | 2013 | 4128 63.08/63.18 c 60.1s | 12 | 331738 | 31819 | 42162 0 | 2013 | 4128 65.08/65.19 c 62.1s | 12 | 337423 | 32619 | 42162 0 | 2013 | 4128 67.38/67.41 c 64.3s | 12 | 344496 | 33319 | 42162 0 | 2013 | 4128 69.58/69.65 c 66.6s | 12 | 352186 | 34119 | 42162 0 | 2013 | 4128 71.78/71.85 c 68.8s | 12 | 360197 | 34919 | 42162 0 | 2013 | 4128 73.98/74.07 c 71.0s | 12 | 367849 | 35719 | 42162 0 | 2013 | 4128 75.99/76.09 c 73.0s | 12 | 374813 | 36419 | 42162 0 | 2013 | 4128 78.19/78.25 c 75.2s | 12 | 381044 | 37219 | 46379 0 | 2013 | 4128 80.18/80.26 c 77.2s | 12 | 385917 | 37819 | 46379 0 | 2013 | 4128 82.38/82.41 c 79.3s | 12 | 392739 | 38519 | 46379 0 | 2013 | 4128 83.28/83.35 c 80.3s | 13 | 396256 | 38832 | 46379 0 | 2013 | 4128 85.28/85.37 c 82.3s | 13 | 403753 | 39532 | 46379 0 | 2013 | 4128 87.38/87.46 c 84.4s | 13 | 409278 | 40332 | 46379 0 | 2013 | 4128 89.48/89.54 c 86.5s | 13 | 417880 | 41032 | 46379 0 | 2013 | 4128 91.78/91.84 c 88.8s | 13 | 425200 | 41932 | 46379 0 | 2013 | 4128 93.88/93.91 c 90.8s | 13 | 430645 | 42732 | 46379 0 | 2013 | 4128 96.08/96.14 c 93.1s | 13 | 437053 | 43432 | 46379 0 | 2013 | 4128 98.38/98.44 c 95.4s | 13 | 442836 | 44232 | 46379 0 | 2013 | 4128 100.37/100.44 c 97.4s | 13 | 448720 | 45032 | 46379 0 | 2013 | 4128 102.57/102.64 c 99.6s | 13 | 454015 | 45832 | 46379 0 | 2013 | 4128 104.77/104.88 c 101s | 13 | 458576 | 46632 | 46379 0 | 2013 | 4128 106.87/106.97 c 103s | 13 | 464166 | 47332 | 46379 0 | 2013 | 4128 108.98/109.01 c 105s | 13 | 470365 | 48032 | 46379 0 | 2013 | 4128 111.08/111.14 c 108s | 13 | 476943 | 48732 | 46379 0 | 2013 | 4128 113.28/113.40 c 110s | 13 | 483710 | 49532 | 46379 0 | 2013 | 4128 115.37/115.44 c 112s | 13 | 489636 | 50132 | 46379 0 | 2013 | 4128 117.57/117.65 c 114s | 13 | 496187 | 50932 | 46379 0 | 2013 | 4128 119.57/119.67 c 116s | 13 | 503057 | 51732 | 46379 0 | 2013 | 4128 121.77/121.85 c 118s | 13 | 511563 | 52532 | 46379 0 | 2013 | 4128 123.87/123.91 c 120s | 13 | 518320 | 53332 | 46379 0 | 2013 | 4128 125.87/125.98 c 122s | 13 | 523152 | 54032 | 46379 1 | 2013 | 4128 127.97/128.00 c 124s | 13 | 530058 | 54832 | 46379 1 | 2013 | 4128 130.07/130.16 c 127s | 13 | 540017 | 55832 | 46379 1 | 2013 | 4128 132.17/132.28 c 129s | 13 | 546718 | 56932 | 51017 1 | 2013 | 4128 134.37/134.47 c 131s | 13 | 554669 | 58032 | 51017 1 | 2013 | 4128 134.97/135.04 c 131s | 14 | 557371 | 58352 | 51017 1 | 2013 | 4128 136.97/137.07 c 134s | 14 | 567930 | 59252 | 51017 1 | 2013 | 4128 139.57/139.63 c 136s | 14 | 576719 | 60152 | 51017 1 | 2013 | 4128 141.88/141.96 c 138s | 14 | 584699 | 60852 | 51017 1 | 2013 | 4128 143.97/144.00 c 140s | 14 | 593370 | 61752 | 51017 1 | 2013 | 4128 146.07/146.16 c 143s | 14 | 599560 | 62852 | 51017 1 | 2013 | 4128 148.27/148.33 c 145s | 14 | 607124 | 63652 | 51017 1 | 2013 | 4128 150.27/150.36 c 147s | 14 | 615827 | 64352 | 51017 1 | 2013 | 4128 152.37/152.40 c 149s | 14 | 623180 | 65352 | 51017 1 | 2013 | 4128 154.47/154.56 c 151s | 14 | 628516 | 66252 | 51017 1 | 2013 | 4128 156.57/156.68 c 153s | 14 | 636920 | 66952 | 51017 1 | 2013 | 4128 158.67/158.70 c 155s | 14 | 646045 | 67752 | 51017 1 | 2013 | 4128 160.57/160.70 c 157s | 14 | 652219 | 68652 | 51017 1 | 2013 | 4128 162.77/162.90 c 159s | 14 | 658035 | 69552 | 51017 1 | 2013 | 4128 164.97/165.09 c 162s | 14 | 669708 | 70652 | 51017 1 | 2013 | 4128 167.06/167.19 c 164s | 14 | 676697 | 71652 | 51017 1 | 2013 | 4128 169.16/169.28 c 166s | 14 | 680505 | 72252 | 51017 1 | 2013 | 4128 171.26/171.32 c 168s | 14 | 688881 | 73052 | 51017 1 | 2013 | 4128 173.46/173.59 c 170s | 14 | 696187 | 73952 | 51017 1 | 2013 | 4128 175.76/175.87 c 172s | 14 | 702226 | 74752 | 51017 1 | 2013 | 4128 177.96/178.05 c 174s | 14 | 710120 | 75452 | 51017 1 | 2013 | 4128 180.06/180.12 c 177s | 14 | 716770 | 76152 | 51017 1 | 2013 | 4128 182.16/182.28 c 179s | 14 | 721439 | 76952 | 51017 1 | 2013 | 4128 184.36/184.47 c 181s | 14 | 727227 | 77752 | 51017 1 | 2013 | 4128 186.56/186.65 c 183s | 14 | 733180 | 78452 | 51017 1 | 2013 | 4128 188.86/188.96 c 185s | 14 | 740025 | 79252 | 51017 1 | 2013 | 4128 190.96/191.07 c 187s | 14 | 745691 | 79952 | 51017 1 | 2013 | 4128 193.06/193.18 c 190s | 14 | 751272 | 80652 | 51017 1 | 2013 | 4128 195.16/195.22 c 192s | 14 | 757907 | 81452 | 51017 1 | 2013 | 4128 197.26/197.32 c 194s | 14 | 763596 | 82252 | 51017 1 | 2013 | 4128 199.36/199.48 c 196s | 14 | 768761 | 83052 | 51017 1 | 2013 | 4128 201.46/201.51 c 198s | 14 | 773293 | 83752 | 51017 1 | 2013 | 4128 203.57/203.62 c 200s | 14 | 777843 | 84452 | 51017 1 | 2013 | 4128 205.56/205.67 c 202s | 14 | 781101 | 85152 | 51017 1 | 2013 | 4128 207.66/207.80 c 204s | 14 | 786672 | 85852 | 56119 1 | 2013 | 4128 210.06/210.11 c 207s | 14 | 791333 | 86452 | 56119 1 | 2013 | 4128 212.06/212.13 c 209s | 14 | 798658 | 87252 | 56119 1 | 2013 | 4128 212.86/212.93 c 209s | 15 | 800991 | 87632 | 56119 1 | 2013 | 4128 215.26/215.31 c 212s | 15 | 807113 | 88032 | 56119 2 | 2013 | 4128 217.36/217.41 c 214s | 15 | 817416 | 89032 | 56119 2 | 2013 | 4128 219.65/219.70 c 216s | 15 | 826359 | 90032 | 56119 2 | 2013 | 4128 221.85/221.91 c 218s | 15 | 832076 | 90832 | 56119 2 | 2013 | 4128 226.95/227.06 c 223s | 15 | 833554 | 91032 | 56119 2 | 2013 | 4128 229.15/229.28 c 226s | 15 | 839465 | 91732 | 56119 2 | 2013 | 4128 231.35/231.40 c 228s | 15 | 849738 | 92732 | 56119 2 | 2013 | 4128 233.35/233.41 c 230s | 15 | 856497 | 93632 | 56119 2 | 2013 | 4128 235.36/235.50 c 232s | 15 | 864462 | 94632 | 56119 2 | 2013 | 4128 237.56/237.64 c 234s | 15 | 869543 | 95532 | 56119 2 | 2013 | 4128 239.95/240.03 c 236s | 15 | 874633 | 96432 | 56119 2 | 2013 | 4128 242.15/242.28 c 239s | 15 | 882655 | 97332 | 56119 2 | 2013 | 4128 244.35/244.48 c 241s | 15 | 890091 | 98332 | 56119 2 | 2013 | 4128 246.35/246.49 c 243s | 15 | 897330 | 99332 | 56119 2 | 2013 | 4128 248.55/248.63 c 245s | 15 | 904637 | 100132 | 56119 2 | 2013 | 4128 250.65/250.74 c 247s | 15 | 909875 | 101032 | 56119 2 | 2013 | 4128 252.65/252.78 c 249s | 15 | 917256 | 101832 | 56119 2 | 2013 | 4128 254.85/254.91 c 251s | 15 | 923549 | 102732 | 56119 2 | 2013 | 4128 257.05/257.17 c 254s | 15 | 930949 | 103732 | 56119 2 | 2013 | 4128 259.25/259.37 c 256s | 15 | 939723 | 104732 | 56119 2 | 2013 | 4128 261.45/261.58 c 258s | 15 | 946997 | 105632 | 56119 2 | 2013 | 4128 263.54/263.60 c 260s | 15 | 952626 | 106232 | 56119 2 | 2013 | 4128 265.64/265.72 c 262s | 15 | 961075 | 107132 | 56119 2 | 2013 | 4128 268.74/268.85 c 265s | 15 | 967492 | 108032 | 56119 2 | 2013 | 4128 270.94/271.08 c 268s | 15 | 974274 | 108832 | 56119 2 | 2013 | 4128 273.04/273.18 c 270s | 15 | 981342 | 109732 | 56119 2 | 2013 | 4128 275.24/275.37 c 272s | 15 | 988313 | 110632 | 56119 2 | 2013 | 4128 277.25/277.39 c 274s | 15 | 993891 | 111332 | 56119 2 | 2013 | 4128 279.35/279.41 c 276s | 15 | 999109 | 111932 | 56119 2 | 2013 | 4128 281.44/281.54 c 278s | 15 | 1007846 | 112832 | 56119 2 | 2013 | 4128 283.44/283.55 c 280s | 15 | 1013465 | 113532 | 56119 2 | 2013 | 4128 285.44/285.57 c 282s | 15 | 1020327 | 114332 | 56119 2 | 2013 | 4128 287.64/287.78 c 284s | 15 | 1025992 | 115232 | 56119 2 | 2013 | 4128 289.74/289.83 c 286s | 15 | 1031749 | 115932 | 56119 2 | 2013 | 4128 291.84/291.90 c 288s | 15 | 1038796 | 116632 | 56119 2 | 2013 | 4128 293.84/293.92 c 290s | 15 | 1044815 | 117232 | 56119 2 | 2013 | 4128 295.95/296.08 c 293s | 15 | 1056263 | 118132 | 56119 2 | 2013 | 4128 298.05/298.12 c 295s | 15 | 1062671 | 119032 | 56119 2 | 2013 | 4128 300.25/300.35 c 297s | 15 | 1068103 | 119932 | 56119 2 | 2013 | 4128 302.34/302.47 c 299s | 15 | 1074191 | 120732 | 56119 2 | 2013 | 4128 304.44/304.54 c 301s | 15 | 1077392 | 121332 | 56119 2 | 2013 | 4128 306.84/306.95 c 303s | 15 | 1081143 | 121932 | 56119 3 | 2013 | 4128 309.05/309.15 c 306s | 15 | 1086826 | 122432 | 56119 3 | 2013 | 4128 311.04/311.19 c 308s | 15 | 1096921 | 123432 | 56119 3 | 2013 | 4128 313.14/313.23 c 310s | 15 | 1105797 | 124532 | 56119 3 | 2013 | 4128 315.14/315.29 c 312s | 15 | 1111976 | 125632 | 56119 3 | 2013 | 4128 317.34/317.46 c 314s | 15 | 1119036 | 126532 | 56119 3 | 2013 | 4128 319.34/319.48 c 316s | 15 | 1122877 | 127132 | 56119 3 | 2013 | 4128 321.64/321.70 c 318s | 15 | 1133244 | 127932 | 56119 3 | 2013 | 4128 323.64/323.75 c 320s | 15 | 1144101 | 128932 | 56119 3 | 2013 | 4128 325.74/325.84 c 322s | 15 | 1151958 | 129932 | 61731 3 | 2013 | 4128 327.85/327.97 c 324s | 15 | 1158874 | 130932 | 61731 3 | 2013 | 4128 329.44/329.57 c 326s | 16 | 1165831 | 131552 | 61731 3 | 2013 | 4128 331.54/331.63 c 328s | 16 | 1177085 | 132452 | 61731 3 | 2013 | 4128 333.74/333.87 c 330s | 16 | 1184575 | 133452 | 61731 3 | 2013 | 4128 335.84/335.98 c 332s | 16 | 1189367 | 134352 | 61731 3 | 2013 | 4128 337.94/338.08 c 335s | 16 | 1194217 | 135352 | 61731 3 | 2013 | 4128 340.04/340.19 c 337s | 16 | 1197665 | 136152 | 61731 3 | 2013 | 4128 342.24/342.38 c 339s | 16 | 1204660 | 137052 | 61731 3 | 2013 | 4128 344.35/344.48 c 341s | 16 | 1212996 | 138052 | 61731 3 | 2013 | 4128 346.45/346.57 c 343s | 16 | 1221772 | 138952 | 61731 3 | 2013 | 4128 348.65/348.79 c 345s | 16 | 1230437 | 139852 | 61731 3 | 2013 | 4128 350.84/350.95 c 347s | 16 | 1238751 | 140752 | 61731 3 | 2013 | 4128 353.04/353.15 c 350s | 16 | 1247544 | 141652 | 61731 3 | 2013 | 4128 355.24/355.36 c 352s | 16 | 1254803 | 142552 | 61731 3 | 2013 | 4128 357.44/357.53 c 354s | 16 | 1259522 | 143452 | 61731 3 | 2013 | 4128 359.64/359.77 c 356s | 16 | 1265692 | 144352 | 61731 3 | 2013 | 4128 361.84/361.98 c 358s | 16 | 1271811 | 145252 | 61731 3 | 2013 | 4128 363.94/364.08 c 361s | 16 | 1280690 | 146252 | 61731 3 | 2013 | 4128 366.04/366.13 c 363s | 16 | 1287042 | 147252 | 61731 3 | 2013 | 4128 368.14/368.24 c 365s | 16 | 1293889 | 147952 | 61731 3 | 2013 | 4128 370.23/370.34 c 367s | 16 | 1301415 | 148752 | 61731 3 | 2013 | 4128 372.33/372.46 c 369s | 16 | 1308025 | 149652 | 61731 3 | 2013 | 4128 374.53/374.69 c 371s | 16 | 1314639 | 150552 | 61731 3 | 2013 | 4128 376.73/376.83 c 373s | 16 | 1319898 | 151452 | 61731 3 | 2013 | 4128 379.03/379.10 c 376s | 16 | 1324312 | 152052 | 61731 3 | 2013 | 4128 381.03/381.11 c 378s | 16 | 1328089 | 152452 | 61731 3 | 2013 | 4128 383.13/383.21 c 380s | 16 | 1333449 | 152952 | 61731 3 | 2013 | 4128 385.23/385.31 c 382s | 16 | 1339255 | 153652 | 61731 3 | 2013 | 4128 387.33/387.47 c 384s | 16 | 1344106 | 154352 | 61731 3 | 2013 | 4128 389.53/389.64 c 386s | 16 | 1348697 | 155052 | 61731 3 | 2013 | 4128 391.83/391.93 c 388s | 16 | 1353297 | 155752 | 61731 3 | 2013 | 4128 394.13/394.28 c 391s | 16 | 1359811 | 156452 | 61731 3 | 2013 | 4128 396.33/396.41 c 393s | 16 | 1367027 | 157052 | 61731 3 | 2013 | 4128 398.43/398.50 c 395s | 16 | 1371999 | 157652 | 61731 3 | 2013 | 4128 400.43/400.53 c 397s | 16 | 1375554 | 158152 | 61731 3 | 2013 | 4128 402.63/402.70 c 399s | 16 | 1379197 | 158752 | 61731 3 | 2013 | 4128 404.73/404.82 c 401s | 16 | 1384072 | 159352 | 61731 3 | 2013 | 4128 407.52/407.67 c 404s | 16 | 1388447 | 159952 | 61731 4 | 2013 | 4128 409.72/409.82 c 406s | 16 | 1391818 | 160352 | 61731 4 | 2013 | 4128 411.82/411.90 c 408s | 16 | 1401098 | 161252 | 61731 4 | 2013 | 4128 413.82/413.92 c 410s | 16 | 1407570 | 162252 | 61731 4 | 2013 | 4128 415.83/415.97 c 412s | 16 | 1415104 | 162952 | 61731 4 | 2013 | 4128 417.93/418.09 c 415s | 16 | 1423097 | 163852 | 61731 4 | 2013 | 4128 420.13/420.24 c 417s | 16 | 1430455 | 164752 | 61731 4 | 2013 | 4128 422.22/422.31 c 419s | 16 | 1434809 | 165652 | 61731 4 | 2013 | 4128 424.53/424.62 c 421s | 16 | 1439432 | 166252 | 61731 4 | 2013 | 4128 426.83/426.92 c 423s | 16 | 1445271 | 166852 | 61731 4 | 2013 | 4128 428.82/428.95 c 425s | 16 | 1450651 | 167352 | 61731 4 | 2013 | 4128 430.82/430.98 c 427s | 16 | 1455926 | 167952 | 61731 4 | 2013 | 4128 433.02/433.17 c 430s | 16 | 1466353 | 168852 | 61731 4 | 2013 | 4128 435.12/435.30 c 432s | 16 | 1472648 | 169752 | 61731 4 | 2013 | 4128 437.22/437.30 c 434s | 16 | 1477554 | 170452 | 61731 4 | 2013 | 4128 439.32/439.44 c 436s | 16 | 1482169 | 170952 | 61731 4 | 2013 | 4128 441.42/441.51 c 438s | 16 | 1488302 | 171552 | 61731 4 | 2013 | 4128 443.52/443.68 c 440s | 16 | 1490824 | 172152 | 61731 4 | 2013 | 4128 445.72/445.88 c 442s | 16 | 1495303 | 172952 | 61731 4 | 2013 | 4128 447.82/447.94 c 444s | 16 | 1498693 | 173552 | 61731 4 | 2013 | 4128 450.02/450.15 c 447s | 16 | 1505666 | 174352 | 61731 4 | 2013 | 4128 452.02/452.18 c 449s | 16 | 1512451 | 175152 | 61731 4 | 2013 | 4128 454.32/454.41 c 451s | 16 | 1519087 | 175852 | 61731 4 | 2013 | 4128 456.52/456.69 c 453s | 16 | 1525139 | 176552 | 61731 4 | 2013 | 4128 458.72/458.89 c 455s | 16 | 1529514 | 177252 | 61731 4 | 2013 | 4128 460.92/461.06 c 457s | 16 | 1536297 | 178052 | 61731 4 | 2013 | 4128 463.02/463.17 c 460s | 16 | 1542231 | 178752 | 61731 4 | 2013 | 4128 465.32/465.43 c 462s | 16 | 1546558 | 179552 | 61731 4 | 2013 | 4128 467.52/467.67 c 464s | 16 | 1552360 | 180252 | 61731 4 | 2013 | 4128 469.72/469.82 c 466s | 16 | 1559143 | 180952 | 61731 4 | 2013 | 4128 471.82/471.99 c 468s | 16 | 1565296 | 181652 | 61731 4 | 2013 | 4128 474.21/474.32 c 471s | 16 | 1569520 | 182352 | 61731 4 | 2013 | 4128 476.22/476.35 c 473s | 16 | 1575144 | 182952 | 61731 4 | 2013 | 4128 478.43/478.51 c 475s | 16 | 1581378 | 183752 | 61731 4 | 2013 | 4128 480.63/480.78 c 477s | 16 | 1587568 | 184552 | 61731 4 | 2013 | 4128 482.93/483.07 c 479s | 16 | 1594560 | 185252 | 61731 4 | 2013 | 4128 485.22/485.36 c 482s | 16 | 1600232 | 185952 | 61731 4 | 2013 | 4128 487.52/487.62 c 484s | 16 | 1604255 | 186452 | 61731 4 | 2013 | 4128 489.62/489.70 c 486s | 16 | 1608473 | 187252 | 61731 4 | 2013 | 4128 491.62/491.76 c 488s | 16 | 1613308 | 187952 | 61731 4 | 2013 | 4128 493.72/493.86 c 490s | 16 | 1616926 | 188652 | 61731 4 | 2013 | 4128 495.82/495.98 c 492s | 16 | 1621345 | 189352 | 61731 4 | 2013 | 4128 497.92/498.04 c 494s | 16 | 1624232 | 190052 | 61731 4 | 2013 | 4128 500.02/500.12 c 497s | 16 | 1627774 | 190652 | 61731 4 | 2013 | 4128 502.11/502.29 c 499s | 16 | 1631696 | 191252 | 61731 4 | 2013 | 4128 504.41/504.51 c 501s | 16 | 1635491 | 191952 | 61731 4 | 2013 | 4128 506.41/506.58 c 503s | 16 | 1640144 | 192552 | 61731 4 | 2013 | 4128 508.41/508.58 c 505s | 16 | 1643997 | 193052 | 61731 4 | 2013 | 4128 510.61/510.71 c 507s | 16 | 1647972 | 193752 | 61731 4 | 2013 | 4128 513.21/513.32 c 510s | 16 | 1652771 | 194252 | 61731 4 | 2013 | 4128 515.51/515.67 c 512s | 16 | 1658375 | 194752 | 67905 4 | 2013 | 4128 517.51/517.69 c 514s | 16 | 1664522 | 195352 | 67905 4 | 2013 | 4128 520.11/520.21 c 517s | 16 | 1668632 | 196052 | 67905 4 | 2013 | 4128 522.21/522.31 c 519s | 16 | 1674654 | 196552 | 67905 4 | 2013 | 4128 524.41/524.52 c 521s | 16 | 1680716 | 197252 | 67905 4 | 2013 | 4128 524.91/525.06 c 521s | 17 | 1682298 | 197432 | 67905 4 | 2013 | 4128 527.21/527.35 c 524s | 17 | 1688077 | 197832 | 67905 5 | 2013 | 4128 535.41/535.53 c 532s | 17 | 1690737 | 198232 | 67905 5 | 2013 | 4128 537.92/538.02 c 534s | 17 | 1693468 | 198632 | 67905 5 | 2013 | 4128 540.11/540.22 c 537s | 17 | 1697386 | 199132 | 67905 5 | 2013 | 4128 542.21/542.30 c 539s | 17 | 1706213 | 199932 | 67905 5 | 2013 | 4128 544.21/544.38 c 541s | 17 | 1712752 | 200832 | 67905 5 | 2013 | 4128 546.41/546.56 c 543s | 17 | 1719403 | 201732 | 67905 5 | 2013 | 4128 548.41/548.59 c 545s | 17 | 1728338 | 202732 | 67905 5 | 2013 | 4128 550.51/550.66 c 547s | 17 | 1737525 | 203732 | 67905 5 | 2013 | 4128 552.61/552.77 c 549s | 17 | 1743215 | 204732 | 67905 5 | 2013 | 4128 554.81/554.97 c 551s | 17 | 1749246 | 205632 | 67905 5 | 2013 | 4128 556.91/557.06 c 553s | 17 | 1757192 | 206532 | 67905 5 | 2013 | 4128 559.01/559.12 c 556s | 17 | 1765585 | 207332 | 67905 5 | 2013 | 4128 561.01/561.15 c 558s | 17 | 1772035 | 208232 | 67905 5 | 2013 | 4128 563.30/563.49 c 560s | 17 | 1775772 | 208932 | 67905 5 | 2013 | 4128 565.31/565.50 c 562s | 17 | 1779295 | 209332 | 67905 5 | 2013 | 4128 567.70/567.80 c 564s | 17 | 1785873 | 210032 | 67905 5 | 2013 | 4128 569.71/569.84 c 566s | 17 | 1790555 | 210632 | 67905 5 | 2013 | 4128 571.70/571.84 c 568s | 17 | 1793622 | 211132 | 67905 5 | 2013 | 4128 573.70/573.86 c 570s | 17 | 1798476 | 211832 | 67905 5 | 2013 | 4128 575.90/576.06 c 572s | 17 | 1804200 | 212632 | 67905 5 | 2013 | 4128 577.90/578.07 c 574s | 17 | 1807492 | 213232 | 67905 5 | 2013 | 4128 580.20/580.34 c 577s | 17 | 1814711 | 214032 | 67905 5 | 2013 | 4128 582.50/582.64 c 579s | 17 | 1818198 | 214732 | 67905 5 | 2013 | 4128 584.60/584.73 c 581s | 17 | 1823100 | 215432 | 67905 5 | 2013 | 4128 586.80/586.90 c 583s | 17 | 1828762 | 216232 | 67905 5 | 2013 | 4128 589.00/589.15 c 586s | 17 | 1832684 | 216832 | 67905 5 | 2013 | 4128 593.60/593.79 c 590s | 17 | 1837290 | 217532 | 67905 5 | 2013 | 4128 595.69/595.88 c 592s | 17 | 1842496 | 218132 | 67905 5 | 2013 | 4128 597.99/598.14 c 595s | 17 | 1848704 | 219132 | 67905 5 | 2013 | 4128 600.09/600.21 c 597s | 17 | 1855059 | 219832 | 67905 5 | 2013 | 4128 602.09/602.22 c 599s | 17 | 1861320 | 220732 | 67905 5 | 2013 | 4128 604.09/604.28 c 601s | 17 | 1867527 | 221532 | 67905 5 | 2013 | 4128 606.30/606.42 c 603s | 17 | 1872879 | 222432 | 67905 5 | 2013 | 4128 608.40/608.55 c 605s | 17 | 1876603 | 222832 | 67905 5 | 2013 | 4128 610.41/610.60 c 607s | 17 | 1883672 | 223732 | 67905 5 | 2013 | 4128 612.61/612.74 c 609s | 17 | 1888645 | 224732 | 67905 5 | 2013 | 4128 614.81/615.00 c 611s | 17 | 1893569 | 225532 | 67905 5 | 2013 | 4128 616.90/617.01 c 613s | 17 | 1900671 | 226232 | 67905 5 | 2013 | 4128 619.00/619.11 c 616s | 17 | 1906640 | 227032 | 67905 5 | 2013 | 4128 621.20/621.33 c 618s | 17 | 1914504 | 227932 | 67905 5 | 2013 | 4128 623.20/623.34 c 620s | 17 | 1920070 | 228732 | 67905 5 | 2013 | 4128 625.30/625.48 c 622s | 17 | 1927945 | 229532 | 67905 5 | 2013 | 4128 627.50/627.65 c 624s | 17 | 1933136 | 230432 | 67905 5 | 2013 | 4128 629.90/630.07 c 627s | 17 | 1938056 | 231032 | 67905 5 | 2013 | 4128 632.10/632.29 c 629s | 17 | 1944129 | 231732 | 67905 5 | 2013 | 4128 634.30/634.43 c 631s | 17 | 1950482 | 232532 | 67905 5 | 2013 | 4128 636.40/636.52 c 633s | 17 | 1956206 | 233332 | 67905 5 | 2013 | 4128 638.60/638.79 c 635s | 17 | 1964418 | 234132 | 67905 5 | 2013 | 4128 640.70/640.87 c 637s | 17 | 1967908 | 234832 | 67905 5 | 2013 | 4128 642.80/642.91 c 639s | 17 | 1973684 | 235632 | 67905 5 | 2013 | 4128 644.90/645.00 c 641s | 17 | 1978140 | 236432 | 67905 5 | 2013 | 4128 646.89/647.03 c 643s | 17 | 1983198 | 237332 | 67905 5 | 2013 | 4128 660.79/660.99 c 657s | 17 | 1985819 | 237732 | 67905 6 | 2013 | 4128 662.89/663.06 c 659s | 17 | 1994474 | 238732 | 67905 6 | 2013 | 4128 664.99/665.19 c 662s | 17 | 2000789 | 239732 | 67905 6 | 2013 | 4128 667.29/667.43 c 664s | 17 | 2007651 | 240732 | 67905 6 | 2013 | 4128 669.49/669.63 c 666s | 17 | 2015714 | 241732 | 67905 6 | 2013 | 4128 671.59/671.78 c 668s | 17 | 2024702 | 242632 | 67905 6 | 2013 | 4128 673.69/673.83 c 670s | 17 | 2032685 | 243532 | 67905 6 | 2013 | 4128 675.89/676.01 c 672s | 17 | 2038951 | 244332 | 67905 6 | 2013 | 4128 678.09/678.27 c 675s | 17 | 2045243 | 245232 | 67905 6 | 2013 | 4128 680.19/680.37 c 677s | 17 | 2051986 | 246032 | 67905 6 | 2013 | 4128 682.19/682.38 c 679s | 17 | 2058859 | 246732 | 67905 6 | 2013 | 4128 684.39/684.50 c 681s | 17 | 2065243 | 247732 | 67905 6 | 2013 | 4128 686.40/686.52 c 683s | 17 | 2072261 | 248632 | 67905 6 | 2013 | 4128 688.60/688.72 c 685s | 17 | 2078734 | 249532 | 67905 6 | 2013 | 4128 690.59/690.78 c 687s | 17 | 2085222 | 250532 | 67905 6 | 2013 | 4128 692.79/692.93 c 689s | 17 | 2090804 | 251432 | 67905 6 | 2013 | 4128 694.89/695.04 c 691s | 17 | 2096568 | 252232 | 67905 6 | 2013 | 4128 697.39/697.55 c 694s | 17 | 2100370 | 252932 | 67905 6 | 2013 | 4128 699.68/699.82 c 696s | 17 | 2103036 | 253232 | 67905 6 | 2013 | 4128 702.08/702.28 c 699s | 17 | 2107203 | 253632 | 67905 6 | 2013 | 4128 704.18/704.31 c 701s | 17 | 2112412 | 254132 | 67905 6 | 2013 | 4128 706.28/706.42 c 703s | 17 | 2118391 | 255032 | 67905 6 | 2013 | 4128 708.29/708.42 c 705s | 17 | 2122726 | 255932 | 67905 6 | 2013 | 4128 710.38/710.57 c 707s | 17 | 2126456 | 256832 | 67905 6 | 2013 | 4128 712.88/713.00 c 709s | 17 | 2133390 | 257532 | 67905 6 | 2013 | 4128 715.08/715.30 c 712s | 17 | 2139976 | 258232 | 67905 6 | 2013 | 4128 717.28/717.45 c 714s | 17 | 2145198 | 258932 | 67905 6 | 2013 | 4128 719.39/719.56 c 716s | 17 | 2150294 | 259732 | 67905 6 | 2013 | 4128 721.59/721.75 c 718s | 17 | 2156413 | 260532 | 67905 6 | 2013 | 4128 723.79/723.92 c 720s | 17 | 2164634 | 261432 | 67905 6 | 2013 | 4128 725.78/726.00 c 722s | 17 | 2168982 | 262332 | 67905 6 | 2013 | 4128 728.19/728.33 c 725s | 17 | 2173699 | 263132 | 67905 6 | 2013 | 4128 730.29/730.43 c 727s | 17 | 2178295 | 263832 | 67905 6 | 2013 | 4128 732.38/732.55 c 729s | 17 | 2183690 | 264332 | 67905 6 | 2013 | 4128 734.58/734.79 c 731s | 17 | 2192499 | 265132 | 67905 6 | 2013 | 4128 736.68/736.83 c 733s | 17 | 2198046 | 265832 | 67905 6 | 2013 | 4128 738.68/738.86 c 735s | 17 | 2202519 | 266532 | 67905 6 | 2013 | 4128 740.78/740.98 c 737s | 17 | 2208021 | 267232 | 67905 6 | 2013 | 4128 742.98/743.18 c 740s | 17 | 2212869 | 267932 | 67905 6 | 2013 | 4128 745.38/745.55 c 742s | 17 | 2218172 | 268632 | 67905 6 | 2013 | 4128 747.68/747.85 c 744s | 17 | 2223054 | 269232 | 67905 6 | 2013 | 4128 749.78/749.94 c 746s | 17 | 2228729 | 269832 | 67905 6 | 2013 | 4128 751.88/752.07 c 748s | 17 | 2232882 | 270632 | 67905 6 | 2013 | 4128 753.98/754.15 c 751s | 17 | 2236858 | 271332 | 67905 6 | 2013 | 4128 755.98/756.20 c 753s | 17 | 2241619 | 271932 | 67905 6 | 2013 | 4128 758.07/758.27 c 755s | 17 | 2244787 | 272532 | 67905 6 | 2013 | 4128 760.37/760.59 c 757s | 17 | 2249735 | 273232 | 67905 6 | 2013 | 4128 762.47/762.63 c 759s | 17 | 2254252 | 273832 | 67905 6 | 2013 | 4128 764.77/764.92 c 761s | 17 | 2259208 | 274632 | 67905 6 | 2013 | 4128 766.97/767.16 c 764s | 17 | 2264690 | 275332 | 67905 6 | 2013 | 4128 769.07/769.27 c 766s | 17 | 2268773 | 275932 | 67905 6 | 2013 | 4128 771.17/771.38 c 768s | 17 | 2272624 | 276532 | 67905 7 | 2013 | 4128 773.28/773.49 c 770s | 17 | 2277388 | 277332 | 67905 7 | 2013 | 4128 775.38/775.56 c 772s | 17 | 2283284 | 277932 | 67905 7 | 2013 | 4128 778.37/778.52 c 775s | 17 | 2290705 | 278832 | 67905 7 | 2013 | 4128 780.37/780.58 c 777s | 17 | 2293500 | 279032 | 67905 7 | 2013 | 4128 782.47/782.68 c 779s | 17 | 2300072 | 279932 | 67905 7 | 2013 | 4128 784.57/784.73 c 781s | 17 | 2308213 | 280832 | 67905 7 | 2013 | 4128 786.77/786.95 c 783s | 17 | 2315130 | 281832 | 67905 7 | 2013 | 4128 788.77/788.96 c 785s | 17 | 2318760 | 282532 | 67905 7 | 2013 | 4128 790.77/790.96 c 787s | 17 | 2326214 | 283332 | 67905 7 | 2013 | 4128 792.77/792.99 c 789s | 17 | 2334041 | 284232 | 67905 7 | 2013 | 4128 794.87/795.01 c 791s | 17 | 2339549 | 285132 | 67905 7 | 2013 | 4128 796.86/797.04 c 793s | 17 | 2344910 | 285932 | 67905 7 | 2013 | 4128 798.86/799.08 c 796s | 17 | 2353188 | 286732 | 67905 7 | 2013 | 4128 801.06/801.29 c 798s | 17 | 2360058 | 287532 | 67905 7 | 2013 | 4128 803.16/803.36 c 800s | 17 | 2366264 | 288232 | 67905 7 | 2013 | 4128 805.26/805.48 c 802s | 17 | 2369332 | 289032 | 67905 7 | 2013 | 4128 807.46/807.66 c 804s | 17 | 2373027 | 289732 | 67905 7 | 2013 | 4128 809.66/809.83 c 806s | 17 | 2377402 | 290332 | 67905 7 | 2013 | 4128 811.77/811.92 c 808s | 17 | 2384510 | 291132 | 67905 7 | 2013 | 4128 813.76/813.96 c 810s | 17 | 2390626 | 291832 | 67905 7 | 2013 | 4128 815.76/815.97 c 812s | 17 | 2396478 | 292532 | 67905 7 | 2013 | 4128 817.86/818.02 c 814s | 17 | 2401119 | 293232 | 74696 7 | 2013 | 4128 820.06/820.29 c 817s | 17 | 2406639 | 293932 | 74696 7 | 2013 | 4128 822.16/822.37 c 819s | 17 | 2412139 | 294632 | 74696 7 | 2013 | 4128 824.36/824.53 c 821s | 17 | 2416794 | 295332 | 74696 7 | 2013 | 4128 826.36/826.56 c 823s | 17 | 2421305 | 295832 | 74696 7 | 2013 | 4128 827.56/827.73 c 824s | 18 | 2424436 | 296252 | 74696 7 | 2013 | 4128 829.56/829.78 c 826s | 18 | 2431759 | 296852 | 74696 7 | 2013 | 4128 831.66/831.88 c 828s | 18 | 2435944 | 297652 | 74696 7 | 2013 | 4128 833.67/833.90 c 830s | 18 | 2439875 | 298252 | 74696 7 | 2013 | 4128 835.76/835.95 c 832s | 18 | 2447623 | 298952 | 74696 7 | 2013 | 4128 837.96/838.11 c 835s | 18 | 2454955 | 299752 | 74696 7 | 2013 | 4128 839.96/840.20 c 837s | 18 | 2458294 | 300452 | 74696 7 | 2013 | 4128 842.06/842.29 c 839s | 18 | 2464367 | 301252 | 74696 7 | 2013 | 4128 844.36/844.59 c 841s | 18 | 2470382 | 301952 | 74696 7 | 2013 | 4128 846.46/846.69 c 843s | 18 | 2473523 | 302652 | 74696 7 | 2013 | 4128 848.66/848.81 c 845s | 18 | 2476840 | 303152 | 74696 7 | 2013 | 4128 851.06/851.23 c 848s | 18 | 2482156 | 303652 | 74696 7 | 2013 | 4128 853.26/853.44 c 850s | 18 | 2485630 | 304052 | 74696 7 | 2013 | 4128 855.36/855.53 c 852s | 18 | 2490184 | 304852 | 74696 7 | 2013 | 4128 857.65/857.81 c 854s | 18 | 2496383 | 305652 | 74696 7 | 2013 | 4128 859.75/859.95 c 856s | 18 | 2500736 | 306352 | 74696 7 | 2013 | 4128 861.75/861.97 c 858s | 18 | 2505156 | 307052 | 74696 7 | 2013 | 4128 863.95/864.11 c 861s | 18 | 2510073 | 307852 | 74696 7 | 2013 | 4128 866.15/866.39 c 863s | 18 | 2515013 | 308552 | 74696 7 | 2013 | 4128 868.45/868.62 c 865s | 18 | 2522741 | 309352 | 74696 7 | 2013 | 4128 870.65/870.84 c 867s | 18 | 2527608 | 310252 | 74696 7 | 2013 | 4128 873.05/873.25 c 870s | 18 | 2532647 | 310952 | 74696 7 | 2013 | 4128 875.35/875.58 c 872s | 18 | 2537353 | 311452 | 74696 7 | 2013 | 4128 877.66/877.87 c 874s | 18 | 2541073 | 311952 | 74696 7 | 2013 | 4128 879.86/880.09 c 877s | 18 | 2545555 | 312552 | 74696 7 | 2013 | 4128 881.95/882.11 c 879s | 18 | 2548866 | 313152 | 74696 7 | 2013 | 4128 884.05/884.23 c 881s | 18 | 2552402 | 313652 | 74696 7 | 2013 | 4128 886.35/886.57 c 883s | 18 | 2556493 | 314252 | 74696 7 | 2013 | 4128 888.35/888.57 c 885s | 18 | 2560656 | 314952 | 74696 7 | 2013 | 4128 890.65/890.86 c 887s | 18 | 2565608 | 315552 | 74696 7 | 2013 | 4128 892.85/893.05 c 889s | 18 | 2569796 | 316252 | 74696 7 | 2013 | 4128 894.95/895.17 c 892s | 18 | 2573458 | 316852 | 74696 7 | 2013 | 4128 897.05/897.27 c 894s | 18 | 2578515 | 317452 | 74696 7 | 2013 | 4128 899.45/899.65 c 896s | 18 | 2582886 | 318152 | 74696 7 | 2013 | 4128 901.65/901.86 c 898s | 18 | 2586446 | 318652 | 74696 7 | 2013 | 4128 905.95/906.15 c 903s | 18 | 2589826 | 319152 | 74696 7 | 2013 | 4128 908.05/908.21 c 905s | 18 | 2594418 | 319652 | 74696 7 | 2013 | 4128 910.15/910.39 c 907s | 18 | 2599805 | 320152 | 74696 7 | 2013 | 4128 912.25/912.41 c 909s | 18 | 2601236 | 320452 | 74696 7 | 2013 | 4128 914.75/914.99 c 911s | 18 | 2602692 | 320752 | 74696 7 | 2013 | 4128 916.85/917.04 c 913s | 18 | 2603718 | 320952 | 74696 7 | 2013 | 4128 919.46/919.62 c 916s | 18 | 2604796 | 321252 | 74696 8 | 2013 | 4128 921.76/921.95 c 918s | 18 | 2606539 | 321652 | 74696 8 | 2013 | 4128 923.96/924.19 c 921s | 18 | 2606808 | 321752 | 74696 8 | 2013 | 4128 926.16/926.31 c 923s | 18 | 2609034 | 322152 | 74696 8 | 2013 | 4128 928.45/928.63 c 925s | 18 | 2612828 | 322752 | 74696 8 | 2013 | 4128 930.65/930.83 c 927s | 18 | 2615629 | 323252 | 74696 8 | 2013 | 4128 933.05/933.29 c 930s | 18 | 2617715 | 323752 | 74696 8 | 2013 | 4128 935.25/935.46 c 932s | 18 | 2619912 | 324152 | 74696 8 | 2013 | 4128 937.35/937.58 c 934s | 18 | 2622036 | 324552 | 74696 8 | 2013 | 4128 939.45/939.67 c 936s | 18 | 2626071 | 325052 | 74696 8 | 2013 | 4128 941.75/941.91 c 938s | 18 | 2631769 | 325652 | 74696 8 | 2013 | 4128 943.85/944.02 c 940s | 18 | 2634603 | 326152 | 74696 8 | 2013 | 4128 945.95/946.19 c 943s | 18 | 2637524 | 326652 | 74696 8 | 2013 | 4128 948.15/948.34 c 945s | 18 | 2644058 | 327252 | 74696 8 | 2013 | 4128 950.45/950.67 c 947s | 18 | 2647086 | 327852 | 74696 8 | 2013 | 4128 952.65/952.89 c 949s | 18 | 2650464 | 328352 | 74696 8 | 2013 | 4128 954.75/954.97 c 951s | 18 | 2653168 | 328852 | 74696 8 | 2013 | 4128 957.04/957.26 c 954s | 18 | 2656104 | 329452 | 74696 8 | 2013 | 4128 959.15/959.37 c 956s | 18 | 2658542 | 329952 | 74696 8 | 2013 | 4128 961.25/961.49 c 958s | 18 | 2661771 | 330452 | 74696 8 | 2013 | 4128 963.45/963.64 c 960s | 18 | 2663857 | 330952 | 74696 8 | 2013 | 4128 965.65/965.87 c 962s | 18 | 2666684 | 331552 | 74696 8 | 2013 | 4128 967.74/967.98 c 964s | 18 | 2668273 | 332052 | 74696 8 | 2013 | 4128 969.84/970.09 c 967s | 18 | 2672964 | 332752 | 74696 8 | 2013 | 4128 971.94/972.18 c 969s | 18 | 2678802 | 333552 | 74696 8 | 2013 | 4128 974.34/974.60 c 971s | 18 | 2684690 | 334152 | 74696 8 | 2013 | 4128 976.75/976.99 c 973s | 18 | 2688887 | 334652 | 74696 8 | 2013 | 4128 978.95/979.13 c 976s | 18 | 2692855 | 335252 | 74696 8 | 2013 | 4128 981.15/981.32 c 978s | 18 | 2696700 | 335852 | 74696 8 | 2013 | 4128 983.14/983.34 c 980s | 18 | 2701330 | 336452 | 74696 8 | 2013 | 4128 985.45/985.69 c 982s | 18 | 2705621 | 337152 | 74696 8 | 2013 | 4128 987.54/987.78 c 984s | 18 | 2709882 | 337852 | 74696 8 | 2013 | 4128 989.64/989.82 c 986s | 18 | 2715574 | 338652 | 74696 8 | 2013 | 4128 991.74/991.98 c 988s | 18 | 2719479 | 339352 | 74696 8 | 2013 | 4128 993.74/993.99 c 990s | 18 | 2724458 | 339952 | 74696 8 | 2013 | 4128 995.84/996.05 c 992s | 18 | 2728751 | 340652 | 74696 8 | 2013 | 4128 997.94/998.10 c 995s | 18 | 2732366 | 341352 | 74696 8 | 2013 | 4128 1000.24/1000.41 c 997s | 18 | 2736748 | 342052 | 74696 8 | 2013 | 4128 1002.44/1002.61 c 999s | 18 | 2740076 | 342752 | 74696 8 | 2013 | 4128 1004.44/1004.64 c 1001s | 18 | 2742901 | 343452 | 74696 8 | 2013 | 4128 1006.44/1006.66 c 1003s | 18 | 2744722 | 344052 | 74696 8 | 2013 | 4128 1008.43/1008.69 c 1005s | 18 | 2748242 | 344652 | 74696 8 | 2013 | 4128 1010.53/1010.70 c 1007s | 18 | 2750652 | 345152 | 74696 8 | 2013 | 4128 1012.83/1013.01 c 1009s | 18 | 2754830 | 345752 | 74696 8 | 2013 | 4128 1014.93/1015.10 c 1012s | 18 | 2756938 | 346352 | 74696 8 | 2013 | 4128 1017.34/1017.51 c 1014s | 18 | 2759375 | 346952 | 74696 8 | 2013 | 4128 1019.43/1019.68 c 1016s | 18 | 2762746 | 347552 | 74696 8 | 2013 | 4128 1021.53/1021.78 c 1018s | 18 | 2766471 | 348252 | 74696 8 | 2013 | 4128 1023.73/1023.93 c 1020s | 18 | 2770602 | 349052 | 74696 8 | 2013 | 4128 1025.93/1026.16 c 1023s | 18 | 2774235 | 349752 | 74696 8 | 2013 | 4128 1027.93/1028.19 c 1025s | 18 | 2776566 | 350252 | 74696 8 | 2013 | 4128 1030.23/1030.45 c 1027s | 18 | 2779178 | 350852 | 74696 8 | 2013 | 4128 1032.33/1032.58 c 1029s | 18 | 2781623 | 351552 | 74696 8 | 2013 | 4128 1034.72/1034.99 c 1031s | 18 | 2784487 | 352252 | 74696 8 | 2013 | 4128 1037.02/1037.28 c 1034s | 18 | 2788113 | 352852 | 74696 8 | 2013 | 4128 1039.12/1039.34 c 1036s | 18 | 2791379 | 353452 | 74696 8 | 2013 | 4128 1041.12/1041.38 c 1038s | 18 | 2794184 | 354052 | 74696 8 | 2013 | 4128 1043.52/1043.76 c 1040s | 18 | 2799509 | 354852 | 74696 8 | 2013 | 4128 1045.82/1046.07 c 1042s | 18 | 2802951 | 355452 | 74696 8 | 2013 | 4128 1048.02/1048.27 c 1045s | 18 | 2807635 | 356052 | 74696 8 | 2013 | 4128 1050.02/1050.29 c 1047s | 18 | 2809907 | 356652 | 74696 8 | 2013 | 4128 1052.12/1052.35 c 1049s | 18 | 2812306 | 357252 | 74696 8 | 2013 | 4128 1054.31/1054.57 c 1051s | 18 | 2816688 | 357952 | 74696 8 | 2013 | 4128 1056.61/1056.85 c 1053s | 18 | 2820104 | 358652 | 74696 8 | 2013 | 4128 1058.91/1059.12 c 1056s | 18 | 2822837 | 359252 | 74696 8 | 2013 | 4128 1061.21/1061.45 c 1058s | 18 | 2825838 | 359752 | 74696 8 | 2013 | 4128 1063.62/1063.85 c 1060s | 18 | 2829715 | 360352 | 74696 8 | 2013 | 4128 1065.61/1065.89 c 1062s | 18 | 2832974 | 360852 | 74696 8 | 2013 | 4128 1068.01/1068.26 c 1065s | 18 | 2836652 | 361552 | 74696 8 | 2013 | 4128 1070.21/1070.41 c 1067s | 18 | 2838860 | 362152 | 74696 8 | 2013 | 4128 1072.21/1072.42 c 1069s | 18 | 2840981 | 362552 | 74696 8 | 2013 | 4128 1074.21/1074.48 c 1071s | 18 | 2844210 | 363152 | 74696 9 | 2013 | 4128 1076.50/1076.72 c 1073s | 18 | 2847909 | 363852 | 74696 9 | 2013 | 4128 1078.50/1078.76 c 1075s | 18 | 2851695 | 364752 | 74696 9 | 2013 | 4128 1080.70/1080.93 c 1077s | 18 | 2855212 | 365552 | 74696 9 | 2013 | 4128 1082.70/1082.99 c 1079s | 18 | 2859294 | 366452 | 74696 9 | 2013 | 4128 1084.90/1085.18 c 1082s | 18 | 2862886 | 367352 | 74696 9 | 2013 | 4128 1087.00/1087.22 c 1084s | 18 | 2866648 | 368152 | 74696 9 | 2013 | 4128 1089.10/1089.30 c 1086s | 18 | 2869161 | 368952 | 74696 9 | 2013 | 4128 1091.20/1091.44 c 1088s | 18 | 2873117 | 369752 | 74696 9 | 2013 | 4128 1093.30/1093.55 c 1090s | 18 | 2876853 | 370552 | 74696 9 | 2013 | 4128 1095.29/1095.58 c 1092s | 18 | 2879321 | 371252 | 74696 9 | 2013 | 4128 1097.39/1097.61 c 1094s | 18 | 2882642 | 371952 | 74696 9 | 2013 | 4128 1099.59/1099.89 c 1096s | 18 | 2884666 | 372352 | 74696 9 | 2013 | 4128 1101.69/1101.95 c 1098s | 18 | 2888776 | 372852 | 74696 9 | 2013 | 4128 1103.79/1104.06 c 1100s | 18 | 2894168 | 373652 | 74696 9 | 2013 | 4128 1106.09/1106.34 c 1103s | 18 | 2899228 | 374352 | 74696 9 | 2013 | 4128 1108.09/1108.35 c 1105s | 18 | 2903500 | 375052 | 74696 9 | 2013 | 4128 1110.39/1110.68 c 1107s | 18 | 2906564 | 375652 | 74696 9 | 2013 | 4128 1112.59/1112.88 c 1109s | 18 | 2908984 | 375952 | 74696 9 | 2013 | 4128 1114.69/1114.94 c 1111s | 18 | 2914328 | 376652 | 74696 9 | 2013 | 4128 1116.79/1117.04 c 1113s | 18 | 2920446 | 377452 | 74696 9 | 2013 | 4128 1118.99/1119.20 c 1116s | 18 | 2927943 | 378252 | 74696 9 | 2013 | 4128 1121.09/1121.38 c 1118s | 18 | 2931971 | 379052 | 74696 9 | 2013 | 4128 1123.19/1123.47 c 1120s | 18 | 2936177 | 379852 | 74696 9 | 2013 | 4128 1125.48/1125.71 c 1122s | 18 | 2939796 | 380352 | 74696 9 | 2013 | 4128 1127.58/1127.88 c 1124s | 18 | 2947838 | 381052 | 74696 9 | 2013 | 4128 1129.78/1130.05 c 1126s | 18 | 2953932 | 381852 | 74696 9 | 2013 | 4128 1131.98/1132.21 c 1129s | 18 | 2959405 | 382652 | 74696 9 | 2013 | 4128 1134.08/1134.35 c 1131s | 18 | 2966625 | 383352 | 74696 9 | 2013 | 4128 1136.27/1136.52 c 1133s | 18 | 2971787 | 384052 | 74696 9 | 2013 | 4128 1138.47/1138.79 c 1135s | 18 | 2978036 | 384752 | 74696 9 | 2013 | 4128 1140.58/1140.80 c 1137s | 18 | 2981225 | 385352 | 74696 9 | 2013 | 4128 1142.87/1143.18 c 1140s | 18 | 2984283 | 385852 | 74696 9 | 2013 | 4128 1145.07/1145.30 c 1142s | 18 | 2989642 | 386452 | 74696 9 | 2013 | 4128 1147.27/1147.51 c 1144s | 18 | 2994403 | 387252 | 74696 9 | 2013 | 4128 1149.57/1149.82 c 1146s | 18 | 2998074 | 388052 | 74696 9 | 2013 | 4128 1151.67/1151.92 c 1148s | 18 | 3001647 | 388652 | 74696 9 | 2013 | 4128 1153.97/1154.20 c 1151s | 18 | 3008994 | 389452 | 74696 9 | 2013 | 4128 1156.06/1156.37 c 1153s | 18 | 3013833 | 390152 | 74696 9 | 2013 | 4128 1158.46/1158.78 c 1155s | 18 | 3019720 | 390952 | 74696 9 | 2013 | 4128 1160.76/1161.04 c 1157s | 18 | 3024385 | 391552 | 74696 9 | 2013 | 4128 1163.06/1163.39 c 1160s | 18 | 3029559 | 392152 | 74696 9 | 2013 | 4128 1165.36/1165.61 c 1162s | 18 | 3036132 | 392752 | 74696 9 | 2013 | 4128 1167.66/1167.94 c 1164s | 18 | 3042133 | 393452 | 74696 9 | 2013 | 4128 1169.96/1170.24 c 1167s | 18 | 3045600 | 394052 | 74696 9 | 2013 | 4128 1172.16/1172.43 c 1169s | 18 | 3049501 | 394652 | 74696 9 | 2013 | 4128 1174.26/1174.58 c 1171s | 18 | 3054981 | 395352 | 74696 9 | 2013 | 4128 1176.35/1176.61 c 1173s | 18 | 3059454 | 395852 | 74696 9 | 2013 | 4128 1178.75/1179.03 c 1175s | 18 | 3063828 | 396452 | 74696 9 | 2013 | 4128 1180.75/1181.05 c 1177s | 18 | 3067288 | 396952 | 74696 9 | 2013 | 4128 1182.75/1183.05 c 1179s | 18 | 3071523 | 397552 | 74696 9 | 2013 | 4128 1184.75/1185.06 c 1181s | 18 | 3076231 | 398152 | 74696 9 | 2013 | 4128 1186.94/1187.26 c 1184s | 18 | 3080747 | 398752 | 74696 9 | 2013 | 4128 1189.34/1189.68 c 1186s | 18 | 3086960 | 399452 | 74696 9 | 2013 | 4128 1191.44/1191.72 c 1188s | 18 | 3091702 | 400052 | 74696 9 | 2013 | 4128 1193.74/1194.04 c 1190s | 18 | 3097335 | 400652 | 74696 9 | 2013 | 4128 1195.84/1196.12 c 1193s | 18 | 3102669 | 401252 | 74696 9 | 2013 | 4128 1198.14/1198.41 c 1195s | 18 | 3108198 | 401952 | 74696 9 | 2013 | 4128 1200.24/1200.50 c 1197s | 18 | 3112831 | 402652 | 74696 9 | 2013 | 4128 1202.24/1202.59 c 1199s | 18 | 3117072 | 403352 | 74696 9 | 2013 | 4128 1204.53/1204.80 c 1201s | 18 | 3121614 | 403952 | 74696 9 | 2013 | 4128 1207.23/1207.54 c 1204s | 18 | 3124837 | 404552 | 74696 10 | 2013 | 4128 1209.23/1209.58 c 1206s | 18 | 3127134 | 405052 | 74696 10 | 2013 | 4128 1211.32/1211.64 c 1208s | 18 | 3130464 | 405552 | 74696 10 | 2013 | 4128 1213.42/1213.72 c 1210s | 18 | 3136538 | 406352 | 74696 10 | 2013 | 4128 1215.72/1216.04 c 1212s | 18 | 3142453 | 407152 | 74696 10 | 2013 | 4128 1217.92/1218.26 c 1215s | 18 | 3145588 | 407752 | 74696 10 | 2013 | 4128 1220.02/1220.34 c 1217s | 18 | 3148921 | 408252 | 74696 10 | 2013 | 4128 1222.12/1222.42 c 1219s | 18 | 3152499 | 408952 | 74696 10 | 2013 | 4128 1224.22/1224.52 c 1221s | 18 | 3154967 | 409652 | 74696 10 | 2013 | 4128 1226.32/1226.63 c 1223s | 18 | 3158167 | 410252 | 74696 10 | 2013 | 4128 1228.42/1228.72 c 1225s | 18 | 3161128 | 410752 | 74696 10 | 2013 | 4128 1230.62/1230.93 c 1227s | 18 | 3163723 | 411252 | 74696 10 | 2013 | 4128 1232.71/1233.09 c 1230s | 18 | 3168029 | 411852 | 74696 10 | 2013 | 4128 1235.01/1235.35 c 1232s | 18 | 3172330 | 412552 | 74696 10 | 2013 | 4128 1237.01/1237.39 c 1234s | 18 | 3174800 | 413152 | 74696 10 | 2013 | 4128 1239.31/1239.68 c 1236s | 18 | 3178206 | 413752 | 74696 10 | 2013 | 4128 1241.61/1242.00 c 1238s | 18 | 3182991 | 414352 | 74696 10 | 2013 | 4128 1243.91/1244.27 c 1241s | 18 | 3187030 | 414952 | 74696 10 | 2013 | 4128 1246.20/1246.59 c 1243s | 18 | 3188687 | 415552 | 74696 10 | 2013 | 4128 1248.31/1248.63 c 1245s | 18 | 3191791 | 416152 | 74696 10 | 2013 | 4128 1250.51/1250.86 c 1247s | 18 | 3199347 | 417052 | 74696 10 | 2013 | 4128 1252.61/1252.97 c 1249s | 18 | 3205184 | 417852 | 74696 10 | 2013 | 4128 1255.00/1255.39 c 1252s | 18 | 3210076 | 418452 | 74696 10 | 2013 | 4128 1257.19/1257.59 c 1254s | 18 | 3213434 | 419052 | 74696 10 | 2013 | 4128 1259.30/1259.70 c 1256s | 18 | 3215547 | 419652 | 74696 10 | 2013 | 4128 1261.59/1261.93 c 1258s | 18 | 3220072 | 420252 | 74696 10 | 2013 | 4128 1263.79/1264.11 c 1261s | 18 | 3223168 | 420952 | 74696 10 | 2013 | 4128 1265.90/1266.23 c 1263s | 18 | 3225743 | 421552 | 74696 10 | 2013 | 4128 1267.89/1268.23 c 1265s | 18 | 3228599 | 422152 | 74696 10 | 2013 | 4128 1269.89/1270.24 c 1267s | 18 | 3232317 | 422852 | 74696 10 | 2013 | 4128 1271.89/1272.29 c 1269s | 18 | 3235901 | 423452 | 74696 10 | 2013 | 4128 1273.99/1274.40 c 1271s | 18 | 3237954 | 423952 | 74696 10 | 2013 | 4128 1276.09/1276.46 c 1273s | 18 | 3242340 | 424552 | 74696 10 | 2013 | 4128 1278.19/1278.50 c 1275s | 18 | 3247942 | 425252 | 74696 10 | 2013 | 4128 1280.39/1280.74 c 1277s | 18 | 3254642 | 425952 | 74696 10 | 2013 | 4128 1282.69/1283.09 c 1280s | 18 | 3261037 | 426552 | 74696 10 | 2013 | 4128 1285.09/1285.40 c 1282s | 18 | 3263942 | 426952 | 74696 10 | 2013 | 4128 1287.39/1287.74 c 1284s | 18 | 3271392 | 427552 | 74696 10 | 2013 | 4128 1289.69/1290.06 c 1286s | 18 | 3277014 | 428252 | 74696 10 | 2013 | 4128 1291.79/1292.16 c 1289s | 18 | 3282557 | 429052 | 74696 10 | 2013 | 4128 1293.99/1294.35 c 1291s | 18 | 3287424 | 429652 | 74696 10 | 2013 | 4128 1296.19/1296.58 c 1293s | 18 | 3290921 | 430052 | 74696 10 | 2013 | 4128 1298.29/1298.63 c 1295s | 18 | 3294925 | 430552 | 74696 10 | 2013 | 4128 1300.29/1300.66 c 1297s | 18 | 3300824 | 431152 | 74696 10 | 2013 | 4128 1302.49/1302.86 c 1299s | 18 | 3305486 | 431752 | 74696 10 | 2013 | 4128 1304.79/1305.14 c 1302s | 18 | 3309664 | 432252 | 74696 10 | 2013 | 4128 1306.89/1307.24 c 1304s | 18 | 3313824 | 432752 | 74696 10 | 2013 | 4128 1308.99/1309.32 c 1306s | 18 | 3319075 | 433352 | 74696 10 | 2013 | 4128 1311.29/1311.61 c 1308s | 18 | 3324224 | 433952 | 74696 10 | 2013 | 4128 1313.29/1313.67 c 1310s | 18 | 3329268 | 434652 | 74696 10 | 2013 | 4128 1315.59/1315.91 c 1312s | 18 | 3333552 | 435352 | 74696 10 | 2013 | 4128 1317.78/1318.11 c 1315s | 18 | 3338335 | 435852 | 74696 10 | 2013 | 4128 1320.08/1320.48 c 1317s | 18 | 3342286 | 436352 | 74696 10 | 2013 | 4128 1322.18/1322.50 c 1319s | 18 | 3346745 | 436752 | 74696 10 | 2013 | 4128 1324.38/1324.77 c 1321s | 18 | 3352882 | 437352 | 74696 10 | 2013 | 4128 1326.48/1326.85 c 1323s | 18 | 3357837 | 438052 | 74696 10 | 2013 | 4128 1328.78/1329.13 c 1326s | 18 | 3362883 | 438752 | 74696 10 | 2013 | 4128 1331.38/1331.76 c 1328s | 18 | 3367684 | 439352 | 74696 10 | 2013 | 4128 1333.78/1334.10 c 1331s | 18 | 3372547 | 439952 | 82166 10 | 2013 | 4128 1335.98/1336.34 c 1333s | 18 | 3376696 | 440552 | 82166 10 | 2013 | 4128 1337.98/1338.36 c 1335s | 18 | 3381149 | 441152 | 82166 10 | 2013 | 4128 1340.18/1340.52 c 1337s | 18 | 3385726 | 441852 | 82166 10 | 2013 | 4128 1342.28/1342.66 c 1339s | 18 | 3388686 | 442352 | 82166 10 | 2013 | 4128 1344.48/1344.84 c 1341s | 18 | 3392261 | 442752 | 82166 10 | 2013 | 4128 1346.78/1347.13 c 1344s | 18 | 3396460 | 443352 | 82166 10 | 2013 | 4128 1348.78/1349.15 c 1346s | 18 | 3399597 | 443852 | 82166 10 | 2013 | 4128 1350.98/1351.39 c 1348s | 18 | 3404264 | 444452 | 82166 10 | 2013 | 4128 1351.18/1351.51 c 1348s | 19 | 3404497 | 444482 | 82166 10 | 2013 | 4128 1353.38/1353.76 c 1350s | 19 | 3410619 | 444982 | 82166 10 | 2013 | 4128 1355.78/1356.12 c 1353s | 19 | 3413716 | 445482 | 82166 10 | 2013 | 4128 1357.88/1358.26 c 1355s | 19 | 3416111 | 445782 | 82166 10 | 2013 | 4128 1360.18/1360.53 c 1357s | 19 | 3420546 | 446282 | 82166 10 | 2013 | 4128 1362.58/1362.95 c 1359s | 19 | 3424654 | 446882 | 82166 10 | 2013 | 4128 1364.68/1365.09 c 1362s | 19 | 3429434 | 447382 | 82166 10 | 2013 | 4128 1366.78/1367.13 c 1364s | 19 | 3431913 | 447782 | 82166 10 | 2013 | 4128 1368.98/1369.39 c 1366s | 19 | 3436345 | 448282 | 82166 10 | 2013 | 4128 1371.18/1371.58 c 1368s | 19 | 3440158 | 448782 | 82166 10 | 2013 | 4128 1373.48/1373.81 c 1370s | 19 | 3444377 | 449282 | 82166 10 | 2013 | 4128 1375.68/1376.06 c 1372s | 19 | 3449854 | 449782 | 82166 10 | 2013 | 4128 1377.78/1378.13 c 1375s | 19 | 3453165 | 450282 | 82166 10 | 2013 | 4128 1379.78/1380.19 c 1377s | 19 | 3456235 | 450782 | 82166 10 | 2013 | 4128 1381.88/1382.22 c 1379s | 19 | 3459043 | 451282 | 82166 10 | 2013 | 4128 1383.98/1384.36 c 1381s | 19 | 3462820 | 451882 | 82166 10 | 2013 | 4128 1386.07/1386.44 c 1383s | 19 | 3465789 | 452482 | 82166 10 | 2013 | 4128 1388.17/1388.55 c 1385s | 19 | 3469938 | 453082 | 82166 10 | 2013 | 4128 1390.18/1390.58 c 1387s | 19 | 3473307 | 453582 | 82166 10 | 2013 | 4128 1392.97/1393.34 c 1390s | 19 | 3476418 | 454082 | 82166 11 | 2013 | 4128 1395.17/1395.56 c 1392s | 19 | 3481929 | 454782 | 82166 11 | 2013 | 4128 1402.07/1402.43 c 1399s | 19 | 3483592 | 455082 | 82166 11 | 2013 | 4128 1404.17/1404.57 c 1401s | 19 | 3488321 | 455882 | 82166 11 | 2013 | 4128 1412.36/1412.78 c 1409s | 19 | 3489526 | 456082 | 82166 11 | 2013 | 4128 1423.06/1423.45 c 1420s | 19 | 3490127 | 456182 | 82166 11 | 2013 | 4128 1427.76/1428.14 c 1425s | 19 | 3492653 | 456682 | 82166 11 | 2013 | 4128 1430.06/1430.43 c 1427s | 19 | 3498696 | 457482 | 82166 11 | 2013 | 4128 1432.06/1432.47 c 1429s | 19 | 3508318 | 458482 | 82166 11 | 2013 | 4128 1434.26/1434.67 c 1431s | 19 | 3516691 | 459482 | 82166 11 | 2013 | 4128 1436.37/1436.71 c 1433s | 19 | 3521753 | 460282 | 82166 11 | 2013 | 4128 1438.46/1438.86 c 1435s | 19 | 3527744 | 460982 | 82166 11 | 2013 | 4128 1440.46/1440.88 c 1437s | 19 | 3537128 | 461982 | 82166 11 | 2013 | 4128 1442.66/1443.04 c 1439s | 19 | 3544442 | 462982 | 82166 11 | 2013 | 4128 1444.66/1445.06 c 1441s | 19 | 3550276 | 463782 | 82166 11 | 2013 | 4128 1446.86/1447.30 c 1444s | 19 | 3558628 | 464682 | 82166 11 | 2013 | 4128 1448.96/1449.38 c 1446s | 19 | 3565668 | 465482 | 82166 11 | 2013 | 4128 1451.06/1451.47 c 1448s | 19 | 3571140 | 466182 | 82166 11 | 2013 | 4128 1453.26/1453.63 c 1450s | 19 | 3575645 | 466682 | 82166 11 | 2013 | 4128 1455.65/1456.06 c 1452s | 19 | 3578112 | 467182 | 82166 11 | 2013 | 4128 1457.85/1458.26 c 1455s | 19 | 3580254 | 467582 | 82166 11 | 2013 | 4128 1460.05/1460.45 c 1457s | 19 | 3582843 | 468082 | 82166 11 | 2013 | 4128 1462.15/1462.50 c 1459s | 19 | 3587184 | 468682 | 82166 11 | 2013 | 4128 1464.25/1464.61 c 1461s | 19 | 3592691 | 469582 | 82166 11 | 2013 | 4128 1466.34/1466.74 c 1463s | 19 | 3599155 | 470282 | 82166 11 | 2013 | 4128 1468.44/1468.83 c 1465s | 19 | 3603342 | 470882 | 82166 11 | 2013 | 4128 1470.64/1471.04 c 1467s | 19 | 3608966 | 471582 | 82166 11 | 2013 | 4128 1472.65/1473.09 c 1470s | 19 | 3614612 | 472182 | 82166 11 | 2013 | 4128 1474.85/1475.29 c 1472s | 19 | 3620313 | 472782 | 82166 11 | 2013 | 4128 1477.24/1477.61 c 1474s | 19 | 3625137 | 473582 | 82166 11 | 2013 | 4128 1479.54/1479.95 c 1476s | 19 | 3630528 | 474482 | 82166 11 | 2013 | 4128 1481.84/1482.27 c 1479s | 19 | 3635324 | 475282 | 82166 11 | 2013 | 4128 1483.84/1484.28 c 1481s | 19 | 3640039 | 475982 | 82166 11 | 2013 | 4128 1485.93/1486.35 c 1483s | 19 | 3645035 | 476582 | 82166 11 | 2013 | 4128 1488.04/1488.43 c 1485s | 19 | 3650041 | 477182 | 82166 11 | 2013 | 4128 1490.03/1490.45 c 1487s | 19 | 3653679 | 477882 | 82166 11 | 2013 | 4128 1492.23/1492.60 c 1489s | 19 | 3658800 | 478582 | 82166 11 | 2013 | 4128 1494.43/1494.82 c 1491s | 19 | 3664731 | 479282 | 82166 11 | 2013 | 4128 1496.43/1496.83 c 1493s | 19 | 3668103 | 479882 | 82166 11 | 2013 | 4128 1498.43/1498.89 c 1495s | 19 | 3671977 | 480582 | 82166 11 | 2013 | 4128 1500.63/1501.02 c 1497s | 19 | 3675926 | 481382 | 82166 11 | 2013 | 4128 1502.63/1503.04 c 1499s | 19 | 3681244 | 481982 | 82166 11 | 2013 | 4128 1504.73/1505.11 c 1502s | 19 | 3688678 | 482882 | 82166 11 | 2013 | 4128 1506.73/1507.15 c 1504s | 19 | 3692811 | 483682 | 82166 11 | 2013 | 4128 1509.12/1509.51 c 1506s | 19 | 3696549 | 484282 | 82166 11 | 2013 | 4128 1511.72/1512.13 c 1509s | 19 | 3699802 | 484682 | 82166 11 | 2013 | 4128 1513.82/1514.25 c 1511s | 19 | 3702100 | 484982 | 82166 11 | 2013 | 4128 1515.92/1516.35 c 1513s | 19 | 3704414 | 485282 | 82166 11 | 2013 | 4128 1518.12/1518.52 c 1515s | 19 | 3706236 | 485582 | 82166 11 | 2013 | 4128 1520.12/1520.56 c 1517s | 19 | 3708376 | 485882 | 82166 11 | 2013 | 4128 1522.22/1522.63 c 1519s | 19 | 3710874 | 486182 | 82166 11 | 2013 | 4128 1524.33/1524.78 c 1521s | 19 | 3713528 | 486482 | 82166 11 | 2013 | 4128 1526.42/1526.85 c 1523s | 19 | 3716080 | 486782 | 82166 11 | 2013 | 4128 1528.52/1528.98 c 1525s | 19 | 3719072 | 487082 | 82166 11 | 2013 | 4128 1530.72/1531.13 c 1528s | 19 | 3721561 | 487582 | 82166 11 | 2013 | 4128 1532.82/1533.25 c 1530s | 19 | 3725243 | 488182 | 82166 11 | 2013 | 4128 1535.22/1535.63 c 1532s | 19 | 3728003 | 488782 | 82166 11 | 2013 | 4128 1537.31/1537.75 c 1534s | 19 | 3729456 | 489282 | 82166 11 | 2013 | 4128 1539.51/1539.92 c 1536s | 19 | 3731647 | 489782 | 82166 11 | 2013 | 4128 1542.01/1542.40 c 1539s | 19 | 3735899 | 490282 | 82166 11 | 2013 | 4128 1544.21/1544.66 c 1541s | 19 | 3741054 | 490782 | 82166 11 | 2013 | 4128 1546.32/1546.77 c 1543s | 19 | 3748146 | 491482 | 82166 11 | 2013 | 4128 1548.51/1548.95 c 1545s | 19 | 3752590 | 492182 | 82166 11 | 2013 | 4128 1550.81/1551.27 c 1548s | 19 | 3759296 | 492882 | 82166 11 | 2013 | 4128 1553.01/1553.47 c 1550s | 19 | 3765624 | 493582 | 82166 11 | 2013 | 4128 1555.11/1555.53 c 1552s | 19 | 3770630 | 494182 | 82166 11 | 2013 | 4128 1557.11/1557.56 c 1554s | 19 | 3775055 | 495082 | 82166 11 | 2013 | 4128 1559.21/1559.65 c 1556s | 19 | 3779939 | 495982 | 82166 11 | 2013 | 4128 1561.20/1561.65 c 1558s | 19 | 3785174 | 496682 | 82166 11 | 2013 | 4128 1563.40/1563.82 c 1560s | 19 | 3790714 | 497482 | 82166 11 | 2013 | 4128 1565.40/1565.85 c 1562s | 19 | 3795840 | 498182 | 82166 11 | 2013 | 4128 1567.50/1567.91 c 1564s | 19 | 3802414 | 498982 | 82166 11 | 2013 | 4128 1569.50/1569.95 c 1566s | 19 | 3805822 | 499482 | 82166 12 | 2013 | 4128 1571.51/1572.00 c 1568s | 19 | 3810060 | 500182 | 82166 12 | 2013 | 4128 1573.60/1574.06 c 1570s | 19 | 3813563 | 500882 | 82166 12 | 2013 | 4128 1575.70/1576.11 c 1573s | 19 | 3821376 | 501882 | 82166 12 | 2013 | 4128 1577.70/1578.16 c 1575s | 19 | 3826033 | 502782 | 82166 12 | 2013 | 4128 1580.80/1581.28 c 1578s | 19 | 3828837 | 502982 | 82166 12 | 2013 | 4128 1582.90/1583.31 c 1580s | 19 | 3836458 | 503782 | 82166 12 | 2013 | 4128 1584.99/1585.40 c 1582s | 19 | 3846246 | 504882 | 82166 12 | 2013 | 4128 1587.00/1587.43 c 1584s | 19 | 3851637 | 505782 | 82166 12 | 2013 | 4128 1589.29/1589.71 c 1586s | 19 | 3859033 | 506682 | 82166 12 | 2013 | 4128 1591.40/1591.82 c 1588s | 19 | 3869876 | 507782 | 82166 12 | 2013 | 4128 1593.39/1593.88 c 1590s | 19 | 3876759 | 508582 | 82166 12 | 2013 | 4128 1595.49/1595.99 c 1592s | 19 | 3880257 | 509082 | 82166 12 | 2013 | 4128 1597.59/1598.03 c 1594s | 19 | 3889964 | 509982 | 82166 12 | 2013 | 4128 1599.79/1600.20 c 1597s | 19 | 3897169 | 510882 | 82166 12 | 2013 | 4128 1601.99/1602.43 c 1599s | 19 | 3902431 | 511682 | 82166 12 | 2013 | 4128 1604.19/1604.68 c 1601s | 19 | 3910050 | 512582 | 82166 12 | 2013 | 4128 1606.18/1606.68 c 1603s | 19 | 3916136 | 513382 | 82166 12 | 2013 | 4128 1608.48/1608.93 c 1605s | 19 | 3922012 | 514182 | 82166 12 | 2013 | 4128 1610.58/1611.04 c 1607s | 19 | 3927744 | 514982 | 82166 12 | 2013 | 4128 1612.58/1613.05 c 1609s | 19 | 3932566 | 515782 | 82166 12 | 2013 | 4128 1614.78/1615.23 c 1612s | 19 | 3938678 | 516682 | 82166 12 | 2013 | 4128 1616.78/1617.23 c 1614s | 19 | 3944207 | 517482 | 82166 12 | 2013 | 4128 1618.98/1619.42 c 1616s | 19 | 3948836 | 518082 | 82166 12 | 2013 | 4128 1621.09/1621.56 c 1618s | 19 | 3954689 | 518782 | 82166 12 | 2013 | 4128 1623.08/1623.60 c 1620s | 19 | 3960925 | 519482 | 82166 12 | 2013 | 4128 1625.38/1625.87 c 1622s | 19 | 3965748 | 520182 | 82166 12 | 2013 | 4128 1627.68/1628.19 c 1625s | 19 | 3970799 | 520782 | 82166 12 | 2013 | 4128 1629.67/1630.20 c 1627s | 19 | 3975210 | 521382 | 82166 12 | 2013 | 4128 1631.77/1632.24 c 1629s | 19 | 3979087 | 522182 | 82166 12 | 2013 | 4128 1633.97/1634.44 c 1631s | 19 | 3982633 | 522982 | 82166 12 | 2013 | 4128 1636.17/1636.67 c 1633s | 19 | 3987132 | 523782 | 82166 12 | 2013 | 4128 1638.58/1639.01 c 1635s | 19 | 3993076 | 524582 | 82166 12 | 2013 | 4128 1640.67/1641.11 c 1638s | 19 | 3999290 | 525382 | 82166 12 | 2013 | 4128 1642.87/1643.32 c 1640s | 19 | 4004803 | 526182 | 82166 12 | 2013 | 4128 1644.87/1645.37 c 1642s | 19 | 4010128 | 526782 | 82166 12 | 2013 | 4128 1646.97/1647.49 c 1644s | 19 | 4015173 | 527482 | 82166 12 | 2013 | 4128 1649.07/1649.53 c 1646s | 19 | 4020805 | 528182 | 82166 12 | 2013 | 4128 1651.37/1651.80 c 1648s | 19 | 4026750 | 528982 | 82166 12 | 2013 | 4128 1653.57/1654.06 c 1650s | 19 | 4031463 | 529682 | 82166 12 | 2013 | 4128 1655.87/1656.34 c 1653s | 19 | 4036658 | 530282 | 82166 12 | 2013 | 4128 1657.97/1658.42 c 1655s | 19 | 4042974 | 530982 | 82166 12 | 2013 | 4128 1659.96/1660.49 c 1657s | 19 | 4048421 | 531582 | 82166 12 | 2013 | 4128 1662.06/1662.55 c 1659s | 19 | 4050894 | 532082 | 82166 12 | 2013 | 4128 1664.26/1664.75 c 1661s | 19 | 4053500 | 532582 | 82166 12 | 2013 | 4128 1666.46/1666.90 c 1663s | 19 | 4057924 | 533182 | 82166 12 | 2013 | 4128 1668.86/1669.34 c 1666s | 19 | 4062386 | 533682 | 82166 12 | 2013 | 4128 1671.06/1671.57 c 1668s | 19 | 4065367 | 534082 | 82166 12 | 2013 | 4128 1673.56/1674.03 c 1670s | 19 | 4068524 | 534482 | 82166 12 | 2013 | 4128 1675.56/1676.08 c 1673s | 19 | 4070879 | 534782 | 82166 12 | 2013 | 4128 1678.06/1678.58 c 1675s | 19 | 4073643 | 535182 | 82166 12 | 2013 | 4128 1680.56/1681.02 c 1677s | 19 | 4078165 | 535782 | 82166 12 | 2013 | 4128 1682.57/1683.05 c 1679s | 19 | 4082159 | 536182 | 82166 12 | 2013 | 4128 1684.66/1685.18 c 1682s | 19 | 4083762 | 536482 | 82166 12 | 2013 | 4128 1686.97/1687.49 c 1684s | 19 | 4085439 | 536882 | 82166 12 | 2013 | 4128 1689.17/1689.67 c 1686s | 19 | 4086289 | 537182 | 82166 12 | 2013 | 4128 1691.26/1691.77 c 1688s | 19 | 4088856 | 537582 | 82166 12 | 2013 | 4128 1693.46/1693.94 c 1690s | 19 | 4090727 | 537982 | 82166 12 | 2013 | 4128 1695.76/1696.22 c 1693s | 19 | 4092312 | 538382 | 82166 12 | 2013 | 4128 1697.96/1698.44 c 1695s | 19 | 4095928 | 538882 | 82166 12 | 2013 | 4128 1700.46/1700.93 c 1697s | 19 | 4101608 | 539582 | 82166 12 | 2013 | 4128 1702.56/1703.07 c 1699s | 19 | 4104979 | 540082 | 82166 12 | 2013 | 4128 1704.86/1705.35 c 1702s | 19 | 4108944 | 540682 | 82166 12 | 2013 | 4128 1707.16/1707.62 c 1704s | 19 | 4111663 | 541082 | 82166 12 | 2013 | 4128 1709.56/1710.04 c 1706s | 19 | 4113561 | 541482 | 82166 12 | 2013 | 4128 1711.86/1712.35 c 1709s | 19 | 4114860 | 541782 | 82166 12 | 2013 | 4128 1714.06/1714.52 c 1711s | 19 | 4117969 | 542182 | 82166 12 | 2013 | 4128 1716.16/1716.69 c 1713s | 19 | 4121232 | 542582 | 82166 12 | 2013 | 4128 1718.35/1718.85 c 1715s | 19 | 4125298 | 543082 | 82166 12 | 2013 | 4128 1720.95/1721.44 c 1718s | 19 | 4128695 | 543582 | 82166 12 | 2013 | 4128 1723.45/1723.95 c 1720s | 19 | 4130427 | 543982 | 82166 12 | 2013 | 4128 1725.85/1726.33 c 1723s | 19 | 4131877 | 544282 | 82166 12 | 2013 | 4128 1727.95/1728.40 c 1725s | 19 | 4133369 | 544582 | 82166 13 | 2013 | 4128 1730.15/1730.64 c 1727s | 19 | 4135921 | 545082 | 82166 13 | 2013 | 4128 1732.25/1732.79 c 1729s | 19 | 4140527 | 545682 | 82166 13 | 2013 | 4128 1734.45/1734.94 c 1731s | 19 | 4144791 | 546382 | 82166 13 | 2013 | 4128 1736.65/1737.12 c 1734s | 19 | 4148377 | 546982 | 82166 13 | 2013 | 4128 1738.85/1739.39 c 1736s | 19 | 4150952 | 547482 | 82166 13 | 2013 | 4128 1741.05/1741.50 c 1738s | 19 | 4153179 | 547982 | 82166 13 | 2013 | 4128 1743.16/1743.63 c 1740s | 19 | 4155439 | 548582 | 82166 13 | 2013 | 4128 1745.26/1745.74 c 1742s | 19 | 4157514 | 549082 | 82166 13 | 2013 | 4128 1747.56/1748.04 c 1744s | 19 | 4162273 | 549782 | 82166 13 | 2013 | 4128 1749.95/1750.47 c 1747s | 19 | 4165476 | 550382 | 82166 13 | 2013 | 4128 1752.05/1752.56 c 1749s | 19 | 4167670 | 550882 | 82166 13 | 2013 | 4128 1754.25/1754.77 c 1751s | 19 | 4171639 | 551582 | 82166 13 | 2013 | 4128 1756.35/1756.85 c 1753s | 19 | 4173829 | 551982 | 82166 13 | 2013 | 4128 1758.55/1759.08 c 1756s | 19 | 4176891 | 552582 | 82166 13 | 2013 | 4128 1760.85/1761.36 c 1758s | 19 | 4179013 | 553082 | 82166 13 | 2013 | 4128 1763.15/1763.67 c 1760s | 19 | 4181595 | 553682 | 82166 13 | 2013 | 4128 1765.45/1765.93 c 1762s | 19 | 4184650 | 554282 | 82166 13 | 2013 | 4128 1767.75/1768.24 c 1765s | 19 | 4189801 | 554782 | 82166 13 | 2013 | 4128 1769.95/1770.41 c 1767s | 19 | 4193503 | 555282 | 82166 13 | 2013 | 4128 1772.04/1772.55 c 1769s | 19 | 4199881 | 556082 | 82166 13 | 2013 | 4128 1774.24/1774.75 c 1771s | 19 | 4205229 | 557182 | 82166 13 | 2013 | 4128 1776.44/1776.90 c 1773s | 19 | 4210514 | 558082 | 82166 13 | 2013 | 4128 1778.64/1779.10 c 1776s | 19 | 4215492 | 558882 | 82166 13 | 2013 | 4128 1780.74/1781.21 c 1778s | 19 | 4220233 | 559782 | 82166 13 | 2013 | 4128 1782.84/1783.31 c 1780s | 19 | 4225681 | 560582 | 82166 13 | 2013 | 4128 1784.95/1785.45 c 1782s | 19 | 4232920 | 561382 | 82166 13 | 2013 | 4128 1787.05/1787.53 c 1784s | 19 | 4239466 | 562182 | 82166 13 | 2013 | 4128 1789.14/1789.63 c 1786s | 19 | 4244650 | 562882 | 82166 13 | 2013 | 4128 1791.24/1791.80 c 1788s | 19 | 4251984 | 563682 | 82166 13 | 2013 | 4128 1793.44/1793.95 c 1790s | 19 | 4259267 | 564482 | 82166 13 | 2013 | 4128 1795.54/1796.01 c 1792s | 19 | 4265525 | 565182 | 82166 13 | 2013 | 4128 1797.54/1798.04 c 1794s | 19 | 4271571 | 565982 | 82166 13 | 2013 | 4128 1799.84/1800.34 c 1797s | 19 | 4275659 | 566682 | 82166 13 | 2013 | 4128
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-4079843-1465248727/watcher-4079843-1465248727 -o /tmp/evaluation-result-4079843-1465248727/solver-4079843-1465248727 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079843-1465248727.opb pid=17490 running on 4 cores: 0,2,4,6 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.16 2.19 2.18 3/179 17493 /proc/meminfo: memFree=29254928/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=746940 CPUtime=0 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 2787 0 0 0 0 0 0 0 20 0 4 0 106805098 764866560 3147 33554432000 4194304 16246674 140735037107968 140735037107392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 187247 3157 441 2943 0 184141 0 [pid=17493/tid=17494] ppid=17490 vsize=768444 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 786886656 3234 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 791080960 3251 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=777660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106805098 796323840 3269 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 2.16 2.19 2.18 3/179 17493 /proc/meminfo: memFree=29254928/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 26562 0 0 0 6 3 0 0 20 0 4 0 106805098 1333334016 26860 33554432000 4194304 16246674 140735037107968 140735037107280 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 325521 26873 799 2943 0 322415 0 [pid=17493/tid=17494] ppid=17490 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1333334016 26886 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1333334016 26898 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1333334016 26909 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200502 s] /proc/loadavg: 2.16 2.19 2.18 3/179 17493 /proc/meminfo: memFree=29254928/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 49441 0 0 0 13 6 0 0 20 0 4 0 106805098 1345916928 50250 33554432000 4194304 16246674 140735037107968 140735037107280 7440114 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 328593 50250 799 2943 0 325487 0 [pid=17493/tid=17494] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 50250 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 50250 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 50250 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.30044 s] /proc/loadavg: 2.16 2.19 2.18 3/179 17493 /proc/meminfo: memFree=29254928/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1314372 CPUtime=0.28 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 50759 0 0 0 22 6 0 0 20 0 4 0 106805098 1345916928 51568 33554432000 4194304 16246674 140735037107968 140735037107280 5589077 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 328593 51576 832 2943 0 325487 0 [pid=17493/tid=17494] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 51582 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 51587 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1345916928 51593 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700441 s] /proc/loadavg: 2.16 2.19 2.18 3/179 17493 /proc/meminfo: memFree=29254928/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=0.68 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 106245 0 0 0 53 15 0 0 20 0 4 0 106805098 1358499840 107054 33554432000 4194304 16246674 140735037107968 140735037107280 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 107054 871 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107054 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107054 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107054 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1326660 [startup+1.50044 s] /proc/loadavg: 2.16 2.19 2.18 3/183 17497 /proc/meminfo: memFree=28826844/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=1.48 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 106487 0 0 0 133 15 0 0 20 0 4 0 106805098 1358499840 107296 33554432000 4194304 16246674 140735037107968 140735037107280 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 107296 907 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107296 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107296 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 107296 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1326660 [startup+3.10044 s] /proc/loadavg: 2.16 2.19 2.18 3/183 17497 /proc/meminfo: memFree=28826348/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=3.08 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 182658 0 0 0 282 26 0 0 20 0 4 0 106805098 1358499840 183467 33554432000 4194304 16246674 140735037107968 140735037089856 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 183467 907 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 183467 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 183467 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 183467 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1326660 [startup+6.30044 s] /proc/loadavg: 2.14 2.19 2.18 4/183 17497 /proc/meminfo: memFree=28163384/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=6.29 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 272358 0 0 0 590 39 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 140735037089856 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 273167 907 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 2.13 2.18 2.18 3/183 17497 /proc/meminfo: memFree=28163056/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=12.69 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 272358 0 0 0 1230 39 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 140735037089856 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 273167 907 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273167 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1326660 [startup+25.5004 s] /proc/loadavg: 2.18 2.19 2.18 3/183 17497 /proc/meminfo: memFree=28163744/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=25.49 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 272363 0 0 0 2510 39 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 140735037089856 5712628 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 273172 911 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1326660 [startup+51.1005 s] /proc/loadavg: 2.20 2.19 2.18 3/183 17497 /proc/meminfo: memFree=28163876/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 272363 0 0 0 5069 39 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 140735037089856 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 273172 911 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 2.27 2.21 2.18 3/183 17498 /proc/meminfo: memFree=28162724/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1326660 CPUtime=102.28 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 272363 0 0 0 10189 39 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 140735037089856 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 331665 273172 911 2943 0 328559 0 [pid=17493/tid=17494] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1358499840 273172 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1358404 [startup+1362.3 s] /proc/loadavg: 2.30 2.28 2.22 3/183 17540 /proc/meminfo: memFree=28119960/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1358404 CPUtime=1361.98 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 280476 0 0 0 136151 47 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 140735037089856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 339601 281367 914 2943 0 336495 0 [pid=17493/tid=17494] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1358404 [startup+1422.3 s] /proc/loadavg: 2.29 2.29 2.22 3/183 17591 /proc/meminfo: memFree=28748844/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1358404 CPUtime=1421.96 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 280505 0 0 0 142146 50 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 140735037105728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 339601 281367 914 2943 0 336495 0 [pid=17493/tid=17494] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1358404 [startup+1482.3 s] /proc/loadavg: 2.31 2.29 2.23 3/183 17592 /proc/meminfo: memFree=28235276/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1358404 CPUtime=1481.94 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 280524 0 0 0 148143 51 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 140735037089856 5711369 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 339601 281367 914 2943 0 336495 0 [pid=17493/tid=17494] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1391005696 281367 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1358404 [startup+1542.31 s] /proc/loadavg: 2.35 2.30 2.23 3/183 17593 /proc/meminfo: memFree=28208944/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1541.92 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 286955 0 0 0 154140 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1384004 [startup+1602.3 s] /proc/loadavg: 2.31 2.29 2.23 3/183 17594 /proc/meminfo: memFree=28193808/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1601.89 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 286980 0 0 0 160137 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1384004 [startup+1662.3 s] /proc/loadavg: 2.33 2.30 2.23 3/183 17595 /proc/meminfo: memFree=28193844/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1661.86 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 287002 0 0 0 166134 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1384004 [startup+1722.3 s] /proc/loadavg: 2.31 2.29 2.23 3/184 17600 /proc/meminfo: memFree=28187960/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1721.85 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 287003 0 0 0 172133 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1384004 [startup+1782.3 s] /proc/loadavg: 2.33 2.29 2.24 3/184 17624 /proc/meminfo: memFree=28171276/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1781.84 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 287003 0 0 0 178132 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037090968 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1384004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.27 2.23 3/183 17624 /proc/meminfo: memFree=28171624/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1800.04 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 287003 0 0 0 179952 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1384004 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 17493 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.27 2.23 3/183 17624 /proc/meminfo: memFree=28171624/32872528 swapFree=16636/1570076 [pid=17493] ppid=17490 vsize=1384004 CPUtime=1800.04 cores=0,2,4,6 /proc/17493/stat : 17493 (toysat) R 17490 17493 13075 0 -1 4202496 287003 0 0 0 179952 52 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 140735037089856 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17493/statm: 346001 287767 914 2943 0 342895 0 [pid=17493/tid=17494] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17494/stat : 17494 (toysat) S 17490 17493 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905620487408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17493/tid=17495] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17495/stat : 17495 (toysat) S 17490 17493 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905539747056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17493/tid=17496] ppid=17490 vsize=1384004 CPUtime=0 cores=0,2,4,6 /proc/17493/task/17496/stat : 17496 (toysat) S 17490 17493 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106805098 1417220096 287767 33554432000 4194304 16246674 140735037107968 139905529273520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1384004 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.53 CPU system time (s): 0.526919 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1384004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.526919 maximum resident set size= 1151068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287003 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= 317 involuntary context switches= 1864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5693 second user time and 6.97794 second system time The end
Begin job on node140 at 2016-06-06 23:32:07 IDJOB=4079843 IDBENCH=24985 IDSOLVER=2542 FILE ID=node140/4079843-1465248727 RUNJOBID= node140-1465216678-13091 PBS_JOBID= 19843199 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_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-4079843-1465248727/watcher-4079843-1465248727 -o /tmp/evaluation-result-4079843-1465248727/solver-4079843-1465248727 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079843-1465248727.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025 RANDOM SEED=558148251 node140.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.768 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.53 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.768 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.768 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.768 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.56 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.768 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.768 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.55 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.768 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29255836 kB Buffers: 53944 kB Cached: 93700 kB SwapCached: 1744 kB Active: 1259532 kB Inactive: 83208 kB Active(anon): 1194756 kB Inactive(anon): 2608 kB Active(file): 64776 kB Inactive(file): 80600 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 17120 kB Writeback: 4 kB AnonPages: 2764212 kB Mapped: 10740 kB Shmem: 0 kB Slab: 568588 kB SReclaimable: 12804 kB SUnreclaim: 555784 kB KernelStack: 1480 kB PageTables: 9488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2907340 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1560576 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 node140 at 2016-06-07 00:02:08