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.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
| MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
| 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 | 1.9487 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 12852 |
| Total number of constraints | 41686 |
| Number of constraints which are clauses | 41686 |
| 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 | 6267 |
| 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 | 6267 |
| 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 | 6267 |
| 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:55:47+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-4079853-1465250147.opb"] 0.00/0.01 c use --random-gen="3655139215 41137394 2722023428 256666940 2952431603 1907312128 1919709765 2547904852 3313381373 4124792741 503745056 3719932637 4218238846 1820747072 3987656115 703449832 133683963 1124061567 277267361 2464135533 4091003944 1615343756 1934881066 4169806214 1872853350 799213515 3343099100 1898386429 2060712948 61201525 3698299418 4283518195 115577143 2006303983 2520723648 4188795868 435407234 369846820 224787496 3357108699 2739278939 1952276428 486695734 2439927618 3493855412 3976534995 1448952704 1045544327 212328315 2231755341 1765530548 3956649367 3757120060 1773170536 4129577534 2816035587 862750070 1651548625 724969108 1145361521 4248584264 3588191434 2933796456 154115847 2815653707 1870140860 1819381905 2011551182 2806523707 4194219318 2374844715 4241588368 1430809136 2131722037 882884431 1193034186 212731150 2641297412 2263037528 1258728758 3046169525 4150939907 2105297473 2185590169 2838900034 381780304 2174592733 2945809654 1063218878 864446744 1088108792 1590952949 3199959513 1604701465 1391028268 4066942687 633027845 2213672317 1467253051 4016559047 2484382079 3163891644 3267414096 2435140081 136709953 1767779030 2256248412 1813666049 2329963649 1466293106 2897061007 3002265465 2615570135 3684700925 447761864 3316796720 2508258462 3137000994 3965067533 4042310769 916588634 1517535351 1361073616 991626227 1859098816 489433546 112931865 4234185743 1272389273 702195313 816038497 765757419 4234501939 3735609855 2862682913 696159906 2392287705 55493379 1127794435 3774350387 1460668982 318889958 291051054 84122170 485535734 4072986487 3253953279 2669564284 2230283179 3810258842 2199562877 338874256 345028584 2745910093 2187637889 358924191 1673805590 1186222722 1004739547 1234233762 6390103 3778963858 3469131836 3896169167 930990512 666846313 2206333267 3630675032 867657986 3187324613 3532419223 4053702256 3558645199 3469228491 2270094996 2345173932 3647291180 2420392806 484727257 3745804430 2625558935 4047863094 3315583248 1219955936 628861187 2080769247 2550074815 4175184873 2748214578 1347086139 2965814996 2843124600 1580836302 2668171391 3060999023 2292767841 269573034 1810391395 642359137 1435669334 1992528994 1126461251 3773122385 479263621 2467468430 3566415605 1476101376 833779326 602743976 1040742197 416632521 2084283085 3260521514 3690980727 3678120650 2968254435 3782434279 1067303921 996522531 1443331066 2086798339 2852971836 1300873635 3168641120 2975123452 2082999171 1912188908 2146771891 3269308502 3429371345 1049271279 4208398695 18983179 1108259890 663922699 730195139 1809486494 632018228 117078962 4245442528 2363942500 2211550887 986718011 76439346 712145133 2745883588 2226184520 1432071036 2170622465 3017089036 336504571 484514665 786231779 2480267365 2444490992 1829623184 255 362436" option to reproduce the execution 0.18/0.28 c #vars 12852 0.18/0.28 c #constraints 41686 0.69/0.79 c BCD2: Hardening is enabled. 0.69/0.79 c BCD2: BiasedSearch is enabled. 0.69/0.79 c Solving starts ... 0.69/0.79 c ============================[ Search Statistics ]============================ 0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.79 c | | | | Limit GC | Var | Constra 0.69/0.79 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 0 0.89/0.97 c 0.2s | 0 | 2768 | 0 | 17781 0 | 2388 | 5622 0.89/0.97 c #cpu_time = 0.182s 0.89/0.97 c #wall_clock_time = 0.183s 0.89/0.97 c #decision = 2768 0.89/0.97 c #random_decision = 9 0.89/0.97 c #conflict = 0 0.89/0.97 c #restart = 0 0.89/0.97 o 2770 0.99/1.02 c BCD2: updating upper bound: 6267 -> 2769 0.99/1.07 c BCD2: 0 <= obj <= 2769 0.99/1.07 c BCD2: #cores=0, #unrelaxed=6267, #relaxed=0, #hardened=0 0.99/1.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.99/1.07 c Solving starts ... 0.99/1.07 c ============================[ Search Statistics ]============================ 0.99/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.07 c | | | | Limit GC | Var | Constra 0.99/1.07 c ============================================================================= 0.99/1.07 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 0.99/1.09 c 0.0s | 0 | 30 | 1 | 17781 0 | 2388 | 5622 0.99/1.09 c #cpu_time = 0.021s 0.99/1.09 c #wall_clock_time = 0.021s 0.99/1.09 c #decision = 30 0.99/1.09 c #random_decision = 0 0.99/1.09 c #conflict = 1 0.99/1.09 c #restart = 0 0.99/1.09 c BCD2: found a new core of size 4: cost of the new core is >=1 0.99/1.09 c lower bound updated to 1 0.99/1.09 c BCD2: 1 <= obj <= 2769 0.99/1.09 c BCD2: #cores=1, #unrelaxed=6263, #relaxed=4, #hardened=0 0.99/1.09 c BCD2: #sat=1 #unsat=2 bias=2/3 0.99/1.10 c Solving starts ... 0.99/1.10 c ============================[ Search Statistics ]============================ 0.99/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.10 c | | | | Limit GC | Var | Constra 0.99/1.10 c ============================================================================= 0.99/1.10 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.10/1.11 c 0.0s | 0 | 33 | 0 | 17781 0 | 2388 | 5622 1.10/1.11 c #cpu_time = 0.012s 1.10/1.11 c #wall_clock_time = 0.012s 1.10/1.11 c #decision = 33 1.10/1.11 c #random_decision = 0 1.10/1.11 c #conflict = 0 1.10/1.11 c #restart = 0 1.10/1.11 c BCD2: found a new core of size 15: cost of the new core is >=1 1.10/1.11 c lower bound updated to 2 1.10/1.12 c BCD2: 2 <= obj <= 2769 1.10/1.12 c BCD2: #cores=2, #unrelaxed=6248, #relaxed=19, #hardened=0 1.10/1.12 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 17781 0 | 2388 | 5622 1.10/1.13 c 0.0s | 0 | 29 | 0 | 17781 0 | 2388 | 5622 1.10/1.13 c #cpu_time = 0.011s 1.10/1.13 c #wall_clock_time = 0.011s 1.10/1.13 c #decision = 29 1.10/1.13 c #random_decision = 0 1.10/1.13 c #conflict = 0 1.10/1.13 c #restart = 0 1.10/1.13 c BCD2: found a new core of size 9: cost of the new core is >=1 1.10/1.13 c lower bound updated to 3 1.10/1.13 c BCD2: 3 <= obj <= 2769 1.10/1.13 c BCD2: #cores=3, #unrelaxed=6239, #relaxed=28, #hardened=0 1.10/1.13 c BCD2: #sat=1 #unsat=4 bias=4/5 1.10/1.13 c Solving starts ... 1.10/1.13 c ============================[ Search Statistics ]============================ 1.10/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.13 c | | | | Limit GC | Var | Constra 1.10/1.13 c ============================================================================= 1.10/1.13 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.10/1.15 c 0.0s | 0 | 89 | 0 | 17781 0 | 2388 | 5622 1.10/1.15 c #cpu_time = 0.018s 1.10/1.15 c #wall_clock_time = 0.018s 1.10/1.15 c #decision = 89 1.10/1.15 c #random_decision = 0 1.10/1.15 c #conflict = 0 1.10/1.15 c #restart = 0 1.10/1.15 c BCD2: found a new core of size 9: cost of the new core is >=1 1.10/1.15 c lower bound updated to 4 1.10/1.15 c BCD2: 4 <= obj <= 2769 1.10/1.15 c BCD2: #cores=4, #unrelaxed=6230, #relaxed=37, #hardened=0 1.10/1.15 c BCD2: #sat=1 #unsat=5 bias=5/6 1.10/1.15 c Solving starts ... 1.10/1.15 c ============================[ Search Statistics ]============================ 1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.15 c | | | | Limit GC | Var | Constra 1.10/1.15 c ============================================================================= 1.10/1.15 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.10/1.17 c 0.0s | 0 | 111 | 0 | 17781 0 | 2388 | 5622 1.10/1.17 c #cpu_time = 0.012s 1.10/1.17 c #wall_clock_time = 0.012s 1.10/1.17 c #decision = 111 1.10/1.17 c #random_decision = 0 1.10/1.17 c #conflict = 0 1.10/1.17 c #restart = 0 1.10/1.17 c BCD2: found a new core of size 9: cost of the new core is >=1 1.10/1.17 c lower bound updated to 5 1.10/1.17 c BCD2: 5 <= obj <= 2769 1.10/1.17 c BCD2: #cores=5, #unrelaxed=6221, #relaxed=46, #hardened=0 1.10/1.17 c BCD2: #sat=1 #unsat=6 bias=6/7 1.10/1.17 c Solving starts ... 1.10/1.17 c ============================[ Search Statistics ]============================ 1.10/1.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.17 c | | | | Limit GC | Var | Constra 1.10/1.17 c ============================================================================= 1.10/1.17 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.10/1.18 c 0.0s | 0 | 216 | 0 | 17781 0 | 2388 | 5622 1.10/1.18 c #cpu_time = 0.013s 1.10/1.18 c #wall_clock_time = 0.013s 1.10/1.18 c #decision = 216 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 32: cost of the new core is >=1 1.10/1.19 c lower bound updated to 6 1.10/1.19 c BCD2: 6 <= obj <= 2769 1.10/1.19 c BCD2: #cores=6, #unrelaxed=6189, #relaxed=78, #hardened=0 1.10/1.19 c BCD2: #sat=1 #unsat=7 bias=7/8 1.10/1.19 c Solving starts ... 1.10/1.19 c ============================[ Search Statistics ]============================ 1.10/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.19 c | | | | Limit GC | Var | Constra 1.10/1.19 c ============================================================================= 1.10/1.19 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.10/1.20 c 0.0s | 0 | 227 | 0 | 17781 0 | 2388 | 5622 1.10/1.20 c #cpu_time = 0.012s 1.10/1.20 c #wall_clock_time = 0.012s 1.10/1.20 c #decision = 227 1.10/1.20 c #random_decision = 0 1.10/1.20 c #conflict = 0 1.10/1.20 c #restart = 0 1.10/1.20 c BCD2: found a new core of size 3: cost of the new core is >=1 1.10/1.20 c lower bound updated to 7 1.20/1.20 c BCD2: 7 <= obj <= 2769 1.20/1.20 c BCD2: #cores=7, #unrelaxed=6186, #relaxed=81, #hardened=0 1.20/1.20 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 17781 0 | 2388 | 5622 1.20/1.22 c 0.0s | 0 | 687 | 0 | 17781 0 | 2388 | 5622 1.20/1.22 c #cpu_time = 0.014s 1.20/1.22 c #wall_clock_time = 0.014s 1.20/1.22 c #decision = 687 1.20/1.22 c #random_decision = 0 1.20/1.22 c #conflict = 0 1.20/1.22 c #restart = 0 1.20/1.22 c BCD2: found a new core of size 9: cost of the new core is >=1 1.20/1.22 c lower bound updated to 8 1.20/1.23 c BCD2: 8 <= obj <= 2769 1.20/1.23 c BCD2: #cores=8, #unrelaxed=6177, #relaxed=90, #hardened=0 1.20/1.23 c BCD2: #sat=1 #unsat=9 bias=9/10 1.20/1.23 c Solving starts ... 1.20/1.23 c ============================[ Search Statistics ]============================ 1.20/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.23 c | | | | Limit GC | Var | Constra 1.20/1.23 c ============================================================================= 1.20/1.23 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.20/1.25 c 0.0s | 0 | 1097 | 0 | 17781 0 | 2388 | 5622 1.20/1.25 c #cpu_time = 0.021s 1.20/1.25 c #wall_clock_time = 0.021s 1.20/1.25 c #decision = 1097 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 3: cost of the new core is >=1 1.20/1.25 c lower bound updated to 9 1.20/1.25 c BCD2: 9 <= obj <= 2769 1.20/1.25 c BCD2: #cores=9, #unrelaxed=6174, #relaxed=93, #hardened=0 1.20/1.25 c BCD2: #sat=1 #unsat=10 bias=10/11 1.20/1.25 c Solving starts ... 1.20/1.25 c ============================[ Search Statistics ]============================ 1.20/1.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.25 c | | | | Limit GC | Var | Constra 1.20/1.25 c ============================================================================= 1.20/1.25 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.20/1.27 c 0.0s | 0 | 1871 | 0 | 17781 0 | 2388 | 5622 1.20/1.27 c #cpu_time = 0.017s 1.20/1.27 c #wall_clock_time = 0.017s 1.20/1.27 c #decision = 1871 1.20/1.27 c #random_decision = 0 1.20/1.27 c #conflict = 0 1.20/1.27 c #restart = 0 1.20/1.27 c BCD2: found a new core of size 38: cost of the new core is >=1 1.20/1.27 c lower bound updated to 10 1.20/1.28 c BCD2: 10 <= obj <= 2769 1.20/1.28 c BCD2: #cores=10, #unrelaxed=6136, #relaxed=131, #hardened=0 1.20/1.28 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 17781 0 | 2388 | 5622 1.20/1.29 c 0.0s | 0 | 2088 | 0 | 17781 0 | 2388 | 5622 1.20/1.29 c #cpu_time = 0.017s 1.20/1.29 c #wall_clock_time = 0.017s 1.20/1.29 c #decision = 2088 1.20/1.29 c #random_decision = 0 1.20/1.29 c #conflict = 0 1.20/1.29 c #restart = 0 1.20/1.29 c BCD2: found a new core of size 88: cost of the new core is >=1 1.20/1.29 c lower bound updated to 11 1.29/1.30 c BCD2: 11 <= obj <= 2769 1.29/1.30 c BCD2: #cores=11, #unrelaxed=6048, #relaxed=219, #hardened=0 1.29/1.30 c BCD2: #sat=1 #unsat=12 bias=12/13 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.29/1.32 c 0.0s | 0 | 2100 | 0 | 17781 0 | 2388 | 5622 1.29/1.32 c #cpu_time = 0.016s 1.29/1.32 c #wall_clock_time = 0.016s 1.29/1.32 c #decision = 2100 1.29/1.32 c #random_decision = 0 1.29/1.32 c #conflict = 0 1.29/1.32 c #restart = 0 1.29/1.32 c BCD2: found a new core of size 115: cost of the new core is >=1 1.29/1.32 c lower bound updated to 12 1.29/1.32 c BCD2: 12 <= obj <= 2769 1.29/1.32 c BCD2: #cores=12, #unrelaxed=5933, #relaxed=334, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=13 bias=13/14 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.29/1.33 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.29/1.34 c 0.0s | 0 | 2027 | 0 | 17781 0 | 2388 | 5622 1.29/1.34 c #cpu_time = 0.015s 1.29/1.34 c #wall_clock_time = 0.015s 1.29/1.34 c #decision = 2027 1.29/1.34 c #random_decision = 0 1.29/1.34 c #conflict = 0 1.29/1.34 c #restart = 0 1.29/1.34 c BCD2: found a new core of size 59: cost of the new core is >=1 1.29/1.34 c lower bound updated to 13 1.29/1.34 c BCD2: 13 <= obj <= 2769 1.29/1.34 c BCD2: #cores=13, #unrelaxed=5874, #relaxed=393, #hardened=0 1.29/1.34 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 17781 0 | 2388 | 5622 1.29/1.37 c 0.0s | 0 | 2792 | 0 | 17781 0 | 2388 | 5622 1.29/1.37 c #cpu_time = 0.024s 1.29/1.37 c #wall_clock_time = 0.024s 1.29/1.37 c #decision = 2792 1.29/1.37 c #random_decision = 0 1.29/1.37 c #conflict = 0 1.29/1.37 c #restart = 0 1.29/1.37 c BCD2: found a new core of size 117: cost of the new core is >=1 1.29/1.37 c lower bound updated to 14 1.29/1.37 c BCD2: 14 <= obj <= 2769 1.29/1.37 c BCD2: #cores=14, #unrelaxed=5757, #relaxed=510, #hardened=0 1.29/1.37 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 17781 0 | 2388 | 5622 1.29/1.39 c 0.0s | 0 | 3058 | 0 | 17781 0 | 2388 | 5622 1.29/1.39 c #cpu_time = 0.017s 1.29/1.39 c #wall_clock_time = 0.017s 1.29/1.39 c #decision = 3058 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 53: cost of the new core is >=1 1.29/1.39 c lower bound updated to 15 1.39/1.40 c BCD2: 15 <= obj <= 2769 1.39/1.40 c BCD2: #cores=15, #unrelaxed=5704, #relaxed=563, #hardened=0 1.39/1.40 c BCD2: #sat=1 #unsat=16 bias=16/17 1.39/1.40 c Solving starts ... 1.39/1.40 c ============================[ Search Statistics ]============================ 1.39/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.40 c | | | | Limit GC | Var | Constra 1.39/1.40 c ============================================================================= 1.39/1.40 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.39/1.42 c 0.0s | 0 | 3014 | 0 | 17781 0 | 2388 | 5622 1.39/1.42 c #cpu_time = 0.016s 1.39/1.42 c #wall_clock_time = 0.016s 1.39/1.42 c #decision = 3014 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 7: cost of the new core is >=1 1.39/1.42 c lower bound updated to 16 1.39/1.43 c BCD2: 16 <= obj <= 2769 1.39/1.43 c BCD2: #cores=16, #unrelaxed=5697, #relaxed=570, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=17 bias=17/18 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.39/1.45 c 0.0s | 0 | 3393 | 0 | 17781 0 | 2388 | 5622 1.39/1.45 c #cpu_time = 0.017s 1.39/1.45 c #wall_clock_time = 0.018s 1.39/1.45 c #decision = 3393 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 81: cost of the new core is >=1 1.39/1.45 c lower bound updated to 17 1.39/1.45 c BCD2: 17 <= obj <= 2769 1.39/1.45 c BCD2: #cores=17, #unrelaxed=5616, #relaxed=651, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=18 bias=18/19 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 | 17781 0 | 2388 | 5622 1.39/1.47 c 0.0s | 0 | 3621 | 0 | 17781 0 | 2388 | 5622 1.39/1.47 c #cpu_time = 0.017s 1.39/1.47 c #wall_clock_time = 0.018s 1.39/1.47 c #decision = 3621 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: found a new core of size 27: cost of the new core is >=1 1.39/1.47 c lower bound updated to 18 1.39/1.47 c BCD2: 18 <= obj <= 2769 1.39/1.47 c BCD2: #cores=18, #unrelaxed=5589, #relaxed=678, #hardened=0 1.39/1.47 c BCD2: #sat=1 #unsat=19 bias=19/20 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.49/1.50 c 0.0s | 0 | 3921 | 0 | 17781 0 | 2388 | 5622 1.49/1.50 c #cpu_time = 0.025s 1.49/1.50 c #wall_clock_time = 0.025s 1.49/1.50 c #decision = 3921 1.49/1.50 c #random_decision = 0 1.49/1.50 c #conflict = 0 1.49/1.50 c #restart = 0 1.49/1.50 c BCD2: found a new core of size 46: cost of the new core is >=1 1.49/1.50 c lower bound updated to 19 1.49/1.50 c BCD2: 19 <= obj <= 2769 1.49/1.50 c BCD2: #cores=19, #unrelaxed=5543, #relaxed=724, #hardened=0 1.49/1.50 c BCD2: #sat=1 #unsat=20 bias=20/21 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.51 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.49/1.53 c 0.0s | 0 | 4037 | 0 | 17781 0 | 2388 | 5622 1.49/1.53 c #cpu_time = 0.018s 1.49/1.53 c #wall_clock_time = 0.018s 1.49/1.53 c #decision = 4037 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 0 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 59: cost of the new core is >=1 1.49/1.53 c lower bound updated to 20 1.49/1.53 c BCD2: 20 <= obj <= 2769 1.49/1.53 c BCD2: #cores=20, #unrelaxed=5484, #relaxed=783, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=21 bias=21/22 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.53 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.49/1.56 c 0.0s | 0 | 4309 | 0 | 17781 0 | 2388 | 5622 1.49/1.56 c #cpu_time = 0.019s 1.49/1.56 c #wall_clock_time = 0.019s 1.49/1.56 c #decision = 4309 1.49/1.56 c #random_decision = 0 1.49/1.56 c #conflict = 0 1.49/1.56 c #restart = 0 1.49/1.56 c BCD2: found a new core of size 35: cost of the new core is >=1 1.49/1.56 c lower bound updated to 21 1.49/1.56 c BCD2: 21 <= obj <= 2769 1.49/1.56 c BCD2: #cores=21, #unrelaxed=5449, #relaxed=818, #hardened=0 1.49/1.56 c BCD2: #sat=1 #unsat=22 bias=22/23 1.49/1.56 c Solving starts ... 1.49/1.56 c ============================[ Search Statistics ]============================ 1.49/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.56 c | | | | Limit GC | Var | Constra 1.49/1.56 c ============================================================================= 1.49/1.56 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5622 1.59/1.60 c 0.0s | 0 | 5685 | 4 | 17781 0 | 2388 | 5622 1.59/1.60 c #cpu_time = 0.033s 1.59/1.60 c #wall_clock_time = 0.033s 1.59/1.60 c #decision = 5685 1.59/1.60 c #random_decision = 3 1.59/1.60 c #conflict = 4 1.59/1.60 c #restart = 0 1.59/1.60 o 51 1.59/1.61 c BCD2: updating upper bound: 2769 -> 50 1.59/1.63 c BCD2: 21 <= obj <= 50 1.59/1.63 c BCD2: #cores=21, #unrelaxed=5449, #relaxed=818, #hardened=0 1.59/1.63 c BCD2: #sat=2 #unsat=22 bias=22/24 1.59/1.63 c Solving starts ... 1.59/1.63 c ============================[ Search Statistics ]============================ 1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.63 c | | | | Limit GC | Var | Constra 1.59/1.63 c ============================================================================= 1.59/1.64 c 0.0s | 0 | 0 | 0 | 17781 0 | 2388 | 5623 1.69/1.74 c 0.1s | 1 | 13541 | 100 | 19560 0 | 2388 | 5623 1.79/1.88 c 0.2s | 1 | 22470 | 232 | 19560 0 | 2388 | 5623 1.79/1.88 c #cpu_time = 0.236s 1.79/1.88 c #wall_clock_time = 0.236s 1.79/1.88 c #decision = 22470 1.79/1.88 c #random_decision = 3 1.79/1.88 c #conflict = 232 1.79/1.88 c #restart = 1 1.79/1.88 o 39 1.79/1.88 c BCD2: updating upper bound: 50 -> 38 1.89/1.91 c BCD2: 21 <= obj <= 38 1.89/1.91 c BCD2: #cores=21, #unrelaxed=5449, #relaxed=818, #hardened=0 1.89/1.91 c BCD2: #sat=3 #unsat=22 bias=22/25 1.89/1.91 c Solving starts ... 1.89/1.91 c ============================[ Search Statistics ]============================ 1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.91 c | | | | Limit GC | Var | Constra 1.89/1.91 c ============================================================================= 1.89/1.91 c 0.0s | 0 | 0 | 0 | 19560 0 | 2388 | 5624 1.89/1.95 c 0.0s | 0 | 6766 | 5 | 19560 0 | 2388 | 5624 1.89/1.95 c #cpu_time = 0.040s 1.89/1.95 c #wall_clock_time = 0.040s 1.89/1.95 c #decision = 6766 1.89/1.95 c #random_decision = 0 1.89/1.95 c #conflict = 5 1.89/1.95 c #restart = 0 1.89/1.95 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 25: cost of the new core is >=3 1.89/1.95 c lower bound updated to 22 1.89/1.95 c BCD2: 22 <= obj <= 38 1.89/1.95 c BCD2: #cores=20, #unrelaxed=5443, #relaxed=824, #hardened=0 1.89/1.95 c BCD2: #sat=3 #unsat=23 bias=23/26 1.89/1.95 c Solving starts ... 1.89/1.95 c ============================[ Search Statistics ]============================ 1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.95 c | | | | Limit GC | Var | Constra 1.89/1.95 c ============================================================================= 1.89/1.95 c 0.0s | 0 | 0 | 0 | 19560 0 | 2397 | 5624 2.09/2.11 c 0.2s | 0 | 18116 | 74 | 21516 0 | 2398 | 6665 2.09/2.11 c #cpu_time = 0.158s 2.09/2.11 c #wall_clock_time = 0.159s 2.09/2.11 c #decision = 18116 2.09/2.11 c #random_decision = 1 2.09/2.11 c #conflict = 74 2.09/2.11 c #restart = 0 2.09/2.11 c BCD2: relaxing 88 and merging with 7 cores into a new core of size 348: cost of the new core is >=10 2.09/2.11 c lower bound updated to 23 2.09/2.12 c BCD2: 23 <= obj <= 38 2.09/2.12 c BCD2: #cores=14, #unrelaxed=5355, #relaxed=912, #hardened=0 2.09/2.12 c BCD2: #sat=3 #unsat=24 bias=24/27 2.09/2.12 c Solving starts ... 2.09/2.12 c ============================[ Search Statistics ]============================ 2.09/2.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.12 c | | | | Limit GC | Var | Constra 2.09/2.12 c ============================================================================= 2.09/2.12 c 0.0s | 0 | 0 | 0 | 21516 0 | 2421 | 6665 2.19/2.23 c 0.1s | 1 | 4537 | 100 | 21516 0 | 2421 | 6704 2.39/2.40 c 0.3s | 2 | 10604 | 250 | 23668 0 | 2421 | 6704 2.59/2.67 c 0.6s | 3 | 17564 | 475 | 23668 0 | 2421 | 6704 2.99/3.06 c 0.9s | 4 | 24852 | 813 | 26035 0 | 2421 | 6704 3.79/3.85 c 1.7s | 5 | 38996 | 1320 | 28639 0 | 2421 | 6704 4.40/4.42 c 2.3s | 6 | 51727 | 2081 | 31503 0 | 2421 | 6704 5.29/5.38 c 3.3s | 7 | 67960 | 3223 | 34654 0 | 2421 | 6704 6.79/6.85 c 4.7s | 8 | 90627 | 4936 | 38120 0 | 2421 | 6704 8.79/8.88 c 6.8s | 8 | 115165 | 6936 | 38120 0 | 2421 | 6704 9.39/9.41 c 7.3s | 9 | 119335 | 7506 | 41932 0 | 2421 | 6704 11.49/11.52 c 9.4s | 9 | 141481 | 9506 | 41932 0 | 2421 | 6704 13.19/13.27 c 11.2s | 10 | 162707 | 11361 | 46126 0 | 2421 | 6704 15.29/15.31 c 13.2s | 10 | 180470 | 13061 | 46126 0 | 2421 | 6704 17.29/17.39 c 15.3s | 10 | 195441 | 14961 | 46126 0 | 2421 | 6704 19.39/19.41 c 17.3s | 10 | 207735 | 16561 | 46126 0 | 2421 | 6704 19.99/20.02 c 17.9s | 11 | 213360 | 17144 | 50739 0 | 2421 | 6704 21.99/22.10 c 20.0s | 11 | 237096 | 19144 | 50739 0 | 2421 | 6704 24.08/24.15 c 22.0s | 11 | 251542 | 20844 | 50739 0 | 2421 | 6704 26.18/26.21 c 24.1s | 11 | 262379 | 22344 | 50739 0 | 2421 | 6704 28.18/28.25 c 26.1s | 11 | 277699 | 23844 | 50739 0 | 2421 | 6704 30.28/30.30 c 28.2s | 11 | 294851 | 25444 | 55813 0 | 2421 | 6704 30.68/30.78 c 28.7s | 12 | 298041 | 25819 | 55813 0 | 2421 | 6704 32.78/32.86 c 30.7s | 12 | 314560 | 27319 | 55813 0 | 2421 | 6704 34.78/34.89 c 32.8s | 12 | 326493 | 28919 | 55813 0 | 2421 | 6704 36.88/36.98 c 34.9s | 12 | 339619 | 30519 | 55813 0 | 2421 | 6704 38.98/39.07 c 37.0s | 12 | 346689 | 31919 | 55813 0 | 2421 | 6704 41.08/41.10 c 39.0s | 12 | 353805 | 33219 | 55813 0 | 2421 | 6704 43.08/43.16 c 41.0s | 12 | 359503 | 34419 | 55813 0 | 2421 | 6704 45.19/45.28 c 43.2s | 12 | 372532 | 35919 | 55813 0 | 2421 | 6704 47.18/47.28 c 45.2s | 12 | 385085 | 37219 | 55813 0 | 2421 | 6704 49.28/49.33 c 47.2s | 12 | 392966 | 38519 | 61395 0 | 2421 | 6704 49.78/49.81 c 47.7s | 13 | 395138 | 38832 | 61395 0 | 2421 | 6704 51.88/51.92 c 49.8s | 13 | 408901 | 40232 | 61395 0 | 2421 | 6704 53.88/53.96 c 51.8s | 13 | 418367 | 41532 | 61395 0 | 2421 | 6704 55.98/56.07 c 54.0s | 13 | 426007 | 42732 | 61395 0 | 2421 | 6704 58.08/58.18 c 56.1s | 13 | 433081 | 44032 | 61395 0 | 2421 | 6704 60.08/60.19 c 58.1s | 13 | 443929 | 45432 | 61395 0 | 2421 | 6704 62.18/62.21 c 60.1s | 13 | 455754 | 46932 | 61395 0 | 2421 | 6704 64.18/64.23 c 62.1s | 13 | 467371 | 48332 | 61395 0 | 2421 | 6704 66.17/66.27 c 64.2s | 13 | 473473 | 49432 | 61395 0 | 2421 | 6704 68.28/68.31 c 66.2s | 13 | 483712 | 50732 | 61395 0 | 2421 | 6704 70.27/70.33 c 68.2s | 13 | 492764 | 52032 | 61395 0 | 2421 | 6704 72.37/72.48 c 70.4s | 13 | 501508 | 53232 | 61395 0 | 2421 | 6704 74.47/74.53 c 72.4s | 13 | 509660 | 54432 | 61395 0 | 2421 | 6704 76.47/76.58 c 74.5s | 13 | 515171 | 55532 | 61395 0 | 2421 | 6704 78.57/78.66 c 76.5s | 13 | 522450 | 56732 | 61395 0 | 2421 | 6704 80.67/80.77 c 78.7s | 13 | 529061 | 57832 | 67535 0 | 2421 | 6704 81.77/81.88 c 79.8s | 14 | 531762 | 58352 | 67535 0 | 2421 | 6704 83.97/84.02 c 81.9s | 14 | 543762 | 59452 | 67535 0 | 2421 | 6704 86.07/86.18 c 84.1s | 14 | 551199 | 60552 | 67535 0 | 2421 | 6704 88.17/88.26 c 86.1s | 14 | 563412 | 61952 | 67535 0 | 2421 | 6704 90.28/90.32 c 88.2s | 14 | 575711 | 63352 | 67535 0 | 2421 | 6704 92.27/92.40 c 90.3s | 14 | 585419 | 64752 | 67535 0 | 2421 | 6704 94.47/94.52 c 92.4s | 14 | 591614 | 66052 | 67535 0 | 2421 | 6704 96.57/96.66 c 94.5s | 14 | 599614 | 67052 | 67535 0 | 2421 | 6704 98.87/98.90 c 96.8s | 14 | 606328 | 68052 | 67535 0 | 2421 | 6704 100.87/100.98 c 98.9s | 14 | 614309 | 69152 | 67535 0 | 2421 | 6704 103.17/103.21 c 101s | 14 | 624368 | 70252 | 67535 0 | 2421 | 6704 105.27/105.37 c 103s | 14 | 630701 | 71152 | 67535 0 | 2421 | 6704 107.47/107.58 c 105s | 14 | 638262 | 72252 | 67535 0 | 2421 | 6704 109.57/109.64 c 107s | 14 | 642963 | 73152 | 67535 0 | 2421 | 6704 111.77/111.88 c 109s | 14 | 649121 | 74152 | 67535 0 | 2421 | 6704 113.87/113.91 c 111s | 14 | 653347 | 74952 | 67535 0 | 2421 | 6704 115.87/115.95 c 113s | 14 | 659462 | 75852 | 67535 0 | 2421 | 6704 117.87/117.96 c 115s | 14 | 664067 | 76652 | 67535 0 | 2421 | 6704 120.07/120.16 c 118s | 14 | 668888 | 77552 | 67535 0 | 2421 | 6704 122.17/122.21 c 120s | 14 | 677641 | 78552 | 67535 1 | 2421 | 6704 129.47/129.58 c 127s | 14 | 680773 | 78852 | 67535 1 | 2421 | 6704 131.57/131.63 c 129s | 14 | 695036 | 80752 | 67535 1 | 2421 | 6704 135.97/136.08 c 133s | 14 | 702304 | 81852 | 67535 1 | 2421 | 6704 138.07/138.11 c 135s | 14 | 710987 | 83052 | 67535 1 | 2421 | 6704 140.17/140.21 c 138s | 14 | 720834 | 84552 | 67535 1 | 2421 | 6704 142.17/142.22 c 140s | 14 | 730430 | 85852 | 67535 1 | 2421 | 6704 145.06/145.12 c 143s | 14 | 734432 | 86652 | 67535 1 | 2421 | 6704 146.56/146.66 c 144s | 15 | 741840 | 87632 | 74289 1 | 2421 | 6704 148.66/148.73 c 146s | 15 | 755001 | 88832 | 74289 1 | 2421 | 6704 150.77/150.80 c 148s | 15 | 764099 | 90132 | 74289 1 | 2421 | 6704 152.87/152.97 c 150s | 15 | 771661 | 91432 | 74289 1 | 2421 | 6704 158.07/158.19 c 156s | 15 | 776730 | 92132 | 74289 1 | 2421 | 6704 160.27/160.32 c 158s | 15 | 786572 | 93432 | 74289 1 | 2421 | 6704 162.27/162.36 c 160s | 15 | 794228 | 94532 | 74289 1 | 2421 | 6704 164.37/164.47 c 162s | 15 | 801276 | 95532 | 74289 1 | 2421 | 6704 166.57/166.60 c 164s | 15 | 810127 | 96732 | 74289 1 | 2421 | 6704 168.57/168.68 c 166s | 15 | 817787 | 97932 | 74289 1 | 2421 | 6704 170.67/170.76 c 168s | 15 | 823990 | 99132 | 74289 1 | 2421 | 6704 172.77/172.81 c 170s | 15 | 833805 | 100332 | 74289 1 | 2421 | 6704 174.87/174.91 c 172s | 15 | 839706 | 101332 | 74289 1 | 2421 | 6704 176.87/176.98 c 174s | 15 | 844808 | 102232 | 74289 1 | 2421 | 6704 178.97/179.05 c 176s | 15 | 851484 | 103232 | 74289 1 | 2421 | 6704 181.07/181.12 c 178s | 15 | 856906 | 104232 | 74289 1 | 2421 | 6704 183.07/183.14 c 181s | 15 | 862800 | 105232 | 74289 1 | 2421 | 6704 185.16/185.20 c 183s | 15 | 869268 | 106332 | 74289 1 | 2421 | 6704 187.16/187.25 c 185s | 15 | 876323 | 107432 | 74289 1 | 2421 | 6704 189.36/189.48 c 187s | 15 | 881274 | 108332 | 74289 1 | 2421 | 6704 191.56/191.67 c 189s | 15 | 887623 | 109232 | 74289 1 | 2421 | 6704 193.67/193.74 c 191s | 15 | 891574 | 110032 | 74289 1 | 2421 | 6704 195.96/196.06 c 193s | 15 | 896084 | 110832 | 74289 1 | 2421 | 6704 197.97/198.06 c 195s | 15 | 901678 | 111632 | 74289 1 | 2421 | 6704 199.96/200.07 c 197s | 15 | 906003 | 112432 | 74289 1 | 2421 | 6704 202.16/202.22 c 200s | 15 | 914313 | 113432 | 74289 1 | 2421 | 6704 204.26/204.32 c 202s | 15 | 917999 | 114232 | 74289 1 | 2421 | 6704 206.46/206.59 c 204s | 15 | 925027 | 115132 | 74289 1 | 2421 | 6704 208.76/208.81 c 206s | 15 | 930900 | 116032 | 74289 1 | 2421 | 6704 210.76/210.83 c 208s | 15 | 935193 | 116832 | 74289 1 | 2421 | 6704 212.96/213.05 c 210s | 15 | 938942 | 117632 | 74289 1 | 2421 | 6704 215.36/215.41 c 213s | 15 | 942366 | 118332 | 74289 1 | 2421 | 6704 217.36/217.45 c 215s | 15 | 947438 | 119132 | 74289 1 | 2421 | 6704 219.56/219.61 c 217s | 15 | 951249 | 120032 | 74289 1 | 2421 | 6704 221.56/221.67 c 219s | 15 | 955597 | 120832 | 74289 1 | 2421 | 6704 223.76/223.85 c 221s | 15 | 960874 | 121832 | 74289 1 | 2421 | 6704 225.76/225.86 c 223s | 15 | 966366 | 122732 | 74289 1 | 2421 | 6704 227.96/228.09 c 225s | 15 | 973914 | 123832 | 74289 1 | 2421 | 6704 230.06/230.12 c 228s | 15 | 978346 | 124732 | 74289 1 | 2421 | 6704 232.06/232.17 c 230s | 15 | 981827 | 125432 | 74289 2 | 2421 | 6704 239.65/239.78 c 237s | 15 | 983294 | 125732 | 74289 2 | 2421 | 6704 243.56/243.66 c 241s | 15 | 990497 | 126632 | 74289 2 | 2421 | 6704 245.55/245.68 c 243s | 15 | 999492 | 127832 | 74289 2 | 2421 | 6704 247.66/247.72 c 245s | 15 | 1005869 | 128732 | 74289 2 | 2421 | 6704 249.76/249.88 c 247s | 15 | 1010171 | 129432 | 74289 2 | 2421 | 6704 251.96/252.04 c 249s | 15 | 1013882 | 130032 | 74289 2 | 2421 | 6704 254.06/254.13 c 252s | 15 | 1023118 | 131332 | 81718 2 | 2421 | 6704 254.35/254.47 c 252s | 16 | 1024201 | 131552 | 81718 2 | 2421 | 6704 256.65/256.71 c 254s | 16 | 1033799 | 132452 | 81718 2 | 2421 | 6704 258.65/258.74 c 256s | 16 | 1042284 | 133752 | 81718 2 | 2421 | 6704 260.76/260.81 c 258s | 16 | 1050416 | 135052 | 81718 2 | 2421 | 6704 262.86/262.91 c 260s | 16 | 1057081 | 136252 | 81718 2 | 2421 | 6704 264.85/264.94 c 262s | 16 | 1064047 | 137452 | 81718 2 | 2421 | 6704 266.95/267.07 c 264s | 16 | 1074830 | 138852 | 81718 2 | 2421 | 6704 269.05/269.19 c 267s | 16 | 1083293 | 140252 | 81718 2 | 2421 | 6704 271.35/271.42 c 269s | 16 | 1089645 | 141352 | 81718 2 | 2421 | 6704 273.35/273.45 c 271s | 16 | 1098392 | 142652 | 81718 2 | 2421 | 6704 275.45/275.55 c 273s | 16 | 1109394 | 144052 | 81718 2 | 2421 | 6704 277.55/277.65 c 275s | 16 | 1121853 | 145352 | 81718 2 | 2421 | 6704 279.65/279.79 c 277s | 16 | 1128276 | 146352 | 81718 2 | 2421 | 6704 281.75/281.87 c 279s | 16 | 1135475 | 147552 | 81718 2 | 2421 | 6704 283.85/283.91 c 281s | 16 | 1142952 | 148552 | 81718 2 | 2421 | 6704 285.85/285.96 c 283s | 16 | 1150046 | 149752 | 81718 2 | 2421 | 6704 287.95/288.08 c 285s | 16 | 1155675 | 150852 | 81718 2 | 2421 | 6704 290.14/290.21 c 288s | 16 | 1162205 | 151852 | 81718 2 | 2421 | 6704 292.24/292.33 c 290s | 16 | 1166992 | 152752 | 81718 2 | 2421 | 6704 294.44/294.50 c 292s | 16 | 1173033 | 153752 | 81718 2 | 2421 | 6704 296.44/296.56 c 294s | 16 | 1177593 | 154652 | 81718 2 | 2421 | 6704 298.44/298.58 c 296s | 16 | 1181980 | 155552 | 81718 2 | 2421 | 6704 300.44/300.59 c 298s | 16 | 1186641 | 156452 | 81718 2 | 2421 | 6704 302.74/302.83 c 300s | 16 | 1190236 | 157352 | 81718 2 | 2421 | 6704 304.84/304.94 c 302s | 16 | 1194245 | 158252 | 81718 2 | 2421 | 6704 306.85/306.98 c 304s | 16 | 1201890 | 159252 | 81718 2 | 2421 | 6704 309.05/309.14 c 307s | 16 | 1207151 | 160352 | 81718 2 | 2421 | 6704 311.14/311.21 c 309s | 16 | 1218836 | 161652 | 81718 2 | 2421 | 6704 313.24/313.33 c 311s | 16 | 1231334 | 163052 | 81718 2 | 2421 | 6704 315.34/315.47 c 313s | 16 | 1238611 | 164152 | 81718 2 | 2421 | 6704 317.43/317.53 c 315s | 16 | 1245638 | 165152 | 81718 2 | 2421 | 6704 319.44/319.58 c 317s | 16 | 1252547 | 166252 | 81718 2 | 2421 | 6704 321.63/321.71 c 319s | 16 | 1262523 | 167252 | 81718 2 | 2421 | 6704 323.63/323.74 c 321s | 16 | 1273460 | 168452 | 81718 2 | 2421 | 6704 325.73/325.82 c 323s | 16 | 1284894 | 169652 | 81718 2 | 2421 | 6704 327.84/327.99 c 325s | 16 | 1292370 | 170752 | 81718 2 | 2421 | 6704 330.04/330.12 c 328s | 16 | 1302553 | 171952 | 81718 2 | 2421 | 6704 332.03/332.15 c 330s | 16 | 1308996 | 172852 | 81718 2 | 2421 | 6704 334.13/334.24 c 332s | 16 | 1315372 | 173952 | 81718 2 | 2421 | 6704 336.12/336.28 c 334s | 16 | 1323783 | 174952 | 81718 3 | 2421 | 6704 338.23/338.37 c 336s | 16 | 1330336 | 175852 | 81718 3 | 2421 | 6704 340.43/340.51 c 338s | 16 | 1338253 | 177152 | 81718 3 | 2421 | 6704 342.52/342.61 c 340s | 16 | 1345917 | 178452 | 81718 3 | 2421 | 6704 344.62/344.77 c 342s | 16 | 1353367 | 179752 | 81718 3 | 2421 | 6704 348.63/348.75 c 346s | 16 | 1354386 | 179952 | 81718 3 | 2421 | 6704 350.72/350.90 c 348s | 16 | 1361968 | 181152 | 81718 3 | 2421 | 6704 352.82/352.99 c 350s | 16 | 1367184 | 182252 | 81718 3 | 2421 | 6704 354.92/355.08 c 352s | 16 | 1374785 | 183452 | 81718 3 | 2421 | 6704 357.01/357.20 c 355s | 16 | 1380746 | 184652 | 81718 3 | 2421 | 6704 359.21/359.32 c 357s | 16 | 1385441 | 185752 | 81718 3 | 2421 | 6704 361.21/361.38 c 359s | 16 | 1392627 | 186852 | 81718 3 | 2421 | 6704 363.31/363.43 c 361s | 16 | 1398469 | 187852 | 81718 3 | 2421 | 6704 365.41/365.59 c 363s | 16 | 1403216 | 188852 | 81718 3 | 2421 | 6704 372.21/372.35 c 370s | 16 | 1404463 | 189152 | 81718 3 | 2421 | 6704 374.31/374.41 c 372s | 16 | 1408397 | 189952 | 81718 3 | 2421 | 6704 376.31/376.44 c 374s | 16 | 1412676 | 190752 | 81718 3 | 2421 | 6704 381.02/381.17 c 379s | 16 | 1416680 | 191252 | 81718 3 | 2421 | 6704 383.22/383.37 c 381s | 16 | 1423155 | 192552 | 81718 3 | 2421 | 6704 385.42/385.52 c 383s | 16 | 1429752 | 193652 | 81718 3 | 2421 | 6704 387.62/387.71 c 385s | 16 | 1440519 | 194852 | 81718 3 | 2421 | 6704 389.61/389.77 c 387s | 16 | 1443683 | 195752 | 89890 3 | 2421 | 6704 391.71/391.83 c 389s | 16 | 1449474 | 196752 | 89890 3 | 2421 | 6704 392.72/392.89 c 390s | 17 | 1454809 | 197432 | 89890 3 | 2421 | 6704 396.02/396.18 c 394s | 17 | 1462408 | 198032 | 89890 3 | 2421 | 6704 403.02/403.11 c 400s | 17 | 1462628 | 198132 | 89890 3 | 2421 | 6704 405.11/405.25 c 403s | 17 | 1468624 | 199232 | 89890 3 | 2421 | 6704 407.11/407.27 c 405s | 17 | 1475295 | 200432 | 89890 3 | 2421 | 6704 409.12/409.29 c 407s | 17 | 1482161 | 201432 | 89890 3 | 2421 | 6704 411.42/411.57 c 409s | 17 | 1488121 | 202332 | 89890 3 | 2421 | 6704 413.52/413.62 c 411s | 17 | 1495027 | 203332 | 89890 3 | 2421 | 6704 415.61/415.79 c 413s | 17 | 1502674 | 204532 | 89890 3 | 2421 | 6704 417.92/418.05 c 415s | 17 | 1507082 | 205332 | 89890 3 | 2421 | 6704 420.01/420.14 c 418s | 17 | 1510032 | 205632 | 89890 3 | 2421 | 6704 422.21/422.36 c 420s | 17 | 1517914 | 206932 | 89890 3 | 2421 | 6704 424.41/424.53 c 422s | 17 | 1523447 | 208032 | 89890 3 | 2421 | 6704 426.72/426.81 c 424s | 17 | 1531348 | 209232 | 89890 3 | 2421 | 6704 428.81/428.91 c 426s | 17 | 1536107 | 210132 | 89890 3 | 2421 | 6704 430.81/430.94 c 428s | 17 | 1543434 | 211332 | 89890 3 | 2421 | 6704 432.91/433.09 c 430s | 17 | 1549649 | 212332 | 89890 3 | 2421 | 6704 435.01/435.19 c 433s | 17 | 1556648 | 213432 | 89890 3 | 2421 | 6704 437.11/437.24 c 435s | 17 | 1562829 | 214432 | 89890 3 | 2421 | 6704 439.21/439.36 c 437s | 17 | 1569624 | 215532 | 89890 3 | 2421 | 6704 441.41/441.56 c 439s | 17 | 1576001 | 216332 | 89890 3 | 2421 | 6704 443.61/443.70 c 441s | 17 | 1581432 | 217332 | 89890 3 | 2421 | 6704 445.61/445.79 c 443s | 17 | 1587979 | 218332 | 89890 3 | 2421 | 6704 447.90/448.06 c 445s | 17 | 1593852 | 219432 | 89890 3 | 2421 | 6704 450.00/450.11 c 447s | 17 | 1599190 | 220432 | 89890 3 | 2421 | 6704 452.11/452.28 c 450s | 17 | 1602837 | 221232 | 89890 3 | 2421 | 6704 454.10/454.29 c 452s | 17 | 1607299 | 222032 | 89890 3 | 2421 | 6704 456.20/456.34 c 454s | 17 | 1611388 | 222732 | 89890 3 | 2421 | 6704 458.30/458.48 c 456s | 17 | 1616853 | 223632 | 89890 3 | 2421 | 6704 460.60/460.70 c 458s | 17 | 1623654 | 224532 | 89890 3 | 2421 | 6704 462.70/462.85 c 460s | 17 | 1629948 | 225332 | 89890 3 | 2421 | 6704 464.80/464.92 c 462s | 17 | 1636000 | 226132 | 89890 3 | 2421 | 6704 466.80/466.95 c 464s | 17 | 1644469 | 227332 | 89890 3 | 2421 | 6704 469.00/469.10 c 466s | 17 | 1649271 | 228232 | 89890 3 | 2421 | 6704 471.40/471.58 c 469s | 17 | 1661255 | 229432 | 89890 4 | 2421 | 6704 474.39/474.55 c 472s | 17 | 1662418 | 229632 | 89890 4 | 2421 | 6704 476.49/476.63 c 474s | 17 | 1671003 | 230932 | 89890 4 | 2421 | 6704 478.50/478.67 c 476s | 17 | 1673679 | 231632 | 89890 4 | 2421 | 6704 492.89/493.09 c 490s | 17 | 1676606 | 232032 | 89890 4 | 2421 | 6704 494.99/495.18 c 493s | 17 | 1684927 | 233432 | 89890 4 | 2421 | 6704 497.19/497.35 c 495s | 17 | 1691952 | 234732 | 89890 4 | 2421 | 6704 499.29/499.44 c 497s | 17 | 1701474 | 236032 | 89890 4 | 2421 | 6704 501.29/501.48 c 499s | 17 | 1708606 | 237232 | 89890 4 | 2421 | 6704 503.49/503.61 c 501s | 17 | 1723593 | 238832 | 89890 4 | 2421 | 6704 505.59/505.72 c 503s | 17 | 1731901 | 240132 | 89890 4 | 2421 | 6704 507.68/507.87 c 505s | 17 | 1735934 | 241032 | 89890 4 | 2421 | 6704 509.78/509.94 c 507s | 17 | 1742739 | 242132 | 89890 4 | 2421 | 6704 511.88/512.08 c 509s | 17 | 1750942 | 243532 | 89890 4 | 2421 | 6704 513.98/514.18 c 512s | 17 | 1761091 | 244832 | 89890 4 | 2421 | 6704 516.08/516.22 c 514s | 17 | 1772099 | 246232 | 89890 4 | 2421 | 6704 518.18/518.39 c 516s | 17 | 1780987 | 247532 | 89890 4 | 2421 | 6704 520.29/520.49 c 518s | 17 | 1790356 | 248732 | 89890 4 | 2421 | 6704 522.39/522.60 c 520s | 17 | 1798131 | 249832 | 89890 4 | 2421 | 6704 524.48/524.66 c 522s | 17 | 1805616 | 250932 | 89890 4 | 2421 | 6704 526.68/526.81 c 524s | 17 | 1813607 | 252132 | 89890 4 | 2421 | 6704 528.68/528.83 c 526s | 17 | 1820329 | 253132 | 89890 4 | 2421 | 6704 530.68/530.85 c 528s | 17 | 1826452 | 254232 | 89890 4 | 2421 | 6704 532.88/533.04 c 530s | 17 | 1835443 | 255432 | 89890 4 | 2421 | 6704 534.98/535.17 c 533s | 17 | 1843094 | 256532 | 89890 4 | 2421 | 6704 537.08/537.22 c 535s | 17 | 1849219 | 257532 | 89890 4 | 2421 | 6704 539.08/539.24 c 537s | 17 | 1854616 | 258632 | 89890 4 | 2421 | 6704 541.28/541.42 c 539s | 17 | 1861017 | 259632 | 89890 4 | 2421 | 6704 543.29/543.46 c 541s | 17 | 1868283 | 260532 | 89890 4 | 2421 | 6704 545.38/545.52 c 543s | 17 | 1873158 | 261432 | 89890 4 | 2421 | 6704 547.48/547.62 c 545s | 17 | 1879292 | 262532 | 89890 4 | 2421 | 6704 549.68/549.82 c 547s | 17 | 1885957 | 263632 | 89890 4 | 2421 | 6704 551.78/551.91 c 549s | 17 | 1890854 | 264532 | 89890 4 | 2421 | 6704 553.87/554.08 c 551s | 17 | 1897591 | 265532 | 89890 4 | 2421 | 6704 555.97/556.16 c 554s | 17 | 1902335 | 266332 | 89890 4 | 2421 | 6704 557.97/558.18 c 556s | 17 | 1906970 | 267232 | 89890 4 | 2421 | 6704 560.17/560.32 c 558s | 17 | 1913777 | 268232 | 89890 4 | 2421 | 6704 562.27/562.44 c 560s | 17 | 1920518 | 269332 | 89890 4 | 2421 | 6704 564.47/564.63 c 562s | 17 | 1927433 | 270432 | 89890 4 | 2421 | 6704 566.57/566.75 c 564s | 17 | 1937192 | 271532 | 89890 4 | 2421 | 6704 568.77/568.92 c 566s | 17 | 1943934 | 272532 | 89890 4 | 2421 | 6704 570.78/570.97 c 568s | 17 | 1951896 | 273632 | 89890 4 | 2421 | 6704 572.87/573.01 c 570s | 17 | 1959692 | 274732 | 89890 4 | 2421 | 6704 574.87/575.07 c 572s | 17 | 1965405 | 275632 | 89890 4 | 2421 | 6704 577.07/577.28 c 575s | 17 | 1968909 | 276432 | 89890 4 | 2421 | 6704 579.17/579.35 c 577s | 17 | 1977728 | 277532 | 89890 4 | 2421 | 6704 581.37/581.51 c 579s | 17 | 1983127 | 278432 | 89890 4 | 2421 | 6704 583.47/583.61 c 581s | 17 | 1988238 | 279332 | 89890 4 | 2421 | 6704 585.57/585.77 c 583s | 17 | 1992525 | 280032 | 89890 5 | 2421 | 6704 595.57/595.75 c 593s | 17 | 1995194 | 280532 | 89890 5 | 2421 | 6704 597.57/597.77 c 595s | 17 | 2002903 | 281532 | 89890 5 | 2421 | 6704 599.97/600.14 c 598s | 17 | 2007931 | 282132 | 89890 5 | 2421 | 6704 601.97/602.14 c 600s | 17 | 2015439 | 283332 | 89890 5 | 2421 | 6704 604.17/604.31 c 602s | 17 | 2026500 | 284732 | 89890 5 | 2421 | 6704 606.17/606.34 c 604s | 17 | 2032782 | 285932 | 89890 5 | 2421 | 6704 608.17/608.38 c 606s | 17 | 2038655 | 286932 | 89890 5 | 2421 | 6704 610.27/610.45 c 608s | 17 | 2047648 | 288332 | 89890 5 | 2421 | 6704 612.36/612.50 c 610s | 17 | 2055159 | 289732 | 89890 5 | 2421 | 6704 614.36/614.56 c 612s | 17 | 2061313 | 290632 | 89890 5 | 2421 | 6704 616.46/616.61 c 614s | 17 | 2072778 | 291932 | 89890 5 | 2421 | 6704 618.56/618.72 c 616s | 17 | 2079162 | 293032 | 89890 5 | 2421 | 6704 620.66/620.89 c 618s | 17 | 2085680 | 294132 | 98880 5 | 2421 | 6704 622.86/623.05 c 620s | 17 | 2091886 | 295232 | 98880 5 | 2421 | 6704 624.96/625.11 c 622s | 17 | 2097839 | 296232 | 98880 5 | 2421 | 6704 624.96/625.16 c 623s | 18 | 2097955 | 296252 | 98880 5 | 2421 | 6704 634.56/634.71 c 632s | 18 | 2103526 | 296452 | 98880 5 | 2421 | 6704 636.65/636.86 c 634s | 18 | 2108649 | 297152 | 98880 5 | 2421 | 6704 638.75/638.92 c 636s | 18 | 2122526 | 298552 | 98880 5 | 2421 | 6704 640.85/641.03 c 638s | 18 | 2133861 | 299852 | 98880 5 | 2421 | 6704 642.95/643.12 c 641s | 18 | 2143161 | 301152 | 98880 5 | 2421 | 6704 645.15/645.34 c 643s | 18 | 2150310 | 302352 | 98880 5 | 2421 | 6704 647.35/647.58 c 645s | 18 | 2155503 | 303352 | 98880 5 | 2421 | 6704 649.55/649.75 c 647s | 18 | 2163962 | 304352 | 98880 5 | 2421 | 6704 651.55/651.75 c 649s | 18 | 2169598 | 305252 | 98880 5 | 2421 | 6704 653.75/653.99 c 651s | 18 | 2174996 | 306252 | 98880 5 | 2421 | 6704 655.85/656.04 c 653s | 18 | 2181948 | 307152 | 98880 5 | 2421 | 6704 658.05/658.21 c 656s | 18 | 2189862 | 308352 | 98880 5 | 2421 | 6704 660.05/660.28 c 658s | 18 | 2199036 | 309452 | 98880 5 | 2421 | 6704 662.15/662.36 c 660s | 18 | 2207125 | 310552 | 98880 5 | 2421 | 6704 664.35/664.51 c 662s | 18 | 2213579 | 311552 | 98880 5 | 2421 | 6704 666.45/666.61 c 664s | 18 | 2223161 | 312752 | 98880 5 | 2421 | 6704 668.54/668.73 c 666s | 18 | 2230469 | 313852 | 98880 5 | 2421 | 6704 670.74/670.90 c 668s | 18 | 2236635 | 314852 | 98880 5 | 2421 | 6704 672.74/672.92 c 670s | 18 | 2243119 | 315852 | 98880 5 | 2421 | 6704 674.84/675.06 c 672s | 18 | 2249302 | 316952 | 98880 5 | 2421 | 6704 676.94/677.10 c 674s | 18 | 2255867 | 318052 | 98880 5 | 2421 | 6704 678.94/679.18 c 677s | 18 | 2262345 | 318852 | 98880 5 | 2421 | 6704 681.14/681.30 c 679s | 18 | 2270422 | 319852 | 98880 5 | 2421 | 6704 683.24/683.42 c 681s | 18 | 2278710 | 321052 | 98880 5 | 2421 | 6704 685.34/685.55 c 683s | 18 | 2284608 | 322152 | 98880 5 | 2421 | 6704 687.54/687.71 c 685s | 18 | 2292620 | 323052 | 98880 5 | 2421 | 6704 689.55/689.78 c 687s | 18 | 2297982 | 323952 | 98880 5 | 2421 | 6704 691.64/691.88 c 689s | 18 | 2303980 | 324852 | 98880 5 | 2421 | 6704 693.84/694.02 c 691s | 18 | 2313015 | 325952 | 98880 5 | 2421 | 6704 695.84/696.07 c 693s | 18 | 2318497 | 326952 | 98880 5 | 2421 | 6704 698.04/698.26 c 696s | 18 | 2326383 | 327852 | 98880 5 | 2421 | 6704 700.04/700.27 c 698s | 18 | 2332820 | 328752 | 98880 5 | 2421 | 6704 702.14/702.39 c 700s | 18 | 2337627 | 329652 | 98880 5 | 2421 | 6704 704.34/704.50 c 702s | 18 | 2346195 | 330752 | 98880 5 | 2421 | 6704 706.43/706.64 c 704s | 18 | 2354243 | 331852 | 98880 5 | 2421 | 6704 708.63/708.88 c 706s | 18 | 2361645 | 332952 | 98880 5 | 2421 | 6704 710.73/710.90 c 708s | 18 | 2366159 | 333552 | 98880 5 | 2421 | 6704 712.83/713.00 c 710s | 18 | 2371917 | 334452 | 98880 5 | 2421 | 6704 715.03/715.22 c 713s | 18 | 2376696 | 335452 | 98880 5 | 2421 | 6704 717.23/717.43 c 715s | 18 | 2381335 | 336252 | 98880 5 | 2421 | 6704 719.34/719.53 c 717s | 18 | 2384496 | 336852 | 98880 5 | 2421 | 6704 721.54/721.76 c 719s | 18 | 2390200 | 337752 | 98880 5 | 2421 | 6704 723.63/723.81 c 721s | 18 | 2395225 | 338552 | 98880 5 | 2421 | 6704 725.73/725.91 c 723s | 18 | 2401589 | 339452 | 98880 5 | 2421 | 6704 727.72/727.93 c 725s | 18 | 2404965 | 340152 | 98880 6 | 2421 | 6704 733.13/733.31 c 731s | 18 | 2406881 | 340452 | 98880 6 | 2421 | 6704 735.13/735.32 c 733s | 18 | 2412955 | 341452 | 98880 6 | 2421 | 6704 737.12/737.33 c 735s | 18 | 2419412 | 342752 | 98880 6 | 2421 | 6704 739.12/739.37 c 737s | 18 | 2424361 | 343852 | 98880 6 | 2421 | 6704 741.32/741.55 c 739s | 18 | 2428929 | 344852 | 98880 6 | 2421 | 6704 743.52/743.78 c 741s | 18 | 2433891 | 345752 | 98880 6 | 2421 | 6704 745.62/745.83 c 743s | 18 | 2439397 | 346652 | 98880 6 | 2421 | 6704 747.71/747.99 c 745s | 18 | 2445452 | 347652 | 98880 6 | 2421 | 6704 749.81/750.09 c 747s | 18 | 2451465 | 348652 | 98880 6 | 2421 | 6704 751.91/752.17 c 750s | 18 | 2457204 | 349652 | 98880 6 | 2421 | 6704 754.11/754.33 c 752s | 18 | 2462188 | 350552 | 98880 6 | 2421 | 6704 756.21/756.41 c 754s | 18 | 2466851 | 351552 | 98880 6 | 2421 | 6704 758.21/758.42 c 756s | 18 | 2471581 | 352452 | 98880 6 | 2421 | 6704 762.90/763.18 c 761s | 18 | 2474513 | 352952 | 98880 6 | 2421 | 6704 765.00/765.29 c 763s | 18 | 2476712 | 353252 | 98880 6 | 2421 | 6704 771.31/771.51 c 769s | 18 | 2486595 | 354652 | 98880 6 | 2421 | 6704 773.31/773.57 c 771s | 18 | 2492471 | 355552 | 98880 6 | 2421 | 6704 775.51/775.77 c 773s | 18 | 2500087 | 356552 | 98880 6 | 2421 | 6704 777.61/777.89 c 775s | 18 | 2504319 | 357352 | 98880 6 | 2421 | 6704 779.81/780.04 c 777s | 18 | 2509093 | 358152 | 98880 6 | 2421 | 6704 781.80/782.08 c 779s | 18 | 2513039 | 359052 | 98880 6 | 2421 | 6704 783.90/784.14 c 782s | 18 | 2516997 | 359852 | 98880 6 | 2421 | 6704 785.90/786.15 c 784s | 18 | 2521168 | 360652 | 98880 6 | 2421 | 6704 788.20/788.46 c 786s | 18 | 2526343 | 361452 | 98880 6 | 2421 | 6704 790.30/790.56 c 788s | 18 | 2529869 | 362052 | 98880 6 | 2421 | 6704 792.50/792.73 c 790s | 18 | 2533456 | 362752 | 98880 6 | 2421 | 6704 794.70/794.94 c 792s | 18 | 2536330 | 363352 | 98880 6 | 2421 | 6704 796.99/797.29 c 795s | 18 | 2538368 | 363752 | 98880 6 | 2421 | 6704 799.19/799.43 c 797s | 18 | 2541660 | 364252 | 98880 6 | 2421 | 6704 801.39/801.64 c 799s | 18 | 2545175 | 365052 | 98880 6 | 2421 | 6704 803.69/803.92 c 801s | 18 | 2548858 | 365852 | 98880 6 | 2421 | 6704 805.99/806.26 c 804s | 18 | 2552260 | 366552 | 98880 6 | 2421 | 6704 808.09/808.34 c 806s | 18 | 2556223 | 367352 | 98880 6 | 2421 | 6704 810.19/810.42 c 808s | 18 | 2559382 | 368152 | 98880 6 | 2421 | 6704 812.39/812.60 c 810s | 18 | 2565243 | 368852 | 98880 6 | 2421 | 6704 814.49/814.79 c 812s | 18 | 2568177 | 369552 | 98880 6 | 2421 | 6704 816.69/816.93 c 814s | 18 | 2572055 | 370252 | 98880 6 | 2421 | 6704 818.69/818.96 c 816s | 18 | 2574432 | 370852 | 98880 6 | 2421 | 6704 820.89/821.19 c 819s | 18 | 2577865 | 371452 | 98880 6 | 2421 | 6704 822.98/823.27 c 821s | 18 | 2582285 | 372252 | 98880 6 | 2421 | 6704 825.38/825.65 c 823s | 18 | 2584733 | 372952 | 98880 6 | 2421 | 6704 827.68/827.91 c 825s | 18 | 2588761 | 373652 | 98880 6 | 2421 | 6704 829.68/829.96 c 827s | 18 | 2591952 | 374352 | 98880 6 | 2421 | 6704 831.68/831.98 c 829s | 18 | 2595261 | 374952 | 98880 6 | 2421 | 6704 833.88/834.16 c 832s | 18 | 2599222 | 375652 | 98880 6 | 2421 | 6704 835.97/836.29 c 834s | 18 | 2604086 | 376352 | 98880 6 | 2421 | 6704 838.08/838.36 c 836s | 18 | 2609208 | 377152 | 98880 6 | 2421 | 6704 840.18/840.47 c 838s | 18 | 2613734 | 377952 | 98880 6 | 2421 | 6704 842.17/842.49 c 840s | 18 | 2617793 | 378552 | 98880 6 | 2421 | 6704 844.37/844.62 c 842s | 18 | 2621153 | 379152 | 98880 6 | 2421 | 6704 846.57/846.82 c 844s | 18 | 2623649 | 379752 | 98880 6 | 2421 | 6704 848.77/849.08 c 846s | 18 | 2625488 | 380352 | 98880 6 | 2421 | 6704 850.97/851.28 c 849s | 18 | 2628240 | 381052 | 98880 6 | 2421 | 6704 853.07/853.33 c 851s | 18 | 2633033 | 381852 | 98880 6 | 2421 | 6704 855.27/855.56 c 853s | 18 | 2636321 | 382452 | 98880 6 | 2421 | 6704 857.77/858.06 c 855s | 18 | 2638707 | 383052 | 98880 6 | 2421 | 6704 860.26/860.54 c 858s | 18 | 2640473 | 383452 | 98880 6 | 2421 | 6704 862.56/862.83 c 860s | 18 | 2642404 | 384052 | 98880 6 | 2421 | 6704 864.66/864.99 c 862s | 18 | 2644245 | 384552 | 98880 6 | 2421 | 6704 866.76/867.04 c 864s | 18 | 2645601 | 384952 | 98880 6 | 2421 | 6704 868.86/869.14 c 867s | 18 | 2649519 | 385652 | 98880 6 | 2421 | 6704 871.16/871.48 c 869s | 18 | 2652338 | 386352 | 98880 6 | 2421 | 6704 873.56/873.80 c 871s | 18 | 2655426 | 386852 | 98880 6 | 2421 | 6704 875.65/875.97 c 873s | 18 | 2657424 | 387352 | 98880 6 | 2421 | 6704 878.35/878.61 c 876s | 18 | 2660350 | 387852 | 98880 6 | 2421 | 6704 880.75/881.04 c 878s | 18 | 2662911 | 388352 | 98880 6 | 2421 | 6704 883.16/883.47 c 881s | 18 | 2664784 | 388852 | 98880 6 | 2421 | 6704 885.65/885.90 c 883s | 18 | 2666641 | 389452 | 98880 6 | 2421 | 6704 887.75/888.06 c 885s | 18 | 2669102 | 390052 | 98880 6 | 2421 | 6704 890.25/890.57 c 888s | 18 | 2670814 | 390452 | 98880 6 | 2421 | 6704 892.55/892.83 c 890s | 18 | 2672287 | 390852 | 98880 6 | 2421 | 6704 894.65/894.99 c 892s | 18 | 2675438 | 391452 | 98880 6 | 2421 | 6704 896.85/897.10 c 894s | 18 | 2677464 | 391852 | 98880 6 | 2421 | 6704 898.94/899.29 c 897s | 18 | 2679569 | 392252 | 98880 6 | 2421 | 6704 901.34/901.62 c 899s | 18 | 2681978 | 392752 | 98880 6 | 2421 | 6704 903.54/903.82 c 901s | 18 | 2684154 | 393152 | 98880 6 | 2421 | 6704 905.84/906.14 c 904s | 18 | 2686592 | 393652 | 98880 6 | 2421 | 6704 908.04/908.36 c 906s | 18 | 2688862 | 394152 | 98880 6 | 2421 | 6704 910.14/910.46 c 908s | 18 | 2690053 | 394552 | 98880 6 | 2421 | 6704 914.96/915.21 c 913s | 18 | 2691027 | 394752 | 98880 7 | 2421 | 6704 917.05/917.39 c 915s | 18 | 2693083 | 395252 | 98880 7 | 2421 | 6704 919.15/919.40 c 917s | 18 | 2696913 | 395852 | 98880 7 | 2421 | 6704 921.35/921.66 c 919s | 18 | 2700769 | 396652 | 98880 7 | 2421 | 6704 923.35/923.67 c 921s | 18 | 2702602 | 397252 | 98880 7 | 2421 | 6704 925.55/925.89 c 923s | 18 | 2704470 | 397852 | 98880 7 | 2421 | 6704 927.84/928.11 c 925s | 18 | 2707342 | 398652 | 98880 7 | 2421 | 6704 929.84/930.17 c 928s | 18 | 2710030 | 399352 | 98880 7 | 2421 | 6704 941.53/941.86 c 939s | 18 | 2711420 | 399752 | 98880 7 | 2421 | 6704 943.83/944.16 c 942s | 18 | 2714326 | 400452 | 98880 7 | 2421 | 6704 946.03/946.35 c 944s | 18 | 2718387 | 401252 | 98880 7 | 2421 | 6704 948.13/948.42 c 946s | 18 | 2722616 | 402052 | 98880 7 | 2421 | 6704 950.14/950.50 c 948s | 18 | 2728107 | 402952 | 98880 7 | 2421 | 6704 952.23/952.51 c 950s | 18 | 2731902 | 403852 | 98880 7 | 2421 | 6704 954.33/954.61 c 952s | 18 | 2734090 | 404552 | 98880 7 | 2421 | 6704 956.33/956.69 c 954s | 18 | 2737555 | 405252 | 98880 7 | 2421 | 6704 958.43/958.70 c 956s | 18 | 2740669 | 405952 | 98880 7 | 2421 | 6704 960.53/960.81 c 958s | 18 | 2743359 | 406652 | 98880 7 | 2421 | 6704 962.73/963.03 c 960s | 18 | 2746540 | 407452 | 98880 7 | 2421 | 6704 964.73/965.04 c 962s | 18 | 2749071 | 408052 | 98880 7 | 2421 | 6704 966.73/967.05 c 964s | 18 | 2753838 | 408752 | 98880 7 | 2421 | 6704 968.83/969.20 c 967s | 18 | 2757286 | 409552 | 98880 7 | 2421 | 6704 971.13/971.47 c 969s | 18 | 2761628 | 410352 | 98880 7 | 2421 | 6704 973.33/973.64 c 971s | 18 | 2764665 | 411052 | 98880 7 | 2421 | 6704 975.43/975.76 c 973s | 18 | 2767801 | 411752 | 98880 7 | 2421 | 6704 1005.81/1006.16 c 1004s | 18 | 2769952 | 412252 | 98880 7 | 2421 | 6704 1007.92/1008.27 c 1006s | 18 | 2771751 | 412652 | 98880 7 | 2421 | 6704 1010.02/1010.36 c 1008s | 18 | 2779260 | 413652 | 98880 7 | 2421 | 6704 1012.22/1012.54 c 1010s | 18 | 2786286 | 414852 | 98880 7 | 2421 | 6704 1014.22/1014.55 c 1012s | 18 | 2794152 | 416152 | 98880 7 | 2421 | 6704 1016.23/1016.56 c 1014s | 18 | 2800184 | 417252 | 98880 7 | 2421 | 6704 1018.43/1018.76 c 1016s | 18 | 2804232 | 418352 | 98880 7 | 2421 | 6704 1020.53/1020.89 c 1018s | 18 | 2811876 | 419552 | 98880 7 | 2421 | 6704 1022.73/1023.02 c 1020s | 18 | 2819009 | 420752 | 98880 7 | 2421 | 6704 1025.21/1025.58 c 1023s | 18 | 2820004 | 420952 | 98880 7 | 2421 | 6704 1027.31/1027.65 c 1025s | 18 | 2827369 | 422252 | 98880 7 | 2421 | 6704 1029.42/1029.77 c 1027s | 18 | 2834667 | 423552 | 98880 7 | 2421 | 6704 1031.52/1031.90 c 1029s | 18 | 2841560 | 424552 | 98880 7 | 2421 | 6704 1033.72/1034.01 c 1031s | 18 | 2846923 | 425452 | 98880 7 | 2421 | 6704 1035.81/1036.15 c 1034s | 18 | 2850989 | 426352 | 98880 7 | 2421 | 6704 1037.91/1038.29 c 1036s | 18 | 2857299 | 427452 | 98880 7 | 2421 | 6704 1040.01/1040.34 c 1038s | 18 | 2863214 | 428452 | 98880 7 | 2421 | 6704 1042.11/1042.41 c 1040s | 18 | 2867751 | 429252 | 98880 7 | 2421 | 6704 1044.21/1044.52 c 1042s | 18 | 2872102 | 430152 | 98880 7 | 2421 | 6704 1046.31/1046.65 c 1044s | 18 | 2877092 | 431052 | 98880 7 | 2421 | 6704 1048.51/1048.83 c 1046s | 18 | 2880956 | 431952 | 98880 7 | 2421 | 6704 1050.51/1050.83 c 1048s | 18 | 2884939 | 432752 | 98880 7 | 2421 | 6704 1052.52/1052.83 c 1050s | 18 | 2893800 | 433852 | 98880 7 | 2421 | 6704 1054.71/1055.08 c 1052s | 18 | 2901089 | 434752 | 98880 7 | 2421 | 6704 1056.81/1057.12 c 1054s | 18 | 2907254 | 435652 | 98880 7 | 2421 | 6704 1058.81/1059.15 c 1057s | 18 | 2912958 | 436552 | 98880 7 | 2421 | 6704 1061.01/1061.30 c 1059s | 18 | 2920139 | 437652 | 98880 7 | 2421 | 6704 1063.11/1063.47 c 1061s | 18 | 2926619 | 438652 | 98880 7 | 2421 | 6704 1065.21/1065.59 c 1063s | 18 | 2933538 | 439652 | 98880 7 | 2421 | 6704 1067.41/1067.76 c 1065s | 18 | 2937523 | 440552 | 98880 7 | 2421 | 6704 1069.41/1069.76 c 1067s | 18 | 2940796 | 441252 | 108769 7 | 2421 | 6704 1071.41/1071.77 c 1069s | 18 | 2947093 | 442052 | 108769 7 | 2421 | 6704 1073.50/1073.89 c 1071s | 18 | 2957065 | 443252 | 108769 7 | 2421 | 6704 1075.70/1076.06 c 1073s | 18 | 2963523 | 444252 | 108769 7 | 2421 | 6704 1076.30/1076.64 c 1074s | 19 | 2965505 | 444482 | 108769 7 | 2421 | 6704 1078.30/1078.66 c 1076s | 19 | 2975097 | 445482 | 108769 7 | 2421 | 6704 1080.40/1080.77 c 1078s | 19 | 2985120 | 446682 | 108769 7 | 2421 | 6704 1082.50/1082.86 c 1080s | 19 | 2990502 | 447582 | 108769 7 | 2421 | 6704 1084.70/1085.07 c 1082s | 19 | 3000563 | 448582 | 108769 7 | 2421 | 6704 1086.80/1087.16 c 1085s | 19 | 3004782 | 449182 | 108769 7 | 2421 | 6704 1088.90/1089.25 c 1087s | 19 | 3010968 | 449882 | 108769 7 | 2421 | 6704 1090.91/1091.28 c 1089s | 19 | 3015302 | 450482 | 108769 7 | 2421 | 6704 1093.21/1093.51 c 1091s | 19 | 3019888 | 451182 | 108769 7 | 2421 | 6704 1095.41/1095.78 c 1093s | 19 | 3023235 | 451682 | 108769 7 | 2421 | 6704 1097.51/1097.90 c 1095s | 19 | 3026411 | 452282 | 108769 7 | 2421 | 6704 1099.90/1100.23 c 1098s | 19 | 3028601 | 452782 | 108769 7 | 2421 | 6704 1102.10/1102.45 c 1100s | 19 | 3031628 | 453482 | 108769 7 | 2421 | 6704 1104.21/1104.59 c 1102s | 19 | 3034961 | 454082 | 108769 7 | 2421 | 6704 1106.60/1106.90 c 1104s | 19 | 3037629 | 454682 | 108769 7 | 2421 | 6704 1108.90/1109.26 c 1107s | 19 | 3039847 | 455182 | 108769 7 | 2421 | 6704 1111.20/1111.53 c 1109s | 19 | 3042397 | 455682 | 108769 7 | 2421 | 6704 1113.51/1113.87 c 1111s | 19 | 3045152 | 456182 | 108769 7 | 2421 | 6704 1115.91/1116.22 c 1114s | 19 | 3049091 | 456782 | 108769 7 | 2421 | 6704 1118.11/1118.46 c 1116s | 19 | 3051942 | 457282 | 108769 7 | 2421 | 6704 1120.61/1120.91 c 1118s | 19 | 3054376 | 457782 | 108769 7 | 2421 | 6704 1122.61/1122.95 c 1120s | 19 | 3056648 | 458182 | 108769 7 | 2421 | 6704 1124.91/1125.22 c 1123s | 19 | 3059179 | 458682 | 108769 7 | 2421 | 6704 1126.90/1127.27 c 1125s | 19 | 3061974 | 459182 | 108769 7 | 2421 | 6704 1129.30/1129.67 c 1127s | 19 | 3063922 | 459682 | 108769 7 | 2421 | 6704 1136.30/1136.69 c 1134s | 19 | 3064381 | 459782 | 108769 8 | 2421 | 6704 1138.50/1138.87 c 1136s | 19 | 3069803 | 460582 | 108769 8 | 2421 | 6704 1140.79/1141.13 c 1139s | 19 | 3070632 | 460782 | 108769 8 | 2421 | 6704 1142.79/1143.17 c 1141s | 19 | 3073781 | 461582 | 108769 8 | 2421 | 6704 1145.09/1145.40 c 1143s | 19 | 3080084 | 462482 | 108769 8 | 2421 | 6704 1150.80/1151.12 c 1149s | 19 | 3081507 | 462782 | 108769 8 | 2421 | 6704 1152.80/1153.19 c 1151s | 19 | 3086766 | 463682 | 108769 8 | 2421 | 6704 1155.00/1155.35 c 1153s | 19 | 3092351 | 464482 | 108769 8 | 2421 | 6704 1157.20/1157.53 c 1155s | 19 | 3098000 | 465482 | 108769 8 | 2421 | 6704 1159.30/1159.66 c 1157s | 19 | 3104639 | 466382 | 108769 8 | 2421 | 6704 1161.40/1161.77 c 1159s | 19 | 3110498 | 467182 | 108769 8 | 2421 | 6704 1163.50/1163.84 c 1161s | 19 | 3115992 | 467982 | 108769 8 | 2421 | 6704 1165.70/1166.05 c 1163s | 19 | 3121673 | 468982 | 108769 8 | 2421 | 6704 1167.79/1168.13 c 1166s | 19 | 3127175 | 469882 | 108769 8 | 2421 | 6704 1169.99/1170.34 c 1168s | 19 | 3132337 | 470782 | 108769 8 | 2421 | 6704 1172.09/1172.43 c 1170s | 19 | 3138856 | 471682 | 108769 8 | 2421 | 6704 1174.19/1174.56 c 1172s | 19 | 3144510 | 472682 | 108769 8 | 2421 | 6704 1176.39/1176.74 c 1174s | 19 | 3148298 | 473482 | 108769 8 | 2421 | 6704 1178.69/1179.06 c 1176s | 19 | 3154583 | 474382 | 108769 8 | 2421 | 6704 1180.79/1181.11 c 1178s | 19 | 3159354 | 475082 | 108769 8 | 2421 | 6704 1182.79/1183.15 c 1181s | 19 | 3163519 | 475882 | 108769 8 | 2421 | 6704 1184.89/1185.24 c 1183s | 19 | 3170452 | 476682 | 108769 8 | 2421 | 6704 1186.89/1187.28 c 1185s | 19 | 3176624 | 477682 | 108769 8 | 2421 | 6704 1188.99/1189.35 c 1187s | 19 | 3183212 | 478782 | 108769 8 | 2421 | 6704 1191.00/1191.37 c 1189s | 19 | 3188431 | 479682 | 108769 8 | 2421 | 6704 1193.30/1193.65 c 1191s | 19 | 3193013 | 480182 | 108769 8 | 2421 | 6704 1195.40/1195.80 c 1193s | 19 | 3204783 | 481582 | 108769 8 | 2421 | 6704 1198.08/1198.40 c 1196s | 19 | 3207639 | 482182 | 108769 8 | 2421 | 6704 1200.08/1200.42 c 1198s | 19 | 3211050 | 482882 | 108769 8 | 2421 | 6704 1202.29/1202.61 c 1200s | 19 | 3211688 | 483082 | 108769 8 | 2421 | 6704 1204.39/1204.70 c 1202s | 19 | 3216025 | 483882 | 108769 8 | 2421 | 6704 1206.40/1206.77 c 1204s | 19 | 3220451 | 484682 | 108769 8 | 2421 | 6704 1208.49/1208.83 c 1206s | 19 | 3225114 | 485482 | 108769 8 | 2421 | 6704 1210.59/1210.97 c 1208s | 19 | 3229508 | 486282 | 108769 8 | 2421 | 6704 1212.89/1213.27 c 1211s | 19 | 3233396 | 487082 | 108769 8 | 2421 | 6704 1215.20/1215.51 c 1213s | 19 | 3235588 | 487582 | 108769 8 | 2421 | 6704 1217.19/1217.55 c 1215s | 19 | 3237853 | 488082 | 108769 8 | 2421 | 6704 1219.49/1219.85 c 1217s | 19 | 3242280 | 488782 | 108769 8 | 2421 | 6704 1221.49/1221.87 c 1219s | 19 | 3244936 | 489382 | 108769 8 | 2421 | 6704 1223.79/1224.10 c 1221s | 19 | 3249024 | 490282 | 108769 8 | 2421 | 6704 1225.79/1226.11 c 1223s | 19 | 3252896 | 490982 | 108769 8 | 2421 | 6704 1227.89/1228.28 c 1226s | 19 | 3259133 | 491882 | 108769 8 | 2421 | 6704 1230.09/1230.44 c 1228s | 19 | 3263873 | 492582 | 108769 8 | 2421 | 6704 1232.19/1232.51 c 1230s | 19 | 3268452 | 493382 | 108769 8 | 2421 | 6704 1234.39/1234.71 c 1232s | 19 | 3271712 | 494182 | 108769 8 | 2421 | 6704 1236.69/1237.05 c 1234s | 19 | 3276272 | 494882 | 108769 8 | 2421 | 6704 1238.69/1239.08 c 1236s | 19 | 3280463 | 495382 | 108769 8 | 2421 | 6704 1240.79/1241.12 c 1238s | 19 | 3284822 | 496182 | 108769 8 | 2421 | 6704 1242.79/1243.16 c 1241s | 19 | 3291408 | 497082 | 108769 8 | 2421 | 6704 1244.89/1245.22 c 1243s | 19 | 3297907 | 497982 | 108769 8 | 2421 | 6704 1246.98/1247.32 c 1245s | 19 | 3302862 | 498782 | 108769 8 | 2421 | 6704 1249.19/1249.59 c 1247s | 19 | 3308118 | 499582 | 108769 8 | 2421 | 6704 1251.49/1251.88 c 1249s | 19 | 3311625 | 500282 | 108769 8 | 2421 | 6704 1253.79/1254.19 c 1252s | 19 | 3316142 | 501082 | 108769 8 | 2421 | 6704 1256.08/1256.44 c 1254s | 19 | 3320071 | 501782 | 108769 8 | 2421 | 6704 1258.19/1258.58 c 1256s | 19 | 3322827 | 502382 | 108769 8 | 2421 | 6704 1260.29/1260.63 c 1258s | 19 | 3328815 | 502982 | 108769 8 | 2421 | 6704 1262.59/1262.93 c 1260s | 19 | 3332439 | 503682 | 108769 8 | 2421 | 6704 1264.79/1265.12 c 1263s | 19 | 3336754 | 504382 | 108769 8 | 2421 | 6704 1266.99/1267.31 c 1265s | 19 | 3340249 | 504982 | 108769 8 | 2421 | 6704 1269.09/1269.45 c 1267s | 19 | 3344204 | 505682 | 108769 8 | 2421 | 6704 1271.39/1271.75 c 1269s | 19 | 3346383 | 506282 | 108769 8 | 2421 | 6704 1273.78/1274.10 c 1271s | 19 | 3351337 | 506982 | 108769 8 | 2421 | 6704 1275.88/1276.27 c 1274s | 19 | 3355373 | 507582 | 108769 8 | 2421 | 6704 1278.18/1278.55 c 1276s | 19 | 3357670 | 508082 | 108769 8 | 2421 | 6704 1280.58/1280.95 c 1278s | 19 | 3361308 | 508682 | 108769 8 | 2421 | 6704 1282.88/1283.24 c 1281s | 19 | 3365532 | 509282 | 108769 8 | 2421 | 6704 1285.08/1285.48 c 1283s | 19 | 3368038 | 509782 | 108769 8 | 2421 | 6704 1287.28/1287.62 c 1285s | 19 | 3373584 | 510682 | 108769 8 | 2421 | 6704 1289.58/1289.92 c 1287s | 19 | 3375847 | 511182 | 108769 8 | 2421 | 6704 1291.58/1291.94 c 1289s | 19 | 3378563 | 511782 | 108769 8 | 2421 | 6704 1293.67/1294.03 c 1291s | 19 | 3382220 | 512382 | 108769 8 | 2421 | 6704 1295.98/1296.38 c 1294s | 19 | 3388470 | 513282 | 108769 8 | 2421 | 6704 1298.37/1298.76 c 1296s | 19 | 3391946 | 513982 | 108769 8 | 2421 | 6704 1300.47/1300.89 c 1298s | 19 | 3394363 | 514382 | 108769 8 | 2421 | 6704 1302.67/1303.01 c 1300s | 19 | 3398778 | 514982 | 108769 8 | 2421 | 6704 1304.87/1305.28 c 1303s | 19 | 3402727 | 515682 | 108769 8 | 2421 | 6704 1307.07/1307.46 c 1305s | 19 | 3405876 | 516282 | 108769 8 | 2421 | 6704 1309.37/1309.78 c 1307s | 19 | 3408821 | 516882 | 108769 8 | 2421 | 6704 1311.47/1311.82 c 1309s | 19 | 3415577 | 517482 | 108769 8 | 2421 | 6704 1313.57/1313.95 c 1311s | 19 | 3420565 | 518182 | 108769 8 | 2421 | 6704 1315.87/1316.27 c 1314s | 19 | 3424309 | 518882 | 108769 8 | 2421 | 6704 1318.27/1318.62 c 1316s | 19 | 3427308 | 519482 | 108769 8 | 2421 | 6704 1320.37/1320.75 c 1318s | 19 | 3428648 | 519782 | 108769 9 | 2421 | 6704 1324.77/1325.19 c 1323s | 19 | 3433343 | 520582 | 108769 9 | 2421 | 6704 1326.87/1327.29 c 1325s | 19 | 3437862 | 521282 | 108769 9 | 2421 | 6704 1329.07/1329.40 c 1327s | 19 | 3443643 | 522182 | 108769 9 | 2421 | 6704 1331.27/1331.61 c 1329s | 19 | 3448778 | 523182 | 108769 9 | 2421 | 6704 1333.37/1333.73 c 1331s | 19 | 3453220 | 524082 | 108769 9 | 2421 | 6704 1335.37/1335.78 c 1333s | 19 | 3457947 | 524882 | 108769 9 | 2421 | 6704 1338.38/1338.74 c 1336s | 19 | 3466722 | 525782 | 108769 9 | 2421 | 6704 1340.47/1340.86 c 1338s | 19 | 3471401 | 526582 | 108769 9 | 2421 | 6704 1342.57/1342.97 c 1340s | 19 | 3480054 | 527582 | 108769 9 | 2421 | 6704 1344.87/1345.22 c 1343s | 19 | 3485448 | 528582 | 108769 9 | 2421 | 6704 1347.07/1347.41 c 1345s | 19 | 3491019 | 529582 | 108769 9 | 2421 | 6704 1362.96/1363.35 c 1361s | 19 | 3491348 | 529682 | 108769 9 | 2421 | 6704 1364.96/1365.38 c 1363s | 19 | 3494835 | 530482 | 108769 9 | 2421 | 6704 1367.26/1367.65 c 1365s | 19 | 3501119 | 531482 | 108769 9 | 2421 | 6704 1369.46/1369.82 c 1367s | 19 | 3505293 | 532382 | 108769 9 | 2421 | 6704 1371.47/1371.83 c 1369s | 19 | 3509231 | 533282 | 108769 9 | 2421 | 6704 1373.67/1374.02 c 1371s | 19 | 3514694 | 534182 | 108769 9 | 2421 | 6704 1375.66/1376.04 c 1373s | 19 | 3518249 | 534882 | 108769 9 | 2421 | 6704 1377.97/1378.31 c 1376s | 19 | 3523922 | 535782 | 108769 9 | 2421 | 6704 1380.17/1380.53 c 1378s | 19 | 3528002 | 536582 | 108769 9 | 2421 | 6704 1382.16/1382.54 c 1380s | 19 | 3531402 | 537282 | 108769 9 | 2421 | 6704 1384.26/1384.60 c 1382s | 19 | 3536381 | 537982 | 108769 9 | 2421 | 6704 1386.36/1386.72 c 1384s | 19 | 3541531 | 538982 | 108769 9 | 2421 | 6704 1388.56/1388.94 c 1386s | 19 | 3544133 | 539382 | 108769 9 | 2421 | 6704 1390.76/1391.17 c 1389s | 19 | 3550558 | 540482 | 108769 9 | 2421 | 6704 1392.86/1393.27 c 1391s | 19 | 3554970 | 541082 | 108769 9 | 2421 | 6704 1394.96/1395.33 c 1393s | 19 | 3563424 | 542082 | 108769 9 | 2421 | 6704 1397.16/1397.56 c 1395s | 19 | 3572605 | 543282 | 108769 9 | 2421 | 6704 1399.36/1399.76 c 1397s | 19 | 3581654 | 544482 | 108769 9 | 2421 | 6704 1401.56/1401.91 c 1399s | 19 | 3590769 | 545682 | 108769 9 | 2421 | 6704 1403.66/1404.01 c 1401s | 19 | 3601248 | 547082 | 108769 9 | 2421 | 6704 1405.76/1406.16 c 1404s | 19 | 3609264 | 548282 | 108769 9 | 2421 | 6704 1407.86/1408.29 c 1406s | 19 | 3617608 | 549282 | 108769 9 | 2421 | 6704 1410.16/1410.52 c 1408s | 19 | 3624143 | 550182 | 108769 9 | 2421 | 6704 1412.36/1412.75 c 1410s | 19 | 3629965 | 550982 | 108769 9 | 2421 | 6704 1414.56/1414.92 c 1412s | 19 | 3636663 | 551882 | 108769 9 | 2421 | 6704 1416.76/1417.12 c 1415s | 19 | 3641366 | 552982 | 108769 9 | 2421 | 6704 1418.77/1419.13 c 1417s | 19 | 3646313 | 553882 | 108769 9 | 2421 | 6704 1421.36/1421.73 c 1419s | 19 | 3650202 | 554582 | 108769 9 | 2421 | 6704 1423.46/1423.81 c 1421s | 19 | 3654997 | 555182 | 108769 9 | 2421 | 6704 1425.46/1425.87 c 1423s | 19 | 3658105 | 555782 | 108769 9 | 2421 | 6704 1427.66/1428.00 c 1425s | 19 | 3661448 | 556382 | 108769 9 | 2421 | 6704 1429.96/1430.36 c 1428s | 19 | 3664110 | 556982 | 108769 9 | 2421 | 6704 1432.16/1432.57 c 1430s | 19 | 3669523 | 557882 | 108769 9 | 2421 | 6704 1434.26/1434.61 c 1432s | 19 | 3672072 | 558382 | 108769 9 | 2421 | 6704 1436.46/1436.85 c 1434s | 19 | 3675146 | 558982 | 108769 9 | 2421 | 6704 1438.86/1439.22 c 1437s | 19 | 3678135 | 559582 | 108769 9 | 2421 | 6704 1441.06/1441.44 c 1439s | 19 | 3681199 | 560282 | 108769 9 | 2421 | 6704 1443.85/1444.21 c 1442s | 19 | 3684345 | 560882 | 108769 9 | 2421 | 6704 1446.16/1446.52 c 1444s | 19 | 3687411 | 561482 | 108769 9 | 2421 | 6704 1448.25/1448.64 c 1446s | 19 | 3689570 | 561882 | 108769 9 | 2421 | 6704 1450.45/1450.83 c 1448s | 19 | 3693037 | 562682 | 108769 9 | 2421 | 6704 1452.45/1452.89 c 1450s | 19 | 3698122 | 563282 | 108769 9 | 2421 | 6704 1454.85/1455.29 c 1453s | 19 | 3700745 | 563882 | 108769 9 | 2421 | 6704 1456.95/1457.33 c 1455s | 19 | 3703570 | 564482 | 108769 9 | 2421 | 6704 1459.05/1459.46 c 1457s | 19 | 3706911 | 564982 | 108769 9 | 2421 | 6704 1461.66/1462.08 c 1459s | 19 | 3708807 | 565482 | 108769 9 | 2421 | 6704 1464.15/1464.51 c 1462s | 19 | 3712997 | 566182 | 108769 9 | 2421 | 6704 1466.45/1466.83 c 1464s | 19 | 3716786 | 566782 | 108769 9 | 2421 | 6704 1468.45/1468.87 c 1466s | 19 | 3719992 | 567382 | 108769 9 | 2421 | 6704 1470.65/1471.08 c 1468s | 19 | 3722973 | 567882 | 108769 9 | 2421 | 6704 1472.75/1473.14 c 1471s | 19 | 3725603 | 568482 | 108769 9 | 2421 | 6704 1475.15/1475.55 c 1473s | 19 | 3728474 | 569082 | 108769 9 | 2421 | 6704 1477.15/1477.55 c 1475s | 19 | 3731582 | 569682 | 108769 9 | 2421 | 6704 1479.26/1479.65 c 1477s | 19 | 3734780 | 570282 | 108769 9 | 2421 | 6704 1481.65/1482.02 c 1479s | 19 | 3737740 | 570882 | 108769 9 | 2421 | 6704 1484.15/1484.57 c 1482s | 19 | 3739437 | 571282 | 108769 9 | 2421 | 6704 1486.55/1486.97 c 1484s | 19 | 3742218 | 571782 | 108769 9 | 2421 | 6704 1488.65/1489.09 c 1486s | 19 | 3743892 | 572282 | 108769 9 | 2421 | 6704 1491.35/1491.78 c 1489s | 19 | 3746453 | 572782 | 108769 9 | 2421 | 6704 1493.65/1494.06 c 1491s | 19 | 3749544 | 573382 | 108769 9 | 2421 | 6704 1496.15/1496.59 c 1494s | 19 | 3752633 | 573982 | 108769 9 | 2421 | 6704 1498.35/1498.73 c 1496s | 19 | 3756551 | 574582 | 108769 9 | 2421 | 6704 1500.75/1501.13 c 1499s | 19 | 3757924 | 574982 | 108769 9 | 2421 | 6704 1503.35/1503.74 c 1501s | 19 | 3760304 | 575382 | 108769 9 | 2421 | 6704 1505.34/1505.79 c 1503s | 19 | 3763823 | 575982 | 108769 9 | 2421 | 6704 1507.54/1507.95 c 1505s | 19 | 3766191 | 576482 | 108769 9 | 2421 | 6704 1509.74/1510.16 c 1508s | 19 | 3768438 | 576882 | 108769 9 | 2421 | 6704 1516.65/1517.06 c 1514s | 19 | 3770997 | 577482 | 108769 9 | 2421 | 6704 1519.44/1519.84 c 1517s | 19 | 3771433 | 577582 | 108769 9 | 2421 | 6704 1521.54/1521.90 c 1519s | 19 | 3773699 | 577982 | 108769 9 | 2421 | 6704 1523.54/1523.99 c 1521s | 19 | 3778356 | 578682 | 108769 9 | 2421 | 6704 1525.64/1526.09 c 1523s | 19 | 3781160 | 579382 | 108769 9 | 2421 | 6704 1528.65/1529.04 c 1526s | 19 | 3782067 | 579482 | 108769 10 | 2421 | 6704 1545.14/1545.54 c 1543s | 19 | 3783747 | 579682 | 108769 10 | 2421 | 6704 1547.34/1547.71 c 1545s | 19 | 3788429 | 580282 | 108769 10 | 2421 | 6704 1549.44/1549.80 c 1547s | 19 | 3792866 | 580982 | 108769 10 | 2421 | 6704 1551.44/1551.86 c 1549s | 19 | 3798028 | 581882 | 108769 10 | 2421 | 6704 1553.54/1553.95 c 1551s | 19 | 3802870 | 582882 | 108769 10 | 2421 | 6704 1555.64/1556.02 c 1553s | 19 | 3809982 | 583982 | 108769 10 | 2421 | 6704 1557.84/1558.21 c 1556s | 19 | 3817956 | 585082 | 108769 10 | 2421 | 6704 1559.94/1560.30 c 1558s | 19 | 3825028 | 586182 | 108769 10 | 2421 | 6704 1561.93/1562.34 c 1560s | 19 | 3829000 | 586882 | 108769 10 | 2421 | 6704 1564.03/1564.40 c 1562s | 19 | 3833740 | 587582 | 108769 10 | 2421 | 6704 1566.14/1566.51 c 1564s | 19 | 3839993 | 588582 | 108769 10 | 2421 | 6704 1568.34/1568.71 c 1566s | 19 | 3844908 | 589382 | 108769 10 | 2421 | 6704 1570.63/1571.01 c 1568s | 19 | 3848726 | 590082 | 108769 10 | 2421 | 6704 1572.83/1573.22 c 1571s | 19 | 3855346 | 590882 | 108769 10 | 2421 | 6704 1574.94/1575.32 c 1573s | 19 | 3859628 | 591682 | 108769 10 | 2421 | 6704 1577.04/1577.43 c 1575s | 19 | 3864732 | 592382 | 108769 10 | 2421 | 6704 1579.13/1579.55 c 1577s | 19 | 3869154 | 593282 | 108769 10 | 2421 | 6704 1581.63/1582.00 c 1579s | 19 | 3872411 | 593882 | 108769 10 | 2421 | 6704 1583.64/1584.06 c 1581s | 19 | 3879967 | 594882 | 108769 10 | 2421 | 6704 1585.94/1586.36 c 1584s | 19 | 3882908 | 595582 | 108769 10 | 2421 | 6704 1588.23/1588.62 c 1586s | 19 | 3888399 | 596382 | 108769 10 | 2421 | 6704 1590.34/1590.75 c 1588s | 19 | 3893031 | 597182 | 108769 10 | 2421 | 6704 1592.44/1592.88 c 1590s | 19 | 3897357 | 597982 | 108769 10 | 2421 | 6704 1594.64/1595.09 c 1592s | 19 | 3901109 | 598682 | 108769 10 | 2421 | 6704 1596.73/1597.13 c 1595s | 19 | 3905087 | 599482 | 108769 10 | 2421 | 6704 1598.73/1599.19 c 1597s | 19 | 3909845 | 600282 | 108769 10 | 2421 | 6704 1600.93/1601.36 c 1599s | 19 | 3913908 | 600982 | 108769 10 | 2421 | 6704 1603.23/1603.70 c 1601s | 19 | 3918344 | 601682 | 108769 10 | 2421 | 6704 1605.53/1605.92 c 1603s | 19 | 3922586 | 602382 | 108769 10 | 2421 | 6704 1607.73/1608.10 c 1605s | 19 | 3926394 | 603082 | 108769 10 | 2421 | 6704 1609.83/1610.25 c 1608s | 19 | 3930036 | 603882 | 108769 10 | 2421 | 6704 1611.93/1612.34 c 1610s | 19 | 3936378 | 604782 | 108769 10 | 2421 | 6704 1614.03/1614.47 c 1612s | 19 | 3941452 | 605582 | 108769 10 | 2421 | 6704 1616.23/1616.63 c 1614s | 19 | 3945966 | 606182 | 108769 10 | 2421 | 6704 1618.53/1618.90 c 1616s | 19 | 3949301 | 606882 | 108769 10 | 2421 | 6704 1620.73/1621.10 c 1618s | 19 | 3952473 | 607382 | 108769 10 | 2421 | 6704 1622.83/1623.24 c 1621s | 19 | 3954519 | 607682 | 108769 10 | 2421 | 6704 1624.83/1625.29 c 1623s | 19 | 3958130 | 608182 | 108769 10 | 2421 | 6704 1627.12/1627.56 c 1625s | 19 | 3961788 | 608982 | 108769 10 | 2421 | 6704 1629.22/1629.63 c 1627s | 19 | 3964492 | 609582 | 108769 10 | 2421 | 6704 1631.42/1631.85 c 1629s | 19 | 3967376 | 610182 | 108769 10 | 2421 | 6704 1633.62/1634.02 c 1631s | 19 | 3971699 | 610882 | 108769 10 | 2421 | 6704 1635.62/1636.06 c 1633s | 19 | 3978038 | 611782 | 108769 10 | 2421 | 6704 1637.63/1638.08 c 1635s | 19 | 3984678 | 612882 | 108769 10 | 2421 | 6704 1639.73/1640.18 c 1638s | 19 | 3992059 | 613882 | 108769 10 | 2421 | 6704 1641.82/1642.23 c 1640s | 19 | 3997897 | 614682 | 108769 10 | 2421 | 6704 1644.02/1644.44 c 1642s | 19 | 4003967 | 615482 | 108769 10 | 2421 | 6704 1646.12/1646.57 c 1644s | 19 | 4007688 | 616182 | 108769 10 | 2421 | 6704 1648.32/1648.72 c 1646s | 19 | 4010013 | 616682 | 108769 10 | 2421 | 6704 1650.62/1651.01 c 1648s | 19 | 4015553 | 617382 | 108769 10 | 2421 | 6704 1652.62/1653.04 c 1650s | 19 | 4019377 | 617882 | 108769 10 | 2421 | 6704 1654.92/1655.38 c 1653s | 19 | 4024506 | 618582 | 108769 10 | 2421 | 6704 1657.12/1657.57 c 1655s | 19 | 4026959 | 619082 | 108769 10 | 2421 | 6704 1659.42/1659.87 c 1657s | 19 | 4031392 | 619682 | 108769 10 | 2421 | 6704 1661.83/1662.25 c 1660s | 19 | 4033716 | 620182 | 108769 10 | 2421 | 6704 1664.03/1664.45 c 1662s | 19 | 4036550 | 620682 | 108769 10 | 2421 | 6704 1666.23/1666.66 c 1664s | 19 | 4039752 | 621282 | 108769 10 | 2421 | 6704 1668.43/1668.83 c 1666s | 19 | 4042806 | 621882 | 108769 10 | 2421 | 6704 1670.42/1670.88 c 1668s | 19 | 4046515 | 622382 | 108769 10 | 2421 | 6704 1672.52/1672.92 c 1670s | 19 | 4050041 | 622882 | 108769 10 | 2421 | 6704 1674.62/1675.00 c 1672s | 19 | 4053283 | 623382 | 108769 10 | 2421 | 6704 1676.62/1677.05 c 1674s | 19 | 4055770 | 623882 | 108769 10 | 2421 | 6704 1678.72/1679.14 c 1677s | 19 | 4058976 | 624282 | 108769 10 | 2421 | 6704 1681.12/1681.53 c 1679s | 19 | 4062644 | 624882 | 108769 10 | 2421 | 6704 1683.52/1683.97 c 1681s | 19 | 4065968 | 625582 | 108769 10 | 2421 | 6704 1685.62/1686.06 c 1683s | 19 | 4069678 | 626282 | 108769 10 | 2421 | 6704 1687.92/1688.39 c 1686s | 19 | 4072757 | 626882 | 108769 10 | 2421 | 6704 1690.32/1690.75 c 1688s | 19 | 4075287 | 627382 | 108769 10 | 2421 | 6704 1692.91/1693.37 c 1691s | 19 | 4078451 | 627882 | 108769 10 | 2421 | 6704 1695.01/1695.44 c 1693s | 19 | 4081483 | 628382 | 108769 10 | 2421 | 6704 1697.31/1697.76 c 1695s | 19 | 4084737 | 628882 | 108769 10 | 2421 | 6704 1699.61/1700.08 c 1697s | 19 | 4087688 | 629482 | 108769 10 | 2421 | 6704 1701.61/1702.08 c 1699s | 19 | 4089983 | 629882 | 108769 10 | 2421 | 6704 1704.62/1705.04 c 1702s | 19 | 4093058 | 630282 | 108769 10 | 2421 | 6704 1706.71/1707.15 c 1705s | 19 | 4093808 | 630482 | 108769 10 | 2421 | 6704 1708.81/1709.29 c 1707s | 19 | 4096200 | 630982 | 108769 10 | 2421 | 6704 1711.11/1711.50 c 1709s | 19 | 4100698 | 631582 | 108769 10 | 2421 | 6704 1713.21/1713.64 c 1711s | 19 | 4104801 | 632082 | 108769 10 | 2421 | 6704 1715.31/1715.78 c 1713s | 19 | 4111201 | 632882 | 108769 10 | 2421 | 6704 1717.71/1718.11 c 1715s | 19 | 4116695 | 633782 | 108769 10 | 2421 | 6704 1720.02/1720.41 c 1718s | 19 | 4121593 | 634482 | 108769 10 | 2421 | 6704 1722.11/1722.54 c 1720s | 19 | 4123146 | 634882 | 108769 10 | 2421 | 6704 1724.31/1724.79 c 1722s | 19 | 4126082 | 635382 | 108769 10 | 2421 | 6704 1726.62/1727.09 c 1724s | 19 | 4130462 | 635982 | 108769 10 | 2421 | 6704 1728.82/1729.23 c 1727s | 19 | 4133855 | 636482 | 108769 10 | 2421 | 6704 1731.01/1731.46 c 1729s | 19 | 4138164 | 636982 | 108769 10 | 2421 | 6704 1733.01/1733.47 c 1731s | 19 | 4141324 | 637482 | 108769 10 | 2421 | 6704 1735.31/1735.72 c 1733s | 19 | 4143893 | 638082 | 108769 10 | 2421 | 6704 1737.61/1738.09 c 1735s | 19 | 4146550 | 638582 | 108769 10 | 2421 | 6704 1739.81/1740.29 c 1738s | 19 | 4149768 | 639282 | 108769 10 | 2421 | 6704 1744.01/1744.49 c 1742s | 19 | 4151516 | 639482 | 108769 11 | 2421 | 6704 1746.11/1746.51 c 1744s | 19 | 4156994 | 640282 | 108769 11 | 2421 | 6704 1748.21/1748.65 c 1746s | 19 | 4162406 | 641282 | 108769 11 | 2421 | 6704 1750.41/1750.83 c 1748s | 19 | 4165413 | 641982 | 108769 11 | 2421 | 6704 1756.50/1756.94 c 1754s | 19 | 4168266 | 642582 | 108769 11 | 2421 | 6704 1758.61/1759.05 c 1756s | 19 | 4174113 | 643482 | 108769 11 | 2421 | 6704 1762.51/1762.94 c 1760s | 19 | 4174631 | 643582 | 108769 11 | 2421 | 6704 1764.81/1765.21 c 1763s | 19 | 4178694 | 644382 | 108769 11 | 2421 | 6704 1766.91/1767.37 c 1765s | 19 | 4184300 | 645282 | 108769 11 | 2421 | 6704 1769.01/1769.47 c 1767s | 19 | 4187299 | 646082 | 108769 11 | 2421 | 6704 1771.21/1771.64 c 1769s | 19 | 4190534 | 646782 | 108769 11 | 2421 | 6704 1773.31/1773.71 c 1771s | 19 | 4195209 | 647682 | 108769 11 | 2421 | 6704 1775.31/1775.72 c 1773s | 19 | 4201946 | 648582 | 108769 11 | 2421 | 6704 1777.31/1777.78 c 1775s | 19 | 4208689 | 649482 | 108769 11 | 2421 | 6704 1779.41/1779.82 c 1777s | 19 | 4213040 | 650282 | 108769 11 | 2421 | 6704 1781.41/1781.88 c 1779s | 19 | 4216623 | 650982 | 108769 11 | 2421 | 6704 1783.50/1783.94 c 1781s | 19 | 4220610 | 651682 | 108769 11 | 2421 | 6704 1785.60/1786.08 c 1783s | 19 | 4222868 | 652282 | 108769 11 | 2421 | 6704 1787.70/1788.12 c 1786s | 19 | 4226064 | 652982 | 108769 11 | 2421 | 6704 1789.90/1790.32 c 1788s | 19 | 4231244 | 653982 | 108769 11 | 2421 | 6704 1793.20/1793.69 c 1791s | 19 | 4234996 | 654582 | 108769 11 | 2421 | 6704 1795.50/1795.90 c 1793s | 19 | 4241124 | 655582 | 108769 11 | 2421 | 6704 1797.80/1798.27 c 1796s | 19 | 4244803 | 656282 | 108769 11 | 2421 | 6704
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-4079853-1465250147/watcher-4079853-1465250147 -o /tmp/evaluation-result-4079853-1465250147/solver-4079853-1465250147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079853-1465250147.opb pid=17584 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.29 2.29 2.22 4/179 17587 /proc/meminfo: memFree=29318436/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=692668 CPUtime=0 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 2577 0 0 0 0 0 0 0 20 0 4 0 106947072 709292032 2938 33554432000 4194304 16246674 140736565792400 140736565791824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 173679 2946 441 2943 0 170573 0 [pid=17587/tid=17588] ppid=17584 vsize=710076 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 727117824 3008 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 732360704 3026 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=719292 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 736555008 3043 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100159 s] /proc/loadavg: 2.29 2.29 2.22 4/179 17587 /proc/meminfo: memFree=29318436/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 26239 0 0 0 5 4 0 0 20 0 4 0 106947072 1332285440 26538 33554432000 4194304 16246674 140736565792400 140736565791712 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 325265 26554 799 2943 0 322159 0 [pid=17587/tid=17588] ppid=17584 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1332285440 26565 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1332285440 26576 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1332285440 26587 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200627 s] /proc/loadavg: 2.29 2.29 2.22 4/179 17587 /proc/meminfo: memFree=29318436/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1313348 CPUtime=0.18 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 48104 0 0 0 11 7 0 0 20 0 4 0 106947072 1344868352 48913 33554432000 4194304 16246674 140736565792400 140736565791712 7377080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 328337 48913 799 2943 0 325231 0 [pid=17587/tid=17588] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 48913 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 48913 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 48913 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300546 s] /proc/loadavg: 2.29 2.29 2.22 4/179 17587 /proc/meminfo: memFree=29318436/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 55864 0 0 0 20 9 0 0 20 0 4 0 106947072 1344868352 56673 33554432000 4194304 16246674 140736565792400 140736565791712 12457312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 328337 56673 831 2943 0 325231 0 [pid=17587/tid=17588] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 56673 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 56673 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 56673 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700428 s] /proc/loadavg: 2.29 2.29 2.22 4/179 17587 /proc/meminfo: memFree=29318436/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 107316 0 0 0 52 17 0 0 20 0 4 0 106947072 1344868352 108126 33554432000 4194304 16246674 140736565792400 140736565791712 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 328337 108135 835 2943 0 325231 0 [pid=17587/tid=17588] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 108141 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 108146 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 108151 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50043 s] /proc/loadavg: 2.29 2.29 2.22 3/183 17591 /proc/meminfo: memFree=28753308/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 140716 0 0 0 128 21 0 0 20 0 4 0 106947072 1344868352 141525 33554432000 4194304 16246674 140736565792400 140736565791616 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 328337 141525 910 2943 0 325231 0 [pid=17587/tid=17588] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 141525 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 141525 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1344868352 141525 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10044 s] /proc/loadavg: 2.29 2.29 2.22 3/183 17591 /proc/meminfo: memFree=28748844/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=3.09 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 160821 0 0 0 285 24 0 0 20 0 4 0 106947072 1349062656 161630 33554432000 4194304 16246674 140736565792400 140736565774272 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 161632 910 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 161633 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 161635 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 161636 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1317444 [startup+6.30043 s] /proc/loadavg: 2.35 2.30 2.23 3/183 17591 /proc/meminfo: memFree=28234916/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=6.29 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 270048 0 0 0 591 38 0 0 20 0 4 0 106947072 1349062656 270857 33554432000 4194304 16246674 140736565792400 140736565774272 12483640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 270857 910 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270857 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270857 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270857 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1317444 [startup+12.7004 s] /proc/loadavg: 2.32 2.29 2.23 3/183 17591 /proc/meminfo: memFree=28235312/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=12.69 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 270059 0 0 0 1231 38 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140736565774272 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 270868 911 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1317444 [startup+25.5005 s] /proc/loadavg: 2.32 2.29 2.23 3/183 17591 /proc/meminfo: memFree=28235568/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=25.49 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 270059 0 0 0 2511 38 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140736565774272 5523139 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 270868 911 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.37 2.30 2.23 3/183 17591 /proc/meminfo: memFree=28235404/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=51.08 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 270059 0 0 0 5070 38 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140736565774272 5824052 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 270868 911 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270868 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.301 s] /proc/loadavg: 2.38 2.30 2.23 3/183 17592 /proc/meminfo: memFree=28209228/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 270060 0 0 0 10190 38 0 0 20 0 4 0 106947072 1349062656 270869 33554432000 4194304 16246674 140736565792400 140736565774272 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 329361 270869 912 2943 0 326255 0 [pid=17587/tid=17588] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270869 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270869 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1349062656 270869 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1367620 [startup+1302.3 s] /proc/loadavg: 1.20 1.28 1.59 2/173 17676 /proc/meminfo: memFree=29328548/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1367620 CPUtime=1301.97 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 282814 0 0 0 130134 63 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140736565774272 5677537 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 341905 283671 914 2943 0 338799 0 [pid=17587/tid=17588] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1367620 [startup+1362.3 s] /proc/loadavg: 1.18 1.26 1.56 2/173 17677 /proc/meminfo: memFree=29328604/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1367620 CPUtime=1361.97 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 282814 0 0 0 136131 66 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140736565791496 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 341905 283671 914 2943 0 338799 0 [pid=17587/tid=17588] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1367620 [startup+1422.3 s] /proc/loadavg: 1.28 1.27 1.54 2/173 17678 /proc/meminfo: memFree=29328168/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1367620 CPUtime=1421.96 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 282814 0 0 0 142129 67 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140736565774272 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 341905 283671 914 2943 0 338799 0 [pid=17587/tid=17588] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1367620 [startup+1482.3 s] /proc/loadavg: 1.23 1.26 1.52 3/174 17682 /proc/meminfo: memFree=29327792/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1367620 CPUtime=1481.95 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 282814 0 0 0 148128 67 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140736565774272 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 341905 283671 914 2943 0 338799 0 [pid=17587/tid=17588] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1400442880 283671 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1367620 [startup+1542.31 s] /proc/loadavg: 1.19 1.24 1.50 2/173 17684 /proc/meminfo: memFree=29312852/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1382980 CPUtime=1541.95 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 286654 0 0 0 154125 70 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140736565790464 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 345745 287511 914 2943 0 342639 0 [pid=17587/tid=17588] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1382980 [startup+1602.3 s] /proc/loadavg: 1.20 1.23 1.47 3/173 17685 /proc/meminfo: memFree=29312544/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1382980 CPUtime=1601.93 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 286654 0 0 0 160123 70 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140736565774272 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 345745 287511 914 2943 0 342639 0 [pid=17587/tid=17588] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1382980 [startup+1662.3 s] /proc/loadavg: 1.23 1.23 1.45 2/173 17686 /proc/meminfo: memFree=29312352/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1382980 CPUtime=1661.92 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 286654 0 0 0 166122 70 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140736565774272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 345745 287511 914 2943 0 342639 0 [pid=17587/tid=17588] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1382980 [startup+1722.3 s] /proc/loadavg: 1.24 1.23 1.44 2/173 17687 /proc/meminfo: memFree=29312288/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1382980 CPUtime=1721.91 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 286654 0 0 0 172121 70 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140736565775400 5672209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 345745 287511 914 2943 0 342639 0 [pid=17587/tid=17588] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1382980 [startup+1782.3 s] /proc/loadavg: 1.40 1.28 1.44 2/173 17688 /proc/meminfo: memFree=29311980/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1382980 CPUtime=1781.91 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 286654 0 0 0 178119 72 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140736565774272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 345745 287511 914 2943 0 342639 0 [pid=17587/tid=17588] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1382980 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1416171520 287511 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1382980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.36 1.27 1.44 2/173 17688 /proc/meminfo: memFree=29289536/32872528 swapFree=16636/1570076 [pid=17587] ppid=17584 vsize=1405508 CPUtime=1800 cores=1,3,5,7 /proc/17587/stat : 17587 (toysat) R 17584 17587 13075 0 -1 4202496 292286 0 0 0 179927 73 0 0 20 0 4 0 106947072 1439240192 293143 33554432000 4194304 16246674 140736565792400 140736565774272 12483671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17587/statm: 351377 293143 914 2943 0 348271 0 [pid=17587/tid=17588] ppid=17584 vsize=1405508 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17588/stat : 17588 (toysat) S 17584 17587 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106947072 1439240192 293143 33554432000 4194304 16246674 140736565792400 140154709716208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=17587/tid=17589] ppid=17584 vsize=1405508 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17589/stat : 17589 (toysat) S 17584 17587 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106947072 1439240192 293143 33554432000 4194304 16246674 140736565792400 140154699226352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=17587/tid=17590] ppid=17584 vsize=1405508 CPUtime=0 cores=1,3,5,7 /proc/17587/task/17590/stat : 17590 (toysat) S 17584 17587 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106947072 1439240192 293143 33554432000 4194304 16246674 140736565792400 140154580757680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1405508 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 17587 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.01 CPU user time (s): 1799.28 CPU system time (s): 0.736887 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 1405508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.736887 maximum resident set size= 1172572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292286 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= 229 involuntary context switches= 1843 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4261 second user time and 14.6208 second system time The end
Begin job on node140 at 2016-06-06 23:55:47 IDJOB=4079853 IDBENCH=25001 IDSOLVER=2542 FILE ID=node140/4079853-1465250147 RUNJOBID= node140-1465216678-13092 PBS_JOBID= 19843199 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_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-4079853-1465250147/watcher-4079853-1465250147 -o /tmp/evaluation-result-4079853-1465250147/solver-4079853-1465250147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079853-1465250147.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=1172758749 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29318964 kB Buffers: 56204 kB Cached: 95888 kB SwapCached: 1744 kB Active: 1193008 kB Inactive: 86416 kB Active(anon): 1127352 kB Inactive(anon): 2608 kB Active(file): 65656 kB Inactive(file): 83808 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 17576 kB Writeback: 0 kB AnonPages: 2697112 kB Mapped: 10980 kB Shmem: 0 kB Slab: 568608 kB SReclaimable: 12760 kB SUnreclaim: 555848 kB KernelStack: 1488 kB PageTables: 9312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2839916 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2281472 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= 71724 MiB End job on node140 at 2016-06-07 00:25:48