Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
| MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 50 |
| 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 | 50 |
| Optimality of the best value was proved | NO |
| Number of variables | 807 |
| Total number of constraints | 1823 |
| Number of constraints which are clauses | 1823 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 807 |
| 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 | 807 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 807 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-06T18:53:49+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-4079479-1465232029.opb"] 0.00/0.01 c use --random-gen="2918543153 1152776188 3949561556 2915159023 690971934 4156968084 1096847617 1192176100 3815664561 1651142983 2991045047 3983073615 781571741 828810451 4019748114 177270005 2533085596 550820874 1811263538 738783892 4190652144 1034997213 3738647689 495044145 4004933857 980451698 2628171256 1157902807 2961399200 3615532838 3803704917 3561325084 2800991176 3910911126 3115434197 1003590889 3540608383 1838974364 1499944588 2740889997 1606069221 826334545 3934837701 1143121790 4153244598 2308462450 740791411 598462353 2924047876 3373324710 1919518256 2178188635 2298452236 346310930 3764140438 3060354950 4007607376 3232626759 2201437627 161150947 1376695124 2426342461 1056518027 1647132766 3650563703 4016903741 664374515 206642845 4181856041 821077100 236876160 1741449611 2794703995 3956728646 4115945935 2884129746 3489464597 483987396 4037671243 560608560 135205611 4143619846 1062867702 694157537 372520241 2444552993 2156900123 2492246111 3821920369 1176440543 2089190789 808602457 1627910699 2289475021 1986293796 650761895 3097629988 416814356 3691269879 458192537 2285184563 58390056 998701951 1832130210 3387486654 3767507620 3465492914 1521077452 2223844447 3553375978 996309393 1884792112 2072116440 3324713271 373664075 3977035192 1559628450 348208440 3966492971 3636245416 1042965011 2472369759 3218960102 2967593361 3787663330 454641711 2581682647 4170438990 3176684280 4005374177 1489312396 2670082331 3195871231 3474900118 266220669 3643845350 1051648963 2377834789 3568859979 1021909391 1880031937 2042296425 3180132512 1563031915 1614570436 3325394928 3977212571 2413143929 2817786006 400968370 1676572403 4030521779 2518968994 179329765 3462138193 398263271 4014548809 8510355 1834923052 2579849855 3887931746 549217202 3273837494 676926016 1165964221 2815372470 3653684947 2928309457 3578932585 2538079200 3772713093 4094058903 249153274 3083615955 1697826550 2127536966 3942332508 3950720642 452868106 3205109600 342943385 4193282152 1559143838 3244888044 1377280504 3708524274 987957689 2755248164 353729421 767090565 2622134413 610021737 3420238783 850281646 1759918650 3420263527 3631667983 3016976704 369448704 3861139768 3092574468 1843930721 2147957040 2926493054 2312815705 3820218763 3786539386 3817164811 1648274545 2257229261 1064455343 3143902456 617962442 228376499 29318744 816669663 4063794902 885630232 1651338865 453792795 3447287976 3457080118 3792762962 722085686 2168959261 3804484894 3788217767 3101773860 3381579481 3774664562 2011592520 3305125877 791474338 49925798 2927936880 3001237757 3913112604 1140152731 2007716891 544694408 1126973804 3148785200 1109742310 947802048 1997814834 2748894814 301397660 3990136656 1796772972 4023543383 709822469 3661911507 1037438217 1095306558 1629766777 3160783555 255 362436" option to reproduce the execution 0.00/0.08 c #vars 807 0.00/0.08 c #constraints 1823 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 0 0.09/0.19 c 0.0s | 0 | 791 | 0 | 834 0 | 16 | 1 0.09/0.19 c #cpu_time = 0.007s 0.09/0.19 c #wall_clock_time = 0.007s 0.09/0.19 c #decision = 791 0.09/0.19 c #random_decision = 3 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 o 807 0.09/0.19 c BCD2: updating upper bound: 807 -> 806 0.09/0.19 c BCD2: 0 <= obj <= 806 0.09/0.19 c BCD2: #cores=0, #unrelaxed=807, #relaxed=0, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 1 0.09/0.19 c 0.0s | 0 | 4 | 0 | 834 0 | 16 | 1 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 4 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.19 c lower bound updated to 1 0.09/0.19 c BCD2: 1 <= obj <= 806 0.09/0.19 c BCD2: #cores=1, #unrelaxed=806, #relaxed=1, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 1 0.19/0.20 c 0.0s | 0 | 10 | 0 | 834 0 | 16 | 1 0.19/0.20 c #cpu_time = 0.005s 0.19/0.20 c #wall_clock_time = 0.005s 0.19/0.20 c #decision = 10 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.20 c lower bound updated to 2 0.19/0.20 c BCD2: 2 <= obj <= 806 0.19/0.20 c BCD2: #cores=2, #unrelaxed=804, #relaxed=3, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.20 c 0.0s | 0 | 10 | 0 | 834 0 | 16 | 3 0.19/0.20 c #cpu_time = 0.005s 0.19/0.20 c #wall_clock_time = 0.005s 0.19/0.20 c #decision = 10 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.20 c lower bound updated to 3 0.19/0.21 c BCD2: 3 <= obj <= 806 0.19/0.21 c BCD2: #cores=3, #unrelaxed=803, #relaxed=4, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.21 c 0.0s | 0 | 11 | 0 | 834 0 | 16 | 3 0.19/0.21 c #cpu_time = 0.005s 0.19/0.21 c #wall_clock_time = 0.005s 0.19/0.21 c #decision = 11 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.21 c lower bound updated to 4 0.19/0.22 c BCD2: 4 <= obj <= 806 0.19/0.22 c BCD2: #cores=4, #unrelaxed=802, #relaxed=5, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.23 c 0.0s | 0 | 13 | 0 | 834 0 | 16 | 3 0.19/0.23 c #cpu_time = 0.004s 0.19/0.23 c #wall_clock_time = 0.004s 0.19/0.23 c #decision = 13 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.23 c lower bound updated to 5 0.19/0.23 c BCD2: 5 <= obj <= 806 0.19/0.23 c BCD2: #cores=5, #unrelaxed=801, #relaxed=6, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.23 c 0.0s | 0 | 21 | 0 | 834 0 | 16 | 3 0.19/0.23 c #cpu_time = 0.004s 0.19/0.23 c #wall_clock_time = 0.004s 0.19/0.23 c #decision = 21 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.23 c lower bound updated to 6 0.19/0.23 c BCD2: 6 <= obj <= 806 0.19/0.23 c BCD2: #cores=6, #unrelaxed=800, #relaxed=7, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.24 c 0.0s | 0 | 38 | 0 | 834 0 | 16 | 3 0.19/0.24 c #cpu_time = 0.004s 0.19/0.24 c #wall_clock_time = 0.004s 0.19/0.24 c #decision = 38 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.24 c lower bound updated to 7 0.19/0.24 c BCD2: 7 <= obj <= 806 0.19/0.24 c BCD2: #cores=7, #unrelaxed=799, #relaxed=8, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.24 c 0.0s | 0 | 39 | 0 | 834 0 | 16 | 3 0.19/0.24 c #cpu_time = 0.004s 0.19/0.24 c #wall_clock_time = 0.004s 0.19/0.24 c #decision = 39 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.24 c lower bound updated to 8 0.19/0.24 c BCD2: 8 <= obj <= 806 0.19/0.24 c BCD2: #cores=8, #unrelaxed=798, #relaxed=9, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.25 c 0.0s | 0 | 40 | 0 | 834 0 | 16 | 3 0.19/0.25 c #cpu_time = 0.004s 0.19/0.25 c #wall_clock_time = 0.004s 0.19/0.25 c #decision = 40 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.25 c lower bound updated to 9 0.19/0.25 c BCD2: 9 <= obj <= 806 0.19/0.25 c BCD2: #cores=9, #unrelaxed=797, #relaxed=10, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 3 0.19/0.25 c 0.0s | 0 | 55 | 0 | 834 0 | 16 | 3 0.19/0.25 c #cpu_time = 0.004s 0.19/0.25 c #wall_clock_time = 0.004s 0.19/0.25 c #decision = 55 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.25 c lower bound updated to 10 0.19/0.25 c BCD2: 10 <= obj <= 806 0.19/0.25 c BCD2: #cores=10, #unrelaxed=795, #relaxed=12, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 10 0.19/0.26 c 0.0s | 0 | 70 | 0 | 834 0 | 16 | 10 0.19/0.26 c #cpu_time = 0.004s 0.19/0.26 c #wall_clock_time = 0.004s 0.19/0.26 c #decision = 70 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.26 c lower bound updated to 11 0.19/0.26 c BCD2: 11 <= obj <= 806 0.19/0.26 c BCD2: #cores=11, #unrelaxed=793, #relaxed=14, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 46 0.19/0.26 c 0.0s | 0 | 70 | 0 | 834 0 | 16 | 46 0.19/0.26 c #cpu_time = 0.004s 0.19/0.26 c #wall_clock_time = 0.004s 0.19/0.26 c #decision = 70 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.26 c lower bound updated to 12 0.19/0.26 c BCD2: 12 <= obj <= 806 0.19/0.26 c BCD2: #cores=12, #unrelaxed=792, #relaxed=15, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 46 0.19/0.27 c 0.0s | 0 | 129 | 0 | 834 0 | 16 | 46 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 129 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.27 c lower bound updated to 13 0.19/0.27 c BCD2: 13 <= obj <= 806 0.19/0.27 c BCD2: #cores=13, #unrelaxed=791, #relaxed=16, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 46 0.19/0.27 c 0.0s | 0 | 154 | 0 | 834 0 | 16 | 46 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 154 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.27 c lower bound updated to 14 0.19/0.27 c BCD2: 14 <= obj <= 806 0.19/0.27 c BCD2: #cores=14, #unrelaxed=789, #relaxed=18, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=15 bias=15/16 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 48 0.19/0.28 c 0.0s | 0 | 157 | 0 | 834 0 | 16 | 48 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 157 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.28 c lower bound updated to 15 0.19/0.28 c BCD2: 15 <= obj <= 806 0.19/0.28 c BCD2: #cores=15, #unrelaxed=784, #relaxed=23, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=16 bias=16/17 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 50 0.19/0.28 c 0.0s | 0 | 156 | 0 | 834 0 | 16 | 50 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 156 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.28 c lower bound updated to 16 0.19/0.29 c BCD2: 16 <= obj <= 806 0.19/0.29 c BCD2: #cores=16, #unrelaxed=779, #relaxed=28, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=17 bias=17/18 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 55 0.19/0.29 c 0.0s | 0 | 157 | 0 | 834 0 | 16 | 55 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 157 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.29 c lower bound updated to 17 0.19/0.29 c BCD2: 17 <= obj <= 806 0.19/0.29 c BCD2: #cores=17, #unrelaxed=778, #relaxed=29, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=18 bias=18/19 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 55 0.19/0.29 c 0.0s | 0 | 158 | 0 | 834 0 | 16 | 55 0.19/0.29 c #cpu_time = 0.003s 0.19/0.29 c #wall_clock_time = 0.003s 0.19/0.29 c #decision = 158 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.29 c lower bound updated to 18 0.19/0.29 c BCD2: 18 <= obj <= 806 0.19/0.29 c BCD2: #cores=18, #unrelaxed=777, #relaxed=30, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=19 bias=19/20 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 55 0.29/0.30 c 0.0s | 0 | 166 | 0 | 834 0 | 16 | 55 0.29/0.30 c #cpu_time = 0.003s 0.29/0.30 c #wall_clock_time = 0.003s 0.29/0.30 c #decision = 166 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.30 c lower bound updated to 19 0.29/0.30 c BCD2: 19 <= obj <= 806 0.29/0.30 c BCD2: #cores=19, #unrelaxed=776, #relaxed=31, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 55 0.29/0.30 c 0.0s | 0 | 168 | 0 | 834 0 | 16 | 55 0.29/0.30 c #cpu_time = 0.003s 0.29/0.30 c #wall_clock_time = 0.003s 0.29/0.30 c #decision = 168 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 6: cost of the new core is >=1 0.29/0.30 c lower bound updated to 20 0.29/0.31 c BCD2: 20 <= obj <= 806 0.29/0.31 c BCD2: #cores=20, #unrelaxed=770, #relaxed=37, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 57 0.29/0.31 c 0.0s | 0 | 166 | 0 | 834 0 | 16 | 57 0.29/0.31 c #cpu_time = 0.003s 0.29/0.31 c #wall_clock_time = 0.003s 0.29/0.31 c #decision = 166 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 8: cost of the new core is >=1 0.29/0.31 c lower bound updated to 21 0.29/0.31 c BCD2: 21 <= obj <= 806 0.29/0.31 c BCD2: #cores=21, #unrelaxed=762, #relaxed=45, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=22 bias=22/23 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 59 0.29/0.31 c 0.0s | 0 | 161 | 0 | 834 0 | 16 | 59 0.29/0.31 c #cpu_time = 0.003s 0.29/0.31 c #wall_clock_time = 0.003s 0.29/0.31 c #decision = 161 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.31 c lower bound updated to 22 0.29/0.31 c BCD2: 22 <= obj <= 806 0.29/0.31 c BCD2: #cores=22, #unrelaxed=761, #relaxed=46, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=23 bias=23/24 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 59 0.29/0.32 c 0.0s | 0 | 187 | 0 | 834 0 | 16 | 59 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 187 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 6: cost of the new core is >=1 0.29/0.32 c lower bound updated to 23 0.29/0.32 c BCD2: 23 <= obj <= 806 0.29/0.32 c BCD2: #cores=23, #unrelaxed=755, #relaxed=52, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=24 bias=24/25 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 61 0.29/0.32 c 0.0s | 0 | 224 | 0 | 834 0 | 16 | 61 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 224 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 7: cost of the new core is >=1 0.29/0.32 c lower bound updated to 24 0.29/0.32 c BCD2: 24 <= obj <= 806 0.29/0.32 c BCD2: #cores=24, #unrelaxed=748, #relaxed=59, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=25 bias=25/26 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 72 0.29/0.32 c 0.0s | 0 | 291 | 0 | 834 0 | 16 | 72 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 291 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.32 c lower bound updated to 25 0.29/0.32 c BCD2: 25 <= obj <= 806 0.29/0.32 c BCD2: #cores=25, #unrelaxed=747, #relaxed=60, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=26 bias=26/27 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 72 0.29/0.33 c 0.0s | 0 | 324 | 0 | 834 0 | 16 | 72 0.29/0.33 c #cpu_time = 0.003s 0.29/0.33 c #wall_clock_time = 0.003s 0.29/0.33 c #decision = 324 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 4: cost of the new core is >=1 0.29/0.33 c lower bound updated to 26 0.29/0.33 c BCD2: 26 <= obj <= 806 0.29/0.33 c BCD2: #cores=26, #unrelaxed=743, #relaxed=64, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=27 bias=27/28 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 74 0.29/0.33 c 0.0s | 0 | 357 | 0 | 834 0 | 16 | 74 0.29/0.33 c #cpu_time = 0.003s 0.29/0.33 c #wall_clock_time = 0.003s 0.29/0.33 c #decision = 357 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.33 c lower bound updated to 27 0.29/0.33 c BCD2: 27 <= obj <= 806 0.29/0.33 c BCD2: #cores=27, #unrelaxed=727, #relaxed=80, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=28 bias=28/29 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 74 0.29/0.34 c 0.0s | 0 | 405 | 0 | 834 0 | 16 | 74 0.29/0.34 c #cpu_time = 0.003s 0.29/0.34 c #wall_clock_time = 0.003s 0.29/0.34 c #decision = 405 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.34 c lower bound updated to 28 0.29/0.34 c BCD2: 28 <= obj <= 806 0.29/0.34 c BCD2: #cores=28, #unrelaxed=715, #relaxed=92, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=29 bias=29/30 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 76 0.29/0.34 c 0.0s | 0 | 412 | 0 | 834 0 | 16 | 76 0.29/0.34 c #cpu_time = 0.003s 0.29/0.34 c #wall_clock_time = 0.003s 0.29/0.34 c #decision = 412 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 6: cost of the new core is >=1 0.29/0.34 c lower bound updated to 29 0.29/0.34 c BCD2: 29 <= obj <= 806 0.29/0.34 c BCD2: #cores=29, #unrelaxed=709, #relaxed=98, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=30 bias=30/31 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 82 0.29/0.34 c 0.0s | 0 | 502 | 0 | 834 0 | 16 | 82 0.29/0.34 c #cpu_time = 0.003s 0.29/0.34 c #wall_clock_time = 0.003s 0.29/0.34 c #decision = 502 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 23: cost of the new core is >=1 0.29/0.34 c lower bound updated to 30 0.29/0.34 c BCD2: 30 <= obj <= 806 0.29/0.34 c BCD2: #cores=30, #unrelaxed=686, #relaxed=121, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=31 bias=31/32 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 84 0.29/0.35 c 0.0s | 0 | 487 | 0 | 834 0 | 16 | 84 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 487 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 38: cost of the new core is >=1 0.29/0.35 c lower bound updated to 31 0.29/0.35 c BCD2: 31 <= obj <= 806 0.29/0.35 c BCD2: #cores=31, #unrelaxed=648, #relaxed=159, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=32 bias=32/33 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 84 0.29/0.35 c 0.0s | 0 | 451 | 0 | 834 0 | 16 | 84 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 451 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.35 c lower bound updated to 32 0.29/0.35 c BCD2: 32 <= obj <= 806 0.29/0.35 c BCD2: #cores=32, #unrelaxed=647, #relaxed=160, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=33 bias=33/34 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 84 0.29/0.36 c 0.0s | 0 | 487 | 0 | 834 0 | 16 | 84 0.29/0.36 c #cpu_time = 0.003s 0.29/0.36 c #wall_clock_time = 0.003s 0.29/0.36 c #decision = 487 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 7: cost of the new core is >=1 0.29/0.36 c lower bound updated to 33 0.29/0.36 c BCD2: 33 <= obj <= 806 0.29/0.36 c BCD2: #cores=33, #unrelaxed=640, #relaxed=167, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=34 bias=34/35 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 106 0.29/0.36 c 0.0s | 0 | 522 | 0 | 834 0 | 16 | 106 0.29/0.36 c #cpu_time = 0.003s 0.29/0.36 c #wall_clock_time = 0.003s 0.29/0.36 c #decision = 522 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 16: cost of the new core is >=1 0.29/0.36 c lower bound updated to 34 0.29/0.36 c BCD2: 34 <= obj <= 806 0.29/0.36 c BCD2: #cores=34, #unrelaxed=624, #relaxed=183, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=35 bias=35/36 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 121 0.29/0.36 c 0.0s | 0 | 600 | 0 | 834 0 | 16 | 121 0.29/0.36 c #cpu_time = 0.003s 0.29/0.36 c #wall_clock_time = 0.003s 0.29/0.36 c #decision = 600 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 23: cost of the new core is >=1 0.29/0.36 c lower bound updated to 35 0.29/0.37 c BCD2: 35 <= obj <= 806 0.29/0.37 c BCD2: #cores=35, #unrelaxed=601, #relaxed=206, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=36 bias=36/37 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 188 0.29/0.37 c 0.0s | 0 | 583 | 0 | 834 0 | 16 | 188 0.29/0.37 c #cpu_time = 0.003s 0.29/0.37 c #wall_clock_time = 0.003s 0.29/0.37 c #decision = 583 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 9: cost of the new core is >=1 0.29/0.37 c lower bound updated to 36 0.29/0.37 c BCD2: 36 <= obj <= 806 0.29/0.37 c BCD2: #cores=36, #unrelaxed=592, #relaxed=215, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=37 bias=37/38 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 188 0.29/0.38 c 0.0s | 0 | 604 | 0 | 834 0 | 16 | 188 0.29/0.38 c #cpu_time = 0.003s 0.29/0.38 c #wall_clock_time = 0.003s 0.29/0.38 c #decision = 604 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.38 c lower bound updated to 37 0.29/0.38 c BCD2: 37 <= obj <= 806 0.29/0.38 c BCD2: #cores=37, #unrelaxed=565, #relaxed=242, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=38 bias=38/39 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 188 0.29/0.39 c 0.0s | 0 | 780 | 0 | 834 0 | 16 | 188 0.29/0.39 c #cpu_time = 0.004s 0.29/0.39 c #wall_clock_time = 0.004s 0.29/0.39 c #decision = 780 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 o 72 0.29/0.39 c BCD2: updating upper bound: 806 -> 71 0.29/0.39 c BCD2: 37 <= obj <= 71 0.29/0.39 c BCD2: #cores=37, #unrelaxed=565, #relaxed=242, #hardened=0 0.29/0.39 c BCD2: #sat=2 #unsat=38 bias=38/40 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 834 0 | 16 | 189 0.29/0.39 c 0.0s | 0 | 657 | 2 | 834 0 | 16 | 189 0.29/0.39 c #cpu_time = 0.004s 0.29/0.39 c #wall_clock_time = 0.004s 0.29/0.39 c #decision = 657 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 2 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: relaxing 58 and merging with 1 cores into a new core of size 74: cost of the new core is >=2 0.29/0.39 c lower bound updated to 38 0.29/0.39 c BCD2: 38 <= obj <= 71 0.29/0.39 c BCD2: #cores=37, #unrelaxed=507, #relaxed=300, #hardened=0 0.29/0.39 c BCD2: #sat=2 #unsat=39 bias=39/41 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 834 0 | 18 | 189 0.39/0.40 c 0.0s | 1 | 918 | 100 | 918 0 | 18 | 192 0.39/0.43 c 0.0s | 1 | 1874 | 241 | 918 0 | 18 | 192 0.39/0.43 c #cpu_time = 0.034s 0.39/0.43 c #wall_clock_time = 0.034s 0.39/0.43 c #decision = 1874 0.39/0.43 c #random_decision = 4 0.39/0.43 c #conflict = 241 0.39/0.43 c #restart = 1 0.39/0.43 o 60 0.39/0.43 c BCD2: updating upper bound: 71 -> 59 0.39/0.43 c BCD2: 38 <= obj <= 59 0.39/0.43 c BCD2: #cores=37, #unrelaxed=507, #relaxed=300, #hardened=0 0.39/0.43 c BCD2: #sat=3 #unsat=39 bias=39/42 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 918 0 | 18 | 193 0.39/0.45 c 0.0s | 1 | 1008 | 100 | 1010 0 | 18 | 193 0.39/0.47 c 0.0s | 2 | 2210 | 250 | 1111 0 | 18 | 193 0.39/0.49 c 0.1s | 2 | 3353 | 399 | 1111 0 | 18 | 193 0.39/0.49 c #cpu_time = 0.055s 0.39/0.49 c #wall_clock_time = 0.055s 0.39/0.49 c #decision = 3353 0.39/0.49 c #random_decision = 3 0.39/0.49 c #conflict = 399 0.39/0.49 c #restart = 2 0.39/0.49 c BCD2: relaxing 158 and merging with 4 cores into a new core of size 294: cost of the new core is >=6 0.39/0.49 c lower bound updated to 39 0.39/0.49 c BCD2: 39 <= obj <= 59 0.39/0.49 c BCD2: #cores=34, #unrelaxed=349, #relaxed=458, #hardened=0 0.39/0.49 c BCD2: #sat=3 #unsat=40 bias=40/43 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 1111 0 | 29 | 193 0.49/0.52 c 0.0s | 1 | 1004 | 100 | 1111 0 | 29 | 211 0.49/0.57 c 0.1s | 2 | 3118 | 250 | 1223 0 | 29 | 211 0.59/0.66 c 0.2s | 3 | 5370 | 475 | 1223 0 | 29 | 211 0.78/0.80 c 0.3s | 4 | 8857 | 813 | 1346 0 | 29 | 211 0.99/1.05 c 0.6s | 5 | 12979 | 1320 | 1346 0 | 29 | 211 1.39/1.44 c 1.0s | 6 | 17487 | 2081 | 1481 1 | 29 | 211 1.88/1.98 c 1.5s | 7 | 23175 | 3223 | 1630 2 | 29 | 211 2.59/2.65 c 2.2s | 8 | 31601 | 4936 | 1794 3 | 29 | 211 3.59/3.63 c 3.1s | 9 | 44918 | 7506 | 1974 5 | 29 | 211 4.99/5.09 c 4.6s | 10 | 66395 | 11361 | 2172 8 | 29 | 211 7.09/7.10 c 6.6s | 10 | 96079 | 16561 | 2390 12 | 29 | 211 7.19/7.29 c 6.8s | 11 | 98437 | 17144 | 2390 13 | 29 | 211 9.29/9.31 c 8.8s | 11 | 121733 | 22244 | 2390 16 | 29 | 211 10.59/10.68 c 10.2s | 12 | 137588 | 25819 | 2629 19 | 29 | 211 12.69/12.72 c 12.2s | 12 | 165952 | 30819 | 2629 22 | 29 | 211 14.69/14.76 c 14.3s | 12 | 191429 | 36319 | 2629 25 | 29 | 211 15.69/15.75 c 15.3s | 13 | 203304 | 38832 | 2892 27 | 29 | 211 17.69/17.77 c 17.3s | 13 | 229305 | 44132 | 2892 30 | 29 | 211 19.68/19.78 c 19.3s | 13 | 261127 | 49632 | 2892 33 | 29 | 211 21.78/21.81 c 21.3s | 13 | 287563 | 55232 | 2892 37 | 29 | 211 22.98/23.07 c 22.6s | 14 | 304526 | 58352 | 3182 38 | 29 | 211 25.09/25.11 c 24.6s | 14 | 330230 | 62752 | 3182 41 | 29 | 211 27.09/27.15 c 26.7s | 14 | 353243 | 67252 | 3182 43 | 29 | 211 29.09/29.19 c 28.7s | 14 | 373183 | 71652 | 3182 46 | 29 | 211 31.19/31.21 c 30.7s | 14 | 389720 | 75752 | 3182 48 | 29 | 211 33.19/33.24 c 32.8s | 14 | 411976 | 81152 | 3182 51 | 29 | 211 35.20/35.26 c 34.8s | 14 | 433702 | 86752 | 3501 54 | 29 | 211 35.49/35.54 c 35.0s | 15 | 437372 | 87632 | 3501 54 | 29 | 211 37.50/37.54 c 37.0s | 15 | 463198 | 93532 | 3501 57 | 29 | 211 39.49/39.57 c 39.1s | 15 | 485956 | 98332 | 3501 60 | 29 | 211 41.59/41.61 c 41.1s | 15 | 508160 | 102832 | 3501 62 | 29 | 211 43.59/43.61 c 43.1s | 15 | 525060 | 106632 | 3501 64 | 29 | 211 45.59/45.63 c 45.1s | 15 | 543054 | 110932 | 3501 66 | 29 | 211 47.58/47.64 c 47.2s | 15 | 561306 | 114932 | 3501 68 | 29 | 211 49.59/49.66 c 49.2s | 15 | 579676 | 118432 | 3501 70 | 29 | 211 51.58/51.71 c 51.2s | 15 | 599696 | 122832 | 3501 72 | 29 | 211 53.68/53.74 c 53.3s | 15 | 617893 | 126932 | 3501 74 | 29 | 211 55.68/55.76 c 55.3s | 15 | 634598 | 130632 | 3852 76 | 29 | 211 56.19/56.22 c 55.7s | 16 | 638456 | 131552 | 3852 76 | 29 | 211 58.18/58.24 c 57.7s | 16 | 656576 | 135852 | 3852 78 | 29 | 211 60.18/60.26 c 59.8s | 16 | 677582 | 140252 | 3852 80 | 29 | 211 62.18/62.27 c 61.8s | 16 | 697204 | 144252 | 3852 82 | 29 | 211 64.28/64.32 c 63.8s | 16 | 715607 | 148152 | 3852 84 | 29 | 211 66.28/66.34 c 65.8s | 16 | 738435 | 152452 | 3852 86 | 29 | 211 68.29/68.34 c 67.8s | 16 | 763554 | 157152 | 3852 88 | 29 | 211 70.28/70.34 c 69.9s | 16 | 783058 | 161152 | 3852 90 | 29 | 211 72.28/72.35 c 71.9s | 16 | 804397 | 165452 | 3852 92 | 29 | 211 74.27/74.38 c 73.9s | 16 | 821347 | 168852 | 3852 94 | 29 | 211 76.37/76.41 c 75.9s | 16 | 841614 | 172952 | 3852 95 | 29 | 211 78.38/78.42 c 77.9s | 16 | 862541 | 177052 | 3852 97 | 29 | 211 80.39/80.45 c 80.0s | 16 | 880427 | 180752 | 3852 99 | 29 | 211 82.38/82.47 c 82.0s | 16 | 899069 | 184452 | 3852 101 | 29 | 211 84.38/84.49 c 84.0s | 16 | 924243 | 189152 | 3852 103 | 29 | 211 86.48/86.51 c 86.0s | 16 | 951434 | 194352 | 3852 105 | 29 | 211 87.58/87.68 c 87.2s | 17 | 968714 | 197432 | 4238 107 | 29 | 211 89.58/89.69 c 89.2s | 17 | 995488 | 202132 | 4238 109 | 29 | 211 91.68/91.74 c 91.3s | 17 | 1019697 | 206632 | 4238 111 | 29 | 211 93.68/93.79 c 93.3s | 17 | 1041878 | 211132 | 4238 112 | 29 | 211 95.79/95.82 c 95.3s | 17 | 1068505 | 215932 | 4238 114 | 29 | 211 97.78/97.83 c 97.3s | 17 | 1096175 | 220832 | 4238 117 | 29 | 211 99.77/99.86 c 99.4s | 17 | 1126209 | 226132 | 4238 119 | 29 | 211 101.77/101.88 c 101s | 17 | 1151969 | 231032 | 4238 121 | 29 | 211 103.87/103.91 c 103s | 17 | 1177119 | 235532 | 4238 123 | 29 | 211 105.87/105.94 c 105s | 17 | 1204486 | 240432 | 4238 125 | 29 | 211 107.88/107.96 c 107s | 17 | 1232256 | 245632 | 4238 127 | 29 | 211 109.87/109.98 c 109s | 17 | 1262673 | 250632 | 4238 129 | 29 | 211 111.97/112.01 c 111s | 17 | 1282559 | 254632 | 4238 131 | 29 | 211 113.97/114.05 c 113s | 17 | 1301840 | 258732 | 4238 133 | 29 | 211 115.97/116.06 c 115s | 17 | 1327518 | 263532 | 4238 135 | 29 | 211 117.97/118.08 c 117s | 17 | 1346695 | 268232 | 4238 137 | 29 | 211 119.97/120.09 c 119s | 17 | 1366694 | 273132 | 4238 139 | 29 | 211 121.96/122.10 c 121s | 17 | 1387982 | 277632 | 4238 141 | 29 | 211 124.06/124.15 c 123s | 17 | 1406836 | 281532 | 4238 142 | 29 | 211 126.06/126.19 c 125s | 17 | 1428870 | 285832 | 4238 144 | 29 | 211 128.16/128.20 c 127s | 17 | 1447394 | 289632 | 4238 146 | 29 | 211 130.16/130.20 c 129s | 17 | 1469566 | 293832 | 4662 148 | 29 | 211 131.26/131.36 c 130s | 18 | 1483605 | 296252 | 4662 149 | 29 | 211 133.25/133.37 c 132s | 18 | 1504488 | 300252 | 4662 150 | 29 | 211 135.36/135.41 c 134s | 18 | 1523173 | 303752 | 4662 151 | 29 | 211 137.35/137.46 c 136s | 18 | 1542215 | 307852 | 4662 153 | 29 | 211 139.35/139.46 c 138s | 18 | 1562188 | 311852 | 4662 155 | 29 | 211 141.35/141.48 c 140s | 18 | 1582756 | 316052 | 4662 156 | 29 | 211 143.45/143.53 c 143s | 18 | 1600576 | 319852 | 4662 158 | 29 | 211 145.45/145.54 c 145s | 18 | 1621682 | 323952 | 4662 159 | 29 | 211 147.46/147.57 c 147s | 18 | 1646474 | 328452 | 4662 161 | 29 | 211 149.45/149.58 c 149s | 18 | 1667413 | 332452 | 4662 163 | 29 | 211 151.45/151.59 c 151s | 18 | 1686864 | 336252 | 4662 164 | 29 | 211 153.55/153.60 c 153s | 18 | 1702252 | 339852 | 4662 166 | 29 | 211 155.55/155.61 c 155s | 18 | 1721021 | 343452 | 4662 167 | 29 | 211 157.54/157.67 c 157s | 18 | 1737601 | 347152 | 4662 168 | 29 | 211 159.64/159.70 c 159s | 18 | 1759886 | 351152 | 4662 170 | 29 | 211 161.75/161.87 c 161s | 18 | 1779234 | 354952 | 4662 171 | 29 | 211 163.74/163.88 c 163s | 18 | 1803636 | 359552 | 4662 173 | 29 | 211 165.84/165.92 c 165s | 18 | 1824309 | 363552 | 4662 175 | 29 | 211 167.84/167.96 c 167s | 18 | 1842850 | 367152 | 4662 176 | 29 | 211 169.84/169.96 c 169s | 18 | 1859871 | 370752 | 4662 178 | 29 | 211 171.94/172.00 c 171s | 18 | 1878172 | 374752 | 4662 179 | 29 | 211 173.94/174.05 c 173s | 18 | 1899342 | 378852 | 4662 181 | 29 | 211 175.95/176.07 c 175s | 18 | 1916637 | 382452 | 4662 182 | 29 | 211 177.94/178.07 c 177s | 18 | 1937660 | 386252 | 4662 184 | 29 | 211 179.94/180.08 c 179s | 18 | 1959145 | 390252 | 4662 185 | 29 | 211 182.03/182.12 c 181s | 18 | 1976404 | 394052 | 4662 187 | 29 | 211 184.03/184.14 c 183s | 18 | 1994844 | 397852 | 4662 188 | 29 | 211 186.03/186.16 c 185s | 18 | 2014216 | 401652 | 4662 190 | 29 | 211 188.04/188.18 c 187s | 18 | 2033232 | 405752 | 4662 191 | 29 | 211 190.13/190.22 c 189s | 18 | 2053051 | 409652 | 4662 193 | 29 | 211 192.12/192.27 c 191s | 18 | 2072784 | 413652 | 4662 194 | 29 | 211 194.12/194.28 c 193s | 18 | 2093239 | 417752 | 4662 196 | 29 | 211 196.22/196.30 c 195s | 18 | 2113756 | 421652 | 4662 198 | 29 | 211 198.22/198.32 c 197s | 18 | 2138088 | 425752 | 4662 199 | 29 | 211 200.23/200.34 c 199s | 18 | 2165412 | 430552 | 4662 201 | 29 | 211 202.22/202.39 c 201s | 18 | 2190456 | 434652 | 4662 203 | 29 | 211 204.32/204.43 c 203s | 18 | 2216655 | 439052 | 4662 204 | 29 | 211 206.32/206.49 c 205s | 18 | 2239173 | 443152 | 5129 206 | 29 | 211 207.23/207.36 c 206s | 19 | 2246814 | 444482 | 5129 206 | 29 | 211 209.33/209.41 c 208s | 19 | 2270698 | 448482 | 5129 208 | 29 | 211 211.32/211.41 c 210s | 19 | 2300075 | 452682 | 5129 209 | 29 | 211 213.33/213.43 c 212s | 19 | 2326264 | 456682 | 5129 211 | 29 | 211 215.32/215.47 c 214s | 19 | 2354219 | 460782 | 5129 212 | 29 | 211 217.32/217.48 c 216s | 19 | 2375707 | 464182 | 5129 213 | 29 | 211 219.32/219.48 c 218s | 19 | 2401357 | 467982 | 5129 215 | 29 | 211 221.41/221.53 c 221s | 19 | 2436908 | 472182 | 5129 216 | 29 | 211 223.41/223.59 c 223s | 19 | 2465072 | 475882 | 5129 217 | 29 | 211 225.52/225.63 c 225s | 19 | 2495026 | 479882 | 5129 219 | 29 | 211 227.51/227.67 c 227s | 19 | 2519223 | 483782 | 5129 220 | 29 | 211 229.61/229.72 c 229s | 19 | 2542347 | 487682 | 5129 222 | 29 | 211 231.61/231.73 c 231s | 19 | 2569369 | 491682 | 5129 223 | 29 | 211 233.61/233.77 c 233s | 19 | 2597019 | 496082 | 5129 225 | 29 | 211 235.61/235.78 c 235s | 19 | 2618960 | 499882 | 5129 226 | 29 | 211 237.62/237.79 c 237s | 19 | 2643187 | 503682 | 5129 227 | 29 | 211 239.61/239.79 c 239s | 19 | 2668922 | 507582 | 5129 229 | 29 | 211 241.71/241.85 c 241s | 19 | 2696650 | 511582 | 5129 230 | 29 | 211 243.71/243.86 c 243s | 19 | 2724535 | 515482 | 5129 232 | 29 | 211 245.71/245.89 c 245s | 19 | 2744292 | 519182 | 5129 233 | 29 | 211 247.81/247.92 c 247s | 19 | 2769984 | 523282 | 5129 234 | 29 | 211 249.81/249.92 c 249s | 19 | 2795141 | 527182 | 5129 236 | 29 | 211 251.82/251.96 c 251s | 19 | 2821812 | 531382 | 5129 237 | 29 | 211 253.81/253.98 c 253s | 19 | 2848237 | 534982 | 5129 239 | 29 | 211 255.91/256.02 c 255s | 19 | 2879518 | 539182 | 5129 240 | 29 | 211 257.91/258.08 c 257s | 19 | 2902493 | 542682 | 5129 241 | 29 | 211 260.01/260.12 c 259s | 19 | 2920222 | 546082 | 5129 243 | 29 | 211 262.00/262.13 c 261s | 19 | 2946291 | 549682 | 5129 244 | 29 | 211 264.01/264.15 c 263s | 19 | 2971612 | 553382 | 5129 245 | 29 | 211 266.00/266.19 c 265s | 19 | 3000092 | 557482 | 5129 247 | 29 | 211 268.10/268.23 c 267s | 19 | 3023079 | 561182 | 5129 248 | 29 | 211 270.10/270.23 c 269s | 19 | 3048424 | 565082 | 5129 249 | 29 | 211 272.10/272.27 c 271s | 19 | 3077106 | 569182 | 5129 251 | 29 | 211 274.10/274.30 c 273s | 19 | 3098123 | 572882 | 5129 252 | 29 | 211 276.20/276.32 c 275s | 19 | 3122147 | 576682 | 5129 254 | 29 | 211 278.21/278.36 c 277s | 19 | 3145681 | 580382 | 5129 255 | 29 | 211 280.20/280.36 c 279s | 19 | 3167779 | 584282 | 5129 256 | 29 | 211 282.19/282.37 c 281s | 19 | 3192854 | 588482 | 5129 258 | 29 | 211 284.29/284.44 c 283s | 19 | 3220992 | 592582 | 5129 259 | 29 | 211 286.29/286.47 c 285s | 19 | 3252758 | 597382 | 5129 261 | 29 | 211 288.39/288.50 c 288s | 19 | 3281889 | 601782 | 5129 263 | 29 | 211 290.40/290.55 c 290s | 19 | 3305021 | 606382 | 5129 264 | 29 | 211 292.39/292.56 c 292s | 19 | 3326267 | 609782 | 5129 265 | 29 | 211 294.38/294.59 c 294s | 19 | 3355749 | 614282 | 5129 267 | 29 | 211 296.48/296.60 c 296s | 19 | 3381022 | 619182 | 5129 269 | 29 | 211 298.48/298.60 c 298s | 19 | 3407469 | 623582 | 5129 270 | 29 | 211 300.48/300.63 c 300s | 19 | 3434785 | 627882 | 5129 272 | 29 | 211 302.49/302.63 c 302s | 19 | 3464810 | 632082 | 5129 273 | 29 | 211 304.48/304.65 c 304s | 19 | 3488807 | 635582 | 5129 275 | 29 | 211 306.48/306.68 c 306s | 19 | 3520385 | 639582 | 5129 276 | 29 | 211 308.58/308.70 c 308s | 19 | 3549750 | 643782 | 5129 278 | 29 | 211 310.57/310.74 c 310s | 19 | 3577833 | 647682 | 5129 279 | 29 | 211 312.57/312.75 c 312s | 19 | 3605439 | 651782 | 5129 280 | 29 | 211 314.58/314.76 c 314s | 19 | 3634222 | 656182 | 5129 282 | 29 | 211 316.57/316.80 c 316s | 19 | 3663918 | 660582 | 5129 284 | 29 | 211 318.67/318.83 c 318s | 19 | 3690217 | 664882 | 5642 285 | 29 | 211 319.57/319.76 c 319s | 20 | 3702263 | 666827 | 5642 286 | 29 | 211 321.57/321.79 c 321s | 20 | 3727027 | 671527 | 5642 287 | 29 | 211 323.67/323.84 c 323s | 20 | 3756551 | 675927 | 5642 289 | 29 | 211 325.67/325.85 c 325s | 20 | 3784531 | 680127 | 5642 290 | 29 | 211 327.68/327.89 c 327s | 20 | 3812818 | 684227 | 5642 291 | 29 | 211 329.77/329.90 c 329s | 20 | 3832774 | 687927 | 5642 292 | 29 | 211 331.77/331.94 c 331s | 20 | 3863598 | 693027 | 5642 294 | 29 | 211 333.76/333.95 c 333s | 20 | 3890590 | 697227 | 5642 295 | 29 | 211 335.76/335.97 c 335s | 20 | 3918580 | 701427 | 5642 297 | 29 | 211 337.77/337.98 c 337s | 20 | 3945233 | 705727 | 5642 298 | 29 | 211 339.78/339.99 c 339s | 20 | 3971531 | 710427 | 5642 300 | 29 | 211 341.87/342.03 c 341s | 20 | 3997895 | 715227 | 5642 301 | 29 | 211 343.87/344.03 c 343s | 20 | 4018300 | 718927 | 5642 303 | 29 | 211 345.87/346.04 c 345s | 20 | 4044780 | 723527 | 5642 304 | 29 | 211 347.87/348.07 c 347s | 20 | 4074303 | 727827 | 5642 306 | 29 | 211 349.97/350.13 c 349s | 20 | 4104930 | 732527 | 5642 307 | 29 | 211 351.98/352.13 c 351s | 20 | 4134728 | 737127 | 5642 309 | 29 | 211 353.96/354.14 c 353s | 20 | 4162308 | 741927 | 5642 310 | 29 | 211 355.96/356.17 c 355s | 20 | 4191011 | 746527 | 5642 312 | 29 | 211 358.06/358.20 c 357s | 20 | 4213669 | 751027 | 5642 313 | 29 | 211 360.06/360.24 c 359s | 20 | 4241598 | 756527 | 5642 315 | 29 | 211 362.06/362.26 c 361s | 20 | 4270713 | 761127 | 5642 316 | 29 | 211 364.07/364.26 c 363s | 20 | 4297457 | 765127 | 5642 318 | 29 | 211 366.06/366.28 c 365s | 20 | 4326888 | 769627 | 5642 319 | 29 | 211 368.16/368.33 c 367s | 20 | 4354504 | 773927 | 5642 321 | 29 | 211 370.15/370.35 c 369s | 20 | 4379819 | 777627 | 5642 322 | 29 | 211 372.15/372.38 c 371s | 20 | 4411064 | 782327 | 5642 323 | 29 | 211 374.15/374.40 c 373s | 20 | 4436224 | 786527 | 5642 325 | 29 | 211 376.25/376.43 c 375s | 20 | 4463947 | 790527 | 5642 326 | 29 | 211 378.26/378.48 c 377s | 20 | 4491838 | 794927 | 5642 328 | 29 | 211 380.35/380.51 c 380s | 20 | 4517725 | 799327 | 5642 329 | 29 | 211 382.34/382.59 c 382s | 20 | 4543164 | 804027 | 5642 331 | 29 | 211 384.44/384.62 c 384s | 20 | 4571305 | 808727 | 5642 332 | 29 | 211 386.44/386.67 c 386s | 20 | 4600149 | 813127 | 5642 334 | 29 | 211 388.44/388.68 c 388s | 20 | 4629529 | 817627 | 5642 335 | 29 | 211 390.55/390.71 c 390s | 20 | 4652274 | 821527 | 5642 336 | 29 | 211 392.56/392.75 c 392s | 20 | 4676134 | 825527 | 5642 338 | 29 | 211 394.55/394.78 c 394s | 20 | 4710350 | 830027 | 5642 339 | 29 | 211 396.54/396.78 c 396s | 20 | 4730509 | 833627 | 5642 340 | 29 | 211 398.54/398.79 c 398s | 20 | 4754466 | 837327 | 5642 341 | 29 | 211 400.64/400.83 c 400s | 20 | 4783318 | 841027 | 5642 343 | 29 | 211 402.64/402.83 c 402s | 20 | 4811378 | 845327 | 5642 344 | 29 | 211 404.65/404.84 c 404s | 20 | 4836689 | 849227 | 5642 345 | 29 | 211 406.64/406.86 c 406s | 20 | 4866839 | 853527 | 5642 347 | 29 | 211 408.64/408.87 c 408s | 20 | 4893303 | 857827 | 5642 348 | 29 | 211 410.73/410.92 c 410s | 20 | 4915205 | 861627 | 5642 349 | 29 | 211 412.73/412.93 c 412s | 20 | 4943058 | 865827 | 5642 351 | 29 | 211 414.73/414.96 c 414s | 20 | 4972754 | 870227 | 5642 352 | 29 | 211 416.74/417.00 c 416s | 20 | 4998922 | 874927 | 5642 354 | 29 | 211 418.83/419.01 c 418s | 20 | 5026738 | 879327 | 5642 355 | 29 | 211 420.83/421.03 c 420s | 20 | 5051968 | 883627 | 5642 357 | 29 | 211 422.83/423.03 c 422s | 20 | 5079409 | 888227 | 5642 358 | 29 | 211 424.82/425.04 c 424s | 20 | 5101123 | 892027 | 5642 359 | 29 | 211 426.82/427.05 c 426s | 20 | 5125868 | 896227 | 5642 361 | 29 | 211 428.83/429.08 c 428s | 20 | 5158322 | 900827 | 5642 362 | 29 | 211 430.82/431.09 c 430s | 20 | 5184577 | 905127 | 5642 364 | 29 | 211 432.92/433.11 c 432s | 20 | 5215393 | 910127 | 5642 365 | 29 | 211 434.92/435.12 c 434s | 20 | 5243909 | 915127 | 5642 367 | 29 | 211 436.92/437.14 c 436s | 20 | 5271516 | 920027 | 5642 369 | 29 | 211 438.92/439.15 c 438s | 20 | 5294969 | 923827 | 5642 370 | 29 | 211 440.92/441.16 c 440s | 20 | 5323903 | 928127 | 5642 371 | 29 | 211 443.01/443.20 c 442s | 20 | 5352593 | 932427 | 5642 373 | 29 | 211 445.01/445.26 c 444s | 20 | 5377843 | 936427 | 5642 374 | 29 | 211 447.11/447.30 c 446s | 20 | 5404613 | 940527 | 5642 375 | 29 | 211 449.11/449.34 c 448s | 20 | 5429570 | 944727 | 5642 377 | 29 | 211 451.22/451.41 c 450s | 20 | 5451255 | 948227 | 5642 378 | 29 | 211 453.22/453.44 c 452s | 20 | 5474605 | 951827 | 5642 379 | 29 | 211 455.22/455.46 c 454s | 20 | 5501641 | 956127 | 5642 380 | 29 | 211 457.21/457.49 c 456s | 20 | 5529976 | 960527 | 5642 382 | 29 | 211 459.31/459.52 c 459s | 20 | 5558317 | 964827 | 5642 383 | 29 | 211 461.31/461.53 c 461s | 20 | 5585658 | 968727 | 5642 385 | 29 | 211 463.31/463.54 c 463s | 20 | 5611960 | 972727 | 5642 386 | 29 | 211 465.31/465.59 c 465s | 20 | 5630104 | 975727 | 5642 387 | 29 | 211 467.42/467.62 c 467s | 20 | 5659474 | 980327 | 5642 388 | 29 | 211 469.41/469.63 c 469s | 20 | 5686015 | 984827 | 5642 390 | 29 | 211 471.41/471.66 c 471s | 20 | 5709619 | 988927 | 5642 391 | 29 | 211 473.51/473.70 c 473s | 20 | 5741102 | 994027 | 6207 393 | 29 | 211 475.50/475.71 c 475s | 20 | 5768154 | 997827 | 6207 394 | 29 | 211 476.60/476.84 c 476s | 21 | 5785894 | 1000345 | 6207 395 | 29 | 211 478.60/478.85 c 478s | 21 | 5814511 | 1004645 | 6207 396 | 29 | 211 480.61/480.89 c 480s | 21 | 5838750 | 1008745 | 6207 397 | 29 | 211 482.60/482.91 c 482s | 21 | 5864060 | 1012945 | 6207 398 | 29 | 211 484.70/484.93 c 484s | 21 | 5884162 | 1016245 | 6207 399 | 29 | 211 486.70/486.98 c 486s | 21 | 5911838 | 1020745 | 6207 401 | 29 | 211 488.70/488.98 c 488s | 21 | 5939616 | 1024945 | 6207 402 | 29 | 211 490.79/491.02 c 490s | 21 | 5967197 | 1029145 | 6207 403 | 29 | 211 492.79/493.02 c 492s | 21 | 5997354 | 1033245 | 6207 404 | 29 | 211 494.80/495.05 c 494s | 21 | 6021447 | 1037145 | 6207 406 | 29 | 211 496.79/497.10 c 496s | 21 | 6045957 | 1041145 | 6207 407 | 29 | 211 498.89/499.13 c 498s | 21 | 6070593 | 1044545 | 6207 408 | 29 | 211 500.88/501.15 c 500s | 21 | 6098642 | 1048745 | 6207 409 | 29 | 211 502.88/503.18 c 502s | 21 | 6125830 | 1052845 | 6207 410 | 29 | 211 504.88/505.19 c 504s | 21 | 6154120 | 1057045 | 6207 412 | 29 | 211 506.89/507.20 c 506s | 21 | 6175547 | 1061045 | 6207 413 | 29 | 211 508.98/509.24 c 508s | 21 | 6197863 | 1064945 | 6207 414 | 29 | 211 510.98/511.24 c 510s | 21 | 6223524 | 1068845 | 6207 415 | 29 | 211 512.98/513.28 c 512s | 21 | 6250990 | 1072945 | 6207 416 | 29 | 211 514.98/515.29 c 514s | 21 | 6265491 | 1075145 | 6207 417 | 29 | 211 517.08/517.33 c 516s | 21 | 6294044 | 1079245 | 6207 418 | 29 | 211 519.09/519.36 c 518s | 21 | 6320270 | 1083245 | 6207 419 | 29 | 211 521.07/521.38 c 520s | 21 | 6346486 | 1087145 | 6207 421 | 29 | 211 523.17/523.42 c 522s | 21 | 6372511 | 1091145 | 6207 422 | 29 | 211 525.17/525.43 c 524s | 21 | 6398105 | 1095045 | 6207 423 | 29 | 211 527.17/527.44 c 526s | 21 | 6418845 | 1098545 | 6207 424 | 29 | 211 529.17/529.45 c 528s | 21 | 6441857 | 1101945 | 6207 425 | 29 | 211 531.18/531.47 c 530s | 21 | 6468317 | 1105945 | 6207 426 | 29 | 211 533.28/533.54 c 533s | 21 | 6493903 | 1110145 | 6207 428 | 29 | 211 535.26/535.55 c 535s | 21 | 6515094 | 1113945 | 6207 429 | 29 | 211 537.27/537.58 c 537s | 21 | 6542485 | 1118645 | 6207 430 | 29 | 211 539.37/539.61 c 539s | 21 | 6569302 | 1122745 | 6207 431 | 29 | 211 541.37/541.64 c 541s | 21 | 6596135 | 1126645 | 6207 432 | 29 | 211 543.37/543.68 c 543s | 21 | 6621736 | 1130745 | 6207 434 | 29 | 211 545.38/545.68 c 545s | 21 | 6649212 | 1134445 | 6207 435 | 29 | 211 547.37/547.69 c 547s | 21 | 6672416 | 1138745 | 6207 436 | 29 | 211 549.57/549.80 c 549s | 21 | 6695938 | 1142545 | 6207 437 | 29 | 211 551.56/551.83 c 551s | 21 | 6721317 | 1146845 | 6207 439 | 29 | 211 553.56/553.84 c 553s | 21 | 6748413 | 1150745 | 6207 440 | 29 | 211 555.56/555.87 c 555s | 21 | 6775195 | 1154945 | 6207 441 | 29 | 211 557.57/557.87 c 557s | 21 | 6797571 | 1158545 | 6207 442 | 29 | 211 559.56/559.88 c 559s | 21 | 6821186 | 1161945 | 6207 443 | 29 | 211 561.55/561.89 c 561s | 21 | 6847085 | 1166045 | 6207 444 | 29 | 211 563.65/563.90 c 563s | 21 | 6871594 | 1169645 | 6207 445 | 29 | 211 565.65/565.90 c 565s | 21 | 6896481 | 1173645 | 6207 447 | 29 | 211 567.65/567.94 c 567s | 21 | 6924701 | 1177645 | 6207 448 | 29 | 211 569.67/569.97 c 569s | 21 | 6946882 | 1181545 | 6207 449 | 29 | 211 571.65/571.98 c 571s | 21 | 6969529 | 1185445 | 6207 450 | 29 | 211 573.65/573.98 c 573s | 21 | 6993366 | 1189445 | 6207 451 | 29 | 211 575.75/576.00 c 575s | 21 | 7019259 | 1193245 | 6207 452 | 29 | 211 577.75/578.03 c 577s | 21 | 7042973 | 1197245 | 6207 454 | 29 | 211 579.75/580.05 c 579s | 21 | 7060822 | 1201045 | 6207 455 | 29 | 211 581.75/582.08 c 581s | 21 | 7084759 | 1204745 | 6207 456 | 29 | 211 583.85/584.12 c 583s | 21 | 7109199 | 1208545 | 6207 457 | 29 | 211 585.84/586.14 c 585s | 21 | 7132669 | 1211945 | 6207 458 | 29 | 211 587.84/588.18 c 587s | 21 | 7160871 | 1216045 | 6207 459 | 29 | 211 589.94/590.21 c 589s | 21 | 7183594 | 1219645 | 6207 460 | 29 | 211 591.93/592.23 c 591s | 21 | 7203053 | 1222745 | 6207 461 | 29 | 211 593.93/594.24 c 593s | 21 | 7228965 | 1226645 | 6207 462 | 29 | 211 595.94/596.29 c 595s | 21 | 7255484 | 1230945 | 6207 464 | 29 | 211 598.03/598.33 c 597s | 21 | 7282086 | 1235245 | 6207 465 | 29 | 211 600.03/600.37 c 599s | 21 | 7306132 | 1239345 | 6207 466 | 29 | 211 602.33/602.69 c 602s | 21 | 7330964 | 1243345 | 6207 467 | 29 | 211 604.42/604.71 c 604s | 21 | 7359952 | 1247545 | 6207 469 | 29 | 211 606.72/607.01 c 606s | 21 | 7383125 | 1251145 | 6207 470 | 29 | 211 608.72/609.02 c 608s | 21 | 7410212 | 1255045 | 6207 471 | 29 | 211 610.72/611.04 c 610s | 21 | 7436102 | 1258945 | 6207 472 | 29 | 211 612.72/613.06 c 612s | 21 | 7460926 | 1263045 | 6207 473 | 29 | 211 614.74/615.07 c 614s | 21 | 7481593 | 1266345 | 6207 474 | 29 | 211 616.84/617.12 c 616s | 21 | 7508038 | 1270345 | 6207 476 | 29 | 211 618.83/619.13 c 618s | 21 | 7533215 | 1274045 | 6207 477 | 29 | 211 620.82/621.15 c 620s | 21 | 7558303 | 1277845 | 6207 478 | 29 | 211 622.82/623.16 c 622s | 21 | 7581143 | 1281545 | 6207 479 | 29 | 211 624.82/625.16 c 624s | 21 | 7603385 | 1285245 | 6207 480 | 29 | 211 626.83/627.17 c 626s | 21 | 7624807 | 1288645 | 6207 481 | 29 | 211 628.82/629.18 c 628s | 21 | 7645149 | 1291945 | 6207 482 | 29 | 211 630.82/631.18 c 630s | 21 | 7664786 | 1295045 | 6207 483 | 29 | 211 632.92/633.21 c 632s | 21 | 7687678 | 1298645 | 6207 484 | 29 | 211 634.92/635.24 c 634s | 21 | 7715554 | 1302545 | 6207 485 | 29 | 211 636.92/637.25 c 636s | 21 | 7742076 | 1306245 | 6207 486 | 29 | 211 639.11/639.45 c 638s | 21 | 7766769 | 1309745 | 6207 487 | 29 | 211 641.12/641.49 c 640s | 21 | 7793979 | 1313445 | 6207 489 | 29 | 211 643.22/643.55 c 643s | 21 | 7817510 | 1317445 | 6207 490 | 29 | 211 645.21/645.58 c 645s | 21 | 7843226 | 1321445 | 6207 491 | 29 | 211 647.31/647.60 c 647s | 21 | 7864275 | 1324945 | 6207 492 | 29 | 211 649.41/649.73 c 649s | 21 | 7890600 | 1329345 | 6207 493 | 29 | 211 651.40/651.77 c 651s | 21 | 7918144 | 1333545 | 6207 495 | 29 | 211 653.41/653.78 c 653s | 21 | 7934648 | 1336345 | 6207 495 | 29 | 211 655.42/655.79 c 655s | 21 | 7959185 | 1340145 | 6207 497 | 29 | 211 657.52/657.83 c 657s | 21 | 7985642 | 1344345 | 6207 498 | 29 | 211 659.51/659.86 c 659s | 21 | 8012718 | 1348145 | 6207 499 | 29 | 211 661.51/661.87 c 661s | 21 | 8038086 | 1352145 | 6207 500 | 29 | 211 663.61/663.92 c 663s | 21 | 8066487 | 1356545 | 6207 501 | 29 | 211 665.60/665.93 c 665s | 21 | 8090332 | 1360245 | 6207 503 | 29 | 211 667.60/667.94 c 667s | 21 | 8114260 | 1363845 | 6207 504 | 29 | 211 669.61/669.96 c 669s | 21 | 8130591 | 1366945 | 6207 505 | 29 | 211 671.60/671.97 c 671s | 21 | 8157628 | 1372145 | 6207 506 | 29 | 211 673.70/674.02 c 673s | 21 | 8175357 | 1375545 | 6207 507 | 29 | 211 675.70/676.02 c 675s | 21 | 8201965 | 1379345 | 6207 508 | 29 | 211 677.70/678.03 c 677s | 21 | 8225093 | 1383245 | 6207 509 | 29 | 211 679.70/680.04 c 679s | 21 | 8249181 | 1387545 | 6207 511 | 29 | 211 681.70/682.07 c 681s | 21 | 8268140 | 1390745 | 6207 512 | 29 | 211 683.69/684.09 c 683s | 21 | 8292729 | 1394345 | 6207 513 | 29 | 211 685.79/686.13 c 685s | 21 | 8314613 | 1397545 | 6207 514 | 29 | 211 687.79/688.18 c 687s | 21 | 8337215 | 1400945 | 6207 515 | 29 | 211 689.79/690.19 c 689s | 21 | 8360895 | 1404445 | 6207 516 | 29 | 211 691.78/692.19 c 691s | 21 | 8387959 | 1407845 | 6207 517 | 29 | 211 693.89/694.22 c 693s | 21 | 8413311 | 1411545 | 6207 518 | 29 | 211 695.88/696.27 c 695s | 21 | 8438419 | 1415345 | 6207 519 | 29 | 211 697.98/698.32 c 697s | 21 | 8462400 | 1418945 | 6207 520 | 29 | 211 699.98/700.38 c 699s | 21 | 8480950 | 1422445 | 6207 521 | 29 | 211 702.08/702.44 c 701s | 21 | 8503234 | 1425845 | 6207 522 | 29 | 211 704.08/704.48 c 703s | 21 | 8526314 | 1429445 | 6207 523 | 29 | 211 706.18/706.54 c 706s | 21 | 8551558 | 1432945 | 6207 524 | 29 | 211 708.28/708.61 c 708s | 21 | 8577919 | 1436645 | 6207 526 | 29 | 211 710.29/710.63 c 710s | 21 | 8603481 | 1440845 | 6207 527 | 29 | 211 712.28/712.68 c 712s | 21 | 8620607 | 1443945 | 6207 528 | 29 | 211 714.38/714.76 c 714s | 21 | 8645866 | 1447945 | 6207 529 | 29 | 211 716.38/716.78 c 716s | 21 | 8667989 | 1451545 | 6207 530 | 29 | 211 718.47/718.82 c 718s | 21 | 8692830 | 1455345 | 6207 531 | 29 | 211 720.48/720.83 c 720s | 21 | 8719528 | 1459045 | 6207 532 | 29 | 211 722.49/722.88 c 722s | 21 | 8743824 | 1462845 | 6207 533 | 29 | 211 724.48/724.90 c 724s | 21 | 8773421 | 1467445 | 6207 535 | 29 | 211 726.58/726.93 c 726s | 21 | 8801832 | 1471345 | 6207 536 | 29 | 211 728.58/728.96 c 728s | 21 | 8832774 | 1475445 | 6207 537 | 29 | 211 730.68/731.02 c 730s | 21 | 8857874 | 1479345 | 6207 538 | 29 | 211 732.67/733.03 c 732s | 21 | 8880792 | 1482645 | 6207 539 | 29 | 211 734.67/735.06 c 734s | 21 | 8906135 | 1486645 | 6207 541 | 29 | 211 736.78/737.11 c 736s | 21 | 8934104 | 1490745 | 6828 542 | 29 | 211 738.77/739.15 c 738s | 21 | 8958236 | 1494545 | 6828 543 | 29 | 211 740.87/741.22 c 740s | 21 | 8980903 | 1498645 | 6828 544 | 29 | 211 741.87/742.21 c 741s | 22 | 8990344 | 1500622 | 6828 544 | 29 | 211 743.87/744.27 c 743s | 22 | 9013116 | 1504022 | 6828 545 | 29 | 211 745.87/746.29 c 745s | 22 | 9030896 | 1507222 | 6828 546 | 29 | 211 747.97/748.33 c 747s | 22 | 9057672 | 1511422 | 6828 547 | 29 | 211 749.98/750.35 c 749s | 22 | 9080980 | 1514922 | 6828 548 | 29 | 211 751.97/752.40 c 751s | 22 | 9110004 | 1519022 | 6828 549 | 29 | 211 754.07/754.40 c 753s | 22 | 9137664 | 1523522 | 6828 551 | 29 | 211 756.06/756.45 c 755s | 22 | 9167499 | 1528122 | 6828 552 | 29 | 211 758.07/758.49 c 758s | 22 | 9192373 | 1532122 | 6828 553 | 29 | 211 760.17/760.51 c 760s | 22 | 9218020 | 1535922 | 6828 554 | 29 | 211 762.17/762.54 c 762s | 22 | 9249861 | 1540522 | 6828 555 | 29 | 211 764.18/764.56 c 764s | 22 | 9273834 | 1544122 | 6828 556 | 29 | 211 766.27/766.62 c 766s | 22 | 9297231 | 1548022 | 6828 557 | 29 | 211 768.27/768.62 c 768s | 22 | 9319951 | 1551922 | 6828 558 | 29 | 211 770.27/770.64 c 770s | 22 | 9347436 | 1556022 | 6828 559 | 29 | 211 772.27/772.66 c 772s | 22 | 9371566 | 1560022 | 6828 561 | 29 | 211 774.27/774.68 c 774s | 22 | 9396061 | 1564022 | 6828 562 | 29 | 211 776.28/776.69 c 776s | 22 | 9417653 | 1567322 | 6828 563 | 29 | 211 778.37/778.71 c 778s | 22 | 9445245 | 1571622 | 6828 564 | 29 | 211 780.37/780.73 c 780s | 22 | 9472648 | 1576022 | 6828 565 | 29 | 211 782.47/782.85 c 782s | 22 | 9497153 | 1579722 | 6828 566 | 29 | 211 784.47/784.88 c 784s | 22 | 9513179 | 1582222 | 6828 567 | 29 | 211 786.47/786.89 c 786s | 22 | 9541274 | 1586222 | 6828 568 | 29 | 211 788.57/788.91 c 788s | 22 | 9564977 | 1589922 | 6828 569 | 29 | 211 790.57/790.92 c 790s | 22 | 9586341 | 1593522 | 6828 570 | 29 | 211 792.56/792.97 c 792s | 22 | 9614592 | 1598022 | 6828 571 | 29 | 211 794.66/795.01 c 794s | 22 | 9642383 | 1601822 | 6828 572 | 29 | 211 796.76/797.14 c 796s | 22 | 9663872 | 1605222 | 6828 573 | 29 | 211 798.76/799.16 c 798s | 22 | 9692980 | 1609122 | 6828 574 | 29 | 211 800.87/801.20 c 800s | 22 | 9719910 | 1612922 | 6828 575 | 29 | 211 802.87/803.22 c 802s | 22 | 9746443 | 1616622 | 6828 576 | 29 | 211 804.88/805.25 c 804s | 22 | 9766785 | 1620422 | 6828 577 | 29 | 211 806.96/807.31 c 806s | 22 | 9795890 | 1624622 | 6828 578 | 29 | 211 808.96/809.32 c 808s | 22 | 9814565 | 1627622 | 6828 579 | 29 | 211 810.96/811.35 c 810s | 22 | 9836177 | 1631022 | 6828 580 | 29 | 211 812.96/813.36 c 812s | 22 | 9859754 | 1634622 | 6828 581 | 29 | 211 814.96/815.37 c 814s | 22 | 9882405 | 1638622 | 6828 582 | 29 | 211 816.97/817.39 c 816s | 22 | 9905934 | 1642622 | 6828 583 | 29 | 211 819.06/819.42 c 818s | 22 | 9931916 | 1646522 | 6828 584 | 29 | 211 821.06/821.46 c 820s | 22 | 9957240 | 1650322 | 6828 585 | 29 | 211 823.16/823.52 c 823s | 22 | 9984182 | 1654322 | 6828 586 | 29 | 211 825.26/825.66 c 825s | 22 | 10014467 | 1658222 | 6828 588 | 29 | 211 827.36/827.73 c 827s | 22 | 10034984 | 1661722 | 6828 589 | 29 | 211 829.36/829.77 c 829s | 22 | 10057944 | 1665622 | 6828 590 | 29 | 211 831.46/831.86 c 831s | 22 | 10081610 | 1669222 | 6828 591 | 29 | 211 833.47/833.87 c 833s | 22 | 10107047 | 1673122 | 6828 592 | 29 | 211 835.56/835.93 c 835s | 22 | 10133875 | 1676922 | 6828 593 | 29 | 211 837.56/837.95 c 837s | 22 | 10151139 | 1680122 | 6828 594 | 29 | 211 839.56/839.98 c 839s | 22 | 10173312 | 1683922 | 6828 595 | 29 | 211 841.66/842.02 c 841s | 22 | 10199310 | 1688022 | 6828 596 | 29 | 211 843.65/844.07 c 843s | 22 | 10218223 | 1691322 | 6828 597 | 29 | 211 845.66/846.08 c 845s | 22 | 10240201 | 1695222 | 6828 598 | 29 | 211 847.65/848.08 c 847s | 22 | 10261777 | 1699222 | 6828 599 | 29 | 211 849.75/850.11 c 849s | 22 | 10286247 | 1703122 | 6828 600 | 29 | 211 851.75/852.13 c 851s | 22 | 10311103 | 1706422 | 6828 601 | 29 | 211 853.75/854.16 c 853s | 22 | 10337331 | 1710322 | 6828 602 | 29 | 211 855.85/856.20 c 855s | 22 | 10365988 | 1714222 | 6828 603 | 29 | 211 857.85/858.21 c 857s | 22 | 10391615 | 1718422 | 6828 604 | 29 | 211 859.86/860.23 c 859s | 22 | 10415232 | 1722822 | 6828 605 | 29 | 211 861.85/862.26 c 861s | 22 | 10440037 | 1726422 | 6828 606 | 29 | 211 863.85/864.29 c 863s | 22 | 10471249 | 1730122 | 6828 607 | 29 | 211 865.96/866.34 c 865s | 22 | 10493286 | 1733622 | 6828 608 | 29 | 211 867.96/868.35 c 867s | 22 | 10519625 | 1737222 | 6828 609 | 29 | 211 870.05/870.40 c 869s | 22 | 10540512 | 1740822 | 6828 610 | 29 | 211 872.06/872.45 c 871s | 22 | 10561257 | 1744822 | 6828 611 | 29 | 211 874.16/874.51 c 874s | 22 | 10582406 | 1748322 | 6828 612 | 29 | 211 876.15/876.54 c 876s | 22 | 10604796 | 1751922 | 6828 613 | 29 | 211 878.45/878.85 c 878s | 22 | 10624767 | 1755122 | 6828 614 | 29 | 211 880.45/880.87 c 880s | 22 | 10645564 | 1758422 | 6828 615 | 29 | 211 882.55/882.90 c 882s | 22 | 10663235 | 1761122 | 6828 616 | 29 | 211 884.55/884.92 c 884s | 22 | 10681027 | 1764722 | 6828 617 | 29 | 211 886.55/886.96 c 886s | 22 | 10713532 | 1769122 | 6828 618 | 29 | 211 888.56/888.99 c 888s | 22 | 10740617 | 1773222 | 6828 619 | 29 | 211 890.66/891.01 c 890s | 22 | 10765358 | 1776822 | 6828 620 | 29 | 211 892.65/893.02 c 892s | 22 | 10788792 | 1780522 | 6828 621 | 29 | 211 894.65/895.05 c 894s | 22 | 10814573 | 1784122 | 6828 622 | 29 | 211 896.65/897.08 c 896s | 22 | 10837488 | 1787822 | 6828 623 | 29 | 211 898.75/899.12 c 898s | 22 | 10862483 | 1791322 | 6828 624 | 29 | 211 900.75/901.13 c 900s | 22 | 10883999 | 1795022 | 6828 625 | 29 | 211 902.76/903.14 c 902s | 22 | 10906838 | 1798622 | 6828 626 | 29 | 211 904.75/905.17 c 904s | 22 | 10931001 | 1802322 | 6828 627 | 29 | 211 906.85/907.20 c 906s | 22 | 10959304 | 1806322 | 6828 628 | 29 | 211 908.85/909.21 c 908s | 22 | 10980707 | 1809822 | 6828 629 | 29 | 211 910.85/911.22 c 910s | 22 | 11002711 | 1813322 | 6828 630 | 29 | 211 912.85/913.25 c 912s | 22 | 11028216 | 1817322 | 6828 631 | 29 | 211 914.86/915.27 c 914s | 22 | 11048447 | 1820922 | 6828 632 | 29 | 211 916.95/917.31 c 916s | 22 | 11074074 | 1824422 | 6828 633 | 29 | 211 918.95/919.34 c 918s | 22 | 11097128 | 1828022 | 6828 634 | 29 | 211 920.94/921.35 c 920s | 22 | 11121213 | 1831822 | 6828 635 | 29 | 211 922.94/923.36 c 922s | 22 | 11137071 | 1834522 | 6828 636 | 29 | 211 924.94/925.39 c 924s | 22 | 11159392 | 1838622 | 6828 637 | 29 | 211 927.05/927.45 c 926s | 22 | 11182664 | 1842522 | 6828 638 | 29 | 211 929.04/929.45 c 928s | 22 | 11198657 | 1845422 | 6828 639 | 29 | 211 931.04/931.47 c 930s | 22 | 11225307 | 1848922 | 6828 640 | 29 | 211 933.14/933.50 c 933s | 22 | 11248284 | 1852522 | 6828 641 | 29 | 211 935.14/935.54 c 935s | 22 | 11270478 | 1855822 | 6828 642 | 29 | 211 937.14/937.58 c 937s | 22 | 11291653 | 1859122 | 6828 643 | 29 | 211 939.24/939.61 c 939s | 22 | 11308156 | 1862022 | 6828 644 | 29 | 211 941.25/941.66 c 941s | 22 | 11329187 | 1865622 | 6828 645 | 29 | 211 943.24/943.69 c 943s | 22 | 11348174 | 1869222 | 6828 646 | 29 | 211 945.34/945.71 c 945s | 22 | 11369693 | 1873422 | 6828 647 | 29 | 211 947.34/947.76 c 947s | 22 | 11395325 | 1877422 | 6828 648 | 29 | 211 949.34/949.76 c 949s | 22 | 11420801 | 1881322 | 6828 649 | 29 | 211 951.34/951.79 c 951s | 22 | 11443822 | 1885122 | 6828 650 | 29 | 211 953.45/953.81 c 953s | 22 | 11465587 | 1888422 | 6828 651 | 29 | 211 955.44/955.83 c 955s | 22 | 11487793 | 1891922 | 6828 652 | 29 | 211 957.44/957.89 c 957s | 22 | 11509120 | 1895422 | 6828 653 | 29 | 211 959.54/959.93 c 959s | 22 | 11530230 | 1899222 | 6828 654 | 29 | 211 961.54/961.94 c 961s | 22 | 11554364 | 1903122 | 6828 655 | 29 | 211 963.54/963.95 c 963s | 22 | 11579995 | 1906722 | 6828 656 | 29 | 211 965.55/965.97 c 965s | 22 | 11597918 | 1909522 | 6828 657 | 29 | 211 967.54/968.01 c 967s | 22 | 11627819 | 1913522 | 6828 658 | 29 | 211 969.64/970.03 c 969s | 22 | 11654559 | 1917322 | 6828 659 | 29 | 211 971.64/972.04 c 971s | 22 | 11681813 | 1920822 | 6828 660 | 29 | 211 973.64/974.06 c 973s | 22 | 11706921 | 1924522 | 6828 661 | 29 | 211 975.74/976.12 c 975s | 22 | 11728692 | 1928122 | 6828 662 | 29 | 211 977.74/978.15 c 977s | 22 | 11758120 | 1932122 | 6828 663 | 29 | 211 979.75/980.17 c 979s | 22 | 11783494 | 1935922 | 6828 664 | 29 | 211 981.74/982.18 c 981s | 22 | 11806504 | 1939722 | 6828 665 | 29 | 211 983.84/984.23 c 983s | 22 | 11828369 | 1943122 | 6828 666 | 29 | 211 985.84/986.24 c 985s | 22 | 11846693 | 1946122 | 6828 667 | 29 | 211 987.83/988.25 c 987s | 22 | 11867515 | 1949222 | 6828 668 | 29 | 211 989.93/990.30 c 989s | 22 | 11892152 | 1953022 | 6828 669 | 29 | 211 991.94/992.32 c 991s | 22 | 11915726 | 1956622 | 6828 670 | 29 | 211 993.93/994.38 c 993s | 22 | 11939165 | 1960222 | 6828 671 | 29 | 211 996.13/996.54 c 996s | 22 | 11959335 | 1963022 | 6828 671 | 29 | 211 998.13/998.59 c 998s | 22 | 11982606 | 1966422 | 6828 672 | 29 | 211 1000.23/1000.66 c 1000s | 22 | 12007891 | 1969622 | 6828 673 | 29 | 211 1002.23/1002.67 c 1002s | 22 | 12034156 | 1973422 | 6828 674 | 29 | 211 1004.23/1004.67 c 1004s | 22 | 12057869 | 1977522 | 6828 675 | 29 | 211 1006.33/1006.71 c 1006s | 22 | 12082816 | 1981422 | 6828 676 | 29 | 211 1008.34/1008.76 c 1008s | 22 | 12108365 | 1984822 | 6828 677 | 29 | 211 1010.33/1010.79 c 1010s | 22 | 12134605 | 1988522 | 6828 678 | 29 | 211 1012.43/1012.84 c 1012s | 22 | 12165234 | 1992822 | 6828 680 | 29 | 211 1014.53/1014.92 c 1014s | 22 | 12190040 | 1996422 | 6828 681 | 29 | 211 1016.53/1016.96 c 1016s | 22 | 12212507 | 2000122 | 6828 682 | 29 | 211 1018.53/1018.99 c 1018s | 22 | 12231500 | 2003922 | 6828 683 | 29 | 211 1020.62/1021.04 c 1020s | 22 | 12249722 | 2008422 | 6828 684 | 29 | 211 1022.63/1023.06 c 1022s | 22 | 12270785 | 2011522 | 6828 685 | 29 | 211 1024.62/1025.07 c 1024s | 22 | 12290022 | 2015322 | 6828 686 | 29 | 211 1026.72/1027.11 c 1026s | 22 | 12310131 | 2019422 | 6828 687 | 29 | 211 1028.72/1029.14 c 1028s | 22 | 12333033 | 2022922 | 6828 688 | 29 | 211 1030.72/1031.15 c 1030s | 22 | 12353392 | 2025822 | 6828 689 | 29 | 211 1032.82/1033.20 c 1032s | 22 | 12379024 | 2029322 | 6828 690 | 29 | 211 1034.83/1035.24 c 1034s | 22 | 12400866 | 2032622 | 6828 690 | 29 | 211 1036.82/1037.27 c 1036s | 22 | 12428673 | 2036322 | 6828 691 | 29 | 211 1038.92/1039.30 c 1038s | 22 | 12452841 | 2039922 | 6828 692 | 29 | 211 1040.92/1041.32 c 1040s | 22 | 12479620 | 2043722 | 6828 693 | 29 | 211 1042.92/1043.34 c 1042s | 22 | 12501627 | 2046822 | 6828 694 | 29 | 211 1044.92/1045.39 c 1044s | 22 | 12522780 | 2050522 | 6828 695 | 29 | 211 1047.02/1047.40 c 1046s | 22 | 12541516 | 2054122 | 6828 696 | 29 | 211 1048.92/1049.40 c 1048s | 22 | 12560148 | 2057522 | 6828 697 | 29 | 211 1051.02/1051.45 c 1050s | 22 | 12583157 | 2061122 | 6828 698 | 29 | 211 1053.33/1053.71 c 1053s | 22 | 12598836 | 2063322 | 6828 699 | 29 | 211 1055.33/1055.74 c 1055s | 22 | 12617440 | 2065922 | 6828 700 | 29 | 211 1057.33/1057.76 c 1057s | 22 | 12643599 | 2069522 | 6828 701 | 29 | 211 1059.43/1059.80 c 1059s | 22 | 12666616 | 2073222 | 6828 702 | 29 | 211 1061.42/1061.81 c 1061s | 22 | 12687832 | 2076822 | 6828 703 | 29 | 211 1063.43/1063.83 c 1063s | 22 | 12714166 | 2080222 | 6828 704 | 29 | 211 1065.42/1065.84 c 1065s | 22 | 12740203 | 2083922 | 6828 705 | 29 | 211 1067.42/1067.85 c 1067s | 22 | 12768118 | 2087522 | 6828 706 | 29 | 211 1069.52/1069.90 c 1069s | 22 | 12789493 | 2091022 | 6828 706 | 29 | 211 1071.52/1071.92 c 1071s | 22 | 12811442 | 2095122 | 6828 708 | 29 | 211 1073.52/1073.92 c 1073s | 22 | 12831133 | 2098522 | 6828 709 | 29 | 211 1075.53/1075.92 c 1075s | 22 | 12852608 | 2101722 | 6828 709 | 29 | 211 1077.52/1077.97 c 1077s | 22 | 12878884 | 2106022 | 6828 711 | 29 | 211 1079.52/1079.99 c 1079s | 22 | 12911885 | 2110022 | 6828 712 | 29 | 211 1081.62/1082.02 c 1081s | 22 | 12934005 | 2113222 | 6828 713 | 29 | 211 1083.62/1084.07 c 1083s | 22 | 12961223 | 2116522 | 6828 714 | 29 | 211 1085.62/1086.09 c 1085s | 22 | 12986073 | 2120622 | 6828 715 | 29 | 211 1087.72/1088.11 c 1087s | 22 | 13013032 | 2124522 | 6828 716 | 29 | 211 1089.73/1090.15 c 1089s | 22 | 13039427 | 2128522 | 6828 717 | 29 | 211 1091.72/1092.18 c 1091s | 22 | 13065795 | 2132422 | 6828 718 | 29 | 211 1093.82/1094.23 c 1093s | 22 | 13081597 | 2136222 | 6828 719 | 29 | 211 1095.82/1096.24 c 1095s | 22 | 13101913 | 2139922 | 6828 720 | 29 | 211 1097.82/1098.26 c 1097s | 22 | 13124055 | 2143622 | 6828 721 | 29 | 211 1099.82/1100.28 c 1099s | 22 | 13149327 | 2147822 | 6828 722 | 29 | 211 1101.92/1102.31 c 1101s | 22 | 13173601 | 2151422 | 6828 723 | 29 | 211 1103.91/1104.35 c 1103s | 22 | 13199612 | 2155422 | 6828 724 | 29 | 211 1105.91/1106.37 c 1105s | 22 | 13222854 | 2159222 | 6828 725 | 29 | 211 1108.01/1108.41 c 1107s | 22 | 13245627 | 2163322 | 6828 726 | 29 | 211 1110.01/1110.44 c 1109s | 22 | 13273053 | 2167322 | 6828 727 | 29 | 211 1112.01/1112.45 c 1111s | 22 | 13296999 | 2171022 | 6828 728 | 29 | 211 1114.11/1114.51 c 1114s | 22 | 13324691 | 2174922 | 6828 730 | 29 | 211 1116.12/1116.55 c 1116s | 22 | 13350940 | 2178822 | 6828 731 | 29 | 211 1118.12/1118.58 c 1118s | 22 | 13374803 | 2182422 | 6828 732 | 29 | 211 1120.22/1120.62 c 1120s | 22 | 13398571 | 2186222 | 6828 733 | 29 | 211 1122.21/1122.63 c 1122s | 22 | 13412875 | 2188422 | 6828 733 | 29 | 211 1124.21/1124.67 c 1124s | 22 | 13435636 | 2191922 | 6828 734 | 29 | 211 1126.31/1126.74 c 1126s | 22 | 13454877 | 2194622 | 6828 735 | 29 | 211 1128.32/1128.76 c 1128s | 22 | 13479629 | 2198422 | 6828 736 | 29 | 211 1130.42/1130.81 c 1130s | 22 | 13503523 | 2202222 | 6828 737 | 29 | 211 1132.41/1132.84 c 1132s | 22 | 13534938 | 2206422 | 6828 738 | 29 | 211 1134.41/1134.87 c 1134s | 22 | 13556656 | 2209522 | 6828 739 | 29 | 211 1136.41/1136.88 c 1136s | 22 | 13583825 | 2213222 | 6828 740 | 29 | 211 1138.41/1138.88 c 1138s | 22 | 13603266 | 2216822 | 6828 741 | 29 | 211 1140.51/1140.91 c 1140s | 22 | 13623462 | 2220122 | 6828 742 | 29 | 211 1142.52/1142.93 c 1142s | 22 | 13645934 | 2223922 | 6828 743 | 29 | 211 1144.51/1144.95 c 1144s | 22 | 13669572 | 2227422 | 6828 744 | 29 | 211 1146.61/1147.00 c 1146s | 22 | 13690784 | 2230722 | 6828 745 | 29 | 211 1148.61/1149.02 c 1148s | 22 | 13715912 | 2234322 | 7511 746 | 29 | 211 1150.61/1151.03 c 1150s | 22 | 13739607 | 2237422 | 7511 747 | 29 | 211 1152.61/1153.05 c 1152s | 22 | 13764128 | 2240422 | 7511 747 | 29 | 211 1154.72/1155.11 c 1154s | 22 | 13784949 | 2243622 | 7511 748 | 29 | 211 1156.71/1157.12 c 1156s | 22 | 13805101 | 2247122 | 7511 749 | 29 | 211 1158.70/1159.15 c 1158s | 22 | 13828053 | 2250722 | 7511 750 | 29 | 211 1158.90/1159.30 c 1158s | 23 | 13829661 | 2251038 | 7511 750 | 29 | 211 1160.90/1161.35 c 1160s | 23 | 13852687 | 2254438 | 7511 751 | 29 | 211 1162.90/1163.38 c 1162s | 23 | 13875224 | 2257538 | 7511 752 | 29 | 211 1164.90/1165.39 c 1164s | 23 | 13895707 | 2260238 | 7511 752 | 29 | 211 1167.00/1167.45 c 1166s | 23 | 13924638 | 2264738 | 7511 753 | 29 | 211 1169.01/1169.47 c 1168s | 23 | 13954677 | 2268638 | 7511 754 | 29 | 211 1171.00/1171.49 c 1171s | 23 | 13978797 | 2272138 | 7511 755 | 29 | 211 1173.11/1173.55 c 1173s | 23 | 14006325 | 2276538 | 7511 756 | 29 | 211 1175.11/1175.56 c 1175s | 23 | 14033759 | 2279938 | 7511 757 | 29 | 211 1177.11/1177.57 c 1177s | 23 | 14055269 | 2283438 | 7511 758 | 29 | 211 1179.21/1179.61 c 1179s | 23 | 14079245 | 2287138 | 7511 759 | 29 | 211 1181.21/1181.65 c 1181s | 23 | 14106526 | 2290738 | 7511 760 | 29 | 211 1183.22/1183.68 c 1183s | 23 | 14124924 | 2293738 | 7511 761 | 29 | 211 1185.31/1185.72 c 1185s | 23 | 14154934 | 2297338 | 7511 762 | 29 | 211 1187.31/1187.76 c 1187s | 23 | 14183885 | 2301538 | 7511 763 | 29 | 211 1189.31/1189.76 c 1189s | 23 | 14206632 | 2305138 | 7511 764 | 29 | 211 1191.30/1191.78 c 1191s | 23 | 14233482 | 2308838 | 7511 764 | 29 | 211 1193.30/1193.79 c 1193s | 23 | 14253975 | 2312638 | 7511 765 | 29 | 211 1195.31/1195.80 c 1195s | 23 | 14275557 | 2316338 | 7511 766 | 29 | 211 1197.40/1197.85 c 1197s | 23 | 14301928 | 2319938 | 7511 767 | 29 | 211 1199.40/1199.85 c 1199s | 23 | 14328423 | 2324138 | 7511 768 | 29 | 211 1201.40/1201.86 c 1201s | 23 | 14350722 | 2327338 | 7511 769 | 29 | 211 1203.50/1203.93 c 1203s | 23 | 14372063 | 2330438 | 7511 770 | 29 | 211 1205.50/1205.94 c 1205s | 23 | 14394097 | 2334438 | 7511 771 | 29 | 211 1207.51/1207.95 c 1207s | 23 | 14424711 | 2338138 | 7511 772 | 29 | 211 1209.61/1210.04 c 1209s | 23 | 14450006 | 2341838 | 7511 773 | 29 | 211 1211.60/1212.06 c 1211s | 23 | 14473592 | 2345338 | 7511 774 | 29 | 211 1213.60/1214.06 c 1213s | 23 | 14501823 | 2349238 | 7511 775 | 29 | 211 1215.60/1216.10 c 1215s | 23 | 14528735 | 2353138 | 7511 776 | 29 | 211 1217.70/1218.14 c 1217s | 23 | 14547698 | 2356138 | 7511 776 | 29 | 211 1219.70/1220.14 c 1219s | 23 | 14570354 | 2359738 | 7511 777 | 29 | 211 1221.71/1222.16 c 1221s | 23 | 14597091 | 2364138 | 7511 778 | 29 | 211 1223.70/1224.19 c 1223s | 23 | 14622972 | 2368138 | 7511 779 | 29 | 211 1225.80/1226.21 c 1225s | 23 | 14643730 | 2371538 | 7511 780 | 29 | 211 1227.80/1228.22 c 1227s | 23 | 14668070 | 2375138 | 7511 781 | 29 | 211 1229.80/1230.25 c 1229s | 23 | 14693754 | 2378738 | 7511 782 | 29 | 211 1231.80/1232.28 c 1231s | 23 | 14722714 | 2382438 | 7511 783 | 29 | 211 1233.81/1234.30 c 1233s | 23 | 14750133 | 2385938 | 7511 784 | 29 | 211 1235.90/1236.36 c 1235s | 23 | 14775764 | 2389538 | 7511 785 | 29 | 211 1237.99/1238.40 c 1237s | 23 | 14801353 | 2393138 | 7511 786 | 29 | 211 1239.99/1240.42 c 1239s | 23 | 14822710 | 2396238 | 7511 786 | 29 | 211 1242.19/1242.60 c 1242s | 23 | 14837602 | 2399538 | 7511 787 | 29 | 211 1244.19/1244.60 c 1244s | 23 | 14867862 | 2404238 | 7511 788 | 29 | 211 1246.19/1246.63 c 1246s | 23 | 14895463 | 2408638 | 7511 790 | 29 | 211 1248.20/1248.67 c 1248s | 23 | 14925398 | 2413038 | 7511 791 | 29 | 211 1250.19/1250.70 c 1250s | 23 | 14951596 | 2417038 | 7511 792 | 29 | 211 1252.29/1252.73 c 1252s | 23 | 14978480 | 2421038 | 7511 793 | 29 | 211 1254.29/1254.74 c 1254s | 23 | 15000964 | 2424438 | 7511 794 | 29 | 211 1256.29/1256.77 c 1256s | 23 | 15028904 | 2428638 | 7511 795 | 29 | 211 1258.39/1258.83 c 1258s | 23 | 15047591 | 2431838 | 7511 795 | 29 | 211 1260.39/1260.84 c 1260s | 23 | 15071753 | 2436038 | 7511 796 | 29 | 211 1262.40/1262.84 c 1262s | 23 | 15099673 | 2439838 | 7511 797 | 29 | 211 1264.49/1264.91 c 1264s | 23 | 15120444 | 2442838 | 7511 798 | 29 | 211 1266.49/1266.94 c 1266s | 23 | 15145470 | 2446938 | 7511 799 | 29 | 211 1268.49/1268.96 c 1268s | 23 | 15166374 | 2450538 | 7511 800 | 29 | 211 1270.59/1271.02 c 1270s | 23 | 15194620 | 2454938 | 7511 801 | 29 | 211 1272.59/1273.02 c 1272s | 23 | 15221455 | 2458738 | 7511 802 | 29 | 211 1274.60/1275.04 c 1274s | 23 | 15243309 | 2462238 | 7511 803 | 29 | 211 1276.59/1277.06 c 1276s | 23 | 15268980 | 2465938 | 7511 804 | 29 | 211 1278.59/1279.09 c 1278s | 23 | 15297197 | 2469938 | 7511 805 | 29 | 211 1280.69/1281.15 c 1280s | 23 | 15325828 | 2473438 | 7511 806 | 29 | 211 1282.69/1283.16 c 1282s | 23 | 15347691 | 2476738 | 7511 807 | 29 | 211 1284.68/1285.19 c 1284s | 23 | 15366665 | 2479838 | 7511 807 | 29 | 211 1286.78/1287.20 c 1286s | 23 | 15391387 | 2483838 | 7511 808 | 29 | 211 1288.79/1289.24 c 1288s | 23 | 15416720 | 2487838 | 7511 809 | 29 | 211 1290.78/1291.29 c 1290s | 23 | 15441932 | 2491538 | 7511 810 | 29 | 211 1292.89/1293.34 c 1292s | 23 | 15465980 | 2495138 | 7511 811 | 29 | 211 1294.99/1295.44 c 1294s | 23 | 15488073 | 2498538 | 7511 812 | 29 | 211 1296.99/1297.48 c 1296s | 23 | 15510825 | 2502338 | 7511 813 | 29 | 211 1299.09/1299.54 c 1299s | 23 | 15535921 | 2505938 | 7511 814 | 29 | 211 1301.09/1301.58 c 1301s | 23 | 15559642 | 2509238 | 7511 815 | 29 | 211 1303.19/1303.62 c 1303s | 23 | 15574502 | 2511138 | 7511 815 | 29 | 211 1305.18/1305.63 c 1305s | 23 | 15596283 | 2514638 | 7511 816 | 29 | 211 1307.18/1307.69 c 1307s | 23 | 15621250 | 2517938 | 7511 817 | 29 | 211 1309.28/1309.72 c 1309s | 23 | 15646157 | 2521638 | 7511 818 | 29 | 211 1311.28/1311.77 c 1311s | 23 | 15681043 | 2526138 | 7511 819 | 29 | 211 1313.38/1313.80 c 1313s | 23 | 15709755 | 2530238 | 7511 820 | 29 | 211 1315.38/1315.81 c 1315s | 23 | 15734961 | 2534238 | 7511 821 | 29 | 211 1317.39/1317.85 c 1317s | 23 | 15756775 | 2538238 | 7511 822 | 29 | 211 1319.38/1319.87 c 1319s | 23 | 15782972 | 2542338 | 7511 823 | 29 | 211 1321.48/1321.91 c 1321s | 23 | 15809933 | 2546338 | 7511 824 | 29 | 211 1323.48/1323.93 c 1323s | 23 | 15830785 | 2549638 | 7511 825 | 29 | 211 1325.49/1325.94 c 1325s | 23 | 15848534 | 2552338 | 7511 826 | 29 | 211 1327.49/1327.95 c 1327s | 23 | 15875716 | 2556438 | 7511 827 | 29 | 211 1329.50/1329.97 c 1329s | 23 | 15892716 | 2559238 | 7511 827 | 29 | 211 1331.49/1331.98 c 1331s | 23 | 15917903 | 2563038 | 7511 828 | 29 | 211 1333.59/1334.04 c 1333s | 23 | 15936415 | 2566638 | 7511 829 | 29 | 211 1335.58/1336.07 c 1335s | 23 | 15962674 | 2570038 | 7511 830 | 29 | 211 1337.58/1338.07 c 1337s | 23 | 15986658 | 2573438 | 7511 831 | 29 | 211 1339.68/1340.11 c 1339s | 23 | 16009786 | 2577238 | 7511 832 | 29 | 211 1341.69/1342.17 c 1341s | 23 | 16032808 | 2580538 | 7511 833 | 29 | 211 1343.79/1344.21 c 1343s | 23 | 16055422 | 2584038 | 7511 834 | 29 | 211 1345.78/1346.24 c 1345s | 23 | 16081563 | 2587538 | 7511 834 | 29 | 211 1347.78/1348.24 c 1347s | 23 | 16104252 | 2590938 | 7511 835 | 29 | 211 1349.88/1350.30 c 1349s | 23 | 16126748 | 2594038 | 7511 836 | 29 | 211 1351.88/1352.35 c 1351s | 23 | 16153750 | 2597538 | 7511 837 | 29 | 211 1353.98/1354.44 c 1353s | 23 | 16178595 | 2601038 | 7511 838 | 29 | 211 1355.99/1356.49 c 1356s | 23 | 16202871 | 2604738 | 7511 839 | 29 | 211 1358.09/1358.51 c 1358s | 23 | 16226713 | 2608838 | 7511 840 | 29 | 211 1360.08/1360.58 c 1360s | 23 | 16252111 | 2612438 | 7511 841 | 29 | 211 1362.18/1362.61 c 1362s | 23 | 16272431 | 2615138 | 7511 841 | 29 | 211 1364.18/1364.62 c 1364s | 23 | 16294802 | 2618638 | 7511 842 | 29 | 211 1366.18/1366.62 c 1366s | 23 | 16318282 | 2622238 | 7511 843 | 29 | 211 1368.18/1368.62 c 1368s | 23 | 16342082 | 2625838 | 7511 844 | 29 | 211 1370.19/1370.68 c 1370s | 23 | 16360247 | 2628638 | 7511 845 | 29 | 211 1372.18/1372.69 c 1372s | 23 | 16377752 | 2631838 | 7511 846 | 29 | 211 1374.28/1374.71 c 1374s | 23 | 16401975 | 2635938 | 7511 847 | 29 | 211 1376.27/1376.76 c 1376s | 23 | 16427625 | 2639538 | 7511 848 | 29 | 211 1378.27/1378.77 c 1378s | 23 | 16445901 | 2642738 | 7511 848 | 29 | 211 1380.37/1380.82 c 1380s | 23 | 16465909 | 2646138 | 7511 849 | 29 | 211 1382.38/1382.83 c 1382s | 23 | 16489140 | 2650038 | 7511 850 | 29 | 211 1384.37/1384.90 c 1384s | 23 | 16510592 | 2653738 | 7511 851 | 29 | 211 1386.47/1386.90 c 1386s | 23 | 16528943 | 2656938 | 7511 852 | 29 | 211 1388.47/1388.94 c 1388s | 23 | 16550456 | 2660438 | 7511 853 | 29 | 211 1390.47/1390.97 c 1390s | 23 | 16568737 | 2663838 | 7511 854 | 29 | 211 1392.57/1393.04 c 1392s | 23 | 16586016 | 2667338 | 7511 855 | 29 | 211 1394.57/1395.07 c 1394s | 23 | 16611870 | 2671338 | 7511 856 | 29 | 211 1396.58/1397.07 c 1396s | 23 | 16634136 | 2674738 | 7511 856 | 29 | 211 1398.57/1399.07 c 1398s | 23 | 16650499 | 2677238 | 7511 857 | 29 | 211 1400.68/1401.12 c 1400s | 23 | 16677359 | 2681138 | 7511 858 | 29 | 211 1402.67/1403.13 c 1402s | 23 | 16699502 | 2684938 | 7511 859 | 29 | 211 1404.67/1405.14 c 1404s | 23 | 16729078 | 2689338 | 7511 860 | 29 | 211 1406.67/1407.15 c 1406s | 23 | 16756281 | 2693438 | 7511 861 | 29 | 211 1408.68/1409.17 c 1408s | 23 | 16782105 | 2697338 | 7511 862 | 29 | 211 1410.77/1411.20 c 1410s | 23 | 16811875 | 2701138 | 7511 863 | 29 | 211 1412.77/1413.24 c 1412s | 23 | 16837222 | 2704938 | 7511 864 | 29 | 211 1414.77/1415.25 c 1414s | 23 | 16857595 | 2708638 | 7511 865 | 29 | 211 1416.77/1417.28 c 1416s | 23 | 16883551 | 2712738 | 7511 866 | 29 | 211 1418.77/1419.29 c 1418s | 23 | 16910085 | 2716638 | 7511 867 | 29 | 211 1420.78/1421.29 c 1420s | 23 | 16935731 | 2720538 | 7511 868 | 29 | 211 1422.87/1423.32 c 1422s | 23 | 16962203 | 2724138 | 7511 869 | 29 | 211 1424.87/1425.33 c 1424s | 23 | 16983178 | 2727538 | 7511 870 | 29 | 211 1426.87/1427.36 c 1426s | 23 | 17007329 | 2731638 | 7511 871 | 29 | 211 1428.87/1429.38 c 1428s | 23 | 17027770 | 2734938 | 7511 871 | 29 | 211 1430.97/1431.41 c 1430s | 23 | 17049580 | 2738338 | 7511 872 | 29 | 211 1432.98/1433.43 c 1432s | 23 | 17075164 | 2742438 | 7511 873 | 29 | 211 1435.08/1435.59 c 1435s | 23 | 17091543 | 2744938 | 7511 874 | 29 | 211 1437.17/1437.60 c 1437s | 23 | 17114287 | 2748138 | 7511 875 | 29 | 211 1439.16/1439.60 c 1439s | 23 | 17140837 | 2751638 | 7511 876 | 29 | 211 1441.16/1441.63 c 1441s | 23 | 17161537 | 2754938 | 7511 877 | 29 | 211 1443.16/1443.68 c 1443s | 23 | 17193099 | 2759638 | 7511 878 | 29 | 211 1445.26/1445.70 c 1445s | 23 | 17223085 | 2763938 | 7511 879 | 29 | 211 1447.27/1447.72 c 1447s | 23 | 17248550 | 2767538 | 7511 880 | 29 | 211 1449.26/1449.72 c 1449s | 23 | 17277341 | 2771638 | 7511 881 | 29 | 211 1451.26/1451.77 c 1451s | 23 | 17306639 | 2775438 | 7511 882 | 29 | 211 1453.36/1453.80 c 1453s | 23 | 17329080 | 2778638 | 7511 882 | 29 | 211 1455.36/1455.84 c 1455s | 23 | 17360092 | 2782738 | 7511 883 | 29 | 211 1457.36/1457.86 c 1457s | 23 | 17385927 | 2786338 | 7511 884 | 29 | 211 1459.37/1459.89 c 1459s | 23 | 17405469 | 2789738 | 7511 885 | 29 | 211 1461.47/1461.93 c 1461s | 23 | 17431916 | 2793738 | 7511 886 | 29 | 211 1463.46/1463.94 c 1463s | 23 | 17450190 | 2797838 | 7511 887 | 29 | 211 1465.46/1465.97 c 1465s | 23 | 17475865 | 2802038 | 7511 888 | 29 | 211 1467.46/1467.97 c 1467s | 23 | 17500076 | 2805638 | 7511 889 | 29 | 211 1469.56/1470.00 c 1469s | 23 | 17523154 | 2809238 | 7511 890 | 29 | 211 1471.56/1472.00 c 1471s | 23 | 17549465 | 2812638 | 7511 891 | 29 | 211 1473.57/1474.03 c 1473s | 23 | 17567598 | 2815838 | 7511 892 | 29 | 211 1475.56/1476.06 c 1475s | 23 | 17587816 | 2819738 | 7511 893 | 29 | 211 1477.56/1478.09 c 1477s | 23 | 17611537 | 2823438 | 7511 894 | 29 | 211 1479.66/1480.11 c 1479s | 23 | 17629576 | 2826838 | 7511 895 | 29 | 211 1481.75/1482.23 c 1481s | 23 | 17648869 | 2830638 | 7511 896 | 29 | 211 1483.75/1484.26 c 1483s | 23 | 17677795 | 2834438 | 7511 896 | 29 | 211 1485.76/1486.28 c 1485s | 23 | 17700438 | 2838038 | 7511 897 | 29 | 211 1487.75/1488.30 c 1487s | 23 | 17727788 | 2841738 | 7511 898 | 29 | 211 1489.85/1490.31 c 1489s | 23 | 17750105 | 2844838 | 7511 899 | 29 | 211 1491.85/1492.32 c 1491s | 23 | 17764675 | 2848038 | 7511 900 | 29 | 211 1493.85/1494.34 c 1493s | 23 | 17783290 | 2851438 | 7511 901 | 29 | 211 1495.85/1496.37 c 1495s | 23 | 17805987 | 2855338 | 7511 902 | 29 | 211 1497.86/1498.37 c 1497s | 23 | 17825454 | 2858638 | 7511 903 | 29 | 211 1499.96/1500.41 c 1499s | 23 | 17847449 | 2861938 | 7511 903 | 29 | 211 1501.96/1502.43 c 1501s | 23 | 17871882 | 2865438 | 7511 904 | 29 | 211 1503.96/1504.45 c 1503s | 23 | 17892012 | 2868938 | 7511 905 | 29 | 211 1506.06/1506.50 c 1506s | 23 | 17914708 | 2872838 | 7511 906 | 29 | 211 1508.16/1508.61 c 1508s | 23 | 17935956 | 2876338 | 7511 907 | 29 | 211 1510.16/1510.65 c 1510s | 23 | 17960918 | 2879538 | 7511 908 | 29 | 211 1512.17/1512.66 c 1512s | 23 | 17983984 | 2882838 | 7511 909 | 29 | 211 1514.15/1514.70 c 1514s | 23 | 18001820 | 2886338 | 7511 910 | 29 | 211 1516.25/1516.71 c 1516s | 23 | 18026493 | 2890038 | 7511 910 | 29 | 211 1518.25/1518.77 c 1518s | 23 | 18052124 | 2893638 | 7511 911 | 29 | 211 1520.25/1520.79 c 1520s | 23 | 18068864 | 2896838 | 7511 912 | 29 | 211 1522.35/1522.81 c 1522s | 23 | 18090396 | 2899938 | 7511 913 | 29 | 211 1524.35/1524.86 c 1524s | 23 | 18113449 | 2903138 | 7511 914 | 29 | 211 1526.46/1526.95 c 1526s | 23 | 18136082 | 2906338 | 7511 915 | 29 | 211 1528.45/1528.95 c 1528s | 23 | 18158198 | 2909638 | 7511 915 | 29 | 211 1530.45/1530.98 c 1530s | 23 | 18184609 | 2913438 | 7511 916 | 29 | 211 1532.55/1533.02 c 1532s | 23 | 18212674 | 2917438 | 7511 917 | 29 | 211 1534.55/1535.03 c 1534s | 23 | 18236828 | 2921038 | 7511 918 | 29 | 211 1536.55/1537.07 c 1536s | 23 | 18257536 | 2924438 | 7511 919 | 29 | 211 1538.56/1539.09 c 1538s | 23 | 18282453 | 2928838 | 7511 920 | 29 | 211 1540.66/1541.11 c 1540s | 23 | 18305850 | 2932538 | 7511 921 | 29 | 211 1542.65/1543.14 c 1542s | 23 | 18327848 | 2936138 | 7511 922 | 29 | 211 1544.65/1545.14 c 1544s | 23 | 18350448 | 2939438 | 7511 923 | 29 | 211 1546.64/1547.16 c 1546s | 23 | 18371566 | 2942638 | 7511 924 | 29 | 211 1548.64/1549.16 c 1548s | 23 | 18390600 | 2945338 | 7511 924 | 29 | 211 1550.65/1551.19 c 1550s | 23 | 18415047 | 2948838 | 7511 925 | 29 | 211 1552.75/1553.23 c 1552s | 23 | 18442707 | 2952538 | 7511 926 | 29 | 211 1554.84/1555.30 c 1554s | 23 | 18468869 | 2955838 | 7511 927 | 29 | 211 1556.84/1557.34 c 1556s | 23 | 18490117 | 2958938 | 7511 928 | 29 | 211 1558.84/1559.38 c 1558s | 23 | 18511521 | 2962538 | 7511 929 | 29 | 211 1560.94/1561.41 c 1560s | 23 | 18533160 | 2966038 | 7511 930 | 29 | 211 1562.94/1563.45 c 1562s | 23 | 18553404 | 2969238 | 7511 930 | 29 | 211 1565.04/1565.50 c 1565s | 23 | 18567927 | 2971638 | 7511 931 | 29 | 211 1567.05/1567.54 c 1567s | 23 | 18590487 | 2975038 | 7511 932 | 29 | 211 1569.05/1569.54 c 1569s | 23 | 18616284 | 2978738 | 7511 933 | 29 | 211 1571.05/1571.57 c 1571s | 23 | 18645005 | 2982938 | 7511 934 | 29 | 211 1573.15/1573.61 c 1573s | 23 | 18668270 | 2986838 | 7511 935 | 29 | 211 1575.15/1575.66 c 1575s | 23 | 18693160 | 2990238 | 7511 936 | 29 | 211 1577.25/1577.77 c 1577s | 23 | 18717083 | 2993838 | 7511 937 | 29 | 211 1579.26/1579.79 c 1579s | 23 | 18747539 | 2997538 | 7511 937 | 29 | 211 1581.36/1581.84 c 1581s | 23 | 18773667 | 3001438 | 7511 938 | 29 | 211 1583.35/1583.87 c 1583s | 23 | 18800491 | 3004938 | 7511 939 | 29 | 211 1585.45/1585.90 c 1585s | 23 | 18830609 | 3008838 | 7511 940 | 29 | 211 1587.44/1587.91 c 1587s | 23 | 18853938 | 3012438 | 7511 941 | 29 | 211 1589.44/1589.96 c 1589s | 23 | 18870303 | 3015638 | 7511 942 | 29 | 211 1591.54/1592.01 c 1591s | 23 | 18891287 | 3019138 | 7511 943 | 29 | 211 1593.55/1594.06 c 1593s | 23 | 18919913 | 3023038 | 7511 944 | 29 | 211 1595.54/1596.08 c 1595s | 23 | 18941204 | 3026338 | 7511 945 | 29 | 211 1597.54/1598.09 c 1597s | 23 | 18956424 | 3028838 | 7511 945 | 29 | 211 1599.54/1600.09 c 1599s | 23 | 18980312 | 3032238 | 7511 946 | 29 | 211 1601.54/1602.09 c 1601s | 23 | 19001310 | 3035738 | 7511 947 | 29 | 211 1603.64/1604.14 c 1603s | 23 | 19023436 | 3039538 | 7511 948 | 29 | 211 1605.65/1606.18 c 1605s | 23 | 19049728 | 3043338 | 7511 949 | 29 | 211 1607.75/1608.25 c 1607s | 23 | 19071350 | 3046838 | 7511 950 | 29 | 211 1609.74/1610.29 c 1609s | 23 | 19092387 | 3050338 | 7511 951 | 29 | 211 1611.84/1612.33 c 1611s | 23 | 19111147 | 3053738 | 7511 952 | 29 | 211 1613.84/1614.33 c 1613s | 23 | 19131930 | 3057138 | 7511 952 | 29 | 211 1615.84/1616.38 c 1615s | 23 | 19156784 | 3060838 | 7511 953 | 29 | 211 1617.84/1618.38 c 1617s | 23 | 19182888 | 3064538 | 7511 954 | 29 | 211 1619.94/1620.41 c 1619s | 23 | 19201194 | 3067638 | 7511 955 | 29 | 211 1621.93/1622.42 c 1621s | 23 | 19227506 | 3071438 | 7511 956 | 29 | 211 1623.93/1624.44 c 1623s | 23 | 19249491 | 3075338 | 7511 957 | 29 | 211 1625.93/1626.46 c 1625s | 23 | 19277786 | 3079138 | 7511 958 | 29 | 211 1627.93/1628.50 c 1628s | 23 | 19299136 | 3082338 | 7511 959 | 29 | 211 1630.03/1630.52 c 1630s | 23 | 19315654 | 3085838 | 7511 960 | 29 | 211 1632.04/1632.56 c 1632s | 23 | 19334969 | 3089038 | 7511 960 | 29 | 211 1634.03/1634.57 c 1634s | 23 | 19353042 | 3091838 | 7511 961 | 29 | 211 1636.13/1636.62 c 1636s | 23 | 19376060 | 3095838 | 7511 962 | 29 | 211 1638.13/1638.64 c 1638s | 23 | 19392955 | 3098738 | 7511 963 | 29 | 211 1640.13/1640.66 c 1640s | 23 | 19413930 | 3102038 | 7511 964 | 29 | 211 1642.13/1642.68 c 1642s | 23 | 19436605 | 3106538 | 7511 965 | 29 | 211 1644.23/1644.70 c 1644s | 23 | 19460215 | 3110038 | 7511 966 | 29 | 211 1646.24/1646.74 c 1646s | 23 | 19481351 | 3113838 | 7511 967 | 29 | 211 1648.23/1648.76 c 1648s | 23 | 19503519 | 3117938 | 7511 968 | 29 | 211 1650.23/1650.78 c 1650s | 23 | 19527734 | 3121738 | 7511 969 | 29 | 211 1652.33/1652.87 c 1652s | 23 | 19546128 | 3125238 | 7511 970 | 29 | 211 1654.33/1654.88 c 1654s | 23 | 19569417 | 3128838 | 7511 970 | 29 | 211 1656.43/1656.94 c 1656s | 23 | 19590132 | 3132538 | 7511 971 | 29 | 211 1658.44/1658.95 c 1658s | 23 | 19616108 | 3136038 | 7511 972 | 29 | 211 1660.83/1661.31 c 1660s | 23 | 19638599 | 3139338 | 7511 973 | 29 | 211 1662.84/1663.33 c 1662s | 23 | 19661716 | 3143138 | 7511 974 | 29 | 211 1664.83/1665.38 c 1664s | 23 | 19685372 | 3146638 | 7511 975 | 29 | 211 1666.83/1667.38 c 1666s | 23 | 19706493 | 3149738 | 7511 976 | 29 | 211 1668.93/1669.42 c 1668s | 23 | 19727305 | 3153138 | 7511 977 | 29 | 211 1670.93/1671.42 c 1670s | 23 | 19748869 | 3156338 | 7511 977 | 29 | 211 1672.93/1673.44 c 1672s | 23 | 19768783 | 3159438 | 7511 978 | 29 | 211 1674.94/1675.48 c 1674s | 23 | 19791334 | 3163038 | 7511 979 | 29 | 211 1677.04/1677.51 c 1677s | 23 | 19811885 | 3166438 | 7511 980 | 29 | 211 1679.03/1679.51 c 1679s | 23 | 19836428 | 3170038 | 7511 981 | 29 | 211 1681.03/1681.54 c 1681s | 23 | 19862681 | 3173838 | 7511 982 | 29 | 211 1683.03/1683.58 c 1683s | 23 | 19882348 | 3177538 | 7511 983 | 29 | 211 1685.03/1685.59 c 1685s | 23 | 19904502 | 3180938 | 7511 984 | 29 | 211 1687.12/1687.63 c 1687s | 23 | 19925525 | 3184638 | 7511 984 | 29 | 211 1689.13/1689.67 c 1689s | 23 | 19946231 | 3187838 | 7511 985 | 29 | 211 1691.22/1691.70 c 1691s | 23 | 19970149 | 3191538 | 7511 986 | 29 | 211 1693.22/1693.72 c 1693s | 23 | 19991310 | 3195038 | 7511 987 | 29 | 211 1695.22/1695.76 c 1695s | 23 | 20013254 | 3198738 | 7511 988 | 29 | 211 1697.22/1697.77 c 1697s | 23 | 20033897 | 3201938 | 7511 989 | 29 | 211 1699.22/1699.78 c 1699s | 23 | 20054547 | 3205038 | 7511 990 | 29 | 211 1701.33/1701.84 c 1701s | 23 | 20074119 | 3208838 | 7511 991 | 29 | 211 1703.32/1703.87 c 1703s | 23 | 20096021 | 3212438 | 7511 991 | 29 | 211 1705.42/1705.91 c 1705s | 23 | 20120983 | 3216238 | 7511 992 | 29 | 211 1707.42/1707.96 c 1707s | 23 | 20137865 | 3219238 | 7511 993 | 29 | 211 1709.42/1709.99 c 1709s | 23 | 20157891 | 3222838 | 7511 994 | 29 | 211 1711.52/1712.00 c 1711s | 23 | 20177686 | 3226638 | 7511 995 | 29 | 211 1713.52/1714.03 c 1713s | 23 | 20194651 | 3229838 | 7511 996 | 29 | 211 1715.53/1716.07 c 1715s | 23 | 20217793 | 3233538 | 7511 997 | 29 | 211 1717.53/1718.09 c 1717s | 23 | 20238445 | 3236838 | 7511 998 | 29 | 211 1719.62/1720.15 c 1719s | 23 | 20250999 | 3239638 | 7511 998 | 29 | 211 1721.62/1722.19 c 1721s | 23 | 20276910 | 3243438 | 7511 999 | 29 | 211 1723.72/1724.25 c 1723s | 23 | 20303097 | 3247238 | 7511 1000 | 29 | 211 1725.72/1726.28 c 1725s | 23 | 20325823 | 3250438 | 7511 1001 | 29 | 211 1727.73/1728.29 c 1727s | 23 | 20347054 | 3253438 | 7511 1002 | 29 | 211 1729.83/1730.33 c 1729s | 23 | 20362078 | 3256538 | 7511 1003 | 29 | 211 1731.82/1732.36 c 1731s | 23 | 20385978 | 3260138 | 7511 1003 | 29 | 211 1733.82/1734.37 c 1733s | 23 | 20406939 | 3263338 | 7511 1004 | 29 | 211 1735.82/1736.38 c 1735s | 23 | 20423996 | 3266238 | 7511 1005 | 29 | 211 1737.92/1738.40 c 1737s | 23 | 20444224 | 3269938 | 7511 1006 | 29 | 211 1739.92/1740.45 c 1739s | 23 | 20463313 | 3273638 | 7511 1007 | 29 | 211 1741.93/1742.47 c 1741s | 23 | 20488463 | 3277638 | 7511 1008 | 29 | 211 1743.92/1744.49 c 1744s | 23 | 20510192 | 3281038 | 7511 1009 | 29 | 211 1746.02/1746.56 c 1746s | 23 | 20537098 | 3284638 | 7511 1010 | 29 | 211 1748.12/1748.65 c 1748s | 23 | 20555622 | 3287538 | 7511 1010 | 29 | 211 1750.12/1750.69 c 1750s | 23 | 20574821 | 3290538 | 7511 1011 | 29 | 211 1752.21/1752.73 c 1752s | 23 | 20605410 | 3294438 | 7511 1012 | 29 | 211 1754.21/1754.76 c 1754s | 23 | 20624594 | 3297638 | 7511 1013 | 29 | 211 1756.22/1756.77 c 1756s | 23 | 20645689 | 3301338 | 7511 1014 | 29 | 211 1758.31/1758.81 c 1758s | 23 | 20666101 | 3305038 | 7511 1015 | 29 | 211 1760.31/1760.86 c 1760s | 23 | 20684472 | 3308338 | 7511 1016 | 29 | 211 1762.32/1762.89 c 1762s | 23 | 20706050 | 3311638 | 7511 1016 | 29 | 211 1764.42/1764.93 c 1764s | 23 | 20730513 | 3315138 | 7511 1017 | 29 | 211 1766.42/1766.97 c 1766s | 23 | 20757937 | 3319038 | 7511 1018 | 29 | 211 1768.43/1768.97 c 1768s | 23 | 20780025 | 3322138 | 7511 1019 | 29 | 211 1770.42/1771.00 c 1770s | 23 | 20797948 | 3324838 | 7511 1020 | 29 | 211 1772.52/1773.05 c 1772s | 23 | 20821831 | 3328438 | 7511 1021 | 29 | 211 1774.52/1775.07 c 1774s | 23 | 20844165 | 3331838 | 7511 1021 | 29 | 211 1776.61/1777.15 c 1776s | 23 | 20862825 | 3334938 | 7511 1022 | 29 | 211 1778.71/1779.20 c 1778s | 23 | 20879310 | 3338238 | 7511 1023 | 29 | 211 1780.71/1781.24 c 1780s | 23 | 20899583 | 3341438 | 7511 1024 | 29 | 211 1782.72/1783.28 c 1782s | 23 | 20919859 | 3344838 | 7511 1025 | 29 | 211 1784.71/1785.29 c 1784s | 23 | 20940783 | 3348638 | 7511 1026 | 29 | 211 1786.81/1787.33 c 1786s | 23 | 20962796 | 3352438 | 8263 1026 | 29 | 211 1788.81/1789.36 c 1788s | 23 | 20988738 | 3355938 | 8263 1027 | 29 | 211 1790.81/1791.37 c 1790s | 23 | 21005715 | 3359138 | 8263 1028 | 29 | 211 1792.91/1793.44 c 1792s | 23 | 21015862 | 3361538 | 8263 1029 | 29 | 211 1794.91/1795.46 c 1794s | 23 | 21037950 | 3364738 | 8263 1029 | 29 | 211 1797.02/1797.51 c 1797s | 23 | 21063594 | 3368438 | 8263 1030 | 29 | 211 1799.01/1799.51 c 1799s | 23 | 21085294 | 3371938 | 8263 1031 | 29 | 211
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-4079479-1465232029/watcher-4079479-1465232029 -o /tmp/evaluation-result-4079479-1465232029/solver-4079479-1465232029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079479-1465232029.opb pid=30613 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.13 2.08 3/261 30616 /proc/meminfo: memFree=30927576/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1096124 CPUtime=0 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 4153 0 0 0 0 0 0 0 20 0 4 0 105044880 1122430976 4515 33554432000 4194304 16246674 140737225173312 140737225172736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 274799 4523 441 2943 0 271693 0 [pid=30616/tid=30617] ppid=30613 vsize=1118652 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1145499648 4602 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1122748 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1149693952 4619 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1127868 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105044880 1154936832 4636 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 [startup+0.100141 s] /proc/loadavg: 2.05 2.13 2.08 3/261 30616 /proc/meminfo: memFree=30927576/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1221188 CPUtime=0.09 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 26698 0 0 0 5 4 0 0 20 0 4 0 105044880 1250496512 26997 33554432000 4194304 16246674 140737225173312 140737225172624 12874965 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 305297 27008 832 2943 0 302191 0 [pid=30616/tid=30617] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 27014 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 27024 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 27034 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200465 s] /proc/loadavg: 2.05 2.13 2.08 3/261 30616 /proc/meminfo: memFree=30927576/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1221188 CPUtime=0.19 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 53021 0 0 0 12 7 0 0 20 0 4 0 105044880 1250496512 53320 33554432000 4194304 16246674 140737225173312 140737225172624 5530837 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 305297 53332 888 2943 0 302191 0 [pid=30616/tid=30617] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 53340 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 53349 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1221188 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1250496512 53358 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300441 s] /proc/loadavg: 2.05 2.13 2.08 3/261 30616 /proc/meminfo: memFree=30927576/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1303108 CPUtime=0.29 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 77633 0 0 0 18 11 0 0 20 0 4 0 105044880 1334382592 77932 33554432000 4194304 16246674 140737225173312 140737225156080 5532218 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 325777 77932 893 2943 0 322671 0 [pid=30616/tid=30617] ppid=30613 vsize=1303108 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1334382592 77932 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1303108 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1334382592 77932 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1303108 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1334382592 77932 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1303108 [startup+0.700397 s] /proc/loadavg: 2.05 2.13 2.08 3/261 30616 /proc/meminfo: memFree=30927576/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1306180 CPUtime=0.68 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 84013 0 0 0 57 11 0 0 20 0 4 0 105044880 1337528320 84312 33554432000 4194304 16246674 140737225173312 140737225156080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 326545 84321 906 2943 0 323439 0 [pid=30616/tid=30617] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 84327 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 84331 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 84337 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1306180 [startup+1.50038 s] /proc/loadavg: 2.05 2.13 2.08 3/265 30620 /proc/meminfo: memFree=30345980/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1306180 CPUtime=1.49 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 205614 0 0 0 120 29 0 0 20 0 4 0 105044880 1337528320 205913 33554432000 4194304 16246674 140737225173312 140737225155200 6021133 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 326545 205920 906 2943 0 323439 0 [pid=30616/tid=30617] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 205930 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 205935 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1337528320 205941 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10035 s] /proc/loadavg: 2.05 2.12 2.08 3/265 30620 /proc/meminfo: memFree=29853700/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1309252 CPUtime=3.09 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 268356 0 0 0 272 37 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140737225155200 13780600 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 327313 268655 908 2943 0 324207 0 [pid=30616/tid=30617] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1309252 [startup+6.30038 s] /proc/loadavg: 2.05 2.12 2.08 3/265 30620 /proc/meminfo: memFree=29853712/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1309252 CPUtime=6.29 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 268356 0 0 0 592 37 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140737225155200 5712608 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 327313 268655 908 2943 0 324207 0 [pid=30616/tid=30617] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1340674048 268655 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.04 2.12 2.08 3/265 30620 /proc/meminfo: memFree=29853976/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1316420 CPUtime=12.69 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 270144 0 0 0 1232 37 0 0 20 0 4 0 105044880 1348014080 270443 33554432000 4194304 16246674 140737225173312 140737225155200 5822428 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 329105 270443 912 2943 0 325999 0 [pid=30616/tid=30617] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270443 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270443 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270443 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.03 2.11 2.08 3/265 30620 /proc/meminfo: memFree=29846424/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1316420 CPUtime=25.49 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 270313 0 0 0 2511 38 0 0 20 0 4 0 105044880 1348014080 270612 33554432000 4194304 16246674 140737225173312 140737225155200 5676365 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 329105 270612 912 2943 0 325999 0 [pid=30616/tid=30617] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270612 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270612 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1316420 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1348014080 270612 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.02 2.10 2.08 3/265 30620 /proc/meminfo: memFree=29839732/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1323588 CPUtime=51.08 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 272107 0 0 0 5070 38 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140737225155200 13780568 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 330897 272406 914 2943 0 327791 0 [pid=30616/tid=30617] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 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.21 2.14 2.09 3/265 30669 /proc/meminfo: memFree=29846868/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1323588 CPUtime=102.28 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 272114 0 0 0 10189 39 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140737225155200 5822252 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 330897 272406 914 2943 0 327791 0 [pid=30616/tid=30617] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1355354112 272406 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.02 2.05 2.06 3/265 30724 /proc/meminfo: memFree=29829652/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1361.88 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274978 0 0 0 136130 58 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140737225155200 5677376 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274968 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.05 3/265 30726 /proc/meminfo: memFree=29829308/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1421.88 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274978 0 0 0 142129 59 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140737225155200 5672188 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274968 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274968 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.07 2.04 2.05 3/265 30727 /proc/meminfo: memFree=29828980/32872528 swapFree=9200/9200 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1481.85 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 148126 59 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 13923727 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1333828 [startup+1542.31 s] /proc/loadavg: 2.07 2.05 2.05 3/265 30728 /proc/meminfo: memFree=29829520/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1541.86 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 154126 60 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 5546243 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.09 2.05 2.05 3/266 30732 /proc/meminfo: memFree=29829612/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1601.84 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 160123 61 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 6021072 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.25 2.09 2.06 3/265 30733 /proc/meminfo: memFree=29829676/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1661.83 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 166121 62 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 5822488 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.10 2.07 2.06 3/265 30735 /proc/meminfo: memFree=29829552/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1721.82 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 172119 63 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 13905545 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.17 2.09 2.06 3/265 30736 /proc/meminfo: memFree=29829240/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1781.81 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 178117 64 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225155200 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.13 2.08 2.06 3/265 30737 /proc/meminfo: memFree=29829000/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1800.01 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 179937 64 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225156312 13927401 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 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 30616 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.13 2.08 2.06 3/265 30737 /proc/meminfo: memFree=29829000/32872528 swapFree=9196/9196 [pid=30616] ppid=30613 vsize=1333828 CPUtime=1800.01 cores=4-7,12-15 /proc/30616/stat : 30616 (toysat) R 30613 30616 25889 0 -1 4202496 274979 0 0 0 179937 64 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140737225156312 13927401 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/30616/statm: 333457 274971 915 2943 0 330351 0 [pid=30616/tid=30617] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30617/stat : 30617 (toysat) S 30613 30616 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416154316016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=30616/tid=30618] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30618/stat : 30618 (toysat) S 30613 30616 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416143826160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=30616/tid=30619] ppid=30613 vsize=1333828 CPUtime=0 cores=4-7,12-15 /proc/30616/task/30619/stat : 30619 (toysat) S 30613 30616 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105044880 1365839872 274971 33554432000 4194304 16246674 140737225173312 140416133352624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.37 CPU system time (s): 0.648901 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 0.648901 maximum resident set size= 1099884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274979 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= 332 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.19491 second user time and 10.1165 second system time The end
Begin job on node132 at 2016-06-06 18:53:49 IDJOB=4079479 IDBENCH=2052 IDSOLVER=2542 FILE ID=node132/4079479-1465232029 RUNJOBID= node132-1465216787-25906 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079479-1465232029/watcher-4079479-1465232029 -o /tmp/evaluation-result-4079479-1465232029/solver-4079479-1465232029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079479-1465232029.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=799953270 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30928304 kB Buffers: 29464 kB Cached: 92368 kB SwapCached: 3224 kB Active: 1161044 kB Inactive: 60952 kB Active(anon): 1098232 kB Inactive(anon): 4704 kB Active(file): 62812 kB Inactive(file): 56248 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094528 kB Dirty: 16500 kB Writeback: 0 kB AnonPages: 1107380 kB Mapped: 10728 kB Shmem: 0 kB Slab: 573048 kB SReclaimable: 13232 kB SUnreclaim: 559816 kB KernelStack: 2264 kB PageTables: 6304 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1250384 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 1089536 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= 71716 MiB End job on node132 at 2016-06-06 19:23:49