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.04 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
| MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 57 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 45 |
| Optimality of the best value was proved | NO |
| Number of variables | 5203 |
| Total number of constraints | 19637 |
| Number of constraints which are clauses | 19637 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 5203 |
| 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 | 5203 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5203 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:08:57+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-4079698-1465243736.opb"] 0.00/0.01 c use --random-gen="1498363936 936645977 3232556090 1099731088 3660075889 2356168650 2545306381 648131076 3228181123 2404749772 2028593154 3022873928 3060691548 2087356486 3820197390 3000183527 2058607142 199411316 952391076 407804890 3204932987 4110957669 380561402 1152191518 4290426751 3467966215 1763450449 1112815257 1068971102 3571250197 2764044730 3110352985 995755831 1836722614 1766799714 2381130854 1057906316 883539758 2326826953 2528031398 3958314671 2442560009 16625960 3378495695 2219515034 3289987794 3628034611 4180630746 3815495323 290693715 2259692987 1946533456 3942952924 4025485444 4147549723 3904413210 3990135752 1505487564 3231587748 3101310894 3413084309 887950722 3147861919 3322455375 2641877653 1602775654 421122235 1734732319 3894446522 1460747669 3111092334 1414020035 3704376875 3527499328 1471504178 1044127013 3973078510 3447706222 4241142720 731431522 1736403153 3748569252 1391960467 2223573449 149033687 1743710346 955452774 1675478612 2007304026 2683954547 1132066873 2182726409 2040457726 2593214891 3528860133 1719313465 4273073109 2085231144 253534111 2133194525 1735002479 1419064603 246906510 131580310 799824511 1798537128 3156564357 1117702030 3717643212 1359219752 2293904864 172235335 1378181359 1635909537 3490339742 57971413 1177628454 1577390185 3680585378 4235482319 1089275537 976867630 3633659952 2894200226 2082688158 2987075813 1813492014 3388135291 1466384132 382611092 414351643 3837153870 3278747941 642631108 665695997 2738309750 160435236 255845034 1017780409 3869339100 3189833359 417338765 2322252979 1440970310 1734176871 114413196 1361548014 1477801628 924797215 3158063792 254297839 3753157401 1986712107 2216216429 123111566 3616913524 2394633815 3272523695 419284428 1873062143 1985731129 3087164624 2516103799 1096575484 3485996198 282264348 2458013962 3527188346 1860972466 2056232082 1186217512 1648373346 3004584443 1538605845 277911588 2938518301 942498023 1785576143 621759565 2524885615 558778194 3127669621 1075943449 41859608 2147519539 2896902829 3121052874 3311663881 1681495317 3246013929 3082002365 1777894141 1690307308 3149101269 2968403391 1929176743 276038371 4130209631 33466375 3361595389 331905410 1928789115 323229517 2956836402 2539948744 2697699903 2683064301 2266091202 3406629600 3921654639 1102053450 1972586580 686874442 3408186417 657578267 760389383 3152888686 1962152866 3564187304 1205075952 299872463 1657475684 261544450 603247867 4265233160 2640480635 81507231 3647279701 3401132267 942615830 1133403394 1775171165 3957973620 3154082349 847124922 2847442242 2320260646 434078051 1199742923 4082318833 3006081 3526685354 1940458474 2590444840 652744 564711095 836176627 799035412 2128657119 2590700301 1047510829 2571541145 1834963462 911936812 3704114871 141039781 255 362436" option to reproduce the execution 1.79/1.85 c #vars 5203 1.79/1.85 c #constraints 19637 4.69/4.76 c BCD2: Hardening is enabled. 4.69/4.76 c BCD2: BiasedSearch is enabled. 4.69/4.76 c Solving starts ... 4.69/4.76 c ============================[ Search Statistics ]============================ 4.69/4.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.76 c | | | | Limit GC | Var | Constra 4.69/4.76 c ============================================================================= 4.69/4.76 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 0 4.79/4.85 c 0.1s | 0 | 5203 | 0 | 8280 0 | 0 | 0 4.79/4.85 c #cpu_time = 0.094s 4.79/4.85 c #wall_clock_time = 0.094s 4.79/4.85 c #decision = 5203 4.79/4.85 c #random_decision = 27 4.79/4.85 c #conflict = 0 4.79/4.85 c #restart = 0 4.79/4.86 o 5203 4.89/4.95 c BCD2: updating upper bound: 5203 -> 5202 4.89/4.99 c BCD2: 0 <= obj <= 5202 4.89/4.99 c BCD2: #cores=0, #unrelaxed=5203, #relaxed=0, #hardened=0 4.89/4.99 c BCD2: #sat=1 #unsat=1 bias=1/2 4.89/4.99 c Solving starts ... 4.89/4.99 c ============================[ Search Statistics ]============================ 4.89/4.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.99 c | | | | Limit GC | Var | Constra 4.89/4.99 c ============================================================================= 4.89/4.99 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 0 4.99/5.07 c 0.1s | 0 | 1448 | 0 | 8280 0 | 0 | 0 4.99/5.07 c #cpu_time = 0.082s 4.99/5.07 c #wall_clock_time = 0.083s 4.99/5.07 c #decision = 1448 4.99/5.07 c #random_decision = 0 4.99/5.07 c #conflict = 0 4.99/5.07 c #restart = 0 4.99/5.07 c BCD2: found a new core of size 122: cost of the new core is >=1 4.99/5.07 c lower bound updated to 1 4.99/5.08 c BCD2: 1 <= obj <= 5202 4.99/5.08 c BCD2: #cores=1, #unrelaxed=5081, #relaxed=122, #hardened=0 4.99/5.08 c BCD2: #sat=1 #unsat=2 bias=2/3 4.99/5.08 c Solving starts ... 4.99/5.08 c ============================[ Search Statistics ]============================ 4.99/5.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.08 c | | | | Limit GC | Var | Constra 4.99/5.08 c ============================================================================= 4.99/5.08 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 0 5.09/5.18 c 0.1s | 0 | 2799 | 0 | 8280 0 | 0 | 0 5.09/5.18 c #cpu_time = 0.100s 5.09/5.18 c #wall_clock_time = 0.100s 5.09/5.18 c #decision = 2799 5.09/5.18 c #random_decision = 0 5.09/5.18 c #conflict = 0 5.09/5.18 c #restart = 0 5.09/5.18 c BCD2: found a new core of size 48: cost of the new core is >=1 5.09/5.18 c lower bound updated to 2 5.09/5.18 c BCD2: 2 <= obj <= 5202 5.09/5.18 c BCD2: #cores=2, #unrelaxed=5033, #relaxed=170, #hardened=0 5.09/5.18 c BCD2: #sat=1 #unsat=3 bias=3/4 5.09/5.18 c Solving starts ... 5.09/5.18 c ============================[ Search Statistics ]============================ 5.09/5.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.18 c | | | | Limit GC | Var | Constra 5.09/5.18 c ============================================================================= 5.09/5.18 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 0 5.19/5.26 c 0.1s | 0 | 2811 | 0 | 8280 0 | 0 | 0 5.19/5.26 c #cpu_time = 0.081s 5.19/5.26 c #wall_clock_time = 0.081s 5.19/5.26 c #decision = 2811 5.19/5.26 c #random_decision = 0 5.19/5.26 c #conflict = 0 5.19/5.26 c #restart = 0 5.19/5.26 c BCD2: found a new core of size 40: cost of the new core is >=1 5.19/5.26 c lower bound updated to 3 5.19/5.27 c BCD2: 3 <= obj <= 5202 5.19/5.27 c BCD2: #cores=3, #unrelaxed=4993, #relaxed=210, #hardened=0 5.19/5.27 c BCD2: #sat=1 #unsat=4 bias=4/5 5.19/5.27 c Solving starts ... 5.19/5.27 c ============================[ Search Statistics ]============================ 5.19/5.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.19/5.27 c | | | | Limit GC | Var | Constra 5.19/5.27 c ============================================================================= 5.19/5.27 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 1 5.29/5.36 c 0.1s | 0 | 3092 | 1 | 8280 0 | 0 | 1 5.29/5.36 c #cpu_time = 0.082s 5.29/5.36 c #wall_clock_time = 0.082s 5.29/5.36 c #decision = 3092 5.29/5.36 c #random_decision = 0 5.29/5.36 c #conflict = 1 5.29/5.36 c #restart = 0 5.29/5.36 c BCD2: found a new core of size 114: cost of the new core is >=1 5.29/5.36 c lower bound updated to 4 5.29/5.36 c BCD2: 4 <= obj <= 5202 5.29/5.36 c BCD2: #cores=4, #unrelaxed=4879, #relaxed=324, #hardened=0 5.29/5.36 c BCD2: #sat=1 #unsat=5 bias=5/6 5.29/5.36 c Solving starts ... 5.29/5.36 c ============================[ Search Statistics ]============================ 5.29/5.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.36 c | | | | Limit GC | Var | Constra 5.29/5.36 c ============================================================================= 5.29/5.36 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 1 5.39/5.46 c 0.1s | 0 | 3457 | 1 | 8280 0 | 0 | 1 5.39/5.46 c #cpu_time = 0.096s 5.39/5.46 c #wall_clock_time = 0.096s 5.39/5.46 c #decision = 3457 5.39/5.46 c #random_decision = 0 5.39/5.46 c #conflict = 1 5.39/5.46 c #restart = 0 5.39/5.46 c BCD2: found a new core of size 137: cost of the new core is >=1 5.39/5.46 c lower bound updated to 5 5.39/5.46 c BCD2: 5 <= obj <= 5202 5.39/5.46 c BCD2: #cores=5, #unrelaxed=4742, #relaxed=461, #hardened=0 5.39/5.46 c BCD2: #sat=1 #unsat=6 bias=6/7 5.39/5.46 c Solving starts ... 5.39/5.46 c ============================[ Search Statistics ]============================ 5.39/5.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.46 c | | | | Limit GC | Var | Constra 5.39/5.46 c ============================================================================= 5.39/5.46 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 1 5.49/5.54 c 0.1s | 0 | 3326 | 1 | 8280 0 | 0 | 1 5.49/5.54 c #cpu_time = 0.083s 5.49/5.54 c #wall_clock_time = 0.084s 5.49/5.54 c #decision = 3326 5.49/5.54 c #random_decision = 0 5.49/5.54 c #conflict = 1 5.49/5.54 c #restart = 0 5.49/5.54 c BCD2: found a new core of size 138: cost of the new core is >=1 5.49/5.54 c lower bound updated to 6 5.49/5.55 c BCD2: 6 <= obj <= 5202 5.49/5.55 c BCD2: #cores=6, #unrelaxed=4604, #relaxed=599, #hardened=0 5.49/5.55 c BCD2: #sat=1 #unsat=7 bias=7/8 5.49/5.55 c Solving starts ... 5.49/5.55 c ============================[ Search Statistics ]============================ 5.49/5.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.49/5.55 c | | | | Limit GC | Var | Constra 5.49/5.55 c ============================================================================= 5.49/5.55 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 1 5.59/5.64 c 0.1s | 0 | 3620 | 0 | 8280 0 | 0 | 1 5.59/5.64 c #cpu_time = 0.084s 5.59/5.64 c #wall_clock_time = 0.084s 5.59/5.64 c #decision = 3620 5.59/5.64 c #random_decision = 0 5.59/5.64 c #conflict = 0 5.59/5.64 c #restart = 0 5.59/5.64 c BCD2: found a new core of size 44: cost of the new core is >=1 5.59/5.64 c lower bound updated to 7 5.59/5.64 c BCD2: 7 <= obj <= 5202 5.59/5.64 c BCD2: #cores=7, #unrelaxed=4560, #relaxed=643, #hardened=0 5.59/5.64 c BCD2: #sat=1 #unsat=8 bias=8/9 5.59/5.64 c Solving starts ... 5.59/5.64 c ============================[ Search Statistics ]============================ 5.59/5.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.59/5.64 c | | | | Limit GC | Var | Constra 5.59/5.64 c ============================================================================= 5.59/5.64 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 3 5.69/5.74 c 0.1s | 0 | 3590 | 0 | 8280 0 | 0 | 3 5.69/5.74 c #cpu_time = 0.091s 5.69/5.74 c #wall_clock_time = 0.091s 5.69/5.74 c #decision = 3590 5.69/5.74 c #random_decision = 0 5.69/5.74 c #conflict = 0 5.69/5.74 c #restart = 0 5.69/5.74 c BCD2: found a new core of size 52: cost of the new core is >=1 5.69/5.74 c lower bound updated to 8 5.69/5.74 c BCD2: 8 <= obj <= 5202 5.69/5.74 c BCD2: #cores=8, #unrelaxed=4508, #relaxed=695, #hardened=0 5.69/5.74 c BCD2: #sat=1 #unsat=9 bias=9/10 5.69/5.74 c Solving starts ... 5.69/5.74 c ============================[ Search Statistics ]============================ 5.69/5.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.74 c | | | | Limit GC | Var | Constra 5.69/5.74 c ============================================================================= 5.69/5.74 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 3 5.79/5.83 c 0.1s | 0 | 3880 | 1 | 8280 0 | 0 | 3 5.79/5.83 c #cpu_time = 0.085s 5.79/5.83 c #wall_clock_time = 0.086s 5.79/5.83 c #decision = 3880 5.79/5.83 c #random_decision = 0 5.79/5.83 c #conflict = 1 5.79/5.83 c #restart = 0 5.79/5.83 c BCD2: found a new core of size 145: cost of the new core is >=1 5.79/5.83 c lower bound updated to 9 5.79/5.84 c BCD2: 9 <= obj <= 5202 5.79/5.84 c BCD2: #cores=9, #unrelaxed=4363, #relaxed=840, #hardened=0 5.79/5.84 c BCD2: #sat=1 #unsat=10 bias=10/11 5.79/5.84 c Solving starts ... 5.79/5.84 c ============================[ Search Statistics ]============================ 5.79/5.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.79/5.84 c | | | | Limit GC | Var | Constra 5.79/5.84 c ============================================================================= 5.79/5.84 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 3 5.89/5.93 c 0.1s | 0 | 3866 | 0 | 8280 0 | 0 | 3 5.89/5.93 c #cpu_time = 0.087s 5.89/5.93 c #wall_clock_time = 0.087s 5.89/5.93 c #decision = 3866 5.89/5.93 c #random_decision = 0 5.89/5.93 c #conflict = 0 5.89/5.93 c #restart = 0 5.89/5.93 c BCD2: found a new core of size 41: cost of the new core is >=1 5.89/5.93 c lower bound updated to 10 5.89/5.93 c BCD2: 10 <= obj <= 5202 5.89/5.93 c BCD2: #cores=10, #unrelaxed=4322, #relaxed=881, #hardened=0 5.89/5.93 c BCD2: #sat=1 #unsat=11 bias=11/12 5.89/5.93 c Solving starts ... 5.89/5.93 c ============================[ Search Statistics ]============================ 5.89/5.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.89/5.93 c | | | | Limit GC | Var | Constra 5.89/5.93 c ============================================================================= 5.89/5.93 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 4 5.99/6.02 c 0.1s | 0 | 3945 | 1 | 8280 0 | 0 | 4 5.99/6.02 c #cpu_time = 0.089s 5.99/6.02 c #wall_clock_time = 0.089s 5.99/6.02 c #decision = 3945 5.99/6.02 c #random_decision = 0 5.99/6.02 c #conflict = 1 5.99/6.02 c #restart = 0 5.99/6.02 c BCD2: found a new core of size 71: cost of the new core is >=1 5.99/6.02 c lower bound updated to 11 5.99/6.03 c BCD2: 11 <= obj <= 5202 5.99/6.03 c BCD2: #cores=11, #unrelaxed=4251, #relaxed=952, #hardened=0 5.99/6.03 c BCD2: #sat=1 #unsat=12 bias=12/13 5.99/6.03 c Solving starts ... 5.99/6.03 c ============================[ Search Statistics ]============================ 5.99/6.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.99/6.03 c | | | | Limit GC | Var | Constra 5.99/6.03 c ============================================================================= 5.99/6.03 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 4 6.09/6.12 c 0.1s | 0 | 4125 | 0 | 8280 0 | 0 | 4 6.09/6.12 c #cpu_time = 0.086s 6.09/6.12 c #wall_clock_time = 0.086s 6.09/6.12 c #decision = 4125 6.09/6.12 c #random_decision = 0 6.09/6.12 c #conflict = 0 6.09/6.12 c #restart = 0 6.09/6.12 c BCD2: found a new core of size 39: cost of the new core is >=1 6.09/6.12 c lower bound updated to 12 6.09/6.14 c BCD2: 12 <= obj <= 5202 6.09/6.14 c BCD2: #cores=12, #unrelaxed=4212, #relaxed=991, #hardened=0 6.09/6.14 c BCD2: #sat=1 #unsat=13 bias=13/14 6.09/6.14 c Solving starts ... 6.09/6.14 c ============================[ Search Statistics ]============================ 6.09/6.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.09/6.14 c | | | | Limit GC | Var | Constra 6.09/6.14 c ============================================================================= 6.09/6.14 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 211 6.19/6.23 c 0.1s | 0 | 4214 | 0 | 8280 0 | 0 | 211 6.19/6.23 c #cpu_time = 0.087s 6.19/6.23 c #wall_clock_time = 0.087s 6.19/6.23 c #decision = 4214 6.19/6.23 c #random_decision = 0 6.19/6.23 c #conflict = 0 6.19/6.23 c #restart = 0 6.19/6.23 c BCD2: found a new core of size 76: cost of the new core is >=1 6.19/6.23 c lower bound updated to 13 6.19/6.24 c BCD2: 13 <= obj <= 5202 6.19/6.24 c BCD2: #cores=13, #unrelaxed=4136, #relaxed=1067, #hardened=0 6.19/6.24 c BCD2: #sat=1 #unsat=14 bias=14/15 6.19/6.24 c Solving starts ... 6.19/6.24 c ============================[ Search Statistics ]============================ 6.19/6.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.19/6.24 c | | | | Limit GC | Var | Constra 6.19/6.24 c ============================================================================= 6.19/6.24 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 212 6.29/6.34 c 0.1s | 0 | 4999 | 1 | 8280 0 | 0 | 212 6.29/6.34 c #cpu_time = 0.097s 6.29/6.34 c #wall_clock_time = 0.098s 6.29/6.34 c #decision = 4999 6.29/6.34 c #random_decision = 2 6.29/6.34 c #conflict = 1 6.29/6.34 c #restart = 0 6.29/6.34 o 95 6.29/6.35 c BCD2: updating upper bound: 5202 -> 94 6.29/6.36 c BCD2: 13 <= obj <= 94 6.29/6.36 c BCD2: #cores=13, #unrelaxed=4136, #relaxed=1067, #hardened=0 6.29/6.36 c BCD2: #sat=2 #unsat=14 bias=14/16 6.29/6.37 c Solving starts ... 6.29/6.37 c ============================[ Search Statistics ]============================ 6.29/6.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.29/6.37 c | | | | Limit GC | Var | Constra 6.29/6.37 c ============================================================================= 6.29/6.37 c 0.0s | 0 | 0 | 0 | 8280 0 | 0 | 213 6.39/6.47 c 0.1s | 0 | 4305 | 21 | 8280 0 | 0 | 213 6.39/6.47 c #cpu_time = 0.096s 6.39/6.47 c #wall_clock_time = 0.096s 6.39/6.47 c #decision = 4305 6.39/6.47 c #random_decision = 1 6.39/6.47 c #conflict = 21 6.39/6.47 c #restart = 0 6.39/6.47 c BCD2: relaxing 177 and merging with 1 cores into a new core of size 248: cost of the new core is >=2 6.39/6.47 c lower bound updated to 14 6.39/6.48 c BCD2: 14 <= obj <= 94 6.39/6.48 c BCD2: #cores=13, #unrelaxed=3959, #relaxed=1244, #hardened=0 6.39/6.48 c BCD2: #sat=2 #unsat=15 bias=15/17 6.39/6.48 c Solving starts ... 6.39/6.48 c ============================[ Search Statistics ]============================ 6.39/6.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.39/6.48 c | | | | Limit GC | Var | Constra 6.39/6.48 c ============================================================================= 6.39/6.48 c 0.0s | 0 | 0 | 0 | 8280 0 | 3 | 213 6.59/6.64 c 0.2s | 1 | 8847 | 100 | 9108 0 | 3 | 218 6.79/6.83 c 0.4s | 2 | 18023 | 250 | 10019 0 | 3 | 218 6.98/7.05 c 0.6s | 3 | 26789 | 475 | 11021 0 | 3 | 218 7.28/7.39 c 0.9s | 4 | 32768 | 813 | 12124 0 | 3 | 218 7.79/7.83 c 1.3s | 5 | 42309 | 1320 | 13337 0 | 3 | 218 8.38/8.41 c 1.9s | 6 | 104453 | 2081 | 14671 0 | 3 | 218 9.99/10.08 c 3.6s | 7 | 111281 | 3223 | 16139 0 | 3 | 218 12.09/12.11 c 5.6s | 7 | 124668 | 4823 | 16139 0 | 3 | 218 12.28/12.36 c 5.9s | 8 | 124973 | 4936 | 17753 0 | 3 | 218 14.39/14.48 c 8.0s | 8 | 134192 | 6836 | 17753 0 | 3 | 218 15.88/15.91 c 9.4s | 9 | 135630 | 7506 | 19529 0 | 3 | 218 17.98/18.00 c 11.5s | 9 | 160221 | 9906 | 19529 0 | 3 | 218 19.99/20.03 c 13.5s | 9 | 163606 | 11206 | 19529 0 | 3 | 218 20.19/20.26 c 13.8s | 10 | 163976 | 11361 | 21482 0 | 3 | 218 22.39/22.45 c 16.0s | 10 | 174212 | 12261 | 21482 0 | 3 | 218 24.58/24.64 c 18.2s | 10 | 176735 | 13161 | 21482 0 | 3 | 218 26.69/26.78 c 20.3s | 10 | 177894 | 13561 | 21482 0 | 3 | 218 29.18/29.28 c 22.8s | 10 | 179040 | 14061 | 21482 0 | 3 | 218 31.68/31.70 c 25.2s | 10 | 179949 | 14561 | 21482 0 | 3 | 218 34.38/34.49 c 28.0s | 10 | 181057 | 14961 | 21482 0 | 3 | 218 36.48/36.55 c 30.1s | 10 | 181871 | 15461 | 21482 0 | 3 | 218 39.48/39.51 c 33.0s | 10 | 182614 | 15661 | 21482 0 | 3 | 218 41.58/41.66 c 35.2s | 10 | 184492 | 16461 | 21482 0 | 3 | 218 42.48/42.59 c 36.1s | 11 | 187002 | 17144 | 23631 0 | 3 | 218 44.58/44.67 c 38.2s | 11 | 198667 | 18444 | 23631 0 | 3 | 218 46.78/46.87 c 40.4s | 11 | 200711 | 19444 | 23631 0 | 3 | 218 48.88/48.90 c 42.4s | 11 | 203121 | 20244 | 23631 0 | 3 | 218 50.88/50.98 c 44.5s | 11 | 206681 | 21344 | 23631 0 | 3 | 218 53.08/53.14 c 46.7s | 11 | 210149 | 22444 | 23631 0 | 3 | 218 55.18/55.22 c 48.7s | 11 | 212765 | 23644 | 23631 0 | 3 | 218 57.29/57.38 c 50.9s | 11 | 213785 | 24244 | 23631 0 | 3 | 218 59.49/59.51 c 53.0s | 11 | 214760 | 24644 | 23631 0 | 3 | 218 61.58/61.61 c 55.1s | 11 | 216192 | 25244 | 23631 0 | 3 | 218 62.98/63.06 c 56.6s | 12 | 217127 | 25819 | 25995 0 | 3 | 218 65.18/65.28 c 58.8s | 12 | 229333 | 26819 | 25995 0 | 3 | 218 68.19/68.21 c 61.7s | 12 | 234702 | 27319 | 25995 1 | 3 | 218 70.18/70.25 c 63.8s | 12 | 244931 | 29619 | 25995 1 | 3 | 218 72.17/72.27 c 65.8s | 12 | 248733 | 31219 | 25995 1 | 3 | 218 74.18/74.27 c 67.8s | 12 | 251209 | 32119 | 25995 1 | 3 | 218 76.57/76.68 c 70.2s | 12 | 252900 | 32819 | 25995 1 | 3 | 218 78.88/78.93 c 72.5s | 12 | 254299 | 33519 | 25995 1 | 3 | 218 80.97/81.05 c 74.6s | 12 | 255426 | 34019 | 25995 1 | 3 | 218 83.27/83.31 c 76.8s | 12 | 256297 | 34619 | 25995 1 | 3 | 218 85.47/85.50 c 79.0s | 12 | 257268 | 35219 | 25995 1 | 3 | 218 87.67/87.76 c 81.3s | 12 | 258169 | 35819 | 25995 1 | 3 | 218 89.87/89.90 c 83.4s | 12 | 258742 | 36219 | 25995 1 | 3 | 218 92.17/92.25 c 85.8s | 12 | 259710 | 36819 | 25995 1 | 3 | 218 94.28/94.33 c 87.8s | 12 | 260654 | 37419 | 25995 1 | 3 | 218 96.47/96.55 c 90.1s | 12 | 261558 | 38019 | 25995 1 | 3 | 218 98.47/98.58 c 92.1s | 12 | 262265 | 38519 | 25995 1 | 3 | 218 99.87/99.96 c 93.5s | 13 | 262836 | 38832 | 28595 1 | 3 | 218 101.97/102.06 c 95.6s | 13 | 275608 | 39932 | 28595 1 | 3 | 218 104.07/104.13 c 97.7s | 13 | 278232 | 41132 | 28595 1 | 3 | 218 106.17/106.30 c 99.8s | 13 | 280551 | 42232 | 28595 1 | 3 | 218 108.27/108.38 c 101s | 13 | 282538 | 43232 | 28595 1 | 3 | 218 110.57/110.63 c 104s | 13 | 284403 | 44132 | 28595 1 | 3 | 218 112.67/112.79 c 106s | 13 | 287043 | 45332 | 28595 1 | 3 | 218 114.87/114.98 c 108s | 13 | 288888 | 46232 | 28595 1 | 3 | 218 117.27/117.30 c 110s | 13 | 290192 | 46932 | 28595 1 | 3 | 218 121.77/121.82 c 115s | 13 | 291193 | 47432 | 28595 2 | 3 | 218 123.87/123.92 c 117s | 13 | 293348 | 48332 | 28595 2 | 3 | 218 126.07/126.17 c 119s | 13 | 294872 | 49232 | 28595 2 | 3 | 218 128.17/128.25 c 121s | 13 | 296099 | 49932 | 28595 2 | 3 | 218 130.26/130.30 c 123s | 13 | 300062 | 51332 | 28595 2 | 3 | 218 132.47/132.56 c 126s | 13 | 303163 | 52432 | 28595 2 | 3 | 218 134.57/134.68 c 128s | 13 | 304744 | 53232 | 28595 2 | 3 | 218 136.67/136.70 c 130s | 13 | 306880 | 54032 | 28595 2 | 3 | 218 138.77/138.82 c 132s | 13 | 308513 | 54732 | 28595 2 | 3 | 218 140.87/140.94 c 134s | 13 | 309961 | 55332 | 28595 2 | 3 | 218 143.16/143.23 c 136s | 13 | 311862 | 56132 | 28595 2 | 3 | 218 145.28/145.32 c 138s | 13 | 313965 | 56832 | 28595 2 | 3 | 218 147.56/147.62 c 141s | 13 | 316280 | 57632 | 28595 2 | 3 | 218 149.77/149.82 c 143s | 13 | 318792 | 58332 | 31455 2 | 3 | 218 149.77/149.85 c 143s | 14 | 318831 | 58352 | 31455 2 | 3 | 218 151.77/151.87 c 145s | 14 | 325136 | 58852 | 31455 2 | 3 | 218 153.77/153.89 c 147s | 14 | 343228 | 61252 | 31455 2 | 3 | 218 155.87/155.95 c 149s | 14 | 347754 | 63352 | 31455 2 | 3 | 218 159.06/159.17 c 152s | 14 | 353006 | 63652 | 31455 3 | 3 | 218 161.16/161.29 c 154s | 14 | 355890 | 64552 | 31455 3 | 3 | 218 163.36/163.49 c 157s | 14 | 357240 | 65352 | 31455 3 | 3 | 218 165.47/165.53 c 159s | 14 | 359704 | 66652 | 31455 3 | 3 | 218 167.56/167.62 c 161s | 14 | 362361 | 67952 | 31455 3 | 3 | 218 169.56/169.68 c 163s | 14 | 364232 | 68952 | 31455 3 | 3 | 218 171.67/171.76 c 165s | 14 | 365368 | 69652 | 31455 3 | 3 | 218 173.77/173.84 c 167s | 14 | 366297 | 70252 | 31455 3 | 3 | 218 175.96/176.08 c 169s | 14 | 367908 | 71052 | 31455 3 | 3 | 218 177.96/178.09 c 171s | 14 | 369604 | 71852 | 31455 3 | 3 | 218 180.16/180.20 c 173s | 14 | 372351 | 72952 | 31455 3 | 3 | 218 182.26/182.37 c 175s | 14 | 374292 | 73852 | 31455 3 | 3 | 218 184.26/184.37 c 177s | 14 | 375445 | 74452 | 31455 3 | 3 | 218 186.25/186.38 c 179s | 14 | 376721 | 75052 | 31455 3 | 3 | 218 188.76/188.82 c 182s | 14 | 377830 | 75752 | 31455 3 | 3 | 218 191.06/191.12 c 184s | 14 | 378466 | 76152 | 31455 3 | 3 | 218 193.36/193.45 c 186s | 14 | 378961 | 76552 | 31455 3 | 3 | 218 195.56/195.62 c 189s | 14 | 379544 | 76952 | 31455 3 | 3 | 218 197.56/197.66 c 191s | 14 | 380201 | 77352 | 31455 3 | 3 | 218 199.66/199.76 c 193s | 14 | 380976 | 77752 | 31455 3 | 3 | 218 201.85/201.94 c 195s | 14 | 381371 | 78052 | 31455 3 | 3 | 218 204.45/204.55 c 198s | 14 | 381806 | 78352 | 31455 3 | 3 | 218 206.46/206.57 c 200s | 14 | 383318 | 79052 | 31455 3 | 3 | 218 208.86/208.91 c 202s | 14 | 384146 | 79552 | 31455 3 | 3 | 218 211.17/211.26 c 204s | 14 | 384702 | 79952 | 31455 3 | 3 | 218 213.25/213.38 c 206s | 14 | 385995 | 80652 | 31455 3 | 3 | 218 215.35/215.48 c 208s | 14 | 387118 | 81252 | 31455 3 | 3 | 218 217.87/217.95 c 211s | 14 | 388576 | 81952 | 31455 3 | 3 | 218 220.07/220.13 c 213s | 14 | 390593 | 82652 | 31455 3 | 3 | 218 222.35/222.40 c 215s | 14 | 392135 | 83252 | 31455 3 | 3 | 218 226.15/226.23 c 219s | 14 | 393055 | 83552 | 31455 4 | 3 | 218 228.35/228.42 c 221s | 14 | 394731 | 84252 | 31455 4 | 3 | 218 230.35/230.43 c 223s | 14 | 396501 | 85152 | 31455 4 | 3 | 218 232.55/232.69 c 226s | 14 | 399551 | 86152 | 31455 4 | 3 | 218 234.75/234.80 c 228s | 14 | 400218 | 86552 | 31455 4 | 3 | 218 236.96/237.05 c 230s | 14 | 401279 | 87052 | 34601 4 | 3 | 218 238.35/238.48 c 231s | 15 | 402682 | 87632 | 34601 4 | 3 | 218 240.45/240.58 c 234s | 15 | 411180 | 88932 | 34601 4 | 3 | 218 242.55/242.66 c 236s | 15 | 413249 | 89632 | 34601 4 | 3 | 218 244.65/244.79 c 238s | 15 | 415053 | 90332 | 34601 4 | 3 | 218 246.75/246.89 c 240s | 15 | 416745 | 90932 | 34601 4 | 3 | 218 248.95/249.07 c 242s | 15 | 418301 | 91432 | 34601 4 | 3 | 218 251.15/251.23 c 244s | 15 | 420090 | 92032 | 34601 4 | 3 | 218 252.35/252.47 c 245s | 15 | 420825 | 92429 | 34601 4 | 3 | 218 252.35/252.47 c #cpu_time = 245.351s 252.35/252.47 c #wall_clock_time = 245.992s 252.35/252.47 c #decision = 420825 252.35/252.47 c #random_decision = 293 252.35/252.47 c #conflict = 92429 252.35/252.47 c #restart = 15 252.35/252.48 o 80 252.35/252.48 c BCD2: updating upper bound: 94 -> 79 252.35/252.49 c BCD2: 14 <= obj <= 79 252.35/252.49 c BCD2: #cores=13, #unrelaxed=3959, #relaxed=1244, #hardened=0 252.35/252.49 c BCD2: #sat=3 #unsat=15 bias=15/18 252.45/252.50 c Solving starts ... 252.45/252.50 c ============================[ Search Statistics ]============================ 252.45/252.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 252.45/252.50 c | | | | Limit GC | Var | Constra 252.45/252.50 c ============================================================================= 252.45/252.50 c 0.0s | 0 | 0 | 0 | 34601 0 | 3 | 219 253.94/254.05 c 1.6s | 1 | 4980 | 100 | 34601 0 | 3 | 219 255.55/255.64 c 3.1s | 2 | 9857 | 250 | 34601 0 | 3 | 219 257.15/257.24 c 4.7s | 3 | 14600 | 475 | 34601 0 | 3 | 219 258.84/258.99 c 6.5s | 4 | 20145 | 813 | 34601 0 | 3 | 219 260.95/261.01 c 8.5s | 4 | 25031 | 1313 | 34601 0 | 3 | 219 260.95/261.02 c 8.5s | 5 | 25041 | 1320 | 34601 0 | 3 | 219 263.05/263.12 c 10.6s | 5 | 30667 | 1820 | 34601 0 | 3 | 219 264.05/264.16 c 11.7s | 6 | 31506 | 2081 | 34601 0 | 3 | 219 266.04/266.18 c 13.7s | 6 | 68706 | 2381 | 34601 0 | 3 | 219 267.44/267.57 c 15.1s | 7 | 71102 | 3223 | 34601 0 | 3 | 219 269.46/269.57 c 17.1s | 7 | 76175 | 3623 | 34601 0 | 3 | 219 271.55/271.63 c 19.1s | 7 | 78429 | 4723 | 34601 0 | 3 | 219 271.95/272.00 c 19.5s | 8 | 79110 | 4936 | 34601 0 | 3 | 219 273.95/274.04 c 21.5s | 8 | 84135 | 5236 | 34601 0 | 3 | 219 275.94/276.09 c 23.6s | 8 | 87172 | 6236 | 34601 0 | 3 | 219 278.05/278.14 c 25.6s | 8 | 89145 | 7136 | 34601 0 | 3 | 219 279.05/279.19 c 26.7s | 9 | 89936 | 7506 | 34601 0 | 3 | 219 284.64/284.70 c 32.2s | 9 | 94456 | 7606 | 34601 1 | 3 | 219 286.85/286.95 c 34.5s | 9 | 99871 | 8106 | 34601 1 | 3 | 219 288.94/289.08 c 36.6s | 9 | 101830 | 8706 | 34601 1 | 3 | 219 291.14/291.26 c 38.8s | 9 | 103548 | 9306 | 34601 1 | 3 | 219 293.44/293.56 c 41.1s | 9 | 104747 | 9806 | 34601 1 | 3 | 219 295.74/295.86 c 43.4s | 9 | 106565 | 10406 | 34601 1 | 3 | 219 297.94/298.09 c 45.6s | 9 | 108288 | 11006 | 34601 1 | 3 | 219 298.84/298.90 c 46.4s | 10 | 109351 | 11361 | 34601 1 | 3 | 219 301.25/301.32 c 48.8s | 10 | 113792 | 11561 | 34601 1 | 3 | 219 303.55/303.70 c 51.2s | 10 | 114562 | 11961 | 34601 1 | 3 | 219 305.94/306.00 c 53.5s | 10 | 115749 | 12561 | 34601 1 | 3 | 219 308.14/308.20 c 55.7s | 10 | 117012 | 13261 | 34601 1 | 3 | 219 310.24/310.36 c 57.9s | 10 | 118154 | 13761 | 34601 1 | 3 | 219 312.45/312.53 c 60.0s | 10 | 118964 | 14161 | 34601 1 | 3 | 219 314.55/314.66 c 62.2s | 10 | 120213 | 14661 | 34601 1 | 3 | 219 317.04/317.11 c 64.6s | 10 | 121018 | 15161 | 34601 1 | 3 | 219 319.34/319.44 c 66.9s | 10 | 121553 | 15561 | 34601 1 | 3 | 219 321.84/321.96 c 69.5s | 10 | 134227 | 15961 | 34601 1 | 3 | 219 324.13/324.29 c 71.8s | 10 | 134952 | 16361 | 34601 1 | 3 | 219 326.64/326.73 c 74.2s | 10 | 135534 | 16761 | 34601 1 | 3 | 219 328.74/328.89 c 76.4s | 11 | 136137 | 17144 | 34601 1 | 3 | 219 331.34/331.44 c 78.9s | 11 | 140414 | 17344 | 34601 1 | 3 | 219 333.04/333.15 c 80.6s | 11 | 141377 | 17661 | 34601 1 | 3 | 219 333.04/333.15 c #cpu_time = 80.435s 333.04/333.15 c #wall_clock_time = 80.648s 333.04/333.15 c #decision = 141377 333.04/333.15 c #random_decision = 65 333.04/333.15 c #conflict = 17661 333.04/333.15 c #restart = 11 333.04/333.15 c BCD2: relaxing 2917 and merging with 10 cores into a new core of size 3951: cost of the new core is >=12 333.04/333.15 c lower bound updated to 15 333.04/333.16 c BCD2: 15 <= obj <= 79 333.04/333.16 c BCD2: #cores=4, #unrelaxed=1042, #relaxed=4161, #hardened=0 333.04/333.16 c BCD2: #sat=3 #unsat=16 bias=16/19 333.04/333.18 c Solving starts ... 333.04/333.18 c ============================[ Search Statistics ]============================ 333.04/333.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 333.04/333.18 c | | | | Limit GC | Var | Constra 333.04/333.18 c ============================================================================= 333.04/333.18 c 0.0s | 0 | 0 | 0 | 34601 0 | 58 | 219 340.14/340.24 c 7.1s | 0 | 4487 | 100 | 34601 0 | 58 | 319 340.14/340.25 c 7.1s | 1 | 4487 | 100 | 34601 0 | 58 | 319 341.24/341.35 c 8.2s | 2 | 7966 | 250 | 34601 0 | 58 | 319 342.64/342.71 c 9.5s | 3 | 13029 | 475 | 34601 0 | 58 | 319 344.83/344.98 c 11.8s | 4 | 24578 | 813 | 34601 0 | 58 | 319 347.64/347.77 c 14.6s | 4 | 32311 | 1113 | 34601 0 | 58 | 319 349.23/349.37 c 16.2s | 5 | 35281 | 1320 | 34601 0 | 58 | 319 351.33/351.46 c 18.3s | 5 | 44355 | 1620 | 34601 0 | 58 | 319 354.14/354.28 c 21.1s | 5 | 52682 | 2020 | 34601 0 | 58 | 319 354.83/354.95 c 21.8s | 6 | 52881 | 2081 | 34601 0 | 58 | 319 357.22/357.36 c 24.2s | 6 | 58361 | 2381 | 34601 0 | 58 | 319 359.73/359.81 c 26.6s | 6 | 65522 | 2681 | 34601 0 | 58 | 319 361.72/361.89 c 28.7s | 7 | 71760 | 3223 | 34601 0 | 58 | 319 364.42/364.52 c 31.3s | 7 | 81323 | 3623 | 34601 0 | 58 | 319 366.42/366.53 c 33.4s | 7 | 88154 | 4023 | 34601 0 | 58 | 319 369.12/369.20 c 36.0s | 7 | 94750 | 4423 | 34601 0 | 58 | 319 371.22/371.30 c 38.1s | 7 | 104586 | 4723 | 34601 0 | 58 | 319 372.32/372.45 c 39.3s | 8 | 110331 | 4936 | 34601 0 | 58 | 319 374.61/374.76 c 41.6s | 8 | 121250 | 5236 | 34601 0 | 58 | 319 376.61/376.78 c 43.6s | 8 | 128248 | 5536 | 34601 0 | 58 | 319 379.01/379.13 c 46.0s | 8 | 136322 | 5936 | 34601 0 | 58 | 319 381.11/381.24 c 48.1s | 8 | 144099 | 6336 | 34601 0 | 58 | 319 383.21/383.38 c 50.2s | 8 | 149519 | 6836 | 34601 0 | 58 | 319 385.41/385.55 c 52.4s | 8 | 153398 | 7336 | 34601 0 | 58 | 319 386.21/386.32 c 53.1s | 9 | 155397 | 7506 | 34601 0 | 58 | 319 388.22/388.38 c 55.2s | 9 | 162665 | 7906 | 34601 0 | 58 | 319 390.42/390.55 c 57.4s | 9 | 169952 | 8306 | 34601 0 | 58 | 319 393.01/393.12 c 59.9s | 9 | 178591 | 8806 | 34601 0 | 58 | 319 395.21/395.35 c 62.2s | 9 | 187534 | 9206 | 34601 0 | 58 | 319 397.21/397.37 c 64.2s | 9 | 195711 | 9606 | 34601 0 | 58 | 319 399.31/399.48 c 66.3s | 9 | 204486 | 10006 | 34601 0 | 58 | 319 401.51/401.66 c 68.5s | 9 | 210188 | 10406 | 34601 0 | 58 | 319 403.90/404.10 c 70.9s | 9 | 213194 | 10806 | 34601 0 | 58 | 319 406.00/406.15 c 73.0s | 9 | 214105 | 11106 | 34601 0 | 58 | 319 407.40/407.56 c 74.4s | 10 | 216598 | 11361 | 34601 0 | 58 | 319 409.50/409.61 c 76.4s | 10 | 223942 | 11661 | 34601 0 | 58 | 319 411.50/411.65 c 78.5s | 10 | 229359 | 11961 | 34601 0 | 58 | 319 413.80/413.91 c 80.7s | 10 | 236400 | 12261 | 34601 0 | 58 | 319 415.90/416.08 c 82.9s | 10 | 243942 | 12561 | 34601 0 | 58 | 319 418.00/418.12 c 84.9s | 10 | 252101 | 12861 | 34601 0 | 58 | 319 420.10/420.29 c 87.1s | 10 | 259054 | 13261 | 34601 0 | 58 | 319 422.10/422.29 c 89.1s | 10 | 263900 | 13561 | 34601 0 | 58 | 319 424.60/424.76 c 91.6s | 10 | 273720 | 13961 | 34601 0 | 58 | 319 426.80/426.99 c 93.8s | 10 | 283450 | 14261 | 34601 0 | 58 | 319 429.49/429.61 c 96.4s | 10 | 289992 | 14561 | 34601 0 | 58 | 319 431.59/431.78 c 98.6s | 10 | 292800 | 14861 | 34601 0 | 58 | 319 434.19/434.36 c 101s | 10 | 303104 | 15261 | 34601 0 | 58 | 319 437.39/437.50 c 104s | 10 | 315297 | 15661 | 34601 0 | 58 | 319 440.19/440.31 c 107s | 10 | 327136 | 16061 | 34601 0 | 58 | 319 442.70/442.81 c 109s | 10 | 332573 | 16361 | 34601 0 | 58 | 319 445.19/445.30 c 112s | 10 | 335925 | 16661 | 34601 0 | 58 | 319 447.39/447.57 c 114s | 10 | 341626 | 16961 | 34601 0 | 58 | 319 448.39/448.59 c 115s | 11 | 344166 | 17144 | 34601 0 | 58 | 319 450.69/450.85 c 117s | 11 | 349444 | 17444 | 34601 0 | 58 | 319 452.79/452.98 c 119s | 11 | 354004 | 17844 | 34601 0 | 58 | 319 455.30/455.50 c 122s | 11 | 357739 | 18144 | 34601 0 | 58 | 319 458.09/458.25 c 125s | 11 | 361599 | 18444 | 34601 0 | 58 | 319 460.80/460.93 c 127s | 11 | 366739 | 18844 | 34601 0 | 58 | 319 463.10/463.28 c 130s | 11 | 368857 | 19144 | 34601 0 | 58 | 319 465.58/465.76 c 132s | 11 | 371195 | 19444 | 34601 0 | 58 | 319 468.49/468.66 c 135s | 11 | 374840 | 19744 | 34601 0 | 58 | 319 471.18/471.35 c 138s | 11 | 380199 | 20044 | 34601 0 | 58 | 319 473.48/473.64 c 140s | 11 | 381909 | 20244 | 34601 0 | 58 | 319 475.48/475.65 c 142s | 11 | 384663 | 20544 | 38062 0 | 58 | 319 477.58/477.80 c 144s | 11 | 386002 | 20844 | 38062 0 | 58 | 319 480.08/480.28 c 147s | 11 | 393324 | 21144 | 38062 0 | 58 | 319 482.48/482.67 c 149s | 11 | 400566 | 21444 | 38062 0 | 58 | 319 484.78/484.97 c 151s | 11 | 402677 | 21744 | 38062 0 | 58 | 319 487.68/487.89 c 154s | 11 | 405854 | 22044 | 38062 0 | 58 | 319 490.17/490.35 c 157s | 11 | 407821 | 22344 | 38062 0 | 58 | 319 492.87/493.04 c 159s | 11 | 413313 | 22644 | 38062 0 | 58 | 319 495.57/495.76 c 162s | 11 | 417321 | 22944 | 38062 0 | 58 | 319 497.97/498.11 c 164s | 11 | 420305 | 23244 | 38062 0 | 58 | 319 500.48/500.64 c 167s | 11 | 425077 | 23544 | 38062 0 | 58 | 319 503.07/503.24 c 170s | 11 | 428820 | 23944 | 38062 0 | 58 | 319 506.06/506.29 c 173s | 11 | 435450 | 24344 | 38062 0 | 58 | 319 508.86/509.04 c 175s | 11 | 449410 | 24644 | 38062 0 | 58 | 319 511.16/511.35 c 178s | 11 | 455126 | 24944 | 38062 0 | 58 | 319 513.86/514.06 c 180s | 11 | 467762 | 25244 | 38062 0 | 58 | 319 515.96/516.11 c 182s | 11 | 473095 | 25544 | 38062 0 | 58 | 319 517.66/517.80 c 184s | 12 | 477245 | 25819 | 38062 0 | 58 | 319 520.36/520.59 c 187s | 12 | 485015 | 26219 | 38062 0 | 58 | 319 522.66/522.85 c 189s | 12 | 490855 | 26619 | 38062 0 | 58 | 319 524.85/525.06 c 191s | 12 | 497102 | 27019 | 38062 0 | 58 | 319 526.95/527.13 c 193s | 12 | 503368 | 27419 | 38062 0 | 58 | 319 529.06/529.26 c 196s | 12 | 508542 | 27719 | 38062 0 | 58 | 319 531.65/531.80 c 198s | 12 | 516828 | 28019 | 38062 0 | 58 | 319 534.05/534.23 c 201s | 12 | 521774 | 28319 | 38062 0 | 58 | 319 536.05/536.26 c 203s | 12 | 526739 | 28619 | 38062 0 | 58 | 319 538.25/538.43 c 205s | 12 | 532997 | 28919 | 38062 0 | 58 | 319 540.25/540.43 c 207s | 12 | 538573 | 29319 | 38062 0 | 58 | 319 542.54/542.73 c 209s | 12 | 542506 | 29719 | 38062 0 | 58 | 319 544.74/544.97 c 211s | 12 | 547789 | 30119 | 38062 0 | 58 | 319 547.75/547.97 c 214s | 12 | 555935 | 30519 | 38062 0 | 58 | 319 550.24/550.40 c 217s | 12 | 562493 | 30819 | 38062 0 | 58 | 319 552.74/552.93 c 219s | 12 | 569002 | 31119 | 38062 0 | 58 | 319 554.84/555.02 c 221s | 12 | 572564 | 31419 | 38062 0 | 58 | 319 557.14/557.39 c 224s | 12 | 579193 | 31719 | 38062 0 | 58 | 319 559.24/559.43 c 226s | 12 | 584701 | 32019 | 38062 0 | 58 | 319 561.54/561.74 c 228s | 12 | 591109 | 32319 | 38062 0 | 58 | 319 564.04/564.20 c 231s | 12 | 596771 | 32619 | 38062 0 | 58 | 319 566.14/566.36 c 233s | 12 | 600965 | 32919 | 38062 0 | 58 | 319 568.44/568.70 c 235s | 12 | 605738 | 33219 | 38062 0 | 58 | 319 571.14/571.39 c 238s | 12 | 613147 | 33519 | 38062 0 | 58 | 319 573.54/573.77 c 240s | 12 | 617380 | 33919 | 38062 0 | 58 | 319 575.73/575.99 c 242s | 12 | 622644 | 34219 | 38062 0 | 58 | 319 578.03/578.24 c 245s | 12 | 627514 | 34519 | 38062 0 | 58 | 319 580.43/580.69 c 247s | 12 | 634802 | 34819 | 38062 0 | 58 | 319 582.94/583.18 c 249s | 12 | 639754 | 35219 | 38062 0 | 58 | 319 585.43/585.65 c 252s | 12 | 645207 | 35619 | 38062 0 | 58 | 319 588.23/588.45 c 255s | 12 | 653157 | 36019 | 38062 0 | 58 | 319 590.43/590.69 c 257s | 12 | 656753 | 36319 | 38062 1 | 58 | 319 592.63/592.90 c 259s | 12 | 666393 | 36519 | 38062 1 | 58 | 319 594.93/595.13 c 261s | 12 | 675091 | 36819 | 38062 1 | 58 | 319 597.42/597.62 c 264s | 12 | 679514 | 37119 | 38062 1 | 58 | 319 599.82/600.01 c 266s | 12 | 686215 | 37419 | 38062 1 | 58 | 319 602.02/602.27 c 269s | 12 | 693100 | 37719 | 38062 1 | 58 | 319 605.02/605.24 c 272s | 12 | 697275 | 38119 | 38062 1 | 58 | 319 607.13/607.35 c 274s | 12 | 698637 | 38519 | 38062 1 | 58 | 319 609.23/609.47 c 276s | 12 | 700003 | 38819 | 38062 1 | 58 | 319 609.42/609.60 c 276s | 13 | 700042 | 38832 | 38062 1 | 58 | 319 611.62/611.84 c 278s | 13 | 702611 | 39132 | 38062 1 | 58 | 319 613.72/613.92 c 280s | 13 | 710661 | 39332 | 38062 1 | 58 | 319 616.01/616.23 c 283s | 13 | 715907 | 39732 | 38062 1 | 58 | 319 618.41/618.61 c 285s | 13 | 722127 | 40032 | 38062 1 | 58 | 319 620.61/620.89 c 287s | 13 | 727299 | 40432 | 38062 1 | 58 | 319 623.11/623.38 c 290s | 13 | 732233 | 40932 | 38062 1 | 58 | 319 626.51/626.77 c 293s | 13 | 743209 | 41232 | 38062 1 | 58 | 319 628.91/629.12 c 295s | 13 | 751393 | 41532 | 38062 1 | 58 | 319 631.71/631.98 c 298s | 13 | 758837 | 41832 | 38062 1 | 58 | 319 633.81/634.03 c 300s | 13 | 762267 | 42032 | 38062 1 | 58 | 319 636.61/636.80 c 303s | 13 | 773057 | 42332 | 38062 1 | 58 | 319 639.11/639.37 c 306s | 13 | 784167 | 42632 | 38062 1 | 58 | 319 641.80/642.03 c 308s | 13 | 793295 | 42932 | 38062 1 | 58 | 319 644.10/644.31 c 311s | 13 | 797771 | 43232 | 38062 1 | 58 | 319 646.90/647.17 c 313s | 13 | 804410 | 43632 | 38062 1 | 58 | 319 649.70/649.93 c 316s | 13 | 811338 | 43932 | 38062 1 | 58 | 319 651.80/652.10 c 318s | 13 | 818357 | 44132 | 38062 1 | 58 | 319 654.20/654.47 c 321s | 13 | 823503 | 44432 | 38062 1 | 58 | 319 657.29/657.51 c 324s | 13 | 833121 | 44632 | 38062 1 | 58 | 319 659.49/659.70 c 326s | 13 | 835140 | 44932 | 38062 1 | 58 | 319 662.49/662.73 c 329s | 13 | 843578 | 45232 | 38062 1 | 58 | 319 665.49/665.73 c 332s | 13 | 847548 | 45532 | 38062 1 | 58 | 319 668.49/668.79 c 335s | 13 | 857180 | 45732 | 38062 1 | 58 | 319 671.79/672.07 c 338s | 13 | 868535 | 46032 | 38062 1 | 58 | 319 674.09/674.33 c 341s | 13 | 874339 | 46332 | 38062 1 | 58 | 319 676.39/676.63 c 343s | 13 | 880397 | 46532 | 38062 1 | 58 | 319 678.98/679.21 c 346s | 13 | 885323 | 46832 | 38062 1 | 58 | 319 682.18/682.41 c 349s | 13 | 895538 | 47132 | 38062 1 | 58 | 319 685.09/685.33 c 352s | 13 | 899623 | 47432 | 38062 1 | 58 | 319 687.39/687.64 c 354s | 13 | 903801 | 47632 | 38062 1 | 58 | 319 690.08/690.35 c 357s | 13 | 909819 | 48032 | 38062 1 | 58 | 319 692.48/692.71 c 359s | 13 | 914143 | 48332 | 38062 1 | 58 | 319 695.17/695.47 c 362s | 13 | 918180 | 48632 | 38062 1 | 58 | 319 697.37/697.66 c 364s | 13 | 919815 | 48832 | 38062 1 | 58 | 319 699.67/699.99 c 366s | 13 | 922426 | 49132 | 38062 1 | 58 | 319 702.27/702.54 c 369s | 13 | 925450 | 49532 | 38062 1 | 58 | 319 704.27/704.58 c 371s | 13 | 928913 | 49832 | 38062 1 | 58 | 319 706.57/706.82 c 373s | 13 | 936203 | 50132 | 38062 1 | 58 | 319 709.27/709.53 c 376s | 13 | 940720 | 50532 | 38062 1 | 58 | 319 711.37/711.64 c 378s | 13 | 942135 | 50832 | 38062 1 | 58 | 319 713.87/714.14 c 380s | 13 | 944430 | 51232 | 38062 1 | 58 | 319 716.16/716.48 c 383s | 13 | 945699 | 51432 | 38062 1 | 58 | 319 718.26/718.50 c 385s | 13 | 946791 | 51732 | 38062 1 | 58 | 319 720.46/720.76 c 387s | 13 | 949690 | 52032 | 38062 1 | 58 | 319 722.86/723.11 c 389s | 13 | 952454 | 52432 | 38062 1 | 58 | 319 724.86/725.12 c 391s | 13 | 957310 | 52732 | 38062 1 | 58 | 319 727.36/727.67 c 394s | 13 | 959428 | 53132 | 38062 1 | 58 | 319 729.87/730.12 c 396s | 13 | 961011 | 53532 | 38062 1 | 58 | 319 732.07/732.31 c 399s | 13 | 963069 | 53932 | 38062 1 | 58 | 319 734.27/734.52 c 401s | 13 | 964447 | 54232 | 38062 1 | 58 | 319 736.56/736.81 c 403s | 13 | 967258 | 54632 | 38062 1 | 58 | 319 738.76/739.04 c 405s | 13 | 971791 | 54932 | 38062 1 | 58 | 319 741.56/741.89 c 408s | 13 | 978809 | 55232 | 38062 1 | 58 | 319 744.16/744.40 c 411s | 13 | 983194 | 55532 | 38062 1 | 58 | 319 747.25/747.58 c 414s | 13 | 986923 | 55832 | 38062 2 | 58 | 319 750.55/750.81 c 417s | 13 | 997451 | 56132 | 38062 2 | 58 | 319 752.55/752.82 c 419s | 13 | 1001910 | 56432 | 38062 2 | 58 | 319 754.85/755.11 c 421s | 13 | 1004848 | 56732 | 38062 2 | 58 | 319 757.25/757.56 c 424s | 13 | 1007387 | 57132 | 38062 2 | 58 | 319 759.65/759.98 c 426s | 13 | 1012458 | 57532 | 38062 2 | 58 | 319 762.45/762.74 c 429s | 13 | 1017907 | 57932 | 38062 2 | 58 | 319 765.04/765.37 c 432s | 13 | 1025417 | 58232 | 38062 2 | 58 | 319 766.24/766.55 c 433s | 14 | 1030378 | 58352 | 38062 2 | 58 | 319 768.54/768.89 c 435s | 14 | 1033558 | 58552 | 38062 2 | 58 | 319 770.74/771.06 c 437s | 14 | 1040956 | 58752 | 38062 2 | 58 | 319 773.15/773.47 c 440s | 14 | 1048361 | 59052 | 38062 2 | 58 | 319 775.64/775.94 c 442s | 14 | 1058719 | 59252 | 38062 2 | 58 | 319 777.74/778.01 c 444s | 14 | 1061591 | 59552 | 38062 2 | 58 | 319 780.74/781.09 c 447s | 14 | 1074538 | 59852 | 38062 2 | 58 | 319 783.04/783.38 c 450s | 14 | 1082634 | 60152 | 38062 2 | 58 | 319 785.13/785.46 c 452s | 14 | 1088582 | 60352 | 38062 2 | 58 | 319 788.33/788.66 c 455s | 14 | 1098349 | 60752 | 38062 2 | 58 | 319 790.83/791.11 c 457s | 14 | 1104105 | 61052 | 38062 2 | 58 | 319 794.33/794.67 c 461s | 14 | 1112601 | 61352 | 38062 2 | 58 | 319 796.42/796.76 c 463s | 14 | 1115866 | 61552 | 38062 2 | 58 | 319 799.23/799.60 c 466s | 14 | 1119375 | 61852 | 38062 2 | 58 | 319 801.83/802.18 c 469s | 14 | 1126416 | 62152 | 38062 2 | 58 | 319 804.23/804.59 c 471s | 14 | 1132008 | 62452 | 38062 2 | 58 | 319 806.93/807.20 c 474s | 14 | 1135637 | 62852 | 38062 2 | 58 | 319 809.13/809.44 c 476s | 14 | 1140562 | 63152 | 38062 2 | 58 | 319 812.53/812.87 c 479s | 14 | 1142857 | 63452 | 38062 2 | 58 | 319 815.52/815.84 c 482s | 14 | 1144479 | 63652 | 38062 2 | 58 | 319 818.72/819.03 c 485s | 14 | 1150055 | 63852 | 38062 2 | 58 | 319 820.72/821.05 c 487s | 14 | 1151858 | 64052 | 38062 2 | 58 | 319 823.32/823.60 c 490s | 14 | 1159037 | 64252 | 38062 2 | 58 | 319 825.93/826.27 c 493s | 14 | 1164694 | 64552 | 38062 2 | 58 | 319 828.32/828.68 c 495s | 14 | 1169180 | 64852 | 38062 2 | 58 | 319 830.33/830.69 c 497s | 14 | 1175493 | 65052 | 38062 2 | 58 | 319 833.52/833.81 c 500s | 14 | 1179428 | 65252 | 38062 2 | 58 | 319 836.11/836.42 c 503s | 14 | 1185959 | 65552 | 38062 2 | 58 | 319 838.61/838.93 c 505s | 14 | 1196609 | 65752 | 38062 2 | 58 | 319 840.71/841.02 c 507s | 14 | 1201506 | 66052 | 38062 2 | 58 | 319 843.21/843.59 c 510s | 14 | 1208270 | 66352 | 38062 2 | 58 | 319 845.50/845.87 c 512s | 14 | 1215287 | 66652 | 38062 2 | 58 | 319 848.00/848.31 c 515s | 14 | 1221589 | 66952 | 38062 2 | 58 | 319 850.11/850.48 c 517s | 14 | 1228506 | 67252 | 38062 2 | 58 | 319 852.21/852.57 c 519s | 14 | 1231614 | 67452 | 38062 2 | 58 | 319 854.30/854.63 c 521s | 14 | 1237214 | 67752 | 38062 2 | 58 | 319 857.50/857.84 c 524s | 14 | 1247619 | 68152 | 38062 2 | 58 | 319 859.50/859.86 c 526s | 14 | 1254116 | 68352 | 38062 2 | 58 | 319 862.11/862.43 c 529s | 14 | 1258712 | 68652 | 38062 2 | 58 | 319 864.89/865.22 c 532s | 14 | 1266624 | 68952 | 38062 2 | 58 | 319 867.60/868.00 c 534s | 14 | 1274669 | 69352 | 38062 2 | 58 | 319 870.49/870.86 c 537s | 14 | 1283145 | 69652 | 38062 2 | 58 | 319 873.59/873.90 c 540s | 14 | 1290186 | 69952 | 38062 2 | 58 | 319 875.59/875.91 c 542s | 14 | 1293968 | 70252 | 38062 2 | 58 | 319 877.98/878.36 c 545s | 14 | 1302582 | 70452 | 38062 2 | 58 | 319 880.68/881.02 c 547s | 14 | 1307804 | 70752 | 38062 2 | 58 | 319 882.68/883.08 c 549s | 14 | 1312212 | 71052 | 38062 2 | 58 | 319 885.29/885.61 c 552s | 14 | 1316981 | 71352 | 38062 2 | 58 | 319 887.58/887.96 c 554s | 14 | 1321556 | 71752 | 38062 2 | 58 | 319 889.59/889.99 c 556s | 14 | 1323629 | 72052 | 38062 2 | 58 | 319 891.68/892.10 c 558s | 14 | 1324866 | 72452 | 38062 2 | 58 | 319 894.29/894.63 c 561s | 14 | 1327192 | 72852 | 38062 2 | 58 | 319 896.48/896.89 c 563s | 14 | 1330672 | 73052 | 38062 2 | 58 | 319 898.58/898.93 c 565s | 14 | 1334601 | 73352 | 38062 2 | 58 | 319 900.59/900.94 c 567s | 14 | 1340211 | 73552 | 38062 2 | 58 | 319 903.08/903.43 c 570s | 14 | 1346444 | 73852 | 38062 2 | 58 | 319 905.58/905.95 c 572s | 14 | 1348438 | 74152 | 38062 2 | 58 | 319 907.88/908.24 c 575s | 14 | 1354223 | 74452 | 38062 2 | 58 | 319 910.38/910.76 c 577s | 14 | 1358838 | 74852 | 38062 2 | 58 | 319 912.58/912.97 c 579s | 14 | 1364177 | 75152 | 38062 2 | 58 | 319 914.68/915.02 c 581s | 14 | 1367696 | 75352 | 38062 2 | 58 | 319 917.08/917.44 c 584s | 14 | 1372485 | 75652 | 38062 3 | 58 | 319 919.28/919.68 c 586s | 14 | 1374873 | 76052 | 38062 3 | 58 | 319 921.58/921.96 c 588s | 14 | 1378814 | 76452 | 38062 3 | 58 | 319 923.78/924.15 c 590s | 14 | 1385637 | 76752 | 38062 3 | 58 | 319 926.57/926.91 c 593s | 14 | 1396055 | 77152 | 38062 3 | 58 | 319 928.67/929.06 c 595s | 14 | 1404516 | 77452 | 38062 3 | 58 | 319 930.67/931.08 c 597s | 14 | 1407464 | 77852 | 38062 3 | 58 | 319 932.77/933.16 c 599s | 14 | 1414511 | 78152 | 38062 3 | 58 | 319 935.07/935.44 c 602s | 14 | 1417439 | 78652 | 38062 3 | 58 | 319 937.17/937.58 c 604s | 14 | 1421170 | 79152 | 38062 3 | 58 | 319 939.57/939.94 c 606s | 14 | 1424468 | 79652 | 38062 3 | 58 | 319 941.57/941.95 c 608s | 14 | 1425640 | 79952 | 38062 3 | 58 | 319 944.06/944.40 c 611s | 14 | 1434881 | 80252 | 38062 3 | 58 | 319 946.16/946.57 c 613s | 14 | 1440194 | 80552 | 38062 3 | 58 | 319 948.26/948.66 c 615s | 14 | 1445671 | 80852 | 38062 3 | 58 | 319 950.66/951.03 c 617s | 14 | 1452785 | 81152 | 38062 3 | 58 | 319 953.26/953.61 c 620s | 14 | 1460177 | 81452 | 38062 3 | 58 | 319 956.16/956.57 c 623s | 14 | 1469974 | 81852 | 38062 3 | 58 | 319 958.86/959.30 c 626s | 14 | 1477128 | 82152 | 38062 3 | 58 | 319 962.06/962.47 c 629s | 14 | 1485164 | 82452 | 38062 3 | 58 | 319 964.46/964.89 c 631s | 14 | 1490191 | 82752 | 38062 3 | 58 | 319 967.35/967.76 c 634s | 14 | 1493277 | 82952 | 38062 3 | 58 | 319 970.05/970.46 c 637s | 14 | 1497200 | 83152 | 38062 3 | 58 | 319 972.25/972.62 c 639s | 14 | 1499971 | 83352 | 38062 3 | 58 | 319 974.36/974.73 c 641s | 14 | 1504597 | 83552 | 38062 3 | 58 | 319 977.05/977.45 c 644s | 14 | 1509767 | 83752 | 38062 3 | 58 | 319 979.35/979.75 c 646s | 14 | 1513685 | 84052 | 38062 3 | 58 | 319 981.95/982.34 c 649s | 14 | 1517285 | 84352 | 38062 3 | 58 | 319 984.15/984.60 c 651s | 14 | 1520329 | 84952 | 38062 3 | 58 | 319 986.45/986.88 c 653s | 14 | 1525635 | 85252 | 38062 3 | 58 | 319 988.55/988.92 c 655s | 14 | 1529092 | 85452 | 38062 3 | 58 | 319 991.44/991.86 c 658s | 14 | 1534164 | 85652 | 38062 3 | 58 | 319 993.84/994.25 c 661s | 14 | 1536805 | 85952 | 41869 3 | 58 | 319 996.54/996.91 c 663s | 14 | 1541527 | 86252 | 41869 3 | 58 | 319 998.84/999.29 c 666s | 14 | 1546063 | 86552 | 41869 3 | 58 | 319 1001.64/1002.07 c 668s | 14 | 1552489 | 86752 | 41869 3 | 58 | 319 1003.95/1004.36 c 671s | 14 | 1555644 | 87052 | 41869 3 | 58 | 319 1006.04/1006.42 c 673s | 14 | 1558996 | 87352 | 41869 3 | 58 | 319 1007.74/1008.17 c 674s | 15 | 1567437 | 87632 | 41869 3 | 58 | 319 1010.74/1011.13 c 677s | 15 | 1572951 | 87932 | 41869 3 | 58 | 319 1013.34/1013.78 c 680s | 15 | 1579593 | 88132 | 41869 3 | 58 | 319 1015.54/1015.94 c 682s | 15 | 1587094 | 88432 | 41869 3 | 58 | 319 1018.24/1018.70 c 685s | 15 | 1595510 | 88732 | 41869 3 | 58 | 319 1020.84/1021.24 c 688s | 15 | 1600279 | 89132 | 41869 3 | 58 | 319 1023.14/1023.54 c 690s | 15 | 1605417 | 89532 | 41869 3 | 58 | 319 1025.24/1025.60 c 692s | 15 | 1608580 | 89932 | 41869 3 | 58 | 319 1027.44/1027.85 c 694s | 15 | 1613946 | 90232 | 41869 3 | 58 | 319 1029.53/1029.94 c 696s | 15 | 1618187 | 90532 | 41869 3 | 58 | 319 1032.64/1033.04 c 699s | 15 | 1624995 | 90832 | 41869 3 | 58 | 319 1034.84/1035.27 c 702s | 15 | 1628708 | 91032 | 41869 3 | 58 | 319 1037.13/1037.56 c 704s | 15 | 1632201 | 91232 | 41869 3 | 58 | 319 1039.43/1039.81 c 706s | 15 | 1638659 | 91532 | 41869 3 | 58 | 319 1042.03/1042.42 c 709s | 15 | 1650860 | 91732 | 41869 3 | 58 | 319 1044.43/1044.87 c 711s | 15 | 1659459 | 92032 | 41869 3 | 58 | 319 1046.84/1047.26 c 714s | 15 | 1665878 | 92332 | 41869 3 | 58 | 319 1049.83/1050.24 c 717s | 15 | 1673028 | 92732 | 41869 3 | 58 | 319 1052.13/1052.51 c 719s | 15 | 1677517 | 93032 | 41869 3 | 58 | 319 1054.23/1054.62 c 721s | 15 | 1683079 | 93332 | 41869 3 | 58 | 319 1057.03/1057.45 c 724s | 15 | 1687874 | 93832 | 41869 3 | 58 | 319 1060.23/1060.69 c 727s | 15 | 1694425 | 94132 | 41869 3 | 58 | 319 1063.45/1063.86 c 730s | 15 | 1701547 | 94432 | 41869 3 | 58 | 319 1065.64/1066.05 c 732s | 15 | 1705259 | 94732 | 41869 3 | 58 | 319 1068.04/1068.40 c 735s | 15 | 1709205 | 95032 | 41869 3 | 58 | 319 1070.44/1070.87 c 737s | 15 | 1714012 | 95432 | 41869 3 | 58 | 319 1072.64/1073.09 c 739s | 15 | 1720665 | 95732 | 41869 3 | 58 | 319 1074.94/1075.35 c 742s | 15 | 1725468 | 96132 | 41869 3 | 58 | 319 1077.44/1077.87 c 744s | 15 | 1730226 | 96532 | 41869 3 | 58 | 319 1080.04/1080.45 c 747s | 15 | 1734064 | 96932 | 41869 3 | 58 | 319 1082.43/1082.86 c 749s | 15 | 1738401 | 97232 | 41869 3 | 58 | 319 1084.73/1085.18 c 752s | 15 | 1744127 | 97532 | 41869 3 | 58 | 319 1087.23/1087.60 c 754s | 15 | 1747324 | 97932 | 41869 3 | 58 | 319 1089.23/1089.64 c 756s | 15 | 1750112 | 98232 | 41869 3 | 58 | 319 1091.94/1092.33 c 759s | 15 | 1753128 | 98532 | 41869 3 | 58 | 319 1094.33/1094.76 c 761s | 15 | 1755984 | 98932 | 41869 3 | 58 | 319 1096.44/1096.83 c 763s | 15 | 1758056 | 99232 | 41869 4 | 58 | 319 1098.43/1098.86 c 765s | 15 | 1760106 | 99632 | 41869 4 | 58 | 319 1100.74/1101.19 c 768s | 15 | 1765391 | 100032 | 41869 4 | 58 | 319 1103.23/1103.67 c 770s | 15 | 1768209 | 100332 | 41869 4 | 58 | 319 1105.24/1105.69 c 772s | 15 | 1770654 | 100632 | 41869 4 | 58 | 319 1107.33/1107.73 c 774s | 15 | 1774114 | 101032 | 41869 4 | 58 | 319 1110.13/1110.58 c 777s | 15 | 1783197 | 101432 | 41869 4 | 58 | 319 1112.23/1112.65 c 779s | 15 | 1786359 | 101732 | 41869 4 | 58 | 319 1114.53/1114.91 c 781s | 15 | 1790611 | 101932 | 41869 4 | 58 | 319 1116.73/1117.12 c 783s | 15 | 1794968 | 102132 | 41869 4 | 58 | 319 1119.13/1119.54 c 786s | 15 | 1799973 | 102432 | 41869 4 | 58 | 319 1121.43/1121.82 c 788s | 15 | 1802321 | 102732 | 41869 4 | 58 | 319 1124.13/1124.51 c 791s | 15 | 1805699 | 103232 | 41869 4 | 58 | 319 1126.23/1126.62 c 793s | 15 | 1811276 | 103632 | 41869 4 | 58 | 319 1128.23/1128.68 c 795s | 15 | 1813064 | 104032 | 41869 4 | 58 | 319 1130.82/1131.20 c 798s | 15 | 1815978 | 104432 | 41869 4 | 58 | 319 1133.02/1133.40 c 800s | 15 | 1818838 | 104832 | 41869 4 | 58 | 319 1135.62/1136.07 c 802s | 15 | 1823002 | 105232 | 41869 4 | 58 | 319 1138.32/1138.79 c 805s | 15 | 1826161 | 105532 | 41869 4 | 58 | 319 1140.72/1141.15 c 807s | 15 | 1829524 | 105932 | 41869 4 | 58 | 319 1143.12/1143.52 c 810s | 15 | 1831514 | 106432 | 41869 4 | 58 | 319 1145.22/1145.64 c 812s | 15 | 1834221 | 106732 | 41869 4 | 58 | 319 1148.22/1148.62 c 815s | 15 | 1846660 | 107032 | 41869 4 | 58 | 319 1150.42/1150.82 c 817s | 15 | 1851727 | 107332 | 41869 4 | 58 | 319 1153.02/1153.49 c 820s | 15 | 1860751 | 107732 | 41869 4 | 58 | 319 1155.92/1156.36 c 823s | 15 | 1868903 | 108032 | 41869 4 | 58 | 319 1158.62/1159.02 c 825s | 15 | 1876763 | 108232 | 41869 4 | 58 | 319 1161.33/1161.71 c 828s | 15 | 1882835 | 108532 | 41869 4 | 58 | 319 1163.53/1163.98 c 830s | 15 | 1885517 | 108732 | 41869 4 | 58 | 319 1165.92/1166.35 c 833s | 15 | 1895984 | 108932 | 41869 4 | 58 | 319 1169.22/1169.68 c 836s | 15 | 1904553 | 109232 | 41869 4 | 58 | 319 1171.62/1172.03 c 838s | 15 | 1907623 | 109532 | 41869 4 | 58 | 319 1174.53/1174.99 c 841s | 15 | 1913555 | 109832 | 41869 4 | 58 | 319 1176.63/1177.06 c 843s | 15 | 1920296 | 109932 | 41869 4 | 58 | 319 1179.62/1180.04 c 846s | 15 | 1924212 | 110232 | 41869 4 | 58 | 319 1182.02/1182.49 c 849s | 15 | 1928260 | 110532 | 41869 4 | 58 | 319 1184.72/1185.15 c 851s | 15 | 1936152 | 110832 | 41869 4 | 58 | 319 1186.72/1187.20 c 854s | 15 | 1942862 | 111032 | 41869 4 | 58 | 319 1189.82/1190.30 c 857s | 15 | 1948004 | 111332 | 41869 4 | 58 | 319 1192.82/1193.22 c 860s | 15 | 1952321 | 111532 | 41869 4 | 58 | 319 1195.22/1195.68 c 862s | 15 | 1957802 | 111832 | 41869 4 | 58 | 319 1198.12/1198.59 c 865s | 15 | 1964418 | 112032 | 41869 4 | 58 | 319 1201.12/1201.55 c 868s | 15 | 1972513 | 112332 | 41869 4 | 58 | 319 1203.32/1203.75 c 870s | 15 | 1975994 | 112532 | 41869 4 | 58 | 319 1205.52/1205.95 c 872s | 15 | 1980342 | 112932 | 41869 4 | 58 | 319 1209.21/1209.66 c 876s | 15 | 1987637 | 113132 | 41869 4 | 58 | 319 1211.82/1212.23 c 879s | 15 | 1992480 | 113432 | 41869 4 | 58 | 319 1214.31/1214.72 c 881s | 15 | 1998631 | 113632 | 41869 4 | 58 | 319 1216.51/1216.93 c 883s | 15 | 2001831 | 113832 | 41869 4 | 58 | 319 1218.81/1219.23 c 886s | 15 | 2005553 | 114032 | 41869 4 | 58 | 319 1221.11/1221.57 c 888s | 15 | 2010104 | 114232 | 41869 4 | 58 | 319 1224.21/1224.67 c 891s | 15 | 2015680 | 114532 | 41869 4 | 58 | 319 1227.11/1227.53 c 894s | 15 | 2018971 | 114832 | 41869 4 | 58 | 319 1229.21/1229.62 c 896s | 15 | 2022454 | 115032 | 41869 4 | 58 | 319 1231.51/1231.91 c 898s | 15 | 2027393 | 115232 | 41869 4 | 58 | 319 1233.51/1233.97 c 900s | 15 | 2031295 | 115532 | 41869 4 | 58 | 319 1235.81/1236.27 c 903s | 15 | 2036082 | 115832 | 41869 4 | 58 | 319 1238.21/1238.67 c 905s | 15 | 2041118 | 116132 | 41869 4 | 58 | 319 1240.41/1240.87 c 907s | 15 | 2044499 | 116432 | 41869 4 | 58 | 319 1243.21/1243.61 c 910s | 15 | 2048743 | 116632 | 41869 4 | 58 | 319 1246.11/1246.57 c 913s | 15 | 2055906 | 116932 | 41869 4 | 58 | 319 1249.21/1249.66 c 916s | 15 | 2061321 | 117232 | 41869 4 | 58 | 319 1251.41/1251.86 c 918s | 15 | 2064577 | 117432 | 41869 4 | 58 | 319 1253.81/1254.24 c 921s | 15 | 2068671 | 117732 | 41869 4 | 58 | 319 1256.81/1257.30 c 924s | 15 | 2074017 | 118032 | 41869 4 | 58 | 319 1259.70/1260.12 c 926s | 15 | 2078934 | 118332 | 41869 4 | 58 | 319 1262.10/1262.55 c 929s | 15 | 2082104 | 118632 | 41869 4 | 58 | 319 1264.20/1264.64 c 931s | 15 | 2084380 | 118832 | 41869 4 | 58 | 319 1266.91/1267.37 c 934s | 15 | 2088929 | 119132 | 41869 4 | 58 | 319 1269.80/1270.26 c 937s | 15 | 2093527 | 119432 | 41869 4 | 58 | 319 1272.60/1273.09 c 939s | 15 | 2099044 | 119732 | 41869 4 | 58 | 319 1274.90/1275.39 c 942s | 15 | 2102557 | 120032 | 41869 4 | 58 | 319 1277.30/1277.78 c 944s | 15 | 2108477 | 120432 | 41869 4 | 58 | 319 1279.80/1280.25 c 947s | 15 | 2116680 | 120732 | 41869 5 | 58 | 319 1282.21/1282.68 c 949s | 15 | 2122395 | 121132 | 41869 5 | 58 | 319 1285.10/1285.50 c 952s | 15 | 2127774 | 121532 | 41869 5 | 58 | 319 1287.30/1287.75 c 954s | 15 | 2136358 | 121832 | 41869 5 | 58 | 319 1289.50/1289.93 c 956s | 15 | 2141514 | 122232 | 41869 5 | 58 | 319 1292.10/1292.54 c 959s | 15 | 2146917 | 122632 | 41869 5 | 58 | 319 1294.40/1294.82 c 961s | 15 | 2149971 | 123032 | 41869 5 | 58 | 319 1296.70/1297.14 c 963s | 15 | 2155883 | 123432 | 41869 5 | 58 | 319 1299.30/1299.76 c 966s | 15 | 2159037 | 123832 | 41869 5 | 58 | 319 1301.79/1302.23 c 969s | 15 | 2161271 | 124232 | 41869 5 | 58 | 319 1303.99/1304.40 c 971s | 15 | 2164071 | 124632 | 41869 5 | 58 | 319 1306.29/1306.75 c 973s | 15 | 2167040 | 125032 | 41869 5 | 58 | 319 1308.79/1309.20 c 976s | 15 | 2171772 | 125532 | 41869 5 | 58 | 319 1310.90/1311.30 c 978s | 15 | 2175421 | 125932 | 41869 5 | 58 | 319 1313.10/1313.50 c 980s | 15 | 2178333 | 126332 | 41869 5 | 58 | 319 1315.30/1315.79 c 982s | 15 | 2182393 | 126732 | 41869 5 | 58 | 319 1317.79/1318.29 c 985s | 15 | 2184881 | 127232 | 41869 5 | 58 | 319 1319.99/1320.49 c 987s | 15 | 2188101 | 127632 | 41869 5 | 58 | 319 1322.19/1322.66 c 989s | 15 | 2192721 | 128032 | 41869 5 | 58 | 319 1324.39/1324.87 c 991s | 15 | 2196566 | 128432 | 41869 5 | 58 | 319 1326.99/1327.47 c 994s | 15 | 2200471 | 128832 | 41869 5 | 58 | 319 1330.10/1330.50 c 997s | 15 | 2205764 | 129232 | 41869 5 | 58 | 319 1332.60/1333.03 c 999s | 15 | 2212244 | 129532 | 41869 5 | 58 | 319 1334.80/1335.26 c 1002s | 15 | 2217585 | 129832 | 41869 5 | 58 | 319 1337.20/1337.66 c 1004s | 15 | 2224291 | 130132 | 41869 5 | 58 | 319 1340.29/1340.74 c 1007s | 15 | 2231873 | 130332 | 41869 5 | 58 | 319 1342.59/1343.09 c 1009s | 15 | 2237304 | 130632 | 41869 5 | 58 | 319 1344.79/1345.29 c 1012s | 15 | 2242217 | 130932 | 41869 5 | 58 | 319 1347.19/1347.61 c 1014s | 15 | 2249717 | 131232 | 41869 5 | 58 | 319 1348.99/1349.45 c 1016s | 16 | 2254067 | 131552 | 41869 5 | 58 | 319 1351.29/1351.75 c 1018s | 16 | 2258339 | 131752 | 41869 5 | 58 | 319 1354.39/1354.89 c 1021s | 16 | 2268737 | 132052 | 41869 5 | 58 | 319 1356.49/1356.91 c 1023s | 16 | 2275095 | 132252 | 41869 5 | 58 | 319 1359.08/1359.59 c 1026s | 16 | 2280755 | 132552 | 41869 5 | 58 | 319 1361.58/1362.10 c 1028s | 16 | 2289986 | 132852 | 41869 5 | 58 | 319 1364.18/1364.68 c 1031s | 16 | 2293875 | 133152 | 41869 5 | 58 | 319 1366.89/1367.36 c 1034s | 16 | 2302169 | 133352 | 41869 5 | 58 | 319 1369.58/1370.05 c 1036s | 16 | 2305599 | 133652 | 41869 5 | 58 | 319 1371.68/1372.15 c 1038s | 16 | 2310304 | 133952 | 41869 5 | 58 | 319 1373.78/1374.22 c 1041s | 16 | 2315133 | 134252 | 41869 5 | 58 | 319 1376.48/1376.90 c 1043s | 16 | 2323682 | 134552 | 41869 5 | 58 | 319 1378.48/1378.92 c 1045s | 16 | 2328880 | 134752 | 41869 5 | 58 | 319 1380.78/1381.25 c 1048s | 16 | 2334570 | 135052 | 41869 5 | 58 | 319 1382.88/1383.35 c 1050s | 16 | 2339256 | 135352 | 41869 5 | 58 | 319 1385.28/1385.73 c 1052s | 16 | 2346797 | 135652 | 41869 5 | 58 | 319 1388.28/1388.79 c 1055s | 16 | 2357449 | 135952 | 41869 5 | 58 | 319 1390.78/1391.24 c 1058s | 16 | 2367115 | 136152 | 41869 5 | 58 | 319 1393.39/1393.89 c 1060s | 16 | 2373281 | 136452 | 41869 5 | 58 | 319 1396.18/1396.67 c 1063s | 16 | 2381759 | 136752 | 41869 5 | 58 | 319 1398.48/1398.92 c 1065s | 16 | 2386326 | 137052 | 41869 5 | 58 | 319 1400.68/1401.17 c 1067s | 16 | 2391383 | 137352 | 41869 5 | 58 | 319 1402.89/1403.30 c 1070s | 16 | 2400496 | 137552 | 41869 5 | 58 | 319 1404.99/1405.47 c 1072s | 16 | 2404993 | 137852 | 41869 5 | 58 | 319 1407.49/1407.94 c 1074s | 16 | 2408956 | 138152 | 41869 5 | 58 | 319 1410.39/1410.84 c 1077s | 16 | 2412880 | 138552 | 41869 5 | 58 | 319 1412.89/1413.30 c 1080s | 16 | 2418928 | 138852 | 41869 5 | 58 | 319 1415.49/1415.99 c 1082s | 16 | 2424886 | 139152 | 41869 5 | 58 | 319 1417.59/1418.08 c 1084s | 16 | 2428814 | 139452 | 41869 5 | 58 | 319 1420.08/1420.53 c 1087s | 16 | 2431573 | 139752 | 41869 5 | 58 | 319 1422.38/1422.86 c 1089s | 16 | 2437058 | 140052 | 41869 5 | 58 | 319 1424.78/1425.26 c 1092s | 16 | 2440960 | 140452 | 41869 5 | 58 | 319 1426.98/1427.41 c 1094s | 16 | 2444108 | 140852 | 41869 5 | 58 | 319 1429.28/1429.75 c 1096s | 16 | 2447963 | 141352 | 41869 5 | 58 | 319 1431.68/1432.15 c 1098s | 16 | 2450753 | 141852 | 41869 5 | 58 | 319 1434.09/1434.59 c 1101s | 16 | 2452450 | 142152 | 41869 5 | 58 | 319 1436.58/1437.03 c 1103s | 16 | 2456295 | 142452 | 41869 6 | 58 | 319 1438.68/1439.10 c 1105s | 16 | 2459556 | 142752 | 41869 6 | 58 | 319 1441.48/1441.99 c 1108s | 16 | 2464011 | 143152 | 41869 6 | 58 | 319 1444.58/1445.03 c 1111s | 16 | 2470187 | 143352 | 41869 6 | 58 | 319 1446.78/1447.20 c 1114s | 16 | 2473796 | 143652 | 41869 6 | 58 | 319 1449.18/1449.60 c 1116s | 16 | 2478104 | 144152 | 41869 6 | 58 | 319 1451.38/1451.84 c 1118s | 16 | 2480840 | 144452 | 41869 6 | 58 | 319 1453.88/1454.36 c 1121s | 16 | 2486882 | 144752 | 41869 6 | 58 | 319 1456.88/1457.31 c 1124s | 16 | 2493809 | 145052 | 41869 6 | 58 | 319 1459.28/1459.75 c 1126s | 16 | 2497241 | 145352 | 41869 6 | 58 | 319 1461.58/1462.02 c 1128s | 16 | 2497868 | 145652 | 41869 6 | 58 | 319 1463.87/1464.38 c 1131s | 16 | 2502040 | 146052 | 41869 6 | 58 | 319 1467.27/1467.75 c 1134s | 16 | 2504449 | 146452 | 41869 6 | 58 | 319 1469.77/1470.20 c 1137s | 16 | 2506903 | 146952 | 41869 6 | 58 | 319 1471.87/1472.30 c 1139s | 16 | 2508313 | 147352 | 41869 6 | 58 | 319 1474.27/1474.75 c 1141s | 16 | 2511108 | 147852 | 41869 6 | 58 | 319 1476.67/1477.18 c 1144s | 16 | 2513635 | 148352 | 41869 6 | 58 | 319 1478.68/1479.18 c 1146s | 16 | 2515902 | 148752 | 41869 6 | 58 | 319 1480.98/1481.46 c 1148s | 16 | 2518488 | 149152 | 41869 6 | 58 | 319 1483.48/1483.96 c 1150s | 16 | 2521339 | 149552 | 41869 6 | 58 | 319 1485.97/1486.48 c 1153s | 16 | 2524680 | 150052 | 41869 6 | 58 | 319 1488.07/1488.52 c 1155s | 16 | 2527089 | 150252 | 41869 6 | 58 | 319 1491.07/1491.51 c 1158s | 16 | 2529837 | 150552 | 41869 6 | 58 | 319 1493.38/1493.89 c 1160s | 16 | 2532095 | 150952 | 41869 6 | 58 | 319 1495.47/1495.99 c 1162s | 16 | 2535143 | 151352 | 41869 6 | 58 | 319 1497.47/1497.99 c 1164s | 16 | 2537710 | 151552 | 41869 6 | 58 | 319 1500.17/1500.63 c 1167s | 16 | 2539721 | 151852 | 41869 6 | 58 | 319 1503.07/1503.51 c 1170s | 16 | 2544272 | 152252 | 41869 6 | 58 | 319 1505.07/1505.57 c 1172s | 16 | 2548451 | 152452 | 41869 6 | 58 | 319 1507.87/1508.34 c 1175s | 16 | 2557489 | 152752 | 41869 6 | 58 | 319 1510.57/1511.08 c 1177s | 16 | 2564989 | 153052 | 41869 6 | 58 | 319 1512.87/1513.30 c 1180s | 16 | 2568712 | 153352 | 41869 6 | 58 | 319 1515.27/1515.74 c 1182s | 16 | 2574148 | 153652 | 41869 6 | 58 | 319 1518.17/1518.66 c 1185s | 16 | 2583614 | 153952 | 41869 6 | 58 | 319 1520.57/1521.08 c 1187s | 16 | 2588843 | 154252 | 41869 6 | 58 | 319 1523.26/1523.75 c 1190s | 16 | 2593728 | 154452 | 41869 6 | 58 | 319 1526.06/1526.58 c 1193s | 16 | 2596833 | 154752 | 41869 6 | 58 | 319 1528.46/1528.90 c 1195s | 16 | 2599142 | 155052 | 41869 6 | 58 | 319 1531.16/1531.66 c 1198s | 16 | 2604343 | 155352 | 41869 6 | 58 | 319 1533.76/1534.22 c 1201s | 16 | 2608271 | 155652 | 41869 6 | 58 | 319 1535.96/1536.45 c 1203s | 16 | 2612114 | 156052 | 41869 6 | 58 | 319 1538.26/1538.70 c 1205s | 16 | 2616115 | 156352 | 41869 6 | 58 | 319 1540.67/1541.17 c 1207s | 16 | 2621120 | 156652 | 41869 6 | 58 | 319 1543.36/1543.86 c 1210s | 16 | 2624878 | 156852 | 41869 6 | 58 | 319 1545.86/1546.37 c 1213s | 16 | 2627639 | 157152 | 41869 6 | 58 | 319 1548.26/1548.74 c 1215s | 16 | 2631830 | 157452 | 41869 6 | 58 | 319 1551.06/1551.58 c 1218s | 16 | 2636749 | 157752 | 41869 6 | 58 | 319 1553.76/1554.23 c 1221s | 16 | 2643039 | 158052 | 41869 6 | 58 | 319 1555.86/1556.37 c 1223s | 16 | 2647256 | 158252 | 41869 6 | 58 | 319 1557.96/1558.43 c 1225s | 16 | 2652400 | 158452 | 41869 6 | 58 | 319 1560.66/1561.16 c 1227s | 16 | 2655412 | 158752 | 41869 6 | 58 | 319 1562.96/1563.47 c 1230s | 16 | 2661522 | 159052 | 41869 6 | 58 | 319 1565.16/1565.62 c 1232s | 16 | 2664349 | 159352 | 41869 6 | 58 | 319 1567.16/1567.67 c 1234s | 16 | 2668075 | 159652 | 41869 6 | 58 | 319 1569.66/1570.19 c 1237s | 16 | 2672661 | 159952 | 41869 6 | 58 | 319 1572.06/1572.52 c 1239s | 16 | 2675644 | 160252 | 41869 6 | 58 | 319 1574.55/1575.06 c 1241s | 16 | 2680566 | 160652 | 41869 6 | 58 | 319 1576.75/1577.22 c 1244s | 16 | 2683358 | 160952 | 41869 6 | 58 | 319 1579.26/1579.78 c 1246s | 16 | 2690628 | 161352 | 41869 6 | 58 | 319 1581.55/1582.06 c 1248s | 16 | 2695978 | 161652 | 41869 6 | 58 | 319 1583.95/1584.47 c 1251s | 16 | 2701671 | 162052 | 41869 6 | 58 | 319 1586.05/1586.51 c 1253s | 16 | 2705135 | 162452 | 41869 6 | 58 | 319 1588.45/1588.97 c 1255s | 16 | 2710863 | 162852 | 41869 6 | 58 | 319 1590.85/1591.35 c 1258s | 16 | 2714501 | 163252 | 41869 6 | 58 | 319 1593.75/1594.26 c 1261s | 16 | 2718127 | 163652 | 41869 6 | 58 | 319 1595.95/1596.42 c 1263s | 16 | 2720434 | 163952 | 41869 7 | 58 | 319 1598.25/1598.76 c 1265s | 16 | 2724997 | 164352 | 41869 7 | 58 | 319 1600.55/1601.04 c 1267s | 16 | 2728515 | 164752 | 41869 7 | 58 | 319 1603.05/1603.51 c 1270s | 16 | 2731399 | 165152 | 41869 7 | 58 | 319 1605.35/1605.86 c 1272s | 16 | 2734137 | 165552 | 41869 7 | 58 | 319 1607.55/1608.07 c 1274s | 16 | 2738094 | 165852 | 41869 7 | 58 | 319 1609.75/1610.22 c 1277s | 16 | 2740157 | 166152 | 41869 7 | 58 | 319 1611.85/1612.35 c 1279s | 16 | 2742503 | 166552 | 41869 7 | 58 | 319 1614.15/1614.60 c 1281s | 16 | 2744906 | 166952 | 41869 7 | 58 | 319 1616.45/1616.98 c 1283s | 16 | 2751148 | 167352 | 41869 7 | 58 | 319 1618.75/1619.24 c 1286s | 16 | 2755873 | 167752 | 41869 7 | 58 | 319 1620.75/1621.26 c 1288s | 16 | 2760112 | 168152 | 41869 7 | 58 | 319 1623.65/1624.16 c 1290s | 16 | 2764889 | 168552 | 41869 7 | 58 | 319 1625.95/1626.48 c 1293s | 16 | 2770458 | 168852 | 41869 7 | 58 | 319 1628.65/1629.17 c 1295s | 16 | 2773151 | 169252 | 41869 7 | 58 | 319 1630.85/1631.36 c 1298s | 16 | 2775599 | 169552 | 41869 7 | 58 | 319 1633.05/1633.53 c 1300s | 16 | 2779299 | 169852 | 41869 7 | 58 | 319 1635.35/1635.85 c 1302s | 16 | 2783250 | 170152 | 41869 7 | 58 | 319 1637.74/1638.28 c 1305s | 16 | 2786263 | 170452 | 41869 7 | 58 | 319 1640.44/1640.91 c 1307s | 16 | 2789042 | 170852 | 41869 7 | 58 | 319 1643.34/1643.88 c 1310s | 16 | 2793794 | 171152 | 41869 7 | 58 | 319 1645.94/1646.45 c 1313s | 16 | 2797309 | 171452 | 41869 7 | 58 | 319 1648.04/1648.52 c 1315s | 16 | 2801900 | 171752 | 41869 7 | 58 | 319 1650.44/1650.93 c 1317s | 16 | 2804517 | 172052 | 41869 7 | 58 | 319 1653.44/1653.94 c 1320s | 16 | 2811396 | 172352 | 41869 7 | 58 | 319 1655.74/1656.28 c 1323s | 16 | 2816411 | 172652 | 41869 7 | 58 | 319 1659.14/1659.66 c 1326s | 16 | 2822009 | 172852 | 41869 7 | 58 | 319 1661.44/1661.99 c 1328s | 16 | 2827045 | 173052 | 41869 7 | 58 | 319 1663.74/1664.26 c 1331s | 16 | 2830520 | 173352 | 41869 7 | 58 | 319 1666.15/1666.68 c 1333s | 16 | 2834203 | 173552 | 41869 7 | 58 | 319 1669.14/1669.63 c 1336s | 16 | 2840393 | 173752 | 41869 7 | 58 | 319 1671.94/1672.40 c 1339s | 16 | 2846448 | 174052 | 41869 7 | 58 | 319 1674.74/1675.28 c 1342s | 16 | 2851660 | 174352 | 41869 7 | 58 | 319 1677.44/1677.94 c 1344s | 16 | 2856009 | 174752 | 41869 7 | 58 | 319 1679.64/1680.11 c 1346s | 16 | 2858593 | 175052 | 41869 7 | 58 | 319 1681.74/1682.28 c 1349s | 16 | 2860836 | 175352 | 41869 7 | 58 | 319 1684.14/1684.65 c 1351s | 16 | 2864643 | 175652 | 41869 7 | 58 | 319 1686.33/1686.80 c 1353s | 16 | 2869518 | 175952 | 41869 7 | 58 | 319 1688.83/1689.38 c 1356s | 16 | 2873431 | 176252 | 41869 7 | 58 | 319 1690.93/1691.44 c 1358s | 16 | 2877078 | 176652 | 41869 7 | 58 | 319 1693.23/1693.73 c 1360s | 16 | 2879465 | 177052 | 41869 7 | 58 | 319 1695.63/1696.11 c 1362s | 16 | 2882847 | 177452 | 41869 7 | 58 | 319 1697.64/1698.18 c 1365s | 16 | 2885344 | 177752 | 41869 7 | 58 | 319 1700.25/1700.79 c 1367s | 16 | 2887444 | 178152 | 41869 7 | 58 | 319 1702.45/1702.93 c 1369s | 16 | 2888450 | 178452 | 41869 7 | 58 | 319 1704.94/1705.42 c 1372s | 16 | 2890160 | 178752 | 41869 7 | 58 | 319 1707.54/1708.03 c 1374s | 16 | 2892482 | 179252 | 41869 7 | 58 | 319 1709.54/1710.07 c 1376s | 16 | 2896050 | 179552 | 41869 7 | 58 | 319 1711.94/1712.45 c 1379s | 16 | 2897646 | 179952 | 41869 7 | 58 | 319 1714.34/1714.87 c 1381s | 16 | 2901576 | 180252 | 41869 7 | 58 | 319 1717.14/1717.68 c 1384s | 16 | 2905345 | 180652 | 41869 7 | 58 | 319 1719.24/1719.75 c 1386s | 16 | 2907846 | 180952 | 41869 7 | 58 | 319 1722.04/1722.53 c 1389s | 16 | 2911701 | 181252 | 41869 7 | 58 | 319 1724.14/1724.63 c 1391s | 16 | 2913721 | 181552 | 41869 7 | 58 | 319 1726.54/1727.07 c 1393s | 16 | 2917059 | 181852 | 41869 7 | 58 | 319 1729.03/1729.58 c 1396s | 16 | 2920357 | 182152 | 41869 7 | 58 | 319 1731.53/1732.07 c 1398s | 16 | 2924770 | 182452 | 41869 7 | 58 | 319 1734.43/1734.90 c 1401s | 16 | 2927258 | 182852 | 41869 7 | 58 | 319 1736.73/1737.28 c 1404s | 16 | 2929597 | 183152 | 41869 7 | 58 | 319 1739.43/1739.93 c 1406s | 16 | 2931732 | 183452 | 41869 7 | 58 | 319 1742.13/1742.68 c 1409s | 16 | 2935319 | 183752 | 41869 7 | 58 | 319 1744.43/1744.96 c 1411s | 16 | 2936650 | 184152 | 46056 7 | 58 | 319 1746.93/1747.42 c 1414s | 16 | 2938117 | 184552 | 46056 7 | 58 | 319 1749.33/1749.85 c 1416s | 16 | 2941581 | 185052 | 46056 7 | 58 | 319 1751.84/1752.30 c 1419s | 16 | 2943025 | 185452 | 46056 7 | 58 | 319 1753.83/1754.37 c 1421s | 16 | 2947161 | 185752 | 46056 7 | 58 | 319 1756.24/1756.72 c 1423s | 16 | 2949287 | 186152 | 46056 7 | 58 | 319 1758.63/1759.16 c 1425s | 16 | 2953215 | 186652 | 46056 7 | 58 | 319 1761.23/1761.77 c 1428s | 16 | 2956039 | 187052 | 46056 7 | 58 | 319 1763.73/1764.25 c 1431s | 16 | 2958641 | 187452 | 46056 7 | 58 | 319 1766.53/1767.02 c 1433s | 16 | 2959634 | 187752 | 46056 7 | 58 | 319 1769.33/1769.82 c 1436s | 16 | 2961377 | 188152 | 46056 7 | 58 | 319 1771.43/1771.95 c 1438s | 16 | 2962249 | 188452 | 46056 7 | 58 | 319 1773.83/1774.35 c 1441s | 16 | 2963777 | 188852 | 46056 7 | 58 | 319 1776.23/1776.74 c 1443s | 16 | 2965200 | 189252 | 46056 7 | 58 | 319 1778.73/1779.27 c 1446s | 16 | 2966447 | 189552 | 46056 8 | 58 | 319 1781.03/1781.51 c 1448s | 16 | 2968362 | 189952 | 46056 8 | 58 | 319 1783.33/1783.80 c 1450s | 16 | 2970118 | 190352 | 46056 8 | 58 | 319 1785.82/1786.31 c 1453s | 16 | 2975403 | 190752 | 46056 8 | 58 | 319 1788.32/1788.83 c 1455s | 16 | 2980859 | 191052 | 46056 8 | 58 | 319 1791.62/1792.19 c 1459s | 16 | 2989134 | 191352 | 46056 8 | 58 | 319 1794.12/1794.61 c 1461s | 16 | 2992898 | 191552 | 46056 8 | 58 | 319 1796.72/1797.24 c 1464s | 16 | 3000003 | 191952 | 46056 8 | 58 | 319
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-4079698-1465243736/watcher-4079698-1465243736 -o /tmp/evaluation-result-4079698-1465243736/solver-4079698-1465243736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079698-1465243736.opb pid=7367 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 3/179 7370 /proc/meminfo: memFree=30726388/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=726460 CPUtime=0 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 2710 0 0 0 0 0 0 0 20 0 4 0 106308312 743895040 3581 33554432000 4194304 16246674 140735450586160 140735450585584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 182383 3591 441 2943 0 179277 0 [pid=7370/tid=7371] ppid=7367 vsize=742844 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 760672256 3645 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=753084 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 771158016 3682 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=757180 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 775352320 3701 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100231 s] /proc/loadavg: 1.92 1.99 1.99 3/179 7370 /proc/meminfo: memFree=30726388/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 28207 0 0 0 5 4 0 0 20 0 4 0 106308312 1250496512 29016 33554432000 4194304 16246674 140735450586160 140735450585472 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 305297 29023 800 2943 0 302191 0 [pid=7370/tid=7371] ppid=7367 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1250496512 29028 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1250496512 29033 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1250496512 29038 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200503 s] /proc/loadavg: 1.92 1.99 1.99 3/179 7370 /proc/meminfo: memFree=30726388/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 50494 0 0 0 12 7 0 0 20 0 4 0 106308312 1343819776 51814 33554432000 4194304 16246674 140735450586160 140735450585472 8058509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 328081 51814 800 2943 0 324975 0 [pid=7370/tid=7371] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 51814 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 51814 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 51814 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300515 s] /proc/loadavg: 1.92 1.99 1.99 3/179 7370 /proc/meminfo: memFree=30726388/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 60193 0 0 0 21 8 0 0 20 0 4 0 106308312 1343819776 61513 33554432000 4194304 16246674 140735450586160 140735450585472 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 328081 61513 800 2943 0 324975 0 [pid=7370/tid=7371] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 61513 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 61513 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 61513 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700421 s] /proc/loadavg: 1.92 1.99 1.99 3/179 7370 /proc/meminfo: memFree=30726388/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1312324 CPUtime=0.68 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 69126 0 0 0 59 9 0 0 20 0 4 0 106308312 1343819776 70446 33554432000 4194304 16246674 140735450586160 140735450568064 8057176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 328081 70446 800 2943 0 324975 0 [pid=7370/tid=7371] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 70446 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 70446 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 70446 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.50042 s] /proc/loadavg: 1.92 1.99 1.99 3/183 7374 /proc/meminfo: memFree=30403152/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1312324 CPUtime=1.49 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 86651 0 0 0 137 12 0 0 20 0 4 0 106308312 1343819776 87971 33554432000 4194304 16246674 140735450586160 140735450568064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 328081 87971 801 2943 0 324975 0 [pid=7370/tid=7371] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 87971 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 87971 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1343819776 87971 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1312324 [startup+3.10042 s] /proc/loadavg: 1.92 1.99 1.99 3/183 7374 /proc/meminfo: memFree=30056564/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1323588 CPUtime=3.09 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 271278 0 0 0 274 35 0 0 20 0 4 0 106308312 1355354112 272598 33554432000 4194304 16246674 140735450586160 140735450568064 7204020 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 330897 272598 834 2943 0 327791 0 [pid=7370/tid=7371] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272598 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272598 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272598 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1323588 [startup+6.30044 s] /proc/loadavg: 1.93 1.99 1.99 3/183 7374 /proc/meminfo: memFree=29635828/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1323588 CPUtime=6.29 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 271590 0 0 0 594 35 0 0 20 0 4 0 106308312 1355354112 272910 33554432000 4194304 16246674 140735450586160 140735450568064 5531892 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 330897 272910 909 2943 0 327791 0 [pid=7370/tid=7371] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272910 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272910 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272910 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1323588 [startup+12.7004 s] /proc/loadavg: 1.93 1.99 1.99 3/183 7374 /proc/meminfo: memFree=29635988/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1323588 CPUtime=12.68 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 271591 0 0 0 1233 35 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 140735450568064 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 330897 272911 910 2943 0 327791 0 [pid=7370/tid=7371] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1323588 [startup+25.5005 s] /proc/loadavg: 1.95 1.99 1.99 3/183 7374 /proc/meminfo: memFree=29636344/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1323588 CPUtime=25.49 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 271591 0 0 0 2511 38 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 140735450568064 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 330897 272911 910 2943 0 327791 0 [pid=7370/tid=7371] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272911 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1323588 [startup+51.1005 s] /proc/loadavg: 1.96 1.99 1.99 3/183 7374 /proc/meminfo: memFree=29636692/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1323588 CPUtime=51.08 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 271595 0 0 0 5051 57 0 0 20 0 4 0 106308312 1355354112 272915 33554432000 4194304 16246674 140735450586160 140735450568064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 330897 272915 914 2943 0 327791 0 [pid=7370/tid=7371] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272915 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272915 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1355354112 272915 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1323588 [startup+102.301 s] /proc/loadavg: 2.04 2.01 2.00 3/184 7378 /proc/meminfo: memFree=29612516/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1348164 CPUtime=102.28 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 277501 0 0 0 10144 84 0 0 20 0 4 0 106308312 1380519936 278821 33554432000 4194304 16246674 140735450586160 140735450568064 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 337041 278821 915 2943 0 333935 0 [pid=7370/tid=7371] ppid=7367 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1380519936 278821 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1380519936 278821 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1380519936 278821 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1348164 ################ # More data... # ################ /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1355332 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7508 /proc/meminfo: memFree=29603760/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1361.88 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 135994 194 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1355332 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/183 7509 /proc/meminfo: memFree=29603564/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1421.89 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 141994 195 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1355332 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/183 7510 /proc/meminfo: memFree=29603584/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1481.88 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 147990 198 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1355332 [startup+1542.31 s] /proc/loadavg: 2.00 2.03 2.00 4/183 7511 /proc/meminfo: memFree=29603636/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1541.87 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 153989 198 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1355332 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 7512 /proc/meminfo: memFree=29603184/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1601.85 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 159987 198 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1355332 [startup+1662.3 s] /proc/loadavg: 2.08 2.03 2.01 3/183 7514 /proc/meminfo: memFree=29602780/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1661.84 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 165986 198 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1355332 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 7515 /proc/meminfo: memFree=29602904/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1721.84 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 171985 199 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1355332 [startup+1782.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 7516 /proc/meminfo: memFree=29602456/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1781.83 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 177984 199 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1355332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.08 2.04 2.00 3/183 7516 /proc/meminfo: memFree=29602460/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1800.02 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 179803 199 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1355332 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 7370 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.08 2.04 2.00 3/183 7516 /proc/meminfo: memFree=29602460/32872528 swapFree=11372/178980 [pid=7370] ppid=7367 vsize=1355332 CPUtime=1800.02 cores=0,2,4,6 /proc/7370/stat : 7370 (toysat) R 7367 7370 4590 0 -1 4202496 279864 0 0 0 179803 199 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 140735450568064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/7370/statm: 338833 280858 917 2943 0 335727 0 [pid=7370/tid=7371] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7371/stat : 7371 (toysat) S 7367 7370 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850908937456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=7370/tid=7372] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7372/stat : 7372 (toysat) S 7367 7370 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850898447600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=7370/tid=7373] ppid=7367 vsize=1355332 CPUtime=0 cores=0,2,4,6 /proc/7370/task/7373/stat : 7373 (toysat) S 7367 7370 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308312 1387859968 280858 33554432000 4194304 16246674 140735450586160 139850778930352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1355332 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1798.04 CPU system time (s): 1.9947 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1355332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.04 system time used= 1.9947 maximum resident set size= 1123432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279864 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= 347 involuntary context switches= 2218 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.79527 second user time and 6.89895 second system time The end
Begin job on node105 at 2016-06-06 22:08:56 IDJOB=4079698 IDBENCH=2889 IDSOLVER=2542 FILE ID=node105/4079698-1465243736 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079698-1465243736/watcher-4079698-1465243736 -o /tmp/evaluation-result-4079698-1465243736/solver-4079698-1465243736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079698-1465243736.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=285717802 node105.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.813 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.62 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.813 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.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30726924 kB Buffers: 46420 kB Cached: 140428 kB SwapCached: 1756 kB Active: 1183116 kB Inactive: 79868 kB Active(anon): 1076884 kB Inactive(anon): 1504 kB Active(file): 106232 kB Inactive(file): 78364 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 26004 kB Writeback: 0 kB AnonPages: 1254488 kB Mapped: 10536 kB Shmem: 0 kB Slab: 569676 kB SReclaimable: 13156 kB SUnreclaim: 556520 kB KernelStack: 1456 kB PageTables: 6948 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1400600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 790528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node105 at 2016-06-06 22:38:57