Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb |
| MD5SUM | 54e50bd6cbfbb2a5705269c41241de9a |
| 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 | 27 |
| 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 | 20 |
| 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) | 2492 |
| Sum of products size (including duplicates) | 4984 |
| Number of different products | 2492 |
| Sum of products size | 4984 |
0.00/0.00 c 2016-06-07T01:53:54+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-4080128-1465257233.opb"] 0.00/0.01 c use --random-gen="1859544538 503605745 2455465493 607714138 3858963456 949997621 1588627997 2021419246 339994461 4222852283 3874503178 2732167844 1613819315 3107638171 2454913057 1254003108 3256933831 2209582840 2980345920 3359874608 1607700410 2494357023 1946421220 3637541843 3800337592 2492504419 1126265642 3909266782 2932226280 2550491883 2825836039 3492458117 2005656495 3222055673 3821588509 2990307991 483040599 410204272 3604731845 568123565 2774487864 573491255 3205135620 1752696410 451513206 1161322836 2308627229 333307049 516465054 3658656320 1134813279 412490600 4202969111 1020057891 261439959 1992560725 615555894 395396204 2203393758 2996737284 2800988298 4060740275 1759218350 469302919 2067235321 153479918 2970976033 1228528007 4009156303 248951647 924950330 3128977892 3079002420 4192483761 2956256256 2422904500 1679827823 902515672 2516633571 3707036838 2510949845 1203582137 1324269313 4015745552 1500396931 2402031225 2172413126 3732516326 2716759460 3549106486 2995814080 3549509660 1105461047 3101799778 421913563 4235420459 2109973349 2807428924 3878735510 1260501263 3375101376 2935593996 1819990829 4259352026 238548547 2931268489 1554943878 3415248502 3775038046 2174307179 53411641 4234680819 3503816671 2002298234 516205054 4085585499 2593920855 4048173584 1895807847 3044435757 1651714080 1883608296 2480945974 1625477123 2666604934 3541933525 591554226 2868682650 2164535456 1840948814 2839837443 385756322 2452653076 818578491 2091362383 603811744 3994309106 2918377149 3768087517 1394925417 2397264752 3832091436 1892977968 1593787466 648704496 4133811481 2249025836 2243272801 2713218227 58282696 193340045 1937566706 3011078264 2793052574 2703277212 1534421144 2485131565 3081113315 1397692829 2760822274 2467494093 926838176 4255773935 3794469788 3733231244 1453765979 2678223760 662475404 3533396943 2652815729 3635153385 526058638 2405797525 3177247017 1467569825 853107025 4066823211 713570404 150377879 4092437810 1119228054 1877563060 769689483 3933611587 1587795881 3963946822 128415972 1465876077 4107905990 104461232 577118321 95456782 3861267124 2290785285 173161112 2254725485 736179643 2569300150 3898592472 1378928407 4033198667 515669343 3013851182 4267752696 979636617 161275621 318057427 2589581243 3079904568 2173363325 1085598581 3136528919 3479612164 4180456640 1533596546 3837604724 2768330008 1577225297 874856713 796984030 3806005493 3777841346 3423622790 2655245571 3425426574 2243221320 1649260003 3297416340 1869772549 1528295701 2959511666 576315241 778113184 1888081915 4256183963 1932074250 2949327787 161938648 896229834 3014625677 245958917 2516592513 858459475 3837513309 1964362312 1767836098 2797409083 3100286362 1420771120 3286441539 3866718629 2417961764 1261426128 3151232484 23944733 1979501150 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.06 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.00/0.07 c 0.0s | 0 | 476 | 0 | 2625 0 | 0 | 0 0.00/0.07 c #cpu_time = 0.009s 0.00/0.07 c #wall_clock_time = 0.009s 0.00/0.07 c #decision = 476 0.00/0.07 c #random_decision = 1 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.08 o 156 0.00/0.08 c BCD2: updating upper bound: 200 -> 155 0.00/0.08 c BCD2: 0 <= obj <= 155 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 | 2625 0 | 0 | 0 0.00/0.08 c 0.0s | 0 | 141 | 0 | 2625 0 | 0 | 0 0.00/0.08 c #cpu_time = 0.007s 0.00/0.08 c #wall_clock_time = 0.007s 0.00/0.08 c #decision = 141 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 <= 155 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 | 2625 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 156 | 0 | 2625 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.007s 0.00/0.09 c #wall_clock_time = 0.007s 0.00/0.09 c #decision = 156 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 11: 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 <= 155 0.00/0.09 c BCD2: #cores=2, #unrelaxed=175, #relaxed=25, #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 | 2625 0 | 0 | 0 0.08/0.10 c 0.0s | 0 | 147 | 0 | 2625 0 | 0 | 0 0.08/0.10 c #cpu_time = 0.007s 0.08/0.10 c #wall_clock_time = 0.007s 0.08/0.10 c #decision = 147 0.08/0.10 c #random_decision = 0 0.08/0.10 c #conflict = 0 0.08/0.10 c #restart = 0 0.08/0.10 c BCD2: found a new core of size 11: cost of the new core is >=1 0.08/0.10 c lower bound updated to 3 0.08/0.10 c BCD2: 3 <= obj <= 155 0.08/0.10 c BCD2: #cores=3, #unrelaxed=164, #relaxed=36, #hardened=0 0.08/0.10 c BCD2: #sat=1 #unsat=4 bias=4/5 0.08/0.10 c Solving starts ... 0.08/0.10 c ============================[ Search Statistics ]============================ 0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.10 c | | | | Limit GC | Var | Constra 0.08/0.10 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 144 | 0 | 2625 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.003s 0.08/0.11 c #wall_clock_time = 0.003s 0.08/0.11 c #decision = 144 0.08/0.11 c #random_decision = 0 0.08/0.11 c #conflict = 0 0.08/0.11 c #restart = 0 0.08/0.11 c BCD2: found a new core of size 12: cost of the new core is >=1 0.08/0.11 c lower bound updated to 4 0.08/0.11 c BCD2: 4 <= obj <= 155 0.08/0.11 c BCD2: #cores=4, #unrelaxed=152, #relaxed=48, #hardened=0 0.08/0.11 c BCD2: #sat=1 #unsat=5 bias=5/6 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 137 | 0 | 2625 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.003s 0.08/0.12 c #wall_clock_time = 0.003s 0.08/0.12 c #decision = 137 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 0 0.08/0.12 c #restart = 0 0.08/0.12 c BCD2: found a new core of size 15: cost of the new core is >=1 0.08/0.12 c lower bound updated to 5 0.08/0.12 c BCD2: 5 <= obj <= 155 0.08/0.12 c BCD2: #cores=5, #unrelaxed=137, #relaxed=63, #hardened=0 0.08/0.12 c BCD2: #sat=1 #unsat=6 bias=6/7 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 131 | 0 | 2625 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.003s 0.08/0.12 c #wall_clock_time = 0.003s 0.08/0.12 c #decision = 131 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 0 0.08/0.12 c #restart = 0 0.08/0.12 c BCD2: found a new core of size 15: cost of the new core is >=1 0.08/0.12 c lower bound updated to 6 0.08/0.12 c BCD2: 6 <= obj <= 155 0.08/0.12 c BCD2: #cores=6, #unrelaxed=122, #relaxed=78, #hardened=0 0.08/0.12 c BCD2: #sat=1 #unsat=7 bias=7/8 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.08/0.13 c 0.0s | 0 | 118 | 0 | 2625 0 | 0 | 0 0.08/0.13 c #cpu_time = 0.003s 0.08/0.13 c #wall_clock_time = 0.003s 0.08/0.13 c #decision = 118 0.08/0.13 c #random_decision = 0 0.08/0.13 c #conflict = 0 0.08/0.13 c #restart = 0 0.08/0.13 c BCD2: found a new core of size 14: cost of the new core is >=1 0.08/0.13 c lower bound updated to 7 0.08/0.13 c BCD2: 7 <= obj <= 155 0.08/0.13 c BCD2: #cores=7, #unrelaxed=108, #relaxed=92, #hardened=0 0.08/0.13 c BCD2: #sat=1 #unsat=8 bias=8/9 0.08/0.13 c Solving starts ... 0.08/0.13 c ============================[ Search Statistics ]============================ 0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.13 c | | | | Limit GC | Var | Constra 0.08/0.13 c ============================================================================= 0.08/0.13 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 0 0.08/0.13 c 0.0s | 0 | 679 | 0 | 2625 0 | 0 | 0 0.08/0.13 c #cpu_time = 0.004s 0.08/0.13 c #wall_clock_time = 0.004s 0.08/0.13 c #decision = 679 0.08/0.13 c #random_decision = 0 0.08/0.13 c #conflict = 0 0.08/0.13 c #restart = 0 0.08/0.13 o 44 0.08/0.13 c BCD2: updating upper bound: 155 -> 43 0.08/0.13 c BCD2: 7 <= obj <= 43 0.08/0.13 c BCD2: #cores=7, #unrelaxed=108, #relaxed=92, #hardened=0 0.08/0.13 c BCD2: #sat=2 #unsat=8 bias=8/10 0.08/0.13 c Solving starts ... 0.08/0.13 c ============================[ Search Statistics ]============================ 0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.13 c | | | | Limit GC | Var | Constra 0.08/0.13 c ============================================================================= 0.08/0.13 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 1 0.08/0.14 c 0.0s | 0 | 454 | 3 | 2625 0 | 0 | 1 0.08/0.14 c #cpu_time = 0.005s 0.08/0.14 c #wall_clock_time = 0.005s 0.08/0.14 c #decision = 454 0.08/0.14 c #random_decision = 2 0.08/0.14 c #conflict = 3 0.08/0.14 c #restart = 0 0.08/0.14 o 34 0.08/0.14 c BCD2: updating upper bound: 43 -> 33 0.08/0.14 c BCD2: 7 <= obj <= 33 0.08/0.14 c BCD2: #cores=7, #unrelaxed=108, #relaxed=92, #hardened=0 0.08/0.14 c BCD2: #sat=3 #unsat=8 bias=8/11 0.08/0.14 c Solving starts ... 0.08/0.14 c ============================[ Search Statistics ]============================ 0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.14 c | | | | Limit GC | Var | Constra 0.08/0.14 c ============================================================================= 0.08/0.14 c 0.0s | 0 | 0 | 0 | 2625 0 | 0 | 2 0.19/0.20 c 0.1s | 1 | 275 | 100 | 2888 0 | 0 | 2 0.29/0.32 c 0.2s | 2 | 593 | 250 | 3177 0 | 0 | 2 0.48/0.51 c 0.4s | 3 | 1016 | 475 | 3495 0 | 0 | 2 0.69/0.78 c 0.6s | 4 | 1604 | 813 | 3845 0 | 0 | 2 1.20/1.26 c 1.1s | 5 | 2453 | 1320 | 4230 0 | 0 | 2 1.78/1.83 c 1.7s | 6 | 3568 | 2081 | 4653 0 | 0 | 2 2.68/2.75 c 2.6s | 7 | 5154 | 3223 | 5119 0 | 0 | 2 3.68/3.76 c 3.6s | 7 | 6818 | 4458 | 5119 0 | 0 | 2 3.68/3.76 c #cpu_time = 3.612s 3.68/3.76 c #wall_clock_time = 3.620s 3.68/3.76 c #decision = 6818 3.68/3.76 c #random_decision = 7 3.68/3.76 c #conflict = 4458 3.68/3.76 c #restart = 7 3.68/3.76 c BCD2: relaxing 108 and merging with 7 cores into a new core of size 200: cost of the new core is >=8 3.68/3.76 c lower bound updated to 8 3.68/3.76 c BCD2: 8 <= obj <= 33 3.68/3.76 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 3.68/3.76 c BCD2: #sat=3 #unsat=9 bias=9/12 3.68/3.76 c Solving starts ... 3.68/3.76 c ============================[ Search Statistics ]============================ 3.68/3.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.68/3.76 c | | | | Limit GC | Var | Constra 3.68/3.76 c ============================================================================= 3.68/3.76 c 0.0s | 0 | 0 | 0 | 5119 0 | 27 | 2 3.88/3.93 c 0.2s | 1 | 522 | 100 | 5119 0 | 27 | 49 4.08/4.15 c 0.4s | 2 | 1392 | 250 | 5119 0 | 27 | 49 4.38/4.42 c 0.7s | 3 | 2402 | 475 | 5631 0 | 27 | 49 4.78/4.84 c 1.1s | 4 | 4061 | 813 | 5631 0 | 27 | 49 5.38/5.41 c 1.7s | 5 | 5804 | 1320 | 5631 0 | 27 | 49 6.28/6.33 c 2.6s | 6 | 8748 | 2081 | 5631 0 | 27 | 49 7.57/7.69 c 3.9s | 7 | 11923 | 3223 | 6195 0 | 27 | 49 9.67/9.72 c 6.0s | 7 | 17835 | 4823 | 6195 0 | 27 | 49 9.77/9.85 c 6.1s | 8 | 18195 | 4936 | 6195 0 | 27 | 49 11.77/11.87 c 8.1s | 8 | 23561 | 6436 | 6195 0 | 27 | 49 13.37/13.45 c 9.7s | 9 | 28123 | 7506 | 6815 1 | 27 | 49 15.38/15.49 c 11.7s | 9 | 33430 | 9006 | 6815 1 | 27 | 49 17.47/17.50 c 13.7s | 9 | 37500 | 10506 | 6815 1 | 27 | 49 18.57/18.68 c 14.9s | 10 | 40751 | 11361 | 6815 2 | 27 | 49 20.57/20.69 c 16.9s | 10 | 46250 | 12861 | 7497 2 | 27 | 49 22.67/22.75 c 19.0s | 10 | 51203 | 14361 | 7497 2 | 27 | 49 24.67/24.76 c 21.0s | 10 | 55907 | 15761 | 7497 3 | 27 | 49 26.57/26.67 c 22.9s | 11 | 61108 | 17144 | 7497 3 | 27 | 49 28.58/28.67 c 24.9s | 11 | 66705 | 18544 | 7497 3 | 27 | 49 30.67/30.77 c 27.0s | 11 | 71783 | 20044 | 7497 4 | 27 | 49 32.77/32.86 c 29.1s | 11 | 76769 | 21544 | 8247 4 | 27 | 49 34.77/34.87 c 31.1s | 11 | 80913 | 23044 | 8247 4 | 27 | 49 36.87/36.96 c 33.2s | 11 | 85764 | 24444 | 8247 5 | 27 | 49 38.77/38.85 c 35.1s | 12 | 90298 | 25819 | 8247 5 | 27 | 49 40.87/40.96 c 37.2s | 12 | 95865 | 27219 | 8247 5 | 27 | 49 42.87/42.97 c 39.2s | 12 | 100581 | 28619 | 8247 6 | 27 | 49 44.97/45.05 c 41.3s | 12 | 106454 | 30219 | 8247 6 | 27 | 49 46.96/47.08 c 43.3s | 12 | 111510 | 31619 | 8247 6 | 27 | 49 49.06/49.13 c 45.4s | 12 | 117317 | 33019 | 8247 7 | 27 | 49 51.06/51.14 c 47.4s | 12 | 122299 | 34519 | 9072 7 | 27 | 49 53.16/53.24 c 49.5s | 12 | 127938 | 35919 | 9072 7 | 27 | 49 55.17/55.27 c 51.5s | 12 | 133359 | 37319 | 9072 7 | 27 | 49 57.28/57.33 c 53.6s | 12 | 138355 | 38719 | 9072 8 | 27 | 49 57.47/57.50 c 53.7s | 13 | 138814 | 38832 | 9072 8 | 27 | 49 59.57/59.61 c 55.8s | 13 | 144085 | 40332 | 9072 8 | 27 | 49 61.57/61.70 c 57.9s | 13 | 149125 | 41832 | 9072 8 | 27 | 49 63.67/63.78 c 60.0s | 13 | 154526 | 43432 | 9072 9 | 27 | 49 65.77/65.81 c 62.0s | 13 | 159700 | 44932 | 9072 9 | 27 | 49 67.87/67.92 c 64.2s | 13 | 165179 | 46532 | 9072 9 | 27 | 49 69.97/70.04 c 66.3s | 13 | 170729 | 48132 | 9072 10 | 27 | 49 72.07/72.14 c 68.4s | 13 | 175998 | 49732 | 9072 10 | 27 | 49 74.17/74.26 c 70.5s | 13 | 181842 | 51332 | 9072 10 | 27 | 49 76.26/76.37 c 72.6s | 13 | 187356 | 52832 | 9072 11 | 27 | 49 78.26/78.38 c 74.6s | 13 | 192373 | 54332 | 9980 11 | 27 | 49 80.37/80.47 c 76.7s | 13 | 196604 | 55932 | 9980 11 | 27 | 49 82.36/82.49 c 78.7s | 13 | 201446 | 57432 | 9980 11 | 27 | 49 83.76/83.80 c 80.0s | 14 | 204395 | 58352 | 9980 12 | 27 | 49 85.77/85.87 c 82.1s | 14 | 208395 | 59552 | 9980 12 | 27 | 49 87.76/87.88 c 84.1s | 14 | 212475 | 60852 | 9980 12 | 27 | 49 89.86/89.99 c 86.2s | 14 | 217053 | 62352 | 9980 12 | 27 | 49 91.96/92.02 c 88.3s | 14 | 221426 | 63752 | 9980 13 | 27 | 49 94.06/94.15 c 90.4s | 14 | 226533 | 65252 | 9980 13 | 27 | 49 96.16/96.20 c 92.4s | 14 | 231178 | 66852 | 9980 13 | 27 | 49 98.16/98.21 c 94.4s | 14 | 236594 | 68252 | 9980 13 | 27 | 49 100.17/100.27 c 96.5s | 14 | 241913 | 69752 | 9980 14 | 27 | 49 102.27/102.40 c 98.6s | 14 | 247272 | 71352 | 9980 14 | 27 | 49 104.36/104.46 c 100s | 14 | 252478 | 72852 | 9980 14 | 27 | 49 106.36/106.47 c 102s | 14 | 257032 | 74252 | 9980 15 | 27 | 49 108.46/108.59 c 104s | 14 | 262177 | 75752 | 9980 15 | 27 | 49 110.56/110.67 c 106s | 14 | 266802 | 77252 | 9980 15 | 27 | 49 112.66/112.77 c 109s | 14 | 271919 | 78852 | 9980 15 | 27 | 49 114.66/114.78 c 111s | 14 | 276499 | 80352 | 9980 16 | 27 | 49 116.66/116.79 c 113s | 14 | 280849 | 81752 | 9980 16 | 27 | 49 118.86/118.91 c 115s | 14 | 286083 | 83252 | 10978 16 | 27 | 49 120.85/120.93 c 117s | 14 | 291082 | 84652 | 10978 16 | 27 | 49 122.85/122.94 c 119s | 14 | 295789 | 86052 | 10978 17 | 27 | 49 124.85/124.95 c 121s | 15 | 300898 | 87632 | 10978 17 | 27 | 49 126.86/126.95 c 123s | 15 | 304824 | 88732 | 10978 17 | 27 | 49 128.96/129.01 c 125s | 15 | 309683 | 90132 | 10978 17 | 27 | 49 130.96/131.06 c 127s | 15 | 314365 | 91532 | 10978 18 | 27 | 49 133.06/133.13 c 129s | 15 | 320027 | 92832 | 10978 18 | 27 | 49 135.06/135.19 c 131s | 15 | 325574 | 94232 | 10978 18 | 27 | 49 137.26/137.31 c 133s | 15 | 331352 | 95832 | 10978 18 | 27 | 49 139.36/139.43 c 135s | 15 | 336425 | 97232 | 10978 19 | 27 | 49 141.36/141.47 c 137s | 15 | 341413 | 98732 | 10978 19 | 27 | 49 143.46/143.56 c 139s | 15 | 346079 | 100232 | 10978 19 | 27 | 49 145.45/145.57 c 141s | 15 | 351121 | 101632 | 10978 19 | 27 | 49 147.55/147.67 c 143s | 15 | 356111 | 103132 | 10978 20 | 27 | 49 149.66/149.71 c 145s | 15 | 361730 | 104632 | 10978 20 | 27 | 49 151.65/151.78 c 148s | 15 | 367276 | 106232 | 10978 20 | 27 | 49 153.75/153.85 c 150s | 15 | 372056 | 107732 | 10978 20 | 27 | 49 155.75/155.88 c 152s | 15 | 376349 | 109032 | 10978 21 | 27 | 49 157.85/158.00 c 154s | 15 | 382160 | 110532 | 10978 21 | 27 | 49 159.95/160.00 c 156s | 15 | 386466 | 111832 | 10978 21 | 27 | 49 162.05/162.12 c 158s | 15 | 391727 | 113332 | 10978 21 | 27 | 49 164.05/164.19 c 160s | 15 | 396677 | 114732 | 10978 22 | 27 | 49 166.15/166.26 c 162s | 15 | 401774 | 116232 | 10978 22 | 27 | 49 168.15/168.29 c 164s | 15 | 406015 | 117732 | 10978 22 | 27 | 49 170.25/170.30 c 166s | 15 | 411170 | 119132 | 10978 22 | 27 | 49 172.25/172.38 c 168s | 15 | 416319 | 120632 | 10978 23 | 27 | 49 174.35/174.45 c 170s | 15 | 420955 | 122132 | 10978 23 | 27 | 49 176.45/176.51 c 172s | 15 | 426175 | 123632 | 10978 23 | 27 | 49 178.45/178.59 c 174s | 15 | 431509 | 125132 | 10978 23 | 27 | 49 180.65/180.73 c 176s | 15 | 436127 | 126632 | 12076 24 | 27 | 49 182.66/182.76 c 178s | 15 | 441711 | 128132 | 12076 24 | 27 | 49 184.76/184.85 c 181s | 15 | 447643 | 129632 | 12076 24 | 27 | 49 186.85/186.98 c 183s | 15 | 453639 | 131132 | 12076 24 | 27 | 49 187.45/187.59 c 183s | 16 | 455451 | 131552 | 12076 24 | 27 | 49 189.65/189.74 c 185s | 16 | 459383 | 132652 | 12076 24 | 27 | 49 191.75/191.82 c 188s | 16 | 463643 | 133952 | 12076 25 | 27 | 49 193.75/193.84 c 190s | 16 | 468755 | 135452 | 12076 25 | 27 | 49 195.75/195.89 c 192s | 16 | 473123 | 136852 | 12076 25 | 27 | 49 197.85/197.95 c 194s | 16 | 477657 | 138252 | 12076 25 | 27 | 49 199.95/200.03 c 196s | 16 | 482554 | 139652 | 12076 26 | 27 | 49 202.05/202.12 c 198s | 16 | 487454 | 141152 | 12076 26 | 27 | 49 204.05/204.13 c 200s | 16 | 492597 | 142652 | 12076 26 | 27 | 49 206.14/206.23 c 202s | 16 | 497067 | 144152 | 12076 26 | 27 | 49 208.14/208.24 c 204s | 16 | 502211 | 145552 | 12076 26 | 27 | 49 210.24/210.33 c 206s | 16 | 506666 | 146852 | 12076 27 | 27 | 49 212.25/212.36 c 208s | 16 | 511325 | 148252 | 12076 27 | 27 | 49 214.34/214.47 c 210s | 16 | 516264 | 149752 | 12076 27 | 27 | 49 216.34/216.49 c 212s | 16 | 520148 | 150952 | 12076 27 | 27 | 49 218.44/218.58 c 214s | 16 | 524742 | 152252 | 12076 28 | 27 | 49 220.64/220.70 c 216s | 16 | 529434 | 153652 | 12076 28 | 27 | 49 222.74/222.86 c 219s | 16 | 534440 | 155052 | 12076 28 | 27 | 49 224.74/224.90 c 221s | 16 | 539380 | 156452 | 12076 28 | 27 | 49 226.84/226.99 c 223s | 16 | 543723 | 157852 | 12076 28 | 27 | 49 228.94/229.03 c 225s | 16 | 547808 | 159152 | 12076 29 | 27 | 49 230.95/231.05 c 227s | 16 | 552909 | 160552 | 12076 29 | 27 | 49 233.04/233.14 c 229s | 16 | 557810 | 161952 | 12076 29 | 27 | 49 235.04/235.15 c 231s | 16 | 563096 | 163452 | 12076 29 | 27 | 49 237.14/237.26 c 233s | 16 | 567788 | 164952 | 12076 30 | 27 | 49 239.24/239.34 c 235s | 16 | 572924 | 166452 | 12076 30 | 27 | 49 241.24/241.35 c 237s | 16 | 578025 | 167952 | 12076 30 | 27 | 49 243.34/243.43 c 239s | 16 | 583160 | 169452 | 12076 30 | 27 | 49 245.34/245.44 c 241s | 16 | 587791 | 170852 | 12076 31 | 27 | 49 247.44/247.54 c 243s | 16 | 593123 | 172352 | 12076 31 | 27 | 49 249.43/249.55 c 245s | 16 | 597550 | 173852 | 12076 31 | 27 | 49 251.43/251.58 c 247s | 16 | 602415 | 175352 | 12076 31 | 27 | 49 253.63/253.72 c 249s | 16 | 607892 | 176952 | 12076 31 | 27 | 49 255.63/255.72 c 251s | 16 | 612520 | 178352 | 12076 32 | 27 | 49 257.73/257.85 c 254s | 16 | 617558 | 179852 | 12076 32 | 27 | 49 259.73/259.88 c 256s | 16 | 622112 | 181352 | 12076 32 | 27 | 49 261.85/261.94 c 258s | 16 | 627069 | 182752 | 12076 32 | 27 | 49 263.84/263.99 c 260s | 16 | 631404 | 184152 | 12076 33 | 27 | 49 265.94/266.03 c 262s | 16 | 635934 | 185652 | 12076 33 | 27 | 49 268.04/268.13 c 264s | 16 | 640848 | 187152 | 12076 33 | 27 | 49 270.14/270.23 c 266s | 16 | 645854 | 188652 | 12076 33 | 27 | 49 272.14/272.24 c 268s | 16 | 651190 | 190052 | 12076 34 | 27 | 49 274.14/274.26 c 270s | 16 | 656171 | 191552 | 12076 34 | 27 | 49 276.24/276.38 c 272s | 16 | 661464 | 193152 | 13284 34 | 27 | 49 278.34/278.48 c 274s | 16 | 667352 | 194752 | 13284 34 | 27 | 49 280.33/280.50 c 276s | 16 | 672187 | 196252 | 13284 34 | 27 | 49 282.03/282.13 c 278s | 17 | 676280 | 197432 | 13284 34 | 27 | 49 284.03/284.17 c 280s | 17 | 678519 | 198032 | 13284 35 | 27 | 49 286.13/286.21 c 282s | 17 | 682825 | 199332 | 13284 35 | 27 | 49 288.14/288.29 c 284s | 17 | 687559 | 200932 | 13284 35 | 27 | 49 290.23/290.37 c 286s | 17 | 692993 | 202432 | 13284 35 | 27 | 49 292.33/292.46 c 288s | 17 | 698117 | 203932 | 13284 35 | 27 | 49 294.33/294.48 c 290s | 17 | 702762 | 205432 | 13284 36 | 27 | 49 296.43/296.56 c 292s | 17 | 707400 | 206932 | 13284 36 | 27 | 49 298.53/298.62 c 294s | 17 | 712164 | 208332 | 13284 36 | 27 | 49 300.63/300.76 c 296s | 17 | 716566 | 209632 | 13284 36 | 27 | 49 302.63/302.79 c 299s | 17 | 720934 | 210932 | 13284 36 | 27 | 49 304.74/304.87 c 301s | 17 | 725623 | 212232 | 13284 37 | 27 | 49 306.84/306.91 c 303s | 17 | 730458 | 213532 | 13284 37 | 27 | 49 308.83/308.92 c 305s | 17 | 735481 | 214932 | 13284 37 | 27 | 49 310.93/311.03 c 307s | 17 | 739996 | 216332 | 13284 37 | 27 | 49 312.93/313.04 c 309s | 17 | 744755 | 217632 | 13284 37 | 27 | 49 315.03/315.16 c 311s | 17 | 750134 | 219032 | 13284 38 | 27 | 49 317.03/317.17 c 313s | 17 | 755811 | 220432 | 13284 38 | 27 | 49 319.13/319.22 c 315s | 17 | 761807 | 221932 | 13284 38 | 27 | 49 321.23/321.34 c 317s | 17 | 766744 | 223332 | 13284 38 | 27 | 49 323.23/323.37 c 319s | 17 | 771593 | 224732 | 13284 38 | 27 | 49 325.23/325.38 c 321s | 17 | 775974 | 226032 | 13284 39 | 27 | 49 327.32/327.46 c 323s | 17 | 780357 | 227432 | 13284 39 | 27 | 49 329.32/329.49 c 325s | 17 | 784924 | 228732 | 13284 39 | 27 | 49 331.42/331.53 c 327s | 17 | 789960 | 230132 | 13284 39 | 27 | 49 333.42/333.59 c 329s | 17 | 794553 | 231432 | 13284 39 | 27 | 49 335.62/335.74 c 331s | 17 | 799653 | 232832 | 13284 40 | 27 | 49 337.63/337.79 c 334s | 17 | 804028 | 234232 | 13284 40 | 27 | 49 339.72/339.82 c 336s | 17 | 809103 | 235632 | 13284 40 | 27 | 49 341.72/341.85 c 338s | 17 | 813536 | 237032 | 13284 40 | 27 | 49 343.82/343.97 c 340s | 17 | 818830 | 238532 | 13284 40 | 27 | 49 345.82/345.98 c 342s | 17 | 823981 | 239932 | 13284 41 | 27 | 49 348.02/348.10 c 344s | 17 | 829316 | 241432 | 13284 41 | 27 | 49 350.13/350.24 c 346s | 17 | 834541 | 242932 | 13284 41 | 27 | 49 352.23/352.30 c 348s | 17 | 839441 | 244432 | 13284 41 | 27 | 49 354.32/354.43 c 350s | 17 | 844682 | 245932 | 13284 41 | 27 | 49 356.33/356.49 c 352s | 17 | 850003 | 247432 | 13284 42 | 27 | 49 358.42/358.59 c 354s | 17 | 855040 | 249032 | 13284 42 | 27 | 49 360.52/360.61 c 356s | 17 | 860192 | 250532 | 13284 42 | 27 | 49 362.82/362.97 c 359s | 17 | 865167 | 252032 | 13284 42 | 27 | 49 364.92/365.04 c 361s | 17 | 868948 | 253032 | 13284 43 | 27 | 49 366.92/367.09 c 363s | 17 | 873477 | 254332 | 13284 43 | 27 | 49 369.02/369.15 c 365s | 17 | 878035 | 255732 | 13284 43 | 27 | 49 371.02/371.18 c 367s | 17 | 882941 | 257132 | 13284 43 | 27 | 49 373.22/373.31 c 369s | 17 | 887907 | 258732 | 13284 43 | 27 | 49 375.22/375.34 c 371s | 17 | 891981 | 260132 | 13284 44 | 27 | 49 377.33/377.46 c 373s | 17 | 896520 | 261532 | 13284 44 | 27 | 49 379.43/379.57 c 375s | 17 | 901279 | 263032 | 13284 44 | 27 | 49 381.42/381.58 c 377s | 17 | 905930 | 264432 | 13284 44 | 27 | 49 383.62/383.70 c 379s | 17 | 911061 | 265832 | 13284 44 | 27 | 49 385.62/385.79 c 382s | 17 | 915338 | 267232 | 13284 45 | 27 | 49 387.72/387.84 c 384s | 17 | 920759 | 268732 | 13284 45 | 27 | 49 389.72/389.88 c 386s | 17 | 925894 | 270232 | 13284 45 | 27 | 49 391.72/391.88 c 388s | 17 | 930238 | 271532 | 13284 45 | 27 | 49 393.82/393.91 c 390s | 17 | 935726 | 272932 | 13284 45 | 27 | 49 395.82/395.93 c 392s | 17 | 940630 | 274332 | 13284 46 | 27 | 49 397.92/398.03 c 394s | 17 | 945747 | 275932 | 13284 46 | 27 | 49 399.91/400.08 c 396s | 17 | 951000 | 277432 | 13284 46 | 27 | 49 402.11/402.23 c 398s | 17 | 955686 | 278832 | 13284 46 | 27 | 49 404.21/404.33 c 400s | 17 | 960172 | 280232 | 13284 46 | 27 | 49 406.31/406.40 c 402s | 17 | 964528 | 281632 | 13284 47 | 27 | 49 408.31/408.48 c 404s | 17 | 969109 | 283132 | 13284 47 | 27 | 49 410.41/410.52 c 406s | 17 | 973780 | 284632 | 13284 47 | 27 | 49 412.52/412.61 c 408s | 17 | 980092 | 286032 | 13284 47 | 27 | 49 414.62/414.74 c 410s | 17 | 985216 | 287532 | 13284 48 | 27 | 49 416.61/416.79 c 413s | 17 | 990200 | 289032 | 13284 48 | 27 | 49 418.71/418.85 c 415s | 17 | 995201 | 290532 | 14613 48 | 27 | 49 420.71/420.89 c 417s | 17 | 1000996 | 292032 | 14613 48 | 27 | 49 422.81/422.91 c 419s | 17 | 1005832 | 293532 | 14613 48 | 27 | 49 424.81/424.93 c 421s | 17 | 1010058 | 295032 | 14613 48 | 27 | 49 426.61/426.70 c 422s | 18 | 1014301 | 296252 | 14613 49 | 27 | 49 428.61/428.74 c 424s | 18 | 1019445 | 297652 | 14613 49 | 27 | 49 430.61/430.75 c 426s | 18 | 1024947 | 299152 | 14613 49 | 27 | 49 432.61/432.78 c 429s | 18 | 1029831 | 300652 | 14613 49 | 27 | 49 434.70/434.86 c 431s | 18 | 1034739 | 302152 | 14613 49 | 27 | 49 436.71/436.88 c 433s | 18 | 1036455 | 302752 | 14613 49 | 27 | 49 438.81/438.97 c 435s | 18 | 1040375 | 304052 | 14613 50 | 27 | 49 440.90/441.06 c 437s | 18 | 1045428 | 305552 | 14613 50 | 27 | 49 443.11/443.25 c 439s | 18 | 1049699 | 306952 | 14613 50 | 27 | 49 445.21/445.31 c 441s | 18 | 1055267 | 308252 | 14613 50 | 27 | 49 447.21/447.37 c 443s | 18 | 1059709 | 309652 | 14613 50 | 27 | 49 449.31/449.42 c 445s | 18 | 1064346 | 310952 | 14613 51 | 27 | 49 451.41/451.50 c 447s | 18 | 1068847 | 312352 | 14613 51 | 27 | 49 453.41/453.52 c 449s | 18 | 1073934 | 313852 | 14613 51 | 27 | 49 455.41/455.57 c 451s | 18 | 1078412 | 315352 | 14613 51 | 27 | 49 457.51/457.67 c 453s | 18 | 1083404 | 316652 | 14613 51 | 27 | 49 459.60/459.76 c 456s | 18 | 1088657 | 318152 | 14613 51 | 27 | 49 461.70/461.86 c 458s | 18 | 1094146 | 319652 | 14613 52 | 27 | 49 463.80/463.94 c 460s | 18 | 1099111 | 321152 | 14613 52 | 27 | 49 465.90/466.04 c 462s | 18 | 1105445 | 322652 | 14613 52 | 27 | 49 468.00/468.10 c 464s | 18 | 1110339 | 324052 | 14613 52 | 27 | 49 470.10/470.25 c 466s | 18 | 1115255 | 325552 | 14613 52 | 27 | 49 472.20/472.39 c 468s | 18 | 1120109 | 326952 | 14613 53 | 27 | 49 474.30/474.46 c 470s | 18 | 1124936 | 328352 | 14613 53 | 27 | 49 476.30/476.48 c 472s | 18 | 1129401 | 329752 | 14613 53 | 27 | 49 478.41/478.60 c 474s | 18 | 1134582 | 331152 | 14613 53 | 27 | 49 480.61/480.73 c 476s | 18 | 1139354 | 332552 | 14613 53 | 27 | 49 482.61/482.76 c 478s | 18 | 1143450 | 333852 | 14613 54 | 27 | 49 484.70/484.80 c 481s | 18 | 1148914 | 335352 | 14613 54 | 27 | 49 486.80/486.90 c 483s | 18 | 1153997 | 336852 | 14613 54 | 27 | 49 488.80/488.91 c 485s | 18 | 1159076 | 338352 | 14613 54 | 27 | 49 490.90/491.03 c 487s | 18 | 1164048 | 339752 | 14613 54 | 27 | 49 492.90/493.04 c 489s | 18 | 1169310 | 341152 | 14613 54 | 27 | 49 494.91/495.06 c 491s | 18 | 1173943 | 342552 | 14613 55 | 27 | 49 497.00/497.16 c 493s | 18 | 1180301 | 344052 | 14613 55 | 27 | 49 499.00/499.18 c 495s | 18 | 1185447 | 345452 | 14613 55 | 27 | 49 501.00/501.19 c 497s | 18 | 1190221 | 346852 | 14613 55 | 27 | 49 503.20/503.30 c 499s | 18 | 1195243 | 348352 | 14613 55 | 27 | 49 505.20/505.38 c 501s | 18 | 1199911 | 349852 | 14613 56 | 27 | 49 507.20/507.38 c 503s | 18 | 1205029 | 351252 | 14613 56 | 27 | 49 509.30/509.47 c 505s | 18 | 1210188 | 352752 | 14613 56 | 27 | 49 511.40/511.53 c 507s | 18 | 1214891 | 354252 | 14613 56 | 27 | 49 513.49/513.69 c 509s | 18 | 1218280 | 355252 | 14613 56 | 27 | 49 515.59/515.78 c 512s | 18 | 1222951 | 356552 | 14613 56 | 27 | 49 517.69/517.83 c 514s | 18 | 1228500 | 357952 | 14613 57 | 27 | 49 519.69/519.88 c 516s | 18 | 1233121 | 359252 | 14613 57 | 27 | 49 521.79/521.94 c 518s | 18 | 1237739 | 360452 | 14613 57 | 27 | 49 523.79/523.95 c 520s | 18 | 1242671 | 361752 | 14613 57 | 27 | 49 525.80/525.96 c 522s | 18 | 1246769 | 362952 | 14613 57 | 27 | 49 528.00/528.17 c 524s | 18 | 1251197 | 364252 | 14613 58 | 27 | 49 530.10/530.25 c 526s | 18 | 1256468 | 365752 | 14613 58 | 27 | 49 532.19/532.38 c 528s | 18 | 1261954 | 367152 | 14613 58 | 27 | 49 534.29/534.49 c 530s | 18 | 1266317 | 368552 | 14613 58 | 27 | 49 536.40/536.54 c 532s | 18 | 1270569 | 369852 | 14613 58 | 27 | 49 538.40/538.56 c 534s | 18 | 1275121 | 371152 | 14613 58 | 27 | 49 540.50/540.61 c 536s | 18 | 1279316 | 372452 | 14613 59 | 27 | 49 542.49/542.67 c 538s | 18 | 1284909 | 373852 | 14613 59 | 27 | 49 544.59/544.74 c 540s | 18 | 1289771 | 375352 | 14613 59 | 27 | 49 546.60/546.79 c 543s | 18 | 1294947 | 376752 | 14613 59 | 27 | 49 548.69/548.87 c 545s | 18 | 1300282 | 378152 | 14613 59 | 27 | 49 550.89/551.02 c 547s | 18 | 1305463 | 379552 | 14613 60 | 27 | 49 552.99/553.10 c 549s | 18 | 1311179 | 381052 | 14613 60 | 27 | 49 554.99/555.11 c 551s | 18 | 1316387 | 382552 | 14613 60 | 27 | 49 556.99/557.14 c 553s | 18 | 1321738 | 383952 | 14613 60 | 27 | 49 559.09/559.25 c 555s | 18 | 1326861 | 385452 | 14613 60 | 27 | 49 561.09/561.27 c 557s | 18 | 1331566 | 386852 | 14613 60 | 27 | 49 563.29/563.40 c 559s | 18 | 1336893 | 388352 | 14613 61 | 27 | 49 565.30/565.43 c 561s | 18 | 1341927 | 389852 | 14613 61 | 27 | 49 567.39/567.55 c 563s | 18 | 1347276 | 391352 | 14613 61 | 27 | 49 569.49/569.66 c 565s | 18 | 1351587 | 392852 | 14613 61 | 27 | 49 571.59/571.74 c 567s | 18 | 1356305 | 394252 | 14613 61 | 27 | 49 573.69/573.80 c 570s | 18 | 1360895 | 395752 | 14613 62 | 27 | 49 575.79/575.91 c 572s | 18 | 1366488 | 397352 | 14613 62 | 27 | 49 577.98/578.14 c 574s | 18 | 1369795 | 398252 | 14613 62 | 27 | 49 580.08/580.22 c 576s | 18 | 1374402 | 399552 | 14613 62 | 27 | 49 582.08/582.24 c 578s | 18 | 1379631 | 400952 | 14613 62 | 27 | 49 584.19/584.33 c 580s | 18 | 1384083 | 402252 | 14613 62 | 27 | 49 586.20/586.36 c 582s | 18 | 1388601 | 403552 | 14613 63 | 27 | 49 588.29/588.46 c 584s | 18 | 1393408 | 404952 | 14613 63 | 27 | 49 590.49/590.61 c 586s | 18 | 1397966 | 406452 | 14613 63 | 27 | 49 592.59/592.70 c 588s | 18 | 1403168 | 407852 | 14613 63 | 27 | 49 594.69/594.81 c 591s | 18 | 1408013 | 409252 | 14613 63 | 27 | 49 596.69/596.88 c 593s | 18 | 1412963 | 410552 | 14613 64 | 27 | 49 598.89/599.02 c 595s | 18 | 1417897 | 412052 | 14613 64 | 27 | 49 600.99/601.16 c 597s | 18 | 1423240 | 413552 | 14613 64 | 27 | 49 603.09/603.22 c 599s | 18 | 1429041 | 415052 | 14613 64 | 27 | 49 605.09/605.23 c 601s | 18 | 1433720 | 416352 | 14613 64 | 27 | 49 607.09/607.28 c 603s | 18 | 1438494 | 417752 | 14613 65 | 27 | 49 609.19/609.33 c 605s | 18 | 1443689 | 419152 | 14613 65 | 27 | 49 611.19/611.36 c 607s | 18 | 1449084 | 420552 | 14613 65 | 27 | 49 613.28/613.42 c 609s | 18 | 1453347 | 422052 | 14613 65 | 27 | 49 615.28/615.46 c 611s | 18 | 1457725 | 423352 | 14613 65 | 27 | 49 617.38/617.59 c 613s | 18 | 1463231 | 424752 | 14613 65 | 27 | 49 619.48/619.64 c 615s | 18 | 1467849 | 426052 | 14613 66 | 27 | 49 621.58/621.72 c 617s | 18 | 1472546 | 427452 | 14613 66 | 27 | 49 623.59/623.77 c 620s | 18 | 1477084 | 428952 | 14613 66 | 27 | 49 625.68/625.81 c 622s | 18 | 1481814 | 430352 | 14613 66 | 27 | 49 627.78/627.92 c 624s | 18 | 1487127 | 431752 | 14613 66 | 27 | 49 629.78/629.93 c 626s | 18 | 1491225 | 433152 | 14613 67 | 27 | 49 631.78/631.96 c 628s | 18 | 1496354 | 434552 | 14613 67 | 27 | 49 633.78/633.98 c 630s | 18 | 1501243 | 435952 | 14613 67 | 27 | 49 635.79/635.98 c 632s | 18 | 1506033 | 437352 | 16075 67 | 27 | 49 637.78/638.00 c 634s | 18 | 1510832 | 438752 | 16075 67 | 27 | 49 639.98/640.11 c 636s | 18 | 1515729 | 440252 | 16075 67 | 27 | 49 641.98/642.17 c 638s | 18 | 1520797 | 441652 | 16075 67 | 27 | 49 643.98/644.17 c 640s | 18 | 1525175 | 443052 | 16075 68 | 27 | 49 646.38/646.54 c 642s | 18 | 1528642 | 444152 | 16075 68 | 27 | 49 647.28/647.42 c 643s | 19 | 1529892 | 444482 | 16075 68 | 27 | 49 649.28/649.42 c 645s | 19 | 1533955 | 445782 | 16075 68 | 27 | 49 651.28/651.43 c 647s | 19 | 1538421 | 447182 | 16075 68 | 27 | 49 653.38/653.56 c 649s | 19 | 1541735 | 448282 | 16075 68 | 27 | 49 655.37/655.57 c 651s | 19 | 1545308 | 449382 | 16075 68 | 27 | 49 657.57/657.72 c 653s | 19 | 1549680 | 450682 | 16075 69 | 27 | 49 659.57/659.79 c 656s | 19 | 1554638 | 451982 | 16075 69 | 27 | 49 661.67/661.82 c 658s | 19 | 1559681 | 453382 | 16075 69 | 27 | 49 663.67/663.89 c 660s | 19 | 1564377 | 454682 | 16075 69 | 27 | 49 665.87/666.02 c 662s | 19 | 1569055 | 456082 | 16075 69 | 27 | 49 667.97/668.13 c 664s | 19 | 1574087 | 457482 | 16075 69 | 27 | 49 669.97/670.16 c 666s | 19 | 1578786 | 458882 | 16075 70 | 27 | 49 671.98/672.20 c 668s | 19 | 1583492 | 460282 | 16075 70 | 27 | 49 674.07/674.23 c 670s | 19 | 1587794 | 461682 | 16075 70 | 27 | 49 676.07/676.26 c 672s | 19 | 1592518 | 462982 | 16075 70 | 27 | 49 678.17/678.30 c 674s | 19 | 1596632 | 464382 | 16075 70 | 27 | 49 680.17/680.35 c 676s | 19 | 1601127 | 465682 | 16075 70 | 27 | 49 682.17/682.37 c 678s | 19 | 1605110 | 466982 | 16075 71 | 27 | 49 684.17/684.38 c 680s | 19 | 1610344 | 468382 | 16075 71 | 27 | 49 686.17/686.40 c 682s | 19 | 1614590 | 469782 | 16075 71 | 27 | 49 688.37/688.54 c 684s | 19 | 1619538 | 471282 | 16075 71 | 27 | 49 690.47/690.64 c 686s | 19 | 1625162 | 472682 | 16075 71 | 27 | 49 692.56/692.74 c 688s | 19 | 1629717 | 474082 | 16075 71 | 27 | 49 694.56/694.77 c 691s | 19 | 1634015 | 475382 | 16075 72 | 27 | 49 696.67/696.88 c 693s | 19 | 1639161 | 476882 | 16075 72 | 27 | 49 698.77/698.97 c 695s | 19 | 1644212 | 478382 | 16075 72 | 27 | 49 700.77/700.99 c 697s | 19 | 1649276 | 479882 | 16075 72 | 27 | 49 702.88/703.02 c 699s | 19 | 1653789 | 481282 | 16075 72 | 27 | 49 704.87/705.03 c 701s | 19 | 1657690 | 482582 | 16075 72 | 27 | 49 706.97/707.10 c 703s | 19 | 1662183 | 483982 | 16075 73 | 27 | 49 708.97/709.12 c 705s | 19 | 1666610 | 485382 | 16075 73 | 27 | 49 710.97/711.19 c 707s | 19 | 1671248 | 486882 | 16075 73 | 27 | 49 713.07/713.21 c 709s | 19 | 1675557 | 488382 | 16075 73 | 27 | 49 715.16/715.34 c 711s | 19 | 1678949 | 489382 | 16075 73 | 27 | 49 717.17/717.38 c 713s | 19 | 1682870 | 490482 | 16075 73 | 27 | 49 719.37/719.53 c 715s | 19 | 1687550 | 491782 | 16075 74 | 27 | 49 721.46/721.66 c 717s | 19 | 1692153 | 493082 | 16075 74 | 27 | 49 723.56/723.76 c 719s | 19 | 1697173 | 494482 | 16075 74 | 27 | 49 725.66/725.88 c 722s | 19 | 1702431 | 495982 | 16075 74 | 27 | 49 727.75/727.92 c 724s | 19 | 1707487 | 497482 | 16075 74 | 27 | 49 729.75/729.97 c 726s | 19 | 1711999 | 498882 | 16075 74 | 27 | 49 731.75/731.98 c 728s | 19 | 1716416 | 500082 | 16075 75 | 27 | 49 733.75/733.99 c 730s | 19 | 1720903 | 501482 | 16075 75 | 27 | 49 735.86/736.07 c 732s | 19 | 1725543 | 502782 | 16075 75 | 27 | 49 737.95/738.16 c 734s | 19 | 1730669 | 504182 | 16075 75 | 27 | 49 740.05/740.22 c 736s | 19 | 1735571 | 505582 | 16075 75 | 27 | 49 742.05/742.28 c 738s | 19 | 1739859 | 506882 | 16075 75 | 27 | 49 744.24/744.40 c 740s | 19 | 1744334 | 508182 | 16075 75 | 27 | 49 746.24/746.42 c 742s | 19 | 1748752 | 509482 | 16075 76 | 27 | 49 748.24/748.45 c 744s | 19 | 1754193 | 510882 | 16075 76 | 27 | 49 750.24/750.49 c 746s | 19 | 1758629 | 512382 | 16075 76 | 27 | 49 752.34/752.54 c 748s | 19 | 1763712 | 513782 | 16075 76 | 27 | 49 754.34/754.58 c 750s | 19 | 1768832 | 515182 | 16075 76 | 27 | 49 756.44/756.62 c 752s | 19 | 1772802 | 516482 | 16075 76 | 27 | 49 758.54/758.71 c 754s | 19 | 1777564 | 517882 | 16075 77 | 27 | 49 760.54/760.76 c 756s | 19 | 1782160 | 519282 | 16075 77 | 27 | 49 762.64/762.88 c 759s | 19 | 1787405 | 520782 | 16075 77 | 27 | 49 764.73/764.99 c 761s | 19 | 1792734 | 522282 | 16075 77 | 27 | 49 766.83/767.07 c 763s | 19 | 1797493 | 523682 | 16075 77 | 27 | 49 769.03/769.28 c 765s | 19 | 1802053 | 525082 | 16075 78 | 27 | 49 771.13/771.39 c 767s | 19 | 1807047 | 526582 | 16075 78 | 27 | 49 773.24/773.43 c 769s | 19 | 1811899 | 528082 | 16075 78 | 27 | 49 775.34/775.51 c 771s | 19 | 1816854 | 529582 | 16075 78 | 27 | 49 777.43/777.68 c 773s | 19 | 1820139 | 530682 | 16075 78 | 27 | 49 779.53/779.78 c 776s | 19 | 1824362 | 531882 | 16075 78 | 27 | 49 781.73/781.90 c 778s | 19 | 1828443 | 533282 | 16075 78 | 27 | 49 783.73/783.92 c 780s | 19 | 1833184 | 534682 | 16075 79 | 27 | 49 785.73/785.98 c 782s | 19 | 1836928 | 535782 | 16075 79 | 27 | 49 787.83/788.09 c 784s | 19 | 1842228 | 537082 | 16075 79 | 27 | 49 790.02/790.23 c 786s | 19 | 1846983 | 538482 | 16075 79 | 27 | 49 792.02/792.28 c 788s | 19 | 1851041 | 539782 | 16075 79 | 27 | 49 794.13/794.37 c 790s | 19 | 1855223 | 541082 | 16075 79 | 27 | 49 796.23/796.46 c 792s | 19 | 1859627 | 542382 | 16075 80 | 27 | 49 798.32/798.51 c 794s | 19 | 1865344 | 543882 | 16075 80 | 27 | 49 800.32/800.57 c 796s | 19 | 1869324 | 545082 | 16075 80 | 27 | 49 802.52/802.72 c 798s | 19 | 1874452 | 546482 | 16075 80 | 27 | 49 804.62/804.85 c 801s | 19 | 1879647 | 547882 | 16075 80 | 27 | 49 806.62/806.89 c 803s | 19 | 1884385 | 549182 | 16075 80 | 27 | 49 808.72/808.90 c 805s | 19 | 1888968 | 550482 | 16075 81 | 27 | 49 810.72/810.96 c 807s | 19 | 1894077 | 551882 | 16075 81 | 27 | 49 812.72/812.98 c 809s | 19 | 1898848 | 553282 | 16075 81 | 27 | 49 814.82/815.09 c 811s | 19 | 1903333 | 554682 | 16075 81 | 27 | 49 816.91/817.15 c 813s | 19 | 1906845 | 556082 | 16075 81 | 27 | 49 818.91/819.18 c 815s | 19 | 1911770 | 557382 | 16075 81 | 27 | 49 821.01/821.26 c 817s | 19 | 1916396 | 558682 | 16075 82 | 27 | 49 823.11/823.37 c 819s | 19 | 1921309 | 560182 | 16075 82 | 27 | 49 825.11/825.37 c 821s | 19 | 1926180 | 561682 | 16075 82 | 27 | 49 827.12/827.38 c 823s | 19 | 1931323 | 563182 | 16075 82 | 27 | 49 829.22/829.45 c 825s | 19 | 1935715 | 564482 | 16075 82 | 27 | 49 831.31/831.50 c 827s | 19 | 1939990 | 565782 | 16075 82 | 27 | 49 833.31/833.56 c 829s | 19 | 1944180 | 567082 | 16075 83 | 27 | 49 835.41/835.68 c 831s | 19 | 1948875 | 568582 | 16075 83 | 27 | 49 837.61/837.80 c 834s | 19 | 1953785 | 570082 | 16075 83 | 27 | 49 839.60/839.87 c 836s | 19 | 1958174 | 571482 | 16075 83 | 27 | 49 841.70/841.96 c 838s | 19 | 1962949 | 572882 | 16075 83 | 27 | 49 843.80/844.00 c 840s | 19 | 1967435 | 574282 | 16075 83 | 27 | 49 845.81/846.01 c 842s | 19 | 1971813 | 575682 | 16075 84 | 27 | 49 847.80/848.04 c 844s | 19 | 1976431 | 577182 | 16075 84 | 27 | 49 849.90/850.18 c 846s | 19 | 1981091 | 578682 | 16075 84 | 27 | 49 851.90/852.19 c 848s | 19 | 1984692 | 579782 | 16075 84 | 27 | 49 854.10/854.30 c 850s | 19 | 1988525 | 580882 | 16075 84 | 27 | 49 856.09/856.32 c 852s | 19 | 1992928 | 582082 | 16075 84 | 27 | 49 858.19/858.44 c 854s | 19 | 1997454 | 583382 | 16075 85 | 27 | 49 860.29/860.54 c 856s | 19 | 2002527 | 584782 | 16075 85 | 27 | 49 862.39/862.60 c 858s | 19 | 2008299 | 586182 | 16075 85 | 27 | 49 864.40/864.69 c 860s | 19 | 2013322 | 587682 | 16075 85 | 27 | 49 866.60/866.82 c 863s | 19 | 2018024 | 588882 | 16075 85 | 27 | 49 868.69/868.95 c 865s | 19 | 2022469 | 590282 | 16075 85 | 27 | 49 870.79/871.00 c 867s | 19 | 2026550 | 591582 | 16075 86 | 27 | 49 872.79/873.04 c 869s | 19 | 2031717 | 592982 | 16075 86 | 27 | 49 874.89/875.12 c 871s | 19 | 2036423 | 594482 | 16075 86 | 27 | 49 876.98/877.28 c 873s | 19 | 2041413 | 595882 | 16075 86 | 27 | 49 879.08/879.32 c 875s | 19 | 2046460 | 597182 | 16075 86 | 27 | 49 881.18/881.43 c 877s | 19 | 2051627 | 598582 | 16075 86 | 27 | 49 883.28/883.53 c 879s | 19 | 2056881 | 599982 | 16075 87 | 27 | 49 885.39/885.61 c 881s | 19 | 2061897 | 601482 | 16075 87 | 27 | 49 887.38/887.68 c 883s | 19 | 2066985 | 602982 | 16075 87 | 27 | 49 889.48/889.78 c 886s | 19 | 2072519 | 604482 | 16075 87 | 27 | 49 891.58/891.80 c 888s | 19 | 2077444 | 605882 | 16075 87 | 27 | 49 893.58/893.87 c 890s | 19 | 2081770 | 607282 | 16075 87 | 27 | 49 895.68/895.91 c 892s | 19 | 2086839 | 608682 | 16075 88 | 27 | 49 897.67/897.98 c 894s | 19 | 2093049 | 610282 | 16075 88 | 27 | 49 899.87/900.10 c 896s | 19 | 2098443 | 611882 | 16075 88 | 27 | 49 901.97/902.22 c 898s | 19 | 2103311 | 613482 | 16075 88 | 27 | 49 904.08/904.34 c 900s | 19 | 2109727 | 614982 | 16075 88 | 27 | 49 906.18/906.45 c 902s | 19 | 2115081 | 616482 | 16075 88 | 27 | 49 908.27/908.59 c 904s | 19 | 2120672 | 618082 | 16075 89 | 27 | 49 910.47/910.72 c 906s | 19 | 2123813 | 618982 | 16075 89 | 27 | 49 912.47/912.74 c 908s | 19 | 2128249 | 620182 | 16075 89 | 27 | 49 914.47/914.75 c 910s | 19 | 2132944 | 621482 | 16075 89 | 27 | 49 916.56/916.88 c 913s | 19 | 2137751 | 622782 | 16075 89 | 27 | 49 918.66/918.93 c 915s | 19 | 2142620 | 624082 | 16075 89 | 27 | 49 920.76/921.08 c 917s | 19 | 2147489 | 625582 | 16075 90 | 27 | 49 922.86/923.13 c 919s | 19 | 2152656 | 626882 | 16075 90 | 27 | 49 924.97/925.22 c 921s | 19 | 2158146 | 628282 | 16075 90 | 27 | 49 926.95/927.26 c 923s | 19 | 2162595 | 629682 | 16075 90 | 27 | 49 929.05/929.37 c 925s | 19 | 2167277 | 631082 | 16075 90 | 27 | 49 931.25/931.50 c 927s | 19 | 2171657 | 632582 | 16075 90 | 27 | 49 933.25/933.52 c 929s | 19 | 2176238 | 633882 | 16075 91 | 27 | 49 935.25/935.60 c 931s | 19 | 2181672 | 635282 | 16075 91 | 27 | 49 937.35/937.61 c 933s | 19 | 2186332 | 636582 | 16075 91 | 27 | 49 939.35/939.64 c 935s | 19 | 2191302 | 637982 | 16075 91 | 27 | 49 941.46/941.77 c 938s | 19 | 2196596 | 639382 | 16075 91 | 27 | 49 943.56/943.89 c 940s | 19 | 2201470 | 640782 | 16075 91 | 27 | 49 945.76/946.03 c 942s | 19 | 2206486 | 642182 | 16075 92 | 27 | 49 947.85/948.12 c 944s | 19 | 2212338 | 643682 | 16075 92 | 27 | 49 949.84/950.15 c 946s | 19 | 2217774 | 645082 | 16075 92 | 27 | 49 951.94/952.23 c 948s | 19 | 2223038 | 646482 | 16075 92 | 27 | 49 954.04/954.31 c 950s | 19 | 2228212 | 647882 | 16075 92 | 27 | 49 956.04/956.38 c 952s | 19 | 2233464 | 649282 | 16075 92 | 27 | 49 958.14/958.43 c 954s | 19 | 2238245 | 650682 | 16075 93 | 27 | 49 960.14/960.47 c 956s | 19 | 2243806 | 652082 | 16075 93 | 27 | 49 962.34/962.62 c 958s | 19 | 2248907 | 653582 | 16075 93 | 27 | 49 964.83/965.15 c 961s | 19 | 2254114 | 655082 | 16075 93 | 27 | 49 966.94/967.29 c 963s | 19 | 2258232 | 656282 | 16075 93 | 27 | 49 969.04/969.37 c 965s | 19 | 2263052 | 657582 | 16075 93 | 27 | 49 971.23/971.53 c 967s | 19 | 2266831 | 658782 | 17683 93 | 27 | 49 973.24/973.58 c 969s | 19 | 2270972 | 659982 | 17683 94 | 27 | 49 975.33/975.62 c 971s | 19 | 2276375 | 661482 | 17683 94 | 27 | 49 977.43/977.73 c 973s | 19 | 2281687 | 662982 | 17683 94 | 27 | 49 979.43/979.74 c 975s | 19 | 2286577 | 664382 | 17683 94 | 27 | 49 981.53/981.82 c 978s | 19 | 2291099 | 665782 | 17683 94 | 27 | 49 983.23/983.55 c 979s | 20 | 2294637 | 666827 | 17683 94 | 27 | 49 985.63/985.97 c 982s | 20 | 2298477 | 668027 | 17683 94 | 27 | 49 987.73/988.01 c 984s | 20 | 2302912 | 669227 | 17683 95 | 27 | 49 989.84/990.13 c 986s | 20 | 2308925 | 670727 | 17683 95 | 27 | 49 991.83/992.16 c 988s | 20 | 2314520 | 672027 | 17683 95 | 27 | 49 993.93/994.24 c 990s | 20 | 2319000 | 673227 | 17683 95 | 27 | 49 996.03/996.34 c 992s | 20 | 2324106 | 674627 | 17683 95 | 27 | 49 998.03/998.34 c 994s | 20 | 2328114 | 675927 | 17683 95 | 27 | 49 1000.13/1000.45 c 996s | 20 | 2333300 | 677227 | 17683 95 | 27 | 49 1002.23/1002.53 c 998s | 20 | 2337305 | 678527 | 17683 96 | 27 | 49 1004.33/1004.67 c 1000s | 20 | 2342060 | 680027 | 17683 96 | 27 | 49 1006.43/1006.76 c 1003s | 20 | 2346984 | 681527 | 17683 96 | 27 | 49 1008.43/1008.79 c 1005s | 20 | 2351561 | 682827 | 17683 96 | 27 | 49 1010.52/1010.83 c 1007s | 20 | 2357210 | 684127 | 17683 96 | 27 | 49 1012.52/1012.86 c 1009s | 20 | 2362631 | 685427 | 17683 96 | 27 | 49 1014.62/1014.94 c 1011s | 20 | 2367812 | 686827 | 17683 96 | 27 | 49 1016.72/1017.06 c 1013s | 20 | 2372169 | 688227 | 17683 97 | 27 | 49 1018.82/1019.16 c 1015s | 20 | 2376987 | 689627 | 17683 97 | 27 | 49 1020.92/1021.27 c 1017s | 20 | 2382156 | 691027 | 17683 97 | 27 | 49 1023.02/1023.35 c 1019s | 20 | 2386836 | 692527 | 17683 97 | 27 | 49 1025.12/1025.49 c 1021s | 20 | 2392005 | 693927 | 17683 97 | 27 | 49 1027.12/1027.49 c 1023s | 20 | 2396599 | 695127 | 17683 97 | 27 | 49 1029.21/1029.51 c 1025s | 20 | 2401237 | 696327 | 17683 98 | 27 | 49 1031.21/1031.55 c 1027s | 20 | 2405755 | 697727 | 17683 98 | 27 | 49 1033.31/1033.66 c 1029s | 20 | 2410916 | 699227 | 17683 98 | 27 | 49 1035.41/1035.77 c 1032s | 20 | 2415846 | 700727 | 17683 98 | 27 | 49 1037.51/1037.88 c 1034s | 20 | 2420860 | 702227 | 17683 98 | 27 | 49 1039.61/1039.91 c 1036s | 20 | 2424998 | 703627 | 17683 98 | 27 | 49 1041.61/1041.98 c 1038s | 20 | 2429806 | 704927 | 17683 98 | 27 | 49 1043.81/1044.11 c 1040s | 20 | 2433945 | 706027 | 17683 99 | 27 | 49 1045.82/1046.18 c 1042s | 20 | 2438355 | 707227 | 17683 99 | 27 | 49 1048.02/1048.33 c 1044s | 20 | 2444446 | 708727 | 17683 99 | 27 | 49 1050.11/1050.44 c 1046s | 20 | 2448939 | 710127 | 17683 99 | 27 | 49 1052.21/1052.51 c 1048s | 20 | 2453014 | 711327 | 17683 99 | 27 | 49 1054.21/1054.57 c 1050s | 20 | 2457687 | 712627 | 17683 99 | 27 | 49 1056.21/1056.57 c 1052s | 20 | 2462906 | 713927 | 17683 99 | 27 | 49 1058.31/1058.62 c 1054s | 20 | 2467668 | 715127 | 17683 100 | 27 | 49 1060.41/1060.74 c 1056s | 20 | 2473214 | 716527 | 17683 100 | 27 | 49 1062.42/1062.75 c 1058s | 20 | 2477186 | 717927 | 17683 100 | 27 | 49 1064.51/1064.83 c 1061s | 20 | 2481319 | 719227 | 17683 100 | 27 | 49 1066.60/1066.98 c 1063s | 20 | 2486342 | 720527 | 17683 100 | 27 | 49 1068.80/1069.14 c 1065s | 20 | 2490877 | 721827 | 17683 100 | 27 | 49 1070.80/1071.14 c 1067s | 20 | 2495679 | 723027 | 17683 100 | 27 | 49 1072.90/1073.22 c 1069s | 20 | 2499881 | 724327 | 17683 101 | 27 | 49 1075.00/1075.32 c 1071s | 20 | 2505092 | 725627 | 17683 101 | 27 | 49 1077.00/1077.37 c 1073s | 20 | 2509942 | 727027 | 17683 101 | 27 | 49 1079.20/1079.51 c 1075s | 20 | 2514377 | 728427 | 17683 101 | 27 | 49 1081.30/1081.62 c 1077s | 20 | 2519603 | 729827 | 17683 101 | 27 | 49 1083.40/1083.75 c 1079s | 20 | 2524539 | 731127 | 17683 101 | 27 | 49 1085.51/1085.83 c 1082s | 20 | 2530020 | 732427 | 17683 101 | 27 | 49 1087.50/1087.86 c 1084s | 20 | 2534375 | 733727 | 17683 102 | 27 | 49 1089.50/1089.87 c 1086s | 20 | 2538457 | 735027 | 17683 102 | 27 | 49 1091.70/1092.02 c 1088s | 20 | 2542965 | 736427 | 17683 102 | 27 | 49 1093.80/1094.12 c 1090s | 20 | 2548003 | 737827 | 17683 102 | 27 | 49 1095.90/1096.22 c 1092s | 20 | 2553120 | 739227 | 17683 102 | 27 | 49 1097.99/1098.37 c 1094s | 20 | 2557953 | 740627 | 17683 102 | 27 | 49 1100.19/1100.52 c 1096s | 20 | 2561913 | 741927 | 17683 103 | 27 | 49 1102.29/1102.63 c 1098s | 20 | 2567318 | 743327 | 17683 103 | 27 | 49 1104.39/1104.76 c 1100s | 20 | 2572184 | 744727 | 17683 103 | 27 | 49 1106.49/1106.85 c 1103s | 20 | 2577222 | 746127 | 17683 103 | 27 | 49 1108.49/1108.89 c 1105s | 20 | 2581714 | 747427 | 17683 103 | 27 | 49 1110.69/1111.02 c 1107s | 20 | 2586718 | 748827 | 17683 103 | 27 | 49 1112.69/1113.07 c 1109s | 20 | 2591669 | 750227 | 17683 103 | 27 | 49 1114.89/1115.20 c 1111s | 20 | 2596907 | 751627 | 17683 104 | 27 | 49 1116.88/1117.28 c 1113s | 20 | 2602569 | 753127 | 17683 104 | 27 | 49 1118.98/1119.32 c 1115s | 20 | 2607650 | 754627 | 17683 104 | 27 | 49 1121.19/1121.58 c 1117s | 20 | 2610559 | 755527 | 17683 104 | 27 | 49 1123.29/1123.60 c 1119s | 20 | 2614180 | 756627 | 17683 104 | 27 | 49 1125.39/1125.70 c 1121s | 20 | 2619086 | 758027 | 17683 104 | 27 | 49 1127.38/1127.78 c 1124s | 20 | 2623361 | 759127 | 17683 104 | 27 | 49 1129.49/1129.87 c 1126s | 20 | 2628285 | 760427 | 17683 105 | 27 | 49 1131.59/1131.98 c 1128s | 20 | 2632956 | 761727 | 17683 105 | 27 | 49 1133.68/1134.08 c 1130s | 20 | 2638200 | 763127 | 17683 105 | 27 | 49 1135.78/1136.11 c 1132s | 20 | 2643149 | 764427 | 17683 105 | 27 | 49 1137.78/1138.15 c 1134s | 20 | 2647993 | 765827 | 17683 105 | 27 | 49 1139.88/1140.22 c 1136s | 20 | 2652741 | 767127 | 17683 105 | 27 | 49 1141.98/1142.31 c 1138s | 20 | 2658379 | 768427 | 17683 105 | 27 | 49 1144.08/1144.45 c 1140s | 20 | 2662783 | 769727 | 17683 106 | 27 | 49 1146.17/1146.55 c 1142s | 20 | 2667309 | 771127 | 17683 106 | 27 | 49 1148.27/1148.60 c 1144s | 20 | 2672501 | 772527 | 17683 106 | 27 | 49 1150.38/1150.73 c 1146s | 20 | 2677702 | 773927 | 17683 106 | 27 | 49 1152.48/1152.87 c 1149s | 20 | 2682800 | 775327 | 17683 106 | 27 | 49 1154.57/1154.96 c 1151s | 20 | 2687567 | 776627 | 17683 106 | 27 | 49 1156.57/1156.98 c 1153s | 20 | 2692361 | 777927 | 17683 106 | 27 | 49 1158.77/1159.10 c 1155s | 20 | 2697757 | 779327 | 17683 107 | 27 | 49 1160.77/1161.16 c 1157s | 20 | 2702578 | 780727 | 17683 107 | 27 | 49 1162.87/1163.20 c 1159s | 20 | 2707619 | 782127 | 17683 107 | 27 | 49 1164.97/1165.33 c 1161s | 20 | 2713268 | 783727 | 17683 107 | 27 | 49 1167.06/1167.41 c 1163s | 20 | 2718147 | 785127 | 17683 107 | 27 | 49 1169.16/1169.50 c 1165s | 20 | 2723107 | 786527 | 17683 107 | 27 | 49 1171.26/1171.65 c 1167s | 20 | 2726010 | 787527 | 17683 108 | 27 | 49 1173.37/1173.80 c 1170s | 20 | 2730287 | 788727 | 17683 108 | 27 | 49 1175.46/1175.87 c 1172s | 20 | 2736055 | 790127 | 17683 108 | 27 | 49 1177.46/1177.89 c 1174s | 20 | 2741233 | 791527 | 17683 108 | 27 | 49 1179.56/1179.94 c 1176s | 20 | 2746604 | 792827 | 17683 108 | 27 | 49 1181.56/1181.97 c 1178s | 20 | 2751294 | 794027 | 17683 108 | 27 | 49 1183.66/1184.02 c 1180s | 20 | 2755881 | 795327 | 17683 108 | 27 | 49 1185.66/1186.06 c 1182s | 20 | 2760163 | 796427 | 17683 108 | 27 | 49 1187.76/1188.18 c 1184s | 20 | 2764413 | 797627 | 17683 109 | 27 | 49 1189.76/1190.19 c 1186s | 20 | 2769001 | 798927 | 17683 109 | 27 | 49 1191.85/1192.26 c 1188s | 20 | 2773989 | 800227 | 17683 109 | 27 | 49 1193.95/1194.37 c 1190s | 20 | 2778451 | 801627 | 17683 109 | 27 | 49 1196.05/1196.40 c 1192s | 20 | 2783250 | 802927 | 17683 109 | 27 | 49 1198.04/1198.48 c 1194s | 20 | 2787360 | 804227 | 17683 109 | 27 | 49 1200.14/1200.53 c 1196s | 20 | 2791659 | 805427 | 17683 109 | 27 | 49 1202.24/1202.62 c 1198s | 20 | 2796110 | 806827 | 17683 110 | 27 | 49 1204.25/1204.68 c 1200s | 20 | 2800953 | 808127 | 17683 110 | 27 | 49 1206.35/1206.79 c 1203s | 20 | 2805732 | 809427 | 17683 110 | 27 | 49 1208.55/1208.93 c 1205s | 20 | 2810849 | 810827 | 17683 110 | 27 | 49 1210.64/1211.01 c 1207s | 20 | 2815447 | 812127 | 17683 110 | 27 | 49 1212.74/1213.16 c 1209s | 20 | 2819887 | 813527 | 17683 110 | 27 | 49 1214.74/1215.18 c 1211s | 20 | 2823811 | 814727 | 17683 110 | 27 | 49 1216.83/1217.23 c 1213s | 20 | 2829177 | 816027 | 17683 111 | 27 | 49 1218.93/1219.35 c 1215s | 20 | 2833738 | 817427 | 17683 111 | 27 | 49 1221.03/1221.45 c 1217s | 20 | 2838451 | 818827 | 17683 111 | 27 | 49 1223.13/1223.50 c 1219s | 20 | 2843810 | 820227 | 17683 111 | 27 | 49 1225.14/1225.51 c 1221s | 20 | 2848789 | 821627 | 17683 111 | 27 | 49 1227.13/1227.56 c 1223s | 20 | 2852864 | 822927 | 17683 111 | 27 | 49 1229.23/1229.64 c 1225s | 20 | 2857275 | 824227 | 17683 112 | 27 | 49 1231.23/1231.64 c 1227s | 20 | 2862361 | 825627 | 17683 112 | 27 | 49 1233.33/1233.76 c 1230s | 20 | 2865831 | 826627 | 17683 112 | 27 | 49 1235.53/1235.91 c 1232s | 20 | 2870145 | 827927 | 17683 112 | 27 | 49 1237.63/1238.02 c 1234s | 20 | 2875783 | 829327 | 17683 112 | 27 | 49 1239.73/1240.14 c 1236s | 20 | 2880425 | 830627 | 17683 112 | 27 | 49 1241.83/1242.24 c 1238s | 20 | 2884773 | 831827 | 17683 112 | 27 | 49 1243.93/1244.39 c 1240s | 20 | 2889791 | 833127 | 17683 112 | 27 | 49 1246.03/1246.44 c 1242s | 20 | 2894680 | 834427 | 17683 113 | 27 | 49 1248.13/1248.52 c 1244s | 20 | 2900392 | 835827 | 17683 113 | 27 | 49 1250.22/1250.62 c 1246s | 20 | 2905596 | 837227 | 17683 113 | 27 | 49 1252.22/1252.67 c 1248s | 20 | 2910688 | 838627 | 17683 113 | 27 | 49 1254.22/1254.67 c 1250s | 20 | 2916377 | 840027 | 17683 113 | 27 | 49 1256.32/1256.74 c 1252s | 20 | 2921495 | 841327 | 17683 113 | 27 | 49 1258.42/1258.86 c 1255s | 20 | 2926644 | 842627 | 17683 114 | 27 | 49 1260.52/1260.97 c 1257s | 20 | 2932036 | 844027 | 17683 114 | 27 | 49 1262.62/1263.08 c 1259s | 20 | 2937338 | 845427 | 17683 114 | 27 | 49 1264.73/1265.19 c 1261s | 20 | 2942842 | 846827 | 17683 114 | 27 | 49 1266.82/1267.23 c 1263s | 20 | 2947521 | 848127 | 17683 114 | 27 | 49 1268.91/1269.33 c 1265s | 20 | 2952129 | 849427 | 17683 114 | 27 | 49 1270.91/1271.37 c 1267s | 20 | 2957935 | 850827 | 17683 114 | 27 | 49 1273.11/1273.53 c 1269s | 20 | 2962732 | 852127 | 17683 115 | 27 | 49 1275.21/1275.60 c 1271s | 20 | 2967836 | 853527 | 17683 115 | 27 | 49 1277.21/1277.62 c 1273s | 20 | 2973350 | 854827 | 17683 115 | 27 | 49 1279.31/1279.75 c 1275s | 20 | 2977919 | 856127 | 17683 115 | 27 | 49 1281.31/1281.77 c 1278s | 20 | 2982603 | 857427 | 17683 115 | 27 | 49 1283.31/1283.79 c 1280s | 20 | 2987709 | 858627 | 17683 115 | 27 | 49 1285.41/1285.82 c 1282s | 20 | 2992017 | 859827 | 17683 115 | 27 | 49 1287.40/1287.89 c 1284s | 20 | 2996380 | 861027 | 17683 116 | 27 | 49 1289.50/1289.98 c 1286s | 20 | 3002718 | 862427 | 17683 116 | 27 | 49 1291.70/1292.13 c 1288s | 20 | 3008113 | 863927 | 17683 116 | 27 | 49 1293.80/1294.26 c 1290s | 20 | 3013211 | 865327 | 17683 116 | 27 | 49 1295.90/1296.32 c 1292s | 20 | 3017631 | 866727 | 17683 116 | 27 | 49 1298.00/1298.45 c 1294s | 20 | 3022979 | 868127 | 17683 116 | 27 | 49 1300.20/1300.61 c 1296s | 20 | 3028398 | 869527 | 17683 116 | 27 | 49 1302.20/1302.69 c 1298s | 20 | 3034123 | 870927 | 17683 117 | 27 | 49 1304.30/1304.72 c 1300s | 20 | 3039526 | 872327 | 17683 117 | 27 | 49 1306.40/1306.86 c 1303s | 20 | 3044996 | 873827 | 17683 117 | 27 | 49 1308.39/1308.88 c 1305s | 20 | 3049921 | 875227 | 17683 117 | 27 | 49 1311.09/1311.50 c 1307s | 20 | 3054500 | 876527 | 17683 117 | 27 | 49 1313.19/1313.65 c 1309s | 20 | 3057747 | 877527 | 17683 117 | 27 | 49 1315.30/1315.76 c 1311s | 20 | 3061798 | 878627 | 17683 117 | 27 | 49 1317.39/1317.90 c 1314s | 20 | 3065716 | 879827 | 17683 118 | 27 | 49 1319.48/1319.96 c 1316s | 20 | 3069245 | 880827 | 17683 118 | 27 | 49 1321.58/1322.00 c 1318s | 20 | 3073557 | 882027 | 17683 118 | 27 | 49 1323.59/1324.04 c 1320s | 20 | 3078078 | 883227 | 17683 118 | 27 | 49 1325.69/1326.17 c 1322s | 20 | 3082476 | 884527 | 17683 118 | 27 | 49 1327.89/1328.32 c 1324s | 20 | 3087391 | 885827 | 17683 118 | 27 | 49 1329.88/1330.35 c 1326s | 20 | 3091729 | 887027 | 17683 118 | 27 | 49 1331.98/1332.40 c 1328s | 20 | 3096273 | 888227 | 17683 119 | 27 | 49 1333.99/1334.42 c 1330s | 20 | 3100471 | 889527 | 17683 119 | 27 | 49 1336.09/1336.54 c 1332s | 20 | 3105683 | 890927 | 17683 119 | 27 | 49 1338.08/1338.55 c 1334s | 20 | 3110769 | 892227 | 17683 119 | 27 | 49 1340.28/1340.71 c 1336s | 20 | 3116067 | 893627 | 17683 119 | 27 | 49 1342.28/1342.73 c 1338s | 20 | 3120106 | 894927 | 17683 119 | 27 | 49 1344.28/1344.77 c 1341s | 20 | 3124348 | 896227 | 17683 119 | 27 | 49 1346.38/1346.86 c 1343s | 20 | 3128996 | 897527 | 17683 120 | 27 | 49 1348.48/1348.92 c 1345s | 20 | 3133855 | 898927 | 17683 120 | 27 | 49 1350.48/1350.93 c 1347s | 20 | 3138261 | 900227 | 17683 120 | 27 | 49 1352.48/1353.00 c 1349s | 20 | 3143266 | 901627 | 17683 120 | 27 | 49 1354.78/1355.22 c 1351s | 20 | 3147541 | 902927 | 17683 120 | 27 | 49 1356.87/1357.34 c 1353s | 20 | 3152080 | 904027 | 17683 120 | 27 | 49 1358.97/1359.47 c 1355s | 20 | 3156592 | 905227 | 17683 120 | 27 | 49 1361.07/1361.52 c 1357s | 20 | 3160272 | 906327 | 17683 120 | 27 | 49 1363.07/1363.54 c 1359s | 20 | 3164775 | 907527 | 17683 121 | 27 | 49 1365.07/1365.60 c 1361s | 20 | 3169149 | 908827 | 17683 121 | 27 | 49 1367.26/1367.75 c 1363s | 20 | 3173707 | 910127 | 17683 121 | 27 | 49 1369.36/1369.81 c 1366s | 20 | 3177772 | 911427 | 17683 121 | 27 | 49 1371.46/1371.90 c 1368s | 20 | 3182835 | 912727 | 17683 121 | 27 | 49 1373.47/1373.99 c 1370s | 20 | 3187931 | 914027 | 17683 121 | 27 | 49 1375.56/1376.08 c 1372s | 20 | 3192719 | 915327 | 17683 121 | 27 | 49 1377.65/1378.16 c 1374s | 20 | 3197316 | 916627 | 17683 122 | 27 | 49 1379.85/1380.31 c 1376s | 20 | 3201677 | 918027 | 17683 122 | 27 | 49 1381.95/1382.41 c 1378s | 20 | 3206653 | 919427 | 17683 122 | 27 | 49 1383.95/1384.45 c 1380s | 20 | 3210913 | 920827 | 17683 122 | 27 | 49 1386.05/1386.50 c 1382s | 20 | 3216338 | 922227 | 17683 122 | 27 | 49 1388.05/1388.50 c 1384s | 20 | 3221391 | 923527 | 17683 122 | 27 | 49 1390.06/1390.58 c 1386s | 20 | 3226432 | 924827 | 17683 123 | 27 | 49 1392.16/1392.62 c 1388s | 20 | 3231385 | 926227 | 17683 123 | 27 | 49 1394.46/1394.92 c 1391s | 20 | 3235287 | 927327 | 17683 123 | 27 | 49 1396.45/1396.95 c 1393s | 20 | 3239393 | 928527 | 17683 123 | 27 | 49 1398.65/1399.12 c 1395s | 20 | 3244225 | 929827 | 17683 123 | 27 | 49 1400.75/1401.25 c 1397s | 20 | 3248126 | 931127 | 17683 123 | 27 | 49 1402.85/1403.36 c 1399s | 20 | 3251690 | 932327 | 17683 123 | 27 | 49 1405.05/1405.54 c 1401s | 20 | 3255892 | 933527 | 17683 123 | 27 | 49 1407.15/1407.65 c 1403s | 20 | 3260355 | 934727 | 17683 124 | 27 | 49 1409.25/1409.74 c 1405s | 20 | 3264514 | 936027 | 17683 124 | 27 | 49 1411.35/1411.86 c 1408s | 20 | 3269624 | 937427 | 17683 124 | 27 | 49 1413.55/1414.01 c 1410s | 20 | 3275263 | 938827 | 17683 124 | 27 | 49 1415.55/1416.02 c 1412s | 20 | 3280171 | 940127 | 17683 124 | 27 | 49 1417.55/1418.06 c 1414s | 20 | 3284206 | 941427 | 17683 124 | 27 | 49 1419.55/1420.08 c 1416s | 20 | 3288534 | 942627 | 17683 124 | 27 | 49 1421.64/1422.16 c 1418s | 20 | 3292929 | 943927 | 17683 125 | 27 | 49 1423.74/1424.21 c 1420s | 20 | 3297926 | 945327 | 17683 125 | 27 | 49 1425.74/1426.22 c 1422s | 20 | 3303131 | 946727 | 17683 125 | 27 | 49 1427.75/1428.26 c 1424s | 20 | 3307966 | 948127 | 17683 125 | 27 | 49 1429.85/1430.35 c 1426s | 20 | 3311645 | 949227 | 17683 125 | 27 | 49 1431.86/1432.38 c 1428s | 20 | 3315435 | 950327 | 17683 125 | 27 | 49 1434.06/1434.52 c 1430s | 20 | 3319477 | 951527 | 17683 125 | 27 | 49 1436.05/1436.56 c 1432s | 20 | 3323443 | 952727 | 17683 126 | 27 | 49 1438.05/1438.56 c 1434s | 20 | 3327253 | 953927 | 17683 126 | 27 | 49 1440.15/1440.69 c 1436s | 20 | 3332022 | 955227 | 17683 126 | 27 | 49 1442.25/1442.72 c 1438s | 20 | 3336493 | 956527 | 17683 126 | 27 | 49 1444.25/1444.79 c 1441s | 20 | 3340518 | 957727 | 17683 126 | 27 | 49 1446.45/1446.93 c 1443s | 20 | 3344920 | 959027 | 17683 126 | 27 | 49 1448.45/1449.00 c 1445s | 20 | 3349446 | 960327 | 17683 126 | 27 | 49 1450.55/1451.00 c 1447s | 20 | 3353755 | 961527 | 17683 127 | 27 | 49 1452.55/1453.03 c 1449s | 20 | 3358698 | 962827 | 17683 127 | 27 | 49 1454.54/1455.08 c 1451s | 20 | 3363311 | 964127 | 17683 127 | 27 | 49 1456.54/1457.08 c 1453s | 20 | 3367278 | 965427 | 17683 127 | 27 | 49 1458.74/1459.20 c 1455s | 20 | 3372292 | 966827 | 17683 127 | 27 | 49 1460.74/1461.25 c 1457s | 20 | 3377085 | 968127 | 17683 127 | 27 | 49 1462.84/1463.34 c 1459s | 20 | 3382107 | 969527 | 17683 127 | 27 | 49 1464.94/1465.45 c 1461s | 20 | 3386932 | 970827 | 17683 128 | 27 | 49 1467.05/1467.56 c 1463s | 20 | 3391601 | 972227 | 17683 128 | 27 | 49 1469.15/1469.68 c 1465s | 20 | 3395458 | 973327 | 17683 128 | 27 | 49 1471.35/1471.81 c 1468s | 20 | 3400348 | 974627 | 17683 128 | 27 | 49 1473.34/1473.84 c 1470s | 20 | 3404559 | 975827 | 17683 128 | 27 | 49 1475.44/1475.92 c 1472s | 20 | 3409321 | 977027 | 17683 128 | 27 | 49 1477.64/1478.17 c 1474s | 20 | 3413781 | 978227 | 17683 128 | 27 | 49 1479.74/1480.20 c 1476s | 20 | 3418813 | 979427 | 17683 128 | 27 | 49 1481.84/1482.35 c 1478s | 20 | 3424499 | 980727 | 17683 129 | 27 | 49 1483.94/1484.47 c 1480s | 20 | 3429838 | 982127 | 17683 129 | 27 | 49 1486.04/1486.58 c 1482s | 20 | 3434092 | 983427 | 17683 129 | 27 | 49 1488.24/1488.75 c 1484s | 20 | 3439181 | 984727 | 17683 129 | 27 | 49 1490.34/1490.80 c 1487s | 20 | 3443479 | 986027 | 17683 129 | 27 | 49 1492.34/1492.85 c 1489s | 20 | 3447469 | 987327 | 17683 129 | 27 | 49 1494.34/1494.86 c 1491s | 20 | 3451440 | 988627 | 17683 129 | 27 | 49 1496.44/1496.95 c 1493s | 20 | 3455364 | 989927 | 19452 129 | 27 | 49 1498.44/1498.97 c 1495s | 20 | 3459603 | 991227 | 19452 130 | 27 | 49 1500.53/1501.02 c 1497s | 20 | 3463144 | 992327 | 19452 130 | 27 | 49 1502.63/1503.14 c 1499s | 20 | 3467744 | 993527 | 19452 130 | 27 | 49 1504.73/1505.27 c 1501s | 20 | 3471512 | 994727 | 19452 130 | 27 | 49 1506.83/1507.38 c 1503s | 20 | 3475589 | 995927 | 19452 130 | 27 | 49 1509.03/1509.55 c 1505s | 20 | 3479854 | 997127 | 19452 130 | 27 | 49 1511.14/1511.69 c 1507s | 20 | 3484159 | 998327 | 19452 130 | 27 | 49 1513.24/1513.75 c 1509s | 20 | 3487867 | 999427 | 19452 130 | 27 | 49 1514.83/1515.32 c 1511s | 21 | 3490863 | 1000345 | 19452 130 | 27 | 49 1516.93/1517.40 c 1513s | 21 | 3491704 | 1000645 | 19452 131 | 27 | 49 1519.03/1519.55 c 1515s | 21 | 3496050 | 1002045 | 19452 131 | 27 | 49 1521.13/1521.67 c 1517s | 21 | 3499826 | 1003245 | 19452 131 | 27 | 49 1523.14/1523.69 c 1519s | 21 | 3503857 | 1004545 | 19452 131 | 27 | 49 1525.34/1525.88 c 1522s | 21 | 3508452 | 1005845 | 19452 131 | 27 | 49 1527.54/1528.02 c 1524s | 21 | 3512769 | 1007145 | 19452 131 | 27 | 49 1529.64/1530.15 c 1526s | 21 | 3517360 | 1008445 | 19452 131 | 27 | 49 1531.73/1532.23 c 1528s | 21 | 3522674 | 1009745 | 19452 131 | 27 | 49 1533.73/1534.25 c 1530s | 21 | 3527217 | 1010945 | 19452 132 | 27 | 49 1535.83/1536.30 c 1532s | 21 | 3531669 | 1012245 | 19452 132 | 27 | 49 1537.93/1538.45 c 1534s | 21 | 3536408 | 1013645 | 19452 132 | 27 | 49 1540.03/1540.53 c 1536s | 21 | 3541585 | 1014945 | 19452 132 | 27 | 49 1542.03/1542.59 c 1538s | 21 | 3546416 | 1016345 | 19452 132 | 27 | 49 1544.13/1544.67 c 1540s | 21 | 3551308 | 1017845 | 19452 132 | 27 | 49 1546.23/1546.76 c 1542s | 21 | 3555972 | 1019245 | 19452 132 | 27 | 49 1548.34/1548.84 c 1545s | 21 | 3560482 | 1020645 | 19452 132 | 27 | 49 1550.43/1550.91 c 1547s | 21 | 3564241 | 1021945 | 19452 133 | 27 | 49 1552.53/1553.00 c 1549s | 21 | 3569195 | 1023345 | 19452 133 | 27 | 49 1554.53/1555.00 c 1551s | 21 | 3573427 | 1024645 | 19452 133 | 27 | 49 1556.63/1557.17 c 1553s | 21 | 3577622 | 1026045 | 19452 133 | 27 | 49 1558.73/1559.28 c 1555s | 21 | 3581193 | 1027345 | 19452 133 | 27 | 49 1560.93/1561.43 c 1557s | 21 | 3585766 | 1028545 | 19452 133 | 27 | 49 1563.13/1563.60 c 1559s | 21 | 3589608 | 1029845 | 19452 133 | 27 | 49 1565.13/1565.66 c 1561s | 21 | 3593285 | 1031045 | 19452 134 | 27 | 49 1567.14/1567.67 c 1563s | 21 | 3596391 | 1032045 | 19452 134 | 27 | 49 1569.34/1569.81 c 1566s | 21 | 3600059 | 1033145 | 19452 134 | 27 | 49 1571.33/1571.85 c 1568s | 21 | 3604736 | 1034245 | 19452 134 | 27 | 49 1573.33/1573.86 c 1570s | 21 | 3609273 | 1035445 | 19452 134 | 27 | 49 1575.43/1575.93 c 1572s | 21 | 3613581 | 1036545 | 19452 134 | 27 | 49 1577.53/1578.06 c 1574s | 21 | 3617299 | 1037645 | 19452 134 | 27 | 49 1579.63/1580.17 c 1576s | 21 | 3622127 | 1038845 | 19452 134 | 27 | 49 1581.73/1582.21 c 1578s | 21 | 3626502 | 1039945 | 19452 134 | 27 | 49 1583.83/1584.31 c 1580s | 21 | 3630980 | 1041045 | 19452 135 | 27 | 49 1585.93/1586.46 c 1582s | 21 | 3635044 | 1042445 | 19452 135 | 27 | 49 1588.13/1588.60 c 1584s | 21 | 3639312 | 1043845 | 19452 135 | 27 | 49 1590.13/1590.67 c 1586s | 21 | 3643606 | 1045045 | 19452 135 | 27 | 49 1592.33/1592.81 c 1589s | 21 | 3648534 | 1046445 | 19452 135 | 27 | 49 1594.32/1594.89 c 1591s | 21 | 3652870 | 1047745 | 19452 135 | 27 | 49 1596.42/1596.95 c 1593s | 21 | 3657927 | 1049045 | 19452 135 | 27 | 49 1598.42/1598.96 c 1595s | 21 | 3662966 | 1050345 | 19452 135 | 27 | 49 1600.52/1601.02 c 1597s | 21 | 3667397 | 1051545 | 19452 136 | 27 | 49 1602.52/1603.08 c 1599s | 21 | 3672393 | 1052945 | 19452 136 | 27 | 49 1604.72/1605.23 c 1601s | 21 | 3677338 | 1054345 | 19452 136 | 27 | 49 1606.82/1607.32 c 1603s | 21 | 3682066 | 1055745 | 19452 136 | 27 | 49 1608.93/1609.45 c 1605s | 21 | 3686231 | 1057045 | 19452 136 | 27 | 49 1611.03/1611.50 c 1607s | 21 | 3690654 | 1058345 | 19452 136 | 27 | 49 1613.02/1613.51 c 1609s | 21 | 3695096 | 1059545 | 19452 136 | 27 | 49 1615.22/1615.73 c 1611s | 21 | 3699685 | 1060845 | 19452 137 | 27 | 49 1617.32/1617.84 c 1614s | 21 | 3704673 | 1062245 | 19452 137 | 27 | 49 1619.32/1619.85 c 1616s | 21 | 3709934 | 1063645 | 19452 137 | 27 | 49 1621.42/1621.94 c 1618s | 21 | 3715131 | 1065045 | 19452 137 | 27 | 49 1623.52/1624.06 c 1620s | 21 | 3720097 | 1066445 | 19452 137 | 27 | 49 1625.62/1626.17 c 1622s | 21 | 3724896 | 1067845 | 19452 137 | 27 | 49 1627.72/1628.22 c 1624s | 21 | 3728742 | 1069245 | 19452 137 | 27 | 49 1629.72/1630.27 c 1626s | 21 | 3732952 | 1070545 | 19452 137 | 27 | 49 1631.82/1632.34 c 1628s | 21 | 3737401 | 1071845 | 19452 138 | 27 | 49 1633.92/1634.43 c 1630s | 21 | 3742849 | 1073345 | 19452 138 | 27 | 49 1636.02/1636.54 c 1632s | 21 | 3747701 | 1074845 | 19452 138 | 27 | 49 1638.02/1638.58 c 1634s | 21 | 3752710 | 1076145 | 19452 138 | 27 | 49 1640.12/1640.60 c 1636s | 21 | 3757125 | 1077545 | 19452 138 | 27 | 49 1642.22/1642.73 c 1638s | 21 | 3762563 | 1078945 | 19452 138 | 27 | 49 1644.32/1644.83 c 1641s | 21 | 3767600 | 1080345 | 19452 138 | 27 | 49 1646.32/1646.87 c 1643s | 21 | 3771970 | 1081645 | 19452 139 | 27 | 49 1648.62/1649.17 c 1645s | 21 | 3774900 | 1082545 | 19452 139 | 27 | 49 1650.72/1651.22 c 1647s | 21 | 3778321 | 1083445 | 19452 139 | 27 | 49 1652.71/1653.25 c 1649s | 21 | 3782738 | 1084645 | 19452 139 | 27 | 49 1654.82/1655.32 c 1651s | 21 | 3787069 | 1085745 | 19452 139 | 27 | 49 1656.92/1657.40 c 1653s | 21 | 3791381 | 1087045 | 19452 139 | 27 | 49 1658.91/1659.47 c 1655s | 21 | 3795822 | 1088145 | 19452 139 | 27 | 49 1661.11/1661.66 c 1657s | 21 | 3800566 | 1089345 | 19452 139 | 27 | 49 1663.31/1663.82 c 1660s | 21 | 3806556 | 1090645 | 19452 139 | 27 | 49 1665.41/1665.99 c 1662s | 21 | 3811332 | 1091945 | 19452 140 | 27 | 49 1667.51/1668.00 c 1664s | 21 | 3816410 | 1093145 | 19452 140 | 27 | 49 1669.61/1670.14 c 1666s | 21 | 3820847 | 1094445 | 19452 140 | 27 | 49 1671.71/1672.21 c 1668s | 21 | 3825515 | 1095745 | 19452 140 | 27 | 49 1673.81/1674.33 c 1670s | 21 | 3829582 | 1096845 | 19452 140 | 27 | 49 1675.91/1676.42 c 1672s | 21 | 3834015 | 1098145 | 19452 140 | 27 | 49 1677.91/1678.44 c 1674s | 21 | 3838102 | 1099345 | 19452 140 | 27 | 49 1680.01/1680.53 c 1676s | 21 | 3842862 | 1100645 | 19452 140 | 27 | 49 1682.11/1682.67 c 1678s | 21 | 3847227 | 1101945 | 19452 141 | 27 | 49 1684.21/1684.72 c 1680s | 21 | 3851699 | 1103245 | 19452 141 | 27 | 49 1686.31/1686.83 c 1683s | 21 | 3856068 | 1104545 | 19452 141 | 27 | 49 1688.41/1688.94 c 1685s | 21 | 3860725 | 1105745 | 19452 141 | 27 | 49 1690.41/1690.95 c 1687s | 21 | 3864828 | 1106945 | 19452 141 | 27 | 49 1692.51/1693.01 c 1689s | 21 | 3869205 | 1108145 | 19452 141 | 27 | 49 1694.61/1695.11 c 1691s | 21 | 3873930 | 1109345 | 19452 141 | 27 | 49 1696.60/1697.15 c 1693s | 21 | 3878143 | 1110445 | 19452 141 | 27 | 49 1698.60/1699.16 c 1695s | 21 | 3881866 | 1111545 | 19452 142 | 27 | 49 1700.70/1701.27 c 1697s | 21 | 3885765 | 1112845 | 19452 142 | 27 | 49 1702.80/1703.39 c 1699s | 21 | 3889781 | 1114145 | 19452 142 | 27 | 49 1704.90/1705.44 c 1701s | 21 | 3894503 | 1115445 | 19452 142 | 27 | 49 1707.01/1707.55 c 1703s | 21 | 3898802 | 1116745 | 19452 142 | 27 | 49 1709.11/1709.64 c 1705s | 21 | 3902685 | 1118045 | 19452 142 | 27 | 49 1711.21/1711.73 c 1707s | 21 | 3906905 | 1119245 | 19452 142 | 27 | 49 1713.21/1713.75 c 1709s | 21 | 3911331 | 1120445 | 19452 142 | 27 | 49 1715.21/1715.79 c 1712s | 21 | 3915574 | 1121645 | 19452 143 | 27 | 49 1717.31/1717.83 c 1714s | 21 | 3920568 | 1123045 | 19452 143 | 27 | 49 1719.40/1719.97 c 1716s | 21 | 3924982 | 1124545 | 19452 143 | 27 | 49 1721.50/1722.05 c 1718s | 21 | 3929406 | 1125945 | 19452 143 | 27 | 49 1723.70/1724.20 c 1720s | 21 | 3934223 | 1127345 | 19452 143 | 27 | 49 1725.80/1726.31 c 1722s | 21 | 3939063 | 1128745 | 19452 143 | 27 | 49 1727.80/1728.37 c 1724s | 21 | 3944230 | 1130145 | 19452 143 | 27 | 49 1730.00/1730.51 c 1726s | 21 | 3949189 | 1131545 | 19452 144 | 27 | 49 1732.11/1732.65 c 1728s | 21 | 3952062 | 1132345 | 19452 144 | 27 | 49 1734.20/1734.75 c 1730s | 21 | 3956009 | 1133345 | 19452 144 | 27 | 49 1736.30/1736.89 c 1733s | 21 | 3961639 | 1134645 | 19452 144 | 27 | 49 1738.40/1738.99 c 1735s | 21 | 3965354 | 1135845 | 19452 144 | 27 | 49 1740.50/1741.08 c 1737s | 21 | 3969473 | 1137045 | 19452 144 | 27 | 49 1742.70/1743.24 c 1739s | 21 | 3973788 | 1138345 | 19452 144 | 27 | 49 1744.89/1745.42 c 1741s | 21 | 3978511 | 1139545 | 19452 144 | 27 | 49 1746.89/1747.48 c 1743s | 21 | 3982874 | 1140645 | 19452 144 | 27 | 49 1748.99/1749.51 c 1745s | 21 | 3987531 | 1141745 | 19452 145 | 27 | 49 1751.09/1751.68 c 1747s | 21 | 3992133 | 1143045 | 19452 145 | 27 | 49 1753.29/1753.84 c 1750s | 21 | 3997224 | 1144245 | 19452 145 | 27 | 49 1755.29/1755.84 c 1752s | 21 | 4002112 | 1145445 | 19452 145 | 27 | 49 1757.30/1757.85 c 1754s | 21 | 4006754 | 1146645 | 19452 145 | 27 | 49 1759.50/1760.01 c 1756s | 21 | 4011745 | 1147945 | 19452 145 | 27 | 49 1761.49/1762.09 c 1758s | 21 | 4016499 | 1149245 | 19452 145 | 27 | 49 1763.59/1764.12 c 1760s | 21 | 4020495 | 1150445 | 19452 145 | 27 | 49 1765.69/1766.23 c 1762s | 21 | 4025156 | 1151745 | 19452 146 | 27 | 49 1767.79/1768.38 c 1764s | 21 | 4029574 | 1153145 | 19452 146 | 27 | 49 1769.89/1770.46 c 1766s | 21 | 4034174 | 1154445 | 19452 146 | 27 | 49 1771.89/1772.49 c 1768s | 21 | 4039318 | 1155745 | 19452 146 | 27 | 49 1773.90/1774.49 c 1770s | 21 | 4043726 | 1156945 | 19452 146 | 27 | 49 1776.10/1776.61 c 1772s | 21 | 4048649 | 1158245 | 19452 146 | 27 | 49 1778.09/1778.62 c 1774s | 21 | 4053608 | 1159445 | 19452 146 | 27 | 49 1780.19/1780.76 c 1777s | 21 | 4059198 | 1160745 | 19452 146 | 27 | 49 1782.19/1782.78 c 1779s | 21 | 4063640 | 1161945 | 19452 147 | 27 | 49 1784.39/1784.95 c 1781s | 21 | 4068583 | 1163345 | 19452 147 | 27 | 49 1786.39/1786.97 c 1783s | 21 | 4072716 | 1164545 | 19452 147 | 27 | 49 1788.59/1789.11 c 1785s | 21 | 4077498 | 1165845 | 19452 147 | 27 | 49 1790.59/1791.19 c 1787s | 21 | 4081102 | 1167145 | 19452 147 | 27 | 49 1792.69/1793.21 c 1789s | 21 | 4084912 | 1168345 | 19452 147 | 27 | 49 1794.80/1795.36 c 1791s | 21 | 4089712 | 1169645 | 19452 147 | 27 | 49 1796.90/1797.45 c 1793s | 21 | 4094406 | 1170945 | 19452 147 | 27 | 49 1799.00/1799.60 c 1795s | 21 | 4099008 | 1172245 | 19452 148 | 27 | 49
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-4080128-1465257233/watcher-4080128-1465257233 -o /tmp/evaluation-result-4080128-1465257233/solver-4080128-1465257233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080128-1465257233.opb pid=13239 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.04 2.01 3/179 13242 /proc/meminfo: memFree=30857116/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 2709 0 0 0 0 0 0 0 20 0 4 0 107656801 743895040 3069 33554432000 4194304 16246674 140736471836352 140736471835776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13242/statm: 182127 3077 441 2943 0 179021 0 [pid=13242/tid=13243] ppid=13239 vsize=742844 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 760672256 3137 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 765915136 3154 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=752060 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107656801 770109440 3171 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100185 s] /proc/loadavg: 2.10 2.04 2.01 3/179 13242 /proc/meminfo: memFree=30857116/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 23434 0 0 0 5 3 0 0 20 0 4 0 107656801 1247350784 23781 33554432000 4194304 16246674 140736471836352 140736471835776 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13242/statm: 304529 23787 763 2943 0 301423 0 [pid=13242/tid=13243] ppid=13239 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1247350784 23792 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1247350784 23795 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107656801 1247350784 23800 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200541 s] /proc/loadavg: 2.10 2.04 2.01 3/179 13242 /proc/meminfo: memFree=30857116/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 30731 0 0 0 14 5 0 0 20 0 4 0 107656801 1251545088 31057 33554432000 4194304 16246674 140736471836352 140736471835664 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13242/statm: 305553 31069 839 2943 0 302447 0 [pid=13242/tid=13243] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 31072 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 31077 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 31091 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300532 s] /proc/loadavg: 2.10 2.04 2.01 3/179 13242 /proc/meminfo: memFree=30857116/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1222212 CPUtime=0.29 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 53263 0 0 0 21 8 0 0 20 0 4 0 107656801 1251545088 53589 33554432000 4194304 16246674 140736471836352 140736471835664 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13242/statm: 305553 53605 839 2943 0 302447 0 [pid=13242/tid=13243] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 53618 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 53633 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 53640 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700411 s] /proc/loadavg: 2.10 2.04 2.01 3/179 13242 /proc/meminfo: memFree=30857116/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1222212 CPUtime=0.69 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 148362 0 0 0 47 22 0 0 20 0 4 0 107656801 1251545088 148688 33554432000 4194304 16246674 140736471836352 140736471818240 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13242/statm: 305553 148707 839 2943 0 302447 0 [pid=13242/tid=13243] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 148714 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 148719 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1251545088 148731 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50035 s] /proc/loadavg: 2.10 2.04 2.01 3/183 13246 /proc/meminfo: memFree=29881984/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 266152 0 0 0 112 37 0 0 20 0 4 0 107656801 1332285440 266477 33554432000 4194304 16246674 140736471836352 140736471818240 5823194 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/13242/statm: 325265 266477 841 2943 0 322159 0 [pid=13242/tid=13243] ppid=13239 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1332285440 266477 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1332285440 266477 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1332285440 266477 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10041 s] /proc/loadavg: 2.10 2.04 2.01 3/183 13246 /proc/meminfo: memFree=29785148/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1308228 CPUtime=3.08 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 267939 0 0 0 271 37 0 0 20 0 4 0 107656801 1339625472 268264 33554432000 4194304 16246674 140736471836352 140736471818240 12483562 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13242/statm: 327057 268264 844 2943 0 323951 0 [pid=13242/tid=13243] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268264 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268264 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268264 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30041 s] /proc/loadavg: 2.09 2.04 2.00 3/183 13246 /proc/meminfo: memFree=29784344/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1308228 CPUtime=6.28 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 268147 0 0 0 591 37 0 0 20 0 4 0 107656801 1339625472 268472 33554432000 4194304 16246674 140736471836352 140736471818240 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 327057 268472 846 2943 0 323951 0 [pid=13242/tid=13243] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268472 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268472 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268472 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.17 2.06 2.01 3/183 13246 /proc/meminfo: memFree=29784404/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1308228 CPUtime=12.67 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 268149 0 0 0 1230 37 0 0 20 0 4 0 107656801 1339625472 268474 33554432000 4194304 16246674 140736471836352 140736471819352 13927427 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 327057 268474 848 2943 0 323951 0 [pid=13242/tid=13243] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268474 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268474 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1339625472 268474 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 1308228 [startup+25.5006 s] /proc/loadavg: 2.13 2.05 2.01 3/183 13246 /proc/meminfo: memFree=29782664/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1311300 CPUtime=25.47 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 268775 0 0 0 2510 37 0 0 20 0 4 0 107656801 1342771200 269100 33554432000 4194304 16246674 140736471836352 140736471818240 5674391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 327825 269100 848 2943 0 324719 0 [pid=13242/tid=13243] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269100 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269100 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269100 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.08 2.05 2.01 3/183 13246 /proc/meminfo: memFree=29745432/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1311300 CPUtime=51.06 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 268917 0 0 0 5069 37 0 0 20 0 4 0 107656801 1342771200 269242 33554432000 4194304 16246674 140736471836352 140736471818240 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 327825 269242 848 2943 0 324719 0 [pid=13242/tid=13243] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269242 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269242 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1342771200 269242 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.03 2.04 2.00 3/183 13248 /proc/meminfo: memFree=29660492/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1315396 CPUtime=102.27 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 269941 0 0 0 10189 38 0 0 20 0 4 0 107656801 1346965504 270266 33554432000 4194304 16246674 140736471836352 140736471818240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 328849 270266 848 2943 0 325743 0 [pid=13242/tid=13243] ppid=13239 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1346965504 270266 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1346965504 270266 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1346965504 270266 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275645 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.07 2.06 2.02 3/183 13303 /proc/meminfo: memFree=28796876/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1336900 CPUtime=1361.87 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 275640 0 0 0 136114 73 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140736471818240 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 334225 275647 848 2943 0 331119 0 [pid=13242/tid=13243] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.10 2.07 2.02 3/183 13304 /proc/meminfo: memFree=28716320/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1336900 CPUtime=1421.85 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 275655 0 0 0 142109 76 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140736471818240 5724637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 334225 275647 848 2943 0 331119 0 [pid=13242/tid=13243] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.10 2.07 2.02 3/183 13305 /proc/meminfo: memFree=28656720/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1336900 CPUtime=1481.84 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 275655 0 0 0 148106 78 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140736471818240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 334225 275647 848 2943 0 331119 0 [pid=13242/tid=13243] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.09 2.07 2.02 3/183 13306 /proc/meminfo: memFree=28613816/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1336900 CPUtime=1541.83 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 275655 0 0 0 154102 81 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140736471818240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 334225 275647 848 2943 0 331119 0 [pid=13242/tid=13243] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1336900 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1368985600 275647 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.10 2.07 2.02 3/184 13311 /proc/meminfo: memFree=28542556/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1601.82 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285118 0 0 0 160098 84 0 0 20 0 4 0 107656801 1407782912 285110 33554432000 4194304 16246674 140736471836352 140736471818240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285110 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285110 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285110 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285110 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1374788 [startup+1662.3 s] /proc/loadavg: 2.07 2.07 2.02 3/183 13312 /proc/meminfo: memFree=28521168/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1661.81 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285127 0 0 0 166094 87 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140736471818240 5674629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285119 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1374788 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.01 3/183 13313 /proc/meminfo: memFree=28485076/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1721.8 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285127 0 0 0 172092 88 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140736471818240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285119 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1374788 [startup+1782.3 s] /proc/loadavg: 2.10 2.07 2.01 3/183 13314 /proc/meminfo: memFree=28452512/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1781.79 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285127 0 0 0 178091 88 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140736471818240 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285119 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1374788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.08 2.02 3/183 13363 /proc/meminfo: memFree=29382872/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1800 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285127 0 0 0 179911 89 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140736471818240 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285119 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1374788 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 13242 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.08 2.02 3/183 13363 /proc/meminfo: memFree=29382872/32872528 swapFree=11196/354588 [pid=13242] ppid=13239 vsize=1374788 CPUtime=1800 cores=1,3,5,7 /proc/13242/stat : 13242 (toysat) R 13239 13242 12837 0 -1 4202496 285127 0 0 0 179911 89 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140736471818240 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13242/statm: 343697 285119 848 2943 0 340591 0 [pid=13242/tid=13243] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13243/stat : 13243 (toysat) S 13239 13242 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498113113328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=13242/tid=13244] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13244/stat : 13244 (toysat) S 13239 13242 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498102623472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=13242/tid=13245] ppid=13239 vsize=1374788 CPUtime=0 cores=1,3,5,7 /proc/13242/task/13245/stat : 13245 (toysat) S 13239 13242 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107656801 1407782912 285119 33554432000 4194304 16246674 140736471836352 140498092149936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1374788 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.11 CPU system time (s): 0.890864 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1374788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 0.890864 maximum resident set size= 1140476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285127 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= 350 involuntary context switches= 2004 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.02363 second user time and 7.54385 second system time The end
Begin job on node126 at 2016-06-07 01:53:53 IDJOB=4080128 IDBENCH=48151 IDSOLVER=2542 FILE ID=node126/4080128-1465257233 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080128-1465257233/watcher-4080128-1465257233 -o /tmp/evaluation-result-4080128-1465257233/solver-4080128-1465257233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080128-1465257233.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54e50bd6cbfbb2a5705269c41241de9a RANDOM SEED=447005532 node126.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 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.500 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.500 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30858116 kB Buffers: 66176 kB Cached: 140948 kB SwapCached: 2244 kB Active: 835136 kB Inactive: 123876 kB Active(anon): 751780 kB Inactive(anon): 2384 kB Active(file): 83356 kB Inactive(file): 121492 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098552 kB Dirty: 33852 kB Writeback: 0 kB AnonPages: 1105304 kB Mapped: 10724 kB Shmem: 0 kB Slab: 569080 kB SReclaimable: 12944 kB SUnreclaim: 556136 kB KernelStack: 1472 kB PageTables: 7172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1583660 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-07 02:23:54