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_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.137978 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| 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 | 4585 |
| 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 | 4585 |
| 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 | 4585 |
| 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:23:25+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-4079848-1465248204.opb"] 0.00/0.01 c use --random-gen="3280626758 770801562 2736932776 215712667 1621830836 2892282936 4267417816 1020609903 2347803240 1427623771 3792252366 2701255312 819667998 3831355383 269632263 2309366387 2587202756 2150814765 2642757852 1297400140 854059863 768108478 1194844340 2819768597 4133825135 2415165760 1632788739 1090783072 1030179090 3014234177 2919658466 33958000 529525443 36891962 466382045 2096312822 3532072743 1658770972 2834063330 2103676160 4129714757 693768986 1401384983 2020790145 1311527254 4111189033 2979461584 3493933434 2978254448 56088878 982542177 2397385688 3923621659 3631436240 1450867731 3171801875 2570801975 2311759682 798778136 270317076 1488032435 1491363857 4155482056 469906000 1454927918 2808528450 786748486 2610549537 1379231142 1856911501 3395474705 1299103029 1544238687 2959525671 624947583 2551914295 3801776462 2916260163 3168663304 808000640 2995890249 856865223 2244292103 3439490903 2927724938 2728611403 2983476031 3979118762 2995831746 1243915990 3195101136 587657979 4101472701 1843162095 2230334189 2809288032 1857442473 3882241216 1197505491 1112900974 1111345054 3048344339 3418016625 1145719890 218840380 881127755 4223448429 2077431292 3412601613 2339050911 1775543604 55879 1572002620 2428032931 668674036 1452114792 2369970142 2326131564 1228364501 3542217628 2569725902 3603787860 2246281168 575604723 2461687510 3673130071 946121261 2211499340 2216986411 593783605 2333593945 590277348 2546657321 3825524585 1066918634 3244461031 3213038542 3760897455 2303077380 2483814803 1218317263 882992269 3298912751 1092091183 2050127918 295789485 611243325 439337288 1055880323 1528716262 788794452 1023707596 1415896896 1345014476 3324704509 720804284 56727935 1350919393 2562546624 4189810836 1137594487 3085933573 2708408470 3456475144 39012737 1027534527 2833904505 3672339870 2105249091 2110443661 960573908 3787734518 2826974346 927556922 3715390772 2910834188 4021385377 3220414818 1631234181 2334985410 3271915547 2554797662 475243506 1238200177 704818495 1360857070 1879702398 829788218 2568370363 2452247970 2721166866 188354815 1416623380 2578557559 3026117145 2384254361 518792723 754899234 1039327455 730469630 244335820 1264864787 3589915547 2450239623 421769106 1430667133 2130756500 1755500206 3081934761 1630492008 1967664957 3285733352 1732369340 39421223 129889252 3140933650 1255990677 3833719117 261663396 3743244018 1133916725 905625165 575288011 2796485416 764507037 3150615051 3449915879 576279424 2196086776 3071406711 1182059952 2645953183 2298285559 2285208147 2218914954 977952145 816810423 2731753264 2397120564 2546279428 432720591 593329015 625816365 3765814879 412680527 3234049424 1560709818 1915100358 727342473 2899236684 3609379393 2126704695 2593031651 887031566 4026455632 3183508018 255 362436" option to reproduce the execution 0.19/0.21 c #vars 9333 0.19/0.21 c #constraints 28773 0.49/0.54 c BCD2: Hardening is enabled. 0.49/0.54 c BCD2: BiasedSearch is enabled. 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 0 0.59/0.66 c 0.1s | 0 | 2046 | 0 | 12405 0 | 1770 | 3751 0.59/0.66 c #cpu_time = 0.119s 0.59/0.66 c #wall_clock_time = 0.119s 0.59/0.66 c #decision = 2046 0.59/0.66 c #random_decision = 7 0.59/0.66 c #conflict = 0 0.59/0.66 c #restart = 0 0.59/0.66 o 2047 0.59/0.67 c BCD2: updating upper bound: 4585 -> 2046 0.69/0.70 c BCD2: 0 <= obj <= 2046 0.69/0.70 c BCD2: #cores=0, #unrelaxed=4585, #relaxed=0, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=1 bias=1/2 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.72 c 0.0s | 0 | 30 | 1 | 12405 0 | 1770 | 3751 0.69/0.72 c #cpu_time = 0.013s 0.69/0.72 c #wall_clock_time = 0.013s 0.69/0.72 c #decision = 30 0.69/0.72 c #random_decision = 0 0.69/0.72 c #conflict = 1 0.69/0.72 c #restart = 0 0.69/0.72 c BCD2: found a new core of size 4: cost of the new core is >=1 0.69/0.72 c lower bound updated to 1 0.69/0.72 c BCD2: 1 <= obj <= 2046 0.69/0.72 c BCD2: #cores=1, #unrelaxed=4581, #relaxed=4, #hardened=0 0.69/0.72 c BCD2: #sat=1 #unsat=2 bias=2/3 0.69/0.72 c Solving starts ... 0.69/0.72 c ============================[ Search Statistics ]============================ 0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.72 c | | | | Limit GC | Var | Constra 0.69/0.72 c ============================================================================= 0.69/0.72 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.73 c 0.0s | 0 | 26 | 0 | 12405 0 | 1770 | 3751 0.69/0.73 c #cpu_time = 0.008s 0.69/0.73 c #wall_clock_time = 0.008s 0.69/0.73 c #decision = 26 0.69/0.73 c #random_decision = 0 0.69/0.73 c #conflict = 0 0.69/0.73 c #restart = 0 0.69/0.73 c BCD2: found a new core of size 13: cost of the new core is >=1 0.69/0.73 c lower bound updated to 2 0.69/0.73 c BCD2: 2 <= obj <= 2046 0.69/0.73 c BCD2: #cores=2, #unrelaxed=4568, #relaxed=17, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=3 bias=3/4 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.74 c 0.0s | 0 | 22 | 0 | 12405 0 | 1770 | 3751 0.69/0.74 c #cpu_time = 0.009s 0.69/0.74 c #wall_clock_time = 0.009s 0.69/0.74 c #decision = 22 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 11: cost of the new core is >=1 0.69/0.74 c lower bound updated to 3 0.69/0.75 c BCD2: 3 <= obj <= 2046 0.69/0.75 c BCD2: #cores=3, #unrelaxed=4557, #relaxed=28, #hardened=0 0.69/0.75 c BCD2: #sat=1 #unsat=4 bias=4/5 0.69/0.75 c Solving starts ... 0.69/0.75 c ============================[ Search Statistics ]============================ 0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.75 c | | | | Limit GC | Var | Constra 0.69/0.75 c ============================================================================= 0.69/0.75 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.76 c 0.0s | 0 | 51 | 0 | 12405 0 | 1770 | 3751 0.69/0.76 c #cpu_time = 0.009s 0.69/0.76 c #wall_clock_time = 0.009s 0.69/0.76 c #decision = 51 0.69/0.76 c #random_decision = 0 0.69/0.76 c #conflict = 0 0.69/0.76 c #restart = 0 0.69/0.76 c BCD2: found a new core of size 3: cost of the new core is >=1 0.69/0.76 c lower bound updated to 4 0.69/0.76 c BCD2: 4 <= obj <= 2046 0.69/0.76 c BCD2: #cores=4, #unrelaxed=4554, #relaxed=31, #hardened=0 0.69/0.76 c BCD2: #sat=1 #unsat=5 bias=5/6 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.77 c 0.0s | 0 | 56 | 0 | 12405 0 | 1770 | 3751 0.69/0.77 c #cpu_time = 0.009s 0.69/0.77 c #wall_clock_time = 0.009s 0.69/0.77 c #decision = 56 0.69/0.77 c #random_decision = 0 0.69/0.77 c #conflict = 0 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 9: cost of the new core is >=1 0.69/0.77 c lower bound updated to 5 0.69/0.77 c BCD2: 5 <= obj <= 2046 0.69/0.77 c BCD2: #cores=5, #unrelaxed=4545, #relaxed=40, #hardened=0 0.69/0.77 c BCD2: #sat=1 #unsat=6 bias=6/7 0.69/0.77 c Solving starts ... 0.69/0.77 c ============================[ Search Statistics ]============================ 0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.77 c | | | | Limit GC | Var | Constra 0.69/0.77 c ============================================================================= 0.69/0.77 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.78 c 0.0s | 0 | 176 | 0 | 12405 0 | 1770 | 3751 0.69/0.78 c #cpu_time = 0.009s 0.69/0.78 c #wall_clock_time = 0.009s 0.69/0.78 c #decision = 176 0.69/0.78 c #random_decision = 0 0.69/0.78 c #conflict = 0 0.69/0.78 c #restart = 0 0.69/0.78 c BCD2: found a new core of size 9: cost of the new core is >=1 0.69/0.78 c lower bound updated to 6 0.69/0.78 c BCD2: 6 <= obj <= 2046 0.69/0.78 c BCD2: #cores=6, #unrelaxed=4536, #relaxed=49, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=7 bias=7/8 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.69/0.79 c 0.0s | 0 | 442 | 0 | 12405 0 | 1770 | 3751 0.69/0.79 c #cpu_time = 0.011s 0.69/0.79 c #wall_clock_time = 0.011s 0.69/0.79 c #decision = 442 0.69/0.79 c #random_decision = 0 0.69/0.79 c #conflict = 0 0.69/0.79 c #restart = 0 0.69/0.79 c BCD2: found a new core of size 76: cost of the new core is >=1 0.69/0.79 c lower bound updated to 7 0.79/0.80 c BCD2: 7 <= obj <= 2046 0.79/0.80 c BCD2: #cores=7, #unrelaxed=4460, #relaxed=125, #hardened=0 0.79/0.80 c BCD2: #sat=1 #unsat=8 bias=8/9 0.79/0.80 c Solving starts ... 0.79/0.80 c ============================[ Search Statistics ]============================ 0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.80 c | | | | Limit GC | Var | Constra 0.79/0.80 c ============================================================================= 0.79/0.80 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.81 c 0.0s | 0 | 608 | 0 | 12405 0 | 1770 | 3751 0.79/0.81 c #cpu_time = 0.010s 0.79/0.81 c #wall_clock_time = 0.010s 0.79/0.81 c #decision = 608 0.79/0.81 c #random_decision = 0 0.79/0.81 c #conflict = 0 0.79/0.81 c #restart = 0 0.79/0.81 c BCD2: found a new core of size 62: cost of the new core is >=1 0.79/0.81 c lower bound updated to 8 0.79/0.81 c BCD2: 8 <= obj <= 2046 0.79/0.81 c BCD2: #cores=8, #unrelaxed=4398, #relaxed=187, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=9 bias=9/10 0.79/0.81 c Solving starts ... 0.79/0.81 c ============================[ Search Statistics ]============================ 0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.81 c | | | | Limit GC | Var | Constra 0.79/0.81 c ============================================================================= 0.79/0.81 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.82 c 0.0s | 0 | 566 | 0 | 12405 0 | 1770 | 3751 0.79/0.82 c #cpu_time = 0.012s 0.79/0.82 c #wall_clock_time = 0.012s 0.79/0.82 c #decision = 566 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 0 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 9: cost of the new core is >=1 0.79/0.82 c lower bound updated to 9 0.79/0.82 c BCD2: 9 <= obj <= 2046 0.79/0.82 c BCD2: #cores=9, #unrelaxed=4389, #relaxed=196, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=10 bias=10/11 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.83 c 0.0s | 0 | 573 | 0 | 12405 0 | 1770 | 3751 0.79/0.83 c #cpu_time = 0.008s 0.79/0.83 c #wall_clock_time = 0.008s 0.79/0.83 c #decision = 573 0.79/0.83 c #random_decision = 0 0.79/0.83 c #conflict = 0 0.79/0.83 c #restart = 0 0.79/0.83 c BCD2: found a new core of size 21: cost of the new core is >=1 0.79/0.83 c lower bound updated to 10 0.79/0.83 c BCD2: 10 <= obj <= 2046 0.79/0.83 c BCD2: #cores=10, #unrelaxed=4368, #relaxed=217, #hardened=0 0.79/0.83 c BCD2: #sat=1 #unsat=11 bias=11/12 0.79/0.83 c Solving starts ... 0.79/0.83 c ============================[ Search Statistics ]============================ 0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.83 c | | | | Limit GC | Var | Constra 0.79/0.83 c ============================================================================= 0.79/0.84 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.85 c 0.0s | 0 | 1422 | 0 | 12405 0 | 1770 | 3751 0.79/0.85 c #cpu_time = 0.011s 0.79/0.85 c #wall_clock_time = 0.011s 0.79/0.85 c #decision = 1422 0.79/0.85 c #random_decision = 0 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 c BCD2: found a new core of size 90: cost of the new core is >=1 0.79/0.85 c lower bound updated to 11 0.79/0.85 c BCD2: 11 <= obj <= 2046 0.79/0.85 c BCD2: #cores=11, #unrelaxed=4278, #relaxed=307, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=12 bias=12/13 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.86 c 0.0s | 0 | 1420 | 0 | 12405 0 | 1770 | 3751 0.79/0.86 c #cpu_time = 0.011s 0.79/0.86 c #wall_clock_time = 0.011s 0.79/0.86 c #decision = 1420 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 3: cost of the new core is >=1 0.79/0.86 c lower bound updated to 12 0.79/0.87 c BCD2: 12 <= obj <= 2046 0.79/0.87 c BCD2: #cores=12, #unrelaxed=4275, #relaxed=310, #hardened=0 0.79/0.87 c BCD2: #sat=1 #unsat=13 bias=13/14 0.79/0.87 c Solving starts ... 0.79/0.87 c ============================[ Search Statistics ]============================ 0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.87 c | | | | Limit GC | Var | Constra 0.79/0.87 c ============================================================================= 0.79/0.87 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.88 c 0.0s | 0 | 1560 | 0 | 12405 0 | 1770 | 3751 0.79/0.88 c #cpu_time = 0.011s 0.79/0.88 c #wall_clock_time = 0.011s 0.79/0.88 c #decision = 1560 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 0 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: found a new core of size 32: cost of the new core is >=1 0.79/0.88 c lower bound updated to 13 0.79/0.88 c BCD2: 13 <= obj <= 2046 0.79/0.88 c BCD2: #cores=13, #unrelaxed=4243, #relaxed=342, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=14 bias=14/15 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.79/0.89 c 0.0s | 0 | 1900 | 0 | 12405 0 | 1770 | 3751 0.79/0.89 c #cpu_time = 0.012s 0.79/0.89 c #wall_clock_time = 0.012s 0.79/0.89 c #decision = 1900 0.79/0.89 c #random_decision = 0 0.79/0.89 c #conflict = 0 0.79/0.89 c #restart = 0 0.79/0.89 c BCD2: found a new core of size 53: cost of the new core is >=1 0.79/0.89 c lower bound updated to 14 0.89/0.90 c BCD2: 14 <= obj <= 2046 0.89/0.90 c BCD2: #cores=14, #unrelaxed=4190, #relaxed=395, #hardened=0 0.89/0.90 c BCD2: #sat=1 #unsat=15 bias=15/16 0.89/0.90 c Solving starts ... 0.89/0.90 c ============================[ Search Statistics ]============================ 0.89/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.90 c | | | | Limit GC | Var | Constra 0.89/0.90 c ============================================================================= 0.89/0.90 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.89/0.91 c 0.0s | 0 | 1942 | 0 | 12405 0 | 1770 | 3751 0.89/0.91 c #cpu_time = 0.011s 0.89/0.91 c #wall_clock_time = 0.011s 0.89/0.91 c #decision = 1942 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 0 0.89/0.91 c #restart = 0 0.89/0.91 c BCD2: found a new core of size 53: cost of the new core is >=1 0.89/0.91 c lower bound updated to 15 0.89/0.91 c BCD2: 15 <= obj <= 2046 0.89/0.91 c BCD2: #cores=15, #unrelaxed=4137, #relaxed=448, #hardened=0 0.89/0.91 c BCD2: #sat=1 #unsat=16 bias=16/17 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.89/0.91 c ============================================================================= 0.89/0.91 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.89/0.92 c 0.0s | 0 | 1952 | 0 | 12405 0 | 1770 | 3751 0.89/0.92 c #cpu_time = 0.012s 0.89/0.92 c #wall_clock_time = 0.012s 0.89/0.92 c #decision = 1952 0.89/0.92 c #random_decision = 0 0.89/0.92 c #conflict = 0 0.89/0.92 c #restart = 0 0.89/0.92 c BCD2: found a new core of size 37: cost of the new core is >=1 0.89/0.92 c lower bound updated to 16 0.89/0.93 c BCD2: 16 <= obj <= 2046 0.89/0.93 c BCD2: #cores=16, #unrelaxed=4100, #relaxed=485, #hardened=0 0.89/0.93 c BCD2: #sat=1 #unsat=17 bias=17/18 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.93 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.89/0.94 c 0.0s | 0 | 2822 | 0 | 12405 0 | 1770 | 3751 0.89/0.94 c #cpu_time = 0.014s 0.89/0.94 c #wall_clock_time = 0.014s 0.89/0.94 c #decision = 2822 0.89/0.94 c #random_decision = 0 0.89/0.94 c #conflict = 0 0.89/0.94 c #restart = 0 0.89/0.94 c BCD2: found a new core of size 83: cost of the new core is >=1 0.89/0.94 c lower bound updated to 17 0.89/0.95 c BCD2: 17 <= obj <= 2046 0.89/0.95 c BCD2: #cores=17, #unrelaxed=4017, #relaxed=568, #hardened=0 0.89/0.95 c BCD2: #sat=1 #unsat=18 bias=18/19 0.89/0.95 c Solving starts ... 0.89/0.95 c ============================[ Search Statistics ]============================ 0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.95 c | | | | Limit GC | Var | Constra 0.89/0.95 c ============================================================================= 0.89/0.95 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.89/0.97 c 0.0s | 0 | 3131 | 0 | 12405 0 | 1770 | 3751 0.89/0.97 c #cpu_time = 0.014s 0.89/0.97 c #wall_clock_time = 0.014s 0.89/0.97 c #decision = 3131 0.89/0.97 c #random_decision = 0 0.89/0.97 c #conflict = 0 0.89/0.97 c #restart = 0 0.89/0.97 c BCD2: found a new core of size 96: cost of the new core is >=1 0.89/0.97 c lower bound updated to 18 0.89/0.97 c BCD2: 18 <= obj <= 2046 0.89/0.97 c BCD2: #cores=18, #unrelaxed=3921, #relaxed=664, #hardened=0 0.89/0.97 c BCD2: #sat=1 #unsat=19 bias=19/20 0.89/0.97 c Solving starts ... 0.89/0.97 c ============================[ Search Statistics ]============================ 0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.97 c | | | | Limit GC | Var | Constra 0.89/0.97 c ============================================================================= 0.89/0.97 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.89/0.98 c 0.0s | 0 | 3047 | 0 | 12405 0 | 1770 | 3751 0.89/0.98 c #cpu_time = 0.014s 0.89/0.98 c #wall_clock_time = 0.014s 0.89/0.98 c #decision = 3047 0.89/0.98 c #random_decision = 0 0.89/0.98 c #conflict = 0 0.89/0.98 c #restart = 0 0.89/0.98 c BCD2: found a new core of size 9: cost of the new core is >=1 0.89/0.98 c lower bound updated to 19 0.89/0.99 c BCD2: 19 <= obj <= 2046 0.89/0.99 c BCD2: #cores=19, #unrelaxed=3912, #relaxed=673, #hardened=0 0.89/0.99 c BCD2: #sat=1 #unsat=20 bias=20/21 0.89/0.99 c Solving starts ... 0.89/0.99 c ============================[ Search Statistics ]============================ 0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.99 c | | | | Limit GC | Var | Constra 0.89/0.99 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3751 0.99/1.01 c 0.0s | 0 | 3651 | 0 | 12405 0 | 1770 | 3751 0.99/1.01 c #cpu_time = 0.019s 0.99/1.01 c #wall_clock_time = 0.019s 0.99/1.01 c #decision = 3651 0.99/1.01 c #random_decision = 1 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 o 36 0.99/1.01 c BCD2: updating upper bound: 2046 -> 35 0.99/1.03 c BCD2: 19 <= obj <= 35 0.99/1.03 c BCD2: #cores=19, #unrelaxed=3912, #relaxed=673, #hardened=0 0.99/1.03 c BCD2: #sat=2 #unsat=20 bias=20/22 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 12405 0 | 1770 | 3752 0.99/1.07 c 0.0s | 0 | 13633 | 6 | 12405 0 | 1770 | 3752 0.99/1.07 c #cpu_time = 0.040s 0.99/1.07 c #wall_clock_time = 0.040s 0.99/1.07 c #decision = 13633 0.99/1.07 c #random_decision = 0 0.99/1.07 c #conflict = 6 0.99/1.07 c #restart = 0 0.99/1.07 c BCD2: relaxing 9 and merging with 3 cores into a new core of size 29: cost of the new core is >=4 0.99/1.07 c lower bound updated to 20 0.99/1.08 c BCD2: 20 <= obj <= 35 0.99/1.08 c BCD2: #cores=17, #unrelaxed=3903, #relaxed=682, #hardened=0 0.99/1.08 c BCD2: #sat=2 #unsat=21 bias=21/23 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 12405 0 | 1778 | 3752 1.09/1.14 c 0.1s | 1 | 3356 | 100 | 13646 0 | 1778 | 3765 1.09/1.19 c 0.1s | 1 | 6930 | 146 | 13646 0 | 1778 | 3765 1.09/1.19 c #cpu_time = 0.102s 1.09/1.19 c #wall_clock_time = 0.102s 1.09/1.19 c #decision = 6930 1.09/1.19 c #random_decision = 1 1.09/1.19 c #conflict = 146 1.09/1.19 c #restart = 1 1.09/1.19 o 26 1.09/1.19 c BCD2: updating upper bound: 35 -> 25 1.19/1.21 c BCD2: 20 <= obj <= 25 1.19/1.21 c BCD2: #cores=17, #unrelaxed=3903, #relaxed=682, #hardened=0 1.19/1.21 c BCD2: #sat=3 #unsat=21 bias=21/24 1.19/1.21 c Solving starts ... 1.19/1.21 c ============================[ Search Statistics ]============================ 1.19/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.21 c | | | | Limit GC | Var | Constra 1.19/1.21 c ============================================================================= 1.19/1.21 c 0.0s | 0 | 0 | 0 | 13646 0 | 1778 | 3766 1.19/1.25 c 0.0s | 0 | 10394 | 37 | 13646 0 | 1778 | 3766 1.19/1.25 c #cpu_time = 0.040s 1.19/1.25 c #wall_clock_time = 0.040s 1.19/1.25 c #decision = 10394 1.19/1.25 c #random_decision = 0 1.19/1.25 c #conflict = 37 1.19/1.25 c #restart = 0 1.19/1.25 c BCD2: relaxing 50 and merging with 6 cores into a new core of size 187: cost of the new core is >=10 1.19/1.25 c lower bound updated to 21 1.19/1.25 c BCD2: 21 <= obj <= 25 1.19/1.25 c BCD2: #cores=12, #unrelaxed=3853, #relaxed=732, #hardened=0 1.19/1.25 c BCD2: #sat=3 #unsat=22 bias=22/25 1.19/1.25 c Solving starts ... 1.19/1.25 c ============================[ Search Statistics ]============================ 1.19/1.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.25 c | | | | Limit GC | Var | Constra 1.19/1.25 c ============================================================================= 1.19/1.25 c 0.0s | 0 | 0 | 0 | 13646 0 | 1797 | 3766 1.29/1.30 c 0.1s | 1 | 3761 | 100 | 15011 0 | 1797 | 3798 1.29/1.38 c 0.1s | 2 | 9263 | 250 | 15011 0 | 1797 | 3798 1.39/1.47 c 0.2s | 3 | 13601 | 475 | 16513 0 | 1797 | 3798 1.59/1.64 c 0.4s | 4 | 19300 | 813 | 18165 0 | 1797 | 3798 1.79/1.83 c 0.6s | 5 | 24978 | 1320 | 19982 0 | 1797 | 3798 2.19/2.21 c 1.0s | 6 | 33070 | 2081 | 21981 0 | 1797 | 3798 2.89/2.91 c 1.7s | 7 | 44970 | 3223 | 24180 0 | 1797 | 3798 3.79/3.86 c 2.6s | 8 | 59196 | 4936 | 26599 0 | 1797 | 3798 5.19/5.22 c 4.0s | 9 | 73439 | 7506 | 29259 0 | 1797 | 3798 7.19/7.23 c 6.0s | 9 | 91018 | 10906 | 29259 0 | 1797 | 3798 7.49/7.55 c 6.3s | 10 | 93590 | 11361 | 32185 0 | 1797 | 3798 9.49/9.55 c 8.3s | 10 | 112377 | 14561 | 32185 0 | 1797 | 3798 11.29/11.32 c 10.1s | 11 | 125526 | 17144 | 35404 0 | 1797 | 3798 13.29/13.33 c 12.1s | 11 | 143014 | 19944 | 35404 0 | 1797 | 3798 15.28/15.40 c 14.1s | 11 | 154060 | 23044 | 35404 0 | 1797 | 3798 17.38/17.46 c 16.2s | 12 | 164807 | 25819 | 38945 0 | 1797 | 3798 19.38/19.49 c 18.2s | 12 | 175583 | 28019 | 38945 0 | 1797 | 3798 21.48/21.54 c 20.3s | 12 | 185784 | 30119 | 38945 0 | 1797 | 3798 23.48/23.58 c 22.3s | 12 | 193774 | 32119 | 38945 0 | 1797 | 3798 25.59/25.64 c 24.4s | 12 | 203340 | 34219 | 38945 0 | 1797 | 3798 27.60/27.67 c 26.4s | 12 | 212126 | 36219 | 38945 0 | 1797 | 3798 29.70/29.75 c 28.5s | 12 | 221054 | 38119 | 38945 0 | 1797 | 3798 30.39/30.44 c 29.2s | 13 | 225043 | 38832 | 42840 0 | 1797 | 3798 32.39/32.47 c 31.2s | 13 | 233809 | 41332 | 42840 0 | 1797 | 3798 34.49/34.50 c 33.2s | 13 | 240268 | 43732 | 42840 0 | 1797 | 3798 36.59/36.61 c 35.4s | 13 | 249431 | 45932 | 42840 0 | 1797 | 3798 38.59/38.61 c 37.4s | 13 | 261042 | 47732 | 42840 0 | 1797 | 3798 40.58/40.67 c 39.4s | 13 | 271502 | 49532 | 42840 0 | 1797 | 3798 42.99/43.01 c 41.8s | 13 | 276126 | 50932 | 42840 1 | 1797 | 3798 46.89/46.95 c 45.7s | 13 | 281697 | 52932 | 42840 1 | 1797 | 3798 48.99/49.02 c 47.8s | 13 | 289524 | 54932 | 42840 1 | 1797 | 3798 51.09/51.10 c 49.8s | 13 | 295899 | 56832 | 42840 1 | 1797 | 3798 53.18/53.28 c 52.0s | 13 | 302070 | 58332 | 47125 1 | 1797 | 3798 53.28/53.34 c 52.1s | 14 | 302145 | 58352 | 47125 1 | 1797 | 3798 55.38/55.45 c 54.2s | 14 | 312661 | 60052 | 47125 1 | 1797 | 3798 57.49/57.53 c 56.3s | 14 | 320979 | 61952 | 47125 1 | 1797 | 3798 59.49/59.59 c 58.3s | 14 | 330037 | 63852 | 47125 1 | 1797 | 3798 61.59/61.68 c 60.4s | 14 | 336971 | 65552 | 47125 1 | 1797 | 3798 63.68/63.76 c 62.5s | 14 | 344747 | 67452 | 47125 1 | 1797 | 3798 65.78/65.82 c 64.6s | 14 | 351798 | 69452 | 47125 1 | 1797 | 3798 67.88/67.94 c 66.7s | 14 | 352342 | 69752 | 47125 1 | 1797 | 3798 69.98/70.00 c 68.7s | 14 | 357152 | 71352 | 47125 1 | 1797 | 3798 72.08/72.14 c 70.9s | 14 | 361346 | 73052 | 47125 1 | 1797 | 3798 74.08/74.18 c 72.9s | 14 | 366040 | 74352 | 47125 1 | 1797 | 3798 76.18/76.26 c 75.0s | 14 | 370033 | 76052 | 47125 1 | 1797 | 3798 78.28/78.33 c 77.1s | 14 | 374793 | 77452 | 47125 1 | 1797 | 3798 80.39/80.43 c 79.2s | 14 | 378051 | 79052 | 47125 1 | 1797 | 3798 82.78/82.85 c 81.6s | 14 | 381249 | 80552 | 47125 2 | 1797 | 3798 86.98/87.03 c 85.8s | 14 | 385634 | 82552 | 47125 2 | 1797 | 3798 94.68/94.73 c 93.5s | 14 | 387270 | 83152 | 47125 2 | 1797 | 3798 96.68/96.80 c 95.5s | 14 | 393026 | 84952 | 47125 2 | 1797 | 3798 98.77/98.80 c 97.6s | 14 | 396721 | 86752 | 47125 2 | 1797 | 3798 99.77/99.83 c 98.6s | 15 | 398126 | 87632 | 51838 2 | 1797 | 3798 101.78/101.87 c 100s | 15 | 403250 | 88632 | 51838 2 | 1797 | 3798 103.88/103.93 c 102s | 15 | 407889 | 90732 | 51838 2 | 1797 | 3798 105.88/105.95 c 104s | 15 | 412836 | 92532 | 51838 2 | 1797 | 3798 108.07/108.13 c 106s | 15 | 416556 | 94432 | 51838 2 | 1797 | 3798 110.08/110.14 c 108s | 15 | 424544 | 95732 | 51838 2 | 1797 | 3798 112.18/112.22 c 110s | 15 | 428434 | 97232 | 51838 2 | 1797 | 3798 114.17/114.23 c 112s | 15 | 433965 | 98932 | 51838 2 | 1797 | 3798 116.17/116.26 c 115s | 15 | 438829 | 100432 | 51838 2 | 1797 | 3798 118.27/118.32 c 117s | 15 | 445587 | 101932 | 51838 2 | 1797 | 3798 120.37/120.43 c 119s | 15 | 450032 | 103632 | 51838 2 | 1797 | 3798 122.47/122.53 c 121s | 15 | 452879 | 105132 | 51838 2 | 1797 | 3798 124.47/124.58 c 123s | 15 | 456023 | 106532 | 51838 2 | 1797 | 3798 126.58/126.67 c 125s | 15 | 459622 | 107832 | 51838 2 | 1797 | 3798 128.68/128.71 c 127s | 15 | 462441 | 109132 | 51838 2 | 1797 | 3798 130.77/130.87 c 129s | 15 | 466086 | 110532 | 51838 2 | 1797 | 3798 132.87/132.98 c 131s | 15 | 470115 | 112132 | 51838 2 | 1797 | 3798 135.06/135.12 c 133s | 15 | 472487 | 112932 | 51838 3 | 1797 | 3798 137.07/137.16 c 135s | 15 | 476350 | 114132 | 51838 3 | 1797 | 3798 139.17/139.22 c 137s | 15 | 484974 | 116232 | 51838 3 | 1797 | 3798 141.17/141.28 c 140s | 15 | 489744 | 118432 | 51838 3 | 1797 | 3798 143.27/143.36 c 142s | 15 | 494732 | 120332 | 51838 3 | 1797 | 3798 145.37/145.47 c 144s | 15 | 496988 | 120832 | 51838 3 | 1797 | 3798 147.57/147.60 c 146s | 15 | 500337 | 122432 | 51838 3 | 1797 | 3798 149.58/149.63 c 148s | 15 | 504999 | 124032 | 51838 3 | 1797 | 3798 151.67/151.72 c 150s | 15 | 509825 | 125832 | 51838 3 | 1797 | 3798 153.77/153.82 c 152s | 15 | 514338 | 127532 | 51838 3 | 1797 | 3798 155.87/155.97 c 154s | 15 | 519708 | 129032 | 51838 3 | 1797 | 3798 157.97/158.05 c 156s | 15 | 524052 | 130732 | 57022 3 | 1797 | 3798 159.07/159.10 c 157s | 16 | 527283 | 131552 | 57022 3 | 1797 | 3798 161.17/161.22 c 159s | 16 | 536468 | 132952 | 57022 3 | 1797 | 3798 163.17/163.24 c 161s | 16 | 541419 | 134452 | 57022 3 | 1797 | 3798 165.27/165.32 c 164s | 16 | 546329 | 135952 | 57022 3 | 1797 | 3798 170.67/170.75 c 169s | 16 | 550340 | 137352 | 57022 3 | 1797 | 3798 172.67/172.79 c 171s | 16 | 554127 | 138752 | 57022 3 | 1797 | 3798 174.76/174.86 c 173s | 16 | 559036 | 140252 | 57022 3 | 1797 | 3798 176.86/176.91 c 175s | 16 | 565933 | 141752 | 57022 3 | 1797 | 3798 178.96/179.07 c 177s | 16 | 572985 | 143452 | 57022 3 | 1797 | 3798 180.96/181.09 c 179s | 16 | 578205 | 144852 | 57022 3 | 1797 | 3798 183.06/183.12 c 181s | 16 | 582325 | 146052 | 57022 3 | 1797 | 3798 185.06/185.18 c 183s | 16 | 586531 | 147052 | 57022 3 | 1797 | 3798 187.16/187.24 c 185s | 16 | 590110 | 148052 | 57022 4 | 1797 | 3798 189.17/189.28 c 188s | 16 | 594677 | 149252 | 57022 4 | 1797 | 3798 191.26/191.30 c 190s | 16 | 602543 | 151052 | 57022 4 | 1797 | 3798 193.26/193.35 c 192s | 16 | 610925 | 153252 | 57022 4 | 1797 | 3798 195.36/195.43 c 194s | 16 | 616739 | 155252 | 57022 4 | 1797 | 3798 197.46/197.51 c 196s | 16 | 621909 | 157052 | 57022 4 | 1797 | 3798 199.56/199.60 c 198s | 16 | 627355 | 158552 | 57022 4 | 1797 | 3798 201.56/201.61 c 200s | 16 | 633893 | 160052 | 57022 4 | 1797 | 3798 203.66/203.73 c 202s | 16 | 638998 | 161452 | 57022 4 | 1797 | 3798 205.66/205.80 c 204s | 16 | 643117 | 162852 | 57022 4 | 1797 | 3798 207.86/207.92 c 206s | 16 | 648545 | 164152 | 57022 4 | 1797 | 3798 209.96/210.05 c 208s | 16 | 653266 | 165652 | 57022 4 | 1797 | 3798 212.05/212.13 c 210s | 16 | 658276 | 167252 | 57022 4 | 1797 | 3798 214.15/214.28 c 213s | 16 | 662904 | 168652 | 57022 4 | 1797 | 3798 216.25/216.37 c 215s | 16 | 666127 | 169752 | 57022 4 | 1797 | 3798 218.35/218.45 c 217s | 16 | 671163 | 171152 | 57022 4 | 1797 | 3798 220.35/220.45 c 219s | 16 | 674521 | 172552 | 57022 4 | 1797 | 3798 223.06/223.18 c 221s | 16 | 675546 | 172952 | 57022 4 | 1797 | 3798 225.16/225.29 c 224s | 16 | 680929 | 174352 | 57022 4 | 1797 | 3798 227.36/227.40 c 226s | 16 | 684931 | 175752 | 57022 4 | 1797 | 3798 229.36/229.48 c 228s | 16 | 688177 | 176952 | 57022 4 | 1797 | 3798 231.85/231.95 c 230s | 16 | 691624 | 178052 | 57022 4 | 1797 | 3798 233.95/234.00 c 232s | 16 | 697824 | 179152 | 57022 4 | 1797 | 3798 236.05/236.12 c 234s | 16 | 702851 | 180352 | 57022 4 | 1797 | 3798 238.16/238.21 c 236s | 16 | 706662 | 181452 | 57022 5 | 1797 | 3798 240.26/240.40 c 239s | 16 | 708921 | 182252 | 57022 5 | 1797 | 3798 242.36/242.44 c 241s | 16 | 711482 | 183052 | 57022 5 | 1797 | 3798 244.36/244.45 c 243s | 16 | 717612 | 184752 | 57022 5 | 1797 | 3798 246.46/246.55 c 245s | 16 | 724990 | 186652 | 57022 5 | 1797 | 3798 248.46/248.56 c 247s | 16 | 731001 | 188652 | 57022 5 | 1797 | 3798 250.56/250.62 c 249s | 16 | 735156 | 190252 | 57022 5 | 1797 | 3798 252.55/252.64 c 251s | 16 | 741146 | 191852 | 57022 5 | 1797 | 3798 254.65/254.70 c 253s | 16 | 746872 | 193452 | 57022 5 | 1797 | 3798 256.65/256.79 c 255s | 16 | 752266 | 195252 | 57022 5 | 1797 | 3798 258.75/258.88 c 257s | 16 | 758109 | 196852 | 62725 5 | 1797 | 3798 259.45/259.59 c 258s | 17 | 761107 | 197432 | 62725 5 | 1797 | 3798 261.55/261.65 c 260s | 17 | 768103 | 198832 | 62725 5 | 1797 | 3798 263.65/263.73 c 262s | 17 | 772031 | 200132 | 62725 5 | 1797 | 3798 265.75/265.81 c 264s | 17 | 776326 | 201632 | 62725 5 | 1797 | 3798 267.85/267.95 c 266s | 17 | 781525 | 203032 | 62725 5 | 1797 | 3798 269.85/269.98 c 268s | 17 | 789292 | 204432 | 62725 5 | 1797 | 3798 271.95/272.04 c 270s | 17 | 793425 | 205832 | 62725 5 | 1797 | 3798 274.05/274.11 c 272s | 17 | 800138 | 207332 | 62725 5 | 1797 | 3798 276.15/276.23 c 274s | 17 | 805462 | 208632 | 62725 5 | 1797 | 3798 278.15/278.30 c 277s | 17 | 810175 | 209832 | 62725 5 | 1797 | 3798 280.35/280.40 c 279s | 17 | 816923 | 211332 | 62725 5 | 1797 | 3798 282.35/282.48 c 281s | 17 | 822530 | 212532 | 62725 5 | 1797 | 3798 284.55/284.62 c 283s | 17 | 828033 | 213932 | 62725 5 | 1797 | 3798 286.65/286.75 c 285s | 17 | 833626 | 215232 | 62725 5 | 1797 | 3798 288.75/288.81 c 287s | 17 | 837248 | 216332 | 62725 5 | 1797 | 3798 289.75/289.89 c 288s | 17 | 846091 | 216787 | 62725 6 | 1797 | 3798 289.75/289.89 c #cpu_time = 288.648s 289.75/289.89 c #wall_clock_time = 288.638s 289.75/289.89 c #decision = 846091 289.75/289.89 c #random_decision = 929 289.75/289.89 c #conflict = 216787 289.75/289.89 c #restart = 17 289.75/289.89 c BCD2: relaxing 51 and merging with 4 cores into a new core of size 413: cost of the new core is >=14 289.75/289.89 c lower bound updated to 22 289.75/289.89 c BCD2: 22 <= obj <= 25 289.75/289.89 c BCD2: #cores=9, #unrelaxed=3802, #relaxed=783, #hardened=0 289.75/289.89 c BCD2: #sat=3 #unsat=23 bias=23/26 289.75/289.89 c Solving starts ... 289.75/289.89 c ============================[ Search Statistics ]============================ 289.75/289.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 289.75/289.89 c | | | | Limit GC | Var | Constra 289.75/289.89 c ============================================================================= 289.75/289.89 c 0.0s | 0 | 0 | 0 | 62725 0 | 1808 | 3798 290.54/290.64 c 0.7s | 1 | 3295 | 100 | 62725 0 | 1808 | 3816 293.14/293.25 c 3.4s | 1 | 7970 | 200 | 62725 0 | 1808 | 3816 293.14/293.29 c 3.4s | 2 | 8961 | 250 | 62725 0 | 1808 | 3816 293.34/293.49 c 3.6s | 3 | 15622 | 475 | 62725 0 | 1808 | 3816 293.65/293.77 c 3.9s | 4 | 22017 | 813 | 62725 0 | 1808 | 3816 294.05/294.15 c 4.3s | 5 | 29474 | 1320 | 62725 0 | 1808 | 3816 296.55/296.64 c 6.7s | 5 | 33262 | 1420 | 62725 0 | 1808 | 3816 306.64/306.71 c 16.8s | 5 | 35516 | 1720 | 62725 0 | 1808 | 3816 311.55/311.69 c 21.8s | 5 | 36163 | 1820 | 62725 0 | 1808 | 3816 311.75/311.90 c 22.0s | 6 | 39343 | 2081 | 62725 0 | 1808 | 3816 313.94/314.02 c 24.1s | 6 | 50732 | 3181 | 62725 0 | 1808 | 3816 313.94/314.06 c 24.2s | 7 | 51135 | 3223 | 62725 0 | 1808 | 3816 315.44/315.58 c 25.7s | 8 | 68237 | 4936 | 62725 0 | 1808 | 3816 319.94/320.05 c 30.2s | 8 | 82702 | 6536 | 62725 0 | 1808 | 3816 320.94/321.00 c 31.1s | 9 | 93180 | 7506 | 62725 0 | 1808 | 3816 322.94/323.06 c 33.2s | 9 | 112327 | 9606 | 62725 0 | 1808 | 3816 324.84/324.95 c 35.1s | 10 | 126425 | 11361 | 62725 0 | 1808 | 3816 326.84/326.98 c 37.1s | 10 | 142123 | 13161 | 62725 0 | 1808 | 3816 328.85/328.98 c 39.1s | 10 | 155197 | 14761 | 62725 0 | 1808 | 3816 330.94/331.02 c 41.1s | 10 | 167608 | 16461 | 62725 0 | 1808 | 3816 331.64/331.77 c 41.9s | 11 | 173897 | 17144 | 62725 0 | 1808 | 3816 333.74/333.85 c 44.0s | 11 | 197240 | 19244 | 62725 0 | 1808 | 3816 335.74/335.86 c 46.0s | 11 | 208257 | 21244 | 62725 0 | 1808 | 3816 337.75/337.88 c 48.0s | 11 | 223143 | 22944 | 62725 0 | 1808 | 3816 339.85/339.92 c 50.0s | 11 | 233459 | 24544 | 62725 0 | 1808 | 3816 341.64/341.77 c 51.9s | 12 | 243923 | 25819 | 62725 0 | 1808 | 3816 343.74/343.81 c 53.9s | 12 | 256194 | 27219 | 62725 0 | 1808 | 3816 345.74/345.89 c 56.0s | 12 | 267030 | 28819 | 62725 0 | 1808 | 3816 347.84/347.97 c 58.1s | 12 | 281999 | 30419 | 62725 0 | 1808 | 3816 349.94/350.02 c 60.1s | 12 | 294669 | 32019 | 62725 0 | 1808 | 3816 352.04/352.12 c 62.2s | 12 | 305898 | 33519 | 62725 0 | 1808 | 3816 354.14/354.25 c 64.4s | 12 | 318537 | 35119 | 62725 0 | 1808 | 3816 356.14/356.28 c 66.4s | 12 | 328038 | 36519 | 62725 0 | 1808 | 3816 358.23/358.36 c 68.5s | 12 | 336571 | 37819 | 62725 0 | 1808 | 3816 359.93/360.00 c 70.1s | 13 | 344037 | 38832 | 62725 0 | 1808 | 3816 362.03/362.15 c 72.3s | 13 | 355110 | 39932 | 62725 0 | 1808 | 3816 364.23/364.33 c 74.4s | 13 | 362135 | 40932 | 62725 0 | 1808 | 3816 366.34/366.43 c 76.5s | 13 | 369327 | 42132 | 62725 0 | 1808 | 3816 368.33/368.49 c 78.6s | 13 | 378449 | 43332 | 62725 0 | 1808 | 3816 370.43/370.50 c 80.6s | 13 | 385579 | 44532 | 62725 0 | 1808 | 3816 372.53/372.62 c 82.7s | 13 | 393281 | 45732 | 62725 0 | 1808 | 3816 374.63/374.74 c 84.9s | 13 | 401268 | 47032 | 62725 0 | 1808 | 3816 376.73/376.89 c 87.0s | 13 | 409753 | 48232 | 62725 0 | 1808 | 3816 378.83/378.97 c 89.1s | 13 | 419889 | 49632 | 62725 0 | 1808 | 3816 380.83/380.99 c 91.1s | 13 | 426751 | 50732 | 62725 0 | 1808 | 3816 382.93/383.08 c 93.2s | 13 | 434047 | 51932 | 62725 0 | 1808 | 3816 385.04/385.19 c 95.3s | 13 | 440890 | 53032 | 62725 0 | 1808 | 3816 387.24/387.31 c 97.4s | 13 | 448648 | 54332 | 62725 0 | 1808 | 3816 389.23/389.36 c 99.5s | 13 | 458096 | 55532 | 62725 0 | 1808 | 3816 391.33/391.45 c 101s | 13 | 468465 | 56832 | 62725 0 | 1808 | 3816 393.33/393.47 c 103s | 13 | 475095 | 58032 | 62725 0 | 1808 | 3816 393.93/394.03 c 104s | 14 | 476765 | 58352 | 62725 0 | 1808 | 3816 395.93/396.04 c 106s | 14 | 484795 | 59252 | 62725 0 | 1808 | 3816 398.03/398.10 c 108s | 14 | 489973 | 60252 | 62725 0 | 1808 | 3816 400.03/400.14 c 110s | 14 | 494867 | 61152 | 62725 0 | 1808 | 3816 402.23/402.32 c 112s | 14 | 500059 | 62052 | 62725 0 | 1808 | 3816 404.33/404.48 c 114s | 14 | 505458 | 63052 | 62725 0 | 1808 | 3816 406.43/406.53 c 116s | 14 | 515231 | 64452 | 62725 0 | 1808 | 3816 408.53/408.63 c 118s | 14 | 525378 | 65652 | 62725 0 | 1808 | 3816 410.53/410.68 c 120s | 14 | 534202 | 66952 | 62725 0 | 1808 | 3816 412.73/412.87 c 122s | 14 | 543285 | 68252 | 62725 0 | 1808 | 3816 414.83/414.90 c 125s | 14 | 549979 | 69252 | 62725 0 | 1808 | 3816 416.93/417.05 c 127s | 14 | 558113 | 70452 | 62725 0 | 1808 | 3816 418.93/419.07 c 129s | 14 | 565068 | 71552 | 62725 1 | 1808 | 3816 420.93/421.09 c 131s | 14 | 576964 | 73252 | 62725 1 | 1808 | 3816 423.12/423.20 c 133s | 14 | 587898 | 74752 | 62725 1 | 1808 | 3816 425.12/425.28 c 135s | 14 | 596340 | 76152 | 62725 1 | 1808 | 3816 427.22/427.38 c 137s | 14 | 605660 | 77452 | 68998 1 | 1808 | 3816 429.32/429.45 c 139s | 14 | 614209 | 78552 | 68998 1 | 1808 | 3816 431.42/431.58 c 141s | 14 | 621046 | 79852 | 68998 1 | 1808 | 3816 433.43/433.59 c 143s | 14 | 626917 | 80852 | 68998 1 | 1808 | 3816 435.53/435.70 c 145s | 14 | 634427 | 82152 | 68998 1 | 1808 | 3816 437.73/437.90 c 148s | 14 | 643601 | 83552 | 68998 1 | 1808 | 3816 439.93/440.09 c 150s | 14 | 650013 | 84652 | 68998 1 | 1808 | 3816 442.13/442.24 c 152s | 14 | 657888 | 85552 | 68998 1 | 1808 | 3816 444.33/444.42 c 154s | 14 | 665992 | 86652 | 68998 1 | 1808 | 3816 446.02/446.18 c 156s | 15 | 671584 | 87632 | 68998 1 | 1808 | 3816 448.22/448.32 c 158s | 15 | 681841 | 88732 | 68998 1 | 1808 | 3816 451.32/451.41 c 161s | 15 | 688031 | 89732 | 68998 1 | 1808 | 3816 453.32/453.49 c 163s | 15 | 692749 | 90532 | 68998 1 | 1808 | 3816 455.43/455.55 c 165s | 15 | 698815 | 91632 | 68998 1 | 1808 | 3816 457.53/457.64 c 167s | 15 | 708239 | 92732 | 68998 1 | 1808 | 3816 459.62/459.79 c 169s | 15 | 717643 | 93832 | 68998 1 | 1808 | 3816 461.72/461.84 c 171s | 15 | 724607 | 95032 | 68998 1 | 1808 | 3816 463.82/463.96 c 174s | 15 | 732427 | 96032 | 68998 1 | 1808 | 3816 466.02/466.13 c 176s | 15 | 738295 | 96932 | 68998 1 | 1808 | 3816 468.12/468.23 c 178s | 15 | 748144 | 98432 | 68998 1 | 1808 | 3816 470.22/470.37 c 180s | 15 | 755849 | 99632 | 68998 1 | 1808 | 3816 472.42/472.52 c 182s | 15 | 763528 | 100732 | 68998 1 | 1808 | 3816 474.52/474.67 c 184s | 15 | 768825 | 101732 | 68998 1 | 1808 | 3816 476.61/476.77 c 186s | 15 | 772572 | 102632 | 68998 1 | 1808 | 3816 478.72/478.81 c 188s | 15 | 778092 | 103532 | 68998 1 | 1808 | 3816 480.81/480.95 c 191s | 15 | 782800 | 104232 | 68998 1 | 1808 | 3816 482.82/483.00 c 193s | 15 | 791710 | 105632 | 68998 1 | 1808 | 3816 485.02/485.14 c 195s | 15 | 802007 | 107032 | 68998 1 | 1808 | 3816 487.11/487.23 c 197s | 15 | 811479 | 108332 | 68998 1 | 1808 | 3816 489.11/489.29 c 199s | 15 | 821389 | 109732 | 68998 1 | 1808 | 3816 491.51/491.61 c 201s | 15 | 827526 | 110832 | 68998 1 | 1808 | 3816 493.71/493.81 c 203s | 15 | 831379 | 111732 | 68998 1 | 1808 | 3816 495.81/495.91 c 206s | 15 | 836587 | 112732 | 68998 2 | 1808 | 3816 498.72/498.84 c 208s | 15 | 841014 | 113632 | 68998 2 | 1808 | 3816 501.91/502.05 c 212s | 15 | 846395 | 114532 | 68998 2 | 1808 | 3816 504.02/504.10 c 214s | 15 | 853263 | 115732 | 68998 2 | 1808 | 3816 506.12/506.21 c 216s | 15 | 864442 | 117232 | 68998 2 | 1808 | 3816 508.12/508.26 c 218s | 15 | 872344 | 118632 | 68998 2 | 1808 | 3816 510.21/510.35 c 220s | 15 | 880525 | 120132 | 68998 2 | 1808 | 3816 512.31/512.46 c 222s | 15 | 890100 | 121532 | 68998 2 | 1808 | 3816 514.41/514.53 c 224s | 15 | 900524 | 123132 | 68998 2 | 1808 | 3816 516.61/516.70 c 226s | 15 | 911000 | 124632 | 68998 2 | 1808 | 3816 518.61/518.79 c 228s | 15 | 917143 | 125832 | 68998 2 | 1808 | 3816 520.81/520.90 c 231s | 15 | 923637 | 126832 | 68998 2 | 1808 | 3816 522.81/522.94 c 233s | 15 | 928467 | 127732 | 68998 2 | 1808 | 3816 524.81/524.95 c 235s | 15 | 935479 | 128832 | 68998 2 | 1808 | 3816 527.01/527.12 c 237s | 15 | 940768 | 129832 | 68998 2 | 1808 | 3816 529.21/529.36 c 239s | 15 | 946016 | 130732 | 68998 2 | 1808 | 3816 531.21/531.30 c 241s | 16 | 949157 | 131552 | 68998 2 | 1808 | 3816 533.31/533.43 c 243s | 16 | 959633 | 132652 | 68998 2 | 1808 | 3816 535.50/535.64 c 245s | 16 | 966053 | 133652 | 68998 2 | 1808 | 3816 537.51/537.68 c 247s | 16 | 972563 | 134652 | 68998 2 | 1808 | 3816 539.51/539.68 c 249s | 16 | 977107 | 135352 | 68998 2 | 1808 | 3816 541.81/541.92 c 252s | 16 | 983313 | 136152 | 68998 2 | 1808 | 3816 543.91/544.01 c 254s | 16 | 988621 | 137052 | 68998 2 | 1808 | 3816 545.91/546.06 c 256s | 16 | 994528 | 138152 | 68998 2 | 1808 | 3816 548.11/548.26 c 258s | 16 | 999759 | 139252 | 68998 2 | 1808 | 3816 550.21/550.31 c 260s | 16 | 1004408 | 140052 | 68998 2 | 1808 | 3816 552.22/552.32 c 262s | 16 | 1009186 | 140852 | 68998 2 | 1808 | 3816 554.31/554.46 c 264s | 16 | 1013036 | 141752 | 68998 2 | 1808 | 3816 556.41/556.55 c 266s | 16 | 1018927 | 142752 | 68998 2 | 1808 | 3816 558.51/558.69 c 268s | 16 | 1024460 | 143852 | 68998 2 | 1808 | 3816 560.71/560.88 c 270s | 16 | 1029662 | 144652 | 68998 2 | 1808 | 3816 562.81/562.95 c 273s | 16 | 1034984 | 145452 | 68998 2 | 1808 | 3816 565.10/565.27 c 275s | 16 | 1040341 | 146352 | 68998 2 | 1808 | 3816 567.40/567.50 c 277s | 16 | 1045297 | 147152 | 68998 2 | 1808 | 3816 569.40/569.52 c 279s | 16 | 1049260 | 147952 | 68998 2 | 1808 | 3816 571.50/571.61 c 281s | 16 | 1054127 | 148852 | 68998 2 | 1808 | 3816 573.60/573.73 c 283s | 16 | 1062509 | 149852 | 68998 2 | 1808 | 3816 575.70/575.80 c 285s | 16 | 1067627 | 150852 | 68998 3 | 1808 | 3816 577.70/577.82 c 287s | 16 | 1073248 | 151952 | 68998 3 | 1808 | 3816 579.90/580.02 c 290s | 16 | 1081928 | 153052 | 68998 3 | 1808 | 3816 582.00/582.16 c 292s | 16 | 1088996 | 154352 | 68998 3 | 1808 | 3816 584.01/584.18 c 294s | 16 | 1093895 | 155352 | 68998 3 | 1808 | 3816 586.21/586.34 c 296s | 16 | 1098228 | 156352 | 68998 3 | 1808 | 3816 588.30/588.50 c 298s | 16 | 1102891 | 157552 | 68998 3 | 1808 | 3816 590.40/590.51 c 300s | 16 | 1108342 | 158652 | 68998 3 | 1808 | 3816 594.00/594.15 c 304s | 16 | 1111218 | 159252 | 68998 3 | 1808 | 3816 596.10/596.24 c 306s | 16 | 1118553 | 160552 | 68998 3 | 1808 | 3816 600.79/600.92 c 311s | 16 | 1125659 | 161652 | 68998 3 | 1808 | 3816 602.80/602.98 c 313s | 16 | 1135348 | 163052 | 68998 3 | 1808 | 3816 604.91/605.01 c 315s | 16 | 1145944 | 164752 | 68998 3 | 1808 | 3816 606.90/607.07 c 317s | 16 | 1153727 | 166052 | 68998 3 | 1808 | 3816 609.00/609.11 c 319s | 16 | 1163183 | 167552 | 68998 3 | 1808 | 3816 611.10/611.20 c 321s | 16 | 1172422 | 169052 | 68998 3 | 1808 | 3816 613.10/613.29 c 323s | 16 | 1183323 | 170552 | 68998 3 | 1808 | 3816 615.20/615.38 c 325s | 16 | 1190784 | 171752 | 68998 3 | 1808 | 3816 617.40/617.54 c 327s | 16 | 1199469 | 173152 | 68998 3 | 1808 | 3816 619.50/619.61 c 329s | 16 | 1206894 | 174352 | 68998 3 | 1808 | 3816 621.50/621.67 c 331s | 16 | 1213212 | 175652 | 68998 3 | 1808 | 3816 623.50/623.70 c 333s | 16 | 1220342 | 176852 | 68998 3 | 1808 | 3816 625.60/625.73 c 335s | 16 | 1228627 | 178152 | 68998 3 | 1808 | 3816 627.60/627.75 c 337s | 16 | 1234548 | 179352 | 68998 3 | 1808 | 3816 629.70/629.80 c 339s | 16 | 1240736 | 180552 | 68998 3 | 1808 | 3816 631.69/631.84 c 341s | 16 | 1249420 | 181852 | 68998 3 | 1808 | 3816 633.79/633.92 c 344s | 16 | 1257616 | 182952 | 68998 3 | 1808 | 3816 635.89/636.08 c 346s | 16 | 1266546 | 184352 | 68998 3 | 1808 | 3816 638.00/638.14 c 348s | 16 | 1273897 | 185652 | 68998 3 | 1808 | 3816 640.20/640.32 c 350s | 16 | 1281517 | 186852 | 68998 3 | 1808 | 3816 642.30/642.46 c 352s | 16 | 1287446 | 187852 | 68998 3 | 1808 | 3816 644.49/644.69 c 354s | 16 | 1294811 | 189052 | 68998 4 | 1808 | 3816 646.59/646.77 c 356s | 16 | 1304628 | 190352 | 68998 4 | 1808 | 3816 648.79/648.92 c 359s | 16 | 1313287 | 191852 | 68998 4 | 1808 | 3816 655.19/655.33 c 365s | 16 | 1320667 | 193152 | 68998 4 | 1808 | 3816 657.29/657.48 c 367s | 16 | 1330150 | 194552 | 68998 4 | 1808 | 3816 659.49/659.65 c 369s | 16 | 1338639 | 195952 | 68998 4 | 1808 | 3816 661.49/661.68 c 371s | 16 | 1347353 | 197252 | 68998 4 | 1808 | 3816 661.79/661.91 c 372s | 17 | 1348002 | 197432 | 68998 4 | 1808 | 3816 663.99/664.16 c 374s | 17 | 1351908 | 197632 | 68998 4 | 1808 | 3816 666.19/666.35 c 376s | 17 | 1361373 | 199332 | 68998 4 | 1808 | 3816 668.29/668.42 c 378s | 17 | 1373664 | 201132 | 68998 4 | 1808 | 3816 670.29/670.47 c 380s | 17 | 1384593 | 202932 | 68998 4 | 1808 | 3816 672.39/672.58 c 382s | 17 | 1395312 | 204432 | 68998 4 | 1808 | 3816 674.49/674.69 c 384s | 17 | 1403610 | 205732 | 68998 4 | 1808 | 3816 676.59/676.73 c 386s | 17 | 1412782 | 207132 | 68998 4 | 1808 | 3816 678.59/678.73 c 388s | 17 | 1421558 | 208332 | 68998 4 | 1808 | 3816 680.69/680.86 c 390s | 17 | 1428355 | 209532 | 68998 4 | 1808 | 3816 682.79/682.99 c 393s | 17 | 1436490 | 210632 | 68998 4 | 1808 | 3816 685.89/686.07 c 396s | 17 | 1444026 | 211432 | 68998 4 | 1808 | 3816 687.89/688.09 c 398s | 17 | 1453830 | 212532 | 68998 4 | 1808 | 3816 690.09/690.29 c 400s | 17 | 1459950 | 213632 | 68998 4 | 1808 | 3816 692.29/692.44 c 402s | 17 | 1466800 | 214732 | 68998 4 | 1808 | 3816 694.38/694.56 c 404s | 17 | 1473475 | 215732 | 68998 4 | 1808 | 3816 696.58/696.71 c 406s | 17 | 1479610 | 216432 | 68998 4 | 1808 | 3816 698.78/698.92 c 409s | 17 | 1488479 | 217332 | 68998 4 | 1808 | 3816 700.78/700.96 c 411s | 17 | 1498688 | 218432 | 68998 4 | 1808 | 3816 702.89/703.02 c 413s | 17 | 1508236 | 219732 | 68998 4 | 1808 | 3816 704.99/705.15 c 415s | 17 | 1522381 | 221132 | 68998 4 | 1808 | 3816 707.08/707.27 c 417s | 17 | 1530863 | 222332 | 68998 4 | 1808 | 3816 709.18/709.34 c 419s | 17 | 1536852 | 223332 | 68998 4 | 1808 | 3816 711.28/711.49 c 421s | 17 | 1545613 | 224232 | 68998 4 | 1808 | 3816 713.48/713.66 c 423s | 17 | 1550768 | 225032 | 75898 4 | 1808 | 3816 715.58/715.74 c 425s | 17 | 1559356 | 226032 | 75898 4 | 1808 | 3816 717.78/717.90 c 428s | 17 | 1567483 | 227132 | 75898 4 | 1808 | 3816 719.78/719.94 c 430s | 17 | 1572122 | 228132 | 75898 4 | 1808 | 3816 721.88/722.00 c 432s | 17 | 1576049 | 229132 | 75898 4 | 1808 | 3816 723.88/724.03 c 434s | 17 | 1581506 | 229932 | 75898 4 | 1808 | 3816 726.08/726.24 c 436s | 17 | 1588294 | 230832 | 75898 4 | 1808 | 3816 728.38/728.53 c 438s | 17 | 1593220 | 231632 | 75898 4 | 1808 | 3816 730.58/730.70 c 440s | 17 | 1600448 | 232332 | 75898 4 | 1808 | 3816 732.68/732.84 c 442s | 17 | 1606568 | 233032 | 75898 4 | 1808 | 3816 734.98/735.14 c 445s | 17 | 1615130 | 234132 | 75898 4 | 1808 | 3816 737.08/737.24 c 447s | 17 | 1622373 | 234832 | 75898 5 | 1808 | 3816 739.19/739.31 c 449s | 17 | 1632141 | 236032 | 75898 5 | 1808 | 3816 741.29/741.46 c 451s | 17 | 1639086 | 237232 | 75898 5 | 1808 | 3816 743.48/743.63 c 453s | 17 | 1646941 | 238332 | 75898 5 | 1808 | 3816 745.48/745.69 c 455s | 17 | 1655693 | 239432 | 75898 5 | 1808 | 3816 747.58/747.79 c 457s | 17 | 1664297 | 240732 | 75898 5 | 1808 | 3816 749.68/749.80 c 459s | 17 | 1669876 | 241832 | 75898 5 | 1808 | 3816 751.78/751.93 c 462s | 17 | 1677119 | 243032 | 75898 5 | 1808 | 3816 753.88/754.02 c 464s | 17 | 1683851 | 244032 | 75898 5 | 1808 | 3816 755.88/756.09 c 466s | 17 | 1694122 | 245232 | 75898 5 | 1808 | 3816 758.08/758.25 c 468s | 17 | 1700937 | 246432 | 75898 5 | 1808 | 3816 760.08/760.28 c 470s | 17 | 1705958 | 247432 | 75898 5 | 1808 | 3816 762.18/762.33 c 472s | 17 | 1712535 | 248432 | 75898 5 | 1808 | 3816 764.27/764.46 c 474s | 17 | 1719336 | 249532 | 75898 5 | 1808 | 3816 766.47/766.66 c 476s | 17 | 1728450 | 250732 | 75898 5 | 1808 | 3816 768.57/768.76 c 478s | 17 | 1736513 | 251732 | 75898 5 | 1808 | 3816 770.67/770.80 c 480s | 17 | 1741384 | 252732 | 75898 5 | 1808 | 3816 772.67/772.83 c 482s | 17 | 1749440 | 253732 | 75898 5 | 1808 | 3816 774.67/774.87 c 484s | 17 | 1754867 | 254632 | 75898 5 | 1808 | 3816 776.86/777.03 c 487s | 17 | 1759811 | 255732 | 75898 5 | 1808 | 3816 778.86/779.05 c 489s | 17 | 1766232 | 256632 | 75898 5 | 1808 | 3816 781.06/781.22 c 491s | 17 | 1770348 | 257532 | 75898 5 | 1808 | 3816 783.36/783.50 c 493s | 17 | 1778404 | 258732 | 75898 5 | 1808 | 3816 785.56/785.77 c 495s | 17 | 1782677 | 259532 | 75898 5 | 1808 | 3816 787.66/787.85 c 497s | 17 | 1787619 | 260332 | 75898 5 | 1808 | 3816 789.77/789.99 c 500s | 17 | 1794278 | 261332 | 75898 5 | 1808 | 3816 791.86/792.03 c 502s | 17 | 1799637 | 262332 | 75898 5 | 1808 | 3816 794.16/794.31 c 504s | 17 | 1805269 | 263132 | 75898 5 | 1808 | 3816 796.16/796.37 c 506s | 17 | 1808548 | 263632 | 75898 5 | 1808 | 3816 798.16/798.38 c 508s | 17 | 1811093 | 264132 | 75898 5 | 1808 | 3816 800.36/800.50 c 510s | 17 | 1817692 | 264732 | 75898 5 | 1808 | 3816 802.36/802.56 c 512s | 17 | 1821103 | 265232 | 75898 5 | 1808 | 3816 804.46/804.61 c 514s | 17 | 1826020 | 265732 | 75898 5 | 1808 | 3816 806.55/806.74 c 516s | 17 | 1829012 | 266232 | 75898 5 | 1808 | 3816 808.95/809.14 c 519s | 17 | 1834123 | 266832 | 75898 5 | 1808 | 3816 811.15/811.36 c 521s | 17 | 1838345 | 267332 | 75898 5 | 1808 | 3816 813.45/813.63 c 523s | 17 | 1843932 | 267832 | 75898 5 | 1808 | 3816 815.55/815.79 c 525s | 17 | 1847859 | 268332 | 75898 5 | 1808 | 3816 817.75/817.94 c 528s | 17 | 1851143 | 268832 | 75898 5 | 1808 | 3816 820.06/820.23 c 530s | 17 | 1855367 | 269332 | 75898 5 | 1808 | 3816 822.26/822.44 c 532s | 17 | 1859720 | 269832 | 75898 5 | 1808 | 3816 824.56/824.70 c 534s | 17 | 1863740 | 270332 | 75898 5 | 1808 | 3816 826.55/826.77 c 536s | 17 | 1868971 | 270832 | 75898 5 | 1808 | 3816 828.85/829.09 c 539s | 17 | 1874512 | 271332 | 75898 5 | 1808 | 3816 831.25/831.40 c 541s | 17 | 1878790 | 271832 | 75898 5 | 1808 | 3816 833.55/833.74 c 543s | 17 | 1881971 | 272332 | 75898 5 | 1808 | 3816 835.65/835.80 c 545s | 17 | 1889395 | 273032 | 75898 5 | 1808 | 3816 837.65/837.82 c 547s | 17 | 1895363 | 273832 | 75898 5 | 1808 | 3816 839.85/840.06 c 550s | 17 | 1898566 | 274632 | 75898 5 | 1808 | 3816 842.05/842.27 c 552s | 17 | 1902861 | 275432 | 75898 5 | 1808 | 3816 844.25/844.40 c 554s | 17 | 1907060 | 276232 | 75898 5 | 1808 | 3816 846.34/846.53 c 556s | 17 | 1913351 | 276832 | 75898 6 | 1808 | 3816 848.54/848.70 c 558s | 17 | 1923139 | 277832 | 75898 6 | 1808 | 3816 850.54/850.75 c 560s | 17 | 1931110 | 278732 | 75898 6 | 1808 | 3816 852.64/852.88 c 562s | 17 | 1936789 | 279532 | 75898 6 | 1808 | 3816 854.74/854.91 c 565s | 17 | 1947065 | 280932 | 75898 6 | 1808 | 3816 856.74/856.99 c 567s | 17 | 1960964 | 282532 | 75898 6 | 1808 | 3816 858.94/859.18 c 569s | 17 | 1972442 | 283632 | 75898 6 | 1808 | 3816 861.15/861.33 c 571s | 17 | 1980609 | 284632 | 75898 6 | 1808 | 3816 863.24/863.40 c 573s | 17 | 1987397 | 285632 | 75898 6 | 1808 | 3816 865.34/865.59 c 575s | 17 | 1994157 | 286532 | 75898 6 | 1808 | 3816 867.54/867.76 c 577s | 17 | 2000104 | 287632 | 75898 6 | 1808 | 3816 869.74/869.91 c 580s | 17 | 2005532 | 288332 | 75898 6 | 1808 | 3816 871.74/871.91 c 582s | 17 | 2012519 | 289232 | 75898 6 | 1808 | 3816 873.94/874.11 c 584s | 17 | 2017906 | 290032 | 75898 6 | 1808 | 3816 876.04/876.28 c 586s | 17 | 2023889 | 290932 | 75898 6 | 1808 | 3816 878.14/878.31 c 588s | 17 | 2030215 | 291932 | 75898 6 | 1808 | 3816 880.14/880.38 c 590s | 17 | 2033627 | 292732 | 75898 6 | 1808 | 3816 882.23/882.42 c 592s | 17 | 2039591 | 293432 | 75898 6 | 1808 | 3816 884.43/884.63 c 594s | 17 | 2044724 | 294332 | 75898 6 | 1808 | 3816 886.44/886.63 c 596s | 17 | 2049406 | 295032 | 75898 6 | 1808 | 3816 888.74/888.90 c 599s | 17 | 2054305 | 295832 | 75898 6 | 1808 | 3816 889.93/890.16 c 600s | 18 | 2056719 | 296252 | 75898 6 | 1808 | 3816 892.04/892.28 c 602s | 18 | 2064170 | 297152 | 75898 6 | 1808 | 3816 894.24/894.45 c 604s | 18 | 2068597 | 297952 | 75898 6 | 1808 | 3816 896.34/896.57 c 606s | 18 | 2072357 | 298852 | 75898 6 | 1808 | 3816 898.53/898.71 c 608s | 18 | 2078013 | 299752 | 75898 6 | 1808 | 3816 900.73/900.93 c 611s | 18 | 2082168 | 300452 | 75898 6 | 1808 | 3816 902.83/903.08 c 613s | 18 | 2085884 | 301152 | 75898 6 | 1808 | 3816 904.92/905.18 c 615s | 18 | 2089220 | 301952 | 75898 6 | 1808 | 3816 911.22/911.43 c 621s | 18 | 2090760 | 302252 | 75898 6 | 1808 | 3816 913.33/913.58 c 623s | 18 | 2096002 | 302952 | 75898 6 | 1808 | 3816 915.63/915.82 c 625s | 18 | 2105587 | 304352 | 75898 6 | 1808 | 3816 917.62/917.83 c 627s | 18 | 2110662 | 305152 | 75898 6 | 1808 | 3816 919.82/920.04 c 630s | 18 | 2115326 | 306052 | 75898 6 | 1808 | 3816 922.02/922.21 c 632s | 18 | 2121630 | 306952 | 75898 6 | 1808 | 3816 924.02/924.27 c 634s | 18 | 2129763 | 307952 | 75898 6 | 1808 | 3816 926.22/926.40 c 636s | 18 | 2134271 | 308852 | 75898 6 | 1808 | 3816 928.33/928.56 c 638s | 18 | 2141357 | 309952 | 75898 6 | 1808 | 3816 930.43/930.62 c 640s | 18 | 2148105 | 310952 | 75898 6 | 1808 | 3816 932.62/932.84 c 642s | 18 | 2152798 | 312052 | 75898 6 | 1808 | 3816 934.62/934.85 c 644s | 18 | 2157459 | 312852 | 75898 6 | 1808 | 3816 936.82/937.02 c 647s | 18 | 2160868 | 313552 | 75898 6 | 1808 | 3816 938.91/939.15 c 649s | 18 | 2165955 | 314352 | 75898 6 | 1808 | 3816 941.01/941.25 c 651s | 18 | 2169999 | 315052 | 75898 6 | 1808 | 3816 943.31/943.60 c 653s | 18 | 2173384 | 315552 | 75898 6 | 1808 | 3816 945.61/945.80 c 655s | 18 | 2178110 | 316152 | 75898 6 | 1808 | 3816 947.61/947.89 c 658s | 18 | 2181189 | 316752 | 75898 6 | 1808 | 3816 949.91/950.11 c 660s | 18 | 2185966 | 317652 | 75898 6 | 1808 | 3816 952.31/952.51 c 662s | 18 | 2190888 | 318352 | 75898 7 | 1808 | 3816 954.31/954.54 c 664s | 18 | 2196293 | 319152 | 75898 7 | 1808 | 3816 956.41/956.65 c 666s | 18 | 2203671 | 320352 | 75898 7 | 1808 | 3816 958.61/958.89 c 668s | 18 | 2209115 | 321452 | 75898 7 | 1808 | 3816 960.70/960.93 c 671s | 18 | 2217010 | 322452 | 75898 7 | 1808 | 3816 962.80/963.07 c 673s | 18 | 2225948 | 323452 | 75898 7 | 1808 | 3816 964.80/965.07 c 675s | 18 | 2233144 | 324652 | 75898 7 | 1808 | 3816 967.00/967.24 c 677s | 18 | 2239797 | 325952 | 75898 7 | 1808 | 3816 969.20/969.43 c 679s | 18 | 2249008 | 327252 | 75898 7 | 1808 | 3816 971.20/971.44 c 681s | 18 | 2256222 | 328252 | 75898 7 | 1808 | 3816 973.20/973.50 c 683s | 18 | 2260774 | 329152 | 75898 7 | 1808 | 3816 975.30/975.52 c 685s | 18 | 2266147 | 329952 | 75898 7 | 1808 | 3816 977.30/977.53 c 687s | 18 | 2271232 | 330952 | 75898 7 | 1808 | 3816 979.50/979.78 c 689s | 18 | 2276945 | 331952 | 75898 7 | 1808 | 3816 981.60/981.85 c 691s | 18 | 2283768 | 333052 | 75898 7 | 1808 | 3816 983.70/983.95 c 694s | 18 | 2287753 | 333952 | 75898 7 | 1808 | 3816 985.80/986.03 c 696s | 18 | 2294000 | 334852 | 75898 7 | 1808 | 3816 987.90/988.13 c 698s | 18 | 2302341 | 335952 | 75898 7 | 1808 | 3816 990.00/990.28 c 700s | 18 | 2310857 | 337152 | 75898 7 | 1808 | 3816 992.10/992.36 c 702s | 18 | 2318315 | 338352 | 75898 7 | 1808 | 3816 994.20/994.46 c 704s | 18 | 2327872 | 339652 | 75898 7 | 1808 | 3816 996.19/996.48 c 706s | 18 | 2334513 | 340952 | 75898 7 | 1808 | 3816 998.39/998.61 c 708s | 18 | 2342840 | 342052 | 75898 7 | 1808 | 3816 1000.49/1000.79 c 710s | 18 | 2348971 | 343152 | 75898 7 | 1808 | 3816 1002.59/1002.89 c 713s | 18 | 2357191 | 344352 | 75898 7 | 1808 | 3816 1004.89/1005.14 c 715s | 18 | 2363588 | 345552 | 75898 7 | 1808 | 3816 1006.99/1007.29 c 717s | 18 | 2368531 | 346352 | 75898 7 | 1808 | 3816 1009.09/1009.30 c 719s | 18 | 2373271 | 346952 | 75898 7 | 1808 | 3816 1011.28/1011.57 c 721s | 18 | 2376051 | 347452 | 75898 7 | 1808 | 3816 1013.58/1013.87 c 723s | 18 | 2382277 | 348052 | 75898 7 | 1808 | 3816 1015.88/1016.12 c 726s | 18 | 2388027 | 348952 | 75898 7 | 1808 | 3816 1017.98/1018.24 c 728s | 18 | 2391576 | 349752 | 75898 7 | 1808 | 3816 1020.18/1020.44 c 730s | 18 | 2395975 | 350652 | 75898 7 | 1808 | 3816 1022.48/1022.73 c 732s | 18 | 2399073 | 351252 | 75898 7 | 1808 | 3816 1024.68/1024.90 c 735s | 18 | 2404588 | 351952 | 75898 7 | 1808 | 3816 1026.79/1027.03 c 737s | 18 | 2408536 | 352652 | 75898 7 | 1808 | 3816 1028.99/1029.22 c 739s | 18 | 2413478 | 353652 | 75898 7 | 1808 | 3816 1031.19/1031.46 c 741s | 18 | 2419004 | 354452 | 75898 7 | 1808 | 3816 1033.29/1033.55 c 743s | 18 | 2421525 | 355052 | 75898 7 | 1808 | 3816 1035.49/1035.70 c 745s | 18 | 2424311 | 355552 | 75898 7 | 1808 | 3816 1037.59/1037.80 c 747s | 18 | 2428756 | 356152 | 75898 7 | 1808 | 3816 1039.68/1039.93 c 750s | 18 | 2432287 | 356952 | 75898 7 | 1808 | 3816 1041.68/1041.97 c 752s | 18 | 2435140 | 357452 | 75898 7 | 1808 | 3816 1043.88/1044.16 c 754s | 18 | 2437971 | 358052 | 75898 7 | 1808 | 3816 1045.89/1046.19 c 756s | 18 | 2441784 | 358552 | 75898 7 | 1808 | 3816 1047.88/1048.19 c 758s | 18 | 2446782 | 359252 | 75898 7 | 1808 | 3816 1050.18/1050.41 c 760s | 18 | 2449949 | 360052 | 75898 7 | 1808 | 3816 1052.17/1052.43 c 762s | 18 | 2452474 | 360452 | 75898 8 | 1808 | 3816 1054.28/1054.57 c 764s | 18 | 2459019 | 361652 | 75898 8 | 1808 | 3816 1056.48/1056.75 c 766s | 18 | 2465679 | 362752 | 75898 8 | 1808 | 3816 1058.48/1058.76 c 768s | 18 | 2472520 | 363852 | 75898 8 | 1808 | 3816 1060.48/1060.79 c 770s | 18 | 2477885 | 364852 | 75898 8 | 1808 | 3816 1062.68/1062.96 c 773s | 18 | 2483806 | 365752 | 75898 8 | 1808 | 3816 1064.78/1065.02 c 775s | 18 | 2488546 | 366452 | 75898 8 | 1808 | 3816 1066.89/1067.18 c 777s | 18 | 2497189 | 367452 | 75898 8 | 1808 | 3816 1069.09/1069.33 c 779s | 18 | 2501014 | 368352 | 75898 8 | 1808 | 3816 1071.18/1071.43 c 781s | 18 | 2507686 | 369352 | 75898 8 | 1808 | 3816 1073.18/1073.45 c 783s | 18 | 2511605 | 370252 | 75898 8 | 1808 | 3816 1075.27/1075.57 c 785s | 18 | 2515508 | 371052 | 75898 8 | 1808 | 3816 1077.37/1077.61 c 787s | 18 | 2519030 | 371552 | 75898 8 | 1808 | 3816 1079.47/1079.78 c 789s | 18 | 2524691 | 372252 | 75898 8 | 1808 | 3816 1081.66/1081.99 c 792s | 18 | 2530999 | 373152 | 75898 8 | 1808 | 3816 1083.97/1084.22 c 794s | 18 | 2537778 | 374152 | 75898 8 | 1808 | 3816 1085.97/1086.26 c 796s | 18 | 2542615 | 375052 | 75898 8 | 1808 | 3816 1088.27/1088.50 c 798s | 18 | 2548503 | 375852 | 75898 8 | 1808 | 3816 1090.27/1090.56 c 800s | 18 | 2553413 | 376552 | 75898 8 | 1808 | 3816 1092.36/1092.67 c 802s | 18 | 2559664 | 377552 | 75898 8 | 1808 | 3816 1094.46/1094.71 c 804s | 18 | 2565458 | 378252 | 75898 8 | 1808 | 3816 1096.47/1096.73 c 806s | 18 | 2572718 | 379152 | 75898 8 | 1808 | 3816 1098.56/1098.89 c 808s | 18 | 2578996 | 380152 | 75898 8 | 1808 | 3816 1100.66/1100.92 c 811s | 18 | 2585812 | 381052 | 75898 8 | 1808 | 3816 1102.96/1103.20 c 813s | 18 | 2592006 | 381752 | 75898 8 | 1808 | 3816 1104.96/1105.21 c 815s | 18 | 2598243 | 382552 | 75898 8 | 1808 | 3816 1106.96/1107.27 c 817s | 18 | 2602409 | 383352 | 75898 8 | 1808 | 3816 1109.06/1109.38 c 819s | 18 | 2606711 | 384252 | 75898 8 | 1808 | 3816 1111.15/1111.49 c 821s | 18 | 2611761 | 385052 | 75898 8 | 1808 | 3816 1113.25/1113.56 c 823s | 18 | 2616365 | 385952 | 75898 8 | 1808 | 3816 1115.45/1115.77 c 825s | 18 | 2621294 | 386852 | 75898 8 | 1808 | 3816 1117.65/1117.98 c 828s | 18 | 2626682 | 387752 | 75898 8 | 1808 | 3816 1119.85/1120.18 c 830s | 18 | 2631474 | 388652 | 75898 8 | 1808 | 3816 1122.05/1122.36 c 832s | 18 | 2637354 | 389652 | 75898 8 | 1808 | 3816 1124.15/1124.48 c 834s | 18 | 2641736 | 390652 | 75898 8 | 1808 | 3816 1126.15/1126.48 c 836s | 18 | 2645856 | 391352 | 75898 8 | 1808 | 3816 1128.25/1128.56 c 838s | 18 | 2649224 | 391852 | 75898 8 | 1808 | 3816 1130.55/1130.84 c 840s | 18 | 2655556 | 392652 | 75898 8 | 1808 | 3816 1132.65/1132.99 c 843s | 18 | 2659129 | 393352 | 75898 8 | 1808 | 3816 1135.15/1135.44 c 845s | 18 | 2662192 | 394152 | 75898 8 | 1808 | 3816 1137.35/1137.66 c 847s | 18 | 2665850 | 394652 | 75898 8 | 1808 | 3816 1139.65/1139.94 c 850s | 18 | 2670087 | 395252 | 75898 8 | 1808 | 3816 1141.84/1142.15 c 852s | 18 | 2674928 | 395952 | 75898 8 | 1808 | 3816 1144.14/1144.49 c 854s | 18 | 2679282 | 396752 | 75898 8 | 1808 | 3816 1146.54/1146.84 c 856s | 18 | 2683954 | 397552 | 75898 8 | 1808 | 3816 1148.54/1148.87 c 858s | 18 | 2687654 | 398252 | 75898 8 | 1808 | 3816 1150.74/1151.04 c 861s | 18 | 2690409 | 398852 | 75898 8 | 1808 | 3816 1152.84/1153.14 c 863s | 18 | 2693574 | 399352 | 75898 8 | 1808 | 3816 1154.84/1155.18 c 865s | 18 | 2696909 | 399952 | 75898 8 | 1808 | 3816 1157.04/1157.34 c 867s | 18 | 2700678 | 400852 | 75898 8 | 1808 | 3816 1159.24/1159.52 c 869s | 18 | 2704052 | 401452 | 75898 8 | 1808 | 3816 1161.53/1161.86 c 871s | 18 | 2707537 | 402152 | 75898 9 | 1808 | 3816 1163.73/1164.01 c 874s | 18 | 2711794 | 402952 | 75898 9 | 1808 | 3816 1165.85/1166.19 c 876s | 18 | 2716762 | 404152 | 75898 9 | 1808 | 3816 1168.04/1168.32 c 878s | 18 | 2721802 | 405052 | 75898 9 | 1808 | 3816 1172.53/1172.80 c 882s | 18 | 2725218 | 405652 | 75898 9 | 1808 | 3816 1176.14/1176.45 c 886s | 18 | 2729191 | 406352 | 75898 9 | 1808 | 3816 1178.24/1178.57 c 888s | 18 | 2739482 | 408052 | 75898 9 | 1808 | 3816 1180.43/1180.71 c 890s | 18 | 2749485 | 409852 | 75898 9 | 1808 | 3816 1182.43/1182.77 c 892s | 18 | 2758709 | 411552 | 75898 9 | 1808 | 3816 1203.92/1204.21 c 914s | 18 | 2761270 | 412052 | 75898 9 | 1808 | 3816 1205.92/1206.25 c 916s | 18 | 2771050 | 413552 | 75898 9 | 1808 | 3816 1208.12/1208.40 c 918s | 18 | 2782083 | 415252 | 75898 9 | 1808 | 3816 1210.22/1210.51 c 920s | 18 | 2790251 | 416552 | 75898 9 | 1808 | 3816 1212.32/1212.60 c 922s | 18 | 2799756 | 418052 | 75898 9 | 1808 | 3816 1214.52/1214.81 c 924s | 18 | 2805915 | 419152 | 75898 9 | 1808 | 3816 1216.62/1216.95 c 927s | 18 | 2811818 | 420252 | 75898 9 | 1808 | 3816 1218.63/1218.96 c 929s | 18 | 2819411 | 421552 | 75898 9 | 1808 | 3816 1220.73/1221.04 c 931s | 18 | 2827508 | 422952 | 75898 9 | 1808 | 3816 1222.92/1223.22 c 933s | 18 | 2836775 | 424352 | 75898 9 | 1808 | 3816 1224.92/1225.23 c 935s | 18 | 2846989 | 425852 | 75898 9 | 1808 | 3816 1226.92/1227.25 c 937s | 18 | 2853258 | 426952 | 75898 9 | 1808 | 3816 1228.92/1229.27 c 939s | 18 | 2862387 | 428352 | 75898 9 | 1808 | 3816 1230.91/1231.28 c 941s | 18 | 2867918 | 429652 | 75898 9 | 1808 | 3816 1233.11/1233.46 c 943s | 18 | 2872770 | 431052 | 75898 9 | 1808 | 3816 1235.21/1235.56 c 945s | 18 | 2878475 | 431752 | 75898 9 | 1808 | 3816 1237.22/1237.57 c 947s | 18 | 2885385 | 432552 | 75898 9 | 1808 | 3816 1239.52/1239.80 c 949s | 18 | 2892639 | 433752 | 75898 9 | 1808 | 3816 1241.61/1241.92 c 952s | 18 | 2899765 | 434752 | 75898 9 | 1808 | 3816 1243.61/1243.93 c 954s | 18 | 2904597 | 435752 | 75898 9 | 1808 | 3816 1245.92/1246.24 c 956s | 18 | 2909676 | 436652 | 75898 9 | 1808 | 3816 1247.92/1248.28 c 958s | 18 | 2914872 | 437452 | 75898 9 | 1808 | 3816 1250.12/1250.41 c 960s | 18 | 2921455 | 438452 | 75898 9 | 1808 | 3816 1252.11/1252.49 c 962s | 18 | 2929459 | 439452 | 75898 9 | 1808 | 3816 1254.31/1254.61 c 964s | 18 | 2937457 | 440752 | 75898 9 | 1808 | 3816 1256.51/1256.89 c 967s | 18 | 2942884 | 441752 | 75898 9 | 1808 | 3816 1258.61/1258.92 c 969s | 18 | 2947881 | 442652 | 75898 9 | 1808 | 3816 1260.60/1260.96 c 971s | 18 | 2953238 | 443552 | 75898 9 | 1808 | 3816 1264.50/1264.85 c 974s | 18 | 2957252 | 444352 | 75898 10 | 1808 | 3816 1265.10/1265.45 c 975s | 19 | 2958203 | 444482 | 75898 10 | 1808 | 3816 1267.21/1267.56 c 977s | 19 | 2969638 | 445882 | 83488 10 | 1808 | 3816 1269.21/1269.59 c 979s | 19 | 2979199 | 447582 | 83488 10 | 1808 | 3816 1271.30/1271.65 c 981s | 19 | 2984653 | 448382 | 83488 10 | 1808 | 3816 1273.40/1273.75 c 983s | 19 | 2994215 | 449882 | 83488 10 | 1808 | 3816 1275.50/1275.87 c 985s | 19 | 3005056 | 451582 | 83488 10 | 1808 | 3816 1277.59/1277.95 c 988s | 19 | 3012974 | 453182 | 83488 10 | 1808 | 3816 1279.60/1279.99 c 990s | 19 | 3023483 | 454982 | 83488 10 | 1808 | 3816 1281.70/1282.09 c 992s | 19 | 3032217 | 456482 | 83488 10 | 1808 | 3816 1283.80/1284.18 c 994s | 19 | 3039616 | 457882 | 83488 10 | 1808 | 3816 1285.89/1286.28 c 996s | 19 | 3048849 | 459282 | 83488 10 | 1808 | 3816 1298.09/1298.41 c 1008s | 19 | 3050936 | 459482 | 83488 10 | 1808 | 3816 1300.09/1300.48 c 1010s | 19 | 3060660 | 461082 | 83488 10 | 1808 | 3816 1302.19/1302.53 c 1012s | 19 | 3069897 | 462682 | 83488 10 | 1808 | 3816 1304.29/1304.62 c 1014s | 19 | 3080693 | 464482 | 83488 10 | 1808 | 3816 1306.38/1306.75 c 1016s | 19 | 3089748 | 466182 | 83488 10 | 1808 | 3816 1308.38/1308.78 c 1018s | 19 | 3098502 | 467482 | 83488 10 | 1808 | 3816 1310.48/1310.88 c 1020s | 19 | 3107377 | 469082 | 83488 10 | 1808 | 3816 1312.58/1312.91 c 1023s | 19 | 3116039 | 470682 | 83488 10 | 1808 | 3816 1314.68/1315.03 c 1025s | 19 | 3124277 | 472182 | 83488 10 | 1808 | 3816 1316.68/1317.07 c 1027s | 19 | 3133395 | 473682 | 83488 10 | 1808 | 3816 1318.78/1319.17 c 1029s | 19 | 3142673 | 475182 | 83488 10 | 1808 | 3816 1320.90/1321.29 c 1031s | 19 | 3149764 | 476482 | 83488 10 | 1808 | 3816 1322.99/1323.40 c 1033s | 19 | 3157821 | 477882 | 83488 10 | 1808 | 3816 1325.09/1325.41 c 1035s | 19 | 3165721 | 479082 | 83488 10 | 1808 | 3816 1327.09/1327.44 c 1037s | 19 | 3174302 | 480482 | 83488 10 | 1808 | 3816 1329.19/1329.50 c 1039s | 19 | 3181493 | 481682 | 83488 10 | 1808 | 3816 1331.18/1331.54 c 1041s | 19 | 3188756 | 483082 | 83488 10 | 1808 | 3816 1333.18/1333.54 c 1043s | 19 | 3197655 | 484482 | 83488 10 | 1808 | 3816 1335.28/1335.65 c 1045s | 19 | 3206449 | 485982 | 83488 10 | 1808 | 3816 1337.39/1337.77 c 1047s | 19 | 3213496 | 487282 | 83488 10 | 1808 | 3816 1339.58/1339.91 c 1050s | 19 | 3221949 | 488482 | 83488 10 | 1808 | 3816 1341.68/1342.03 c 1052s | 19 | 3230152 | 489782 | 83488 10 | 1808 | 3816 1343.68/1344.07 c 1054s | 19 | 3237199 | 490782 | 83488 10 | 1808 | 3816 1345.77/1346.14 c 1056s | 19 | 3244697 | 491882 | 83488 10 | 1808 | 3816 1347.77/1348.19 c 1058s | 19 | 3251174 | 493082 | 83488 10 | 1808 | 3816 1349.88/1350.26 c 1060s | 19 | 3255005 | 493782 | 83488 11 | 1808 | 3816 1351.97/1352.36 c 1062s | 19 | 3263465 | 494982 | 83488 11 | 1808 | 3816 1354.07/1354.44 c 1064s | 19 | 3270720 | 495882 | 83488 11 | 1808 | 3816 1356.08/1356.46 c 1066s | 19 | 3277299 | 496982 | 83488 11 | 1808 | 3816 1358.07/1358.48 c 1068s | 19 | 3283823 | 497982 | 83488 11 | 1808 | 3816 1360.07/1360.49 c 1070s | 19 | 3292066 | 499182 | 83488 11 | 1808 | 3816 1362.17/1362.55 c 1072s | 19 | 3299599 | 500282 | 83488 11 | 1808 | 3816 1364.27/1364.62 c 1074s | 19 | 3308839 | 501582 | 83488 11 | 1808 | 3816 1366.37/1366.75 c 1076s | 19 | 3318958 | 502782 | 83488 11 | 1808 | 3816 1373.27/1373.63 c 1083s | 19 | 3323460 | 503682 | 83488 11 | 1808 | 3816 1376.36/1376.71 c 1086s | 19 | 3324759 | 503882 | 83488 11 | 1808 | 3816 1378.36/1378.79 c 1088s | 19 | 3331947 | 504982 | 83488 11 | 1808 | 3816 1380.66/1381.00 c 1091s | 19 | 3340324 | 506382 | 83488 11 | 1808 | 3816 1382.66/1383.03 c 1093s | 19 | 3349508 | 507482 | 83488 11 | 1808 | 3816 1384.76/1385.10 c 1095s | 19 | 3357759 | 508782 | 83488 11 | 1808 | 3816 1387.76/1388.12 c 1098s | 19 | 3362243 | 509482 | 83488 11 | 1808 | 3816 1389.86/1390.24 c 1100s | 19 | 3368370 | 510182 | 83488 11 | 1808 | 3816 1391.86/1392.30 c 1102s | 19 | 3375420 | 511082 | 83488 11 | 1808 | 3816 1394.07/1394.47 c 1104s | 19 | 3381834 | 512482 | 83488 11 | 1808 | 3816 1396.17/1396.59 c 1106s | 19 | 3388905 | 513782 | 83488 11 | 1808 | 3816 1398.16/1398.59 c 1108s | 19 | 3395374 | 514982 | 83488 11 | 1808 | 3816 1400.36/1400.74 c 1110s | 19 | 3401838 | 516382 | 83488 11 | 1808 | 3816 1402.46/1402.80 c 1112s | 19 | 3409002 | 517482 | 83488 11 | 1808 | 3816 1404.56/1404.93 c 1115s | 19 | 3417082 | 518682 | 83488 11 | 1808 | 3816 1406.57/1406.94 c 1117s | 19 | 3421106 | 519682 | 83488 11 | 1808 | 3816 1408.66/1409.01 c 1119s | 19 | 3427396 | 520782 | 83488 11 | 1808 | 3816 1410.86/1411.20 c 1121s | 19 | 3434790 | 521882 | 83488 11 | 1808 | 3816 1412.86/1413.27 c 1123s | 19 | 3442228 | 523082 | 83488 11 | 1808 | 3816 1415.06/1415.41 c 1125s | 19 | 3448486 | 524282 | 83488 11 | 1808 | 3816 1417.06/1417.49 c 1127s | 19 | 3454068 | 525282 | 83488 11 | 1808 | 3816 1419.16/1419.58 c 1129s | 19 | 3458863 | 526282 | 83488 11 | 1808 | 3816 1421.25/1421.62 c 1131s | 19 | 3464346 | 527182 | 83488 11 | 1808 | 3816 1423.35/1423.78 c 1133s | 19 | 3469344 | 528082 | 83488 11 | 1808 | 3816 1425.45/1425.81 c 1135s | 19 | 3475493 | 529182 | 83488 11 | 1808 | 3816 1427.66/1428.00 c 1138s | 19 | 3481533 | 530282 | 83488 11 | 1808 | 3816 1429.66/1430.04 c 1140s | 19 | 3487673 | 531282 | 83488 11 | 1808 | 3816 1431.76/1432.13 c 1142s | 19 | 3494382 | 532182 | 83488 11 | 1808 | 3816 1433.86/1434.29 c 1144s | 19 | 3500184 | 533182 | 83488 11 | 1808 | 3816 1435.96/1436.38 c 1146s | 19 | 3505811 | 534182 | 83488 11 | 1808 | 3816 1438.16/1438.53 c 1148s | 19 | 3512547 | 535182 | 83488 11 | 1808 | 3816 1440.26/1440.61 c 1150s | 19 | 3517807 | 536082 | 83488 11 | 1808 | 3816 1442.46/1442.82 c 1152s | 19 | 3523115 | 537082 | 83488 11 | 1808 | 3816 1444.45/1444.84 c 1154s | 19 | 3529215 | 537982 | 83488 11 | 1808 | 3816 1446.55/1446.91 c 1157s | 19 | 3534890 | 538782 | 83488 11 | 1808 | 3816 1448.65/1449.04 c 1159s | 19 | 3539020 | 539282 | 83488 12 | 1808 | 3816 1452.86/1453.21 c 1163s | 19 | 3545327 | 540382 | 83488 12 | 1808 | 3816 1454.85/1455.30 c 1165s | 19 | 3550230 | 541282 | 83488 12 | 1808 | 3816 1457.04/1457.46 c 1167s | 19 | 3556922 | 542482 | 83488 12 | 1808 | 3816 1459.04/1459.46 c 1169s | 19 | 3562871 | 543582 | 83488 12 | 1808 | 3816 1461.05/1461.49 c 1171s | 19 | 3569657 | 544782 | 83488 12 | 1808 | 3816 1463.15/1463.58 c 1173s | 19 | 3576823 | 545982 | 83488 12 | 1808 | 3816 1465.35/1465.70 c 1175s | 19 | 3582809 | 547182 | 83488 12 | 1808 | 3816 1467.45/1467.86 c 1177s | 19 | 3588875 | 548482 | 83488 12 | 1808 | 3816 1469.55/1469.97 c 1180s | 19 | 3594141 | 549582 | 83488 12 | 1808 | 3816 1471.65/1472.09 c 1182s | 19 | 3599500 | 550782 | 83488 12 | 1808 | 3816 1475.75/1476.19 c 1186s | 19 | 3604549 | 551682 | 83488 12 | 1808 | 3816 1477.85/1478.28 c 1188s | 19 | 3611115 | 552782 | 83488 12 | 1808 | 3816 1479.95/1480.31 c 1190s | 19 | 3617737 | 553882 | 83488 12 | 1808 | 3816 1481.95/1482.36 c 1192s | 19 | 3624267 | 554882 | 83488 12 | 1808 | 3816 1484.15/1484.54 c 1194s | 19 | 3630954 | 556082 | 83488 12 | 1808 | 3816 1486.35/1486.72 c 1196s | 19 | 3636332 | 557082 | 83488 12 | 1808 | 3816 1488.55/1488.90 c 1199s | 19 | 3641891 | 558182 | 83488 12 | 1808 | 3816 1490.55/1490.97 c 1201s | 19 | 3647697 | 559382 | 83488 12 | 1808 | 3816 1492.55/1492.99 c 1203s | 19 | 3653093 | 560482 | 83488 12 | 1808 | 3816 1494.65/1495.03 c 1205s | 19 | 3658279 | 561382 | 83488 12 | 1808 | 3816 1496.75/1497.20 c 1207s | 19 | 3664018 | 562382 | 83488 12 | 1808 | 3816 1498.95/1499.37 c 1209s | 19 | 3668713 | 563282 | 83488 12 | 1808 | 3816 1501.05/1501.50 c 1211s | 19 | 3674465 | 564182 | 83488 12 | 1808 | 3816 1503.15/1503.54 c 1213s | 19 | 3678882 | 565082 | 83488 12 | 1808 | 3816 1505.35/1505.74 c 1215s | 19 | 3684050 | 566082 | 83488 12 | 1808 | 3816 1507.45/1507.89 c 1217s | 19 | 3688648 | 566982 | 83488 12 | 1808 | 3816 1509.55/1509.99 c 1220s | 19 | 3694388 | 567882 | 83488 12 | 1808 | 3816 1511.74/1512.18 c 1222s | 19 | 3699400 | 568782 | 83488 12 | 1808 | 3816 1513.84/1514.24 c 1224s | 19 | 3705340 | 569682 | 83488 12 | 1808 | 3816 1516.04/1516.46 c 1226s | 19 | 3710184 | 570582 | 83488 12 | 1808 | 3816 1518.54/1518.97 c 1229s | 19 | 3713226 | 570882 | 83488 12 | 1808 | 3816 1520.74/1521.13 c 1231s | 19 | 3715489 | 571182 | 83488 12 | 1808 | 3816 1522.94/1523.36 c 1233s | 19 | 3719436 | 571882 | 83488 12 | 1808 | 3816 1525.14/1525.52 c 1235s | 19 | 3725130 | 572782 | 83488 12 | 1808 | 3816 1527.24/1527.63 c 1237s | 19 | 3731135 | 573582 | 83488 12 | 1808 | 3816 1529.34/1529.73 c 1239s | 19 | 3736174 | 574482 | 83488 12 | 1808 | 3816 1531.34/1531.73 c 1241s | 19 | 3741407 | 575282 | 83488 12 | 1808 | 3816 1533.54/1533.91 c 1244s | 19 | 3746533 | 576182 | 83488 12 | 1808 | 3816 1535.64/1536.03 c 1246s | 19 | 3752033 | 577182 | 83488 12 | 1808 | 3816 1537.64/1538.03 c 1248s | 19 | 3757796 | 578082 | 83488 12 | 1808 | 3816 1539.94/1540.31 c 1250s | 19 | 3763248 | 578882 | 83488 12 | 1808 | 3816 1542.04/1542.44 c 1252s | 19 | 3769376 | 579682 | 83488 12 | 1808 | 3816 1544.14/1544.59 c 1254s | 19 | 3774739 | 580582 | 83488 12 | 1808 | 3816 1546.34/1546.71 c 1256s | 19 | 3779700 | 581282 | 83488 12 | 1808 | 3816 1548.44/1548.81 c 1258s | 19 | 3782836 | 581982 | 83488 12 | 1808 | 3816 1550.43/1550.82 c 1260s | 19 | 3786461 | 582682 | 83488 12 | 1808 | 3816 1552.63/1553.01 c 1263s | 19 | 3790365 | 583282 | 83488 12 | 1808 | 3816 1554.73/1555.15 c 1265s | 19 | 3794864 | 584082 | 83488 12 | 1808 | 3816 1557.03/1557.43 c 1267s | 19 | 3799260 | 584782 | 83488 12 | 1808 | 3816 1559.13/1559.53 c 1269s | 19 | 3804471 | 585682 | 83488 13 | 1808 | 3816 1561.24/1561.62 c 1271s | 19 | 3810757 | 586982 | 83488 13 | 1808 | 3816 1563.33/1563.72 c 1273s | 19 | 3814640 | 587482 | 83488 13 | 1808 | 3816 1565.43/1565.87 c 1275s | 19 | 3822679 | 588882 | 83488 13 | 1808 | 3816 1567.63/1568.02 c 1278s | 19 | 3829157 | 590182 | 83488 13 | 1808 | 3816 1569.74/1570.17 c 1280s | 19 | 3837480 | 591382 | 83488 13 | 1808 | 3816 1571.93/1572.31 c 1282s | 19 | 3844174 | 592482 | 83488 13 | 1808 | 3816 1573.93/1574.38 c 1284s | 19 | 3850677 | 593682 | 83488 13 | 1808 | 3816 1576.04/1576.47 c 1286s | 19 | 3859094 | 594982 | 83488 13 | 1808 | 3816 1578.14/1578.55 c 1288s | 19 | 3866452 | 596282 | 83488 13 | 1808 | 3816 1580.23/1580.61 c 1290s | 19 | 3874598 | 597482 | 83488 13 | 1808 | 3816 1582.23/1582.66 c 1292s | 19 | 3882265 | 598682 | 83488 13 | 1808 | 3816 1584.23/1584.70 c 1294s | 19 | 3888191 | 599582 | 83488 13 | 1808 | 3816 1586.43/1586.85 c 1296s | 19 | 3893399 | 600782 | 83488 13 | 1808 | 3816 1588.63/1589.01 c 1299s | 19 | 3902510 | 602182 | 83488 13 | 1808 | 3816 1590.73/1591.19 c 1301s | 19 | 3910795 | 603482 | 83488 13 | 1808 | 3816 1592.93/1593.34 c 1303s | 19 | 3917583 | 604782 | 83488 13 | 1808 | 3816 1598.63/1599.02 c 1309s | 19 | 3922491 | 605582 | 83488 13 | 1808 | 3816 1600.63/1601.05 c 1311s | 19 | 3929286 | 606682 | 83488 13 | 1808 | 3816 1602.72/1603.11 c 1313s | 19 | 3936776 | 607882 | 83488 13 | 1808 | 3816 1604.73/1605.14 c 1315s | 19 | 3943200 | 608882 | 83488 13 | 1808 | 3816 1606.74/1607.17 c 1317s | 19 | 3949467 | 610282 | 83488 13 | 1808 | 3816 1608.93/1609.36 c 1319s | 19 | 3955024 | 611382 | 83488 13 | 1808 | 3816 1611.13/1611.55 c 1321s | 19 | 3961341 | 612382 | 83488 13 | 1808 | 3816 1613.13/1613.56 c 1323s | 19 | 3968026 | 613382 | 83488 13 | 1808 | 3816 1615.33/1615.71 c 1325s | 19 | 3975379 | 614582 | 83488 13 | 1808 | 3816 1617.43/1617.86 c 1327s | 19 | 3982163 | 615682 | 83488 13 | 1808 | 3816 1619.43/1619.87 c 1329s | 19 | 3987827 | 616682 | 83488 13 | 1808 | 3816 1621.63/1622.08 c 1332s | 19 | 3996195 | 617682 | 83488 13 | 1808 | 3816 1623.83/1624.23 c 1334s | 19 | 4002084 | 618682 | 83488 13 | 1808 | 3816 1626.02/1626.40 c 1336s | 19 | 4006975 | 619682 | 83488 13 | 1808 | 3816 1628.02/1628.43 c 1338s | 19 | 4013114 | 620682 | 83488 13 | 1808 | 3816 1630.12/1630.51 c 1340s | 19 | 4017620 | 621482 | 83488 13 | 1808 | 3816 1632.32/1632.70 c 1342s | 19 | 4023566 | 622382 | 83488 13 | 1808 | 3816 1634.42/1634.82 c 1344s | 19 | 4028584 | 623182 | 83488 13 | 1808 | 3816 1636.72/1637.10 c 1347s | 19 | 4035228 | 624182 | 83488 13 | 1808 | 3816 1638.73/1639.11 c 1349s | 19 | 4040354 | 625082 | 83488 13 | 1808 | 3816 1640.82/1641.23 c 1351s | 19 | 4046968 | 625982 | 83488 13 | 1808 | 3816 1642.83/1643.26 c 1353s | 19 | 4052152 | 626982 | 83488 13 | 1808 | 3816 1645.02/1645.46 c 1355s | 19 | 4057824 | 627982 | 83488 13 | 1808 | 3816 1647.02/1647.49 c 1357s | 19 | 4063948 | 628882 | 83488 13 | 1808 | 3816 1649.22/1649.61 c 1359s | 19 | 4070830 | 629782 | 83488 13 | 1808 | 3816 1651.62/1652.09 c 1362s | 19 | 4076969 | 630682 | 83488 14 | 1808 | 3816 1653.72/1654.13 c 1364s | 19 | 4084211 | 631982 | 83488 14 | 1808 | 3816 1655.82/1656.23 c 1366s | 19 | 4087559 | 632382 | 83488 14 | 1808 | 3816 1657.92/1658.33 c 1368s | 19 | 4094977 | 633582 | 83488 14 | 1808 | 3816 1659.92/1660.39 c 1370s | 19 | 4102280 | 634682 | 83488 14 | 1808 | 3816 1662.02/1662.44 c 1372s | 19 | 4110461 | 635982 | 83488 14 | 1808 | 3816 1664.12/1664.51 c 1374s | 19 | 4117470 | 637182 | 83488 14 | 1808 | 3816 1666.52/1666.99 c 1377s | 19 | 4123436 | 638482 | 83488 14 | 1808 | 3816 1675.62/1676.03 c 1386s | 19 | 4131915 | 639982 | 83488 14 | 1808 | 3816 1677.71/1678.11 c 1388s | 19 | 4136326 | 640782 | 83488 14 | 1808 | 3816 1679.81/1680.24 c 1390s | 19 | 4140832 | 641782 | 83488 14 | 1808 | 3816 1681.91/1682.38 c 1392s | 19 | 4146738 | 642982 | 83488 14 | 1808 | 3816 1684.01/1684.46 c 1394s | 19 | 4153327 | 644282 | 83488 14 | 1808 | 3816 1686.11/1686.56 c 1396s | 19 | 4160077 | 645482 | 83488 14 | 1808 | 3816 1688.12/1688.57 c 1398s | 19 | 4165397 | 646582 | 83488 14 | 1808 | 3816 1690.11/1690.58 c 1400s | 19 | 4171654 | 647482 | 83488 14 | 1808 | 3816 1692.21/1692.62 c 1402s | 19 | 4177077 | 648682 | 83488 14 | 1808 | 3816 1694.21/1694.64 c 1404s | 19 | 4182611 | 649882 | 83488 14 | 1808 | 3816 1696.41/1696.87 c 1406s | 19 | 4186983 | 650682 | 83488 14 | 1808 | 3816 1698.51/1698.97 c 1409s | 19 | 4190419 | 651382 | 83488 14 | 1808 | 3816 1700.71/1701.17 c 1411s | 19 | 4194645 | 652182 | 83488 14 | 1808 | 3816 1702.91/1703.36 c 1413s | 19 | 4199382 | 652982 | 83488 14 | 1808 | 3816 1705.01/1705.46 c 1415s | 19 | 4203973 | 653682 | 83488 14 | 1808 | 3816 1707.31/1707.79 c 1417s | 19 | 4207605 | 654482 | 83488 14 | 1808 | 3816 1709.41/1709.84 c 1419s | 19 | 4212064 | 655182 | 83488 14 | 1808 | 3816 1711.51/1711.90 c 1422s | 19 | 4216680 | 655882 | 83488 14 | 1808 | 3816 1713.51/1713.91 c 1424s | 19 | 4220959 | 656582 | 83488 14 | 1808 | 3816 1715.61/1716.07 c 1426s | 19 | 4225626 | 657382 | 83488 14 | 1808 | 3816 1717.71/1718.19 c 1428s | 19 | 4228853 | 658282 | 83488 14 | 1808 | 3816 1719.91/1720.37 c 1430s | 19 | 4231856 | 659082 | 83488 14 | 1808 | 3816 1722.21/1722.66 c 1432s | 19 | 4236864 | 659882 | 83488 14 | 1808 | 3816 1724.31/1724.74 c 1434s | 19 | 4240926 | 660582 | 83488 14 | 1808 | 3816 1726.41/1726.84 c 1436s | 19 | 4245529 | 661182 | 83488 14 | 1808 | 3816 1728.40/1728.87 c 1438s | 19 | 4249660 | 661882 | 83488 14 | 1808 | 3816 1730.40/1730.87 c 1440s | 19 | 4252693 | 662482 | 83488 14 | 1808 | 3816 1732.60/1733.00 c 1443s | 19 | 4254876 | 662982 | 83488 14 | 1808 | 3816 1734.60/1735.01 c 1445s | 19 | 4258108 | 663682 | 83488 14 | 1808 | 3816 1736.61/1737.04 c 1447s | 19 | 4261834 | 664282 | 83488 14 | 1808 | 3816 1738.71/1739.10 c 1449s | 19 | 4265844 | 664982 | 83488 14 | 1808 | 3816 1740.80/1741.24 c 1451s | 19 | 4268286 | 665582 | 83488 14 | 1808 | 3816 1742.80/1743.27 c 1453s | 19 | 4271667 | 666282 | 83488 14 | 1808 | 3816 1744.31/1744.79 c 1454s | 20 | 4275406 | 666827 | 83488 14 | 1808 | 3816 1746.51/1746.98 c 1457s | 20 | 4280576 | 667227 | 83488 14 | 1808 | 3816 1752.61/1753.06 c 1463s | 20 | 4285252 | 667927 | 83488 14 | 1808 | 3816 1754.71/1755.10 c 1465s | 20 | 4294789 | 669127 | 83488 14 | 1808 | 3816 1756.71/1757.13 c 1467s | 20 | 4300531 | 670127 | 83488 14 | 1808 | 3816 1758.80/1759.29 c 1469s | 20 | 4302865 | 670427 | 83488 14 | 1808 | 3816 1761.00/1761.42 c 1471s | 20 | 4312179 | 671527 | 83488 14 | 1808 | 3816 1763.01/1763.44 c 1473s | 20 | 4319696 | 672727 | 83488 14 | 1808 | 3816 1765.00/1765.44 c 1475s | 20 | 4328406 | 673627 | 83488 14 | 1808 | 3816 1767.00/1767.44 c 1477s | 20 | 4337191 | 674827 | 83488 14 | 1808 | 3816 1769.00/1769.48 c 1479s | 20 | 4345575 | 675927 | 83488 14 | 1808 | 3816 1771.10/1771.55 c 1481s | 20 | 4355498 | 677227 | 83488 15 | 1808 | 3816 1773.30/1773.78 c 1483s | 20 | 4361792 | 678027 | 83488 15 | 1808 | 3816 1775.50/1775.90 c 1486s | 20 | 4373387 | 679627 | 83488 15 | 1808 | 3816 1787.90/1788.30 c 1498s | 20 | 4383308 | 680827 | 83488 15 | 1808 | 3816 1789.90/1790.31 c 1500s | 20 | 4385237 | 681227 | 83488 15 | 1808 | 3816 1791.90/1792.32 c 1502s | 20 | 4395023 | 682927 | 83488 15 | 1808 | 3816 1793.90/1794.34 c 1504s | 20 | 4403946 | 684127 | 83488 15 | 1808 | 3816 1796.10/1796.52 c 1506s | 20 | 4410470 | 685427 | 83488 15 | 1808 | 3816 1798.21/1798.61 c 1508s | 20 | 4417361 | 686627 | 83488 15 | 1808 | 3816
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-4079848-1465248204/watcher-4079848-1465248204 -o /tmp/evaluation-result-4079848-1465248204/solver-4079848-1465248204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079848-1465248204.opb pid=12400 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.06 2.01 3/179 12403 /proc/meminfo: memFree=30542152/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=737724 CPUtime=0 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 2755 0 0 0 0 0 0 0 20 0 4 0 106753904 755429376 3116 33554432000 4194304 16246674 140736548277680 140736548277104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 185199 3126 441 2943 0 182093 0 [pid=12403/tid=12404] ppid=12400 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 773255168 3184 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 777449472 3200 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=764348 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106753904 782692352 3217 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.13 2.06 2.01 3/179 12403 /proc/meminfo: memFree=30542152/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 26632 0 0 0 5 4 0 0 20 0 4 0 106753904 1333334016 26931 33554432000 4194304 16246674 140736548277680 140736548276992 7391492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 325521 26946 799 2943 0 322415 0 [pid=12403/tid=12404] ppid=12400 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1333334016 26959 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1333334016 26971 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1333334016 26982 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200533 s] /proc/loadavg: 2.13 2.06 2.01 3/179 12403 /proc/meminfo: memFree=30542152/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 49451 0 0 0 12 7 0 0 20 0 4 0 106753904 1345916928 50261 33554432000 4194304 16246674 140736548277680 140736548276992 7374011 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 328593 50261 799 2943 0 325487 0 [pid=12403/tid=12404] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50261 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50261 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50261 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300497 s] /proc/loadavg: 2.13 2.06 2.01 3/179 12403 /proc/meminfo: memFree=30542152/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 49501 0 0 0 22 7 0 0 20 0 4 0 106753904 1345916928 50311 33554432000 4194304 16246674 140736548277680 140736548276992 12481188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 328593 50311 831 2943 0 325487 0 [pid=12403/tid=12404] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50311 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50311 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1345916928 50311 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700444 s] /proc/loadavg: 2.13 2.06 2.01 3/179 12403 /proc/meminfo: memFree=30542152/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=0.69 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 101038 0 0 0 54 15 0 0 20 0 4 0 106753904 1355354112 101848 33554432000 4194304 16246674 140736548277680 140736548276992 12369169 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 101848 884 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101848 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101848 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101848 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1323588 [startup+1.50039 s] /proc/loadavg: 2.13 2.06 2.01 4/183 12407 /proc/meminfo: memFree=30135208/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=1.49 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 101065 0 0 0 134 15 0 0 20 0 4 0 106753904 1355354112 101875 33554432000 4194304 16246674 140736548277680 140736548276992 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 101875 909 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101875 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101875 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 101875 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1323588 [startup+3.1004 s] /proc/loadavg: 2.13 2.06 2.01 3/183 12407 /proc/meminfo: memFree=29964336/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=3.09 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 264166 0 0 0 270 39 0 0 20 0 4 0 106753904 1355354112 264977 33554432000 4194304 16246674 140736548277680 140736548259584 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 264984 909 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 264986 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 264988 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 264993 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1323588 [startup+6.30041 s] /proc/loadavg: 2.12 2.06 2.01 3/183 12407 /proc/meminfo: memFree=29452480/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=6.29 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 271592 0 0 0 589 40 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140736548259584 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 272402 909 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1323588 [startup+12.7004 s] /proc/loadavg: 2.11 2.06 2.01 3/183 12407 /proc/meminfo: memFree=29451712/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=12.69 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 271592 0 0 0 1229 40 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140736548259584 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 272402 909 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272402 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1323588 [startup+25.5004 s] /proc/loadavg: 2.08 2.06 2.01 3/183 12407 /proc/meminfo: memFree=29452512/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1323588 CPUtime=25.49 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 271597 0 0 0 2508 41 0 0 20 0 4 0 106753904 1355354112 272407 33554432000 4194304 16246674 140736548277680 140736548259584 5677768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 330897 272407 913 2943 0 327791 0 [pid=12403/tid=12404] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272407 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272407 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1355354112 272407 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1323588 [startup+51.1005 s] /proc/loadavg: 2.05 2.05 2.01 3/183 12407 /proc/meminfo: memFree=29431512/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1331780 CPUtime=51.09 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 273646 0 0 0 5062 47 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140736548259584 5673405 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 332945 274456 914 2943 0 329839 0 [pid=12403/tid=12404] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1331780 [startup+102.301 s] /proc/loadavg: 2.10 2.06 2.01 3/183 12408 /proc/meminfo: memFree=29420532/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1331780 CPUtime=102.28 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 273646 0 0 0 10161 67 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140736548260680 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 332945 274456 914 2943 0 329839 0 [pid=12403/tid=12404] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1363742720 274456 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1331780 ################ # More data... # ################ /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1420868 [startup+1302.3 s] /proc/loadavg: 2.26 2.14 2.03 3/183 12438 /proc/meminfo: memFree=29227768/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1301.99 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 295966 0 0 0 129888 311 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5661595 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1420868 [startup+1362.3 s] /proc/loadavg: 2.18 2.14 2.04 3/183 12439 /proc/meminfo: memFree=29227556/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1361.97 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 295992 0 0 0 135884 313 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1420868 [startup+1422.3 s] /proc/loadavg: 2.14 2.14 2.04 3/183 12440 /proc/meminfo: memFree=29227404/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1421.96 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 141869 327 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5709618 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1420868 [startup+1482.3 s] /proc/loadavg: 2.13 2.14 2.05 3/183 12442 /proc/meminfo: memFree=29227616/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1481.95 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 147858 337 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 6845868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1420868 [startup+1542.31 s] /proc/loadavg: 2.05 2.11 2.04 3/183 12443 /proc/meminfo: memFree=29227860/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1541.94 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 153851 343 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1420868 [startup+1602.3 s] /proc/loadavg: 2.05 2.10 2.04 3/184 12447 /proc/meminfo: memFree=29226736/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1601.93 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 159840 353 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5711326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1420868 [startup+1662.3 s] /proc/loadavg: 2.02 2.08 2.04 3/183 12448 /proc/meminfo: memFree=29227428/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1661.92 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 165837 355 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1420868 [startup+1722.3 s] /proc/loadavg: 2.00 2.06 2.03 3/183 12449 /proc/meminfo: memFree=29227256/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1721.91 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 171835 356 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1420868 [startup+1782.3 s] /proc/loadavg: 2.19 2.10 2.04 3/184 12511 /proc/meminfo: memFree=29315744/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1781.9 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 177823 367 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548276856 13898698 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1420868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.15 2.09 2.04 3/184 12511 /proc/meminfo: memFree=29316284/32872528 swapFree=11196/354588 [pid=12403] ppid=12400 vsize=1420868 CPUtime=1800 cores=0,2,4,6 /proc/12403/stat : 12403 (toysat) R 12400 12403 8429 0 -1 4202496 296004 0 0 0 179617 383 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140736548259584 13962576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12403/statm: 355217 296605 914 2943 0 352111 0 [pid=12403/tid=12404] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12404/stat : 12404 (toysat) S 12400 12403 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091978657008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12403/tid=12405] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12405/stat : 12405 (toysat) S 12400 12403 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091968167152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12403/tid=12406] ppid=12400 vsize=1420868 CPUtime=0 cores=0,2,4,6 /proc/12403/task/12406/stat : 12406 (toysat) S 12400 12403 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106753904 1454968832 296605 33554432000 4194304 16246674 140736548277680 140091957693616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1420868 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 12403 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): 1796.18 CPU system time (s): 3.83442 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 1420868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.18 system time used= 3.83442 maximum resident set size= 1186420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296004 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= 228 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.68713 second user time and 7.48686 second system time The end
Begin job on node126 at 2016-06-06 23:23:24 IDJOB=4079848 IDBENCH=24975 IDSOLVER=2542 FILE ID=node126/4079848-1465248204 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 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_021_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-4079848-1465248204/watcher-4079848-1465248204 -o /tmp/evaluation-result-4079848-1465248204/solver-4079848-1465248204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079848-1465248204.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=548339616 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30542704 kB Buffers: 52144 kB Cached: 136564 kB SwapCached: 2248 kB Active: 1168408 kB Inactive: 106716 kB Active(anon): 1086292 kB Inactive(anon): 2388 kB Active(file): 82116 kB Inactive(file): 104328 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098548 kB Dirty: 34808 kB Writeback: 0 kB AnonPages: 1439832 kB Mapped: 10720 kB Shmem: 0 kB Slab: 568528 kB SReclaimable: 12676 kB SUnreclaim: 555852 kB KernelStack: 1488 kB PageTables: 6992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1582732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 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= 71704 MiB End job on node126 at 2016-06-06 23:53:25