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/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb |
| MD5SUM | 6b5a85fbc00dc0684845d7179dbc62de |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 788 |
| Best CPU time to get the best result obtained on this benchmark | 1800.64 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 770 |
| Optimality of the best value was proved | NO |
| Number of variables | 1704 |
| Total number of constraints | 118 |
| Number of constraints which are clauses | 15 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 103 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 135 |
| Number of terms in the objective function | 1268 |
| Biggest coefficient in the objective function | 29693 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 525250 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261970 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 525250 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T06:29:27+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-4101457-1466224167.opb"] 0.00/0.01 c use --random-gen="1408510945 632072640 325211231 957558305 1140841477 2890978502 852704638 1585310560 1677023701 1136402144 2808451979 2722399155 1930349115 2866591489 1975681019 3460294737 3972222385 2918034057 1940141982 1339951068 2579066737 2865314124 3791091579 78207210 1536461623 3197560705 1387089593 890379342 2056639802 3433802365 611925504 2247653935 2858215988 3957943634 896687866 4022780971 1409198357 3648262283 3007289366 1088332295 1012413987 3940472673 751845531 1999207952 1489216887 1647309570 3397255752 1725402442 1096066696 464412433 232673259 386614317 1005478145 163879869 2618983250 1804515343 3627391817 3897627878 3711397185 2782775682 3490259257 1098536029 444614178 3627145355 103433411 1428197731 447455881 4101463955 3344662029 2677743654 3582180531 1059578717 1928637749 1568436561 75471399 3317705751 2763413772 358384201 1748310574 970623924 28040571 1930035373 938781484 1994650091 4051226388 2881509363 190742584 3352959313 88916001 1720394404 2997576565 2918130789 3499595041 2837248592 1415895093 1223105281 3255758583 2420734878 2440709536 3017472151 1247356097 242639155 4141512681 787411249 813638447 4075981036 604860138 4135178639 2455693816 3480322766 3831785299 1763795205 1681143078 2112804544 3602726247 2745641594 697533289 1380358411 2950478811 2657111133 1960757586 4119763947 101801276 1133058380 2943197358 493776577 176830817 1273506069 2697206441 3974657308 2079997871 599378730 398203628 756579141 3882673226 3046720116 2207884070 2360440445 1916687662 1433965325 2618333974 292479337 2431783125 3157921551 3074329524 3379890767 3272343188 1669456557 1359553844 157432715 1832964041 3458278756 2582881359 3097740262 470026847 5528760 3895071206 968072356 3908740281 2937815420 152485551 3210552905 83048114 1294068654 1359912694 3104301871 3644746856 937893354 879638351 2165237836 803157662 2829132244 2847289043 1795664705 950253840 3349376159 943383645 2634268135 2420836995 1500782945 3866547176 2550375911 1364647455 629451405 1717997924 1311279927 882754233 850748913 3194005010 4275276679 3026145432 72626752 2775084763 3779305779 3347158177 2966859931 2923555940 1883300487 318021591 1168184949 4258066153 1738172966 279820652 4238415405 2684129688 325584481 2423386002 79025466 92983533 844223031 740430331 3314717918 629693995 236858740 1040141674 3902458533 4223594333 2826752637 2788209037 1834015412 1349186121 778794286 2238503103 181769691 1945068960 3851491840 2335953533 407529970 3893299968 323161401 3579076808 2574569222 2782846073 2529247181 796988479 3651879517 3420592546 3152678488 3945934385 3080766173 1267820083 2628465171 2488537498 3275453830 23341039 4146373807 3442195507 1242219939 475426923 1324386170 21248254 1981802913 2781059744 1026800976 2065107709 3510432101 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1704 0.00/0.02 c #constraints 118 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 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 | 607 0 | 369 | 0 0.00/0.07 c 0.0s | 0 | 680 | 71 | 607 0 | 369 | 14 0.00/0.07 c #cpu_time = 0.021s 0.00/0.07 c #wall_clock_time = 0.021s 0.00/0.07 c #decision = 680 0.00/0.07 c #random_decision = 2 0.00/0.07 c #conflict = 71 0.00/0.07 c #restart = 0 0.00/0.07 o 6612 0.00/0.07 c BCD2: hardening fixes 24 literals 0.00/0.07 c BCD2: updating upper bound: 525250 -> 6611 0.00/0.08 c BCD2: 0 <= obj <= 6611 0.00/0.08 c BCD2: #cores=0, #unrelaxed=1244, #relaxed=0, #hardened=24 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 607 0 | 369 | 14 0.00/0.08 c 0.0s | 0 | 75 | 2 | 607 0 | 369 | 14 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 = 75 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: found a new core of size 4: cost of the new core is >=39 0.00/0.08 c lower bound updated to 39 0.00/0.08 c BCD2: 39 <= obj <= 6611 0.00/0.08 c BCD2: #cores=1, #unrelaxed=1240, #relaxed=4, #hardened=24 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 607 0 | 369 | 14 0.00/0.08 c 0.0s | 0 | 118 | 2 | 607 0 | 369 | 14 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 = 118 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: found a new core of size 6: cost of the new core is >=39 0.00/0.08 c lower bound updated to 78 0.00/0.09 c BCD2: 78 <= obj <= 6611 0.00/0.09 c BCD2: #cores=2, #unrelaxed=1234, #relaxed=10, #hardened=24 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 607 0 | 369 | 14 0.00/0.09 c 0.0s | 0 | 203 | 1 | 607 0 | 369 | 14 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 = 203 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 1 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.09 c lower bound updated to 79 0.00/0.09 c BCD2: 79 <= obj <= 6611 0.00/0.09 c BCD2: #cores=3, #unrelaxed=1223, #relaxed=21, #hardened=24 0.00/0.09 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 607 0 | 369 | 14 0.00/0.09 c 0.0s | 0 | 324 | 4 | 607 0 | 369 | 14 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 = 324 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 4 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 27: cost of the new core is >=1 0.00/0.09 c lower bound updated to 80 0.00/0.09 c BCD2: 80 <= obj <= 6611 0.00/0.09 c BCD2: #cores=4, #unrelaxed=1196, #relaxed=48, #hardened=24 0.00/0.09 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 607 0 | 369 | 14 0.00/0.09 c 0.0s | 0 | 442 | 0 | 607 0 | 369 | 14 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 = 442 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=12 0.00/0.09 c lower bound updated to 92 0.09/0.10 c BCD2: 92 <= obj <= 6611 0.09/0.10 c BCD2: #cores=5, #unrelaxed=1194, #relaxed=50, #hardened=24 0.09/0.10 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 607 0 | 369 | 14 0.09/0.10 c 0.0s | 0 | 444 | 0 | 607 0 | 369 | 14 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 = 444 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=14 0.09/0.10 c BCD2: refineLB: 13 -> 14 0.09/0.10 c lower bound updated to 94 0.09/0.10 c BCD2: 94 <= obj <= 6611 0.09/0.10 c BCD2: #cores=5, #unrelaxed=1191, #relaxed=53, #hardened=24 0.09/0.10 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 607 0 | 370 | 14 0.09/0.11 c 0.0s | 0 | 496 | 0 | 607 0 | 370 | 15 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 496 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 22: cost of the new core is >=1 0.09/0.11 c lower bound updated to 95 0.09/0.11 c BCD2: 95 <= obj <= 6611 0.09/0.11 c BCD2: #cores=6, #unrelaxed=1169, #relaxed=75, #hardened=24 0.09/0.11 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 607 0 | 370 | 15 0.09/0.11 c 0.0s | 0 | 511 | 2 | 607 0 | 370 | 15 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 511 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 2 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 20: cost of the new core is >=1 0.09/0.11 c lower bound updated to 96 0.09/0.12 c BCD2: 96 <= obj <= 6611 0.09/0.12 c BCD2: #cores=7, #unrelaxed=1149, #relaxed=95, #hardened=24 0.09/0.12 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.12 c 0.0s | 0 | 287 | 1 | 607 0 | 370 | 15 0.09/0.12 c #cpu_time = 0.004s 0.09/0.12 c #wall_clock_time = 0.004s 0.09/0.12 c #decision = 287 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 51: cost of the new core is >=1 0.09/0.12 c lower bound updated to 97 0.09/0.12 c BCD2: 97 <= obj <= 6611 0.09/0.12 c BCD2: #cores=8, #unrelaxed=1098, #relaxed=146, #hardened=24 0.09/0.12 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.13 c 0.0s | 0 | 533 | 0 | 607 0 | 370 | 15 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 533 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 30: cost of the new core is >=1 0.09/0.13 c lower bound updated to 98 0.09/0.13 c BCD2: 98 <= obj <= 6611 0.09/0.13 c BCD2: #cores=9, #unrelaxed=1068, #relaxed=176, #hardened=24 0.09/0.13 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.13 c 0.0s | 0 | 524 | 0 | 607 0 | 370 | 15 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 524 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 26: cost of the new core is >=1 0.09/0.13 c lower bound updated to 99 0.09/0.14 c BCD2: 99 <= obj <= 6611 0.09/0.14 c BCD2: #cores=10, #unrelaxed=1042, #relaxed=202, #hardened=24 0.09/0.14 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.14 c 0.0s | 0 | 510 | 1 | 607 0 | 370 | 15 0.09/0.14 c #cpu_time = 0.003s 0.09/0.14 c #wall_clock_time = 0.003s 0.09/0.14 c #decision = 510 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 1 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 10: cost of the new core is >=6 0.09/0.14 c lower bound updated to 105 0.09/0.14 c BCD2: 105 <= obj <= 6611 0.09/0.14 c BCD2: #cores=11, #unrelaxed=1032, #relaxed=212, #hardened=24 0.09/0.14 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.15 c 0.0s | 0 | 539 | 0 | 607 0 | 370 | 15 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 539 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 24: cost of the new core is >=1 0.09/0.15 c lower bound updated to 106 0.09/0.15 c BCD2: 106 <= obj <= 6611 0.09/0.15 c BCD2: #cores=12, #unrelaxed=1008, #relaxed=236, #hardened=24 0.09/0.15 c BCD2: #sat=1 #unsat=14 bias=14/15 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.15 c 0.0s | 0 | 524 | 0 | 607 0 | 370 | 15 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 524 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 3: cost of the new core is >=1 0.09/0.15 c lower bound updated to 107 0.09/0.16 c BCD2: 107 <= obj <= 6611 0.09/0.16 c BCD2: #cores=13, #unrelaxed=1005, #relaxed=239, #hardened=24 0.09/0.16 c BCD2: #sat=1 #unsat=15 bias=15/16 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 607 0 | 370 | 15 0.09/0.16 c 0.0s | 0 | 524 | 0 | 607 0 | 370 | 15 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.002s 0.09/0.16 c #decision = 524 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.09/0.16 c lower bound updated to 108 0.09/0.16 c BCD2: 108 <= obj <= 6611 0.09/0.16 c BCD2: #cores=13, #unrelaxed=1003, #relaxed=241, #hardened=24 0.09/0.16 c BCD2: #sat=1 #unsat=16 bias=16/17 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 607 0 | 371 | 15 0.09/0.17 c 0.0s | 0 | 545 | 1 | 607 0 | 371 | 16 0.09/0.17 c #cpu_time = 0.002s 0.09/0.17 c #wall_clock_time = 0.002s 0.09/0.17 c #decision = 545 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 1 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: relaxing 12 and merging with 1 cores into a new core of size 17: cost of the new core is >=3 0.09/0.17 c lower bound updated to 109 0.09/0.17 c BCD2: 109 <= obj <= 6611 0.09/0.17 c BCD2: #cores=13, #unrelaxed=991, #relaxed=253, #hardened=24 0.09/0.17 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 607 0 | 372 | 16 0.09/0.17 c 0.0s | 0 | 554 | 1 | 607 0 | 372 | 17 0.09/0.17 c #cpu_time = 0.003s 0.09/0.17 c #wall_clock_time = 0.003s 0.09/0.17 c #decision = 554 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 1 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 47: cost of the new core is >=1 0.09/0.17 c lower bound updated to 110 0.09/0.18 c BCD2: 110 <= obj <= 6611 0.09/0.18 c BCD2: #cores=14, #unrelaxed=944, #relaxed=300, #hardened=24 0.09/0.18 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 607 0 | 372 | 17 0.09/0.18 c 0.0s | 0 | 681 | 0 | 607 0 | 372 | 17 0.09/0.18 c #cpu_time = 0.002s 0.09/0.18 c #wall_clock_time = 0.002s 0.09/0.18 c #decision = 681 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 14: cost of the new core is >=1 0.09/0.18 c lower bound updated to 111 0.09/0.18 c BCD2: 111 <= obj <= 6611 0.09/0.18 c BCD2: #cores=15, #unrelaxed=930, #relaxed=314, #hardened=24 0.09/0.18 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 607 0 | 372 | 17 0.09/0.19 c 0.0s | 0 | 1651 | 12 | 607 0 | 372 | 17 0.09/0.19 c #cpu_time = 0.009s 0.09/0.19 c #wall_clock_time = 0.009s 0.09/0.19 c #decision = 1651 0.09/0.19 c #random_decision = 1 0.09/0.19 c #conflict = 12 0.09/0.19 c #restart = 0 0.09/0.19 o 1711 0.09/0.19 c BCD2: hardening fixes 23 literals 0.09/0.19 c BCD2: updating upper bound: 6611 -> 1710 0.09/0.19 c BCD2: 111 <= obj <= 1710 0.09/0.19 c BCD2: #cores=15, #unrelaxed=907, #relaxed=314, #hardened=47 0.09/0.19 c BCD2: #sat=2 #unsat=19 bias=19/21 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 607 0 | 372 | 18 0.19/0.20 c 0.0s | 0 | 430 | 0 | 607 0 | 372 | 18 0.19/0.20 c #cpu_time = 0.002s 0.19/0.20 c #wall_clock_time = 0.002s 0.19/0.20 c #decision = 430 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=15 0.19/0.20 c lower bound updated to 112 0.19/0.20 c BCD2: 112 <= obj <= 1710 0.19/0.20 c BCD2: #cores=15, #unrelaxed=905, #relaxed=316, #hardened=47 0.19/0.20 c BCD2: #sat=2 #unsat=20 bias=20/22 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 607 0 | 375 | 18 0.19/0.21 c 0.0s | 0 | 1261 | 4 | 668 0 | 375 | 23 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 1261 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 4 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: relaxing 12 and merging with 2 cores into a new core of size 46: cost of the new core is >=17 0.19/0.21 c lower bound updated to 113 0.19/0.21 c BCD2: 113 <= obj <= 1710 0.19/0.21 c BCD2: #cores=14, #unrelaxed=893, #relaxed=328, #hardened=47 0.19/0.21 c BCD2: #sat=2 #unsat=21 bias=21/23 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 668 0 | 389 | 23 0.19/0.23 c 0.0s | 1 | 1057 | 100 | 668 0 | 389 | 50 0.19/0.24 c 0.0s | 1 | 2096 | 102 | 668 0 | 389 | 50 0.19/0.24 c #cpu_time = 0.029s 0.19/0.24 c #wall_clock_time = 0.030s 0.19/0.24 c #decision = 2096 0.19/0.24 c #random_decision = 3 0.19/0.24 c #conflict = 102 0.19/0.24 c #restart = 1 0.19/0.24 o 1401 0.19/0.24 c BCD2: hardening fixes 2 literals 0.19/0.24 c BCD2: updating upper bound: 1710 -> 1400 0.19/0.24 c BCD2: 113 <= obj <= 1400 0.19/0.24 c BCD2: #cores=14, #unrelaxed=891, #relaxed=328, #hardened=49 0.19/0.24 c BCD2: #sat=3 #unsat=21 bias=21/24 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 668 0 | 389 | 51 0.19/0.25 c 0.0s | 0 | 42 | 3 | 668 0 | 389 | 51 0.19/0.25 c #cpu_time = 0.003s 0.19/0.25 c #wall_clock_time = 0.003s 0.19/0.25 c #decision = 42 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 3 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 18: cost of the new core is >=45 0.19/0.25 c lower bound updated to 118 0.19/0.25 c BCD2: 118 <= obj <= 1400 0.19/0.25 c BCD2: #cores=13, #unrelaxed=888, #relaxed=331, #hardened=49 0.19/0.25 c BCD2: #sat=3 #unsat=22 bias=22/25 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 668 0 | 421 | 51 0.19/0.28 c 0.0s | 1 | 1906 | 100 | 735 0 | 421 | 114 0.29/0.30 c 0.0s | 1 | 3506 | 153 | 735 0 | 421 | 114 0.29/0.30 c #cpu_time = 0.046s 0.29/0.30 c #wall_clock_time = 0.046s 0.29/0.30 c #decision = 3506 0.29/0.30 c #random_decision = 3 0.29/0.30 c #conflict = 153 0.29/0.30 c #restart = 1 0.29/0.30 c BCD2: relaxing 53 and merging with 3 cores into a new core of size 94: cost of the new core is >=11 0.29/0.30 c lower bound updated to 119 0.29/0.30 c BCD2: 119 <= obj <= 1400 0.29/0.30 c BCD2: #cores=11, #unrelaxed=835, #relaxed=384, #hardened=49 0.29/0.30 c BCD2: #sat=3 #unsat=23 bias=23/26 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 735 0 | 439 | 114 0.29/0.32 c 0.0s | 1 | 799 | 100 | 735 0 | 439 | 150 0.29/0.33 c 0.0s | 1 | 1968 | 115 | 735 0 | 439 | 150 0.29/0.33 c #cpu_time = 0.031s 0.29/0.33 c #wall_clock_time = 0.032s 0.29/0.33 c #decision = 1968 0.29/0.33 c #random_decision = 1 0.29/0.33 c #conflict = 115 0.29/0.33 c #restart = 1 0.29/0.33 o 1120 0.29/0.33 c BCD2: hardening fixes 3 literals 0.29/0.33 c BCD2: updating upper bound: 1400 -> 1119 0.29/0.34 c BCD2: 119 <= obj <= 1119 0.29/0.34 c BCD2: #cores=11, #unrelaxed=832, #relaxed=384, #hardened=52 0.29/0.34 c BCD2: #sat=4 #unsat=23 bias=23/27 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 735 0 | 439 | 151 0.29/0.35 c 0.0s | 0 | 391 | 2 | 735 0 | 439 | 151 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 391 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 2 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 24: cost of the new core is >=46 0.29/0.35 c lower bound updated to 120 0.29/0.35 c BCD2: 120 <= obj <= 1119 0.29/0.35 c BCD2: #cores=11, #unrelaxed=826, #relaxed=390, #hardened=52 0.29/0.35 c BCD2: #sat=4 #unsat=24 bias=24/28 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 735 0 | 441 | 151 0.29/0.36 c 0.0s | 0 | 939 | 30 | 809 0 | 441 | 154 0.29/0.36 c #cpu_time = 0.011s 0.29/0.36 c #wall_clock_time = 0.011s 0.29/0.36 c #decision = 939 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 30 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: relaxing 59 and merging with 3 cores into a new core of size 141: cost of the new core is >=58 0.29/0.36 c lower bound updated to 121 0.29/0.36 c BCD2: 121 <= obj <= 1119 0.29/0.36 c BCD2: #cores=9, #unrelaxed=767, #relaxed=449, #hardened=52 0.29/0.36 c BCD2: #sat=4 #unsat=25 bias=25/29 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 809 0 | 481 | 154 0.29/0.39 c 0.0s | 1 | 1210 | 100 | 809 0 | 481 | 238 0.39/0.41 c 0.0s | 1 | 2316 | 173 | 809 0 | 481 | 238 0.39/0.41 c #cpu_time = 0.046s 0.39/0.41 c #wall_clock_time = 0.046s 0.39/0.41 c #decision = 2316 0.39/0.41 c #random_decision = 1 0.39/0.41 c #conflict = 173 0.39/0.41 c #restart = 1 0.39/0.41 o 933 0.39/0.41 c BCD2: hardening fixes 17 literals 0.39/0.41 c BCD2: updating upper bound: 1119 -> 932 0.39/0.41 c BCD2: 121 <= obj <= 932 0.39/0.41 c BCD2: #cores=9, #unrelaxed=750, #relaxed=449, #hardened=69 0.39/0.41 c BCD2: #sat=5 #unsat=25 bias=25/30 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 809 0 | 481 | 239 0.39/0.45 c 0.0s | 1 | 732 | 100 | 809 0 | 481 | 239 0.49/0.51 c 0.1s | 2 | 1497 | 250 | 890 0 | 481 | 239 0.59/0.61 c 0.2s | 3 | 2449 | 475 | 890 0 | 481 | 239 0.69/0.77 c 0.4s | 4 | 3709 | 813 | 980 0 | 481 | 239 0.89/0.90 c 0.5s | 4 | 5074 | 1115 | 980 0 | 481 | 239 0.89/0.90 c #cpu_time = 0.485s 0.89/0.90 c #wall_clock_time = 0.486s 0.89/0.90 c #decision = 5074 0.89/0.90 c #random_decision = 1 0.89/0.90 c #conflict = 1115 0.89/0.90 c #restart = 4 0.89/0.90 o 760 0.89/0.90 c BCD2: hardening fixes 6 literals 0.89/0.90 c BCD2: updating upper bound: 932 -> 759 0.89/0.91 c BCD2: 121 <= obj <= 759 0.89/0.91 c BCD2: #cores=9, #unrelaxed=744, #relaxed=449, #hardened=75 0.89/0.91 c BCD2: #sat=6 #unsat=25 bias=25/31 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.89/0.91 c ============================================================================= 0.89/0.91 c 0.0s | 0 | 0 | 0 | 980 0 | 481 | 240 0.89/0.94 c 0.0s | 1 | 735 | 100 | 980 1 | 481 | 240 0.89/0.97 c 0.1s | 1 | 2695 | 231 | 980 1 | 481 | 240 0.89/0.97 c #cpu_time = 0.061s 0.89/0.97 c #wall_clock_time = 0.061s 0.89/0.97 c #decision = 2695 0.89/0.97 c #random_decision = 2 0.89/0.97 c #conflict = 231 0.89/0.97 c #restart = 1 0.89/0.97 c BCD2: relaxing 128 and merging with 4 cores into a new core of size 366: cost of the new core is >=107 0.89/0.97 c lower bound updated to 122 0.89/0.98 c BCD2: 122 <= obj <= 759 0.89/0.98 c BCD2: #cores=6, #unrelaxed=616, #relaxed=577, #hardened=75 0.89/0.98 c BCD2: #sat=6 #unsat=26 bias=26/32 0.89/0.98 c Solving starts ... 0.89/0.98 c ============================[ Search Statistics ]============================ 0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.98 c | | | | Limit GC | Var | Constra 0.89/0.98 c ============================================================================= 0.89/0.98 c 0.0s | 0 | 0 | 0 | 980 0 | 518 | 240 0.99/1.01 c 0.0s | 1 | 722 | 100 | 1078 0 | 518 | 313 0.99/1.05 c 0.1s | 2 | 1344 | 250 | 1078 0 | 518 | 313 1.10/1.11 c 0.1s | 3 | 2156 | 475 | 1078 0 | 518 | 313 1.20/1.22 c 0.2s | 4 | 3021 | 813 | 1078 0 | 518 | 313 1.29/1.38 c 0.4s | 5 | 4020 | 1320 | 1186 0 | 518 | 313 1.69/1.74 c 0.8s | 6 | 5394 | 2081 | 1186 1 | 518 | 313 2.30/2.33 c 1.4s | 7 | 7127 | 3223 | 1305 2 | 518 | 313 2.89/2.95 c 2.0s | 7 | 9845 | 4807 | 1305 3 | 518 | 313 2.89/2.95 c #cpu_time = 1.971s 2.89/2.95 c #wall_clock_time = 1.976s 2.89/2.95 c #decision = 9845 2.89/2.95 c #random_decision = 17 2.89/2.95 c #conflict = 4807 2.89/2.95 c #restart = 7 2.89/2.95 c BCD2: relaxing 122 and merging with 3 cores into a new core of size 561: cost of the new core is >=110 2.89/2.95 c lower bound updated to 123 2.89/2.96 c BCD2: 123 <= obj <= 759 2.89/2.96 c BCD2: #cores=4, #unrelaxed=494, #relaxed=699, #hardened=75 2.89/2.96 c BCD2: #sat=6 #unsat=27 bias=27/33 2.89/2.96 c Solving starts ... 2.89/2.96 c ============================[ Search Statistics ]============================ 2.89/2.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.96 c | | | | Limit GC | Var | Constra 2.89/2.96 c ============================================================================= 2.89/2.96 c 0.0s | 0 | 0 | 0 | 1305 0 | 540 | 313 2.99/3.01 c 0.1s | 1 | 502 | 100 | 1305 0 | 540 | 358 2.99/3.05 c 0.1s | 2 | 1038 | 250 | 1305 0 | 540 | 358 3.09/3.16 c 0.2s | 3 | 1661 | 475 | 1305 0 | 540 | 358 3.30/3.37 c 0.4s | 4 | 2409 | 813 | 1436 0 | 540 | 358 3.69/3.70 c 0.7s | 5 | 3573 | 1320 | 1436 0 | 540 | 358 3.99/4.08 c 1.1s | 6 | 4995 | 2081 | 1436 0 | 540 | 358 4.69/4.73 c 1.8s | 7 | 6898 | 3223 | 1436 1 | 540 | 358 5.60/5.63 c 2.7s | 8 | 9659 | 4936 | 1580 3 | 540 | 358 6.99/7.09 c 4.1s | 9 | 13520 | 7506 | 1580 5 | 540 | 358 9.09/9.10 c 6.1s | 9 | 18314 | 11006 | 1739 7 | 540 | 358 9.29/9.30 c 6.3s | 10 | 18785 | 11361 | 1739 7 | 540 | 358 11.29/11.33 c 8.4s | 10 | 23870 | 14961 | 1739 10 | 540 | 358 12.49/12.54 c 9.6s | 11 | 26860 | 17144 | 1739 12 | 540 | 358 14.49/14.59 c 11.6s | 11 | 31818 | 20544 | 1913 14 | 540 | 358 16.60/16.61 c 13.6s | 11 | 36704 | 24044 | 1913 16 | 540 | 358 17.60/17.61 c 14.7s | 12 | 39002 | 25819 | 1913 17 | 540 | 358 19.59/19.66 c 16.7s | 12 | 43808 | 29219 | 1913 20 | 540 | 358 21.59/21.68 c 18.7s | 12 | 48204 | 32419 | 2105 22 | 540 | 358 23.69/23.74 c 20.8s | 12 | 52653 | 35719 | 2105 24 | 540 | 358 25.69/25.75 c 22.8s | 12 | 56616 | 38719 | 2105 26 | 540 | 358 25.79/25.82 c 22.9s | 13 | 56804 | 38832 | 2105 26 | 540 | 358 27.79/27.86 c 24.9s | 13 | 61646 | 42232 | 2105 28 | 540 | 358 29.89/29.92 c 27.0s | 13 | 66314 | 45732 | 2105 30 | 540 | 358 31.89/31.94 c 29.0s | 13 | 70506 | 48932 | 2105 32 | 540 | 358 33.99/34.00 c 31.0s | 13 | 75188 | 52532 | 2316 34 | 540 | 358 35.99/36.01 c 33.1s | 13 | 79573 | 55932 | 2316 36 | 540 | 358 37.39/37.46 c 34.5s | 14 | 82731 | 58352 | 2316 38 | 540 | 358 39.39/39.46 c 36.5s | 14 | 87851 | 61752 | 2316 40 | 540 | 358 41.48/41.51 c 38.6s | 14 | 92402 | 64952 | 2316 42 | 540 | 358 43.48/43.53 c 40.6s | 14 | 96065 | 67852 | 2316 43 | 540 | 358 45.48/45.56 c 42.6s | 14 | 100770 | 71252 | 2316 45 | 540 | 358 47.48/47.56 c 44.6s | 14 | 104827 | 74252 | 2316 47 | 540 | 358 49.59/49.62 c 46.7s | 14 | 109225 | 77552 | 2316 49 | 540 | 358 51.58/51.66 c 48.7s | 14 | 113806 | 81052 | 2548 51 | 540 | 358 53.68/53.70 c 50.7s | 14 | 118109 | 84352 | 2548 53 | 540 | 358 55.58/55.67 c 52.7s | 15 | 122219 | 87632 | 2548 55 | 540 | 358 57.68/57.72 c 54.8s | 15 | 126608 | 90832 | 2548 57 | 540 | 358 59.68/59.77 c 56.8s | 15 | 130792 | 94232 | 2548 59 | 540 | 358 61.78/61.82 c 58.9s | 15 | 135297 | 97732 | 2548 61 | 540 | 358 63.79/63.88 c 60.9s | 15 | 139881 | 101232 | 2548 63 | 540 | 358 65.78/65.89 c 62.9s | 15 | 143990 | 104532 | 2548 64 | 540 | 358 67.88/67.92 c 65.0s | 15 | 147886 | 107632 | 2548 66 | 540 | 358 69.88/69.92 c 67.0s | 15 | 152018 | 110832 | 2548 68 | 540 | 358 71.88/71.94 c 69.0s | 15 | 156053 | 113932 | 2548 70 | 540 | 358 73.88/73.99 c 71.0s | 15 | 160132 | 117232 | 2548 71 | 540 | 358 75.99/76.03 c 73.1s | 15 | 164066 | 120332 | 2548 73 | 540 | 358 77.98/78.08 c 75.1s | 15 | 168695 | 123932 | 2803 75 | 540 | 358 80.08/80.11 c 77.2s | 15 | 173317 | 127232 | 2803 77 | 540 | 358 82.08/82.15 c 79.2s | 15 | 177714 | 130332 | 2803 78 | 540 | 358 82.88/82.94 c 80.0s | 16 | 179481 | 131552 | 2803 79 | 540 | 358 84.98/85.00 c 82.0s | 16 | 184164 | 134552 | 2803 81 | 540 | 358 86.99/87.06 c 84.1s | 16 | 187830 | 137352 | 2803 82 | 540 | 358 88.98/89.10 c 86.1s | 16 | 192077 | 140452 | 2803 84 | 540 | 358 91.08/91.11 c 88.1s | 16 | 195817 | 143252 | 2803 85 | 540 | 358 93.08/93.16 c 90.2s | 16 | 200127 | 146252 | 2803 87 | 540 | 358 95.08/95.18 c 92.2s | 16 | 204099 | 149252 | 2803 88 | 540 | 358 97.18/97.21 c 94.3s | 16 | 207403 | 151852 | 2803 89 | 540 | 358 99.18/99.29 c 96.3s | 16 | 210376 | 154152 | 2803 91 | 540 | 358 101.29/101.35 c 98.4s | 16 | 213570 | 156652 | 2803 92 | 540 | 358 103.39/103.42 c 100s | 16 | 216907 | 159252 | 2803 93 | 540 | 358 105.38/105.47 c 102s | 16 | 220722 | 162052 | 2803 95 | 540 | 358 107.48/107.51 c 104s | 16 | 224677 | 164852 | 2803 96 | 540 | 358 109.48/109.54 c 106s | 16 | 227740 | 167152 | 2803 97 | 540 | 358 111.58/111.64 c 108s | 16 | 230801 | 169552 | 2803 99 | 540 | 358 113.58/113.69 c 110s | 16 | 234157 | 171952 | 2803 100 | 540 | 358 115.68/115.73 c 112s | 16 | 238092 | 174852 | 2803 101 | 540 | 358 117.68/117.75 c 114s | 16 | 242287 | 178152 | 2803 103 | 540 | 358 119.77/119.82 c 116s | 16 | 246667 | 181452 | 2803 105 | 540 | 358 121.77/121.87 c 118s | 16 | 250263 | 184252 | 2803 106 | 540 | 358 123.87/123.90 c 120s | 16 | 254536 | 187552 | 2803 108 | 540 | 358 125.87/125.91 c 122s | 16 | 258613 | 190652 | 3084 109 | 540 | 358 127.87/127.92 c 124s | 16 | 261649 | 193052 | 3084 111 | 540 | 358 129.88/129.93 c 126s | 16 | 264807 | 195652 | 3084 112 | 540 | 358 131.17/131.25 c 128s | 17 | 267220 | 197432 | 3084 113 | 540 | 358 133.18/133.29 c 130s | 17 | 271786 | 200732 | 3084 114 | 540 | 358 135.28/135.31 c 132s | 17 | 275886 | 204032 | 3084 116 | 540 | 358 137.27/137.38 c 134s | 17 | 279880 | 207232 | 3084 117 | 540 | 358 139.37/139.40 c 136s | 17 | 284252 | 210632 | 3084 119 | 540 | 358 141.37/141.41 c 138s | 17 | 288568 | 213932 | 3084 121 | 540 | 358 143.37/143.44 c 140s | 17 | 292522 | 217032 | 3084 122 | 540 | 358 145.47/145.50 c 142s | 17 | 296833 | 220332 | 3084 124 | 540 | 358 147.48/147.51 c 144s | 17 | 300780 | 223432 | 3084 125 | 540 | 358 149.47/149.57 c 146s | 17 | 304571 | 226532 | 3084 127 | 540 | 358 151.57/151.61 c 148s | 17 | 308462 | 229732 | 3084 128 | 540 | 358 153.57/153.67 c 150s | 17 | 312292 | 232732 | 3084 130 | 540 | 358 155.67/155.72 c 152s | 17 | 316026 | 235632 | 3084 131 | 540 | 358 157.67/157.75 c 154s | 17 | 320250 | 238732 | 3084 133 | 540 | 358 159.67/159.78 c 156s | 17 | 324439 | 242132 | 3084 134 | 540 | 358 161.77/161.82 c 158s | 17 | 328632 | 245432 | 3084 136 | 540 | 358 163.77/163.87 c 160s | 17 | 332632 | 248632 | 3084 138 | 540 | 358 165.86/165.94 c 162s | 17 | 337254 | 252132 | 3084 139 | 540 | 358 167.86/167.96 c 165s | 17 | 341859 | 255332 | 3084 141 | 540 | 358 169.86/169.99 c 167s | 17 | 345812 | 258432 | 3084 142 | 540 | 358 171.96/172.00 c 169s | 17 | 349932 | 261732 | 3084 144 | 540 | 358 173.96/174.01 c 171s | 17 | 353595 | 264632 | 3084 145 | 540 | 358 175.97/176.05 c 173s | 17 | 357433 | 267532 | 3084 147 | 540 | 358 178.06/178.11 c 175s | 17 | 361137 | 270532 | 3084 148 | 540 | 358 180.06/180.17 c 177s | 17 | 364621 | 273332 | 3084 149 | 540 | 358 182.16/182.22 c 179s | 17 | 368243 | 276132 | 3084 151 | 540 | 358 184.16/184.27 c 181s | 17 | 371885 | 279032 | 3084 152 | 540 | 358 186.16/186.29 c 183s | 17 | 375325 | 281832 | 3084 153 | 540 | 358 188.26/188.31 c 185s | 17 | 379402 | 284932 | 3084 155 | 540 | 358 190.27/190.33 c 187s | 17 | 383734 | 288032 | 3393 156 | 540 | 358 192.26/192.34 c 189s | 17 | 387547 | 291032 | 3393 158 | 540 | 358 194.26/194.38 c 191s | 17 | 391407 | 294032 | 3393 159 | 540 | 358 195.86/195.92 c 192s | 18 | 394252 | 296252 | 3393 160 | 540 | 358 197.86/197.94 c 194s | 18 | 398432 | 299452 | 3393 161 | 540 | 358 199.86/199.97 c 197s | 18 | 402603 | 302552 | 3393 163 | 540 | 358 201.96/202.01 c 199s | 18 | 406895 | 305752 | 3393 164 | 540 | 358 203.96/204.04 c 201s | 18 | 411384 | 309052 | 3393 166 | 540 | 358 205.96/206.07 c 203s | 18 | 415470 | 312252 | 3393 167 | 540 | 358 207.96/208.08 c 205s | 18 | 419488 | 315252 | 3393 168 | 540 | 358 210.06/210.11 c 207s | 18 | 423441 | 318252 | 3393 170 | 540 | 358 212.05/212.12 c 209s | 18 | 427571 | 321252 | 3393 171 | 540 | 358 214.05/214.16 c 211s | 18 | 432002 | 324452 | 3393 173 | 540 | 358 216.05/216.17 c 213s | 18 | 435978 | 327452 | 3393 174 | 540 | 358 218.05/218.18 c 215s | 18 | 439835 | 330252 | 3393 175 | 540 | 358 220.15/220.22 c 217s | 18 | 443876 | 333252 | 3393 177 | 540 | 358 222.16/222.26 c 219s | 18 | 447650 | 336152 | 3393 178 | 540 | 358 224.25/224.32 c 221s | 18 | 451682 | 339252 | 3393 179 | 540 | 358 226.25/226.33 c 223s | 18 | 455344 | 342152 | 3393 181 | 540 | 358 228.25/228.37 c 225s | 18 | 459482 | 345252 | 3393 182 | 540 | 358 230.25/230.37 c 227s | 18 | 463362 | 348152 | 3393 183 | 540 | 358 232.35/232.41 c 229s | 18 | 467474 | 351152 | 3393 185 | 540 | 358 234.36/234.47 c 231s | 18 | 472093 | 354552 | 3393 186 | 540 | 358 236.35/236.47 c 233s | 18 | 476946 | 357952 | 3393 188 | 540 | 358 238.35/238.49 c 235s | 18 | 481484 | 361152 | 3393 189 | 540 | 358 240.45/240.52 c 237s | 18 | 486523 | 364552 | 3393 191 | 540 | 358 242.45/242.53 c 239s | 18 | 491737 | 368252 | 3393 192 | 540 | 358 244.45/244.56 c 241s | 18 | 495902 | 371352 | 3393 194 | 540 | 358 246.46/246.56 c 243s | 18 | 500765 | 375152 | 3393 195 | 540 | 358 248.46/248.58 c 245s | 18 | 507539 | 381552 | 3393 198 | 540 | 358 250.46/250.58 c 247s | 18 | 515824 | 388952 | 3393 202 | 540 | 358 252.46/252.59 c 249s | 18 | 524976 | 397352 | 3393 205 | 540 | 358 254.56/254.61 c 251s | 18 | 533994 | 405852 | 3393 209 | 540 | 358 256.56/256.63 c 253s | 18 | 541907 | 413152 | 3393 213 | 540 | 358 258.56/258.65 c 255s | 18 | 551028 | 421052 | 3393 216 | 540 | 358 260.55/260.67 c 257s | 18 | 556998 | 426652 | 3393 219 | 540 | 358 262.55/262.67 c 259s | 18 | 566709 | 434352 | 3393 222 | 540 | 358 264.55/264.68 c 261s | 18 | 574623 | 440552 | 3733 225 | 540 | 358 265.65/265.73 c 262s | 19 | 579307 | 444482 | 3733 226 | 540 | 358 267.65/267.76 c 264s | 19 | 585012 | 448682 | 3733 228 | 540 | 358 269.75/269.80 c 266s | 19 | 590246 | 452582 | 3733 230 | 540 | 358 271.76/271.81 c 268s | 19 | 595028 | 456182 | 3733 231 | 540 | 358 273.75/273.81 c 270s | 19 | 599587 | 459282 | 3733 233 | 540 | 358 275.75/275.82 c 272s | 19 | 603865 | 462282 | 3733 234 | 540 | 358 277.75/277.83 c 274s | 19 | 607882 | 464982 | 3733 235 | 540 | 358 279.75/279.89 c 276s | 19 | 612679 | 468182 | 3733 236 | 540 | 358 281.85/281.91 c 278s | 19 | 617371 | 471082 | 3733 238 | 540 | 358 283.85/283.94 c 280s | 19 | 622026 | 474382 | 3733 239 | 540 | 358 285.85/285.95 c 282s | 19 | 626629 | 477882 | 3733 240 | 540 | 358 287.85/287.96 c 285s | 19 | 630733 | 480682 | 3733 242 | 540 | 358 289.85/289.98 c 287s | 19 | 634498 | 483282 | 3733 243 | 540 | 358 291.85/291.99 c 289s | 19 | 638792 | 486182 | 3733 244 | 540 | 358 293.95/294.04 c 291s | 19 | 642194 | 488782 | 3733 245 | 540 | 358 295.95/296.07 c 293s | 19 | 645318 | 491182 | 3733 246 | 540 | 358 298.05/298.12 c 295s | 19 | 649321 | 494182 | 3733 247 | 540 | 358 300.04/300.12 c 297s | 19 | 653935 | 497382 | 3733 249 | 540 | 358 302.04/302.19 c 299s | 19 | 657807 | 500282 | 3733 250 | 540 | 358 304.14/304.24 c 301s | 19 | 662264 | 503482 | 3733 251 | 540 | 358 306.14/306.29 c 303s | 19 | 666613 | 506382 | 3733 252 | 540 | 358 308.24/308.34 c 305s | 19 | 671046 | 509382 | 3733 254 | 540 | 358 310.34/310.41 c 307s | 19 | 675840 | 512882 | 3733 255 | 540 | 358 312.35/312.45 c 309s | 19 | 680724 | 516182 | 3733 256 | 540 | 358 314.44/314.51 c 311s | 19 | 685369 | 519282 | 3733 258 | 540 | 358 316.44/316.54 c 313s | 19 | 689431 | 522182 | 3733 259 | 540 | 358 318.54/318.60 c 315s | 19 | 694083 | 525382 | 3733 260 | 540 | 358 320.54/320.63 c 317s | 19 | 698149 | 528282 | 3733 261 | 540 | 358 322.54/322.68 c 319s | 19 | 702772 | 531082 | 3733 263 | 540 | 358 324.64/324.73 c 321s | 19 | 706948 | 533982 | 3733 264 | 540 | 358 326.65/326.78 c 323s | 19 | 711165 | 536882 | 3733 265 | 540 | 358 328.74/328.82 c 325s | 19 | 715143 | 539482 | 3733 266 | 540 | 358 330.74/330.83 c 327s | 19 | 719405 | 542582 | 3733 267 | 540 | 358 332.74/332.89 c 329s | 19 | 723754 | 545382 | 3733 269 | 540 | 358 334.84/334.92 c 331s | 19 | 728191 | 548382 | 3733 270 | 540 | 358 336.84/336.96 c 334s | 19 | 732461 | 551182 | 3733 271 | 540 | 358 338.84/338.98 c 336s | 19 | 736314 | 553682 | 3733 272 | 540 | 358 340.94/341.04 c 338s | 19 | 740676 | 556482 | 3733 273 | 540 | 358 343.04/343.11 c 340s | 19 | 744977 | 559382 | 3733 274 | 540 | 358 345.03/345.16 c 342s | 19 | 749105 | 562282 | 3733 276 | 540 | 358 347.03/347.18 c 344s | 19 | 753359 | 565182 | 3733 277 | 540 | 358 349.13/349.23 c 346s | 19 | 757554 | 568182 | 3733 278 | 540 | 358 351.13/351.29 c 348s | 19 | 761796 | 571282 | 3733 279 | 540 | 358 353.23/353.30 c 350s | 19 | 765543 | 574182 | 3733 281 | 540 | 358 355.24/355.30 c 352s | 19 | 769796 | 577282 | 3733 282 | 540 | 358 357.23/357.35 c 354s | 19 | 774333 | 580582 | 3733 283 | 540 | 358 359.23/359.36 c 356s | 19 | 778374 | 583482 | 3733 284 | 540 | 358 361.23/361.37 c 358s | 19 | 782269 | 586082 | 3733 286 | 540 | 358 363.33/363.42 c 360s | 19 | 786121 | 588882 | 3733 287 | 540 | 358 365.33/365.45 c 362s | 19 | 789805 | 591482 | 3733 288 | 540 | 358 367.44/367.51 c 364s | 19 | 795072 | 595482 | 3733 290 | 540 | 358 369.43/369.56 c 366s | 19 | 800502 | 599682 | 3733 291 | 540 | 358 371.54/371.60 c 368s | 19 | 805464 | 602882 | 3733 293 | 540 | 358 373.54/373.63 c 370s | 19 | 810877 | 606382 | 3733 294 | 540 | 358 375.54/375.66 c 372s | 19 | 815442 | 609582 | 3733 295 | 540 | 358 377.64/377.70 c 374s | 19 | 819837 | 612382 | 3733 297 | 540 | 358 379.64/379.76 c 376s | 19 | 824141 | 615182 | 3733 298 | 540 | 358 381.74/381.80 c 378s | 19 | 828576 | 618182 | 3733 299 | 540 | 358 383.74/383.86 c 380s | 19 | 833681 | 621982 | 3733 301 | 540 | 358 385.74/385.90 c 382s | 19 | 838476 | 625182 | 3733 302 | 540 | 358 387.84/387.93 c 384s | 19 | 843195 | 628382 | 3733 303 | 540 | 358 389.93/390.00 c 387s | 19 | 847822 | 631582 | 3733 305 | 540 | 358 391.93/392.03 c 389s | 19 | 852423 | 634882 | 3733 306 | 540 | 358 393.93/394.03 c 391s | 19 | 856876 | 637882 | 3733 307 | 540 | 358 395.94/396.08 c 393s | 19 | 860768 | 640582 | 3733 308 | 540 | 358 398.03/398.11 c 395s | 19 | 864851 | 643382 | 3733 309 | 540 | 358 400.03/400.14 c 397s | 19 | 868809 | 645982 | 3733 311 | 540 | 358 402.03/402.18 c 399s | 19 | 873355 | 649182 | 3733 312 | 540 | 358 404.03/404.19 c 401s | 19 | 878236 | 652482 | 3733 313 | 540 | 358 406.13/406.20 c 403s | 19 | 883081 | 655782 | 4107 314 | 540 | 358 408.14/408.22 c 405s | 19 | 887878 | 658982 | 4107 316 | 540 | 358 410.13/410.27 c 407s | 19 | 892641 | 662182 | 4107 317 | 540 | 358 412.23/412.31 c 409s | 19 | 897124 | 665282 | 4107 318 | 540 | 358 413.33/413.41 c 410s | 20 | 899469 | 666827 | 4107 319 | 540 | 358 415.33/415.44 c 412s | 20 | 904444 | 670127 | 4107 320 | 540 | 358 417.43/417.50 c 414s | 20 | 908714 | 673027 | 4107 321 | 540 | 358 419.43/419.55 c 416s | 20 | 913106 | 676127 | 4107 322 | 540 | 358 421.43/421.57 c 418s | 20 | 917389 | 679727 | 4107 324 | 540 | 358 423.44/423.60 c 420s | 20 | 921315 | 683627 | 4107 325 | 540 | 358 425.53/425.65 c 422s | 20 | 924960 | 687227 | 4107 326 | 540 | 358 427.53/427.67 c 424s | 20 | 928477 | 690727 | 4107 328 | 540 | 358 429.53/429.67 c 426s | 20 | 931886 | 694127 | 4107 329 | 540 | 358 431.63/431.71 c 428s | 20 | 935209 | 697427 | 4107 330 | 540 | 358 433.63/433.71 c 430s | 20 | 938841 | 701027 | 4107 332 | 540 | 358 435.63/435.73 c 432s | 20 | 942625 | 704727 | 4107 333 | 540 | 358 437.62/437.73 c 434s | 20 | 946922 | 707627 | 4107 334 | 540 | 358 439.72/439.82 c 436s | 20 | 951750 | 710927 | 4107 336 | 540 | 358 441.72/441.86 c 438s | 20 | 956145 | 714127 | 4107 337 | 540 | 358 443.82/443.91 c 440s | 20 | 960100 | 717027 | 4107 338 | 540 | 358 445.82/445.95 c 442s | 20 | 963837 | 719927 | 4107 339 | 540 | 358 447.82/447.99 c 445s | 20 | 967728 | 722727 | 4107 340 | 540 | 358 449.83/450.00 c 447s | 20 | 972081 | 725627 | 4107 341 | 540 | 358 451.92/452.03 c 449s | 20 | 976999 | 728927 | 4107 342 | 540 | 358 453.92/454.04 c 451s | 20 | 981276 | 732027 | 4107 344 | 540 | 358 455.92/456.04 c 453s | 20 | 985711 | 735027 | 4107 345 | 540 | 358 457.92/458.05 c 455s | 20 | 989915 | 738127 | 4107 346 | 540 | 358 459.92/460.08 c 457s | 20 | 994072 | 741027 | 4107 347 | 540 | 358 462.02/462.12 c 459s | 20 | 998003 | 743827 | 4107 348 | 540 | 358 464.02/464.18 c 461s | 20 | 1002428 | 746827 | 4107 349 | 540 | 358 466.12/466.24 c 463s | 20 | 1006477 | 749727 | 4107 351 | 540 | 358 468.12/468.26 c 465s | 20 | 1010789 | 752827 | 4107 352 | 540 | 358 470.22/470.30 c 467s | 20 | 1015078 | 755827 | 4107 353 | 540 | 358 472.21/472.30 c 469s | 20 | 1019374 | 759027 | 4107 354 | 540 | 358 474.21/474.35 c 471s | 20 | 1023398 | 761827 | 4107 355 | 540 | 358 476.32/476.41 c 473s | 20 | 1027434 | 764727 | 4107 356 | 540 | 358 478.31/478.47 c 475s | 20 | 1031589 | 767727 | 4107 357 | 540 | 358 480.31/480.48 c 477s | 20 | 1035844 | 770627 | 4107 359 | 540 | 358 482.41/482.51 c 479s | 20 | 1039602 | 773327 | 4107 360 | 540 | 358 484.41/484.54 c 481s | 20 | 1043714 | 776227 | 4107 361 | 540 | 358 486.41/486.56 c 483s | 20 | 1048175 | 779327 | 4107 362 | 540 | 358 488.42/488.59 c 485s | 20 | 1052830 | 782427 | 4107 363 | 540 | 358 490.52/490.65 c 487s | 20 | 1057517 | 785627 | 4107 364 | 540 | 358 492.51/492.65 c 489s | 20 | 1061987 | 788527 | 4107 366 | 540 | 358 494.51/494.66 c 491s | 20 | 1066631 | 791827 | 4107 367 | 540 | 358 496.51/496.69 c 493s | 20 | 1071209 | 794927 | 4107 368 | 540 | 358 498.61/498.73 c 495s | 20 | 1075526 | 797827 | 4107 369 | 540 | 358 500.61/500.79 c 497s | 20 | 1079951 | 800927 | 4107 370 | 540 | 358 502.72/502.81 c 499s | 20 | 1084319 | 804127 | 4107 372 | 540 | 358 504.71/504.85 c 501s | 20 | 1089064 | 807727 | 4107 373 | 540 | 358 506.82/506.91 c 503s | 20 | 1093155 | 810827 | 4107 374 | 540 | 358 508.82/508.97 c 506s | 20 | 1097150 | 813827 | 4107 375 | 540 | 358 510.92/511.02 c 508s | 20 | 1101087 | 816727 | 4107 376 | 540 | 358 512.92/513.04 c 510s | 20 | 1105004 | 819527 | 4107 378 | 540 | 358 514.91/515.07 c 512s | 20 | 1109174 | 822527 | 4107 379 | 540 | 358 516.92/517.09 c 514s | 20 | 1113125 | 825227 | 4107 380 | 540 | 358 519.01/519.16 c 516s | 20 | 1116583 | 828027 | 4107 381 | 540 | 358 521.01/521.17 c 518s | 20 | 1120500 | 830727 | 4107 382 | 540 | 358 523.11/523.25 c 520s | 20 | 1124487 | 833627 | 4107 383 | 540 | 358 525.21/525.31 c 522s | 20 | 1128865 | 836627 | 4107 384 | 540 | 358 527.21/527.34 c 524s | 20 | 1132989 | 839427 | 4107 385 | 540 | 358 529.20/529.34 c 526s | 20 | 1136673 | 842127 | 4107 386 | 540 | 358 531.21/531.39 c 528s | 20 | 1140686 | 845027 | 4107 387 | 540 | 358 533.30/533.44 c 530s | 20 | 1144924 | 848127 | 4107 389 | 540 | 358 535.30/535.47 c 532s | 20 | 1149498 | 851227 | 4107 390 | 540 | 358 537.40/537.52 c 534s | 20 | 1153547 | 854227 | 4107 391 | 540 | 358 539.40/539.59 c 536s | 20 | 1157779 | 857427 | 4107 392 | 540 | 358 541.50/541.61 c 538s | 20 | 1163709 | 862827 | 4107 394 | 540 | 358 543.50/543.62 c 540s | 20 | 1168460 | 866827 | 4107 396 | 540 | 358 545.51/545.65 c 542s | 20 | 1173785 | 871027 | 4107 397 | 540 | 358 547.50/547.69 c 544s | 20 | 1178639 | 875027 | 4107 399 | 540 | 358 549.59/549.72 c 546s | 20 | 1183464 | 879027 | 4107 400 | 540 | 358 551.59/551.73 c 548s | 20 | 1187651 | 882727 | 4107 402 | 540 | 358 553.59/553.75 c 550s | 20 | 1191673 | 886227 | 4107 403 | 540 | 358 555.59/555.76 c 552s | 20 | 1196175 | 890427 | 4107 404 | 540 | 358 557.60/557.77 c 554s | 20 | 1199922 | 894027 | 4107 406 | 540 | 358 559.69/559.80 c 556s | 20 | 1204198 | 897927 | 4107 407 | 540 | 358 561.69/561.82 c 558s | 20 | 1209443 | 902527 | 4107 409 | 540 | 358 563.79/563.90 c 560s | 20 | 1214208 | 906727 | 4107 411 | 540 | 358 565.79/565.90 c 562s | 20 | 1218710 | 910827 | 4107 412 | 540 | 358 567.79/567.94 c 564s | 20 | 1223065 | 914927 | 4107 414 | 540 | 358 569.79/569.97 c 567s | 20 | 1227848 | 919427 | 4107 415 | 540 | 358 571.78/571.99 c 569s | 20 | 1231773 | 923227 | 4107 417 | 540 | 358 573.88/574.01 c 571s | 20 | 1236152 | 927427 | 4107 418 | 540 | 358 575.88/576.01 c 573s | 20 | 1241065 | 931727 | 4107 420 | 540 | 358 577.88/578.05 c 575s | 20 | 1246355 | 936127 | 4107 422 | 540 | 358 579.98/580.10 c 577s | 20 | 1251447 | 940427 | 4107 423 | 540 | 358 581.98/582.14 c 579s | 20 | 1256167 | 944527 | 4107 425 | 540 | 358 583.98/584.18 c 581s | 20 | 1261551 | 949027 | 4107 426 | 540 | 358 585.97/586.19 c 583s | 20 | 1267129 | 953327 | 4107 428 | 540 | 358 588.07/588.22 c 585s | 20 | 1271293 | 957127 | 4107 429 | 540 | 358 590.07/590.24 c 587s | 20 | 1276466 | 961327 | 4107 431 | 540 | 358 592.07/592.26 c 589s | 20 | 1281538 | 965327 | 4107 432 | 540 | 358 594.07/594.27 c 591s | 20 | 1285938 | 969327 | 4107 434 | 540 | 358 596.18/596.30 c 593s | 20 | 1290761 | 973527 | 4107 436 | 540 | 358 598.17/598.31 c 595s | 20 | 1295661 | 977727 | 4107 437 | 540 | 358 600.17/600.32 c 597s | 20 | 1300438 | 981627 | 4107 439 | 540 | 358 602.17/602.34 c 599s | 20 | 1305559 | 985827 | 4107 440 | 540 | 358 604.16/604.39 c 601s | 20 | 1310307 | 989727 | 4518 441 | 540 | 358 606.26/606.42 c 603s | 20 | 1314690 | 993427 | 4518 443 | 540 | 358 608.27/608.43 c 605s | 20 | 1319719 | 997427 | 4518 444 | 540 | 358 609.66/609.89 c 606s | 21 | 1322891 | 1000345 | 4518 445 | 540 | 358 611.77/611.93 c 608s | 21 | 1328529 | 1004245 | 4518 447 | 540 | 358 613.77/613.99 c 611s | 21 | 1331696 | 1006945 | 4518 447 | 540 | 358 615.87/616.02 c 613s | 21 | 1333875 | 1008945 | 4518 448 | 540 | 358 617.86/618.09 c 615s | 21 | 1335955 | 1010945 | 4518 449 | 540 | 358 619.96/620.13 c 617s | 21 | 1338255 | 1013045 | 4518 450 | 540 | 358 621.96/622.14 c 619s | 21 | 1340793 | 1015345 | 4518 451 | 540 | 358 623.96/624.14 c 621s | 21 | 1343592 | 1017545 | 4518 451 | 540 | 358 626.06/626.23 c 623s | 21 | 1345792 | 1019545 | 4518 452 | 540 | 358 628.07/628.27 c 625s | 21 | 1349446 | 1023145 | 4518 453 | 540 | 358 630.06/630.29 c 627s | 21 | 1354208 | 1027845 | 4518 455 | 540 | 358 632.16/632.32 c 629s | 21 | 1359490 | 1033045 | 4518 457 | 540 | 358 634.26/634.41 c 631s | 21 | 1364131 | 1037545 | 4518 459 | 540 | 358 636.26/636.46 c 633s | 21 | 1368883 | 1042245 | 4518 460 | 540 | 358 638.26/638.49 c 635s | 21 | 1373187 | 1046545 | 4518 462 | 540 | 358 640.36/640.52 c 637s | 21 | 1378524 | 1051445 | 4518 464 | 540 | 358 642.36/642.55 c 639s | 21 | 1383418 | 1056045 | 4518 465 | 540 | 358 644.35/644.57 c 641s | 21 | 1388286 | 1060745 | 4518 467 | 540 | 358 646.35/646.58 c 643s | 21 | 1392772 | 1064945 | 4518 468 | 540 | 358 648.45/648.61 c 645s | 21 | 1398502 | 1070145 | 4518 470 | 540 | 358 650.45/650.62 c 647s | 21 | 1403715 | 1074945 | 4518 472 | 540 | 358 652.45/652.66 c 649s | 21 | 1408908 | 1079745 | 4518 474 | 540 | 358 654.55/654.70 c 651s | 21 | 1414485 | 1084745 | 4518 476 | 540 | 358 656.55/656.74 c 653s | 21 | 1417673 | 1087545 | 4518 477 | 540 | 358 658.65/658.81 c 655s | 21 | 1420620 | 1090345 | 4518 478 | 540 | 358 660.65/660.81 c 657s | 21 | 1423153 | 1092845 | 4518 478 | 540 | 358 662.65/662.81 c 659s | 21 | 1425585 | 1095245 | 4518 479 | 540 | 358 664.65/664.85 c 661s | 21 | 1428043 | 1097645 | 4518 480 | 540 | 358 666.64/666.89 c 663s | 21 | 1430791 | 1100345 | 4518 481 | 540 | 358 668.75/668.94 c 665s | 21 | 1433332 | 1102845 | 4518 482 | 540 | 358 670.74/670.96 c 668s | 21 | 1435724 | 1105145 | 4518 483 | 540 | 358 672.84/673.03 c 670s | 21 | 1438215 | 1107545 | 4518 484 | 540 | 358 674.84/675.09 c 672s | 21 | 1440844 | 1110045 | 4518 485 | 540 | 358 676.94/677.13 c 674s | 21 | 1443456 | 1112545 | 4518 486 | 540 | 358 678.93/679.19 c 676s | 21 | 1446142 | 1115145 | 4518 486 | 540 | 358 681.03/681.27 c 678s | 21 | 1448508 | 1117445 | 4518 487 | 540 | 358 683.13/683.34 c 680s | 21 | 1451179 | 1120045 | 4518 488 | 540 | 358 685.14/685.36 c 682s | 21 | 1453680 | 1122445 | 4518 489 | 540 | 358 687.23/687.42 c 684s | 21 | 1456280 | 1124945 | 4518 490 | 540 | 358 689.23/689.48 c 686s | 21 | 1458635 | 1127245 | 4518 491 | 540 | 358 691.23/691.49 c 688s | 21 | 1461010 | 1129545 | 4518 492 | 540 | 358 693.33/693.54 c 690s | 21 | 1463478 | 1131945 | 4518 493 | 540 | 358 695.33/695.56 c 692s | 21 | 1466027 | 1134445 | 4518 493 | 540 | 358 697.43/697.64 c 694s | 21 | 1468656 | 1136945 | 4518 494 | 540 | 358 699.43/699.66 c 696s | 21 | 1474262 | 1141945 | 4518 496 | 540 | 358 701.42/701.68 c 698s | 21 | 1478323 | 1145745 | 4518 497 | 540 | 358 703.52/703.75 c 700s | 21 | 1482686 | 1149945 | 4518 499 | 540 | 358 705.52/705.79 c 702s | 21 | 1486670 | 1153645 | 4518 500 | 540 | 358 707.62/707.80 c 704s | 21 | 1490931 | 1157745 | 4518 502 | 540 | 358 709.62/709.85 c 706s | 21 | 1495769 | 1162245 | 4518 503 | 540 | 358 711.63/711.85 c 708s | 21 | 1499863 | 1166045 | 4518 505 | 540 | 358 713.62/713.89 c 710s | 21 | 1504403 | 1170345 | 4518 506 | 540 | 358 715.72/715.97 c 713s | 21 | 1508678 | 1174345 | 4518 508 | 540 | 358 717.72/717.99 c 715s | 21 | 1513225 | 1178645 | 4518 509 | 540 | 358 719.81/720.02 c 717s | 21 | 1517177 | 1182345 | 4518 511 | 540 | 358 721.81/722.04 c 719s | 21 | 1521754 | 1186745 | 4518 512 | 540 | 358 723.82/724.04 c 721s | 21 | 1526500 | 1191245 | 4518 514 | 540 | 358 725.83/726.06 c 723s | 21 | 1530715 | 1195045 | 4518 515 | 540 | 358 727.82/728.07 c 725s | 21 | 1534332 | 1198145 | 4518 516 | 540 | 358 729.82/730.09 c 727s | 21 | 1539385 | 1202845 | 4518 518 | 540 | 358 731.92/732.10 c 729s | 21 | 1541836 | 1205245 | 4518 519 | 540 | 358 733.92/734.11 c 731s | 21 | 1544365 | 1207745 | 4518 520 | 540 | 358 735.92/736.13 c 733s | 21 | 1546800 | 1210145 | 4518 521 | 540 | 358 737.92/738.16 c 735s | 21 | 1549228 | 1212545 | 4518 522 | 540 | 358 739.91/740.17 c 737s | 21 | 1551611 | 1214845 | 4518 522 | 540 | 358 741.91/742.17 c 739s | 21 | 1554890 | 1217445 | 4518 523 | 540 | 358 743.91/744.19 c 741s | 21 | 1558672 | 1220045 | 4518 524 | 540 | 358 746.01/746.29 c 743s | 21 | 1562012 | 1222545 | 4518 525 | 540 | 358 748.10/748.35 c 745s | 21 | 1565329 | 1224945 | 4518 526 | 540 | 358 750.11/750.39 c 747s | 21 | 1569331 | 1227845 | 4518 527 | 540 | 358 752.21/752.45 c 749s | 21 | 1573318 | 1230745 | 4518 528 | 540 | 358 754.30/754.50 c 751s | 21 | 1577218 | 1233545 | 4518 529 | 540 | 358 756.30/756.51 c 753s | 21 | 1581009 | 1236145 | 4518 530 | 540 | 358 758.30/758.54 c 755s | 21 | 1584417 | 1238645 | 4518 531 | 540 | 358 760.30/760.54 c 757s | 21 | 1587916 | 1241145 | 4518 532 | 540 | 358 762.40/762.61 c 759s | 21 | 1591099 | 1243545 | 4518 533 | 540 | 358 764.41/764.67 c 761s | 21 | 1594718 | 1246045 | 4518 534 | 540 | 358 766.51/766.79 c 763s | 21 | 1598338 | 1248545 | 4518 535 | 540 | 358 768.60/768.80 c 765s | 21 | 1601795 | 1250945 | 4518 535 | 540 | 358 770.59/770.85 c 767s | 21 | 1605522 | 1253645 | 4518 536 | 540 | 358 772.69/772.91 c 769s | 21 | 1609138 | 1256445 | 4518 537 | 540 | 358 774.69/774.92 c 771s | 21 | 1613329 | 1259345 | 4518 538 | 540 | 358 776.69/776.98 c 774s | 21 | 1617386 | 1262145 | 4518 539 | 540 | 358 778.79/779.00 c 776s | 21 | 1621352 | 1264945 | 4518 540 | 540 | 358 780.80/781.01 c 778s | 21 | 1624600 | 1267445 | 4518 541 | 540 | 358 782.79/783.07 c 780s | 21 | 1627734 | 1269845 | 4518 542 | 540 | 358 784.89/785.10 c 782s | 21 | 1630908 | 1272245 | 4518 543 | 540 | 358 786.89/787.11 c 784s | 21 | 1635946 | 1275545 | 4518 544 | 540 | 358 788.89/789.16 c 786s | 21 | 1640123 | 1278445 | 4518 545 | 540 | 358 790.99/791.20 c 788s | 21 | 1644142 | 1281245 | 4518 546 | 540 | 358 792.99/793.27 c 790s | 21 | 1647436 | 1283745 | 4518 547 | 540 | 358 794.99/795.28 c 792s | 21 | 1650754 | 1286145 | 4518 548 | 540 | 358 796.98/797.29 c 794s | 21 | 1654623 | 1288745 | 4518 549 | 540 | 358 799.08/799.32 c 796s | 21 | 1658247 | 1291445 | 4518 550 | 540 | 358 801.08/801.37 c 798s | 21 | 1663113 | 1294445 | 4518 551 | 540 | 358 803.18/803.40 c 800s | 21 | 1668446 | 1297445 | 4518 552 | 540 | 358 805.18/805.44 c 802s | 21 | 1674543 | 1300645 | 4518 553 | 540 | 358 807.18/807.50 c 804s | 21 | 1678664 | 1303545 | 4518 554 | 540 | 358 809.27/809.57 c 806s | 21 | 1682568 | 1306345 | 4518 555 | 540 | 358 811.27/811.59 c 808s | 21 | 1686335 | 1309145 | 4518 556 | 540 | 358 813.37/813.64 c 810s | 21 | 1689758 | 1311745 | 4518 557 | 540 | 358 815.47/815.70 c 812s | 21 | 1693732 | 1314545 | 4518 558 | 540 | 358 817.47/817.74 c 814s | 21 | 1697359 | 1317145 | 4518 559 | 540 | 358 819.57/819.80 c 816s | 21 | 1701435 | 1320045 | 4518 560 | 540 | 358 821.57/821.83 c 818s | 21 | 1705083 | 1322745 | 4518 561 | 540 | 358 823.57/823.90 c 820s | 21 | 1708667 | 1325345 | 4518 562 | 540 | 358 825.67/825.98 c 823s | 21 | 1712147 | 1327945 | 4518 563 | 540 | 358 827.67/827.99 c 825s | 21 | 1715486 | 1330345 | 4518 564 | 540 | 358 829.76/830.00 c 827s | 21 | 1719168 | 1333145 | 4518 565 | 540 | 358 831.76/832.07 c 829s | 21 | 1722987 | 1335745 | 4518 566 | 540 | 358 833.76/834.08 c 831s | 21 | 1726420 | 1338145 | 4518 566 | 540 | 358 835.77/836.09 c 833s | 21 | 1731434 | 1340945 | 4518 567 | 540 | 358 837.86/838.10 c 835s | 21 | 1734790 | 1343445 | 4518 568 | 540 | 358 839.86/840.14 c 837s | 21 | 1739020 | 1346245 | 4518 569 | 540 | 358 841.86/842.15 c 839s | 21 | 1742862 | 1348945 | 4518 570 | 540 | 358 843.86/844.20 c 841s | 21 | 1746426 | 1351645 | 4518 571 | 540 | 358 845.96/846.22 c 843s | 21 | 1749755 | 1354045 | 4518 572 | 540 | 358 848.06/848.30 c 845s | 21 | 1752573 | 1356245 | 4518 573 | 540 | 358 850.06/850.31 c 847s | 21 | 1756203 | 1358645 | 4518 574 | 540 | 358 852.05/852.33 c 849s | 21 | 1759974 | 1361245 | 4518 575 | 540 | 358 854.05/854.38 c 851s | 21 | 1763461 | 1363745 | 4518 576 | 540 | 358 856.05/856.38 c 853s | 21 | 1766947 | 1366245 | 4518 577 | 540 | 358 858.15/858.42 c 855s | 21 | 1770467 | 1368845 | 4518 577 | 540 | 358 860.25/860.50 c 857s | 21 | 1773859 | 1371245 | 4518 578 | 540 | 358 862.25/862.52 c 859s | 21 | 1777279 | 1373745 | 4518 579 | 540 | 358 864.25/864.54 c 861s | 21 | 1780810 | 1376245 | 4518 580 | 540 | 358 866.35/866.60 c 863s | 21 | 1784544 | 1378845 | 4518 581 | 540 | 358 868.34/868.61 c 865s | 21 | 1788342 | 1381745 | 4518 582 | 540 | 358 870.35/870.62 c 867s | 21 | 1792947 | 1385145 | 4518 583 | 540 | 358 872.35/872.68 c 869s | 21 | 1797631 | 1388445 | 4518 584 | 540 | 358 874.45/874.73 c 871s | 21 | 1802219 | 1391645 | 4518 586 | 540 | 358 876.45/876.74 c 873s | 21 | 1806491 | 1394745 | 4518 587 | 540 | 358 878.45/878.76 c 875s | 21 | 1810871 | 1397645 | 4518 588 | 540 | 358 880.45/880.77 c 877s | 21 | 1815529 | 1400645 | 4518 589 | 540 | 358 882.44/882.79 c 879s | 21 | 1820054 | 1403645 | 4518 590 | 540 | 358 884.54/884.82 c 881s | 21 | 1824878 | 1406745 | 4518 591 | 540 | 358 886.54/886.88 c 883s | 21 | 1829209 | 1409645 | 4518 592 | 540 | 358 888.65/888.94 c 885s | 21 | 1833322 | 1412445 | 4518 593 | 540 | 358 890.64/890.96 c 887s | 21 | 1837463 | 1415345 | 4518 594 | 540 | 358 892.74/893.02 c 890s | 21 | 1842067 | 1418345 | 4518 595 | 540 | 358 894.74/895.04 c 892s | 21 | 1845899 | 1421145 | 4518 596 | 540 | 358 896.74/897.09 c 894s | 21 | 1849838 | 1423945 | 4518 597 | 540 | 358 898.84/899.15 c 896s | 21 | 1854574 | 1427045 | 4518 598 | 540 | 358 900.94/901.20 c 898s | 21 | 1858769 | 1429945 | 4518 599 | 540 | 358 902.94/903.25 c 900s | 21 | 1862893 | 1432945 | 4518 600 | 540 | 358 905.04/905.31 c 902s | 21 | 1867324 | 1436045 | 4518 602 | 540 | 358 907.04/907.35 c 904s | 21 | 1871218 | 1438945 | 4518 603 | 540 | 358 909.03/909.37 c 906s | 21 | 1875603 | 1441945 | 4518 604 | 540 | 358 911.13/911.41 c 908s | 21 | 1879813 | 1445045 | 4518 605 | 540 | 358 913.13/913.43 c 910s | 21 | 1883789 | 1448045 | 4518 606 | 540 | 358 915.13/915.47 c 912s | 21 | 1887645 | 1450945 | 4518 607 | 540 | 358 917.14/917.49 c 914s | 21 | 1891440 | 1453645 | 4518 608 | 540 | 358 919.23/919.54 c 916s | 21 | 1895374 | 1456545 | 4518 609 | 540 | 358 921.33/921.60 c 918s | 21 | 1899400 | 1459545 | 4518 610 | 540 | 358 923.33/923.60 c 920s | 21 | 1903598 | 1462445 | 4518 611 | 540 | 358 925.33/925.63 c 922s | 21 | 1907475 | 1465245 | 4518 612 | 540 | 358 927.33/927.67 c 924s | 21 | 1912288 | 1468345 | 4518 613 | 540 | 358 929.42/929.72 c 926s | 21 | 1917115 | 1471345 | 4518 614 | 540 | 358 931.43/931.75 c 928s | 21 | 1921626 | 1474545 | 4518 615 | 540 | 358 933.42/933.79 c 930s | 21 | 1925779 | 1477545 | 4518 616 | 540 | 358 935.52/935.81 c 932s | 21 | 1930507 | 1480745 | 4518 618 | 540 | 358 937.52/937.84 c 934s | 21 | 1935657 | 1484045 | 4970 619 | 540 | 358 939.52/939.85 c 936s | 21 | 1941972 | 1487445 | 4970 620 | 540 | 358 941.62/941.93 c 938s | 21 | 1946652 | 1490545 | 4970 621 | 540 | 358 943.72/944.00 c 941s | 21 | 1950591 | 1493445 | 4970 622 | 540 | 358 945.72/946.01 c 943s | 21 | 1954812 | 1496345 | 4970 623 | 540 | 358 947.72/948.07 c 945s | 21 | 1958712 | 1499145 | 4970 623 | 540 | 358 948.71/949.08 c 946s | 22 | 1960650 | 1500622 | 4970 624 | 540 | 358 950.81/951.10 c 948s | 22 | 1964915 | 1503522 | 4970 625 | 540 | 358 952.81/953.15 c 950s | 22 | 1968759 | 1506422 | 4970 626 | 540 | 358 954.91/955.20 c 952s | 22 | 1972251 | 1509122 | 4970 627 | 540 | 358 956.91/957.21 c 954s | 22 | 1976131 | 1511822 | 4970 628 | 540 | 358 958.91/959.22 c 956s | 22 | 1980395 | 1514722 | 4970 629 | 540 | 358 960.91/961.29 c 958s | 22 | 1984762 | 1517722 | 4970 630 | 540 | 358 963.01/963.31 c 960s | 22 | 1988767 | 1520722 | 4970 631 | 540 | 358 965.01/965.34 c 962s | 22 | 1992567 | 1523522 | 4970 632 | 540 | 358 967.01/967.36 c 964s | 22 | 1996367 | 1526222 | 4970 632 | 540 | 358 969.10/969.43 c 966s | 22 | 2000875 | 1529322 | 4970 633 | 540 | 358 971.11/971.46 c 968s | 22 | 2004753 | 1532022 | 4970 634 | 540 | 358 973.10/973.47 c 970s | 22 | 2008778 | 1534822 | 4970 635 | 540 | 358 975.20/975.50 c 972s | 22 | 2013248 | 1538022 | 4970 636 | 540 | 358 977.20/977.54 c 974s | 22 | 2017491 | 1541122 | 4970 637 | 540 | 358 979.20/979.55 c 976s | 22 | 2022347 | 1544222 | 4970 638 | 540 | 358 981.19/981.58 c 978s | 22 | 2026330 | 1547122 | 4970 639 | 540 | 358 983.29/983.61 c 980s | 22 | 2030162 | 1550022 | 4970 640 | 540 | 358 985.30/985.69 c 982s | 22 | 2034144 | 1552922 | 4970 641 | 540 | 358 987.39/987.74 c 984s | 22 | 2038168 | 1555922 | 4970 642 | 540 | 358 989.39/989.77 c 986s | 22 | 2041909 | 1558722 | 4970 643 | 540 | 358 991.49/991.81 c 988s | 22 | 2045653 | 1561522 | 4970 644 | 540 | 358 993.49/993.86 c 990s | 22 | 2049585 | 1564322 | 4970 645 | 540 | 358 995.49/995.87 c 992s | 22 | 2053377 | 1567122 | 4970 646 | 540 | 358 997.50/997.88 c 994s | 22 | 2057486 | 1570122 | 4970 647 | 540 | 358 999.59/999.95 c 996s | 22 | 2061826 | 1573122 | 4970 648 | 540 | 358 1001.68/1002.00 c 999s | 22 | 2066438 | 1576222 | 4970 649 | 540 | 358 1003.68/1004.01 c 1001s | 22 | 2070351 | 1579222 | 4970 650 | 540 | 358 1005.68/1006.01 c 1003s | 22 | 2075242 | 1582222 | 4970 651 | 540 | 358 1007.68/1008.02 c 1005s | 22 | 2079297 | 1585122 | 4970 652 | 540 | 358 1009.68/1010.06 c 1007s | 22 | 2083635 | 1588022 | 4970 653 | 540 | 358 1011.69/1012.10 c 1009s | 22 | 2087560 | 1590922 | 4970 654 | 540 | 358 1013.78/1014.11 c 1011s | 22 | 2091527 | 1593822 | 4970 655 | 540 | 358 1015.78/1016.17 c 1013s | 22 | 2095354 | 1596622 | 4970 656 | 540 | 358 1017.78/1018.18 c 1015s | 22 | 2099125 | 1599522 | 4970 657 | 540 | 358 1019.87/1020.26 c 1017s | 22 | 2103325 | 1602622 | 4970 658 | 540 | 358 1021.87/1022.28 c 1019s | 22 | 2108620 | 1605522 | 4970 659 | 540 | 358 1023.97/1024.30 c 1021s | 22 | 2112493 | 1608422 | 4970 660 | 540 | 358 1025.98/1026.33 c 1023s | 22 | 2116332 | 1611222 | 4970 661 | 540 | 358 1027.97/1028.34 c 1025s | 22 | 2121848 | 1614422 | 4970 662 | 540 | 358 1030.07/1030.40 c 1027s | 22 | 2127369 | 1617322 | 4970 663 | 540 | 358 1032.07/1032.41 c 1029s | 22 | 2133590 | 1620522 | 4970 664 | 540 | 358 1034.07/1034.44 c 1031s | 22 | 2139300 | 1623722 | 4970 665 | 540 | 358 1036.17/1036.50 c 1033s | 22 | 2143537 | 1626322 | 4970 666 | 540 | 358 1038.17/1038.53 c 1035s | 22 | 2147631 | 1629122 | 4970 666 | 540 | 358 1040.16/1040.56 c 1037s | 22 | 2151394 | 1631822 | 4970 667 | 540 | 358 1042.16/1042.58 c 1039s | 22 | 2155626 | 1634822 | 4970 668 | 540 | 358 1044.16/1044.58 c 1041s | 22 | 2160962 | 1638922 | 4970 670 | 540 | 358 1046.26/1046.60 c 1043s | 22 | 2169414 | 1646622 | 4970 672 | 540 | 358 1048.25/1048.61 c 1045s | 22 | 2178150 | 1653722 | 4970 675 | 540 | 358 1050.26/1050.63 c 1047s | 22 | 2185500 | 1660322 | 4970 677 | 540 | 358 1052.25/1052.64 c 1049s | 22 | 2194168 | 1667822 | 4970 679 | 540 | 358 1054.25/1054.65 c 1051s | 22 | 2201739 | 1674422 | 4970 682 | 540 | 358 1056.25/1056.66 c 1053s | 22 | 2209356 | 1680922 | 4970 684 | 540 | 358 1058.25/1058.68 c 1055s | 22 | 2216989 | 1687722 | 4970 686 | 540 | 358 1060.25/1060.68 c 1057s | 22 | 2223802 | 1693222 | 4970 688 | 540 | 358 1062.26/1062.69 c 1059s | 22 | 2229812 | 1698022 | 4970 689 | 540 | 358 1064.26/1064.69 c 1061s | 22 | 2237598 | 1705122 | 4970 692 | 540 | 358 1066.35/1066.70 c 1063s | 22 | 2244136 | 1711022 | 4970 694 | 540 | 358 1068.35/1068.71 c 1065s | 22 | 2250967 | 1717322 | 4970 696 | 540 | 358 1070.35/1070.73 c 1067s | 22 | 2257283 | 1723222 | 4970 698 | 540 | 358 1072.35/1072.74 c 1069s | 22 | 2263492 | 1728722 | 4970 700 | 540 | 358 1074.35/1074.74 c 1071s | 22 | 2269858 | 1734622 | 4970 702 | 540 | 358 1076.35/1076.77 c 1073s | 22 | 2276289 | 1740722 | 4970 704 | 540 | 358 1078.34/1078.79 c 1075s | 22 | 2282964 | 1746722 | 4970 706 | 540 | 358 1080.44/1080.82 c 1077s | 22 | 2291118 | 1754122 | 4970 708 | 540 | 358 1082.44/1082.82 c 1079s | 22 | 2297933 | 1760322 | 4970 710 | 540 | 358 1084.44/1084.83 c 1081s | 22 | 2304032 | 1766122 | 4970 712 | 540 | 358 1086.45/1086.86 c 1083s | 22 | 2310495 | 1772322 | 4970 714 | 540 | 358 1088.44/1088.87 c 1085s | 22 | 2316640 | 1777422 | 4970 716 | 540 | 358 1090.44/1090.87 c 1087s | 22 | 2320387 | 1780322 | 4970 717 | 540 | 358 1092.53/1092.93 c 1089s | 22 | 2324356 | 1783222 | 4970 718 | 540 | 358 1094.53/1094.93 c 1091s | 22 | 2327965 | 1785922 | 4970 719 | 540 | 358 1096.53/1097.00 c 1094s | 22 | 2331269 | 1788422 | 4970 720 | 540 | 358 1098.64/1099.08 c 1096s | 22 | 2334770 | 1791022 | 4970 720 | 540 | 358 1100.74/1101.11 c 1098s | 22 | 2338351 | 1793722 | 4970 721 | 540 | 358 1102.73/1103.16 c 1100s | 22 | 2342099 | 1796422 | 4970 722 | 540 | 358 1104.83/1105.21 c 1102s | 22 | 2345525 | 1799122 | 4970 723 | 540 | 358 1106.83/1107.24 c 1104s | 22 | 2349441 | 1801922 | 4970 724 | 540 | 358 1108.82/1109.27 c 1106s | 22 | 2353061 | 1804622 | 4970 725 | 540 | 358 1110.82/1111.28 c 1108s | 22 | 2357038 | 1807422 | 4970 726 | 540 | 358 1112.83/1113.30 c 1110s | 22 | 2360878 | 1810022 | 4970 727 | 540 | 358 1114.92/1115.32 c 1112s | 22 | 2364566 | 1812722 | 4970 728 | 540 | 358 1116.92/1117.35 c 1114s | 22 | 2368038 | 1815322 | 4970 729 | 540 | 358 1118.92/1119.35 c 1116s | 22 | 2372090 | 1818122 | 4970 729 | 540 | 358 1121.02/1121.41 c 1118s | 22 | 2375678 | 1820822 | 4970 730 | 540 | 358 1123.02/1123.46 c 1120s | 22 | 2379432 | 1823622 | 4970 731 | 540 | 358 1125.02/1125.49 c 1122s | 22 | 2384343 | 1826522 | 4970 732 | 540 | 358 1127.12/1127.56 c 1124s | 22 | 2388877 | 1829222 | 4970 733 | 540 | 358 1129.11/1129.56 c 1126s | 22 | 2392397 | 1831822 | 4970 734 | 540 | 358 1131.21/1131.60 c 1128s | 22 | 2395965 | 1834322 | 4970 735 | 540 | 358 1133.21/1133.65 c 1130s | 22 | 2399948 | 1837122 | 4970 736 | 540 | 358 1135.31/1135.71 c 1132s | 22 | 2404330 | 1840122 | 4970 737 | 540 | 358 1137.31/1137.77 c 1134s | 22 | 2408501 | 1843022 | 4970 738 | 540 | 358 1139.41/1139.83 c 1136s | 22 | 2412942 | 1845922 | 4970 739 | 540 | 358 1141.42/1141.88 c 1138s | 22 | 2417111 | 1848722 | 4970 740 | 540 | 358 1143.51/1143.91 c 1140s | 22 | 2421108 | 1851622 | 4970 741 | 540 | 358 1145.51/1145.98 c 1143s | 22 | 2425377 | 1854522 | 4970 742 | 540 | 358 1147.61/1148.05 c 1145s | 22 | 2429475 | 1857522 | 4970 743 | 540 | 358 1149.60/1150.05 c 1147s | 22 | 2433460 | 1860322 | 4970 743 | 540 | 358 1151.70/1152.13 c 1149s | 22 | 2437426 | 1863122 | 4970 744 | 540 | 358 1153.70/1154.19 c 1151s | 22 | 2441082 | 1865822 | 4970 745 | 540 | 358 1155.81/1156.25 c 1153s | 22 | 2445299 | 1868722 | 4970 746 | 540 | 358 1157.91/1158.33 c 1155s | 22 | 2449297 | 1871422 | 4970 747 | 540 | 358 1159.90/1160.36 c 1157s | 22 | 2453065 | 1874222 | 4970 748 | 540 | 358 1161.90/1162.39 c 1159s | 22 | 2457186 | 1877022 | 4970 749 | 540 | 358 1164.01/1164.42 c 1161s | 22 | 2461551 | 1880022 | 4970 750 | 540 | 358 1166.01/1166.42 c 1163s | 22 | 2465652 | 1882822 | 4970 751 | 540 | 358 1168.01/1168.48 c 1165s | 22 | 2469341 | 1885522 | 4970 752 | 540 | 358 1170.01/1170.49 c 1167s | 22 | 2473403 | 1888322 | 4970 753 | 540 | 358 1172.11/1172.53 c 1169s | 22 | 2477471 | 1891122 | 4970 754 | 540 | 358 1174.11/1174.58 c 1171s | 22 | 2481940 | 1894222 | 4970 755 | 540 | 358 1176.21/1176.63 c 1173s | 22 | 2486243 | 1897422 | 4970 756 | 540 | 358 1178.20/1178.64 c 1175s | 22 | 2490651 | 1900422 | 4970 757 | 540 | 358 1180.20/1180.68 c 1177s | 22 | 2495287 | 1903422 | 4970 758 | 540 | 358 1182.21/1182.69 c 1179s | 22 | 2500020 | 1906522 | 4970 759 | 540 | 358 1184.31/1184.71 c 1181s | 22 | 2504554 | 1909722 | 4970 760 | 540 | 358 1186.30/1186.76 c 1183s | 22 | 2508495 | 1912622 | 4970 761 | 540 | 358 1188.40/1188.82 c 1185s | 22 | 2512795 | 1915522 | 4970 762 | 540 | 358 1190.40/1190.84 c 1187s | 22 | 2516968 | 1918322 | 4970 763 | 540 | 358 1192.40/1192.86 c 1189s | 22 | 2521489 | 1921222 | 4970 764 | 540 | 358 1194.40/1194.88 c 1191s | 22 | 2525974 | 1924222 | 4970 765 | 540 | 358 1196.51/1196.98 c 1194s | 22 | 2530044 | 1927122 | 4970 766 | 540 | 358 1198.50/1199.00 c 1196s | 22 | 2534647 | 1930122 | 4970 767 | 540 | 358 1200.60/1201.05 c 1198s | 22 | 2538670 | 1933022 | 4970 767 | 540 | 358 1202.60/1203.07 c 1200s | 22 | 2542395 | 1935922 | 4970 768 | 540 | 358 1204.70/1205.13 c 1202s | 22 | 2546279 | 1938722 | 4970 769 | 540 | 358 1206.70/1207.14 c 1204s | 22 | 2550296 | 1941622 | 4970 770 | 540 | 358 1208.70/1209.20 c 1206s | 22 | 2554363 | 1944522 | 4970 771 | 540 | 358 1210.71/1211.20 c 1208s | 22 | 2558350 | 1947422 | 4970 772 | 540 | 358 1212.80/1213.21 c 1210s | 22 | 2562218 | 1950322 | 4970 773 | 540 | 358 1214.80/1215.22 c 1212s | 22 | 2566410 | 1953322 | 4970 774 | 540 | 358 1216.80/1217.22 c 1214s | 22 | 2570900 | 1956422 | 4970 775 | 540 | 358 1218.80/1219.28 c 1216s | 22 | 2575135 | 1959522 | 4970 776 | 540 | 358 1220.90/1221.30 c 1218s | 22 | 2579592 | 1962522 | 4970 777 | 540 | 358 1222.90/1223.31 c 1220s | 22 | 2583590 | 1965322 | 4970 778 | 540 | 358 1224.89/1225.33 c 1222s | 22 | 2587457 | 1968022 | 4970 779 | 540 | 358 1226.89/1227.39 c 1224s | 22 | 2591553 | 1970822 | 4970 780 | 540 | 358 1228.99/1229.45 c 1226s | 22 | 2595644 | 1973622 | 4970 781 | 540 | 358 1231.09/1231.50 c 1228s | 22 | 2599670 | 1976322 | 4970 782 | 540 | 358 1233.09/1233.55 c 1230s | 22 | 2603928 | 1979222 | 4970 783 | 540 | 358 1235.19/1235.61 c 1232s | 22 | 2607898 | 1982122 | 4970 784 | 540 | 358 1237.20/1237.62 c 1234s | 22 | 2612504 | 1985022 | 4970 785 | 540 | 358 1239.19/1239.64 c 1236s | 22 | 2616579 | 1987922 | 4970 786 | 540 | 358 1241.29/1241.70 c 1238s | 22 | 2620359 | 1990622 | 4970 787 | 540 | 358 1243.29/1243.70 c 1240s | 22 | 2624330 | 1993522 | 4970 787 | 540 | 358 1245.29/1245.76 c 1242s | 22 | 2628375 | 1996322 | 4970 788 | 540 | 358 1247.39/1247.82 c 1244s | 22 | 2632752 | 1999322 | 4970 789 | 540 | 358 1249.39/1249.83 c 1246s | 22 | 2636783 | 2002222 | 4970 790 | 540 | 358 1251.40/1251.87 c 1248s | 22 | 2640827 | 2005222 | 4970 791 | 540 | 358 1253.39/1253.89 c 1250s | 22 | 2644830 | 2008122 | 4970 792 | 540 | 358 1255.49/1255.93 c 1252s | 22 | 2648618 | 2010922 | 4970 793 | 540 | 358 1257.49/1257.96 c 1254s | 22 | 2652569 | 2013822 | 4970 794 | 540 | 358 1259.59/1260.02 c 1257s | 22 | 2656288 | 2016622 | 4970 795 | 540 | 358 1261.59/1262.07 c 1259s | 22 | 2660517 | 2019522 | 4970 796 | 540 | 358 1263.60/1264.07 c 1261s | 22 | 2664436 | 2022322 | 4970 797 | 540 | 358 1265.69/1266.13 c 1263s | 22 | 2668140 | 2025222 | 4970 798 | 540 | 358 1267.69/1268.16 c 1265s | 22 | 2671840 | 2028022 | 4970 799 | 540 | 358 1269.79/1270.20 c 1267s | 22 | 2675789 | 2030822 | 4970 800 | 540 | 358 1271.79/1272.24 c 1269s | 22 | 2679950 | 2033722 | 4970 801 | 540 | 358 1273.79/1274.28 c 1271s | 22 | 2684170 | 2036822 | 4970 802 | 540 | 358 1275.89/1276.33 c 1273s | 22 | 2688029 | 2039722 | 4970 803 | 540 | 358 1277.89/1278.38 c 1275s | 22 | 2691629 | 2042322 | 4970 804 | 540 | 358 1279.89/1280.39 c 1277s | 22 | 2695719 | 2045122 | 4970 805 | 540 | 358 1281.99/1282.45 c 1279s | 22 | 2699716 | 2047922 | 4970 806 | 540 | 358 1283.98/1284.46 c 1281s | 22 | 2704106 | 2050922 | 4970 807 | 540 | 358 1285.98/1286.47 c 1283s | 22 | 2707726 | 2053522 | 4970 807 | 540 | 358 1288.08/1288.50 c 1285s | 22 | 2711500 | 2056322 | 4970 808 | 540 | 358 1290.08/1290.51 c 1287s | 22 | 2715630 | 2059222 | 4970 809 | 540 | 358 1292.09/1292.56 c 1289s | 22 | 2719753 | 2062122 | 4970 810 | 540 | 358 1294.18/1294.63 c 1291s | 22 | 2724361 | 2065322 | 4970 811 | 540 | 358 1296.18/1296.69 c 1293s | 22 | 2728267 | 2068222 | 4970 812 | 540 | 358 1298.28/1298.71 c 1295s | 22 | 2731945 | 2070922 | 4970 813 | 540 | 358 1300.28/1300.75 c 1297s | 22 | 2737010 | 2074722 | 4970 814 | 540 | 358 1302.28/1302.75 c 1299s | 22 | 2741133 | 2077722 | 4970 815 | 540 | 358 1304.29/1304.78 c 1301s | 22 | 2745007 | 2080622 | 4970 816 | 540 | 358 1306.38/1306.81 c 1303s | 22 | 2749081 | 2083522 | 4970 817 | 540 | 358 1308.38/1308.86 c 1305s | 22 | 2753423 | 2086522 | 4970 818 | 540 | 358 1310.48/1310.90 c 1307s | 22 | 2757677 | 2089422 | 4970 819 | 540 | 358 1312.48/1312.95 c 1309s | 22 | 2761367 | 2092322 | 4970 820 | 540 | 358 1314.48/1314.96 c 1312s | 22 | 2764989 | 2095022 | 4970 821 | 540 | 358 1316.58/1317.03 c 1314s | 22 | 2768727 | 2097822 | 4970 822 | 540 | 358 1318.58/1319.04 c 1316s | 22 | 2772377 | 2100422 | 4970 823 | 540 | 358 1320.68/1321.11 c 1318s | 22 | 2775995 | 2103022 | 4970 824 | 540 | 358 1322.68/1323.12 c 1320s | 22 | 2779792 | 2105822 | 4970 825 | 540 | 358 1324.68/1325.18 c 1322s | 22 | 2783659 | 2108622 | 4970 826 | 540 | 358 1326.78/1327.24 c 1324s | 22 | 2787301 | 2111322 | 4970 827 | 540 | 358 1328.78/1329.28 c 1326s | 22 | 2791152 | 2114122 | 4970 828 | 540 | 358 1330.87/1331.34 c 1328s | 22 | 2795450 | 2117122 | 4970 829 | 540 | 358 1332.88/1333.35 c 1330s | 22 | 2799505 | 2120122 | 4970 830 | 540 | 358 1334.87/1335.36 c 1332s | 22 | 2803615 | 2123122 | 4970 830 | 540 | 358 1336.87/1337.39 c 1334s | 22 | 2807500 | 2125922 | 4970 831 | 540 | 358 1338.97/1339.43 c 1336s | 22 | 2811352 | 2128922 | 4970 832 | 540 | 358 1340.97/1341.49 c 1338s | 22 | 2815206 | 2132022 | 4970 833 | 540 | 358 1343.07/1343.56 c 1340s | 22 | 2819674 | 2135122 | 4970 835 | 540 | 358 1345.07/1345.57 c 1342s | 22 | 2823553 | 2138122 | 4970 835 | 540 | 358 1347.18/1347.63 c 1344s | 22 | 2827738 | 2141222 | 4970 837 | 540 | 358 1349.17/1349.70 c 1346s | 22 | 2831879 | 2144222 | 4970 838 | 540 | 358 1351.27/1351.71 c 1348s | 22 | 2835807 | 2147122 | 4970 838 | 540 | 358 1353.37/1353.80 c 1350s | 22 | 2840028 | 2150222 | 4970 840 | 540 | 358 1355.37/1355.82 c 1352s | 22 | 2844302 | 2153222 | 4970 840 | 540 | 358 1357.37/1357.87 c 1354s | 22 | 2848235 | 2156222 | 4970 842 | 540 | 358 1359.38/1359.88 c 1356s | 22 | 2852507 | 2159322 | 4970 843 | 540 | 358 1361.49/1361.93 c 1358s | 22 | 2857002 | 2162522 | 4970 844 | 540 | 358 1363.48/1363.94 c 1360s | 22 | 2861111 | 2165522 | 4970 845 | 540 | 358 1365.58/1366.00 c 1363s | 22 | 2865111 | 2168322 | 4970 846 | 540 | 358 1367.58/1368.05 c 1365s | 22 | 2869428 | 2171222 | 4970 846 | 540 | 358 1369.68/1370.10 c 1367s | 22 | 2872927 | 2173722 | 4970 847 | 540 | 358 1371.68/1372.11 c 1369s | 22 | 2876403 | 2176222 | 4970 848 | 540 | 358 1373.68/1374.14 c 1371s | 22 | 2879433 | 2178522 | 4970 849 | 540 | 358 1375.78/1376.21 c 1373s | 22 | 2882867 | 2181122 | 4970 850 | 540 | 358 1377.78/1378.27 c 1375s | 22 | 2886310 | 2183522 | 4970 851 | 540 | 358 1379.87/1380.32 c 1377s | 22 | 2889544 | 2185922 | 4970 851 | 540 | 358 1381.87/1382.37 c 1379s | 22 | 2893086 | 2188522 | 4970 852 | 540 | 358 1383.97/1384.42 c 1381s | 22 | 2897360 | 2191622 | 4970 853 | 540 | 358 1385.97/1386.46 c 1383s | 22 | 2901598 | 2194722 | 4970 854 | 540 | 358 1388.07/1388.53 c 1385s | 22 | 2905705 | 2197722 | 4970 855 | 540 | 358 1390.08/1390.57 c 1387s | 22 | 2909415 | 2200522 | 4970 856 | 540 | 358 1392.18/1392.63 c 1389s | 22 | 2913422 | 2203422 | 4970 857 | 540 | 358 1394.17/1394.69 c 1391s | 22 | 2917418 | 2206322 | 4970 858 | 540 | 358 1396.27/1396.72 c 1393s | 22 | 2921464 | 2209122 | 4970 859 | 540 | 358 1398.27/1398.77 c 1395s | 22 | 2926071 | 2212222 | 4970 860 | 540 | 358 1400.37/1400.83 c 1397s | 22 | 2930400 | 2215222 | 4970 861 | 540 | 358 1402.37/1402.86 c 1399s | 22 | 2934667 | 2218122 | 4970 862 | 540 | 358 1404.38/1404.87 c 1401s | 22 | 2938726 | 2220922 | 4970 863 | 540 | 358 1406.47/1406.93 c 1403s | 22 | 2943001 | 2224022 | 4970 864 | 540 | 358 1408.47/1408.99 c 1406s | 22 | 2946835 | 2226722 | 4970 865 | 540 | 358 1410.57/1411.02 c 1408s | 22 | 2950843 | 2229522 | 5467 866 | 540 | 358 1412.57/1413.06 c 1410s | 22 | 2955264 | 2232722 | 5467 867 | 540 | 358 1414.67/1415.10 c 1412s | 22 | 2959346 | 2235622 | 5467 867 | 540 | 358 1416.67/1417.15 c 1414s | 22 | 2963745 | 2238622 | 5467 868 | 540 | 358 1418.77/1419.20 c 1416s | 22 | 2967615 | 2241522 | 5467 869 | 540 | 358 1420.77/1421.23 c 1418s | 22 | 2972210 | 2244822 | 5467 870 | 540 | 358 1422.77/1423.26 c 1420s | 22 | 2976164 | 2247822 | 5467 871 | 540 | 358 1424.77/1425.29 c 1422s | 22 | 2980125 | 2250822 | 5467 872 | 540 | 358 1424.97/1425.42 c 1422s | 23 | 2980380 | 2251038 | 5467 872 | 540 | 358 1426.97/1427.47 c 1424s | 23 | 2984923 | 2254038 | 5467 873 | 540 | 358 1428.96/1429.48 c 1426s | 23 | 2988897 | 2256938 | 5467 874 | 540 | 358 1431.06/1431.51 c 1428s | 23 | 2992745 | 2259838 | 5467 875 | 540 | 358 1433.06/1433.54 c 1430s | 23 | 2997101 | 2263038 | 5467 876 | 540 | 358 1435.07/1435.59 c 1432s | 23 | 3001289 | 2266138 | 5467 877 | 540 | 358 1437.16/1437.68 c 1434s | 23 | 3005152 | 2269138 | 5467 878 | 540 | 358 1439.26/1439.73 c 1436s | 23 | 3009294 | 2272338 | 5467 879 | 540 | 358 1441.36/1441.81 c 1438s | 23 | 3013227 | 2275338 | 5467 880 | 540 | 358 1443.36/1443.87 c 1440s | 23 | 3017262 | 2278338 | 5467 881 | 540 | 358 1445.46/1445.93 c 1442s | 23 | 3021153 | 2281238 | 5467 881 | 540 | 358 1447.56/1448.01 c 1445s | 23 | 3024840 | 2284038 | 5467 882 | 540 | 358 1449.56/1450.04 c 1447s | 23 | 3028660 | 2286738 | 5467 883 | 540 | 358 1451.57/1452.06 c 1449s | 23 | 3032456 | 2289438 | 5467 884 | 540 | 358 1453.66/1454.10 c 1451s | 23 | 3036492 | 2292438 | 5467 885 | 540 | 358 1455.66/1456.14 c 1453s | 23 | 3040584 | 2295538 | 5467 886 | 540 | 358 1457.66/1458.14 c 1455s | 23 | 3044574 | 2298638 | 5467 887 | 540 | 358 1459.76/1460.20 c 1457s | 23 | 3048354 | 2301438 | 5467 888 | 540 | 358 1461.86/1462.31 c 1459s | 23 | 3052019 | 2304238 | 5467 889 | 540 | 358 1463.86/1464.33 c 1461s | 23 | 3056141 | 2307238 | 5467 889 | 540 | 358 1465.86/1466.38 c 1463s | 23 | 3059774 | 2310038 | 5467 890 | 540 | 358 1467.96/1468.43 c 1465s | 23 | 3063571 | 2312938 | 5467 891 | 540 | 358 1469.96/1470.48 c 1467s | 23 | 3067477 | 2315738 | 5467 892 | 540 | 358 1472.06/1472.53 c 1469s | 23 | 3071339 | 2318638 | 5467 893 | 540 | 358 1474.06/1474.56 c 1471s | 23 | 3075159 | 2321538 | 5467 894 | 540 | 358 1476.06/1476.58 c 1473s | 23 | 3078662 | 2324138 | 5467 895 | 540 | 358 1478.06/1478.59 c 1475s | 23 | 3082193 | 2326738 | 5467 895 | 540 | 358 1480.06/1480.60 c 1477s | 23 | 3087088 | 2330438 | 5467 896 | 540 | 358 1482.15/1482.60 c 1479s | 23 | 3092355 | 2334438 | 5467 898 | 540 | 358 1484.15/1484.64 c 1481s | 23 | 3097863 | 2338538 | 5467 899 | 540 | 358 1486.15/1486.67 c 1483s | 23 | 3102730 | 2342538 | 5467 900 | 540 | 358 1488.25/1488.71 c 1485s | 23 | 3107613 | 2347038 | 5467 901 | 540 | 358 1490.25/1490.75 c 1487s | 23 | 3112467 | 2351438 | 5467 903 | 540 | 358 1492.26/1492.79 c 1489s | 23 | 3116578 | 2355338 | 5467 904 | 540 | 358 1494.35/1494.81 c 1491s | 23 | 3121907 | 2359538 | 5467 905 | 540 | 358 1496.45/1496.92 c 1493s | 23 | 3126859 | 2363638 | 5467 906 | 540 | 358 1498.45/1498.93 c 1495s | 23 | 3132019 | 2367838 | 5467 908 | 540 | 358 1500.45/1500.96 c 1498s | 23 | 3136435 | 2371438 | 5467 909 | 540 | 358 1502.55/1503.00 c 1500s | 23 | 3141100 | 2375638 | 5467 910 | 540 | 358 1504.55/1505.04 c 1502s | 23 | 3146295 | 2380138 | 5467 911 | 540 | 358 1506.56/1507.05 c 1504s | 23 | 3151062 | 2384238 | 5467 913 | 540 | 358 1508.55/1509.05 c 1506s | 23 | 3154710 | 2387538 | 5467 914 | 540 | 358 1510.55/1511.08 c 1508s | 23 | 3159737 | 2391838 | 5467 915 | 540 | 358 1512.65/1513.12 c 1510s | 23 | 3164551 | 2396138 | 5467 916 | 540 | 358 1514.65/1515.16 c 1512s | 23 | 3169089 | 2400138 | 5467 918 | 540 | 358 1516.75/1517.20 c 1514s | 23 | 3173501 | 2404138 | 5467 919 | 540 | 358 1518.76/1519.22 c 1516s | 23 | 3178490 | 2408438 | 5467 920 | 540 | 358 1520.75/1521.27 c 1518s | 23 | 3183603 | 2412638 | 5467 921 | 540 | 358 1522.85/1523.32 c 1520s | 23 | 3187767 | 2416338 | 5467 922 | 540 | 358 1524.85/1525.37 c 1522s | 23 | 3191857 | 2419838 | 5467 924 | 540 | 358 1526.85/1527.39 c 1524s | 23 | 3196456 | 2423838 | 5467 925 | 540 | 358 1528.95/1529.40 c 1526s | 23 | 3200517 | 2427338 | 5467 926 | 540 | 358 1530.95/1531.44 c 1528s | 23 | 3205409 | 2431538 | 5467 927 | 540 | 358 1532.95/1533.46 c 1530s | 23 | 3210305 | 2436038 | 5467 928 | 540 | 358 1534.95/1535.47 c 1532s | 23 | 3214945 | 2440038 | 5467 930 | 540 | 358 1536.95/1537.48 c 1534s | 23 | 3219581 | 2444038 | 5467 931 | 540 | 358 1539.05/1539.56 c 1536s | 23 | 3224456 | 2448138 | 5467 932 | 540 | 358 1541.05/1541.57 c 1538s | 23 | 3229159 | 2452638 | 5467 933 | 540 | 358 1543.15/1543.61 c 1540s | 23 | 3232875 | 2456238 | 5467 935 | 540 | 358 1545.15/1545.64 c 1542s | 23 | 3237600 | 2460638 | 5467 936 | 540 | 358 1547.14/1547.65 c 1544s | 23 | 3242538 | 2465238 | 5467 937 | 540 | 358 1549.14/1549.66 c 1546s | 23 | 3247324 | 2469638 | 5467 939 | 540 | 358 1551.14/1551.68 c 1548s | 23 | 3251704 | 2473638 | 5467 940 | 540 | 358 1553.14/1553.68 c 1550s | 23 | 3256321 | 2478038 | 5467 941 | 540 | 358 1555.24/1555.73 c 1552s | 23 | 3260846 | 2482238 | 5467 942 | 540 | 358 1557.25/1557.76 c 1554s | 23 | 3265595 | 2486538 | 5467 944 | 540 | 358 1559.35/1559.80 c 1556s | 23 | 3270199 | 2490938 | 5467 945 | 540 | 358 1561.34/1561.81 c 1558s | 23 | 3275148 | 2495338 | 5467 946 | 540 | 358 1563.34/1563.87 c 1560s | 23 | 3279510 | 2499138 | 5467 948 | 540 | 358 1565.34/1565.89 c 1562s | 23 | 3284660 | 2503638 | 5467 949 | 540 | 358 1567.44/1567.93 c 1564s | 23 | 3289365 | 2508038 | 5467 950 | 540 | 358 1569.44/1569.94 c 1566s | 23 | 3293893 | 2512238 | 5467 951 | 540 | 358 1571.44/1571.97 c 1569s | 23 | 3298025 | 2516138 | 5467 953 | 540 | 358 1573.55/1574.00 c 1571s | 23 | 3302741 | 2520538 | 5467 954 | 540 | 358 1575.54/1576.02 c 1573s | 23 | 3307016 | 2524438 | 5467 955 | 540 | 358 1577.54/1578.03 c 1575s | 23 | 3311381 | 2528538 | 5467 956 | 540 | 358 1579.54/1580.06 c 1577s | 23 | 3315631 | 2532538 | 5467 958 | 540 | 358 1581.74/1582.24 c 1579s | 23 | 3320415 | 2537038 | 5467 959 | 540 | 358 1583.74/1584.26 c 1581s | 23 | 3325069 | 2541138 | 5467 960 | 540 | 358 1585.85/1586.33 c 1583s | 23 | 3329674 | 2545338 | 5467 962 | 540 | 358 1587.84/1588.37 c 1585s | 23 | 3334422 | 2549638 | 5467 963 | 540 | 358 1589.94/1590.42 c 1587s | 23 | 3338631 | 2553638 | 5467 964 | 540 | 358 1591.94/1592.43 c 1589s | 23 | 3342514 | 2557338 | 5467 965 | 540 | 358 1593.94/1594.44 c 1591s | 23 | 3346771 | 2561238 | 5467 966 | 540 | 358 1595.94/1596.46 c 1593s | 23 | 3351354 | 2565038 | 5467 967 | 540 | 358 1597.95/1598.46 c 1595s | 23 | 3356022 | 2569238 | 5467 969 | 540 | 358 1600.04/1600.51 c 1597s | 23 | 3361094 | 2573538 | 5467 970 | 540 | 358 1602.04/1602.56 c 1599s | 23 | 3365898 | 2577738 | 5467 971 | 540 | 358 1604.14/1604.61 c 1601s | 23 | 3370525 | 2581738 | 5467 973 | 540 | 358 1606.14/1606.64 c 1603s | 23 | 3375266 | 2585938 | 5467 974 | 540 | 358 1608.14/1608.66 c 1605s | 23 | 3380234 | 2589938 | 5467 975 | 540 | 358 1610.24/1610.71 c 1607s | 23 | 3384922 | 2593938 | 5467 976 | 540 | 358 1612.24/1612.71 c 1609s | 23 | 3389657 | 2597738 | 5467 977 | 540 | 358 1614.24/1614.74 c 1611s | 23 | 3393996 | 2601438 | 5467 979 | 540 | 358 1616.24/1616.77 c 1613s | 23 | 3398253 | 2605238 | 5467 980 | 540 | 358 1618.24/1618.79 c 1615s | 23 | 3403397 | 2609638 | 5467 981 | 540 | 358 1620.33/1620.82 c 1617s | 23 | 3409440 | 2615538 | 5467 983 | 540 | 358 1622.33/1622.88 c 1619s | 23 | 3413657 | 2619538 | 5467 984 | 540 | 358 1624.43/1624.90 c 1621s | 23 | 3418000 | 2623538 | 5467 985 | 540 | 358 1626.44/1626.94 c 1623s | 23 | 3421927 | 2627338 | 5467 986 | 540 | 358 1628.43/1628.97 c 1626s | 23 | 3424765 | 2630138 | 5467 987 | 540 | 358 1630.43/1630.97 c 1628s | 23 | 3428030 | 2633338 | 5467 988 | 540 | 358 1632.53/1633.01 c 1630s | 23 | 3431738 | 2636838 | 5467 989 | 540 | 358 1634.53/1635.02 c 1632s | 23 | 3435735 | 2640538 | 5467 990 | 540 | 358 1636.53/1637.05 c 1634s | 23 | 3439799 | 2644338 | 5467 992 | 540 | 358 1638.64/1639.13 c 1636s | 23 | 3443500 | 2647938 | 5467 993 | 540 | 358 1640.63/1641.15 c 1638s | 23 | 3447240 | 2651538 | 5467 994 | 540 | 358 1642.63/1643.17 c 1640s | 23 | 3451034 | 2655138 | 5467 995 | 540 | 358 1644.73/1645.21 c 1642s | 23 | 3454823 | 2658738 | 5467 996 | 540 | 358 1646.73/1647.24 c 1644s | 23 | 3458582 | 2662338 | 5467 997 | 540 | 358 1648.73/1649.29 c 1646s | 23 | 3462395 | 2666038 | 5467 998 | 540 | 358 1650.83/1651.32 c 1648s | 23 | 3466157 | 2669638 | 5467 999 | 540 | 358 1652.84/1653.35 c 1650s | 23 | 3470302 | 2673638 | 5467 1000 | 540 | 358 1654.83/1655.37 c 1652s | 23 | 3474241 | 2677438 | 5467 1002 | 540 | 358 1656.83/1657.38 c 1654s | 23 | 3478317 | 2681338 | 5467 1003 | 540 | 358 1658.93/1659.41 c 1656s | 23 | 3482281 | 2685138 | 5467 1004 | 540 | 358 1660.93/1661.45 c 1658s | 23 | 3486424 | 2689138 | 5467 1005 | 540 | 358 1662.93/1663.48 c 1660s | 23 | 3490380 | 2692838 | 5467 1006 | 540 | 358 1665.03/1665.52 c 1662s | 23 | 3494397 | 2696738 | 5467 1007 | 540 | 358 1667.03/1667.53 c 1664s | 23 | 3498233 | 2700538 | 5467 1009 | 540 | 358 1669.03/1669.57 c 1666s | 23 | 3502896 | 2705138 | 5467 1010 | 540 | 358 1671.03/1671.58 c 1668s | 23 | 3506647 | 2708638 | 5467 1011 | 540 | 358 1673.12/1673.63 c 1670s | 23 | 3510182 | 2712038 | 5467 1012 | 540 | 358 1675.12/1675.64 c 1672s | 23 | 3513102 | 2714838 | 5467 1013 | 540 | 358 1677.13/1677.67 c 1674s | 23 | 3516381 | 2718038 | 5467 1014 | 540 | 358 1679.12/1679.70 c 1676s | 23 | 3520400 | 2721938 | 5467 1015 | 540 | 358 1681.22/1681.74 c 1678s | 23 | 3524235 | 2725638 | 5467 1016 | 540 | 358 1683.32/1683.80 c 1680s | 23 | 3527810 | 2729038 | 5467 1017 | 540 | 358 1685.32/1685.84 c 1682s | 23 | 3531569 | 2732638 | 5467 1018 | 540 | 358 1687.32/1687.86 c 1684s | 23 | 3535602 | 2736538 | 5467 1019 | 540 | 358 1689.32/1689.88 c 1686s | 23 | 3539415 | 2740138 | 5467 1021 | 540 | 358 1691.52/1692.00 c 1689s | 23 | 3542948 | 2743438 | 5467 1022 | 540 | 358 1693.52/1694.01 c 1691s | 23 | 3546866 | 2747038 | 5467 1023 | 540 | 358 1695.52/1696.03 c 1693s | 23 | 3550755 | 2750538 | 5467 1024 | 540 | 358 1697.52/1698.03 c 1695s | 23 | 3555232 | 2754738 | 5467 1025 | 540 | 358 1699.52/1700.06 c 1697s | 23 | 3559057 | 2758438 | 5467 1026 | 540 | 358 1701.53/1702.07 c 1699s | 23 | 3562947 | 2762138 | 5467 1027 | 540 | 358 1703.63/1704.11 c 1701s | 23 | 3566655 | 2765638 | 5467 1028 | 540 | 358 1705.63/1706.14 c 1703s | 23 | 3570679 | 2769438 | 5467 1029 | 540 | 358 1707.62/1708.15 c 1705s | 23 | 3574278 | 2772938 | 5467 1030 | 540 | 358 1709.62/1710.19 c 1707s | 23 | 3578460 | 2776938 | 5467 1032 | 540 | 358 1711.72/1712.22 c 1709s | 23 | 3582090 | 2780438 | 5467 1033 | 540 | 358 1713.72/1714.24 c 1711s | 23 | 3586329 | 2784638 | 5467 1034 | 540 | 358 1715.82/1716.30 c 1713s | 23 | 3590372 | 2788538 | 5467 1035 | 540 | 358 1717.83/1718.34 c 1715s | 23 | 3594314 | 2792338 | 5467 1036 | 540 | 358 1719.82/1720.36 c 1717s | 23 | 3598247 | 2796138 | 5467 1037 | 540 | 358 1721.92/1722.41 c 1719s | 23 | 3601739 | 2799538 | 5467 1039 | 540 | 358 1723.92/1724.42 c 1721s | 23 | 3605472 | 2803138 | 5467 1040 | 540 | 358 1725.92/1726.45 c 1723s | 23 | 3609212 | 2806638 | 5467 1041 | 540 | 358 1727.92/1728.47 c 1725s | 23 | 3613272 | 2810538 | 5467 1042 | 540 | 358 1729.92/1730.50 c 1727s | 23 | 3617275 | 2814438 | 5467 1043 | 540 | 358 1732.02/1732.53 c 1729s | 23 | 3620868 | 2817938 | 5467 1044 | 540 | 358 1734.01/1734.57 c 1731s | 23 | 3624581 | 2821538 | 5467 1045 | 540 | 358 1736.01/1736.58 c 1733s | 23 | 3628171 | 2824938 | 5467 1046 | 540 | 358 1738.11/1738.60 c 1735s | 23 | 3632163 | 2828738 | 5467 1047 | 540 | 358 1740.11/1740.63 c 1737s | 23 | 3635820 | 2832338 | 5467 1048 | 540 | 358 1742.21/1742.70 c 1739s | 23 | 3639412 | 2835838 | 5467 1050 | 540 | 358 1744.22/1744.75 c 1741s | 23 | 3643373 | 2839638 | 5467 1051 | 540 | 358 1746.21/1746.77 c 1743s | 23 | 3647699 | 2843738 | 5467 1052 | 540 | 358 1748.22/1748.78 c 1745s | 23 | 3651428 | 2847338 | 5467 1053 | 540 | 358 1750.22/1750.79 c 1747s | 23 | 3655353 | 2851038 | 5467 1054 | 540 | 358 1752.32/1752.81 c 1749s | 23 | 3659112 | 2854638 | 5467 1055 | 540 | 358 1754.32/1754.82 c 1751s | 23 | 3663361 | 2858738 | 5467 1056 | 540 | 358 1756.32/1756.87 c 1753s | 23 | 3666552 | 2861838 | 5467 1057 | 540 | 358 1758.42/1758.92 c 1755s | 23 | 3670436 | 2865438 | 5467 1058 | 540 | 358 1760.52/1761.03 c 1758s | 23 | 3674227 | 2869138 | 5467 1060 | 540 | 358 1762.52/1763.04 c 1760s | 23 | 3678176 | 2872738 | 5467 1061 | 540 | 358 1764.51/1765.04 c 1762s | 23 | 3681934 | 2876338 | 5467 1062 | 540 | 358 1766.51/1767.07 c 1764s | 23 | 3685930 | 2880138 | 5467 1063 | 540 | 358 1768.51/1769.09 c 1766s | 23 | 3689793 | 2883838 | 5467 1064 | 540 | 358 1770.62/1771.11 c 1768s | 23 | 3693781 | 2887638 | 5467 1065 | 540 | 358 1772.61/1773.11 c 1770s | 23 | 3697826 | 2891338 | 5467 1066 | 540 | 358 1774.61/1775.17 c 1772s | 23 | 3701528 | 2894938 | 5467 1067 | 540 | 358 1776.71/1777.22 c 1774s | 23 | 3705008 | 2898338 | 5467 1068 | 540 | 358 1778.71/1779.24 c 1776s | 23 | 3708425 | 2901638 | 5467 1069 | 540 | 358 1780.71/1781.28 c 1778s | 23 | 3712381 | 2905338 | 5467 1071 | 540 | 358 1782.81/1783.33 c 1780s | 23 | 3715946 | 2908638 | 5467 1072 | 540 | 358 1784.81/1785.33 c 1782s | 23 | 3720188 | 2912538 | 5467 1073 | 540 | 358 1786.81/1787.35 c 1784s | 23 | 3723954 | 2916138 | 5467 1074 | 540 | 358 1788.81/1789.36 c 1786s | 23 | 3728118 | 2920038 | 5467 1075 | 540 | 358 1790.91/1791.40 c 1788s | 23 | 3732472 | 2924138 | 5467 1076 | 540 | 358 1792.91/1793.40 c 1790s | 23 | 3736112 | 2927438 | 5467 1077 | 540 | 358 1794.91/1795.43 c 1792s | 23 | 3740320 | 2931238 | 5467 1078 | 540 | 358 1796.91/1797.43 c 1794s | 23 | 3744644 | 2935138 | 5467 1080 | 540 | 358 1798.90/1799.47 c 1796s | 23 | 3748792 | 2938938 | 5467 1081 | 540 | 358
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-4101457-1466224167/watcher-4101457-1466224167 -o /tmp/evaluation-result-4101457-1466224167/solver-4101457-1466224167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101457-1466224167.opb pid=17945 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.23 2.23 3/179 17948 /proc/meminfo: memFree=29114144/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=774588 CPUtime=0 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 2898 0 0 0 0 0 0 0 20 0 4 0 24465441 793178112 3259 33554432000 4194304 16246674 140734081986800 140734081986224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 194415 3267 441 2943 0 191309 0 [pid=17948/tid=17949] ppid=17945 vsize=793020 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 812052480 3329 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=797116 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 816246784 3347 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=800188 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24465441 819392512 3359 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.28 2.23 2.23 3/179 17948 /proc/meminfo: memFree=29114144/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 22522 0 0 0 6 3 0 0 20 0 4 0 24465441 1250496512 22847 33554432000 4194304 16246674 140734081986800 140734081969568 12654395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 305297 22847 840 2943 0 302191 0 [pid=17948/tid=17949] ppid=17945 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1250496512 22847 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1250496512 22847 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1250496512 22847 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200446 s] /proc/loadavg: 2.28 2.23 2.23 3/179 17948 /proc/meminfo: memFree=29114144/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1307204 CPUtime=0.19 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 34006 0 0 0 14 5 0 0 20 0 4 0 24465441 1338576896 34331 33554432000 4194304 16246674 140734081986800 140734081969568 7204266 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 326801 34331 840 2943 0 323695 0 [pid=17948/tid=17949] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 34332 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 34340 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 34348 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.300423 s] /proc/loadavg: 2.28 2.23 2.23 3/179 17948 /proc/meminfo: memFree=29114144/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1307204 CPUtime=0.29 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 44124 0 0 0 23 6 0 0 20 0 4 0 24465441 1338576896 44449 33554432000 4194304 16246674 140734081986800 140734081968704 5600448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 326801 44449 841 2943 0 323695 0 [pid=17948/tid=17949] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 44449 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 44449 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 44449 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700401 s] /proc/loadavg: 2.28 2.23 2.23 3/179 17948 /proc/meminfo: memFree=29114144/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 77516 0 0 0 57 12 0 0 20 0 4 0 24465441 1338576896 77841 33554432000 4194304 16246674 140734081986800 140734081968704 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 326801 77844 841 2943 0 323695 0 [pid=17948/tid=17949] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 77847 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 77854 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1338576896 77860 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50043 s] /proc/loadavg: 2.28 2.23 2.23 3/183 17952 /proc/meminfo: memFree=28668392/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 128619 0 0 0 128 21 0 0 20 0 4 0 24465441 1339625472 128944 33554432000 4194304 16246674 140734081986800 140734081968704 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327057 128950 842 2943 0 323951 0 [pid=17948/tid=17949] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 128953 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 128955 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 128959 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10043 s] /proc/loadavg: 2.28 2.23 2.23 3/183 17952 /proc/meminfo: memFree=28155280/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 268031 0 0 0 269 40 0 0 20 0 4 0 24465441 1339625472 268356 33554432000 4194304 16246674 140734081986800 140734081968704 5711108 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327057 268356 844 2943 0 323951 0 [pid=17948/tid=17949] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268356 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268356 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268356 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.3004 s] /proc/loadavg: 2.25 2.22 2.23 3/183 17952 /proc/meminfo: memFree=28039856/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 268153 0 0 0 589 40 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 140734081968704 13780660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327057 268478 851 2943 0 323951 0 [pid=17948/tid=17949] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.23 2.22 2.23 3/183 17952 /proc/meminfo: memFree=28039980/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 268153 0 0 0 1229 40 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 140734081968704 13760224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327057 268478 851 2943 0 323951 0 [pid=17948/tid=17949] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.18 2.21 2.22 4/183 17952 /proc/meminfo: memFree=28040920/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 268153 0 0 0 2509 40 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 140734081968704 6842751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327057 268478 851 2943 0 323951 0 [pid=17948/tid=17949] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1339625472 268478 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.25 2.22 2.23 3/184 17955 /proc/meminfo: memFree=28040184/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 268317 0 0 0 5068 40 0 0 20 0 4 0 24465441 1340674048 268642 33554432000 4194304 16246674 140734081986800 140734081969800 5721633 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 327313 268642 851 2943 0 324207 0 [pid=17948/tid=17949] ppid=17945 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1340674048 268642 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1340674048 268642 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1340674048 268642 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.28 2.23 2.23 3/183 17956 /proc/meminfo: memFree=28033080/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1315396 CPUtime=102.29 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 269945 0 0 0 10188 41 0 0 20 0 4 0 24465441 1346965504 270270 33554432000 4194304 16246674 140734081986800 140734081968704 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 328849 270270 851 2943 0 325743 0 [pid=17948/tid=17949] ppid=17945 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1346965504 270270 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1346965504 270270 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1346965504 270270 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1330756 [startup+1362.3 s] /proc/loadavg: 2.36 2.20 2.19 3/183 18036 /proc/meminfo: memFree=28135880/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1330756 CPUtime=1361.88 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 274204 0 0 0 136138 50 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 140734081968704 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 332689 274115 853 2943 0 329583 0 [pid=17948/tid=17949] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.17 2.18 2.18 3/182 18037 /proc/meminfo: memFree=28136604/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1330756 CPUtime=1421.87 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 274204 0 0 0 142137 50 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 140734081968704 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 332689 274115 853 2943 0 329583 0 [pid=17948/tid=17949] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.10 2.16 2.17 3/183 18040 /proc/meminfo: memFree=28136428/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1330756 CPUtime=1481.85 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 274204 0 0 0 148135 50 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 140734081968704 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 332689 274115 853 2943 0 329583 0 [pid=17948/tid=17949] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1362694144 274115 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.27 2.19 2.18 4/183 18041 /proc/meminfo: memFree=28132488/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1333828 CPUtime=1541.85 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 274972 0 0 0 154134 51 0 0 20 0 4 0 24465441 1365839872 274883 33554432000 4194304 16246674 140734081986800 140734081968704 6023629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 333457 274883 853 2943 0 330351 0 [pid=17948/tid=17949] ppid=17945 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1365839872 274883 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1365839872 274883 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1365839872 274883 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.14 2.17 2.17 3/183 18042 /proc/meminfo: memFree=28128692/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1601.84 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 160132 52 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081984640 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1337924 [startup+1662.3 s] /proc/loadavg: 2.17 2.16 2.17 3/183 18043 /proc/meminfo: memFree=28128844/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1661.83 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 166131 52 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081985976 5808184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 2.20 2.16 2.17 3/183 18044 /proc/meminfo: memFree=28128376/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1721.82 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 172129 53 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081968704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1337924 [startup+1782.3 s] /proc/loadavg: 2.23 2.18 2.18 3/183 18046 /proc/meminfo: memFree=28124064/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1781.81 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 178127 54 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081968704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.18 2.18 3/183 18046 /proc/meminfo: memFree=28124040/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1800 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 179946 54 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081968704 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 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 17948 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.18 2.18 3/183 18046 /proc/meminfo: memFree=28124040/32872528 swapFree=1431120/1543540 [pid=17948] ppid=17945 vsize=1337924 CPUtime=1800 cores=0,2,4,6 /proc/17948/stat : 17948 (toysat) R 17945 17948 15180 0 -1 4202496 275996 0 0 0 179946 54 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 140734081968704 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17948/statm: 334481 275907 853 2943 0 331375 0 [pid=17948/tid=17949] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17949/stat : 17949 (toysat) S 17945 17948 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827928345840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17948/tid=17950] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17950/stat : 17950 (toysat) S 17945 17948 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827917855984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17948/tid=17951] ppid=17945 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/17948/task/17951/stat : 17951 (toysat) S 17945 17948 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24465441 1370034176 275907 33554432000 4194304 16246674 140734081986800 139827907382448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.47 CPU system time (s): 0.546916 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.546916 maximum resident set size= 1103628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275996 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= 452 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.00324 second user time and 6.96694 second system time The end
Begin job on node116 at 2016-06-18 06:29:27 IDJOB=4101457 IDBENCH=1752 IDSOLVER=2542 FILE ID=node116/4101457-1466224167 RUNJOBID= node116-1466206094-15196 PBS_JOBID= 19918160 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101457-1466224167/watcher-4101457-1466224167 -o /tmp/evaluation-result-4101457-1466224167/solver-4101457-1466224167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101457-1466224167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6b5a85fbc00dc0684845d7179dbc62de RANDOM SEED=1473289755 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29114788 kB Buffers: 117792 kB Cached: 128244 kB SwapCached: 2160 kB Active: 1324284 kB Inactive: 150944 kB Active(anon): 1230024 kB Inactive(anon): 1544 kB Active(file): 94260 kB Inactive(file): 149400 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2771324 kB Mapped: 10800 kB Shmem: 0 kB Slab: 603636 kB SReclaimable: 47792 kB SUnreclaim: 555844 kB KernelStack: 1520 kB PageTables: 8884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2911624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 550912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node116 at 2016-06-18 06:59:28