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.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb |
| MD5SUM | e965a77006f54aa5fb414d88d571084c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.266959 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 8 |
| Optimality of the best value was proved | YES |
| Number of variables | 99 |
| Total number of constraints | 50 |
| Number of constraints which are clauses | 50 |
| 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 | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 99 |
| 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 | 99 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-06T21:45:30+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-4079716-1465242330.opb"] 0.00/0.01 c use --random-gen="2275643527 239644250 1629238535 646802621 4250130500 3084660476 1177827230 405563398 2842875523 799307018 1116685633 977061316 2835629839 4288538392 3340031020 3391754154 1215287615 452017293 3781369775 3092349860 4232415793 2179566977 3865445889 503577398 2487684594 2517961504 3680190802 1699430708 1232505407 1994636899 3879286934 3577439817 1796423200 1537925542 1727550865 1299340762 724567832 4064559133 556326288 925195008 2612129876 753560766 885291112 1776335590 2181232158 1632359332 740078331 3629034258 453576842 1418771097 2897904587 3152880412 144293663 719979509 2621934286 484042956 4134571562 3858075795 2199652825 2691349193 1700144269 3409585855 3827722976 3510220736 3197276928 3949210573 841536127 3934557114 3204688746 2888970516 2020281225 2043531837 716486190 2957880421 1583863403 2036485381 1418196187 3067016693 439806017 4202654888 2910247518 3916457711 4006016349 2526090959 2395184640 2545638212 1380035672 846027611 708822180 1017120789 63969701 2733629666 3413610574 190180936 2439723602 1922017556 2519109594 1993634088 985733994 2813462524 3315582542 19536734 4193026224 2085125425 3087458232 644672715 4029880445 1262960359 1499385583 962692623 1062782304 1238737697 2998009382 363545871 4180764894 1573002154 2697891032 927832741 2683367438 904373394 3002427287 1600112431 3583473966 3975156385 1070816205 2965022216 2129419972 1586397906 162257611 1167186116 971628569 3888472376 3276020977 196012944 3316149363 446352289 2143257620 3242633654 3100586119 372627635 2707566431 2199180203 67172299 3709259894 2210621712 3274920428 71886136 1222244265 1383483651 4177127413 3012348220 405112746 260052903 3974779364 3177040599 2579646774 3978631402 386057351 2258396031 1209749059 3862213975 4098477193 1235499496 1757703060 585096744 875307800 2222522466 171390172 584992055 794981687 2793909837 2373887232 1193520744 734129748 4186000780 3289970639 1603967698 2836696569 442832394 687660570 3482414317 946033523 1778920723 660998894 4241288607 2529021138 4041422149 3531761031 3466201215 3102509040 3903812823 1642942873 1923270870 1933877326 2338536464 3254690026 431442871 3622638339 1864808771 1101393658 2471083690 3258525396 3920020380 509903335 4087154687 392555535 955217749 1515483453 1801326673 2671554873 1425443679 2414892012 3118154066 3486663763 1938702336 915182412 701998533 3713425491 1729574295 2190847196 2974305359 1629673032 1846114457 93073511 1955905357 881895307 3434443661 3177380484 1497949148 1764932067 2487251408 1806622527 2595283627 3936098716 2805286757 369836764 3022476453 2860806479 2095336767 593925262 3513011570 1691699145 2083610950 3110098050 3129945720 857854707 2384215396 969223091 1195901186 3625715111 3108217412 2765584324 699991267 243798359 3549872847 2792983907 255 362436" option to reproduce the execution 0.00/0.01 c #vars 99 0.00/0.01 c #constraints 50 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 99 | 0 | 49 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 99 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 99 0.00/0.01 c BCD2: updating upper bound: 99 -> 98 0.00/0.01 c BCD2: 0 <= obj <= 98 0.00/0.01 c BCD2: #cores=0, #unrelaxed=99, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 72 | 0 | 49 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 72 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.01 c lower bound updated to 1 0.00/0.01 c BCD2: 1 <= obj <= 98 0.00/0.01 c BCD2: #cores=1, #unrelaxed=89, #relaxed=10, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 1 0.00/0.01 c 0.0s | 0 | 74 | 0 | 49 0 | 0 | 1 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 74 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.01 c lower bound updated to 2 0.00/0.01 c BCD2: 2 <= obj <= 98 0.00/0.01 c BCD2: #cores=2, #unrelaxed=79, #relaxed=20, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 2 0.00/0.01 c 0.0s | 0 | 67 | 0 | 49 0 | 0 | 2 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 67 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.01 c lower bound updated to 3 0.00/0.01 c BCD2: 3 <= obj <= 98 0.00/0.01 c BCD2: #cores=3, #unrelaxed=69, #relaxed=30, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 67 | 0 | 49 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 67 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 4 0.00/0.02 c BCD2: 4 <= obj <= 98 0.00/0.02 c BCD2: #cores=4, #unrelaxed=59, #relaxed=40, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 4 0.00/0.02 c 0.0s | 0 | 97 | 0 | 49 0 | 0 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 97 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 14 0.00/0.02 c BCD2: updating upper bound: 98 -> 13 0.00/0.02 c BCD2: 4 <= obj <= 13 0.00/0.02 c BCD2: #cores=4, #unrelaxed=59, #relaxed=40, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=5 bias=5/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 49 0 | 0 | 5 0.00/0.02 c 0.0s | 0 | 64 | 2 | 49 0 | 0 | 5 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 64 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 2 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 35 and merging with 3 cores into a new core of size 65: cost of the new core is >=4 0.00/0.02 c lower bound updated to 5 0.00/0.02 c BCD2: 5 <= obj <= 13 0.00/0.02 c BCD2: #cores=2, #unrelaxed=24, #relaxed=75, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=6 bias=6/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 49 0 | 7 | 5 0.00/0.03 c 0.0s | 1 | 225 | 100 | 54 0 | 7 | 16 0.00/0.05 c 0.0s | 2 | 624 | 250 | 60 3 | 7 | 16 0.00/0.06 c 0.0s | 2 | 815 | 326 | 60 5 | 7 | 16 0.00/0.06 c #cpu_time = 0.043s 0.00/0.06 c #wall_clock_time = 0.043s 0.00/0.06 c #decision = 815 0.00/0.06 c #random_decision = 4 0.00/0.06 c #conflict = 326 0.00/0.06 c #restart = 2 0.00/0.06 o 11 0.00/0.06 c BCD2: updating upper bound: 13 -> 10 0.00/0.06 c BCD2: 5 <= obj <= 10 0.00/0.06 c BCD2: #cores=2, #unrelaxed=24, #relaxed=75, #hardened=0 0.00/0.06 c BCD2: #sat=3 #unsat=6 bias=6/9 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 60 0 | 7 | 17 0.00/0.08 c 0.0s | 1 | 211 | 100 | 60 2 | 7 | 17 0.00/0.09 c 0.0s | 2 | 636 | 250 | 66 5 | 7 | 17 0.08/0.12 c 0.1s | 3 | 1124 | 475 | 66 9 | 7 | 17 0.08/0.16 c 0.1s | 4 | 1749 | 813 | 73 15 | 7 | 17 0.19/0.22 c 0.2s | 5 | 2902 | 1320 | 81 23 | 7 | 17 0.29/0.31 c 0.2s | 6 | 4511 | 2081 | 90 35 | 7 | 17 0.38/0.43 c 0.4s | 7 | 6886 | 3223 | 100 52 | 7 | 17 0.59/0.62 c 0.6s | 8 | 10883 | 4936 | 111 77 | 7 | 17 0.79/0.88 c 0.8s | 9 | 17514 | 7506 | 123 111 | 7 | 17 1.19/1.25 c 1.2s | 10 | 26984 | 11361 | 136 159 | 7 | 17 1.59/1.69 c 1.6s | 11 | 40650 | 17144 | 150 225 | 7 | 17 2.29/2.38 c 2.3s | 12 | 60838 | 25819 | 165 318 | 7 | 17 3.39/3.41 c 3.3s | 13 | 94455 | 38832 | 182 447 | 7 | 17 4.78/4.86 c 4.8s | 14 | 143716 | 58352 | 201 625 | 7 | 17 6.79/6.86 c 6.8s | 14 | 205545 | 82952 | 201 833 | 7 | 17 6.79/6.89 c 6.8s | 14 | 206310 | 83333 | 201 836 | 7 | 17 6.79/6.89 c #cpu_time = 6.813s 6.79/6.89 c #wall_clock_time = 6.830s 6.79/6.89 c #decision = 206310 6.79/6.89 c #random_decision = 992 6.79/6.89 c #conflict = 83333 6.79/6.89 c #restart = 14 6.79/6.89 o 9 6.79/6.89 c BCD2: updating upper bound: 10 -> 8 6.79/6.89 c BCD2: 5 <= obj <= 8 6.79/6.89 c BCD2: #cores=2, #unrelaxed=24, #relaxed=75, #hardened=0 6.79/6.89 c BCD2: #sat=4 #unsat=6 bias=6/10 6.79/6.89 c Solving starts ... 6.79/6.89 c ============================[ Search Statistics ]============================ 6.79/6.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.79/6.89 c | | | | Limit GC | Var | Constra 6.79/6.89 c ============================================================================= 6.79/6.89 c 0.0s | 0 | 0 | 0 | 201 0 | 7 | 18 6.89/6.90 c 0.0s | 1 | 372 | 100 | 201 1 | 7 | 18 6.89/6.91 c 0.0s | 2 | 769 | 250 | 201 3 | 7 | 18 6.89/6.93 c 0.0s | 3 | 1448 | 475 | 201 4 | 7 | 18 6.89/6.95 c 0.1s | 4 | 2421 | 813 | 201 7 | 7 | 18 6.89/6.99 c 0.1s | 5 | 3920 | 1320 | 201 11 | 7 | 18 6.99/7.04 c 0.1s | 6 | 5836 | 2081 | 201 18 | 7 | 18 7.09/7.12 c 0.2s | 7 | 8354 | 3223 | 201 27 | 7 | 18 7.19/7.25 c 0.4s | 8 | 12730 | 4936 | 222 40 | 7 | 18 7.39/7.44 c 0.5s | 9 | 18889 | 7506 | 222 60 | 7 | 18 7.70/7.73 c 0.8s | 10 | 29196 | 11361 | 222 90 | 7 | 18 8.09/8.15 c 1.3s | 11 | 44614 | 17144 | 222 134 | 7 | 18 8.69/8.75 c 1.9s | 12 | 67270 | 25819 | 222 201 | 7 | 18 9.59/9.65 c 2.8s | 13 | 102520 | 38832 | 222 301 | 7 | 18 11.00/11.02 c 4.1s | 14 | 153003 | 58352 | 245 445 | 7 | 18 11.89/11.94 c 5.0s | 14 | 183230 | 70591 | 245 533 | 7 | 18 11.89/11.94 c #cpu_time = 5.032s 11.89/11.94 c #wall_clock_time = 5.045s 11.89/11.94 c #decision = 183230 11.89/11.94 c #random_decision = 694 11.89/11.94 c #conflict = 70591 11.89/11.94 c #restart = 14 11.89/11.94 c BCD2: relaxing 24 and merging with 2 cores into a new core of size 99: cost of the new core is >=6 11.89/11.94 c lower bound updated to 6 11.89/11.94 c BCD2: 6 <= obj <= 8 11.89/11.94 c BCD2: #cores=1, #unrelaxed=0, #relaxed=99, #hardened=0 11.89/11.94 c BCD2: #sat=4 #unsat=7 bias=7/11 11.89/11.94 c Solving starts ... 11.89/11.94 c ============================[ Search Statistics ]============================ 11.89/11.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.89/11.94 c | | | | Limit GC | Var | Constra 11.89/11.94 c ============================================================================= 11.89/11.94 c 0.0s | 0 | 0 | 0 | 245 0 | 15 | 18 11.89/11.95 c 0.0s | 1 | 238 | 100 | 245 0 | 15 | 32 11.89/11.96 c 0.0s | 2 | 706 | 250 | 245 0 | 15 | 32 11.89/11.98 c 0.0s | 3 | 1379 | 475 | 245 2 | 15 | 32 11.99/12.01 c 0.1s | 4 | 2210 | 813 | 245 4 | 15 | 32 11.99/12.05 c 0.1s | 5 | 3726 | 1320 | 245 8 | 15 | 32 12.09/12.11 c 0.2s | 6 | 5435 | 2081 | 245 14 | 15 | 32 12.09/12.20 c 0.3s | 7 | 8377 | 3223 | 245 23 | 15 | 32 12.29/12.33 c 0.4s | 8 | 12916 | 4936 | 245 35 | 15 | 32 12.49/12.52 c 0.6s | 9 | 19763 | 7506 | 245 55 | 15 | 32 12.79/12.80 c 0.9s | 10 | 29471 | 11361 | 245 84 | 15 | 32 13.19/13.23 c 1.3s | 11 | 44973 | 17144 | 245 129 | 15 | 32 13.79/13.84 c 1.9s | 12 | 66788 | 25819 | 245 196 | 15 | 32 14.69/14.80 c 2.9s | 13 | 99114 | 38832 | 245 297 | 15 | 32 16.19/16.23 c 4.3s | 14 | 148856 | 58352 | 270 437 | 15 | 32 18.19/18.23 c 6.3s | 14 | 218660 | 85852 | 270 632 | 15 | 32 18.29/18.37 c 6.4s | 15 | 223411 | 87632 | 270 645 | 15 | 32 20.29/20.37 c 8.4s | 15 | 290689 | 114832 | 270 839 | 15 | 32 21.49/21.58 c 9.6s | 16 | 331730 | 131552 | 270 959 | 15 | 32 23.49/23.59 c 11.6s | 16 | 400180 | 158252 | 297 1136 | 15 | 32 25.49/25.59 c 13.6s | 16 | 466803 | 185152 | 297 1310 | 15 | 32 26.39/26.49 c 14.5s | 17 | 496806 | 197432 | 297 1389 | 15 | 32 28.38/28.49 c 16.6s | 17 | 566347 | 224832 | 297 1567 | 15 | 32 30.48/30.50 c 18.6s | 17 | 633382 | 251932 | 297 1742 | 15 | 32 32.48/32.50 c 20.6s | 17 | 700028 | 279432 | 297 1922 | 15 | 32 33.68/33.75 c 21.8s | 18 | 740832 | 296252 | 327 2027 | 15 | 32 35.69/35.75 c 23.8s | 18 | 809057 | 322852 | 327 2184 | 15 | 32 37.69/37.76 c 25.8s | 18 | 877641 | 349852 | 327 2344 | 15 | 32 39.69/39.76 c 27.8s | 18 | 945483 | 377152 | 327 2507 | 15 | 32 41.69/41.76 c 29.8s | 18 | 1012882 | 404752 | 327 2671 | 15 | 32 43.68/43.77 c 31.8s | 18 | 1079150 | 431952 | 327 2835 | 15 | 32 44.68/44.71 c 32.8s | 19 | 1110524 | 444482 | 327 2909 | 15 | 32 46.68/46.72 c 34.8s | 19 | 1176720 | 470382 | 327 3061 | 15 | 32 48.68/48.72 c 36.8s | 19 | 1243073 | 496382 | 327 3214 | 15 | 32 50.69/50.72 c 38.8s | 19 | 1308601 | 522682 | 360 3362 | 15 | 32 52.68/52.73 c 40.8s | 19 | 1373405 | 548982 | 360 3504 | 15 | 32 54.68/54.73 c 42.8s | 19 | 1439108 | 575782 | 360 3650 | 15 | 32 56.68/56.74 c 44.8s | 19 | 1504977 | 602082 | 360 3791 | 15 | 32 58.68/58.74 c 46.8s | 19 | 1575720 | 628982 | 360 3937 | 15 | 32 60.68/60.74 c 48.8s | 19 | 1644318 | 655882 | 360 4083 | 15 | 32 61.48/61.54 c 49.6s | 20 | 1671533 | 666827 | 360 4143 | 15 | 32 63.48/63.55 c 51.6s | 20 | 1736250 | 693127 | 360 4284 | 15 | 32 65.48/65.56 c 53.6s | 20 | 1803941 | 719827 | 360 4428 | 15 | 32 67.47/67.56 c 55.6s | 20 | 1870758 | 746427 | 360 4572 | 15 | 32 69.47/69.56 c 57.6s | 20 | 1937672 | 773127 | 360 4717 | 15 | 32 71.49/71.56 c 59.6s | 20 | 2005603 | 799327 | 360 4858 | 15 | 32 73.48/73.56 c 61.6s | 20 | 2071677 | 825927 | 360 5002 | 15 | 32 75.48/75.56 c 63.6s | 20 | 2138907 | 852627 | 397 5140 | 15 | 32 77.48/77.57 c 65.6s | 20 | 2202635 | 879727 | 397 5275 | 15 | 32 79.48/79.57 c 67.6s | 20 | 2267675 | 906027 | 397 5404 | 15 | 32 81.48/81.58 c 69.6s | 20 | 2332594 | 932527 | 397 5534 | 15 | 32 83.48/83.58 c 71.6s | 20 | 2397193 | 959727 | 397 5669 | 15 | 32 85.47/85.58 c 73.6s | 20 | 2461003 | 987427 | 397 5807 | 15 | 32 86.47/86.55 c 74.6s | 21 | 2493308 | 1000345 | 397 5870 | 15 | 32 88.47/88.56 c 76.6s | 21 | 2564081 | 1027345 | 397 6002 | 15 | 32 90.47/90.56 c 78.6s | 21 | 2631336 | 1053545 | 397 6130 | 15 | 32 92.48/92.57 c 80.6s | 21 | 2696287 | 1079345 | 397 6257 | 15 | 32 94.47/94.57 c 82.6s | 21 | 2761498 | 1104945 | 397 6383 | 15 | 32 96.47/96.57 c 84.6s | 21 | 2828856 | 1130945 | 397 6510 | 15 | 32 98.47/98.57 c 86.6s | 21 | 2892830 | 1157245 | 397 6639 | 15 | 32 100.47/100.57 c 88.6s | 21 | 2959187 | 1183945 | 397 6770 | 15 | 32 102.48/102.58 c 90.6s | 21 | 3028138 | 1212345 | 397 6912 | 15 | 32 104.48/104.58 c 92.6s | 21 | 3096530 | 1238845 | 397 7041 | 15 | 32 106.47/106.58 c 94.6s | 21 | 3161944 | 1265445 | 397 7172 | 15 | 32 108.47/108.58 c 96.6s | 21 | 3225945 | 1292245 | 397 7305 | 15 | 32 110.47/110.58 c 98.6s | 21 | 3291203 | 1318845 | 397 7436 | 15 | 32 112.47/112.59 c 100s | 21 | 3356308 | 1344945 | 437 7560 | 15 | 32 114.48/114.59 c 102s | 21 | 3423357 | 1371145 | 437 7678 | 15 | 32 116.47/116.59 c 104s | 21 | 3486308 | 1397145 | 437 7795 | 15 | 32 118.57/118.60 c 106s | 21 | 3549333 | 1423145 | 437 7912 | 15 | 32 120.57/120.60 c 108s | 21 | 3613507 | 1449045 | 437 8028 | 15 | 32 122.57/122.61 c 110s | 21 | 3675281 | 1474745 | 437 8144 | 15 | 32 124.47/124.59 c 112s | 22 | 3739489 | 1500622 | 437 8260 | 15 | 32 126.47/126.59 c 114s | 22 | 3804508 | 1526522 | 437 8375 | 15 | 32 128.57/128.60 c 116s | 22 | 3869984 | 1553022 | 437 8494 | 15 | 32 130.57/130.60 c 118s | 22 | 3931712 | 1578722 | 437 8608 | 15 | 32 132.57/132.60 c 120s | 22 | 3993082 | 1604222 | 437 8723 | 15 | 32 134.57/134.61 c 122s | 22 | 4057627 | 1630322 | 437 8840 | 15 | 32 136.57/136.61 c 124s | 22 | 4122759 | 1655922 | 437 8953 | 15 | 32 138.57/138.62 c 126s | 22 | 4187533 | 1682122 | 437 9070 | 15 | 32 140.57/140.62 c 128s | 22 | 4252218 | 1708922 | 437 9191 | 15 | 32 142.57/142.63 c 130s | 22 | 4315693 | 1735922 | 437 9313 | 15 | 32 144.56/144.63 c 132s | 22 | 4379148 | 1762322 | 437 9432 | 15 | 32 146.56/146.64 c 134s | 22 | 4442629 | 1787922 | 437 9546 | 15 | 32 148.57/148.65 c 136s | 22 | 4505483 | 1813722 | 437 9662 | 15 | 32 150.56/150.65 c 138s | 22 | 4568496 | 1840122 | 437 9781 | 15 | 32 152.56/152.65 c 140s | 22 | 4634315 | 1866822 | 437 9901 | 15 | 32 154.56/154.65 c 142s | 22 | 4698711 | 1894022 | 437 10023 | 15 | 32 156.56/156.65 c 144s | 22 | 4764203 | 1921122 | 437 10145 | 15 | 32 158.57/158.65 c 146s | 22 | 4828482 | 1948322 | 437 10268 | 15 | 32 160.57/160.66 c 148s | 22 | 4895970 | 1975422 | 437 10390 | 15 | 32 162.57/162.67 c 150s | 22 | 4961720 | 2002122 | 437 10510 | 15 | 32 164.57/164.67 c 152s | 22 | 5026044 | 2028922 | 437 10631 | 15 | 32 166.57/166.67 c 154s | 22 | 5089040 | 2055722 | 437 10751 | 15 | 32 168.56/168.67 c 156s | 22 | 5152078 | 2082522 | 481 10872 | 15 | 32 170.57/170.68 c 158s | 22 | 5216070 | 2108822 | 481 10979 | 15 | 32 172.56/172.68 c 160s | 22 | 5278569 | 2135422 | 481 11089 | 15 | 32 174.56/174.69 c 162s | 22 | 5342361 | 2162022 | 481 11198 | 15 | 32 176.56/176.70 c 164s | 22 | 5402865 | 2189022 | 481 11309 | 15 | 32 178.66/178.70 c 166s | 22 | 5465106 | 2214922 | 481 11416 | 15 | 32 180.66/180.71 c 168s | 22 | 5525107 | 2241422 | 481 11525 | 15 | 32 181.36/181.46 c 169s | 23 | 5547151 | 2251038 | 481 11564 | 15 | 32 183.36/183.46 c 171s | 23 | 5608927 | 2276638 | 481 11668 | 15 | 32 185.36/185.46 c 173s | 23 | 5670821 | 2302638 | 481 11773 | 15 | 32 187.36/187.47 c 175s | 23 | 5732168 | 2328938 | 481 11881 | 15 | 32 189.36/189.47 c 177s | 23 | 5794398 | 2355538 | 481 11990 | 15 | 32 191.36/191.48 c 179s | 23 | 5858996 | 2381338 | 481 12095 | 15 | 32 193.35/193.48 c 181s | 23 | 5923548 | 2407638 | 481 12202 | 15 | 32 195.36/195.49 c 183s | 23 | 5988247 | 2433438 | 481 12307 | 15 | 32 197.36/197.49 c 185s | 23 | 6051634 | 2459038 | 481 12412 | 15 | 32 199.36/199.50 c 187s | 23 | 6116379 | 2484538 | 481 12517 | 15 | 32 201.46/201.50 c 189s | 23 | 6179030 | 2509538 | 481 12618 | 15 | 32 203.36/203.50 c 191s | 23 | 6239109 | 2534738 | 481 12721 | 15 | 32 205.46/205.50 c 193s | 23 | 6301730 | 2560138 | 481 12825 | 15 | 32 207.46/207.50 c 195s | 23 | 6363202 | 2585138 | 481 12928 | 15 | 32 209.46/209.50 c 197s | 23 | 6425771 | 2610238 | 481 13030 | 15 | 32 211.45/211.51 c 199s | 23 | 6487241 | 2634838 | 481 13130 | 15 | 32 213.46/213.51 c 201s | 23 | 6549577 | 2659838 | 481 13233 | 15 | 32 215.45/215.51 c 203s | 23 | 6610569 | 2685238 | 481 13337 | 15 | 32 217.45/217.51 c 205s | 23 | 6675676 | 2711538 | 481 13444 | 15 | 32 219.45/219.52 c 207s | 23 | 6740711 | 2738238 | 481 13554 | 15 | 32 221.45/221.52 c 209s | 23 | 6803715 | 2763238 | 481 13656 | 15 | 32 223.45/223.53 c 211s | 23 | 6869045 | 2788638 | 481 13760 | 15 | 32 225.45/225.53 c 213s | 23 | 6930050 | 2814538 | 481 13866 | 15 | 32 227.45/227.53 c 215s | 23 | 6992154 | 2841238 | 481 13976 | 15 | 32 229.45/229.53 c 217s | 23 | 7055192 | 2867438 | 481 14083 | 15 | 32 231.46/231.53 c 219s | 23 | 7117964 | 2894038 | 481 14192 | 15 | 32 233.46/233.54 c 221s | 23 | 7177828 | 2920338 | 481 14300 | 15 | 32 235.46/235.54 c 223s | 23 | 7239595 | 2946738 | 481 14409 | 15 | 32 237.45/237.55 c 225s | 23 | 7301974 | 2973638 | 481 14519 | 15 | 32 239.45/239.55 c 227s | 23 | 7366862 | 3000938 | 481 14632 | 15 | 32 241.45/241.55 c 229s | 23 | 7430729 | 3028438 | 481 14746 | 15 | 32 243.45/243.56 c 231s | 23 | 7494073 | 3055638 | 481 14859 | 15 | 32 245.45/245.56 c 233s | 23 | 7556808 | 3083038 | 481 14972 | 15 | 32 247.45/247.56 c 235s | 23 | 7616291 | 3110038 | 481 15085 | 15 | 32 249.45/249.56 c 237s | 23 | 7679223 | 3135838 | 481 15191 | 15 | 32 251.45/251.57 c 239s | 23 | 7745145 | 3161538 | 481 15295 | 15 | 32 253.45/253.57 c 241s | 23 | 7810627 | 3187738 | 481 15401 | 15 | 32 255.45/255.57 c 243s | 23 | 7871994 | 3213338 | 530 15500 | 15 | 32 257.45/257.58 c 245s | 23 | 7932599 | 3239838 | 530 15598 | 15 | 32 259.45/259.58 c 247s | 23 | 7995254 | 3265338 | 530 15693 | 15 | 32 261.45/261.58 c 249s | 23 | 8057028 | 3291538 | 530 15789 | 15 | 32 263.45/263.59 c 251s | 23 | 8118369 | 3317638 | 530 15886 | 15 | 32 265.45/265.60 c 253s | 23 | 8179348 | 3344038 | 530 15985 | 15 | 32 267.55/267.60 c 255s | 23 | 8242260 | 3369138 | 530 16077 | 15 | 32 268.05/268.19 c 256s | 24 | 8261151 | 3376662 | 530 16105 | 15 | 32 270.15/270.20 c 258s | 24 | 8328153 | 3402162 | 530 16198 | 15 | 32 272.15/272.20 c 260s | 24 | 8392845 | 3427762 | 530 16292 | 15 | 32 274.15/274.21 c 262s | 24 | 8454717 | 3452362 | 530 16383 | 15 | 32 276.15/276.21 c 264s | 24 | 8513461 | 3476762 | 530 16473 | 15 | 32 278.14/278.22 c 266s | 24 | 8577149 | 3501962 | 530 16567 | 15 | 32 280.14/280.22 c 268s | 24 | 8638459 | 3526962 | 530 16658 | 15 | 32 282.14/282.22 c 270s | 24 | 8699582 | 3551562 | 530 16749 | 15 | 32 284.14/284.22 c 272s | 24 | 8757299 | 3575962 | 530 16839 | 15 | 32 286.14/286.23 c 274s | 24 | 8817954 | 3600762 | 530 16932 | 15 | 32 288.15/288.24 c 276s | 24 | 8884691 | 3626962 | 530 17028 | 15 | 32 290.14/290.24 c 278s | 24 | 8949113 | 3653162 | 530 17125 | 15 | 32 292.14/292.24 c 280s | 24 | 9012147 | 3679462 | 530 17223 | 15 | 32 294.14/294.24 c 282s | 24 | 9075278 | 3705762 | 530 17321 | 15 | 32 296.14/296.25 c 284s | 24 | 9142208 | 3731762 | 530 17417 | 15 | 32 298.15/298.25 c 286s | 24 | 9206052 | 3757562 | 530 17513 | 15 | 32 300.14/300.25 c 288s | 24 | 9267766 | 3783262 | 530 17608 | 15 | 32 302.14/302.26 c 290s | 24 | 9331839 | 3809462 | 530 17706 | 15 | 32 304.14/304.26 c 292s | 24 | 9395782 | 3835262 | 530 17801 | 15 | 32 306.14/306.26 c 294s | 24 | 9460425 | 3861662 | 530 17899 | 15 | 32 308.14/308.26 c 296s | 24 | 9524903 | 3888562 | 530 18000 | 15 | 32 310.15/310.27 c 298s | 24 | 9587584 | 3914862 | 530 18098 | 15 | 32 312.14/312.27 c 300s | 24 | 9648717 | 3940462 | 530 18193 | 15 | 32 314.14/314.28 c 302s | 24 | 9712323 | 3967062 | 530 18292 | 15 | 32 316.14/316.29 c 304s | 24 | 9771682 | 3993062 | 530 18390 | 15 | 32 318.14/318.29 c 306s | 24 | 9833139 | 4018762 | 530 18486 | 15 | 32 320.24/320.30 c 308s | 24 | 9896374 | 4043762 | 530 18579 | 15 | 32 322.14/322.30 c 310s | 24 | 9958475 | 4068962 | 530 18673 | 15 | 32 324.24/324.31 c 312s | 24 | 10022394 | 4095262 | 530 18770 | 15 | 32 326.24/326.31 c 314s | 24 | 10087343 | 4121562 | 530 18869 | 15 | 32 328.24/328.32 c 316s | 24 | 10152233 | 4148162 | 530 18968 | 15 | 32 330.24/330.33 c 318s | 24 | 10216342 | 4174262 | 530 19065 | 15 | 32 332.25/332.33 c 320s | 24 | 10280479 | 4200562 | 530 19164 | 15 | 32 334.24/334.33 c 322s | 24 | 10345002 | 4226362 | 530 19260 | 15 | 32 336.24/336.33 c 324s | 24 | 10408331 | 4252762 | 530 19358 | 15 | 32 338.24/338.34 c 326s | 24 | 10470817 | 4279462 | 530 19459 | 15 | 32 340.24/340.34 c 328s | 24 | 10534613 | 4306262 | 530 19560 | 15 | 32 342.24/342.35 c 330s | 24 | 10595437 | 4332362 | 530 19658 | 15 | 32 344.24/344.36 c 332s | 24 | 10658155 | 4357762 | 530 19752 | 15 | 32 346.24/346.36 c 334s | 24 | 10720849 | 4383462 | 530 19846 | 15 | 32 348.24/348.36 c 336s | 24 | 10787041 | 4409562 | 530 19942 | 15 | 32 350.23/350.36 c 338s | 24 | 10849479 | 4435562 | 530 20038 | 15 | 32 352.23/352.37 c 340s | 24 | 10915070 | 4461262 | 530 20132 | 15 | 32 354.24/354.38 c 342s | 24 | 10978552 | 4487262 | 530 20228 | 15 | 32 356.23/356.38 c 344s | 24 | 11041381 | 4513262 | 530 20325 | 15 | 32 358.23/358.38 c 346s | 24 | 11103290 | 4538962 | 530 20420 | 15 | 32 360.23/360.39 c 348s | 24 | 11167675 | 4564862 | 530 20515 | 15 | 32 362.23/362.39 c 350s | 24 | 11230960 | 4590462 | 530 20610 | 15 | 32 364.23/364.39 c 352s | 24 | 11291337 | 4615862 | 530 20704 | 15 | 32 366.23/366.40 c 354s | 24 | 11351370 | 4641762 | 530 20799 | 15 | 32 368.33/368.41 c 356s | 24 | 11412685 | 4667962 | 530 20897 | 15 | 32 370.34/370.41 c 358s | 24 | 11475201 | 4693362 | 530 20990 | 15 | 32 372.34/372.41 c 360s | 24 | 11537594 | 4719162 | 530 21086 | 15 | 32 374.34/374.42 c 362s | 24 | 11598769 | 4745262 | 530 21183 | 15 | 32 376.33/376.42 c 364s | 24 | 11661571 | 4770962 | 530 21278 | 15 | 32 378.34/378.42 c 366s | 24 | 11723259 | 4797062 | 530 21375 | 15 | 32 380.33/380.43 c 368s | 24 | 11785887 | 4822462 | 530 21469 | 15 | 32 382.33/382.43 c 370s | 24 | 11846699 | 4848562 | 530 21566 | 15 | 32 384.33/384.44 c 372s | 24 | 11906926 | 4874562 | 530 21663 | 15 | 32 386.33/386.44 c 374s | 24 | 11966589 | 4900562 | 583 21751 | 15 | 32 388.34/388.45 c 376s | 24 | 12027966 | 4926662 | 583 21839 | 15 | 32 390.33/390.45 c 378s | 24 | 12088542 | 4952762 | 583 21928 | 15 | 32 392.33/392.45 c 380s | 24 | 12148920 | 4979262 | 583 22018 | 15 | 32 394.33/394.46 c 382s | 24 | 12208269 | 5005862 | 583 22109 | 15 | 32 396.33/396.47 c 384s | 24 | 12267659 | 5031762 | 583 22197 | 15 | 32 398.33/398.47 c 386s | 24 | 12325154 | 5057962 | 583 22286 | 15 | 32 398.82/398.99 c 387s | 25 | 12341092 | 5065098 | 583 22311 | 15 | 32 400.82/400.99 c 389s | 25 | 12404278 | 5090398 | 583 22396 | 15 | 32 402.92/403.00 c 391s | 25 | 12468083 | 5115898 | 583 22481 | 15 | 32 404.92/405.00 c 393s | 25 | 12530870 | 5141698 | 583 22568 | 15 | 32 406.82/407.00 c 395s | 25 | 12593810 | 5167098 | 583 22654 | 15 | 32 408.92/409.01 c 397s | 25 | 12659597 | 5192598 | 583 22739 | 15 | 32 410.92/411.01 c 399s | 25 | 12722201 | 5218198 | 583 22825 | 15 | 32 412.92/413.01 c 401s | 25 | 12783840 | 5243698 | 583 22911 | 15 | 32 414.92/415.02 c 403s | 25 | 12845219 | 5269698 | 583 22999 | 15 | 32 416.93/417.02 c 405s | 25 | 12906538 | 5295198 | 583 23085 | 15 | 32 418.92/419.02 c 407s | 25 | 12971674 | 5321998 | 583 23175 | 15 | 32 420.92/421.03 c 409s | 25 | 13035218 | 5348398 | 583 23265 | 15 | 32 422.93/423.03 c 411s | 25 | 13096210 | 5373598 | 583 23349 | 15 | 32 424.93/425.03 c 413s | 25 | 13157680 | 5399098 | 583 23435 | 15 | 32 426.93/427.03 c 415s | 25 | 13219973 | 5425398 | 583 23524 | 15 | 32 428.93/429.04 c 417s | 25 | 13282019 | 5451398 | 583 23612 | 15 | 32 430.92/431.04 c 419s | 25 | 13344889 | 5477698 | 583 23701 | 15 | 32 432.92/433.04 c 421s | 25 | 13407606 | 5503598 | 583 23789 | 15 | 32 434.92/435.05 c 423s | 25 | 13469553 | 5529998 | 583 23878 | 15 | 32 436.92/437.05 c 425s | 25 | 13534265 | 5555798 | 583 23966 | 15 | 32 438.93/439.06 c 427s | 25 | 13593192 | 5581598 | 583 24053 | 15 | 32 440.92/441.06 c 429s | 25 | 13655136 | 5607698 | 583 24142 | 15 | 32 442.92/443.07 c 431s | 25 | 13715204 | 5633498 | 583 24230 | 15 | 32 444.92/445.08 c 433s | 25 | 13776012 | 5658198 | 583 24313 | 15 | 32 446.92/447.08 c 435s | 25 | 13838682 | 5683398 | 583 24397 | 15 | 32 448.92/449.08 c 437s | 25 | 13898597 | 5708198 | 583 24480 | 15 | 32 450.92/451.08 c 439s | 25 | 13956593 | 5733498 | 583 24566 | 15 | 32 452.92/453.09 c 441s | 25 | 14019753 | 5758598 | 583 24650 | 15 | 32 454.92/455.09 c 443s | 25 | 14079380 | 5783398 | 583 24733 | 15 | 32 457.02/457.10 c 445s | 25 | 14139633 | 5808698 | 583 24818 | 15 | 32 459.02/459.10 c 447s | 25 | 14198856 | 5833598 | 583 24902 | 15 | 32 461.01/461.11 c 449s | 25 | 14260560 | 5858098 | 583 24984 | 15 | 32 463.02/463.11 c 451s | 25 | 14321283 | 5882998 | 583 25068 | 15 | 32 465.02/465.12 c 453s | 25 | 14382458 | 5907598 | 583 25150 | 15 | 32 467.02/467.12 c 455s | 25 | 14445743 | 5932398 | 583 25234 | 15 | 32 469.02/469.12 c 457s | 25 | 14506123 | 5957498 | 583 25318 | 15 | 32 471.02/471.13 c 459s | 25 | 14560842 | 5981298 | 583 25398 | 15 | 32 473.03/473.13 c 461s | 25 | 14623497 | 6005898 | 583 25480 | 15 | 32 475.02/475.13 c 463s | 25 | 14688090 | 6031198 | 583 25565 | 15 | 32 477.02/477.13 c 465s | 25 | 14748620 | 6056498 | 583 25651 | 15 | 32 479.02/479.13 c 467s | 25 | 14806435 | 6081598 | 583 25735 | 15 | 32 481.02/481.14 c 469s | 25 | 14868719 | 6106798 | 583 25820 | 15 | 32 483.02/483.14 c 471s | 25 | 14930623 | 6131998 | 583 25905 | 15 | 32 485.02/485.15 c 473s | 25 | 14991409 | 6157898 | 583 25993 | 15 | 32 487.02/487.16 c 475s | 25 | 15052399 | 6183198 | 583 26079 | 15 | 32 489.01/489.16 c 477s | 25 | 15114626 | 6208498 | 583 26164 | 15 | 32 491.01/491.17 c 479s | 25 | 15174080 | 6234098 | 583 26251 | 15 | 32 493.01/493.17 c 481s | 25 | 15231102 | 6258498 | 583 26334 | 15 | 32 495.02/495.18 c 483s | 25 | 15296901 | 6283898 | 583 26419 | 15 | 32 497.01/497.18 c 485s | 25 | 15360083 | 6309098 | 583 26503 | 15 | 32 499.01/499.18 c 487s | 25 | 15422928 | 6334398 | 583 26588 | 15 | 32 501.01/501.18 c 489s | 25 | 15487284 | 6360098 | 583 26673 | 15 | 32 503.01/503.19 c 491s | 25 | 15549954 | 6386198 | 583 26761 | 15 | 32 505.01/505.19 c 493s | 25 | 15610960 | 6411098 | 583 26844 | 15 | 32 507.02/507.19 c 495s | 25 | 15671118 | 6436098 | 583 26927 | 15 | 32 509.11/509.20 c 497s | 25 | 15736141 | 6461798 | 583 27013 | 15 | 32 511.11/511.20 c 499s | 25 | 15797213 | 6487198 | 583 27098 | 15 | 32 513.11/513.20 c 501s | 25 | 15858801 | 6513198 | 583 27186 | 15 | 32 515.11/515.21 c 503s | 25 | 15922442 | 6538698 | 583 27271 | 15 | 32 517.11/517.21 c 505s | 25 | 15984530 | 6564298 | 583 27358 | 15 | 32 519.12/519.22 c 507s | 25 | 16044383 | 6589898 | 583 27444 | 15 | 32 521.11/521.22 c 509s | 25 | 16106007 | 6615298 | 583 27529 | 15 | 32 523.11/523.23 c 511s | 25 | 16167852 | 6640998 | 583 27615 | 15 | 32 525.11/525.23 c 513s | 25 | 16228544 | 6666498 | 583 27701 | 15 | 32 527.11/527.24 c 515s | 25 | 16290445 | 6692498 | 583 27789 | 15 | 32 529.12/529.24 c 517s | 25 | 16353787 | 6719198 | 583 27879 | 15 | 32 531.11/531.24 c 519s | 25 | 16415809 | 6745098 | 583 27967 | 15 | 32 533.11/533.25 c 521s | 25 | 16476662 | 6770598 | 583 28052 | 15 | 32 535.11/535.25 c 523s | 25 | 16540891 | 6796598 | 583 28139 | 15 | 32 537.11/537.26 c 525s | 25 | 16603143 | 6822898 | 583 28227 | 15 | 32 539.11/539.26 c 527s | 25 | 16663965 | 6848798 | 583 28313 | 15 | 32 541.11/541.27 c 529s | 25 | 16724982 | 6875198 | 583 28402 | 15 | 32 543.11/543.27 c 531s | 25 | 16785609 | 6901098 | 583 28488 | 15 | 32 545.10/545.28 c 533s | 25 | 16847058 | 6927098 | 583 28575 | 15 | 32 547.10/547.28 c 535s | 25 | 16907552 | 6952798 | 583 28661 | 15 | 32 549.10/549.28 c 537s | 25 | 16969184 | 6978598 | 583 28747 | 15 | 32 551.11/551.28 c 539s | 25 | 17033028 | 7004298 | 583 28833 | 15 | 32 553.10/553.29 c 541s | 25 | 17092846 | 7030498 | 583 28921 | 15 | 32 555.10/555.29 c 543s | 25 | 17152399 | 7055998 | 583 29006 | 15 | 32 557.10/557.30 c 545s | 25 | 17212924 | 7081598 | 583 29092 | 15 | 32 559.20/559.30 c 547s | 25 | 17272850 | 7107298 | 583 29179 | 15 | 32 561.20/561.31 c 549s | 25 | 17334630 | 7133098 | 583 29265 | 15 | 32 563.21/563.31 c 551s | 25 | 17394426 | 7158898 | 583 29352 | 15 | 32 565.21/565.31 c 553s | 25 | 17452164 | 7184198 | 583 29438 | 15 | 32 567.21/567.31 c 555s | 25 | 17513075 | 7209198 | 583 29521 | 15 | 32 569.21/569.32 c 557s | 25 | 17576374 | 7234898 | 583 29606 | 15 | 32 571.21/571.32 c 559s | 25 | 17636933 | 7260098 | 583 29690 | 15 | 32 573.20/573.33 c 561s | 25 | 17698994 | 7285498 | 583 29775 | 15 | 32 575.21/575.33 c 563s | 25 | 17760022 | 7310998 | 583 29860 | 15 | 32 577.20/577.33 c 565s | 25 | 17819184 | 7335298 | 583 29941 | 15 | 32 579.20/579.34 c 567s | 25 | 17875120 | 7359798 | 583 30022 | 15 | 32 581.20/581.34 c 569s | 25 | 17930282 | 7383198 | 583 30100 | 15 | 32 583.20/583.34 c 571s | 25 | 17985412 | 7406698 | 642 30173 | 15 | 32 585.21/585.35 c 573s | 25 | 18041955 | 7430598 | 642 30245 | 15 | 32 587.20/587.35 c 575s | 25 | 18095705 | 7454698 | 642 30319 | 15 | 32 589.20/589.36 c 577s | 25 | 18151868 | 7478898 | 642 30392 | 15 | 32 591.20/591.37 c 579s | 25 | 18207770 | 7503098 | 642 30466 | 15 | 32 593.20/593.37 c 581s | 25 | 18263443 | 7527198 | 642 30540 | 15 | 32 595.20/595.38 c 583s | 25 | 18320154 | 7551498 | 642 30614 | 15 | 32 597.20/597.39 c 585s | 25 | 18382020 | 7576498 | 642 30690 | 15 | 32 599.00/599.11 c 587s | 26 | 18434736 | 7597752 | 642 30754 | 15 | 32 601.00/601.12 c 589s | 26 | 18497233 | 7623152 | 642 30830 | 15 | 32 603.00/603.12 c 591s | 26 | 18559057 | 7648852 | 642 30908 | 15 | 32 605.00/605.12 c 593s | 26 | 18621077 | 7674552 | 642 30986 | 15 | 32 606.99/607.12 c 595s | 26 | 18684291 | 7700452 | 642 31064 | 15 | 32 608.99/609.13 c 597s | 26 | 18746884 | 7726552 | 642 31144 | 15 | 32 610.99/611.13 c 599s | 26 | 18808321 | 7752452 | 642 31222 | 15 | 32 612.99/613.14 c 601s | 26 | 18869240 | 7777952 | 642 31300 | 15 | 32 614.99/615.14 c 603s | 26 | 18928018 | 7804552 | 642 31381 | 15 | 32 617.00/617.15 c 605s | 26 | 18989201 | 7830452 | 642 31459 | 15 | 32 618.99/619.15 c 607s | 26 | 19049108 | 7856352 | 642 31538 | 15 | 32 620.99/621.15 c 609s | 26 | 19109273 | 7882752 | 642 31618 | 15 | 32 622.99/623.15 c 611s | 26 | 19169644 | 7908652 | 642 31697 | 15 | 32 624.99/625.16 c 613s | 26 | 19228635 | 7934752 | 642 31777 | 15 | 32 627.00/627.16 c 615s | 26 | 19288858 | 7961252 | 642 31858 | 15 | 32 629.00/629.16 c 617s | 26 | 19348556 | 7987752 | 642 31939 | 15 | 32 631.00/631.16 c 619s | 26 | 19409308 | 8013252 | 642 32016 | 15 | 32 633.00/633.16 c 621s | 26 | 19470118 | 8038852 | 642 32094 | 15 | 32 635.00/635.17 c 623s | 26 | 19531009 | 8064952 | 642 32173 | 15 | 32 637.00/637.17 c 625s | 26 | 19593222 | 8090152 | 642 32249 | 15 | 32 639.00/639.17 c 627s | 26 | 19653174 | 8115852 | 642 32327 | 15 | 32 640.99/641.17 c 629s | 26 | 19714894 | 8141952 | 642 32406 | 15 | 32 642.99/643.18 c 631s | 26 | 19774240 | 8167552 | 642 32483 | 15 | 32 644.99/645.18 c 633s | 26 | 19833378 | 8193652 | 642 32563 | 15 | 32 646.99/647.19 c 635s | 26 | 19893070 | 8219652 | 642 32642 | 15 | 32 649.00/649.19 c 637s | 26 | 19953681 | 8245552 | 642 32720 | 15 | 32 650.99/651.20 c 639s | 26 | 20012297 | 8270452 | 642 32796 | 15 | 32 653.09/653.21 c 641s | 26 | 20074604 | 8296452 | 642 32874 | 15 | 32 655.09/655.22 c 643s | 26 | 20134524 | 8321852 | 642 32951 | 15 | 32 657.09/657.22 c 645s | 26 | 20194244 | 8347352 | 642 33028 | 15 | 32 659.08/659.22 c 647s | 26 | 20255115 | 8373352 | 642 33106 | 15 | 32 661.09/661.23 c 649s | 26 | 20316940 | 8399052 | 642 33184 | 15 | 32 663.08/663.23 c 651s | 26 | 20377907 | 8424952 | 642 33262 | 15 | 32 665.08/665.24 c 653s | 26 | 20437168 | 8450352 | 642 33339 | 15 | 32 667.08/667.25 c 655s | 26 | 20499762 | 8476252 | 642 33417 | 15 | 32 669.08/669.25 c 657s | 26 | 20559893 | 8501552 | 642 33494 | 15 | 32 671.08/671.26 c 659s | 26 | 20619422 | 8527752 | 642 33573 | 15 | 32 673.09/673.26 c 661s | 26 | 20678796 | 8554052 | 642 33653 | 15 | 32 675.08/675.26 c 663s | 26 | 20738173 | 8579452 | 642 33730 | 15 | 32 677.08/677.27 c 665s | 26 | 20798694 | 8604852 | 642 33806 | 15 | 32 679.09/679.27 c 667s | 26 | 20853349 | 8629152 | 642 33879 | 15 | 32 681.09/681.28 c 669s | 26 | 20913179 | 8654352 | 642 33955 | 15 | 32 683.10/683.28 c 671s | 26 | 20971458 | 8679552 | 642 34031 | 15 | 32 685.09/685.29 c 673s | 26 | 21032355 | 8705352 | 642 34109 | 15 | 32 687.09/687.29 c 675s | 26 | 21092358 | 8731152 | 642 34187 | 15 | 32 689.09/689.29 c 677s | 26 | 21152163 | 8757052 | 642 34266 | 15 | 32 691.09/691.29 c 679s | 26 | 21212525 | 8782252 | 642 34341 | 15 | 32 693.18/693.30 c 681s | 26 | 21272582 | 8807752 | 642 34418 | 15 | 32 695.19/695.30 c 683s | 26 | 21334217 | 8833352 | 642 34495 | 15 | 32 697.18/697.30 c 685s | 26 | 21394616 | 8858652 | 642 34571 | 15 | 32 699.18/699.31 c 687s | 26 | 21454587 | 8884352 | 642 34648 | 15 | 32 701.18/701.32 c 689s | 26 | 21516987 | 8910152 | 642 34726 | 15 | 32 703.18/703.32 c 691s | 26 | 21577920 | 8935652 | 642 34802 | 15 | 32 705.18/705.32 c 693s | 26 | 21639448 | 8960552 | 642 34877 | 15 | 32 707.18/707.32 c 695s | 26 | 21698396 | 8985752 | 642 34952 | 15 | 32 709.18/709.33 c 697s | 26 | 21755056 | 9011052 | 642 35029 | 15 | 32 711.18/711.33 c 699s | 26 | 21812758 | 9036452 | 642 35105 | 15 | 32 713.18/713.33 c 701s | 26 | 21868626 | 9062052 | 642 35181 | 15 | 32 715.18/715.34 c 703s | 26 | 21926812 | 9087652 | 642 35258 | 15 | 32 717.19/717.34 c 705s | 26 | 21986052 | 9113552 | 642 35335 | 15 | 32 719.18/719.35 c 707s | 26 | 22045099 | 9138952 | 642 35411 | 15 | 32 721.18/721.35 c 709s | 26 | 22103608 | 9163952 | 642 35486 | 15 | 32 723.18/723.35 c 711s | 26 | 22164130 | 9189852 | 642 35563 | 15 | 32 725.18/725.36 c 713s | 26 | 22221458 | 9215952 | 642 35641 | 15 | 32 727.18/727.37 c 715s | 26 | 22280223 | 9241252 | 642 35716 | 15 | 32 729.19/729.37 c 717s | 26 | 22339321 | 9266852 | 642 35792 | 15 | 32 731.18/731.37 c 719s | 26 | 22399905 | 9292952 | 642 35870 | 15 | 32 733.18/733.38 c 721s | 26 | 22461409 | 9318752 | 642 35946 | 15 | 32 735.18/735.39 c 723s | 26 | 22522428 | 9344852 | 642 36024 | 15 | 32 737.18/737.39 c 725s | 26 | 22580589 | 9371252 | 642 36102 | 15 | 32 739.19/739.39 c 727s | 26 | 22638313 | 9397252 | 642 36178 | 15 | 32 739.58/739.78 c 727s | 26 | 22648953 | 9402129 | 642 36193 | 16 | 33 739.58/739.78 c #cpu_time = 725.976s 739.58/739.78 c #wall_clock_time = 727.839s 739.58/739.78 c #decision = 22648953 739.58/739.78 c #random_decision = 102692 739.58/739.78 c #conflict = 9402129 739.58/739.78 c #restart = 26 739.58/739.78 c BCD2: updating lower bound of a core 739.58/739.78 c lower bound updated to 8 739.58/739.78 c BCD2: 8 <= obj <= 8 739.58/739.78 c BCD2: #cores=1, #unrelaxed=0, #relaxed=99, #hardened=0 739.58/739.78 c BCD2: #sat=4 #unsat=8 bias=8/12 739.58/739.78 c Solving starts ... 739.58/739.78 c ============================[ Search Statistics ]============================ 739.58/739.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 739.58/739.78 c | | | | Limit GC | Var | Constra 739.58/739.78 c ============================================================================= 739.58/739.78 c 0.0s | 0 | 0 | 0 | 642 0 | 16 | 34 739.58/739.79 c 0.0s | 1 | 320 | 100 | 642 0 | 16 | 34 739.68/739.80 c 0.0s | 2 | 857 | 250 | 642 0 | 16 | 34 739.68/739.82 c 0.0s | 3 | 1381 | 475 | 642 0 | 16 | 34 739.68/739.85 c 0.1s | 4 | 2359 | 813 | 642 1 | 16 | 34 739.68/739.89 c 0.1s | 5 | 3516 | 1320 | 642 2 | 16 | 34 739.78/739.96 c 0.2s | 6 | 5335 | 2081 | 642 5 | 16 | 34 739.88/740.06 c 0.3s | 7 | 8829 | 3223 | 642 8 | 16 | 34 740.08/740.21 c 0.4s | 8 | 13693 | 4936 | 642 13 | 16 | 34 740.29/740.43 c 0.6s | 9 | 20498 | 7506 | 642 21 | 16 | 34 740.58/740.74 c 1.0s | 10 | 31029 | 11361 | 642 33 | 16 | 34 741.08/741.24 c 1.5s | 11 | 45741 | 17144 | 642 50 | 16 | 34 741.78/741.95 c 2.2s | 12 | 68812 | 25819 | 642 77 | 16 | 34 742.88/743.00 c 3.2s | 13 | 102081 | 38832 | 642 116 | 16 | 34 744.38/744.57 c 4.8s | 14 | 153060 | 58352 | 642 176 | 16 | 34 746.37/746.57 c 6.8s | 14 | 217771 | 83452 | 642 252 | 16 | 34 746.78/746.90 c 7.1s | 15 | 228463 | 87632 | 642 265 | 16 | 34 748.77/748.90 c 9.1s | 15 | 293073 | 112532 | 642 341 | 16 | 34 750.27/750.43 c 10.6s | 16 | 339355 | 131552 | 642 399 | 16 | 34 752.28/752.43 c 12.7s | 16 | 403280 | 156052 | 642 474 | 16 | 34 754.27/754.44 c 14.7s | 16 | 465443 | 181252 | 642 551 | 16 | 34 755.58/755.75 c 16.0s | 17 | 507006 | 197432 | 642 601 | 16 | 34 757.57/757.76 c 18.0s | 17 | 571415 | 221932 | 642 675 | 16 | 34 759.57/759.76 c 20.0s | 17 | 635872 | 246932 | 642 752 | 16 | 34 761.57/761.76 c 22.0s | 17 | 700161 | 271332 | 642 826 | 16 | 34 763.57/763.76 c 24.0s | 18 | 765193 | 296252 | 642 902 | 16 | 34 765.58/765.77 c 26.0s | 18 | 831374 | 320952 | 642 978 | 16 | 34 767.57/767.77 c 28.0s | 18 | 896707 | 345952 | 642 1054 | 16 | 34 769.57/769.77 c 30.0s | 18 | 960177 | 370852 | 642 1130 | 16 | 34 771.58/771.77 c 32.0s | 18 | 1025869 | 396252 | 642 1208 | 16 | 34 773.58/773.78 c 34.0s | 18 | 1090345 | 421452 | 642 1285 | 16 | 34 775.38/775.59 c 35.8s | 19 | 1147343 | 444482 | 642 1356 | 16 | 34 777.47/777.60 c 37.8s | 19 | 1215267 | 469982 | 642 1434 | 16 | 34 779.47/779.61 c 39.8s | 19 | 1279291 | 495282 | 642 1511 | 16 | 34 781.47/781.61 c 41.8s | 19 | 1346408 | 520582 | 642 1589 | 16 | 34 783.47/783.61 c 43.8s | 19 | 1412205 | 546082 | 642 1667 | 16 | 34 785.47/785.62 c 45.8s | 19 | 1477779 | 571282 | 642 1744 | 16 | 34 787.47/787.62 c 47.8s | 19 | 1541747 | 596582 | 642 1822 | 16 | 34 789.47/789.62 c 49.8s | 19 | 1604700 | 621982 | 642 1901 | 16 | 34 791.46/791.63 c 51.8s | 19 | 1670047 | 647182 | 642 1978 | 16 | 34 793.07/793.21 c 53.4s | 20 | 1720763 | 666827 | 642 2037 | 16 | 34 795.06/795.21 c 55.4s | 20 | 1780557 | 690527 | 642 2110 | 16 | 34 797.06/797.22 c 57.4s | 20 | 1840395 | 714227 | 642 2181 | 16 | 34 799.06/799.22 c 59.4s | 20 | 1898795 | 737827 | 642 2253 | 16 | 34 801.06/801.23 c 61.4s | 20 | 1956317 | 761227 | 642 2325 | 16 | 34 803.06/803.23 c 63.5s | 20 | 2014543 | 784927 | 642 2397 | 16 | 34 805.06/805.24 c 65.5s | 20 | 2071610 | 808727 | 642 2470 | 16 | 34 807.05/807.24 c 67.5s | 20 | 2128990 | 832627 | 642 2543 | 16 | 34 809.05/809.25 c 69.5s | 20 | 2190879 | 857127 | 642 2618 | 16 | 34 811.06/811.25 c 71.5s | 20 | 2251165 | 880727 | 642 2690 | 16 | 34 813.06/813.26 c 73.5s | 20 | 2312312 | 904727 | 642 2763 | 16 | 34 815.06/815.26 c 75.5s | 20 | 2370919 | 928827 | 642 2837 | 16 | 34 817.05/817.27 c 77.5s | 20 | 2431335 | 952727 | 642 2910 | 16 | 34 819.05/819.27 c 79.5s | 20 | 2491589 | 976827 | 642 2983 | 16 | 34 821.05/821.24 c 81.5s | 21 | 2552688 | 1000345 | 642 3055 | 16 | 34 823.05/823.24 c 83.5s | 21 | 2618680 | 1025245 | 642 3131 | 16 | 34 825.05/825.25 c 85.5s | 21 | 2683633 | 1049745 | 642 3205 | 16 | 34 827.05/827.26 c 87.5s | 21 | 2748290 | 1074645 | 642 3282 | 16 | 34 829.05/829.26 c 89.5s | 21 | 2812563 | 1099545 | 642 3358 | 16 | 34 831.05/831.27 c 91.5s | 21 | 2873692 | 1124745 | 642 3435 | 16 | 34 833.04/833.27 c 93.5s | 21 | 2936465 | 1149945 | 642 3512 | 16 | 34 835.04/835.28 c 95.5s | 21 | 2999999 | 1174945 | 642 3589 | 16 | 34 837.05/837.28 c 97.5s | 21 | 3062750 | 1200145 | 642 3666 | 16 | 34 839.04/839.28 c 99.5s | 21 | 3123484 | 1225345 | 642 3743 | 16 | 34 841.04/841.29 c 101s | 21 | 3184134 | 1250245 | 642 3819 | 16 | 34 843.04/843.29 c 103s | 21 | 3245214 | 1275045 | 642 3896 | 16 | 34 845.14/845.30 c 105s | 21 | 3309303 | 1299645 | 642 3971 | 16 | 34 847.14/847.30 c 107s | 21 | 3372687 | 1324145 | 642 4046 | 16 | 34 849.14/849.31 c 109s | 21 | 3434947 | 1349145 | 642 4123 | 16 | 34 851.13/851.32 c 111s | 21 | 3500479 | 1374145 | 642 4200 | 16 | 34 853.13/853.32 c 113s | 21 | 3561975 | 1398945 | 642 4276 | 16 | 34 855.13/855.33 c 115s | 21 | 3624461 | 1423645 | 642 4351 | 16 | 34 857.13/857.33 c 117s | 21 | 3689316 | 1448445 | 642 4427 | 16 | 34 859.13/859.33 c 119s | 21 | 3752573 | 1473245 | 642 4503 | 16 | 34 861.13/861.34 c 121s | 21 | 3815691 | 1498045 | 642 4580 | 16 | 34 861.33/861.54 c 121s | 22 | 3821873 | 1500622 | 642 4588 | 16 | 34 863.33/863.55 c 123s | 22 | 3883883 | 1525122 | 642 4663 | 16 | 34 865.33/865.55 c 125s | 22 | 3947269 | 1549822 | 642 4738 | 16 | 34 867.33/867.56 c 127s | 22 | 4007539 | 1574822 | 642 4816 | 16 | 34 869.33/869.56 c 129s | 22 | 4068480 | 1600122 | 642 4894 | 16 | 34 871.33/871.57 c 131s | 22 | 4133390 | 1624922 | 642 4970 | 16 | 34 873.33/873.57 c 133s | 22 | 4195995 | 1649722 | 642 5045 | 16 | 34 875.33/875.58 c 135s | 22 | 4259725 | 1674422 | 642 5121 | 16 | 34 877.33/877.58 c 137s | 22 | 4323269 | 1699122 | 642 5197 | 16 | 34 879.33/879.58 c 139s | 22 | 4386888 | 1723522 | 642 5271 | 16 | 34 881.33/881.58 c 141s | 22 | 4449783 | 1748222 | 642 5347 | 16 | 34 883.33/883.58 c 143s | 22 | 4511193 | 1772622 | 707 5417 | 16 | 34 885.33/885.59 c 145s | 22 | 4572687 | 1797022 | 707 5486 | 16 | 34 887.33/887.59 c 147s | 22 | 4634263 | 1821222 | 707 5553 | 16 | 34 889.42/889.60 c 149s | 22 | 4697648 | 1845622 | 707 5621 | 16 | 34 891.42/891.60 c 151s | 22 | 4760470 | 1870222 | 707 5689 | 16 | 34 893.42/893.61 c 153s | 22 | 4822540 | 1894822 | 707 5758 | 16 | 34 895.42/895.61 c 155s | 22 | 4883478 | 1919022 | 707 5826 | 16 | 34 897.43/897.61 c 157s | 22 | 4946648 | 1943622 | 707 5894 | 16 | 34 899.42/899.62 c 159s | 22 | 5007585 | 1968322 | 707 5963 | 16 | 34 901.42/901.62 c 161s | 22 | 5068421 | 1992822 | 707 6032 | 16 | 34 903.42/903.63 c 163s | 22 | 5129190 | 2017622 | 707 6102 | 16 | 34 905.42/905.63 c 165s | 22 | 5193013 | 2042022 | 707 6170 | 16 | 34 907.42/907.63 c 167s | 22 | 5253755 | 2066622 | 707 6238 | 16 | 34 909.41/909.64 c 169s | 22 | 5315066 | 2091522 | 707 6308 | 16 | 34 911.41/911.64 c 171s | 22 | 5373772 | 2115922 | 707 6376 | 16 | 34 913.41/913.65 c 173s | 22 | 5436205 | 2140622 | 707 6445 | 16 | 34 915.41/915.66 c 175s | 22 | 5494584 | 2165022 | 707 6514 | 16 | 34 917.41/917.66 c 177s | 22 | 5553657 | 2189622 | 707 6583 | 16 | 34 919.41/919.67 c 179s | 22 | 5616042 | 2213922 | 707 6651 | 16 | 34 921.41/921.68 c 181s | 22 | 5678381 | 2238522 | 707 6720 | 16 | 34 922.51/922.70 c 182s | 23 | 5709685 | 2251038 | 707 6754 | 16 | 34 924.51/924.70 c 184s | 23 | 5772828 | 2275338 | 707 6822 | 16 | 34 926.51/926.70 c 186s | 23 | 5836884 | 2299438 | 707 6889 | 16 | 34 928.51/928.71 c 188s | 23 | 5902181 | 2323738 | 707 6956 | 16 | 34 930.51/930.72 c 190s | 23 | 5965673 | 2348338 | 707 7025 | 16 | 34 932.51/932.72 c 192s | 23 | 6027090 | 2372738 | 707 7093 | 16 | 34 934.51/934.73 c 194s | 23 | 6087644 | 2397038 | 707 7161 | 16 | 34 936.51/936.73 c 196s | 23 | 6150646 | 2421138 | 707 7227 | 16 | 34 938.51/938.73 c 198s | 23 | 6211595 | 2445338 | 707 7295 | 16 | 34 940.51/940.74 c 200s | 23 | 6273285 | 2469438 | 707 7362 | 16 | 34 942.51/942.74 c 202s | 23 | 6333557 | 2493938 | 707 7430 | 16 | 34 944.51/944.74 c 204s | 23 | 6395196 | 2518538 | 707 7499 | 16 | 34 946.50/946.75 c 206s | 23 | 6456962 | 2543038 | 707 7568 | 16 | 34 948.50/948.75 c 208s | 23 | 6520073 | 2567638 | 707 7636 | 16 | 34 950.50/950.75 c 210s | 23 | 6583435 | 2592738 | 707 7706 | 16 | 34 952.51/952.76 c 212s | 23 | 6648045 | 2617638 | 707 7776 | 16 | 34 954.50/954.77 c 214s | 23 | 6710733 | 2642838 | 707 7846 | 16 | 34 956.50/956.77 c 216s | 23 | 6775133 | 2667538 | 707 7915 | 16 | 34 958.50/958.77 c 218s | 23 | 6835850 | 2692138 | 707 7983 | 16 | 34 960.50/960.77 c 220s | 23 | 6895400 | 2716038 | 707 8050 | 16 | 34 962.49/962.78 c 222s | 23 | 6955664 | 2740038 | 707 8117 | 16 | 34 964.50/964.78 c 225s | 23 | 7018688 | 2764438 | 707 8185 | 16 | 34 966.49/966.79 c 227s | 23 | 7080446 | 2789238 | 707 8254 | 16 | 34 968.49/968.79 c 229s | 23 | 7142333 | 2813838 | 707 8323 | 16 | 34 970.59/970.80 c 231s | 23 | 7201538 | 2838438 | 707 8391 | 16 | 34 972.59/972.81 c 233s | 23 | 7263694 | 2863238 | 707 8460 | 16 | 34 974.59/974.81 c 235s | 23 | 7324832 | 2888238 | 707 8530 | 16 | 34 976.60/976.82 c 237s | 23 | 7385694 | 2913238 | 707 8600 | 16 | 34 978.59/978.82 c 239s | 23 | 7447914 | 2938038 | 707 8670 | 16 | 34 980.59/980.82 c 241s | 23 | 7512516 | 2962938 | 707 8739 | 16 | 34 982.59/982.82 c 243s | 23 | 7571377 | 2987338 | 707 8808 | 16 | 34 984.59/984.82 c 245s | 23 | 7632799 | 3011938 | 707 8877 | 16 | 34 986.60/986.83 c 247s | 23 | 7691048 | 3036638 | 707 8946 | 16 | 34 988.59/988.83 c 249s | 23 | 7756170 | 3061838 | 707 9016 | 16 | 34 990.59/990.84 c 251s | 23 | 7816477 | 3086738 | 707 9086 | 16 | 34 992.59/992.84 c 253s | 23 | 7877496 | 3111338 | 707 9155 | 16 | 34 994.58/994.84 c 255s | 23 | 7937334 | 3135938 | 707 9224 | 16 | 34 996.58/996.84 c 257s | 23 | 7998253 | 3160738 | 707 9293 | 16 | 34 998.58/998.85 c 259s | 23 | 8058620 | 3185538 | 707 9363 | 16 | 34 1000.58/1000.85 c 261s | 23 | 8118031 | 3210438 | 707 9433 | 16 | 34 1002.58/1002.85 c 263s | 23 | 8176824 | 3234938 | 707 9502 | 16 | 34 1004.59/1004.85 c 265s | 23 | 8231260 | 3259038 | 707 9570 | 16 | 34 1006.58/1006.86 c 267s | 23 | 8291113 | 3283638 | 707 9639 | 16 | 34 1008.59/1008.87 c 269s | 23 | 8352387 | 3307838 | 707 9706 | 16 | 34 1010.58/1010.87 c 271s | 23 | 8414795 | 3332138 | 707 9773 | 16 | 34 1012.58/1012.87 c 273s | 23 | 8474458 | 3356638 | 707 9841 | 16 | 34 1014.28/1014.50 c 274s | 24 | 8524894 | 3376662 | 707 9897 | 16 | 34 1016.28/1016.50 c 276s | 24 | 8588351 | 3400962 | 707 9965 | 16 | 34 1018.28/1018.51 c 278s | 24 | 8650751 | 3425362 | 707 10032 | 16 | 34 1020.27/1020.51 c 280s | 24 | 8711134 | 3449262 | 707 10099 | 16 | 34 1022.27/1022.51 c 282s | 24 | 8773523 | 3474062 | 707 10168 | 16 | 34 1024.27/1024.52 c 284s | 24 | 8833787 | 3498762 | 707 10237 | 16 | 34 1026.27/1026.52 c 286s | 24 | 8892615 | 3523562 | 707 10307 | 16 | 34 1028.28/1028.53 c 288s | 24 | 8953408 | 3547462 | 707 10373 | 16 | 34 1030.27/1030.53 c 290s | 24 | 9017672 | 3572262 | 707 10442 | 16 | 34 1032.27/1032.54 c 292s | 24 | 9081407 | 3597062 | 707 10511 | 16 | 34 1034.27/1034.54 c 294s | 24 | 9144121 | 3621762 | 707 10579 | 16 | 34 1036.27/1036.55 c 296s | 24 | 9204589 | 3646362 | 707 10648 | 16 | 34 1038.27/1038.55 c 298s | 24 | 9264459 | 3670862 | 707 10717 | 16 | 34 1040.26/1040.55 c 300s | 24 | 9329074 | 3695262 | 707 10784 | 16 | 34 1042.26/1042.56 c 302s | 24 | 9392623 | 3719662 | 707 10852 | 16 | 34 1044.27/1044.56 c 304s | 24 | 9455065 | 3744062 | 707 10920 | 16 | 34 1046.27/1046.57 c 306s | 24 | 9515596 | 3768562 | 707 10989 | 16 | 34 1048.27/1048.57 c 308s | 24 | 9575189 | 3792962 | 707 11057 | 16 | 34 1050.27/1050.58 c 310s | 24 | 9637193 | 3817162 | 707 11125 | 16 | 34 1052.27/1052.58 c 312s | 24 | 9698822 | 3841562 | 707 11193 | 16 | 34 1054.27/1054.59 c 314s | 24 | 9758306 | 3865862 | 707 11260 | 16 | 34 1056.26/1056.59 c 316s | 24 | 9819070 | 3890062 | 707 11328 | 16 | 34 1058.26/1058.59 c 318s | 24 | 9881378 | 3914862 | 707 11397 | 16 | 34 1060.36/1060.60 c 320s | 24 | 9944008 | 3940162 | 707 11468 | 16 | 34 1062.26/1062.60 c 322s | 24 | 10006071 | 3965162 | 707 11538 | 16 | 34 1064.36/1064.60 c 324s | 24 | 10068372 | 3990662 | 707 11610 | 16 | 34 1066.35/1066.61 c 326s | 24 | 10127689 | 4016062 | 707 11681 | 16 | 34 1068.35/1068.61 c 328s | 24 | 10192303 | 4041062 | 707 11751 | 16 | 34 1070.35/1070.62 c 330s | 24 | 10255618 | 4065762 | 707 11820 | 16 | 34 1072.36/1072.63 c 332s | 24 | 10317121 | 4090362 | 707 11889 | 16 | 34 1074.35/1074.63 c 334s | 24 | 10375880 | 4115362 | 707 11959 | 16 | 34 1076.35/1076.63 c 336s | 24 | 10436833 | 4139862 | 707 12027 | 16 | 34 1078.35/1078.64 c 338s | 24 | 10495598 | 4163962 | 707 12095 | 16 | 34 1080.35/1080.64 c 340s | 24 | 10553613 | 4188062 | 707 12162 | 16 | 34 1082.35/1082.65 c 342s | 24 | 10612686 | 4212362 | 707 12230 | 16 | 34 1084.36/1084.65 c 344s | 24 | 10673729 | 4237062 | 707 12299 | 16 | 34 1086.35/1086.65 c 346s | 24 | 10733975 | 4261462 | 707 12368 | 16 | 34 1088.35/1088.66 c 348s | 24 | 10795801 | 4286162 | 707 12437 | 16 | 34 1090.35/1090.66 c 350s | 24 | 10855564 | 4310862 | 707 12506 | 16 | 34 1092.35/1092.66 c 352s | 24 | 10914692 | 4335362 | 707 12575 | 16 | 34 1094.35/1094.67 c 354s | 24 | 10973618 | 4359862 | 707 12644 | 16 | 34 1096.35/1096.67 c 356s | 24 | 11033473 | 4384862 | 707 12714 | 16 | 34 1098.34/1098.68 c 358s | 24 | 11092483 | 4409562 | 707 12783 | 16 | 34 1100.34/1100.69 c 360s | 24 | 11148917 | 4433862 | 707 12852 | 16 | 34 1102.34/1102.69 c 362s | 24 | 11207931 | 4458462 | 707 12921 | 16 | 34 1104.34/1104.69 c 364s | 24 | 11265911 | 4482462 | 707 12988 | 16 | 34 1106.35/1106.70 c 366s | 24 | 11329037 | 4506262 | 707 13054 | 16 | 34 1108.44/1108.70 c 368s | 24 | 11393423 | 4530762 | 707 13122 | 16 | 34 1110.44/1110.71 c 370s | 24 | 11455016 | 4555362 | 707 13191 | 16 | 34 1112.44/1112.72 c 372s | 24 | 11516794 | 4580062 | 707 13259 | 16 | 34 1114.44/1114.72 c 374s | 24 | 11578485 | 4604662 | 707 13328 | 16 | 34 1116.44/1116.72 c 376s | 24 | 11636842 | 4629062 | 707 13397 | 16 | 34 1118.44/1118.73 c 378s | 24 | 11694219 | 4652662 | 707 13463 | 16 | 34 1120.44/1120.73 c 380s | 24 | 11755335 | 4676362 | 707 13529 | 16 | 34 1122.44/1122.74 c 382s | 24 | 11815758 | 4700562 | 707 13596 | 16 | 34 1124.44/1124.75 c 384s | 24 | 11875338 | 4724662 | 707 13663 | 16 | 34 1126.43/1126.75 c 386s | 24 | 11936725 | 4748362 | 707 13729 | 16 | 34 1128.44/1128.75 c 388s | 24 | 11996872 | 4772562 | 707 13797 | 16 | 34 1130.43/1130.76 c 390s | 24 | 12056562 | 4796562 | 707 13864 | 16 | 34 1132.43/1132.76 c 392s | 24 | 12117005 | 4820562 | 707 13931 | 16 | 34 1134.43/1134.76 c 394s | 24 | 12179116 | 4844562 | 707 13998 | 16 | 34 1136.43/1136.76 c 396s | 24 | 12239780 | 4868662 | 707 14065 | 16 | 34 1138.43/1138.77 c 398s | 24 | 12300214 | 4892762 | 707 14133 | 16 | 34 1140.43/1140.77 c 400s | 24 | 12360788 | 4916962 | 707 14201 | 16 | 34 1142.42/1142.78 c 403s | 24 | 12422196 | 4941662 | 707 14270 | 16 | 34 1144.42/1144.78 c 405s | 24 | 12484317 | 4965962 | 707 14339 | 16 | 34 1146.42/1146.79 c 407s | 24 | 12544735 | 4990662 | 707 14407 | 16 | 34 1148.41/1148.79 c 409s | 24 | 12606102 | 5015162 | 707 14476 | 16 | 34 1150.43/1150.80 c 411s | 24 | 12667608 | 5039662 | 707 14544 | 16 | 34 1152.42/1152.80 c 413s | 24 | 12727888 | 5063662 | 707 14612 | 16 | 34 1152.63/1152.93 c 413s | 25 | 12731254 | 5065098 | 707 14616 | 16 | 34 1154.62/1154.93 c 415s | 25 | 12792137 | 5088798 | 707 14681 | 16 | 34 1156.62/1156.94 c 417s | 25 | 12854127 | 5112198 | 707 14746 | 16 | 34 1158.62/1158.95 c 419s | 25 | 12915453 | 5135998 | 707 14813 | 16 | 34 1160.62/1160.96 c 421s | 25 | 12976176 | 5159498 | 707 14878 | 16 | 34 1162.62/1162.97 c 423s | 25 | 13035642 | 5183298 | 707 14945 | 16 | 34 1164.62/1164.97 c 425s | 25 | 13094003 | 5207098 | 707 15011 | 16 | 34 1166.62/1166.97 c 427s | 25 | 13152789 | 5230898 | 707 15078 | 16 | 34 1168.62/1168.97 c 429s | 25 | 13215556 | 5254498 | 707 15143 | 16 | 34 1170.62/1170.98 c 431s | 25 | 13282045 | 5278498 | 707 15210 | 16 | 34 1172.61/1172.99 c 433s | 25 | 13345188 | 5302198 | 707 15276 | 16 | 34 1174.62/1174.99 c 435s | 25 | 13405274 | 5325898 | 707 15342 | 16 | 34 1176.61/1177.00 c 437s | 25 | 13467752 | 5349698 | 707 15409 | 16 | 34 1178.71/1179.00 c 439s | 25 | 13530487 | 5373198 | 707 15474 | 16 | 34 1180.71/1181.00 c 441s | 25 | 13591054 | 5396898 | 707 15540 | 16 | 34 1182.71/1183.01 c 443s | 25 | 13652080 | 5420598 | 707 15606 | 16 | 34 1184.70/1185.02 c 445s | 25 | 13711608 | 5444498 | 707 15673 | 16 | 34 1186.71/1187.02 c 447s | 25 | 13770733 | 5467598 | 707 15737 | 16 | 34 1188.70/1189.02 c 449s | 25 | 13830483 | 5491498 | 707 15804 | 16 | 34 1190.70/1191.02 c 451s | 25 | 13892217 | 5515098 | 707 15870 | 16 | 34 1192.70/1193.03 c 453s | 25 | 13952454 | 5539098 | 707 15937 | 16 | 34 1194.70/1195.03 c 455s | 25 | 14016350 | 5563098 | 707 16004 | 16 | 34 1196.70/1197.03 c 457s | 25 | 14078250 | 5586798 | 707 16070 | 16 | 34 1198.71/1199.04 c 459s | 25 | 14140209 | 5610898 | 707 16137 | 16 | 34 1200.70/1201.05 c 461s | 25 | 14200999 | 5634698 | 707 16204 | 16 | 34 1202.70/1203.05 c 463s | 25 | 14264552 | 5658398 | 707 16270 | 16 | 34 1204.70/1205.06 c 465s | 25 | 14326383 | 5682398 | 707 16337 | 16 | 34 1206.70/1207.06 c 467s | 25 | 14387489 | 5706598 | 707 16404 | 16 | 34 1208.70/1209.07 c 469s | 25 | 14446685 | 5730198 | 707 16471 | 16 | 34 1210.70/1211.07 c 471s | 25 | 14504586 | 5753598 | 707 16536 | 16 | 34 1212.70/1213.07 c 473s | 25 | 14565483 | 5777798 | 707 16604 | 16 | 34 1214.70/1215.08 c 475s | 25 | 14624960 | 5801898 | 707 16671 | 16 | 34 1216.69/1217.09 c 477s | 25 | 14685573 | 5825798 | 707 16738 | 16 | 34 1218.69/1219.09 c 479s | 25 | 14746406 | 5849598 | 707 16805 | 16 | 34 1220.69/1221.09 c 481s | 25 | 14807123 | 5873498 | 707 16872 | 16 | 34 1222.69/1223.09 c 483s | 25 | 14864627 | 5897698 | 707 16940 | 16 | 34 1224.68/1225.10 c 485s | 25 | 14924947 | 5921798 | 707 17007 | 16 | 34 1226.78/1227.10 c 487s | 25 | 14985377 | 5945798 | 707 17075 | 16 | 34 1228.78/1229.10 c 489s | 25 | 15043672 | 5969498 | 707 17141 | 16 | 34 1230.78/1231.11 c 491s | 25 | 15105785 | 5993198 | 707 17207 | 16 | 34 1232.79/1233.11 c 493s | 25 | 15166597 | 6016898 | 707 17273 | 16 | 34 1234.78/1235.11 c 495s | 25 | 15227397 | 6040798 | 707 17339 | 16 | 34 1236.78/1237.11 c 497s | 25 | 15288768 | 6064598 | 707 17406 | 16 | 34 1238.78/1239.11 c 499s | 25 | 15347957 | 6088698 | 707 17473 | 16 | 34 1240.78/1241.12 c 501s | 25 | 15408572 | 6112298 | 707 17539 | 16 | 34 1242.78/1243.13 c 503s | 25 | 15471080 | 6135998 | 707 17605 | 16 | 34 1244.77/1245.14 c 505s | 25 | 15531648 | 6159798 | 707 17671 | 16 | 34 1246.77/1247.14 c 507s | 25 | 15592966 | 6183498 | 707 17737 | 16 | 34 1248.77/1249.14 c 509s | 25 | 15651884 | 6207298 | 707 17804 | 16 | 34 1250.77/1251.15 c 511s | 25 | 15712447 | 6231098 | 707 17870 | 16 | 34 1252.78/1253.15 c 513s | 25 | 15775571 | 6254998 | 707 17937 | 16 | 34 1254.78/1255.15 c 515s | 25 | 15838284 | 6278998 | 707 18004 | 16 | 34 1256.78/1257.16 c 517s | 25 | 15898892 | 6302998 | 707 18071 | 16 | 34 1258.77/1259.16 c 519s | 25 | 15957870 | 6327198 | 707 18139 | 16 | 34 1260.77/1261.16 c 521s | 25 | 16018138 | 6350698 | 707 18204 | 16 | 34 1262.77/1263.17 c 523s | 25 | 16079105 | 6374198 | 707 18270 | 16 | 34 1264.78/1265.18 c 525s | 25 | 16138940 | 6397798 | 707 18336 | 16 | 34 1266.76/1267.18 c 527s | 25 | 16197084 | 6420998 | 707 18400 | 16 | 34 1268.76/1269.18 c 529s | 25 | 16257188 | 6444698 | 707 18467 | 16 | 34 1270.76/1271.19 c 531s | 25 | 16315735 | 6468498 | 707 18533 | 16 | 34 1272.76/1273.19 c 533s | 25 | 16374682 | 6492098 | 707 18599 | 16 | 34 1274.76/1275.19 c 535s | 25 | 16434195 | 6515798 | 707 18665 | 16 | 34 1276.76/1277.20 c 537s | 25 | 16494929 | 6539398 | 707 18731 | 16 | 34 1278.86/1279.20 c 539s | 25 | 16556432 | 6562898 | 707 18797 | 16 | 34 1280.86/1281.20 c 541s | 25 | 16614418 | 6586298 | 707 18862 | 16 | 34 1282.86/1283.20 c 543s | 25 | 16672644 | 6609698 | 707 18928 | 16 | 34 1284.85/1285.21 c 545s | 25 | 16733373 | 6633398 | 707 18995 | 16 | 34 1286.85/1287.21 c 547s | 25 | 16794548 | 6656898 | 707 19060 | 16 | 34 1288.86/1289.22 c 549s | 25 | 16856308 | 6680798 | 707 19127 | 16 | 34 1290.85/1291.22 c 551s | 25 | 16915526 | 6704498 | 707 19194 | 16 | 34 1292.85/1293.22 c 553s | 25 | 16977478 | 6728398 | 707 19261 | 16 | 34 1294.85/1295.23 c 555s | 25 | 17036801 | 6752498 | 707 19329 | 16 | 34 1296.84/1297.24 c 557s | 25 | 17092320 | 6776098 | 707 19395 | 16 | 34 1298.85/1299.24 c 559s | 25 | 17151097 | 6799098 | 707 19459 | 16 | 34 1300.84/1301.25 c 561s | 25 | 17210251 | 6822398 | 707 19524 | 16 | 34 1302.85/1303.25 c 563s | 25 | 17270430 | 6846098 | 707 19590 | 16 | 34 1304.84/1305.25 c 565s | 25 | 17329121 | 6869798 | 707 19656 | 16 | 34 1306.84/1307.25 c 567s | 25 | 17389762 | 6893098 | 707 19721 | 16 | 34 1308.84/1309.25 c 569s | 25 | 17451513 | 6916798 | 707 19787 | 16 | 34 1310.85/1311.26 c 571s | 25 | 17510944 | 6940698 | 707 19854 | 16 | 34 1312.84/1313.27 c 573s | 25 | 17569993 | 6964698 | 707 19921 | 16 | 34 1314.84/1315.27 c 575s | 25 | 17628961 | 6988498 | 707 19987 | 16 | 34 1316.84/1317.27 c 577s | 25 | 17688997 | 7012098 | 707 20053 | 16 | 34 1318.84/1319.27 c 579s | 25 | 17749683 | 7035798 | 707 20119 | 16 | 34 1320.84/1321.28 c 581s | 25 | 17808648 | 7059698 | 707 20186 | 16 | 34 1322.84/1323.29 c 583s | 25 | 17866866 | 7083698 | 707 20253 | 16 | 34 1324.83/1325.29 c 585s | 25 | 17927937 | 7107698 | 707 20320 | 16 | 34 1326.93/1327.30 c 587s | 25 | 17985958 | 7130998 | 707 20385 | 16 | 34 1328.93/1329.31 c 589s | 25 | 18044697 | 7154398 | 707 20451 | 16 | 34 1330.93/1331.31 c 591s | 25 | 18101902 | 7177798 | 707 20516 | 16 | 34 1332.93/1333.31 c 593s | 25 | 18160814 | 7201198 | 707 20581 | 16 | 34 1334.92/1335.31 c 595s | 25 | 18219930 | 7224798 | 707 20648 | 16 | 34 1336.92/1337.32 c 597s | 25 | 18278201 | 7248098 | 707 20713 | 16 | 34 1338.92/1339.32 c 599s | 25 | 18336057 | 7271698 | 707 20779 | 16 | 34 1340.93/1341.33 c 601s | 25 | 18394493 | 7295298 | 707 20845 | 16 | 34 1342.93/1343.34 c 603s | 25 | 18454317 | 7319098 | 707 20912 | 16 | 34 1344.93/1345.34 c 605s | 25 | 18515592 | 7342998 | 707 20978 | 16 | 34 1346.93/1347.34 c 607s | 25 | 18572417 | 7366598 | 707 21044 | 16 | 34 1348.92/1349.34 c 609s | 25 | 18628751 | 7390198 | 707 21111 | 16 | 34 1350.92/1351.35 c 611s | 25 | 18685796 | 7413798 | 707 21177 | 16 | 34 1352.92/1353.35 c 613s | 25 | 18742667 | 7437198 | 778 21237 | 16 | 34 1354.93/1355.36 c 615s | 25 | 18798092 | 7460498 | 778 21297 | 16 | 34 1356.92/1357.36 c 617s | 25 | 18853262 | 7484198 | 778 21357 | 16 | 34 1358.92/1359.36 c 619s | 25 | 18909987 | 7508098 | 778 21419 | 16 | 34 1360.92/1361.36 c 621s | 25 | 18965150 | 7531798 | 778 21479 | 16 | 34 1362.92/1363.37 c 623s | 25 | 19023134 | 7554598 | 778 21537 | 16 | 34 1364.91/1365.37 c 625s | 25 | 19078334 | 7577398 | 778 21595 | 16 | 34 1366.71/1367.13 c 627s | 26 | 19127203 | 7597752 | 778 21647 | 16 | 34 1368.71/1369.14 c 629s | 26 | 19186048 | 7620452 | 778 21704 | 16 | 34 1370.71/1371.14 c 631s | 26 | 19242829 | 7643052 | 778 21761 | 16 | 34 1372.71/1373.15 c 633s | 26 | 19297892 | 7665452 | 778 21818 | 16 | 34 1374.72/1375.16 c 635s | 26 | 19355146 | 7688652 | 778 21877 | 16 | 34 1376.71/1377.16 c 637s | 26 | 19411912 | 7711652 | 778 21935 | 16 | 34 1378.71/1379.17 c 639s | 26 | 19467382 | 7734852 | 778 21994 | 16 | 34 1380.71/1381.17 c 641s | 26 | 19525466 | 7757852 | 778 22052 | 16 | 34 1382.70/1383.18 c 643s | 26 | 19581726 | 7780252 | 778 22109 | 16 | 34 1384.70/1385.18 c 645s | 26 | 19644356 | 7803152 | 778 22167 | 16 | 34 1386.71/1387.18 c 647s | 26 | 19702108 | 7825952 | 778 22225 | 16 | 34 1388.71/1389.19 c 649s | 26 | 19757462 | 7848452 | 778 22282 | 16 | 34 1390.71/1391.20 c 651s | 26 | 19816942 | 7871352 | 778 22340 | 16 | 34 1392.81/1393.20 c 653s | 26 | 19878669 | 7894652 | 778 22399 | 16 | 34 1394.81/1395.21 c 655s | 26 | 19938175 | 7917952 | 778 22458 | 16 | 34 1396.80/1397.21 c 657s | 26 | 19998193 | 7940352 | 778 22514 | 16 | 34 1398.81/1399.21 c 659s | 26 | 20056033 | 7963752 | 778 22574 | 16 | 34 1400.80/1401.22 c 661s | 26 | 20112041 | 7987152 | 778 22633 | 16 | 34 1402.80/1403.23 c 663s | 26 | 20169624 | 8010852 | 778 22694 | 16 | 34 1404.80/1405.23 c 665s | 26 | 20227538 | 8033852 | 778 22753 | 16 | 34 1406.80/1407.24 c 667s | 26 | 20283027 | 8056452 | 778 22810 | 16 | 34 1408.80/1409.25 c 669s | 26 | 20342100 | 8079352 | 778 22868 | 16 | 34 1410.79/1411.25 c 671s | 26 | 20399318 | 8102152 | 778 22926 | 16 | 34 1412.79/1413.26 c 673s | 26 | 20455839 | 8124652 | 778 22983 | 16 | 34 1414.79/1415.26 c 675s | 26 | 20515208 | 8147252 | 778 23041 | 16 | 34 1416.79/1417.26 c 677s | 26 | 20572238 | 8170352 | 778 23099 | 16 | 34 1418.79/1419.26 c 679s | 26 | 20629186 | 8193552 | 778 23158 | 16 | 34 1420.79/1421.27 c 681s | 26 | 20686422 | 8216552 | 778 23217 | 16 | 34 1422.79/1423.28 c 683s | 26 | 20743870 | 8239352 | 778 23275 | 16 | 34 1424.79/1425.29 c 685s | 26 | 20800093 | 8262152 | 778 23333 | 16 | 34 1426.78/1427.29 c 687s | 26 | 20856284 | 8285252 | 778 23392 | 16 | 34 1428.78/1429.30 c 689s | 26 | 20912450 | 8307952 | 778 23449 | 16 | 34 1430.88/1431.30 c 691s | 26 | 20968428 | 8330752 | 778 23507 | 16 | 34 1432.89/1433.31 c 693s | 26 | 21025082 | 8353552 | 778 23565 | 16 | 34 1434.89/1435.31 c 695s | 26 | 21082681 | 8376652 | 778 23624 | 16 | 34 1436.89/1437.31 c 697s | 26 | 21138751 | 8399652 | 778 23683 | 16 | 34 1438.89/1439.32 c 699s | 26 | 21193064 | 8422252 | 778 23740 | 16 | 34 1440.89/1441.33 c 701s | 26 | 21247930 | 8444952 | 778 23798 | 16 | 34 1442.90/1443.33 c 703s | 26 | 21301794 | 8467952 | 778 23857 | 16 | 34 1444.89/1445.33 c 705s | 26 | 21357366 | 8490852 | 778 23915 | 16 | 34 1446.89/1447.33 c 707s | 26 | 21413650 | 8513852 | 778 23974 | 16 | 34 1448.89/1449.34 c 709s | 26 | 21470286 | 8537252 | 778 24034 | 16 | 34 1450.89/1451.34 c 711s | 26 | 21526614 | 8560652 | 778 24093 | 16 | 34 1452.89/1453.35 c 713s | 26 | 21582210 | 8584052 | 778 24153 | 16 | 34 1454.89/1455.35 c 715s | 26 | 21636809 | 8607452 | 778 24213 | 16 | 34 1456.89/1457.36 c 717s | 26 | 21691579 | 8630852 | 778 24273 | 16 | 34 1458.89/1459.36 c 719s | 26 | 21746577 | 8654152 | 778 24333 | 16 | 34 1460.89/1461.37 c 721s | 26 | 21802300 | 8677452 | 778 24393 | 16 | 34 1462.88/1463.37 c 723s | 26 | 21863291 | 8699852 | 778 24449 | 16 | 34 1464.89/1465.38 c 725s | 26 | 21923075 | 8722352 | 778 24506 | 16 | 34 1466.88/1467.38 c 727s | 26 | 21980870 | 8744552 | 778 24563 | 16 | 34 1468.88/1469.38 c 729s | 26 | 22034669 | 8766752 | 778 24619 | 16 | 34 1470.88/1471.39 c 731s | 26 | 22091848 | 8789152 | 778 24676 | 16 | 34 1472.88/1473.39 c 733s | 26 | 22147281 | 8812452 | 778 24735 | 16 | 34 1474.88/1475.39 c 735s | 26 | 22207463 | 8835052 | 778 24792 | 16 | 34 1476.88/1477.40 c 737s | 26 | 22266118 | 8857952 | 778 24850 | 16 | 34 1478.98/1479.40 c 739s | 26 | 22324837 | 8880952 | 778 24909 | 16 | 34 1480.98/1481.40 c 741s | 26 | 22381466 | 8904052 | 778 24967 | 16 | 34 1482.98/1483.40 c 743s | 26 | 22438522 | 8927152 | 778 25026 | 16 | 34 1484.98/1485.41 c 745s | 26 | 22494852 | 8950152 | 778 25085 | 16 | 34 1486.98/1487.41 c 747s | 26 | 22552716 | 8973152 | 778 25143 | 16 | 34 1488.98/1489.41 c 749s | 26 | 22613066 | 8996352 | 778 25202 | 16 | 34 1490.98/1491.42 c 751s | 26 | 22671881 | 9019652 | 778 25261 | 16 | 34 1492.98/1493.43 c 753s | 26 | 22728600 | 9042752 | 778 25320 | 16 | 34 1494.97/1495.43 c 755s | 26 | 22785413 | 9065952 | 778 25379 | 16 | 34 1496.97/1497.44 c 757s | 26 | 22844143 | 9088952 | 778 25437 | 16 | 34 1498.98/1499.44 c 759s | 26 | 22904748 | 9111952 | 778 25496 | 16 | 34 1500.98/1501.45 c 761s | 26 | 22962050 | 9135152 | 778 25555 | 16 | 34 1502.98/1503.45 c 763s | 26 | 23019681 | 9158052 | 778 25613 | 16 | 34 1504.98/1505.45 c 765s | 26 | 23076500 | 9181352 | 778 25672 | 16 | 34 1506.98/1507.46 c 767s | 26 | 23135123 | 9204952 | 778 25732 | 16 | 34 1508.98/1509.46 c 769s | 26 | 23192087 | 9228552 | 778 25792 | 16 | 34 1510.99/1511.47 c 771s | 26 | 23252067 | 9251452 | 778 25850 | 16 | 34 1512.98/1513.47 c 773s | 26 | 23310399 | 9274652 | 778 25909 | 16 | 34 1514.98/1515.48 c 775s | 26 | 23365090 | 9297252 | 778 25967 | 16 | 34 1516.98/1517.49 c 777s | 26 | 23421225 | 9320252 | 778 26026 | 16 | 34 1518.97/1519.49 c 779s | 26 | 23477962 | 9343552 | 778 26085 | 16 | 34 1521.07/1521.50 c 781s | 26 | 23532835 | 9366552 | 778 26144 | 16 | 34 1523.08/1523.51 c 783s | 26 | 23590834 | 9389552 | 778 26202 | 16 | 34 1525.07/1525.51 c 785s | 26 | 23649105 | 9412352 | 778 26260 | 16 | 34 1527.07/1527.51 c 787s | 26 | 23707276 | 9435452 | 778 26319 | 16 | 34 1529.07/1529.52 c 789s | 26 | 23764382 | 9458752 | 778 26379 | 16 | 34 1531.07/1531.52 c 791s | 26 | 23820447 | 9481552 | 778 26437 | 16 | 34 1533.08/1533.52 c 793s | 26 | 23876675 | 9504752 | 778 26496 | 16 | 34 1535.08/1535.53 c 795s | 26 | 23933585 | 9527452 | 778 26554 | 16 | 34 1537.08/1537.54 c 797s | 26 | 23988458 | 9550252 | 778 26613 | 16 | 34 1539.08/1539.54 c 799s | 26 | 24043441 | 9573552 | 778 26672 | 16 | 34 1541.07/1541.54 c 801s | 26 | 24101223 | 9597552 | 778 26734 | 16 | 34 1543.07/1543.55 c 803s | 26 | 24156519 | 9620952 | 778 26794 | 16 | 34 1545.08/1545.55 c 805s | 26 | 24213409 | 9643452 | 778 26851 | 16 | 34 1547.07/1547.55 c 807s | 26 | 24274097 | 9665952 | 778 26908 | 16 | 34 1549.07/1549.55 c 809s | 26 | 24335416 | 9688552 | 778 26965 | 16 | 34 1551.07/1551.56 c 811s | 26 | 24397427 | 9711152 | 778 27023 | 16 | 34 1553.07/1553.56 c 813s | 26 | 24457124 | 9734052 | 778 27081 | 16 | 34 1555.08/1555.57 c 815s | 26 | 24516027 | 9756952 | 778 27139 | 16 | 34 1557.07/1557.57 c 817s | 26 | 24574827 | 9779452 | 778 27196 | 16 | 34 1559.07/1559.58 c 819s | 26 | 24633668 | 9801752 | 778 27253 | 16 | 34 1561.07/1561.58 c 821s | 26 | 24693310 | 9824352 | 778 27310 | 16 | 34 1563.07/1563.59 c 823s | 26 | 24752652 | 9847152 | 778 27368 | 16 | 34 1565.07/1565.59 c 825s | 26 | 24810060 | 9869952 | 778 27426 | 16 | 34 1567.07/1567.60 c 827s | 26 | 24868804 | 9892152 | 778 27483 | 16 | 34 1569.17/1569.61 c 829s | 26 | 24926203 | 9914652 | 778 27540 | 16 | 34 1571.17/1571.62 c 831s | 26 | 24986195 | 9937452 | 778 27597 | 16 | 34 1573.16/1573.62 c 833s | 26 | 25043174 | 9960252 | 778 27656 | 16 | 34 1575.16/1575.63 c 835s | 26 | 25103216 | 9983052 | 778 27714 | 16 | 34 1577.16/1577.63 c 837s | 26 | 25162667 | 10005452 | 778 27770 | 16 | 34 1579.17/1579.63 c 839s | 26 | 25220986 | 10028252 | 778 27828 | 16 | 34 1581.16/1581.63 c 841s | 26 | 25279135 | 10051252 | 778 27887 | 16 | 34 1583.16/1583.64 c 843s | 26 | 25337949 | 10073752 | 778 27944 | 16 | 34 1585.16/1585.64 c 845s | 26 | 25396036 | 10096652 | 778 28002 | 16 | 34 1587.16/1587.65 c 847s | 26 | 25455221 | 10119952 | 778 28062 | 16 | 34 1589.17/1589.65 c 849s | 26 | 25513029 | 10143252 | 778 28121 | 16 | 34 1591.16/1591.66 c 851s | 26 | 25574841 | 10166152 | 778 28180 | 16 | 34 1593.16/1593.66 c 853s | 26 | 25633956 | 10189152 | 778 28238 | 16 | 34 1595.16/1595.67 c 855s | 26 | 25691514 | 10212152 | 778 28297 | 16 | 34 1597.17/1597.67 c 857s | 26 | 25750474 | 10235152 | 778 28355 | 16 | 34 1599.17/1599.67 c 859s | 26 | 25808803 | 10258152 | 778 28414 | 16 | 34 1601.17/1601.68 c 861s | 26 | 25867742 | 10281052 | 778 28472 | 16 | 34 1603.17/1603.68 c 863s | 26 | 25925052 | 10303952 | 778 28531 | 16 | 34 1605.17/1605.69 c 865s | 26 | 25985280 | 10326652 | 778 28589 | 16 | 34 1607.26/1607.70 c 867s | 26 | 26042261 | 10349852 | 778 28648 | 16 | 34 1609.26/1609.70 c 869s | 26 | 26098195 | 10372752 | 778 28707 | 16 | 34 1611.26/1611.71 c 871s | 26 | 26157152 | 10395452 | 778 28765 | 16 | 34 1613.27/1613.71 c 873s | 26 | 26214209 | 10418752 | 778 28824 | 16 | 34 1615.26/1615.71 c 875s | 26 | 26271359 | 10442252 | 778 28884 | 16 | 34 1617.26/1617.72 c 877s | 26 | 26330642 | 10465552 | 778 28944 | 16 | 34 1619.26/1619.73 c 879s | 26 | 26389142 | 10488952 | 778 29004 | 16 | 34 1621.26/1621.73 c 881s | 26 | 26446563 | 10511852 | 778 29062 | 16 | 34 1623.27/1623.73 c 883s | 26 | 26505379 | 10534852 | 778 29120 | 16 | 34 1625.26/1625.73 c 885s | 26 | 26564278 | 10557752 | 778 29179 | 16 | 34 1627.26/1627.74 c 887s | 26 | 26623718 | 10580752 | 778 29237 | 16 | 34 1629.26/1629.75 c 889s | 26 | 26681403 | 10604052 | 778 29297 | 16 | 34 1631.26/1631.76 c 891s | 26 | 26739385 | 10626752 | 778 29354 | 16 | 34 1633.25/1633.76 c 893s | 26 | 26796279 | 10648952 | 778 29410 | 16 | 34 1635.26/1635.77 c 895s | 26 | 26850659 | 10671352 | 778 29468 | 16 | 34 1637.25/1637.77 c 897s | 26 | 26902785 | 10693352 | 778 29523 | 16 | 34 1639.25/1639.78 c 899s | 26 | 26957186 | 10716152 | 778 29582 | 16 | 34 1641.25/1641.78 c 902s | 26 | 27015340 | 10738452 | 778 29638 | 16 | 34 1643.25/1643.78 c 904s | 26 | 27071267 | 10761052 | 778 29696 | 16 | 34 1645.26/1645.79 c 906s | 26 | 27128080 | 10783952 | 778 29754 | 16 | 34 1647.26/1647.79 c 908s | 26 | 27182598 | 10806952 | 778 29813 | 16 | 34 1649.36/1649.80 c 910s | 26 | 27237690 | 10829852 | 778 29871 | 16 | 34 1651.36/1651.80 c 912s | 26 | 27296775 | 10852952 | 778 29930 | 16 | 34 1653.36/1653.81 c 914s | 26 | 27351359 | 10876252 | 778 29989 | 16 | 34 1655.36/1655.81 c 916s | 26 | 27408431 | 10899352 | 778 30048 | 16 | 34 1657.36/1657.82 c 918s | 26 | 27465465 | 10921952 | 778 30106 | 16 | 34 1659.36/1659.82 c 920s | 26 | 27520493 | 10943952 | 778 30162 | 16 | 34 1661.36/1661.82 c 922s | 26 | 27576077 | 10965952 | 778 30218 | 16 | 34 1663.36/1663.83 c 924s | 26 | 27634882 | 10988952 | 778 30277 | 16 | 34 1665.35/1665.83 c 926s | 26 | 27692163 | 11012052 | 778 30336 | 16 | 34 1667.35/1667.84 c 928s | 26 | 27750767 | 11035052 | 778 30394 | 16 | 34 1669.36/1669.84 c 930s | 26 | 27807380 | 11058452 | 778 30454 | 16 | 34 1671.35/1671.84 c 932s | 26 | 27864841 | 11081252 | 778 30512 | 16 | 34 1673.35/1673.85 c 934s | 26 | 27919683 | 11103952 | 778 30570 | 16 | 34 1675.35/1675.86 c 936s | 26 | 27975047 | 11127052 | 778 30629 | 16 | 34 1677.35/1677.86 c 938s | 26 | 28030138 | 11150252 | 778 30688 | 16 | 34 1679.36/1679.87 c 940s | 26 | 28084661 | 11173752 | 778 30749 | 16 | 34 1681.35/1681.87 c 942s | 26 | 28138561 | 11196352 | 778 30807 | 16 | 34 1683.35/1683.87 c 944s | 26 | 28191847 | 11218752 | 778 30864 | 16 | 34 1685.35/1685.87 c 946s | 26 | 28251060 | 11241152 | 778 30921 | 16 | 34 1687.35/1687.88 c 948s | 26 | 28310535 | 11263852 | 778 30978 | 16 | 34 1689.35/1689.88 c 950s | 26 | 28370837 | 11286752 | 778 31037 | 16 | 34 1691.35/1691.88 c 952s | 26 | 28430213 | 11309752 | 778 31095 | 16 | 34 1693.34/1693.89 c 954s | 26 | 28487629 | 11332752 | 778 31154 | 16 | 34 1695.44/1695.90 c 956s | 26 | 28544124 | 11355852 | 778 31213 | 16 | 34 1697.44/1697.90 c 958s | 26 | 28600742 | 11378252 | 778 31270 | 16 | 34 1699.05/1699.56 c 959s | 27 | 28648755 | 11396733 | 778 31317 | 16 | 34 1701.05/1701.56 c 961s | 27 | 28704052 | 11418633 | 778 31372 | 16 | 34 1703.05/1703.57 c 963s | 27 | 28762657 | 11441033 | 778 31428 | 16 | 34 1705.05/1705.57 c 965s | 27 | 28820091 | 11463233 | 778 31485 | 16 | 34 1707.05/1707.57 c 967s | 27 | 28876396 | 11485433 | 778 31541 | 16 | 34 1709.06/1709.58 c 969s | 27 | 28933091 | 11507733 | 778 31597 | 16 | 34 1711.05/1711.59 c 971s | 27 | 28988173 | 11529833 | 778 31654 | 16 | 34 1713.05/1713.59 c 973s | 27 | 29041982 | 11551933 | 778 31710 | 16 | 34 1715.15/1715.60 c 975s | 27 | 29102734 | 11574233 | 778 31766 | 16 | 34 1717.15/1717.60 c 977s | 27 | 29161045 | 11596733 | 778 31823 | 16 | 34 1719.15/1719.61 c 979s | 27 | 29220684 | 11619233 | 778 31880 | 16 | 34 1721.15/1721.61 c 981s | 27 | 29277313 | 11641733 | 778 31937 | 16 | 34 1723.15/1723.62 c 983s | 27 | 29330159 | 11664433 | 778 31995 | 16 | 34 1725.15/1725.62 c 985s | 27 | 29386613 | 11686533 | 778 32051 | 16 | 34 1727.15/1727.62 c 987s | 27 | 29442702 | 11708233 | 778 32106 | 16 | 34 1729.15/1729.63 c 989s | 27 | 29497077 | 11729833 | 778 32160 | 16 | 34 1731.14/1731.63 c 991s | 27 | 29551255 | 11751433 | 778 32215 | 16 | 34 1733.15/1733.64 c 993s | 27 | 29611222 | 11774133 | 778 32273 | 16 | 34 1735.14/1735.65 c 995s | 27 | 29668885 | 11796433 | 778 32329 | 16 | 34 1737.14/1737.65 c 997s | 27 | 29728817 | 11819033 | 778 32387 | 16 | 34 1739.14/1739.66 c 999s | 27 | 29782834 | 11841933 | 778 32445 | 16 | 34 1741.14/1741.66 c 1001s | 27 | 29838616 | 11864833 | 778 32503 | 16 | 34 1743.15/1743.67 c 1003s | 27 | 29896038 | 11887233 | 778 32560 | 16 | 34 1745.14/1745.67 c 1005s | 27 | 29950755 | 11909833 | 778 32617 | 16 | 34 1747.14/1747.68 c 1007s | 27 | 30009361 | 11932733 | 778 32676 | 16 | 34 1749.14/1749.68 c 1009s | 27 | 30065778 | 11955733 | 778 32734 | 16 | 34 1751.14/1751.68 c 1011s | 27 | 30123542 | 11978533 | 778 32792 | 16 | 34 1753.14/1753.69 c 1013s | 27 | 30181667 | 12001333 | 778 32850 | 16 | 34 1755.14/1755.69 c 1015s | 27 | 30239643 | 12024233 | 778 32908 | 16 | 34 1757.24/1757.70 c 1017s | 27 | 30298189 | 12047233 | 778 32967 | 16 | 34 1759.24/1759.70 c 1019s | 27 | 30357377 | 12069933 | 778 33025 | 16 | 34 1761.24/1761.71 c 1021s | 27 | 30413839 | 12092833 | 778 33083 | 16 | 34 1763.24/1763.72 c 1023s | 27 | 30471581 | 12115533 | 778 33141 | 16 | 34 1765.23/1765.72 c 1025s | 27 | 30527223 | 12138333 | 778 33199 | 16 | 34 1767.24/1767.72 c 1027s | 27 | 30583274 | 12161033 | 778 33257 | 16 | 34 1769.23/1769.73 c 1029s | 27 | 30639773 | 12184133 | 778 33316 | 16 | 34 1771.23/1771.73 c 1031s | 27 | 30693829 | 12207333 | 778 33375 | 16 | 34 1773.24/1773.73 c 1033s | 27 | 30750252 | 12230633 | 778 33434 | 16 | 34 1775.24/1775.74 c 1035s | 27 | 30807286 | 12253333 | 778 33492 | 16 | 34 1777.25/1777.74 c 1037s | 27 | 30862084 | 12275733 | 778 33550 | 16 | 34 1779.24/1779.74 c 1039s | 27 | 30917458 | 12297833 | 778 33606 | 16 | 34 1781.24/1781.75 c 1041s | 27 | 30973887 | 12320533 | 778 33664 | 16 | 34 1783.24/1783.75 c 1043s | 27 | 31029243 | 12343633 | 778 33723 | 16 | 34 1785.24/1785.76 c 1045s | 27 | 31085146 | 12366633 | 778 33782 | 16 | 34 1787.24/1787.76 c 1047s | 27 | 31140288 | 12389633 | 778 33841 | 16 | 34 1789.24/1789.76 c 1049s | 27 | 31194308 | 12412333 | 778 33899 | 16 | 34 1791.24/1791.77 c 1051s | 27 | 31251318 | 12434733 | 778 33956 | 16 | 34 1793.24/1793.77 c 1053s | 27 | 31312824 | 12457033 | 778 34012 | 16 | 34 1795.24/1795.78 c 1056s | 27 | 31373288 | 12479233 | 778 34068 | 16 | 34 1797.24/1797.79 c 1058s | 27 | 31434597 | 12501733 | 778 34125 | 16 | 34 1799.24/1799.79 c 1060s | 27 | 31493229 | 12524233 | 778 34182 | 16 | 34
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-4079716-1465242330/watcher-4079716-1465242330 -o /tmp/evaluation-result-4079716-1465242330/solver-4079716-1465242330 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079716-1465242330.opb pid=1023 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.28 2.25 2.19 4/179 1026 /proc/meminfo: memFree=29166576/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=461244 CPUtime=0 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 1675 0 0 0 0 0 0 0 20 0 4 0 106166176 472313856 1525 33554432000 4194304 16246674 140734257655776 140734257655200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 115823 1534 441 2943 0 112717 0 [pid=1026/tid=1027] ppid=1023 vsize=736700 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 754380800 2603 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=740796 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 758575104 2619 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106166176 763817984 2636 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100115 s] /proc/loadavg: 2.28 2.25 2.19 4/179 1026 /proc/meminfo: memFree=29166576/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 22705 0 0 0 5 3 0 0 20 0 4 0 106166176 1247350784 22542 33554432000 4194304 16246674 140734257655776 140734257655200 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 304529 22546 784 2943 0 301423 0 [pid=1026/tid=1027] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 22550 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 22557 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 22562 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200438 s] /proc/loadavg: 2.28 2.25 2.19 4/179 1026 /proc/meminfo: memFree=29166576/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 42485 0 0 0 13 6 0 0 20 0 4 0 106166176 1247350784 42323 33554432000 4194304 16246674 140734257655776 140734257655200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 304529 42336 785 2943 0 301423 0 [pid=1026/tid=1027] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 42339 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 42348 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 42354 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300436 s] /proc/loadavg: 2.28 2.25 2.19 4/179 1026 /proc/meminfo: memFree=29166576/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 62162 0 0 0 20 9 0 0 20 0 4 0 106166176 1247350784 61999 33554432000 4194304 16246674 140734257655776 140734257655200 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 304529 62014 785 2943 0 301423 0 [pid=1026/tid=1027] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 62019 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 62025 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 62031 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700351 s] /proc/loadavg: 2.28 2.25 2.19 4/179 1026 /proc/meminfo: memFree=29166576/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 144686 0 0 0 47 21 0 0 20 0 4 0 106166176 1247350784 144523 33554432000 4194304 16246674 140734257655776 140734257655200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 304529 144530 785 2943 0 301423 0 [pid=1026/tid=1027] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 144537 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 144542 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 144545 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.34 2.26 2.19 4/183 1030 /proc/meminfo: memFree=28246448/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 245596 0 0 0 115 34 0 0 20 0 4 0 106166176 1247350784 245411 33554432000 4194304 16246674 140734257655776 140734257655088 6081610 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 304529 245411 843 2943 0 301423 0 [pid=1026/tid=1027] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 245411 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 245411 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1247350784 245411 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.34 2.26 2.19 3/183 1030 /proc/meminfo: memFree=28097896/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267461 0 0 0 271 37 0 0 20 0 4 0 106166176 1337528320 267276 33554432000 4194304 16246674 140734257655776 140734257638776 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326545 267276 843 2943 0 323439 0 [pid=1026/tid=1027] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267276 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267276 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267276 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.34 2.26 2.19 3/183 1030 /proc/meminfo: memFree=28097532/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267492 0 0 0 591 38 0 0 20 0 4 0 106166176 1337528320 267307 33554432000 4194304 16246674 140734257655776 140734257638776 13963975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326545 267307 843 2943 0 323439 0 [pid=1026/tid=1027] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267307 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267307 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267307 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.37 2.27 2.19 3/183 1030 /proc/meminfo: memFree=28098184/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267500 0 0 0 1231 38 0 0 20 0 4 0 106166176 1337528320 267315 33554432000 4194304 16246674 140734257655776 140734257638776 12476863 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326545 267315 843 2943 0 323439 0 [pid=1026/tid=1027] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267315 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267315 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267315 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.31 2.26 2.19 3/183 1030 /proc/meminfo: memFree=28063964/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267502 0 0 0 2511 38 0 0 20 0 4 0 106166176 1337528320 267317 33554432000 4194304 16246674 140734257655776 140734257637696 13760162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326545 267317 844 2943 0 323439 0 [pid=1026/tid=1027] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267317 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267317 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267317 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.31 2.26 2.19 4/183 1030 /proc/meminfo: memFree=28063632/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267627 0 0 0 5069 39 0 0 20 0 4 0 106166176 1337528320 267442 33554432000 4194304 16246674 140734257655776 140734257638776 12482824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326545 267442 846 2943 0 323439 0 [pid=1026/tid=1027] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267442 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267442 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1337528320 267442 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.20 2.24 2.18 3/183 1031 /proc/meminfo: memFree=28062928/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 267673 0 0 0 10187 41 0 0 20 0 4 0 106166176 1338576896 267488 33554432000 4194304 16246674 140734257655776 140734257638776 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 326801 267488 846 2943 0 323695 0 [pid=1026/tid=1027] ppid=1023 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1338576896 267488 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1338576896 267488 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1338576896 267488 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1310276 [startup+1362.3 s] /proc/loadavg: 2.30 2.26 2.20 4/183 1088 /proc/meminfo: memFree=28038516/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1361.92 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 268982 0 0 0 136124 68 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257638776 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1310276 [startup+1422.3 s] /proc/loadavg: 2.25 2.25 2.20 3/183 1138 /proc/meminfo: memFree=28223072/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1421.89 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269017 0 0 0 142120 69 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257638776 5824532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1310276 [startup+1482.3 s] /proc/loadavg: 2.23 2.25 2.20 3/184 1143 /proc/meminfo: memFree=28138724/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1481.88 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 148118 70 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257637696 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1310276 [startup+1542.31 s] /proc/loadavg: 2.38 2.29 2.21 3/183 1144 /proc/meminfo: memFree=28138384/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1541.88 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 154116 72 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257637696 13775064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1310276 [startup+1602.3 s] /proc/loadavg: 2.27 2.28 2.21 3/183 1145 /proc/meminfo: memFree=28138060/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1601.87 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 160114 73 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257637696 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1310276 [startup+1662.3 s] /proc/loadavg: 2.17 2.26 2.21 3/183 1146 /proc/meminfo: memFree=28137932/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1661.86 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 166112 74 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257638776 5754700 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1310276 [startup+1722.3 s] /proc/loadavg: 2.31 2.28 2.22 3/183 1147 /proc/meminfo: memFree=28130648/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1721.85 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 172110 75 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257638776 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1310276 [startup+1782.3 s] /proc/loadavg: 2.30 2.27 2.21 3/183 1149 /proc/meminfo: memFree=28129812/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1781.84 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 178108 76 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257637696 12482896 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1310276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.26 2.21 3/183 1149 /proc/meminfo: memFree=28130156/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1800.04 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 179928 76 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257654952 6021954 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1310276 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 1026 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.26 2.21 3/183 1149 /proc/meminfo: memFree=28130156/32872528 swapFree=17892/1720544 [pid=1026] ppid=1023 vsize=1310276 CPUtime=1800.04 cores=0,2,4,6 /proc/1026/stat : 1026 (toysat) R 1023 1026 31655 0 -1 4202496 269018 0 0 0 179928 76 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140734257654952 6021954 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/1026/statm: 327569 268736 848 2943 0 324463 0 [pid=1026/tid=1027] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1027/stat : 1027 (toysat) S 1023 1026 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294275181808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=1026/tid=1028] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1028/stat : 1028 (toysat) S 1023 1026 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294264691952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=1026/tid=1029] ppid=1023 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/1026/task/1029/stat : 1029 (toysat) S 1023 1026 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106166176 1341722624 268736 33554432000 4194304 16246674 140734257655776 140294254218416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1310276 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.29 CPU system time (s): 0.761884 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1310276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 0.761884 maximum resident set size= 1074944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269018 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= 369 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.0569 second user time and 12.4381 second system time The end
Begin job on node117 at 2016-06-06 21:45:30 IDJOB=4079716 IDBENCH=2843 IDSOLVER=2542 FILE ID=node117/4079716-1465242330 RUNJOBID= node117-1465227498-31671 PBS_JOBID= 19843241 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_10.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079716-1465242330/watcher-4079716-1465242330 -o /tmp/evaluation-result-4079716-1465242330/solver-4079716-1465242330 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079716-1465242330.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e965a77006f54aa5fb414d88d571084c RANDOM SEED=1693935411 node117.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 : 2667.088 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 : 5334.17 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 : 2667.088 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 : 2667.088 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 : 2667.088 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 : 2667.088 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.54 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 : 2667.088 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 : 2667.088 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.53 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29166212 kB Buffers: 38564 kB Cached: 105900 kB SwapCached: 1396 kB Active: 1218412 kB Inactive: 62724 kB Active(anon): 1136984 kB Inactive(anon): 2176 kB Active(file): 81428 kB Inactive(file): 60548 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67098980 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 2857052 kB Mapped: 10804 kB Shmem: 0 kB Slab: 568432 kB SReclaimable: 12420 kB SUnreclaim: 556012 kB KernelStack: 1472 kB PageTables: 9700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3001044 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1710080 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 node117 at 2016-06-06 22:15:31