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.06 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
| MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.248962 |
| 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 | YES |
| Number of variables | 3973 |
| Total number of constraints | 11097 |
| Number of constraints which are clauses | 11097 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1906 |
| 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 | 1906 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1906 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:51:28+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-4079835-1465249888.opb"] 0.00/0.01 c use --random-gen="494145103 2216606886 317698725 2503937905 430700255 1536710645 3318192211 3578833106 523708386 3294890127 513726953 1804692105 3380067254 2269416355 159179497 1852412717 1338138508 2951325748 3467140382 3034161021 1551470549 339568531 1081412035 2435054069 2750871291 4123137039 1119086302 244569797 4048099893 1833060683 2951060238 2132651961 462614799 2832937457 1616664748 1991598907 2507386834 3260605355 1447018002 3350087624 416368317 1956180173 237284722 1918897168 1767518492 3351707852 2748466850 207138606 3302946544 3187980807 1153365609 3889406655 765576071 68643131 955704432 1026787448 1917932560 276467352 2061552774 1074933137 1355994646 2268929360 3367685311 3468698608 1560390749 3684327120 1710460409 2400401280 2700796419 3862696285 3414925798 53119361 864532135 2643812695 850407152 3087828862 2914908663 4256648342 2893788347 3872945445 1847689022 1842876741 2398993094 3414467557 798514700 411842333 2535930152 2023383902 4242641359 2154731418 2241604288 1847140753 3368962646 206499437 2073755306 1858666456 2272898787 695217216 2030203496 3579558320 2176984075 2142124306 318911913 498490412 737448295 1872626384 19366315 4184338349 3232546358 1006609511 224583352 2411141203 1625806379 3163268112 4198221570 2152364950 3992716769 1497948256 489279104 3643650365 1386698359 2855449639 3524499571 3475518372 1319261823 3910933478 3014323942 3734661349 240991296 3452284678 1218757788 1423216364 1961883976 3429204754 2781681095 3718101291 3180102019 712396035 862383777 2446534636 10176822 2812585039 3782871312 2942156968 1430366310 3724982275 1811138252 176100259 549939678 1026962684 524154394 912650571 1123273704 2228767230 535472963 160797060 2252734742 1224815482 3666621117 4175901073 2410371695 3589999283 1817920362 1017768301 3271520679 2723929728 999401568 1152205022 2063225536 3236600564 2533606510 790524940 3438036367 3274900520 1844600206 4222695265 1230785017 4237669034 3635683614 1648635236 1844908435 1771287522 2643226538 3312874708 263412282 3745374186 2306245599 2859692603 4259201077 3735438096 1629101557 2437445134 104248422 2813596710 3609784137 2014802505 4175733305 3616655108 2008093275 3222972347 1636778898 277412057 1302597757 1105449374 2400936110 3956177227 2513497556 885778527 210990112 1717399309 4031975625 1790365449 1814220439 4085637735 2220478630 3368129609 4294370617 2819644910 2435958182 2071589411 1766657738 3112641046 3458704339 2175911255 4130985627 307334555 4088629712 1993619324 3337346175 3166452081 486853175 1590279585 2738086917 2334324351 576553063 1678222631 1644299338 2631535892 572653965 542423060 1955515352 4247729585 768636921 3989431126 1816859694 2743771887 799660797 916832243 4136188744 2367338951 3077172872 488293416 3087424623 676728829 3446288490 565004583 255 362436" option to reproduce the execution 0.00/0.09 c #vars 3973 0.00/0.09 c #constraints 11097 0.19/0.22 c BCD2: Hardening is enabled. 0.19/0.22 c BCD2: BiasedSearch is enabled. 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 0 0.19/0.24 c 0.0s | 0 | 1308 | 0 | 4982 0 | 215 | 1119 0.19/0.24 c #cpu_time = 0.016s 0.19/0.24 c #wall_clock_time = 0.016s 0.19/0.24 c #decision = 1308 0.19/0.24 c #random_decision = 4 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 o 1309 0.19/0.24 c BCD2: updating upper bound: 1906 -> 1308 0.19/0.25 c BCD2: 0 <= obj <= 1308 0.19/0.25 c BCD2: #cores=0, #unrelaxed=1906, #relaxed=0, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.19/0.27 c 0.0s | 0 | 4 | 0 | 4982 0 | 215 | 1119 0.19/0.27 c #cpu_time = 0.005s 0.19/0.27 c #wall_clock_time = 0.005s 0.19/0.27 c #decision = 4 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 3: cost of the new core is >=1 0.19/0.27 c lower bound updated to 1 0.19/0.27 c BCD2: 1 <= obj <= 1308 0.19/0.27 c BCD2: #cores=1, #unrelaxed=1903, #relaxed=3, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.19/0.28 c 0.0s | 0 | 8 | 0 | 4982 0 | 215 | 1119 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 8 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 3: cost of the new core is >=1 0.19/0.28 c lower bound updated to 2 0.19/0.28 c BCD2: 2 <= obj <= 1308 0.19/0.28 c BCD2: #cores=2, #unrelaxed=1900, #relaxed=6, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.19/0.28 c 0.0s | 0 | 13 | 0 | 4982 0 | 215 | 1119 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 13 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.28 c lower bound updated to 3 0.19/0.28 c BCD2: 3 <= obj <= 1308 0.19/0.28 c BCD2: #cores=3, #unrelaxed=1899, #relaxed=7, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.19/0.29 c 0.0s | 0 | 16 | 0 | 4982 0 | 215 | 1119 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 16 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 3: cost of the new core is >=1 0.19/0.29 c lower bound updated to 4 0.19/0.29 c BCD2: 4 <= obj <= 1308 0.19/0.29 c BCD2: #cores=4, #unrelaxed=1896, #relaxed=10, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.19/0.29 c 0.0s | 0 | 23 | 0 | 4982 0 | 215 | 1119 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 23 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.29 c lower bound updated to 5 0.29/0.31 c BCD2: 5 <= obj <= 1308 0.29/0.31 c BCD2: #cores=5, #unrelaxed=1885, #relaxed=21, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=6 bias=6/7 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.31 c 0.0s | 0 | 43 | 0 | 4982 0 | 215 | 1119 0.29/0.31 c #cpu_time = 0.003s 0.29/0.31 c #wall_clock_time = 0.003s 0.29/0.31 c #decision = 43 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 30: cost of the new core is >=1 0.29/0.31 c lower bound updated to 6 0.29/0.31 c BCD2: 6 <= obj <= 1308 0.29/0.31 c BCD2: #cores=6, #unrelaxed=1855, #relaxed=51, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=7 bias=7/8 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.31 c 0.0s | 0 | 47 | 0 | 4982 0 | 215 | 1119 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 47 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 3: cost of the new core is >=1 0.29/0.31 c lower bound updated to 7 0.29/0.31 c BCD2: 7 <= obj <= 1308 0.29/0.31 c BCD2: #cores=7, #unrelaxed=1852, #relaxed=54, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.32 c 0.0s | 0 | 282 | 0 | 4982 0 | 215 | 1119 0.29/0.32 c #cpu_time = 0.005s 0.29/0.32 c #wall_clock_time = 0.005s 0.29/0.32 c #decision = 282 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 26: cost of the new core is >=1 0.29/0.32 c lower bound updated to 8 0.29/0.32 c BCD2: 8 <= obj <= 1308 0.29/0.32 c BCD2: #cores=8, #unrelaxed=1826, #relaxed=80, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.33 c 0.0s | 0 | 461 | 0 | 4982 0 | 215 | 1119 0.29/0.33 c #cpu_time = 0.005s 0.29/0.33 c #wall_clock_time = 0.005s 0.29/0.33 c #decision = 461 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 94: cost of the new core is >=1 0.29/0.33 c lower bound updated to 9 0.29/0.33 c BCD2: 9 <= obj <= 1308 0.29/0.33 c BCD2: #cores=9, #unrelaxed=1732, #relaxed=174, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.33 c 0.0s | 0 | 392 | 0 | 4982 0 | 215 | 1119 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 392 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.33 c lower bound updated to 10 0.29/0.33 c BCD2: 10 <= obj <= 1308 0.29/0.33 c BCD2: #cores=10, #unrelaxed=1705, #relaxed=201, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.34 c 0.0s | 0 | 596 | 0 | 4982 0 | 215 | 1119 0.29/0.34 c #cpu_time = 0.005s 0.29/0.34 c #wall_clock_time = 0.005s 0.29/0.34 c #decision = 596 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 84: cost of the new core is >=1 0.29/0.34 c lower bound updated to 11 0.29/0.35 c BCD2: 11 <= obj <= 1308 0.29/0.35 c BCD2: #cores=11, #unrelaxed=1621, #relaxed=285, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.36 c 0.0s | 0 | 672 | 0 | 4982 0 | 215 | 1119 0.29/0.36 c #cpu_time = 0.006s 0.29/0.36 c #wall_clock_time = 0.006s 0.29/0.36 c #decision = 672 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 33: cost of the new core is >=1 0.29/0.36 c lower bound updated to 12 0.29/0.36 c BCD2: 12 <= obj <= 1308 0.29/0.36 c BCD2: #cores=12, #unrelaxed=1588, #relaxed=318, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.37 c 0.0s | 0 | 681 | 0 | 4982 0 | 215 | 1119 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 681 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 43: cost of the new core is >=1 0.29/0.37 c lower bound updated to 13 0.29/0.37 c BCD2: 13 <= obj <= 1308 0.29/0.37 c BCD2: #cores=13, #unrelaxed=1545, #relaxed=361, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.37 c 0.0s | 0 | 841 | 0 | 4982 0 | 215 | 1119 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 841 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 26: cost of the new core is >=1 0.29/0.37 c lower bound updated to 14 0.29/0.37 c BCD2: 14 <= obj <= 1308 0.29/0.37 c BCD2: #cores=14, #unrelaxed=1519, #relaxed=387, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.38 c 0.0s | 0 | 840 | 0 | 4982 0 | 215 | 1119 0.29/0.38 c #cpu_time = 0.006s 0.29/0.38 c #wall_clock_time = 0.006s 0.29/0.38 c #decision = 840 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 54: cost of the new core is >=1 0.29/0.38 c lower bound updated to 15 0.29/0.38 c BCD2: 15 <= obj <= 1308 0.29/0.38 c BCD2: #cores=15, #unrelaxed=1465, #relaxed=441, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=16 bias=16/17 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.39 c 0.0s | 0 | 833 | 0 | 4982 0 | 215 | 1119 0.29/0.39 c #cpu_time = 0.006s 0.29/0.39 c #wall_clock_time = 0.006s 0.29/0.39 c #decision = 833 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.39 c lower bound updated to 16 0.29/0.39 c BCD2: 16 <= obj <= 1308 0.29/0.39 c BCD2: #cores=16, #unrelaxed=1438, #relaxed=468, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=17 bias=17/18 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.29/0.40 c 0.0s | 0 | 1075 | 0 | 4982 0 | 215 | 1119 0.29/0.40 c #cpu_time = 0.006s 0.29/0.40 c #wall_clock_time = 0.006s 0.29/0.40 c #decision = 1075 0.29/0.40 c #random_decision = 0 0.29/0.40 c #conflict = 0 0.29/0.40 c #restart = 0 0.29/0.40 c BCD2: found a new core of size 33: cost of the new core is >=1 0.29/0.40 c lower bound updated to 17 0.39/0.40 c BCD2: 17 <= obj <= 1308 0.39/0.40 c BCD2: #cores=17, #unrelaxed=1405, #relaxed=501, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=18 bias=18/19 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.39/0.41 c 0.0s | 0 | 1098 | 0 | 4982 0 | 215 | 1119 0.39/0.41 c #cpu_time = 0.006s 0.39/0.41 c #wall_clock_time = 0.006s 0.39/0.41 c #decision = 1098 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 58: cost of the new core is >=1 0.39/0.41 c lower bound updated to 18 0.39/0.41 c BCD2: 18 <= obj <= 1308 0.39/0.41 c BCD2: #cores=18, #unrelaxed=1347, #relaxed=559, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=19 bias=19/20 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.39/0.41 c 0.0s | 0 | 1218 | 0 | 4982 0 | 215 | 1119 0.39/0.41 c #cpu_time = 0.006s 0.39/0.41 c #wall_clock_time = 0.006s 0.39/0.41 c #decision = 1218 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 97: cost of the new core is >=1 0.39/0.41 c lower bound updated to 19 0.39/0.42 c BCD2: 19 <= obj <= 1308 0.39/0.42 c BCD2: #cores=19, #unrelaxed=1250, #relaxed=656, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=20 bias=20/21 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.39/0.42 c 0.0s | 0 | 1162 | 0 | 4982 0 | 215 | 1119 0.39/0.42 c #cpu_time = 0.006s 0.39/0.42 c #wall_clock_time = 0.006s 0.39/0.42 c #decision = 1162 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 43: cost of the new core is >=1 0.39/0.42 c lower bound updated to 20 0.39/0.42 c BCD2: 20 <= obj <= 1308 0.39/0.42 c BCD2: #cores=20, #unrelaxed=1207, #relaxed=699, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=21 bias=21/22 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1119 0.39/0.43 c 0.0s | 0 | 1728 | 0 | 4982 0 | 215 | 1119 0.39/0.43 c #cpu_time = 0.009s 0.39/0.43 c #wall_clock_time = 0.009s 0.39/0.43 c #decision = 1728 0.39/0.43 c #random_decision = 2 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 o 43 0.39/0.44 c BCD2: updating upper bound: 1308 -> 42 0.39/0.44 c BCD2: 20 <= obj <= 42 0.39/0.44 c BCD2: #cores=20, #unrelaxed=1207, #relaxed=699, #hardened=0 0.39/0.44 c BCD2: #sat=2 #unsat=21 bias=21/23 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 4982 0 | 215 | 1120 0.49/0.50 c 0.1s | 1 | 2828 | 100 | 4982 0 | 215 | 1120 0.49/0.52 c 0.1s | 1 | 4042 | 111 | 5481 0 | 215 | 1120 0.49/0.52 c #cpu_time = 0.072s 0.49/0.52 c #wall_clock_time = 0.073s 0.49/0.52 c #decision = 4042 0.49/0.52 c #random_decision = 1 0.49/0.52 c #conflict = 111 0.49/0.52 c #restart = 1 0.49/0.52 o 29 0.49/0.52 c BCD2: updating upper bound: 42 -> 28 0.49/0.52 c BCD2: 20 <= obj <= 28 0.49/0.52 c BCD2: #cores=20, #unrelaxed=1207, #relaxed=699, #hardened=0 0.49/0.52 c BCD2: #sat=3 #unsat=21 bias=21/24 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 5481 0 | 215 | 1121 0.49/0.54 c 0.0s | 0 | 1933 | 4 | 5481 0 | 215 | 1121 0.49/0.54 c #cpu_time = 0.011s 0.49/0.54 c #wall_clock_time = 0.011s 0.49/0.54 c #decision = 1933 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 4 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: relaxing 30 and merging with 4 cores into a new core of size 77: cost of the new core is >=5 0.49/0.54 c lower bound updated to 21 0.49/0.54 c BCD2: 21 <= obj <= 28 0.49/0.54 c BCD2: #cores=17, #unrelaxed=1177, #relaxed=729, #hardened=0 0.49/0.54 c BCD2: #sat=3 #unsat=22 bias=22/25 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 5481 0 | 227 | 1121 0.49/0.57 c 0.0s | 1 | 1906 | 100 | 5481 0 | 227 | 1141 0.59/0.60 c 0.1s | 2 | 3527 | 250 | 6030 0 | 227 | 1141 0.59/0.66 c 0.1s | 3 | 5251 | 475 | 6634 0 | 227 | 1141 0.69/0.79 c 0.3s | 4 | 7716 | 813 | 7298 0 | 227 | 1141 0.98/1.02 c 0.5s | 4 | 11920 | 1207 | 8028 0 | 227 | 1141 0.98/1.02 c #cpu_time = 0.478s 0.98/1.02 c #wall_clock_time = 0.479s 0.98/1.02 c #decision = 11920 0.98/1.02 c #random_decision = 10 0.98/1.02 c #conflict = 1207 0.98/1.02 c #restart = 4 0.98/1.02 c BCD2: relaxing 137 and merging with 10 cores into a new core of size 634: cost of the new core is >=15 0.98/1.02 c lower bound updated to 22 0.98/1.03 c BCD2: 22 <= obj <= 28 0.98/1.03 c BCD2: #cores=8, #unrelaxed=1040, #relaxed=866, #hardened=0 0.98/1.03 c BCD2: #sat=3 #unsat=23 bias=23/26 0.98/1.03 c Solving starts ... 0.98/1.03 c ============================[ Search Statistics ]============================ 0.98/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.03 c | | | | Limit GC | Var | Constra 0.98/1.03 c ============================================================================= 0.98/1.03 c 0.0s | 0 | 0 | 0 | 8028 0 | 260 | 1141 1.09/1.13 c 0.1s | 1 | 1745 | 100 | 8028 0 | 260 | 1197 1.29/1.31 c 0.3s | 2 | 4232 | 250 | 8028 0 | 260 | 1197 1.49/1.50 c 0.5s | 3 | 6546 | 475 | 8028 0 | 260 | 1197 1.79/1.85 c 0.8s | 4 | 9566 | 813 | 8831 0 | 260 | 1197 2.38/2.40 c 1.4s | 5 | 13588 | 1320 | 8831 0 | 260 | 1197 3.08/3.14 c 2.1s | 6 | 18894 | 2081 | 9715 0 | 260 | 1197 4.08/4.10 c 3.1s | 7 | 24894 | 3223 | 9715 0 | 260 | 1197 5.88/5.95 c 4.9s | 8 | 37420 | 4936 | 10687 0 | 260 | 1197 7.98/8.03 c 7.0s | 8 | 49777 | 7036 | 11756 0 | 260 | 1197 8.48/8.52 c 7.5s | 9 | 52643 | 7506 | 11756 0 | 260 | 1197 10.58/10.62 c 9.6s | 9 | 62707 | 9106 | 11756 0 | 260 | 1197 12.68/12.73 c 11.7s | 9 | 73223 | 10806 | 12932 0 | 260 | 1197 13.38/13.46 c 12.4s | 10 | 76615 | 11361 | 12932 0 | 260 | 1197 15.49/15.52 c 14.5s | 10 | 85841 | 12761 | 12932 0 | 260 | 1197 17.59/17.61 c 16.6s | 10 | 94930 | 14361 | 12932 0 | 260 | 1197 19.58/19.69 c 18.7s | 10 | 107213 | 16161 | 14226 1 | 260 | 1197 20.68/20.72 c 19.7s | 11 | 113177 | 17144 | 14226 1 | 260 | 1197 22.78/22.84 c 21.8s | 11 | 124497 | 18944 | 14226 1 | 260 | 1197 24.78/24.85 c 23.8s | 11 | 133224 | 20644 | 14226 1 | 260 | 1197 26.78/26.89 c 25.9s | 11 | 141904 | 22244 | 14226 1 | 260 | 1197 28.98/29.02 c 28.0s | 11 | 150895 | 23844 | 14226 1 | 260 | 1197 30.99/31.03 c 30.0s | 11 | 159336 | 25244 | 15649 2 | 260 | 1197 31.79/31.86 c 30.8s | 12 | 162750 | 25819 | 15649 2 | 260 | 1197 33.89/33.90 c 32.9s | 12 | 175862 | 27619 | 15649 2 | 260 | 1197 35.89/35.96 c 34.9s | 12 | 187162 | 29519 | 15649 2 | 260 | 1197 37.89/37.97 c 36.9s | 12 | 196177 | 31219 | 15649 2 | 260 | 1197 39.89/39.98 c 39.0s | 12 | 204996 | 32819 | 15649 2 | 260 | 1197 41.99/42.01 c 41.0s | 12 | 212349 | 34219 | 15649 3 | 260 | 1197 43.99/44.05 c 43.0s | 12 | 219963 | 35819 | 15649 3 | 260 | 1197 46.09/46.10 c 45.1s | 12 | 228883 | 37419 | 17214 3 | 260 | 1197 47.69/47.77 c 46.7s | 13 | 235609 | 38832 | 17214 3 | 260 | 1197 49.89/49.90 c 48.9s | 13 | 246817 | 40632 | 17214 3 | 260 | 1197 51.89/51.92 c 50.9s | 13 | 254730 | 42132 | 17214 3 | 260 | 1197 53.89/53.96 c 52.9s | 13 | 263750 | 43832 | 17214 3 | 260 | 1197 55.88/55.97 c 54.9s | 13 | 271176 | 45532 | 17214 4 | 260 | 1197 57.98/58.05 c 57.0s | 13 | 280316 | 47332 | 17214 4 | 260 | 1197 60.08/60.13 c 59.1s | 13 | 287190 | 49132 | 17214 4 | 260 | 1197 62.18/62.21 c 61.2s | 13 | 294715 | 50832 | 17214 4 | 260 | 1197 64.18/64.22 c 63.2s | 13 | 301824 | 52132 | 17214 4 | 260 | 1197 66.28/66.30 c 65.3s | 13 | 309059 | 53432 | 17214 4 | 260 | 1197 68.29/68.38 c 67.3s | 13 | 317198 | 54732 | 17214 5 | 260 | 1197 70.39/70.50 c 69.5s | 13 | 325766 | 56332 | 17214 5 | 260 | 1197 72.48/72.52 c 71.5s | 13 | 333719 | 57832 | 18936 5 | 260 | 1197 73.18/73.25 c 72.2s | 14 | 335144 | 58352 | 18936 5 | 260 | 1197 75.28/75.36 c 74.3s | 14 | 343362 | 59752 | 18936 5 | 260 | 1197 77.48/77.52 c 76.5s | 14 | 350097 | 61152 | 18936 5 | 260 | 1197 79.48/79.57 c 78.5s | 14 | 356242 | 62552 | 18936 5 | 260 | 1197 81.58/81.63 c 80.6s | 14 | 361296 | 63952 | 18936 5 | 260 | 1197 83.68/83.71 c 82.7s | 14 | 366250 | 64952 | 18936 5 | 260 | 1197 85.68/85.73 c 84.7s | 14 | 371485 | 66152 | 18936 6 | 260 | 1197 87.77/87.83 c 86.8s | 14 | 378887 | 67552 | 18936 6 | 260 | 1197 89.77/89.88 c 88.9s | 14 | 386248 | 69052 | 18936 6 | 260 | 1197 91.87/91.99 c 91.0s | 14 | 394091 | 70552 | 18936 6 | 260 | 1197 94.07/94.10 c 93.1s | 14 | 402192 | 71952 | 18936 6 | 260 | 1197 96.17/96.21 c 95.2s | 14 | 410586 | 73452 | 18936 6 | 260 | 1197 98.27/98.32 c 97.3s | 14 | 419293 | 74852 | 18936 6 | 260 | 1197 100.37/100.41 c 99.4s | 14 | 428278 | 76352 | 18936 6 | 260 | 1197 102.38/102.45 c 101s | 14 | 435306 | 77752 | 18936 7 | 260 | 1197 104.48/104.53 c 103s | 14 | 442477 | 79352 | 18936 7 | 260 | 1197 106.78/106.86 c 105s | 14 | 449994 | 80952 | 18936 7 | 260 | 1197 108.88/108.95 c 107s | 14 | 458760 | 82452 | 18936 7 | 260 | 1197 110.97/111.01 c 109s | 14 | 468021 | 83952 | 18936 7 | 260 | 1197 112.97/113.05 c 112s | 14 | 475396 | 85352 | 18936 7 | 260 | 1197 114.97/115.05 c 114s | 14 | 484318 | 86852 | 20830 7 | 260 | 1197 115.97/116.08 c 115s | 15 | 489803 | 87632 | 20830 7 | 260 | 1197 118.07/118.18 c 117s | 15 | 502942 | 89332 | 20830 8 | 260 | 1197 120.27/120.30 c 119s | 15 | 512124 | 91132 | 20830 8 | 260 | 1197 122.27/122.34 c 121s | 15 | 520143 | 92532 | 20830 8 | 260 | 1197 124.27/124.40 c 123s | 15 | 528632 | 94232 | 20830 8 | 260 | 1197 126.47/126.51 c 125s | 15 | 538397 | 95932 | 20830 8 | 260 | 1197 128.57/128.62 c 127s | 15 | 546836 | 97532 | 20830 8 | 260 | 1197 130.57/130.67 c 129s | 15 | 554861 | 99032 | 20830 8 | 260 | 1197 132.56/132.67 c 131s | 15 | 560372 | 100232 | 20830 9 | 260 | 1197 134.56/134.69 c 133s | 15 | 568740 | 101732 | 20830 9 | 260 | 1197 136.66/136.76 c 135s | 15 | 577916 | 103332 | 20830 9 | 260 | 1197 138.76/138.82 c 137s | 15 | 586797 | 104932 | 20830 9 | 260 | 1197 140.77/140.89 c 139s | 15 | 594056 | 106532 | 20830 9 | 260 | 1197 142.86/142.96 c 141s | 15 | 603122 | 107932 | 20830 9 | 260 | 1197 144.96/145.07 c 144s | 15 | 608662 | 109232 | 20830 9 | 260 | 1197 147.06/147.17 c 146s | 15 | 615110 | 110532 | 20830 9 | 260 | 1197 149.16/149.25 c 148s | 15 | 623080 | 111932 | 20830 10 | 260 | 1197 151.16/151.27 c 150s | 15 | 630634 | 113432 | 20830 10 | 260 | 1197 153.26/153.38 c 152s | 15 | 638377 | 114832 | 20830 10 | 260 | 1197 155.36/155.45 c 154s | 15 | 648167 | 116432 | 20830 10 | 260 | 1197 157.46/157.52 c 156s | 15 | 656317 | 117832 | 20830 10 | 260 | 1197 159.47/159.55 c 158s | 15 | 662882 | 119232 | 20830 10 | 260 | 1197 161.67/161.73 c 160s | 15 | 668714 | 120632 | 20830 10 | 260 | 1197 163.76/163.84 c 162s | 15 | 676242 | 122032 | 20830 10 | 260 | 1197 165.96/166.01 c 164s | 15 | 681474 | 123332 | 20830 11 | 260 | 1197 168.07/168.12 c 167s | 15 | 688988 | 124832 | 20830 11 | 260 | 1197 170.06/170.14 c 169s | 15 | 697876 | 126432 | 20830 11 | 260 | 1197 172.06/172.17 c 171s | 15 | 706534 | 128032 | 20830 11 | 260 | 1197 174.16/174.23 c 173s | 15 | 716696 | 129732 | 22914 11 | 260 | 1197 176.26/176.35 c 175s | 15 | 726837 | 131432 | 22914 11 | 260 | 1197 176.46/176.52 c 175s | 16 | 727656 | 131552 | 22914 11 | 260 | 1197 178.46/178.54 c 177s | 16 | 737538 | 133052 | 22914 11 | 260 | 1197 180.56/180.65 c 179s | 16 | 746646 | 134852 | 22914 11 | 260 | 1197 182.67/182.75 c 181s | 16 | 753698 | 136452 | 22914 11 | 260 | 1197 184.66/184.79 c 183s | 16 | 761020 | 138052 | 22914 12 | 260 | 1197 186.76/186.87 c 185s | 16 | 769078 | 139652 | 22914 12 | 260 | 1197 189.27/189.37 c 188s | 16 | 776998 | 141152 | 22914 12 | 260 | 1197 191.36/191.45 c 190s | 16 | 786579 | 142652 | 22914 12 | 260 | 1197 193.46/193.57 c 192s | 16 | 796155 | 144252 | 22914 12 | 260 | 1197 195.56/195.62 c 194s | 16 | 807065 | 146252 | 22914 12 | 260 | 1197 197.56/197.64 c 196s | 16 | 815122 | 147852 | 22914 12 | 260 | 1197 199.56/199.69 c 198s | 16 | 825830 | 149652 | 22914 13 | 260 | 1197 201.66/201.79 c 200s | 16 | 834991 | 151352 | 22914 13 | 260 | 1197 203.86/203.91 c 202s | 16 | 844640 | 153052 | 22914 13 | 260 | 1197 205.96/206.00 c 204s | 16 | 853399 | 154752 | 22914 13 | 260 | 1197 208.06/208.15 c 207s | 16 | 861030 | 156452 | 22914 13 | 260 | 1197 210.16/210.22 c 209s | 16 | 869073 | 157952 | 22914 13 | 260 | 1197 212.26/212.33 c 211s | 16 | 876278 | 159452 | 22914 13 | 260 | 1197 214.25/214.38 c 213s | 16 | 883280 | 160952 | 22914 13 | 260 | 1197 216.45/216.50 c 215s | 16 | 892009 | 162352 | 22914 14 | 260 | 1197 218.45/218.50 c 217s | 16 | 900359 | 163952 | 22914 14 | 260 | 1197 220.45/220.55 c 219s | 16 | 907928 | 165452 | 22914 14 | 260 | 1197 222.55/222.65 c 221s | 16 | 915481 | 166852 | 22914 14 | 260 | 1197 224.65/224.73 c 223s | 16 | 922384 | 168352 | 22914 14 | 260 | 1197 226.66/226.79 c 225s | 16 | 928127 | 169752 | 22914 14 | 260 | 1197 228.76/228.86 c 227s | 16 | 934315 | 171052 | 22914 14 | 260 | 1197 230.85/230.90 c 229s | 16 | 940783 | 172252 | 22914 14 | 260 | 1197 232.95/233.01 c 231s | 16 | 947189 | 173452 | 22914 14 | 260 | 1197 235.05/235.15 c 234s | 16 | 952400 | 174552 | 22914 14 | 260 | 1197 237.15/237.20 c 236s | 16 | 957427 | 175452 | 22914 15 | 260 | 1197 239.15/239.21 c 238s | 16 | 965707 | 176752 | 22914 15 | 260 | 1197 241.15/241.29 c 240s | 16 | 973120 | 177952 | 22914 15 | 260 | 1197 243.35/243.43 c 242s | 16 | 980653 | 179352 | 22914 15 | 260 | 1197 245.45/245.50 c 244s | 16 | 986462 | 180552 | 22914 15 | 260 | 1197 247.45/247.60 c 246s | 16 | 992610 | 181752 | 22914 15 | 260 | 1197 249.55/249.67 c 248s | 16 | 998970 | 183052 | 22914 15 | 260 | 1197 251.55/251.69 c 250s | 16 | 1004373 | 184352 | 22914 15 | 260 | 1197 253.75/253.85 c 252s | 16 | 1009622 | 185452 | 22914 15 | 260 | 1197 255.85/255.91 c 254s | 16 | 1015682 | 186552 | 22914 15 | 260 | 1197 257.94/258.03 c 257s | 16 | 1021396 | 187752 | 22914 16 | 260 | 1197 260.05/260.12 c 259s | 16 | 1030210 | 189252 | 22914 16 | 260 | 1197 262.15/262.22 c 261s | 16 | 1036873 | 190452 | 22914 16 | 260 | 1197 264.25/264.31 c 263s | 16 | 1046005 | 192152 | 22914 16 | 260 | 1197 266.35/266.44 c 265s | 16 | 1055349 | 193852 | 22914 16 | 260 | 1197 268.46/268.52 c 267s | 16 | 1064242 | 195552 | 25206 16 | 260 | 1197 270.56/270.60 c 269s | 16 | 1072605 | 197052 | 25206 16 | 260 | 1197 271.05/271.11 c 270s | 17 | 1075166 | 197432 | 25206 16 | 260 | 1197 273.15/273.20 c 272s | 17 | 1083724 | 198932 | 25206 16 | 260 | 1197 275.25/275.32 c 274s | 17 | 1093503 | 200632 | 25206 16 | 260 | 1197 277.26/277.35 c 276s | 17 | 1099243 | 202032 | 25206 16 | 260 | 1197 279.25/279.36 c 278s | 17 | 1108292 | 203532 | 25206 17 | 260 | 1197 281.35/281.41 c 280s | 17 | 1116245 | 205232 | 25206 17 | 260 | 1197 283.35/283.46 c 282s | 17 | 1124471 | 206832 | 25206 17 | 260 | 1197 285.45/285.52 c 284s | 17 | 1132070 | 208532 | 25206 17 | 260 | 1197 287.45/287.59 c 286s | 17 | 1140503 | 210132 | 25206 17 | 260 | 1197 289.55/289.69 c 288s | 17 | 1148312 | 211732 | 25206 17 | 260 | 1197 291.65/291.70 c 290s | 17 | 1156337 | 213232 | 25206 17 | 260 | 1197 293.65/293.73 c 292s | 17 | 1163690 | 214832 | 25206 17 | 260 | 1197 295.75/295.83 c 294s | 17 | 1170141 | 216332 | 25206 18 | 260 | 1197 297.75/297.84 c 296s | 17 | 1178404 | 218132 | 25206 18 | 260 | 1197 299.75/299.85 c 298s | 17 | 1185161 | 219832 | 25206 18 | 260 | 1197 301.85/301.98 c 300s | 17 | 1192824 | 221332 | 25206 18 | 260 | 1197 304.55/304.63 c 303s | 17 | 1197637 | 222132 | 25206 18 | 260 | 1197 306.65/306.73 c 305s | 17 | 1203408 | 223232 | 25206 18 | 260 | 1197 308.65/308.78 c 307s | 17 | 1211190 | 224332 | 25206 18 | 260 | 1197 310.74/310.82 c 309s | 17 | 1217164 | 225332 | 25206 18 | 260 | 1197 312.74/312.88 c 311s | 17 | 1224247 | 226432 | 25206 18 | 260 | 1197 314.84/314.97 c 313s | 17 | 1231946 | 227532 | 25206 18 | 260 | 1197 316.94/317.00 c 315s | 17 | 1239443 | 228732 | 25206 18 | 260 | 1197 318.95/319.06 c 318s | 17 | 1246518 | 229832 | 25206 18 | 260 | 1197 321.04/321.18 c 320s | 17 | 1255103 | 231232 | 25206 19 | 260 | 1197 323.14/323.28 c 322s | 17 | 1263480 | 232832 | 25206 19 | 260 | 1197 325.24/325.32 c 324s | 17 | 1271069 | 234332 | 25206 19 | 260 | 1197 327.34/327.46 c 326s | 17 | 1279124 | 235832 | 25206 19 | 260 | 1197 329.44/329.52 c 328s | 17 | 1285512 | 237032 | 25206 19 | 260 | 1197 331.54/331.69 c 330s | 17 | 1292606 | 238432 | 25206 19 | 260 | 1197 333.64/333.73 c 332s | 17 | 1299991 | 239732 | 25206 19 | 260 | 1197 335.64/335.77 c 334s | 17 | 1307117 | 241032 | 25206 19 | 260 | 1197 337.84/337.91 c 336s | 17 | 1312951 | 242432 | 25206 19 | 260 | 1197 339.85/339.98 c 338s | 17 | 1318003 | 243632 | 25206 19 | 260 | 1197 341.94/342.08 c 341s | 17 | 1324636 | 245032 | 25206 20 | 260 | 1197 344.14/344.21 c 343s | 17 | 1332531 | 246432 | 25206 20 | 260 | 1197 346.24/346.33 c 345s | 17 | 1339426 | 247932 | 25206 20 | 260 | 1197 348.34/348.40 c 347s | 17 | 1345447 | 249332 | 25206 20 | 260 | 1197 350.34/350.49 c 349s | 17 | 1353370 | 250732 | 25206 20 | 260 | 1197 352.54/352.62 c 351s | 17 | 1361885 | 252132 | 25206 20 | 260 | 1197 354.64/354.74 c 353s | 17 | 1369382 | 253432 | 25206 20 | 260 | 1197 357.34/357.46 c 356s | 17 | 1377956 | 254832 | 25206 20 | 260 | 1197 359.44/359.55 c 358s | 17 | 1385644 | 256032 | 25206 20 | 260 | 1197 361.64/361.74 c 360s | 17 | 1391012 | 257232 | 25206 20 | 260 | 1197 363.84/363.95 c 362s | 17 | 1399053 | 258632 | 25206 21 | 260 | 1197 365.94/366.01 c 364s | 17 | 1406319 | 260032 | 25206 21 | 260 | 1197 368.04/368.11 c 367s | 17 | 1414147 | 261532 | 25206 21 | 260 | 1197 370.03/370.18 c 369s | 17 | 1420430 | 262932 | 25206 21 | 260 | 1197 372.03/372.18 c 371s | 17 | 1426962 | 264032 | 25206 21 | 260 | 1197 374.13/374.26 c 373s | 17 | 1436590 | 265632 | 25206 21 | 260 | 1197 376.24/376.39 c 375s | 17 | 1444312 | 266932 | 25206 21 | 260 | 1197 378.34/378.45 c 377s | 17 | 1451629 | 268332 | 25206 21 | 260 | 1197 380.43/380.58 c 379s | 17 | 1458118 | 269732 | 25206 21 | 260 | 1197 382.43/382.58 c 381s | 17 | 1464123 | 271032 | 25206 21 | 260 | 1197 384.43/384.59 c 383s | 17 | 1471364 | 272532 | 25206 22 | 260 | 1197 386.63/386.70 c 385s | 17 | 1480398 | 274032 | 25206 22 | 260 | 1197 388.63/388.77 c 387s | 17 | 1491482 | 275532 | 25206 22 | 260 | 1197 390.73/390.85 c 389s | 17 | 1499599 | 277032 | 25206 22 | 260 | 1197 392.83/392.90 c 391s | 17 | 1507059 | 278432 | 25206 22 | 260 | 1197 394.84/394.96 c 393s | 17 | 1515290 | 279932 | 25206 22 | 260 | 1197 396.93/397.09 c 396s | 17 | 1522158 | 281432 | 25206 22 | 260 | 1197 399.03/399.10 c 398s | 17 | 1527352 | 282532 | 25206 22 | 260 | 1197 401.13/401.27 c 400s | 17 | 1533108 | 283632 | 25206 22 | 260 | 1197 403.33/403.43 c 402s | 17 | 1540047 | 284832 | 25206 22 | 260 | 1197 405.43/405.54 c 404s | 17 | 1545910 | 286132 | 25206 23 | 260 | 1197 407.53/407.67 c 406s | 17 | 1551532 | 287432 | 25206 23 | 260 | 1197 409.63/409.72 c 408s | 17 | 1556636 | 288632 | 25206 23 | 260 | 1197 411.73/411.82 c 410s | 17 | 1562494 | 289832 | 25206 23 | 260 | 1197 413.73/413.87 c 412s | 17 | 1568612 | 291232 | 25206 23 | 260 | 1197 415.83/415.97 c 414s | 17 | 1573869 | 292332 | 25206 23 | 260 | 1197 417.93/418.05 c 417s | 17 | 1578496 | 293432 | 27727 23 | 260 | 1197 419.93/420.09 c 419s | 17 | 1583763 | 294632 | 27727 23 | 260 | 1197 422.02/422.19 c 421s | 17 | 1588880 | 295732 | 27727 23 | 260 | 1197 423.02/423.15 c 422s | 18 | 1591340 | 296252 | 27727 23 | 260 | 1197 425.22/425.36 c 424s | 18 | 1597146 | 297452 | 27727 23 | 260 | 1197 427.32/427.41 c 426s | 18 | 1601507 | 298152 | 27727 23 | 260 | 1197 429.52/429.69 c 428s | 18 | 1605530 | 298752 | 27727 23 | 260 | 1197 431.72/431.82 c 430s | 18 | 1610044 | 299552 | 27727 23 | 260 | 1197 433.72/433.88 c 432s | 18 | 1615192 | 300452 | 27727 23 | 260 | 1197 436.32/436.41 c 435s | 18 | 1619313 | 301252 | 27727 24 | 260 | 1197 438.32/438.45 c 437s | 18 | 1625522 | 302552 | 27727 24 | 260 | 1197 440.52/440.62 c 439s | 18 | 1631892 | 303952 | 27727 24 | 260 | 1197 442.62/442.70 c 441s | 18 | 1639710 | 305252 | 27727 24 | 260 | 1197 444.72/444.82 c 443s | 18 | 1648130 | 306752 | 27727 24 | 260 | 1197 446.72/446.83 c 445s | 18 | 1654392 | 308052 | 27727 24 | 260 | 1197 448.83/448.95 c 447s | 18 | 1660007 | 309352 | 27727 24 | 260 | 1197 450.93/451.06 c 450s | 18 | 1666249 | 310652 | 27727 24 | 260 | 1197 453.13/453.23 c 452s | 18 | 1672733 | 312052 | 27727 24 | 260 | 1197 455.12/455.29 c 454s | 18 | 1679246 | 313252 | 27727 24 | 260 | 1197 457.22/457.31 c 456s | 18 | 1684462 | 314352 | 27727 24 | 260 | 1197 459.32/459.44 c 458s | 18 | 1688626 | 315252 | 27727 24 | 260 | 1197 461.52/461.63 c 460s | 18 | 1693828 | 316252 | 27727 24 | 260 | 1197 463.52/463.68 c 462s | 18 | 1699646 | 317452 | 27727 25 | 260 | 1197 465.72/465.81 c 464s | 18 | 1707227 | 318852 | 27727 25 | 260 | 1197 467.72/467.89 c 466s | 18 | 1712512 | 320152 | 27727 25 | 260 | 1197 469.82/469.98 c 468s | 18 | 1717721 | 321452 | 27727 25 | 260 | 1197 471.82/472.00 c 470s | 18 | 1723522 | 322652 | 27727 25 | 260 | 1197 474.21/474.33 c 473s | 18 | 1729598 | 323852 | 27727 25 | 260 | 1197 476.32/476.44 c 475s | 18 | 1736254 | 325052 | 27727 25 | 260 | 1197 478.42/478.54 c 477s | 18 | 1744225 | 326352 | 27727 25 | 260 | 1197 480.41/480.57 c 479s | 18 | 1752950 | 327652 | 27727 25 | 260 | 1197 482.51/482.65 c 481s | 18 | 1760820 | 329252 | 27727 25 | 260 | 1197 484.61/484.72 c 483s | 18 | 1767379 | 330652 | 27727 25 | 260 | 1197 486.61/486.77 c 485s | 18 | 1774281 | 332052 | 27727 26 | 260 | 1197 488.71/488.88 c 487s | 18 | 1781377 | 333852 | 27727 26 | 260 | 1197 490.81/490.93 c 489s | 18 | 1788685 | 335252 | 27727 26 | 260 | 1197 492.91/493.03 c 492s | 18 | 1796757 | 336652 | 27727 26 | 260 | 1197 494.92/495.06 c 494s | 18 | 1805216 | 338152 | 27727 26 | 260 | 1197 496.91/497.06 c 496s | 18 | 1812034 | 339552 | 27727 26 | 260 | 1197 499.01/499.12 c 498s | 18 | 1819976 | 341052 | 27727 26 | 260 | 1197 501.11/501.23 c 500s | 18 | 1826385 | 342452 | 27727 26 | 260 | 1197 503.21/503.38 c 502s | 18 | 1832421 | 343652 | 27727 26 | 260 | 1197 505.31/505.42 c 504s | 18 | 1838854 | 344752 | 27727 26 | 260 | 1197 507.31/507.46 c 506s | 18 | 1845798 | 345952 | 27727 26 | 260 | 1197 509.41/509.54 c 508s | 18 | 1851484 | 347152 | 27727 27 | 260 | 1197 511.52/511.66 c 510s | 18 | 1857459 | 348552 | 27727 27 | 260 | 1197 513.62/513.78 c 512s | 18 | 1865352 | 349952 | 27727 27 | 260 | 1197 515.82/515.92 c 514s | 18 | 1871064 | 351252 | 27727 27 | 260 | 1197 517.81/517.95 c 516s | 18 | 1878018 | 352652 | 27727 27 | 260 | 1197 519.91/520.03 c 519s | 18 | 1884434 | 353952 | 27727 27 | 260 | 1197 522.01/522.16 c 521s | 18 | 1891707 | 355352 | 27727 27 | 260 | 1197 524.11/524.21 c 523s | 18 | 1898759 | 356652 | 27727 27 | 260 | 1197 526.11/526.25 c 525s | 18 | 1907457 | 358052 | 27727 27 | 260 | 1197 528.21/528.34 c 527s | 18 | 1915763 | 359652 | 27727 27 | 260 | 1197 530.21/530.37 c 529s | 18 | 1924728 | 360952 | 27727 27 | 260 | 1197 532.31/532.42 c 531s | 18 | 1931572 | 362452 | 27727 28 | 260 | 1197 534.31/534.45 c 533s | 18 | 1940301 | 364052 | 27727 28 | 260 | 1197 536.31/536.47 c 535s | 18 | 1948550 | 365552 | 27727 28 | 260 | 1197 538.41/538.59 c 537s | 18 | 1957409 | 367152 | 27727 28 | 260 | 1197 540.50/540.68 c 539s | 18 | 1966309 | 368752 | 27727 28 | 260 | 1197 542.60/542.73 c 541s | 18 | 1974877 | 370252 | 27727 28 | 260 | 1197 544.70/544.87 c 543s | 18 | 1982876 | 371752 | 27727 28 | 260 | 1197 546.80/546.94 c 545s | 18 | 1990770 | 373152 | 27727 28 | 260 | 1197 549.00/549.11 c 548s | 18 | 1998956 | 374652 | 27727 28 | 260 | 1197 551.11/551.24 c 550s | 18 | 2005997 | 375952 | 27727 28 | 260 | 1197 553.21/553.33 c 552s | 18 | 2010670 | 376852 | 27727 29 | 260 | 1197 555.20/555.35 c 554s | 18 | 2015613 | 378052 | 27727 29 | 260 | 1197 557.41/557.52 c 556s | 18 | 2022201 | 379352 | 27727 29 | 260 | 1197 559.41/559.55 c 558s | 18 | 2027510 | 380552 | 27727 29 | 260 | 1197 561.51/561.64 c 560s | 18 | 2033740 | 381752 | 27727 29 | 260 | 1197 563.61/563.75 c 562s | 18 | 2040663 | 382952 | 27727 29 | 260 | 1197 565.61/565.77 c 564s | 18 | 2044979 | 383952 | 27727 29 | 260 | 1197 567.61/567.78 c 566s | 18 | 2050141 | 385052 | 27727 29 | 260 | 1197 569.81/569.96 c 568s | 18 | 2056383 | 386252 | 27727 29 | 260 | 1197 571.91/572.10 c 571s | 18 | 2062296 | 387352 | 27727 29 | 260 | 1197 574.11/574.28 c 573s | 18 | 2067741 | 388452 | 27727 29 | 260 | 1197 576.21/576.39 c 575s | 18 | 2074363 | 389552 | 27727 29 | 260 | 1197 578.80/578.99 c 577s | 18 | 2078302 | 390252 | 27727 29 | 260 | 1197 581.00/581.19 c 580s | 18 | 2080232 | 390552 | 27727 29 | 260 | 1197 583.20/583.35 c 582s | 18 | 2085365 | 391552 | 27727 30 | 260 | 1197 585.30/585.45 c 584s | 18 | 2094815 | 393152 | 27727 30 | 260 | 1197 587.50/587.66 c 586s | 18 | 2101804 | 394252 | 27727 30 | 260 | 1197 589.60/589.75 c 588s | 18 | 2110404 | 395752 | 27727 30 | 260 | 1197 591.70/591.87 c 590s | 18 | 2117289 | 397252 | 27727 30 | 260 | 1197 593.80/593.99 c 592s | 18 | 2125590 | 398752 | 27727 30 | 260 | 1197 595.90/596.09 c 595s | 18 | 2133755 | 400252 | 27727 30 | 260 | 1197 598.10/598.21 c 597s | 18 | 2142292 | 401852 | 27727 30 | 260 | 1197 600.10/600.29 c 599s | 18 | 2150529 | 403252 | 27727 30 | 260 | 1197 602.20/602.39 c 601s | 18 | 2158027 | 404652 | 27727 30 | 260 | 1197 604.20/604.39 c 603s | 18 | 2165828 | 406152 | 27727 30 | 260 | 1197 606.29/606.48 c 605s | 18 | 2174532 | 407752 | 27727 31 | 260 | 1197 608.39/608.51 c 607s | 18 | 2183383 | 409352 | 27727 31 | 260 | 1197 610.50/610.62 c 609s | 18 | 2191411 | 410752 | 27727 31 | 260 | 1197 612.60/612.75 c 611s | 18 | 2198525 | 412052 | 27727 31 | 260 | 1197 614.59/614.75 c 613s | 18 | 2204295 | 413352 | 27727 31 | 260 | 1197 616.69/616.85 c 615s | 18 | 2210947 | 414552 | 27727 31 | 260 | 1197 618.79/618.97 c 617s | 18 | 2217991 | 415752 | 27727 31 | 260 | 1197 620.79/620.98 c 619s | 18 | 2224395 | 416952 | 27727 31 | 260 | 1197 622.99/623.15 c 622s | 18 | 2230928 | 418252 | 27727 31 | 260 | 1197 625.09/625.23 c 624s | 18 | 2236997 | 419352 | 27727 31 | 260 | 1197 627.09/627.23 c 626s | 18 | 2242595 | 420552 | 27727 31 | 260 | 1197 629.10/629.23 c 628s | 18 | 2247628 | 421552 | 27727 31 | 260 | 1197 631.19/631.36 c 630s | 18 | 2254236 | 422752 | 27727 32 | 260 | 1197 633.29/633.47 c 632s | 18 | 2261751 | 424252 | 27727 32 | 260 | 1197 635.39/635.51 c 634s | 18 | 2268552 | 425652 | 27727 32 | 260 | 1197 637.49/637.65 c 636s | 18 | 2275063 | 427152 | 27727 32 | 260 | 1197 639.59/639.77 c 638s | 18 | 2282415 | 428552 | 27727 32 | 260 | 1197 641.69/641.85 c 640s | 18 | 2289115 | 429952 | 27727 32 | 260 | 1197 643.79/643.99 c 642s | 18 | 2296144 | 431252 | 27727 32 | 260 | 1197 645.89/646.04 c 645s | 18 | 2302449 | 432552 | 27727 32 | 260 | 1197 647.89/648.09 c 647s | 18 | 2307631 | 433652 | 27727 32 | 260 | 1197 650.19/650.30 c 649s | 18 | 2312421 | 434752 | 27727 32 | 260 | 1197 652.69/652.81 c 651s | 18 | 2316955 | 435852 | 27727 32 | 260 | 1197 654.79/654.92 c 653s | 18 | 2320109 | 436452 | 27727 32 | 260 | 1197 656.79/656.94 c 655s | 18 | 2323730 | 437152 | 27727 33 | 260 | 1197 658.90/659.01 c 657s | 18 | 2330589 | 438552 | 27727 33 | 260 | 1197 661.10/661.28 c 660s | 18 | 2338125 | 439952 | 27727 33 | 260 | 1197 663.20/663.39 c 662s | 18 | 2344768 | 441252 | 30500 33 | 260 | 1197 665.40/665.51 c 664s | 18 | 2350181 | 442552 | 30500 33 | 260 | 1197 667.39/667.59 c 666s | 18 | 2355837 | 443452 | 30500 33 | 260 | 1197 669.29/669.42 c 668s | 19 | 2361027 | 444482 | 30500 33 | 260 | 1197 671.29/671.48 c 670s | 19 | 2366544 | 445482 | 30500 33 | 260 | 1197 673.39/673.57 c 672s | 19 | 2371351 | 446282 | 30500 33 | 260 | 1197 675.40/675.58 c 674s | 19 | 2376360 | 447382 | 30500 33 | 260 | 1197 677.50/677.70 c 676s | 19 | 2383839 | 448682 | 30500 33 | 260 | 1197 679.70/679.82 c 678s | 19 | 2389829 | 449782 | 30500 33 | 260 | 1197 681.69/681.83 c 680s | 19 | 2395800 | 450982 | 30500 33 | 260 | 1197 683.79/683.96 c 682s | 19 | 2401449 | 452182 | 30500 33 | 260 | 1197 685.89/686.03 c 684s | 19 | 2408041 | 453282 | 30500 33 | 260 | 1197 687.99/688.16 c 687s | 19 | 2413873 | 454482 | 30500 34 | 260 | 1197 690.09/690.23 c 689s | 19 | 2421390 | 456182 | 30500 34 | 260 | 1197 692.19/692.30 c 691s | 19 | 2428865 | 457782 | 30500 34 | 260 | 1197 694.19/694.33 c 693s | 19 | 2436364 | 459282 | 30500 34 | 260 | 1197 696.19/696.35 c 695s | 19 | 2442220 | 460482 | 30500 34 | 260 | 1197 698.29/698.47 c 697s | 19 | 2447402 | 461682 | 30500 34 | 260 | 1197 700.39/700.58 c 699s | 19 | 2452766 | 462782 | 30500 34 | 260 | 1197 702.48/702.68 c 701s | 19 | 2458087 | 463882 | 30500 34 | 260 | 1197 704.48/704.69 c 703s | 19 | 2462465 | 464882 | 30500 34 | 260 | 1197 706.58/706.72 c 705s | 19 | 2466188 | 465782 | 30500 34 | 260 | 1197 708.68/708.84 c 707s | 19 | 2471694 | 466982 | 30500 34 | 260 | 1197 710.78/710.94 c 709s | 19 | 2477535 | 468182 | 30500 34 | 260 | 1197 712.88/713.09 c 712s | 19 | 2483304 | 469282 | 30500 34 | 260 | 1197 714.99/715.16 c 714s | 19 | 2488340 | 470282 | 30500 34 | 260 | 1197 717.09/717.27 c 716s | 19 | 2493928 | 471482 | 30500 35 | 260 | 1197 719.18/719.33 c 718s | 19 | 2500223 | 472982 | 30500 35 | 260 | 1197 721.28/721.41 c 720s | 19 | 2505249 | 474382 | 30500 35 | 260 | 1197 723.38/723.53 c 722s | 19 | 2509656 | 475282 | 30500 35 | 260 | 1197 725.38/725.56 c 724s | 19 | 2515819 | 476482 | 30500 35 | 260 | 1197 727.48/727.67 c 726s | 19 | 2522271 | 477782 | 30500 35 | 260 | 1197 729.48/729.68 c 728s | 19 | 2527415 | 478982 | 30500 35 | 260 | 1197 731.68/731.82 c 730s | 19 | 2532490 | 479882 | 30500 35 | 260 | 1197 733.77/733.96 c 732s | 19 | 2540024 | 481182 | 30500 35 | 260 | 1197 735.88/736.09 c 735s | 19 | 2548245 | 482482 | 30500 35 | 260 | 1197 737.98/738.16 c 737s | 19 | 2555159 | 483682 | 30500 35 | 260 | 1197 740.07/740.21 c 739s | 19 | 2561608 | 484882 | 30500 35 | 260 | 1197 742.07/742.23 c 741s | 19 | 2566418 | 485982 | 30500 35 | 260 | 1197 744.07/744.23 c 743s | 19 | 2571837 | 486882 | 30500 35 | 260 | 1197 746.17/746.34 c 745s | 19 | 2578115 | 488082 | 30500 36 | 260 | 1197 748.27/748.47 c 747s | 19 | 2585023 | 489482 | 30500 36 | 260 | 1197 750.37/750.57 c 749s | 19 | 2592270 | 490982 | 30500 36 | 260 | 1197 752.47/752.66 c 751s | 19 | 2600251 | 492382 | 30500 36 | 260 | 1197 754.48/754.70 c 753s | 19 | 2608172 | 493882 | 30500 36 | 260 | 1197 756.57/756.79 c 755s | 19 | 2615286 | 495482 | 30500 36 | 260 | 1197 758.77/758.94 c 757s | 19 | 2622680 | 496982 | 30500 36 | 260 | 1197 760.77/760.97 c 759s | 19 | 2630456 | 498282 | 30500 36 | 260 | 1197 762.86/763.03 c 761s | 19 | 2637176 | 499682 | 30500 36 | 260 | 1197 764.96/765.12 c 764s | 19 | 2643402 | 501082 | 30500 36 | 260 | 1197 767.06/767.24 c 766s | 19 | 2649793 | 502382 | 30500 36 | 260 | 1197 769.16/769.37 c 768s | 19 | 2657753 | 503782 | 30500 37 | 260 | 1197 771.26/771.41 c 770s | 19 | 2665572 | 505382 | 30500 37 | 260 | 1197 773.27/773.48 c 772s | 19 | 2671638 | 506982 | 30500 37 | 260 | 1197 775.47/775.69 c 774s | 19 | 2676583 | 508082 | 30500 37 | 260 | 1197 777.57/777.76 c 776s | 19 | 2681834 | 509082 | 30500 37 | 260 | 1197 779.66/779.81 c 778s | 19 | 2687402 | 510182 | 30500 37 | 260 | 1197 781.76/781.98 c 780s | 19 | 2692033 | 511182 | 30500 37 | 260 | 1197 783.86/784.00 c 782s | 19 | 2697493 | 512282 | 30500 37 | 260 | 1197 785.86/786.01 c 784s | 19 | 2702585 | 513282 | 30500 37 | 260 | 1197 787.96/788.12 c 787s | 19 | 2707975 | 514382 | 30500 37 | 260 | 1197 789.96/790.16 c 789s | 19 | 2713189 | 515482 | 30500 37 | 260 | 1197 792.06/792.27 c 791s | 19 | 2718915 | 516582 | 30500 37 | 260 | 1197 794.16/794.35 c 793s | 19 | 2724224 | 517682 | 30500 37 | 260 | 1197 796.26/796.45 c 795s | 19 | 2729458 | 518682 | 30500 37 | 260 | 1197 798.35/798.54 c 797s | 19 | 2735364 | 519782 | 30500 37 | 260 | 1197 800.35/800.59 c 799s | 19 | 2740266 | 520882 | 30500 38 | 260 | 1197 802.45/802.60 c 801s | 19 | 2746272 | 522082 | 30500 38 | 260 | 1197 804.55/804.74 c 803s | 19 | 2752730 | 523482 | 30500 38 | 260 | 1197 806.55/806.74 c 805s | 19 | 2758702 | 524782 | 30500 38 | 260 | 1197 808.65/808.82 c 807s | 19 | 2765450 | 526082 | 30500 38 | 260 | 1197 810.65/810.87 c 809s | 19 | 2771249 | 527482 | 30500 38 | 260 | 1197 812.75/812.93 c 811s | 19 | 2777557 | 528682 | 30500 38 | 260 | 1197 814.84/815.00 c 813s | 19 | 2783609 | 529982 | 30500 38 | 260 | 1197 816.84/817.09 c 816s | 19 | 2789183 | 531182 | 30500 38 | 260 | 1197 818.94/819.18 c 818s | 19 | 2794863 | 532482 | 30500 38 | 260 | 1197 821.04/821.24 c 820s | 19 | 2801301 | 533782 | 30500 38 | 260 | 1197 823.14/823.32 c 822s | 19 | 2806940 | 535182 | 30500 38 | 260 | 1197 825.24/825.40 c 824s | 19 | 2812387 | 536382 | 30500 38 | 260 | 1197 827.24/827.49 c 826s | 19 | 2817368 | 537682 | 30500 39 | 260 | 1197 829.34/829.55 c 828s | 19 | 2823813 | 539082 | 30500 39 | 260 | 1197 831.34/831.56 c 830s | 19 | 2831255 | 540582 | 30500 39 | 260 | 1197 833.43/833.63 c 832s | 19 | 2840718 | 542182 | 30500 39 | 260 | 1197 835.53/835.72 c 834s | 19 | 2848255 | 543682 | 30500 39 | 260 | 1197 837.53/837.75 c 836s | 19 | 2855283 | 545182 | 30500 39 | 260 | 1197 839.63/839.82 c 838s | 19 | 2861853 | 546682 | 30500 39 | 260 | 1197 841.63/841.88 c 840s | 19 | 2868316 | 548082 | 30500 39 | 260 | 1197 843.73/843.95 c 842s | 19 | 2875599 | 549482 | 30500 39 | 260 | 1197 845.84/846.06 c 845s | 19 | 2881708 | 550882 | 30500 39 | 260 | 1197 847.83/848.07 c 847s | 19 | 2886942 | 552182 | 30500 39 | 260 | 1197 849.93/850.10 c 849s | 19 | 2891447 | 553282 | 30500 39 | 260 | 1197 853.13/853.34 c 852s | 19 | 2895121 | 553982 | 30500 40 | 260 | 1197 855.23/855.44 c 854s | 19 | 2901042 | 554982 | 30500 40 | 260 | 1197 857.32/857.56 c 856s | 19 | 2910827 | 556782 | 30500 40 | 260 | 1197 859.42/859.68 c 858s | 19 | 2920556 | 558582 | 30500 40 | 260 | 1197 861.52/861.73 c 860s | 19 | 2929077 | 560282 | 30500 40 | 260 | 1197 863.62/863.86 c 862s | 19 | 2936901 | 561882 | 30500 40 | 260 | 1197 865.82/866.00 c 864s | 19 | 2942648 | 562882 | 30500 40 | 260 | 1197 867.92/868.17 c 867s | 19 | 2948207 | 564082 | 30500 40 | 260 | 1197 870.03/870.26 c 869s | 19 | 2954517 | 565082 | 30500 40 | 260 | 1197 872.12/872.32 c 871s | 19 | 2962570 | 566382 | 30500 40 | 260 | 1197 874.12/874.35 c 873s | 19 | 2968604 | 567582 | 30500 40 | 260 | 1197 876.22/876.41 c 875s | 19 | 2973130 | 568682 | 30500 40 | 260 | 1197 878.42/878.64 c 877s | 19 | 2977819 | 569782 | 30500 41 | 260 | 1197 880.42/880.69 c 879s | 19 | 2983983 | 571182 | 30500 41 | 260 | 1197 882.61/882.80 c 881s | 19 | 2988052 | 571982 | 30500 41 | 260 | 1197 884.71/884.90 c 883s | 19 | 2995618 | 573282 | 30500 41 | 260 | 1197 886.81/887.03 c 886s | 19 | 3003066 | 574782 | 30500 41 | 260 | 1197 888.81/889.03 c 888s | 19 | 3009841 | 576082 | 30500 41 | 260 | 1197 890.82/891.10 c 890s | 19 | 3015858 | 577382 | 30500 41 | 260 | 1197 892.91/893.19 c 892s | 19 | 3021854 | 578682 | 30500 41 | 260 | 1197 895.11/895.30 c 894s | 19 | 3028216 | 579982 | 30500 41 | 260 | 1197 897.11/897.37 c 896s | 19 | 3032906 | 581082 | 30500 41 | 260 | 1197 899.31/899.52 c 898s | 19 | 3038698 | 582182 | 30500 41 | 260 | 1197 901.41/901.63 c 900s | 19 | 3047072 | 583582 | 30500 41 | 260 | 1197 903.41/903.66 c 902s | 19 | 3056272 | 585082 | 30500 41 | 260 | 1197 905.51/905.70 c 904s | 19 | 3066975 | 586682 | 30500 42 | 260 | 1197 907.51/907.72 c 906s | 19 | 3076460 | 588282 | 30500 42 | 260 | 1197 909.61/909.82 c 908s | 19 | 3087627 | 590082 | 30500 42 | 260 | 1197 911.71/911.92 c 910s | 19 | 3097256 | 591882 | 30500 42 | 260 | 1197 913.70/913.98 c 912s | 19 | 3105603 | 593682 | 30500 42 | 260 | 1197 915.80/916.09 c 915s | 19 | 3115319 | 595382 | 30500 42 | 260 | 1197 918.00/918.21 c 917s | 19 | 3124586 | 596982 | 30500 42 | 260 | 1197 920.10/920.34 c 919s | 19 | 3132301 | 598582 | 30500 42 | 260 | 1197 922.20/922.46 c 921s | 19 | 3140569 | 599982 | 30500 42 | 260 | 1197 924.40/924.63 c 923s | 19 | 3144774 | 600982 | 30500 42 | 260 | 1197 926.40/926.68 c 925s | 19 | 3149093 | 601982 | 30500 42 | 260 | 1197 928.50/928.71 c 927s | 19 | 3154620 | 602982 | 30500 43 | 260 | 1197 930.50/930.73 c 929s | 19 | 3159443 | 604182 | 30500 43 | 260 | 1197 932.60/932.86 c 931s | 19 | 3164691 | 605482 | 30500 43 | 260 | 1197 934.69/934.95 c 933s | 19 | 3170427 | 606682 | 30500 43 | 260 | 1197 936.89/937.11 c 936s | 19 | 3175448 | 607882 | 30500 43 | 260 | 1197 938.89/939.11 c 938s | 19 | 3179213 | 608782 | 30500 43 | 260 | 1197 940.99/941.26 c 940s | 19 | 3184477 | 609782 | 30500 43 | 260 | 1197 943.09/943.35 c 942s | 19 | 3187967 | 610682 | 30500 43 | 260 | 1197 945.19/945.49 c 944s | 19 | 3193441 | 611682 | 30500 43 | 260 | 1197 947.29/947.52 c 946s | 19 | 3198265 | 612682 | 30500 43 | 260 | 1197 949.29/949.55 c 948s | 19 | 3204531 | 613782 | 30500 43 | 260 | 1197 951.39/951.68 c 950s | 19 | 3209802 | 614882 | 30500 43 | 260 | 1197 953.49/953.72 c 952s | 19 | 3215606 | 615882 | 30500 43 | 260 | 1197 955.58/955.89 c 954s | 19 | 3221131 | 616982 | 30500 43 | 260 | 1197 957.68/957.99 c 956s | 19 | 3227181 | 618082 | 30500 43 | 260 | 1197 959.78/960.03 c 959s | 19 | 3232990 | 619082 | 30500 43 | 260 | 1197 961.78/962.09 c 961s | 19 | 3239593 | 620482 | 30500 44 | 260 | 1197 963.88/964.17 c 963s | 19 | 3247623 | 621982 | 30500 44 | 260 | 1197 965.98/966.22 c 965s | 19 | 3254716 | 623482 | 30500 44 | 260 | 1197 967.97/968.29 c 967s | 19 | 3262517 | 624982 | 30500 44 | 260 | 1197 970.08/970.35 c 969s | 19 | 3268956 | 626382 | 30500 44 | 260 | 1197 972.18/972.45 c 971s | 19 | 3276431 | 627882 | 30500 44 | 260 | 1197 974.17/974.48 c 973s | 19 | 3284018 | 629182 | 30500 44 | 260 | 1197 976.27/976.55 c 975s | 19 | 3289992 | 630482 | 30500 44 | 260 | 1197 978.27/978.59 c 977s | 19 | 3295789 | 631782 | 30500 44 | 260 | 1197 980.37/980.68 c 979s | 19 | 3302859 | 633182 | 30500 44 | 260 | 1197 982.37/982.69 c 981s | 19 | 3309089 | 634382 | 30500 44 | 260 | 1197 984.47/984.71 c 983s | 19 | 3314635 | 635582 | 30500 45 | 260 | 1197 986.48/986.78 c 985s | 19 | 3321537 | 637082 | 30500 45 | 260 | 1197 988.68/988.91 c 987s | 19 | 3327612 | 638682 | 30500 45 | 260 | 1197 990.67/990.91 c 989s | 19 | 3335932 | 640182 | 30500 45 | 260 | 1197 992.67/992.95 c 991s | 19 | 3343469 | 641682 | 30500 45 | 260 | 1197 994.77/995.05 c 994s | 19 | 3349892 | 643082 | 30500 45 | 260 | 1197 996.87/997.12 c 996s | 19 | 3356813 | 644482 | 30500 45 | 260 | 1197 998.87/999.12 c 998s | 19 | 3362437 | 645782 | 30500 45 | 260 | 1197 1000.97/1001.22 c 1000s | 19 | 3368725 | 647282 | 30500 45 | 260 | 1197 1002.97/1003.26 c 1002s | 19 | 3375469 | 648782 | 30500 45 | 260 | 1197 1005.06/1005.32 c 1004s | 19 | 3382735 | 650182 | 30500 45 | 260 | 1197 1007.16/1007.43 c 1006s | 19 | 3390484 | 651582 | 30500 45 | 260 | 1197 1009.16/1009.44 c 1008s | 19 | 3396840 | 652582 | 30500 46 | 260 | 1197 1011.46/1011.70 c 1010s | 19 | 3401697 | 653582 | 30500 46 | 260 | 1197 1013.46/1013.71 c 1012s | 19 | 3410994 | 655182 | 30500 46 | 260 | 1197 1015.56/1015.82 c 1014s | 19 | 3418952 | 656782 | 30500 46 | 260 | 1197 1017.65/1017.90 c 1016s | 19 | 3426959 | 658282 | 30500 46 | 260 | 1197 1019.65/1019.91 c 1018s | 19 | 3435169 | 659982 | 30500 46 | 260 | 1197 1021.66/1021.98 c 1020s | 19 | 3442714 | 661582 | 33550 46 | 260 | 1197 1023.75/1024.08 c 1023s | 19 | 3450470 | 663182 | 33550 46 | 260 | 1197 1025.85/1026.16 c 1025s | 19 | 3455799 | 664682 | 33550 46 | 260 | 1197 1028.15/1028.49 c 1027s | 19 | 3457852 | 664982 | 33550 46 | 260 | 1197 1030.24/1030.51 c 1029s | 19 | 3459838 | 665282 | 33550 46 | 260 | 1197 1032.24/1032.54 c 1031s | 20 | 3468877 | 666827 | 33550 46 | 260 | 1197 1034.35/1034.63 c 1033s | 20 | 3478821 | 668327 | 33550 46 | 260 | 1197 1036.45/1036.75 c 1035s | 20 | 3485989 | 669827 | 33550 46 | 260 | 1197 1038.55/1038.87 c 1037s | 20 | 3493881 | 671327 | 33550 46 | 260 | 1197 1040.85/1041.16 c 1040s | 20 | 3501645 | 672727 | 33550 47 | 260 | 1197 1042.94/1043.24 c 1042s | 20 | 3507749 | 673827 | 33550 47 | 260 | 1197 1045.04/1045.33 c 1044s | 20 | 3515732 | 675127 | 33550 47 | 260 | 1197 1047.14/1047.47 c 1046s | 20 | 3523090 | 676527 | 33550 47 | 260 | 1197 1049.34/1049.60 c 1048s | 20 | 3529431 | 677827 | 33550 47 | 260 | 1197 1051.24/1051.60 c 1050s | 20 | 3536378 | 679127 | 33550 47 | 260 | 1197 1053.34/1053.69 c 1052s | 20 | 3542305 | 680427 | 33550 47 | 260 | 1197 1055.44/1055.72 c 1054s | 20 | 3548473 | 681727 | 33550 47 | 260 | 1197 1057.54/1057.85 c 1056s | 20 | 3555928 | 683127 | 33550 47 | 260 | 1197 1059.54/1059.88 c 1058s | 20 | 3560255 | 684127 | 33550 47 | 260 | 1197 1061.64/1061.92 c 1060s | 20 | 3568741 | 685427 | 33550 47 | 260 | 1197 1063.64/1063.93 c 1062s | 20 | 3574844 | 686627 | 33550 47 | 260 | 1197 1065.74/1066.03 c 1064s | 20 | 3582515 | 688027 | 33550 47 | 260 | 1197 1067.84/1068.19 c 1067s | 20 | 3593347 | 689627 | 33550 48 | 260 | 1197 1069.93/1070.20 c 1069s | 20 | 3599878 | 691027 | 33550 48 | 260 | 1197 1071.93/1072.21 c 1071s | 20 | 3606494 | 692227 | 33550 48 | 260 | 1197 1073.93/1074.26 c 1073s | 20 | 3612453 | 693527 | 33550 48 | 260 | 1197 1076.03/1076.32 c 1075s | 20 | 3619490 | 695327 | 33550 48 | 260 | 1197 1078.03/1078.34 c 1077s | 20 | 3626586 | 696727 | 33550 48 | 260 | 1197 1080.13/1080.48 c 1079s | 20 | 3633034 | 698027 | 33550 48 | 260 | 1197 1082.33/1082.60 c 1081s | 20 | 3638873 | 699227 | 33550 48 | 260 | 1197 1084.33/1084.63 c 1083s | 20 | 3645385 | 700327 | 33550 48 | 260 | 1197 1086.43/1086.75 c 1085s | 20 | 3651645 | 701527 | 33550 48 | 260 | 1197 1088.43/1088.79 c 1087s | 20 | 3657693 | 702727 | 33550 48 | 260 | 1197 1090.63/1090.92 c 1089s | 20 | 3664617 | 704027 | 33550 48 | 260 | 1197 1092.72/1093.05 c 1092s | 20 | 3669934 | 705327 | 33550 48 | 260 | 1197 1094.92/1095.21 c 1094s | 20 | 3676083 | 706527 | 33550 48 | 260 | 1197 1097.02/1097.36 c 1096s | 20 | 3679455 | 707627 | 33550 49 | 260 | 1197 1099.12/1099.45 c 1098s | 20 | 3687529 | 709227 | 33550 49 | 260 | 1197 1101.22/1101.51 c 1100s | 20 | 3697297 | 710927 | 33550 49 | 260 | 1197 1103.22/1103.55 c 1102s | 20 | 3706159 | 712727 | 33550 49 | 260 | 1197 1105.32/1105.69 c 1104s | 20 | 3714503 | 714327 | 33550 49 | 260 | 1197 1107.42/1107.77 c 1106s | 20 | 3721804 | 715727 | 33550 49 | 260 | 1197 1109.52/1109.87 c 1108s | 20 | 3729585 | 717227 | 33550 49 | 260 | 1197 1111.62/1111.93 c 1110s | 20 | 3736364 | 718727 | 33550 49 | 260 | 1197 1113.71/1114.06 c 1113s | 20 | 3743197 | 720127 | 33550 49 | 260 | 1197 1115.81/1116.16 c 1115s | 20 | 3749314 | 721427 | 33550 49 | 260 | 1197 1117.91/1118.23 c 1117s | 20 | 3756150 | 722727 | 33550 49 | 260 | 1197 1119.91/1120.24 c 1119s | 20 | 3764011 | 724127 | 33550 49 | 260 | 1197 1122.11/1122.44 c 1121s | 20 | 3769504 | 725427 | 33550 50 | 260 | 1197 1124.30/1124.64 c 1123s | 20 | 3778101 | 727027 | 33550 50 | 260 | 1197 1126.30/1126.67 c 1125s | 20 | 3785724 | 728727 | 33550 50 | 260 | 1197 1128.50/1128.87 c 1127s | 20 | 3793445 | 730127 | 33550 50 | 260 | 1197 1130.61/1130.93 c 1129s | 20 | 3799272 | 731427 | 33550 50 | 260 | 1197 1132.70/1133.01 c 1131s | 20 | 3803990 | 732527 | 33550 50 | 260 | 1197 1134.80/1135.20 c 1134s | 20 | 3811282 | 733827 | 33550 50 | 260 | 1197 1136.90/1137.26 c 1136s | 20 | 3818114 | 735127 | 33550 50 | 260 | 1197 1139.00/1139.35 c 1138s | 20 | 3825179 | 736627 | 33550 50 | 260 | 1197 1141.20/1141.50 c 1140s | 20 | 3830622 | 737827 | 33550 50 | 260 | 1197 1143.29/1143.60 c 1142s | 20 | 3835955 | 738927 | 33550 50 | 260 | 1197 1145.29/1145.62 c 1144s | 20 | 3843656 | 740327 | 33550 50 | 260 | 1197 1147.29/1147.64 c 1146s | 20 | 3849778 | 741727 | 33550 50 | 260 | 1197 1149.30/1149.66 c 1148s | 20 | 3855577 | 743027 | 33550 50 | 260 | 1197 1151.29/1151.70 c 1150s | 20 | 3860502 | 744127 | 33550 51 | 260 | 1197 1153.48/1153.81 c 1152s | 20 | 3867045 | 745527 | 33550 51 | 260 | 1197 1155.58/1155.98 c 1154s | 20 | 3874873 | 747127 | 33550 51 | 260 | 1197 1157.68/1158.03 c 1156s | 20 | 3880370 | 748427 | 33550 51 | 260 | 1197 1159.78/1160.10 c 1159s | 20 | 3888625 | 750027 | 33550 51 | 260 | 1197 1161.78/1162.18 c 1161s | 20 | 3896896 | 751727 | 33550 51 | 260 | 1197 1163.88/1164.29 c 1163s | 20 | 3904599 | 753227 | 33550 51 | 260 | 1197 1165.98/1166.35 c 1165s | 20 | 3911325 | 754527 | 33550 51 | 260 | 1197 1167.99/1168.36 c 1167s | 20 | 3916619 | 755727 | 33550 51 | 260 | 1197 1170.08/1170.49 c 1169s | 20 | 3922518 | 756927 | 33550 51 | 260 | 1197 1172.17/1172.60 c 1171s | 20 | 3928159 | 758227 | 33550 51 | 260 | 1197 1174.37/1174.76 c 1173s | 20 | 3932900 | 759427 | 33550 51 | 260 | 1197 1176.47/1176.86 c 1175s | 20 | 3941294 | 760927 | 33550 51 | 260 | 1197 1178.57/1178.97 c 1177s | 20 | 3949515 | 762527 | 33550 52 | 260 | 1197 1180.67/1181.04 c 1180s | 20 | 3959245 | 764327 | 33550 52 | 260 | 1197 1182.67/1183.09 c 1182s | 20 | 3967341 | 766027 | 33550 52 | 260 | 1197 1184.77/1185.14 c 1184s | 20 | 3973554 | 767427 | 33550 52 | 260 | 1197 1186.87/1187.26 c 1186s | 20 | 3978913 | 768727 | 33550 52 | 260 | 1197 1189.07/1189.41 c 1188s | 20 | 3983717 | 769927 | 33550 52 | 260 | 1197 1191.08/1191.44 c 1190s | 20 | 3989771 | 771227 | 33550 52 | 260 | 1197 1193.18/1193.52 c 1192s | 20 | 3994286 | 772327 | 33550 52 | 260 | 1197 1195.27/1195.69 c 1194s | 20 | 3999240 | 773527 | 33550 52 | 260 | 1197 1197.47/1197.88 c 1196s | 20 | 4004908 | 774727 | 33550 52 | 260 | 1197 1199.57/1199.99 c 1198s | 20 | 4009346 | 775927 | 33550 52 | 260 | 1197 1201.77/1202.13 c 1201s | 20 | 4014014 | 777027 | 33550 52 | 260 | 1197 1203.77/1204.19 c 1203s | 20 | 4019196 | 778127 | 33550 52 | 260 | 1197 1205.97/1206.36 c 1205s | 20 | 4024196 | 779327 | 33550 52 | 260 | 1197 1209.36/1209.70 c 1208s | 20 | 4025475 | 779627 | 33550 53 | 260 | 1197 1213.56/1213.92 c 1212s | 20 | 4031221 | 780427 | 33550 53 | 260 | 1197 1215.57/1215.94 c 1214s | 20 | 4037815 | 781727 | 33550 53 | 260 | 1197 1217.66/1218.08 c 1217s | 20 | 4047318 | 783627 | 33550 53 | 260 | 1197 1219.67/1220.09 c 1219s | 20 | 4055372 | 785227 | 33550 53 | 260 | 1197 1221.77/1222.15 c 1221s | 20 | 4061463 | 786227 | 33550 53 | 260 | 1197 1223.76/1224.19 c 1223s | 20 | 4067815 | 787327 | 33550 53 | 260 | 1197 1225.86/1226.29 c 1225s | 20 | 4073357 | 788627 | 33550 53 | 260 | 1197 1227.96/1228.31 c 1227s | 20 | 4078470 | 789627 | 33550 53 | 260 | 1197 1230.06/1230.43 c 1229s | 20 | 4085264 | 791027 | 33550 53 | 260 | 1197 1232.16/1232.51 c 1231s | 20 | 4092095 | 792427 | 33550 53 | 260 | 1197 1234.26/1234.62 c 1233s | 20 | 4098142 | 793727 | 33550 53 | 260 | 1197 1236.36/1236.79 c 1235s | 20 | 4104968 | 794927 | 33550 53 | 260 | 1197 1238.46/1238.80 c 1237s | 20 | 4110313 | 796127 | 33550 53 | 260 | 1197 1240.57/1240.99 c 1239s | 20 | 4115749 | 797227 | 33550 54 | 260 | 1197 1242.67/1243.10 c 1242s | 20 | 4123061 | 798827 | 33550 54 | 260 | 1197 1244.76/1245.16 c 1244s | 20 | 4129572 | 800227 | 33550 54 | 260 | 1197 1246.96/1247.33 c 1246s | 20 | 4135785 | 801627 | 33550 54 | 260 | 1197 1249.06/1249.47 c 1248s | 20 | 4142282 | 803027 | 33550 54 | 260 | 1197 1251.26/1251.62 c 1250s | 20 | 4149501 | 804327 | 33550 54 | 260 | 1197 1253.26/1253.68 c 1252s | 20 | 4156285 | 805527 | 33550 54 | 260 | 1197 1255.36/1255.71 c 1254s | 20 | 4161600 | 806727 | 33550 54 | 260 | 1197 1257.36/1257.78 c 1256s | 20 | 4169998 | 808227 | 33550 54 | 260 | 1197 1259.46/1259.81 c 1258s | 20 | 4178245 | 809827 | 33550 54 | 260 | 1197 1261.46/1261.87 c 1260s | 20 | 4184103 | 811027 | 33550 54 | 260 | 1197 1263.56/1263.97 c 1262s | 20 | 4191494 | 812327 | 33550 54 | 260 | 1197 1265.65/1266.04 c 1265s | 20 | 4198474 | 813827 | 33550 54 | 260 | 1197 1267.75/1268.10 c 1267s | 20 | 4204227 | 815027 | 33550 54 | 260 | 1197 1269.75/1270.16 c 1269s | 20 | 4211136 | 816227 | 33550 55 | 260 | 1197 1271.75/1272.18 c 1271s | 20 | 4218611 | 817627 | 33550 55 | 260 | 1197 1273.85/1274.22 c 1273s | 20 | 4225304 | 818927 | 33550 55 | 260 | 1197 1275.85/1276.23 c 1275s | 20 | 4232867 | 820427 | 33550 55 | 260 | 1197 1277.96/1278.31 c 1277s | 20 | 4242644 | 822027 | 33550 55 | 260 | 1197 1280.06/1280.42 c 1279s | 20 | 4250691 | 823627 | 33550 55 | 260 | 1197 1282.14/1282.52 c 1281s | 20 | 4258499 | 825127 | 33550 55 | 260 | 1197 1284.24/1284.66 c 1283s | 20 | 4265357 | 826627 | 33550 55 | 260 | 1197 1286.24/1286.66 c 1285s | 20 | 4272441 | 828127 | 33550 55 | 260 | 1197 1288.34/1288.71 c 1287s | 20 | 4278681 | 829527 | 33550 55 | 260 | 1197 1290.44/1290.83 c 1289s | 20 | 4284928 | 830927 | 33550 55 | 260 | 1197 1292.44/1292.85 c 1291s | 20 | 4290391 | 832127 | 33550 55 | 260 | 1197 1294.54/1294.90 c 1293s | 20 | 4296078 | 833327 | 33550 56 | 260 | 1197 1296.55/1296.92 c 1295s | 20 | 4302534 | 834827 | 33550 56 | 260 | 1197 1298.64/1299.04 c 1298s | 20 | 4309644 | 836127 | 33550 56 | 260 | 1197 1300.74/1301.13 c 1300s | 20 | 4316470 | 837427 | 33550 56 | 260 | 1197 1302.84/1303.25 c 1302s | 20 | 4324327 | 838827 | 33550 56 | 260 | 1197 1305.03/1305.45 c 1304s | 20 | 4331124 | 840127 | 33550 56 | 260 | 1197 1307.13/1307.53 c 1306s | 20 | 4337845 | 841327 | 33550 56 | 260 | 1197 1309.23/1309.62 c 1308s | 20 | 4343042 | 842427 | 33550 56 | 260 | 1197 1311.33/1311.74 c 1310s | 20 | 4348322 | 843627 | 33550 56 | 260 | 1197 1313.53/1313.91 c 1312s | 20 | 4352955 | 844627 | 33550 56 | 260 | 1197 1315.73/1316.18 c 1315s | 20 | 4356357 | 845527 | 33550 56 | 260 | 1197 1319.03/1319.47 c 1318s | 20 | 4357830 | 845827 | 33550 56 | 260 | 1197 1326.03/1326.43 c 1325s | 20 | 4358470 | 845927 | 33550 56 | 260 | 1197 1328.13/1328.53 c 1327s | 20 | 4362834 | 846827 | 33550 56 | 260 | 1197 1330.22/1330.61 c 1329s | 20 | 4370741 | 848227 | 33550 56 | 260 | 1197 1332.22/1332.62 c 1331s | 20 | 4379789 | 849627 | 33550 56 | 260 | 1197 1334.22/1334.66 c 1333s | 20 | 4386240 | 850827 | 33550 56 | 260 | 1197 1336.32/1336.75 c 1335s | 20 | 4392854 | 852227 | 33550 57 | 260 | 1197 1338.43/1338.82 c 1337s | 20 | 4400984 | 853827 | 33550 57 | 260 | 1197 1340.43/1340.83 c 1339s | 20 | 4408084 | 855127 | 33550 57 | 260 | 1197 1342.53/1342.90 c 1341s | 20 | 4415289 | 856527 | 33550 57 | 260 | 1197 1344.53/1344.97 c 1343s | 20 | 4421803 | 857827 | 33550 57 | 260 | 1197 1346.63/1347.03 c 1345s | 20 | 4428987 | 859127 | 33550 57 | 260 | 1197 1348.73/1349.14 c 1348s | 20 | 4435142 | 860527 | 33550 57 | 260 | 1197 1350.83/1351.21 c 1350s | 20 | 4440635 | 861727 | 33550 57 | 260 | 1197 1352.82/1353.23 c 1352s | 20 | 4446652 | 862927 | 33550 57 | 260 | 1197 1354.93/1355.35 c 1354s | 20 | 4452516 | 864027 | 33550 57 | 260 | 1197 1357.03/1357.45 c 1356s | 20 | 4458679 | 865127 | 33550 57 | 260 | 1197 1359.12/1359.55 c 1358s | 20 | 4465402 | 866527 | 33550 57 | 260 | 1197 1361.22/1361.65 c 1360s | 20 | 4473341 | 867927 | 33550 57 | 260 | 1197 1363.32/1363.73 c 1362s | 20 | 4478763 | 869027 | 33550 57 | 260 | 1197 1365.32/1365.78 c 1364s | 20 | 4485009 | 870327 | 33550 58 | 260 | 1197 1367.42/1367.89 c 1366s | 20 | 4491219 | 871727 | 33550 58 | 260 | 1197 1369.61/1370.00 c 1368s | 20 | 4497197 | 873027 | 33550 58 | 260 | 1197 1371.71/1372.11 c 1371s | 20 | 4505162 | 874527 | 33550 58 | 260 | 1197 1373.71/1374.17 c 1373s | 20 | 4511643 | 875927 | 33550 58 | 260 | 1197 1375.91/1376.32 c 1375s | 20 | 4518659 | 877327 | 33550 58 | 260 | 1197 1377.92/1378.38 c 1377s | 20 | 4524403 | 878627 | 33550 58 | 260 | 1197 1379.91/1380.38 c 1379s | 20 | 4529111 | 879827 | 33550 58 | 260 | 1197 1382.01/1382.47 c 1381s | 20 | 4535912 | 881027 | 33550 58 | 260 | 1197 1384.11/1384.53 c 1383s | 20 | 4542415 | 882227 | 33550 58 | 260 | 1197 1386.11/1386.53 c 1385s | 20 | 4547587 | 883327 | 33550 58 | 260 | 1197 1388.21/1388.64 c 1387s | 20 | 4553151 | 884627 | 33550 58 | 260 | 1197 1390.21/1390.69 c 1389s | 20 | 4559482 | 885727 | 33550 58 | 260 | 1197 1392.41/1392.85 c 1391s | 20 | 4565466 | 886927 | 33550 59 | 260 | 1197 1394.51/1394.91 c 1393s | 20 | 4574374 | 888527 | 33550 59 | 260 | 1197 1396.61/1397.04 c 1396s | 20 | 4582830 | 890227 | 33550 59 | 260 | 1197 1398.61/1399.07 c 1398s | 20 | 4591144 | 891827 | 33550 59 | 260 | 1197 1400.71/1401.14 c 1400s | 20 | 4599434 | 893327 | 33550 59 | 260 | 1197 1402.80/1403.23 c 1402s | 20 | 4606275 | 894627 | 33550 59 | 260 | 1197 1404.90/1405.31 c 1404s | 20 | 4613075 | 896027 | 33550 59 | 260 | 1197 1407.00/1407.46 c 1406s | 20 | 4619868 | 897427 | 33550 59 | 260 | 1197 1409.20/1409.62 c 1408s | 20 | 4625684 | 898827 | 33550 59 | 260 | 1197 1411.20/1411.64 c 1410s | 20 | 4633149 | 900127 | 33550 59 | 260 | 1197 1413.30/1413.74 c 1412s | 20 | 4640857 | 901527 | 33550 59 | 260 | 1197 1415.31/1415.74 c 1414s | 20 | 4647269 | 902727 | 33550 59 | 260 | 1197 1417.40/1417.82 c 1416s | 20 | 4654259 | 904027 | 33550 59 | 260 | 1197 1419.50/1419.97 c 1418s | 20 | 4660377 | 905227 | 33550 60 | 260 | 1197 1421.60/1422.05 c 1421s | 20 | 4668196 | 906727 | 33550 60 | 260 | 1197 1423.70/1424.10 c 1423s | 20 | 4675088 | 908127 | 33550 60 | 260 | 1197 1425.80/1426.29 c 1425s | 20 | 4682529 | 909527 | 33550 60 | 260 | 1197 1427.80/1428.29 c 1427s | 20 | 4688354 | 910727 | 33550 60 | 260 | 1197 1430.00/1430.41 c 1429s | 20 | 4694536 | 912027 | 33550 60 | 260 | 1197 1432.00/1432.45 c 1431s | 20 | 4701755 | 913327 | 33550 60 | 260 | 1197 1434.11/1434.54 c 1433s | 20 | 4708534 | 914827 | 33550 60 | 260 | 1197 1436.10/1436.58 c 1435s | 20 | 4714295 | 916027 | 33550 60 | 260 | 1197 1438.10/1438.59 c 1437s | 20 | 4721712 | 917427 | 33550 60 | 260 | 1197 1440.20/1440.68 c 1439s | 20 | 4728322 | 918727 | 33550 60 | 260 | 1197 1442.20/1442.69 c 1441s | 20 | 4733392 | 919827 | 33550 60 | 260 | 1197 1444.30/1444.79 c 1443s | 20 | 4738889 | 921027 | 33550 60 | 260 | 1197 1446.50/1446.95 c 1445s | 20 | 4744878 | 922327 | 33550 60 | 260 | 1197 1448.60/1449.05 c 1448s | 20 | 4751172 | 923627 | 33550 61 | 260 | 1197 1450.70/1451.11 c 1450s | 20 | 4756930 | 925027 | 33550 61 | 260 | 1197 1452.80/1453.23 c 1452s | 20 | 4764799 | 926327 | 33550 61 | 260 | 1197 1454.80/1455.27 c 1454s | 20 | 4771579 | 927627 | 33550 61 | 260 | 1197 1456.90/1457.32 c 1456s | 20 | 4778354 | 928927 | 33550 61 | 260 | 1197 1459.00/1459.40 c 1458s | 20 | 4785075 | 930327 | 33550 61 | 260 | 1197 1461.00/1461.49 c 1460s | 20 | 4790848 | 931527 | 33550 61 | 260 | 1197 1463.20/1463.65 c 1462s | 20 | 4798625 | 932827 | 33550 61 | 260 | 1197 1465.30/1465.75 c 1464s | 20 | 4805402 | 934127 | 33550 61 | 260 | 1197 1467.39/1467.80 c 1466s | 20 | 4812651 | 935527 | 33550 61 | 260 | 1197 1469.49/1469.90 c 1468s | 20 | 4819930 | 937027 | 33550 61 | 260 | 1197 1471.59/1472.00 c 1470s | 20 | 4826466 | 938227 | 33550 61 | 260 | 1197 1473.70/1474.13 c 1473s | 20 | 4833912 | 939527 | 33550 61 | 260 | 1197 1475.80/1476.20 c 1475s | 20 | 4840675 | 940727 | 33550 61 | 260 | 1197 1477.79/1478.23 c 1477s | 20 | 4847174 | 942027 | 33550 62 | 260 | 1197 1479.89/1480.30 c 1479s | 20 | 4855092 | 943527 | 33550 62 | 260 | 1197 1481.99/1482.44 c 1481s | 20 | 4863485 | 945127 | 33550 62 | 260 | 1197 1484.09/1484.58 c 1483s | 20 | 4870934 | 946627 | 33550 62 | 260 | 1197 1486.19/1486.69 c 1485s | 20 | 4878009 | 947927 | 33550 62 | 260 | 1197 1488.29/1488.70 c 1487s | 20 | 4884729 | 949227 | 33550 62 | 260 | 1197 1490.39/1490.81 c 1489s | 20 | 4891288 | 950527 | 33550 62 | 260 | 1197 1492.40/1492.81 c 1491s | 20 | 4898112 | 951927 | 33550 62 | 260 | 1197 1494.50/1494.94 c 1493s | 20 | 4905064 | 953327 | 33550 62 | 260 | 1197 1496.59/1497.08 c 1496s | 20 | 4911110 | 954627 | 33550 62 | 260 | 1197 1498.79/1499.25 c 1498s | 20 | 4916566 | 955927 | 33550 62 | 260 | 1197 1500.89/1501.31 c 1500s | 20 | 4924212 | 957227 | 33550 62 | 260 | 1197 1502.89/1503.37 c 1502s | 20 | 4930343 | 958427 | 33550 62 | 260 | 1197 1504.99/1505.41 c 1504s | 20 | 4937488 | 959727 | 33550 63 | 260 | 1197 1507.09/1507.51 c 1506s | 20 | 4945460 | 961227 | 33550 63 | 260 | 1197 1509.09/1509.59 c 1508s | 20 | 4954376 | 962727 | 33550 63 | 260 | 1197 1511.19/1511.63 c 1510s | 20 | 4960860 | 964127 | 33550 63 | 260 | 1197 1513.29/1513.71 c 1512s | 20 | 4969012 | 965727 | 33550 63 | 260 | 1197 1515.28/1515.73 c 1514s | 20 | 4977240 | 967127 | 33550 63 | 260 | 1197 1517.38/1517.85 c 1516s | 20 | 4987510 | 968827 | 33550 63 | 260 | 1197 1523.20/1523.60 c 1522s | 20 | 4990723 | 969327 | 33550 63 | 260 | 1197 1525.30/1525.73 c 1524s | 20 | 5001086 | 970927 | 33550 63 | 260 | 1197 1527.39/1527.85 c 1526s | 20 | 5007570 | 972227 | 33550 63 | 260 | 1197 1529.59/1530.00 c 1528s | 20 | 5015642 | 973727 | 33550 63 | 260 | 1197 1531.59/1532.01 c 1530s | 20 | 5023729 | 975027 | 33550 63 | 260 | 1197 1533.59/1534.08 c 1533s | 20 | 5031609 | 976527 | 33550 63 | 260 | 1197 1535.69/1536.17 c 1535s | 20 | 5040450 | 978127 | 33550 64 | 260 | 1197 1537.89/1538.36 c 1537s | 20 | 5050477 | 979827 | 33550 64 | 260 | 1197 1539.99/1540.43 c 1539s | 20 | 5061816 | 981727 | 33550 64 | 260 | 1197 1541.99/1542.49 c 1541s | 20 | 5070258 | 983427 | 33550 64 | 260 | 1197 1544.09/1544.55 c 1543s | 20 | 5078272 | 985027 | 33550 64 | 260 | 1197 1546.19/1546.62 c 1545s | 20 | 5085885 | 986627 | 33550 64 | 260 | 1197 1548.18/1548.68 c 1547s | 20 | 5094454 | 988327 | 33550 64 | 260 | 1197 1550.38/1550.84 c 1549s | 20 | 5101891 | 989927 | 33550 64 | 260 | 1197 1552.48/1552.95 c 1551s | 20 | 5108451 | 991427 | 33550 64 | 260 | 1197 1554.48/1554.99 c 1553s | 20 | 5115086 | 992827 | 36905 64 | 260 | 1197 1556.58/1557.08 c 1556s | 20 | 5123857 | 994427 | 36905 64 | 260 | 1197 1562.58/1563.00 c 1561s | 20 | 5126287 | 994827 | 36905 64 | 260 | 1197 1564.68/1565.12 c 1564s | 20 | 5130720 | 995527 | 36905 64 | 260 | 1197 1566.77/1567.23 c 1566s | 20 | 5140418 | 997027 | 36905 64 | 260 | 1197 1568.87/1569.33 c 1568s | 20 | 5148522 | 998227 | 36905 65 | 260 | 1197 1570.87/1571.36 c 1570s | 20 | 5156540 | 999627 | 36905 65 | 260 | 1197 1571.67/1572.18 c 1571s | 21 | 5160141 | 1000345 | 36905 65 | 260 | 1197 1573.78/1574.23 c 1573s | 21 | 5167511 | 1001645 | 36905 65 | 260 | 1197 1575.88/1576.39 c 1575s | 21 | 5174510 | 1002845 | 36905 65 | 260 | 1197 1578.08/1578.51 c 1577s | 21 | 5181133 | 1003945 | 36905 65 | 260 | 1197 1580.07/1580.56 c 1579s | 21 | 5187673 | 1005245 | 36905 65 | 260 | 1197 1582.17/1582.64 c 1581s | 21 | 5195620 | 1006345 | 36905 65 | 260 | 1197 1584.17/1584.69 c 1583s | 21 | 5203178 | 1007645 | 36905 65 | 260 | 1197 1586.27/1586.78 c 1585s | 21 | 5209435 | 1008945 | 36905 65 | 260 | 1197 1588.37/1588.88 c 1587s | 21 | 5216717 | 1010245 | 36905 65 | 260 | 1197 1590.37/1590.88 c 1589s | 21 | 5224980 | 1011545 | 36905 65 | 260 | 1197 1592.48/1592.94 c 1591s | 21 | 5231908 | 1012845 | 36905 65 | 260 | 1197 1594.58/1595.06 c 1594s | 21 | 5238517 | 1014045 | 36905 65 | 260 | 1197 1596.78/1597.21 c 1596s | 21 | 5246277 | 1015345 | 36905 65 | 260 | 1197 1598.87/1599.36 c 1598s | 21 | 5253632 | 1016645 | 36905 65 | 260 | 1197 1600.97/1601.48 c 1600s | 21 | 5259838 | 1017945 | 36905 66 | 260 | 1197 1603.07/1603.57 c 1602s | 21 | 5268241 | 1019545 | 36905 66 | 260 | 1197 1605.17/1605.60 c 1604s | 21 | 5273578 | 1020745 | 36905 66 | 260 | 1197 1607.37/1607.82 c 1606s | 21 | 5274352 | 1020845 | 36905 66 | 260 | 1197 1609.37/1609.88 c 1608s | 21 | 5281201 | 1021945 | 36905 66 | 260 | 1197 1611.57/1612.01 c 1610s | 21 | 5285847 | 1022945 | 36905 66 | 260 | 1197 1613.67/1614.16 c 1613s | 21 | 5291479 | 1024045 | 36905 66 | 260 | 1197 1615.67/1616.19 c 1615s | 21 | 5296313 | 1025045 | 36905 66 | 260 | 1197 1617.78/1618.29 c 1617s | 21 | 5301706 | 1026045 | 36905 66 | 260 | 1197 1619.88/1620.31 c 1619s | 21 | 5306248 | 1027045 | 36905 66 | 260 | 1197 1621.97/1622.42 c 1621s | 21 | 5311189 | 1028045 | 36905 66 | 260 | 1197 1623.97/1624.49 c 1623s | 21 | 5315323 | 1028945 | 36905 66 | 260 | 1197 1626.07/1626.52 c 1625s | 21 | 5319213 | 1029845 | 36905 66 | 260 | 1197 1628.07/1628.52 c 1627s | 21 | 5323363 | 1030745 | 36905 66 | 260 | 1197 1630.17/1630.64 c 1629s | 21 | 5330791 | 1031945 | 36905 66 | 260 | 1197 1632.37/1632.85 c 1631s | 21 | 5335554 | 1032945 | 36905 66 | 260 | 1197 1634.37/1634.85 c 1633s | 21 | 5339603 | 1033745 | 36905 66 | 260 | 1197 1636.38/1636.90 c 1635s | 21 | 5343170 | 1034445 | 36905 66 | 260 | 1197 1638.58/1639.08 c 1638s | 21 | 5347395 | 1035345 | 36905 66 | 260 | 1197 1640.78/1641.26 c 1640s | 21 | 5351943 | 1036245 | 36905 66 | 260 | 1197 1642.98/1643.41 c 1642s | 21 | 5355559 | 1037145 | 36905 66 | 260 | 1197 1644.97/1645.43 c 1644s | 21 | 5361896 | 1038445 | 36905 67 | 260 | 1197 1647.07/1647.55 c 1646s | 21 | 5369223 | 1039945 | 36905 67 | 260 | 1197 1649.17/1649.65 c 1648s | 21 | 5375359 | 1041245 | 36905 67 | 260 | 1197 1651.17/1651.68 c 1650s | 21 | 5380466 | 1042445 | 36905 67 | 260 | 1197 1653.37/1653.81 c 1652s | 21 | 5385619 | 1043645 | 36905 67 | 260 | 1197 1655.37/1655.88 c 1654s | 21 | 5390140 | 1044545 | 36905 67 | 260 | 1197 1657.57/1658.01 c 1656s | 21 | 5395569 | 1045545 | 36905 67 | 260 | 1197 1659.67/1660.17 c 1659s | 21 | 5401831 | 1046645 | 36905 67 | 260 | 1197 1661.87/1662.35 c 1661s | 21 | 5406099 | 1047645 | 36905 67 | 260 | 1197 1663.97/1664.47 c 1663s | 21 | 5411920 | 1048645 | 36905 67 | 260 | 1197 1666.07/1666.54 c 1665s | 21 | 5417792 | 1049745 | 36905 67 | 260 | 1197 1668.06/1668.55 c 1667s | 21 | 5423537 | 1050845 | 36905 67 | 260 | 1197 1670.26/1670.71 c 1669s | 21 | 5427877 | 1051845 | 36905 67 | 260 | 1197 1672.46/1672.90 c 1671s | 21 | 5433198 | 1052945 | 36905 67 | 260 | 1197 1674.46/1674.94 c 1673s | 21 | 5438319 | 1053945 | 36905 67 | 260 | 1197 1676.66/1677.10 c 1676s | 21 | 5445430 | 1055245 | 36905 67 | 260 | 1197 1678.66/1679.19 c 1678s | 21 | 5452934 | 1056545 | 36905 67 | 260 | 1197 1680.76/1681.22 c 1680s | 21 | 5458759 | 1057745 | 36905 68 | 260 | 1197 1682.86/1683.33 c 1682s | 21 | 5465799 | 1059345 | 36905 68 | 260 | 1197 1684.96/1685.48 c 1684s | 21 | 5473302 | 1060945 | 36905 68 | 260 | 1197 1686.97/1687.49 c 1686s | 21 | 5479332 | 1062145 | 36905 68 | 260 | 1197 1689.06/1689.54 c 1688s | 21 | 5485543 | 1063545 | 36905 68 | 260 | 1197 1691.16/1691.60 c 1690s | 21 | 5492806 | 1065045 | 36905 68 | 260 | 1197 1693.16/1693.61 c 1692s | 21 | 5500323 | 1066545 | 36905 68 | 260 | 1197 1695.26/1695.73 c 1694s | 21 | 5508780 | 1068145 | 36905 68 | 260 | 1197 1697.36/1697.81 c 1696s | 21 | 5515807 | 1069545 | 36905 68 | 260 | 1197 1699.36/1699.84 c 1698s | 21 | 5521933 | 1070945 | 36905 68 | 260 | 1197 1701.37/1701.84 c 1700s | 21 | 5527592 | 1072345 | 36905 68 | 260 | 1197 1703.47/1703.95 c 1702s | 21 | 5531078 | 1073245 | 36905 68 | 260 | 1197 1705.56/1706.08 c 1705s | 21 | 5536861 | 1074245 | 36905 68 | 260 | 1197 1707.66/1708.12 c 1707s | 21 | 5542154 | 1075345 | 36905 68 | 260 | 1197 1709.76/1710.23 c 1709s | 21 | 5546583 | 1076345 | 36905 68 | 260 | 1197 1711.86/1712.34 c 1711s | 21 | 5551681 | 1077345 | 36905 69 | 260 | 1197 1713.86/1714.39 c 1713s | 21 | 5557581 | 1078645 | 36905 69 | 260 | 1197 1715.96/1716.46 c 1715s | 21 | 5564661 | 1079845 | 36905 69 | 260 | 1197 1717.96/1718.47 c 1717s | 21 | 5572379 | 1081245 | 36905 69 | 260 | 1197 1720.06/1720.52 c 1719s | 21 | 5579673 | 1082645 | 36905 69 | 260 | 1197 1722.06/1722.54 c 1721s | 21 | 5587188 | 1084145 | 36905 69 | 260 | 1197 1724.16/1724.62 c 1723s | 21 | 5594119 | 1085645 | 36905 69 | 260 | 1197 1726.26/1726.72 c 1725s | 21 | 5602056 | 1087145 | 36905 69 | 260 | 1197 1728.36/1728.86 c 1727s | 21 | 5608540 | 1088545 | 36905 69 | 260 | 1197 1730.36/1730.86 c 1729s | 21 | 5613893 | 1089845 | 36905 69 | 260 | 1197 1732.35/1732.87 c 1731s | 21 | 5620091 | 1091045 | 36905 69 | 260 | 1197 1734.36/1734.89 c 1733s | 21 | 5626650 | 1092345 | 36905 69 | 260 | 1197 1736.35/1736.89 c 1735s | 21 | 5633161 | 1093645 | 36905 69 | 260 | 1197 1738.45/1739.00 c 1737s | 21 | 5640072 | 1095045 | 36905 69 | 260 | 1197 1740.75/1741.25 c 1740s | 21 | 5645242 | 1096245 | 36905 70 | 260 | 1197 1742.75/1743.27 c 1742s | 21 | 5653116 | 1097645 | 36905 70 | 260 | 1197 1744.85/1745.36 c 1744s | 21 | 5660559 | 1099045 | 36905 70 | 260 | 1197 1746.95/1747.40 c 1746s | 21 | 5666900 | 1100545 | 36905 70 | 260 | 1197 1749.05/1749.53 c 1748s | 21 | 5672703 | 1101945 | 36905 70 | 260 | 1197 1751.15/1751.67 c 1750s | 21 | 5678738 | 1103345 | 36905 70 | 260 | 1197 1753.25/1753.74 c 1752s | 21 | 5685249 | 1104745 | 36905 70 | 260 | 1197 1755.45/1755.90 c 1754s | 21 | 5690650 | 1105845 | 36905 70 | 260 | 1197 1757.55/1758.02 c 1756s | 21 | 5696689 | 1107045 | 36905 70 | 260 | 1197 1759.66/1760.11 c 1759s | 21 | 5702269 | 1108245 | 36905 70 | 260 | 1197 1761.86/1762.33 c 1761s | 21 | 5707983 | 1109345 | 36905 70 | 260 | 1197 1763.96/1764.41 c 1763s | 21 | 5714460 | 1110645 | 36905 70 | 260 | 1197 1766.05/1766.51 c 1765s | 21 | 5720683 | 1112045 | 36905 70 | 260 | 1197 1768.05/1768.57 c 1767s | 21 | 5726587 | 1113345 | 36905 70 | 260 | 1197 1770.15/1770.63 c 1769s | 21 | 5732794 | 1114645 | 36905 70 | 260 | 1197 1772.25/1772.77 c 1771s | 21 | 5738594 | 1115845 | 36905 70 | 260 | 1197 1774.45/1774.92 c 1773s | 21 | 5742954 | 1116945 | 36905 71 | 260 | 1197 1776.45/1776.98 c 1775s | 21 | 5751809 | 1118545 | 36905 71 | 260 | 1197 1778.65/1779.10 c 1778s | 21 | 5759009 | 1120045 | 36905 71 | 260 | 1197 1780.65/1781.10 c 1780s | 21 | 5766089 | 1121545 | 36905 71 | 260 | 1197 1782.75/1783.27 c 1782s | 21 | 5772267 | 1122845 | 36905 71 | 260 | 1197 1784.75/1785.29 c 1784s | 21 | 5778231 | 1124045 | 36905 71 | 260 | 1197 1786.85/1787.38 c 1786s | 21 | 5784652 | 1125245 | 36905 71 | 260 | 1197 1788.95/1789.48 c 1788s | 21 | 5792130 | 1126645 | 36905 71 | 260 | 1197 1791.04/1791.52 c 1790s | 21 | 5799434 | 1128045 | 36905 71 | 260 | 1197 1793.14/1793.60 c 1792s | 21 | 5805326 | 1129345 | 36905 71 | 260 | 1197 1795.14/1795.62 c 1794s | 21 | 5810682 | 1130445 | 36905 71 | 260 | 1197 1797.24/1797.73 c 1796s | 21 | 5816563 | 1131645 | 36905 71 | 260 | 1197 1799.34/1799.89 c 1798s | 21 | 5822213 | 1132845 | 36905 71 | 260 | 1197
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-4079835-1465249888/watcher-4079835-1465249888 -o /tmp/evaluation-result-4079835-1465249888/solver-4079835-1465249888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079835-1465249888.opb pid=6475 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.25 2.22 2.14 3/179 6478 /proc/meminfo: memFree=30284888/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 2554 0 0 0 0 0 0 0 20 0 4 0 106923761 703000576 2914 33554432000 4194304 16246674 140734268131968 140734268131392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 172143 2924 441 2943 0 169037 0 [pid=6478/tid=6479] ppid=6475 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 720826368 2983 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=708028 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 725020672 3000 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=713148 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 730263552 3016 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.25 2.22 2.14 3/179 6478 /proc/meminfo: memFree=30284888/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 24957 0 0 0 5 4 0 0 20 0 4 0 106923761 1333334016 25255 33554432000 4194304 16246674 140734268131968 140734268114960 13956216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 325521 25265 831 2943 0 322415 0 [pid=6478/tid=6479] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 25272 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 25279 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 25285 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200581 s] /proc/loadavg: 2.25 2.22 2.14 3/179 6478 /proc/meminfo: memFree=30284888/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 42619 0 0 0 12 7 0 0 20 0 4 0 106923761 1333334016 42917 33554432000 4194304 16246674 140734268131968 140734268114960 12479491 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 325521 42917 832 2943 0 322415 0 [pid=6478/tid=6479] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 42917 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 42917 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1333334016 42917 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300454 s] /proc/loadavg: 2.25 2.22 2.14 3/179 6478 /proc/meminfo: memFree=30284888/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=0.29 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 44691 0 0 0 21 8 0 0 20 0 4 0 106923761 1340674048 44989 33554432000 4194304 16246674 140734268131968 140734268131280 4221116 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 44989 893 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 44989 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 44989 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 44989 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1309252 [startup+0.700394 s] /proc/loadavg: 2.25 2.22 2.14 3/179 6478 /proc/meminfo: memFree=30284888/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=0.69 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 64722 0 0 0 59 10 0 0 20 0 4 0 106923761 1340674048 65020 33554432000 4194304 16246674 140734268131968 140734268131280 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 65023 905 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 65026 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 65029 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 65033 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1309252 [startup+1.50039 s] /proc/loadavg: 2.25 2.22 2.14 4/183 6482 /proc/meminfo: memFree=29775880/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=1.49 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 127335 0 0 0 130 19 0 0 20 0 4 0 106923761 1340674048 127633 33554432000 4194304 16246674 140734268131968 140734268113856 5663997 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 127633 905 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 127633 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 127633 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 127633 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1309252 [startup+3.10039 s] /proc/loadavg: 2.31 2.23 2.15 3/183 6482 /proc/meminfo: memFree=29532576/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=3.08 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 268513 0 0 0 270 38 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140734268113856 5721633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 268811 907 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1309252 [startup+6.30035 s] /proc/loadavg: 2.31 2.23 2.15 3/183 6482 /proc/meminfo: memFree=29210488/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=6.28 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 268513 0 0 0 590 38 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140734268113856 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 268811 907 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268811 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.26 2.22 2.15 3/183 6482 /proc/meminfo: memFree=29210528/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 268517 0 0 0 1230 38 0 0 20 0 4 0 106923761 1340674048 268815 33554432000 4194304 16246674 140734268131968 140734268113856 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 268815 911 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268815 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268815 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268815 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5004 s] /proc/loadavg: 2.22 2.21 2.14 3/183 6482 /proc/meminfo: memFree=29211056/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 268519 0 0 0 2510 38 0 0 20 0 4 0 106923761 1340674048 268817 33554432000 4194304 16246674 140734268131968 140734268113856 6837238 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 327313 268817 913 2943 0 324207 0 [pid=6478/tid=6479] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268817 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268817 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1340674048 268817 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1004 s] /proc/loadavg: 2.22 2.21 2.14 4/183 6482 /proc/meminfo: memFree=29201976/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1318468 CPUtime=51.09 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 270823 0 0 0 5070 39 0 0 20 0 4 0 106923761 1350111232 271121 33554432000 4194304 16246674 140734268131968 140734268113856 5661648 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 329617 271121 913 2943 0 326511 0 [pid=6478/tid=6479] ppid=6475 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1350111232 271121 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1350111232 271121 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1350111232 271121 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 2.27 2.22 2.15 3/184 6494 /proc/meminfo: memFree=29187540/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1329732 CPUtime=102.28 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 273639 0 0 0 10189 39 0 0 20 0 4 0 106923761 1361645568 273937 33554432000 4194304 16246674 140734268131968 140734268113856 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 332433 273937 913 2943 0 329327 0 [pid=6478/tid=6479] ppid=6475 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1361645568 273937 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1361645568 273937 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1361645568 273937 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1329732 ################ # More data... # ################ /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286226 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1377860 [startup+1362.3 s] /proc/loadavg: 2.04 2.04 2.07 3/183 6597 /proc/meminfo: memFree=29131652/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1361.92 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285982 0 0 0 136143 49 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 12483671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1377860 [startup+1422.3 s] /proc/loadavg: 2.01 2.03 2.06 3/183 6599 /proc/meminfo: memFree=29114068/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1421.91 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 142142 49 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 6021376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1377860 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.06 3/183 6600 /proc/meminfo: memFree=29114080/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1481.89 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 148140 49 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 13759627 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1377860 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.06 3/183 6601 /proc/meminfo: memFree=29113936/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1541.89 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 154139 50 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 6022038 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1377860 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.05 3/183 6602 /proc/meminfo: memFree=29114320/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1601.87 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 160137 50 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 5676028 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1377860 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.05 3/183 6603 /proc/meminfo: memFree=29114320/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1661.87 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 166136 51 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 5822848 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1377860 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.04 3/184 6608 /proc/meminfo: memFree=29113948/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1721.86 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 172135 51 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 13820875 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1377860 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.04 3/183 6609 /proc/meminfo: memFree=29113008/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1781.85 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 178134 51 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1377860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.01 2.04 3/183 6609 /proc/meminfo: memFree=29109352/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1800.04 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 179953 51 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 6836961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1377860 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 6478 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.01 2.04 3/183 6609 /proc/meminfo: memFree=29109352/32872528 swapFree=13600/559348 [pid=6478] ppid=6475 vsize=1377860 CPUtime=1800.04 cores=0,2,4,6 /proc/6478/stat : 6478 (toysat) R 6475 6478 1842 0 -1 4202496 285990 0 0 0 179953 51 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140734268113856 6836961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6478/statm: 344465 286231 914 2943 0 341359 0 [pid=6478/tid=6479] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6479/stat : 6479 (toysat) S 6475 6478 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684733426928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=6478/tid=6480] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6480/stat : 6480 (toysat) S 6475 6478 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684722937072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=6478/tid=6481] ppid=6475 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/6478/task/6481/stat : 6481 (toysat) S 6475 6478 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106923761 1410928640 286231 33554432000 4194304 16246674 140734268131968 140684606565552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1377860 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.54 CPU system time (s): 0.515921 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 1377860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.515921 maximum resident set size= 1144924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285990 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= 333 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2453 second user time and 13.9639 second system time The end
Begin job on node106 at 2016-06-06 23:51:28 IDJOB=4079835 IDBENCH=24990 IDSOLVER=2542 FILE ID=node106/4079835-1465249888 RUNJOBID= node106-1465219870-1858 PBS_JOBID= 19843217 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079835-1465249888/watcher-4079835-1465249888 -o /tmp/evaluation-result-4079835-1465249888/solver-4079835-1465249888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079835-1465249888.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1474093426 node106.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.775 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.55 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.775 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.775 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.56 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.775 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.775 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.64 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.775 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.775 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.775 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: 30285044 kB Buffers: 55160 kB Cached: 149448 kB SwapCached: 1844 kB Active: 1203016 kB Inactive: 121612 kB Active(anon): 1121120 kB Inactive(anon): 1280 kB Active(file): 81896 kB Inactive(file): 120332 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098536 kB Dirty: 16716 kB Writeback: 0 kB AnonPages: 1762628 kB Mapped: 10684 kB Shmem: 0 kB Slab: 568852 kB SReclaimable: 13268 kB SUnreclaim: 555584 kB KernelStack: 1520 kB PageTables: 7764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1821652 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 649216 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 node106 at 2016-06-07 00:21:29