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.1 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_4.opb |
| MD5SUM | b738c7950af6b3d63e331a14bc641dc9 |
| 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 | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2524 |
| Sum of products size (including duplicates) | 5048 |
| Number of different products | 2524 |
| Sum of products size | 5048 |
0.00/0.00 c 2016-06-30T00:32:11+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-4106628-1467239531.opb"] 0.00/0.01 c use --random-gen="1083532453 648776442 1010688679 1095016338 3934778855 3417809219 2919972695 3990667857 3936497476 3718804566 4007687592 151535312 3173248255 6884105 372005216 1336648282 3304512229 2361257441 1288824354 1889241994 3309013798 2820781521 1977974428 2645239756 676696930 4293412920 761650126 2150679961 817865035 3296315023 3998141185 2551600705 4169920298 351469024 2022796370 2963986396 1177574249 3070264811 3082747512 1479141785 1966581011 2342089926 2432595225 718749513 1236534704 2810266007 2939704335 3063176514 3530057761 3517939372 1142220282 1784889725 3494063179 1835176329 267739202 741669706 540249872 2229199181 4168945525 2308839533 4065146372 4222407909 2082552580 3286376514 2057562359 988324171 833593453 4046744701 2827156797 1541498108 3808799139 4021340253 3362179984 2541663989 2077948831 3052627810 1135967033 14010994 3205273543 3520927348 94883971 182724983 438576480 2283895139 863028817 4051572535 3291431313 3226257342 3633332351 1054243662 337079791 3513374949 3288839337 284970270 3472687936 1078473380 664498311 1218845315 1585995168 142387930 1200069097 3073641746 3380267111 3565849828 316304614 1745340104 113977563 3126876723 968748581 2268120742 3180690362 2894316206 1357999303 47784500 495864958 428261400 1530618472 2672491488 2562921095 3802085091 3019958197 2743163593 2858072084 1125221876 3693299473 3194654745 2155079447 3696820107 2754295742 2677491312 3935384243 3444439369 3210853015 2094514249 1827899148 3855691434 2715672549 886165022 3402934905 4212380093 2404445915 1695879736 48504331 3787182277 327695678 644609383 4010309410 3620075283 862553324 1911952141 3359494412 3998353058 3994058592 2682800436 929321800 1036013910 80366943 2439320652 2718204941 4051974610 1387019140 4286234544 3956652298 1731292308 3165252198 4145811997 392928736 1848460993 3061440965 2782708966 1820753900 1875086479 2301957425 3756433561 3841167700 932367119 2716338241 1628314730 1170184167 4146938528 1566604440 3251928244 1898053677 2115268549 4168263146 280034294 2984093515 1853533877 1599850434 2979256270 1178684991 500260207 4022036921 1251799742 1734861312 2458173716 78355701 2418768712 789677355 286683571 83639409 879043483 2296419550 3584335561 134537760 3805077178 290377697 2112465359 1073731060 487424842 697661308 382076714 2098988587 3323424218 683622055 727179239 3246011508 4097767250 688144684 2601540449 1311571054 135485012 1144236595 448486250 3119200432 1845117718 2838844158 2399109222 1541274624 3747910384 957395330 1488089392 4261012535 3825432364 4109177930 1046208323 2234098668 3165912658 728909355 2765172371 2911858257 4027068377 2936571645 2204378261 3790339887 3324048982 3292123741 317494688 3641051942 938224484 1363187070 93621347 3197663827 3102028598 607308830 902600826 255 362436" option to reproduce the execution 0.00/0.02 c #vars 200 0.00/0.02 c #constraints 200 0.00/0.06 c BCD2: Hardening is enabled. 0.00/0.06 c BCD2: BiasedSearch is enabled. 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.07 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 409 | 0 | 2657 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.008s 0.00/0.07 c #wall_clock_time = 0.008s 0.00/0.07 c #decision = 409 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 o 162 0.00/0.07 c BCD2: updating upper bound: 200 -> 161 0.00/0.08 c BCD2: 0 <= obj <= 161 0.00/0.08 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 123 | 0 | 2657 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.005s 0.00/0.08 c #wall_clock_time = 0.005s 0.00/0.08 c #decision = 123 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 14: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 161 0.00/0.08 c BCD2: #cores=1, #unrelaxed=186, #relaxed=14, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 139 | 0 | 2657 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.005s 0.00/0.09 c #wall_clock_time = 0.005s 0.00/0.09 c #decision = 139 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.09 c lower bound updated to 2 0.00/0.09 c BCD2: 2 <= obj <= 161 0.00/0.09 c BCD2: #cores=2, #unrelaxed=174, #relaxed=26, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 139 | 0 | 2657 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.005s 0.00/0.09 c #wall_clock_time = 0.005s 0.00/0.09 c #decision = 139 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 12: cost of the new core is >=1 0.00/0.09 c lower bound updated to 3 0.00/0.09 c BCD2: 3 <= obj <= 161 0.00/0.09 c BCD2: #cores=3, #unrelaxed=162, #relaxed=38, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 148 | 0 | 2657 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 148 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.11 c lower bound updated to 4 0.09/0.11 c BCD2: 4 <= obj <= 161 0.09/0.11 c BCD2: #cores=4, #unrelaxed=151, #relaxed=49, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 147 | 0 | 2657 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 147 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.11 c lower bound updated to 5 0.09/0.11 c BCD2: 5 <= obj <= 161 0.09/0.11 c BCD2: #cores=5, #unrelaxed=140, #relaxed=60, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 139 | 0 | 2657 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 139 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 11: cost of the new core is >=1 0.09/0.12 c lower bound updated to 6 0.09/0.12 c BCD2: 6 <= obj <= 161 0.09/0.12 c BCD2: #cores=6, #unrelaxed=129, #relaxed=71, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 0 0.09/0.13 c 0.0s | 0 | 507 | 4 | 2657 0 | 0 | 0 0.09/0.13 c #cpu_time = 0.006s 0.09/0.13 c #wall_clock_time = 0.006s 0.09/0.13 c #decision = 507 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 4 0.09/0.13 c #restart = 0 0.09/0.13 o 40 0.09/0.13 c BCD2: updating upper bound: 161 -> 39 0.09/0.13 c BCD2: 6 <= obj <= 39 0.09/0.13 c BCD2: #cores=6, #unrelaxed=129, #relaxed=71, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=7 bias=7/9 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 2657 0 | 0 | 1 0.09/0.17 c 0.0s | 1 | 287 | 100 | 2923 0 | 0 | 1 0.19/0.25 c 0.1s | 2 | 670 | 250 | 3216 0 | 0 | 1 0.29/0.34 c 0.2s | 2 | 1152 | 345 | 3216 0 | 0 | 1 0.29/0.34 c #cpu_time = 0.206s 0.29/0.34 c #wall_clock_time = 0.206s 0.29/0.34 c #decision = 1152 0.29/0.34 c #random_decision = 2 0.29/0.34 c #conflict = 345 0.29/0.34 c #restart = 2 0.29/0.34 o 29 0.29/0.34 c BCD2: updating upper bound: 39 -> 28 0.29/0.34 c BCD2: 6 <= obj <= 28 0.29/0.34 c BCD2: #cores=6, #unrelaxed=129, #relaxed=71, #hardened=0 0.29/0.34 c BCD2: #sat=3 #unsat=7 bias=7/10 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 3216 0 | 0 | 2 0.29/0.35 c 0.0s | 0 | 149 | 8 | 3216 0 | 0 | 2 0.29/0.35 c #cpu_time = 0.013s 0.29/0.35 c #wall_clock_time = 0.013s 0.29/0.35 c #decision = 149 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 8 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: relaxing 95 and merging with 4 cores into a new core of size 144: cost of the new core is >=5 0.29/0.35 c lower bound updated to 7 0.29/0.35 c BCD2: 7 <= obj <= 28 0.29/0.35 c BCD2: #cores=3, #unrelaxed=34, #relaxed=166, #hardened=0 0.29/0.35 c BCD2: #sat=3 #unsat=8 bias=8/11 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 3216 0 | 16 | 2 0.39/0.47 c 0.1s | 1 | 447 | 100 | 3216 0 | 16 | 30 0.59/0.67 c 0.3s | 2 | 1034 | 250 | 3538 0 | 16 | 30 0.89/0.94 c 0.6s | 3 | 1900 | 475 | 3892 0 | 16 | 30 1.29/1.37 c 1.0s | 4 | 3062 | 813 | 3892 0 | 16 | 30 1.79/1.87 c 1.5s | 5 | 4757 | 1320 | 4282 0 | 16 | 30 2.59/2.63 c 2.3s | 6 | 6857 | 2081 | 4711 0 | 16 | 30 3.69/3.75 c 3.4s | 7 | 10951 | 3223 | 5183 0 | 16 | 30 5.39/5.49 c 5.1s | 8 | 16254 | 4936 | 5702 0 | 16 | 30 7.49/7.52 c 7.2s | 8 | 22554 | 6836 | 5702 1 | 16 | 30 8.19/8.23 c 7.9s | 9 | 25054 | 7506 | 6273 1 | 16 | 30 10.29/10.33 c 10.0s | 9 | 31150 | 9406 | 6273 1 | 16 | 30 12.29/12.35 c 12.0s | 9 | 37729 | 11206 | 6901 2 | 16 | 30 12.49/12.52 c 12.2s | 10 | 38359 | 11361 | 6901 2 | 16 | 30 14.59/14.61 c 14.3s | 10 | 45197 | 13161 | 6901 2 | 16 | 30 16.59/16.65 c 16.3s | 10 | 52108 | 14961 | 6901 3 | 16 | 30 18.59/18.70 c 18.3s | 10 | 58758 | 16861 | 7592 3 | 16 | 30 18.99/19.03 c 18.7s | 11 | 59970 | 17144 | 7592 3 | 16 | 30 21.08/21.13 c 20.8s | 11 | 66729 | 18944 | 7592 4 | 16 | 30 23.19/23.20 c 22.9s | 11 | 74127 | 20944 | 7592 4 | 16 | 30 25.18/25.26 c 24.9s | 11 | 80525 | 22844 | 7592 4 | 16 | 30 27.28/27.35 c 27.0s | 11 | 87370 | 24744 | 7592 5 | 16 | 30 28.48/28.50 c 28.1s | 12 | 91381 | 25819 | 8352 5 | 16 | 30 30.58/30.60 c 30.2s | 12 | 99002 | 27419 | 8352 5 | 16 | 30 32.58/32.64 c 32.3s | 12 | 106311 | 29219 | 8352 6 | 16 | 30 34.68/34.71 c 34.4s | 12 | 114408 | 31219 | 8352 6 | 16 | 30 36.68/36.76 c 36.4s | 12 | 120405 | 32919 | 8352 7 | 16 | 30 38.78/38.83 c 38.5s | 12 | 127795 | 34819 | 8352 7 | 16 | 30 40.79/40.85 c 40.5s | 12 | 135190 | 36619 | 8352 7 | 16 | 30 42.89/42.95 c 42.6s | 12 | 143288 | 38519 | 9188 8 | 16 | 30 43.18/43.27 c 42.9s | 13 | 144697 | 38832 | 9188 8 | 16 | 30 45.29/45.32 c 45.0s | 13 | 151301 | 40432 | 9188 8 | 16 | 30 47.29/47.32 c 47.0s | 13 | 157875 | 42132 | 9188 8 | 16 | 30 49.39/49.44 c 49.1s | 13 | 164564 | 43932 | 9188 9 | 16 | 30 51.39/51.45 c 51.1s | 13 | 171158 | 45732 | 9188 9 | 16 | 30 53.39/53.48 c 53.1s | 13 | 177524 | 47432 | 9188 9 | 16 | 30 55.39/55.49 c 55.1s | 13 | 183973 | 49232 | 9188 10 | 16 | 30 57.49/57.57 c 57.2s | 13 | 190413 | 51132 | 9188 10 | 16 | 30 59.49/59.58 c 59.2s | 13 | 196627 | 52932 | 9188 11 | 16 | 30 61.59/61.66 c 61.3s | 13 | 202208 | 54632 | 9188 11 | 16 | 30 63.58/63.66 c 63.3s | 13 | 208224 | 56332 | 9188 11 | 16 | 30 65.68/65.76 c 65.4s | 13 | 214721 | 58232 | 10107 12 | 16 | 30 65.88/65.90 c 65.5s | 14 | 214960 | 58352 | 10107 12 | 16 | 30 67.88/67.91 c 67.6s | 14 | 221881 | 59952 | 10107 12 | 16 | 30 69.88/69.99 c 69.6s | 14 | 228668 | 61652 | 10107 12 | 16 | 30 71.98/72.00 c 71.6s | 14 | 234337 | 63352 | 10107 12 | 16 | 30 73.98/74.09 c 73.7s | 14 | 241176 | 65152 | 10107 13 | 16 | 30 76.08/76.10 c 75.7s | 14 | 247953 | 66952 | 10107 13 | 16 | 30 78.09/78.11 c 77.8s | 14 | 254687 | 68652 | 10107 13 | 16 | 30 80.08/80.14 c 79.8s | 14 | 260578 | 70452 | 10107 14 | 16 | 30 82.18/82.24 c 81.9s | 14 | 266868 | 72352 | 10107 14 | 16 | 30 84.18/84.29 c 83.9s | 14 | 273368 | 74152 | 10107 14 | 16 | 30 86.28/86.36 c 86.0s | 14 | 279442 | 75952 | 10107 15 | 16 | 30 88.38/88.43 c 88.1s | 14 | 285652 | 77852 | 10107 15 | 16 | 30 90.38/90.47 c 90.1s | 14 | 292611 | 79652 | 10107 15 | 16 | 30 92.49/92.55 c 92.2s | 14 | 299160 | 81552 | 10107 16 | 16 | 30 94.58/94.61 c 94.3s | 14 | 306194 | 83452 | 10107 16 | 16 | 30 96.79/96.83 c 96.5s | 14 | 311598 | 84952 | 10107 16 | 16 | 30 98.78/98.87 c 98.5s | 14 | 318450 | 86652 | 10107 17 | 16 | 30 100.08/100.14 c 99.8s | 15 | 322930 | 87632 | 11118 17 | 16 | 30 102.18/102.25 c 101s | 15 | 328637 | 89332 | 11118 17 | 16 | 30 104.18/104.29 c 103s | 15 | 334701 | 91032 | 11118 17 | 16 | 30 106.27/106.34 c 105s | 15 | 339919 | 92632 | 11118 18 | 16 | 30 108.27/108.36 c 108s | 15 | 346017 | 94432 | 11118 18 | 16 | 30 110.37/110.42 c 110s | 15 | 352110 | 96332 | 11118 18 | 16 | 30 112.37/112.45 c 112s | 15 | 357404 | 98032 | 11118 19 | 16 | 30 114.38/114.45 c 114s | 15 | 363257 | 99932 | 11118 19 | 16 | 30 116.47/116.51 c 116s | 15 | 368691 | 101632 | 11118 19 | 16 | 30 118.57/118.63 c 118s | 15 | 374432 | 103432 | 11118 19 | 16 | 30 120.57/120.69 c 120s | 15 | 380439 | 105232 | 11118 20 | 16 | 30 122.67/122.72 c 122s | 15 | 385706 | 107032 | 11118 20 | 16 | 30 124.67/124.73 c 124s | 15 | 389252 | 108232 | 11118 20 | 16 | 30 126.67/126.78 c 126s | 15 | 394508 | 109932 | 11118 21 | 16 | 30 128.77/128.83 c 128s | 15 | 399911 | 111632 | 11118 21 | 16 | 30 130.87/130.90 c 130s | 15 | 405404 | 113432 | 11118 21 | 16 | 30 132.87/132.96 c 132s | 15 | 411375 | 115132 | 11118 21 | 16 | 30 134.96/135.02 c 134s | 15 | 417765 | 116932 | 11118 22 | 16 | 30 136.96/137.09 c 136s | 15 | 423587 | 118832 | 11118 22 | 16 | 30 139.06/139.11 c 138s | 15 | 429493 | 120532 | 11118 22 | 16 | 30 141.16/141.21 c 140s | 15 | 435494 | 122332 | 11118 23 | 16 | 30 143.16/143.25 c 142s | 15 | 440864 | 124132 | 11118 23 | 16 | 30 145.27/145.32 c 144s | 15 | 446601 | 125932 | 11118 23 | 16 | 30 147.37/147.42 c 147s | 15 | 452029 | 127732 | 11118 24 | 16 | 30 149.36/149.45 c 149s | 15 | 459067 | 129632 | 11118 24 | 16 | 30 151.36/151.47 c 151s | 15 | 464850 | 131532 | 12230 24 | 16 | 30 151.36/151.49 c 151s | 16 | 464890 | 131552 | 12230 24 | 16 | 30 153.46/153.53 c 153s | 16 | 469710 | 133252 | 12230 24 | 16 | 30 155.56/155.64 c 155s | 16 | 475545 | 135052 | 12230 25 | 16 | 30 157.66/157.71 c 157s | 16 | 481218 | 136952 | 12230 25 | 16 | 30 159.66/159.73 c 159s | 16 | 487289 | 138752 | 12230 25 | 16 | 30 161.67/161.75 c 161s | 16 | 492835 | 140552 | 12230 25 | 16 | 30 163.76/163.84 c 163s | 16 | 496887 | 141652 | 12230 26 | 16 | 30 165.85/165.90 c 165s | 16 | 502516 | 143352 | 12230 26 | 16 | 30 167.85/167.96 c 167s | 16 | 509508 | 145052 | 12230 26 | 16 | 30 169.85/169.99 c 169s | 16 | 514953 | 146652 | 12230 26 | 16 | 30 172.05/172.10 c 171s | 16 | 520876 | 148352 | 12230 27 | 16 | 30 174.05/174.16 c 173s | 16 | 526549 | 150152 | 12230 27 | 16 | 30 176.15/176.24 c 175s | 16 | 532649 | 151952 | 12230 27 | 16 | 30 178.16/178.28 c 177s | 16 | 538392 | 153752 | 12230 27 | 16 | 30 180.25/180.33 c 179s | 16 | 544415 | 155552 | 12230 28 | 16 | 30 182.25/182.35 c 181s | 16 | 550194 | 157352 | 12230 28 | 16 | 30 184.35/184.42 c 184s | 16 | 556384 | 159152 | 12230 28 | 16 | 30 186.35/186.44 c 186s | 16 | 561890 | 160852 | 12230 29 | 16 | 30 188.45/188.50 c 188s | 16 | 568606 | 162752 | 12230 29 | 16 | 30 190.55/190.61 c 190s | 16 | 574844 | 164652 | 12230 29 | 16 | 30 192.65/192.72 c 192s | 16 | 582052 | 166552 | 12230 29 | 16 | 30 194.65/194.79 c 194s | 16 | 586559 | 167752 | 12230 30 | 16 | 30 196.75/196.87 c 196s | 16 | 593206 | 169652 | 12230 30 | 16 | 30 198.84/198.93 c 198s | 16 | 599019 | 171252 | 12230 30 | 16 | 30 200.94/201.01 c 200s | 16 | 605098 | 173052 | 12230 30 | 16 | 30 203.04/203.10 c 202s | 16 | 611188 | 174752 | 12230 31 | 16 | 30 205.04/205.17 c 204s | 16 | 617625 | 176652 | 12230 31 | 16 | 30 207.14/207.22 c 206s | 16 | 623941 | 178352 | 12230 31 | 16 | 30 209.14/209.23 c 208s | 16 | 629548 | 180052 | 12230 31 | 16 | 30 211.15/211.26 c 210s | 16 | 635594 | 181852 | 12230 32 | 16 | 30 213.24/213.36 c 213s | 16 | 641422 | 183752 | 12230 32 | 16 | 30 215.24/215.37 c 215s | 16 | 647380 | 185452 | 12230 32 | 16 | 30 217.34/217.45 c 217s | 16 | 653723 | 187252 | 12230 33 | 16 | 30 219.44/219.50 c 219s | 16 | 660640 | 189152 | 12230 33 | 16 | 30 221.44/221.58 c 221s | 16 | 666599 | 191052 | 12230 33 | 16 | 30 223.54/223.60 c 223s | 16 | 672678 | 192852 | 12230 33 | 16 | 30 225.54/225.61 c 225s | 16 | 678748 | 194652 | 12230 34 | 16 | 30 227.53/227.64 c 227s | 16 | 685004 | 196552 | 13454 34 | 16 | 30 228.43/228.59 c 228s | 17 | 687581 | 197432 | 13454 34 | 16 | 30 230.53/230.66 c 230s | 17 | 693399 | 199232 | 13454 34 | 16 | 30 232.63/232.70 c 232s | 17 | 699249 | 201032 | 13454 34 | 16 | 30 234.63/234.79 c 234s | 17 | 704199 | 203032 | 13454 35 | 16 | 30 236.64/236.79 c 236s | 17 | 707943 | 204032 | 13454 35 | 16 | 30 238.75/238.87 c 238s | 17 | 714206 | 205632 | 13454 35 | 16 | 30 240.85/240.90 c 240s | 17 | 720354 | 207432 | 13454 35 | 16 | 30 242.84/242.92 c 242s | 17 | 727016 | 209232 | 13454 36 | 16 | 30 244.94/245.00 c 244s | 17 | 733824 | 211132 | 13454 36 | 16 | 30 246.94/247.08 c 246s | 17 | 740262 | 213032 | 13454 36 | 16 | 30 249.04/249.13 c 248s | 17 | 746544 | 214732 | 13454 36 | 16 | 30 251.04/251.15 c 250s | 17 | 753148 | 216532 | 13454 37 | 16 | 30 253.04/253.19 c 252s | 17 | 759484 | 218332 | 13454 37 | 16 | 30 255.14/255.25 c 254s | 17 | 766037 | 220132 | 13454 37 | 16 | 30 257.23/257.36 c 257s | 17 | 773020 | 222032 | 13454 37 | 16 | 30 259.33/259.41 c 259s | 17 | 777826 | 223332 | 13454 38 | 16 | 30 261.33/261.43 c 261s | 17 | 783291 | 224932 | 13454 38 | 16 | 30 263.33/263.48 c 263s | 17 | 788647 | 226532 | 13454 38 | 16 | 30 265.33/265.49 c 265s | 17 | 793523 | 228132 | 13454 38 | 16 | 30 267.43/267.56 c 267s | 17 | 799061 | 229732 | 13454 38 | 16 | 30 269.43/269.57 c 269s | 17 | 804956 | 231432 | 13454 39 | 16 | 30 271.52/271.61 c 271s | 17 | 811191 | 233132 | 13454 39 | 16 | 30 273.62/273.70 c 273s | 17 | 817036 | 234832 | 13454 39 | 16 | 30 275.62/275.73 c 275s | 17 | 823795 | 236432 | 13454 39 | 16 | 30 277.72/277.81 c 277s | 17 | 831551 | 238132 | 13454 40 | 16 | 30 279.72/279.84 c 279s | 17 | 837709 | 239932 | 13454 40 | 16 | 30 281.72/281.85 c 281s | 17 | 843482 | 241632 | 13454 40 | 16 | 30 283.83/283.94 c 283s | 17 | 849554 | 243332 | 13454 40 | 16 | 30 285.82/285.97 c 285s | 17 | 854942 | 245132 | 13454 41 | 16 | 30 287.92/288.03 c 287s | 17 | 861288 | 246932 | 13454 41 | 16 | 30 290.02/290.11 c 289s | 17 | 868041 | 248732 | 13454 41 | 16 | 30 292.02/292.14 c 291s | 17 | 873727 | 250532 | 13454 41 | 16 | 30 294.02/294.19 c 293s | 17 | 879275 | 252232 | 13454 42 | 16 | 30 296.11/296.29 c 295s | 17 | 886686 | 254132 | 13454 42 | 16 | 30 298.21/298.37 c 298s | 17 | 892872 | 256032 | 13454 42 | 16 | 30 300.32/300.46 c 300s | 17 | 899363 | 257932 | 13454 42 | 16 | 30 302.71/302.83 c 302s | 17 | 904549 | 259632 | 13454 43 | 16 | 30 304.81/304.91 c 304s | 17 | 908240 | 260932 | 13454 43 | 16 | 30 306.91/307.03 c 306s | 17 | 914569 | 262532 | 13454 43 | 16 | 30 309.01/309.11 c 308s | 17 | 919928 | 264232 | 13454 43 | 16 | 30 311.01/311.18 c 310s | 17 | 925525 | 265832 | 13454 43 | 16 | 30 313.11/313.20 c 312s | 17 | 931989 | 267732 | 13454 44 | 16 | 30 315.21/315.31 c 314s | 17 | 938471 | 269532 | 13454 44 | 16 | 30 317.20/317.31 c 316s | 17 | 945452 | 271332 | 13454 44 | 16 | 30 319.30/319.40 c 319s | 17 | 951192 | 273132 | 13454 45 | 16 | 30 321.30/321.48 c 321s | 17 | 955927 | 274532 | 13454 45 | 16 | 30 323.31/323.50 c 323s | 17 | 961276 | 276232 | 13454 45 | 16 | 30 325.40/325.52 c 325s | 17 | 966206 | 277832 | 13454 45 | 16 | 30 327.40/327.56 c 327s | 17 | 971615 | 279532 | 13454 45 | 16 | 30 329.50/329.65 c 329s | 17 | 977668 | 281132 | 13454 46 | 16 | 30 331.60/331.72 c 331s | 17 | 983406 | 282932 | 13454 46 | 16 | 30 333.70/333.81 c 333s | 17 | 989443 | 284732 | 13454 46 | 16 | 30 335.69/335.82 c 335s | 17 | 995898 | 286532 | 13454 46 | 16 | 30 337.79/337.91 c 337s | 17 | 1002057 | 288432 | 13454 47 | 16 | 30 339.80/339.91 c 339s | 17 | 1007967 | 290232 | 13454 47 | 16 | 30 341.79/341.93 c 341s | 17 | 1014493 | 292032 | 13454 47 | 16 | 30 343.79/343.97 c 343s | 17 | 1021470 | 293832 | 14800 47 | 16 | 30 345.89/346.09 c 345s | 17 | 1027252 | 295632 | 14800 47 | 16 | 30 346.69/346.83 c 346s | 18 | 1029305 | 296252 | 14800 48 | 16 | 30 348.79/348.90 c 348s | 18 | 1032424 | 297352 | 14800 48 | 16 | 30 350.79/350.96 c 350s | 18 | 1038788 | 299052 | 14800 48 | 16 | 30 352.89/353.08 c 352s | 18 | 1044209 | 300552 | 14800 48 | 16 | 30 354.99/355.14 c 354s | 18 | 1050783 | 302252 | 14800 48 | 16 | 30 356.99/357.18 c 356s | 18 | 1056217 | 303852 | 14800 49 | 16 | 30 359.09/359.29 c 358s | 18 | 1063042 | 305652 | 14800 49 | 16 | 30 361.19/361.37 c 361s | 18 | 1069832 | 307452 | 14800 49 | 16 | 30 363.19/363.38 c 363s | 18 | 1075739 | 309152 | 14800 49 | 16 | 30 365.19/365.39 c 365s | 18 | 1082205 | 310852 | 14800 49 | 16 | 30 367.29/367.48 c 367s | 18 | 1088370 | 312652 | 14800 50 | 16 | 30 369.38/369.54 c 369s | 18 | 1094909 | 314552 | 14800 50 | 16 | 30 371.48/371.62 c 371s | 18 | 1101538 | 316452 | 14800 50 | 16 | 30 373.58/373.71 c 373s | 18 | 1108537 | 318352 | 14800 50 | 16 | 30 375.69/375.87 c 375s | 18 | 1112938 | 319752 | 14800 51 | 16 | 30 377.79/377.96 c 377s | 18 | 1118906 | 321452 | 14800 51 | 16 | 30 379.89/380.02 c 379s | 18 | 1124635 | 323052 | 14800 51 | 16 | 30 381.99/382.16 c 381s | 18 | 1130590 | 324752 | 14800 51 | 16 | 30 384.09/384.24 c 383s | 18 | 1135196 | 326352 | 14800 51 | 16 | 30 386.09/386.28 c 385s | 18 | 1140350 | 327852 | 14800 52 | 16 | 30 388.19/388.36 c 388s | 18 | 1146612 | 329652 | 14800 52 | 16 | 30 390.18/390.37 c 390s | 18 | 1152699 | 331352 | 14800 52 | 16 | 30 392.28/392.42 c 392s | 18 | 1158614 | 333152 | 14800 52 | 16 | 30 394.38/394.58 c 394s | 18 | 1164813 | 334952 | 14800 53 | 16 | 30 396.48/396.62 c 396s | 18 | 1170644 | 336752 | 14800 53 | 16 | 30 398.58/398.72 c 398s | 18 | 1176580 | 338652 | 14800 53 | 16 | 30 400.58/400.73 c 400s | 18 | 1182944 | 340452 | 14800 53 | 16 | 30 402.68/402.80 c 402s | 18 | 1188630 | 342352 | 14800 53 | 16 | 30 404.78/404.91 c 404s | 18 | 1194345 | 344252 | 14800 54 | 16 | 30 406.77/406.94 c 406s | 18 | 1199761 | 346252 | 14800 54 | 16 | 30 408.87/409.05 c 408s | 18 | 1204417 | 347552 | 14800 54 | 16 | 30 411.07/411.22 c 410s | 18 | 1210255 | 349152 | 14800 54 | 16 | 30 413.07/413.23 c 412s | 18 | 1215361 | 350552 | 14800 55 | 16 | 30 415.17/415.31 c 414s | 18 | 1221236 | 352352 | 14800 55 | 16 | 30 417.17/417.33 c 416s | 18 | 1227157 | 354052 | 14800 55 | 16 | 30 419.17/419.34 c 418s | 18 | 1233190 | 355752 | 14800 55 | 16 | 30 421.27/421.42 c 421s | 18 | 1239403 | 357452 | 14800 55 | 16 | 30 423.37/423.52 c 423s | 18 | 1245735 | 359252 | 14800 56 | 16 | 30 425.46/425.63 c 425s | 18 | 1252066 | 361152 | 14800 56 | 16 | 30 427.56/427.71 c 427s | 18 | 1258308 | 362952 | 14800 56 | 16 | 30 429.66/429.82 c 429s | 18 | 1264278 | 364552 | 14800 56 | 16 | 30 431.66/431.85 c 431s | 18 | 1270741 | 366452 | 14800 57 | 16 | 30 433.76/433.96 c 433s | 18 | 1276285 | 368252 | 14800 57 | 16 | 30 435.85/436.02 c 435s | 18 | 1282365 | 369952 | 14800 57 | 16 | 30 437.85/438.05 c 437s | 18 | 1288700 | 371652 | 14800 57 | 16 | 30 439.96/440.16 c 439s | 18 | 1295081 | 373552 | 14800 57 | 16 | 30 441.95/442.17 c 441s | 18 | 1300716 | 375252 | 14800 58 | 16 | 30 444.05/444.22 c 443s | 18 | 1306867 | 377052 | 14800 58 | 16 | 30 446.15/446.32 c 445s | 18 | 1312942 | 378952 | 14800 58 | 16 | 30 448.15/448.38 c 448s | 18 | 1319187 | 380752 | 14800 58 | 16 | 30 450.25/450.42 c 450s | 18 | 1325385 | 382552 | 14800 59 | 16 | 30 452.25/452.44 c 452s | 18 | 1331491 | 384452 | 14800 59 | 16 | 30 454.26/454.44 c 454s | 18 | 1337885 | 386252 | 14800 59 | 16 | 30 456.55/456.73 c 456s | 18 | 1341538 | 387452 | 14800 59 | 16 | 30 458.55/458.77 c 458s | 18 | 1347600 | 389052 | 14800 59 | 16 | 30 460.65/460.85 c 460s | 18 | 1352648 | 390652 | 14800 60 | 16 | 30 462.65/462.86 c 462s | 18 | 1358285 | 392452 | 14800 60 | 16 | 30 464.75/464.96 c 464s | 18 | 1363319 | 394152 | 14800 60 | 16 | 30 466.85/467.03 c 466s | 18 | 1369012 | 395852 | 14800 60 | 16 | 30 468.95/469.12 c 468s | 18 | 1374314 | 397552 | 14800 61 | 16 | 30 470.94/471.19 c 470s | 18 | 1379818 | 399352 | 14800 61 | 16 | 30 473.04/473.22 c 472s | 18 | 1385337 | 401152 | 14800 61 | 16 | 30 475.05/475.27 c 474s | 18 | 1390909 | 402952 | 14800 61 | 16 | 30 477.25/477.43 c 477s | 18 | 1396306 | 404752 | 14800 61 | 16 | 30 479.24/479.45 c 479s | 18 | 1401430 | 406052 | 14800 62 | 16 | 30 481.34/481.53 c 481s | 18 | 1407584 | 407752 | 14800 62 | 16 | 30 483.34/483.55 c 483s | 18 | 1413881 | 409452 | 14800 62 | 16 | 30 485.34/485.59 c 485s | 18 | 1419731 | 411152 | 14800 62 | 16 | 30 487.44/487.70 c 487s | 18 | 1424812 | 412852 | 14800 62 | 16 | 30 489.54/489.79 c 489s | 18 | 1430203 | 414652 | 14800 63 | 16 | 30 491.54/491.79 c 491s | 18 | 1435663 | 416452 | 14800 63 | 16 | 30 493.64/493.83 c 493s | 18 | 1441330 | 418252 | 14800 63 | 16 | 30 495.73/495.92 c 495s | 18 | 1448106 | 420152 | 14800 63 | 16 | 30 497.73/497.93 c 497s | 18 | 1454185 | 422052 | 14800 64 | 16 | 30 499.73/499.93 c 499s | 18 | 1458395 | 423352 | 14800 64 | 16 | 30 501.83/502.00 c 501s | 18 | 1463702 | 424952 | 14800 64 | 16 | 30 503.93/504.13 c 503s | 18 | 1468884 | 426652 | 14800 64 | 16 | 30 505.93/506.15 c 505s | 18 | 1474179 | 428252 | 14800 64 | 16 | 30 508.03/508.22 c 507s | 18 | 1479666 | 430052 | 14800 65 | 16 | 30 510.03/510.22 c 509s | 18 | 1485580 | 431752 | 14800 65 | 16 | 30 512.03/512.24 c 511s | 18 | 1491734 | 433552 | 14800 65 | 16 | 30 514.03/514.28 c 513s | 18 | 1497292 | 435352 | 14800 65 | 16 | 30 516.13/516.31 c 515s | 18 | 1503278 | 437152 | 14800 66 | 16 | 30 518.33/518.53 c 518s | 18 | 1509462 | 439052 | 14800 66 | 16 | 30 520.32/520.58 c 520s | 18 | 1513812 | 440652 | 14800 66 | 16 | 30 522.43/522.67 c 522s | 18 | 1519495 | 442452 | 16281 66 | 16 | 30 524.54/524.76 c 524s | 18 | 1526070 | 444252 | 16281 66 | 16 | 30 524.83/525.04 c 524s | 19 | 1526911 | 444482 | 16281 66 | 16 | 30 526.83/527.06 c 526s | 19 | 1531841 | 446182 | 16281 67 | 16 | 30 528.93/529.18 c 528s | 19 | 1535580 | 447282 | 16281 67 | 16 | 30 531.03/531.29 c 530s | 19 | 1542000 | 449082 | 16281 67 | 16 | 30 533.23/533.40 c 533s | 19 | 1548838 | 450782 | 16281 67 | 16 | 30 535.23/535.44 c 535s | 19 | 1555916 | 452582 | 16281 67 | 16 | 30 537.33/537.51 c 537s | 19 | 1562125 | 454382 | 16281 67 | 16 | 30 539.33/539.57 c 539s | 19 | 1568913 | 456182 | 16281 68 | 16 | 30 541.32/541.58 c 541s | 19 | 1574901 | 457782 | 16281 68 | 16 | 30 543.42/543.67 c 543s | 19 | 1581078 | 459582 | 16281 68 | 16 | 30 545.43/545.67 c 545s | 19 | 1586219 | 461182 | 16281 68 | 16 | 30 547.63/547.85 c 547s | 19 | 1591439 | 462982 | 16281 69 | 16 | 30 549.72/549.92 c 549s | 19 | 1597448 | 464782 | 16281 69 | 16 | 30 551.72/551.97 c 551s | 19 | 1604151 | 466582 | 16281 69 | 16 | 30 553.82/554.01 c 553s | 19 | 1610428 | 468482 | 16281 69 | 16 | 30 555.81/556.06 c 555s | 19 | 1616466 | 470282 | 16281 69 | 16 | 30 557.91/558.13 c 557s | 19 | 1622569 | 472082 | 16281 70 | 16 | 30 560.01/560.20 c 559s | 19 | 1628195 | 473982 | 16281 70 | 16 | 30 562.02/562.24 c 561s | 19 | 1634399 | 475782 | 16281 70 | 16 | 30 564.12/564.31 c 563s | 19 | 1641034 | 477582 | 16281 70 | 16 | 30 566.11/566.39 c 566s | 19 | 1646447 | 479382 | 16281 70 | 16 | 30 568.21/568.46 c 568s | 19 | 1652098 | 481282 | 16281 71 | 16 | 30 570.21/570.48 c 570s | 19 | 1658419 | 483282 | 16281 71 | 16 | 30 572.41/572.61 c 572s | 19 | 1664220 | 485282 | 16281 71 | 16 | 30 574.80/575.06 c 574s | 19 | 1666732 | 485982 | 16281 71 | 16 | 30 576.90/577.14 c 576s | 19 | 1672501 | 487582 | 16281 71 | 16 | 30 579.00/579.23 c 578s | 19 | 1678120 | 489282 | 16281 72 | 16 | 30 581.00/581.28 c 580s | 19 | 1684738 | 490982 | 16281 72 | 16 | 30 583.10/583.36 c 583s | 19 | 1691705 | 492682 | 16281 72 | 16 | 30 585.20/585.44 c 585s | 19 | 1697595 | 494382 | 16281 72 | 16 | 30 587.31/587.53 c 587s | 19 | 1703629 | 495982 | 16281 72 | 16 | 30 589.30/589.53 c 589s | 19 | 1709238 | 497482 | 16281 73 | 16 | 30 591.40/591.64 c 591s | 19 | 1715987 | 499282 | 16281 73 | 16 | 30 593.40/593.67 c 593s | 19 | 1722300 | 500982 | 16281 73 | 16 | 30 595.39/595.68 c 595s | 19 | 1728879 | 502682 | 16281 73 | 16 | 30 597.49/597.71 c 597s | 19 | 1734383 | 504482 | 16281 73 | 16 | 30 599.49/599.79 c 599s | 19 | 1740779 | 506182 | 16281 74 | 16 | 30 601.50/601.79 c 601s | 19 | 1747164 | 507982 | 16281 74 | 16 | 30 603.59/603.84 c 603s | 19 | 1753403 | 509682 | 16281 74 | 16 | 30 605.69/605.94 c 605s | 19 | 1759266 | 511482 | 16281 74 | 16 | 30 607.79/608.00 c 607s | 19 | 1766085 | 513182 | 16281 74 | 16 | 30 609.79/610.04 c 609s | 19 | 1772030 | 514882 | 16281 75 | 16 | 30 611.89/612.13 c 611s | 19 | 1777475 | 516682 | 16281 75 | 16 | 30 613.89/614.15 c 613s | 19 | 1782871 | 518382 | 16281 75 | 16 | 30 615.89/616.17 c 615s | 19 | 1789328 | 520182 | 16281 75 | 16 | 30 617.99/618.20 c 617s | 19 | 1795275 | 521882 | 16281 75 | 16 | 30 619.98/620.29 c 619s | 19 | 1802255 | 523682 | 16281 76 | 16 | 30 622.08/622.31 c 621s | 19 | 1808874 | 525582 | 16281 76 | 16 | 30 624.08/624.35 c 623s | 19 | 1815054 | 527382 | 16281 76 | 16 | 30 626.18/626.44 c 626s | 19 | 1821243 | 529182 | 16281 76 | 16 | 30 628.28/628.55 c 628s | 19 | 1827428 | 531082 | 16281 76 | 16 | 30 630.57/630.84 c 630s | 19 | 1830530 | 531982 | 16281 77 | 16 | 30 632.58/632.87 c 632s | 19 | 1834874 | 533182 | 16281 77 | 16 | 30 634.68/634.93 c 634s | 19 | 1840916 | 534982 | 16281 77 | 16 | 30 636.68/636.99 c 636s | 19 | 1847193 | 536582 | 16281 77 | 16 | 30 638.78/639.05 c 638s | 19 | 1854105 | 538282 | 16281 77 | 16 | 30 640.78/641.08 c 640s | 19 | 1859969 | 539782 | 16281 77 | 16 | 30 642.88/643.13 c 642s | 19 | 1866868 | 541382 | 16281 78 | 16 | 30 644.97/645.20 c 644s | 19 | 1873323 | 543182 | 16281 78 | 16 | 30 646.97/647.24 c 646s | 19 | 1879447 | 544882 | 16281 78 | 16 | 30 649.07/649.39 c 649s | 19 | 1885318 | 546682 | 16281 78 | 16 | 30 651.17/651.43 c 651s | 19 | 1891524 | 548182 | 16281 78 | 16 | 30 653.18/653.49 c 653s | 19 | 1897909 | 549882 | 16281 79 | 16 | 30 655.17/655.49 c 655s | 19 | 1903906 | 551582 | 16281 79 | 16 | 30 657.27/657.54 c 657s | 19 | 1909870 | 553182 | 16281 79 | 16 | 30 659.27/659.54 c 659s | 19 | 1915571 | 554682 | 16281 79 | 16 | 30 661.27/661.56 c 661s | 19 | 1922412 | 556582 | 16281 79 | 16 | 30 663.37/663.65 c 663s | 19 | 1928469 | 558482 | 16281 80 | 16 | 30 665.46/665.71 c 665s | 19 | 1937309 | 560482 | 16281 80 | 16 | 30 667.57/667.81 c 667s | 19 | 1944168 | 562282 | 16281 80 | 16 | 30 669.56/669.89 c 669s | 19 | 1950598 | 564082 | 16281 80 | 16 | 30 671.66/671.91 c 671s | 19 | 1956860 | 565782 | 16281 80 | 16 | 30 673.76/674.01 c 673s | 19 | 1962808 | 567582 | 16281 81 | 16 | 30 675.76/676.09 c 675s | 19 | 1968504 | 569382 | 16281 81 | 16 | 30 677.86/678.17 c 677s | 19 | 1975636 | 571282 | 16281 81 | 16 | 30 679.96/680.27 c 679s | 19 | 1982597 | 573182 | 16281 81 | 16 | 30 682.16/682.44 c 682s | 19 | 1988728 | 574982 | 16281 82 | 16 | 30 684.26/684.51 c 684s | 19 | 1991653 | 575782 | 16281 82 | 16 | 30 686.26/686.53 c 686s | 19 | 1998910 | 577682 | 16281 82 | 16 | 30 688.25/688.56 c 688s | 19 | 2003769 | 578882 | 16281 82 | 16 | 30 690.35/690.64 c 690s | 19 | 2010157 | 580482 | 16281 82 | 16 | 30 692.45/692.72 c 692s | 19 | 2016859 | 582182 | 16281 82 | 16 | 30 694.55/694.80 c 694s | 19 | 2023329 | 583882 | 16281 83 | 16 | 30 696.55/696.81 c 696s | 19 | 2029345 | 585582 | 16281 83 | 16 | 30 698.55/698.86 c 698s | 19 | 2036518 | 587482 | 16281 83 | 16 | 30 700.65/700.91 c 700s | 19 | 2044235 | 589382 | 16281 83 | 16 | 30 702.66/703.00 c 702s | 19 | 2051564 | 591182 | 16281 83 | 16 | 30 704.75/705.06 c 704s | 19 | 2059126 | 593082 | 16281 84 | 16 | 30 706.75/707.07 c 706s | 19 | 2067213 | 595082 | 16281 84 | 16 | 30 708.85/709.13 c 708s | 19 | 2074758 | 596982 | 16281 84 | 16 | 30 710.85/711.19 c 710s | 19 | 2081100 | 598782 | 16281 84 | 16 | 30 712.95/713.27 c 712s | 19 | 2087373 | 600482 | 16281 85 | 16 | 30 715.05/715.30 c 714s | 19 | 2093571 | 602282 | 16281 85 | 16 | 30 717.05/717.36 c 717s | 19 | 2100015 | 604082 | 16281 85 | 16 | 30 719.15/719.41 c 719s | 19 | 2106436 | 605882 | 16281 85 | 16 | 30 721.25/721.50 c 721s | 19 | 2113086 | 607682 | 16281 85 | 16 | 30 723.25/723.52 c 723s | 19 | 2118996 | 609382 | 16281 86 | 16 | 30 725.34/725.60 c 725s | 19 | 2125873 | 611282 | 16281 86 | 16 | 30 727.44/727.70 c 727s | 19 | 2133210 | 613282 | 16281 86 | 16 | 30 729.44/729.74 c 729s | 19 | 2137434 | 614482 | 16281 86 | 16 | 30 731.54/731.83 c 731s | 19 | 2143414 | 615982 | 16281 86 | 16 | 30 733.84/734.12 c 733s | 19 | 2149706 | 617582 | 16281 87 | 16 | 30 735.84/736.13 c 735s | 19 | 2155036 | 619182 | 16281 87 | 16 | 30 738.04/738.35 c 737s | 19 | 2160956 | 620782 | 16281 87 | 16 | 30 740.15/740.41 c 740s | 19 | 2167119 | 622482 | 16281 87 | 16 | 30 742.14/742.48 c 742s | 19 | 2173703 | 624382 | 16281 87 | 16 | 30 744.34/744.66 c 744s | 19 | 2177977 | 625982 | 16281 88 | 16 | 30 746.44/746.70 c 746s | 19 | 2183399 | 627582 | 16281 88 | 16 | 30 748.44/748.78 c 748s | 19 | 2189580 | 629282 | 16281 88 | 16 | 30 750.55/750.86 c 750s | 19 | 2194651 | 630982 | 16281 88 | 16 | 30 752.65/752.94 c 752s | 19 | 2200681 | 632682 | 16281 88 | 16 | 30 754.75/755.01 c 754s | 19 | 2208239 | 634382 | 16281 88 | 16 | 30 756.75/757.02 c 756s | 19 | 2213927 | 636182 | 16281 89 | 16 | 30 758.75/759.05 c 758s | 19 | 2219279 | 637882 | 16281 89 | 16 | 30 760.85/761.15 c 760s | 19 | 2224533 | 639682 | 16281 89 | 16 | 30 762.85/763.16 c 762s | 19 | 2230159 | 641382 | 16281 89 | 16 | 30 764.95/765.23 c 764s | 19 | 2237128 | 643182 | 16281 89 | 16 | 30 766.95/767.26 c 766s | 19 | 2243753 | 644982 | 16281 90 | 16 | 30 769.05/769.31 c 768s | 19 | 2249180 | 646582 | 16281 90 | 16 | 30 771.04/771.37 c 771s | 19 | 2254991 | 648282 | 16281 90 | 16 | 30 773.05/773.40 c 773s | 19 | 2259402 | 649382 | 16281 90 | 16 | 30 775.25/775.51 c 775s | 19 | 2265812 | 651082 | 16281 90 | 16 | 30 777.34/777.61 c 777s | 19 | 2271533 | 652782 | 16281 91 | 16 | 30 779.34/779.62 c 779s | 19 | 2277898 | 654482 | 16281 91 | 16 | 30 781.44/781.75 c 781s | 19 | 2283793 | 656182 | 16281 91 | 16 | 30 783.44/783.76 c 783s | 19 | 2289445 | 657782 | 16281 91 | 16 | 30 785.54/785.86 c 785s | 19 | 2295399 | 659582 | 16281 91 | 16 | 30 787.64/787.91 c 787s | 19 | 2301505 | 661282 | 16281 92 | 16 | 30 789.65/789.97 c 789s | 19 | 2307675 | 663082 | 17910 92 | 16 | 30 791.64/791.98 c 791s | 19 | 2313682 | 664782 | 17910 92 | 16 | 30 793.74/794.06 c 793s | 19 | 2319288 | 666582 | 17910 92 | 16 | 30 794.05/794.34 c 793s | 20 | 2320330 | 666827 | 17910 92 | 16 | 30 796.04/796.40 c 796s | 20 | 2325868 | 668627 | 17910 92 | 16 | 30 798.14/798.46 c 798s | 20 | 2329478 | 669727 | 17910 92 | 16 | 30 800.24/800.56 c 800s | 20 | 2334482 | 671227 | 17910 93 | 16 | 30 802.34/802.64 c 802s | 20 | 2340299 | 672827 | 17910 93 | 16 | 30 804.34/804.66 c 804s | 20 | 2345422 | 674527 | 17910 93 | 16 | 30 806.44/806.73 c 806s | 20 | 2350594 | 675927 | 17910 93 | 16 | 30 808.44/808.74 c 808s | 20 | 2356661 | 677727 | 17910 93 | 16 | 30 810.55/810.82 c 810s | 20 | 2362405 | 679427 | 17910 93 | 16 | 30 812.65/812.90 c 812s | 20 | 2368430 | 681127 | 17910 94 | 16 | 30 814.64/814.92 c 814s | 20 | 2375102 | 682927 | 17910 94 | 16 | 30 816.74/817.03 c 816s | 20 | 2381388 | 684727 | 17910 94 | 16 | 30 818.84/819.12 c 818s | 20 | 2386520 | 686227 | 17910 94 | 16 | 30 820.84/821.17 c 820s | 20 | 2392690 | 687927 | 17910 94 | 16 | 30 822.84/823.19 c 822s | 20 | 2398009 | 689527 | 17910 95 | 16 | 30 824.94/825.26 c 824s | 20 | 2404723 | 691527 | 17910 95 | 16 | 30 826.94/827.29 c 826s | 20 | 2410965 | 693427 | 17910 95 | 16 | 30 829.14/829.40 c 829s | 20 | 2415362 | 694727 | 17910 95 | 16 | 30 831.14/831.45 c 831s | 20 | 2420189 | 696127 | 17910 95 | 16 | 30 833.24/833.52 c 833s | 20 | 2424930 | 697627 | 17910 95 | 16 | 30 835.34/835.63 c 835s | 20 | 2430214 | 699327 | 17910 96 | 16 | 30 837.33/837.67 c 837s | 20 | 2434960 | 700827 | 17910 96 | 16 | 30 839.33/839.69 c 839s | 20 | 2439249 | 702327 | 17910 96 | 16 | 30 841.53/841.80 c 841s | 20 | 2443941 | 703927 | 17910 96 | 16 | 30 843.54/843.86 c 843s | 20 | 2449150 | 705527 | 17910 96 | 16 | 30 845.64/845.96 c 845s | 20 | 2454598 | 707127 | 17910 96 | 16 | 30 847.63/847.98 c 847s | 20 | 2458850 | 708627 | 17910 97 | 16 | 30 849.73/850.06 c 849s | 20 | 2463764 | 710327 | 17910 97 | 16 | 30 851.83/852.10 c 851s | 20 | 2469268 | 712127 | 17910 97 | 16 | 30 853.83/854.14 c 853s | 20 | 2474379 | 713827 | 17910 97 | 16 | 30 855.93/856.20 c 855s | 20 | 2480095 | 715627 | 17910 97 | 16 | 30 857.93/858.22 c 857s | 20 | 2485379 | 717327 | 17910 98 | 16 | 30 859.94/860.25 c 859s | 20 | 2491295 | 719227 | 17910 98 | 16 | 30 861.93/862.26 c 861s | 20 | 2497258 | 721027 | 17910 98 | 16 | 30 864.03/864.35 c 863s | 20 | 2501460 | 722327 | 17910 98 | 16 | 30 866.03/866.36 c 866s | 20 | 2506239 | 723927 | 17910 98 | 16 | 30 868.13/868.40 c 868s | 20 | 2512643 | 725627 | 17910 98 | 16 | 30 870.13/870.48 c 870s | 20 | 2518445 | 727427 | 17910 99 | 16 | 30 872.23/872.51 c 872s | 20 | 2524641 | 729127 | 17910 99 | 16 | 30 874.23/874.51 c 874s | 20 | 2530441 | 730827 | 17910 99 | 16 | 30 876.33/876.61 c 876s | 20 | 2536443 | 732527 | 17910 99 | 16 | 30 878.43/878.70 c 878s | 20 | 2542157 | 734227 | 17910 99 | 16 | 30 880.43/880.71 c 880s | 20 | 2547931 | 735827 | 17910 99 | 16 | 30 882.53/882.81 c 882s | 20 | 2553034 | 737527 | 17910 100 | 16 | 30 884.53/884.85 c 884s | 20 | 2558831 | 739327 | 17910 100 | 16 | 30 886.53/886.89 c 886s | 20 | 2563426 | 740627 | 17910 100 | 16 | 30 888.63/888.97 c 888s | 20 | 2569289 | 742327 | 17910 100 | 16 | 30 890.73/891.05 c 890s | 20 | 2575509 | 743827 | 17910 100 | 16 | 30 892.72/893.05 c 892s | 20 | 2580353 | 745327 | 17910 101 | 16 | 30 894.82/895.10 c 894s | 20 | 2586445 | 746927 | 17910 101 | 16 | 30 896.82/897.11 c 896s | 20 | 2591731 | 748627 | 17910 101 | 16 | 30 898.82/899.17 c 898s | 20 | 2597837 | 750427 | 17910 101 | 16 | 30 900.82/901.18 c 900s | 20 | 2603664 | 752027 | 17910 101 | 16 | 30 902.93/903.22 c 902s | 20 | 2608785 | 753727 | 17910 101 | 16 | 30 904.92/905.27 c 904s | 20 | 2614570 | 755327 | 17910 102 | 16 | 30 906.92/907.28 c 906s | 20 | 2620046 | 757127 | 17910 102 | 16 | 30 909.02/909.38 c 909s | 20 | 2625442 | 759027 | 17910 102 | 16 | 30 911.12/911.42 c 911s | 20 | 2631182 | 760827 | 17910 102 | 16 | 30 913.12/913.44 c 913s | 20 | 2635216 | 762127 | 17910 102 | 16 | 30 915.12/915.45 c 915s | 20 | 2640278 | 763727 | 17910 102 | 16 | 30 917.22/917.54 c 917s | 20 | 2645698 | 765327 | 17910 103 | 16 | 30 919.22/919.54 c 919s | 20 | 2651666 | 767027 | 17910 103 | 16 | 30 921.32/921.60 c 921s | 20 | 2657435 | 768727 | 17910 103 | 16 | 30 923.32/923.66 c 923s | 20 | 2662495 | 770327 | 17910 103 | 16 | 30 925.32/925.67 c 925s | 20 | 2667937 | 771827 | 17910 103 | 16 | 30 927.52/927.81 c 927s | 20 | 2673757 | 773427 | 17910 104 | 16 | 30 929.52/929.84 c 929s | 20 | 2679838 | 775127 | 17910 104 | 16 | 30 931.62/931.94 c 931s | 20 | 2686301 | 777027 | 17910 104 | 16 | 30 933.73/934.06 c 933s | 20 | 2692057 | 778927 | 17910 104 | 16 | 30 935.72/936.07 c 935s | 20 | 2697982 | 780727 | 17910 104 | 16 | 30 937.92/938.28 c 937s | 20 | 2703529 | 782527 | 17910 104 | 16 | 30 940.02/940.34 c 939s | 20 | 2708808 | 783927 | 17910 105 | 16 | 30 942.12/942.44 c 942s | 20 | 2713634 | 785427 | 17910 105 | 16 | 30 944.12/944.45 c 944s | 20 | 2719334 | 787027 | 17910 105 | 16 | 30 946.12/946.45 c 946s | 20 | 2725179 | 788527 | 17910 105 | 16 | 30 948.22/948.55 c 948s | 20 | 2731288 | 790227 | 17910 105 | 16 | 30 950.32/950.64 c 950s | 20 | 2736814 | 791927 | 17910 105 | 16 | 30 952.42/952.73 c 952s | 20 | 2742398 | 793627 | 17910 106 | 16 | 30 954.42/954.75 c 954s | 20 | 2748078 | 795427 | 17910 106 | 16 | 30 956.52/956.83 c 956s | 20 | 2753745 | 797227 | 17910 106 | 16 | 30 958.52/958.87 c 958s | 20 | 2759288 | 798927 | 17910 106 | 16 | 30 960.62/960.93 c 960s | 20 | 2764986 | 800727 | 17910 106 | 16 | 30 962.81/963.11 c 962s | 20 | 2770156 | 802227 | 17910 107 | 16 | 30 964.91/965.22 c 964s | 20 | 2774466 | 803627 | 17910 107 | 16 | 30 966.91/967.23 c 966s | 20 | 2779875 | 805227 | 17910 107 | 16 | 30 968.92/969.26 c 968s | 20 | 2784760 | 806727 | 17910 107 | 16 | 30 971.02/971.35 c 970s | 20 | 2790221 | 808327 | 17910 107 | 16 | 30 973.11/973.45 c 973s | 20 | 2795525 | 809927 | 17910 107 | 16 | 30 975.11/975.48 c 975s | 20 | 2801073 | 811427 | 17910 108 | 16 | 30 977.21/977.55 c 977s | 20 | 2806594 | 813127 | 17910 108 | 16 | 30 979.31/979.66 c 979s | 20 | 2813808 | 815027 | 17910 108 | 16 | 30 981.41/981.74 c 981s | 20 | 2820555 | 816927 | 17910 108 | 16 | 30 983.41/983.76 c 983s | 20 | 2826369 | 818727 | 17910 108 | 16 | 30 985.51/985.80 c 985s | 20 | 2832946 | 820527 | 17910 109 | 16 | 30 987.51/987.82 c 987s | 20 | 2839425 | 822427 | 17910 109 | 16 | 30 989.51/989.89 c 989s | 20 | 2845586 | 824427 | 17910 109 | 16 | 30 991.61/991.92 c 991s | 20 | 2850421 | 825927 | 17910 109 | 16 | 30 993.61/993.94 c 993s | 20 | 2856323 | 827527 | 17910 109 | 16 | 30 995.80/996.13 c 995s | 20 | 2861585 | 829127 | 17910 109 | 16 | 30 997.80/998.17 c 997s | 20 | 2866718 | 830827 | 17910 110 | 16 | 30 999.90/1000.20 c 999s | 20 | 2871766 | 832427 | 17910 110 | 16 | 30 1001.91/1002.27 c 1001s | 20 | 2877571 | 834127 | 17910 110 | 16 | 30 1004.01/1004.34 c 1003s | 20 | 2882549 | 835727 | 17910 110 | 16 | 30 1006.00/1006.36 c 1006s | 20 | 2887565 | 837227 | 17910 110 | 16 | 30 1008.00/1008.38 c 1008s | 20 | 2892223 | 838727 | 17910 110 | 16 | 30 1010.10/1010.47 c 1010s | 20 | 2897402 | 840327 | 17910 111 | 16 | 30 1012.11/1012.49 c 1012s | 20 | 2903514 | 842027 | 17910 111 | 16 | 30 1014.21/1014.59 c 1014s | 20 | 2909463 | 843827 | 17910 111 | 16 | 30 1016.31/1016.69 c 1016s | 20 | 2915645 | 845627 | 17910 111 | 16 | 30 1018.42/1018.75 c 1018s | 20 | 2921392 | 847427 | 17910 111 | 16 | 30 1020.41/1020.77 c 1020s | 20 | 2926490 | 848827 | 17910 112 | 16 | 30 1022.51/1022.80 c 1022s | 20 | 2932167 | 850427 | 17910 112 | 16 | 30 1024.51/1024.85 c 1024s | 20 | 2938209 | 852127 | 17910 112 | 16 | 30 1026.61/1026.96 c 1026s | 20 | 2943804 | 853927 | 17910 112 | 16 | 30 1028.71/1029.09 c 1028s | 20 | 2949898 | 855527 | 17910 112 | 16 | 30 1030.81/1031.19 c 1030s | 20 | 2955404 | 857127 | 17910 112 | 16 | 30 1032.91/1033.29 c 1032s | 20 | 2960605 | 858727 | 17910 113 | 16 | 30 1035.00/1035.37 c 1035s | 20 | 2966807 | 860427 | 17910 113 | 16 | 30 1037.11/1037.44 c 1037s | 20 | 2972570 | 862227 | 17910 113 | 16 | 30 1039.21/1039.54 c 1039s | 20 | 2978419 | 864027 | 17910 113 | 16 | 30 1041.20/1041.54 c 1041s | 20 | 2983371 | 865627 | 17910 113 | 16 | 30 1043.30/1043.65 c 1043s | 20 | 2988387 | 866927 | 17910 113 | 16 | 30 1045.40/1045.71 c 1045s | 20 | 2994228 | 868627 | 17910 114 | 16 | 30 1047.40/1047.72 c 1047s | 20 | 2999701 | 870327 | 17910 114 | 16 | 30 1049.40/1049.74 c 1049s | 20 | 3004660 | 871927 | 17910 114 | 16 | 30 1051.41/1051.76 c 1051s | 20 | 3009060 | 873527 | 17910 114 | 16 | 30 1053.40/1053.78 c 1053s | 20 | 3013545 | 875127 | 17910 114 | 16 | 30 1055.50/1055.81 c 1055s | 20 | 3017409 | 876527 | 17910 114 | 16 | 30 1057.50/1057.84 c 1057s | 20 | 3021479 | 877827 | 17910 115 | 16 | 30 1059.60/1059.95 c 1059s | 20 | 3026880 | 879427 | 17910 115 | 16 | 30 1061.60/1061.98 c 1061s | 20 | 3031353 | 880827 | 17910 115 | 16 | 30 1063.60/1063.99 c 1063s | 20 | 3036313 | 882427 | 17910 115 | 16 | 30 1065.71/1066.06 c 1065s | 20 | 3041093 | 884027 | 17910 115 | 16 | 30 1067.80/1068.15 c 1067s | 20 | 3043296 | 884727 | 17910 115 | 16 | 30 1070.00/1070.31 c 1069s | 20 | 3046741 | 885727 | 17910 115 | 16 | 30 1072.79/1073.17 c 1072s | 20 | 3048607 | 886327 | 17910 116 | 16 | 30 1074.89/1075.24 c 1074s | 20 | 3055186 | 888127 | 17910 116 | 16 | 30 1076.99/1077.33 c 1076s | 20 | 3061909 | 889927 | 17910 116 | 16 | 30 1079.39/1079.77 c 1079s | 20 | 3067997 | 891727 | 17910 116 | 16 | 30 1081.49/1081.86 c 1081s | 20 | 3073141 | 893427 | 17910 116 | 16 | 30 1083.59/1083.93 c 1083s | 20 | 3078620 | 894927 | 17910 116 | 16 | 30 1085.69/1086.00 c 1085s | 20 | 3084513 | 896627 | 17910 117 | 16 | 30 1087.70/1088.08 c 1087s | 20 | 3090317 | 898327 | 17910 117 | 16 | 30 1089.69/1090.10 c 1089s | 20 | 3095654 | 900127 | 17910 117 | 16 | 30 1091.79/1092.14 c 1091s | 20 | 3102697 | 901827 | 17910 117 | 16 | 30 1093.89/1094.24 c 1093s | 20 | 3108623 | 903627 | 17910 117 | 16 | 30 1095.89/1096.27 c 1095s | 20 | 3114306 | 905327 | 17910 118 | 16 | 30 1097.99/1098.37 c 1098s | 20 | 3119774 | 907127 | 17910 118 | 16 | 30 1100.09/1100.41 c 1100s | 20 | 3125373 | 908827 | 17910 118 | 16 | 30 1102.19/1102.53 c 1102s | 20 | 3131759 | 910727 | 17910 118 | 16 | 30 1104.19/1104.59 c 1104s | 20 | 3137302 | 912427 | 17910 118 | 16 | 30 1106.29/1106.64 c 1106s | 20 | 3143119 | 914127 | 17910 118 | 16 | 30 1108.39/1108.71 c 1108s | 20 | 3149004 | 915927 | 17910 119 | 16 | 30 1110.39/1110.72 c 1110s | 20 | 3154949 | 917727 | 17910 119 | 16 | 30 1112.39/1112.75 c 1112s | 20 | 3161223 | 919527 | 17910 119 | 16 | 30 1114.39/1114.79 c 1114s | 20 | 3167177 | 921327 | 17910 119 | 16 | 30 1116.49/1116.88 c 1116s | 20 | 3173456 | 923227 | 17910 119 | 16 | 30 1118.59/1118.98 c 1118s | 20 | 3179906 | 925227 | 17910 120 | 16 | 30 1120.69/1121.03 c 1120s | 20 | 3185995 | 927227 | 17910 120 | 16 | 30 1123.19/1123.58 c 1123s | 20 | 3188495 | 928027 | 17910 120 | 16 | 30 1125.19/1125.59 c 1125s | 20 | 3193901 | 929527 | 17910 120 | 16 | 30 1127.30/1127.67 c 1127s | 20 | 3200007 | 931127 | 17910 120 | 16 | 30 1129.29/1129.67 c 1129s | 20 | 3205359 | 932727 | 17910 120 | 16 | 30 1131.39/1131.70 c 1131s | 20 | 3210404 | 934227 | 17910 121 | 16 | 30 1133.39/1133.77 c 1133s | 20 | 3216417 | 935927 | 17910 121 | 16 | 30 1135.39/1135.77 c 1135s | 20 | 3221255 | 937427 | 17910 121 | 16 | 30 1137.49/1137.81 c 1137s | 20 | 3226848 | 939027 | 17910 121 | 16 | 30 1139.49/1139.81 c 1139s | 20 | 3232685 | 940727 | 17910 121 | 16 | 30 1141.59/1141.91 c 1141s | 20 | 3239730 | 942427 | 17910 122 | 16 | 30 1143.69/1144.01 c 1143s | 20 | 3246090 | 944327 | 17910 122 | 16 | 30 1145.79/1146.11 c 1145s | 20 | 3252774 | 946227 | 17910 122 | 16 | 30 1147.89/1148.21 c 1147s | 20 | 3258161 | 948027 | 17910 122 | 16 | 30 1149.99/1150.31 c 1149s | 20 | 3264610 | 949827 | 17910 122 | 16 | 30 1151.99/1152.33 c 1151s | 20 | 3270631 | 951527 | 17910 122 | 16 | 30 1154.09/1154.40 c 1154s | 20 | 3276878 | 953327 | 17910 123 | 16 | 30 1156.18/1156.51 c 1156s | 20 | 3280706 | 954627 | 17910 123 | 16 | 30 1158.18/1158.58 c 1158s | 20 | 3285069 | 956127 | 17910 123 | 16 | 30 1160.29/1160.61 c 1160s | 20 | 3290361 | 957927 | 17910 123 | 16 | 30 1162.39/1162.71 c 1162s | 20 | 3294734 | 959427 | 17910 123 | 16 | 30 1164.38/1164.74 c 1164s | 20 | 3299220 | 960927 | 17910 123 | 16 | 30 1166.48/1166.87 c 1166s | 20 | 3304191 | 962527 | 17910 124 | 16 | 30 1168.58/1168.97 c 1168s | 20 | 3309296 | 964227 | 17910 124 | 16 | 30 1170.58/1170.98 c 1170s | 20 | 3314700 | 965827 | 17910 124 | 16 | 30 1172.68/1173.05 c 1172s | 20 | 3319636 | 967327 | 17910 124 | 16 | 30 1174.78/1175.19 c 1174s | 20 | 3325169 | 968927 | 17910 124 | 16 | 30 1176.88/1177.21 c 1176s | 20 | 3330489 | 970527 | 17910 125 | 16 | 30 1178.89/1179.28 c 1178s | 20 | 3335789 | 972227 | 17910 125 | 16 | 30 1180.98/1181.30 c 1180s | 20 | 3341048 | 973727 | 17910 125 | 16 | 30 1183.08/1183.42 c 1183s | 20 | 3346633 | 975427 | 17910 125 | 16 | 30 1185.08/1185.45 c 1185s | 20 | 3351769 | 977127 | 17910 125 | 16 | 30 1187.08/1187.49 c 1187s | 20 | 3356742 | 978727 | 17910 125 | 16 | 30 1189.18/1189.58 c 1189s | 20 | 3361446 | 980327 | 17910 126 | 16 | 30 1191.28/1191.67 c 1191s | 20 | 3366765 | 982027 | 17910 126 | 16 | 30 1193.38/1193.71 c 1193s | 20 | 3372352 | 983727 | 17910 126 | 16 | 30 1195.38/1195.72 c 1195s | 20 | 3377667 | 985327 | 17910 126 | 16 | 30 1197.38/1197.73 c 1197s | 20 | 3383021 | 987027 | 17910 126 | 16 | 30 1199.38/1199.74 c 1199s | 20 | 3387980 | 988627 | 17910 126 | 16 | 30 1201.58/1201.90 c 1201s | 20 | 3393135 | 990127 | 17910 127 | 16 | 30 1203.58/1204.00 c 1203s | 20 | 3396401 | 991327 | 17910 127 | 16 | 30 1205.67/1206.06 c 1205s | 20 | 3402281 | 993027 | 19701 127 | 16 | 30 1207.67/1208.09 c 1207s | 20 | 3408227 | 994527 | 19701 127 | 16 | 30 1209.68/1210.09 c 1209s | 20 | 3413784 | 996027 | 19701 127 | 16 | 30 1211.88/1212.20 c 1211s | 20 | 3419040 | 997627 | 19701 127 | 16 | 30 1213.97/1214.32 c 1213s | 20 | 3423534 | 999127 | 19701 127 | 16 | 30 1215.67/1216.05 c 1215s | 21 | 3427761 | 1000345 | 19701 128 | 16 | 30 1217.77/1218.13 c 1217s | 21 | 3431517 | 1001445 | 19701 128 | 16 | 30 1219.77/1220.15 c 1219s | 21 | 3436539 | 1002945 | 19701 128 | 16 | 30 1221.88/1222.24 c 1221s | 21 | 3442337 | 1004545 | 19701 128 | 16 | 30 1223.98/1224.30 c 1223s | 21 | 3448830 | 1006245 | 19701 128 | 16 | 30 1226.07/1226.43 c 1226s | 21 | 3454721 | 1007945 | 19701 128 | 16 | 30 1228.07/1228.45 c 1228s | 21 | 3459986 | 1009445 | 19701 128 | 16 | 30 1230.07/1230.46 c 1230s | 21 | 3465636 | 1010945 | 19701 129 | 16 | 30 1232.17/1232.52 c 1232s | 21 | 3471655 | 1012645 | 19701 129 | 16 | 30 1234.17/1234.59 c 1234s | 21 | 3477532 | 1014245 | 19701 129 | 16 | 30 1236.27/1236.66 c 1236s | 21 | 3483428 | 1016045 | 19701 129 | 16 | 30 1238.37/1238.76 c 1238s | 21 | 3487391 | 1017345 | 19701 129 | 16 | 30 1240.37/1240.79 c 1240s | 21 | 3492765 | 1018845 | 19701 129 | 16 | 30 1242.37/1242.80 c 1242s | 21 | 3497178 | 1020245 | 19701 129 | 16 | 30 1244.47/1244.84 c 1244s | 21 | 3502634 | 1021645 | 19701 130 | 16 | 30 1246.47/1246.86 c 1246s | 21 | 3507780 | 1023045 | 19701 130 | 16 | 30 1248.57/1248.92 c 1248s | 21 | 3513837 | 1024745 | 19701 130 | 16 | 30 1250.56/1250.97 c 1250s | 21 | 3519906 | 1026445 | 19701 130 | 16 | 30 1252.67/1253.07 c 1252s | 21 | 3525664 | 1028145 | 19701 130 | 16 | 30 1254.77/1255.16 c 1254s | 21 | 3531737 | 1029745 | 19701 130 | 16 | 30 1256.86/1257.20 c 1256s | 21 | 3536946 | 1031245 | 19701 131 | 16 | 30 1258.86/1259.22 c 1258s | 21 | 3543273 | 1032845 | 19701 131 | 16 | 30 1260.86/1261.24 c 1260s | 21 | 3549821 | 1034645 | 19701 131 | 16 | 30 1262.96/1263.32 c 1262s | 21 | 3555333 | 1036445 | 19701 131 | 16 | 30 1265.06/1265.41 c 1265s | 21 | 3560537 | 1038245 | 19701 131 | 16 | 30 1267.06/1267.46 c 1267s | 21 | 3567141 | 1039945 | 19701 131 | 16 | 30 1269.07/1269.47 c 1269s | 21 | 3572720 | 1041545 | 19701 132 | 16 | 30 1271.16/1271.52 c 1271s | 21 | 3578490 | 1043445 | 19701 132 | 16 | 30 1273.16/1273.58 c 1273s | 21 | 3585519 | 1045345 | 19701 132 | 16 | 30 1275.27/1275.68 c 1275s | 21 | 3591678 | 1047245 | 19701 132 | 16 | 30 1277.37/1277.75 c 1277s | 21 | 3597747 | 1049145 | 19701 132 | 16 | 30 1279.37/1279.75 c 1279s | 21 | 3603319 | 1050945 | 19701 132 | 16 | 30 1281.47/1281.82 c 1281s | 21 | 3609320 | 1052845 | 19701 133 | 16 | 30 1283.47/1283.88 c 1283s | 21 | 3615367 | 1054845 | 19701 133 | 16 | 30 1285.57/1285.92 c 1285s | 21 | 3620356 | 1056345 | 19701 133 | 16 | 30 1287.57/1287.95 c 1287s | 21 | 3623862 | 1057445 | 19701 133 | 16 | 30 1289.56/1289.98 c 1289s | 21 | 3628727 | 1058745 | 19701 133 | 16 | 30 1291.66/1292.04 c 1291s | 21 | 3634397 | 1060245 | 19701 133 | 16 | 30 1293.76/1294.16 c 1293s | 21 | 3640448 | 1061845 | 19701 133 | 16 | 30 1295.86/1296.24 c 1295s | 21 | 3647436 | 1063645 | 19701 134 | 16 | 30 1297.86/1298.28 c 1297s | 21 | 3653897 | 1065445 | 19701 134 | 16 | 30 1299.97/1300.34 c 1299s | 21 | 3659412 | 1067145 | 19701 134 | 16 | 30 1301.96/1302.35 c 1301s | 21 | 3664707 | 1068745 | 19701 134 | 16 | 30 1304.06/1304.44 c 1304s | 21 | 3669986 | 1070345 | 19701 134 | 16 | 30 1306.16/1306.55 c 1306s | 21 | 3676222 | 1071945 | 19701 134 | 16 | 30 1308.16/1308.56 c 1308s | 21 | 3680921 | 1073545 | 19701 135 | 16 | 30 1310.26/1310.65 c 1310s | 21 | 3686025 | 1075245 | 19701 135 | 16 | 30 1312.26/1312.67 c 1312s | 21 | 3691422 | 1076845 | 19701 135 | 16 | 30 1314.27/1314.68 c 1314s | 21 | 3697485 | 1078645 | 19701 135 | 16 | 30 1316.26/1316.69 c 1316s | 21 | 3703062 | 1080245 | 19701 135 | 16 | 30 1318.36/1318.77 c 1318s | 21 | 3708214 | 1081945 | 19701 135 | 16 | 30 1320.46/1320.80 c 1320s | 21 | 3713770 | 1083645 | 19701 136 | 16 | 30 1322.56/1322.90 c 1322s | 21 | 3720210 | 1085545 | 19701 136 | 16 | 30 1324.56/1324.96 c 1324s | 21 | 3725397 | 1087245 | 19701 136 | 16 | 30 1326.66/1327.04 c 1326s | 21 | 3731406 | 1088945 | 19701 136 | 16 | 30 1328.66/1329.07 c 1328s | 21 | 3736971 | 1090645 | 19701 136 | 16 | 30 1330.76/1331.13 c 1330s | 21 | 3742714 | 1092345 | 19701 136 | 16 | 30 1332.76/1333.15 c 1332s | 21 | 3747830 | 1094045 | 19701 137 | 16 | 30 1334.86/1335.21 c 1334s | 21 | 3754497 | 1095945 | 19701 137 | 16 | 30 1336.85/1337.24 c 1336s | 21 | 3760910 | 1097845 | 19701 137 | 16 | 30 1338.85/1339.25 c 1338s | 21 | 3767395 | 1099745 | 19701 137 | 16 | 30 1340.85/1341.27 c 1340s | 21 | 3771998 | 1101045 | 19701 137 | 16 | 30 1342.95/1343.35 c 1343s | 21 | 3777566 | 1102345 | 19701 137 | 16 | 30 1345.06/1345.45 c 1345s | 21 | 3782715 | 1103545 | 19701 138 | 16 | 30 1347.05/1347.47 c 1347s | 21 | 3788208 | 1105045 | 19701 138 | 16 | 30 1349.15/1349.53 c 1349s | 21 | 3794324 | 1106745 | 19701 138 | 16 | 30 1351.25/1351.63 c 1351s | 21 | 3800743 | 1108345 | 19701 138 | 16 | 30 1353.35/1353.73 c 1353s | 21 | 3806528 | 1109945 | 19701 138 | 16 | 30 1355.45/1355.81 c 1355s | 21 | 3811897 | 1111445 | 19701 138 | 16 | 30 1357.45/1357.87 c 1357s | 21 | 3817096 | 1112945 | 19701 138 | 16 | 30 1359.45/1359.88 c 1359s | 21 | 3822901 | 1114445 | 19701 139 | 16 | 30 1361.85/1362.22 c 1361s | 21 | 3828023 | 1115845 | 19701 139 | 16 | 30 1363.95/1364.34 c 1363s | 21 | 3833140 | 1117445 | 19701 139 | 16 | 30 1365.96/1366.38 c 1366s | 21 | 3838236 | 1118945 | 19701 139 | 16 | 30 1368.06/1368.41 c 1368s | 21 | 3843541 | 1120645 | 19701 139 | 16 | 30 1370.15/1370.52 c 1370s | 21 | 3848872 | 1122345 | 19701 139 | 16 | 30 1372.15/1372.54 c 1372s | 21 | 3853794 | 1123845 | 19701 140 | 16 | 30 1374.25/1374.67 c 1374s | 21 | 3860158 | 1125645 | 19701 140 | 16 | 30 1376.35/1376.72 c 1376s | 21 | 3866623 | 1127445 | 19701 140 | 16 | 30 1378.35/1378.75 c 1378s | 21 | 3872371 | 1129145 | 19701 140 | 16 | 30 1380.35/1380.78 c 1380s | 21 | 3877035 | 1130745 | 19701 140 | 16 | 30 1382.45/1382.82 c 1382s | 21 | 3882834 | 1132345 | 19701 140 | 16 | 30 1384.44/1384.87 c 1384s | 21 | 3887862 | 1133945 | 19701 140 | 16 | 30 1386.54/1386.93 c 1386s | 21 | 3893350 | 1135645 | 19701 141 | 16 | 30 1388.54/1388.93 c 1388s | 21 | 3898541 | 1137445 | 19701 141 | 16 | 30 1390.54/1390.97 c 1390s | 21 | 3902645 | 1138745 | 19701 141 | 16 | 30 1392.64/1393.07 c 1392s | 21 | 3908871 | 1140245 | 19701 141 | 16 | 30 1394.64/1395.09 c 1394s | 21 | 3914442 | 1141845 | 19701 141 | 16 | 30 1396.75/1397.11 c 1396s | 21 | 3920085 | 1143345 | 19701 141 | 16 | 30 1398.74/1399.17 c 1398s | 21 | 3925440 | 1144745 | 19701 142 | 16 | 30 1400.85/1401.21 c 1400s | 21 | 3931480 | 1146245 | 19701 142 | 16 | 30 1402.95/1403.33 c 1402s | 21 | 3936526 | 1147745 | 19701 142 | 16 | 30 1405.05/1405.45 c 1405s | 21 | 3942425 | 1149345 | 19701 142 | 16 | 30 1407.05/1407.47 c 1407s | 21 | 3947381 | 1150845 | 19701 142 | 16 | 30 1409.15/1409.59 c 1409s | 21 | 3953430 | 1152445 | 19701 142 | 16 | 30 1411.35/1411.71 c 1411s | 21 | 3959581 | 1154145 | 19701 142 | 16 | 30 1413.35/1413.77 c 1413s | 21 | 3965725 | 1155845 | 19701 143 | 16 | 30 1415.45/1415.87 c 1415s | 21 | 3972028 | 1157745 | 19701 143 | 16 | 30 1417.55/1417.95 c 1417s | 21 | 3978521 | 1159445 | 19701 143 | 16 | 30 1419.55/1419.97 c 1419s | 21 | 3984450 | 1161145 | 19701 143 | 16 | 30 1421.65/1422.00 c 1421s | 21 | 3990519 | 1162745 | 19701 143 | 16 | 30 1423.65/1424.04 c 1423s | 21 | 3995876 | 1164345 | 19701 143 | 16 | 30 1425.75/1426.11 c 1425s | 21 | 4002209 | 1166045 | 19701 144 | 16 | 30 1427.85/1428.21 c 1427s | 21 | 4009303 | 1167945 | 19701 144 | 16 | 30 1429.84/1430.29 c 1429s | 21 | 4016282 | 1169845 | 19701 144 | 16 | 30 1432.04/1432.43 c 1432s | 21 | 4021328 | 1171345 | 19701 144 | 16 | 30 1434.15/1434.55 c 1434s | 21 | 4026606 | 1172845 | 19701 144 | 16 | 30 1436.25/1436.63 c 1436s | 21 | 4031169 | 1174345 | 19701 144 | 16 | 30 1438.24/1438.69 c 1438s | 21 | 4035798 | 1175845 | 19701 145 | 16 | 30 1440.34/1440.71 c 1440s | 21 | 4040108 | 1177045 | 19701 145 | 16 | 30 1442.34/1442.74 c 1442s | 21 | 4044544 | 1178445 | 19701 145 | 16 | 30 1444.44/1444.82 c 1444s | 21 | 4050622 | 1180045 | 19701 145 | 16 | 30 1446.44/1446.85 c 1446s | 21 | 4055305 | 1181645 | 19701 145 | 16 | 30 1448.54/1448.94 c 1448s | 21 | 4061041 | 1183245 | 19701 145 | 16 | 30 1450.55/1451.00 c 1450s | 21 | 4066430 | 1184745 | 19701 145 | 16 | 30 1452.64/1453.02 c 1452s | 21 | 4072515 | 1186245 | 19701 146 | 16 | 30 1454.64/1455.06 c 1454s | 21 | 4078205 | 1188045 | 19701 146 | 16 | 30 1456.74/1457.10 c 1456s | 21 | 4084338 | 1189845 | 19701 146 | 16 | 30 1458.74/1459.13 c 1458s | 21 | 4090084 | 1191645 | 19701 146 | 16 | 30 1460.84/1461.24 c 1460s | 21 | 4095086 | 1193445 | 19701 146 | 16 | 30 1462.84/1463.27 c 1462s | 21 | 4100411 | 1194745 | 19701 146 | 16 | 30 1464.94/1465.40 c 1465s | 21 | 4105690 | 1196045 | 19701 147 | 16 | 30 1467.04/1467.48 c 1467s | 21 | 4111658 | 1197645 | 19701 147 | 16 | 30 1469.14/1469.54 c 1469s | 21 | 4117466 | 1199245 | 19701 147 | 16 | 30 1471.24/1471.63 c 1471s | 21 | 4123642 | 1200945 | 19701 147 | 16 | 30 1473.24/1473.66 c 1473s | 21 | 4129289 | 1202545 | 19701 147 | 16 | 30 1475.34/1475.77 c 1475s | 21 | 4134558 | 1204245 | 19701 147 | 16 | 30 1477.44/1477.86 c 1477s | 21 | 4140342 | 1205845 | 19701 147 | 16 | 30 1479.54/1479.92 c 1479s | 21 | 4146318 | 1207545 | 19701 148 | 16 | 30 1481.63/1482.02 c 1481s | 21 | 4153345 | 1209445 | 19701 148 | 16 | 30 1483.73/1484.11 c 1483s | 21 | 4160391 | 1211345 | 19701 148 | 16 | 30 1485.94/1486.37 c 1486s | 21 | 4162192 | 1211945 | 19701 148 | 16 | 30 1488.04/1488.46 c 1488s | 21 | 4163115 | 1212245 | 19701 148 | 16 | 30 1490.03/1490.46 c 1490s | 21 | 4167345 | 1213745 | 19701 148 | 16 | 30 1492.13/1492.57 c 1492s | 21 | 4172566 | 1215245 | 19701 148 | 16 | 30 1494.23/1494.61 c 1494s | 21 | 4177755 | 1216745 | 19701 149 | 16 | 30 1496.23/1496.62 c 1496s | 21 | 4184390 | 1218345 | 19701 149 | 16 | 30 1498.23/1498.66 c 1498s | 21 | 4191466 | 1220245 | 19701 149 | 16 | 30 1500.33/1500.75 c 1500s | 21 | 4197150 | 1222045 | 19701 149 | 16 | 30 1502.34/1502.77 c 1502s | 21 | 4204236 | 1223745 | 19701 149 | 16 | 30 1504.44/1504.84 c 1504s | 21 | 4211238 | 1225445 | 19701 149 | 16 | 30 1506.43/1506.89 c 1506s | 21 | 4217610 | 1227145 | 19701 150 | 16 | 30 1508.53/1508.90 c 1508s | 21 | 4223600 | 1228945 | 19701 150 | 16 | 30 1510.53/1510.98 c 1510s | 21 | 4229125 | 1230545 | 19701 150 | 16 | 30 1512.63/1513.02 c 1512s | 21 | 4235809 | 1232345 | 19701 150 | 16 | 30 1514.63/1515.06 c 1514s | 21 | 4242320 | 1234145 | 19701 150 | 16 | 30 1516.73/1517.14 c 1516s | 21 | 4249060 | 1235945 | 19701 150 | 16 | 30 1518.73/1519.19 c 1518s | 21 | 4254992 | 1237645 | 19701 151 | 16 | 30 1520.83/1521.20 c 1520s | 21 | 4261955 | 1239545 | 19701 151 | 16 | 30 1522.93/1523.30 c 1522s | 21 | 4268274 | 1241445 | 19701 151 | 16 | 30 1525.12/1525.51 c 1525s | 21 | 4271848 | 1242445 | 19701 151 | 16 | 30 1527.22/1527.60 c 1527s | 21 | 4275973 | 1243845 | 19701 151 | 16 | 30 1529.22/1529.63 c 1529s | 21 | 4281108 | 1245345 | 19701 151 | 16 | 30 1531.22/1531.64 c 1531s | 21 | 4284071 | 1246545 | 19701 151 | 16 | 30 1533.22/1533.66 c 1533s | 21 | 4288852 | 1247845 | 19701 152 | 16 | 30 1535.33/1535.72 c 1535s | 21 | 4294411 | 1249545 | 19701 152 | 16 | 30 1537.43/1537.81 c 1537s | 21 | 4299054 | 1251145 | 19701 152 | 16 | 30 1539.42/1539.82 c 1539s | 21 | 4303535 | 1252545 | 19701 152 | 16 | 30 1541.52/1541.92 c 1541s | 21 | 4308638 | 1254145 | 19701 152 | 16 | 30 1543.53/1543.98 c 1543s | 21 | 4313966 | 1255645 | 19701 152 | 16 | 30 1545.63/1546.06 c 1545s | 21 | 4320185 | 1257145 | 19701 152 | 16 | 30 1547.63/1548.08 c 1547s | 21 | 4326055 | 1258645 | 19701 153 | 16 | 30 1549.73/1550.16 c 1549s | 21 | 4332458 | 1260245 | 19701 153 | 16 | 30 1551.83/1552.27 c 1551s | 21 | 4339410 | 1261945 | 19701 153 | 16 | 30 1553.93/1554.40 c 1554s | 21 | 4345303 | 1263645 | 19701 153 | 16 | 30 1556.03/1556.47 c 1556s | 21 | 4351584 | 1265245 | 19701 153 | 16 | 30 1558.13/1558.51 c 1558s | 21 | 4356080 | 1266745 | 19701 153 | 16 | 30 1560.13/1560.51 c 1560s | 21 | 4360897 | 1268245 | 19701 154 | 16 | 30 1562.13/1562.54 c 1562s | 21 | 4367468 | 1269945 | 19701 154 | 16 | 30 1564.23/1564.62 c 1564s | 21 | 4373708 | 1271745 | 19701 154 | 16 | 30 1566.22/1566.69 c 1566s | 21 | 4377644 | 1272945 | 19701 154 | 16 | 30 1568.33/1568.76 c 1568s | 21 | 4383414 | 1274645 | 19701 154 | 16 | 30 1570.32/1570.78 c 1570s | 21 | 4388670 | 1276045 | 19701 154 | 16 | 30 1572.42/1572.85 c 1572s | 21 | 4393306 | 1277545 | 19701 154 | 16 | 30 1574.52/1574.95 c 1574s | 21 | 4399414 | 1279145 | 19701 155 | 16 | 30 1576.52/1576.97 c 1576s | 21 | 4403737 | 1280545 | 19701 155 | 16 | 30 1578.62/1579.03 c 1578s | 21 | 4409021 | 1282245 | 19701 155 | 16 | 30 1580.62/1581.06 c 1580s | 21 | 4416461 | 1284145 | 19701 155 | 16 | 30 1582.72/1583.12 c 1582s | 21 | 4422150 | 1285845 | 19701 155 | 16 | 30 1584.83/1585.23 c 1584s | 21 | 4428179 | 1287545 | 19701 155 | 16 | 30 1586.82/1587.25 c 1586s | 21 | 4433247 | 1289145 | 19701 156 | 16 | 30 1588.92/1589.33 c 1588s | 21 | 4440214 | 1290945 | 19701 156 | 16 | 30 1590.92/1591.37 c 1591s | 21 | 4446486 | 1292745 | 19701 156 | 16 | 30 1593.02/1593.43 c 1593s | 21 | 4452577 | 1294545 | 19701 156 | 16 | 30 1595.02/1595.46 c 1595s | 21 | 4458893 | 1296245 | 19701 156 | 16 | 30 1597.12/1597.52 c 1597s | 21 | 4465726 | 1298045 | 19701 156 | 16 | 30 1599.12/1599.52 c 1599s | 21 | 4470969 | 1299745 | 19701 157 | 16 | 30 1601.12/1601.54 c 1601s | 21 | 4476791 | 1301545 | 19701 157 | 16 | 30 1603.21/1603.63 c 1603s | 21 | 4481532 | 1303045 | 19701 157 | 16 | 30 1605.31/1605.74 c 1605s | 21 | 4488272 | 1304645 | 19701 157 | 16 | 30 1607.31/1607.77 c 1607s | 21 | 4493567 | 1306145 | 19701 157 | 16 | 30 1609.31/1609.77 c 1609s | 21 | 4500369 | 1307945 | 19701 157 | 16 | 30 1611.31/1611.78 c 1611s | 21 | 4505647 | 1309445 | 19701 158 | 16 | 30 1613.42/1613.83 c 1613s | 21 | 4512136 | 1311245 | 19701 158 | 16 | 30 1615.52/1615.93 c 1615s | 21 | 4518105 | 1312845 | 19701 158 | 16 | 30 1617.51/1617.98 c 1617s | 21 | 4524128 | 1314445 | 19701 158 | 16 | 30 1619.61/1620.06 c 1619s | 21 | 4529012 | 1316145 | 19701 158 | 16 | 30 1621.71/1622.12 c 1621s | 21 | 4534906 | 1317745 | 19701 158 | 16 | 30 1623.71/1624.13 c 1623s | 21 | 4540133 | 1319245 | 19701 158 | 16 | 30 1625.81/1626.21 c 1625s | 21 | 4546031 | 1320945 | 19701 159 | 16 | 30 1627.81/1628.22 c 1627s | 21 | 4551936 | 1322645 | 19701 159 | 16 | 30 1629.82/1630.23 c 1629s | 21 | 4557673 | 1324245 | 19701 159 | 16 | 30 1631.91/1632.30 c 1631s | 21 | 4563681 | 1325945 | 19701 159 | 16 | 30 1633.91/1634.30 c 1633s | 21 | 4570400 | 1327545 | 19701 159 | 16 | 30 1636.01/1636.40 c 1636s | 21 | 4576436 | 1329245 | 19701 159 | 16 | 30 1638.11/1638.50 c 1638s | 21 | 4582137 | 1331045 | 19701 160 | 16 | 30 1640.11/1640.50 c 1640s | 21 | 4587089 | 1332345 | 19701 160 | 16 | 30 1642.11/1642.52 c 1642s | 21 | 4593013 | 1333945 | 19701 160 | 16 | 30 1644.11/1644.54 c 1644s | 21 | 4597340 | 1335345 | 19701 160 | 16 | 30 1646.10/1646.57 c 1646s | 21 | 4601364 | 1336845 | 19701 160 | 16 | 30 1648.10/1648.58 c 1648s | 21 | 4606387 | 1338445 | 19701 160 | 16 | 30 1650.10/1650.58 c 1650s | 21 | 4612089 | 1340045 | 19701 161 | 16 | 30 1652.20/1652.66 c 1652s | 21 | 4618140 | 1341745 | 19701 161 | 16 | 30 1654.20/1654.68 c 1654s | 21 | 4624625 | 1343445 | 19701 161 | 16 | 30 1656.31/1656.75 c 1656s | 21 | 4630270 | 1345045 | 19701 161 | 16 | 30 1658.41/1658.86 c 1658s | 21 | 4635147 | 1346745 | 19701 161 | 16 | 30 1660.41/1660.88 c 1660s | 21 | 4641091 | 1348245 | 19701 161 | 16 | 30 1662.51/1662.90 c 1662s | 21 | 4647177 | 1349745 | 19701 161 | 16 | 30 1664.51/1664.98 c 1664s | 21 | 4653856 | 1351345 | 19701 162 | 16 | 30 1666.71/1667.10 c 1666s | 21 | 4660904 | 1353145 | 19701 162 | 16 | 30 1668.71/1669.18 c 1668s | 21 | 4665734 | 1354345 | 19701 162 | 16 | 30 1670.81/1671.20 c 1670s | 21 | 4671618 | 1355845 | 19701 162 | 16 | 30 1672.81/1673.26 c 1672s | 21 | 4677905 | 1357345 | 19701 162 | 16 | 30 1674.81/1675.28 c 1674s | 21 | 4684244 | 1358845 | 19701 162 | 16 | 30 1676.91/1677.32 c 1676s | 21 | 4689420 | 1360245 | 19701 162 | 16 | 30 1678.91/1679.35 c 1678s | 21 | 4694671 | 1361745 | 19701 163 | 16 | 30 1680.91/1681.36 c 1681s | 21 | 4701202 | 1363445 | 19701 163 | 16 | 30 1683.01/1683.48 c 1683s | 21 | 4706991 | 1365245 | 19701 163 | 16 | 30 1685.00/1685.49 c 1685s | 21 | 4712541 | 1366845 | 19701 163 | 16 | 30 1687.11/1687.56 c 1687s | 21 | 4717447 | 1368445 | 19701 163 | 16 | 30 1689.21/1689.63 c 1689s | 21 | 4723407 | 1370045 | 19701 163 | 16 | 30 1691.20/1691.69 c 1691s | 21 | 4729381 | 1371745 | 19701 164 | 16 | 30 1693.40/1693.80 c 1693s | 21 | 4736233 | 1373545 | 19701 164 | 16 | 30 1695.40/1695.80 c 1695s | 21 | 4742814 | 1375245 | 19701 164 | 16 | 30 1697.40/1697.84 c 1697s | 21 | 4748546 | 1376945 | 19701 164 | 16 | 30 1699.50/1699.97 c 1699s | 21 | 4754374 | 1378445 | 19701 164 | 16 | 30 1701.60/1702.02 c 1701s | 21 | 4759044 | 1379845 | 19701 164 | 16 | 30 1703.61/1704.03 c 1703s | 21 | 4763904 | 1381345 | 19701 165 | 16 | 30 1705.60/1706.07 c 1705s | 21 | 4770243 | 1382945 | 19701 165 | 16 | 30 1707.70/1708.11 c 1707s | 21 | 4776291 | 1384545 | 19701 165 | 16 | 30 1709.80/1710.20 c 1709s | 21 | 4782353 | 1386145 | 19701 165 | 16 | 30 1711.90/1712.32 c 1711s | 21 | 4786819 | 1387445 | 19701 165 | 16 | 30 1713.90/1714.34 c 1713s | 21 | 4792130 | 1389045 | 19701 165 | 16 | 30 1716.00/1716.48 c 1716s | 21 | 4797707 | 1390645 | 19701 165 | 16 | 30 1718.20/1718.63 c 1718s | 21 | 4802363 | 1392145 | 19701 166 | 16 | 30 1720.30/1720.73 c 1720s | 21 | 4808192 | 1393745 | 19701 166 | 16 | 30 1722.30/1722.78 c 1722s | 21 | 4813831 | 1395345 | 19701 166 | 16 | 30 1724.40/1724.82 c 1724s | 21 | 4819416 | 1396945 | 19701 166 | 16 | 30 1726.40/1726.88 c 1726s | 21 | 4824407 | 1398445 | 19701 166 | 16 | 30 1728.50/1728.92 c 1728s | 21 | 4829624 | 1399945 | 19701 166 | 16 | 30 1730.50/1730.95 c 1730s | 21 | 4835395 | 1401545 | 19701 166 | 16 | 30 1732.59/1733.06 c 1732s | 21 | 4842036 | 1403345 | 19701 167 | 16 | 30 1734.69/1735.14 c 1734s | 21 | 4848131 | 1405145 | 19701 167 | 16 | 30 1736.69/1737.19 c 1736s | 21 | 4853174 | 1406745 | 19701 167 | 16 | 30 1738.80/1739.24 c 1738s | 21 | 4856954 | 1408045 | 19701 167 | 16 | 30 1740.90/1741.32 c 1740s | 21 | 4862462 | 1409545 | 19701 167 | 16 | 30 1742.89/1743.36 c 1743s | 21 | 4866759 | 1410945 | 19701 167 | 16 | 30 1744.89/1745.37 c 1745s | 21 | 4870528 | 1412245 | 19701 168 | 16 | 30 1746.99/1747.44 c 1747s | 21 | 4876562 | 1414045 | 19701 168 | 16 | 30 1749.09/1749.54 c 1749s | 21 | 4881511 | 1415645 | 19701 168 | 16 | 30 1751.09/1751.56 c 1751s | 21 | 4885496 | 1417045 | 19701 168 | 16 | 30 1753.10/1753.56 c 1753s | 21 | 4890833 | 1418545 | 19701 168 | 16 | 30 1755.20/1755.63 c 1755s | 21 | 4895662 | 1420045 | 19701 168 | 16 | 30 1757.19/1757.64 c 1757s | 21 | 4900314 | 1421445 | 19701 168 | 16 | 30 1759.29/1759.72 c 1759s | 21 | 4904919 | 1422745 | 19701 169 | 16 | 30 1761.29/1761.72 c 1761s | 21 | 4910620 | 1424345 | 19701 169 | 16 | 30 1763.29/1763.77 c 1763s | 21 | 4916031 | 1425945 | 19701 169 | 16 | 30 1765.29/1765.79 c 1765s | 21 | 4920938 | 1427445 | 19701 169 | 16 | 30 1767.40/1767.82 c 1767s | 21 | 4927118 | 1429045 | 19701 169 | 16 | 30 1769.39/1769.89 c 1769s | 21 | 4933080 | 1430645 | 19701 169 | 16 | 30 1771.49/1771.93 c 1771s | 21 | 4938450 | 1432245 | 19701 169 | 16 | 30 1773.59/1774.01 c 1773s | 21 | 4944353 | 1433945 | 19701 170 | 16 | 30 1775.69/1776.11 c 1775s | 21 | 4950153 | 1435545 | 19701 170 | 16 | 30 1777.69/1778.14 c 1777s | 21 | 4956257 | 1436945 | 19701 170 | 16 | 30 1779.69/1780.16 c 1779s | 21 | 4962430 | 1438545 | 19701 170 | 16 | 30 1781.79/1782.28 c 1781s | 21 | 4968003 | 1440245 | 19701 170 | 16 | 30 1783.79/1784.30 c 1783s | 21 | 4972999 | 1441845 | 19701 170 | 16 | 30 1785.89/1786.33 c 1785s | 21 | 4977791 | 1443345 | 19701 171 | 16 | 30 1787.98/1788.41 c 1788s | 21 | 4983414 | 1444845 | 19701 171 | 16 | 30 1789.98/1790.48 c 1790s | 21 | 4989310 | 1446445 | 19701 171 | 16 | 30 1792.08/1792.54 c 1792s | 21 | 4994873 | 1448045 | 19701 171 | 16 | 30 1794.08/1794.58 c 1794s | 21 | 5000786 | 1449645 | 19701 171 | 16 | 30 1796.18/1796.70 c 1796s | 21 | 5005951 | 1451245 | 19701 171 | 16 | 30 1798.28/1798.75 c 1798s | 21 | 5011017 | 1452745 | 19701 171 | 16 | 30
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-4106628-1467239531/watcher-4106628-1467239531 -o /tmp/evaluation-result-4106628-1467239531/solver-4106628-1467239531 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4633 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106628-1467239531.opb pid=5124 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.14 2.10 3/179 5127 /proc/meminfo: memFree=29806292/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=705980 CPUtime=0 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 2973020 722923520 2992 33554432000 4194304 16246674 140735875599248 140735875598672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 177263 3000 441 2943 0 174157 0 [pid=5127/tid=5128] ppid=5124 vsize=723388 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 740749312 3059 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 744943616 3076 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=737724 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 755429376 3115 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100164 s] /proc/loadavg: 2.09 2.14 2.10 3/179 5127 /proc/meminfo: memFree=29806292/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1219140 CPUtime=0.09 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 24212 0 0 0 6 3 0 0 20 0 4 0 2973020 1248399360 24538 33554432000 4194304 16246674 140735875599248 140735875598672 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 304785 24543 791 2943 0 301679 0 [pid=5127/tid=5128] ppid=5124 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1248399360 24546 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1248399360 24549 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1248399360 24552 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1219140 [startup+0.200503 s] /proc/loadavg: 2.09 2.14 2.10 3/179 5127 /proc/meminfo: memFree=29806292/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 32729 0 0 0 15 4 0 0 20 0 4 0 2973020 1251545088 33054 33554432000 4194304 16246674 140735875599248 140735875598560 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 305553 33067 841 2943 0 302447 0 [pid=5127/tid=5128] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 33078 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 33088 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 33098 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300495 s] /proc/loadavg: 2.09 2.14 2.10 3/179 5127 /proc/meminfo: memFree=29806292/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1222212 CPUtime=0.29 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 55611 0 0 0 22 7 0 0 20 0 4 0 2973020 1251545088 55937 33554432000 4194304 16246674 140735875599248 140735875598560 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 305553 55951 841 2943 0 302447 0 [pid=5127/tid=5128] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 55960 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 55968 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 55976 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700409 s] /proc/loadavg: 2.09 2.14 2.10 3/179 5127 /proc/meminfo: memFree=29806292/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1222212 CPUtime=0.69 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 140805 0 0 0 52 17 0 0 20 0 4 0 2973020 1251545088 141130 33554432000 4194304 16246674 140735875599248 140735875581120 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 305553 141139 842 2943 0 302447 0 [pid=5127/tid=5128] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 141143 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 141146 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1251545088 141149 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.5004 s] /proc/loadavg: 2.08 2.13 2.10 3/183 5131 /proc/meminfo: memFree=28910188/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 266348 0 0 0 114 35 0 0 20 0 4 0 2973020 1332285440 266673 33554432000 4194304 16246674 140735875599248 140735875581120 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 325265 266673 844 2943 0 322159 0 [pid=5127/tid=5128] ppid=5124 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1332285440 266673 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1332285440 266673 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1332285440 266673 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10041 s] /proc/loadavg: 2.08 2.13 2.10 3/183 5180 /proc/meminfo: memFree=29615216/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 267634 0 0 0 274 35 0 0 20 0 4 0 2973020 1337528320 267959 33554432000 4194304 16246674 140735875599248 140735875582248 6022520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 326545 267959 846 2943 0 323439 0 [pid=5127/tid=5128] ppid=5124 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1337528320 267959 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1337528320 267959 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1337528320 267959 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.08 2.13 2.10 3/183 5180 /proc/meminfo: memFree=29206040/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 267657 0 0 0 594 35 0 0 20 0 4 0 2973020 1338576896 267982 33554432000 4194304 16246674 140735875599248 140735875581120 5675369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 326801 267982 846 2943 0 323695 0 [pid=5127/tid=5128] ppid=5124 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1338576896 267982 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1338576896 267982 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1338576896 267982 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.07 2.13 2.10 3/183 5180 /proc/meminfo: memFree=28722344/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 268661 0 0 0 1234 35 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140735875598424 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 327569 268986 849 2943 0 324463 0 [pid=5127/tid=5128] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.06 2.12 2.10 3/183 5180 /proc/meminfo: memFree=28723352/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 268661 0 0 0 2513 35 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140735875581120 5673523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 327569 268986 849 2943 0 324463 0 [pid=5127/tid=5128] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1341722624 268986 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.04 2.11 2.09 3/183 5180 /proc/meminfo: memFree=28720652/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1313348 CPUtime=51.09 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 269430 0 0 0 5073 36 0 0 20 0 4 0 2973020 1344868352 269754 33554432000 4194304 16246674 140735875599248 140735875581120 5823821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 328337 269754 849 2943 0 325231 0 [pid=5127/tid=5128] ppid=5124 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1344868352 269754 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1344868352 269754 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1344868352 269754 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1313348 [startup+102.301 s] /proc/loadavg: 2.05 2.11 2.09 3/183 5181 /proc/meminfo: memFree=28711888/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1322564 CPUtime=102.28 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 271739 0 0 0 10191 37 0 0 20 0 4 0 2973020 1354305536 272058 33554432000 4194304 16246674 140735875599248 140735875581120 5661444 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 330641 272058 849 2943 0 327535 0 [pid=5127/tid=5128] ppid=5124 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1354305536 272058 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1354305536 272058 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1354305536 272058 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1379471360 278205 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.16 2.14 2.09 3/182 5213 /proc/meminfo: memFree=28647968/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1347140 CPUtime=1361.95 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 278117 0 0 0 136148 47 0 0 20 0 4 0 2973020 1379471360 278205 33554432000 4194304 16246674 140735875599248 140735875598344 5673777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 336785 278205 850 2943 0 333679 0 [pid=5127/tid=5128] ppid=5124 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1379471360 278205 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1379471360 278205 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1379471360 278205 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.11 2.12 2.09 3/183 5215 /proc/meminfo: memFree=28640104/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1421.95 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 142147 48 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875581120 5674559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1355332 [startup+1482.3 s] /proc/loadavg: 2.14 2.13 2.09 3/183 5216 /proc/meminfo: memFree=28639860/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1481.93 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 148145 48 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875581120 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1355332 [startup+1542.31 s] /proc/loadavg: 2.20 2.15 2.10 3/183 5217 /proc/meminfo: memFree=28639740/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1541.94 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 154144 50 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875581120 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1355332 [startup+1602.3 s] /proc/loadavg: 2.20 2.15 2.10 3/183 5218 /proc/meminfo: memFree=28639620/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1601.92 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 160142 50 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875581120 5662186 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1355332 [startup+1662.3 s] /proc/loadavg: 2.11 2.14 2.09 3/183 5219 /proc/meminfo: memFree=28639748/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1661.91 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 166140 51 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875581120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1355332 [startup+1722.3 s] /proc/loadavg: 2.15 2.14 2.09 3/184 5224 /proc/meminfo: memFree=28639272/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1721.9 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280165 0 0 0 172139 51 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140735875582248 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280253 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280253 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1355332 [startup+1782.3 s] /proc/loadavg: 2.11 2.13 2.09 3/184 5248 /proc/meminfo: memFree=28636772/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1781.89 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280166 0 0 0 178138 51 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140735875581120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280509 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1355332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.08 2.12 2.09 3/183 5248 /proc/meminfo: memFree=28637156/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1800.08 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280166 0 0 0 179957 51 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140735875581120 13927352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280509 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1355332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5127 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.08 2.12 2.09 3/183 5248 /proc/meminfo: memFree=28637156/32872528 swapFree=478180/527236 [pid=5127] ppid=5124 vsize=1355332 CPUtime=1800.08 cores=1,3,5,7 /proc/5127/stat : 5127 (toysat) R 5124 5127 1982 0 -1 4202496 280166 0 0 0 179957 51 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140735875581120 13927352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5127/statm: 338833 280509 850 2943 0 335727 0 [pid=5127/tid=5128] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5128/stat : 5128 (toysat) S 5124 5127 1982 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118366072048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5127/tid=5129] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5129/stat : 5129 (toysat) S 5124 5127 1982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118355582192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5127/tid=5130] ppid=5124 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/5127/task/5130/stat : 5130 (toysat) S 5124 5127 1982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2973020 1387859968 280509 33554432000 4194304 16246674 140735875599248 140118274862256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1355332 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.58 CPU system time (s): 0.518921 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 1355332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.518921 maximum resident set size= 1122036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280166 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= 255 involuntary context switches= 1983 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.86926 second user time and 6.65499 second system time The end
Begin job on node141 at 2016-06-30 00:32:11 IDJOB=4106628 IDBENCH=48146 IDSOLVER=2542 FILE ID=node141/4106628-1467239531 RUNJOBID= node141-1467234127-4633 PBS_JOBID= 19997592 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106628-1467239531/watcher-4106628-1467239531 -o /tmp/evaluation-result-4106628-1467239531/solver-4106628-1467239531 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467234127-4633 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106628-1467239531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9 RANDOM SEED=1339338180 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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 : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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 : 5339.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29806852 kB Buffers: 83928 kB Cached: 654940 kB SwapCached: 0 kB Active: 1217796 kB Inactive: 610372 kB Active(anon): 1091732 kB Inactive(anon): 4 kB Active(file): 126064 kB Inactive(file): 610368 kB Unevictable: 527236 kB Mlocked: 478180 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16368 kB Writeback: 12 kB AnonPages: 1615904 kB Mapped: 17344 kB Shmem: 204 kB Slab: 577980 kB SReclaimable: 22092 kB SUnreclaim: 555888 kB KernelStack: 1464 kB PageTables: 7012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1752016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1118208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node141 at 2016-06-30 01:02:12