Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.opb |
| MD5SUM | fea51cc67015116d9598bd78f7d7fded |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 495 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 90 |
| Total number of constraints | 30 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1305 |
| Biggest coefficient in the objective function | 29 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 13485 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 29 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 13485 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 1305 |
| Sum of products size (including duplicates) | 2610 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T06:01:16+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-4119436-1467259276.opb"] 0.00/0.01 c use --random-gen="1245215362 2681084011 2550143130 3025747841 1289135511 1365562617 860694114 3719595222 2697274192 1316617248 2277126093 710938562 3513606741 3686355487 3558525629 1807557034 2631809756 2661264449 4167557002 2799315211 645226090 392032434 3804184272 3939292030 4264411035 770786473 2456325255 1606940475 4184209483 3052100530 3019216893 3870636947 3020162148 3964540772 3978230691 126776331 2429417402 3873196826 622452076 2807257494 4283085554 2333432653 225721461 1854785559 157897967 3803553667 1473962321 571839741 1410024317 3995820573 2567629894 3357137727 1120441983 3040625743 2833508309 3524693775 2559280864 3162972898 3818794885 3530683419 3547145085 1916528220 1689431997 3809385731 36634673 2972789858 4109542476 174478650 1488106467 4123704718 25304429 3579432873 3906413850 2049229439 894401351 2404674983 573933614 2075599286 4001105430 3963000906 2023952238 2323788251 819161002 281569055 2213085331 1368011693 3062456797 1952186473 1364694270 1610248095 3488828056 2271062972 1574890687 3088099510 1828039173 565789253 42258652 1463252318 2913406893 2314687744 941947106 3083210643 1162469625 576607161 3291509431 4251251674 3674722839 4187461303 136941756 2237544239 1533618450 1851449623 1272056546 36771475 3116034858 151228647 3707871411 2701189641 3999444358 2928987135 2206454472 3024028594 926968955 2650699375 3453393994 3909927993 1654428435 3175958464 1756179235 1632893803 721886565 192608001 2999072055 1928894673 466731214 1576491091 1156027596 1734544767 3030775921 3750804885 1101882621 1637011620 2162624226 2345602421 1613719895 1425489195 201061708 2982920619 2407796955 296554219 194351459 2120410880 3567622771 3676293966 1980956261 1798294078 2045551647 816773937 211506609 2420731368 1180152308 3660794395 2131597329 161938560 4045814047 1924635293 3683673728 114596548 3917259776 4103086706 3681957130 855870843 2750287851 3419728080 3828771859 2914404677 3237645538 3213951323 3170695768 493991890 1507155649 363231194 3513005633 2111073498 2159396301 4150756840 1672171896 3765134987 2228718752 3365432439 2778754387 135856770 3995368325 5063173 3095654716 927909254 2362170321 1381108740 1516770302 3516872673 867544621 1449861247 821874219 1267201615 2596494795 1530567564 3174913436 1299638746 3930600134 4073121393 2678911985 3007217857 1854542672 3481043396 1780458562 1365158353 1616961574 1273659844 286024346 1926995188 746438767 3202540472 488109559 2946685733 1206434359 1209832987 1910479401 3975740392 3316717121 2958927755 2877219899 406243572 2442747189 860254370 1354665080 947134090 3578356145 3359071651 985134654 1939168606 2311784893 349567609 417799771 3635300318 2072504802 1223490414 1187806543 1174480741 2156028471 2806493914 2202157264 1754523324 529240557 4224709693 4122503305 1873931868 255 362436" option to reproduce the execution 0.00/0.02 c #vars 90 0.00/0.02 c #constraints 30 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 1334 | 0 | 920 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.004s 0.00/0.04 c #wall_clock_time = 0.004s 0.00/0.04 c #decision = 1334 0.00/0.04 c #random_decision = 9 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 3535 0.00/0.04 c BCD2: updating upper bound: 13485 -> 3534 0.00/0.04 c BCD2: 0 <= obj <= 3534 0.00/0.04 c BCD2: #cores=0, #unrelaxed=1305, #relaxed=0, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 1310 | 6 | 920 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.004s 0.00/0.05 c #wall_clock_time = 0.004s 0.00/0.05 c #decision = 1310 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 6 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 27: cost of the new core is >=1 0.00/0.05 c lower bound updated to 1 0.00/0.06 c BCD2: 1 <= obj <= 3534 0.00/0.06 c BCD2: #cores=1, #unrelaxed=1278, #relaxed=27, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 1554 | 14 | 920 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.002s 0.00/0.06 c #wall_clock_time = 0.002s 0.00/0.06 c #decision = 1554 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 14 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 28: cost of the new core is >=1 0.09/0.30 c lower bound updated to 2 0.09/0.30 c BCD2: 2 <= obj <= 3534 0.09/0.30 c BCD2: #cores=2, #unrelaxed=1250, #relaxed=55, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1415 | 12 | 920 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.002s 0.09/0.30 c #wall_clock_time = 0.002s 0.09/0.30 c #decision = 1415 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 12 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 41: cost of the new core is >=1 0.09/0.30 c lower bound updated to 3 0.09/0.30 c BCD2: 3 <= obj <= 3534 0.09/0.30 c BCD2: #cores=3, #unrelaxed=1209, #relaxed=96, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1751 | 18 | 920 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.003s 0.09/0.30 c #wall_clock_time = 0.003s 0.09/0.30 c #decision = 1751 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 18 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 48: cost of the new core is >=1 0.09/0.30 c lower bound updated to 4 0.09/0.30 c BCD2: 4 <= obj <= 3534 0.09/0.30 c BCD2: #cores=4, #unrelaxed=1161, #relaxed=144, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 2352 | 15 | 920 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.003s 0.09/0.30 c #wall_clock_time = 0.003s 0.09/0.30 c #decision = 2352 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 15 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 33: cost of the new core is >=1 0.09/0.30 c lower bound updated to 5 0.09/0.30 c BCD2: 5 <= obj <= 3534 0.09/0.30 c BCD2: #cores=5, #unrelaxed=1128, #relaxed=177, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 920 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 2320 | 42 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 2320 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 42 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 31: cost of the new core is >=1 0.09/0.30 c lower bound updated to 6 0.09/0.30 c BCD2: 6 <= obj <= 3534 0.09/0.30 c BCD2: #cores=6, #unrelaxed=1097, #relaxed=208, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1518 | 19 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 1518 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 19 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 57: cost of the new core is >=1 0.09/0.30 c lower bound updated to 7 0.09/0.30 c BCD2: 7 <= obj <= 3534 0.09/0.30 c BCD2: #cores=7, #unrelaxed=1040, #relaxed=265, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1245 | 17 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 1245 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 17 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 48: cost of the new core is >=1 0.09/0.30 c lower bound updated to 8 0.09/0.30 c BCD2: 8 <= obj <= 3534 0.09/0.30 c BCD2: #cores=8, #unrelaxed=992, #relaxed=313, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1040 | 15 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 1040 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 15 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 47: cost of the new core is >=1 0.09/0.30 c lower bound updated to 9 0.09/0.30 c BCD2: 9 <= obj <= 3534 0.09/0.30 c BCD2: #cores=9, #unrelaxed=945, #relaxed=360, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1188 | 16 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 1188 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 16 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 68: cost of the new core is >=1 0.09/0.30 c lower bound updated to 10 0.09/0.30 c BCD2: 10 <= obj <= 3534 0.09/0.30 c BCD2: #cores=10, #unrelaxed=877, #relaxed=428, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1142 | 17 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 1142 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 17 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 47: cost of the new core is >=1 0.09/0.30 c lower bound updated to 11 0.09/0.30 c BCD2: 11 <= obj <= 3534 0.09/0.30 c BCD2: #cores=11, #unrelaxed=830, #relaxed=475, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1124 | 20 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 1124 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 20 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 68: cost of the new core is >=1 0.09/0.30 c lower bound updated to 12 0.09/0.30 c BCD2: 12 <= obj <= 3534 0.09/0.30 c BCD2: #cores=12, #unrelaxed=762, #relaxed=543, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 990 | 19 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 990 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 19 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 43: cost of the new core is >=1 0.09/0.30 c lower bound updated to 13 0.09/0.30 c BCD2: 13 <= obj <= 3534 0.09/0.30 c BCD2: #cores=13, #unrelaxed=719, #relaxed=586, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=14 bias=14/15 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1521 | 11 | 1013 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 1521 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 11 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 50: cost of the new core is >=1 0.09/0.30 c lower bound updated to 14 0.09/0.30 c BCD2: 14 <= obj <= 3534 0.09/0.30 c BCD2: #cores=14, #unrelaxed=669, #relaxed=636, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=15 bias=15/16 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1013 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1227 | 14 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 1227 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 14 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 63: cost of the new core is >=1 0.09/0.30 c lower bound updated to 15 0.09/0.30 c BCD2: 15 <= obj <= 3534 0.09/0.30 c BCD2: #cores=15, #unrelaxed=606, #relaxed=699, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=16 bias=16/17 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1379 | 10 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 1379 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 10 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 39: cost of the new core is >=1 0.09/0.30 c lower bound updated to 16 0.09/0.30 c BCD2: 16 <= obj <= 3534 0.09/0.30 c BCD2: #cores=16, #unrelaxed=567, #relaxed=738, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 625 | 14 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 625 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 14 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 48: cost of the new core is >=1 0.09/0.30 c lower bound updated to 17 0.09/0.30 c BCD2: 17 <= obj <= 3534 0.09/0.30 c BCD2: #cores=17, #unrelaxed=519, #relaxed=786, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 568 | 13 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 568 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 13 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 31: cost of the new core is >=1 0.09/0.30 c lower bound updated to 18 0.09/0.30 c BCD2: 18 <= obj <= 3534 0.09/0.30 c BCD2: #cores=18, #unrelaxed=488, #relaxed=817, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 617 | 12 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.003s 0.09/0.30 c #wall_clock_time = 0.003s 0.09/0.30 c #decision = 617 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 12 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 48: cost of the new core is >=1 0.09/0.30 c lower bound updated to 19 0.09/0.30 c BCD2: 19 <= obj <= 3534 0.09/0.30 c BCD2: #cores=19, #unrelaxed=440, #relaxed=865, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=20 bias=20/21 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 686 | 13 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 686 0.09/0.30 c #random_decision = 1 0.09/0.30 c #conflict = 13 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 42: cost of the new core is >=1 0.09/0.30 c lower bound updated to 20 0.09/0.30 c BCD2: 20 <= obj <= 3534 0.09/0.30 c BCD2: #cores=20, #unrelaxed=398, #relaxed=907, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=21 bias=21/22 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 487 | 12 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 487 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 12 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 54: cost of the new core is >=1 0.09/0.30 c lower bound updated to 21 0.09/0.30 c BCD2: 21 <= obj <= 3534 0.09/0.30 c BCD2: #cores=21, #unrelaxed=344, #relaxed=961, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=22 bias=22/23 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 556 | 12 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.004s 0.09/0.30 c #wall_clock_time = 0.004s 0.09/0.30 c #decision = 556 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 12 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 45: cost of the new core is >=1 0.09/0.30 c lower bound updated to 22 0.09/0.30 c BCD2: 22 <= obj <= 3534 0.09/0.30 c BCD2: #cores=22, #unrelaxed=299, #relaxed=1006, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=23 bias=23/24 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 543 | 18 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 543 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 18 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 43: cost of the new core is >=1 0.09/0.30 c lower bound updated to 23 0.09/0.30 c BCD2: 23 <= obj <= 3534 0.09/0.30 c BCD2: #cores=23, #unrelaxed=256, #relaxed=1049, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=24 bias=24/25 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 425 | 13 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.005s 0.09/0.30 c #wall_clock_time = 0.005s 0.09/0.30 c #decision = 425 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 13 0.09/0.30 c #restart = 0 0.09/0.30 c BCD2: found a new core of size 57: cost of the new core is >=1 0.09/0.30 c lower bound updated to 24 0.09/0.30 c BCD2: 24 <= obj <= 3534 0.09/0.30 c BCD2: #cores=24, #unrelaxed=199, #relaxed=1106, #hardened=0 0.09/0.30 c BCD2: #sat=1 #unsat=25 bias=25/26 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 0 0.09/0.30 c 0.0s | 0 | 1199 | 9 | 1115 0 | 0 | 0 0.09/0.30 c #cpu_time = 0.011s 0.09/0.30 c #wall_clock_time = 0.011s 0.09/0.30 c #decision = 1199 0.09/0.30 c #random_decision = 3 0.09/0.30 c #conflict = 9 0.09/0.30 c #restart = 0 0.09/0.30 o 1423 0.09/0.30 c BCD2: updating upper bound: 3534 -> 1422 0.09/0.30 c BCD2: 24 <= obj <= 1422 0.09/0.30 c BCD2: #cores=24, #unrelaxed=199, #relaxed=1106, #hardened=0 0.09/0.30 c BCD2: #sat=2 #unsat=25 bias=25/27 0.09/0.30 c Solving starts ... 0.09/0.30 c ============================[ Search Statistics ]============================ 0.09/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.30 c | | | | Limit GC | Var | Constra 0.09/0.30 c ============================================================================= 0.09/0.30 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 1 0.09/0.30 c 0.0s | 0 | 306 | 21 | 1115 0 | 0 | 1 0.09/0.30 c #cpu_time = 0.021s 0.09/0.30 c #wall_clock_time = 0.021s 0.09/0.30 c #decision = 306 0.09/0.30 c #random_decision = 0 0.09/0.30 c #conflict = 21 0.09/0.30 c #restart = 0 0.09/0.30 o 1355 0.09/0.30 c BCD2: updating upper bound: 1422 -> 1354 0.09/0.31 c BCD2: 24 <= obj <= 1354 0.09/0.31 c BCD2: #cores=24, #unrelaxed=199, #relaxed=1106, #hardened=0 0.09/0.31 c BCD2: #sat=3 #unsat=25 bias=25/28 0.09/0.31 c Solving starts ... 0.09/0.31 c ============================[ Search Statistics ]============================ 0.09/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.31 c | | | | Limit GC | Var | Constra 0.09/0.31 c ============================================================================= 0.09/0.31 c 0.0s | 0 | 0 | 0 | 1115 0 | 0 | 2 0.09/0.32 c 0.0s | 0 | 524 | 21 | 1115 0 | 0 | 2 0.09/0.32 c #cpu_time = 0.011s 0.09/0.32 c #wall_clock_time = 0.011s 0.09/0.32 c #decision = 524 0.09/0.32 c #random_decision = 0 0.09/0.32 c #conflict = 21 0.09/0.32 c #restart = 0 0.09/0.32 c BCD2: relaxing 61 and merging with 2 cores into a new core of size 122: cost of the new core is >=3 0.09/0.32 c lower bound updated to 25 0.09/0.33 c BCD2: 25 <= obj <= 1354 0.09/0.33 c BCD2: #cores=23, #unrelaxed=138, #relaxed=1167, #hardened=0 0.09/0.33 c BCD2: #sat=3 #unsat=26 bias=26/29 0.09/0.33 c Solving starts ... 0.09/0.33 c ============================[ Search Statistics ]============================ 0.09/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.33 c | | | | Limit GC | Var | Constra 0.09/0.33 c ============================================================================= 0.09/0.33 c 0.0s | 0 | 0 | 0 | 1115 0 | 44 | 2 0.09/0.37 c 0.0s | 1 | 299 | 100 | 1227 0 | 44 | 88 0.09/0.38 c 0.1s | 1 | 488 | 124 | 1227 0 | 44 | 88 0.09/0.38 c #cpu_time = 0.051s 0.09/0.38 c #wall_clock_time = 0.051s 0.09/0.38 c #decision = 488 0.09/0.38 c #random_decision = 0 0.09/0.38 c #conflict = 124 0.09/0.38 c #restart = 1 0.09/0.38 c BCD2: relaxing 102 and merging with 14 cores into a new core of size 846: cost of the new core is >=17 0.09/0.38 c lower bound updated to 26 0.09/0.38 c BCD2: 26 <= obj <= 1354 0.09/0.38 c BCD2: #cores=10, #unrelaxed=36, #relaxed=1269, #hardened=0 0.09/0.38 c BCD2: #sat=3 #unsat=27 bias=27/30 0.09/0.39 c Solving starts ... 0.09/0.39 c ============================[ Search Statistics ]============================ 0.09/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.39 c | | | | Limit GC | Var | Constra 0.09/0.39 c ============================================================================= 0.09/0.39 c 0.0s | 0 | 0 | 0 | 1227 0 | 219 | 88 0.40/0.47 c 0.1s | 1 | 347 | 100 | 1227 0 | 219 | 427 0.49/0.55 c 0.2s | 2 | 722 | 250 | 1227 0 | 219 | 427 0.69/0.71 c 0.3s | 3 | 1238 | 475 | 1350 0 | 219 | 427 1.09/1.12 c 0.7s | 4 | 1925 | 813 | 1486 0 | 219 | 427 1.59/1.62 c 1.2s | 5 | 2762 | 1320 | 1486 0 | 219 | 427 2.29/2.40 c 2.0s | 6 | 4069 | 2081 | 1635 1 | 219 | 427 3.08/3.15 c 2.8s | 7 | 5961 | 3223 | 1799 2 | 219 | 427 4.18/4.26 c 3.9s | 8 | 8799 | 4936 | 1979 3 | 219 | 427 5.88/5.91 c 5.5s | 9 | 13026 | 7506 | 2177 5 | 219 | 427 7.89/7.93 c 7.5s | 9 | 18982 | 10906 | 2395 8 | 219 | 427 8.18/8.22 c 7.8s | 10 | 19762 | 11361 | 2395 8 | 219 | 427 10.19/10.28 c 9.9s | 10 | 25049 | 14561 | 2395 11 | 219 | 427 11.88/11.93 c 11.5s | 11 | 29161 | 17144 | 2635 12 | 219 | 427 13.88/13.94 c 13.5s | 11 | 34139 | 20244 | 2635 14 | 219 | 427 15.88/15.99 c 15.6s | 11 | 39719 | 23644 | 2635 16 | 219 | 427 17.28/17.32 c 16.9s | 12 | 43243 | 25819 | 2899 18 | 219 | 427 19.28/19.35 c 19.0s | 12 | 48411 | 28819 | 2899 20 | 219 | 427 21.28/21.35 c 21.0s | 12 | 53305 | 31819 | 2899 21 | 219 | 427 23.39/23.41 c 23.0s | 12 | 58600 | 35019 | 2899 23 | 219 | 427 25.38/25.42 c 25.0s | 12 | 64160 | 38319 | 3189 25 | 219 | 427 25.68/25.73 c 25.3s | 13 | 65074 | 38832 | 3189 25 | 219 | 427 27.69/27.74 c 27.3s | 13 | 70291 | 41932 | 3189 27 | 219 | 427 29.78/29.80 c 29.4s | 13 | 75727 | 45132 | 3189 29 | 219 | 427 31.78/31.84 c 31.4s | 13 | 81144 | 48332 | 3189 31 | 219 | 427 33.88/33.90 c 33.5s | 13 | 87083 | 51832 | 3189 33 | 219 | 427 35.88/35.92 c 35.5s | 13 | 93051 | 55432 | 3189 35 | 219 | 427 37.58/37.66 c 37.3s | 14 | 97788 | 58352 | 3508 36 | 219 | 427 39.68/39.72 c 39.3s | 14 | 103013 | 61552 | 3508 38 | 219 | 427 41.68/41.73 c 41.3s | 14 | 108258 | 64752 | 3508 39 | 219 | 427 43.78/43.80 c 43.4s | 14 | 113707 | 68052 | 3508 41 | 219 | 427 45.78/45.84 c 45.4s | 14 | 119157 | 71352 | 3508 43 | 219 | 427 47.77/47.86 c 47.5s | 14 | 124312 | 74452 | 3508 44 | 219 | 427 49.78/49.89 c 49.5s | 14 | 129317 | 77652 | 3508 46 | 219 | 427 51.88/51.93 c 51.5s | 14 | 134708 | 80952 | 3508 48 | 219 | 427 53.87/53.94 c 53.5s | 14 | 139792 | 84152 | 3508 49 | 219 | 427 55.87/55.95 c 55.6s | 14 | 145124 | 87352 | 3859 51 | 219 | 427 56.07/56.11 c 55.7s | 15 | 145554 | 87632 | 3859 51 | 219 | 427 58.08/58.16 c 57.8s | 15 | 150242 | 90632 | 3859 52 | 219 | 427 60.08/60.16 c 59.8s | 15 | 155342 | 93932 | 3859 54 | 219 | 427 62.08/62.18 c 61.8s | 15 | 160488 | 97132 | 3859 55 | 219 | 427 64.18/64.21 c 63.8s | 15 | 166061 | 100632 | 3859 57 | 219 | 427 66.19/66.21 c 65.8s | 15 | 171375 | 103932 | 3859 58 | 219 | 427 68.18/68.25 c 67.9s | 15 | 176936 | 107232 | 3859 60 | 219 | 427 70.18/70.27 c 69.9s | 15 | 182539 | 110732 | 3859 62 | 219 | 427 72.28/72.32 c 71.9s | 15 | 188196 | 114232 | 3859 63 | 219 | 427 74.28/74.34 c 73.9s | 15 | 193508 | 117532 | 3859 65 | 219 | 427 76.28/76.34 c 75.9s | 15 | 198252 | 120532 | 3859 66 | 219 | 427 78.29/78.35 c 78.0s | 15 | 203010 | 123632 | 3859 68 | 219 | 427 80.28/80.38 c 80.0s | 15 | 207705 | 126632 | 3859 69 | 219 | 427 82.38/82.41 c 82.0s | 15 | 212102 | 129532 | 3859 70 | 219 | 427 83.88/83.92 c 83.5s | 16 | 215079 | 131552 | 4245 71 | 219 | 427 85.87/85.97 c 85.6s | 16 | 219929 | 134552 | 4245 72 | 219 | 427 87.87/87.99 c 87.6s | 16 | 225277 | 137752 | 4245 74 | 219 | 427 89.97/90.08 c 89.7s | 16 | 230523 | 140852 | 4245 75 | 219 | 427 92.07/92.14 c 91.7s | 16 | 236084 | 144052 | 4245 76 | 219 | 427 94.07/94.14 c 93.7s | 16 | 241465 | 147252 | 4245 78 | 219 | 427 96.07/96.19 c 95.8s | 16 | 246521 | 150452 | 4245 79 | 219 | 427 98.18/98.24 c 97.8s | 16 | 251801 | 153652 | 4245 81 | 219 | 427 100.17/100.30 c 99.9s | 16 | 257384 | 157152 | 4245 82 | 219 | 427 102.27/102.32 c 101s | 16 | 262417 | 160452 | 4245 83 | 219 | 427 104.27/104.36 c 103s | 16 | 267322 | 163552 | 4245 85 | 219 | 427 106.37/106.42 c 106s | 16 | 273108 | 166952 | 4245 86 | 219 | 427 108.37/108.44 c 108s | 16 | 278708 | 170352 | 4245 88 | 219 | 427 110.47/110.50 c 110s | 16 | 284335 | 173852 | 4245 89 | 219 | 427 112.48/112.50 c 112s | 16 | 289658 | 177152 | 4245 91 | 219 | 427 114.47/114.52 c 114s | 16 | 295223 | 180452 | 4245 92 | 219 | 427 116.47/116.53 c 116s | 16 | 300944 | 183852 | 4245 93 | 219 | 427 118.47/118.57 c 118s | 16 | 305993 | 186952 | 4245 95 | 219 | 427 120.47/120.58 c 120s | 16 | 312400 | 190552 | 4245 96 | 219 | 427 122.57/122.60 c 122s | 16 | 318394 | 194052 | 4245 98 | 219 | 427 124.37/124.48 c 124s | 17 | 324354 | 197432 | 4670 99 | 219 | 427 126.47/126.53 c 126s | 17 | 329418 | 200432 | 4670 100 | 219 | 427 128.47/128.58 c 128s | 17 | 334588 | 203732 | 4670 102 | 219 | 427 130.57/130.61 c 130s | 17 | 339924 | 206932 | 4670 103 | 219 | 427 132.57/132.63 c 132s | 17 | 345073 | 210132 | 4670 104 | 219 | 427 134.57/134.64 c 134s | 17 | 351096 | 213632 | 4670 105 | 219 | 427 136.57/136.66 c 136s | 17 | 356805 | 217232 | 4670 107 | 219 | 427 138.57/138.67 c 138s | 17 | 362217 | 220532 | 4670 108 | 219 | 427 140.66/140.72 c 140s | 17 | 367815 | 223932 | 4670 109 | 219 | 427 142.66/142.73 c 142s | 17 | 373229 | 227132 | 4670 111 | 219 | 427 144.66/144.78 c 144s | 17 | 379025 | 230632 | 4670 112 | 219 | 427 146.66/146.79 c 146s | 17 | 384040 | 233832 | 4670 113 | 219 | 427 148.77/148.82 c 148s | 17 | 389362 | 236932 | 4670 115 | 219 | 427 150.76/150.88 c 150s | 17 | 394680 | 240132 | 4670 116 | 219 | 427 152.76/152.89 c 152s | 17 | 399936 | 243232 | 4670 117 | 219 | 427 154.86/154.91 c 154s | 17 | 405518 | 246532 | 4670 118 | 219 | 427 156.86/156.93 c 156s | 17 | 410681 | 249732 | 4670 120 | 219 | 427 158.86/158.93 c 158s | 17 | 415533 | 252832 | 4670 121 | 219 | 427 160.87/160.94 c 160s | 17 | 420597 | 255932 | 4670 122 | 219 | 427 162.86/162.96 c 162s | 17 | 425908 | 259032 | 4670 123 | 219 | 427 164.86/164.96 c 164s | 17 | 431104 | 262132 | 4670 124 | 219 | 427 166.86/167.00 c 166s | 17 | 436677 | 265532 | 4670 126 | 219 | 427 168.96/169.05 c 168s | 17 | 441779 | 268832 | 4670 127 | 219 | 427 170.96/171.09 c 170s | 17 | 446990 | 272032 | 4670 128 | 219 | 427 173.06/173.15 c 172s | 17 | 452196 | 275232 | 4670 130 | 219 | 427 175.16/175.21 c 174s | 17 | 458025 | 278732 | 4670 131 | 219 | 427 177.15/177.24 c 176s | 17 | 463181 | 281932 | 4670 132 | 219 | 427 179.15/179.25 c 178s | 17 | 468049 | 285032 | 4670 133 | 219 | 427 181.25/181.30 c 180s | 17 | 473204 | 288232 | 4670 135 | 219 | 427 183.25/183.32 c 182s | 17 | 478759 | 291632 | 4670 136 | 219 | 427 185.25/185.36 c 184s | 17 | 484856 | 295132 | 5137 137 | 219 | 427 185.85/185.91 c 185s | 18 | 486900 | 296252 | 5137 138 | 219 | 427 187.84/187.91 c 187s | 18 | 492401 | 299352 | 5137 139 | 219 | 427 189.84/189.93 c 189s | 18 | 497774 | 302552 | 5137 140 | 219 | 427 191.84/191.98 c 191s | 18 | 503529 | 305852 | 5137 141 | 219 | 427 193.85/193.98 c 193s | 18 | 508522 | 308952 | 5137 142 | 219 | 427 195.84/195.99 c 195s | 18 | 514023 | 312252 | 5137 143 | 219 | 427 197.94/198.02 c 197s | 18 | 518731 | 315252 | 5137 145 | 219 | 427 199.94/200.07 c 199s | 18 | 523672 | 318452 | 5137 146 | 219 | 427 202.04/202.12 c 201s | 18 | 528092 | 321352 | 5137 147 | 219 | 427 204.04/204.13 c 203s | 18 | 533522 | 324552 | 5137 148 | 219 | 427 206.04/206.15 c 205s | 18 | 538661 | 327752 | 5137 149 | 219 | 427 208.04/208.19 c 207s | 18 | 544331 | 331152 | 5137 150 | 219 | 427 210.13/210.21 c 209s | 18 | 549783 | 334452 | 5137 151 | 219 | 427 212.13/212.23 c 211s | 18 | 555099 | 337752 | 5137 153 | 219 | 427 214.13/214.24 c 213s | 18 | 559804 | 340852 | 5137 154 | 219 | 427 216.13/216.29 c 215s | 18 | 565023 | 344052 | 5137 155 | 219 | 427 218.23/218.32 c 217s | 18 | 570053 | 347152 | 5137 156 | 219 | 427 220.24/220.33 c 219s | 18 | 575529 | 350452 | 5137 157 | 219 | 427 222.24/222.37 c 221s | 18 | 580603 | 353652 | 5137 158 | 219 | 427 224.23/224.39 c 223s | 18 | 585685 | 356952 | 5137 160 | 219 | 427 226.33/226.40 c 226s | 18 | 591453 | 360452 | 5137 161 | 219 | 427 228.33/228.44 c 228s | 18 | 596939 | 363852 | 5137 162 | 219 | 427 230.33/230.44 c 230s | 18 | 602159 | 367152 | 5137 163 | 219 | 427 232.33/232.47 c 232s | 18 | 607594 | 370552 | 5137 164 | 219 | 427 234.43/234.53 c 234s | 18 | 612852 | 373952 | 5137 166 | 219 | 427 236.43/236.57 c 236s | 18 | 617969 | 377252 | 5137 167 | 219 | 427 238.52/238.60 c 238s | 18 | 622397 | 380152 | 5137 168 | 219 | 427 240.52/240.62 c 240s | 18 | 627292 | 383252 | 5137 169 | 219 | 427 242.52/242.67 c 242s | 18 | 632290 | 386452 | 5137 170 | 219 | 427 244.62/244.72 c 244s | 18 | 636911 | 389452 | 5137 171 | 219 | 427 246.63/246.72 c 246s | 18 | 641762 | 392552 | 5137 172 | 219 | 427 248.62/248.76 c 248s | 18 | 646305 | 395552 | 5137 173 | 219 | 427 250.72/250.83 c 250s | 18 | 650821 | 398552 | 5137 175 | 219 | 427 252.72/252.87 c 252s | 18 | 655827 | 401852 | 5137 176 | 219 | 427 254.82/254.90 c 254s | 18 | 660196 | 404752 | 5137 177 | 219 | 427 256.82/256.96 c 256s | 18 | 664224 | 407552 | 5137 178 | 219 | 427 258.91/259.02 c 258s | 18 | 667976 | 410352 | 5137 179 | 219 | 427 260.92/261.03 c 260s | 18 | 671481 | 412852 | 5137 180 | 219 | 427 262.91/263.05 c 262s | 18 | 675101 | 415352 | 5137 181 | 219 | 427 264.91/265.06 c 264s | 18 | 678924 | 417952 | 5137 181 | 219 | 427 266.91/267.08 c 266s | 18 | 682944 | 420652 | 5137 182 | 219 | 427 269.01/269.13 c 268s | 18 | 687512 | 423552 | 5137 184 | 219 | 427 271.00/271.19 c 270s | 18 | 691735 | 426452 | 5137 185 | 219 | 427 273.10/273.20 c 272s | 18 | 696190 | 429452 | 5137 186 | 219 | 427 275.11/275.24 c 274s | 18 | 700923 | 432552 | 5137 187 | 219 | 427 277.10/277.24 c 276s | 18 | 706839 | 436052 | 5137 188 | 219 | 427 279.10/279.27 c 278s | 18 | 712140 | 439352 | 5137 189 | 219 | 427 281.10/281.28 c 280s | 18 | 717181 | 442452 | 5651 190 | 219 | 427 282.30/282.49 c 282s | 19 | 720529 | 444482 | 5651 191 | 219 | 427 284.40/284.50 c 284s | 19 | 726131 | 447682 | 5651 192 | 219 | 427 286.40/286.57 c 286s | 19 | 731881 | 451182 | 5651 193 | 219 | 427 288.40/288.58 c 288s | 19 | 737114 | 454582 | 5651 194 | 219 | 427 290.50/290.62 c 290s | 19 | 743144 | 458282 | 5651 195 | 219 | 427 292.49/292.66 c 292s | 19 | 749357 | 461782 | 5651 197 | 219 | 427 294.49/294.66 c 294s | 19 | 755116 | 465182 | 5651 198 | 219 | 427 296.49/296.69 c 296s | 19 | 760663 | 468482 | 5651 199 | 219 | 427 298.59/298.71 c 298s | 19 | 766737 | 472082 | 5651 200 | 219 | 427 300.59/300.72 c 300s | 19 | 772186 | 475582 | 5651 201 | 219 | 427 302.60/302.78 c 302s | 19 | 778287 | 479182 | 5651 202 | 219 | 427 304.59/304.79 c 304s | 19 | 784858 | 482982 | 5651 203 | 219 | 427 306.69/306.80 c 306s | 19 | 790951 | 486582 | 5651 205 | 219 | 427 308.69/308.86 c 308s | 19 | 797147 | 490182 | 5651 206 | 219 | 427 310.69/310.89 c 310s | 19 | 802701 | 493582 | 5651 207 | 219 | 427 312.79/312.91 c 312s | 19 | 808457 | 497082 | 5651 208 | 219 | 427 314.79/314.97 c 314s | 19 | 814016 | 500482 | 5651 209 | 219 | 427 316.79/316.98 c 316s | 19 | 819827 | 503982 | 5651 210 | 219 | 427 318.78/318.99 c 318s | 19 | 825533 | 507282 | 5651 212 | 219 | 427 320.88/321.03 c 320s | 19 | 831413 | 510882 | 5651 213 | 219 | 427 322.88/323.05 c 322s | 19 | 837052 | 514382 | 5651 214 | 219 | 427 324.88/325.07 c 324s | 19 | 842103 | 517582 | 5651 215 | 219 | 427 326.88/327.08 c 326s | 19 | 847172 | 520782 | 5651 216 | 219 | 427 328.98/329.10 c 328s | 19 | 853013 | 524382 | 5651 217 | 219 | 427 330.98/331.15 c 330s | 19 | 859067 | 527982 | 5651 218 | 219 | 427 333.08/333.20 c 332s | 19 | 865054 | 531382 | 5651 219 | 219 | 427 335.08/335.25 c 334s | 19 | 870639 | 534782 | 5651 221 | 219 | 427 337.07/337.28 c 336s | 19 | 876517 | 538282 | 5651 222 | 219 | 427 339.18/339.32 c 338s | 19 | 882283 | 541882 | 5651 223 | 219 | 427 341.19/341.36 c 340s | 19 | 888007 | 545282 | 5651 224 | 219 | 427 343.18/343.38 c 342s | 19 | 893996 | 548882 | 5651 225 | 219 | 427 345.28/345.41 c 345s | 19 | 900218 | 552482 | 5651 226 | 219 | 427 347.28/347.41 c 347s | 19 | 905546 | 555882 | 5651 228 | 219 | 427 349.28/349.44 c 349s | 19 | 910865 | 559282 | 5651 229 | 219 | 427 351.28/351.44 c 351s | 19 | 916643 | 562882 | 5651 230 | 219 | 427 353.28/353.47 c 353s | 19 | 922665 | 566482 | 5651 231 | 219 | 427 355.38/355.54 c 355s | 19 | 928270 | 569882 | 5651 232 | 219 | 427 357.37/357.58 c 357s | 19 | 934173 | 573382 | 5651 233 | 219 | 427 359.37/359.59 c 359s | 19 | 939699 | 576782 | 5651 234 | 219 | 427 361.47/361.60 c 361s | 19 | 945487 | 580182 | 5651 236 | 219 | 427 363.47/363.64 c 363s | 19 | 951247 | 583882 | 5651 237 | 219 | 427 365.47/365.69 c 365s | 19 | 957511 | 587482 | 5651 238 | 219 | 427 367.57/367.71 c 367s | 19 | 963577 | 591082 | 5651 239 | 219 | 427 369.56/369.75 c 369s | 19 | 969291 | 594582 | 5651 240 | 219 | 427 371.66/371.81 c 371s | 19 | 975445 | 598382 | 5651 242 | 219 | 427 373.66/373.84 c 373s | 19 | 981294 | 601982 | 5651 243 | 219 | 427 375.66/375.88 c 375s | 19 | 987392 | 605682 | 5651 244 | 219 | 427 377.76/377.92 c 377s | 19 | 992895 | 609282 | 5651 245 | 219 | 427 379.76/379.93 c 379s | 19 | 997943 | 612482 | 5651 246 | 219 | 427 381.76/381.94 c 381s | 19 | 1002973 | 615682 | 5651 247 | 219 | 427 383.75/383.96 c 383s | 19 | 1008638 | 619082 | 5651 248 | 219 | 427 385.85/386.00 c 385s | 19 | 1014069 | 622482 | 5651 249 | 219 | 427 387.85/388.04 c 387s | 19 | 1019870 | 625882 | 5651 251 | 219 | 427 389.85/390.05 c 389s | 19 | 1025699 | 629282 | 5651 252 | 219 | 427 391.85/392.08 c 391s | 19 | 1031678 | 632882 | 5651 253 | 219 | 427 393.95/394.11 c 393s | 19 | 1037962 | 636482 | 5651 254 | 219 | 427 395.95/396.15 c 395s | 19 | 1044103 | 640182 | 5651 255 | 219 | 427 398.04/398.23 c 397s | 19 | 1050530 | 643882 | 5651 257 | 219 | 427 400.04/400.27 c 399s | 19 | 1056413 | 647382 | 5651 258 | 219 | 427 402.14/402.33 c 401s | 19 | 1062189 | 650882 | 5651 259 | 219 | 427 404.14/404.34 c 403s | 19 | 1068439 | 654482 | 5651 260 | 219 | 427 406.24/406.40 c 406s | 19 | 1074749 | 658282 | 5651 261 | 219 | 427 408.24/408.44 c 408s | 19 | 1080561 | 661882 | 6217 262 | 219 | 427 410.24/410.47 c 410s | 19 | 1086150 | 665282 | 6217 263 | 219 | 427 411.24/411.42 c 411s | 20 | 1088616 | 666827 | 6217 264 | 219 | 427 413.24/413.48 c 413s | 20 | 1094042 | 670027 | 6217 265 | 219 | 427 415.33/415.52 c 415s | 20 | 1099764 | 673427 | 6217 266 | 219 | 427 417.33/417.54 c 417s | 20 | 1105136 | 676727 | 6217 267 | 219 | 427 419.33/419.58 c 419s | 20 | 1110314 | 680027 | 6217 268 | 219 | 427 421.34/421.60 c 421s | 20 | 1115679 | 683327 | 6217 269 | 219 | 427 423.43/423.60 c 423s | 20 | 1121167 | 686727 | 6217 270 | 219 | 427 425.43/425.63 c 425s | 20 | 1127085 | 690227 | 6217 271 | 219 | 427 427.43/427.64 c 427s | 20 | 1132646 | 693727 | 6217 272 | 219 | 427 429.43/429.65 c 429s | 20 | 1137625 | 697127 | 6217 273 | 219 | 427 431.43/431.65 c 431s | 20 | 1143469 | 700627 | 6217 274 | 219 | 427 433.43/433.66 c 433s | 20 | 1149385 | 704127 | 6217 275 | 219 | 427 435.52/435.71 c 435s | 20 | 1155722 | 707827 | 6217 276 | 219 | 427 437.52/437.73 c 437s | 20 | 1161308 | 711227 | 6217 277 | 219 | 427 439.52/439.74 c 439s | 20 | 1167572 | 714827 | 6217 278 | 219 | 427 441.53/441.74 c 441s | 20 | 1173942 | 718527 | 6217 279 | 219 | 427 443.63/443.80 c 443s | 20 | 1180433 | 722427 | 6217 281 | 219 | 427 445.63/445.81 c 445s | 20 | 1186415 | 725927 | 6217 282 | 219 | 427 447.62/447.83 c 447s | 20 | 1192321 | 729527 | 6217 283 | 219 | 427 449.62/449.88 c 449s | 20 | 1197844 | 732827 | 6217 284 | 219 | 427 451.62/451.88 c 451s | 20 | 1203100 | 736027 | 6217 285 | 219 | 427 453.62/453.88 c 453s | 20 | 1208268 | 739127 | 6217 286 | 219 | 427 455.72/455.92 c 455s | 20 | 1213538 | 742227 | 6217 286 | 219 | 427 457.72/457.94 c 457s | 20 | 1218696 | 745427 | 6217 287 | 219 | 427 459.72/459.98 c 459s | 20 | 1224279 | 748827 | 6217 288 | 219 | 427 461.82/462.03 c 461s | 20 | 1229319 | 752127 | 6217 289 | 219 | 427 463.82/464.08 c 463s | 20 | 1234320 | 755227 | 6217 290 | 219 | 427 465.92/466.10 c 465s | 20 | 1239631 | 758527 | 6217 291 | 219 | 427 467.91/468.12 c 467s | 20 | 1246132 | 762427 | 6217 293 | 219 | 427 469.91/470.16 c 469s | 20 | 1252215 | 766127 | 6217 294 | 219 | 427 472.02/472.23 c 471s | 20 | 1258068 | 769727 | 6217 295 | 219 | 427 474.01/474.28 c 473s | 20 | 1263919 | 773227 | 6217 296 | 219 | 427 476.11/476.34 c 475s | 20 | 1269810 | 776827 | 6217 297 | 219 | 427 478.11/478.37 c 477s | 20 | 1275669 | 780327 | 6217 298 | 219 | 427 480.21/480.41 c 480s | 20 | 1281279 | 783727 | 6217 299 | 219 | 427 482.21/482.43 c 482s | 20 | 1286609 | 787027 | 6217 300 | 219 | 427 484.21/484.49 c 484s | 20 | 1291987 | 790327 | 6217 301 | 219 | 427 486.31/486.50 c 486s | 20 | 1297347 | 793627 | 6217 302 | 219 | 427 488.30/488.51 c 488s | 20 | 1302323 | 796727 | 6217 303 | 219 | 427 490.30/490.53 c 490s | 20 | 1307206 | 799727 | 6217 304 | 219 | 427 492.30/492.58 c 492s | 20 | 1312918 | 803027 | 6217 305 | 219 | 427 494.40/494.64 c 494s | 20 | 1318590 | 806527 | 6217 306 | 219 | 427 496.40/496.67 c 496s | 20 | 1323752 | 809627 | 6217 307 | 219 | 427 498.40/498.68 c 498s | 20 | 1329217 | 812927 | 6217 308 | 219 | 427 500.50/500.71 c 500s | 20 | 1334751 | 816327 | 6217 309 | 219 | 427 502.50/502.79 c 502s | 20 | 1340477 | 819727 | 6217 310 | 219 | 427 504.60/504.83 c 504s | 20 | 1346926 | 823427 | 6217 311 | 219 | 427 506.60/506.86 c 506s | 20 | 1352682 | 826927 | 6217 312 | 219 | 427 508.59/508.89 c 508s | 20 | 1358343 | 830327 | 6217 313 | 219 | 427 510.69/510.94 c 510s | 20 | 1364474 | 833927 | 6217 314 | 219 | 427 512.70/512.96 c 512s | 20 | 1370491 | 837427 | 6217 315 | 219 | 427 514.69/514.99 c 514s | 20 | 1376364 | 840927 | 6217 316 | 219 | 427 516.79/517.03 c 516s | 20 | 1381803 | 844227 | 6217 317 | 219 | 427 518.79/519.08 c 518s | 20 | 1387945 | 847827 | 6217 318 | 219 | 427 520.79/521.10 c 520s | 20 | 1394612 | 851727 | 6217 319 | 219 | 427 522.89/523.17 c 522s | 20 | 1400213 | 855227 | 6217 321 | 219 | 427 524.98/525.22 c 524s | 20 | 1405808 | 858627 | 6217 322 | 219 | 427 526.99/527.23 c 526s | 20 | 1411264 | 861927 | 6217 323 | 219 | 427 528.98/529.25 c 528s | 20 | 1416344 | 865127 | 6217 324 | 219 | 427 530.98/531.28 c 530s | 20 | 1421780 | 868427 | 6217 325 | 219 | 427 533.08/533.31 c 532s | 20 | 1427606 | 871827 | 6217 326 | 219 | 427 535.08/535.35 c 534s | 20 | 1433166 | 875127 | 6217 327 | 219 | 427 537.18/537.40 c 537s | 20 | 1438749 | 878627 | 6217 328 | 219 | 427 539.18/539.41 c 539s | 20 | 1443968 | 881927 | 6217 329 | 219 | 427 541.18/541.47 c 541s | 20 | 1449132 | 885127 | 6217 330 | 219 | 427 543.28/543.52 c 543s | 20 | 1454508 | 888427 | 6217 331 | 219 | 427 545.28/545.56 c 545s | 20 | 1459436 | 891627 | 6217 331 | 219 | 427 547.27/547.57 c 547s | 20 | 1464301 | 894727 | 6217 332 | 219 | 427 549.37/549.63 c 549s | 20 | 1470257 | 898327 | 6217 334 | 219 | 427 551.37/551.67 c 551s | 20 | 1476205 | 901827 | 6217 335 | 219 | 427 553.38/553.68 c 553s | 20 | 1482256 | 905327 | 6217 336 | 219 | 427 555.37/555.70 c 555s | 20 | 1487469 | 908727 | 6217 337 | 219 | 427 557.47/557.72 c 557s | 20 | 1492367 | 911827 | 6217 338 | 219 | 427 559.47/559.73 c 559s | 20 | 1497424 | 915027 | 6217 339 | 219 | 427 561.47/561.77 c 561s | 20 | 1502228 | 918127 | 6217 339 | 219 | 427 563.47/563.78 c 563s | 20 | 1507624 | 921427 | 6217 340 | 219 | 427 565.57/565.82 c 565s | 20 | 1512697 | 924627 | 6217 341 | 219 | 427 567.57/567.82 c 567s | 20 | 1517440 | 927727 | 6217 342 | 219 | 427 569.56/569.84 c 569s | 20 | 1521971 | 930727 | 6217 343 | 219 | 427 571.56/571.90 c 571s | 20 | 1527399 | 934127 | 6217 344 | 219 | 427 573.66/573.91 c 573s | 20 | 1531981 | 937127 | 6217 345 | 219 | 427 575.66/575.91 c 575s | 20 | 1536048 | 939927 | 6217 346 | 219 | 427 577.65/577.99 c 577s | 20 | 1540601 | 942827 | 6217 347 | 219 | 427 579.66/580.00 c 579s | 20 | 1544573 | 945427 | 6217 348 | 219 | 427 581.75/582.00 c 581s | 20 | 1548818 | 948227 | 6217 349 | 219 | 427 583.75/584.01 c 583s | 20 | 1553814 | 951327 | 6217 350 | 219 | 427 585.75/586.06 c 585s | 20 | 1558165 | 954227 | 6217 350 | 219 | 427 587.85/588.11 c 587s | 20 | 1563080 | 957427 | 6217 351 | 219 | 427 589.86/590.13 c 589s | 20 | 1568149 | 960527 | 6217 352 | 219 | 427 591.86/592.15 c 591s | 20 | 1573065 | 963527 | 6217 353 | 219 | 427 593.85/594.15 c 593s | 20 | 1577308 | 966327 | 6217 354 | 219 | 427 595.95/596.22 c 595s | 20 | 1581690 | 969227 | 6217 355 | 219 | 427 597.95/598.24 c 597s | 20 | 1585595 | 971927 | 6217 356 | 219 | 427 600.05/600.30 c 599s | 20 | 1589693 | 974827 | 6217 357 | 219 | 427 602.05/602.34 c 601s | 20 | 1594120 | 977827 | 6217 358 | 219 | 427 604.05/604.36 c 603s | 20 | 1597658 | 980327 | 6217 358 | 219 | 427 606.16/606.41 c 606s | 20 | 1603478 | 983927 | 6217 359 | 219 | 427 608.14/608.43 c 608s | 20 | 1609135 | 987327 | 6217 360 | 219 | 427 610.14/610.47 c 610s | 20 | 1614598 | 990727 | 6217 361 | 219 | 427 612.24/612.52 c 612s | 20 | 1620207 | 994127 | 6839 362 | 219 | 427 614.24/614.54 c 614s | 20 | 1625041 | 997227 | 6839 363 | 219 | 427 616.34/616.61 c 616s | 20 | 1629298 | 1000227 | 6839 364 | 219 | 427 616.34/616.68 c 616s | 21 | 1629474 | 1000345 | 6839 364 | 219 | 427 618.44/618.70 c 618s | 21 | 1634400 | 1003145 | 6839 365 | 219 | 427 620.45/620.71 c 620s | 21 | 1639691 | 1006245 | 6839 366 | 219 | 427 622.44/622.76 c 622s | 21 | 1644949 | 1009445 | 6839 366 | 219 | 427 624.44/624.76 c 624s | 21 | 1650105 | 1012545 | 6839 367 | 219 | 427 626.54/626.81 c 626s | 21 | 1655744 | 1015645 | 6839 368 | 219 | 427 628.53/628.87 c 628s | 21 | 1661284 | 1018845 | 6839 369 | 219 | 427 630.63/630.92 c 630s | 21 | 1666860 | 1022145 | 6839 370 | 219 | 427 632.63/632.95 c 632s | 21 | 1671856 | 1025245 | 6839 371 | 219 | 427 634.74/635.01 c 634s | 21 | 1676920 | 1028245 | 6839 372 | 219 | 427 636.73/637.01 c 636s | 21 | 1682243 | 1031345 | 6839 372 | 219 | 427 638.73/639.08 c 638s | 21 | 1687707 | 1034645 | 6839 373 | 219 | 427 640.83/641.13 c 640s | 21 | 1693149 | 1037845 | 6839 374 | 219 | 427 642.83/643.14 c 642s | 21 | 1698515 | 1040945 | 6839 375 | 219 | 427 644.83/645.17 c 644s | 21 | 1703702 | 1044145 | 6839 376 | 219 | 427 646.84/647.18 c 646s | 21 | 1708716 | 1047145 | 6839 377 | 219 | 427 648.93/649.23 c 648s | 21 | 1713408 | 1050145 | 6839 378 | 219 | 427 650.93/651.28 c 650s | 21 | 1718500 | 1053445 | 6839 379 | 219 | 427 653.03/653.35 c 652s | 21 | 1724254 | 1056845 | 6839 380 | 219 | 427 655.03/655.38 c 654s | 21 | 1729328 | 1059945 | 6839 380 | 219 | 427 657.02/657.39 c 657s | 21 | 1733940 | 1062845 | 6839 381 | 219 | 427 659.12/659.40 c 659s | 21 | 1738116 | 1065445 | 6839 382 | 219 | 427 661.03/661.40 c 661s | 21 | 1743000 | 1068445 | 6839 383 | 219 | 427 663.12/663.42 c 663s | 21 | 1747670 | 1071245 | 6839 383 | 219 | 427 665.12/665.44 c 665s | 21 | 1752468 | 1074045 | 6839 384 | 219 | 427 667.12/667.47 c 667s | 21 | 1757740 | 1077045 | 6839 385 | 219 | 427 669.12/669.49 c 669s | 21 | 1762634 | 1080045 | 6839 386 | 219 | 427 671.12/671.49 c 671s | 21 | 1767250 | 1082945 | 6839 387 | 219 | 427 673.22/673.50 c 673s | 21 | 1772045 | 1085845 | 6839 388 | 219 | 427 675.22/675.52 c 675s | 21 | 1777047 | 1088645 | 6839 388 | 219 | 427 677.21/677.52 c 677s | 21 | 1781683 | 1091345 | 6839 389 | 219 | 427 679.21/679.56 c 679s | 21 | 1785394 | 1093645 | 6839 390 | 219 | 427 681.31/681.60 c 681s | 21 | 1789497 | 1096145 | 6839 390 | 219 | 427 683.31/683.68 c 683s | 21 | 1792585 | 1098145 | 6839 391 | 219 | 427 685.41/685.71 c 685s | 21 | 1796677 | 1100545 | 6839 392 | 219 | 427 687.41/687.77 c 687s | 21 | 1800443 | 1102845 | 6839 392 | 219 | 427 689.51/689.81 c 689s | 21 | 1803933 | 1105145 | 6839 393 | 219 | 427 691.51/691.87 c 691s | 21 | 1807305 | 1107345 | 6839 393 | 219 | 427 693.51/693.89 c 693s | 21 | 1810541 | 1109445 | 6839 394 | 219 | 427 695.61/695.91 c 695s | 21 | 1814002 | 1111645 | 6839 395 | 219 | 427 697.60/697.95 c 697s | 21 | 1817427 | 1113745 | 6839 395 | 219 | 427 699.70/700.01 c 699s | 21 | 1821095 | 1116045 | 6839 396 | 219 | 427 701.81/702.14 c 701s | 21 | 1825221 | 1118545 | 6839 397 | 219 | 427 703.80/704.19 c 703s | 21 | 1829316 | 1121045 | 6839 397 | 219 | 427 705.90/706.24 c 705s | 21 | 1833259 | 1123445 | 6839 398 | 219 | 427 708.00/708.31 c 707s | 21 | 1837050 | 1125845 | 6839 399 | 219 | 427 710.00/710.36 c 709s | 21 | 1840981 | 1128345 | 6839 399 | 219 | 427 712.10/712.41 c 712s | 21 | 1844602 | 1130645 | 6839 400 | 219 | 427 714.10/714.49 c 714s | 21 | 1847647 | 1132545 | 6839 400 | 219 | 427 716.20/716.55 c 716s | 21 | 1850849 | 1134645 | 6839 401 | 219 | 427 718.20/718.57 c 718s | 21 | 1853547 | 1136545 | 6839 401 | 219 | 427 720.29/720.61 c 720s | 21 | 1857334 | 1138845 | 6839 402 | 219 | 427 722.29/722.69 c 722s | 21 | 1861343 | 1141245 | 6839 403 | 219 | 427 724.29/724.69 c 724s | 21 | 1864973 | 1143445 | 6839 403 | 219 | 427 726.39/726.75 c 726s | 21 | 1868568 | 1145645 | 6839 404 | 219 | 427 728.39/728.79 c 728s | 21 | 1872108 | 1147745 | 6839 405 | 219 | 427 730.59/730.92 c 730s | 21 | 1876057 | 1150145 | 6839 405 | 219 | 427 732.59/732.92 c 732s | 21 | 1879550 | 1152445 | 6839 406 | 219 | 427 734.59/734.93 c 734s | 21 | 1882924 | 1154645 | 6839 406 | 219 | 427 736.68/737.00 c 736s | 21 | 1886853 | 1156945 | 6839 407 | 219 | 427 738.68/739.06 c 738s | 21 | 1890378 | 1159145 | 6839 408 | 219 | 427 740.68/741.09 c 740s | 21 | 1894156 | 1161745 | 6839 408 | 219 | 427 742.78/743.17 c 742s | 21 | 1898172 | 1164445 | 6839 409 | 219 | 427 744.88/745.26 c 744s | 21 | 1901923 | 1166945 | 6839 410 | 219 | 427 746.88/747.28 c 746s | 21 | 1905643 | 1169245 | 6839 411 | 219 | 427 748.98/749.37 c 748s | 21 | 1909448 | 1171745 | 6839 411 | 219 | 427 751.08/751.43 c 751s | 21 | 1913242 | 1174145 | 6839 412 | 219 | 427 753.18/753.54 c 753s | 21 | 1916708 | 1176545 | 6839 413 | 219 | 427 755.28/755.60 c 755s | 21 | 1920353 | 1179045 | 6839 413 | 219 | 427 757.27/757.65 c 757s | 21 | 1923466 | 1181345 | 6839 414 | 219 | 427 759.37/759.71 c 759s | 21 | 1926587 | 1183345 | 6839 414 | 219 | 427 761.37/761.79 c 761s | 21 | 1931035 | 1185845 | 6839 415 | 219 | 427 763.47/763.81 c 763s | 21 | 1934977 | 1188245 | 6839 416 | 219 | 427 765.48/765.83 c 765s | 21 | 1938756 | 1190745 | 6839 416 | 219 | 427 767.47/767.87 c 767s | 21 | 1943573 | 1193645 | 6839 417 | 219 | 427 769.57/769.90 c 769s | 21 | 1948258 | 1196445 | 6839 418 | 219 | 427 771.57/771.92 c 771s | 21 | 1952625 | 1199145 | 6839 419 | 219 | 427 773.57/773.99 c 773s | 21 | 1957296 | 1201945 | 6839 420 | 219 | 427 775.67/776.04 c 775s | 21 | 1961971 | 1204745 | 6839 420 | 219 | 427 777.67/778.09 c 777s | 21 | 1966961 | 1207845 | 6839 421 | 219 | 427 779.77/780.13 c 779s | 21 | 1971351 | 1210545 | 6839 422 | 219 | 427 781.86/782.20 c 781s | 21 | 1976027 | 1213345 | 6839 423 | 219 | 427 783.86/784.27 c 783s | 21 | 1981132 | 1216245 | 6839 423 | 219 | 427 785.96/786.30 c 785s | 21 | 1985862 | 1219045 | 6839 424 | 219 | 427 787.96/788.30 c 787s | 21 | 1990402 | 1221745 | 6839 425 | 219 | 427 789.96/790.34 c 789s | 21 | 1995138 | 1224545 | 6839 426 | 219 | 427 792.06/792.44 c 792s | 21 | 1999616 | 1227345 | 6839 427 | 219 | 427 794.06/794.47 c 794s | 21 | 2004100 | 1230045 | 6839 427 | 219 | 427 796.16/796.54 c 796s | 21 | 2008382 | 1232545 | 6839 428 | 219 | 427 798.15/798.56 c 798s | 21 | 2011954 | 1234845 | 6839 429 | 219 | 427 800.15/800.57 c 800s | 21 | 2015687 | 1237245 | 6839 429 | 219 | 427 802.25/802.62 c 802s | 21 | 2020392 | 1240045 | 6839 430 | 219 | 427 804.25/804.68 c 804s | 21 | 2024581 | 1242645 | 6839 431 | 219 | 427 806.35/806.74 c 806s | 21 | 2028734 | 1245145 | 6839 431 | 219 | 427 808.35/808.80 c 808s | 21 | 2033142 | 1247745 | 6839 432 | 219 | 427 810.45/810.81 c 810s | 21 | 2037750 | 1250445 | 6839 433 | 219 | 427 812.45/812.84 c 812s | 21 | 2041914 | 1253045 | 6839 434 | 219 | 427 814.55/814.91 c 814s | 21 | 2045727 | 1255645 | 6839 434 | 219 | 427 816.55/816.92 c 816s | 21 | 2050553 | 1258545 | 6839 435 | 219 | 427 818.54/818.95 c 818s | 21 | 2055554 | 1261445 | 6839 436 | 219 | 427 820.56/820.99 c 820s | 21 | 2059985 | 1264345 | 6839 437 | 219 | 427 822.55/823.00 c 822s | 21 | 2064531 | 1267045 | 6839 437 | 219 | 427 824.75/825.13 c 824s | 21 | 2069364 | 1269745 | 6839 438 | 219 | 427 826.75/827.15 c 826s | 21 | 2073757 | 1272545 | 6839 439 | 219 | 427 828.75/829.15 c 828s | 21 | 2078236 | 1275345 | 6839 440 | 219 | 427 830.75/831.17 c 830s | 21 | 2082833 | 1278145 | 6839 441 | 219 | 427 832.85/833.24 c 832s | 21 | 2087471 | 1281145 | 6839 441 | 219 | 427 834.85/835.27 c 834s | 21 | 2092068 | 1284045 | 6839 442 | 219 | 427 836.85/837.28 c 836s | 21 | 2096404 | 1286745 | 6839 443 | 219 | 427 838.95/839.32 c 838s | 21 | 2100968 | 1289545 | 6839 444 | 219 | 427 840.94/841.38 c 840s | 21 | 2105816 | 1292345 | 6839 444 | 219 | 427 843.04/843.43 c 843s | 21 | 2110031 | 1295145 | 6839 445 | 219 | 427 845.04/845.45 c 845s | 21 | 2114833 | 1298145 | 6839 446 | 219 | 427 847.04/847.48 c 847s | 21 | 2118772 | 1300645 | 6839 447 | 219 | 427 849.15/849.54 c 849s | 21 | 2122747 | 1303245 | 6839 447 | 219 | 427 851.14/851.56 c 851s | 21 | 2126896 | 1305845 | 6839 448 | 219 | 427 853.24/853.60 c 853s | 21 | 2131004 | 1308445 | 6839 449 | 219 | 427 855.24/855.62 c 855s | 21 | 2134655 | 1310845 | 6839 450 | 219 | 427 857.24/857.69 c 857s | 21 | 2138614 | 1313445 | 6839 450 | 219 | 427 859.34/859.78 c 859s | 21 | 2142244 | 1315845 | 6839 451 | 219 | 427 861.44/861.85 c 861s | 21 | 2146120 | 1318245 | 6839 452 | 219 | 427 863.54/863.90 c 863s | 21 | 2150681 | 1321045 | 6839 452 | 219 | 427 865.54/865.96 c 865s | 21 | 2155146 | 1323845 | 6839 453 | 219 | 427 867.54/867.99 c 867s | 21 | 2159244 | 1326345 | 6839 454 | 219 | 427 869.64/870.07 c 869s | 21 | 2162764 | 1328745 | 6839 454 | 219 | 427 871.74/872.11 c 871s | 21 | 2166876 | 1331445 | 6839 455 | 219 | 427 873.74/874.17 c 873s | 21 | 2171022 | 1333945 | 6839 456 | 219 | 427 875.84/876.21 c 875s | 21 | 2175331 | 1336745 | 6839 457 | 219 | 427 877.84/878.24 c 877s | 21 | 2180164 | 1339645 | 6839 457 | 219 | 427 879.84/880.24 c 879s | 21 | 2184558 | 1342445 | 6839 458 | 219 | 427 881.93/882.30 c 881s | 21 | 2189256 | 1345245 | 6839 459 | 219 | 427 883.93/884.36 c 883s | 21 | 2193927 | 1348045 | 6839 460 | 219 | 427 886.03/886.42 c 886s | 21 | 2198272 | 1350745 | 6839 461 | 219 | 427 888.03/888.49 c 888s | 21 | 2202617 | 1353445 | 6839 461 | 219 | 427 890.13/890.53 c 890s | 21 | 2206485 | 1355945 | 6839 462 | 219 | 427 892.13/892.57 c 892s | 21 | 2210412 | 1358345 | 6839 463 | 219 | 427 894.14/894.57 c 894s | 21 | 2214481 | 1360945 | 6839 463 | 219 | 427 896.23/896.62 c 896s | 21 | 2218523 | 1363445 | 6839 464 | 219 | 427 898.23/898.68 c 898s | 21 | 2222756 | 1366045 | 6839 465 | 219 | 427 900.33/900.71 c 900s | 21 | 2226626 | 1368545 | 6839 465 | 219 | 427 902.33/902.78 c 902s | 21 | 2230896 | 1371345 | 6839 466 | 219 | 427 904.43/904.80 c 904s | 21 | 2234954 | 1373845 | 6839 467 | 219 | 427 906.43/906.82 c 906s | 21 | 2238863 | 1376245 | 6839 468 | 219 | 427 908.43/908.82 c 908s | 21 | 2242701 | 1378745 | 6839 468 | 219 | 427 910.43/910.85 c 910s | 21 | 2246610 | 1381245 | 6839 469 | 219 | 427 912.43/912.88 c 912s | 21 | 2250085 | 1383545 | 6839 470 | 219 | 427 914.53/914.92 c 914s | 21 | 2254982 | 1386645 | 6839 470 | 219 | 427 916.53/916.94 c 916s | 21 | 2259810 | 1389645 | 6839 471 | 219 | 427 918.53/918.98 c 918s | 21 | 2264551 | 1392545 | 6839 472 | 219 | 427 920.53/920.98 c 920s | 21 | 2269310 | 1395345 | 6839 473 | 219 | 427 922.63/923.05 c 922s | 21 | 2273731 | 1398045 | 6839 474 | 219 | 427 924.63/925.07 c 924s | 21 | 2278596 | 1400945 | 6839 474 | 219 | 427 926.63/927.08 c 926s | 21 | 2282886 | 1403745 | 6839 475 | 219 | 427 928.73/929.15 c 928s | 21 | 2287924 | 1406545 | 6839 476 | 219 | 427 930.73/931.18 c 930s | 21 | 2292936 | 1409445 | 6839 477 | 219 | 427 932.83/933.25 c 932s | 21 | 2297464 | 1412245 | 6839 478 | 219 | 427 934.93/935.31 c 934s | 21 | 2301686 | 1414845 | 6839 478 | 219 | 427 936.92/937.32 c 936s | 21 | 2306398 | 1417545 | 6839 479 | 219 | 427 938.92/939.38 c 938s | 21 | 2311796 | 1420645 | 6839 480 | 219 | 427 940.92/941.39 c 940s | 21 | 2315650 | 1422945 | 6839 480 | 219 | 427 942.92/943.39 c 942s | 21 | 2319775 | 1425445 | 6839 481 | 219 | 427 945.02/945.45 c 945s | 21 | 2324357 | 1428345 | 6839 482 | 219 | 427 947.03/947.49 c 947s | 21 | 2328629 | 1430945 | 6839 483 | 219 | 427 949.02/949.50 c 949s | 21 | 2333083 | 1433745 | 6839 483 | 219 | 427 951.12/951.54 c 951s | 21 | 2337683 | 1436645 | 6839 484 | 219 | 427 953.12/953.54 c 953s | 21 | 2342190 | 1439445 | 6839 485 | 219 | 427 955.12/955.59 c 955s | 21 | 2346685 | 1442245 | 6839 486 | 219 | 427 957.22/957.62 c 957s | 21 | 2351402 | 1445145 | 6839 487 | 219 | 427 959.22/959.65 c 959s | 21 | 2356226 | 1448045 | 6839 487 | 219 | 427 961.23/961.69 c 961s | 21 | 2360976 | 1450745 | 6839 488 | 219 | 427 963.32/963.73 c 963s | 21 | 2365354 | 1453345 | 6839 489 | 219 | 427 965.32/965.75 c 965s | 21 | 2369601 | 1455945 | 6839 490 | 219 | 427 967.42/967.82 c 967s | 21 | 2374055 | 1458645 | 6839 490 | 219 | 427 969.42/969.89 c 969s | 21 | 2378158 | 1461245 | 6839 491 | 219 | 427 971.52/971.93 c 971s | 21 | 2382546 | 1463845 | 6839 492 | 219 | 427 973.52/973.95 c 973s | 21 | 2386722 | 1466545 | 6839 492 | 219 | 427 975.62/976.03 c 975s | 21 | 2390886 | 1469045 | 6839 493 | 219 | 427 977.62/978.07 c 977s | 21 | 2394733 | 1471345 | 6839 494 | 219 | 427 979.72/980.10 c 979s | 21 | 2398533 | 1473645 | 6839 494 | 219 | 427 981.72/982.12 c 981s | 21 | 2403036 | 1476245 | 6839 495 | 219 | 427 983.72/984.14 c 983s | 21 | 2407186 | 1478845 | 6839 496 | 219 | 427 985.82/986.20 c 985s | 21 | 2410929 | 1481145 | 6839 497 | 219 | 427 987.82/988.24 c 987s | 21 | 2415598 | 1484045 | 6839 497 | 219 | 427 989.82/990.30 c 989s | 21 | 2420073 | 1486745 | 6839 498 | 219 | 427 991.92/992.39 c 991s | 21 | 2424864 | 1489645 | 7523 499 | 219 | 427 994.01/994.41 c 994s | 21 | 2429117 | 1492145 | 7523 499 | 219 | 427 996.01/996.41 c 996s | 21 | 2433973 | 1494845 | 7523 500 | 219 | 427 998.01/998.46 c 998s | 21 | 2438810 | 1497645 | 7523 501 | 219 | 427 1000.01/1000.47 c 1000s | 21 | 2443273 | 1500345 | 7523 501 | 219 | 427 1000.31/1000.72 c 1000s | 22 | 2443708 | 1500622 | 7523 502 | 219 | 427 1002.31/1002.78 c 1002s | 22 | 2448073 | 1503122 | 7523 502 | 219 | 427 1004.41/1004.83 c 1004s | 22 | 2452268 | 1505722 | 7523 503 | 219 | 427 1006.51/1006.90 c 1006s | 22 | 2456630 | 1508422 | 7523 503 | 219 | 427 1008.52/1008.93 c 1008s | 22 | 2461147 | 1511122 | 7523 504 | 219 | 427 1010.51/1010.99 c 1010s | 22 | 2466035 | 1514022 | 7523 505 | 219 | 427 1012.61/1013.00 c 1012s | 22 | 2470612 | 1516722 | 7523 506 | 219 | 427 1014.61/1015.02 c 1014s | 22 | 2475498 | 1519622 | 7523 506 | 219 | 427 1016.61/1017.08 c 1016s | 22 | 2479874 | 1522322 | 7523 507 | 219 | 427 1018.71/1019.10 c 1018s | 22 | 2484628 | 1525322 | 7523 508 | 219 | 427 1020.72/1021.14 c 1020s | 22 | 2489426 | 1528322 | 7523 508 | 219 | 427 1022.71/1023.18 c 1022s | 22 | 2494473 | 1531322 | 7523 509 | 219 | 427 1024.82/1025.22 c 1024s | 22 | 2499384 | 1534322 | 7523 510 | 219 | 427 1026.82/1027.24 c 1026s | 22 | 2503918 | 1537122 | 7523 511 | 219 | 427 1028.92/1029.30 c 1028s | 22 | 2509082 | 1540122 | 7523 511 | 219 | 427 1030.92/1031.30 c 1030s | 22 | 2513848 | 1542922 | 7523 512 | 219 | 427 1032.92/1033.36 c 1032s | 22 | 2518390 | 1545622 | 7523 513 | 219 | 427 1035.02/1035.43 c 1035s | 22 | 2523301 | 1548522 | 7523 514 | 219 | 427 1037.01/1037.48 c 1037s | 22 | 2528203 | 1551422 | 7523 514 | 219 | 427 1039.11/1039.54 c 1039s | 22 | 2533007 | 1554322 | 7523 515 | 219 | 427 1041.11/1041.60 c 1041s | 22 | 2537754 | 1557122 | 7523 516 | 219 | 427 1043.21/1043.60 c 1043s | 22 | 2542143 | 1559822 | 7523 516 | 219 | 427 1045.21/1045.60 c 1045s | 22 | 2546527 | 1562422 | 7523 517 | 219 | 427 1047.21/1047.65 c 1047s | 22 | 2550865 | 1565222 | 7523 518 | 219 | 427 1049.22/1049.67 c 1049s | 22 | 2555526 | 1568022 | 7523 518 | 219 | 427 1051.31/1051.74 c 1051s | 22 | 2560513 | 1571022 | 7523 519 | 219 | 427 1053.41/1053.80 c 1053s | 22 | 2564888 | 1573722 | 7523 520 | 219 | 427 1055.41/1055.83 c 1055s | 22 | 2569213 | 1576422 | 7523 521 | 219 | 427 1057.41/1057.89 c 1057s | 22 | 2573748 | 1579222 | 7523 521 | 219 | 427 1059.51/1059.90 c 1059s | 22 | 2578276 | 1582022 | 7523 522 | 219 | 427 1061.51/1061.97 c 1061s | 22 | 2582661 | 1584622 | 7523 523 | 219 | 427 1063.62/1064.02 c 1063s | 22 | 2587494 | 1587522 | 7523 523 | 219 | 427 1065.61/1066.04 c 1065s | 22 | 2592162 | 1590322 | 7523 524 | 219 | 427 1067.61/1068.07 c 1067s | 22 | 2597356 | 1593322 | 7523 525 | 219 | 427 1069.61/1070.09 c 1069s | 22 | 2602604 | 1596422 | 7523 526 | 219 | 427 1071.71/1072.16 c 1071s | 22 | 2607079 | 1599122 | 7523 526 | 219 | 427 1073.81/1074.21 c 1073s | 22 | 2611674 | 1601922 | 7523 527 | 219 | 427 1075.81/1076.22 c 1075s | 22 | 2616392 | 1604622 | 7523 528 | 219 | 427 1077.81/1078.24 c 1077s | 22 | 2620923 | 1607522 | 7523 528 | 219 | 427 1079.91/1080.30 c 1079s | 22 | 2624899 | 1610122 | 7523 529 | 219 | 427 1081.91/1082.33 c 1081s | 22 | 2629305 | 1612922 | 7523 530 | 219 | 427 1084.01/1084.40 c 1084s | 22 | 2634348 | 1615922 | 7523 531 | 219 | 427 1086.01/1086.45 c 1086s | 22 | 2638451 | 1618822 | 7523 531 | 219 | 427 1088.01/1088.46 c 1088s | 22 | 2643607 | 1621922 | 7523 532 | 219 | 427 1090.10/1090.52 c 1090s | 22 | 2647761 | 1624722 | 7523 533 | 219 | 427 1092.11/1092.57 c 1092s | 22 | 2652583 | 1627722 | 7523 534 | 219 | 427 1094.20/1094.62 c 1094s | 22 | 2657552 | 1630722 | 7523 534 | 219 | 427 1096.20/1096.69 c 1096s | 22 | 2662428 | 1633622 | 7523 535 | 219 | 427 1098.30/1098.74 c 1098s | 22 | 2667234 | 1636522 | 7523 536 | 219 | 427 1100.30/1100.75 c 1100s | 22 | 2671965 | 1639422 | 7523 536 | 219 | 427 1102.30/1102.78 c 1102s | 22 | 2676878 | 1642322 | 7523 537 | 219 | 427 1104.40/1104.82 c 1104s | 22 | 2681806 | 1645322 | 7523 538 | 219 | 427 1106.41/1106.85 c 1106s | 22 | 2686668 | 1648122 | 7523 539 | 219 | 427 1108.40/1108.89 c 1108s | 22 | 2691557 | 1651022 | 7523 539 | 219 | 427 1110.50/1110.97 c 1110s | 22 | 2696317 | 1654022 | 7523 540 | 219 | 427 1112.60/1113.02 c 1112s | 22 | 2700834 | 1656822 | 7523 541 | 219 | 427 1114.60/1115.05 c 1114s | 22 | 2705018 | 1659422 | 7523 542 | 219 | 427 1116.70/1117.11 c 1116s | 22 | 2709836 | 1662222 | 7523 542 | 219 | 427 1118.80/1119.21 c 1118s | 22 | 2714099 | 1664822 | 7523 543 | 219 | 427 1120.81/1121.24 c 1120s | 22 | 2718943 | 1667722 | 7523 544 | 219 | 427 1122.90/1123.32 c 1122s | 22 | 2724058 | 1670622 | 7523 544 | 219 | 427 1124.90/1125.32 c 1124s | 22 | 2729100 | 1673622 | 7523 545 | 219 | 427 1126.90/1127.35 c 1126s | 22 | 2733974 | 1676522 | 7523 546 | 219 | 427 1129.00/1129.40 c 1129s | 22 | 2738611 | 1679422 | 7523 547 | 219 | 427 1131.00/1131.40 c 1131s | 22 | 2743393 | 1682522 | 7523 547 | 219 | 427 1133.00/1133.43 c 1133s | 22 | 2747460 | 1685222 | 7523 548 | 219 | 427 1135.00/1135.47 c 1135s | 22 | 2752370 | 1688222 | 7523 549 | 219 | 427 1137.09/1137.54 c 1137s | 22 | 2757309 | 1691322 | 7523 550 | 219 | 427 1139.09/1139.54 c 1139s | 22 | 2762295 | 1694322 | 7523 550 | 219 | 427 1141.09/1141.56 c 1141s | 22 | 2767225 | 1697322 | 7523 551 | 219 | 427 1143.19/1143.63 c 1143s | 22 | 2772240 | 1700322 | 7523 552 | 219 | 427 1145.19/1145.67 c 1145s | 22 | 2776884 | 1703222 | 7523 553 | 219 | 427 1147.29/1147.71 c 1147s | 22 | 2782100 | 1706522 | 7523 553 | 219 | 427 1149.30/1149.75 c 1149s | 22 | 2787080 | 1709622 | 7523 554 | 219 | 427 1151.29/1151.77 c 1151s | 22 | 2792485 | 1712922 | 7523 555 | 219 | 427 1153.39/1153.83 c 1153s | 22 | 2797271 | 1716022 | 7523 556 | 219 | 427 1155.39/1155.85 c 1155s | 22 | 2801943 | 1719022 | 7523 557 | 219 | 427 1157.39/1157.85 c 1157s | 22 | 2806793 | 1721922 | 7523 557 | 219 | 427 1159.39/1159.88 c 1159s | 22 | 2811921 | 1725122 | 7523 558 | 219 | 427 1161.49/1161.93 c 1161s | 22 | 2816795 | 1728122 | 7523 559 | 219 | 427 1163.49/1163.96 c 1163s | 22 | 2821940 | 1731222 | 7523 560 | 219 | 427 1165.49/1165.97 c 1165s | 22 | 2827290 | 1734422 | 7523 560 | 219 | 427 1167.59/1168.03 c 1167s | 22 | 2831919 | 1737222 | 7523 561 | 219 | 427 1169.59/1170.04 c 1169s | 22 | 2836476 | 1740022 | 7523 562 | 219 | 427 1171.59/1172.08 c 1171s | 22 | 2840828 | 1742822 | 7523 563 | 219 | 427 1173.59/1174.09 c 1173s | 22 | 2845349 | 1745722 | 7523 563 | 219 | 427 1175.59/1176.10 c 1175s | 22 | 2850086 | 1748622 | 7523 564 | 219 | 427 1177.69/1178.10 c 1177s | 22 | 2854782 | 1751422 | 7523 565 | 219 | 427 1179.69/1180.12 c 1179s | 22 | 2859022 | 1754022 | 7523 565 | 219 | 427 1181.69/1182.15 c 1181s | 22 | 2864067 | 1757122 | 7523 566 | 219 | 427 1183.69/1184.18 c 1183s | 22 | 2869090 | 1760222 | 7523 567 | 219 | 427 1185.79/1186.22 c 1185s | 22 | 2874061 | 1763422 | 7523 568 | 219 | 427 1187.90/1188.31 c 1187s | 22 | 2878905 | 1766522 | 7523 569 | 219 | 427 1189.89/1190.32 c 1189s | 22 | 2883560 | 1769322 | 7523 569 | 219 | 427 1191.89/1192.32 c 1191s | 22 | 2887892 | 1772022 | 7523 570 | 219 | 427 1193.89/1194.33 c 1193s | 22 | 2892661 | 1775022 | 7523 571 | 219 | 427 1195.89/1196.37 c 1195s | 22 | 2898392 | 1778522 | 7523 572 | 219 | 427 1197.99/1198.43 c 1198s | 22 | 2903794 | 1781722 | 7523 572 | 219 | 427 1200.09/1200.50 c 1200s | 22 | 2908245 | 1784522 | 7523 573 | 219 | 427 1202.10/1202.57 c 1202s | 22 | 2912520 | 1787222 | 7523 574 | 219 | 427 1204.19/1204.60 c 1204s | 22 | 2916637 | 1789822 | 7523 574 | 219 | 427 1206.19/1206.61 c 1206s | 22 | 2920804 | 1792522 | 7523 575 | 219 | 427 1208.19/1208.65 c 1208s | 22 | 2924505 | 1794922 | 7523 576 | 219 | 427 1210.19/1210.66 c 1210s | 22 | 2928934 | 1797622 | 7523 576 | 219 | 427 1212.19/1212.69 c 1212s | 22 | 2933039 | 1800322 | 7523 577 | 219 | 427 1214.29/1214.73 c 1214s | 22 | 2937252 | 1802922 | 7523 578 | 219 | 427 1216.29/1216.77 c 1216s | 22 | 2941704 | 1805622 | 7523 578 | 219 | 427 1218.39/1218.85 c 1218s | 22 | 2946096 | 1808422 | 7523 579 | 219 | 427 1220.49/1220.91 c 1220s | 22 | 2950534 | 1811122 | 7523 580 | 219 | 427 1222.49/1222.91 c 1222s | 22 | 2955193 | 1813922 | 7523 580 | 219 | 427 1224.48/1224.93 c 1224s | 22 | 2960186 | 1817022 | 7523 581 | 219 | 427 1226.48/1226.95 c 1226s | 22 | 2964764 | 1819922 | 7523 582 | 219 | 427 1228.49/1228.96 c 1228s | 22 | 2969969 | 1823022 | 7523 583 | 219 | 427 1230.58/1231.01 c 1230s | 22 | 2975126 | 1826022 | 7523 584 | 219 | 427 1232.58/1233.08 c 1232s | 22 | 2980285 | 1829222 | 7523 584 | 219 | 427 1234.68/1235.10 c 1234s | 22 | 2985270 | 1832222 | 7523 585 | 219 | 427 1236.68/1237.11 c 1236s | 22 | 2989647 | 1834822 | 7523 586 | 219 | 427 1238.68/1239.12 c 1238s | 22 | 2994082 | 1837622 | 7523 586 | 219 | 427 1240.69/1241.17 c 1240s | 22 | 2999383 | 1840622 | 7523 587 | 219 | 427 1242.68/1243.18 c 1242s | 22 | 3004196 | 1843422 | 7523 588 | 219 | 427 1244.68/1245.18 c 1244s | 22 | 3008747 | 1846122 | 7523 589 | 219 | 427 1246.78/1247.20 c 1246s | 22 | 3014025 | 1849222 | 7523 589 | 219 | 427 1248.78/1249.22 c 1248s | 22 | 3018541 | 1852022 | 7523 590 | 219 | 427 1250.78/1251.22 c 1250s | 22 | 3023713 | 1855222 | 7523 591 | 219 | 427 1252.79/1253.27 c 1252s | 22 | 3029170 | 1858422 | 7523 592 | 219 | 427 1254.78/1255.28 c 1254s | 22 | 3033850 | 1861322 | 7523 592 | 219 | 427 1256.88/1257.32 c 1256s | 22 | 3038632 | 1864322 | 7523 593 | 219 | 427 1258.88/1259.38 c 1258s | 22 | 3043866 | 1867522 | 7523 594 | 219 | 427 1260.98/1261.42 c 1261s | 22 | 3048813 | 1870522 | 7523 595 | 219 | 427 1262.98/1263.49 c 1263s | 22 | 3053689 | 1873622 | 7523 596 | 219 | 427 1265.08/1265.53 c 1265s | 22 | 3058548 | 1876522 | 7523 596 | 219 | 427 1267.08/1267.58 c 1267s | 22 | 3063898 | 1879922 | 7523 597 | 219 | 427 1269.18/1269.61 c 1269s | 22 | 3068876 | 1882922 | 7523 598 | 219 | 427 1271.18/1271.63 c 1271s | 22 | 3073875 | 1885822 | 7523 599 | 219 | 427 1273.18/1273.67 c 1273s | 22 | 3078544 | 1888822 | 7523 599 | 219 | 427 1275.28/1275.74 c 1275s | 22 | 3083436 | 1891822 | 7523 600 | 219 | 427 1277.27/1277.78 c 1277s | 22 | 3087831 | 1894622 | 7523 601 | 219 | 427 1279.37/1279.82 c 1279s | 22 | 3092663 | 1897522 | 7523 602 | 219 | 427 1281.38/1281.83 c 1281s | 22 | 3097717 | 1900622 | 7523 602 | 219 | 427 1283.37/1283.85 c 1283s | 22 | 3102071 | 1903422 | 7523 603 | 219 | 427 1285.37/1285.89 c 1285s | 22 | 3106365 | 1906322 | 7523 604 | 219 | 427 1287.37/1287.89 c 1287s | 22 | 3110708 | 1909122 | 7523 604 | 219 | 427 1289.47/1289.90 c 1289s | 22 | 3115448 | 1912022 | 7523 605 | 219 | 427 1291.47/1291.91 c 1291s | 22 | 3120511 | 1915122 | 7523 606 | 219 | 427 1293.48/1293.96 c 1293s | 22 | 3125187 | 1918022 | 7523 607 | 219 | 427 1295.58/1296.04 c 1295s | 22 | 3129944 | 1920822 | 7523 607 | 219 | 427 1297.57/1298.04 c 1297s | 22 | 3134406 | 1923622 | 7523 608 | 219 | 427 1299.67/1300.11 c 1299s | 22 | 3138900 | 1926422 | 7523 609 | 219 | 427 1301.67/1302.16 c 1301s | 22 | 3143270 | 1929222 | 7523 610 | 219 | 427 1303.77/1304.20 c 1303s | 22 | 3147856 | 1932022 | 7523 610 | 219 | 427 1305.77/1306.20 c 1305s | 22 | 3152739 | 1935022 | 7523 611 | 219 | 427 1307.78/1308.25 c 1307s | 22 | 3157367 | 1938022 | 7523 612 | 219 | 427 1309.77/1310.28 c 1309s | 22 | 3161930 | 1940922 | 7523 612 | 219 | 427 1311.87/1312.34 c 1311s | 22 | 3166131 | 1943422 | 7523 613 | 219 | 427 1313.87/1314.38 c 1313s | 22 | 3171294 | 1946622 | 7523 614 | 219 | 427 1315.87/1316.39 c 1315s | 22 | 3176304 | 1949822 | 7523 615 | 219 | 427 1317.97/1318.41 c 1318s | 22 | 3181271 | 1953022 | 7523 616 | 219 | 427 1319.97/1320.48 c 1320s | 22 | 3186458 | 1956222 | 7523 616 | 219 | 427 1322.07/1322.54 c 1322s | 22 | 3191776 | 1959322 | 7523 617 | 219 | 427 1324.07/1324.57 c 1324s | 22 | 3197086 | 1962422 | 7523 618 | 219 | 427 1326.17/1326.60 c 1326s | 22 | 3201558 | 1965322 | 7523 619 | 219 | 427 1328.17/1328.65 c 1328s | 22 | 3206494 | 1968322 | 7523 619 | 219 | 427 1330.37/1330.80 c 1330s | 22 | 3211070 | 1971122 | 7523 620 | 219 | 427 1332.37/1332.84 c 1332s | 22 | 3215551 | 1973822 | 7523 621 | 219 | 427 1334.37/1334.86 c 1334s | 22 | 3220185 | 1976722 | 7523 621 | 219 | 427 1336.37/1336.90 c 1336s | 22 | 3224314 | 1979422 | 7523 622 | 219 | 427 1338.47/1338.92 c 1338s | 22 | 3228792 | 1982122 | 7523 623 | 219 | 427 1340.46/1340.99 c 1340s | 22 | 3233051 | 1984822 | 7523 624 | 219 | 427 1342.56/1343.00 c 1342s | 22 | 3237659 | 1987622 | 7523 624 | 219 | 427 1344.56/1345.06 c 1344s | 22 | 3242418 | 1990522 | 7523 625 | 219 | 427 1346.66/1347.10 c 1346s | 22 | 3246780 | 1993122 | 7523 626 | 219 | 427 1348.66/1349.17 c 1348s | 22 | 3251570 | 1996122 | 7523 626 | 219 | 427 1350.67/1351.19 c 1350s | 22 | 3256932 | 1999322 | 7523 627 | 219 | 427 1352.77/1353.22 c 1352s | 22 | 3261861 | 2002322 | 7523 628 | 219 | 427 1354.76/1355.24 c 1354s | 22 | 3266822 | 2005322 | 7523 629 | 219 | 427 1356.76/1357.27 c 1356s | 22 | 3271537 | 2008122 | 7523 629 | 219 | 427 1358.86/1359.33 c 1358s | 22 | 3276424 | 2011122 | 7523 630 | 219 | 427 1360.86/1361.38 c 1360s | 22 | 3280685 | 2013822 | 7523 631 | 219 | 427 1362.96/1363.42 c 1363s | 22 | 3286261 | 2017122 | 7523 632 | 219 | 427 1364.97/1365.48 c 1365s | 22 | 3291947 | 2020422 | 7523 633 | 219 | 427 1366.96/1367.48 c 1367s | 22 | 3296070 | 2023122 | 7523 633 | 219 | 427 1369.06/1369.53 c 1369s | 22 | 3300948 | 2026222 | 7523 634 | 219 | 427 1371.06/1371.54 c 1371s | 22 | 3305938 | 2029322 | 7523 635 | 219 | 427 1373.16/1373.64 c 1373s | 22 | 3310715 | 2032322 | 7523 636 | 219 | 427 1375.16/1375.69 c 1375s | 22 | 3315604 | 2035322 | 7523 636 | 219 | 427 1377.26/1377.75 c 1377s | 22 | 3320799 | 2038422 | 7523 637 | 219 | 427 1379.26/1379.77 c 1379s | 22 | 3325963 | 2041422 | 7523 638 | 219 | 427 1381.36/1381.80 c 1381s | 22 | 3330576 | 2044322 | 7523 639 | 219 | 427 1383.36/1383.85 c 1383s | 22 | 3336075 | 2047522 | 7523 639 | 219 | 427 1385.36/1385.89 c 1385s | 22 | 3341037 | 2050422 | 7523 640 | 219 | 427 1387.46/1387.90 c 1387s | 22 | 3345842 | 2053222 | 7523 641 | 219 | 427 1389.46/1389.97 c 1389s | 22 | 3350755 | 2056122 | 7523 642 | 219 | 427 1391.45/1391.98 c 1391s | 22 | 3355467 | 2059022 | 7523 642 | 219 | 427 1393.56/1394.02 c 1393s | 22 | 3360083 | 2061922 | 7523 643 | 219 | 427 1395.55/1396.04 c 1395s | 22 | 3364782 | 2064822 | 7523 644 | 219 | 427 1397.65/1398.11 c 1397s | 22 | 3369528 | 2067722 | 7523 644 | 219 | 427 1399.65/1400.13 c 1399s | 22 | 3373975 | 2070522 | 7523 645 | 219 | 427 1401.65/1402.15 c 1401s | 22 | 3377779 | 2073122 | 7523 646 | 219 | 427 1403.75/1404.20 c 1403s | 22 | 3382793 | 2076022 | 7523 647 | 219 | 427 1405.75/1406.25 c 1405s | 22 | 3387771 | 2079022 | 7523 647 | 219 | 427 1407.76/1408.28 c 1407s | 22 | 3392547 | 2081822 | 7523 648 | 219 | 427 1409.85/1410.32 c 1409s | 22 | 3397146 | 2084722 | 7523 649 | 219 | 427 1411.85/1412.38 c 1411s | 22 | 3401612 | 2087522 | 7523 649 | 219 | 427 1413.95/1414.40 c 1414s | 22 | 3406475 | 2090322 | 7523 650 | 219 | 427 1415.95/1416.48 c 1416s | 22 | 3410963 | 2093022 | 7523 651 | 219 | 427 1418.05/1418.51 c 1418s | 22 | 3415484 | 2095822 | 7523 652 | 219 | 427 1420.05/1420.53 c 1420s | 22 | 3419851 | 2098622 | 7523 652 | 219 | 427 1422.06/1422.54 c 1422s | 22 | 3424528 | 2101422 | 7523 653 | 219 | 427 1424.15/1424.60 c 1424s | 22 | 3429300 | 2104322 | 7523 654 | 219 | 427 1426.15/1426.62 c 1426s | 22 | 3433815 | 2107222 | 7523 654 | 219 | 427 1428.15/1428.67 c 1428s | 22 | 3438664 | 2110322 | 7523 655 | 219 | 427 1430.25/1430.70 c 1430s | 22 | 3443036 | 2113122 | 7523 656 | 219 | 427 1432.25/1432.74 c 1432s | 22 | 3448213 | 2116322 | 7523 657 | 219 | 427 1434.25/1434.76 c 1434s | 22 | 3453801 | 2119522 | 7523 657 | 219 | 427 1436.35/1436.81 c 1436s | 22 | 3459136 | 2122622 | 7523 658 | 219 | 427 1438.35/1438.82 c 1438s | 22 | 3464007 | 2125522 | 7523 659 | 219 | 427 1440.35/1440.88 c 1440s | 22 | 3469419 | 2128822 | 7523 660 | 219 | 427 1442.45/1442.91 c 1442s | 22 | 3474551 | 2131922 | 7523 661 | 219 | 427 1444.45/1444.97 c 1444s | 22 | 3479949 | 2135222 | 7523 661 | 219 | 427 1446.55/1447.03 c 1446s | 22 | 3485222 | 2138522 | 7523 662 | 219 | 427 1448.55/1449.04 c 1448s | 22 | 3490466 | 2141622 | 7523 663 | 219 | 427 1450.54/1451.06 c 1450s | 22 | 3495295 | 2144522 | 7523 664 | 219 | 427 1452.54/1453.08 c 1452s | 22 | 3499820 | 2147422 | 7523 665 | 219 | 427 1454.64/1455.13 c 1454s | 22 | 3504586 | 2150322 | 7523 665 | 219 | 427 1456.64/1457.17 c 1456s | 22 | 3509147 | 2153122 | 7523 666 | 219 | 427 1458.74/1459.20 c 1458s | 22 | 3514055 | 2156022 | 7523 667 | 219 | 427 1460.74/1461.26 c 1460s | 22 | 3518801 | 2159022 | 7523 667 | 219 | 427 1462.75/1463.30 c 1462s | 22 | 3523799 | 2162022 | 7523 668 | 219 | 427 1464.84/1465.38 c 1464s | 22 | 3528328 | 2164822 | 7523 669 | 219 | 427 1466.95/1467.40 c 1467s | 22 | 3532747 | 2167622 | 7523 670 | 219 | 427 1468.95/1469.43 c 1469s | 22 | 3537949 | 2170822 | 7523 670 | 219 | 427 1470.95/1471.46 c 1471s | 22 | 3542893 | 2173722 | 7523 671 | 219 | 427 1472.95/1473.48 c 1473s | 22 | 3547703 | 2176722 | 7523 672 | 219 | 427 1475.05/1475.50 c 1475s | 22 | 3552259 | 2179722 | 7523 673 | 219 | 427 1477.06/1477.52 c 1477s | 22 | 3557493 | 2182922 | 7523 673 | 219 | 427 1479.05/1479.54 c 1479s | 22 | 3562233 | 2185722 | 7523 674 | 219 | 427 1481.05/1481.58 c 1481s | 22 | 3567288 | 2189022 | 7523 675 | 219 | 427 1483.15/1483.63 c 1483s | 22 | 3572517 | 2192222 | 7523 676 | 219 | 427 1485.15/1485.67 c 1485s | 22 | 3577769 | 2195522 | 7523 677 | 219 | 427 1487.15/1487.69 c 1487s | 22 | 3583149 | 2198822 | 7523 677 | 219 | 427 1489.25/1489.73 c 1489s | 22 | 3588363 | 2202022 | 7523 678 | 219 | 427 1491.25/1491.78 c 1491s | 22 | 3593400 | 2205022 | 7523 679 | 219 | 427 1493.35/1493.83 c 1493s | 22 | 3598204 | 2208022 | 7523 680 | 219 | 427 1495.35/1495.87 c 1495s | 22 | 3602992 | 2210922 | 7523 681 | 219 | 427 1497.45/1497.90 c 1497s | 22 | 3608754 | 2214422 | 7523 681 | 219 | 427 1499.45/1499.92 c 1499s | 22 | 3613825 | 2217622 | 7523 682 | 219 | 427 1501.44/1501.92 c 1501s | 22 | 3618703 | 2220622 | 7523 683 | 219 | 427 1503.45/1503.98 c 1503s | 22 | 3623689 | 2223722 | 7523 684 | 219 | 427 1505.54/1506.01 c 1505s | 22 | 3628819 | 2226822 | 7523 685 | 219 | 427 1507.54/1508.03 c 1507s | 22 | 3634095 | 2229922 | 7523 685 | 219 | 427 1509.54/1510.04 c 1509s | 22 | 3639113 | 2233022 | 7523 686 | 219 | 427 1511.54/1512.05 c 1511s | 22 | 3643496 | 2235822 | 8276 687 | 219 | 427 1513.64/1514.12 c 1513s | 22 | 3648068 | 2238822 | 8276 687 | 219 | 427 1515.65/1516.16 c 1515s | 22 | 3652778 | 2241922 | 8276 688 | 219 | 427 1517.64/1518.19 c 1517s | 22 | 3657583 | 2245022 | 8276 689 | 219 | 427 1519.74/1520.24 c 1519s | 22 | 3663005 | 2248422 | 8276 689 | 219 | 427 1521.34/1521.82 c 1521s | 23 | 3667452 | 2251038 | 8276 690 | 219 | 427 1523.35/1523.88 c 1523s | 23 | 3672163 | 2253738 | 8276 691 | 219 | 427 1525.34/1525.90 c 1525s | 23 | 3677242 | 2256738 | 8276 691 | 219 | 427 1527.44/1527.95 c 1527s | 23 | 3682334 | 2259738 | 8276 692 | 219 | 427 1529.44/1529.96 c 1529s | 23 | 3686980 | 2262538 | 8276 693 | 219 | 427 1531.44/1531.99 c 1531s | 23 | 3691671 | 2265538 | 8276 693 | 219 | 427 1533.54/1534.05 c 1533s | 23 | 3696887 | 2268738 | 8276 694 | 219 | 427 1535.54/1536.08 c 1535s | 23 | 3701802 | 2271738 | 8276 695 | 219 | 427 1537.65/1538.14 c 1537s | 23 | 3706428 | 2274638 | 8276 696 | 219 | 427 1539.64/1540.18 c 1539s | 23 | 3711670 | 2277938 | 8276 696 | 219 | 427 1541.74/1542.24 c 1541s | 23 | 3716345 | 2280838 | 8276 697 | 219 | 427 1543.74/1544.25 c 1543s | 23 | 3721613 | 2283938 | 8276 698 | 219 | 427 1545.74/1546.29 c 1545s | 23 | 3726944 | 2287038 | 8276 698 | 219 | 427 1547.84/1548.35 c 1547s | 23 | 3731937 | 2290138 | 8276 699 | 219 | 427 1549.84/1550.36 c 1549s | 23 | 3736613 | 2293138 | 8276 700 | 219 | 427 1551.84/1552.38 c 1551s | 23 | 3741735 | 2296238 | 8276 700 | 219 | 427 1553.94/1554.40 c 1554s | 23 | 3746721 | 2299238 | 8276 701 | 219 | 427 1555.94/1556.41 c 1556s | 23 | 3751255 | 2302138 | 8276 702 | 219 | 427 1557.94/1558.47 c 1558s | 23 | 3756126 | 2305038 | 8276 703 | 219 | 427 1560.03/1560.50 c 1560s | 23 | 3761392 | 2308238 | 8276 703 | 219 | 427 1562.03/1562.53 c 1562s | 23 | 3766299 | 2311238 | 8276 704 | 219 | 427 1564.04/1564.56 c 1564s | 23 | 3771365 | 2314338 | 8276 705 | 219 | 427 1566.14/1566.60 c 1566s | 23 | 3776621 | 2317438 | 8276 705 | 219 | 427 1568.13/1568.63 c 1568s | 23 | 3782059 | 2320638 | 8276 706 | 219 | 427 1570.13/1570.68 c 1570s | 23 | 3787187 | 2323838 | 8276 707 | 219 | 427 1572.23/1572.73 c 1572s | 23 | 3792322 | 2326938 | 8276 708 | 219 | 427 1574.23/1574.73 c 1574s | 23 | 3797485 | 2330038 | 8276 708 | 219 | 427 1576.23/1576.74 c 1576s | 23 | 3802354 | 2333038 | 8276 709 | 219 | 427 1578.24/1578.76 c 1578s | 23 | 3807091 | 2336038 | 8276 710 | 219 | 427 1580.23/1580.79 c 1580s | 23 | 3812268 | 2339138 | 8276 710 | 219 | 427 1582.33/1582.81 c 1582s | 23 | 3815746 | 2341338 | 8276 711 | 219 | 427 1584.43/1584.92 c 1584s | 23 | 3820378 | 2344138 | 8276 712 | 219 | 427 1586.43/1586.97 c 1586s | 23 | 3825156 | 2346938 | 8276 712 | 219 | 427 1588.53/1589.00 c 1588s | 23 | 3829826 | 2349738 | 8276 713 | 219 | 427 1590.53/1591.03 c 1590s | 23 | 3834084 | 2352338 | 8276 713 | 219 | 427 1592.53/1593.08 c 1592s | 23 | 3838668 | 2355038 | 8276 714 | 219 | 427 1594.63/1595.14 c 1594s | 23 | 3844229 | 2358238 | 8276 715 | 219 | 427 1596.63/1597.16 c 1596s | 23 | 3848861 | 2361138 | 8276 715 | 219 | 427 1598.73/1599.22 c 1598s | 23 | 3853791 | 2364238 | 8276 716 | 219 | 427 1600.73/1601.27 c 1600s | 23 | 3858635 | 2367138 | 8276 717 | 219 | 427 1602.83/1603.34 c 1602s | 23 | 3864100 | 2370338 | 8276 718 | 219 | 427 1604.83/1605.37 c 1604s | 23 | 3869196 | 2373338 | 8276 718 | 219 | 427 1606.83/1607.39 c 1606s | 23 | 3874099 | 2376238 | 8276 719 | 219 | 427 1608.92/1609.44 c 1609s | 23 | 3879204 | 2379238 | 8276 720 | 219 | 427 1610.92/1611.47 c 1611s | 23 | 3884194 | 2382338 | 8276 720 | 219 | 427 1613.02/1613.50 c 1613s | 23 | 3889192 | 2385338 | 8276 721 | 219 | 427 1615.02/1615.52 c 1615s | 23 | 3893889 | 2388238 | 8276 722 | 219 | 427 1617.02/1617.59 c 1617s | 23 | 3898852 | 2391238 | 8276 722 | 219 | 427 1619.03/1619.59 c 1619s | 23 | 3903183 | 2394038 | 8276 723 | 219 | 427 1621.02/1621.59 c 1621s | 23 | 3907266 | 2396638 | 8276 724 | 219 | 427 1623.02/1623.60 c 1623s | 23 | 3911439 | 2399238 | 8276 724 | 219 | 427 1625.12/1625.61 c 1625s | 23 | 3915650 | 2401938 | 8276 725 | 219 | 427 1627.12/1627.63 c 1627s | 23 | 3920377 | 2404738 | 8276 725 | 219 | 427 1629.12/1629.67 c 1629s | 23 | 3924877 | 2407538 | 8276 726 | 219 | 427 1631.22/1631.75 c 1631s | 23 | 3929760 | 2410338 | 8276 727 | 219 | 427 1633.23/1633.75 c 1633s | 23 | 3933725 | 2412938 | 8276 727 | 219 | 427 1635.22/1635.76 c 1635s | 23 | 3937663 | 2415538 | 8276 728 | 219 | 427 1637.22/1637.78 c 1637s | 23 | 3942142 | 2418338 | 8276 729 | 219 | 427 1639.32/1639.84 c 1639s | 23 | 3947766 | 2421638 | 8276 729 | 219 | 427 1641.32/1641.88 c 1641s | 23 | 3952829 | 2424838 | 8276 730 | 219 | 427 1643.42/1643.94 c 1643s | 23 | 3957153 | 2427538 | 8276 731 | 219 | 427 1645.42/1645.95 c 1645s | 23 | 3961399 | 2430238 | 8276 731 | 219 | 427 1647.42/1647.95 c 1647s | 23 | 3965781 | 2432938 | 8276 732 | 219 | 427 1649.52/1650.03 c 1649s | 23 | 3970591 | 2435938 | 8276 733 | 219 | 427 1651.52/1652.06 c 1651s | 23 | 3975133 | 2438838 | 8276 733 | 219 | 427 1653.52/1654.06 c 1653s | 23 | 3979259 | 2441538 | 8276 734 | 219 | 427 1655.62/1656.11 c 1655s | 23 | 3983524 | 2444238 | 8276 735 | 219 | 427 1657.62/1658.17 c 1657s | 23 | 3988264 | 2447138 | 8276 735 | 219 | 427 1659.72/1660.25 c 1659s | 23 | 3992819 | 2449938 | 8276 736 | 219 | 427 1661.82/1662.36 c 1661s | 23 | 3997249 | 2452738 | 8276 737 | 219 | 427 1663.81/1664.36 c 1663s | 23 | 4002089 | 2455738 | 8276 737 | 219 | 427 1665.91/1666.40 c 1666s | 23 | 4006041 | 2458338 | 8276 738 | 219 | 427 1667.91/1668.43 c 1668s | 23 | 4011260 | 2461338 | 8276 738 | 219 | 427 1669.91/1670.45 c 1670s | 23 | 4015629 | 2464238 | 8276 739 | 219 | 427 1671.91/1672.46 c 1672s | 23 | 4020416 | 2467238 | 8276 740 | 219 | 427 1673.92/1674.50 c 1674s | 23 | 4025645 | 2470438 | 8276 741 | 219 | 427 1676.01/1676.55 c 1676s | 23 | 4031019 | 2473838 | 8276 741 | 219 | 427 1678.01/1678.56 c 1678s | 23 | 4036600 | 2477038 | 8276 742 | 219 | 427 1680.01/1680.59 c 1680s | 23 | 4041903 | 2480138 | 8276 743 | 219 | 427 1682.01/1682.59 c 1682s | 23 | 4047101 | 2483138 | 8276 744 | 219 | 427 1684.11/1684.63 c 1684s | 23 | 4052498 | 2486438 | 8276 744 | 219 | 427 1686.12/1686.68 c 1686s | 23 | 4057658 | 2489538 | 8276 745 | 219 | 427 1688.11/1688.68 c 1688s | 23 | 4062479 | 2492438 | 8276 746 | 219 | 427 1690.21/1690.73 c 1690s | 23 | 4068037 | 2495838 | 8276 746 | 219 | 427 1692.21/1692.74 c 1692s | 23 | 4073204 | 2498938 | 8276 747 | 219 | 427 1694.21/1694.74 c 1694s | 23 | 4078472 | 2502038 | 8276 748 | 219 | 427 1696.21/1696.74 c 1696s | 23 | 4083544 | 2504938 | 8276 749 | 219 | 427 1698.31/1698.80 c 1698s | 23 | 4088994 | 2508238 | 8276 749 | 219 | 427 1700.31/1700.83 c 1700s | 23 | 4094210 | 2511338 | 8276 750 | 219 | 427 1702.41/1702.90 c 1702s | 23 | 4099107 | 2514238 | 8276 751 | 219 | 427 1704.41/1704.94 c 1704s | 23 | 4104539 | 2517538 | 8276 751 | 219 | 427 1706.41/1706.96 c 1706s | 23 | 4109724 | 2520638 | 8276 752 | 219 | 427 1708.51/1709.00 c 1708s | 23 | 4114426 | 2523638 | 8276 753 | 219 | 427 1710.51/1711.04 c 1710s | 23 | 4119023 | 2526438 | 8276 753 | 219 | 427 1712.51/1713.05 c 1712s | 23 | 4124086 | 2529538 | 8276 754 | 219 | 427 1714.50/1715.09 c 1714s | 23 | 4129261 | 2532638 | 8276 755 | 219 | 427 1716.60/1717.15 c 1716s | 23 | 4134349 | 2535638 | 8276 756 | 219 | 427 1718.70/1719.20 c 1718s | 23 | 4139800 | 2538938 | 8276 756 | 219 | 427 1720.70/1721.23 c 1720s | 23 | 4144744 | 2542138 | 8276 757 | 219 | 427 1722.70/1723.29 c 1722s | 23 | 4150095 | 2545438 | 8276 758 | 219 | 427 1724.80/1725.37 c 1724s | 23 | 4154878 | 2548338 | 8276 759 | 219 | 427 1726.81/1727.39 c 1726s | 23 | 4159761 | 2551438 | 8276 759 | 219 | 427 1728.91/1729.43 c 1729s | 23 | 4164315 | 2554538 | 8276 760 | 219 | 427 1730.90/1731.47 c 1731s | 23 | 4168679 | 2557338 | 8276 761 | 219 | 427 1733.00/1733.51 c 1733s | 23 | 4174076 | 2560538 | 8276 761 | 219 | 427 1735.00/1735.53 c 1735s | 23 | 4179510 | 2563638 | 8276 762 | 219 | 427 1737.00/1737.56 c 1737s | 23 | 4184292 | 2566538 | 8276 763 | 219 | 427 1739.10/1739.62 c 1739s | 23 | 4189226 | 2569538 | 8276 763 | 219 | 427 1741.11/1741.65 c 1741s | 23 | 4193921 | 2572438 | 8276 764 | 219 | 427 1743.10/1743.70 c 1743s | 23 | 4199132 | 2575738 | 8276 765 | 219 | 427 1745.20/1745.72 c 1745s | 23 | 4204129 | 2578738 | 8276 766 | 219 | 427 1747.20/1747.78 c 1747s | 23 | 4208834 | 2581638 | 8276 766 | 219 | 427 1749.20/1749.79 c 1749s | 23 | 4213465 | 2584538 | 8276 767 | 219 | 427 1751.40/1751.97 c 1751s | 23 | 4218741 | 2587638 | 8276 768 | 219 | 427 1753.41/1754.00 c 1753s | 23 | 4223924 | 2590838 | 8276 768 | 219 | 427 1755.51/1756.05 c 1755s | 23 | 4229080 | 2594038 | 8276 769 | 219 | 427 1757.51/1758.07 c 1757s | 23 | 4233867 | 2596938 | 8276 770 | 219 | 427 1759.61/1760.13 c 1759s | 23 | 4239065 | 2600038 | 8276 770 | 219 | 427 1761.61/1762.14 c 1761s | 23 | 4243509 | 2602838 | 8276 771 | 219 | 427 1763.61/1764.17 c 1763s | 23 | 4248364 | 2605538 | 8276 772 | 219 | 427 1765.61/1766.18 c 1765s | 23 | 4253088 | 2608338 | 8276 772 | 219 | 427 1767.71/1768.22 c 1767s | 23 | 4257839 | 2611338 | 8276 773 | 219 | 427 1769.71/1770.26 c 1769s | 23 | 4262660 | 2614338 | 8276 774 | 219 | 427 1771.70/1772.26 c 1771s | 23 | 4267657 | 2617338 | 8276 774 | 219 | 427 1773.80/1774.31 c 1773s | 23 | 4272709 | 2620338 | 8276 775 | 219 | 427 1775.80/1776.31 c 1775s | 23 | 4277495 | 2623138 | 8276 776 | 219 | 427 1777.80/1778.35 c 1777s | 23 | 4282423 | 2626238 | 8276 776 | 219 | 427 1779.80/1780.39 c 1780s | 23 | 4287227 | 2629238 | 8276 777 | 219 | 427 1781.90/1782.43 c 1782s | 23 | 4291378 | 2631938 | 8276 778 | 219 | 427 1783.91/1784.45 c 1784s | 23 | 4295827 | 2634738 | 8276 778 | 219 | 427 1785.90/1786.45 c 1786s | 23 | 4300529 | 2637538 | 8276 779 | 219 | 427 1788.00/1788.54 c 1788s | 23 | 4305056 | 2640338 | 8276 780 | 219 | 427 1790.00/1790.59 c 1790s | 23 | 4309859 | 2643238 | 8276 780 | 219 | 427 1792.10/1792.61 c 1792s | 23 | 4314169 | 2645938 | 8276 781 | 219 | 427 1794.10/1794.62 c 1794s | 23 | 4318465 | 2648638 | 8276 782 | 219 | 427 1796.11/1796.67 c 1796s | 23 | 4322864 | 2651338 | 8276 782 | 219 | 427 1798.10/1798.69 c 1798s | 23 | 4327510 | 2654138 | 8276 783 | 219 | 427
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-4119436-1467259276/watcher-4119436-1467259276 -o /tmp/evaluation-result-4119436-1467259276/solver-4119436-1467259276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467250270-8262 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119436-1467259276.opb pid=9073 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.25 2.25 3/180 9076 /proc/meminfo: memFree=28638084/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=305596 CPUtime=0 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 1070 0 0 0 0 0 0 0 20 0 4 0 6884407 312930304 920 33554432000 4194304 16246674 140735087743808 140735087743232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 77167 929 441 2943 0 74061 0 [pid=9076/tid=9077] ppid=9073 vsize=320956 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 328658944 979 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=325052 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 332853248 994 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=329148 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6884408 337047552 1010 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.11 2.25 2.25 3/180 9076 /proc/meminfo: memFree=28638084/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 19061 0 0 0 6 3 0 0 20 0 4 0 6884407 1250496512 18877 33554432000 4194304 16246674 140735087743808 140735087743120 5991173 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 305297 18887 843 2943 0 302191 0 [pid=9076/tid=9077] ppid=9073 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1250496512 18895 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1250496512 18903 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1250496512 18910 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.416723 s] /proc/loadavg: 2.11 2.25 2.25 3/180 9076 /proc/meminfo: memFree=28638084/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=0.4 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 43916 0 0 0 34 6 0 0 20 0 4 0 6884407 1339625472 43731 33554432000 4194304 16246674 140735087743808 140735087743120 6021376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 43731 848 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 1308228 [startup+0.500503 s] /proc/loadavg: 2.11 2.25 2.25 3/180 9076 /proc/meminfo: memFree=28638084/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=0.49 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 43916 0 0 0 43 6 0 0 20 0 4 0 6884407 1339625472 43731 33554432000 4194304 16246674 140735087743808 140735087743120 5661959 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 43731 848 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 43731 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1308228 [startup+0.700432 s] /proc/loadavg: 2.11 2.25 2.25 3/180 9076 /proc/meminfo: memFree=28638084/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=0.69 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 54207 0 0 0 62 7 0 0 20 0 4 0 6884407 1339625472 54022 33554432000 4194304 16246674 140735087743808 140735087725696 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 54027 848 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 54029 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 54032 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 54037 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.5005 s] /proc/loadavg: 2.11 2.25 2.25 3/184 9080 /proc/meminfo: memFree=28150732/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 146628 0 0 0 131 18 0 0 20 0 4 0 6884407 1339625472 146443 33554432000 4194304 16246674 140735087743808 140735087725696 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 146448 848 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 146450 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 146451 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 146452 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10043 s] /proc/loadavg: 2.11 2.25 2.25 3/184 9080 /proc/meminfo: memFree=27624104/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=3.08 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 268156 0 0 0 271 37 0 0 20 0 4 0 6884407 1339625472 267971 33554432000 4194304 16246674 140735087743808 140735087725696 13820864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 267971 855 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30043 s] /proc/loadavg: 2.10 2.25 2.25 3/184 9080 /proc/meminfo: memFree=27567332/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=6.28 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 268156 0 0 0 591 37 0 0 20 0 4 0 6884407 1339625472 267971 33554432000 4194304 16246674 140735087743808 140735087725696 12415788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 267971 855 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.09 2.24 2.25 3/184 9080 /proc/meminfo: memFree=27567600/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 268156 0 0 0 1231 37 0 0 20 0 4 0 6884407 1339625472 267971 33554432000 4194304 16246674 140735087743808 140735087725696 6023039 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 267971 855 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.07 2.23 2.25 4/184 9080 /proc/meminfo: memFree=27568144/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 268156 0 0 0 2512 37 0 0 20 0 4 0 6884407 1339625472 267971 33554432000 4194304 16246674 140735087743808 140735087725696 13760224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327057 267971 855 2943 0 323951 0 [pid=9076/tid=9077] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1339625472 267971 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.17 2.24 2.25 3/183 9080 /proc/meminfo: memFree=27565016/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1311300 CPUtime=51.07 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 268926 0 0 0 5070 37 0 0 20 0 4 0 6884407 1342771200 268741 33554432000 4194304 16246674 140735087743808 140735087725696 6861724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 327825 268741 857 2943 0 324719 0 [pid=9076/tid=9077] ppid=9073 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1342771200 268741 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1342771200 268741 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1342771200 268741 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.17 2.23 2.25 4/183 9081 /proc/meminfo: memFree=27560680/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1315396 CPUtime=102.27 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 269950 0 0 0 10189 38 0 0 20 0 4 0 6884407 1346965504 269765 33554432000 4194304 16246674 140735087743808 140735087726808 12483332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 328849 269765 857 2943 0 325743 0 [pid=9076/tid=9077] ppid=9073 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1346965504 269765 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1346965504 269765 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1346965504 269765 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1356402688 272329 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.17 2.18 2.18 3/183 9161 /proc/meminfo: memFree=27559596/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1361.86 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 136141 45 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.21 2.19 2.18 3/183 9163 /proc/meminfo: memFree=27556748/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1421.85 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 142140 45 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 13928104 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.28 2.22 2.19 4/183 9164 /proc/meminfo: memFree=27556752/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1481.85 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 148139 46 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1327684 [startup+1542.3 s] /proc/loadavg: 2.30 2.23 2.19 3/183 9165 /proc/meminfo: memFree=27555964/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1541.84 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 154138 46 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.23 2.22 2.18 3/183 9166 /proc/meminfo: memFree=27556296/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1601.83 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 160137 46 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.22 2.22 2.18 4/183 9167 /proc/meminfo: memFree=27556304/32872528 swapFree=1497832/1645000 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1661.82 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 166136 46 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 6026032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.18 2.21 2.18 3/183 9169 /proc/meminfo: memFree=27555808/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1721.8 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 172134 46 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1327684 [startup+1782.31 s] /proc/loadavg: 2.20 2.21 2.18 4/184 9173 /proc/meminfo: memFree=27555720/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1781.81 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 178134 47 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 13774524 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.16 2.20 2.18 4/183 9173 /proc/meminfo: memFree=27554620/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1800 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 179953 47 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 6022344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1327684 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 9076 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.16 2.20 2.18 4/183 9173 /proc/meminfo: memFree=27554620/32872528 swapFree=1497828/1644996 [pid=9076] ppid=9073 vsize=1327684 CPUtime=1800 cores=0,2,4,6 /proc/9076/stat : 9076 (toysat) R 9073 9076 7734 0 -1 4202496 273410 0 0 0 179953 47 0 0 20 0 4 0 6884407 1359548416 273098 33554432000 4194304 16246674 140735087743808 140735087725696 6022344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9076/statm: 331921 273098 859 2943 0 328815 0 [pid=9076/tid=9077] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9077/stat : 9077 (toysat) S 9073 9076 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054765743344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9076/tid=9078] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9078/stat : 9078 (toysat) S 9073 9076 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054755253488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9076/tid=9079] ppid=9073 vsize=1327684 CPUtime=0 cores=0,2,4,6 /proc/9076/task/9079/stat : 9079 (toysat) S 9073 9076 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6884408 1359548416 273098 33554432000 4194304 16246674 140735087743808 140054744779952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.54 CPU system time (s): 0.470928 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.470928 maximum resident set size= 1092392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273410 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= 399 involuntary context switches= 1921 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.8925 second user time and 8.94764 second system time The end
Begin job on node124 at 2016-06-30 06:01:16 IDJOB=4119436 IDBENCH=111730 IDSOLVER=2542 FILE ID=node124/4119436-1467259276 RUNJOBID= node124-1467250270-8262 PBS_JOBID= 20004467 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-30.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119436-1467259276/watcher-4119436-1467259276 -o /tmp/evaluation-result-4119436-1467259276/solver-4119436-1467259276 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467250270-8262 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119436-1467259276.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fea51cc67015116d9598bd78f7d7fded RANDOM SEED=440354434 node124.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.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.12 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.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.062 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.062 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28638612 kB Buffers: 121460 kB Cached: 619940 kB SwapCached: 0 kB Active: 1238048 kB Inactive: 603784 kB Active(anon): 1090780 kB Inactive(anon): 11980 kB Active(file): 147268 kB Inactive(file): 591804 kB Unevictable: 1644996 kB Mlocked: 1497828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16392 kB Writeback: 0 kB AnonPages: 2747292 kB Mapped: 17280 kB Shmem: 204 kB Slab: 608328 kB SReclaimable: 52328 kB SUnreclaim: 556000 kB KernelStack: 1496 kB PageTables: 9352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2882260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1003520 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= 71692 MiB End job on node124 at 2016-06-30 06:31:17