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.09 | 1800.45 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
| MD5SUM | fac2f381943513d71e556a5764721ca3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 107.847 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -26 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1248 |
| Sum of products size (including duplicates) | 2496 |
| Number of different products | 624 |
| Sum of products size | 1248 |
0.00/0.00 c 2016-06-07T02:43:00+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-4080150-1465260179.opb"] 0.00/0.01 c use --random-gen="3215231064 3034375978 3037477001 2879836101 709212437 128506640 2577924717 817750391 3329890775 398810666 4123576707 3856858586 731606994 211204058 3435931507 2383148492 2297553138 3778819773 3118457890 1414162183 2600107969 2053170788 4205649913 3573519566 942791855 4137468720 1790042688 3276630179 2991458950 1307947487 3518284542 769458557 3243214154 3906299284 825985506 2106629807 1686060851 752241208 2199722173 265244403 1430031629 3988405816 4271476223 1891364141 1219091165 1339189732 621403486 1634907977 743932810 2751393012 3196816904 602289355 489279190 3834917887 205300362 3498607791 2021031630 1245670768 1783431273 3865232144 1058438634 845342630 1559623987 3390645093 3606038734 2043004674 3891286358 3318387870 3458697134 2171211560 1627258970 3262076023 2299926055 2974502171 3226243902 3471556863 2617839721 2259983633 2650715583 1861263866 4093022264 2560373020 97545268 245813617 1400348572 281374059 2626412546 4006007528 4067368344 3909253334 4107299610 946345549 3967212896 3037674782 3680767012 1763868803 4155425055 3433795369 3815880990 2808686126 2757526720 432068745 3399374689 1170325739 2230237258 2776736723 4135594246 3213028051 283717492 2910036837 408647568 1696796736 1472181553 2531758619 1566212176 1610297997 1862887126 520887408 3863198175 2384839325 4031504743 991003178 1946796583 1566870799 1161318398 2973551557 3014070146 3029833429 1802671883 3086410773 1630080874 766826783 4263829685 625846424 2550306927 3470836527 4161195825 1912653468 3688686735 941206256 2492869138 1757519104 399864279 4107827120 3249369962 1605285555 977452429 3472455815 231743442 2896307136 755782770 733975979 968898781 14697428 3416381600 2367290077 1728169044 3664294234 1150177493 696697068 1050856501 639497267 2683221302 631205676 3010352177 3410484891 2616895129 1403241282 2082586169 3168734978 1483284179 3974900430 2507255551 2340941598 3968968270 1805277183 3386921065 1665992486 1287776991 3436918394 2648701168 2204822663 2132003950 3994903759 619014071 2251871166 2094699922 3940770397 2334973577 4114240716 3840866875 2627459148 1975810044 797888725 2096031900 4288826433 3053456500 2988075678 556113871 548414451 804741255 2475713068 1024860052 4195036828 3223612487 1373521364 71826399 1752062658 553460942 680678469 3231218772 2869842708 1326414816 1027956138 4184171864 9642014 2368450201 3817682716 1175993972 2824939950 1824936673 2189125930 778698734 753936121 2566072047 1628165584 1063948548 2613638302 3319535612 925324678 4076875883 2053678412 3853598337 675595988 2531967406 3916220394 297240711 2266148053 3697087987 686538256 2782972577 2897231759 697857411 3010494753 2026743412 3484914235 57791867 81502713 2085808899 3639516620 2689803945 95086885 3397105785 2177513439 3336480606 2123491417 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 865 0 | 624 | 0 0.00/0.03 c 0.0s | 0 | 20 | 0 | 865 0 | 624 | 1248 0.00/0.03 c #cpu_time = 0.003s 0.00/0.03 c #wall_clock_time = 0.003s 0.00/0.03 c #decision = 20 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o -20 0.00/0.03 c BCD2: updating upper bound: 100 -> 79 0.00/0.03 c BCD2: 0 <= obj <= 79 0.00/0.03 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 865 0 | 624 | 1248 0.00/0.03 c 0.0s | 0 | 7 | 0 | 865 0 | 624 | 1248 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 7 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to -99 0.00/0.03 c BCD2: 1 <= obj <= 79 0.00/0.03 c BCD2: #cores=1, #unrelaxed=98, #relaxed=2, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 865 0 | 624 | 1249 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 624 | 1249 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -98 0.00/0.04 c BCD2: 2 <= obj <= 79 0.00/0.04 c BCD2: #cores=2, #unrelaxed=96, #relaxed=4, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 624 | 1250 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 624 | 1250 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -97 0.00/0.04 c BCD2: 3 <= obj <= 79 0.00/0.04 c BCD2: #cores=3, #unrelaxed=94, #relaxed=6, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 624 | 1251 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 624 | 1251 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.04 c lower bound updated to -96 0.00/0.04 c BCD2: 4 <= obj <= 79 0.00/0.04 c BCD2: #cores=3, #unrelaxed=92, #relaxed=8, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 625 | 1251 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 625 | 1252 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -95 0.00/0.04 c BCD2: 5 <= obj <= 79 0.00/0.04 c BCD2: #cores=4, #unrelaxed=90, #relaxed=10, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 625 | 1253 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 625 | 1253 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -94 0.00/0.04 c BCD2: 6 <= obj <= 79 0.00/0.04 c BCD2: #cores=5, #unrelaxed=88, #relaxed=12, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 625 | 1254 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 625 | 1254 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -93 0.00/0.04 c BCD2: 7 <= obj <= 79 0.00/0.04 c BCD2: #cores=6, #unrelaxed=86, #relaxed=14, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 625 | 1255 0.00/0.04 c 0.0s | 0 | 12 | 1 | 865 0 | 625 | 1255 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 12 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 7: cost of the new core is >=4 0.00/0.04 c lower bound updated to -92 0.00/0.04 c BCD2: 8 <= obj <= 79 0.00/0.04 c BCD2: #cores=4, #unrelaxed=85, #relaxed=15, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 628 | 1255 0.00/0.04 c 0.0s | 0 | 8 | 0 | 865 0 | 628 | 1258 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=4 0.00/0.04 c lower bound updated to -91 0.00/0.04 c BCD2: 9 <= obj <= 79 0.00/0.04 c BCD2: #cores=3, #unrelaxed=82, #relaxed=18, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 630 | 1258 0.00/0.04 c 0.0s | 0 | 7 | 1 | 865 0 | 630 | 1260 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 7 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=5 0.00/0.04 c lower bound updated to -90 0.00/0.04 c BCD2: 10 <= obj <= 79 0.00/0.04 c BCD2: #cores=3, #unrelaxed=79, #relaxed=21, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 631 | 1260 0.00/0.04 c 0.0s | 0 | 5 | 0 | 865 0 | 631 | 1261 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 5 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -89 0.00/0.04 c BCD2: 11 <= obj <= 79 0.00/0.04 c BCD2: #cores=4, #unrelaxed=77, #relaxed=23, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 865 0 | 631 | 1262 0.00/0.05 c 0.0s | 0 | 5 | 0 | 865 0 | 631 | 1262 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 5 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -88 0.00/0.05 c BCD2: 12 <= obj <= 79 0.00/0.05 c BCD2: #cores=5, #unrelaxed=75, #relaxed=25, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 631 | 1263 0.00/0.05 c 0.0s | 0 | 7 | 1 | 865 0 | 631 | 1263 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 7 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.05 c lower bound updated to -87 0.00/0.05 c BCD2: 13 <= obj <= 79 0.00/0.05 c BCD2: #cores=5, #unrelaxed=74, #relaxed=26, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 632 | 1263 0.00/0.05 c 0.0s | 0 | 7 | 0 | 865 0 | 632 | 1264 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 7 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -86 0.00/0.05 c BCD2: 14 <= obj <= 79 0.00/0.05 c BCD2: #cores=6, #unrelaxed=72, #relaxed=28, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 632 | 1265 0.00/0.05 c 0.0s | 0 | 7 | 0 | 865 0 | 632 | 1265 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 7 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.05 c lower bound updated to -85 0.00/0.05 c BCD2: 15 <= obj <= 79 0.00/0.05 c BCD2: #cores=6, #unrelaxed=70, #relaxed=30, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 633 | 1265 0.00/0.05 c 0.0s | 0 | 8 | 1 | 865 0 | 633 | 1266 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 8 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=3 0.00/0.05 c lower bound updated to -84 0.00/0.05 c BCD2: 16 <= obj <= 79 0.00/0.05 c BCD2: #cores=5, #unrelaxed=69, #relaxed=31, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 635 | 1266 0.00/0.05 c 0.0s | 0 | 7 | 0 | 865 0 | 635 | 1268 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 7 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -83 0.00/0.05 c BCD2: 17 <= obj <= 79 0.00/0.05 c BCD2: #cores=6, #unrelaxed=67, #relaxed=33, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 635 | 1269 0.00/0.05 c 0.0s | 0 | 9 | 0 | 865 0 | 635 | 1269 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 9 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -82 0.00/0.05 c BCD2: 18 <= obj <= 79 0.00/0.05 c BCD2: #cores=7, #unrelaxed=65, #relaxed=35, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 635 | 1270 0.00/0.05 c 0.0s | 0 | 11 | 0 | 865 0 | 635 | 1270 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 11 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -81 0.00/0.05 c BCD2: 19 <= obj <= 79 0.00/0.05 c BCD2: #cores=8, #unrelaxed=63, #relaxed=37, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 635 | 1271 0.00/0.05 c 0.0s | 0 | 11 | 0 | 865 0 | 635 | 1271 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 11 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -80 0.00/0.05 c BCD2: 20 <= obj <= 79 0.00/0.05 c BCD2: #cores=9, #unrelaxed=61, #relaxed=39, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 865 0 | 635 | 1272 0.00/0.05 c 0.0s | 0 | 12 | 1 | 865 0 | 635 | 1272 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 12 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 3 and merging with 6 cores into a new core of size 28: cost of the new core is >=14 0.00/0.05 c lower bound updated to -79 0.00/0.05 c BCD2: 21 <= obj <= 79 0.00/0.05 c BCD2: #cores=4, #unrelaxed=58, #relaxed=42, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 641 | 1272 0.00/0.06 c 0.0s | 0 | 5 | 0 | 865 0 | 641 | 1278 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 5 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.06 c lower bound updated to -78 0.00/0.06 c BCD2: 22 <= obj <= 79 0.00/0.06 c BCD2: #cores=4, #unrelaxed=56, #relaxed=44, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 642 | 1278 0.00/0.06 c 0.0s | 0 | 6 | 0 | 865 0 | 642 | 1279 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 6 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -77 0.00/0.06 c BCD2: 23 <= obj <= 79 0.00/0.06 c BCD2: #cores=5, #unrelaxed=54, #relaxed=46, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 642 | 1280 0.00/0.06 c 0.0s | 0 | 9 | 1 | 865 0 | 642 | 1280 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 9 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3 0.00/0.06 c lower bound updated to -76 0.00/0.06 c BCD2: 24 <= obj <= 79 0.00/0.06 c BCD2: #cores=5, #unrelaxed=52, #relaxed=48, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 643 | 1280 0.00/0.06 c 0.0s | 0 | 7 | 0 | 865 0 | 643 | 1281 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 7 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.06 c lower bound updated to -75 0.00/0.06 c BCD2: 25 <= obj <= 79 0.00/0.06 c BCD2: #cores=5, #unrelaxed=50, #relaxed=50, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 644 | 1281 0.00/0.06 c 0.0s | 0 | 7 | 0 | 865 0 | 644 | 1282 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 7 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -74 0.00/0.06 c BCD2: 26 <= obj <= 79 0.00/0.06 c BCD2: #cores=6, #unrelaxed=48, #relaxed=52, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 644 | 1283 0.00/0.06 c 0.0s | 0 | 9 | 0 | 865 0 | 644 | 1283 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 9 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -73 0.00/0.06 c BCD2: 27 <= obj <= 79 0.00/0.06 c BCD2: #cores=7, #unrelaxed=46, #relaxed=54, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 644 | 1284 0.00/0.06 c 0.0s | 0 | 9 | 0 | 865 0 | 644 | 1284 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 9 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -72 0.00/0.06 c BCD2: 28 <= obj <= 79 0.00/0.06 c BCD2: #cores=8, #unrelaxed=44, #relaxed=56, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 644 | 1285 0.00/0.06 c 0.0s | 0 | 11 | 1 | 865 0 | 644 | 1285 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 11 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 5: cost of the new core is >=3 0.00/0.06 c lower bound updated to -71 0.00/0.06 c BCD2: 29 <= obj <= 79 0.00/0.06 c BCD2: #cores=7, #unrelaxed=43, #relaxed=57, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 646 | 1285 0.00/0.06 c 0.0s | 0 | 12 | 1 | 865 0 | 646 | 1287 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 12 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 11: cost of the new core is >=5 0.00/0.06 c lower bound updated to -70 0.00/0.06 c BCD2: 30 <= obj <= 79 0.00/0.06 c BCD2: #cores=6, #unrelaxed=40, #relaxed=60, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 865 0 | 648 | 1287 0.00/0.07 c 0.0s | 0 | 8 | 0 | 865 0 | 648 | 1289 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 8 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -69 0.00/0.07 c BCD2: 31 <= obj <= 79 0.00/0.07 c BCD2: #cores=7, #unrelaxed=38, #relaxed=62, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 648 | 1290 0.00/0.07 c 0.0s | 0 | 12 | 0 | 865 0 | 648 | 1290 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -68 0.00/0.07 c BCD2: 32 <= obj <= 79 0.00/0.07 c BCD2: #cores=8, #unrelaxed=36, #relaxed=64, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 648 | 1291 0.00/0.07 c 0.0s | 0 | 12 | 0 | 865 0 | 648 | 1291 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -67 0.00/0.07 c BCD2: 33 <= obj <= 79 0.00/0.07 c BCD2: #cores=9, #unrelaxed=34, #relaxed=66, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 648 | 1292 0.00/0.07 c 0.0s | 0 | 12 | 0 | 865 0 | 648 | 1292 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.07 c lower bound updated to -66 0.00/0.07 c BCD2: 34 <= obj <= 79 0.00/0.07 c BCD2: #cores=9, #unrelaxed=32, #relaxed=68, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 649 | 1292 0.00/0.07 c 0.0s | 0 | 12 | 0 | 865 0 | 649 | 1293 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -65 0.00/0.07 c BCD2: 35 <= obj <= 79 0.00/0.07 c BCD2: #cores=10, #unrelaxed=30, #relaxed=70, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 649 | 1294 0.00/0.07 c 0.0s | 0 | 13 | 0 | 865 0 | 649 | 1294 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 13 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.07 c lower bound updated to -64 0.00/0.07 c BCD2: 36 <= obj <= 79 0.00/0.07 c BCD2: #cores=10, #unrelaxed=28, #relaxed=72, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 650 | 1294 0.00/0.07 c 0.0s | 0 | 12 | 0 | 865 0 | 650 | 1295 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -63 0.00/0.07 c BCD2: 37 <= obj <= 79 0.00/0.07 c BCD2: #cores=11, #unrelaxed=26, #relaxed=74, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=38 bias=38/39 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 650 | 1296 0.00/0.07 c 0.0s | 0 | 14 | 1 | 865 0 | 650 | 1296 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 14 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 3 and merging with 5 cores into a new core of size 20: cost of the new core is >=10 0.00/0.07 c lower bound updated to -62 0.00/0.07 c BCD2: 38 <= obj <= 79 0.00/0.07 c BCD2: #cores=7, #unrelaxed=23, #relaxed=77, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=39 bias=39/40 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 655 | 1296 0.00/0.07 c 0.0s | 0 | 8 | 0 | 865 0 | 655 | 1301 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 8 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -61 0.00/0.07 c BCD2: 39 <= obj <= 79 0.00/0.07 c BCD2: #cores=8, #unrelaxed=21, #relaxed=79, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=40 bias=40/41 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 865 0 | 655 | 1302 0.00/0.07 c 0.0s | 0 | 10 | 0 | 865 0 | 655 | 1302 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 10 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -60 0.00/0.08 c BCD2: 40 <= obj <= 79 0.00/0.08 c BCD2: #cores=9, #unrelaxed=19, #relaxed=81, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 655 | 1303 0.00/0.08 c 0.0s | 0 | 11 | 0 | 865 0 | 655 | 1303 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 11 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3 0.00/0.08 c lower bound updated to -59 0.00/0.08 c BCD2: 41 <= obj <= 79 0.00/0.08 c BCD2: #cores=9, #unrelaxed=17, #relaxed=83, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 656 | 1303 0.00/0.08 c 0.0s | 0 | 21 | 1 | 865 0 | 656 | 1304 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 21 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.08 c lower bound updated to -58 0.00/0.08 c BCD2: 42 <= obj <= 79 0.00/0.08 c BCD2: #cores=9, #unrelaxed=16, #relaxed=84, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 657 | 1304 0.00/0.08 c 0.0s | 0 | 15 | 0 | 865 0 | 657 | 1305 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 15 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.08 c lower bound updated to -57 0.00/0.08 c BCD2: 43 <= obj <= 79 0.00/0.08 c BCD2: #cores=10, #unrelaxed=14, #relaxed=86, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 657 | 1306 0.00/0.08 c 0.0s | 0 | 16 | 1 | 865 0 | 657 | 1306 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 16 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 19: cost of the new core is >=7 0.00/0.08 c lower bound updated to -56 0.00/0.08 c BCD2: 44 <= obj <= 79 0.00/0.08 c BCD2: #cores=9, #unrelaxed=8, #relaxed=92, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=45 bias=45/46 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 659 | 1306 0.00/0.08 c 0.0s | 0 | 17 | 1 | 865 0 | 659 | 1308 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 17 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 25: cost of the new core is >=8 0.00/0.08 c lower bound updated to -55 0.00/0.08 c BCD2: 45 <= obj <= 79 0.00/0.08 c BCD2: #cores=9, #unrelaxed=2, #relaxed=98, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=46 bias=46/47 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 865 0 | 660 | 1308 0.00/0.09 c 0.0s | 1 | 172 | 100 | 952 0 | 660 | 1309 0.09/0.12 c 0.0s | 2 | 359 | 250 | 1048 0 | 660 | 1309 0.09/0.14 c 0.1s | 2 | 480 | 357 | 1048 0 | 660 | 1309 0.09/0.14 c #cpu_time = 0.058s 0.09/0.14 c #wall_clock_time = 0.058s 0.09/0.14 c #decision = 480 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 357 0.09/0.14 c #restart = 2 0.09/0.14 c BCD2: relaxing 2 and merging with 9 cores into a new core of size 100: cost of the new core is >=46 0.09/0.14 c lower bound updated to -54 0.09/0.14 c BCD2: 46 <= obj <= 79 0.09/0.14 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=47 bias=47/48 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1048 0 | 669 | 1309 0.09/0.16 c 0.0s | 1 | 134 | 100 | 1048 0 | 669 | 1318 0.19/0.20 c 0.1s | 2 | 364 | 250 | 1153 0 | 669 | 1318 0.19/0.26 c 0.1s | 3 | 669 | 475 | 1269 0 | 669 | 1318 0.29/0.35 c 0.2s | 4 | 1079 | 813 | 1269 0 | 669 | 1318 0.49/0.50 c 0.4s | 5 | 1657 | 1320 | 1396 0 | 669 | 1318 0.69/0.78 c 0.6s | 6 | 2494 | 2081 | 1536 0 | 669 | 1318 0.99/1.08 c 0.9s | 7 | 3736 | 3223 | 1690 1 | 669 | 1318 1.49/1.54 c 1.4s | 8 | 5561 | 4936 | 1860 2 | 669 | 1318 2.20/2.21 c 2.1s | 9 | 8316 | 7506 | 2047 4 | 669 | 1318 3.09/3.19 c 3.1s | 10 | 12374 | 11361 | 2252 7 | 669 | 1318 4.59/4.66 c 4.5s | 11 | 18660 | 17144 | 2478 11 | 669 | 1318 6.60/6.69 c 6.5s | 11 | 26567 | 24544 | 2478 15 | 669 | 1318 6.99/7.05 c 6.9s | 12 | 27877 | 25819 | 2726 16 | 669 | 1318 8.99/9.06 c 8.9s | 12 | 35223 | 32819 | 2726 20 | 669 | 1318 10.79/10.82 c 10.7s | 13 | 41414 | 38832 | 2999 23 | 669 | 1318 12.79/12.84 c 12.7s | 13 | 48330 | 45432 | 2999 27 | 669 | 1318 14.79/14.85 c 14.7s | 13 | 55305 | 52132 | 2999 30 | 669 | 1318 16.69/16.77 c 16.6s | 14 | 61897 | 58352 | 3299 34 | 669 | 1318 18.69/18.78 c 18.6s | 14 | 68536 | 64652 | 3299 37 | 669 | 1318 20.69/20.79 c 20.6s | 14 | 74851 | 70752 | 3299 40 | 669 | 1318 22.79/22.81 c 22.7s | 14 | 81489 | 77052 | 3299 43 | 669 | 1318 24.79/24.82 c 24.7s | 14 | 87732 | 83152 | 3299 46 | 669 | 1318 26.19/26.21 c 26.1s | 15 | 92401 | 87632 | 3629 48 | 669 | 1318 27.89/27.94 c 27.8s | 15 | 98637 | 93447 | 3629 51 | 669 | 1318 27.89/27.94 c #cpu_time = 27.725s 27.89/27.94 c #wall_clock_time = 27.796s 27.89/27.94 c #decision = 98637 27.89/27.94 c #random_decision = 168 27.89/27.94 c #conflict = 93447 27.89/27.94 c #restart = 15 27.89/27.94 o -21 27.89/27.94 c BCD2: updating upper bound: 79 -> 78 27.89/27.94 c BCD2: 46 <= obj <= 78 27.89/27.94 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 27.89/27.94 c BCD2: #sat=2 #unsat=47 bias=47/49 27.89/27.94 c Solving starts ... 27.89/27.94 c ============================[ Search Statistics ]============================ 27.89/27.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 27.89/27.94 c | | | | Limit GC | Var | Constra 27.89/27.94 c ============================================================================= 27.89/27.94 c 0.0s | 0 | 0 | 0 | 3629 0 | 669 | 1320 27.89/27.98 c 0.0s | 1 | 157 | 100 | 3629 0 | 669 | 1320 27.99/28.06 c 0.1s | 2 | 366 | 250 | 3629 0 | 669 | 1320 28.09/28.13 c 0.2s | 3 | 654 | 475 | 3629 0 | 669 | 1320 28.19/28.25 c 0.3s | 4 | 1072 | 813 | 3629 0 | 669 | 1320 28.39/28.43 c 0.5s | 5 | 1652 | 1320 | 3629 0 | 669 | 1320 28.69/28.73 c 0.8s | 6 | 2481 | 2081 | 3629 1 | 669 | 1320 28.99/29.04 c 1.1s | 7 | 3714 | 3223 | 3629 1 | 669 | 1320 29.49/29.51 c 1.6s | 8 | 5515 | 4936 | 3629 2 | 669 | 1320 30.29/30.32 c 2.4s | 9 | 8231 | 7506 | 3629 3 | 669 | 1320 31.39/31.49 c 3.6s | 10 | 12223 | 11361 | 3629 5 | 669 | 1320 33.19/33.26 c 5.3s | 11 | 18261 | 17144 | 3629 7 | 669 | 1320 35.19/35.28 c 7.3s | 11 | 25103 | 23744 | 3629 10 | 669 | 1320 35.88/35.94 c 8.0s | 12 | 27253 | 25819 | 3629 11 | 669 | 1320 37.88/37.95 c 10.0s | 12 | 34491 | 32819 | 3629 15 | 669 | 1320 39.78/39.84 c 11.9s | 13 | 40807 | 38832 | 3992 17 | 669 | 1320 41.79/41.86 c 13.9s | 13 | 47738 | 45332 | 3992 20 | 669 | 1320 43.78/43.87 c 15.9s | 13 | 54471 | 51732 | 3992 23 | 669 | 1320 45.09/45.17 c 17.2s | 13 | 58719 | 55795 | 3992 24 | 669 | 1320 45.09/45.17 c #cpu_time = 17.193s 45.09/45.17 c #wall_clock_time = 17.237s 45.09/45.17 c #decision = 58719 45.09/45.17 c #random_decision = 211 45.09/45.17 c #conflict = 55795 45.09/45.17 c #restart = 13 45.09/45.17 o -23 45.09/45.17 c BCD2: updating upper bound: 78 -> 76 45.09/45.17 c BCD2: 46 <= obj <= 76 45.09/45.17 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 45.09/45.17 c BCD2: #sat=3 #unsat=47 bias=47/50 45.09/45.18 c Solving starts ... 45.09/45.18 c ============================[ Search Statistics ]============================ 45.09/45.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 45.09/45.18 c | | | | Limit GC | Var | Constra 45.09/45.18 c ============================================================================= 45.09/45.18 c 0.0s | 0 | 0 | 0 | 3992 0 | 669 | 1322 45.19/45.23 c 0.1s | 1 | 151 | 100 | 3992 0 | 669 | 1322 45.28/45.39 c 0.2s | 2 | 354 | 250 | 3992 0 | 669 | 1322 45.38/45.48 c 0.3s | 3 | 640 | 475 | 3992 0 | 669 | 1322 45.58/45.60 c 0.4s | 4 | 1038 | 813 | 3992 1 | 669 | 1322 45.68/45.74 c 0.6s | 5 | 1605 | 1320 | 3992 1 | 669 | 1322 45.98/46.00 c 0.8s | 6 | 2439 | 2081 | 3992 1 | 669 | 1322 46.29/46.34 c 1.2s | 7 | 3673 | 3223 | 3992 2 | 669 | 1322 46.88/46.90 c 1.7s | 8 | 5460 | 4936 | 3992 2 | 669 | 1322 47.68/47.72 c 2.5s | 9 | 8155 | 7506 | 3992 3 | 669 | 1322 48.88/48.96 c 3.8s | 10 | 12154 | 11361 | 3992 5 | 669 | 1322 50.69/50.75 c 5.6s | 11 | 18082 | 17144 | 3992 8 | 669 | 1322 52.69/52.75 c 7.6s | 11 | 24623 | 23544 | 3992 10 | 669 | 1322 53.39/53.42 c 8.2s | 12 | 26935 | 25819 | 3992 11 | 669 | 1322 55.38/55.43 c 10.3s | 12 | 33195 | 31919 | 3992 14 | 669 | 1322 57.38/57.47 c 12.3s | 12 | 39776 | 38419 | 3992 17 | 669 | 1322 57.48/57.59 c 12.4s | 13 | 40200 | 38832 | 3992 17 | 669 | 1322 59.58/59.60 c 14.4s | 13 | 46768 | 45232 | 3992 19 | 669 | 1322 61.59/61.63 c 16.5s | 13 | 53150 | 51532 | 4392 22 | 669 | 1322 63.58/63.65 c 18.5s | 13 | 59082 | 57332 | 4392 24 | 669 | 1322 63.89/63.96 c 18.8s | 14 | 60105 | 58352 | 4392 24 | 669 | 1322 65.88/65.98 c 20.8s | 14 | 66135 | 64252 | 4392 27 | 669 | 1322 67.98/68.00 c 22.8s | 14 | 72210 | 70252 | 4392 29 | 669 | 1322 69.98/70.02 c 24.8s | 14 | 78650 | 76652 | 4392 32 | 669 | 1322 71.98/72.05 c 26.9s | 14 | 84997 | 82952 | 4392 34 | 669 | 1322 73.48/73.53 c 28.4s | 15 | 89727 | 87632 | 4392 36 | 669 | 1322 75.48/75.56 c 30.4s | 15 | 95904 | 93632 | 4392 38 | 669 | 1322 77.48/77.57 c 32.4s | 15 | 102263 | 99832 | 4392 41 | 669 | 1322 79.58/79.60 c 34.4s | 15 | 108347 | 105832 | 4392 43 | 669 | 1322 81.58/81.62 c 36.4s | 15 | 114845 | 112232 | 4392 45 | 669 | 1322 83.58/83.63 c 38.5s | 15 | 120653 | 117932 | 4392 48 | 669 | 1322 85.57/85.65 c 40.5s | 15 | 127255 | 124432 | 4392 50 | 669 | 1322 87.57/87.66 c 42.5s | 15 | 133409 | 130432 | 4392 52 | 669 | 1322 87.98/88.02 c 42.8s | 16 | 134561 | 131552 | 4392 53 | 669 | 1322 89.97/90.04 c 44.9s | 16 | 141209 | 138052 | 4392 55 | 669 | 1322 91.98/92.05 c 46.9s | 16 | 147333 | 144052 | 4392 58 | 669 | 1322 93.98/94.08 c 48.9s | 16 | 153526 | 150152 | 4832 60 | 669 | 1322 96.08/96.10 c 50.9s | 16 | 159179 | 155752 | 4832 62 | 669 | 1322 98.08/98.11 c 52.9s | 16 | 164700 | 161252 | 4832 64 | 669 | 1322 100.09/100.12 c 54.9s | 16 | 170752 | 167252 | 4832 66 | 669 | 1322 102.07/102.14 c 57.0s | 16 | 176372 | 172752 | 4832 68 | 669 | 1322 104.07/104.19 c 59.0s | 16 | 181939 | 178252 | 4832 70 | 669 | 1322 106.17/106.20 c 61.0s | 16 | 188424 | 184652 | 4832 72 | 669 | 1322 108.17/108.21 c 63.0s | 16 | 194230 | 190352 | 4832 74 | 669 | 1322 110.17/110.24 c 65.1s | 16 | 200550 | 196552 | 4832 77 | 669 | 1322 110.37/110.48 c 65.3s | 17 | 201462 | 197432 | 4832 77 | 669 | 1322 112.47/112.50 c 67.3s | 17 | 207201 | 203032 | 4832 79 | 669 | 1322 114.48/114.51 c 69.3s | 17 | 213830 | 209432 | 4832 81 | 669 | 1322 116.47/116.52 c 71.3s | 17 | 219575 | 215032 | 4832 83 | 669 | 1322 118.47/118.54 c 73.4s | 17 | 225691 | 221032 | 4832 85 | 669 | 1322 120.47/120.57 c 75.4s | 17 | 231188 | 226432 | 4832 87 | 669 | 1322 122.47/122.58 c 77.4s | 17 | 237092 | 232232 | 4832 89 | 669 | 1322 124.47/124.59 c 79.4s | 17 | 242881 | 237932 | 4832 91 | 669 | 1322 126.48/126.59 c 81.4s | 17 | 248846 | 243832 | 4832 93 | 669 | 1322 128.57/128.61 c 83.4s | 17 | 254829 | 249732 | 4832 96 | 669 | 1322 130.57/130.67 c 85.5s | 17 | 260760 | 255532 | 4832 98 | 669 | 1322 132.67/132.75 c 87.6s | 17 | 266988 | 261632 | 4832 100 | 669 | 1322 134.77/134.87 c 89.7s | 17 | 272795 | 267332 | 4832 102 | 669 | 1322 136.77/136.89 c 91.7s | 17 | 279322 | 273732 | 4832 104 | 669 | 1322 138.87/138.92 c 93.7s | 17 | 285329 | 279632 | 4832 106 | 669 | 1322 140.88/140.95 c 95.8s | 17 | 290894 | 285132 | 4832 108 | 669 | 1322 142.87/142.96 c 97.8s | 17 | 296601 | 290732 | 4832 110 | 669 | 1322 144.86/144.99 c 99.8s | 17 | 302070 | 296132 | 5316 112 | 669 | 1322 144.96/145.03 c 99.9s | 18 | 302188 | 296252 | 5316 112 | 669 | 1322 146.96/147.05 c 101s | 18 | 307798 | 301752 | 5316 114 | 669 | 1322 149.16/149.20 c 104s | 18 | 313995 | 307752 | 5316 116 | 669 | 1322 151.16/151.27 c 106s | 18 | 319668 | 313252 | 5316 118 | 669 | 1322 153.16/153.28 c 108s | 18 | 325403 | 318852 | 5316 120 | 669 | 1322 155.26/155.32 c 110s | 18 | 331307 | 324652 | 5316 121 | 669 | 1322 157.27/157.33 c 112s | 18 | 337226 | 330452 | 5316 123 | 669 | 1322 159.26/159.35 c 114s | 18 | 341991 | 335152 | 5316 125 | 669 | 1322 161.37/161.42 c 116s | 18 | 347743 | 340852 | 5316 127 | 669 | 1322 163.37/163.49 c 118s | 18 | 353111 | 346152 | 5316 129 | 669 | 1322 165.47/165.53 c 120s | 18 | 359203 | 352152 | 5316 131 | 669 | 1322 167.47/167.55 c 122s | 18 | 364586 | 357452 | 5316 132 | 669 | 1322 169.47/169.56 c 124s | 18 | 369980 | 362752 | 5316 134 | 669 | 1322 171.46/171.56 c 126s | 18 | 375572 | 368252 | 5316 136 | 669 | 1322 173.46/173.59 c 128s | 18 | 381079 | 373652 | 5316 138 | 669 | 1322 175.56/175.60 c 130s | 18 | 386896 | 379352 | 5316 140 | 669 | 1322 177.56/177.63 c 132s | 18 | 392508 | 384852 | 5316 141 | 669 | 1322 179.56/179.63 c 134s | 18 | 397896 | 390152 | 5316 143 | 669 | 1322 181.57/181.65 c 136s | 18 | 403769 | 395952 | 5316 145 | 669 | 1322 183.56/183.67 c 138s | 18 | 409534 | 401652 | 5316 147 | 669 | 1322 185.56/185.69 c 140s | 18 | 414602 | 406652 | 5316 149 | 669 | 1322 187.66/187.70 c 142s | 18 | 419951 | 411952 | 5316 150 | 669 | 1322 189.66/189.70 c 144s | 18 | 425833 | 417752 | 5316 152 | 669 | 1322 191.66/191.71 c 146s | 18 | 431423 | 423252 | 5316 154 | 669 | 1322 193.66/193.75 c 148s | 18 | 437228 | 428952 | 5316 156 | 669 | 1322 195.66/195.76 c 150s | 18 | 442309 | 433952 | 5316 158 | 669 | 1322 197.76/197.80 c 152s | 18 | 448426 | 439952 | 5316 160 | 669 | 1322 199.46/199.54 c 154s | 19 | 453077 | 444482 | 5316 161 | 669 | 1322 201.46/201.55 c 156s | 19 | 458489 | 449782 | 5316 163 | 669 | 1322 203.47/203.56 c 158s | 19 | 464000 | 455182 | 5316 165 | 669 | 1322 205.46/205.57 c 160s | 19 | 469593 | 460682 | 5316 166 | 669 | 1322 207.56/207.69 c 162s | 19 | 475371 | 466282 | 5316 168 | 669 | 1322 209.66/209.72 c 164s | 19 | 481542 | 472382 | 5316 170 | 669 | 1322 211.66/211.74 c 166s | 19 | 486983 | 477782 | 5316 172 | 669 | 1322 213.66/213.74 c 168s | 19 | 492522 | 483282 | 5316 174 | 669 | 1322 215.66/215.74 c 170s | 19 | 498284 | 488982 | 5316 176 | 669 | 1322 217.65/217.77 c 172s | 19 | 503454 | 494082 | 5316 177 | 669 | 1322 219.65/219.77 c 174s | 19 | 509220 | 499782 | 5316 179 | 669 | 1322 221.65/221.79 c 176s | 19 | 514930 | 505382 | 5316 181 | 669 | 1322 223.75/223.89 c 178s | 19 | 520638 | 510982 | 5316 183 | 669 | 1322 225.85/225.90 c 180s | 19 | 525950 | 516182 | 5848 184 | 669 | 1322 227.85/227.92 c 182s | 19 | 531858 | 521982 | 5848 186 | 669 | 1322 229.86/229.97 c 184s | 19 | 537312 | 527382 | 5848 188 | 669 | 1322 231.85/231.99 c 186s | 19 | 542684 | 532682 | 5848 189 | 669 | 1322 233.95/234.01 c 188s | 19 | 548278 | 538182 | 5848 191 | 669 | 1322 235.95/236.03 c 190s | 19 | 553556 | 543382 | 5848 193 | 669 | 1322 237.96/238.03 c 192s | 19 | 558652 | 548382 | 5848 194 | 669 | 1322 239.96/240.05 c 194s | 19 | 564239 | 553882 | 5848 196 | 669 | 1322 241.96/242.06 c 196s | 19 | 569606 | 559182 | 5848 197 | 669 | 1322 243.96/244.08 c 198s | 19 | 574675 | 564182 | 5848 199 | 669 | 1322 246.06/246.11 c 200s | 19 | 579659 | 569082 | 5848 200 | 669 | 1322 248.06/248.15 c 202s | 19 | 584427 | 573782 | 5848 202 | 669 | 1322 250.06/250.18 c 205s | 19 | 589709 | 578982 | 5848 203 | 669 | 1322 252.15/252.21 c 207s | 19 | 595175 | 584382 | 5848 205 | 669 | 1322 254.16/254.23 c 209s | 19 | 600111 | 589282 | 5848 207 | 669 | 1322 256.26/256.34 c 211s | 19 | 605669 | 594782 | 5848 208 | 669 | 1322 258.46/258.51 c 213s | 19 | 611052 | 600082 | 5848 210 | 669 | 1322 260.45/260.52 c 215s | 19 | 616839 | 605782 | 5848 212 | 669 | 1322 262.45/262.54 c 217s | 19 | 622432 | 611282 | 5848 213 | 669 | 1322 264.45/264.56 c 219s | 19 | 627504 | 616282 | 5848 215 | 669 | 1322 266.45/266.57 c 221s | 19 | 632973 | 621682 | 5848 216 | 669 | 1322 268.65/268.72 c 223s | 19 | 638354 | 626982 | 5848 218 | 669 | 1322 270.66/270.74 c 225s | 19 | 644121 | 632682 | 5848 220 | 669 | 1322 272.65/272.76 c 227s | 19 | 649182 | 637682 | 5848 221 | 669 | 1322 274.65/274.78 c 229s | 19 | 654537 | 642982 | 5848 223 | 669 | 1322 276.75/276.85 c 231s | 19 | 659885 | 648282 | 5848 225 | 669 | 1322 278.74/278.88 c 233s | 19 | 665456 | 653782 | 5848 226 | 669 | 1322 280.84/280.90 c 235s | 19 | 670912 | 659182 | 5848 228 | 669 | 1322 282.84/282.91 c 237s | 19 | 676383 | 664582 | 5848 229 | 669 | 1322 283.64/283.77 c 238s | 20 | 678640 | 666827 | 5848 230 | 669 | 1322 285.65/285.78 c 240s | 20 | 683874 | 671927 | 5848 232 | 669 | 1322 287.75/287.80 c 242s | 20 | 689374 | 677327 | 5848 233 | 669 | 1322 289.75/289.83 c 244s | 20 | 694570 | 682427 | 5848 235 | 669 | 1322 291.75/291.89 c 246s | 20 | 700101 | 687827 | 5848 237 | 669 | 1322 293.85/293.92 c 248s | 20 | 705521 | 693127 | 5848 238 | 669 | 1322 295.85/295.92 c 250s | 20 | 710703 | 698227 | 5848 240 | 669 | 1322 297.85/297.92 c 252s | 20 | 716707 | 704127 | 5848 241 | 669 | 1322 299.85/299.94 c 254s | 20 | 722150 | 709427 | 5848 243 | 669 | 1322 301.85/301.95 c 256s | 20 | 727760 | 714927 | 5848 245 | 669 | 1322 303.84/303.97 c 258s | 20 | 732219 | 719327 | 5848 246 | 669 | 1322 305.85/305.99 c 260s | 20 | 737997 | 725027 | 5848 248 | 669 | 1322 307.84/308.00 c 262s | 20 | 743373 | 730327 | 5848 249 | 669 | 1322 309.94/310.01 c 264s | 20 | 748760 | 735627 | 5848 251 | 669 | 1322 311.94/312.03 c 266s | 20 | 753959 | 740727 | 5848 253 | 669 | 1322 313.94/314.03 c 268s | 20 | 759537 | 746227 | 5848 254 | 669 | 1322 315.94/316.05 c 270s | 20 | 764825 | 751427 | 5848 256 | 669 | 1322 317.95/318.05 c 272s | 20 | 769818 | 756327 | 5848 257 | 669 | 1322 319.94/320.09 c 274s | 20 | 776054 | 762427 | 5848 259 | 669 | 1322 322.04/322.17 c 276s | 20 | 781635 | 767927 | 5848 261 | 669 | 1322 324.14/324.20 c 279s | 20 | 787544 | 773727 | 5848 263 | 669 | 1322 326.14/326.22 c 281s | 20 | 793037 | 779127 | 5848 264 | 669 | 1322 328.14/328.24 c 283s | 20 | 798757 | 784727 | 5848 266 | 669 | 1322 330.13/330.29 c 285s | 20 | 804153 | 790027 | 5848 268 | 669 | 1322 332.15/332.29 c 287s | 20 | 810077 | 795827 | 5848 269 | 669 | 1322 334.24/334.32 c 289s | 20 | 814280 | 799927 | 5848 271 | 669 | 1322 336.24/336.35 c 291s | 20 | 819732 | 805227 | 5848 272 | 669 | 1322 338.24/338.35 c 293s | 20 | 824599 | 810027 | 5848 274 | 669 | 1322 340.24/340.37 c 295s | 20 | 829872 | 815227 | 5848 275 | 669 | 1322 342.24/342.37 c 297s | 20 | 835398 | 820627 | 5848 277 | 669 | 1322 344.24/344.38 c 299s | 20 | 840685 | 825827 | 5848 278 | 669 | 1322 346.23/346.38 c 301s | 20 | 845979 | 831027 | 5848 280 | 669 | 1322 348.23/348.39 c 303s | 20 | 850960 | 835927 | 5848 281 | 669 | 1322 350.33/350.40 c 305s | 20 | 855877 | 840727 | 5848 283 | 669 | 1322 352.33/352.43 c 307s | 20 | 861444 | 846227 | 6433 284 | 669 | 1322 354.33/354.44 c 309s | 20 | 866504 | 851227 | 6433 286 | 669 | 1322 356.34/356.50 c 311s | 20 | 870980 | 855627 | 6433 287 | 669 | 1322 358.43/358.51 c 313s | 20 | 876652 | 861227 | 6433 289 | 669 | 1322 360.44/360.54 c 315s | 20 | 882261 | 866727 | 6433 290 | 669 | 1322 362.64/362.75 c 317s | 20 | 887526 | 871927 | 6433 292 | 669 | 1322 364.64/364.76 c 319s | 20 | 893534 | 877827 | 6433 293 | 669 | 1322 366.64/366.78 c 321s | 20 | 898731 | 882927 | 6433 295 | 669 | 1322 368.64/368.78 c 323s | 20 | 904053 | 888127 | 6433 296 | 669 | 1322 370.83/370.94 c 325s | 20 | 909470 | 893427 | 6433 298 | 669 | 1322 372.84/372.96 c 327s | 20 | 914532 | 898427 | 6433 299 | 669 | 1322 374.83/374.97 c 329s | 20 | 919881 | 903727 | 6433 300 | 669 | 1322 376.93/377.00 c 331s | 20 | 925239 | 909027 | 6433 302 | 669 | 1322 378.93/379.01 c 333s | 20 | 930750 | 914427 | 6433 303 | 669 | 1322 380.93/381.04 c 335s | 20 | 935979 | 919527 | 6433 305 | 669 | 1322 382.93/383.08 c 337s | 20 | 941285 | 924727 | 6433 306 | 669 | 1322 384.94/385.10 c 339s | 20 | 946481 | 929827 | 6433 308 | 669 | 1322 387.03/387.10 c 341s | 20 | 951653 | 934827 | 6433 309 | 669 | 1322 389.03/389.12 c 343s | 20 | 956677 | 939727 | 6433 310 | 669 | 1322 391.03/391.15 c 345s | 20 | 962197 | 945127 | 6433 312 | 669 | 1322 393.03/393.17 c 347s | 20 | 967697 | 950527 | 6433 313 | 669 | 1322 395.03/395.18 c 350s | 20 | 973010 | 955727 | 6433 315 | 669 | 1322 397.13/397.26 c 352s | 20 | 977593 | 960227 | 6433 316 | 669 | 1322 399.13/399.27 c 354s | 20 | 983265 | 965827 | 6433 318 | 669 | 1322 401.13/401.29 c 356s | 20 | 988354 | 970827 | 6433 319 | 669 | 1322 403.23/403.30 c 358s | 20 | 993468 | 975827 | 6433 321 | 669 | 1322 405.23/405.31 c 360s | 20 | 998037 | 980327 | 6433 322 | 669 | 1322 407.23/407.31 c 362s | 20 | 1003304 | 985527 | 6433 323 | 669 | 1322 409.23/409.34 c 364s | 20 | 1008713 | 990827 | 6433 325 | 669 | 1322 411.22/411.37 c 366s | 20 | 1013507 | 995527 | 6433 326 | 669 | 1322 413.03/413.14 c 367s | 21 | 1018405 | 1000345 | 6433 327 | 669 | 1322 415.03/415.16 c 369s | 21 | 1023748 | 1005545 | 6433 329 | 669 | 1322 417.03/417.16 c 371s | 21 | 1029003 | 1010745 | 6433 330 | 669 | 1322 419.23/419.37 c 374s | 21 | 1034032 | 1015645 | 6433 332 | 669 | 1322 421.23/421.37 c 376s | 21 | 1039226 | 1020745 | 6433 333 | 669 | 1322 423.33/423.43 c 378s | 21 | 1044578 | 1026045 | 6433 335 | 669 | 1322 425.33/425.44 c 380s | 21 | 1049357 | 1030745 | 6433 336 | 669 | 1322 427.33/427.45 c 382s | 21 | 1053830 | 1035145 | 6433 337 | 669 | 1322 429.32/429.48 c 384s | 21 | 1058914 | 1040145 | 6433 338 | 669 | 1322 431.32/431.49 c 386s | 21 | 1063759 | 1044945 | 6433 340 | 669 | 1322 433.52/433.63 c 388s | 21 | 1069472 | 1050545 | 6433 341 | 669 | 1322 435.53/435.64 c 390s | 21 | 1074638 | 1055645 | 6433 343 | 669 | 1322 437.52/437.66 c 392s | 21 | 1079716 | 1060645 | 6433 344 | 669 | 1322 439.52/439.69 c 394s | 21 | 1084715 | 1065545 | 6433 346 | 669 | 1322 441.62/441.70 c 396s | 21 | 1089525 | 1070245 | 6433 347 | 669 | 1322 443.62/443.70 c 398s | 21 | 1094391 | 1075045 | 6433 348 | 669 | 1322 445.62/445.73 c 400s | 21 | 1099864 | 1080445 | 6433 350 | 669 | 1322 447.63/447.75 c 402s | 21 | 1104734 | 1085245 | 6433 351 | 669 | 1322 449.62/449.77 c 404s | 21 | 1110120 | 1090545 | 6433 352 | 669 | 1322 451.72/451.80 c 406s | 21 | 1115607 | 1095945 | 6433 354 | 669 | 1322 453.72/453.83 c 408s | 21 | 1120870 | 1101145 | 6433 355 | 669 | 1322 455.72/455.85 c 410s | 21 | 1126154 | 1106345 | 6433 357 | 669 | 1322 457.72/457.86 c 412s | 21 | 1131012 | 1111145 | 6433 358 | 669 | 1322 459.73/459.87 c 414s | 21 | 1135877 | 1115945 | 6433 360 | 669 | 1322 461.72/461.89 c 416s | 21 | 1141241 | 1121245 | 6433 361 | 669 | 1322 464.02/464.11 c 418s | 21 | 1146613 | 1126545 | 6433 363 | 669 | 1322 466.02/466.14 c 420s | 21 | 1152208 | 1132045 | 6433 364 | 669 | 1322 468.02/468.14 c 422s | 21 | 1157465 | 1137245 | 6433 366 | 669 | 1322 470.02/470.17 c 424s | 21 | 1162969 | 1142645 | 6433 367 | 669 | 1322 472.12/472.21 c 427s | 21 | 1168302 | 1147845 | 6433 368 | 669 | 1322 474.13/474.23 c 429s | 21 | 1173421 | 1152845 | 6433 370 | 669 | 1322 476.12/476.25 c 431s | 21 | 1178992 | 1158245 | 6433 371 | 669 | 1322 478.52/478.69 c 433s | 21 | 1184435 | 1163545 | 6433 373 | 669 | 1322 480.52/480.69 c 435s | 21 | 1190272 | 1169245 | 6433 374 | 669 | 1322 482.62/482.71 c 437s | 21 | 1195283 | 1174145 | 6433 376 | 669 | 1322 484.62/484.72 c 439s | 21 | 1200907 | 1179645 | 6433 377 | 669 | 1322 486.62/486.73 c 441s | 21 | 1206073 | 1184645 | 6433 379 | 669 | 1322 488.62/488.76 c 443s | 21 | 1211291 | 1189745 | 6433 380 | 669 | 1322 490.62/490.77 c 445s | 21 | 1215997 | 1194345 | 6433 381 | 669 | 1322 492.72/492.81 c 447s | 21 | 1221706 | 1199945 | 6433 383 | 669 | 1322 494.71/494.81 c 449s | 21 | 1226906 | 1205045 | 6433 384 | 669 | 1322 496.71/496.83 c 451s | 21 | 1231351 | 1209445 | 6433 386 | 669 | 1322 498.71/498.85 c 453s | 21 | 1237334 | 1215345 | 6433 387 | 669 | 1322 500.71/500.89 c 455s | 21 | 1242186 | 1220145 | 6433 389 | 669 | 1322 502.81/502.90 c 457s | 21 | 1248072 | 1225945 | 6433 390 | 669 | 1322 504.82/504.92 c 459s | 21 | 1252775 | 1230545 | 6433 392 | 669 | 1322 506.81/506.92 c 461s | 21 | 1258339 | 1236045 | 6433 393 | 669 | 1322 508.81/508.94 c 463s | 21 | 1263651 | 1241245 | 6433 394 | 669 | 1322 510.81/510.95 c 465s | 21 | 1268127 | 1245645 | 6433 396 | 669 | 1322 512.81/512.95 c 467s | 21 | 1273593 | 1251045 | 6433 397 | 669 | 1322 514.81/514.95 c 469s | 21 | 1278151 | 1255545 | 6433 398 | 669 | 1322 516.81/516.99 c 471s | 21 | 1283729 | 1261045 | 6433 400 | 669 | 1322 518.91/519.01 c 473s | 21 | 1288827 | 1266045 | 6433 401 | 669 | 1322 520.91/521.03 c 475s | 21 | 1294045 | 1271145 | 6433 403 | 669 | 1322 522.91/523.05 c 477s | 21 | 1299830 | 1276845 | 6433 404 | 669 | 1322 524.91/525.06 c 479s | 21 | 1304442 | 1281345 | 6433 406 | 669 | 1322 527.01/527.11 c 481s | 21 | 1309234 | 1286045 | 6433 407 | 669 | 1322 529.02/529.11 c 483s | 21 | 1314922 | 1291645 | 6433 409 | 669 | 1322 531.01/531.17 c 485s | 21 | 1319424 | 1296045 | 6433 410 | 669 | 1322 533.01/533.18 c 488s | 21 | 1324911 | 1301445 | 6433 411 | 669 | 1322 535.21/535.35 c 490s | 21 | 1329908 | 1306345 | 6433 413 | 669 | 1322 537.21/537.37 c 492s | 21 | 1335708 | 1312045 | 6433 414 | 669 | 1322 539.20/539.38 c 494s | 21 | 1340379 | 1316645 | 6433 416 | 669 | 1322 541.31/541.42 c 496s | 21 | 1345817 | 1322045 | 6433 417 | 669 | 1322 543.32/543.42 c 498s | 21 | 1350885 | 1327045 | 6433 418 | 669 | 1322 545.31/545.45 c 500s | 21 | 1355681 | 1331745 | 6433 420 | 669 | 1322 547.31/547.47 c 502s | 21 | 1360983 | 1336945 | 6433 421 | 669 | 1322 549.31/549.49 c 504s | 21 | 1366387 | 1342245 | 7077 422 | 669 | 1322 551.41/551.52 c 506s | 21 | 1371281 | 1347045 | 7077 424 | 669 | 1322 553.41/553.55 c 508s | 21 | 1376262 | 1351945 | 7077 425 | 669 | 1322 555.41/555.57 c 510s | 21 | 1381122 | 1356745 | 7077 426 | 669 | 1322 557.50/557.61 c 512s | 21 | 1385978 | 1361545 | 7077 427 | 669 | 1322 559.50/559.62 c 514s | 21 | 1390214 | 1365745 | 7077 428 | 669 | 1322 561.50/561.65 c 516s | 21 | 1394698 | 1370145 | 7077 430 | 669 | 1322 563.50/563.67 c 518s | 21 | 1399408 | 1374745 | 7077 431 | 669 | 1322 565.50/565.68 c 520s | 21 | 1404599 | 1379845 | 7077 432 | 669 | 1322 567.51/567.68 c 522s | 21 | 1409681 | 1384845 | 7077 433 | 669 | 1322 569.50/569.69 c 524s | 21 | 1414696 | 1389745 | 7077 435 | 669 | 1322 571.60/571.72 c 526s | 21 | 1420025 | 1394945 | 7077 436 | 669 | 1322 573.60/573.74 c 528s | 21 | 1424298 | 1399145 | 7077 437 | 669 | 1322 575.61/575.77 c 530s | 21 | 1429221 | 1403945 | 7077 438 | 669 | 1322 577.61/577.78 c 532s | 21 | 1434736 | 1409345 | 7077 440 | 669 | 1322 579.61/579.78 c 534s | 21 | 1439206 | 1413745 | 7077 441 | 669 | 1322 581.60/581.79 c 536s | 21 | 1444202 | 1418645 | 7077 442 | 669 | 1322 583.70/583.85 c 538s | 21 | 1448672 | 1423045 | 7077 443 | 669 | 1322 585.70/585.86 c 540s | 21 | 1454207 | 1428445 | 7077 445 | 669 | 1322 587.70/587.88 c 542s | 21 | 1459333 | 1433445 | 7077 446 | 669 | 1322 589.80/589.91 c 544s | 21 | 1464718 | 1438745 | 7077 447 | 669 | 1322 592.00/592.16 c 546s | 21 | 1469493 | 1443445 | 7077 448 | 669 | 1322 594.00/594.17 c 548s | 21 | 1474965 | 1448845 | 7077 450 | 669 | 1322 596.00/596.20 c 551s | 21 | 1479725 | 1453545 | 7077 451 | 669 | 1322 598.10/598.24 c 553s | 21 | 1484714 | 1458445 | 7077 452 | 669 | 1322 600.10/600.25 c 555s | 21 | 1489298 | 1462945 | 7077 453 | 669 | 1322 602.20/602.30 c 557s | 21 | 1494389 | 1467945 | 7077 455 | 669 | 1322 604.20/604.32 c 559s | 21 | 1500024 | 1473445 | 7077 456 | 669 | 1322 606.19/606.35 c 561s | 21 | 1504524 | 1477845 | 7077 457 | 669 | 1322 608.20/608.39 c 563s | 21 | 1510048 | 1483245 | 7077 459 | 669 | 1322 610.19/610.39 c 565s | 21 | 1514276 | 1487345 | 7077 460 | 669 | 1322 612.29/612.40 c 567s | 21 | 1519858 | 1492845 | 7077 461 | 669 | 1322 614.29/614.42 c 569s | 21 | 1524866 | 1497745 | 7077 462 | 669 | 1322 615.29/615.48 c 570s | 22 | 1527768 | 1500622 | 7077 463 | 669 | 1322 617.39/617.51 c 572s | 22 | 1531965 | 1504722 | 7077 464 | 669 | 1322 619.39/619.56 c 574s | 22 | 1537361 | 1510022 | 7077 465 | 669 | 1322 621.40/621.58 c 576s | 22 | 1542052 | 1514622 | 7077 467 | 669 | 1322 623.50/623.60 c 578s | 22 | 1546763 | 1519222 | 7077 468 | 669 | 1322 625.50/625.62 c 580s | 22 | 1552384 | 1524722 | 7077 469 | 669 | 1322 627.50/627.65 c 582s | 22 | 1557336 | 1529522 | 7077 470 | 669 | 1322 629.49/629.67 c 584s | 22 | 1561591 | 1533622 | 7077 471 | 669 | 1322 631.49/631.69 c 586s | 22 | 1566722 | 1538622 | 7077 473 | 669 | 1322 633.60/633.77 c 588s | 22 | 1571431 | 1543222 | 7077 474 | 669 | 1322 635.59/635.78 c 590s | 22 | 1577233 | 1548922 | 7077 475 | 669 | 1322 637.59/637.79 c 592s | 22 | 1582013 | 1553622 | 7077 477 | 669 | 1322 639.69/639.80 c 594s | 22 | 1585869 | 1557422 | 7077 478 | 669 | 1322 641.69/641.84 c 596s | 22 | 1591662 | 1563122 | 7077 479 | 669 | 1322 643.69/643.86 c 598s | 22 | 1595947 | 1567322 | 7077 480 | 669 | 1322 645.70/645.87 c 600s | 22 | 1600914 | 1572222 | 7077 481 | 669 | 1322 647.69/647.89 c 602s | 22 | 1605674 | 1576922 | 7077 482 | 669 | 1322 649.79/649.91 c 604s | 22 | 1611488 | 1582622 | 7077 484 | 669 | 1322 651.79/651.91 c 606s | 22 | 1616267 | 1587322 | 7077 485 | 669 | 1322 653.79/653.94 c 608s | 22 | 1620422 | 1591422 | 7077 486 | 669 | 1322 655.79/655.98 c 610s | 22 | 1625571 | 1596522 | 7077 488 | 669 | 1322 657.99/658.10 c 612s | 22 | 1630538 | 1601422 | 7077 489 | 669 | 1322 660.00/660.14 c 614s | 22 | 1636142 | 1606922 | 7077 490 | 669 | 1322 661.99/662.15 c 616s | 22 | 1640332 | 1611022 | 7077 491 | 669 | 1322 663.99/664.15 c 618s | 22 | 1645633 | 1616222 | 7077 493 | 669 | 1322 665.99/666.17 c 620s | 22 | 1650208 | 1620722 | 7077 494 | 669 | 1322 667.99/668.19 c 623s | 22 | 1655674 | 1626122 | 7077 495 | 669 | 1322 670.09/670.21 c 625s | 22 | 1660453 | 1630822 | 7077 496 | 669 | 1322 672.09/672.24 c 627s | 22 | 1665332 | 1635622 | 7077 498 | 669 | 1322 674.19/674.31 c 629s | 22 | 1669634 | 1639822 | 7077 499 | 669 | 1322 676.18/676.33 c 631s | 22 | 1675522 | 1645622 | 7077 500 | 669 | 1322 678.18/678.36 c 633s | 22 | 1680630 | 1650622 | 7077 501 | 669 | 1322 680.18/680.38 c 635s | 22 | 1685503 | 1655422 | 7077 503 | 669 | 1322 682.28/682.40 c 637s | 22 | 1690470 | 1660322 | 7077 504 | 669 | 1322 684.28/684.41 c 639s | 22 | 1694838 | 1664622 | 7077 505 | 669 | 1322 686.30/686.41 c 641s | 22 | 1699498 | 1669222 | 7077 506 | 669 | 1322 688.29/688.49 c 643s | 22 | 1704188 | 1673822 | 7077 507 | 669 | 1322 690.39/690.51 c 645s | 22 | 1709564 | 1679122 | 7077 509 | 669 | 1322 692.39/692.52 c 647s | 22 | 1714990 | 1684422 | 7077 510 | 669 | 1322 694.39/694.57 c 649s | 22 | 1719712 | 1689022 | 7077 511 | 669 | 1322 696.49/696.60 c 651s | 22 | 1724477 | 1693722 | 7077 512 | 669 | 1322 698.49/698.62 c 653s | 22 | 1729477 | 1698622 | 7077 514 | 669 | 1322 700.48/700.62 c 655s | 22 | 1733960 | 1703022 | 7077 515 | 669 | 1322 702.48/702.64 c 657s | 22 | 1739163 | 1708122 | 7077 516 | 669 | 1322 704.48/704.67 c 659s | 22 | 1744562 | 1713422 | 7077 517 | 669 | 1322 706.48/706.69 c 661s | 22 | 1750162 | 1718922 | 7077 519 | 669 | 1322 708.48/708.69 c 663s | 22 | 1755394 | 1724022 | 7077 520 | 669 | 1322 710.49/710.70 c 665s | 22 | 1760795 | 1729322 | 7077 521 | 669 | 1322 712.58/712.71 c 667s | 22 | 1764776 | 1733222 | 7077 522 | 669 | 1322 714.58/714.73 c 669s | 22 | 1770141 | 1738522 | 7077 524 | 669 | 1322 716.59/716.76 c 671s | 22 | 1774792 | 1743122 | 7077 525 | 669 | 1322 718.68/718.80 c 673s | 22 | 1779803 | 1748022 | 7077 526 | 669 | 1322 720.68/720.81 c 675s | 22 | 1784169 | 1752322 | 7077 527 | 669 | 1322 722.69/722.83 c 677s | 22 | 1789795 | 1757822 | 7077 529 | 669 | 1322 724.68/724.85 c 679s | 22 | 1794688 | 1762622 | 7077 530 | 669 | 1322 726.68/726.85 c 681s | 22 | 1799826 | 1767622 | 7077 531 | 669 | 1322 728.68/728.89 c 683s | 22 | 1804660 | 1772322 | 7077 532 | 669 | 1322 730.98/731.16 c 685s | 22 | 1809786 | 1777322 | 7077 534 | 669 | 1322 732.98/733.18 c 688s | 22 | 1815029 | 1782422 | 7077 535 | 669 | 1322 735.07/735.21 c 690s | 22 | 1819745 | 1787022 | 7077 536 | 669 | 1322 737.07/737.24 c 692s | 22 | 1825252 | 1792422 | 7077 538 | 669 | 1322 739.08/739.27 c 694s | 22 | 1829951 | 1797022 | 7077 539 | 669 | 1322 741.07/741.27 c 696s | 22 | 1834660 | 1801622 | 7077 540 | 669 | 1322 743.17/743.30 c 698s | 22 | 1839638 | 1806522 | 7077 541 | 669 | 1322 745.17/745.31 c 700s | 22 | 1844833 | 1811622 | 7077 543 | 669 | 1322 747.17/747.31 c 702s | 22 | 1849721 | 1816422 | 7077 544 | 669 | 1322 749.17/749.32 c 704s | 22 | 1855299 | 1821922 | 7077 545 | 669 | 1322 751.19/751.32 c 706s | 22 | 1860144 | 1826622 | 7077 546 | 669 | 1322 753.18/753.35 c 708s | 22 | 1863875 | 1830222 | 7077 547 | 669 | 1322 755.18/755.36 c 710s | 22 | 1869368 | 1835622 | 7077 549 | 669 | 1322 757.18/757.38 c 712s | 22 | 1873168 | 1839322 | 7077 550 | 669 | 1322 759.27/759.42 c 714s | 22 | 1878154 | 1844222 | 7077 551 | 669 | 1322 761.27/761.43 c 716s | 22 | 1882929 | 1848922 | 7077 552 | 669 | 1322 763.28/763.44 c 718s | 22 | 1887692 | 1853622 | 7077 553 | 669 | 1322 765.27/765.45 c 720s | 22 | 1893099 | 1858922 | 7077 555 | 669 | 1322 767.27/767.47 c 722s | 22 | 1898443 | 1864122 | 7077 556 | 669 | 1322 769.37/769.50 c 724s | 22 | 1902310 | 1867922 | 7077 557 | 669 | 1322 771.37/771.52 c 726s | 22 | 1907704 | 1873222 | 7077 558 | 669 | 1322 773.37/773.56 c 728s | 22 | 1912526 | 1877922 | 7077 559 | 669 | 1322 775.37/775.58 c 730s | 22 | 1917748 | 1883022 | 7077 561 | 669 | 1322 777.37/777.58 c 732s | 22 | 1923241 | 1888322 | 7077 562 | 669 | 1322 779.47/779.60 c 734s | 22 | 1927724 | 1892622 | 7077 563 | 669 | 1322 781.47/781.61 c 736s | 22 | 1932626 | 1897422 | 7077 564 | 669 | 1322 783.47/783.64 c 738s | 22 | 1937043 | 1901722 | 7077 566 | 669 | 1322 785.47/785.67 c 740s | 22 | 1942967 | 1907522 | 7077 567 | 669 | 1322 787.58/787.71 c 742s | 22 | 1947602 | 1912022 | 7077 568 | 669 | 1322 789.57/789.72 c 744s | 22 | 1952712 | 1917022 | 7077 569 | 669 | 1322 791.57/791.73 c 746s | 22 | 1957269 | 1921522 | 7077 571 | 669 | 1322 793.57/793.76 c 748s | 22 | 1962733 | 1926922 | 7077 572 | 669 | 1322 795.77/795.90 c 750s | 22 | 1967006 | 1931122 | 7077 573 | 669 | 1322 797.76/797.93 c 752s | 22 | 1972333 | 1936322 | 7077 574 | 669 | 1322 799.76/799.94 c 754s | 22 | 1977278 | 1941222 | 7077 576 | 669 | 1322 801.77/801.94 c 756s | 22 | 1982184 | 1946022 | 7077 577 | 669 | 1322 803.77/803.95 c 758s | 22 | 1987211 | 1950922 | 7077 578 | 669 | 1322 805.77/805.95 c 760s | 22 | 1992052 | 1955722 | 7077 579 | 669 | 1322 807.76/807.98 c 762s | 22 | 1996845 | 1960422 | 7077 581 | 669 | 1322 809.86/810.00 c 764s | 22 | 2001609 | 1965122 | 7077 582 | 669 | 1322 811.87/812.04 c 766s | 22 | 2006978 | 1970422 | 7077 583 | 669 | 1322 813.88/814.06 c 768s | 22 | 2012193 | 1975522 | 7077 584 | 669 | 1322 815.87/816.07 c 770s | 22 | 2017079 | 1980322 | 7077 586 | 669 | 1322 817.87/818.07 c 772s | 22 | 2022772 | 1985922 | 7077 587 | 669 | 1322 819.87/820.09 c 774s | 22 | 2027560 | 1990622 | 7077 588 | 669 | 1322 821.97/822.11 c 776s | 22 | 2031696 | 1994622 | 7077 589 | 669 | 1322 823.97/824.13 c 778s | 22 | 2037126 | 1999922 | 7077 591 | 669 | 1322 825.97/826.14 c 780s | 22 | 2042624 | 2005322 | 7077 592 | 669 | 1322 827.97/828.17 c 782s | 22 | 2048190 | 2010722 | 7077 593 | 669 | 1322 829.96/830.17 c 784s | 22 | 2051520 | 2013922 | 7077 594 | 669 | 1322 831.96/832.19 c 787s | 22 | 2057293 | 2019522 | 7077 596 | 669 | 1322 834.06/834.21 c 789s | 22 | 2061888 | 2024022 | 7077 597 | 669 | 1322 836.06/836.22 c 791s | 22 | 2067084 | 2029122 | 7077 598 | 669 | 1322 838.07/838.23 c 793s | 22 | 2071730 | 2033722 | 7077 599 | 669 | 1322 840.06/840.24 c 795s | 22 | 2076646 | 2038522 | 7077 601 | 669 | 1322 842.46/842.62 c 797s | 22 | 2082017 | 2043822 | 7077 602 | 669 | 1322 844.46/844.62 c 799s | 22 | 2087965 | 2049622 | 7077 603 | 669 | 1322 846.46/846.63 c 801s | 22 | 2092255 | 2053822 | 7077 604 | 669 | 1322 848.46/848.64 c 803s | 22 | 2097352 | 2058822 | 7077 606 | 669 | 1322 850.46/850.65 c 805s | 22 | 2103064 | 2064422 | 7077 607 | 669 | 1322 852.47/852.67 c 807s | 22 | 2107243 | 2068522 | 7077 608 | 669 | 1322 854.57/854.71 c 809s | 22 | 2112070 | 2073222 | 7077 609 | 669 | 1322 856.56/856.71 c 811s | 22 | 2117529 | 2078522 | 7077 611 | 669 | 1322 858.56/858.77 c 813s | 22 | 2122009 | 2082922 | 7077 612 | 669 | 1322 860.56/860.77 c 815s | 22 | 2127374 | 2088122 | 7785 613 | 669 | 1322 862.66/862.81 c 817s | 22 | 2132026 | 2092622 | 7785 614 | 669 | 1322 864.66/864.84 c 819s | 22 | 2137441 | 2097922 | 7785 615 | 669 | 1322 866.67/866.86 c 821s | 22 | 2142442 | 2102822 | 7785 617 | 669 | 1322 868.66/868.87 c 823s | 22 | 2146450 | 2106722 | 7785 617 | 669 | 1322 870.66/870.88 c 825s | 22 | 2151564 | 2111722 | 7785 619 | 669 | 1322 872.76/872.91 c 827s | 22 | 2156258 | 2116322 | 7785 620 | 669 | 1322 874.76/874.94 c 829s | 22 | 2161333 | 2121322 | 7785 621 | 669 | 1322 877.16/877.34 c 832s | 22 | 2164912 | 2124822 | 7785 622 | 669 | 1322 879.16/879.34 c 834s | 22 | 2170435 | 2130222 | 7785 623 | 669 | 1322 881.16/881.37 c 836s | 22 | 2175348 | 2135022 | 7785 624 | 669 | 1322 883.16/883.38 c 838s | 22 | 2180440 | 2140022 | 7785 625 | 669 | 1322 885.15/885.39 c 840s | 22 | 2185175 | 2144622 | 7785 626 | 669 | 1322 887.25/887.42 c 842s | 22 | 2189557 | 2148922 | 7785 627 | 669 | 1322 889.25/889.42 c 844s | 22 | 2194156 | 2153422 | 7785 628 | 669 | 1322 891.25/891.46 c 846s | 22 | 2198843 | 2158022 | 7785 630 | 669 | 1322 893.25/893.47 c 848s | 22 | 2203508 | 2162622 | 7785 631 | 669 | 1322 895.36/895.50 c 850s | 22 | 2208026 | 2167022 | 7785 632 | 669 | 1322 897.35/897.51 c 852s | 22 | 2213022 | 2171922 | 7785 633 | 669 | 1322 899.35/899.51 c 854s | 22 | 2216803 | 2175622 | 7785 634 | 669 | 1322 901.35/901.53 c 856s | 22 | 2222190 | 2180922 | 7785 635 | 669 | 1322 903.35/903.55 c 858s | 22 | 2226694 | 2185322 | 7785 636 | 669 | 1322 905.35/905.57 c 860s | 22 | 2230494 | 2189022 | 7785 637 | 669 | 1322 907.36/907.58 c 862s | 22 | 2235729 | 2194122 | 7785 638 | 669 | 1322 909.35/909.59 c 864s | 22 | 2240362 | 2198622 | 7785 639 | 669 | 1322 911.45/911.61 c 866s | 22 | 2245863 | 2204022 | 7785 640 | 669 | 1322 913.55/913.70 c 868s | 22 | 2249791 | 2207822 | 7785 641 | 669 | 1322 915.55/915.74 c 870s | 22 | 2255233 | 2213122 | 7785 642 | 669 | 1322 917.55/917.76 c 872s | 22 | 2259617 | 2217422 | 7785 643 | 669 | 1322 919.56/919.78 c 874s | 22 | 2263688 | 2221422 | 7785 644 | 669 | 1322 921.66/921.85 c 876s | 22 | 2268583 | 2226222 | 7785 646 | 669 | 1322 923.75/923.93 c 878s | 22 | 2273111 | 2230622 | 7785 647 | 669 | 1322 925.75/925.94 c 880s | 22 | 2278808 | 2236122 | 7785 648 | 669 | 1322 927.75/927.95 c 882s | 22 | 2282890 | 2240122 | 7785 649 | 669 | 1322 929.75/929.99 c 884s | 22 | 2286830 | 2243922 | 7785 650 | 669 | 1322 931.85/932.01 c 886s | 22 | 2292650 | 2249622 | 7785 651 | 669 | 1322 932.35/932.57 c 887s | 23 | 2294102 | 2251038 | 7785 651 | 669 | 1322 934.44/934.63 c 889s | 23 | 2299237 | 2256038 | 7785 653 | 669 | 1322 936.45/936.63 c 891s | 23 | 2304648 | 2261238 | 7785 654 | 669 | 1322 938.45/938.66 c 893s | 23 | 2309318 | 2265738 | 7785 655 | 669 | 1322 940.46/940.67 c 895s | 23 | 2314382 | 2270738 | 7785 656 | 669 | 1322 942.74/942.94 c 897s | 23 | 2319497 | 2275738 | 7785 657 | 669 | 1322 944.94/945.13 c 899s | 23 | 2324300 | 2280438 | 7785 658 | 669 | 1322 946.95/947.13 c 901s | 23 | 2329418 | 2285438 | 7785 659 | 669 | 1322 948.94/949.16 c 903s | 23 | 2333196 | 2289138 | 7785 660 | 669 | 1322 950.94/951.17 c 905s | 23 | 2338184 | 2294038 | 7785 661 | 669 | 1322 952.94/953.17 c 907s | 23 | 2342183 | 2297938 | 7785 662 | 669 | 1322 954.94/955.18 c 910s | 23 | 2347262 | 2302938 | 7785 664 | 669 | 1322 957.04/957.20 c 912s | 23 | 2352266 | 2307838 | 7785 665 | 669 | 1322 959.06/959.30 c 914s | 23 | 2356045 | 2311538 | 7785 666 | 669 | 1322 961.15/961.32 c 916s | 23 | 2361429 | 2316838 | 7785 667 | 669 | 1322 963.14/963.35 c 918s | 23 | 2365704 | 2321038 | 7785 668 | 669 | 1322 965.14/965.37 c 920s | 23 | 2370507 | 2325738 | 7785 669 | 669 | 1322 967.14/967.37 c 922s | 23 | 2375159 | 2330338 | 7785 670 | 669 | 1322 969.24/969.42 c 924s | 23 | 2380258 | 2335338 | 7785 671 | 669 | 1322 971.25/971.45 c 926s | 23 | 2384100 | 2339138 | 7785 672 | 669 | 1322 973.24/973.46 c 928s | 23 | 2389293 | 2344238 | 7785 673 | 669 | 1322 975.34/975.50 c 930s | 23 | 2394349 | 2349238 | 7785 674 | 669 | 1322 977.34/977.57 c 932s | 23 | 2399304 | 2354138 | 7785 676 | 669 | 1322 979.34/979.57 c 934s | 23 | 2403647 | 2358438 | 7785 677 | 669 | 1322 981.44/981.60 c 936s | 23 | 2407928 | 2362638 | 7785 678 | 669 | 1322 983.44/983.60 c 938s | 23 | 2413091 | 2367738 | 7785 679 | 669 | 1322 985.45/985.61 c 940s | 23 | 2418055 | 2372638 | 7785 680 | 669 | 1322 987.44/987.62 c 942s | 23 | 2422831 | 2377338 | 7785 681 | 669 | 1322 989.44/989.65 c 944s | 23 | 2427315 | 2381738 | 7785 682 | 669 | 1322 991.54/991.77 c 946s | 23 | 2429953 | 2384338 | 7785 683 | 669 | 1322 993.64/993.81 c 948s | 23 | 2435513 | 2389838 | 7785 684 | 669 | 1322 995.64/995.85 c 950s | 23 | 2440074 | 2394338 | 7785 685 | 669 | 1322 997.65/997.87 c 952s | 23 | 2444742 | 2398938 | 7785 686 | 669 | 1322 999.94/1000.12 c 954s | 23 | 2449109 | 2403238 | 7785 687 | 669 | 1322 1001.94/1002.15 c 956s | 23 | 2455022 | 2408938 | 7785 688 | 669 | 1322 1003.94/1004.17 c 958s | 23 | 2460502 | 2414238 | 7785 690 | 669 | 1322 1005.94/1006.18 c 961s | 23 | 2464953 | 2418538 | 7785 691 | 669 | 1322 1008.04/1008.21 c 963s | 23 | 2470570 | 2424038 | 7785 692 | 669 | 1322 1010.04/1010.21 c 965s | 23 | 2475212 | 2428538 | 7785 693 | 669 | 1322 1012.04/1012.22 c 967s | 23 | 2480622 | 2433738 | 7785 694 | 669 | 1322 1014.04/1014.24 c 969s | 23 | 2483804 | 2436838 | 7785 695 | 669 | 1322 1016.04/1016.26 c 971s | 23 | 2488728 | 2441638 | 7785 696 | 669 | 1322 1018.04/1018.29 c 973s | 23 | 2494256 | 2447038 | 7785 697 | 669 | 1322 1020.14/1020.31 c 975s | 23 | 2498440 | 2451138 | 7785 698 | 669 | 1322 1022.14/1022.38 c 977s | 23 | 2503966 | 2456538 | 7785 700 | 669 | 1322 1024.24/1024.46 c 979s | 23 | 2508244 | 2460738 | 7785 701 | 669 | 1322 1026.24/1026.48 c 981s | 23 | 2513945 | 2466338 | 7785 702 | 669 | 1322 1028.34/1028.53 c 983s | 23 | 2517340 | 2469638 | 7785 703 | 669 | 1322 1030.33/1030.57 c 985s | 23 | 2523190 | 2475438 | 7785 704 | 669 | 1322 1032.43/1032.61 c 987s | 23 | 2528027 | 2480238 | 7785 705 | 669 | 1322 1034.43/1034.63 c 989s | 23 | 2532394 | 2484538 | 7785 706 | 669 | 1322 1036.43/1036.66 c 991s | 23 | 2537799 | 2489838 | 7785 707 | 669 | 1322 1038.44/1038.66 c 993s | 23 | 2542648 | 2494538 | 7785 708 | 669 | 1322 1040.44/1040.69 c 995s | 23 | 2546733 | 2498538 | 7785 709 | 669 | 1322 1042.53/1042.72 c 997s | 23 | 2551977 | 2503638 | 7785 711 | 669 | 1322 1044.53/1044.73 c 999s | 23 | 2556574 | 2508138 | 7785 712 | 669 | 1322 1046.53/1046.75 c 1001s | 23 | 2562235 | 2513638 | 7785 713 | 669 | 1322 1048.53/1048.77 c 1003s | 23 | 2566010 | 2517338 | 7785 714 | 669 | 1322 1050.53/1050.78 c 1005s | 23 | 2571895 | 2523038 | 7785 715 | 669 | 1322 1052.64/1052.82 c 1007s | 23 | 2576925 | 2527938 | 7785 716 | 669 | 1322 1054.63/1054.86 c 1009s | 23 | 2582437 | 2533238 | 7785 718 | 669 | 1322 1056.63/1056.87 c 1011s | 23 | 2585560 | 2536238 | 7785 718 | 669 | 1322 1058.63/1058.88 c 1013s | 23 | 2590993 | 2541538 | 7785 719 | 669 | 1322 1060.73/1060.90 c 1015s | 23 | 2596066 | 2546538 | 7785 721 | 669 | 1322 1062.72/1062.91 c 1017s | 23 | 2600440 | 2550838 | 7785 722 | 669 | 1322 1064.92/1065.11 c 1019s | 23 | 2605675 | 2555938 | 7785 723 | 669 | 1322 1066.93/1067.14 c 1021s | 23 | 2611299 | 2561438 | 7785 724 | 669 | 1322 1068.93/1069.16 c 1023s | 23 | 2615828 | 2565838 | 7785 725 | 669 | 1322 1070.93/1071.17 c 1025s | 23 | 2620399 | 2570338 | 7785 726 | 669 | 1322 1072.93/1073.18 c 1028s | 23 | 2625187 | 2575038 | 7785 727 | 669 | 1322 1075.03/1075.22 c 1030s | 23 | 2630429 | 2580138 | 7785 729 | 669 | 1322 1077.03/1077.22 c 1032s | 23 | 2635969 | 2585538 | 7785 730 | 669 | 1322 1079.62/1079.83 c 1034s | 23 | 2640270 | 2589638 | 7785 731 | 669 | 1322 1081.62/1081.84 c 1036s | 23 | 2645971 | 2595238 | 7785 732 | 669 | 1322 1083.62/1083.84 c 1038s | 23 | 2650642 | 2599838 | 7785 733 | 669 | 1322 1085.72/1085.93 c 1040s | 23 | 2655619 | 2604738 | 7785 734 | 669 | 1322 1087.73/1087.93 c 1042s | 23 | 2659880 | 2608938 | 7785 735 | 669 | 1322 1090.12/1090.32 c 1045s | 23 | 2664568 | 2613538 | 7785 736 | 669 | 1322 1092.13/1092.36 c 1047s | 23 | 2670187 | 2619038 | 7785 738 | 669 | 1322 1094.12/1094.38 c 1049s | 23 | 2674746 | 2623538 | 7785 739 | 669 | 1322 1096.22/1096.40 c 1051s | 23 | 2679610 | 2628338 | 7785 740 | 669 | 1322 1098.22/1098.42 c 1053s | 23 | 2684996 | 2633638 | 7785 741 | 669 | 1322 1100.23/1100.43 c 1055s | 23 | 2688365 | 2636938 | 7785 742 | 669 | 1322 1102.23/1102.43 c 1057s | 23 | 2693034 | 2641538 | 7785 743 | 669 | 1322 1104.23/1104.45 c 1059s | 23 | 2698499 | 2646938 | 7785 744 | 669 | 1322 1106.22/1106.47 c 1061s | 23 | 2702987 | 2651338 | 7785 745 | 669 | 1322 1108.22/1108.49 c 1063s | 23 | 2708105 | 2656338 | 7785 746 | 669 | 1322 1110.32/1110.50 c 1065s | 23 | 2712174 | 2660338 | 7785 747 | 669 | 1322 1112.32/1112.50 c 1067s | 23 | 2717223 | 2665338 | 7785 748 | 669 | 1322 1114.32/1114.50 c 1069s | 23 | 2722418 | 2670438 | 7785 750 | 669 | 1322 1116.33/1116.52 c 1071s | 23 | 2726671 | 2674638 | 7785 751 | 669 | 1322 1118.32/1118.54 c 1073s | 23 | 2731139 | 2679038 | 7785 752 | 669 | 1322 1120.32/1120.57 c 1075s | 23 | 2736094 | 2683938 | 7785 753 | 669 | 1322 1122.31/1122.58 c 1077s | 23 | 2740955 | 2688738 | 7785 754 | 669 | 1322 1124.42/1124.60 c 1079s | 23 | 2746204 | 2693938 | 7785 755 | 669 | 1322 1126.71/1126.93 c 1081s | 23 | 2750346 | 2698038 | 7785 756 | 669 | 1322 1128.71/1128.94 c 1083s | 23 | 2755806 | 2703438 | 7785 757 | 669 | 1322 1130.73/1130.96 c 1085s | 23 | 2759149 | 2706738 | 7785 758 | 669 | 1322 1132.72/1132.96 c 1087s | 23 | 2764297 | 2711838 | 7785 759 | 669 | 1322 1134.72/1134.96 c 1089s | 23 | 2768942 | 2716438 | 7785 760 | 669 | 1322 1136.72/1136.98 c 1091s | 23 | 2773609 | 2721038 | 7785 762 | 669 | 1322 1138.82/1139.01 c 1093s | 23 | 2779108 | 2726438 | 7785 763 | 669 | 1322 1140.82/1141.04 c 1095s | 23 | 2783023 | 2730238 | 7785 764 | 669 | 1322 1142.82/1143.04 c 1097s | 23 | 2788921 | 2736038 | 7785 765 | 669 | 1322 1144.82/1145.05 c 1099s | 23 | 2793399 | 2740438 | 7785 766 | 669 | 1322 1146.81/1147.09 c 1101s | 23 | 2798667 | 2745638 | 7785 767 | 669 | 1322 1149.22/1149.46 c 1104s | 23 | 2803966 | 2750838 | 7785 769 | 669 | 1322 1151.32/1151.50 c 1106s | 23 | 2808813 | 2755538 | 7785 770 | 669 | 1322 1153.32/1153.50 c 1108s | 23 | 2814286 | 2760938 | 7785 771 | 669 | 1322 1155.32/1155.51 c 1110s | 23 | 2818346 | 2764938 | 7785 772 | 669 | 1322 1157.32/1157.55 c 1112s | 23 | 2823795 | 2770238 | 7785 773 | 669 | 1322 1159.32/1159.59 c 1114s | 23 | 2827684 | 2774038 | 7785 774 | 669 | 1322 1161.42/1161.62 c 1116s | 23 | 2833002 | 2779238 | 7785 775 | 669 | 1322 1163.41/1163.64 c 1118s | 23 | 2837900 | 2784038 | 7785 776 | 669 | 1322 1165.41/1165.65 c 1120s | 23 | 2840642 | 2786738 | 7785 777 | 669 | 1322 1167.42/1167.66 c 1122s | 23 | 2846107 | 2792138 | 7785 778 | 669 | 1322 1169.42/1169.69 c 1124s | 23 | 2850885 | 2796838 | 7785 779 | 669 | 1322 1171.42/1171.69 c 1126s | 23 | 2855450 | 2801338 | 7785 780 | 669 | 1322 1173.52/1173.72 c 1128s | 23 | 2859919 | 2805738 | 7785 781 | 669 | 1322 1175.51/1175.73 c 1130s | 23 | 2864565 | 2810338 | 7785 783 | 669 | 1322 1177.51/1177.76 c 1132s | 23 | 2869842 | 2815538 | 7785 784 | 669 | 1322 1179.51/1179.79 c 1134s | 23 | 2874301 | 2819938 | 7785 785 | 669 | 1322 1181.61/1181.82 c 1136s | 23 | 2878853 | 2824438 | 7785 786 | 669 | 1322 1183.61/1183.84 c 1138s | 23 | 2882254 | 2827738 | 7785 787 | 669 | 1322 1185.62/1185.86 c 1140s | 23 | 2887857 | 2833238 | 7785 788 | 669 | 1322 1187.61/1187.86 c 1142s | 23 | 2893080 | 2838338 | 7785 789 | 669 | 1322 1189.71/1189.90 c 1144s | 23 | 2897480 | 2842638 | 7785 790 | 669 | 1322 1191.71/1191.93 c 1146s | 23 | 2902189 | 2847238 | 7785 791 | 669 | 1322 1193.71/1193.99 c 1148s | 23 | 2906764 | 2851738 | 7785 792 | 669 | 1322 1195.81/1196.01 c 1150s | 23 | 2911819 | 2856638 | 7785 793 | 669 | 1322 1197.81/1198.06 c 1152s | 23 | 2916961 | 2861538 | 7785 795 | 669 | 1322 1199.80/1200.07 c 1154s | 23 | 2922457 | 2866838 | 7785 796 | 669 | 1322 1201.81/1202.09 c 1156s | 23 | 2926039 | 2870338 | 7785 797 | 669 | 1322 1203.91/1204.11 c 1158s | 23 | 2931592 | 2875738 | 7785 798 | 669 | 1322 1205.91/1206.11 c 1160s | 23 | 2936185 | 2880238 | 7785 799 | 669 | 1322 1207.91/1208.12 c 1162s | 23 | 2941636 | 2885538 | 7785 800 | 669 | 1322 1209.91/1210.13 c 1164s | 23 | 2947127 | 2890838 | 7785 801 | 669 | 1322 1211.90/1212.16 c 1166s | 23 | 2951537 | 2895038 | 7785 802 | 669 | 1322 1214.00/1214.20 c 1169s | 23 | 2955488 | 2898938 | 7785 803 | 669 | 1322 1216.00/1216.21 c 1171s | 23 | 2960944 | 2904238 | 7785 805 | 669 | 1322 1218.00/1218.23 c 1173s | 23 | 2965677 | 2908838 | 7785 806 | 669 | 1322 1220.00/1220.25 c 1175s | 23 | 2971103 | 2914038 | 7785 807 | 669 | 1322 1222.01/1222.25 c 1177s | 23 | 2975507 | 2918338 | 7785 808 | 669 | 1322 1224.00/1224.29 c 1179s | 23 | 2980607 | 2923338 | 7785 809 | 669 | 1322 1226.10/1226.33 c 1181s | 23 | 2985246 | 2927838 | 7785 810 | 669 | 1322 1228.10/1228.37 c 1183s | 23 | 2990034 | 2932438 | 7785 811 | 669 | 1322 1230.10/1230.37 c 1185s | 23 | 2995501 | 2937738 | 7785 812 | 669 | 1322 1232.10/1232.39 c 1187s | 23 | 2999016 | 2941138 | 7785 813 | 669 | 1322 1234.20/1234.41 c 1189s | 23 | 3004216 | 2946238 | 7785 814 | 669 | 1322 1236.21/1236.45 c 1191s | 23 | 3009183 | 2951038 | 7785 816 | 669 | 1322 1238.20/1238.48 c 1193s | 23 | 3014028 | 2955738 | 7785 817 | 669 | 1322 1240.20/1240.49 c 1195s | 23 | 3018290 | 2959938 | 7785 818 | 669 | 1322 1242.30/1242.54 c 1197s | 23 | 3023456 | 2965038 | 7785 819 | 669 | 1322 1244.30/1244.54 c 1199s | 23 | 3027850 | 2969338 | 7785 820 | 669 | 1322 1246.30/1246.55 c 1201s | 23 | 3032441 | 2973838 | 7785 821 | 669 | 1322 1248.31/1248.58 c 1203s | 23 | 3038280 | 2979538 | 7785 822 | 669 | 1322 1250.40/1250.60 c 1205s | 23 | 3042763 | 2983938 | 7785 823 | 669 | 1322 1252.40/1252.60 c 1207s | 23 | 3047037 | 2988138 | 7785 824 | 669 | 1322 1254.40/1254.61 c 1209s | 23 | 3048875 | 2989938 | 7785 825 | 669 | 1322 1256.40/1256.63 c 1211s | 23 | 3054134 | 2995138 | 7785 826 | 669 | 1322 1258.40/1258.64 c 1213s | 23 | 3057872 | 2998838 | 7785 827 | 669 | 1322 1260.41/1260.65 c 1215s | 23 | 3062155 | 3003038 | 7785 828 | 669 | 1322 1262.40/1262.67 c 1217s | 23 | 3066123 | 3006938 | 7785 829 | 669 | 1322 1264.50/1264.75 c 1219s | 23 | 3070594 | 3011338 | 7785 830 | 669 | 1322 1266.50/1266.78 c 1221s | 23 | 3076001 | 3016638 | 7785 831 | 669 | 1322 1268.50/1268.79 c 1223s | 23 | 3080350 | 3020938 | 7785 832 | 669 | 1322 1270.60/1270.80 c 1225s | 23 | 3085238 | 3025738 | 7785 833 | 669 | 1322 1272.60/1272.83 c 1227s | 23 | 3089204 | 3029638 | 7785 834 | 669 | 1322 1274.60/1274.84 c 1229s | 23 | 3094617 | 3034938 | 7785 835 | 669 | 1322 1276.60/1276.85 c 1231s | 23 | 3099629 | 3039838 | 7785 836 | 669 | 1322 1278.60/1278.88 c 1233s | 23 | 3104214 | 3044338 | 7785 837 | 669 | 1322 1280.60/1280.89 c 1235s | 23 | 3109448 | 3049438 | 7785 839 | 669 | 1322 1282.70/1282.90 c 1237s | 23 | 3112604 | 3052538 | 7785 839 | 669 | 1322 1284.71/1284.91 c 1239s | 23 | 3117543 | 3057338 | 7785 840 | 669 | 1322 1286.70/1286.94 c 1241s | 23 | 3122644 | 3062338 | 7785 842 | 669 | 1322 1288.70/1288.96 c 1243s | 23 | 3126692 | 3066338 | 7785 843 | 669 | 1322 1291.00/1291.24 c 1246s | 23 | 3131575 | 3071138 | 7785 844 | 669 | 1322 1293.00/1293.27 c 1248s | 23 | 3136319 | 3075838 | 7785 845 | 669 | 1322 1295.10/1295.30 c 1250s | 23 | 3141921 | 3081338 | 7785 846 | 669 | 1322 1297.09/1297.30 c 1252s | 23 | 3145095 | 3084438 | 7785 847 | 669 | 1322 1299.09/1299.31 c 1254s | 23 | 3150293 | 3089538 | 7785 848 | 669 | 1322 1301.10/1301.33 c 1256s | 23 | 3154759 | 3093938 | 7785 849 | 669 | 1322 1303.09/1303.36 c 1258s | 23 | 3159152 | 3098238 | 7785 850 | 669 | 1322 1305.09/1305.36 c 1260s | 23 | 3164258 | 3103238 | 7785 851 | 669 | 1322 1307.09/1307.38 c 1262s | 23 | 3168534 | 3107438 | 7785 852 | 669 | 1322 1309.10/1309.39 c 1264s | 23 | 3173018 | 3111838 | 7785 853 | 669 | 1322 1311.19/1311.42 c 1266s | 23 | 3177259 | 3116038 | 7785 854 | 669 | 1322 1313.20/1313.43 c 1268s | 23 | 3182739 | 3121438 | 7785 855 | 669 | 1322 1315.19/1315.45 c 1270s | 23 | 3187618 | 3126238 | 7785 857 | 669 | 1322 1317.19/1317.45 c 1272s | 23 | 3192982 | 3131538 | 7785 858 | 669 | 1322 1319.19/1319.47 c 1274s | 23 | 3198546 | 3136938 | 7785 859 | 669 | 1322 1321.39/1321.69 c 1276s | 23 | 3203591 | 3141838 | 7785 860 | 669 | 1322 1323.49/1323.73 c 1278s | 23 | 3208415 | 3146538 | 7785 861 | 669 | 1322 1325.49/1325.73 c 1280s | 23 | 3211469 | 3149538 | 7785 862 | 669 | 1322 1327.49/1327.76 c 1282s | 23 | 3216967 | 3154938 | 7785 863 | 669 | 1322 1329.49/1329.77 c 1284s | 23 | 3221934 | 3159838 | 7785 864 | 669 | 1322 1331.59/1331.80 c 1286s | 23 | 3226286 | 3164138 | 7785 866 | 669 | 1322 1333.58/1333.81 c 1288s | 23 | 3231729 | 3169438 | 7785 867 | 669 | 1322 1335.59/1335.84 c 1290s | 23 | 3235984 | 3173638 | 7785 868 | 669 | 1322 1337.59/1337.85 c 1292s | 23 | 3240880 | 3178438 | 7785 869 | 669 | 1322 1339.69/1339.91 c 1294s | 23 | 3244550 | 3182038 | 7785 870 | 669 | 1322 1341.69/1341.94 c 1296s | 23 | 3250267 | 3187638 | 7785 871 | 669 | 1322 1343.68/1343.95 c 1298s | 23 | 3254745 | 3192038 | 7785 872 | 669 | 1322 1345.68/1345.95 c 1300s | 23 | 3259430 | 3196638 | 7785 873 | 669 | 1322 1347.68/1347.96 c 1302s | 23 | 3264128 | 3201238 | 7785 874 | 669 | 1322 1349.68/1349.97 c 1304s | 23 | 3267677 | 3204738 | 8564 875 | 669 | 1322 1351.69/1351.99 c 1306s | 23 | 3272749 | 3209638 | 8564 876 | 669 | 1322 1353.79/1354.00 c 1308s | 23 | 3277361 | 3214138 | 8564 877 | 669 | 1322 1355.79/1356.01 c 1310s | 23 | 3282522 | 3219138 | 8564 878 | 669 | 1322 1357.78/1358.08 c 1312s | 23 | 3285018 | 3221538 | 8564 879 | 669 | 1322 1359.88/1360.11 c 1314s | 23 | 3289746 | 3226138 | 8564 880 | 669 | 1322 1361.88/1362.14 c 1316s | 23 | 3294837 | 3231138 | 8564 881 | 669 | 1322 1363.89/1364.17 c 1318s | 23 | 3298708 | 3234938 | 8564 881 | 669 | 1322 1365.88/1366.18 c 1321s | 23 | 3303625 | 3239738 | 8564 882 | 669 | 1322 1367.98/1368.22 c 1323s | 23 | 3308432 | 3244438 | 8564 883 | 669 | 1322 1369.98/1370.24 c 1325s | 23 | 3312706 | 3248638 | 8564 884 | 669 | 1322 1371.98/1372.28 c 1327s | 23 | 3317097 | 3252938 | 8564 885 | 669 | 1322 1374.08/1374.31 c 1329s | 23 | 3321797 | 3257538 | 8564 886 | 669 | 1322 1376.08/1376.35 c 1331s | 23 | 3325557 | 3261238 | 8564 887 | 669 | 1322 1378.09/1378.39 c 1333s | 23 | 3330107 | 3265738 | 8564 888 | 669 | 1322 1380.08/1380.39 c 1335s | 23 | 3334375 | 3269938 | 8564 889 | 669 | 1322 1382.18/1382.42 c 1337s | 23 | 3338528 | 3274038 | 8564 890 | 669 | 1322 1384.18/1384.45 c 1339s | 23 | 3343824 | 3279238 | 8564 891 | 669 | 1322 1386.18/1386.45 c 1341s | 23 | 3348521 | 3283838 | 8564 892 | 669 | 1322 1388.58/1388.89 c 1343s | 23 | 3352738 | 3287938 | 8564 893 | 669 | 1322 1390.67/1390.91 c 1345s | 23 | 3358009 | 3293138 | 8564 894 | 669 | 1322 1392.68/1392.92 c 1347s | 23 | 3361676 | 3296738 | 8564 895 | 669 | 1322 1394.69/1394.96 c 1349s | 23 | 3367284 | 3302238 | 8564 896 | 669 | 1322 1396.68/1396.99 c 1351s | 23 | 3371767 | 3306638 | 8564 897 | 669 | 1322 1399.08/1399.38 c 1354s | 23 | 3375273 | 3310038 | 8564 898 | 669 | 1322 1401.08/1401.39 c 1356s | 23 | 3380857 | 3315538 | 8564 899 | 669 | 1322 1403.08/1403.39 c 1358s | 23 | 3385217 | 3319838 | 8564 900 | 669 | 1322 1405.08/1405.39 c 1360s | 23 | 3389911 | 3324438 | 8564 901 | 669 | 1322 1407.17/1407.47 c 1362s | 23 | 3394107 | 3328538 | 8564 902 | 669 | 1322 1409.18/1409.48 c 1364s | 23 | 3399652 | 3333938 | 8564 903 | 669 | 1322 1411.28/1411.50 c 1366s | 23 | 3404465 | 3338638 | 8564 904 | 669 | 1322 1413.29/1413.52 c 1368s | 23 | 3409342 | 3343438 | 8564 905 | 669 | 1322 1415.28/1415.56 c 1370s | 23 | 3413124 | 3347138 | 8564 906 | 669 | 1322 1417.28/1417.58 c 1372s | 23 | 3418573 | 3352438 | 8564 907 | 669 | 1322 1419.28/1419.59 c 1374s | 23 | 3423281 | 3357038 | 8564 908 | 669 | 1322 1421.38/1421.64 c 1376s | 23 | 3427504 | 3361138 | 8564 909 | 669 | 1322 1423.37/1423.66 c 1378s | 23 | 3432961 | 3366438 | 8564 910 | 669 | 1322 1425.38/1425.70 c 1380s | 23 | 3438079 | 3371438 | 8564 911 | 669 | 1322 1427.47/1427.70 c 1382s | 23 | 3441256 | 3374538 | 8564 911 | 669 | 1322 1428.27/1428.51 c 1383s | 24 | 3443424 | 3376662 | 8564 912 | 669 | 1322 1430.27/1430.52 c 1385s | 24 | 3446740 | 3379862 | 8564 913 | 669 | 1322 1432.27/1432.54 c 1387s | 24 | 3451932 | 3384962 | 8564 914 | 669 | 1322 1434.27/1434.54 c 1389s | 24 | 3456752 | 3389662 | 8564 915 | 669 | 1322 1436.28/1436.56 c 1391s | 24 | 3461517 | 3394362 | 8564 916 | 669 | 1322 1438.98/1439.28 c 1394s | 24 | 3466411 | 3399162 | 8564 917 | 669 | 1322 1441.08/1441.31 c 1396s | 24 | 3471709 | 3404362 | 8564 918 | 669 | 1322 1443.08/1443.32 c 1398s | 24 | 3476456 | 3408962 | 8564 919 | 669 | 1322 1445.07/1445.34 c 1400s | 24 | 3481040 | 3413462 | 8564 920 | 669 | 1322 1447.17/1447.40 c 1402s | 24 | 3485517 | 3417862 | 8564 921 | 669 | 1322 1449.16/1449.42 c 1404s | 24 | 3489997 | 3422262 | 8564 922 | 669 | 1322 1451.16/1451.43 c 1406s | 24 | 3494645 | 3426862 | 8564 923 | 669 | 1322 1453.17/1453.43 c 1408s | 24 | 3499447 | 3431562 | 8564 924 | 669 | 1322 1455.18/1455.47 c 1410s | 24 | 3502680 | 3434762 | 8564 924 | 669 | 1322 1457.28/1457.51 c 1412s | 24 | 3507789 | 3439762 | 8564 925 | 669 | 1322 1459.27/1459.54 c 1414s | 24 | 3512593 | 3444462 | 8564 926 | 669 | 1322 1461.27/1461.56 c 1416s | 24 | 3517174 | 3448962 | 8564 927 | 669 | 1322 1463.26/1463.56 c 1418s | 24 | 3520976 | 3452662 | 8564 928 | 669 | 1322 1465.37/1465.60 c 1420s | 24 | 3525841 | 3457462 | 8564 929 | 669 | 1322 1467.36/1467.63 c 1422s | 24 | 3529907 | 3461462 | 8564 930 | 669 | 1322 1469.37/1469.63 c 1424s | 24 | 3534742 | 3466162 | 8564 931 | 669 | 1322 1471.36/1471.64 c 1426s | 24 | 3539572 | 3470862 | 8564 932 | 669 | 1322 1473.36/1473.65 c 1428s | 24 | 3542862 | 3474062 | 8564 933 | 669 | 1322 1476.07/1476.38 c 1431s | 24 | 3548367 | 3479462 | 8564 934 | 669 | 1322 1478.17/1478.42 c 1433s | 24 | 3554040 | 3484962 | 8564 935 | 669 | 1322 1480.17/1480.44 c 1435s | 24 | 3558589 | 3489362 | 8564 936 | 669 | 1322 1482.17/1482.46 c 1437s | 24 | 3562760 | 3493462 | 8564 937 | 669 | 1322 1484.17/1484.47 c 1439s | 24 | 3567647 | 3498262 | 8564 938 | 669 | 1322 1486.17/1486.49 c 1441s | 24 | 3571930 | 3502462 | 8564 939 | 669 | 1322 1488.37/1488.63 c 1443s | 24 | 3575306 | 3505762 | 8564 940 | 669 | 1322 1490.37/1490.65 c 1445s | 24 | 3580779 | 3511162 | 8564 941 | 669 | 1322 1492.47/1492.78 c 1447s | 24 | 3585753 | 3516062 | 8564 942 | 669 | 1322 1494.56/1494.86 c 1449s | 24 | 3589951 | 3520162 | 8564 943 | 669 | 1322 1496.76/1497.09 c 1451s | 24 | 3594750 | 3524862 | 8564 944 | 669 | 1322 1498.86/1499.12 c 1453s | 24 | 3599897 | 3529962 | 8564 945 | 669 | 1322 1500.86/1501.14 c 1455s | 24 | 3604258 | 3534262 | 8564 946 | 669 | 1322 1502.86/1503.17 c 1457s | 24 | 3608947 | 3538862 | 8564 947 | 669 | 1322 1504.96/1505.21 c 1460s | 24 | 3613825 | 3543662 | 8564 948 | 669 | 1322 1506.96/1507.22 c 1462s | 24 | 3618483 | 3548262 | 8564 949 | 669 | 1322 1508.96/1509.23 c 1464s | 24 | 3623730 | 3553462 | 8564 950 | 669 | 1322 1510.96/1511.24 c 1466s | 24 | 3628800 | 3558462 | 8564 951 | 669 | 1322 1512.96/1513.25 c 1468s | 24 | 3631659 | 3561262 | 8564 952 | 669 | 1322 1515.06/1515.32 c 1470s | 24 | 3636355 | 3565862 | 8564 953 | 669 | 1322 1517.06/1517.33 c 1472s | 24 | 3640673 | 3570062 | 8564 953 | 669 | 1322 1519.06/1519.33 c 1474s | 24 | 3645931 | 3575162 | 8564 955 | 669 | 1322 1521.17/1521.49 c 1476s | 24 | 3650883 | 3579962 | 8564 956 | 669 | 1322 1523.16/1523.49 c 1478s | 24 | 3653049 | 3582062 | 8564 956 | 669 | 1322 1525.26/1525.51 c 1480s | 24 | 3658408 | 3587262 | 8564 957 | 669 | 1322 1527.26/1527.53 c 1482s | 24 | 3662713 | 3591462 | 8564 958 | 669 | 1322 1529.55/1529.81 c 1484s | 24 | 3666914 | 3595562 | 8564 959 | 669 | 1322 1531.55/1531.86 c 1486s | 24 | 3672247 | 3600862 | 8564 960 | 669 | 1322 1533.55/1533.90 c 1488s | 24 | 3676722 | 3605262 | 8564 961 | 669 | 1322 1535.75/1536.01 c 1490s | 24 | 3681143 | 3609662 | 8564 962 | 669 | 1322 1537.75/1538.02 c 1492s | 24 | 3686275 | 3614762 | 8564 963 | 669 | 1322 1539.76/1540.04 c 1494s | 24 | 3690813 | 3619262 | 8564 964 | 669 | 1322 1541.76/1542.05 c 1496s | 24 | 3693649 | 3622062 | 8564 965 | 669 | 1322 1543.96/1544.24 c 1499s | 24 | 3698409 | 3626762 | 8564 966 | 669 | 1322 1545.95/1546.26 c 1501s | 24 | 3703462 | 3631762 | 8564 967 | 669 | 1322 1548.15/1548.42 c 1503s | 24 | 3707418 | 3635662 | 8564 968 | 669 | 1322 1550.15/1550.42 c 1505s | 24 | 3712057 | 3640262 | 8564 969 | 669 | 1322 1552.15/1552.44 c 1507s | 24 | 3717119 | 3645262 | 8564 970 | 669 | 1322 1554.55/1554.85 c 1509s | 24 | 3721493 | 3649562 | 8564 971 | 669 | 1322 1556.55/1556.86 c 1511s | 24 | 3726358 | 3654362 | 8564 972 | 669 | 1322 1558.56/1558.88 c 1513s | 24 | 3731190 | 3659162 | 8564 973 | 669 | 1322 1560.66/1560.92 c 1515s | 24 | 3735653 | 3663562 | 8564 974 | 669 | 1322 1562.65/1562.97 c 1517s | 24 | 3740424 | 3668262 | 8564 975 | 669 | 1322 1564.75/1565.02 c 1519s | 24 | 3745104 | 3672862 | 8564 976 | 669 | 1322 1566.85/1567.19 c 1522s | 24 | 3748679 | 3676362 | 8564 976 | 669 | 1322 1568.94/1569.20 c 1524s | 24 | 3754434 | 3681962 | 8564 977 | 669 | 1322 1570.94/1571.24 c 1526s | 24 | 3759535 | 3686862 | 8564 979 | 669 | 1322 1572.95/1573.26 c 1528s | 24 | 3764544 | 3691762 | 8564 980 | 669 | 1322 1575.05/1575.35 c 1530s | 24 | 3769094 | 3696162 | 8564 981 | 669 | 1322 1577.04/1577.38 c 1532s | 24 | 3774698 | 3701562 | 8564 982 | 669 | 1322 1579.15/1579.41 c 1534s | 24 | 3777892 | 3704662 | 8564 982 | 669 | 1322 1581.14/1581.46 c 1536s | 24 | 3783423 | 3710062 | 8564 984 | 669 | 1322 1583.13/1583.49 c 1538s | 24 | 3787103 | 3713662 | 8564 984 | 669 | 1322 1585.24/1585.50 c 1540s | 24 | 3791709 | 3718162 | 8564 985 | 669 | 1322 1587.23/1587.51 c 1542s | 24 | 3796428 | 3722762 | 8564 986 | 669 | 1322 1589.25/1589.52 c 1544s | 24 | 3800641 | 3726862 | 8564 987 | 669 | 1322 1591.24/1591.55 c 1546s | 24 | 3804763 | 3730862 | 8564 988 | 669 | 1322 1593.33/1593.68 c 1548s | 24 | 3809633 | 3735562 | 8564 989 | 669 | 1322 1595.33/1595.69 c 1550s | 24 | 3813433 | 3739262 | 8564 990 | 669 | 1322 1597.43/1597.72 c 1552s | 24 | 3819089 | 3744762 | 8564 991 | 669 | 1322 1599.43/1599.75 c 1554s | 24 | 3823559 | 3749062 | 8564 992 | 669 | 1322 1601.44/1601.77 c 1556s | 24 | 3827336 | 3752762 | 8564 993 | 669 | 1322 1603.43/1603.77 c 1558s | 24 | 3831683 | 3756962 | 8564 994 | 669 | 1322 1605.43/1605.78 c 1560s | 24 | 3836692 | 3761862 | 8564 995 | 669 | 1322 1607.42/1607.79 c 1562s | 24 | 3840241 | 3765362 | 8564 995 | 669 | 1322 1609.53/1609.84 c 1564s | 24 | 3845403 | 3770462 | 8564 996 | 669 | 1322 1611.52/1611.87 c 1566s | 24 | 3850284 | 3775262 | 8564 998 | 669 | 1322 1613.62/1613.90 c 1568s | 24 | 3853546 | 3778462 | 8564 998 | 669 | 1322 1615.63/1615.95 c 1570s | 24 | 3858737 | 3783562 | 8564 999 | 669 | 1322 1617.63/1617.98 c 1572s | 24 | 3863716 | 3788462 | 8564 1000 | 669 | 1322 1619.72/1620.01 c 1574s | 24 | 3867078 | 3791762 | 8564 1001 | 669 | 1322 1621.72/1622.04 c 1576s | 24 | 3872180 | 3796762 | 8564 1002 | 669 | 1322 1623.72/1624.05 c 1578s | 24 | 3876552 | 3801062 | 8564 1003 | 669 | 1322 1625.72/1626.08 c 1580s | 24 | 3880822 | 3805262 | 8564 1004 | 669 | 1322 1627.82/1628.11 c 1582s | 24 | 3883968 | 3808362 | 8564 1005 | 669 | 1322 1629.81/1630.13 c 1584s | 24 | 3889270 | 3813562 | 8564 1006 | 669 | 1322 1631.81/1632.16 c 1586s | 24 | 3894394 | 3818562 | 8564 1007 | 669 | 1322 1633.81/1634.19 c 1589s | 24 | 3898786 | 3822862 | 8564 1008 | 669 | 1322 1635.92/1636.22 c 1591s | 24 | 3903049 | 3827062 | 8564 1009 | 669 | 1322 1637.91/1638.23 c 1593s | 24 | 3907363 | 3831262 | 8564 1010 | 669 | 1322 1639.92/1640.24 c 1595s | 24 | 3912261 | 3835962 | 8564 1011 | 669 | 1322 1641.91/1642.25 c 1597s | 24 | 3917885 | 3841462 | 8564 1012 | 669 | 1322 1643.90/1644.28 c 1599s | 24 | 3922853 | 3846362 | 8564 1013 | 669 | 1322 1646.20/1646.50 c 1601s | 24 | 3926418 | 3849862 | 8564 1014 | 669 | 1322 1648.21/1648.50 c 1603s | 24 | 3932102 | 3855362 | 8564 1015 | 669 | 1322 1650.21/1650.51 c 1605s | 24 | 3936399 | 3859562 | 8564 1016 | 669 | 1322 1652.20/1652.53 c 1607s | 24 | 3940817 | 3863862 | 8564 1017 | 669 | 1322 1654.21/1654.54 c 1609s | 24 | 3945409 | 3868362 | 8564 1018 | 669 | 1322 1656.20/1656.57 c 1611s | 24 | 3949441 | 3872262 | 8564 1018 | 669 | 1322 1658.20/1658.58 c 1613s | 24 | 3954482 | 3877062 | 8564 1019 | 669 | 1322 1660.20/1660.58 c 1615s | 24 | 3958937 | 3881362 | 8564 1020 | 669 | 1322 1662.30/1662.67 c 1617s | 24 | 3963039 | 3885262 | 8564 1021 | 669 | 1322 1664.30/1664.69 c 1619s | 24 | 3968189 | 3890262 | 8564 1022 | 669 | 1322 1666.40/1666.72 c 1621s | 24 | 3973058 | 3894962 | 8564 1023 | 669 | 1322 1668.60/1668.99 c 1623s | 24 | 3976376 | 3898062 | 8564 1024 | 669 | 1322 1670.71/1671.02 c 1625s | 24 | 3981794 | 3903362 | 8564 1025 | 669 | 1322 1672.69/1673.03 c 1627s | 24 | 3986770 | 3908262 | 8564 1026 | 669 | 1322 1674.69/1675.06 c 1629s | 24 | 3991096 | 3912462 | 8564 1027 | 669 | 1322 1677.20/1677.58 c 1632s | 24 | 3995217 | 3916462 | 8564 1028 | 669 | 1322 1679.30/1679.61 c 1634s | 24 | 4000785 | 3921962 | 8564 1029 | 669 | 1322 1681.29/1681.62 c 1636s | 24 | 4005602 | 3926662 | 8564 1030 | 669 | 1322 1683.30/1683.64 c 1638s | 24 | 4010207 | 3931162 | 8564 1031 | 669 | 1322 1685.29/1685.65 c 1640s | 24 | 4015014 | 3935862 | 8564 1032 | 669 | 1322 1687.30/1687.66 c 1642s | 24 | 4018895 | 3939662 | 8564 1033 | 669 | 1322 1689.30/1689.66 c 1644s | 24 | 4023314 | 3943962 | 8564 1034 | 669 | 1322 1691.30/1691.68 c 1646s | 24 | 4027775 | 3948362 | 8564 1035 | 669 | 1322 1693.39/1693.71 c 1648s | 24 | 4033292 | 3953762 | 8564 1036 | 669 | 1322 1695.59/1695.93 c 1650s | 24 | 4037183 | 3957562 | 8564 1037 | 669 | 1322 1697.59/1697.96 c 1652s | 24 | 4042190 | 3962462 | 8564 1038 | 669 | 1322 1699.59/1699.97 c 1654s | 24 | 4047527 | 3967562 | 8564 1039 | 669 | 1322 1701.59/1701.98 c 1656s | 24 | 4052235 | 3972162 | 8564 1040 | 669 | 1322 1703.59/1703.98 c 1658s | 24 | 4057071 | 3976862 | 8564 1041 | 669 | 1322 1705.68/1706.01 c 1660s | 24 | 4060967 | 3980662 | 8564 1042 | 669 | 1322 1707.68/1708.03 c 1662s | 24 | 4066376 | 3985962 | 8564 1043 | 669 | 1322 1709.68/1710.03 c 1664s | 24 | 4071188 | 3990662 | 8564 1044 | 669 | 1322 1711.68/1712.06 c 1666s | 24 | 4074751 | 3994162 | 8564 1045 | 669 | 1322 1713.68/1714.07 c 1668s | 24 | 4079974 | 3999262 | 8564 1046 | 669 | 1322 1715.69/1716.08 c 1670s | 24 | 4082992 | 4002262 | 8564 1046 | 669 | 1322 1717.77/1718.10 c 1672s | 24 | 4087145 | 4006362 | 8564 1047 | 669 | 1322 1719.78/1720.10 c 1674s | 24 | 4091982 | 4011062 | 8564 1048 | 669 | 1322 1721.77/1722.12 c 1676s | 24 | 4096050 | 4015062 | 8564 1049 | 669 | 1322 1723.78/1724.12 c 1678s | 24 | 4100947 | 4019862 | 8564 1050 | 669 | 1322 1725.78/1726.15 c 1680s | 24 | 4104557 | 4023362 | 8564 1051 | 669 | 1322 1727.78/1728.17 c 1682s | 24 | 4109515 | 4028262 | 8564 1052 | 669 | 1322 1729.77/1730.17 c 1684s | 24 | 4113622 | 4032262 | 8564 1053 | 669 | 1322 1732.18/1732.60 c 1687s | 24 | 4118580 | 4037062 | 8564 1054 | 669 | 1322 1734.57/1734.97 c 1689s | 24 | 4122564 | 4040962 | 8564 1055 | 669 | 1322 1736.58/1737.00 c 1691s | 24 | 4128320 | 4046662 | 8564 1056 | 669 | 1322 1738.67/1739.00 c 1693s | 24 | 4132384 | 4050662 | 8564 1057 | 669 | 1322 1740.97/1741.37 c 1696s | 24 | 4137166 | 4055362 | 8564 1058 | 669 | 1322 1742.97/1743.39 c 1698s | 24 | 4142258 | 4060362 | 8564 1059 | 669 | 1322 1745.17/1745.52 c 1700s | 24 | 4146822 | 4064862 | 8564 1060 | 669 | 1322 1747.17/1747.52 c 1702s | 24 | 4152214 | 4070062 | 8564 1061 | 669 | 1322 1749.17/1749.53 c 1704s | 24 | 4156001 | 4073762 | 8564 1062 | 669 | 1322 1751.16/1751.57 c 1706s | 24 | 4161739 | 4079362 | 8564 1063 | 669 | 1322 1753.36/1753.77 c 1708s | 24 | 4164927 | 4082462 | 8564 1064 | 669 | 1322 1755.37/1755.79 c 1710s | 24 | 4170184 | 4087662 | 8564 1065 | 669 | 1322 1757.47/1757.82 c 1712s | 24 | 4174274 | 4091662 | 8564 1066 | 669 | 1322 1760.06/1760.48 c 1715s | 24 | 4179581 | 4096862 | 8564 1067 | 669 | 1322 1762.16/1762.50 c 1717s | 24 | 4185249 | 4102362 | 8564 1068 | 669 | 1322 1764.16/1764.53 c 1719s | 24 | 4189418 | 4106462 | 8564 1069 | 669 | 1322 1766.45/1766.87 c 1721s | 24 | 4194357 | 4111262 | 8564 1070 | 669 | 1322 1768.45/1768.88 c 1723s | 24 | 4199763 | 4116562 | 8564 1071 | 669 | 1322 1770.55/1770.90 c 1725s | 24 | 4203238 | 4119962 | 8564 1072 | 669 | 1322 1772.54/1772.93 c 1727s | 24 | 4208796 | 4125362 | 8564 1073 | 669 | 1322 1774.55/1774.96 c 1729s | 24 | 4214176 | 4130462 | 8564 1074 | 669 | 1322 1776.85/1777.28 c 1732s | 24 | 4218383 | 4134562 | 8564 1075 | 669 | 1322 1778.84/1779.29 c 1734s | 24 | 4224076 | 4140162 | 8564 1076 | 669 | 1322 1780.95/1781.33 c 1736s | 24 | 4229314 | 4145262 | 8564 1077 | 669 | 1322 1782.94/1783.37 c 1738s | 24 | 4233467 | 4149262 | 8564 1078 | 669 | 1322 1784.94/1785.37 c 1740s | 24 | 4237826 | 4153462 | 8564 1079 | 669 | 1322 1787.04/1787.40 c 1742s | 24 | 4242423 | 4157862 | 8564 1080 | 669 | 1322 1789.04/1789.40 c 1744s | 24 | 4247689 | 4163062 | 8564 1081 | 669 | 1322 1791.04/1791.41 c 1746s | 24 | 4251346 | 4166662 | 8564 1082 | 669 | 1322 1793.04/1793.42 c 1748s | 24 | 4256812 | 4172062 | 8564 1083 | 669 | 1322 1795.34/1795.71 c 1750s | 24 | 4261526 | 4176662 | 8564 1084 | 669 | 1322 1797.33/1797.74 c 1752s | 24 | 4266107 | 4181162 | 8564 1085 | 669 | 1322 1799.34/1799.76 c 1754s | 24 | 4271447 | 4186362 | 8564 1086 | 669 | 1322
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-4080150-1465260179/watcher-4080150-1465260179 -o /tmp/evaluation-result-4080150-1465260179/solver-4080150-1465260179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080150-1465260179.opb pid=12040 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.08 2.08 3/179 12043 /proc/meminfo: memFree=29635180/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=789948 CPUtime=0 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 2959 0 0 0 0 0 0 0 20 0 4 0 107952510 808906752 3320 33554432000 4194304 16246674 140735041470960 140735041470384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 198255 3329 441 2943 0 195149 0 [pid=12043/tid=12044] ppid=12040 vsize=807356 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 826732544 3388 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=812476 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 831975424 3405 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=816572 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107952510 836169728 3422 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.10 2.08 2.08 3/179 12043 /proc/meminfo: memFree=29635180/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 23754 0 0 0 6 3 0 0 20 0 4 0 107952510 1247350784 24100 33554432000 4194304 16246674 140735041470960 140735041470384 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 304529 24108 791 2943 0 301423 0 [pid=12043/tid=12044] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 24117 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 24126 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 24132 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200528 s] /proc/loadavg: 2.10 2.08 2.08 3/179 12043 /proc/meminfo: memFree=29635180/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 49621 0 0 0 12 7 0 0 20 0 4 0 107952510 1247350784 49968 33554432000 4194304 16246674 140735041470960 140735041470384 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 304529 49983 791 2943 0 301423 0 [pid=12043/tid=12044] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 49991 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 49996 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 49999 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300512 s] /proc/loadavg: 2.10 2.08 2.08 3/179 12043 /proc/meminfo: memFree=29635180/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 77438 0 0 0 18 11 0 0 20 0 4 0 107952510 1247350784 77785 33554432000 4194304 16246674 140735041470960 140735041470384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 304529 77803 791 2943 0 301423 0 [pid=12043/tid=12044] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 77812 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 77817 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 77821 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700427 s] /proc/loadavg: 2.10 2.08 2.08 3/179 12043 /proc/meminfo: memFree=29635180/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 185769 0 0 0 45 24 0 0 20 0 4 0 107952510 1247350784 186116 33554432000 4194304 16246674 140735041470960 140735041452864 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 304529 186134 791 2943 0 301423 0 [pid=12043/tid=12044] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 186144 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 186153 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107952510 1247350784 186158 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.17 2.10 2.09 3/183 12047 /proc/meminfo: memFree=28713904/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1302084 CPUtime=1.49 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 251390 0 0 0 117 32 0 0 20 0 4 0 107952510 1333334016 251715 33554432000 4194304 16246674 140735041470960 140735041470272 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 325521 251730 850 2943 0 322415 0 [pid=12043/tid=12044] ppid=12040 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1333334016 251738 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1333334016 251744 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1333334016 251750 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1302084 [startup+3.10043 s] /proc/loadavg: 2.17 2.10 2.09 3/183 12047 /proc/meminfo: memFree=28565352/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 267541 0 0 0 275 34 0 0 20 0 4 0 107952510 1337528320 267866 33554432000 4194304 16246674 140735041470960 140735041452864 12483272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 326545 267866 850 2943 0 323439 0 [pid=12043/tid=12044] ppid=12040 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1337528320 267866 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1337528320 267866 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1337528320 267866 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30039 s] /proc/loadavg: 2.17 2.10 2.09 3/183 12047 /proc/meminfo: memFree=28563008/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 268124 0 0 0 595 34 0 0 20 0 4 0 107952510 1339625472 268449 33554432000 4194304 16246674 140735041470960 140735041452864 12482488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 327057 268449 851 2943 0 323951 0 [pid=12043/tid=12044] ppid=12040 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1339625472 268449 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1339625472 268449 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1339625472 268449 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.14 2.10 2.09 3/183 12047 /proc/meminfo: memFree=28557244/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1313348 CPUtime=12.69 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 269434 0 0 0 1235 34 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 140735041452864 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 328337 269759 853 2943 0 325231 0 [pid=12043/tid=12044] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.12 2.09 2.09 3/183 12047 /proc/meminfo: memFree=28557128/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 269434 0 0 0 2515 34 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 140735041452864 5823170 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 328337 269759 853 2943 0 325231 0 [pid=12043/tid=12044] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1344868352 269759 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.22 2.12 2.09 3/183 12047 /proc/meminfo: memFree=28556112/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1314372 CPUtime=51.09 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 269691 0 0 0 5074 35 0 0 20 0 4 0 107952510 1345916928 270016 33554432000 4194304 16246674 140735041470960 140735041452864 5823891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 328593 270016 854 2943 0 325487 0 [pid=12043/tid=12044] ppid=12040 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1345916928 270016 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1345916928 270016 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1345916928 270016 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.15 2.11 2.09 3/183 12048 /proc/meminfo: memFree=28551444/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1318468 CPUtime=102.28 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 270715 0 0 0 10192 36 0 0 20 0 4 0 107952510 1350111232 271040 33554432000 4194304 16246674 140735041470960 140735041470136 5722987 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 329617 271040 854 2943 0 326511 0 [pid=12043/tid=12044] ppid=12040 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1350111232 271040 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1350111232 271040 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1350111232 271040 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1364791296 274625 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1332804 [startup+1302.3 s] /proc/loadavg: 2.12 2.12 2.09 3/184 12102 /proc/meminfo: memFree=26839260/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1302.09 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275324 0 0 0 130133 76 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 140735041452864 12483204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275649 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.20 2.14 2.10 3/184 12104 /proc/meminfo: memFree=26799132/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1362.08 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275324 0 0 0 136128 80 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 140735041452864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275649 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.14 2.13 2.09 3/184 12105 /proc/meminfo: memFree=26746708/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1422.08 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275324 0 0 0 142125 83 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 140735041470056 5545721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275649 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.14 2.13 2.09 3/184 12106 /proc/meminfo: memFree=26691440/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1482.07 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275324 0 0 0 148119 88 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 140735041453960 13943608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275649 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.07 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.24 2.15 2.10 3/184 12156 /proc/meminfo: memFree=28545620/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1542.07 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275324 0 0 0 154116 91 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 140735041468864 8224692 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275649 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275649 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.07 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.15 2.14 2.09 3/184 12157 /proc/meminfo: memFree=28546104/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1602.03 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275351 0 0 0 160104 99 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 140735041452864 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275652 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1336900 [startup+1662.3 s] /proc/loadavg: 2.19 2.16 2.10 3/185 12162 /proc/meminfo: memFree=28545436/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1662 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275391 0 0 0 166092 108 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 140735041452864 5823584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275652 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 1336900 [startup+1722.3 s] /proc/loadavg: 2.25 2.17 2.10 4/184 12163 /proc/meminfo: memFree=28545516/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1336900 CPUtime=1721.98 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275425 0 0 0 172073 125 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 140735041452864 5711888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334225 275652 855 2943 0 331119 0 [pid=12043/tid=12044] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1368985600 275652 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 1336900 [startup+1782.3 s] /proc/loadavg: 2.20 2.17 2.10 4/184 12164 /proc/meminfo: memFree=28544440/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1337924 CPUtime=1781.95 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275723 0 0 0 178049 146 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 140735041468800 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334481 275908 855 2943 0 331375 0 [pid=12043/tid=12044] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.15 2.16 2.10 3/184 12164 /proc/meminfo: memFree=28544824/32872528 swapFree=12208/1156848 [pid=12043] ppid=12040 vsize=1337924 CPUtime=1800.03 cores=1,3,5,7 /proc/12043/stat : 12043 (toysat) R 12040 12043 9895 0 -1 4202496 275739 0 0 0 179855 148 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 140735041452864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12043/statm: 334481 275908 855 2943 0 331375 0 [pid=12043/tid=12044] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12044/stat : 12044 (toysat) S 12040 12043 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909817937136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=12043/tid=12045] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12045/stat : 12045 (toysat) S 12040 12043 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909807447280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=12043/tid=12046] ppid=12040 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12043/task/12046/stat : 12046 (toysat) S 12040 12043 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107952510 1370034176 275908 33554432000 4194304 16246674 140735041470960 139909796973744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1337924 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 12043 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.45 CPU time (s): 1800.09 CPU user time (s): 1798.56 CPU system time (s): 1.52477 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.56 system time used= 1.52477 maximum resident set size= 1103632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275739 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= 172 involuntary context switches= 1848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.30404 second user time and 8.32673 second system time The end
Begin job on node114 at 2016-06-07 02:42:59 IDJOB=4080150 IDBENCH=48218 IDSOLVER=2542 FILE ID=node114/4080150-1465260179 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080150-1465260179/watcher-4080150-1465260179 -o /tmp/evaluation-result-4080150-1465260179/solver-4080150-1465260179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080150-1465260179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=1685487401 node114.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.852 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.70 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.852 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.852 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.852 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.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.54 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.852 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: 29636104 kB Buffers: 67140 kB Cached: 217676 kB SwapCached: 1720 kB Active: 1211320 kB Inactive: 164424 kB Active(anon): 1091948 kB Inactive(anon): 1200 kB Active(file): 119372 kB Inactive(file): 163224 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096604 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 2246912 kB Mapped: 10752 kB Shmem: 0 kB Slab: 570512 kB SReclaimable: 14580 kB SUnreclaim: 555932 kB KernelStack: 1488 kB PageTables: 8476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2389092 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1153024 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 node114 at 2016-06-07 03:13:00