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.02 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
| MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 0.925858 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 33 |
| Optimality of the best value was proved | NO |
| Number of variables | 11321 |
| Total number of constraints | 36630 |
| Number of constraints which are clauses | 36630 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5515 |
| 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 | 5515 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5515 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:22:58+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-4079828-1465248178.opb"] 0.00/0.01 c use --random-gen="1817685872 2932848144 2957931706 2573438928 1419212720 1422902903 3322243203 4110314022 1128105659 458734928 1529242328 2864036882 3361938936 2420123591 566383868 1707207910 1507045050 2178244778 174428 3149832367 2996446504 3061907787 4226528179 1077081128 2826853661 2049190288 2304322669 823471674 2891261595 3164021442 2491819855 4259069225 893297459 3873114017 1986638716 4294745522 2265775200 291134870 1611183747 553575327 2165876786 1818549454 3914547197 911318471 3653529298 522136363 1335132380 2995993529 2558077287 1083755156 3642626963 4010018871 4101187888 851701576 735395208 3239415400 922756011 4052281857 4178323314 4074400466 1990383677 1663529150 4134762893 8578796 457341315 2058782109 3173960863 2153925003 2633740086 1124712535 119051194 3719412927 2077105690 3000099280 1000426822 2620922416 14430162 2881516991 319488104 2896368316 1630063528 2881215541 4077512370 1068340859 1080801979 1681170335 3600507079 281990516 1591139102 3444491520 4135410052 3030162861 2492890880 776409713 2882565290 3497071765 2928369870 2177660807 3382781110 215541010 2265478957 3272541732 1558751871 2094793486 2402345031 3650068625 1143455297 768794399 3310943179 3051772662 3617639198 807006155 4042850739 1586627984 121926895 193544765 1637518233 1689555337 3964278746 2423986522 965917116 700037182 1221215231 4071236691 731649777 3614838588 555026711 1039232666 3490642483 2873946097 142831100 953902976 1071547783 1955914565 2650991778 3144783699 1654276948 2129841906 978503798 3990692601 1463405304 2720571059 3900860524 3142756982 1757451293 2182557053 3871708244 4091357762 911867676 802997898 2321093074 3326785952 3757853596 862463256 3374246959 3622264429 4293557652 2541389325 4135638865 2662807202 2621685794 3044134367 3691325291 2884044376 1987469153 340779452 4066438392 1999308302 2504351431 2566800813 2312462259 95214236 2952647303 750223127 3556763141 4124379605 94964301 1121028442 530414592 800176391 949450150 287250779 2694038988 4095331625 590531192 589193992 369906106 302550337 4178476697 1778558486 2077315485 500608918 1457605664 3104823593 3612280130 1135205925 930633692 1064701769 1585218302 1341905038 406858374 201958293 3482998886 568612122 1576293358 1889496129 2775695698 847392913 1755064309 459551320 3031307760 172204421 4182974202 2164903294 2594274443 1711141434 4281442100 689795086 1216362351 450233540 4009437623 4050735141 1524685283 3564677470 1360964110 240044270 1741156537 3098579545 4220880701 2482779130 3817520967 762816170 2511657645 2347594869 1476901580 2796424319 896169250 4131897680 3789841758 2777272929 1116849630 2378203445 547436797 1682766596 455127097 24550042 2110719653 1012942012 3864900937 471403807 814365779 1356583058 1766130823 2972469585 2285687782 2624208871 255 362436" option to reproduce the execution 0.19/0.23 c #vars 11321 0.19/0.23 c #constraints 36630 0.69/0.70 c BCD2: Hardening is enabled. 0.69/0.70 c BCD2: BiasedSearch is enabled. 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 0 0.79/0.80 c 0.1s | 0 | 2485 | 0 | 15638 0 | 2074 | 4877 0.79/0.80 c #cpu_time = 0.096s 0.79/0.80 c #wall_clock_time = 0.096s 0.79/0.80 c #decision = 2485 0.79/0.80 c #random_decision = 9 0.79/0.80 c #conflict = 0 0.79/0.80 c #restart = 0 0.79/0.80 o 2487 0.79/0.86 c BCD2: updating upper bound: 5515 -> 2486 0.89/0.91 c BCD2: 0 <= obj <= 2486 0.89/0.91 c BCD2: #cores=0, #unrelaxed=5515, #relaxed=0, #hardened=0 0.89/0.91 c BCD2: #sat=1 #unsat=1 bias=1/2 0.89/0.95 c Solving starts ... 0.89/0.95 c ============================[ Search Statistics ]============================ 0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.95 c | | | | Limit GC | Var | Constra 0.89/0.95 c ============================================================================= 0.89/0.95 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.89/0.97 c 0.0s | 0 | 7 | 1 | 15638 0 | 2074 | 4877 0.89/0.97 c #cpu_time = 0.019s 0.89/0.97 c #wall_clock_time = 0.019s 0.89/0.97 c #decision = 7 0.89/0.97 c #random_decision = 0 0.89/0.97 c #conflict = 1 0.89/0.97 c #restart = 0 0.89/0.97 c BCD2: found a new core of size 3: cost of the new core is >=1 0.89/0.97 c lower bound updated to 1 0.89/0.97 c BCD2: 1 <= obj <= 2486 0.89/0.97 c BCD2: #cores=1, #unrelaxed=5512, #relaxed=3, #hardened=0 0.89/0.97 c BCD2: #sat=1 #unsat=2 bias=2/3 0.89/0.98 c Solving starts ... 0.89/0.98 c ============================[ Search Statistics ]============================ 0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.98 c | | | | Limit GC | Var | Constra 0.89/0.98 c ============================================================================= 0.89/0.98 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.89/0.99 c 0.0s | 0 | 13 | 0 | 15638 0 | 2074 | 4877 0.89/0.99 c #cpu_time = 0.014s 0.89/0.99 c #wall_clock_time = 0.014s 0.89/0.99 c #decision = 13 0.89/0.99 c #random_decision = 0 0.89/0.99 c #conflict = 0 0.89/0.99 c #restart = 0 0.89/0.99 c BCD2: found a new core of size 11: cost of the new core is >=1 0.89/0.99 c lower bound updated to 2 0.89/1.00 c BCD2: 2 <= obj <= 2486 0.89/1.00 c BCD2: #cores=2, #unrelaxed=5501, #relaxed=14, #hardened=0 0.89/1.00 c BCD2: #sat=1 #unsat=3 bias=3/4 0.89/1.00 c Solving starts ... 0.89/1.00 c ============================[ Search Statistics ]============================ 0.89/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/1.00 c | | | | Limit GC | Var | Constra 0.89/1.00 c ============================================================================= 0.89/1.00 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.99/1.01 c 0.0s | 0 | 16 | 0 | 15638 0 | 2074 | 4877 0.99/1.01 c #cpu_time = 0.015s 0.99/1.01 c #wall_clock_time = 0.015s 0.99/1.01 c #decision = 16 0.99/1.01 c #random_decision = 0 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 c BCD2: found a new core of size 8: cost of the new core is >=1 0.99/1.01 c lower bound updated to 3 0.99/1.01 c BCD2: 3 <= obj <= 2486 0.99/1.01 c BCD2: #cores=3, #unrelaxed=5493, #relaxed=22, #hardened=0 0.99/1.01 c BCD2: #sat=1 #unsat=4 bias=4/5 0.99/1.01 c Solving starts ... 0.99/1.01 c ============================[ Search Statistics ]============================ 0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.01 c | | | | Limit GC | Var | Constra 0.99/1.01 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.99/1.03 c 0.0s | 0 | 85 | 0 | 15638 0 | 2074 | 4877 0.99/1.03 c #cpu_time = 0.022s 0.99/1.03 c #wall_clock_time = 0.022s 0.99/1.03 c #decision = 85 0.99/1.03 c #random_decision = 0 0.99/1.03 c #conflict = 0 0.99/1.03 c #restart = 0 0.99/1.03 c BCD2: found a new core of size 27: cost of the new core is >=1 0.99/1.03 c lower bound updated to 4 0.99/1.04 c BCD2: 4 <= obj <= 2486 0.99/1.04 c BCD2: #cores=4, #unrelaxed=5466, #relaxed=49, #hardened=0 0.99/1.04 c BCD2: #sat=1 #unsat=5 bias=5/6 0.99/1.04 c Solving starts ... 0.99/1.04 c ============================[ Search Statistics ]============================ 0.99/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.04 c | | | | Limit GC | Var | Constra 0.99/1.04 c ============================================================================= 0.99/1.04 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.99/1.05 c 0.0s | 0 | 114 | 0 | 15638 0 | 2074 | 4877 0.99/1.05 c #cpu_time = 0.014s 0.99/1.05 c #wall_clock_time = 0.014s 0.99/1.05 c #decision = 114 0.99/1.05 c #random_decision = 0 0.99/1.05 c #conflict = 0 0.99/1.05 c #restart = 0 0.99/1.05 c BCD2: found a new core of size 36: cost of the new core is >=1 0.99/1.05 c lower bound updated to 5 0.99/1.06 c BCD2: 5 <= obj <= 2486 0.99/1.06 c BCD2: #cores=5, #unrelaxed=5430, #relaxed=85, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=6 bias=6/7 0.99/1.06 c Solving starts ... 0.99/1.06 c ============================[ Search Statistics ]============================ 0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.06 c | | | | Limit GC | Var | Constra 0.99/1.06 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.99/1.07 c 0.0s | 0 | 132 | 0 | 15638 0 | 2074 | 4877 0.99/1.07 c #cpu_time = 0.014s 0.99/1.07 c #wall_clock_time = 0.014s 0.99/1.07 c #decision = 132 0.99/1.07 c #random_decision = 0 0.99/1.07 c #conflict = 0 0.99/1.07 c #restart = 0 0.99/1.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.99/1.07 c lower bound updated to 6 0.99/1.08 c BCD2: 6 <= obj <= 2486 0.99/1.08 c BCD2: #cores=6, #unrelaxed=5428, #relaxed=87, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=7 bias=7/8 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 15638 0 | 2074 | 4877 0.99/1.09 c 0.0s | 0 | 306 | 0 | 15638 0 | 2074 | 4877 0.99/1.09 c #cpu_time = 0.015s 0.99/1.09 c #wall_clock_time = 0.015s 0.99/1.09 c #decision = 306 0.99/1.09 c #random_decision = 0 0.99/1.09 c #conflict = 0 0.99/1.09 c #restart = 0 0.99/1.09 c BCD2: relaxing 35 and merging with 1 cores into a new core of size 37: cost of the new core is >=2 0.99/1.09 c lower bound updated to 7 0.99/1.09 c BCD2: 7 <= obj <= 2486 0.99/1.09 c BCD2: #cores=6, #unrelaxed=5393, #relaxed=122, #hardened=0 0.99/1.09 c BCD2: #sat=1 #unsat=8 bias=8/9 0.99/1.09 c Solving starts ... 0.99/1.09 c ============================[ Search Statistics ]============================ 0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.09 c | | | | Limit GC | Var | Constra 0.99/1.09 c ============================================================================= 0.99/1.09 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4877 1.10/1.12 c 0.0s | 0 | 744 | 0 | 15638 0 | 2075 | 4878 1.10/1.12 c #cpu_time = 0.023s 1.10/1.12 c #wall_clock_time = 0.023s 1.10/1.12 c #decision = 744 1.10/1.12 c #random_decision = 0 1.10/1.12 c #conflict = 0 1.10/1.12 c #restart = 0 1.10/1.12 c BCD2: found a new core of size 96: cost of the new core is >=1 1.10/1.12 c lower bound updated to 8 1.10/1.12 c BCD2: 8 <= obj <= 2486 1.10/1.12 c BCD2: #cores=7, #unrelaxed=5297, #relaxed=218, #hardened=0 1.10/1.12 c BCD2: #sat=1 #unsat=9 bias=9/10 1.10/1.12 c Solving starts ... 1.10/1.12 c ============================[ Search Statistics ]============================ 1.10/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.12 c | | | | Limit GC | Var | Constra 1.10/1.12 c ============================================================================= 1.10/1.12 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.10/1.14 c 0.0s | 0 | 956 | 0 | 15638 0 | 2075 | 4878 1.10/1.14 c #cpu_time = 0.016s 1.10/1.14 c #wall_clock_time = 0.016s 1.10/1.14 c #decision = 956 1.10/1.14 c #random_decision = 0 1.10/1.14 c #conflict = 0 1.10/1.14 c #restart = 0 1.10/1.14 c BCD2: found a new core of size 27: cost of the new core is >=1 1.10/1.14 c lower bound updated to 9 1.10/1.14 c BCD2: 9 <= obj <= 2486 1.10/1.14 c BCD2: #cores=8, #unrelaxed=5270, #relaxed=245, #hardened=0 1.10/1.14 c BCD2: #sat=1 #unsat=10 bias=10/11 1.10/1.14 c Solving starts ... 1.10/1.14 c ============================[ Search Statistics ]============================ 1.10/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.14 c | | | | Limit GC | Var | Constra 1.10/1.14 c ============================================================================= 1.10/1.14 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.10/1.16 c 0.0s | 0 | 998 | 0 | 15638 0 | 2075 | 4878 1.10/1.16 c #cpu_time = 0.016s 1.10/1.16 c #wall_clock_time = 0.016s 1.10/1.16 c #decision = 998 1.10/1.16 c #random_decision = 0 1.10/1.16 c #conflict = 0 1.10/1.16 c #restart = 0 1.10/1.16 c BCD2: found a new core of size 27: cost of the new core is >=1 1.10/1.16 c lower bound updated to 10 1.10/1.16 c BCD2: 10 <= obj <= 2486 1.10/1.16 c BCD2: #cores=9, #unrelaxed=5243, #relaxed=272, #hardened=0 1.10/1.16 c BCD2: #sat=1 #unsat=11 bias=11/12 1.10/1.16 c Solving starts ... 1.10/1.16 c ============================[ Search Statistics ]============================ 1.10/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.16 c | | | | Limit GC | Var | Constra 1.10/1.16 c ============================================================================= 1.10/1.16 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.10/1.18 c 0.0s | 0 | 1143 | 0 | 15638 0 | 2075 | 4878 1.10/1.18 c #cpu_time = 0.016s 1.10/1.18 c #wall_clock_time = 0.016s 1.10/1.18 c #decision = 1143 1.10/1.18 c #random_decision = 0 1.10/1.18 c #conflict = 0 1.10/1.18 c #restart = 0 1.10/1.18 c BCD2: found a new core of size 10: cost of the new core is >=1 1.10/1.18 c lower bound updated to 11 1.10/1.18 c BCD2: 11 <= obj <= 2486 1.10/1.18 c BCD2: #cores=10, #unrelaxed=5233, #relaxed=282, #hardened=0 1.10/1.18 c BCD2: #sat=1 #unsat=12 bias=12/13 1.10/1.18 c Solving starts ... 1.10/1.18 c ============================[ Search Statistics ]============================ 1.10/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.18 c | | | | Limit GC | Var | Constra 1.10/1.18 c ============================================================================= 1.10/1.18 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.20/1.21 c 0.0s | 0 | 1574 | 0 | 15638 0 | 2075 | 4878 1.20/1.21 c #cpu_time = 0.025s 1.20/1.21 c #wall_clock_time = 0.025s 1.20/1.21 c #decision = 1574 1.20/1.21 c #random_decision = 0 1.20/1.21 c #conflict = 0 1.20/1.21 c #restart = 0 1.20/1.21 c BCD2: found a new core of size 60: cost of the new core is >=1 1.20/1.21 c lower bound updated to 12 1.20/1.21 c BCD2: 12 <= obj <= 2486 1.20/1.21 c BCD2: #cores=11, #unrelaxed=5173, #relaxed=342, #hardened=0 1.20/1.21 c BCD2: #sat=1 #unsat=13 bias=13/14 1.20/1.21 c Solving starts ... 1.20/1.21 c ============================[ Search Statistics ]============================ 1.20/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.21 c | | | | Limit GC | Var | Constra 1.20/1.21 c ============================================================================= 1.20/1.21 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.20/1.23 c 0.0s | 0 | 1711 | 0 | 15638 0 | 2075 | 4878 1.20/1.23 c #cpu_time = 0.017s 1.20/1.23 c #wall_clock_time = 0.017s 1.20/1.23 c #decision = 1711 1.20/1.23 c #random_decision = 0 1.20/1.23 c #conflict = 0 1.20/1.23 c #restart = 0 1.20/1.23 c BCD2: found a new core of size 54: cost of the new core is >=1 1.20/1.23 c lower bound updated to 13 1.20/1.24 c BCD2: 13 <= obj <= 2486 1.20/1.24 c BCD2: #cores=12, #unrelaxed=5119, #relaxed=396, #hardened=0 1.20/1.24 c BCD2: #sat=1 #unsat=14 bias=14/15 1.20/1.24 c Solving starts ... 1.20/1.24 c ============================[ Search Statistics ]============================ 1.20/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.24 c | | | | Limit GC | Var | Constra 1.20/1.24 c ============================================================================= 1.20/1.24 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.20/1.25 c 0.0s | 0 | 1858 | 0 | 15638 0 | 2075 | 4878 1.20/1.25 c #cpu_time = 0.017s 1.20/1.25 c #wall_clock_time = 0.017s 1.20/1.25 c #decision = 1858 1.20/1.25 c #random_decision = 0 1.20/1.25 c #conflict = 0 1.20/1.25 c #restart = 0 1.20/1.25 c BCD2: found a new core of size 33: cost of the new core is >=1 1.20/1.25 c lower bound updated to 14 1.20/1.26 c BCD2: 14 <= obj <= 2486 1.20/1.26 c BCD2: #cores=13, #unrelaxed=5086, #relaxed=429, #hardened=0 1.20/1.26 c BCD2: #sat=1 #unsat=15 bias=15/16 1.20/1.26 c Solving starts ... 1.20/1.26 c ============================[ Search Statistics ]============================ 1.20/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.26 c | | | | Limit GC | Var | Constra 1.20/1.26 c ============================================================================= 1.20/1.26 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.20/1.28 c 0.0s | 0 | 1850 | 0 | 15638 0 | 2075 | 4878 1.20/1.28 c #cpu_time = 0.017s 1.20/1.28 c #wall_clock_time = 0.017s 1.20/1.28 c #decision = 1850 1.20/1.28 c #random_decision = 0 1.20/1.28 c #conflict = 0 1.20/1.28 c #restart = 0 1.20/1.28 c BCD2: found a new core of size 42: cost of the new core is >=1 1.20/1.28 c lower bound updated to 15 1.20/1.28 c BCD2: 15 <= obj <= 2486 1.20/1.28 c BCD2: #cores=14, #unrelaxed=5044, #relaxed=471, #hardened=0 1.20/1.28 c BCD2: #sat=1 #unsat=16 bias=16/17 1.20/1.28 c Solving starts ... 1.20/1.28 c ============================[ Search Statistics ]============================ 1.20/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.28 c | | | | Limit GC | Var | Constra 1.20/1.28 c ============================================================================= 1.20/1.28 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.29/1.30 c 0.0s | 0 | 1914 | 0 | 15638 0 | 2075 | 4878 1.29/1.30 c #cpu_time = 0.024s 1.29/1.30 c #wall_clock_time = 0.024s 1.29/1.30 c #decision = 1914 1.29/1.30 c #random_decision = 0 1.29/1.30 c #conflict = 0 1.29/1.30 c #restart = 0 1.29/1.30 c BCD2: found a new core of size 31: cost of the new core is >=1 1.29/1.31 c lower bound updated to 16 1.29/1.31 c BCD2: 16 <= obj <= 2486 1.29/1.31 c BCD2: #cores=15, #unrelaxed=5013, #relaxed=502, #hardened=0 1.29/1.31 c BCD2: #sat=1 #unsat=17 bias=17/18 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.29/1.33 c 0.0s | 0 | 3241 | 0 | 15638 0 | 2075 | 4878 1.29/1.33 c #cpu_time = 0.022s 1.29/1.33 c #wall_clock_time = 0.022s 1.29/1.33 c #decision = 3241 1.29/1.33 c #random_decision = 0 1.29/1.33 c #conflict = 0 1.29/1.33 c #restart = 0 1.29/1.33 c BCD2: found a new core of size 104: cost of the new core is >=1 1.29/1.33 c lower bound updated to 17 1.29/1.34 c BCD2: 17 <= obj <= 2486 1.29/1.34 c BCD2: #cores=16, #unrelaxed=4909, #relaxed=606, #hardened=0 1.29/1.34 c BCD2: #sat=1 #unsat=18 bias=18/19 1.29/1.34 c Solving starts ... 1.29/1.34 c ============================[ Search Statistics ]============================ 1.29/1.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.34 c | | | | Limit GC | Var | Constra 1.29/1.34 c ============================================================================= 1.29/1.34 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.29/1.36 c 0.0s | 0 | 3456 | 0 | 15638 0 | 2075 | 4878 1.29/1.36 c #cpu_time = 0.020s 1.29/1.36 c #wall_clock_time = 0.020s 1.29/1.36 c #decision = 3456 1.29/1.36 c #random_decision = 0 1.29/1.36 c #conflict = 0 1.29/1.36 c #restart = 0 1.29/1.36 c BCD2: found a new core of size 48: cost of the new core is >=1 1.29/1.36 c lower bound updated to 18 1.29/1.37 c BCD2: 18 <= obj <= 2486 1.29/1.37 c BCD2: #cores=17, #unrelaxed=4861, #relaxed=654, #hardened=0 1.29/1.37 c BCD2: #sat=1 #unsat=19 bias=19/20 1.29/1.37 c Solving starts ... 1.29/1.37 c ============================[ Search Statistics ]============================ 1.29/1.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.37 c | | | | Limit GC | Var | Constra 1.29/1.37 c ============================================================================= 1.29/1.37 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.29/1.39 c 0.0s | 0 | 3449 | 0 | 15638 0 | 2075 | 4878 1.29/1.39 c #cpu_time = 0.020s 1.29/1.39 c #wall_clock_time = 0.020s 1.29/1.39 c #decision = 3449 1.29/1.39 c #random_decision = 0 1.29/1.39 c #conflict = 0 1.29/1.39 c #restart = 0 1.29/1.39 c BCD2: found a new core of size 31: cost of the new core is >=1 1.29/1.39 c lower bound updated to 19 1.29/1.39 c BCD2: 19 <= obj <= 2486 1.29/1.39 c BCD2: #cores=18, #unrelaxed=4830, #relaxed=685, #hardened=0 1.29/1.39 c BCD2: #sat=1 #unsat=20 bias=20/21 1.29/1.39 c Solving starts ... 1.29/1.39 c ============================[ Search Statistics ]============================ 1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.39 c | | | | Limit GC | Var | Constra 1.29/1.39 c ============================================================================= 1.29/1.39 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.39/1.42 c 0.0s | 0 | 3544 | 0 | 15638 0 | 2075 | 4878 1.39/1.42 c #cpu_time = 0.020s 1.39/1.42 c #wall_clock_time = 0.020s 1.39/1.42 c #decision = 3544 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 0 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: found a new core of size 31: cost of the new core is >=1 1.39/1.42 c lower bound updated to 20 1.39/1.42 c BCD2: 20 <= obj <= 2486 1.39/1.42 c BCD2: #cores=19, #unrelaxed=4799, #relaxed=716, #hardened=0 1.39/1.42 c BCD2: #sat=1 #unsat=21 bias=21/22 1.39/1.42 c Solving starts ... 1.39/1.42 c ============================[ Search Statistics ]============================ 1.39/1.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.42 c | | | | Limit GC | Var | Constra 1.39/1.42 c ============================================================================= 1.39/1.42 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.39/1.44 c 0.0s | 0 | 3780 | 0 | 15638 0 | 2075 | 4878 1.39/1.44 c #cpu_time = 0.022s 1.39/1.44 c #wall_clock_time = 0.022s 1.39/1.44 c #decision = 3780 1.39/1.44 c #random_decision = 0 1.39/1.44 c #conflict = 0 1.39/1.44 c #restart = 0 1.39/1.44 c BCD2: found a new core of size 68: cost of the new core is >=1 1.39/1.44 c lower bound updated to 21 1.39/1.45 c BCD2: 21 <= obj <= 2486 1.39/1.45 c BCD2: #cores=20, #unrelaxed=4731, #relaxed=784, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=22 bias=22/23 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4878 1.39/1.49 c 0.0s | 0 | 4387 | 0 | 15638 0 | 2075 | 4878 1.39/1.49 c #cpu_time = 0.028s 1.39/1.49 c #wall_clock_time = 0.028s 1.39/1.49 c #decision = 4387 1.39/1.49 c #random_decision = 1 1.39/1.49 c #conflict = 0 1.39/1.49 c #restart = 0 1.39/1.49 o 47 1.39/1.49 c BCD2: updating upper bound: 2486 -> 46 1.49/1.51 c BCD2: 21 <= obj <= 46 1.49/1.51 c BCD2: #cores=20, #unrelaxed=4731, #relaxed=784, #hardened=0 1.49/1.51 c BCD2: #sat=2 #unsat=22 bias=22/24 1.49/1.51 c Solving starts ... 1.49/1.51 c ============================[ Search Statistics ]============================ 1.49/1.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.51 c | | | | Limit GC | Var | Constra 1.49/1.51 c ============================================================================= 1.49/1.52 c 0.0s | 0 | 0 | 0 | 15638 0 | 2075 | 4879 1.59/1.67 c 0.2s | 1 | 26475 | 100 | 17202 0 | 2075 | 4879 1.79/1.80 c 0.3s | 2 | 34735 | 250 | 17202 0 | 2075 | 4879 1.99/2.01 c 0.5s | 3 | 39637 | 475 | 18923 0 | 2075 | 4879 2.30/2.36 c 0.8s | 3 | 56125 | 739 | 20816 0 | 2075 | 4879 2.30/2.36 c #cpu_time = 0.834s 2.30/2.36 c #wall_clock_time = 0.834s 2.30/2.36 c #decision = 56125 2.30/2.36 c #random_decision = 6 2.30/2.36 c #conflict = 739 2.30/2.36 c #restart = 3 2.30/2.36 o 34 2.30/2.37 c BCD2: updating upper bound: 46 -> 33 2.30/2.39 c BCD2: 21 <= obj <= 33 2.30/2.39 c BCD2: #cores=20, #unrelaxed=4731, #relaxed=784, #hardened=0 2.30/2.39 c BCD2: #sat=3 #unsat=22 bias=22/25 2.30/2.39 c Solving starts ... 2.30/2.39 c ============================[ Search Statistics ]============================ 2.30/2.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.39 c | | | | Limit GC | Var | Constra 2.30/2.39 c ============================================================================= 2.30/2.39 c 0.0s | 0 | 0 | 0 | 20816 0 | 2075 | 4880 2.39/2.44 c 0.1s | 0 | 8179 | 14 | 20816 0 | 2075 | 4880 2.39/2.44 c #cpu_time = 0.052s 2.39/2.44 c #wall_clock_time = 0.052s 2.39/2.44 c #decision = 8179 2.39/2.44 c #random_decision = 0 2.39/2.44 c #conflict = 14 2.39/2.44 c #restart = 0 2.39/2.44 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 20: cost of the new core is >=3 2.39/2.44 c lower bound updated to 22 2.39/2.45 c BCD2: 22 <= obj <= 33 2.39/2.45 c BCD2: #cores=19, #unrelaxed=4725, #relaxed=790, #hardened=0 2.39/2.45 c BCD2: #sat=3 #unsat=23 bias=23/26 2.39/2.45 c Solving starts ... 2.39/2.45 c ============================[ Search Statistics ]============================ 2.39/2.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.45 c | | | | Limit GC | Var | Constra 2.39/2.45 c ============================================================================= 2.39/2.45 c 0.0s | 0 | 0 | 0 | 20816 0 | 2082 | 4880 2.49/2.55 c 0.1s | 1 | 12948 | 100 | 22898 0 | 2082 | 4892 2.59/2.60 c 0.2s | 1 | 20314 | 108 | 22898 0 | 2082 | 4892 2.59/2.60 c #cpu_time = 0.153s 2.59/2.60 c #wall_clock_time = 0.153s 2.59/2.60 c #decision = 20314 2.59/2.60 c #random_decision = 0 2.59/2.60 c #conflict = 108 2.59/2.60 c #restart = 1 2.59/2.60 c BCD2: relaxing 81 and merging with 5 cores into a new core of size 199: cost of the new core is >=8 2.59/2.60 c lower bound updated to 23 2.59/2.60 c BCD2: 23 <= obj <= 33 2.59/2.60 c BCD2: #cores=15, #unrelaxed=4644, #relaxed=871, #hardened=0 2.59/2.60 c BCD2: #sat=3 #unsat=24 bias=24/27 2.59/2.60 c Solving starts ... 2.59/2.60 c ============================[ Search Statistics ]============================ 2.59/2.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.60 c | | | | Limit GC | Var | Constra 2.59/2.60 c ============================================================================= 2.59/2.60 c 0.0s | 0 | 0 | 0 | 22898 0 | 2102 | 4892 2.69/2.70 c 0.1s | 1 | 3985 | 100 | 22898 0 | 2102 | 4927 2.79/2.86 c 0.3s | 2 | 8211 | 250 | 22898 0 | 2102 | 4927 2.99/3.03 c 0.4s | 3 | 12486 | 475 | 25188 0 | 2102 | 4927 3.19/3.23 c 0.6s | 4 | 17163 | 813 | 25188 0 | 2102 | 4927 3.40/3.49 c 0.9s | 5 | 23994 | 1320 | 27707 0 | 2102 | 4927 3.79/3.86 c 1.3s | 6 | 30710 | 2081 | 27707 0 | 2102 | 4927 4.29/4.32 c 1.7s | 7 | 38156 | 3223 | 30478 0 | 2102 | 4927 5.29/5.33 c 2.7s | 8 | 48470 | 4936 | 33526 0 | 2102 | 4927 6.99/7.03 c 4.4s | 9 | 63295 | 7506 | 36879 0 | 2102 | 4927 8.99/9.05 c 6.5s | 9 | 77162 | 10506 | 40567 0 | 2102 | 4927 9.49/9.60 c 7.0s | 10 | 79833 | 11361 | 40567 0 | 2102 | 4927 11.59/11.64 c 9.0s | 10 | 91426 | 13361 | 40567 0 | 2102 | 4927 13.58/13.65 c 11.0s | 10 | 101022 | 16061 | 40567 0 | 2102 | 4927 14.39/14.50 c 11.9s | 11 | 105290 | 17144 | 44624 0 | 2102 | 4927 16.49/16.57 c 14.0s | 11 | 118839 | 19744 | 44624 0 | 2102 | 4927 18.49/18.59 c 16.0s | 11 | 127386 | 22244 | 44624 0 | 2102 | 4927 20.59/20.62 c 18.0s | 11 | 136145 | 24944 | 49087 0 | 2102 | 4927 21.29/21.31 c 18.7s | 12 | 139361 | 25819 | 49087 0 | 2102 | 4927 23.29/23.34 c 20.7s | 12 | 152285 | 28219 | 49087 0 | 2102 | 4927 25.40/25.41 c 22.8s | 12 | 161374 | 30819 | 49087 0 | 2102 | 4927 27.39/27.47 c 24.9s | 12 | 170504 | 33619 | 49087 0 | 2102 | 4927 29.49/29.54 c 26.9s | 12 | 179004 | 35819 | 49087 0 | 2102 | 4927 31.49/31.55 c 28.9s | 12 | 187308 | 38119 | 53996 0 | 2102 | 4927 32.19/32.23 c 29.6s | 13 | 190174 | 38832 | 53996 0 | 2102 | 4927 34.19/34.27 c 31.7s | 13 | 200595 | 40732 | 53996 0 | 2102 | 4927 36.18/36.27 c 33.7s | 13 | 209839 | 42432 | 53996 0 | 2103 | 5884 38.18/38.29 c 35.7s | 13 | 216762 | 44132 | 53996 0 | 2103 | 5884 40.28/40.34 c 37.7s | 13 | 222619 | 45832 | 53996 0 | 2103 | 5884 42.29/42.37 c 39.8s | 13 | 227760 | 47332 | 53996 0 | 2103 | 5884 44.39/44.46 c 41.9s | 13 | 234324 | 49132 | 53996 0 | 2103 | 5884 46.39/46.48 c 43.9s | 13 | 239368 | 50432 | 53996 0 | 2103 | 5884 48.49/48.52 c 45.9s | 13 | 246696 | 52432 | 53996 0 | 2103 | 5884 50.49/50.56 c 48.0s | 13 | 253741 | 54132 | 53996 0 | 2103 | 5884 52.58/52.64 c 50.0s | 13 | 260040 | 55832 | 53996 0 | 2103 | 5884 54.78/54.85 c 52.2s | 13 | 266151 | 57532 | 59396 0 | 2103 | 5884 56.48/56.53 c 53.9s | 14 | 268742 | 58352 | 59396 0 | 2103 | 5884 58.58/58.62 c 56.0s | 14 | 277650 | 59852 | 59396 0 | 2103 | 5884 60.59/60.69 c 58.1s | 14 | 281959 | 61252 | 59396 0 | 2103 | 5884 62.69/62.74 c 60.1s | 14 | 286191 | 62652 | 59396 0 | 2103 | 5884 64.68/64.80 c 62.2s | 14 | 289798 | 63852 | 59396 0 | 2103 | 5884 66.78/66.89 c 64.3s | 14 | 294944 | 65452 | 59396 0 | 2103 | 5884 68.88/68.97 c 66.4s | 14 | 298860 | 66952 | 59396 0 | 2103 | 5884 70.98/71.03 c 68.4s | 14 | 303381 | 68452 | 59396 0 | 2103 | 5884 73.07/73.17 c 70.6s | 14 | 305362 | 69152 | 59396 1 | 2103 | 5884 75.07/75.19 c 72.6s | 14 | 309686 | 70452 | 59396 1 | 2103 | 5884 77.37/77.49 c 74.9s | 14 | 311043 | 70952 | 59396 1 | 2103 | 5884 79.47/79.55 c 76.9s | 14 | 316104 | 72752 | 59396 1 | 2103 | 5884 81.67/81.77 c 79.2s | 14 | 319364 | 73752 | 59396 1 | 2103 | 5884 83.78/83.81 c 81.2s | 14 | 323662 | 75252 | 59396 1 | 2103 | 5884 85.79/85.84 c 83.2s | 14 | 327958 | 76652 | 59396 1 | 2103 | 5884 90.57/90.69 c 88.1s | 14 | 329084 | 77052 | 59396 1 | 2103 | 5884 92.67/92.73 c 90.1s | 14 | 334371 | 78452 | 59396 1 | 2103 | 5884 94.77/94.82 c 92.2s | 14 | 341188 | 80152 | 59396 1 | 2103 | 5884 96.78/96.83 c 94.2s | 14 | 347786 | 81952 | 59396 1 | 2103 | 5884 98.86/98.90 c 96.3s | 14 | 353262 | 83652 | 59396 1 | 2103 | 5884 100.96/101.07 c 98.5s | 14 | 358964 | 85352 | 59396 1 | 2103 | 5884 103.06/103.16 c 100s | 14 | 365557 | 87052 | 65336 1 | 2103 | 5884 103.76/103.84 c 101s | 15 | 367760 | 87632 | 65336 1 | 2103 | 5884 105.86/105.95 c 103s | 15 | 377045 | 89232 | 65336 1 | 2103 | 5884 107.87/107.96 c 105s | 15 | 383683 | 90932 | 65336 1 | 2103 | 5884 109.97/110.04 c 107s | 15 | 390336 | 92732 | 65336 1 | 2103 | 5884 112.06/112.11 c 109s | 15 | 396229 | 94332 | 65336 1 | 2103 | 5884 114.06/114.13 c 111s | 15 | 403412 | 96232 | 65336 1 | 2103 | 5884 116.06/116.16 c 113s | 15 | 410327 | 98032 | 65336 1 | 2103 | 5884 118.26/118.35 c 115s | 15 | 416207 | 99632 | 65336 1 | 2103 | 5884 120.26/120.39 c 117s | 15 | 421652 | 101332 | 65336 1 | 2103 | 5884 122.36/122.43 c 119s | 15 | 427675 | 103032 | 65336 1 | 2103 | 5884 124.46/124.58 c 121s | 15 | 433917 | 104632 | 65336 1 | 2103 | 5884 126.56/126.67 c 124s | 15 | 439709 | 106132 | 65336 1 | 2103 | 5884 128.67/128.75 c 126s | 15 | 446417 | 107932 | 65336 1 | 2103 | 5884 130.87/130.98 c 128s | 15 | 451724 | 109332 | 65336 2 | 2103 | 5884 132.96/133.04 c 130s | 15 | 457329 | 111032 | 65336 2 | 2103 | 5884 135.06/135.11 c 132s | 15 | 461809 | 112232 | 65336 2 | 2103 | 5884 137.06/137.16 c 134s | 15 | 470027 | 114432 | 65336 2 | 2103 | 5884 139.16/139.24 c 136s | 15 | 477386 | 116232 | 65336 2 | 2103 | 5884 141.26/141.31 c 138s | 15 | 484960 | 118132 | 65336 2 | 2103 | 5884 143.25/143.35 c 140s | 15 | 491435 | 119932 | 65336 2 | 2103 | 5884 145.35/145.43 c 142s | 15 | 498864 | 121732 | 65336 2 | 2103 | 5884 147.46/147.52 c 144s | 15 | 506023 | 123632 | 65336 2 | 2103 | 5884 149.56/149.61 c 147s | 15 | 513115 | 125332 | 65336 2 | 2103 | 5884 151.66/151.71 c 149s | 15 | 519199 | 127032 | 65336 2 | 2103 | 5884 153.66/153.74 c 151s | 15 | 524746 | 128632 | 65336 2 | 2103 | 5884 155.66/155.75 c 153s | 15 | 529363 | 130032 | 71870 2 | 2103 | 5884 157.76/157.84 c 155s | 15 | 533853 | 131232 | 71870 2 | 2103 | 5884 158.26/158.37 c 155s | 16 | 534844 | 131552 | 71870 2 | 2103 | 5884 173.15/173.21 c 170s | 16 | 540947 | 132252 | 71870 2 | 2103 | 5884 175.15/175.28 c 172s | 16 | 546994 | 133852 | 71870 2 | 2103 | 5884 177.15/177.28 c 174s | 16 | 552897 | 135152 | 71870 2 | 2103 | 5884 179.25/179.35 c 176s | 16 | 557821 | 136352 | 71870 2 | 2103 | 5884 181.35/181.40 c 178s | 16 | 562760 | 137652 | 71870 2 | 2103 | 5884 183.45/183.52 c 180s | 16 | 566351 | 138852 | 71870 2 | 2103 | 5884 185.45/185.59 c 182s | 16 | 571618 | 140152 | 71870 2 | 2103 | 5884 187.54/187.67 c 185s | 16 | 576399 | 141452 | 71870 2 | 2103 | 5884 189.54/189.68 c 187s | 16 | 580507 | 142652 | 71870 2 | 2103 | 5884 191.74/191.83 c 189s | 16 | 584051 | 143752 | 71870 2 | 2103 | 5884 193.74/193.86 c 191s | 16 | 588256 | 144952 | 71870 2 | 2103 | 5884 195.94/196.05 c 193s | 16 | 592111 | 146152 | 71870 2 | 2103 | 5884 198.14/198.22 c 195s | 16 | 595467 | 147052 | 71870 2 | 2103 | 5884 200.25/200.33 c 197s | 16 | 598861 | 148052 | 71870 2 | 2103 | 5884 202.35/202.50 c 199s | 16 | 601755 | 148952 | 71870 2 | 2103 | 5884 204.44/204.58 c 201s | 16 | 605277 | 149752 | 71870 2 | 2103 | 5884 206.53/206.64 c 204s | 16 | 610286 | 151252 | 71870 2 | 2103 | 5884 208.64/208.76 c 206s | 16 | 615224 | 152552 | 71870 2 | 2103 | 5884 211.83/211.98 c 209s | 16 | 618721 | 153552 | 71870 3 | 2103 | 5884 215.64/215.76 c 213s | 16 | 621809 | 154352 | 71870 3 | 2103 | 5884 217.64/217.78 c 215s | 16 | 623471 | 154752 | 71870 3 | 2103 | 5884 219.74/219.83 c 217s | 16 | 628955 | 156252 | 71870 3 | 2103 | 5884 221.84/221.98 c 219s | 16 | 636291 | 158452 | 71870 3 | 2103 | 5884 223.93/224.04 c 221s | 16 | 645368 | 160752 | 71870 3 | 2103 | 5884 225.93/226.07 c 223s | 16 | 652979 | 162752 | 71870 3 | 2103 | 5884 228.03/228.10 c 225s | 16 | 660295 | 164652 | 71870 3 | 2103 | 5884 230.03/230.11 c 227s | 16 | 666697 | 166552 | 71870 3 | 2103 | 5884 232.04/232.11 c 229s | 16 | 672153 | 168152 | 71870 3 | 2103 | 5884 234.03/234.17 c 231s | 16 | 678126 | 169752 | 71870 3 | 2103 | 5884 236.13/236.20 c 233s | 16 | 684624 | 171452 | 71870 3 | 2103 | 5884 244.83/244.99 c 242s | 16 | 688599 | 172452 | 71870 3 | 2103 | 5884 246.93/247.02 c 244s | 16 | 695453 | 174252 | 71870 3 | 2103 | 5884 249.03/249.15 c 246s | 16 | 702818 | 175952 | 71870 3 | 2103 | 5884 251.02/251.15 c 248s | 16 | 709279 | 177552 | 71870 3 | 2103 | 5884 253.03/253.17 c 250s | 16 | 714751 | 178952 | 71870 3 | 2103 | 5884 255.23/255.33 c 252s | 16 | 721268 | 180652 | 71870 3 | 2103 | 5884 257.23/257.35 c 254s | 16 | 726594 | 182052 | 71870 3 | 2103 | 5884 259.33/259.46 c 256s | 16 | 732010 | 183552 | 71870 3 | 2103 | 5884 261.43/261.54 c 258s | 16 | 737768 | 184952 | 71870 3 | 2103 | 5884 263.53/263.61 c 261s | 16 | 742594 | 186352 | 71870 3 | 2103 | 5884 265.53/265.67 c 263s | 16 | 747786 | 187852 | 71870 3 | 2103 | 5884 267.52/267.68 c 265s | 16 | 751862 | 189252 | 71870 3 | 2103 | 5884 269.73/269.80 c 267s | 16 | 756448 | 190652 | 71870 3 | 2103 | 5884 271.73/271.83 c 269s | 16 | 761733 | 192052 | 71870 3 | 2103 | 5884 273.73/273.87 c 271s | 16 | 767067 | 193552 | 71870 3 | 2103 | 5884 276.52/276.69 c 274s | 16 | 770419 | 194652 | 71870 4 | 2103 | 5884 278.62/278.72 c 276s | 16 | 773646 | 195652 | 79057 4 | 2103 | 5884 280.32/280.50 c 277s | 17 | 779566 | 197432 | 79057 4 | 2103 | 5884 297.22/297.36 c 294s | 17 | 785944 | 198232 | 79057 4 | 2103 | 5884 299.32/299.45 c 296s | 17 | 795576 | 200832 | 79057 4 | 2103 | 5884 301.42/301.59 c 298s | 17 | 802567 | 203232 | 79057 4 | 2103 | 5884 303.42/303.60 c 300s | 17 | 807002 | 204532 | 79057 4 | 2103 | 5884 305.52/305.65 c 303s | 17 | 814854 | 206732 | 79057 4 | 2103 | 5884 307.61/307.74 c 305s | 17 | 820685 | 208432 | 79057 4 | 2103 | 5884 309.61/309.76 c 307s | 17 | 827974 | 210332 | 79057 4 | 2103 | 5884 311.61/311.78 c 309s | 17 | 834063 | 212132 | 79057 4 | 2103 | 5884 313.71/313.88 c 311s | 17 | 836109 | 212832 | 79057 4 | 2103 | 5884 315.72/315.89 c 313s | 17 | 841475 | 214332 | 79057 4 | 2103 | 5884 317.81/317.95 c 315s | 17 | 847197 | 216032 | 79057 4 | 2103 | 5884 319.80/319.96 c 317s | 17 | 853130 | 217932 | 79057 4 | 2103 | 5884 321.90/322.04 c 319s | 17 | 859296 | 219632 | 79057 4 | 2103 | 5884 323.90/324.09 c 321s | 17 | 865052 | 221432 | 79057 4 | 2103 | 5884 326.00/326.11 c 323s | 17 | 871051 | 223132 | 79057 4 | 2103 | 5884 328.11/328.25 c 325s | 17 | 876215 | 224732 | 79057 4 | 2103 | 5884 330.21/330.34 c 327s | 17 | 881775 | 226332 | 79057 4 | 2103 | 5884 332.31/332.43 c 329s | 17 | 887494 | 228132 | 79057 4 | 2103 | 5884 334.32/334.49 c 331s | 17 | 890920 | 229232 | 79057 4 | 2103 | 5884 336.41/336.60 c 333s | 17 | 896912 | 230932 | 79057 4 | 2103 | 5884 338.51/338.69 c 336s | 17 | 902582 | 232732 | 79057 4 | 2103 | 5884 340.71/340.85 c 338s | 17 | 906695 | 233932 | 79057 4 | 2103 | 5884 342.71/342.85 c 340s | 17 | 911298 | 235432 | 79057 4 | 2103 | 5884 344.81/344.91 c 342s | 17 | 916536 | 236932 | 79057 4 | 2103 | 5884 346.81/346.93 c 344s | 17 | 922041 | 238532 | 79057 4 | 2103 | 5884 348.80/348.96 c 346s | 17 | 927445 | 239832 | 79057 4 | 2103 | 5884 350.91/351.07 c 348s | 17 | 931393 | 241032 | 79057 4 | 2103 | 5884 357.19/357.37 c 354s | 17 | 934292 | 242132 | 79057 5 | 2103 | 5884 360.60/360.71 c 358s | 17 | 934766 | 242232 | 79057 5 | 2103 | 5884 362.70/362.84 c 360s | 17 | 940463 | 243932 | 79057 5 | 2103 | 5884 364.69/364.84 c 362s | 17 | 947131 | 245732 | 79057 5 | 2103 | 5884 366.79/366.94 c 364s | 17 | 953202 | 247332 | 79057 5 | 2103 | 5884 368.89/369.03 c 366s | 17 | 959686 | 249232 | 79057 5 | 2103 | 5884 370.89/371.04 c 368s | 17 | 965850 | 250932 | 79057 5 | 2103 | 5884 372.99/373.12 c 370s | 17 | 971891 | 252732 | 79057 5 | 2103 | 5884 375.19/375.34 c 372s | 17 | 977193 | 254232 | 79057 5 | 2103 | 5884 377.20/377.35 c 374s | 17 | 982946 | 255932 | 79057 5 | 2103 | 5884 379.19/379.36 c 376s | 17 | 989058 | 257732 | 79057 5 | 2103 | 5884 381.29/381.48 c 378s | 17 | 994703 | 259332 | 79057 5 | 2103 | 5884 383.39/383.57 c 380s | 17 | 999455 | 260832 | 79057 5 | 2103 | 5884 385.49/385.64 c 383s | 17 | 1004576 | 262432 | 79057 5 | 2103 | 5884 387.59/387.71 c 385s | 17 | 1010757 | 264132 | 79057 5 | 2103 | 5884 389.69/389.84 c 387s | 17 | 1016929 | 265832 | 79057 5 | 2103 | 5884 391.79/391.90 c 389s | 17 | 1022389 | 267432 | 79057 5 | 2103 | 5884 393.79/393.94 c 391s | 17 | 1027570 | 268932 | 79057 5 | 2103 | 5884 395.78/395.97 c 393s | 17 | 1031617 | 270232 | 79057 5 | 2103 | 5884 397.89/398.01 c 395s | 17 | 1035647 | 271432 | 79057 5 | 2103 | 5884 400.09/400.21 c 397s | 17 | 1039527 | 272432 | 79057 5 | 2103 | 5884 402.19/402.38 c 399s | 17 | 1042016 | 273332 | 79057 5 | 2103 | 5884 404.29/404.47 c 401s | 17 | 1044672 | 274232 | 79057 5 | 2103 | 5884 406.39/406.59 c 403s | 17 | 1048195 | 275232 | 79057 5 | 2103 | 5884 408.59/408.74 c 406s | 17 | 1051875 | 276332 | 79057 5 | 2103 | 5884 410.69/410.85 c 408s | 17 | 1054817 | 277432 | 79057 5 | 2103 | 5884 412.89/413.00 c 410s | 17 | 1058675 | 278632 | 79057 5 | 2103 | 5884 414.89/415.03 c 412s | 17 | 1061911 | 279632 | 79057 5 | 2103 | 5884 416.99/417.10 c 414s | 17 | 1066227 | 280832 | 79057 5 | 2103 | 5884 419.09/419.27 c 416s | 17 | 1070636 | 282032 | 79057 5 | 2103 | 5884 421.19/421.32 c 418s | 17 | 1073581 | 283032 | 79057 5 | 2103 | 5884 423.28/423.45 c 420s | 17 | 1076248 | 284032 | 79057 5 | 2103 | 5884 425.48/425.63 c 423s | 17 | 1079366 | 284832 | 79057 5 | 2103 | 5884 427.47/427.69 c 425s | 17 | 1083961 | 285832 | 79057 5 | 2103 | 5884 429.57/429.78 c 427s | 17 | 1085701 | 286232 | 79057 5 | 2103 | 5884 431.67/431.81 c 429s | 17 | 1087932 | 286732 | 79057 6 | 2103 | 5884 434.27/434.46 c 431s | 17 | 1090169 | 287232 | 79057 6 | 2103 | 5884 441.27/441.40 c 438s | 17 | 1092547 | 287732 | 79057 6 | 2103 | 5884 443.27/443.43 c 440s | 17 | 1097953 | 289132 | 79057 6 | 2103 | 5884 445.38/445.53 c 442s | 17 | 1104785 | 290832 | 79057 6 | 2103 | 5884 447.38/447.55 c 444s | 17 | 1110728 | 292332 | 79057 6 | 2103 | 5884 449.48/449.67 c 447s | 17 | 1116327 | 293832 | 86963 6 | 2103 | 5884 462.47/462.60 c 459s | 17 | 1118349 | 294432 | 86963 6 | 2103 | 5884 464.47/464.60 c 461s | 17 | 1125582 | 296232 | 86963 6 | 2103 | 5884 464.47/464.62 c 462s | 18 | 1125613 | 296252 | 86963 6 | 2103 | 5884 466.47/466.63 c 464s | 18 | 1134045 | 297452 | 86963 6 | 2103 | 5884 468.58/468.71 c 466s | 18 | 1139203 | 298652 | 86963 6 | 2103 | 5884 470.57/470.73 c 468s | 18 | 1143723 | 299752 | 86963 6 | 2103 | 5884 472.67/472.81 c 470s | 18 | 1148404 | 300852 | 86963 6 | 2103 | 5884 474.87/475.03 c 472s | 18 | 1152189 | 301852 | 86963 6 | 2103 | 5884 476.87/477.09 c 474s | 18 | 1156721 | 302952 | 86963 6 | 2103 | 5884 478.97/479.14 c 476s | 18 | 1163613 | 304452 | 86963 6 | 2103 | 5884 480.97/481.18 c 478s | 18 | 1170160 | 305952 | 86963 6 | 2103 | 5884 482.96/483.19 c 480s | 18 | 1176065 | 307452 | 86963 6 | 2103 | 5884 485.16/485.33 c 482s | 18 | 1181450 | 308652 | 86963 6 | 2103 | 5884 487.17/487.37 c 484s | 18 | 1186615 | 309852 | 86963 6 | 2103 | 5884 489.16/489.39 c 486s | 18 | 1194319 | 311652 | 86963 6 | 2103 | 5884 491.36/491.52 c 488s | 18 | 1200622 | 313452 | 86963 6 | 2103 | 5884 493.36/493.54 c 490s | 18 | 1206491 | 315052 | 86963 6 | 2103 | 5884 495.36/495.55 c 492s | 18 | 1211405 | 316252 | 86963 6 | 2103 | 5884 497.35/497.57 c 494s | 18 | 1216347 | 317552 | 86963 6 | 2103 | 5884 499.45/499.65 c 497s | 18 | 1221502 | 318952 | 86963 6 | 2103 | 5884 501.56/501.76 c 499s | 18 | 1226256 | 320252 | 86963 6 | 2103 | 5884 503.66/503.87 c 501s | 18 | 1231275 | 321852 | 86963 6 | 2103 | 5884 505.86/506.01 c 503s | 18 | 1236170 | 323052 | 86963 6 | 2103 | 5884 507.95/508.10 c 505s | 18 | 1241397 | 324452 | 86963 6 | 2103 | 5884 510.05/510.22 c 507s | 18 | 1246701 | 325952 | 86963 6 | 2103 | 5884 512.05/512.25 c 509s | 18 | 1251836 | 327152 | 86963 6 | 2103 | 5884 514.05/514.28 c 511s | 18 | 1257184 | 328552 | 86963 6 | 2103 | 5884 516.14/516.33 c 513s | 18 | 1262617 | 329852 | 86963 6 | 2103 | 5884 518.34/518.51 c 515s | 18 | 1266292 | 330952 | 86963 6 | 2103 | 5884 520.44/520.68 c 518s | 18 | 1270643 | 332052 | 86963 6 | 2103 | 5884 522.74/522.94 c 520s | 18 | 1274298 | 333052 | 86963 6 | 2103 | 5884 524.94/525.14 c 522s | 18 | 1277925 | 333852 | 86963 6 | 2103 | 5884 527.04/527.27 c 524s | 18 | 1281793 | 334752 | 86963 6 | 2103 | 5884 529.24/529.41 c 526s | 18 | 1285672 | 335752 | 86963 6 | 2103 | 5884 531.24/531.47 c 528s | 18 | 1290020 | 336952 | 86963 6 | 2103 | 5884 533.54/533.70 c 531s | 18 | 1294016 | 338052 | 86963 6 | 2103 | 5884 535.74/535.96 c 533s | 18 | 1296413 | 338652 | 86963 7 | 2103 | 5884 537.85/538.05 c 535s | 18 | 1299122 | 339452 | 86963 7 | 2103 | 5884 540.14/540.32 c 537s | 18 | 1301965 | 340152 | 86963 7 | 2103 | 5884 542.14/542.39 c 539s | 18 | 1306950 | 341352 | 86963 7 | 2103 | 5884 544.24/544.42 c 541s | 18 | 1312904 | 342852 | 86963 7 | 2103 | 5884 546.34/546.53 c 543s | 18 | 1317665 | 344152 | 86963 7 | 2103 | 5884 550.03/550.27 c 547s | 18 | 1321447 | 345252 | 86963 7 | 2103 | 5884 552.14/552.34 c 549s | 18 | 1326362 | 346452 | 86963 7 | 2103 | 5884 554.13/554.40 c 551s | 18 | 1331811 | 347752 | 86963 7 | 2103 | 5884 556.23/556.44 c 553s | 18 | 1336997 | 349052 | 86963 7 | 2103 | 5884 558.23/558.49 c 555s | 18 | 1341499 | 350252 | 86963 7 | 2103 | 5884 560.33/560.59 c 557s | 18 | 1345671 | 351352 | 86963 7 | 2103 | 5884 562.43/562.63 c 560s | 18 | 1350498 | 352452 | 86963 7 | 2103 | 5884 564.53/564.79 c 562s | 18 | 1354633 | 353552 | 86963 7 | 2103 | 5884 566.73/566.97 c 564s | 18 | 1359197 | 354652 | 86963 7 | 2103 | 5884 568.93/569.11 c 566s | 18 | 1363535 | 355752 | 86963 7 | 2103 | 5884 571.03/571.20 c 568s | 18 | 1368680 | 356852 | 86963 7 | 2103 | 5884 573.13/573.36 c 570s | 18 | 1372426 | 357952 | 86963 7 | 2103 | 5884 575.33/575.52 c 572s | 18 | 1375921 | 358852 | 86963 7 | 2103 | 5884 577.33/577.53 c 574s | 18 | 1379206 | 359652 | 86963 7 | 2103 | 5884 579.63/579.84 c 577s | 18 | 1382832 | 360652 | 86963 7 | 2103 | 5884 581.63/581.90 c 579s | 18 | 1386946 | 361752 | 86963 7 | 2103 | 5884 583.73/583.98 c 581s | 18 | 1391186 | 362752 | 86963 7 | 2103 | 5884 585.83/586.02 c 583s | 18 | 1395063 | 363752 | 86963 7 | 2103 | 5884 587.92/588.14 c 585s | 18 | 1399109 | 364752 | 86963 7 | 2103 | 5884 590.42/590.66 c 588s | 18 | 1399858 | 364952 | 86963 7 | 2103 | 5884 592.52/592.78 c 590s | 18 | 1403343 | 365852 | 86963 7 | 2103 | 5884 594.62/594.85 c 592s | 18 | 1407175 | 366952 | 86963 7 | 2103 | 5884 597.12/597.33 c 594s | 18 | 1407979 | 367152 | 86963 7 | 2103 | 5884 599.12/599.35 c 596s | 18 | 1412075 | 368152 | 86963 7 | 2103 | 5884 601.32/601.52 c 598s | 18 | 1415955 | 369252 | 86963 7 | 2103 | 5884 603.51/603.76 c 601s | 18 | 1416826 | 369552 | 86963 7 | 2103 | 5884 605.61/605.80 c 603s | 18 | 1421078 | 370652 | 86963 7 | 2103 | 5884 607.71/607.94 c 605s | 18 | 1425878 | 371852 | 86963 7 | 2103 | 5884 609.71/609.94 c 607s | 18 | 1429654 | 372952 | 86963 7 | 2103 | 5884 611.81/612.02 c 609s | 18 | 1432247 | 373752 | 86963 7 | 2103 | 5884 613.81/614.05 c 611s | 18 | 1435474 | 374552 | 86963 7 | 2103 | 5884 616.01/616.21 c 613s | 18 | 1438989 | 375552 | 86963 7 | 2103 | 5884 618.11/618.35 c 615s | 18 | 1443188 | 376752 | 86963 7 | 2103 | 5884 620.21/620.44 c 617s | 18 | 1448567 | 378052 | 86963 7 | 2103 | 5884 622.31/622.57 c 619s | 18 | 1452566 | 379052 | 86963 7 | 2103 | 5884 624.51/624.79 c 622s | 18 | 1456705 | 380152 | 86963 7 | 2103 | 5884 626.81/627.09 c 624s | 18 | 1460665 | 381152 | 86963 7 | 2103 | 5884 629.01/629.23 c 626s | 18 | 1463805 | 381952 | 86963 7 | 2103 | 5884 631.00/631.25 c 628s | 18 | 1466944 | 382852 | 86963 7 | 2103 | 5884 633.10/633.31 c 630s | 18 | 1470799 | 383852 | 86963 7 | 2103 | 5884 635.30/635.51 c 632s | 18 | 1474540 | 384952 | 86963 7 | 2103 | 5884 637.30/637.59 c 634s | 18 | 1478299 | 385952 | 86963 7 | 2103 | 5884 639.40/639.62 c 637s | 18 | 1481729 | 386952 | 86963 7 | 2103 | 5884 641.80/642.05 c 639s | 18 | 1486370 | 388252 | 86963 8 | 2103 | 5884 644.00/644.26 c 641s | 18 | 1491657 | 389952 | 86963 8 | 2103 | 5884 646.10/646.35 c 643s | 18 | 1495623 | 391052 | 86963 8 | 2103 | 5884 648.10/648.37 c 645s | 18 | 1502095 | 392852 | 86963 8 | 2103 | 5884 650.20/650.47 c 647s | 18 | 1507787 | 394452 | 86963 8 | 2103 | 5884 652.30/652.53 c 649s | 18 | 1512669 | 396052 | 86963 8 | 2103 | 5884 665.40/665.66 c 663s | 18 | 1513400 | 396252 | 86963 8 | 2103 | 5884 668.19/668.43 c 665s | 18 | 1514856 | 396652 | 86963 8 | 2103 | 5884 670.80/671.06 c 668s | 18 | 1517952 | 397552 | 86963 8 | 2103 | 5884 672.89/673.12 c 670s | 18 | 1523050 | 399152 | 86963 8 | 2103 | 5884 674.89/675.15 c 672s | 18 | 1529324 | 400952 | 86963 8 | 2103 | 5884 676.89/677.19 c 674s | 18 | 1535296 | 402652 | 86963 8 | 2103 | 5884 679.08/679.30 c 676s | 18 | 1540247 | 404152 | 86963 8 | 2103 | 5884 681.08/681.31 c 678s | 18 | 1546360 | 405852 | 86963 8 | 2103 | 5884 683.18/683.43 c 680s | 18 | 1552997 | 407652 | 86963 8 | 2103 | 5884 685.19/685.48 c 682s | 18 | 1557394 | 409052 | 86963 8 | 2103 | 5884 687.29/687.50 c 684s | 18 | 1562140 | 410452 | 86963 8 | 2103 | 5884 689.38/689.65 c 687s | 18 | 1567184 | 412052 | 86963 8 | 2103 | 5884 691.48/691.73 c 689s | 18 | 1571413 | 413352 | 86963 8 | 2103 | 5884 694.48/694.72 c 692s | 18 | 1573649 | 414052 | 86963 8 | 2103 | 5884 696.48/696.72 c 694s | 18 | 1576888 | 414952 | 86963 8 | 2103 | 5884 698.57/698.89 c 696s | 18 | 1580928 | 416152 | 86963 8 | 2103 | 5884 700.87/701.13 c 698s | 18 | 1584382 | 417152 | 86963 8 | 2103 | 5884 702.87/703.14 c 700s | 18 | 1588383 | 418252 | 86963 8 | 2103 | 5884 704.98/705.21 c 702s | 18 | 1592902 | 419552 | 86963 8 | 2103 | 5884 707.17/707.45 c 704s | 18 | 1596671 | 420752 | 86963 8 | 2103 | 5884 709.37/709.62 c 707s | 18 | 1599475 | 421652 | 86963 8 | 2103 | 5884 711.37/711.67 c 709s | 18 | 1602991 | 422752 | 86963 8 | 2103 | 5884 713.37/713.68 c 711s | 18 | 1607201 | 423952 | 86963 8 | 2103 | 5884 715.47/715.77 c 713s | 18 | 1610826 | 424852 | 86963 8 | 2103 | 5884 717.57/717.85 c 715s | 18 | 1614563 | 425852 | 86963 8 | 2103 | 5884 719.57/719.87 c 717s | 18 | 1618051 | 426852 | 86963 8 | 2103 | 5884 721.87/722.16 c 719s | 18 | 1620923 | 427652 | 86963 8 | 2103 | 5884 723.97/724.27 c 721s | 18 | 1624373 | 428452 | 86963 8 | 2103 | 5884 726.17/726.41 c 723s | 18 | 1627775 | 429352 | 86963 8 | 2103 | 5884 728.27/728.54 c 725s | 18 | 1631432 | 430252 | 86963 8 | 2103 | 5884 730.37/730.63 c 728s | 18 | 1636238 | 431452 | 86963 8 | 2103 | 5884 732.47/732.79 c 730s | 18 | 1640815 | 432552 | 86963 8 | 2103 | 5884 734.57/734.87 c 732s | 18 | 1645541 | 433652 | 86963 8 | 2103 | 5884 736.67/736.97 c 734s | 18 | 1649103 | 434552 | 86963 8 | 2103 | 5884 739.26/739.54 c 736s | 18 | 1652523 | 435452 | 86963 9 | 2103 | 5884 744.86/745.16 c 742s | 18 | 1654089 | 435852 | 86963 9 | 2103 | 5884 749.06/749.33 c 746s | 18 | 1654421 | 435952 | 86963 9 | 2103 | 5884 751.17/751.48 c 748s | 18 | 1656093 | 436352 | 86963 9 | 2103 | 5884 753.27/753.57 c 750s | 18 | 1661957 | 437952 | 86963 9 | 2103 | 5884 755.36/755.69 c 753s | 18 | 1667285 | 439452 | 86963 9 | 2103 | 5884 757.56/757.80 c 755s | 18 | 1673402 | 440952 | 95660 9 | 2103 | 5884 759.56/759.81 c 757s | 18 | 1680035 | 442452 | 95660 9 | 2103 | 5884 761.56/761.81 c 759s | 18 | 1686854 | 444052 | 95660 9 | 2103 | 5884 762.06/762.38 c 759s | 19 | 1688662 | 444482 | 95660 9 | 2103 | 5884 764.96/765.24 c 762s | 19 | 1695580 | 445382 | 95660 9 | 2103 | 5884 768.36/768.69 c 766s | 19 | 1701389 | 446982 | 95660 9 | 2103 | 5884 776.86/777.10 c 774s | 19 | 1702238 | 447182 | 95660 9 | 2103 | 5884 778.86/779.18 c 776s | 19 | 1708748 | 448882 | 95660 9 | 2103 | 5884 780.96/781.25 c 778s | 19 | 1716837 | 450682 | 95660 9 | 2103 | 5884 783.07/783.34 c 780s | 19 | 1724112 | 452582 | 95660 9 | 2103 | 5884 785.06/785.35 c 782s | 19 | 1732156 | 454382 | 95660 9 | 2103 | 5884 787.06/787.39 c 784s | 19 | 1737278 | 455782 | 95660 9 | 2103 | 5884 789.36/789.64 c 787s | 19 | 1740439 | 456682 | 95660 9 | 2103 | 5884 791.56/791.85 c 789s | 19 | 1743372 | 457582 | 95660 9 | 2103 | 5884 793.66/793.91 c 791s | 19 | 1746452 | 458382 | 95660 9 | 2103 | 5884 795.76/796.00 c 793s | 19 | 1749468 | 459182 | 95660 9 | 2103 | 5884 797.96/798.22 c 795s | 19 | 1752609 | 460082 | 95660 9 | 2103 | 5884 799.96/800.25 c 797s | 19 | 1756122 | 460982 | 95660 9 | 2103 | 5884 802.16/802.41 c 799s | 19 | 1759601 | 461782 | 95660 9 | 2103 | 5884 804.36/804.66 c 802s | 19 | 1763312 | 462682 | 95660 9 | 2103 | 5884 806.55/806.85 c 804s | 19 | 1765757 | 463382 | 95660 9 | 2103 | 5884 808.75/809.04 c 806s | 19 | 1768411 | 464182 | 95660 9 | 2103 | 5884 810.85/811.14 c 808s | 19 | 1773971 | 465582 | 95660 9 | 2103 | 5884 812.85/813.14 c 810s | 19 | 1778850 | 466882 | 95660 9 | 2103 | 5884 814.96/815.22 c 812s | 19 | 1782512 | 467982 | 95660 9 | 2103 | 5884 816.95/817.28 c 814s | 19 | 1787513 | 469582 | 95660 9 | 2103 | 5884 819.15/819.45 c 816s | 19 | 1791773 | 470882 | 95660 9 | 2103 | 5884 821.25/821.55 c 818s | 19 | 1796953 | 472182 | 95660 9 | 2103 | 5884 823.25/823.56 c 820s | 19 | 1800355 | 473182 | 95660 9 | 2103 | 5884 825.35/825.68 c 823s | 19 | 1804859 | 474582 | 95660 9 | 2103 | 5884 827.55/827.84 c 825s | 19 | 1809664 | 475882 | 95660 9 | 2103 | 5884 829.65/829.93 c 827s | 19 | 1813530 | 476982 | 95660 9 | 2103 | 5884 831.75/832.09 c 829s | 19 | 1817129 | 478082 | 95660 9 | 2103 | 5884 833.75/834.09 c 831s | 19 | 1822054 | 479282 | 95660 9 | 2103 | 5884 835.86/836.11 c 833s | 19 | 1825979 | 480182 | 95660 9 | 2103 | 5884 837.96/838.24 c 835s | 19 | 1830155 | 481382 | 95660 9 | 2103 | 5884 840.16/840.45 c 837s | 19 | 1835614 | 482782 | 95660 9 | 2103 | 5884 842.15/842.49 c 839s | 19 | 1838458 | 483482 | 95660 9 | 2103 | 5884 844.45/844.76 c 842s | 19 | 1842334 | 484382 | 95660 9 | 2103 | 5884 846.45/846.77 c 844s | 19 | 1846790 | 485382 | 95660 9 | 2103 | 5884 848.65/848.92 c 846s | 19 | 1852036 | 486582 | 95660 9 | 2103 | 5884 850.65/850.94 c 848s | 19 | 1856488 | 487682 | 95660 9 | 2103 | 5884 852.75/853.01 c 850s | 19 | 1861413 | 489082 | 95660 9 | 2103 | 5884 854.85/855.15 c 852s | 19 | 1864990 | 490182 | 95660 9 | 2103 | 5884 856.85/857.18 c 854s | 19 | 1868445 | 491282 | 95660 9 | 2103 | 5884 859.95/860.29 c 857s | 19 | 1872577 | 492482 | 95660 10 | 2103 | 5884 862.04/862.35 c 859s | 19 | 1875799 | 493382 | 95660 10 | 2103 | 5884 864.04/864.36 c 861s | 19 | 1880525 | 494682 | 95660 10 | 2103 | 5884 866.14/866.45 c 863s | 19 | 1884920 | 495982 | 95660 10 | 2103 | 5884 868.24/868.59 c 865s | 19 | 1890908 | 497782 | 95660 10 | 2103 | 5884 870.44/870.70 c 868s | 19 | 1896439 | 499382 | 95660 10 | 2103 | 5884 872.44/872.78 c 870s | 19 | 1902156 | 501082 | 95660 10 | 2103 | 5884 877.15/877.43 c 874s | 19 | 1905826 | 501982 | 95660 10 | 2103 | 5884 879.15/879.43 c 876s | 19 | 1910560 | 503382 | 95660 10 | 2103 | 5884 881.15/881.49 c 878s | 19 | 1915640 | 504382 | 95660 10 | 2103 | 5884 883.25/883.54 c 880s | 19 | 1922985 | 505982 | 95660 10 | 2103 | 5884 885.35/885.63 c 883s | 19 | 1928544 | 507582 | 95660 10 | 2103 | 5884 887.45/887.74 c 885s | 19 | 1934116 | 509182 | 95660 10 | 2103 | 5884 889.55/889.82 c 887s | 19 | 1938759 | 510582 | 95660 10 | 2103 | 5884 891.64/891.90 c 889s | 19 | 1943005 | 511882 | 95660 10 | 2103 | 5884 893.74/894.00 c 891s | 19 | 1948041 | 513282 | 95660 10 | 2103 | 5884 902.04/902.35 c 899s | 19 | 1949253 | 513582 | 95660 10 | 2103 | 5884 904.24/904.55 c 901s | 19 | 1953463 | 514582 | 95660 10 | 2103 | 5884 906.34/906.60 c 903s | 19 | 1957074 | 515582 | 95660 10 | 2103 | 5884 908.24/908.60 c 905s | 19 | 1962007 | 516782 | 95660 10 | 2103 | 5884 910.34/910.67 c 908s | 19 | 1966381 | 518082 | 95660 10 | 2103 | 5884 912.54/912.84 c 910s | 19 | 1970512 | 519182 | 95660 10 | 2103 | 5884 914.64/914.94 c 912s | 19 | 1973886 | 520082 | 95660 10 | 2103 | 5884 916.64/916.99 c 914s | 19 | 1979094 | 521382 | 95660 10 | 2103 | 5884 918.74/919.04 c 916s | 19 | 1982757 | 522382 | 95660 10 | 2103 | 5884 920.84/921.14 c 918s | 19 | 1987335 | 523582 | 95660 10 | 2103 | 5884 922.94/923.28 c 920s | 19 | 1992837 | 524982 | 95660 10 | 2103 | 5884 924.94/925.28 c 922s | 19 | 1997233 | 526082 | 95660 10 | 2103 | 5884 927.04/927.35 c 924s | 19 | 2001953 | 527182 | 95660 10 | 2103 | 5884 929.14/929.48 c 926s | 19 | 2005938 | 528182 | 95660 10 | 2103 | 5884 931.24/931.56 c 928s | 19 | 2009473 | 529182 | 95660 10 | 2103 | 5884 933.44/933.75 c 931s | 19 | 2012882 | 530082 | 95660 10 | 2103 | 5884 935.44/935.75 c 933s | 19 | 2016333 | 530982 | 95660 10 | 2103 | 5884 937.43/937.78 c 935s | 19 | 2019836 | 532082 | 95660 10 | 2103 | 5884 939.53/939.81 c 937s | 19 | 2023522 | 533182 | 95660 10 | 2103 | 5884 941.53/941.85 c 939s | 19 | 2027204 | 534182 | 95660 10 | 2103 | 5884 943.73/944.05 c 941s | 19 | 2030982 | 535182 | 95660 10 | 2103 | 5884 945.74/946.06 c 943s | 19 | 2034708 | 536282 | 95660 10 | 2103 | 5884 947.83/948.10 c 945s | 19 | 2038351 | 537382 | 95660 10 | 2103 | 5884 949.83/950.14 c 947s | 19 | 2043264 | 538482 | 95660 10 | 2103 | 5884 952.03/952.31 c 949s | 19 | 2047910 | 539782 | 95660 10 | 2103 | 5884 954.13/954.43 c 951s | 19 | 2051403 | 540782 | 95660 10 | 2103 | 5884 956.23/956.53 c 953s | 19 | 2054333 | 541782 | 95660 10 | 2103 | 5884 958.23/958.55 c 955s | 19 | 2057497 | 542682 | 95660 10 | 2103 | 5884 960.23/960.56 c 957s | 19 | 2061368 | 543782 | 95660 10 | 2103 | 5884 962.43/962.76 c 960s | 19 | 2065223 | 544982 | 95660 10 | 2103 | 5884 964.54/964.83 c 962s | 19 | 2066901 | 545482 | 95660 11 | 2103 | 5884 967.43/967.71 c 965s | 19 | 2068257 | 545882 | 95660 11 | 2103 | 5884 969.43/969.72 c 967s | 19 | 2073124 | 546982 | 95660 11 | 2103 | 5884 971.43/971.73 c 969s | 19 | 2078947 | 548282 | 95660 11 | 2103 | 5884 973.53/973.81 c 971s | 19 | 2087844 | 550282 | 95660 11 | 2103 | 5884 975.53/975.85 c 973s | 19 | 2094327 | 551882 | 95660 11 | 2103 | 5884 977.53/977.88 c 975s | 19 | 2101036 | 553382 | 95660 11 | 2103 | 5884 979.93/980.26 c 977s | 19 | 2106330 | 554882 | 95660 11 | 2103 | 5884 981.93/982.27 c 979s | 19 | 2112378 | 556382 | 95660 11 | 2103 | 5884 984.02/984.31 c 981s | 19 | 2117764 | 558082 | 95660 11 | 2103 | 5884 986.12/986.42 c 983s | 19 | 2122291 | 559282 | 95660 11 | 2103 | 5884 988.22/988.56 c 985s | 19 | 2128578 | 560782 | 95660 11 | 2103 | 5884 990.32/990.66 c 988s | 19 | 2133031 | 562282 | 95660 11 | 2103 | 5884 992.42/992.75 c 990s | 19 | 2137738 | 563482 | 95660 11 | 2103 | 5884 994.52/994.85 c 992s | 19 | 2144943 | 565182 | 95660 11 | 2103 | 5884 996.52/996.85 c 994s | 19 | 2149993 | 566482 | 95660 11 | 2103 | 5884 998.53/998.86 c 996s | 19 | 2154326 | 567782 | 95660 11 | 2103 | 5884 1000.52/1000.86 c 998s | 19 | 2159415 | 568982 | 95660 11 | 2103 | 5884 1002.62/1002.96 c 1000s | 19 | 2163613 | 570282 | 95660 11 | 2103 | 5884 1004.62/1004.99 c 1002s | 19 | 2169564 | 571682 | 95660 11 | 2103 | 5884 1006.72/1007.02 c 1004s | 19 | 2174560 | 572882 | 95660 11 | 2103 | 5884 1008.82/1009.15 c 1006s | 19 | 2179746 | 574282 | 95660 11 | 2103 | 5884 1010.82/1011.19 c 1008s | 19 | 2185088 | 575582 | 95660 11 | 2103 | 5884 1013.02/1013.35 c 1010s | 19 | 2189964 | 576782 | 95660 11 | 2103 | 5884 1015.12/1015.46 c 1012s | 19 | 2196552 | 577982 | 95660 11 | 2103 | 5884 1017.22/1017.54 c 1014s | 19 | 2201046 | 579082 | 95660 11 | 2103 | 5884 1019.32/1019.69 c 1017s | 19 | 2205045 | 580382 | 95660 11 | 2103 | 5884 1021.52/1021.82 c 1019s | 19 | 2209434 | 581482 | 95660 11 | 2103 | 5884 1023.52/1023.87 c 1021s | 19 | 2213627 | 582582 | 95660 11 | 2103 | 5884 1025.72/1026.02 c 1023s | 19 | 2218113 | 583682 | 95660 11 | 2103 | 5884 1031.42/1031.71 c 1029s | 19 | 2221022 | 584482 | 95660 11 | 2103 | 5884 1035.02/1035.33 c 1032s | 19 | 2222037 | 584682 | 95660 11 | 2103 | 5884 1053.12/1053.41 c 1050s | 19 | 2222752 | 584782 | 95660 11 | 2103 | 5884 1055.42/1055.70 c 1053s | 19 | 2226781 | 585582 | 95660 11 | 2103 | 5884 1057.42/1057.75 c 1055s | 19 | 2231041 | 586682 | 95660 11 | 2103 | 5884 1059.52/1059.89 c 1057s | 19 | 2233981 | 587582 | 95660 11 | 2103 | 5884 1061.72/1062.00 c 1059s | 19 | 2238113 | 588582 | 95660 11 | 2103 | 5884 1063.82/1064.18 c 1061s | 19 | 2243420 | 590082 | 95660 11 | 2103 | 5884 1066.02/1066.33 c 1063s | 19 | 2247946 | 591182 | 95660 11 | 2103 | 5884 1068.21/1068.59 c 1065s | 19 | 2250611 | 591782 | 95660 11 | 2103 | 5884 1070.51/1070.81 c 1068s | 19 | 2252552 | 592182 | 95660 11 | 2103 | 5884 1073.01/1073.35 c 1070s | 19 | 2254523 | 592682 | 95660 11 | 2103 | 5884 1075.52/1075.84 c 1073s | 19 | 2256286 | 593182 | 95660 11 | 2103 | 5884 1078.01/1078.35 c 1075s | 19 | 2257827 | 593682 | 95660 11 | 2103 | 5884 1080.11/1080.49 c 1077s | 19 | 2259707 | 594182 | 95660 11 | 2103 | 5884 1082.22/1082.50 c 1079s | 19 | 2261217 | 594682 | 95660 11 | 2103 | 5884 1084.21/1084.56 c 1081s | 19 | 2262862 | 595282 | 95660 11 | 2103 | 5884 1086.71/1087.00 c 1084s | 19 | 2265550 | 595982 | 95660 11 | 2103 | 5884 1088.91/1089.21 c 1086s | 19 | 2267789 | 596582 | 95660 11 | 2103 | 5884 1090.92/1091.23 c 1088s | 19 | 2270293 | 597282 | 95660 11 | 2103 | 5884 1092.91/1093.27 c 1090s | 19 | 2273056 | 598082 | 95660 12 | 2103 | 5884 1097.21/1097.54 c 1094s | 19 | 2274151 | 598382 | 95660 12 | 2103 | 5884 1099.21/1099.57 c 1096s | 19 | 2277284 | 599282 | 95660 12 | 2103 | 5884 1101.71/1102.06 c 1099s | 19 | 2280181 | 599982 | 95660 12 | 2103 | 5884 1103.81/1104.10 c 1101s | 19 | 2282932 | 600582 | 95660 12 | 2103 | 5884 1105.91/1106.20 c 1103s | 19 | 2286581 | 601582 | 95660 12 | 2103 | 5884 1108.00/1108.39 c 1105s | 19 | 2291034 | 602682 | 95660 12 | 2103 | 5884 1110.10/1110.48 c 1107s | 19 | 2295062 | 603982 | 95660 12 | 2103 | 5884 1112.20/1112.55 c 1109s | 19 | 2299879 | 605382 | 95660 12 | 2103 | 5884 1114.30/1114.63 c 1112s | 19 | 2305345 | 606982 | 95660 12 | 2103 | 5884 1116.50/1116.85 c 1114s | 19 | 2310290 | 608282 | 95660 12 | 2103 | 5884 1118.60/1118.95 c 1116s | 19 | 2313646 | 609182 | 95660 12 | 2103 | 5884 1120.71/1121.03 c 1118s | 19 | 2315716 | 609882 | 95660 12 | 2103 | 5884 1122.91/1123.20 c 1120s | 19 | 2320456 | 611182 | 95660 12 | 2103 | 5884 1125.01/1125.32 c 1122s | 19 | 2325377 | 612582 | 95660 12 | 2103 | 5884 1127.10/1127.43 c 1124s | 19 | 2330372 | 614082 | 95660 12 | 2103 | 5884 1129.20/1129.56 c 1126s | 19 | 2335194 | 615482 | 95660 12 | 2103 | 5884 1131.40/1131.76 c 1129s | 19 | 2339830 | 616782 | 95660 12 | 2103 | 5884 1133.70/1134.03 c 1131s | 19 | 2342983 | 617782 | 95660 12 | 2103 | 5884 1135.80/1136.18 c 1133s | 19 | 2346244 | 618682 | 95660 12 | 2103 | 5884 1138.00/1138.31 c 1135s | 19 | 2349959 | 619682 | 95660 12 | 2103 | 5884 1140.00/1140.31 c 1137s | 19 | 2353300 | 620782 | 95660 12 | 2103 | 5884 1142.00/1142.39 c 1139s | 19 | 2357531 | 621982 | 95660 12 | 2103 | 5884 1144.20/1144.55 c 1141s | 19 | 2360731 | 623082 | 95660 12 | 2103 | 5884 1146.20/1146.56 c 1143s | 19 | 2363667 | 623982 | 95660 12 | 2103 | 5884 1148.41/1148.70 c 1146s | 19 | 2367012 | 624882 | 95660 12 | 2103 | 5884 1150.60/1150.90 c 1148s | 19 | 2370196 | 625782 | 95660 12 | 2103 | 5884 1152.80/1153.14 c 1150s | 19 | 2372754 | 626482 | 95660 12 | 2103 | 5884 1154.81/1155.16 c 1152s | 19 | 2375146 | 627182 | 95660 12 | 2103 | 5884 1157.01/1157.35 c 1154s | 19 | 2378378 | 628082 | 95660 12 | 2103 | 5884 1159.21/1159.55 c 1156s | 19 | 2380871 | 628882 | 95660 12 | 2103 | 5884 1161.31/1161.68 c 1159s | 19 | 2384190 | 629782 | 95660 12 | 2103 | 5884 1163.51/1163.88 c 1161s | 19 | 2387342 | 630682 | 95660 12 | 2103 | 5884 1165.81/1166.13 c 1163s | 19 | 2390480 | 631482 | 95660 12 | 2103 | 5884 1167.91/1168.23 c 1165s | 19 | 2394673 | 632582 | 95660 12 | 2103 | 5884 1169.90/1170.27 c 1167s | 19 | 2398214 | 633682 | 95660 12 | 2103 | 5884 1172.10/1172.48 c 1169s | 19 | 2400867 | 634682 | 95660 12 | 2103 | 5884 1174.20/1174.55 c 1171s | 19 | 2404832 | 635682 | 95660 12 | 2103 | 5884 1176.30/1176.68 c 1174s | 19 | 2408314 | 636782 | 95660 12 | 2103 | 5884 1178.60/1178.99 c 1176s | 19 | 2411448 | 637682 | 95660 12 | 2103 | 5884 1180.89/1181.24 c 1178s | 19 | 2413069 | 638182 | 95660 12 | 2103 | 5884 1182.89/1183.28 c 1180s | 19 | 2415026 | 638782 | 95660 12 | 2103 | 5884 1184.99/1185.31 c 1182s | 19 | 2416622 | 639382 | 95660 12 | 2103 | 5884 1186.99/1187.38 c 1184s | 19 | 2418183 | 640082 | 95660 12 | 2103 | 5884 1230.29/1230.60 c 1227s | 19 | 2418610 | 640182 | 95660 12 | 2103 | 5884 1232.49/1232.83 c 1230s | 19 | 2420345 | 640682 | 95660 12 | 2103 | 5884 1234.69/1235.07 c 1232s | 19 | 2422549 | 641282 | 95660 12 | 2103 | 5884 1237.09/1237.47 c 1234s | 19 | 2424063 | 641882 | 95660 12 | 2103 | 5884 1239.29/1239.63 c 1237s | 19 | 2426088 | 642482 | 95660 12 | 2103 | 5884 1241.48/1241.87 c 1239s | 19 | 2428219 | 643182 | 95660 12 | 2103 | 5884 1243.79/1244.19 c 1241s | 19 | 2430370 | 643782 | 95660 12 | 2103 | 5884 1246.18/1246.56 c 1243s | 19 | 2431819 | 644182 | 95660 12 | 2103 | 5884 1248.58/1248.93 c 1246s | 19 | 2433715 | 644782 | 95660 12 | 2103 | 5884 1250.68/1251.05 c 1248s | 19 | 2435253 | 645382 | 95660 12 | 2103 | 5884 1253.08/1253.48 c 1250s | 19 | 2436999 | 645982 | 95660 12 | 2103 | 5884 1255.28/1255.65 c 1253s | 19 | 2438372 | 646482 | 95660 12 | 2103 | 5884 1257.68/1258.00 c 1255s | 19 | 2440451 | 647182 | 95660 12 | 2103 | 5884 1259.69/1260.07 c 1257s | 19 | 2442758 | 647782 | 95660 12 | 2103 | 5884 1261.79/1262.11 c 1259s | 19 | 2444613 | 648382 | 95660 12 | 2103 | 5884 1263.79/1264.13 c 1261s | 19 | 2445954 | 648782 | 95660 12 | 2103 | 5884 1266.09/1266.43 c 1263s | 19 | 2447124 | 649182 | 95660 12 | 2103 | 5884 1268.19/1268.59 c 1265s | 19 | 2448276 | 649582 | 95660 12 | 2103 | 5884 1270.29/1270.66 c 1268s | 19 | 2450125 | 650082 | 95660 12 | 2103 | 5884 1273.38/1273.80 c 1271s | 19 | 2451872 | 650582 | 95660 13 | 2103 | 5884 1275.58/1275.97 c 1273s | 19 | 2452620 | 650882 | 95660 13 | 2103 | 5884 1277.58/1277.99 c 1275s | 19 | 2455049 | 651582 | 95660 13 | 2103 | 5884 1279.78/1280.12 c 1277s | 19 | 2459021 | 652882 | 95660 13 | 2103 | 5884 1281.88/1282.26 c 1279s | 19 | 2463794 | 654282 | 95660 13 | 2103 | 5884 1283.88/1284.26 c 1281s | 19 | 2467490 | 655482 | 95660 13 | 2103 | 5884 1285.88/1286.29 c 1283s | 19 | 2469976 | 656282 | 95660 13 | 2103 | 5884 1288.98/1289.38 c 1286s | 19 | 2472144 | 657082 | 95660 13 | 2103 | 5884 1291.08/1291.49 c 1288s | 19 | 2475788 | 658182 | 95660 13 | 2103 | 5884 1293.28/1293.64 c 1291s | 19 | 2479311 | 659382 | 95660 13 | 2103 | 5884 1295.38/1295.72 c 1293s | 19 | 2483005 | 660382 | 95660 13 | 2103 | 5884 1297.48/1297.87 c 1295s | 19 | 2487632 | 661682 | 105227 13 | 2103 | 5884 1299.58/1299.95 c 1297s | 19 | 2491342 | 662682 | 105227 13 | 2103 | 5884 1301.68/1302.05 c 1299s | 19 | 2495131 | 663782 | 105227 13 | 2103 | 5884 1303.78/1304.14 c 1301s | 19 | 2498100 | 664682 | 105227 13 | 2103 | 5884 1305.88/1306.26 c 1303s | 19 | 2501402 | 665682 | 105227 13 | 2103 | 5884 1307.98/1308.38 c 1305s | 19 | 2504576 | 666682 | 105227 13 | 2103 | 5884 1308.28/1308.64 c 1306s | 20 | 2505041 | 666827 | 105227 13 | 2103 | 5884 1310.48/1310.84 c 1308s | 20 | 2511752 | 667627 | 105227 13 | 2103 | 5884 1312.68/1313.09 c 1310s | 20 | 2513688 | 668327 | 105227 13 | 2103 | 5884 1314.78/1315.16 c 1312s | 20 | 2516062 | 669027 | 105227 13 | 2103 | 5884 1317.08/1317.44 c 1314s | 20 | 2519135 | 670027 | 105227 13 | 2103 | 5884 1319.28/1319.63 c 1317s | 20 | 2521687 | 670827 | 105227 13 | 2103 | 5884 1321.57/1321.91 c 1319s | 20 | 2524413 | 671727 | 105227 13 | 2103 | 5884 1323.67/1324.03 c 1321s | 20 | 2526726 | 672627 | 105227 13 | 2103 | 5884 1334.58/1334.96 c 1332s | 20 | 2527167 | 672827 | 105227 13 | 2103 | 5884 1337.07/1337.45 c 1334s | 20 | 2528240 | 673027 | 105227 13 | 2103 | 5884 1339.28/1339.68 c 1337s | 20 | 2531933 | 673827 | 105227 13 | 2103 | 5884 1341.38/1341.72 c 1339s | 20 | 2534250 | 674427 | 105227 13 | 2103 | 5884 1343.37/1343.78 c 1341s | 20 | 2536496 | 675027 | 105227 13 | 2103 | 5884 1345.47/1345.80 c 1343s | 20 | 2539107 | 675627 | 105227 13 | 2103 | 5884 1347.47/1347.88 c 1345s | 20 | 2542829 | 676427 | 105227 13 | 2103 | 5884 1349.57/1349.98 c 1347s | 20 | 2545887 | 677227 | 105227 13 | 2103 | 5884 1351.77/1352.13 c 1349s | 20 | 2549494 | 678127 | 105227 13 | 2103 | 5884 1353.88/1354.25 c 1351s | 20 | 2551769 | 678827 | 105227 13 | 2103 | 5884 1356.17/1356.57 c 1353s | 20 | 2554085 | 679327 | 105227 13 | 2103 | 5884 1358.57/1358.92 c 1356s | 20 | 2556853 | 680027 | 105227 13 | 2103 | 5884 1360.67/1361.06 c 1358s | 20 | 2559151 | 680627 | 105227 13 | 2103 | 5884 1362.77/1363.11 c 1360s | 20 | 2561305 | 681227 | 105227 13 | 2103 | 5884 1364.87/1365.26 c 1362s | 20 | 2563113 | 681727 | 105227 13 | 2103 | 5884 1367.07/1367.49 c 1364s | 20 | 2564800 | 682227 | 105227 13 | 2103 | 5884 1369.17/1369.51 c 1366s | 20 | 2566460 | 682727 | 105227 13 | 2103 | 5884 1371.37/1371.75 c 1369s | 20 | 2567872 | 683127 | 105227 13 | 2103 | 5884 1373.46/1373.82 c 1371s | 20 | 2569490 | 683527 | 105227 13 | 2103 | 5884 1375.56/1375.92 c 1373s | 20 | 2571331 | 684027 | 105227 13 | 2103 | 5884 1377.86/1378.20 c 1375s | 20 | 2573439 | 684627 | 105227 13 | 2103 | 5884 1379.86/1380.29 c 1377s | 20 | 2575496 | 685227 | 105227 13 | 2103 | 5884 1381.96/1382.34 c 1379s | 20 | 2579772 | 686227 | 105227 13 | 2103 | 5884 1383.96/1384.38 c 1381s | 20 | 2582174 | 686927 | 105227 13 | 2103 | 5884 1386.06/1386.49 c 1383s | 20 | 2585338 | 687827 | 105227 13 | 2103 | 5884 1388.16/1388.55 c 1385s | 20 | 2589186 | 688827 | 105227 13 | 2103 | 5884 1390.26/1390.67 c 1388s | 20 | 2592085 | 689727 | 105227 13 | 2103 | 5884 1392.37/1392.77 c 1390s | 20 | 2595024 | 690527 | 105227 13 | 2103 | 5884 1394.47/1394.85 c 1392s | 20 | 2597450 | 691227 | 105227 13 | 2103 | 5884 1396.56/1396.94 c 1394s | 20 | 2599221 | 691827 | 105227 13 | 2103 | 5884 1398.56/1398.95 c 1396s | 20 | 2600741 | 692327 | 105227 13 | 2103 | 5884 1400.97/1401.33 c 1398s | 20 | 2601662 | 692627 | 105227 13 | 2103 | 5884 1403.07/1403.49 c 1400s | 20 | 2603256 | 693127 | 105227 13 | 2103 | 5884 1405.47/1405.88 c 1403s | 20 | 2606017 | 693727 | 105227 13 | 2103 | 5884 1407.67/1408.01 c 1405s | 20 | 2608333 | 694327 | 105227 13 | 2103 | 5884 1409.66/1410.05 c 1407s | 20 | 2610711 | 694927 | 105227 13 | 2103 | 5884 1411.86/1412.26 c 1409s | 20 | 2612371 | 695427 | 105227 13 | 2103 | 5884 1414.16/1414.56 c 1411s | 20 | 2614581 | 695927 | 105227 13 | 2103 | 5884 1416.47/1416.83 c 1414s | 20 | 2618480 | 696627 | 105227 13 | 2103 | 5884 1418.67/1419.05 c 1416s | 20 | 2620329 | 697227 | 105227 13 | 2103 | 5884 1420.87/1421.24 c 1418s | 20 | 2622180 | 697727 | 105227 13 | 2103 | 5884 1422.96/1423.33 c 1420s | 20 | 2625105 | 698327 | 105227 13 | 2103 | 5884 1425.16/1425.51 c 1422s | 20 | 2627340 | 698927 | 105227 13 | 2103 | 5884 1427.16/1427.52 c 1424s | 20 | 2629010 | 699427 | 105227 13 | 2103 | 5884 1429.16/1429.52 c 1426s | 20 | 2631357 | 700027 | 105227 13 | 2103 | 5884 1431.26/1431.62 c 1429s | 20 | 2633427 | 700627 | 105227 13 | 2103 | 5884 1433.46/1433.88 c 1431s | 20 | 2635375 | 701127 | 105227 13 | 2103 | 5884 1435.96/1436.34 c 1433s | 20 | 2637576 | 701727 | 105227 13 | 2103 | 5884 1438.06/1438.41 c 1435s | 20 | 2640057 | 702327 | 105227 13 | 2103 | 5884 1440.26/1440.62 c 1438s | 20 | 2642726 | 703027 | 105227 13 | 2103 | 5884 1442.26/1442.64 c 1440s | 20 | 2645269 | 703627 | 105227 13 | 2103 | 5884 1444.56/1444.98 c 1442s | 20 | 2647850 | 704227 | 105227 13 | 2103 | 5884 1446.86/1447.20 c 1444s | 20 | 2650277 | 704727 | 105227 13 | 2103 | 5884 1448.86/1449.26 c 1446s | 20 | 2652942 | 705427 | 105227 13 | 2103 | 5884 1450.95/1451.38 c 1448s | 20 | 2655468 | 706027 | 105227 13 | 2103 | 5884 1453.25/1453.69 c 1451s | 20 | 2657396 | 706627 | 105227 13 | 2103 | 5884 1455.45/1455.80 c 1453s | 20 | 2659007 | 707127 | 105227 13 | 2103 | 5884 1457.45/1457.86 c 1455s | 20 | 2661556 | 707727 | 105227 13 | 2103 | 5884 1459.65/1460.00 c 1457s | 20 | 2663187 | 708227 | 105227 13 | 2103 | 5884 1461.95/1462.35 c 1459s | 20 | 2665250 | 708727 | 105227 13 | 2103 | 5884 1464.25/1464.67 c 1462s | 20 | 2666565 | 709127 | 105227 13 | 2103 | 5884 1466.75/1467.14 c 1464s | 20 | 2668589 | 709627 | 105227 13 | 2103 | 5884 1469.05/1469.45 c 1466s | 20 | 2671101 | 710127 | 105227 13 | 2103 | 5884 1471.35/1471.80 c 1469s | 20 | 2672765 | 710627 | 105227 13 | 2103 | 5884 1473.55/1473.93 c 1471s | 20 | 2674404 | 711127 | 105227 13 | 2103 | 5884 1476.05/1476.48 c 1473s | 20 | 2676385 | 711727 | 105227 13 | 2103 | 5884 1478.35/1478.79 c 1476s | 20 | 2677541 | 712027 | 105227 13 | 2103 | 5884 1480.75/1481.11 c 1478s | 20 | 2679024 | 712427 | 105227 13 | 2103 | 5884 1484.45/1484.83 c 1482s | 20 | 2680605 | 712827 | 105227 14 | 2103 | 5884 1486.55/1486.97 c 1484s | 20 | 2682154 | 713227 | 105227 14 | 2103 | 5884 1488.75/1489.14 c 1486s | 20 | 2684488 | 713927 | 105227 14 | 2103 | 5884 1490.85/1491.25 c 1488s | 20 | 2687879 | 714927 | 105227 14 | 2103 | 5884 1492.85/1493.28 c 1490s | 20 | 2691599 | 715927 | 105227 14 | 2103 | 5884 1495.05/1495.40 c 1492s | 20 | 2694989 | 716827 | 105227 14 | 2103 | 5884 1497.15/1497.59 c 1494s | 20 | 2699741 | 718027 | 105227 14 | 2103 | 5884 1499.15/1499.59 c 1496s | 20 | 2704373 | 719427 | 105227 14 | 2103 | 5884 1501.35/1501.77 c 1499s | 20 | 2708236 | 720527 | 105227 14 | 2103 | 5884 1503.46/1503.85 c 1501s | 20 | 2712541 | 721427 | 105227 14 | 2103 | 5884 1505.56/1505.98 c 1503s | 20 | 2716736 | 722627 | 105227 14 | 2103 | 5884 1507.65/1508.10 c 1505s | 20 | 2720520 | 723727 | 105227 14 | 2103 | 5884 1509.85/1510.21 c 1507s | 20 | 2724306 | 724827 | 105227 14 | 2103 | 5884 1511.95/1512.32 c 1509s | 20 | 2729084 | 725927 | 105227 14 | 2103 | 5884 1513.95/1514.39 c 1511s | 20 | 2732832 | 726827 | 105227 14 | 2103 | 5884 1516.05/1516.40 c 1513s | 20 | 2736720 | 727927 | 105227 14 | 2103 | 5884 1518.15/1518.53 c 1515s | 20 | 2740356 | 729027 | 105227 14 | 2103 | 5884 1520.15/1520.58 c 1517s | 20 | 2744801 | 730227 | 105227 14 | 2103 | 5884 1522.25/1522.66 c 1520s | 20 | 2749331 | 731427 | 105227 14 | 2103 | 5884 1524.35/1524.78 c 1522s | 20 | 2752167 | 732327 | 105227 14 | 2103 | 5884 1526.45/1526.86 c 1524s | 20 | 2756098 | 733227 | 105227 14 | 2103 | 5884 1528.65/1529.04 c 1526s | 20 | 2759696 | 734127 | 105227 14 | 2103 | 5884 1530.65/1531.09 c 1528s | 20 | 2763582 | 735127 | 105227 14 | 2103 | 5884 1532.75/1533.15 c 1530s | 20 | 2766782 | 736027 | 105227 14 | 2103 | 5884 1534.75/1535.17 c 1532s | 20 | 2769099 | 736727 | 105227 14 | 2103 | 5884 1536.85/1537.29 c 1534s | 20 | 2771225 | 737527 | 105227 14 | 2103 | 5884 1539.05/1539.47 c 1536s | 20 | 2774428 | 738327 | 105227 14 | 2103 | 5884 1541.15/1541.58 c 1538s | 20 | 2778091 | 739227 | 105227 14 | 2103 | 5884 1543.24/1543.63 c 1541s | 20 | 2781337 | 740127 | 105227 14 | 2103 | 5884 1545.44/1545.81 c 1543s | 20 | 2783977 | 741027 | 105227 14 | 2103 | 5884 1547.54/1547.95 c 1545s | 20 | 2787101 | 741927 | 105227 14 | 2103 | 5884 1549.74/1550.13 c 1547s | 20 | 2789763 | 742727 | 105227 14 | 2103 | 5884 1551.94/1552.33 c 1549s | 20 | 2792502 | 743527 | 105227 14 | 2103 | 5884 1554.14/1554.51 c 1551s | 20 | 2795802 | 744427 | 105227 14 | 2103 | 5884 1556.25/1556.61 c 1554s | 20 | 2798742 | 745227 | 105227 14 | 2103 | 5884 1558.35/1558.76 c 1556s | 20 | 2801474 | 746027 | 105227 14 | 2103 | 5884 1561.94/1562.31 c 1559s | 20 | 2802308 | 746327 | 105227 14 | 2103 | 5884 1564.24/1564.63 c 1562s | 20 | 2804836 | 747127 | 105227 14 | 2103 | 5884 1566.64/1567.05 c 1564s | 20 | 2806811 | 747727 | 105227 14 | 2103 | 5884 1568.74/1569.16 c 1566s | 20 | 2808670 | 748327 | 105227 14 | 2103 | 5884 1574.63/1575.07 c 1572s | 20 | 2809963 | 748727 | 105227 14 | 2103 | 5884 1576.84/1577.24 c 1574s | 20 | 2811174 | 749027 | 105227 14 | 2103 | 5884 1579.13/1579.58 c 1576s | 20 | 2811912 | 749227 | 105227 14 | 2103 | 5884 1582.64/1583.04 c 1580s | 20 | 2812692 | 749427 | 105227 14 | 2103 | 5884 1584.74/1585.17 c 1582s | 20 | 2816698 | 750427 | 105227 14 | 2103 | 5884 1586.83/1587.22 c 1584s | 20 | 2820389 | 751427 | 105227 14 | 2103 | 5884 1589.04/1589.42 c 1586s | 20 | 2823771 | 752127 | 105227 14 | 2103 | 5884 1591.35/1591.70 c 1589s | 20 | 2827495 | 753027 | 105227 14 | 2103 | 5884 1593.44/1593.89 c 1591s | 20 | 2831387 | 754127 | 105227 14 | 2103 | 5884 1595.64/1596.03 c 1593s | 20 | 2836333 | 755527 | 105227 14 | 2103 | 5884 1597.74/1598.14 c 1595s | 20 | 2839277 | 756427 | 105227 14 | 2103 | 5884 1599.84/1600.25 c 1597s | 20 | 2843417 | 757527 | 105227 14 | 2103 | 5884 1601.94/1602.35 c 1599s | 20 | 2846471 | 758527 | 105227 14 | 2103 | 5884 1604.04/1604.48 c 1601s | 20 | 2849828 | 759627 | 105227 14 | 2103 | 5884 1606.14/1606.50 c 1603s | 20 | 2853152 | 760427 | 105227 14 | 2103 | 5884 1608.14/1608.54 c 1605s | 20 | 2857996 | 761627 | 105227 14 | 2103 | 5884 1610.14/1610.56 c 1607s | 20 | 2862898 | 762827 | 105227 14 | 2103 | 5884 1612.24/1612.64 c 1610s | 20 | 2866701 | 763927 | 105227 14 | 2103 | 5884 1614.34/1614.75 c 1612s | 20 | 2870007 | 764927 | 105227 14 | 2103 | 5884 1616.53/1616.90 c 1614s | 20 | 2873027 | 765927 | 105227 14 | 2103 | 5884 1618.73/1619.10 c 1616s | 20 | 2876608 | 766927 | 105227 14 | 2103 | 5884 1620.73/1621.15 c 1618s | 20 | 2880004 | 767927 | 105227 14 | 2103 | 5884 1622.83/1623.29 c 1620s | 20 | 2882613 | 768727 | 105227 14 | 2103 | 5884 1625.03/1625.44 c 1622s | 20 | 2885504 | 769627 | 105227 14 | 2103 | 5884 1627.43/1627.87 c 1625s | 20 | 2888162 | 770327 | 105227 15 | 2103 | 5884 1629.84/1630.25 c 1627s | 20 | 2888595 | 770427 | 105227 15 | 2103 | 5884 1632.03/1632.48 c 1629s | 20 | 2889588 | 770727 | 105227 15 | 2103 | 5884 1636.23/1636.65 c 1634s | 20 | 2893806 | 771927 | 105227 15 | 2103 | 5884 1638.22/1638.65 c 1636s | 20 | 2897810 | 773127 | 105227 15 | 2103 | 5884 1640.22/1640.68 c 1638s | 20 | 2903494 | 774827 | 105227 15 | 2103 | 5884 1642.23/1642.69 c 1640s | 20 | 2908176 | 776227 | 105227 15 | 2103 | 5884 1645.13/1645.55 c 1642s | 20 | 2908761 | 776427 | 105227 15 | 2103 | 5884 1647.23/1647.62 c 1645s | 20 | 2914783 | 777927 | 105227 15 | 2103 | 5884 1649.23/1649.64 c 1647s | 20 | 2919674 | 779327 | 105227 15 | 2103 | 5884 1651.33/1651.72 c 1649s | 20 | 2925773 | 781127 | 105227 15 | 2103 | 5884 1653.33/1653.72 c 1651s | 20 | 2930423 | 782627 | 105227 15 | 2103 | 5884 1655.32/1655.78 c 1653s | 20 | 2934100 | 783927 | 105227 15 | 2103 | 5884 1657.43/1657.82 c 1655s | 20 | 2939149 | 785427 | 105227 15 | 2103 | 5884 1659.42/1659.84 c 1657s | 20 | 2944153 | 786827 | 105227 15 | 2103 | 5884 1661.52/1661.96 c 1659s | 20 | 2948103 | 788227 | 105227 15 | 2103 | 5884 1663.62/1664.01 c 1661s | 20 | 2953524 | 789527 | 105227 15 | 2103 | 5884 1665.72/1666.12 c 1663s | 20 | 2957158 | 790627 | 105227 15 | 2103 | 5884 1667.72/1668.16 c 1665s | 20 | 2962389 | 792027 | 105227 15 | 2103 | 5884 1669.72/1670.17 c 1667s | 20 | 2966642 | 793227 | 105227 15 | 2103 | 5884 1671.82/1672.25 c 1669s | 20 | 2970280 | 794427 | 105227 15 | 2103 | 5884 1673.93/1674.37 c 1671s | 20 | 2974193 | 795627 | 105227 15 | 2103 | 5884 1676.13/1676.52 c 1673s | 20 | 2978350 | 796927 | 105227 15 | 2103 | 5884 1678.23/1678.65 c 1676s | 20 | 2981971 | 797927 | 105227 15 | 2103 | 5884 1680.43/1680.82 c 1678s | 20 | 2985498 | 798827 | 105227 15 | 2103 | 5884 1682.52/1682.96 c 1680s | 20 | 2989484 | 799827 | 105227 15 | 2103 | 5884 1684.62/1685.03 c 1682s | 20 | 2991411 | 800527 | 105227 15 | 2103 | 5884 1686.62/1687.08 c 1684s | 20 | 2993384 | 801127 | 105227 15 | 2103 | 5884 1688.92/1689.33 c 1686s | 20 | 2996302 | 802027 | 105227 15 | 2103 | 5884 1691.12/1691.57 c 1688s | 20 | 2998546 | 802827 | 105227 15 | 2103 | 5884 1693.22/1693.62 c 1691s | 20 | 3000941 | 803527 | 105227 15 | 2103 | 5884 1695.22/1695.65 c 1693s | 20 | 3003999 | 804327 | 105227 15 | 2103 | 5884 1697.32/1697.79 c 1695s | 20 | 3006682 | 805127 | 105227 15 | 2103 | 5884 1699.42/1699.82 c 1697s | 20 | 3010476 | 806127 | 105227 15 | 2103 | 5884 1701.42/1701.87 c 1699s | 20 | 3013837 | 807027 | 105227 15 | 2103 | 5884 1703.62/1704.06 c 1701s | 20 | 3016894 | 807927 | 105227 15 | 2103 | 5884 1705.82/1706.30 c 1703s | 20 | 3021098 | 808827 | 105227 15 | 2103 | 5884 1708.02/1708.44 c 1705s | 20 | 3024639 | 809727 | 105227 15 | 2103 | 5884 1710.22/1710.63 c 1708s | 20 | 3027782 | 810627 | 105227 15 | 2103 | 5884 1712.21/1712.63 c 1710s | 20 | 3031239 | 811527 | 105227 15 | 2103 | 5884 1714.41/1714.86 c 1712s | 20 | 3033897 | 812427 | 105227 15 | 2103 | 5884 1716.41/1716.89 c 1714s | 20 | 3036468 | 813127 | 105227 15 | 2103 | 5884 1718.71/1719.11 c 1716s | 20 | 3039117 | 813927 | 105227 15 | 2103 | 5884 1720.91/1721.31 c 1718s | 20 | 3042020 | 814827 | 105227 15 | 2103 | 5884 1723.01/1723.40 c 1720s | 20 | 3044040 | 815527 | 105227 15 | 2103 | 5884 1725.11/1725.57 c 1722s | 20 | 3047034 | 816327 | 105227 15 | 2103 | 5884 1727.31/1727.74 c 1725s | 20 | 3050762 | 817227 | 105227 15 | 2103 | 5884 1729.31/1729.75 c 1727s | 20 | 3053120 | 817927 | 105227 15 | 2103 | 5884 1731.31/1731.80 c 1729s | 20 | 3055553 | 818727 | 105227 15 | 2103 | 5884 1733.41/1733.84 c 1731s | 20 | 3057392 | 819227 | 105227 15 | 2103 | 5884 1735.41/1735.86 c 1733s | 20 | 3059793 | 819927 | 105227 15 | 2103 | 5884 1737.61/1738.02 c 1735s | 20 | 3061855 | 820627 | 105227 15 | 2103 | 5884 1739.81/1740.22 c 1737s | 20 | 3064088 | 821327 | 105227 15 | 2103 | 5884 1741.91/1742.38 c 1739s | 20 | 3066302 | 822027 | 105227 15 | 2103 | 5884 1744.21/1744.64 c 1742s | 20 | 3068196 | 822727 | 105227 15 | 2103 | 5884 1746.21/1746.66 c 1744s | 20 | 3069977 | 823427 | 105227 15 | 2103 | 5884 1748.41/1748.89 c 1746s | 20 | 3071479 | 824027 | 105227 15 | 2103 | 5884 1750.81/1751.20 c 1748s | 20 | 3072831 | 824627 | 105227 15 | 2103 | 5884 1752.81/1753.24 c 1750s | 20 | 3073992 | 825127 | 105227 15 | 2103 | 5884 1755.10/1755.53 c 1752s | 20 | 3075814 | 825827 | 105227 15 | 2103 | 5884 1757.20/1757.63 c 1755s | 20 | 3077442 | 826427 | 105227 15 | 2103 | 5884 1763.20/1763.63 c 1761s | 20 | 3078089 | 826627 | 105227 15 | 2103 | 5884 1765.30/1765.72 c 1763s | 20 | 3079563 | 827027 | 105227 15 | 2103 | 5884 1767.41/1767.88 c 1765s | 20 | 3081127 | 827527 | 105227 15 | 2103 | 5884 1770.30/1770.79 c 1768s | 20 | 3081606 | 827627 | 105227 16 | 2103 | 5884 1772.40/1772.84 c 1770s | 20 | 3082256 | 827827 | 105227 16 | 2103 | 5884 1777.50/1777.93 c 1775s | 20 | 3082869 | 827927 | 105227 16 | 2103 | 5884 1779.90/1780.37 c 1777s | 20 | 3084731 | 828527 | 105227 16 | 2103 | 5884 1782.00/1782.48 c 1779s | 20 | 3086933 | 829127 | 105227 16 | 2103 | 5884 1784.20/1784.67 c 1782s | 20 | 3089971 | 829927 | 105227 16 | 2103 | 5884 1786.50/1786.92 c 1784s | 20 | 3093753 | 830927 | 105227 16 | 2103 | 5884 1788.50/1788.93 c 1786s | 20 | 3097100 | 831827 | 105227 16 | 2103 | 5884 1790.51/1790.97 c 1788s | 20 | 3100050 | 832627 | 105227 16 | 2103 | 5884 1792.61/1793.02 c 1790s | 20 | 3102701 | 833527 | 105227 16 | 2103 | 5884 1794.70/1795.12 c 1792s | 20 | 3105097 | 834427 | 105227 16 | 2103 | 5884 1796.70/1797.15 c 1794s | 20 | 3107923 | 835227 | 105227 16 | 2103 | 5884 1799.10/1799.54 c 1796s | 20 | 3110849 | 836127 | 105227 16 | 2103 | 5884
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-4079828-1465248178/watcher-4079828-1465248178 -o /tmp/evaluation-result-4079828-1465248178/solver-4079828-1465248178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079828-1465248178.opb pid=12351 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.05 2.01 4/179 12354 /proc/meminfo: memFree=30391936/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=693692 CPUtime=0 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 2579 0 0 0 0 0 0 0 20 0 4 0 106751245 710340608 3451 33554432000 4194304 16246674 140733957482656 140733957482080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 173935 3459 441 2943 0 170829 0 [pid=12354/tid=12355] ppid=12351 vsize=711100 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 728166400 3521 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 732360704 3538 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 736555008 3554 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.12 2.05 2.01 4/179 12354 /proc/meminfo: memFree=30391936/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 26051 0 0 0 5 4 0 0 20 0 4 0 106751245 1333334016 26861 33554432000 4194304 16246674 140733957482656 140733957481968 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 325521 26872 799 2943 0 322415 0 [pid=12354/tid=12355] ppid=12351 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1333334016 26880 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1333334016 26887 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1333334016 26898 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200514 s] /proc/loadavg: 2.12 2.05 2.01 4/179 12354 /proc/meminfo: memFree=30391936/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 46510 0 0 0 12 7 0 0 20 0 4 0 106751245 1344868352 47830 33554432000 4194304 16246674 140733957482656 140733957481968 14795916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 328337 47830 800 2943 0 325231 0 [pid=12354/tid=12355] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47830 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47830 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47830 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300474 s] /proc/loadavg: 2.12 2.05 2.01 4/179 12354 /proc/meminfo: memFree=30391936/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 46652 0 0 0 22 7 0 0 20 0 4 0 106751245 1344868352 47972 33554432000 4194304 16246674 140733957482656 140733957480512 12457334 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 328337 47972 832 2943 0 325231 0 [pid=12354/tid=12355] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47972 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47972 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 47972 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700409 s] /proc/loadavg: 2.12 2.05 2.01 4/179 12354 /proc/meminfo: memFree=30391936/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 106263 0 0 0 55 14 0 0 20 0 4 0 106751245 1344868352 107584 33554432000 4194304 16246674 140733957482656 140733957480512 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 328337 107598 838 2943 0 325231 0 [pid=12354/tid=12355] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 107607 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 107615 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 107623 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.19 2.07 2.01 3/183 12358 /proc/meminfo: memFree=29894852/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 123261 0 0 0 132 17 0 0 20 0 4 0 106751245 1344868352 124581 33554432000 4194304 16246674 140733957482656 140733957464576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 328337 124581 908 2943 0 325231 0 [pid=12354/tid=12355] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 124581 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 124581 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 124581 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10037 s] /proc/loadavg: 2.19 2.07 2.01 3/183 12358 /proc/meminfo: memFree=29808284/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 171784 0 0 0 286 23 0 0 20 0 4 0 106751245 1344868352 173104 33554432000 4194304 16246674 140733957482656 140733957464576 5721783 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 328337 173104 908 2943 0 325231 0 [pid=12354/tid=12355] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 173104 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 173104 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1344868352 173104 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30042 s] /proc/loadavg: 2.19 2.07 2.01 3/183 12358 /proc/meminfo: memFree=29309064/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1316420 CPUtime=6.29 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 269579 0 0 0 591 38 0 0 20 0 4 0 106751245 1348014080 270899 33554432000 4194304 16246674 140733957482656 140733957464576 6022799 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 329105 270899 908 2943 0 325999 0 [pid=12354/tid=12355] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 270899 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 270899 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 270899 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.16 2.07 2.01 3/183 12358 /proc/meminfo: memFree=29308624/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1316420 CPUtime=12.69 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 269802 0 0 0 1230 39 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 140733957481752 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 329105 271122 911 2943 0 325999 0 [pid=12354/tid=12355] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.14 2.06 2.01 3/183 12358 /proc/meminfo: memFree=29309420/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1316420 CPUtime=25.49 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 269802 0 0 0 2509 40 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 140733957464512 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 329105 271122 911 2943 0 325999 0 [pid=12354/tid=12355] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.09 2.06 2.01 3/183 12407 /proc/meminfo: memFree=29452388/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 269807 0 0 0 5067 41 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 140733957464576 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 329105 271122 911 2943 0 325999 0 [pid=12354/tid=12355] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1348014080 271122 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.03 2.05 2.00 3/183 12408 /proc/meminfo: memFree=29420828/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1339972 CPUtime=102.27 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 275715 0 0 0 10174 53 0 0 20 0 4 0 106751245 1372131328 277013 33554432000 4194304 16246674 140733957482656 140733957464576 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 334993 277013 914 2943 0 331887 0 [pid=12354/tid=12355] ppid=12351 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1372131328 277013 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1372131328 277013 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1372131328 277013 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1339972 ################ # More data... # ################ /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1441348 [startup+1302.3 s] /proc/loadavg: 2.20 2.12 2.02 3/183 12438 /proc/meminfo: memFree=29228064/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1301.98 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 129911 287 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5673807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1441348 [startup+1362.3 s] /proc/loadavg: 2.28 2.15 2.04 3/183 12439 /proc/meminfo: memFree=29227600/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1361.97 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 135884 313 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1441348 [startup+1422.3 s] /proc/loadavg: 2.22 2.15 2.04 3/183 12440 /proc/meminfo: memFree=29227452/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1421.97 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 141880 317 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1441348 [startup+1482.3 s] /proc/loadavg: 2.21 2.15 2.05 3/182 12441 /proc/meminfo: memFree=29227492/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1481.95 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 147878 317 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1441348 [startup+1542.31 s] /proc/loadavg: 2.07 2.12 2.04 3/183 12443 /proc/meminfo: memFree=29227736/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1541.95 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 153877 318 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5674851 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1441348 [startup+1602.3 s] /proc/loadavg: 2.08 2.11 2.04 3/183 12444 /proc/meminfo: memFree=29227620/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1601.94 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 159854 340 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1441348 [startup+1662.3 s] /proc/loadavg: 2.03 2.09 2.04 3/184 12448 /proc/meminfo: memFree=29227292/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1661.92 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301256 0 0 0 165828 364 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 140733957464576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302358 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302358 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1441348 [startup+1722.3 s] /proc/loadavg: 2.01 2.07 2.03 3/183 12449 /proc/meminfo: memFree=29226492/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1721.91 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301257 0 0 0 171827 364 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 140733957464576 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302361 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1441348 [startup+1782.3 s] /proc/loadavg: 2.06 2.07 2.03 3/183 12450 /proc/meminfo: memFree=29227032/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1781.9 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301257 0 0 0 177824 366 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 140733957481752 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302361 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1441348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.05 2.07 2.03 3/183 12451 /proc/meminfo: memFree=29227300/32872528 swapFree=11196/354588 [pid=12354] ppid=12351 vsize=1441348 CPUtime=1800 cores=1,3,5,7 /proc/12354/stat : 12354 (toysat) R 12351 12354 8429 0 -1 4202496 301257 0 0 0 179634 366 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 140733957464576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12354/statm: 360337 302361 915 2943 0 357231 0 [pid=12354/tid=12355] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12355/stat : 12355 (toysat) S 12351 12354 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970194943216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=12354/tid=12356] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12356/stat : 12356 (toysat) S 12351 12354 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970184453360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=12354/tid=12357] ppid=12351 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/12354/task/12357/stat : 12357 (toysat) S 12351 12354 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106751245 1475940352 302361 33554432000 4194304 16246674 140733957482656 139970098490544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1441348 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 12354 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1796.35 CPU system time (s): 3.66544 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1441348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.35 system time used= 3.66544 maximum resident set size= 1209444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 301257 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= 236 involuntary context switches= 1856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.50232 second user time and 7.01993 second system time The end
Begin job on node126 at 2016-06-06 23:22:58 IDJOB=4079828 IDBENCH=24973 IDSOLVER=2542 FILE ID=node126/4079828-1465248178 RUNJOBID= node126-1465218023-8446 PBS_JOBID= 19843210 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079828-1465248178/watcher-4079828-1465248178 -o /tmp/evaluation-result-4079828-1465248178/solver-4079828-1465248178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079828-1465248178.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=718877534 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 30392216 kB Buffers: 52052 kB Cached: 138176 kB SwapCached: 2248 kB Active: 1315696 kB Inactive: 106484 kB Active(anon): 1231508 kB Inactive(anon): 2388 kB Active(file): 84188 kB Inactive(file): 104096 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098548 kB Dirty: 17472 kB Writeback: 0 kB AnonPages: 1584792 kB Mapped: 10748 kB Shmem: 0 kB Slab: 568364 kB SReclaimable: 12544 kB SUnreclaim: 555820 kB KernelStack: 1504 kB PageTables: 7644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1726900 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1566720 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 node126 at 2016-06-06 23:52:58