Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb |
| MD5SUM | 80d8f8438bdd117e32edd926d4898421 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 872 |
| Best CPU time to get the best result obtained on this benchmark | 8.66868 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 872 |
| Optimality of the best value was proved | YES |
| Number of variables | 232 |
| Total number of constraints | 527 |
| Number of constraints which are clauses | 527 |
| 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 | 2 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 232 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 9597 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 9597 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T18:24:42+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-4079547-1465230282.opb"] 0.00/0.01 c use --random-gen="2590155915 3117962918 3881726669 1457403267 3926573095 2001665069 3565774755 2325398052 1255787204 659133077 1956691609 3073509985 1347687798 959022650 4115666080 1760398176 3683660203 2451067438 2449152445 3247702384 4197514992 4149028007 164739990 1152149751 895162292 2033074720 2530393393 1329670057 1379166274 3006892806 370689291 1604740626 1449369853 644563735 579491654 357072796 3048261863 1865764233 4119387640 1151465489 3497036660 1356337139 1839537561 1590673793 2882507664 3468563807 953274038 1735726835 3910838724 1353965968 4124556301 1623991781 1156507613 3947941852 3637551174 3547393916 2288512257 2157121762 533693942 4021227664 1708029368 823731043 3954271221 155274355 2552455837 149204127 3997402736 744978537 1328581613 951392369 2467877075 3936897018 2418581392 3519841491 98855540 4137701195 1898723531 2445773911 3537840698 1646355529 3458035943 3422707248 1921669195 117014771 2550201604 793220685 2352692317 3861751380 2607691895 2527662627 3285484241 316451843 3392839166 2205856336 1853010461 258959668 1251092066 1094445220 1881005477 1971692345 2815772007 2640483737 3915690698 1633542563 962020923 4035820621 582600644 347356793 3016281670 4118696207 3513551022 3361969771 2877951360 3172090990 3918500731 3253466071 2071259294 3515388663 1376099507 198587429 1791579818 530028530 3710178240 1617660754 2900022636 676580481 554375596 1321436475 1127490037 1703101254 3563236039 142380068 4089310407 913415798 2094908272 635559643 2844722907 2263613412 94522164 3067528978 1697938003 1261540949 1625325151 2710174228 1241349147 69175376 908142168 3612869143 76088799 46282160 1179440207 4087325012 1219856515 833208933 3594198039 404493653 747169697 33465196 2893642930 2110548650 2925864155 3231228470 1452197280 4271805051 2026976839 2310264856 2539124083 2036640951 2349420825 1345900558 2689203055 241178253 2154775808 56253364 3370448120 3386051716 2861603883 1699153975 1511558335 2083360571 4231750590 2031193181 604603106 3879798587 1751435008 1921074189 2010822493 4043828662 3387781146 1185673412 3879683410 1581159112 1198430575 2973995449 3810227627 4062221782 3796749400 2771845211 3379555514 4287958437 3046362556 2970243472 600440695 3593798323 2101025777 3183445385 2156372814 1006467312 392952219 1877711494 905824866 1961651872 1157214340 3352252509 3852354503 3208078466 2793037079 204506516 1138147164 2017528478 1836787652 2830947650 1812285699 894216548 213533398 1938469552 288146063 1804700141 3482866326 4013570076 3280485734 2822972414 452669741 2476590083 3476144315 4111968587 1318268995 1013851257 614359748 2111676320 3604399232 895723443 2936004333 3806164948 2621992497 2042382646 150523524 3541726534 931441750 2057095951 215576347 3488147444 3017853411 1881466595 4092948193 1043363414 255 362436" option to reproduce the execution 0.00/0.02 c #vars 232 0.00/0.02 c #constraints 527 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 199 | 0 | 253 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 199 0.00/0.03 c #random_decision = 1 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 9267 0.00/0.03 c BCD2: updating upper bound: 9597 -> 9266 0.00/0.03 c BCD2: 0 <= obj <= 9266 0.00/0.03 c BCD2: #cores=0, #unrelaxed=232, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 128 | 0 | 253 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 128 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=42 0.00/0.03 c lower bound updated to 42 0.00/0.03 c BCD2: 42 <= obj <= 9266 0.00/0.03 c BCD2: #cores=1, #unrelaxed=225, #relaxed=7, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 123 | 0 | 253 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 123 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=42 0.00/0.03 c lower bound updated to 84 0.00/0.03 c BCD2: 84 <= obj <= 9266 0.00/0.03 c BCD2: #cores=2, #unrelaxed=218, #relaxed=14, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 118 | 0 | 253 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 118 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=42 0.00/0.04 c lower bound updated to 126 0.00/0.04 c BCD2: 126 <= obj <= 9266 0.00/0.04 c BCD2: #cores=3, #unrelaxed=211, #relaxed=21, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 124 | 0 | 253 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 124 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 23: cost of the new core is >=42 0.00/0.04 c lower bound updated to 168 0.00/0.04 c BCD2: 168 <= obj <= 9266 0.00/0.04 c BCD2: #cores=4, #unrelaxed=188, #relaxed=44, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 105 | 0 | 253 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 105 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=34 0.00/0.04 c lower bound updated to 202 0.00/0.04 c BCD2: 202 <= obj <= 9266 0.00/0.04 c BCD2: #cores=5, #unrelaxed=183, #relaxed=49, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 1 0.00/0.04 c 0.0s | 0 | 103 | 0 | 253 0 | 0 | 1 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 103 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=34 0.00/0.04 c lower bound updated to 236 0.00/0.04 c BCD2: 236 <= obj <= 9266 0.00/0.04 c BCD2: #cores=6, #unrelaxed=179, #relaxed=53, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 1 0.00/0.04 c 0.0s | 0 | 102 | 0 | 253 0 | 0 | 1 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 102 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=34 0.00/0.04 c lower bound updated to 270 0.00/0.05 c BCD2: 270 <= obj <= 9266 0.00/0.05 c BCD2: #cores=7, #unrelaxed=177, #relaxed=55, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 4 0.00/0.05 c 0.0s | 0 | 102 | 0 | 253 0 | 0 | 4 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 102 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=34 0.00/0.05 c lower bound updated to 304 0.00/0.05 c BCD2: 304 <= obj <= 9266 0.00/0.05 c BCD2: #cores=8, #unrelaxed=175, #relaxed=57, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 5 0.00/0.05 c 0.0s | 0 | 103 | 0 | 253 0 | 0 | 5 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 103 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 13: cost of the new core is >=34 0.00/0.05 c lower bound updated to 338 0.00/0.05 c BCD2: 338 <= obj <= 9266 0.00/0.05 c BCD2: #cores=9, #unrelaxed=162, #relaxed=70, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 5 0.00/0.05 c 0.0s | 0 | 103 | 0 | 253 0 | 0 | 5 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 103 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 19: cost of the new core is >=34 0.00/0.05 c lower bound updated to 372 0.00/0.05 c BCD2: 372 <= obj <= 9266 0.00/0.05 c BCD2: #cores=10, #unrelaxed=143, #relaxed=89, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 5 0.00/0.05 c 0.0s | 0 | 100 | 0 | 253 0 | 0 | 5 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 100 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=32 0.00/0.05 c lower bound updated to 404 0.00/0.05 c BCD2: 404 <= obj <= 9266 0.00/0.05 c BCD2: #cores=11, #unrelaxed=136, #relaxed=96, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 6 0.00/0.06 c 0.0s | 0 | 105 | 0 | 253 0 | 0 | 6 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 105 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 12: cost of the new core is >=32 0.00/0.06 c lower bound updated to 436 0.00/0.06 c BCD2: 436 <= obj <= 9266 0.00/0.06 c BCD2: #cores=12, #unrelaxed=124, #relaxed=108, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 7 0.00/0.06 c 0.0s | 0 | 96 | 0 | 253 0 | 0 | 7 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 96 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 13: cost of the new core is >=32 0.00/0.06 c lower bound updated to 468 0.00/0.06 c BCD2: 468 <= obj <= 9266 0.00/0.06 c BCD2: #cores=13, #unrelaxed=111, #relaxed=121, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 8 0.00/0.06 c 0.0s | 0 | 113 | 0 | 253 0 | 0 | 8 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 113 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 6: cost of the new core is >=25 0.00/0.06 c lower bound updated to 493 0.00/0.06 c BCD2: 493 <= obj <= 9266 0.00/0.06 c BCD2: #cores=14, #unrelaxed=105, #relaxed=127, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 8 0.00/0.06 c 0.0s | 0 | 109 | 0 | 253 0 | 0 | 8 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 109 0.00/0.06 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 5: cost of the new core is >=25 0.00/0.07 c lower bound updated to 518 0.00/0.07 c BCD2: 518 <= obj <= 9266 0.00/0.07 c BCD2: #cores=15, #unrelaxed=100, #relaxed=132, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 8 0.00/0.07 c 0.0s | 0 | 106 | 0 | 253 0 | 0 | 8 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 106 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 13: cost of the new core is >=25 0.00/0.07 c lower bound updated to 543 0.00/0.07 c BCD2: 543 <= obj <= 9266 0.00/0.07 c BCD2: #cores=16, #unrelaxed=87, #relaxed=145, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 8 0.00/0.07 c 0.0s | 0 | 99 | 0 | 253 0 | 0 | 8 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 99 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 10: cost of the new core is >=25 0.00/0.07 c lower bound updated to 568 0.00/0.07 c BCD2: 568 <= obj <= 9266 0.00/0.07 c BCD2: #cores=17, #unrelaxed=77, #relaxed=155, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 8 0.00/0.07 c 0.0s | 0 | 260 | 0 | 253 0 | 0 | 8 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 260 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 o 1115 0.00/0.08 c BCD2: updating upper bound: 9266 -> 1114 0.00/0.08 c BCD2: 568 <= obj <= 1114 0.00/0.08 c BCD2: #cores=17, #unrelaxed=77, #relaxed=155, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=18 bias=18/20 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 253 0 | 0 | 9 0.00/0.08 c 0.0s | 0 | 44 | 0 | 253 0 | 0 | 9 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 44 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 20: cost of the new core is >=96 0.00/0.08 c BCD2: refineLB: 94 -> 96 0.00/0.08 c lower bound updated to 571 0.00/0.08 c BCD2: 571 <= obj <= 1114 0.00/0.08 c BCD2: #cores=15, #unrelaxed=73, #relaxed=159, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=19 bias=19/21 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 253 0 | 14 | 9 0.00/0.08 c 0.0s | 0 | 70 | 2 | 253 0 | 15 | 48 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 70 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 2 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 12: cost of the new core is >=74 0.00/0.08 c BCD2: refineLB: 68 -> 74 0.00/0.08 c lower bound updated to 578 0.00/0.08 c BCD2: 578 <= obj <= 1114 0.00/0.08 c BCD2: #cores=14, #unrelaxed=73, #relaxed=159, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=20 bias=20/22 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 253 0 | 35 | 48 0.00/0.09 c 0.0s | 0 | 78 | 2 | 253 0 | 35 | 86 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 78 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 2 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 16: cost of the new core is >=99 0.00/0.09 c lower bound updated to 603 0.00/0.09 c BCD2: 603 <= obj <= 1114 0.00/0.09 c BCD2: #cores=14, #unrelaxed=69, #relaxed=163, #hardened=0 0.00/0.09 c BCD2: #sat=2 #unsat=21 bias=21/23 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 253 0 | 36 | 86 0.00/0.09 c 0.0s | 0 | 158 | 2 | 253 0 | 36 | 87 0.00/0.09 c #cpu_time = 0.001s 0.00/0.09 c #wall_clock_time = 0.001s 0.00/0.09 c #decision = 158 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 2 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 41: cost of the new core is >=136 0.00/0.09 c lower bound updated to 604 0.00/0.09 c BCD2: 604 <= obj <= 1114 0.00/0.09 c BCD2: #cores=11, #unrelaxed=66, #relaxed=166, #hardened=0 0.00/0.09 c BCD2: #sat=2 #unsat=22 bias=22/24 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 253 0 | 79 | 87 0.00/0.09 c 0.0s | 0 | 115 | 5 | 253 0 | 79 | 170 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 115 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 5 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 19: cost of the new core is >=115 0.00/0.09 c lower bound updated to 620 0.00/0.09 c BCD2: 620 <= obj <= 1114 0.00/0.09 c BCD2: #cores=11, #unrelaxed=63, #relaxed=169, #hardened=0 0.00/0.09 c BCD2: #sat=2 #unsat=23 bias=23/25 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 253 0 | 80 | 170 0.09/0.10 c 0.0s | 0 | 137 | 4 | 253 0 | 80 | 171 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 137 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 4 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 20: cost of the new core is >=116 0.09/0.10 c lower bound updated to 621 0.09/0.10 c BCD2: 621 <= obj <= 1114 0.09/0.10 c BCD2: #cores=11, #unrelaxed=62, #relaxed=170, #hardened=0 0.09/0.10 c BCD2: #sat=2 #unsat=24 bias=24/26 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 253 0 | 81 | 171 0.09/0.10 c 0.0s | 0 | 138 | 9 | 253 0 | 81 | 172 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 138 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 9 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 30 and merging with 6 cores into a new core of size 118: cost of the new core is >=354 0.09/0.10 c lower bound updated to 622 0.09/0.10 c BCD2: 622 <= obj <= 1114 0.09/0.10 c BCD2: #cores=6, #unrelaxed=32, #relaxed=200, #hardened=0 0.09/0.10 c BCD2: #sat=2 #unsat=25 bias=25/27 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 253 0 | 132 | 172 0.09/0.12 c 0.0s | 1 | 251 | 100 | 279 0 | 132 | 273 0.09/0.14 c 0.0s | 2 | 637 | 250 | 307 0 | 132 | 273 0.09/0.18 c 0.1s | 3 | 1115 | 475 | 338 0 | 132 | 273 0.18/0.23 c 0.1s | 4 | 1729 | 813 | 372 1 | 132 | 273 0.29/0.32 c 0.2s | 5 | 2735 | 1320 | 410 3 | 132 | 273 0.39/0.46 c 0.4s | 6 | 4116 | 2081 | 452 5 | 132 | 273 0.59/0.60 c 0.5s | 6 | 5602 | 2866 | 452 8 | 132 | 273 0.59/0.60 c #cpu_time = 0.497s 0.59/0.60 c #wall_clock_time = 0.498s 0.59/0.60 c #decision = 5602 0.59/0.60 c #random_decision = 14 0.59/0.60 c #conflict = 2866 0.59/0.60 c #restart = 6 0.59/0.60 o 993 0.59/0.60 c BCD2: updating upper bound: 1114 -> 992 0.59/0.61 c BCD2: 622 <= obj <= 992 0.59/0.61 c BCD2: #cores=6, #unrelaxed=32, #relaxed=200, #hardened=0 0.59/0.61 c BCD2: #sat=3 #unsat=25 bias=25/28 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 452 0 | 132 | 274 0.59/0.61 c 0.0s | 0 | 94 | 11 | 452 0 | 132 | 274 0.59/0.61 c #cpu_time = 0.003s 0.59/0.61 c #wall_clock_time = 0.003s 0.59/0.61 c #decision = 94 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 11 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: relaxing 7 and merging with 2 cores into a new core of size 61: cost of the new core is >=170 0.59/0.61 c lower bound updated to 624 0.59/0.61 c BCD2: 624 <= obj <= 992 0.59/0.61 c BCD2: #cores=5, #unrelaxed=25, #relaxed=207, #hardened=0 0.59/0.61 c BCD2: #sat=3 #unsat=26 bias=26/29 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 452 0 | 143 | 274 0.59/0.63 c 0.0s | 1 | 238 | 100 | 452 0 | 143 | 295 0.59/0.64 c 0.0s | 2 | 527 | 250 | 452 0 | 143 | 295 0.59/0.67 c 0.1s | 3 | 996 | 475 | 498 1 | 143 | 295 0.68/0.71 c 0.1s | 4 | 1589 | 813 | 498 2 | 143 | 295 0.68/0.73 c 0.1s | 4 | 1744 | 892 | 498 2 | 143 | 295 0.68/0.73 c #cpu_time = 0.110s 0.68/0.73 c #wall_clock_time = 0.110s 0.68/0.73 c #decision = 1744 0.68/0.73 c #random_decision = 3 0.68/0.73 c #conflict = 892 0.68/0.73 c #restart = 4 0.68/0.73 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 67: cost of the new core is >=195 0.68/0.73 c lower bound updated to 649 0.68/0.73 c BCD2: 649 <= obj <= 992 0.68/0.73 c BCD2: #cores=5, #unrelaxed=19, #relaxed=213, #hardened=0 0.68/0.73 c BCD2: #sat=3 #unsat=27 bias=27/30 0.68/0.73 c Solving starts ... 0.68/0.73 c ============================[ Search Statistics ]============================ 0.68/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.73 c | | | | Limit GC | Var | Constra 0.68/0.73 c ============================================================================= 0.68/0.73 c 0.0s | 0 | 0 | 0 | 498 0 | 144 | 295 0.68/0.74 c 0.0s | 1 | 219 | 100 | 498 0 | 144 | 296 0.68/0.76 c 0.0s | 2 | 527 | 250 | 498 0 | 144 | 296 0.68/0.79 c 0.1s | 3 | 916 | 475 | 498 0 | 144 | 296 0.79/0.84 c 0.1s | 4 | 1663 | 813 | 498 1 | 144 | 296 0.89/0.93 c 0.2s | 5 | 2674 | 1320 | 548 2 | 144 | 296 0.99/1.06 c 0.3s | 6 | 4047 | 2081 | 548 4 | 144 | 296 1.19/1.28 c 0.5s | 7 | 6185 | 3223 | 548 7 | 144 | 296 1.49/1.53 c 0.8s | 8 | 9289 | 4936 | 603 11 | 144 | 296 1.89/1.92 c 1.2s | 9 | 13886 | 7506 | 603 17 | 144 | 296 2.38/2.43 c 1.7s | 10 | 20570 | 11361 | 664 26 | 144 | 296 3.19/3.21 c 2.5s | 11 | 30659 | 17144 | 731 38 | 144 | 296 4.29/4.37 c 3.6s | 12 | 45708 | 25819 | 805 56 | 144 | 296 6.18/6.20 c 5.5s | 13 | 67899 | 38832 | 886 80 | 144 | 296 8.18/8.21 c 7.5s | 13 | 93174 | 53732 | 886 107 | 144 | 296 8.79/8.88 c 8.1s | 14 | 101642 | 58352 | 975 115 | 144 | 296 10.78/10.88 c 10.2s | 14 | 125503 | 72752 | 975 139 | 144 | 296 12.78/12.89 c 12.2s | 14 | 148755 | 87352 | 1073 163 | 144 | 296 12.88/12.93 c 12.2s | 15 | 149229 | 87632 | 1073 163 | 144 | 296 14.88/14.94 c 14.2s | 15 | 173748 | 102532 | 1073 186 | 144 | 296 16.88/16.95 c 16.2s | 15 | 197550 | 117332 | 1073 209 | 144 | 296 16.98/17.00 c 16.3s | 15 | 198115 | 117695 | 1073 210 | 144 | 296 16.98/17.00 c #cpu_time = 16.233s 16.98/17.00 c #wall_clock_time = 16.274s 16.98/17.00 c #decision = 198115 16.98/17.00 c #random_decision = 731 16.98/17.00 c #conflict = 117695 16.98/17.00 c #restart = 15 16.98/17.00 c BCD2: relaxing 18 and merging with 4 cores into a new core of size 229: cost of the new core is >=631 16.98/17.00 c lower bound updated to 665 16.98/17.00 c BCD2: 665 <= obj <= 992 16.98/17.00 c BCD2: #cores=2, #unrelaxed=1, #relaxed=231, #hardened=0 16.98/17.00 c BCD2: #sat=3 #unsat=28 bias=28/31 16.98/17.01 c Solving starts ... 16.98/17.01 c ============================[ Search Statistics ]============================ 16.98/17.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.98/17.01 c | | | | Limit GC | Var | Constra 16.98/17.01 c ============================================================================= 16.98/17.01 c 0.0s | 0 | 0 | 0 | 1073 0 | 171 | 296 16.98/17.03 c 0.0s | 1 | 208 | 100 | 1073 0 | 171 | 351 16.98/17.05 c 0.0s | 2 | 646 | 250 | 1073 0 | 171 | 351 17.08/17.10 c 0.1s | 3 | 1214 | 475 | 1073 0 | 171 | 351 17.08/17.16 c 0.2s | 4 | 1863 | 813 | 1073 0 | 171 | 351 17.18/17.27 c 0.3s | 5 | 3022 | 1320 | 1073 1 | 171 | 351 17.38/17.41 c 0.4s | 6 | 4500 | 2081 | 1073 2 | 171 | 351 17.59/17.66 c 0.7s | 7 | 6732 | 3223 | 1073 4 | 171 | 351 17.98/18.03 c 1.0s | 8 | 10083 | 4936 | 1073 6 | 171 | 351 18.48/18.57 c 1.6s | 9 | 15621 | 7506 | 1073 10 | 171 | 351 19.28/19.37 c 2.4s | 10 | 22923 | 11361 | 1181 16 | 171 | 351 20.38/20.47 c 3.5s | 11 | 33806 | 17144 | 1181 24 | 171 | 351 22.09/22.15 c 5.1s | 12 | 48950 | 25819 | 1181 37 | 171 | 351 24.08/24.16 c 7.2s | 12 | 69236 | 36019 | 1181 51 | 171 | 351 24.68/24.72 c 7.7s | 13 | 74545 | 38832 | 1181 56 | 171 | 351 26.68/26.74 c 9.7s | 13 | 93133 | 48732 | 1181 70 | 171 | 351 28.59/28.70 c 11.7s | 14 | 112123 | 58352 | 1181 84 | 171 | 351 30.68/30.70 c 13.7s | 14 | 130567 | 68052 | 1181 98 | 171 | 351 32.68/32.70 c 15.7s | 14 | 150216 | 77952 | 1300 111 | 171 | 351 34.68/34.71 c 17.7s | 14 | 168601 | 87552 | 1300 124 | 171 | 351 34.68/34.73 c 17.7s | 15 | 168716 | 87632 | 1300 124 | 171 | 351 36.68/36.74 c 19.7s | 15 | 188443 | 97132 | 1300 137 | 171 | 351 38.68/38.74 c 21.7s | 15 | 206550 | 106432 | 1300 149 | 171 | 351 40.69/40.76 c 23.8s | 15 | 225396 | 115732 | 1300 162 | 171 | 351 42.68/42.78 c 25.8s | 15 | 244096 | 125232 | 1300 174 | 171 | 351 43.99/44.08 c 27.1s | 16 | 256788 | 131552 | 1300 183 | 171 | 351 45.98/46.08 c 29.1s | 16 | 275159 | 141552 | 1300 196 | 171 | 351 48.08/48.10 c 31.1s | 16 | 294784 | 151252 | 1300 209 | 171 | 351 50.08/50.11 c 33.1s | 16 | 311957 | 160752 | 1300 221 | 171 | 351 52.08/52.12 c 35.1s | 16 | 330619 | 170752 | 1300 234 | 171 | 351 54.08/54.13 c 37.1s | 16 | 349128 | 180652 | 1431 247 | 171 | 351 56.09/56.15 c 39.1s | 16 | 366222 | 190352 | 1431 258 | 171 | 351 57.48/57.60 c 40.6s | 17 | 379063 | 197432 | 1431 267 | 171 | 351 59.58/59.60 c 42.6s | 17 | 398806 | 207632 | 1431 279 | 171 | 351 61.59/61.62 c 44.6s | 17 | 416788 | 217732 | 1431 292 | 171 | 351 63.58/63.63 c 46.6s | 17 | 435855 | 227732 | 1431 304 | 171 | 351 65.58/65.65 c 48.6s | 17 | 454024 | 237432 | 1431 316 | 171 | 351 67.58/67.65 c 50.6s | 17 | 471907 | 247232 | 1431 328 | 171 | 351 69.58/69.66 c 52.7s | 17 | 489315 | 257132 | 1431 340 | 171 | 351 71.59/71.67 c 54.7s | 17 | 507475 | 266732 | 1431 351 | 171 | 351 73.58/73.68 c 56.7s | 17 | 525380 | 276532 | 1431 363 | 171 | 351 75.58/75.69 c 58.7s | 17 | 543260 | 286332 | 1431 375 | 171 | 351 77.68/77.71 c 60.7s | 17 | 560620 | 295832 | 1431 387 | 171 | 351 77.78/77.80 c 60.8s | 18 | 561457 | 296252 | 1431 387 | 171 | 351 79.78/79.81 c 62.8s | 18 | 577746 | 305652 | 1431 399 | 171 | 351 81.77/81.83 c 64.8s | 18 | 594939 | 315352 | 1431 411 | 172 | 365 83.77/83.85 c 66.8s | 18 | 612049 | 324752 | 1575 421 | 172 | 365 85.79/85.86 c 68.9s | 18 | 628798 | 334252 | 1575 432 | 172 | 365 87.77/87.87 c 70.9s | 18 | 645641 | 343952 | 1575 443 | 172 | 365 89.77/89.88 c 72.9s | 18 | 662470 | 353352 | 1575 453 | 172 | 365 91.77/91.88 c 74.9s | 18 | 679821 | 362952 | 1575 464 | 172 | 365 93.77/93.89 c 76.9s | 18 | 696368 | 372552 | 1575 475 | 172 | 365 95.87/95.91 c 78.9s | 18 | 713898 | 382052 | 1575 485 | 172 | 365 97.88/97.92 c 80.9s | 18 | 731346 | 391452 | 1575 496 | 172 | 365 99.87/99.93 c 82.9s | 18 | 748024 | 400552 | 1575 506 | 172 | 365 101.87/101.93 c 84.9s | 18 | 766057 | 410552 | 1575 517 | 172 | 365 103.87/103.94 c 86.9s | 18 | 784083 | 420152 | 1575 528 | 172 | 365 105.87/105.95 c 88.9s | 18 | 801982 | 429652 | 1575 539 | 172 | 365 107.88/107.95 c 90.9s | 18 | 818911 | 439152 | 1575 549 | 172 | 365 109.07/109.12 c 92.1s | 19 | 828553 | 444482 | 1575 555 | 172 | 365 111.08/111.14 c 94.1s | 19 | 845539 | 453882 | 1575 566 | 172 | 365 113.06/113.14 c 96.1s | 19 | 863086 | 463482 | 1575 576 | 172 | 365 115.06/115.15 c 98.1s | 19 | 880043 | 472582 | 1575 587 | 172 | 365 117.06/117.15 c 100s | 19 | 897521 | 482282 | 1575 597 | 172 | 365 119.06/119.17 c 102s | 19 | 915272 | 492082 | 1575 608 | 172 | 365 121.07/121.18 c 104s | 19 | 933364 | 501782 | 1575 619 | 172 | 365 123.06/123.18 c 106s | 19 | 950381 | 511082 | 1575 630 | 172 | 365 125.16/125.20 c 108s | 19 | 967995 | 520682 | 1575 641 | 172 | 365 127.17/127.21 c 110s | 19 | 984831 | 529882 | 1575 651 | 172 | 365 129.17/129.21 c 112s | 19 | 1002504 | 539382 | 1575 662 | 172 | 365 131.17/131.21 c 114s | 19 | 1020164 | 548682 | 1733 671 | 172 | 365 133.18/133.23 c 116s | 19 | 1035984 | 557482 | 1733 680 | 172 | 365 135.17/135.23 c 118s | 19 | 1053330 | 566882 | 1733 690 | 172 | 365 137.17/137.25 c 120s | 19 | 1070921 | 576182 | 1733 699 | 172 | 365 139.17/139.26 c 122s | 19 | 1087793 | 585182 | 1733 709 | 172 | 365 141.17/141.26 c 124s | 19 | 1104799 | 594482 | 1733 718 | 172 | 365 143.17/143.26 c 126s | 19 | 1121829 | 603682 | 1733 728 | 172 | 365 145.18/145.28 c 128s | 19 | 1140063 | 613582 | 1733 738 | 172 | 365 147.17/147.28 c 130s | 19 | 1156548 | 622682 | 1733 747 | 172 | 365 149.27/149.30 c 132s | 19 | 1173859 | 632182 | 1733 757 | 172 | 365 151.27/151.32 c 134s | 19 | 1190624 | 641482 | 1733 767 | 172 | 365 153.26/153.33 c 136s | 19 | 1207404 | 650582 | 1733 776 | 172 | 365 155.26/155.34 c 138s | 19 | 1224054 | 659882 | 1733 786 | 172 | 365 156.76/156.83 c 139s | 20 | 1236263 | 666827 | 1733 793 | 172 | 365 158.76/158.84 c 141s | 20 | 1253793 | 676827 | 1733 803 | 172 | 365 160.76/160.84 c 143s | 20 | 1270518 | 686327 | 1733 813 | 172 | 365 162.77/162.86 c 145s | 20 | 1288072 | 695727 | 1733 822 | 172 | 365 164.76/164.86 c 147s | 20 | 1305465 | 705427 | 1733 832 | 172 | 365 166.76/166.87 c 149s | 20 | 1323613 | 715327 | 1733 843 | 172 | 365 168.76/168.88 c 151s | 20 | 1341348 | 724627 | 1733 852 | 172 | 365 170.76/170.89 c 153s | 20 | 1359063 | 734127 | 1733 862 | 172 | 365 172.86/172.90 c 155s | 20 | 1375975 | 743327 | 1733 871 | 172 | 365 174.87/174.92 c 157s | 20 | 1392690 | 752927 | 1733 881 | 172 | 365 176.86/176.93 c 159s | 20 | 1410097 | 762427 | 1733 891 | 172 | 365 178.86/178.94 c 161s | 20 | 1427136 | 772427 | 1733 901 | 172 | 365 180.86/180.95 c 163s | 20 | 1443548 | 781827 | 1733 911 | 172 | 365 182.86/182.96 c 165s | 20 | 1460488 | 791227 | 1733 921 | 172 | 365 184.87/184.99 c 167s | 20 | 1476586 | 800727 | 1733 931 | 172 | 365 186.86/186.99 c 169s | 20 | 1493474 | 810227 | 1733 940 | 172 | 365 188.86/188.99 c 171s | 20 | 1509893 | 819327 | 1733 950 | 172 | 365 190.95/191.01 c 174s | 20 | 1526903 | 828827 | 1733 960 | 172 | 365 192.95/193.02 c 176s | 20 | 1544658 | 838427 | 1733 969 | 172 | 365 194.95/195.03 c 178s | 20 | 1562413 | 848127 | 1733 979 | 172 | 365 196.96/197.05 c 180s | 20 | 1579985 | 857727 | 1733 989 | 172 | 365 198.95/199.07 c 182s | 20 | 1597017 | 867227 | 1733 999 | 172 | 365 200.95/201.07 c 184s | 20 | 1613596 | 876327 | 1907 1008 | 172 | 365 202.96/203.08 c 186s | 20 | 1630621 | 885827 | 1907 1017 | 172 | 365 204.96/205.08 c 188s | 20 | 1648251 | 895127 | 1907 1026 | 172 | 365 207.06/207.10 c 190s | 20 | 1665498 | 904227 | 1907 1034 | 172 | 365 209.07/209.11 c 192s | 20 | 1682047 | 913427 | 1907 1043 | 172 | 365 211.06/211.12 c 194s | 20 | 1699159 | 922427 | 1907 1051 | 172 | 365 213.06/213.13 c 196s | 20 | 1716104 | 931927 | 1907 1060 | 172 | 365 215.06/215.15 c 198s | 20 | 1733160 | 941327 | 1907 1069 | 172 | 365 217.06/217.16 c 200s | 20 | 1749841 | 950627 | 1907 1078 | 172 | 365 219.06/219.16 c 202s | 20 | 1766893 | 959727 | 1907 1087 | 172 | 365 221.07/221.17 c 204s | 20 | 1784480 | 969227 | 1907 1096 | 172 | 365 223.05/223.19 c 206s | 20 | 1801264 | 978827 | 1907 1105 | 172 | 365 225.15/225.21 c 208s | 20 | 1818032 | 988127 | 1907 1114 | 172 | 365 227.15/227.21 c 210s | 20 | 1834666 | 997327 | 1907 1122 | 172 | 365 227.76/227.88 c 210s | 21 | 1840183 | 1000345 | 1907 1125 | 172 | 365 229.75/229.88 c 212s | 21 | 1856874 | 1009945 | 1907 1134 | 172 | 365 231.75/231.89 c 214s | 21 | 1872992 | 1019345 | 1907 1143 | 172 | 365 233.85/233.90 c 216s | 21 | 1889869 | 1028845 | 1907 1152 | 172 | 365 235.85/235.91 c 218s | 21 | 1907438 | 1038645 | 1907 1161 | 172 | 365 237.85/237.93 c 220s | 21 | 1924810 | 1048845 | 1907 1171 | 172 | 365 239.86/239.93 c 222s | 21 | 1942619 | 1058645 | 1907 1180 | 172 | 365 241.85/241.94 c 224s | 21 | 1959908 | 1067945 | 1907 1189 | 172 | 365 243.85/243.94 c 226s | 21 | 1977122 | 1077045 | 1907 1198 | 172 | 365 245.85/245.95 c 228s | 21 | 1994128 | 1086245 | 1907 1206 | 172 | 365 247.85/247.96 c 230s | 21 | 2010637 | 1095645 | 1907 1215 | 172 | 365 249.85/249.97 c 232s | 21 | 2027683 | 1105145 | 1907 1224 | 172 | 365 251.86/251.98 c 234s | 21 | 2044275 | 1114645 | 1907 1233 | 172 | 365 253.85/253.99 c 236s | 21 | 2060687 | 1123845 | 1907 1242 | 172 | 365 255.94/256.01 c 239s | 21 | 2077817 | 1133545 | 1907 1251 | 172 | 365 257.94/258.01 c 241s | 21 | 2095157 | 1143045 | 1907 1260 | 172 | 365 259.94/260.02 c 243s | 21 | 2112044 | 1152245 | 1907 1269 | 172 | 365 261.94/262.03 c 245s | 21 | 2128552 | 1161745 | 1907 1278 | 172 | 365 263.95/264.03 c 247s | 21 | 2145096 | 1170945 | 1907 1286 | 172 | 365 265.94/266.04 c 249s | 21 | 2162751 | 1180445 | 1907 1295 | 172 | 365 267.94/268.05 c 251s | 21 | 2179466 | 1189845 | 1907 1304 | 172 | 365 269.94/270.06 c 253s | 21 | 2196159 | 1199545 | 1907 1313 | 172 | 365 271.94/272.08 c 255s | 21 | 2212114 | 1209045 | 1907 1322 | 172 | 365 273.96/274.08 c 257s | 21 | 2228871 | 1218645 | 1907 1331 | 172 | 365 275.95/276.08 c 259s | 21 | 2245743 | 1228045 | 1907 1340 | 172 | 365 277.95/278.10 c 261s | 21 | 2262527 | 1237345 | 1907 1349 | 172 | 365 280.05/280.10 c 263s | 21 | 2278606 | 1246745 | 1907 1358 | 172 | 365 282.05/282.11 c 265s | 21 | 2296176 | 1256245 | 1907 1367 | 172 | 365 284.05/284.11 c 267s | 21 | 2314772 | 1266045 | 1907 1376 | 172 | 365 286.06/286.13 c 269s | 21 | 2331080 | 1275245 | 1907 1385 | 172 | 365 288.05/288.15 c 271s | 21 | 2347724 | 1284545 | 1907 1394 | 172 | 365 290.05/290.16 c 273s | 21 | 2364578 | 1294145 | 1907 1403 | 172 | 365 292.05/292.17 c 275s | 21 | 2381707 | 1303345 | 1907 1411 | 172 | 365 294.04/294.19 c 277s | 21 | 2398819 | 1312845 | 1907 1420 | 172 | 365 296.15/296.20 c 279s | 21 | 2414787 | 1322145 | 1907 1429 | 172 | 365 298.15/298.21 c 281s | 21 | 2430647 | 1331545 | 1907 1438 | 172 | 365 300.14/300.22 c 283s | 21 | 2447832 | 1341445 | 1907 1447 | 172 | 365 302.14/302.22 c 285s | 21 | 2463956 | 1350545 | 1907 1456 | 172 | 365 304.14/304.22 c 287s | 21 | 2480544 | 1359745 | 1907 1465 | 172 | 365 306.14/306.24 c 289s | 21 | 2496937 | 1368845 | 2098 1473 | 172 | 365 308.14/308.25 c 291s | 21 | 2513807 | 1378045 | 2098 1481 | 172 | 365 310.15/310.26 c 293s | 21 | 2530001 | 1387245 | 2098 1489 | 172 | 365 312.14/312.27 c 295s | 21 | 2546887 | 1396345 | 2098 1497 | 172 | 365 314.14/314.28 c 297s | 21 | 2563317 | 1405345 | 2098 1505 | 172 | 365 316.14/316.29 c 299s | 21 | 2579897 | 1414445 | 2098 1513 | 172 | 365 318.24/318.30 c 301s | 21 | 2595922 | 1423445 | 2098 1521 | 172 | 365 320.24/320.31 c 303s | 21 | 2612352 | 1432545 | 2098 1528 | 172 | 365 322.25/322.33 c 305s | 21 | 2628684 | 1441645 | 2098 1536 | 172 | 365 324.24/324.35 c 307s | 21 | 2644738 | 1450745 | 2098 1544 | 172 | 365 326.24/326.36 c 309s | 21 | 2661467 | 1460345 | 2098 1553 | 172 | 365 328.24/328.37 c 311s | 21 | 2677766 | 1469645 | 2098 1561 | 172 | 365 330.24/330.37 c 313s | 21 | 2694053 | 1478845 | 2098 1569 | 172 | 365 332.25/332.37 c 315s | 21 | 2710547 | 1488045 | 2098 1576 | 172 | 365 334.24/334.38 c 317s | 21 | 2727180 | 1497245 | 2098 1584 | 172 | 365 335.04/335.15 c 318s | 22 | 2733260 | 1500622 | 2098 1587 | 172 | 365 337.03/337.16 c 320s | 22 | 2748753 | 1509722 | 2098 1595 | 172 | 365 339.03/339.17 c 322s | 22 | 2764604 | 1518922 | 2098 1603 | 172 | 365 341.04/341.18 c 324s | 22 | 2780803 | 1528122 | 2098 1611 | 172 | 365 343.03/343.19 c 326s | 22 | 2797519 | 1537622 | 2098 1619 | 172 | 365 345.13/345.20 c 328s | 22 | 2814220 | 1547222 | 2098 1628 | 172 | 365 347.13/347.22 c 330s | 22 | 2832456 | 1557022 | 2098 1636 | 172 | 365 349.13/349.24 c 332s | 22 | 2849796 | 1566622 | 2098 1645 | 172 | 365 351.13/351.24 c 334s | 22 | 2867240 | 1576522 | 2098 1653 | 172 | 365 353.14/353.26 c 336s | 22 | 2884127 | 1586022 | 2098 1661 | 172 | 365 355.13/355.28 c 338s | 22 | 2900463 | 1595522 | 2098 1670 | 172 | 365 357.13/357.28 c 340s | 22 | 2918024 | 1605322 | 2098 1678 | 172 | 365 359.23/359.30 c 342s | 22 | 2934980 | 1614722 | 2098 1686 | 172 | 365 361.23/361.31 c 344s | 22 | 2952917 | 1624222 | 2098 1695 | 172 | 365 363.23/363.32 c 346s | 22 | 2970452 | 1634122 | 2098 1703 | 172 | 365 365.24/365.34 c 348s | 22 | 2988843 | 1644322 | 2098 1712 | 172 | 365 367.23/367.35 c 350s | 22 | 3006939 | 1654122 | 2098 1721 | 172 | 365 369.23/369.36 c 352s | 22 | 3024667 | 1663822 | 2098 1729 | 172 | 365 371.23/371.36 c 354s | 22 | 3041876 | 1673322 | 2098 1737 | 172 | 365 373.23/373.37 c 356s | 22 | 3058735 | 1682822 | 2098 1745 | 172 | 365 375.23/375.37 c 358s | 22 | 3076033 | 1692222 | 2098 1754 | 172 | 365 377.24/377.38 c 360s | 22 | 3092270 | 1701322 | 2098 1761 | 172 | 365 379.23/379.38 c 362s | 22 | 3108764 | 1710622 | 2098 1770 | 172 | 365 381.23/381.39 c 364s | 22 | 3125585 | 1719922 | 2098 1778 | 172 | 365 383.33/383.40 c 366s | 22 | 3143272 | 1729622 | 2098 1786 | 172 | 365 385.33/385.40 c 368s | 22 | 3160062 | 1738922 | 2098 1794 | 172 | 365 387.33/387.41 c 370s | 22 | 3176928 | 1748322 | 2098 1802 | 172 | 365 389.34/389.42 c 372s | 22 | 3193709 | 1757722 | 2098 1810 | 172 | 365 391.33/391.42 c 374s | 22 | 3210511 | 1767022 | 2098 1818 | 172 | 365 393.33/393.42 c 376s | 22 | 3226836 | 1776122 | 2098 1826 | 172 | 365 395.33/395.43 c 378s | 22 | 3243571 | 1785422 | 2098 1834 | 172 | 365 397.33/397.45 c 380s | 22 | 3260104 | 1795022 | 2098 1843 | 172 | 365 399.34/399.46 c 382s | 22 | 3277125 | 1804522 | 2098 1851 | 172 | 365 401.33/401.46 c 384s | 22 | 3293244 | 1813622 | 2098 1859 | 172 | 365 403.33/403.48 c 386s | 22 | 3310786 | 1823122 | 2098 1867 | 172 | 365 405.43/405.50 c 388s | 22 | 3327436 | 1832522 | 2098 1875 | 172 | 365 407.43/407.50 c 390s | 22 | 3344561 | 1841922 | 2098 1883 | 172 | 365 409.42/409.51 c 392s | 22 | 3361924 | 1851622 | 2098 1892 | 172 | 365 411.43/411.53 c 394s | 22 | 3379062 | 1861522 | 2098 1900 | 172 | 365 413.42/413.54 c 396s | 22 | 3396693 | 1871322 | 2098 1909 | 172 | 365 415.42/415.55 c 398s | 22 | 3412783 | 1880422 | 2098 1917 | 172 | 365 417.42/417.55 c 400s | 22 | 3430067 | 1889822 | 2098 1925 | 172 | 365 419.42/419.57 c 402s | 22 | 3447118 | 1899122 | 2098 1933 | 172 | 365 421.42/421.59 c 404s | 22 | 3464715 | 1908422 | 2098 1941 | 172 | 365 423.43/423.60 c 406s | 22 | 3481931 | 1918022 | 2098 1949 | 172 | 365 425.52/425.61 c 408s | 22 | 3496849 | 1926522 | 2098 1957 | 172 | 365 427.52/427.62 c 410s | 22 | 3512512 | 1935422 | 2098 1964 | 172 | 365 429.52/429.62 c 412s | 22 | 3530273 | 1944822 | 2098 1972 | 172 | 365 431.52/431.65 c 414s | 22 | 3548117 | 1954522 | 2098 1981 | 172 | 365 433.52/433.66 c 416s | 22 | 3565698 | 1964022 | 2098 1989 | 172 | 365 435.53/435.68 c 418s | 22 | 3582234 | 1973222 | 2098 1997 | 172 | 365 437.62/437.70 c 420s | 22 | 3599377 | 1982422 | 2098 2005 | 172 | 365 439.62/439.70 c 422s | 22 | 3615871 | 1991722 | 2098 2013 | 172 | 365 441.62/441.70 c 424s | 22 | 3633853 | 2001322 | 2098 2021 | 172 | 365 443.62/443.71 c 426s | 22 | 3651015 | 2010722 | 2098 2029 | 172 | 365 445.62/445.71 c 428s | 22 | 3668044 | 2020122 | 2098 2038 | 172 | 365 447.63/447.71 c 430s | 22 | 3685409 | 2029322 | 2098 2046 | 172 | 365 449.62/449.72 c 432s | 22 | 3702554 | 2038722 | 2098 2054 | 172 | 365 451.62/451.74 c 434s | 22 | 3719001 | 2048022 | 2098 2062 | 172 | 365 453.62/453.76 c 436s | 22 | 3736404 | 2057622 | 2098 2070 | 172 | 365 455.61/455.77 c 438s | 22 | 3753633 | 2067122 | 2098 2078 | 172 | 365 457.63/457.79 c 440s | 22 | 3770761 | 2076722 | 2098 2087 | 172 | 365 459.62/459.79 c 442s | 22 | 3787925 | 2086322 | 2098 2095 | 172 | 365 461.71/461.80 c 444s | 22 | 3803306 | 2095422 | 2098 2103 | 172 | 365 463.71/463.81 c 446s | 22 | 3820183 | 2104922 | 2098 2111 | 172 | 365 465.71/465.83 c 448s | 22 | 3837501 | 2114622 | 2308 2119 | 172 | 365 467.71/467.83 c 450s | 22 | 3853080 | 2123922 | 2308 2127 | 172 | 365 469.72/469.84 c 452s | 22 | 3868333 | 2132622 | 2308 2134 | 172 | 365 471.71/471.86 c 454s | 22 | 3884559 | 2141822 | 2308 2141 | 172 | 365 473.71/473.86 c 456s | 22 | 3901675 | 2151222 | 2308 2148 | 172 | 365 475.71/475.88 c 458s | 22 | 3919104 | 2160822 | 2308 2156 | 172 | 365 477.71/477.89 c 460s | 22 | 3935320 | 2170022 | 2308 2163 | 172 | 365 479.81/479.90 c 462s | 22 | 3951038 | 2179122 | 2308 2171 | 172 | 365 481.82/481.92 c 464s | 22 | 3968550 | 2188722 | 2308 2178 | 172 | 365 483.81/483.94 c 466s | 22 | 3984257 | 2197822 | 2308 2185 | 172 | 365 485.82/485.94 c 468s | 22 | 3999945 | 2207222 | 2308 2193 | 172 | 365 487.82/487.96 c 470s | 22 | 4016722 | 2216622 | 2308 2200 | 172 | 365 489.82/489.98 c 472s | 22 | 4033476 | 2226122 | 2308 2208 | 172 | 365 491.82/491.99 c 474s | 22 | 4050356 | 2235422 | 2308 2215 | 172 | 365 493.82/494.00 c 476s | 22 | 4065613 | 2244422 | 2308 2222 | 172 | 365 495.31/495.44 c 478s | 23 | 4077763 | 2251038 | 2308 2228 | 172 | 365 497.31/497.44 c 480s | 23 | 4094457 | 2260738 | 2308 2235 | 172 | 365 499.32/499.46 c 482s | 23 | 4111600 | 2270438 | 2308 2243 | 172 | 365 501.31/501.48 c 484s | 23 | 4127417 | 2279638 | 2308 2250 | 172 | 365 503.31/503.49 c 486s | 23 | 4143291 | 2288738 | 2308 2258 | 172 | 365 505.31/505.49 c 488s | 23 | 4159712 | 2298238 | 2308 2265 | 172 | 365 507.41/507.52 c 490s | 23 | 4176095 | 2307538 | 2308 2273 | 172 | 365 509.41/509.52 c 492s | 23 | 4191915 | 2317338 | 2308 2280 | 172 | 365 511.42/511.52 c 494s | 23 | 4207619 | 2326738 | 2308 2288 | 172 | 365 513.41/513.53 c 496s | 23 | 4223687 | 2336338 | 2308 2295 | 172 | 365 515.41/515.54 c 498s | 23 | 4239330 | 2345738 | 2308 2303 | 172 | 365 517.41/517.56 c 500s | 23 | 4256318 | 2355338 | 2308 2310 | 172 | 365 519.41/519.56 c 502s | 23 | 4272260 | 2364738 | 2308 2318 | 172 | 365 521.42/521.57 c 504s | 23 | 4288148 | 2374038 | 2308 2325 | 172 | 365 523.40/523.58 c 506s | 23 | 4305448 | 2383438 | 2308 2333 | 172 | 365 525.40/525.58 c 508s | 23 | 4322249 | 2392638 | 2308 2340 | 172 | 365 527.50/527.60 c 510s | 23 | 4339012 | 2402238 | 2308 2348 | 172 | 365 529.50/529.61 c 512s | 23 | 4356218 | 2411838 | 2308 2355 | 172 | 365 531.50/531.62 c 514s | 23 | 4373459 | 2421238 | 2308 2363 | 172 | 365 533.51/533.62 c 516s | 23 | 4389239 | 2430638 | 2308 2370 | 172 | 365 535.50/535.64 c 518s | 23 | 4405213 | 2440038 | 2308 2378 | 172 | 365 537.50/537.65 c 520s | 23 | 4420014 | 2449238 | 2308 2385 | 172 | 365 539.50/539.65 c 522s | 23 | 4435987 | 2458738 | 2308 2393 | 172 | 365 541.50/541.67 c 524s | 23 | 4453431 | 2468538 | 2308 2400 | 172 | 365 543.50/543.69 c 526s | 23 | 4469157 | 2477438 | 2308 2408 | 172 | 365 545.61/545.71 c 528s | 23 | 4486256 | 2486938 | 2308 2415 | 172 | 365 547.60/547.72 c 530s | 23 | 4501576 | 2495938 | 2308 2422 | 172 | 365 549.60/549.73 c 532s | 23 | 4516796 | 2504938 | 2308 2429 | 172 | 365 551.60/551.75 c 534s | 23 | 4533350 | 2514038 | 2308 2437 | 172 | 365 553.60/553.76 c 536s | 23 | 4549812 | 2523238 | 2308 2444 | 172 | 365 555.60/555.78 c 538s | 23 | 4565213 | 2532238 | 2308 2451 | 172 | 365 557.61/557.79 c 540s | 23 | 4580387 | 2541338 | 2308 2458 | 172 | 365 559.70/559.80 c 542s | 23 | 4595855 | 2550638 | 2308 2466 | 172 | 365 561.70/561.80 c 544s | 23 | 4611213 | 2559438 | 2308 2473 | 172 | 365 563.71/563.80 c 546s | 23 | 4628554 | 2568938 | 2308 2480 | 172 | 365 565.70/565.81 c 548s | 23 | 4644820 | 2578038 | 2308 2488 | 172 | 365 567.70/567.83 c 550s | 23 | 4661390 | 2587238 | 2308 2495 | 172 | 365 569.71/569.85 c 552s | 23 | 4677656 | 2596338 | 2308 2502 | 172 | 365 571.70/571.87 c 554s | 23 | 4693960 | 2605938 | 2308 2510 | 172 | 365 573.70/573.88 c 556s | 23 | 4709044 | 2615038 | 2308 2517 | 172 | 365 575.80/575.91 c 558s | 23 | 4726096 | 2624438 | 2308 2525 | 172 | 365 577.80/577.91 c 560s | 23 | 4742853 | 2633738 | 2308 2532 | 172 | 365 579.80/579.91 c 562s | 23 | 4759834 | 2642938 | 2308 2539 | 172 | 365 581.81/581.93 c 564s | 23 | 4776526 | 2652438 | 2308 2547 | 172 | 365 583.80/583.94 c 566s | 23 | 4792896 | 2661438 | 2308 2554 | 172 | 365 585.80/585.96 c 568s | 23 | 4809545 | 2670938 | 2308 2561 | 172 | 365 587.80/587.96 c 570s | 23 | 4826078 | 2680338 | 2308 2569 | 172 | 365 589.80/589.97 c 572s | 23 | 4842633 | 2689538 | 2308 2576 | 172 | 365 591.81/591.99 c 574s | 23 | 4859126 | 2699038 | 2308 2584 | 172 | 365 593.91/594.01 c 577s | 23 | 4874751 | 2708138 | 2308 2591 | 172 | 365 595.89/596.03 c 579s | 23 | 4889979 | 2717138 | 2308 2598 | 172 | 365 597.89/598.04 c 581s | 23 | 4906090 | 2726238 | 2308 2605 | 172 | 365 599.89/600.05 c 583s | 23 | 4921567 | 2734638 | 2308 2612 | 172 | 365 601.89/602.07 c 585s | 23 | 4937169 | 2743538 | 2308 2619 | 172 | 365 603.90/604.09 c 587s | 23 | 4952499 | 2752238 | 2308 2626 | 172 | 365 605.89/606.09 c 589s | 23 | 4968693 | 2761338 | 2308 2633 | 172 | 365 607.99/608.11 c 591s | 23 | 4984231 | 2770438 | 2308 2640 | 172 | 365 609.99/610.13 c 593s | 23 | 5001057 | 2779538 | 2308 2648 | 172 | 365 612.00/612.13 c 595s | 23 | 5016911 | 2788738 | 2308 2655 | 172 | 365 614.00/614.14 c 597s | 23 | 5032983 | 2797838 | 2308 2662 | 172 | 365 616.01/616.15 c 599s | 23 | 5048830 | 2806938 | 2308 2669 | 172 | 365 618.00/618.16 c 601s | 23 | 5066149 | 2816338 | 2308 2677 | 172 | 365 620.00/620.17 c 603s | 23 | 5081090 | 2825238 | 2308 2684 | 172 | 365 622.00/622.18 c 605s | 23 | 5096114 | 2834038 | 2308 2691 | 172 | 365 624.00/624.18 c 607s | 23 | 5113388 | 2843038 | 2308 2698 | 172 | 365 626.00/626.19 c 609s | 23 | 5129582 | 2852238 | 2308 2705 | 172 | 365 628.01/628.19 c 611s | 23 | 5145946 | 2861238 | 2308 2713 | 172 | 365 630.10/630.21 c 613s | 23 | 5162474 | 2870338 | 2308 2720 | 172 | 365 632.09/632.22 c 615s | 23 | 5178548 | 2879138 | 2308 2727 | 172 | 365 634.09/634.24 c 617s | 23 | 5194053 | 2888438 | 2308 2734 | 172 | 365 636.09/636.25 c 619s | 23 | 5209819 | 2897538 | 2308 2741 | 172 | 365 638.09/638.26 c 621s | 23 | 5226464 | 2906738 | 2308 2749 | 172 | 365 640.10/640.27 c 623s | 23 | 5242247 | 2916038 | 2308 2756 | 172 | 365 642.09/642.28 c 625s | 23 | 5257218 | 2925438 | 2308 2764 | 172 | 365 644.19/644.30 c 627s | 23 | 5273384 | 2934638 | 2308 2771 | 172 | 365 646.19/646.33 c 629s | 23 | 5288434 | 2943638 | 2308 2778 | 172 | 365 648.19/648.35 c 631s | 23 | 5304892 | 2952738 | 2308 2785 | 172 | 365 650.19/650.36 c 633s | 23 | 5321591 | 2961638 | 2308 2792 | 172 | 365 652.20/652.37 c 635s | 23 | 5338303 | 2970638 | 2308 2800 | 172 | 365 654.19/654.38 c 637s | 23 | 5354719 | 2979738 | 2308 2807 | 172 | 365 656.29/656.40 c 639s | 23 | 5370782 | 2988738 | 2308 2814 | 172 | 365 658.29/658.42 c 641s | 23 | 5387510 | 2997738 | 2308 2821 | 172 | 365 660.29/660.44 c 643s | 23 | 5403618 | 3006738 | 2308 2828 | 172 | 365 662.29/662.45 c 645s | 23 | 5419962 | 3015838 | 2308 2836 | 172 | 365 664.30/664.45 c 647s | 23 | 5436513 | 3025138 | 2308 2843 | 172 | 365 666.28/666.45 c 649s | 23 | 5452884 | 3034638 | 2308 2850 | 172 | 365 668.29/668.47 c 651s | 23 | 5468927 | 3043638 | 2308 2858 | 172 | 365 670.28/670.48 c 653s | 23 | 5483563 | 3052638 | 2308 2865 | 172 | 365 672.28/672.49 c 655s | 23 | 5498830 | 3061538 | 2308 2872 | 172 | 365 674.38/674.51 c 657s | 23 | 5514627 | 3070338 | 2308 2879 | 172 | 365 676.39/676.51 c 659s | 23 | 5531143 | 3079538 | 2308 2886 | 172 | 365 678.38/678.53 c 661s | 23 | 5546375 | 3088638 | 2308 2893 | 172 | 365 680.38/680.54 c 663s | 23 | 5561279 | 3097438 | 2308 2900 | 172 | 365 682.38/682.57 c 665s | 23 | 5577546 | 3106538 | 2308 2908 | 172 | 365 684.38/684.58 c 667s | 23 | 5593552 | 3115538 | 2308 2915 | 172 | 365 686.48/686.60 c 669s | 23 | 5608414 | 3124138 | 2308 2922 | 172 | 365 688.38/688.60 c 671s | 23 | 5623875 | 3132938 | 2308 2929 | 172 | 365 690.48/690.61 c 673s | 23 | 5639050 | 3141838 | 2308 2936 | 172 | 365 692.48/692.61 c 675s | 23 | 5654894 | 3150938 | 2308 2943 | 172 | 365 694.48/694.64 c 677s | 23 | 5671693 | 3160538 | 2308 2951 | 172 | 365 696.48/696.66 c 679s | 23 | 5688399 | 3170038 | 2308 2958 | 172 | 365 698.49/698.67 c 681s | 23 | 5704453 | 3179238 | 2308 2965 | 172 | 365 700.48/700.67 c 683s | 23 | 5719457 | 3187938 | 2308 2972 | 172 | 365 702.48/702.67 c 685s | 23 | 5734889 | 3196838 | 2308 2979 | 172 | 365 704.47/704.69 c 687s | 23 | 5750564 | 3205738 | 2308 2987 | 172 | 365 706.47/706.70 c 689s | 23 | 5766542 | 3214538 | 2308 2994 | 172 | 365 708.57/708.70 c 691s | 23 | 5781823 | 3223438 | 2308 3001 | 172 | 365 710.59/710.72 c 693s | 23 | 5797791 | 3232638 | 2539 3008 | 172 | 365 712.58/712.72 c 695s | 23 | 5813197 | 3241638 | 2539 3014 | 172 | 365 714.58/714.73 c 697s | 23 | 5828003 | 3250238 | 2539 3021 | 172 | 365 716.58/716.75 c 699s | 23 | 5845738 | 3260138 | 2539 3028 | 172 | 365 718.58/718.77 c 701s | 23 | 5862351 | 3269538 | 2539 3035 | 172 | 365 720.58/720.78 c 703s | 23 | 5878344 | 3278538 | 2539 3041 | 172 | 365 722.59/722.79 c 705s | 23 | 5894514 | 3287538 | 2539 3048 | 172 | 365 724.68/724.81 c 707s | 23 | 5911680 | 3296938 | 2539 3055 | 172 | 365 726.67/726.82 c 709s | 23 | 5928372 | 3306038 | 2539 3061 | 172 | 365 728.67/728.84 c 711s | 23 | 5944686 | 3314938 | 2539 3068 | 172 | 365 730.67/730.86 c 713s | 23 | 5961390 | 3324238 | 2539 3074 | 172 | 365 732.67/732.87 c 715s | 23 | 5976597 | 3333138 | 2539 3081 | 172 | 365 734.68/734.88 c 717s | 23 | 5992678 | 3342138 | 2539 3088 | 172 | 365 736.67/736.89 c 719s | 23 | 6008383 | 3351238 | 2539 3094 | 172 | 365 738.77/738.91 c 721s | 23 | 6025390 | 3360338 | 2539 3101 | 172 | 365 740.77/740.92 c 723s | 23 | 6041264 | 3369638 | 2539 3108 | 172 | 365 742.27/742.50 c 725s | 24 | 6053045 | 3376662 | 2539 3113 | 172 | 365 744.36/744.52 c 727s | 24 | 6069379 | 3385962 | 2539 3119 | 172 | 365 746.36/746.53 c 729s | 24 | 6085469 | 3395362 | 2539 3126 | 172 | 365 748.36/748.54 c 731s | 24 | 6101848 | 3404662 | 2539 3133 | 172 | 365 750.36/750.55 c 733s | 24 | 6119303 | 3414362 | 2539 3140 | 172 | 365 752.37/752.56 c 735s | 24 | 6135994 | 3423662 | 2539 3147 | 172 | 365 754.36/754.57 c 737s | 24 | 6152469 | 3432762 | 2539 3153 | 172 | 365 756.36/756.59 c 739s | 24 | 6168134 | 3441662 | 2539 3160 | 172 | 365 758.46/758.60 c 741s | 24 | 6183786 | 3451062 | 2539 3167 | 172 | 365 760.46/760.62 c 743s | 24 | 6200558 | 3460462 | 2539 3174 | 172 | 365 762.46/762.64 c 745s | 24 | 6217028 | 3469462 | 2539 3180 | 172 | 365 764.47/764.66 c 747s | 24 | 6234809 | 3478962 | 2539 3187 | 172 | 365 766.45/766.67 c 749s | 24 | 6253220 | 3488362 | 2539 3194 | 172 | 365 768.45/768.67 c 751s | 24 | 6270956 | 3497862 | 2539 3201 | 172 | 365 770.45/770.69 c 753s | 24 | 6287589 | 3507462 | 2539 3208 | 172 | 365 772.45/772.69 c 755s | 24 | 6304403 | 3516562 | 2539 3215 | 172 | 365 774.55/774.71 c 757s | 24 | 6321072 | 3525662 | 2539 3221 | 172 | 365 776.56/776.71 c 759s | 24 | 6337685 | 3534662 | 2539 3228 | 172 | 365 778.55/778.72 c 761s | 24 | 6353969 | 3543762 | 2539 3234 | 172 | 365 780.55/780.74 c 763s | 24 | 6370398 | 3552962 | 2539 3241 | 172 | 365 782.55/782.74 c 765s | 24 | 6387371 | 3562462 | 2539 3248 | 172 | 365 784.55/784.76 c 767s | 24 | 6404161 | 3571662 | 2539 3255 | 172 | 365 786.55/786.78 c 769s | 24 | 6420716 | 3580862 | 2539 3261 | 172 | 365 788.56/788.78 c 771s | 24 | 6437253 | 3589962 | 2539 3268 | 172 | 365 790.55/790.79 c 773s | 24 | 6454362 | 3599162 | 2539 3275 | 172 | 365 792.65/792.80 c 775s | 24 | 6471017 | 3608362 | 2539 3281 | 172 | 365 794.65/794.81 c 777s | 24 | 6487741 | 3617662 | 2539 3288 | 172 | 365 796.64/796.81 c 779s | 24 | 6505051 | 3627062 | 2539 3295 | 172 | 365 798.64/798.83 c 781s | 24 | 6522253 | 3636062 | 2539 3301 | 172 | 365 800.65/800.83 c 783s | 24 | 6538975 | 3645562 | 2539 3308 | 172 | 365 802.64/802.83 c 785s | 24 | 6555391 | 3654862 | 2539 3315 | 172 | 365 804.64/804.85 c 787s | 24 | 6571437 | 3663762 | 2539 3322 | 172 | 365 806.64/806.87 c 789s | 24 | 6587564 | 3672962 | 2539 3328 | 172 | 365 808.64/808.88 c 791s | 24 | 6603711 | 3681662 | 2539 3335 | 172 | 365 810.65/810.88 c 793s | 24 | 6620417 | 3690662 | 2539 3341 | 172 | 365 812.75/812.91 c 795s | 24 | 6637170 | 3699362 | 2539 3347 | 172 | 365 814.74/814.92 c 797s | 24 | 6653378 | 3708262 | 2539 3354 | 172 | 365 816.73/816.93 c 799s | 24 | 6669870 | 3717462 | 2539 3361 | 172 | 365 818.73/818.96 c 801s | 24 | 6686764 | 3726962 | 2539 3368 | 172 | 365 820.73/820.96 c 803s | 24 | 6703242 | 3736162 | 2539 3374 | 172 | 365 822.75/822.97 c 805s | 24 | 6719586 | 3745362 | 2539 3381 | 172 | 365 824.74/824.97 c 807s | 24 | 6736305 | 3754362 | 2539 3388 | 172 | 365 826.73/826.99 c 809s | 24 | 6754376 | 3763162 | 2539 3394 | 172 | 365 828.73/828.99 c 811s | 24 | 6770770 | 3772362 | 2539 3401 | 172 | 365 830.83/831.00 c 813s | 24 | 6788006 | 3781962 | 2539 3408 | 172 | 365 832.83/833.02 c 816s | 24 | 6806424 | 3791862 | 2539 3415 | 172 | 365 834.84/835.02 c 818s | 24 | 6824221 | 3801362 | 2539 3422 | 172 | 365 836.83/837.03 c 820s | 24 | 6842389 | 3811262 | 2539 3429 | 172 | 365 838.83/839.03 c 822s | 24 | 6859762 | 3820562 | 2539 3436 | 172 | 365 840.83/841.04 c 824s | 24 | 6877087 | 3829762 | 2539 3442 | 172 | 365 842.83/843.05 c 826s | 24 | 6894237 | 3838662 | 2539 3449 | 172 | 365 844.83/845.06 c 828s | 24 | 6910051 | 3847262 | 2539 3455 | 172 | 365 846.83/847.08 c 830s | 24 | 6926906 | 3856362 | 2539 3462 | 172 | 365 848.82/849.08 c 832s | 24 | 6943578 | 3865662 | 2539 3468 | 172 | 365 850.82/851.09 c 834s | 24 | 6960309 | 3874862 | 2539 3475 | 172 | 365 852.82/853.10 c 836s | 24 | 6977695 | 3884062 | 2539 3482 | 172 | 365 854.92/855.10 c 838s | 24 | 6994668 | 3893262 | 2539 3489 | 172 | 365 856.92/857.11 c 840s | 24 | 7010947 | 3902162 | 2539 3495 | 172 | 365 858.93/859.12 c 842s | 24 | 7027057 | 3911062 | 2539 3501 | 172 | 365 860.91/861.14 c 844s | 24 | 7043822 | 3920562 | 2539 3508 | 172 | 365 862.91/863.16 c 846s | 24 | 7059974 | 3929362 | 2539 3515 | 172 | 365 864.91/865.17 c 848s | 24 | 7076423 | 3938062 | 2539 3521 | 172 | 365 866.91/867.18 c 850s | 24 | 7091841 | 3946562 | 2539 3527 | 172 | 365 869.01/869.22 c 852s | 24 | 7110070 | 3955662 | 2539 3534 | 172 | 365 871.02/871.23 c 854s | 24 | 7127239 | 3965062 | 2539 3541 | 172 | 365 873.01/873.25 c 856s | 24 | 7145286 | 3974962 | 2539 3548 | 172 | 365 875.01/875.26 c 858s | 24 | 7163297 | 3984962 | 2539 3555 | 172 | 365 877.00/877.27 c 860s | 24 | 7180490 | 3994762 | 2539 3562 | 172 | 365 879.00/879.28 c 862s | 24 | 7197569 | 4004462 | 2539 3569 | 172 | 365 881.01/881.29 c 864s | 24 | 7214528 | 4014062 | 2539 3576 | 172 | 365 883.11/883.31 c 866s | 24 | 7232571 | 4023562 | 2539 3583 | 172 | 365 885.10/885.32 c 868s | 24 | 7251184 | 4032962 | 2539 3590 | 172 | 365 887.10/887.33 c 870s | 24 | 7269263 | 4042962 | 2539 3597 | 172 | 365 889.10/889.35 c 872s | 24 | 7287148 | 4052562 | 2539 3604 | 172 | 365 891.10/891.37 c 874s | 24 | 7304510 | 4061862 | 2539 3611 | 172 | 365 893.12/893.37 c 876s | 24 | 7321472 | 4071062 | 2539 3618 | 172 | 365 895.11/895.37 c 878s | 24 | 7338603 | 4080662 | 2539 3625 | 172 | 365 897.10/897.39 c 880s | 24 | 7355898 | 4089962 | 2539 3632 | 172 | 365 899.11/899.39 c 882s | 24 | 7373762 | 4099462 | 2539 3639 | 172 | 365 901.10/901.40 c 884s | 24 | 7390950 | 4108362 | 2539 3645 | 172 | 365 903.20/903.40 c 886s | 24 | 7407023 | 4117862 | 2539 3652 | 172 | 365 905.11/905.40 c 888s | 24 | 7422074 | 4126862 | 2539 3659 | 172 | 365 907.20/907.42 c 890s | 24 | 7439676 | 4136562 | 2539 3666 | 172 | 365 909.20/909.42 c 892s | 24 | 7457707 | 4146262 | 2539 3673 | 172 | 365 911.20/911.44 c 894s | 24 | 7474874 | 4155562 | 2539 3679 | 172 | 365 913.20/913.46 c 896s | 24 | 7492190 | 4165162 | 2539 3686 | 172 | 365 915.20/915.47 c 898s | 24 | 7508872 | 4174362 | 2539 3693 | 172 | 365 917.21/917.48 c 900s | 24 | 7524215 | 4183362 | 2539 3700 | 172 | 365 919.20/919.49 c 902s | 24 | 7540589 | 4192762 | 2539 3707 | 172 | 365 921.20/921.49 c 904s | 24 | 7557185 | 4202162 | 2539 3714 | 172 | 365 923.30/923.50 c 906s | 24 | 7574187 | 4211762 | 2539 3721 | 172 | 365 925.30/925.51 c 908s | 24 | 7590904 | 4221262 | 2539 3727 | 172 | 365 927.29/927.52 c 910s | 24 | 7607400 | 4231262 | 2539 3735 | 172 | 365 929.30/929.52 c 912s | 24 | 7624366 | 4240562 | 2539 3742 | 172 | 365 931.29/931.53 c 914s | 24 | 7642373 | 4249462 | 2539 3748 | 172 | 365 933.29/933.55 c 916s | 24 | 7659815 | 4258662 | 2539 3755 | 172 | 365 935.29/935.57 c 918s | 24 | 7676586 | 4267862 | 2539 3761 | 172 | 365 937.29/937.57 c 920s | 24 | 7693366 | 4277262 | 2539 3768 | 172 | 365 939.39/939.60 c 922s | 24 | 7709816 | 4286162 | 2539 3775 | 172 | 365 941.40/941.62 c 924s | 24 | 7726779 | 4295462 | 2539 3782 | 172 | 365 943.38/943.63 c 926s | 24 | 7743094 | 4304762 | 2539 3788 | 172 | 365 945.38/945.63 c 928s | 24 | 7759768 | 4313862 | 2539 3795 | 172 | 365 947.38/947.63 c 930s | 24 | 7776407 | 4322762 | 2539 3802 | 172 | 365 949.38/949.64 c 932s | 24 | 7792513 | 4332062 | 2539 3808 | 172 | 365 951.39/951.64 c 934s | 24 | 7808586 | 4341362 | 2539 3815 | 172 | 365 953.38/953.64 c 936s | 24 | 7823997 | 4350462 | 2539 3822 | 172 | 365 955.38/955.66 c 938s | 24 | 7840863 | 4359862 | 2539 3829 | 172 | 365 957.37/957.66 c 940s | 24 | 7858220 | 4369362 | 2539 3836 | 172 | 365 959.37/959.68 c 942s | 24 | 7876036 | 4378862 | 2539 3842 | 172 | 365 961.47/961.70 c 944s | 24 | 7893245 | 4388562 | 2539 3850 | 172 | 365 963.48/963.71 c 946s | 24 | 7910243 | 4397762 | 2539 3856 | 172 | 365 965.47/965.72 c 948s | 24 | 7926693 | 4406762 | 2539 3863 | 172 | 365 967.47/967.73 c 950s | 24 | 7944148 | 4416062 | 2539 3870 | 172 | 365 969.47/969.74 c 952s | 24 | 7961774 | 4425662 | 2539 3877 | 172 | 365 971.47/971.75 c 954s | 24 | 7980731 | 4435362 | 2539 3884 | 172 | 365 973.47/973.78 c 956s | 24 | 7997776 | 4444562 | 2539 3890 | 172 | 365 975.48/975.78 c 958s | 24 | 8015163 | 4453862 | 2539 3897 | 172 | 365 977.46/977.79 c 960s | 24 | 8032385 | 4462862 | 2539 3904 | 172 | 365 979.46/979.79 c 962s | 24 | 8049962 | 4472262 | 2539 3910 | 172 | 365 981.46/981.79 c 964s | 24 | 8066428 | 4481262 | 2539 3917 | 172 | 365 983.56/983.82 c 966s | 24 | 8082110 | 4490062 | 2539 3923 | 172 | 365 985.56/985.82 c 968s | 24 | 8097959 | 4498862 | 2539 3930 | 172 | 365 987.57/987.82 c 970s | 24 | 8114667 | 4507562 | 2539 3936 | 172 | 365 989.55/989.83 c 972s | 24 | 8130704 | 4516562 | 2539 3943 | 172 | 365 991.55/991.84 c 974s | 24 | 8147059 | 4526262 | 2539 3950 | 172 | 365 993.55/993.85 c 976s | 24 | 8165949 | 4535662 | 2539 3957 | 172 | 365 995.55/995.86 c 978s | 24 | 8181803 | 4544962 | 2539 3963 | 172 | 365 997.56/997.88 c 980s | 24 | 8198987 | 4554662 | 2539 3970 | 172 | 365 999.55/999.88 c 982s | 24 | 8215189 | 4564062 | 2539 3977 | 172 | 365 1001.55/1001.89 c 984s | 24 | 8233080 | 4573162 | 2539 3984 | 172 | 365 1003.55/1003.89 c 986s | 24 | 8250505 | 4582662 | 2539 3991 | 172 | 365 1005.56/1005.89 c 988s | 24 | 8267318 | 4592062 | 2539 3998 | 172 | 365 1007.65/1007.91 c 990s | 24 | 8284022 | 4601262 | 2539 4004 | 172 | 365 1009.66/1009.93 c 992s | 24 | 8301218 | 4610862 | 2539 4011 | 172 | 365 1011.65/1011.95 c 994s | 24 | 8318864 | 4620762 | 2539 4018 | 172 | 365 1013.65/1013.95 c 996s | 24 | 8334970 | 4630062 | 2539 4025 | 172 | 365 1015.65/1015.96 c 998s | 24 | 8351105 | 4639362 | 2539 4032 | 172 | 365 1017.65/1017.97 c 1000s | 24 | 8368782 | 4648662 | 2539 4039 | 172 | 365 1019.65/1019.98 c 1002s | 24 | 8386226 | 4658062 | 2539 4046 | 172 | 365 1021.66/1022.00 c 1004s | 24 | 8403797 | 4667662 | 2539 4053 | 172 | 365 1023.75/1024.03 c 1007s | 24 | 8420427 | 4677162 | 2539 4060 | 172 | 365 1025.75/1026.03 c 1009s | 24 | 8437732 | 4686662 | 2539 4066 | 172 | 365 1027.74/1028.05 c 1011s | 24 | 8453534 | 4695662 | 2539 4073 | 172 | 365 1029.74/1030.07 c 1013s | 24 | 8469179 | 4704862 | 2539 4080 | 172 | 365 1031.74/1032.08 c 1015s | 24 | 8486305 | 4714462 | 2539 4087 | 172 | 365 1033.75/1034.09 c 1017s | 24 | 8501813 | 4723562 | 2539 4093 | 172 | 365 1035.84/1036.11 c 1019s | 24 | 8517373 | 4732862 | 2539 4100 | 172 | 365 1037.84/1038.11 c 1021s | 24 | 8535149 | 4742462 | 2539 4107 | 172 | 365 1039.83/1040.13 c 1023s | 24 | 8552269 | 4751762 | 2539 4114 | 172 | 365 1041.83/1042.13 c 1025s | 24 | 8568823 | 4761062 | 2539 4121 | 172 | 365 1043.84/1044.14 c 1027s | 24 | 8586957 | 4770562 | 2539 4127 | 172 | 365 1045.85/1046.15 c 1029s | 24 | 8603213 | 4779662 | 2539 4134 | 172 | 365 1047.83/1048.17 c 1031s | 24 | 8618925 | 4788762 | 2539 4141 | 172 | 365 1049.83/1050.17 c 1033s | 24 | 8635736 | 4798162 | 2539 4148 | 172 | 365 1051.83/1052.17 c 1035s | 24 | 8653355 | 4807862 | 2539 4155 | 172 | 365 1053.83/1054.19 c 1037s | 24 | 8670667 | 4817362 | 2539 4162 | 172 | 365 1055.93/1056.21 c 1039s | 24 | 8688178 | 4826562 | 2539 4168 | 172 | 365 1057.94/1058.23 c 1041s | 24 | 8704534 | 4835862 | 2539 4175 | 172 | 365 1059.93/1060.23 c 1043s | 24 | 8720626 | 4845162 | 2539 4182 | 172 | 365 1061.93/1062.24 c 1045s | 24 | 8735862 | 4854162 | 2539 4188 | 172 | 365 1063.93/1064.25 c 1047s | 24 | 8751503 | 4862962 | 2539 4195 | 172 | 365 1065.93/1066.25 c 1049s | 24 | 8767406 | 4871762 | 2539 4201 | 172 | 365 1067.93/1068.27 c 1051s | 24 | 8784153 | 4880762 | 2539 4208 | 172 | 365 1069.92/1070.28 c 1053s | 24 | 8801444 | 4890262 | 2539 4215 | 172 | 365 1071.92/1072.29 c 1055s | 24 | 8818582 | 4900262 | 2539 4222 | 172 | 365 1074.02/1074.30 c 1057s | 24 | 8835747 | 4909962 | 2793 4229 | 172 | 365 1076.02/1076.32 c 1059s | 24 | 8852459 | 4919362 | 2793 4235 | 172 | 365 1078.02/1078.33 c 1061s | 24 | 8868818 | 4928362 | 2793 4241 | 172 | 365 1080.03/1080.34 c 1063s | 24 | 8885824 | 4937962 | 2793 4247 | 172 | 365 1082.02/1082.35 c 1065s | 24 | 8901989 | 4947462 | 2793 4254 | 172 | 365 1084.02/1084.35 c 1067s | 24 | 8918055 | 4956862 | 2793 4260 | 172 | 365 1086.01/1086.37 c 1069s | 24 | 8934519 | 4966762 | 2793 4267 | 172 | 365 1088.01/1088.37 c 1071s | 24 | 8951326 | 4975862 | 2793 4273 | 172 | 365 1090.01/1090.38 c 1073s | 24 | 8966789 | 4984562 | 2793 4278 | 172 | 365 1092.02/1092.39 c 1075s | 24 | 8982784 | 4993562 | 2793 4284 | 172 | 365 1094.00/1094.39 c 1077s | 24 | 8999557 | 5002862 | 2793 4291 | 172 | 365 1096.10/1096.40 c 1079s | 24 | 9016587 | 5012062 | 2793 4297 | 172 | 365 1098.10/1098.41 c 1081s | 24 | 9032614 | 5021062 | 2793 4303 | 172 | 365 1100.10/1100.42 c 1083s | 24 | 9048148 | 5029962 | 2793 4309 | 172 | 365 1102.10/1102.43 c 1085s | 24 | 9064481 | 5039162 | 2793 4315 | 172 | 365 1104.12/1104.43 c 1087s | 24 | 9080706 | 5048162 | 2793 4321 | 172 | 365 1106.11/1106.45 c 1089s | 24 | 9096299 | 5057262 | 2793 4327 | 172 | 365 1107.90/1108.25 c 1091s | 25 | 9109236 | 5065098 | 2793 4332 | 172 | 365 1109.90/1110.26 c 1093s | 25 | 9125129 | 5074198 | 2793 4338 | 172 | 365 1111.91/1112.27 c 1095s | 25 | 9141977 | 5083498 | 2793 4344 | 172 | 365 1113.90/1114.28 c 1097s | 25 | 9159299 | 5092998 | 2793 4351 | 172 | 365 1115.90/1116.29 c 1099s | 25 | 9175123 | 5102298 | 2793 4357 | 172 | 365 1117.99/1118.30 c 1101s | 25 | 9192041 | 5111698 | 2793 4363 | 172 | 365 1119.99/1120.32 c 1103s | 25 | 9208662 | 5121398 | 2793 4370 | 172 | 365 1121.99/1122.32 c 1105s | 25 | 9225650 | 5130198 | 2793 4376 | 172 | 365 1124.00/1124.32 c 1107s | 25 | 9241367 | 5138798 | 2793 4381 | 172 | 365 1125.99/1126.33 c 1109s | 25 | 9258769 | 5147698 | 2793 4387 | 172 | 365 1127.99/1128.33 c 1111s | 25 | 9272940 | 5156198 | 2793 4393 | 172 | 365 1129.99/1130.35 c 1113s | 25 | 9287815 | 5164898 | 2793 4399 | 172 | 365 1132.09/1132.42 c 1115s | 25 | 9302800 | 5173698 | 2793 4405 | 172 | 365 1134.09/1134.42 c 1117s | 25 | 9319686 | 5182998 | 2793 4411 | 172 | 365 1136.10/1136.43 c 1119s | 25 | 9336243 | 5192098 | 2793 4417 | 172 | 365 1138.08/1138.45 c 1121s | 25 | 9352574 | 5201598 | 2793 4423 | 172 | 365 1140.08/1140.45 c 1123s | 25 | 9368719 | 5210698 | 2793 4429 | 172 | 365 1142.08/1142.46 c 1125s | 25 | 9385111 | 5219598 | 2793 4435 | 172 | 365 1144.08/1144.47 c 1127s | 25 | 9401512 | 5228898 | 2793 4441 | 172 | 365 1146.08/1146.47 c 1129s | 25 | 9417403 | 5237698 | 2793 4447 | 172 | 365 1148.09/1148.48 c 1131s | 25 | 9433358 | 5246798 | 2793 4453 | 172 | 365 1150.08/1150.49 c 1133s | 25 | 9451300 | 5256498 | 2793 4460 | 172 | 365 1152.18/1152.50 c 1135s | 25 | 9467803 | 5266498 | 2793 4466 | 172 | 365 1154.18/1154.51 c 1137s | 25 | 9485100 | 5275898 | 2793 4473 | 172 | 365 1156.18/1156.52 c 1139s | 25 | 9502268 | 5285398 | 2793 4479 | 172 | 365 1158.17/1158.53 c 1141s | 25 | 9517927 | 5294298 | 2793 4485 | 172 | 365 1160.18/1160.55 c 1143s | 25 | 9534592 | 5303498 | 2793 4491 | 172 | 365 1162.18/1162.56 c 1145s | 25 | 9551573 | 5312698 | 2793 4497 | 172 | 365 1164.18/1164.58 c 1147s | 25 | 9568311 | 5321598 | 2793 4503 | 172 | 365 1166.17/1166.59 c 1149s | 25 | 9584378 | 5330798 | 2793 4509 | 172 | 365 1168.27/1168.60 c 1151s | 25 | 9599382 | 5339798 | 2793 4515 | 172 | 365 1170.27/1170.61 c 1153s | 25 | 9614671 | 5348498 | 2793 4521 | 172 | 365 1172.28/1172.62 c 1155s | 25 | 9631674 | 5357298 | 2793 4527 | 172 | 365 1174.27/1174.62 c 1157s | 25 | 9648378 | 5366298 | 2793 4533 | 172 | 365 1176.27/1176.64 c 1159s | 25 | 9665447 | 5375898 | 2793 4539 | 172 | 365 1178.26/1178.65 c 1161s | 25 | 9682330 | 5385398 | 2793 4545 | 172 | 365 1180.26/1180.65 c 1163s | 25 | 9698303 | 5394898 | 2793 4552 | 172 | 365 1182.27/1182.65 c 1165s | 25 | 9713517 | 5403898 | 2793 4558 | 172 | 365 1184.26/1184.66 c 1167s | 25 | 9729223 | 5413398 | 2793 4564 | 172 | 365 1186.26/1186.67 c 1169s | 25 | 9745431 | 5422998 | 2793 4571 | 172 | 365 1188.26/1188.67 c 1171s | 25 | 9761482 | 5432698 | 2793 4577 | 172 | 365 1190.26/1190.68 c 1173s | 25 | 9778090 | 5441898 | 2793 4583 | 172 | 365 1192.26/1192.69 c 1175s | 25 | 9793798 | 5450698 | 2793 4589 | 172 | 365 1194.27/1194.70 c 1177s | 25 | 9809961 | 5459498 | 2793 4595 | 172 | 365 1196.35/1196.72 c 1179s | 25 | 9827021 | 5469598 | 2793 4602 | 172 | 365 1198.35/1198.73 c 1181s | 25 | 9844989 | 5478598 | 2793 4608 | 172 | 365 1200.35/1200.74 c 1183s | 25 | 9863772 | 5487698 | 2793 4614 | 172 | 365 1202.35/1202.76 c 1185s | 25 | 9879715 | 5496898 | 2793 4620 | 172 | 365 1204.35/1204.76 c 1187s | 25 | 9898301 | 5506598 | 2793 4626 | 172 | 365 1206.36/1206.78 c 1189s | 25 | 9915698 | 5516198 | 2793 4633 | 172 | 365 1208.34/1208.79 c 1191s | 25 | 9932892 | 5525498 | 2793 4639 | 172 | 365 1210.34/1210.79 c 1193s | 25 | 9948585 | 5534598 | 2793 4645 | 172 | 365 1212.44/1212.82 c 1195s | 25 | 9964025 | 5543798 | 2793 4651 | 172 | 365 1214.44/1214.83 c 1197s | 25 | 9979850 | 5552998 | 2793 4657 | 172 | 365 1216.44/1216.83 c 1199s | 25 | 9996489 | 5561898 | 2793 4663 | 172 | 365 1218.45/1218.85 c 1201s | 25 | 10012260 | 5571298 | 2793 4669 | 172 | 365 1220.44/1220.86 c 1203s | 25 | 10030006 | 5580498 | 2793 4676 | 172 | 365 1222.45/1222.88 c 1205s | 25 | 10047510 | 5589398 | 2793 4681 | 172 | 365 1224.45/1224.88 c 1207s | 25 | 10064319 | 5598298 | 2793 4687 | 172 | 365 1226.44/1226.89 c 1209s | 25 | 10080240 | 5607098 | 2793 4693 | 172 | 365 1228.45/1228.89 c 1211s | 25 | 10096948 | 5615798 | 2793 4699 | 172 | 365 1230.44/1230.90 c 1213s | 25 | 10112928 | 5624698 | 2793 4705 | 172 | 365 1232.54/1232.91 c 1215s | 25 | 10128692 | 5633898 | 2793 4711 | 172 | 365 1234.54/1234.91 c 1217s | 25 | 10146280 | 5642898 | 2793 4717 | 172 | 365 1236.54/1236.92 c 1219s | 25 | 10163852 | 5651798 | 2793 4723 | 172 | 365 1238.54/1238.93 c 1221s | 25 | 10181378 | 5660598 | 2793 4729 | 172 | 365 1240.55/1240.95 c 1223s | 25 | 10198777 | 5669698 | 2793 4735 | 172 | 365 1242.53/1242.96 c 1225s | 25 | 10216134 | 5678498 | 2793 4741 | 172 | 365 1244.53/1244.97 c 1227s | 25 | 10232011 | 5687498 | 2793 4747 | 172 | 365 1246.53/1246.98 c 1229s | 25 | 10248462 | 5696498 | 2793 4753 | 172 | 365 1248.63/1249.00 c 1231s | 25 | 10264277 | 5705898 | 2793 4759 | 172 | 365 1250.63/1251.01 c 1234s | 25 | 10280356 | 5714698 | 2793 4765 | 172 | 365 1252.64/1253.02 c 1236s | 25 | 10295322 | 5722998 | 2793 4771 | 172 | 365 1254.63/1255.05 c 1238s | 25 | 10311533 | 5731998 | 2793 4777 | 172 | 365 1256.62/1257.06 c 1240s | 25 | 10328135 | 5740898 | 2793 4783 | 172 | 365 1258.62/1259.08 c 1242s | 25 | 10346097 | 5750198 | 2793 4789 | 172 | 365 1260.62/1261.09 c 1244s | 25 | 10362015 | 5759198 | 2793 4795 | 172 | 365 1262.72/1263.11 c 1246s | 25 | 10378052 | 5768398 | 2793 4801 | 172 | 365 1264.73/1265.13 c 1248s | 25 | 10394839 | 5777698 | 2793 4807 | 172 | 365 1266.72/1267.13 c 1250s | 25 | 10410997 | 5786598 | 2793 4813 | 172 | 365 1268.72/1269.15 c 1252s | 25 | 10427354 | 5795498 | 2793 4819 | 172 | 365 1270.72/1271.17 c 1254s | 25 | 10445817 | 5804598 | 2793 4825 | 172 | 365 1272.72/1273.18 c 1256s | 25 | 10461802 | 5813198 | 2793 4831 | 172 | 365 1274.72/1275.19 c 1258s | 25 | 10478365 | 5821998 | 2793 4837 | 172 | 365 1276.72/1277.20 c 1260s | 25 | 10492616 | 5830598 | 2793 4842 | 172 | 365 1278.81/1279.22 c 1262s | 25 | 10508445 | 5839498 | 2793 4848 | 172 | 365 1280.81/1281.23 c 1264s | 25 | 10523933 | 5847998 | 2793 4854 | 172 | 365 1282.81/1283.24 c 1266s | 25 | 10540807 | 5856498 | 2793 4860 | 172 | 365 1284.91/1285.32 c 1268s | 25 | 10555613 | 5865198 | 2793 4866 | 172 | 365 1286.90/1287.33 c 1270s | 25 | 10571787 | 5873898 | 2793 4871 | 172 | 365 1288.92/1289.34 c 1272s | 25 | 10587436 | 5882398 | 2793 4877 | 172 | 365 1290.90/1291.34 c 1274s | 25 | 10602044 | 5891198 | 2793 4883 | 172 | 365 1292.90/1293.36 c 1276s | 25 | 10616518 | 5900098 | 2793 4889 | 172 | 365 1294.90/1295.36 c 1278s | 25 | 10630966 | 5908898 | 2793 4895 | 172 | 365 1296.90/1297.38 c 1280s | 25 | 10647564 | 5917798 | 2793 4901 | 172 | 365 1299.00/1299.40 c 1282s | 25 | 10663966 | 5926698 | 2793 4907 | 172 | 365 1301.01/1301.41 c 1284s | 25 | 10680633 | 5935298 | 2793 4912 | 172 | 365 1303.00/1303.43 c 1286s | 25 | 10696450 | 5944298 | 2793 4918 | 172 | 365 1305.01/1305.43 c 1288s | 25 | 10712731 | 5953298 | 2793 4924 | 172 | 365 1307.00/1307.43 c 1290s | 25 | 10728751 | 5962098 | 2793 4930 | 172 | 365 1309.00/1309.44 c 1292s | 25 | 10744659 | 5970798 | 2793 4936 | 172 | 365 1311.00/1311.45 c 1294s | 25 | 10760763 | 5979798 | 2793 4942 | 172 | 365 1313.01/1313.46 c 1296s | 25 | 10776505 | 5988498 | 2793 4948 | 172 | 365 1315.00/1315.49 c 1298s | 25 | 10793803 | 5997398 | 2793 4954 | 172 | 365 1316.99/1317.49 c 1300s | 25 | 10809727 | 6006298 | 2793 4960 | 172 | 365 1318.99/1319.49 c 1302s | 25 | 10827071 | 6014798 | 2793 4965 | 172 | 365 1321.09/1321.50 c 1304s | 25 | 10843408 | 6023398 | 2793 4971 | 172 | 365 1323.09/1323.51 c 1306s | 25 | 10858669 | 6032498 | 2793 4977 | 172 | 365 1325.10/1325.53 c 1308s | 25 | 10874002 | 6041398 | 2793 4983 | 172 | 365 1327.09/1327.54 c 1310s | 25 | 10888880 | 6050098 | 2793 4989 | 172 | 365 1329.08/1329.54 c 1312s | 25 | 10904196 | 6058598 | 2793 4995 | 172 | 365 1331.08/1331.56 c 1314s | 25 | 10918955 | 6067198 | 2793 5000 | 172 | 365 1333.08/1333.56 c 1316s | 25 | 10935769 | 6075898 | 2793 5006 | 172 | 365 1335.09/1335.57 c 1318s | 25 | 10950896 | 6084498 | 2793 5012 | 172 | 365 1337.08/1337.60 c 1320s | 25 | 10964861 | 6092898 | 2793 5017 | 172 | 365 1339.18/1339.60 c 1322s | 25 | 10980784 | 6101798 | 2793 5023 | 172 | 365 1341.18/1341.61 c 1324s | 25 | 10997410 | 6110898 | 2793 5029 | 172 | 365 1343.18/1343.64 c 1326s | 25 | 11012269 | 6119098 | 2793 5035 | 172 | 365 1345.18/1345.66 c 1328s | 25 | 11028824 | 6127598 | 2793 5041 | 172 | 365 1347.19/1347.66 c 1330s | 25 | 11043558 | 6136198 | 2793 5046 | 172 | 365 1349.17/1349.66 c 1332s | 25 | 11058610 | 6145198 | 2793 5052 | 172 | 365 1351.17/1351.68 c 1334s | 25 | 11075345 | 6154898 | 2793 5059 | 172 | 365 1353.27/1353.70 c 1336s | 25 | 11090863 | 6164198 | 2793 5065 | 172 | 365 1355.27/1355.71 c 1338s | 25 | 11107677 | 6173598 | 2793 5071 | 172 | 365 1357.27/1357.72 c 1340s | 25 | 11125016 | 6182498 | 2793 5077 | 172 | 365 1359.28/1359.74 c 1342s | 25 | 11140390 | 6191598 | 2793 5083 | 172 | 365 1361.27/1361.76 c 1344s | 25 | 11156071 | 6200698 | 2793 5089 | 172 | 365 1363.27/1363.77 c 1346s | 25 | 11173244 | 6210598 | 2793 5096 | 172 | 365 1365.37/1365.81 c 1348s | 25 | 11190217 | 6219998 | 2793 5102 | 172 | 365 1367.37/1367.83 c 1350s | 25 | 11206438 | 6229498 | 2793 5109 | 172 | 365 1369.37/1369.83 c 1352s | 25 | 11221757 | 6238798 | 2793 5115 | 172 | 365 1371.39/1371.86 c 1354s | 25 | 11235487 | 6247298 | 2793 5121 | 172 | 365 1373.37/1373.86 c 1356s | 25 | 11251325 | 6256098 | 2793 5126 | 172 | 365 1375.37/1375.88 c 1358s | 25 | 11266680 | 6264898 | 2793 5132 | 172 | 365 1377.37/1377.89 c 1360s | 25 | 11281419 | 6273498 | 2793 5138 | 172 | 365 1379.47/1379.90 c 1362s | 25 | 11296545 | 6281998 | 2793 5144 | 172 | 365 1381.47/1381.91 c 1364s | 25 | 11313176 | 6291398 | 2793 5150 | 172 | 365 1383.48/1383.94 c 1366s | 25 | 11329821 | 6301098 | 2793 5156 | 172 | 365 1385.47/1385.95 c 1368s | 25 | 11346447 | 6310198 | 2793 5163 | 172 | 365 1387.47/1387.97 c 1370s | 25 | 11361440 | 6318798 | 2793 5168 | 172 | 365 1389.46/1389.99 c 1372s | 25 | 11377769 | 6327998 | 2793 5174 | 172 | 365 1391.56/1392.00 c 1374s | 25 | 11394235 | 6336998 | 2793 5180 | 172 | 365 1393.56/1394.01 c 1377s | 25 | 11408869 | 6345998 | 2793 5186 | 172 | 365 1395.57/1396.02 c 1379s | 25 | 11424003 | 6355198 | 2793 5193 | 172 | 365 1397.56/1398.04 c 1381s | 25 | 11438694 | 6364098 | 2793 5199 | 172 | 365 1399.56/1400.04 c 1383s | 25 | 11453658 | 6372998 | 2793 5205 | 172 | 365 1401.56/1402.05 c 1385s | 25 | 11468671 | 6381798 | 2793 5210 | 172 | 365 1403.56/1404.07 c 1387s | 25 | 11484768 | 6390698 | 2793 5216 | 172 | 365 1405.56/1406.09 c 1389s | 25 | 11499980 | 6399698 | 2793 5222 | 172 | 365 1407.67/1408.12 c 1391s | 25 | 11515394 | 6408898 | 2793 5229 | 172 | 365 1409.66/1410.12 c 1393s | 25 | 11531901 | 6418498 | 2793 5235 | 172 | 365 1411.66/1412.14 c 1395s | 25 | 11547696 | 6427498 | 2793 5241 | 172 | 365 1413.66/1414.16 c 1397s | 25 | 11564022 | 6436498 | 2793 5247 | 172 | 365 1415.66/1416.18 c 1399s | 25 | 11579362 | 6445698 | 2793 5253 | 172 | 365 1417.66/1418.19 c 1401s | 25 | 11593842 | 6454098 | 2793 5259 | 172 | 365 1419.67/1420.20 c 1403s | 25 | 11610729 | 6463798 | 2793 5265 | 172 | 365 1421.76/1422.22 c 1405s | 25 | 11626177 | 6472798 | 2793 5271 | 172 | 365 1423.76/1424.24 c 1407s | 25 | 11641579 | 6481898 | 2793 5277 | 172 | 365 1425.76/1426.26 c 1409s | 25 | 11657679 | 6491298 | 2793 5284 | 172 | 365 1427.76/1428.27 c 1411s | 25 | 11673475 | 6500598 | 2793 5290 | 172 | 365 1429.76/1430.28 c 1413s | 25 | 11688399 | 6509198 | 2793 5296 | 172 | 365 1431.77/1432.29 c 1415s | 25 | 11703214 | 6517698 | 2793 5301 | 172 | 365 1433.85/1434.30 c 1417s | 25 | 11719649 | 6526998 | 2793 5307 | 172 | 365 1435.85/1436.31 c 1419s | 25 | 11735687 | 6536398 | 2793 5314 | 172 | 365 1437.85/1438.32 c 1421s | 25 | 11751794 | 6545598 | 2793 5320 | 172 | 365 1439.85/1440.32 c 1423s | 25 | 11768115 | 6555498 | 2793 5326 | 172 | 365 1441.85/1442.32 c 1425s | 25 | 11785059 | 6564698 | 2793 5333 | 172 | 365 1443.86/1444.34 c 1427s | 25 | 11801085 | 6574198 | 2793 5339 | 172 | 365 1445.85/1446.35 c 1429s | 25 | 11816009 | 6583298 | 2793 5345 | 172 | 365 1447.85/1448.37 c 1431s | 25 | 11831777 | 6592798 | 2793 5351 | 172 | 365 1449.85/1450.38 c 1433s | 25 | 11847647 | 6601898 | 2793 5357 | 172 | 365 1451.95/1452.40 c 1435s | 25 | 11864045 | 6610598 | 2793 5363 | 172 | 365 1453.95/1454.41 c 1437s | 25 | 11879148 | 6619298 | 2793 5369 | 172 | 365 1455.96/1456.41 c 1439s | 25 | 11895301 | 6628398 | 2793 5375 | 172 | 365 1457.95/1458.42 c 1441s | 25 | 11911686 | 6637598 | 2793 5381 | 172 | 365 1459.95/1460.44 c 1443s | 25 | 11928107 | 6646298 | 2793 5387 | 172 | 365 1461.95/1462.45 c 1445s | 25 | 11944161 | 6654998 | 2793 5393 | 172 | 365 1463.95/1464.47 c 1447s | 25 | 11959617 | 6663998 | 2793 5399 | 172 | 365 1466.05/1466.50 c 1449s | 25 | 11975867 | 6673298 | 2793 5405 | 172 | 365 1468.06/1468.52 c 1451s | 25 | 11992691 | 6682398 | 2793 5411 | 172 | 365 1470.05/1470.52 c 1453s | 25 | 12008273 | 6691598 | 2793 5417 | 172 | 365 1472.05/1472.53 c 1455s | 25 | 12023652 | 6700798 | 2793 5423 | 172 | 365 1474.05/1474.55 c 1457s | 25 | 12039727 | 6709998 | 2793 5430 | 172 | 365 1476.05/1476.57 c 1459s | 25 | 12055946 | 6719098 | 2793 5436 | 172 | 365 1478.06/1478.57 c 1461s | 25 | 12071486 | 6727998 | 2793 5442 | 172 | 365 1480.05/1480.58 c 1463s | 25 | 12087119 | 6736698 | 2793 5447 | 172 | 365 1482.04/1482.59 c 1465s | 25 | 12103069 | 6745298 | 2793 5453 | 172 | 365 1484.15/1484.61 c 1467s | 25 | 12120131 | 6754298 | 2793 5459 | 172 | 365 1486.14/1486.63 c 1469s | 25 | 12136508 | 6763698 | 2793 5465 | 172 | 365 1488.14/1488.63 c 1471s | 25 | 12152459 | 6772498 | 2793 5471 | 172 | 365 1490.15/1490.66 c 1473s | 25 | 12168436 | 6781498 | 2793 5477 | 172 | 365 1492.14/1492.68 c 1475s | 25 | 12184176 | 6790498 | 2793 5483 | 172 | 365 1494.14/1494.69 c 1477s | 25 | 12200451 | 6799098 | 2793 5489 | 172 | 365 1496.24/1496.71 c 1479s | 25 | 12216081 | 6807998 | 2793 5495 | 172 | 365 1498.25/1498.72 c 1481s | 25 | 12230889 | 6816498 | 2793 5500 | 172 | 365 1500.25/1500.74 c 1483s | 25 | 12247388 | 6826098 | 2793 5507 | 172 | 365 1502.26/1502.76 c 1485s | 25 | 12262191 | 6834898 | 2793 5513 | 172 | 365 1504.25/1504.76 c 1487s | 25 | 12276163 | 6843698 | 2793 5519 | 172 | 365 1506.25/1506.77 c 1489s | 25 | 12293205 | 6852498 | 2793 5524 | 172 | 365 1508.25/1508.79 c 1491s | 25 | 12308350 | 6861198 | 2793 5530 | 172 | 365 1510.35/1510.81 c 1493s | 25 | 12324163 | 6869598 | 2793 5536 | 172 | 365 1512.35/1512.82 c 1495s | 25 | 12340540 | 6878398 | 2793 5542 | 172 | 365 1514.35/1514.84 c 1497s | 25 | 12355369 | 6887398 | 2793 5548 | 172 | 365 1516.34/1516.85 c 1499s | 25 | 12372092 | 6896298 | 2793 5554 | 172 | 365 1518.34/1518.88 c 1501s | 25 | 12388904 | 6905298 | 2793 5560 | 172 | 365 1520.34/1520.89 c 1503s | 25 | 12406149 | 6914298 | 2793 5566 | 172 | 365 1522.44/1522.90 c 1505s | 25 | 12422703 | 6923098 | 2793 5571 | 172 | 365 1524.44/1524.93 c 1507s | 25 | 12439743 | 6931998 | 2793 5577 | 172 | 365 1526.45/1526.93 c 1509s | 25 | 12457431 | 6940498 | 2793 5583 | 172 | 365 1528.44/1528.93 c 1511s | 25 | 12474236 | 6949198 | 2793 5589 | 172 | 365 1530.44/1530.95 c 1513s | 25 | 12490803 | 6958398 | 2793 5595 | 172 | 365 1532.44/1532.96 c 1515s | 25 | 12507506 | 6967298 | 2793 5601 | 172 | 365 1534.44/1534.97 c 1517s | 25 | 12525081 | 6976398 | 2793 5607 | 172 | 365 1536.44/1536.98 c 1519s | 25 | 12541746 | 6985598 | 2793 5613 | 172 | 365 1538.45/1538.98 c 1521s | 25 | 12558711 | 6995098 | 2793 5619 | 172 | 365 1540.44/1540.98 c 1523s | 25 | 12575202 | 7004498 | 2793 5626 | 172 | 365 1542.54/1543.00 c 1525s | 25 | 12592765 | 7013798 | 2793 5632 | 172 | 365 1544.54/1545.03 c 1528s | 25 | 12610070 | 7022998 | 2793 5638 | 172 | 365 1546.53/1547.03 c 1530s | 25 | 12626392 | 7032198 | 2793 5644 | 172 | 365 1548.53/1549.04 c 1532s | 25 | 12642223 | 7040998 | 2793 5650 | 172 | 365 1550.55/1551.05 c 1534s | 25 | 12657997 | 7049598 | 2793 5656 | 172 | 365 1552.54/1553.06 c 1536s | 25 | 12673643 | 7058498 | 2793 5662 | 172 | 365 1554.54/1555.09 c 1538s | 25 | 12689819 | 7067298 | 2793 5668 | 172 | 365 1556.64/1557.10 c 1540s | 25 | 12705739 | 7075698 | 2793 5673 | 172 | 365 1558.64/1559.11 c 1542s | 25 | 12721634 | 7084598 | 2793 5679 | 172 | 365 1560.64/1561.12 c 1544s | 25 | 12738082 | 7093198 | 2793 5685 | 172 | 365 1562.65/1563.14 c 1546s | 25 | 12754703 | 7102098 | 2793 5691 | 172 | 365 1564.64/1565.15 c 1548s | 25 | 12770154 | 7110798 | 2793 5697 | 172 | 365 1566.64/1567.16 c 1550s | 25 | 12786373 | 7119598 | 2793 5702 | 172 | 365 1568.64/1569.17 c 1552s | 25 | 12803672 | 7128698 | 2793 5709 | 172 | 365 1570.64/1571.18 c 1554s | 25 | 12820593 | 7137798 | 2793 5715 | 172 | 365 1572.65/1573.18 c 1556s | 25 | 12837095 | 7146798 | 2793 5721 | 172 | 365 1574.64/1575.20 c 1558s | 25 | 12854218 | 7156398 | 2793 5727 | 172 | 365 1576.74/1577.21 c 1560s | 25 | 12871291 | 7165698 | 2793 5733 | 172 | 365 1578.74/1579.22 c 1562s | 25 | 12887048 | 7174398 | 2793 5739 | 172 | 365 1580.73/1581.24 c 1564s | 25 | 12903162 | 7183498 | 2793 5745 | 172 | 365 1582.73/1583.26 c 1566s | 25 | 12919500 | 7192598 | 2793 5751 | 172 | 365 1584.74/1585.27 c 1568s | 25 | 12934916 | 7201198 | 2793 5757 | 172 | 365 1586.73/1587.27 c 1570s | 25 | 12950764 | 7209698 | 2793 5762 | 172 | 365 1588.73/1589.27 c 1572s | 25 | 12965438 | 7217998 | 2793 5768 | 172 | 365 1590.73/1591.28 c 1574s | 25 | 12981107 | 7226998 | 2793 5774 | 172 | 365 1592.73/1593.28 c 1576s | 25 | 12997185 | 7235698 | 2793 5780 | 172 | 365 1594.73/1595.29 c 1578s | 25 | 13014236 | 7244498 | 2793 5786 | 172 | 365 1596.74/1597.29 c 1580s | 25 | 13030409 | 7253598 | 2793 5792 | 172 | 365 1598.83/1599.30 c 1582s | 25 | 13046937 | 7262398 | 2793 5798 | 172 | 365 1600.83/1601.31 c 1584s | 25 | 13062987 | 7271398 | 2793 5804 | 172 | 365 1602.83/1603.32 c 1586s | 25 | 13079310 | 7280198 | 2793 5809 | 172 | 365 1604.83/1605.32 c 1588s | 25 | 13095075 | 7288998 | 2793 5815 | 172 | 365 1606.83/1607.33 c 1590s | 25 | 13110986 | 7297598 | 2793 5821 | 172 | 365 1608.84/1609.35 c 1592s | 25 | 13127033 | 7306198 | 2793 5827 | 172 | 365 1610.83/1611.35 c 1594s | 25 | 13143525 | 7314898 | 2793 5833 | 172 | 365 1612.83/1613.36 c 1596s | 25 | 13159177 | 7323498 | 2793 5838 | 172 | 365 1614.83/1615.37 c 1598s | 25 | 13175097 | 7332498 | 2793 5844 | 172 | 365 1616.83/1617.37 c 1600s | 25 | 13190869 | 7341598 | 2793 5850 | 172 | 365 1618.84/1619.38 c 1602s | 25 | 13206732 | 7350498 | 2793 5856 | 172 | 365 1620.83/1621.38 c 1604s | 25 | 13222131 | 7359198 | 2793 5862 | 172 | 365 1622.83/1623.39 c 1606s | 25 | 13237443 | 7368198 | 2793 5868 | 172 | 365 1624.93/1625.40 c 1608s | 25 | 13252158 | 7376898 | 2793 5874 | 172 | 365 1626.93/1627.40 c 1610s | 25 | 13267582 | 7385598 | 2793 5880 | 172 | 365 1628.93/1629.46 c 1612s | 25 | 13282434 | 7394298 | 2793 5886 | 172 | 365 1630.94/1631.46 c 1614s | 25 | 13299171 | 7402898 | 2793 5891 | 172 | 365 1632.92/1633.48 c 1616s | 25 | 13317291 | 7411998 | 2793 5897 | 172 | 365 1635.02/1635.50 c 1618s | 25 | 13333145 | 7421398 | 2793 5904 | 172 | 365 1637.02/1637.51 c 1620s | 25 | 13349443 | 7430598 | 3073 5909 | 172 | 365 1639.02/1639.53 c 1622s | 25 | 13364953 | 7439398 | 3073 5914 | 172 | 365 1641.02/1641.54 c 1624s | 25 | 13378954 | 7447898 | 3073 5920 | 172 | 365 1643.03/1643.55 c 1626s | 25 | 13393714 | 7456498 | 3073 5925 | 172 | 365 1645.02/1645.57 c 1628s | 25 | 13408495 | 7464798 | 3073 5930 | 172 | 365 1647.02/1647.58 c 1630s | 25 | 13423560 | 7473198 | 3073 5935 | 172 | 365 1649.02/1649.59 c 1632s | 25 | 13438089 | 7481698 | 3073 5940 | 172 | 365 1651.12/1651.61 c 1634s | 25 | 13451787 | 7490398 | 3073 5946 | 172 | 365 1653.12/1653.64 c 1636s | 25 | 13466977 | 7498798 | 3073 5951 | 172 | 365 1655.13/1655.64 c 1638s | 25 | 13483006 | 7507298 | 3073 5956 | 172 | 365 1657.12/1657.65 c 1640s | 25 | 13497909 | 7516098 | 3073 5961 | 172 | 365 1659.12/1659.68 c 1642s | 25 | 13513279 | 7524798 | 3073 5967 | 172 | 365 1661.12/1661.69 c 1644s | 25 | 13529514 | 7534198 | 3073 5972 | 172 | 365 1663.12/1663.69 c 1646s | 25 | 13545550 | 7543598 | 3073 5978 | 172 | 365 1665.22/1665.70 c 1648s | 25 | 13560952 | 7552498 | 3073 5983 | 172 | 365 1667.23/1667.72 c 1650s | 25 | 13575946 | 7561398 | 3073 5989 | 172 | 365 1669.23/1669.73 c 1652s | 25 | 13592232 | 7570298 | 3073 5994 | 172 | 365 1671.23/1671.73 c 1654s | 25 | 13608704 | 7579298 | 3073 6000 | 172 | 365 1673.23/1673.74 c 1656s | 25 | 13625490 | 7588198 | 3073 6005 | 172 | 365 1675.22/1675.75 c 1658s | 25 | 13641755 | 7596698 | 3073 6010 | 172 | 365 1675.42/1675.97 c 1658s | 26 | 13643527 | 7597752 | 3073 6011 | 172 | 365 1677.43/1677.98 c 1660s | 26 | 13659345 | 7606452 | 3073 6016 | 172 | 365 1679.52/1680.00 c 1662s | 26 | 13675333 | 7614952 | 3073 6021 | 172 | 365 1681.53/1682.01 c 1665s | 26 | 13692122 | 7624352 | 3073 6027 | 172 | 365 1683.52/1684.02 c 1667s | 26 | 13707051 | 7633252 | 3073 6033 | 172 | 365 1685.52/1686.03 c 1669s | 26 | 13722487 | 7642152 | 3073 6038 | 172 | 365 1687.52/1688.04 c 1671s | 26 | 13737295 | 7650952 | 3073 6043 | 172 | 365 1689.52/1690.06 c 1673s | 26 | 13751561 | 7659552 | 3073 6049 | 172 | 365 1691.52/1692.06 c 1675s | 26 | 13766577 | 7668352 | 3073 6054 | 172 | 365 1693.53/1694.07 c 1677s | 26 | 13782337 | 7677252 | 3073 6059 | 172 | 365 1695.52/1696.09 c 1679s | 26 | 13798394 | 7686152 | 3073 6065 | 172 | 365 1697.62/1698.11 c 1681s | 26 | 13814466 | 7695352 | 3073 6070 | 172 | 365 1699.62/1700.15 c 1683s | 26 | 13830259 | 7704352 | 3073 6076 | 172 | 365 1701.62/1702.15 c 1685s | 26 | 13846017 | 7712752 | 3073 6081 | 172 | 365 1703.62/1704.16 c 1687s | 26 | 13862884 | 7721552 | 3073 6086 | 172 | 365 1705.63/1706.17 c 1689s | 26 | 13878014 | 7730152 | 3073 6092 | 172 | 365 1707.61/1708.18 c 1691s | 26 | 13893655 | 7738852 | 3073 6097 | 172 | 365 1709.71/1710.20 c 1693s | 26 | 13910251 | 7747552 | 3073 6102 | 172 | 365 1711.71/1712.22 c 1695s | 26 | 13927806 | 7756152 | 3073 6107 | 172 | 365 1713.71/1714.24 c 1697s | 26 | 13943831 | 7765152 | 3073 6113 | 172 | 365 1715.71/1716.25 c 1699s | 26 | 13960782 | 7774652 | 3073 6119 | 172 | 365 1717.73/1718.26 c 1701s | 26 | 13977550 | 7784152 | 3073 6125 | 172 | 365 1719.72/1720.27 c 1703s | 26 | 13993579 | 7793452 | 3073 6130 | 172 | 365 1721.72/1722.28 c 1705s | 26 | 14009455 | 7802652 | 3073 6136 | 172 | 365 1723.82/1724.30 c 1707s | 26 | 14025540 | 7811852 | 3073 6141 | 172 | 365 1725.82/1726.32 c 1709s | 26 | 14041744 | 7821252 | 3073 6147 | 172 | 365 1727.82/1728.33 c 1711s | 26 | 14057606 | 7830552 | 3073 6153 | 172 | 365 1729.83/1730.34 c 1713s | 26 | 14073732 | 7839452 | 3073 6158 | 172 | 365 1731.81/1732.35 c 1715s | 26 | 14089695 | 7848352 | 3073 6164 | 172 | 365 1733.82/1734.37 c 1717s | 26 | 14105226 | 7857552 | 3073 6169 | 172 | 365 1735.82/1736.38 c 1719s | 26 | 14120230 | 7866452 | 3073 6175 | 172 | 365 1737.81/1738.39 c 1721s | 26 | 14136846 | 7875752 | 3073 6180 | 172 | 365 1739.82/1740.39 c 1723s | 26 | 14153410 | 7884452 | 3073 6186 | 172 | 365 1741.81/1742.40 c 1725s | 26 | 14168142 | 7893152 | 3073 6191 | 172 | 365 1743.91/1744.41 c 1727s | 26 | 14183702 | 7902052 | 3073 6196 | 172 | 365 1745.91/1746.42 c 1729s | 26 | 14200069 | 7911252 | 3073 6202 | 172 | 365 1747.91/1748.44 c 1731s | 26 | 14216309 | 7920752 | 3073 6208 | 172 | 365 1749.91/1750.45 c 1733s | 26 | 14232486 | 7929452 | 3073 6213 | 172 | 365 1751.92/1752.46 c 1735s | 26 | 14247291 | 7938252 | 3073 6218 | 172 | 365 1753.91/1754.47 c 1737s | 26 | 14262522 | 7947352 | 3073 6224 | 172 | 365 1755.91/1756.47 c 1739s | 26 | 14277256 | 7956052 | 3073 6229 | 172 | 365 1757.91/1758.48 c 1741s | 26 | 14292134 | 7964852 | 3073 6235 | 172 | 365 1759.90/1760.49 c 1743s | 26 | 14308209 | 7973552 | 3073 6240 | 172 | 365 1761.90/1762.49 c 1745s | 26 | 14324774 | 7982552 | 3073 6245 | 172 | 365 1763.91/1764.50 c 1747s | 26 | 14340118 | 7991652 | 3073 6251 | 172 | 365 1766.00/1766.50 c 1749s | 26 | 14355559 | 8000352 | 3073 6256 | 172 | 365 1768.00/1768.51 c 1751s | 26 | 14371140 | 8009152 | 3073 6262 | 172 | 365 1770.00/1770.52 c 1753s | 26 | 14386364 | 8017452 | 3073 6267 | 172 | 365 1772.01/1772.54 c 1755s | 26 | 14401929 | 8026352 | 3073 6272 | 172 | 365 1774.01/1774.55 c 1757s | 26 | 14418040 | 8035252 | 3073 6278 | 172 | 365 1776.02/1776.55 c 1759s | 26 | 14433093 | 8043952 | 3073 6283 | 172 | 365 1778.01/1778.56 c 1761s | 26 | 14447805 | 8052852 | 3073 6288 | 172 | 365 1780.01/1780.56 c 1763s | 26 | 14462466 | 8061052 | 3073 6293 | 172 | 365 1782.01/1782.59 c 1765s | 26 | 14478221 | 8069252 | 3073 6298 | 172 | 365 1784.10/1784.60 c 1767s | 26 | 14493302 | 8077952 | 3073 6304 | 172 | 365 1786.10/1786.61 c 1769s | 26 | 14507083 | 8086752 | 3073 6309 | 172 | 365 1788.11/1788.61 c 1771s | 26 | 14521655 | 8095252 | 3073 6314 | 172 | 365 1790.10/1790.62 c 1773s | 26 | 14536028 | 8103852 | 3073 6319 | 172 | 365 1792.10/1792.62 c 1775s | 26 | 14551754 | 8112252 | 3073 6324 | 172 | 365 1794.10/1794.64 c 1777s | 26 | 14567263 | 8121252 | 3073 6330 | 172 | 365 1796.10/1796.65 c 1779s | 26 | 14583547 | 8130152 | 3073 6335 | 172 | 365 1798.12/1798.67 c 1781s | 26 | 14599213 | 8139052 | 3073 6341 | 172 | 365
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-4079547-1465230282/watcher-4079547-1465230282 -o /tmp/evaluation-result-4079547-1465230282/solver-4079547-1465230282 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079547-1465230282.opb pid=30520 running on 8 cores: 0-3,8-11 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.15 2.08 2.01 3/261 30523 /proc/meminfo: memFree=30939444/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=756292 CPUtime=0 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 2827 0 0 0 0 0 0 0 20 0 4 0 104870230 774443008 3188 33554432000 4194304 16246674 140735692676064 140735692675000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 189585 3198 442 2943 0 186479 0 [pid=30523/tid=30524] ppid=30520 vsize=777796 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 796463104 3274 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=782916 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 801705984 3294 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=787012 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 805900288 3310 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 [startup+0.100124 s] /proc/loadavg: 2.15 2.08 2.01 3/261 30523 /proc/meminfo: memFree=30939444/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1218116 CPUtime=0.09 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 23826 0 0 0 6 3 0 0 20 0 4 0 104870230 1247350784 24173 33554432000 4194304 16246674 140735692676064 140735692675000 6958849 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 304529 24184 790 2943 0 301423 0 [pid=30523/tid=30524] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 24194 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 24203 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 24213 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200459 s] /proc/loadavg: 2.15 2.08 2.01 3/261 30523 /proc/meminfo: memFree=30939444/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1218116 CPUtime=0.18 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 42060 0 0 0 13 5 0 0 20 0 4 0 104870230 1247350784 42407 33554432000 4194304 16246674 140735692676064 140735692675000 13954518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 304529 42412 790 2943 0 301423 0 [pid=30523/tid=30524] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 42420 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 42425 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 42431 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300433 s] /proc/loadavg: 2.15 2.08 2.01 3/261 30523 /proc/meminfo: memFree=30939444/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1218116 CPUtime=0.29 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 59716 0 0 0 21 8 0 0 20 0 4 0 104870230 1247350784 60064 33554432000 4194304 16246674 140735692676064 140735692675000 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 304529 60068 790 2943 0 301423 0 [pid=30523/tid=30524] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 60072 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 60075 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 60079 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700386 s] /proc/loadavg: 2.15 2.08 2.01 3/261 30523 /proc/meminfo: memFree=30939444/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1218116 CPUtime=0.68 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 132149 0 0 0 51 17 0 0 20 0 4 0 104870230 1247350784 132496 33554432000 4194304 16246674 140735692676064 140735692659064 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 304529 132502 790 2943 0 301423 0 [pid=30523/tid=30524] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 132506 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 132511 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1247350784 132515 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.15 2.08 2.01 3/265 30527 /proc/meminfo: memFree=30141772/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1220164 CPUtime=1.49 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 246105 0 0 0 115 34 0 0 20 0 4 0 104870230 1249447936 246430 33554432000 4194304 16246674 140735692676064 140735692675376 13954515 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 305041 246430 848 2943 0 301935 0 [pid=30523/tid=30524] ppid=30520 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1249447936 246430 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1249447936 246430 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1249447936 246430 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10037 s] /proc/loadavg: 2.15 2.08 2.01 3/265 30527 /proc/meminfo: memFree=29953548/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1303108 CPUtime=3.09 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 266732 0 0 0 273 36 0 0 20 0 4 0 104870230 1334382592 267057 33554432000 4194304 16246674 140735692676064 140735692657984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 325777 267057 848 2943 0 322671 0 [pid=30523/tid=30524] ppid=30520 vsize=1303108 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1334382592 267057 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1303108 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1334382592 267057 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1303108 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1334382592 267057 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30037 s] /proc/loadavg: 2.22 2.09 2.02 3/265 30527 /proc/meminfo: memFree=29866872/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1307204 CPUtime=6.28 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 267783 0 0 0 592 36 0 0 20 0 4 0 104870230 1338576896 268108 33554432000 4194304 16246674 140735692676064 140735692657984 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 326801 268108 848 2943 0 323695 0 [pid=30523/tid=30524] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268108 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268108 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268108 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.28 2.11 2.02 3/265 30527 /proc/meminfo: memFree=29865904/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1307204 CPUtime=12.68 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 267892 0 0 0 1232 36 0 0 20 0 4 0 104870230 1338576896 268217 33554432000 4194304 16246674 140735692676064 140735692657984 13775084 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 326801 268217 848 2943 0 323695 0 [pid=30523/tid=30524] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268217 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268217 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1307204 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1338576896 268217 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.22 2.10 2.02 3/265 30527 /proc/meminfo: memFree=29865804/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1308228 CPUtime=25.48 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 268041 0 0 0 2512 36 0 0 20 0 4 0 104870230 1339625472 268366 33554432000 4194304 16246674 140735692676064 140735692659064 13950230 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 327057 268366 848 2943 0 323951 0 [pid=30523/tid=30524] ppid=30520 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1339625472 268366 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1339625472 268366 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1339625472 268366 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.14 2.09 2.02 3/265 30527 /proc/meminfo: memFree=29864056/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1309252 CPUtime=51.08 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 268224 0 0 0 5071 37 0 0 20 0 4 0 104870230 1340674048 268549 33554432000 4194304 16246674 140735692676064 140735692657984 6023195 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 327313 268549 850 2943 0 324207 0 [pid=30523/tid=30524] ppid=30520 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1340674048 268549 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1340674048 268549 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1309252 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1340674048 268549 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.301 s] /proc/loadavg: 2.06 2.07 2.01 3/265 30529 /proc/meminfo: memFree=29858516/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1312324 CPUtime=102.28 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 269174 0 0 0 10191 37 0 0 20 0 4 0 104870230 1343819776 269499 33554432000 4194304 16246674 140735692676064 140735692657984 12477716 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 328081 269499 850 2943 0 324975 0 [pid=30523/tid=30524] ppid=30520 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1343819776 269499 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1343819776 269499 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1343819776 269499 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273597 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.10 2.13 2.06 3/265 30560 /proc/meminfo: memFree=29830628/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1361.87 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273357 0 0 0 136135 52 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 6022140 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.21 2.15 2.07 3/265 30561 /proc/meminfo: memFree=29826712/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1421.87 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 142134 53 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692675160 13752941 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.07 2.12 2.06 3/265 30562 /proc/meminfo: memFree=29827092/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1481.84 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 148131 53 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 5523032 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.10 2.12 2.07 3/266 30566 /proc/meminfo: memFree=29827392/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1541.85 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 154131 54 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 15015658 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.22 2.16 2.08 3/265 30567 /proc/meminfo: memFree=29827152/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1601.83 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 160128 55 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.22 2.17 2.09 3/265 30569 /proc/meminfo: memFree=29827640/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1661.82 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 166127 55 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 5824932 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.08 2.14 2.08 3/265 30570 /proc/meminfo: memFree=29827072/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1721.82 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 172125 57 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692657984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.03 2.11 2.08 3/265 30620 /proc/meminfo: memFree=29845684/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1781.81 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 178123 58 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692659064 5600120 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.10 2.08 3/265 30620 /proc/meminfo: memFree=29839360/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1800.01 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 179942 59 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692657984 5600384 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1327684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 30523 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.10 2.08 3/265 30620 /proc/meminfo: memFree=29839360/32872528 swapFree=9196/9196 [pid=30523] ppid=30520 vsize=1327684 CPUtime=1800.01 cores=0-3,8-11 /proc/30523/stat : 30523 (toysat) R 30520 30523 25889 0 -1 4202496 273365 0 0 0 179942 59 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140735692657984 5600384 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/30523/statm: 331921 273599 852 2943 0 328815 0 [pid=30523/tid=30524] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30524/stat : 30524 (toysat) S 30520 30523 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496660835568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=30523/tid=30525] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30525/stat : 30525 (toysat) S 30520 30523 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496650345712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=30523/tid=30526] ppid=30520 vsize=1327684 CPUtime=0 cores=0-3,8-11 /proc/30523/task/30526/stat : 30526 (toysat) S 30520 30523 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104870230 1359548416 273599 33554432000 4194304 16246674 140735692676064 140496567528624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.42 CPU system time (s): 0.59191 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.59191 maximum resident set size= 1094396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273365 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= 361 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.8739 second user time and 17.6023 second system time The end
Begin job on node132 at 2016-06-06 18:24:42 IDJOB=4079547 IDBENCH=2016 IDSOLVER=2542 FILE ID=node132/4079547-1465230282 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079547-1465230282/watcher-4079547-1465230282 -o /tmp/evaluation-result-4079547-1465230282/solver-4079547-1465230282 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079547-1465230282.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 80d8f8438bdd117e32edd926d4898421 RANDOM SEED=917553363 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30939056 kB Buffers: 26736 kB Cached: 91800 kB SwapCached: 3224 kB Active: 1157644 kB Inactive: 56488 kB Active(anon): 1094840 kB Inactive(anon): 3260 kB Active(file): 62804 kB Inactive(file): 53228 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094528 kB Dirty: 16520 kB Writeback: 0 kB AnonPages: 1101896 kB Mapped: 10412 kB Shmem: 0 kB Slab: 572784 kB SReclaimable: 13208 kB SUnreclaim: 559576 kB KernelStack: 2208 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1245836 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node132 at 2016-06-06 18:54:43