| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb |
| MD5SUM | 0b3ebda9e2c907bea9a29c0cee18b8c9 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:38:15+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-4119870-1467279495.opb"] 0.00/0.01 c use --random-gen="2873077305 722252865 70872933 1037289454 872796461 1281379640 419120338 32754126 3631264819 846601985 3154283138 3232164222 567029381 2799480560 1347126312 3849205867 2323099053 2260686687 1479513955 3020912867 2231327098 954482189 329602398 4258512416 2635244130 449639650 3708841098 4174656027 553062214 4293287954 3404955609 915736916 2337923455 1340846966 567187083 1169127659 2596777044 858946110 395626297 1534779208 465026822 1087251457 2954753096 1732727141 1642795662 1845779834 310137048 3069319186 1103908746 163537751 1982883265 1774822989 105226647 4171888464 984258297 517102783 4261791696 1825295652 1099202401 333250163 4145646982 626949660 3185747762 1981791798 2367196139 3176056240 756597266 1344524845 4073757125 4001235639 2614417343 540713750 1176346278 1446593600 2964015618 2776380865 1618036326 1690597306 1981807952 2302229802 702552530 1424735863 2368819776 2832958816 2185875604 3609828737 707412988 3594778102 205279277 3637768705 3358499318 2796234105 1209322522 3328039369 1414484683 2632723744 2362809757 3632232538 344161279 3312496672 3513783509 3042021676 4223561495 1526840196 444546029 495654935 1750282619 398286197 1851139597 805937363 4113875161 1428507146 982798036 821391921 4255982816 460239119 3522561955 720966741 3555200049 2625082081 2339377524 124476790 140545083 2679083660 3466463334 597032070 3210734642 1665811963 2468999901 387818539 4149891972 2557038933 1528158150 3675782405 1561521942 46496983 4273343650 674495796 1768483678 2229397324 649093592 1910008925 1995929896 850451434 4085720508 2256583842 1755484028 3769953845 2285661094 2004222973 2760220773 3242466751 3336536958 3923892756 2551877774 3888682453 312885675 1524854372 2584773491 3501098073 3602259533 1077778032 384845691 1355753460 1060769943 1366540181 3661992777 3376565946 3046232452 3883407319 1233730798 3383912002 3219112631 3680580395 1914083076 3203189338 1234547143 3309167483 3030791248 1458089060 4245109162 1160144034 2338706023 217986864 67615599 472250861 4119026175 1495026845 3742669347 3402564430 3466118921 1015483180 3614726018 2366573896 1587613732 2926304268 1963754849 1329572197 1730426194 4272651775 3791061635 1812560128 1326542947 1992661078 537372026 2667085563 3257008458 1000595450 4234043879 1433682739 4202778030 791429202 3046680253 2654948269 2127370177 2865631796 122287952 207711633 4251308283 338386766 2511705348 1420654383 3743392954 1266138186 3741210071 252899921 3280901732 845130152 2120660022 3600731272 3664476840 621902596 807789963 1839309936 1794205149 1722337944 4090583678 587992282 411154019 954194854 2168027395 2924764899 973694400 541094657 1410614317 2574781730 31809581 510662015 3972635927 1024250142 2292655453 2017469061 3353072888 1565165733 2075728367 3341197103 255 362436" option to reproduce the execution 0.00/0.06 c #vars 5568 0.00/0.06 c #constraints 412 0.09/0.12 c BCD2: Hardening is enabled. 0.09/0.12 c BCD2: BiasedSearch is enabled. 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 | 1993 0 | 0 | 0 0.09/0.14 c 0.0s | 0 | 187 | 0 | 1993 0 | 0 | 0 0.09/0.14 c #cpu_time = 0.011s 0.09/0.14 c #wall_clock_time = 0.011s 0.09/0.14 c #decision = 187 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 o 32 0.09/0.14 c BCD2: updating upper bound: 32 -> 31 0.09/0.14 c BCD2: 0 <= obj <= 31 0.09/0.14 c BCD2: #cores=0, #unrelaxed=32, #relaxed=0, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 1993 0 | 0 | 0 0.09/0.14 c 0.0s | 0 | 16 | 0 | 1993 0 | 0 | 0 0.09/0.14 c #cpu_time = 0.006s 0.09/0.14 c #wall_clock_time = 0.006s 0.09/0.14 c #decision = 16 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 17: cost of the new core is >=1 0.09/0.14 c lower bound updated to 1 0.09/0.14 c BCD2: 1 <= obj <= 31 0.09/0.14 c BCD2: #cores=1, #unrelaxed=15, #relaxed=17, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=2 bias=2/3 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.16 c 0.0s | 0 | 0 | 0 | 1993 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 42 | 11 | 1993 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.006s 0.09/0.16 c #wall_clock_time = 0.006s 0.09/0.16 c #decision = 42 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 11 0.09/0.16 c #restart = 0 0.09/0.17 c BCD2: relaxing 15 and merging with 1 cores into a new core of size 32: cost of the new core is >=2 0.09/0.17 c lower bound updated to 2 0.09/0.17 c BCD2: 2 <= obj <= 31 0.09/0.17 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 1993 0 | 1 | 0 0.19/0.23 c 0.1s | 1 | 1848 | 100 | 2193 0 | 1 | 1 0.28/0.31 c 0.1s | 2 | 3628 | 250 | 2413 0 | 1 | 1 0.28/0.36 c 0.2s | 2 | 5512 | 304 | 2413 0 | 1 | 1 0.28/0.36 c #cpu_time = 0.186s 0.28/0.36 c #wall_clock_time = 0.187s 0.28/0.36 c #decision = 5512 0.28/0.36 c #random_decision = 12 0.28/0.36 c #conflict = 304 0.28/0.36 c #restart = 2 0.28/0.36 o 19 0.28/0.36 c BCD2: updating upper bound: 31 -> 18 0.28/0.36 c BCD2: 2 <= obj <= 18 0.28/0.36 c BCD2: #cores=1, #unrelaxed=0, #relaxed=32, #hardened=0 0.28/0.36 c BCD2: #sat=2 #unsat=3 bias=3/5 0.28/0.36 c Solving starts ... 0.28/0.36 c ============================[ Search Statistics ]============================ 0.28/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.36 c | | | | Limit GC | Var | Constra 0.28/0.36 c ============================================================================= 0.28/0.36 c 0.0s | 0 | 0 | 0 | 2413 0 | 1 | 3 0.39/0.42 c 0.1s | 1 | 540 | 100 | 2413 0 | 1 | 3 0.39/0.47 c 0.1s | 2 | 715 | 250 | 2655 0 | 1 | 3 0.49/0.59 c 0.2s | 3 | 961 | 475 | 2655 0 | 1 | 3 0.69/0.73 c 0.4s | 4 | 1318 | 813 | 2921 0 | 1 | 3 0.89/0.96 c 0.6s | 5 | 1846 | 1320 | 3214 0 | 1 | 3 1.20/1.28 c 0.9s | 6 | 2632 | 2081 | 3536 0 | 1 | 3 1.79/1.85 c 1.5s | 7 | 3794 | 3223 | 3890 0 | 1 | 3 2.39/2.45 c 2.1s | 8 | 5522 | 4936 | 4279 0 | 1 | 3 3.29/3.37 c 3.0s | 9 | 8120 | 7506 | 4707 1 | 1 | 3 5.09/5.15 c 4.8s | 10 | 12010 | 11361 | 5178 3 | 1 | 3 7.09/7.18 c 6.8s | 10 | 16630 | 15961 | 5178 4 | 1 | 3 7.70/7.74 c 7.4s | 11 | 17820 | 17144 | 5696 4 | 1 | 3 9.69/9.75 c 9.4s | 11 | 21858 | 21144 | 5696 6 | 1 | 3 11.69/11.77 c 11.4s | 11 | 26178 | 25444 | 6266 7 | 1 | 3 11.89/11.94 c 11.6s | 12 | 26553 | 25819 | 6266 7 | 1 | 3 13.89/13.96 c 13.6s | 12 | 30882 | 30119 | 6266 8 | 1 | 3 15.89/15.98 c 15.6s | 12 | 35590 | 34819 | 6266 9 | 1 | 3 17.99/18.01 c 17.7s | 12 | 39497 | 38719 | 6893 10 | 1 | 3 17.99/18.05 c 17.7s | 13 | 39614 | 38832 | 6893 10 | 1 | 3 19.99/20.06 c 19.7s | 13 | 43040 | 42232 | 6893 11 | 1 | 3 22.09/22.11 c 21.8s | 13 | 47359 | 46532 | 6893 12 | 1 | 3 24.08/24.12 c 23.8s | 13 | 51962 | 51132 | 6893 13 | 1 | 3 26.08/26.14 c 25.8s | 13 | 56174 | 55332 | 6893 14 | 1 | 3 27.98/28.00 c 27.6s | 14 | 59208 | 58352 | 7583 15 | 1 | 3 29.98/30.04 c 29.7s | 14 | 63227 | 62352 | 7583 16 | 1 | 3 31.99/32.08 c 31.7s | 14 | 66539 | 65652 | 7583 17 | 1 | 3 33.98/34.10 c 33.7s | 14 | 70457 | 69552 | 7583 18 | 1 | 3 36.08/36.11 c 35.7s | 14 | 75070 | 74152 | 7583 19 | 1 | 3 38.08/38.15 c 37.8s | 14 | 78777 | 77852 | 7583 20 | 1 | 3 40.08/40.16 c 39.8s | 14 | 82086 | 81152 | 7583 20 | 1 | 3 42.08/42.19 c 41.8s | 14 | 85299 | 84352 | 7583 21 | 1 | 3 43.78/43.82 c 43.5s | 15 | 88586 | 87632 | 8342 22 | 1 | 3 45.78/45.85 c 45.5s | 15 | 92621 | 91632 | 8342 22 | 1 | 3 47.78/47.88 c 47.5s | 15 | 97030 | 96032 | 8342 23 | 1 | 3 49.88/49.91 c 49.6s | 15 | 100844 | 99832 | 8342 24 | 1 | 3 52.18/52.22 c 51.9s | 15 | 102761 | 101732 | 8342 25 | 1 | 3 54.18/54.24 c 53.9s | 15 | 107867 | 106832 | 8342 25 | 1 | 3 56.18/56.26 c 55.9s | 15 | 112177 | 111132 | 8342 26 | 1 | 3 58.17/58.28 c 57.9s | 15 | 114291 | 113232 | 8342 27 | 1 | 3 60.28/60.30 c 59.9s | 15 | 118602 | 117532 | 8342 28 | 1 | 3 62.28/62.31 c 62.0s | 15 | 121817 | 120732 | 8342 28 | 1 | 3 64.28/64.34 c 64.0s | 15 | 125738 | 124632 | 8342 29 | 1 | 3 66.38/66.44 c 66.1s | 15 | 128052 | 126932 | 8342 30 | 1 | 3 68.38/68.44 c 68.1s | 15 | 132270 | 131132 | 9177 30 | 1 | 3 68.68/68.72 c 68.4s | 16 | 132694 | 131552 | 9177 30 | 1 | 3 70.68/70.74 c 70.4s | 16 | 135525 | 134352 | 9177 31 | 1 | 3 72.68/72.76 c 72.4s | 16 | 139035 | 137852 | 9177 32 | 1 | 3 74.67/74.80 c 74.4s | 16 | 142246 | 141052 | 9177 32 | 1 | 3 76.87/76.91 c 76.6s | 16 | 145067 | 143852 | 9177 33 | 1 | 3 78.87/78.95 c 78.6s | 16 | 149074 | 147852 | 9177 34 | 1 | 3 80.87/80.97 c 80.6s | 16 | 152982 | 151752 | 9177 34 | 1 | 3 82.87/82.99 c 82.6s | 16 | 157496 | 156252 | 9177 35 | 1 | 3 84.87/84.99 c 84.6s | 16 | 161202 | 159952 | 9177 36 | 1 | 3 86.98/87.01 c 86.7s | 16 | 165109 | 163852 | 9177 37 | 1 | 3 88.97/89.02 c 88.7s | 16 | 169413 | 168152 | 9177 38 | 1 | 3 92.06/92.14 c 91.8s | 16 | 174139 | 172852 | 9177 39 | 1 | 3 94.06/94.18 c 93.8s | 16 | 178557 | 177252 | 9177 39 | 1 | 3 96.06/96.18 c 95.8s | 16 | 183067 | 181752 | 9177 40 | 1 | 3 98.16/98.22 c 97.9s | 16 | 186877 | 185552 | 9177 41 | 1 | 3 100.17/100.25 c 99.9s | 16 | 190086 | 188752 | 9177 42 | 1 | 3 102.16/102.30 c 101s | 16 | 194303 | 192952 | 9177 42 | 1 | 3 104.26/104.32 c 103s | 16 | 198409 | 197052 | 10095 43 | 1 | 3 104.46/104.55 c 104s | 17 | 198791 | 197432 | 10095 43 | 1 | 3 107.16/107.27 c 106s | 17 | 201418 | 200032 | 10095 44 | 1 | 3 109.26/109.36 c 109s | 17 | 205821 | 204432 | 10095 44 | 1 | 3 111.26/111.37 c 111s | 17 | 209640 | 208232 | 10095 45 | 1 | 3 113.26/113.38 c 113s | 17 | 213649 | 212232 | 10095 46 | 1 | 3 115.36/115.42 c 115s | 17 | 216966 | 215532 | 10095 46 | 1 | 3 117.36/117.43 c 117s | 17 | 220671 | 219232 | 10095 47 | 1 | 3 119.36/119.45 c 119s | 17 | 222779 | 221332 | 10095 47 | 1 | 3 121.36/121.49 c 121s | 17 | 226588 | 225132 | 10095 48 | 1 | 3 123.46/123.51 c 123s | 17 | 229994 | 228532 | 10095 48 | 1 | 3 125.55/125.68 c 125s | 17 | 231709 | 230232 | 10095 49 | 1 | 3 127.56/127.69 c 127s | 17 | 235814 | 234332 | 10095 50 | 1 | 3 129.65/129.73 c 129s | 17 | 239824 | 238332 | 10095 50 | 1 | 3 131.65/131.75 c 131s | 17 | 242242 | 240732 | 10095 51 | 1 | 3 133.65/133.78 c 133s | 17 | 245151 | 243632 | 10095 51 | 1 | 3 135.65/135.78 c 135s | 17 | 249265 | 247732 | 10095 52 | 1 | 3 137.75/137.84 c 137s | 17 | 252975 | 251432 | 10095 53 | 1 | 3 139.76/139.88 c 139s | 17 | 256380 | 254832 | 10095 53 | 1 | 3 141.85/141.92 c 141s | 17 | 259391 | 257832 | 10095 54 | 1 | 3 143.84/143.94 c 143s | 17 | 262203 | 260632 | 10095 54 | 1 | 3 146.36/146.45 c 146s | 17 | 264722 | 263132 | 10095 55 | 1 | 3 148.35/148.45 c 148s | 17 | 269119 | 267532 | 10095 55 | 1 | 3 150.35/150.49 c 150s | 17 | 272737 | 271132 | 10095 56 | 1 | 3 152.35/152.49 c 152s | 17 | 275838 | 274232 | 10095 57 | 1 | 3 154.85/154.95 c 154s | 17 | 277255 | 275632 | 10095 57 | 1 | 3 156.95/157.03 c 156s | 17 | 280454 | 278832 | 10095 58 | 1 | 3 158.94/159.05 c 158s | 17 | 284862 | 283232 | 10095 58 | 1 | 3 160.94/161.06 c 160s | 17 | 288178 | 286532 | 10095 59 | 1 | 3 162.94/163.07 c 162s | 17 | 291992 | 290332 | 10095 59 | 1 | 3 165.05/165.12 c 164s | 17 | 296195 | 294532 | 11105 60 | 1 | 3 165.84/165.96 c 165s | 18 | 297916 | 296252 | 11105 60 | 1 | 3 167.84/167.98 c 167s | 18 | 300145 | 298452 | 11105 61 | 1 | 3 169.94/170.00 c 169s | 18 | 303453 | 301752 | 11105 61 | 1 | 3 171.94/172.08 c 171s | 18 | 305965 | 304252 | 11105 62 | 1 | 3 174.04/174.10 c 173s | 18 | 309370 | 307652 | 11105 62 | 1 | 3 176.05/176.11 c 175s | 18 | 310074 | 308352 | 11105 63 | 1 | 3 178.04/178.14 c 177s | 18 | 313580 | 311852 | 11105 63 | 1 | 3 180.04/180.18 c 179s | 18 | 317100 | 315352 | 11105 64 | 1 | 3 182.13/182.21 c 181s | 18 | 321214 | 319452 | 11105 64 | 1 | 3 184.13/184.23 c 183s | 18 | 325526 | 323752 | 11105 65 | 1 | 3 186.13/186.23 c 185s | 18 | 329236 | 327452 | 11105 66 | 1 | 3 188.14/188.29 c 187s | 18 | 333440 | 331652 | 11105 66 | 1 | 3 190.53/190.66 c 190s | 18 | 335755 | 333952 | 11105 67 | 1 | 3 192.53/192.66 c 192s | 18 | 339766 | 337952 | 11105 67 | 1 | 3 194.53/194.69 c 194s | 18 | 343179 | 341352 | 11105 68 | 1 | 3 196.53/196.69 c 196s | 18 | 345183 | 343352 | 11105 68 | 1 | 3 198.63/198.71 c 198s | 18 | 348491 | 346652 | 11105 69 | 1 | 3 200.63/200.75 c 200s | 18 | 352396 | 350552 | 11105 69 | 1 | 3 202.62/202.78 c 202s | 18 | 355303 | 353452 | 11105 70 | 1 | 3 204.92/205.08 c 204s | 18 | 357510 | 355652 | 11105 70 | 1 | 3 207.02/207.12 c 206s | 18 | 361012 | 359152 | 11105 71 | 1 | 3 209.03/209.14 c 208s | 18 | 364923 | 363052 | 11105 71 | 1 | 3 211.02/211.18 c 210s | 18 | 367630 | 365752 | 11105 72 | 1 | 3 213.12/213.23 c 212s | 18 | 371151 | 369252 | 11105 72 | 1 | 3 217.02/217.10 c 216s | 18 | 374062 | 372152 | 11105 73 | 1 | 3 220.12/220.28 c 219s | 18 | 378069 | 376152 | 11105 74 | 1 | 3 222.22/222.35 c 221s | 18 | 382880 | 380952 | 11105 74 | 1 | 3 224.32/224.42 c 224s | 18 | 386283 | 384352 | 11105 75 | 1 | 3 226.31/226.45 c 226s | 18 | 389682 | 387752 | 11105 75 | 1 | 3 230.11/230.29 c 229s | 18 | 390494 | 388552 | 11105 76 | 1 | 3 232.12/232.29 c 231s | 18 | 395509 | 393552 | 11105 76 | 1 | 3 234.12/234.29 c 233s | 18 | 400124 | 398152 | 11105 77 | 1 | 3 236.22/236.31 c 235s | 18 | 403739 | 401752 | 11105 78 | 1 | 3 239.52/239.66 c 239s | 18 | 406755 | 404752 | 11105 78 | 1 | 3 241.52/241.69 c 241s | 18 | 411067 | 409052 | 11105 79 | 1 | 3 243.61/243.70 c 243s | 18 | 413874 | 411852 | 11105 79 | 1 | 3 245.61/245.71 c 245s | 18 | 417982 | 415952 | 11105 80 | 1 | 3 247.81/247.94 c 247s | 18 | 420797 | 418752 | 11105 80 | 1 | 3 249.81/249.96 c 249s | 18 | 424505 | 422452 | 11105 81 | 1 | 3 251.91/252.01 c 251s | 18 | 428008 | 425952 | 11105 81 | 1 | 3 253.91/254.03 c 253s | 18 | 431119 | 429052 | 11105 82 | 1 | 3 256.81/256.94 c 256s | 18 | 433329 | 431252 | 11105 82 | 1 | 3 258.80/258.95 c 258s | 18 | 436237 | 434152 | 11105 83 | 1 | 3 260.80/260.96 c 260s | 18 | 440746 | 438652 | 11105 83 | 1 | 3 263.00/263.19 c 262s | 18 | 444956 | 442852 | 12216 84 | 1 | 3 263.60/263.79 c 263s | 19 | 446586 | 444482 | 12216 84 | 1 | 3 265.70/265.83 c 265s | 19 | 449207 | 447082 | 12216 85 | 1 | 3 267.71/267.85 c 267s | 19 | 453421 | 451282 | 12216 85 | 1 | 3 269.91/270.01 c 269s | 19 | 456537 | 454382 | 12216 86 | 1 | 3 272.00/272.10 c 271s | 19 | 460845 | 458682 | 12216 86 | 1 | 3 274.20/274.31 c 273s | 19 | 464270 | 462082 | 12216 87 | 1 | 3 276.20/276.37 c 276s | 19 | 468285 | 466082 | 12216 87 | 1 | 3 278.21/278.40 c 278s | 19 | 470691 | 468482 | 12216 88 | 1 | 3 280.30/280.44 c 280s | 19 | 474993 | 472782 | 12216 88 | 1 | 3 282.30/282.46 c 282s | 19 | 479217 | 476982 | 12216 89 | 1 | 3 284.70/284.83 c 284s | 19 | 482841 | 480582 | 12216 90 | 1 | 3 286.70/286.84 c 286s | 19 | 484843 | 482582 | 12216 90 | 1 | 3 288.70/288.84 c 288s | 19 | 489060 | 486782 | 12216 90 | 1 | 3 290.70/290.84 c 290s | 19 | 492870 | 490582 | 12216 91 | 1 | 3 292.69/292.85 c 292s | 19 | 495670 | 493382 | 12216 92 | 1 | 3 294.70/294.88 c 294s | 19 | 499186 | 496882 | 12216 92 | 1 | 3 296.79/296.93 c 296s | 19 | 502302 | 499982 | 12216 92 | 1 | 3 298.79/298.93 c 298s | 19 | 505616 | 503282 | 12216 93 | 1 | 3 300.89/301.05 c 300s | 19 | 509427 | 507082 | 12216 94 | 1 | 3 302.89/303.07 c 302s | 19 | 513638 | 511282 | 12216 94 | 1 | 3 304.89/305.09 c 304s | 19 | 516753 | 514382 | 12216 95 | 1 | 3 306.99/307.11 c 306s | 19 | 520664 | 518282 | 12216 95 | 1 | 3 308.99/309.16 c 308s | 19 | 521271 | 518882 | 12216 95 | 1 | 3 310.98/311.17 c 310s | 19 | 525172 | 522782 | 12216 96 | 1 | 3 313.08/313.20 c 312s | 19 | 528685 | 526282 | 12216 96 | 1 | 3 315.08/315.21 c 314s | 19 | 531396 | 528982 | 12216 97 | 1 | 3 317.08/317.23 c 316s | 19 | 535206 | 532782 | 12216 97 | 1 | 3 319.18/319.30 c 318s | 19 | 538312 | 535882 | 12216 98 | 1 | 3 321.19/321.31 c 320s | 19 | 541418 | 538982 | 12216 98 | 1 | 3 323.19/323.33 c 322s | 19 | 542832 | 540382 | 12216 98 | 1 | 3 325.19/325.35 c 324s | 19 | 544537 | 542082 | 12216 99 | 1 | 3 327.19/327.37 c 327s | 19 | 548940 | 546482 | 12216 99 | 1 | 3 329.19/329.38 c 329s | 19 | 553052 | 550582 | 12216 100 | 1 | 3 331.18/331.39 c 331s | 19 | 557259 | 554782 | 12216 100 | 1 | 3 333.29/333.43 c 333s | 19 | 562379 | 559882 | 12216 101 | 1 | 3 336.08/336.29 c 335s | 19 | 566088 | 563582 | 12216 102 | 1 | 3 338.18/338.31 c 337s | 19 | 570496 | 567982 | 12216 102 | 1 | 3 340.18/340.32 c 339s | 19 | 574202 | 571682 | 12216 103 | 1 | 3 342.18/342.36 c 342s | 19 | 578117 | 575582 | 12216 103 | 1 | 3 344.48/344.64 c 344s | 19 | 580727 | 578182 | 12216 104 | 1 | 3 346.48/346.65 c 346s | 19 | 582633 | 580082 | 12216 104 | 1 | 3 348.48/348.65 c 348s | 19 | 586341 | 583782 | 12216 105 | 1 | 3 350.47/350.69 c 350s | 19 | 590754 | 588182 | 12216 105 | 1 | 3 352.57/352.70 c 352s | 19 | 594067 | 591482 | 12216 106 | 1 | 3 354.57/354.72 c 354s | 19 | 598481 | 595882 | 12216 106 | 1 | 3 356.77/356.92 c 356s | 19 | 601390 | 598782 | 12216 107 | 1 | 3 358.77/358.96 c 358s | 19 | 606205 | 603582 | 12216 108 | 1 | 3 360.87/361.00 c 360s | 19 | 610317 | 607682 | 12216 108 | 1 | 3 362.88/363.01 c 362s | 19 | 613925 | 611282 | 12216 109 | 1 | 3 364.97/365.17 c 364s | 19 | 616029 | 613382 | 12216 109 | 1 | 3 367.07/367.21 c 366s | 19 | 619732 | 617082 | 12216 110 | 1 | 3 370.46/370.61 c 370s | 19 | 622852 | 620182 | 12216 110 | 1 | 3 372.46/372.65 c 372s | 19 | 626658 | 623982 | 12216 111 | 1 | 3 374.46/374.67 c 374s | 19 | 630564 | 627882 | 12216 111 | 1 | 3 376.47/376.67 c 376s | 19 | 631574 | 628882 | 12216 111 | 1 | 3 378.57/378.71 c 378s | 19 | 635687 | 632982 | 12216 112 | 1 | 3 380.77/380.90 c 380s | 19 | 640202 | 637482 | 12216 113 | 1 | 3 382.77/382.92 c 382s | 19 | 644409 | 641682 | 12216 113 | 1 | 3 384.77/384.96 c 384s | 19 | 647822 | 645082 | 12216 114 | 1 | 3 386.77/386.96 c 386s | 19 | 652028 | 649282 | 12216 114 | 1 | 3 388.76/388.99 c 388s | 19 | 653331 | 650582 | 12216 115 | 1 | 3 390.86/391.03 c 390s | 19 | 657845 | 655082 | 12216 115 | 1 | 3 392.86/393.06 c 392s | 19 | 661652 | 658882 | 12216 116 | 1 | 3 394.87/395.07 c 394s | 19 | 664763 | 661982 | 13438 116 | 1 | 3 396.86/397.08 c 396s | 19 | 667769 | 664982 | 13438 117 | 1 | 3 398.07/398.23 c 397s | 20 | 669629 | 666827 | 13438 117 | 1 | 3 400.06/400.25 c 399s | 20 | 672541 | 669727 | 13438 117 | 1 | 3 402.06/402.26 c 401s | 20 | 674361 | 671527 | 13438 118 | 1 | 3 405.36/405.57 c 405s | 20 | 678372 | 675527 | 13438 118 | 1 | 3 407.36/407.58 c 407s | 20 | 682574 | 679727 | 13438 119 | 1 | 3 409.45/409.61 c 409s | 20 | 686087 | 683227 | 13438 119 | 1 | 3 411.45/411.62 c 411s | 20 | 689003 | 686127 | 13438 119 | 1 | 3 413.75/413.95 c 413s | 20 | 690914 | 688027 | 13438 120 | 1 | 3 415.75/415.98 c 415s | 20 | 695418 | 692527 | 13438 120 | 1 | 3 417.86/418.01 c 417s | 20 | 699428 | 696527 | 13438 121 | 1 | 3 419.86/420.03 c 419s | 20 | 703139 | 700227 | 13438 121 | 1 | 3 423.36/423.53 c 423s | 20 | 705551 | 702627 | 13438 122 | 1 | 3 425.35/425.56 c 425s | 20 | 709853 | 706927 | 13438 122 | 1 | 3 428.85/429.04 c 428s | 20 | 712464 | 709527 | 13438 123 | 1 | 3 430.94/431.12 c 430s | 20 | 716773 | 713827 | 13438 123 | 1 | 3 432.94/433.16 c 432s | 20 | 719977 | 717027 | 13438 124 | 1 | 3 434.95/435.17 c 434s | 20 | 721783 | 718827 | 13438 124 | 1 | 3 436.95/437.18 c 436s | 20 | 725698 | 722727 | 13438 124 | 1 | 3 439.05/439.20 c 438s | 20 | 728715 | 725727 | 13438 125 | 1 | 3 441.05/441.22 c 440s | 20 | 731621 | 728627 | 13438 125 | 1 | 3 446.64/446.88 c 446s | 20 | 733639 | 730627 | 13438 126 | 1 | 3 448.74/448.91 c 448s | 20 | 738252 | 735227 | 13438 126 | 1 | 3 450.74/450.93 c 450s | 20 | 741762 | 738727 | 13438 127 | 1 | 3 452.73/452.94 c 452s | 20 | 746172 | 743127 | 13438 127 | 1 | 3 454.73/454.95 c 454s | 20 | 749375 | 746327 | 13438 128 | 1 | 3 456.73/456.97 c 456s | 20 | 754486 | 751427 | 13438 128 | 1 | 3 459.64/459.84 c 459s | 20 | 757499 | 754427 | 13438 129 | 1 | 3 461.63/461.85 c 461s | 20 | 761914 | 758827 | 13438 129 | 1 | 3 463.62/463.86 c 463s | 20 | 765318 | 762227 | 13438 130 | 1 | 3 465.72/465.90 c 465s | 20 | 768927 | 765827 | 13438 130 | 1 | 3 468.63/468.82 c 468s | 20 | 772245 | 769127 | 13438 131 | 1 | 3 471.03/471.28 c 470s | 20 | 773747 | 770627 | 13438 131 | 1 | 3 473.13/473.33 c 472s | 20 | 777657 | 774527 | 13438 131 | 1 | 3 475.14/475.34 c 474s | 20 | 781566 | 778427 | 13438 132 | 1 | 3 477.13/477.36 c 477s | 20 | 785475 | 782327 | 13438 132 | 1 | 3 479.13/479.36 c 479s | 20 | 789392 | 786227 | 13438 133 | 1 | 3 481.82/482.00 c 481s | 20 | 792811 | 789627 | 13438 134 | 1 | 3 483.83/484.02 c 483s | 20 | 796720 | 793527 | 13438 134 | 1 | 3 485.82/486.04 c 485s | 20 | 801031 | 797827 | 13438 135 | 1 | 3 487.82/488.07 c 487s | 20 | 804746 | 801527 | 13438 135 | 1 | 3 490.32/490.53 c 490s | 20 | 807454 | 804227 | 13438 136 | 1 | 3 492.32/492.56 c 492s | 20 | 811759 | 808527 | 13438 136 | 1 | 3 494.42/494.63 c 494s | 20 | 814666 | 811427 | 13438 137 | 1 | 3 496.42/496.66 c 496s | 20 | 818884 | 815627 | 13438 137 | 1 | 3 498.42/498.68 c 498s | 20 | 821988 | 818727 | 13438 138 | 1 | 3 500.51/500.72 c 500s | 20 | 823093 | 819827 | 13438 138 | 1 | 3 502.52/502.74 c 502s | 20 | 827607 | 824327 | 13438 138 | 1 | 3 504.51/504.77 c 504s | 20 | 831820 | 828527 | 13438 139 | 1 | 3 506.51/506.78 c 506s | 20 | 835327 | 832027 | 13438 139 | 1 | 3 510.11/510.39 c 510s | 20 | 837739 | 834427 | 13438 140 | 1 | 3 512.21/512.43 c 512s | 20 | 842052 | 838727 | 13438 140 | 1 | 3 515.51/515.78 c 515s | 20 | 844656 | 841327 | 13438 141 | 1 | 3 517.61/517.80 c 517s | 20 | 848964 | 845627 | 13438 141 | 1 | 3 519.61/519.85 c 519s | 20 | 852174 | 848827 | 13438 142 | 1 | 3 521.60/521.88 c 521s | 20 | 854186 | 850827 | 13438 142 | 1 | 3 523.70/523.91 c 523s | 20 | 858093 | 854727 | 13438 142 | 1 | 3 525.71/525.96 c 525s | 20 | 861104 | 857727 | 13438 143 | 1 | 3 527.81/528.01 c 527s | 20 | 864111 | 860727 | 13438 143 | 1 | 3 531.81/532.06 c 531s | 20 | 865823 | 862427 | 13438 144 | 1 | 3 533.81/534.08 c 533s | 20 | 871436 | 868027 | 13438 144 | 1 | 3 535.91/536.11 c 535s | 20 | 874650 | 871227 | 13438 145 | 1 | 3 537.91/538.11 c 537s | 20 | 878966 | 875527 | 13438 145 | 1 | 3 539.91/540.12 c 539s | 20 | 881378 | 877927 | 13438 146 | 1 | 3 541.90/542.12 c 541s | 20 | 885385 | 881927 | 13438 146 | 1 | 3 543.90/544.13 c 543s | 20 | 889391 | 885927 | 13438 147 | 1 | 3 545.90/546.15 c 545s | 20 | 890297 | 886827 | 13438 147 | 1 | 3 547.90/548.16 c 547s | 20 | 895108 | 891627 | 13438 147 | 1 | 3 550.00/550.20 c 549s | 20 | 899621 | 896127 | 13438 148 | 1 | 3 552.10/552.35 c 551s | 20 | 903929 | 900427 | 13438 149 | 1 | 3 554.99/555.24 c 554s | 20 | 907639 | 904127 | 13438 149 | 1 | 3 557.09/557.35 c 556s | 20 | 911745 | 908227 | 13438 150 | 1 | 3 559.09/559.36 c 559s | 20 | 916156 | 912627 | 13438 150 | 1 | 3 561.09/561.38 c 561s | 20 | 919766 | 916227 | 13438 151 | 1 | 3 563.19/563.45 c 563s | 20 | 922071 | 918527 | 13438 151 | 1 | 3 565.30/565.54 c 565s | 20 | 922471 | 918927 | 13438 151 | 1 | 3 567.29/567.57 c 567s | 20 | 925674 | 922127 | 13438 151 | 1 | 3 569.39/569.60 c 569s | 20 | 929084 | 925527 | 13438 152 | 1 | 3 571.39/571.61 c 571s | 20 | 933209 | 929627 | 13438 152 | 1 | 3 573.48/573.71 c 573s | 20 | 936317 | 932727 | 13438 153 | 1 | 3 575.48/575.73 c 575s | 20 | 941329 | 937727 | 13438 153 | 1 | 3 577.48/577.74 c 577s | 20 | 945441 | 941827 | 13438 154 | 1 | 3 579.68/579.94 c 579s | 20 | 949455 | 945827 | 13438 155 | 1 | 3 581.88/582.12 c 581s | 20 | 951162 | 947527 | 13438 155 | 1 | 3 583.89/584.16 c 583s | 20 | 955173 | 951527 | 13438 155 | 1 | 3 585.88/586.19 c 585s | 20 | 959575 | 955927 | 13438 156 | 1 | 3 588.58/588.80 c 588s | 20 | 960185 | 956527 | 13438 156 | 1 | 3 590.58/590.81 c 590s | 20 | 962384 | 958727 | 13438 156 | 1 | 3 592.68/592.93 c 592s | 20 | 966505 | 962827 | 13438 157 | 1 | 3 594.68/594.95 c 594s | 20 | 971316 | 967627 | 13438 157 | 1 | 3 597.48/597.78 c 597s | 20 | 975019 | 971327 | 13438 158 | 1 | 3 599.48/599.79 c 599s | 20 | 978630 | 974927 | 13438 158 | 1 | 3 601.58/601.82 c 601s | 20 | 982945 | 979227 | 13438 159 | 1 | 3 604.67/604.92 c 604s | 20 | 984154 | 980427 | 13438 159 | 1 | 3 606.67/606.95 c 606s | 20 | 987656 | 983927 | 13438 160 | 1 | 3 608.67/608.98 c 608s | 20 | 991967 | 988227 | 13438 160 | 1 | 3 610.77/611.02 c 610s | 20 | 994984 | 991227 | 13438 161 | 1 | 3 614.28/614.55 c 614s | 20 | 998796 | 995027 | 14782 161 | 1 | 3 616.38/616.62 c 616s | 20 | 1002407 | 998627 | 14782 161 | 1 | 3 617.58/617.82 c 617s | 21 | 1004128 | 1000345 | 14782 162 | 1 | 3 619.58/619.87 c 619s | 21 | 1006252 | 1002445 | 14782 162 | 1 | 3 621.57/621.88 c 621s | 21 | 1010154 | 1006345 | 14782 162 | 1 | 3 623.67/623.90 c 623s | 21 | 1013959 | 1010145 | 14782 163 | 1 | 3 625.68/625.94 c 625s | 21 | 1017572 | 1013745 | 14782 163 | 1 | 3 627.67/627.96 c 627s | 21 | 1019675 | 1015845 | 14782 164 | 1 | 3 629.77/630.00 c 629s | 21 | 1023383 | 1019545 | 14782 164 | 1 | 3 631.77/632.02 c 631s | 21 | 1026297 | 1022445 | 14782 164 | 1 | 3 634.86/635.10 c 634s | 21 | 1028406 | 1024545 | 14782 165 | 1 | 3 636.86/637.13 c 636s | 21 | 1032519 | 1028645 | 14782 165 | 1 | 3 639.06/639.30 c 638s | 21 | 1036523 | 1032645 | 14782 166 | 1 | 3 641.06/641.33 c 640s | 21 | 1040843 | 1036945 | 14782 166 | 1 | 3 643.06/643.37 c 643s | 21 | 1044454 | 1040545 | 14782 167 | 1 | 3 645.06/645.37 c 645s | 21 | 1047865 | 1043945 | 14782 167 | 1 | 3 648.36/648.69 c 648s | 21 | 1050467 | 1046545 | 14782 167 | 1 | 3 650.46/650.70 c 650s | 21 | 1053781 | 1049845 | 14782 168 | 1 | 3 652.46/652.73 c 652s | 21 | 1057689 | 1053745 | 14782 168 | 1 | 3 654.46/654.76 c 654s | 21 | 1061399 | 1057445 | 14782 169 | 1 | 3 658.16/658.49 c 658s | 21 | 1064308 | 1060345 | 14782 169 | 1 | 3 660.26/660.52 c 660s | 21 | 1068816 | 1064845 | 14782 169 | 1 | 3 662.25/662.56 c 662s | 21 | 1072418 | 1068445 | 14782 170 | 1 | 3 664.26/664.56 c 664s | 21 | 1075829 | 1071845 | 14782 170 | 1 | 3 666.36/666.60 c 666s | 21 | 1078843 | 1074845 | 14782 171 | 1 | 3 668.36/668.64 c 668s | 21 | 1080239 | 1076245 | 14782 171 | 1 | 3 670.36/670.66 c 670s | 21 | 1084252 | 1080245 | 14782 171 | 1 | 3 672.85/673.19 c 672s | 21 | 1085862 | 1081845 | 14782 172 | 1 | 3 676.26/676.50 c 676s | 21 | 1087770 | 1083745 | 14782 172 | 1 | 3 678.25/678.54 c 678s | 21 | 1091977 | 1087945 | 14782 172 | 1 | 3 680.35/680.66 c 680s | 21 | 1094594 | 1090545 | 14782 173 | 1 | 3 682.35/682.68 c 682s | 21 | 1099300 | 1095245 | 14782 173 | 1 | 3 684.35/684.68 c 684s | 21 | 1102207 | 1098145 | 14782 174 | 1 | 3 686.35/686.69 c 686s | 21 | 1105722 | 1101645 | 14782 174 | 1 | 3 688.45/688.78 c 688s | 21 | 1109141 | 1105045 | 14782 174 | 1 | 3 691.14/691.42 c 691s | 21 | 1109346 | 1105245 | 14782 175 | 1 | 3 693.14/693.47 c 693s | 21 | 1113556 | 1109445 | 14782 175 | 1 | 3 696.35/696.60 c 696s | 21 | 1115574 | 1111445 | 14782 175 | 1 | 3 698.35/698.63 c 698s | 21 | 1119170 | 1115045 | 14782 176 | 1 | 3 700.35/700.68 c 700s | 21 | 1123584 | 1119445 | 14782 176 | 1 | 3 702.44/702.74 c 702s | 21 | 1126594 | 1122445 | 14782 177 | 1 | 3 704.44/704.77 c 704s | 21 | 1129494 | 1125345 | 14782 177 | 1 | 3 706.54/706.88 c 706s | 21 | 1132117 | 1127945 | 14782 177 | 1 | 3 708.94/709.21 c 708s | 21 | 1133620 | 1129445 | 14782 178 | 1 | 3 710.94/711.25 c 710s | 21 | 1137526 | 1133345 | 14782 178 | 1 | 3 712.94/713.28 c 712s | 21 | 1141342 | 1137145 | 14782 178 | 1 | 3 714.94/715.29 c 714s | 21 | 1144448 | 1140245 | 14782 179 | 1 | 3 717.04/717.35 c 716s | 21 | 1147466 | 1143245 | 14782 179 | 1 | 3 719.04/719.39 c 719s | 21 | 1150762 | 1146545 | 14782 180 | 1 | 3 723.93/724.20 c 723s | 21 | 1153676 | 1149445 | 14782 180 | 1 | 3 725.93/726.20 c 725s | 21 | 1157087 | 1152845 | 14782 180 | 1 | 3 727.94/728.23 c 727s | 21 | 1160394 | 1156145 | 14782 181 | 1 | 3 731.35/731.64 c 731s | 21 | 1162408 | 1158145 | 14782 181 | 1 | 3 733.34/733.66 c 733s | 21 | 1165710 | 1161445 | 14782 181 | 1 | 3 735.34/735.67 c 735s | 21 | 1168621 | 1164345 | 14782 182 | 1 | 3 737.44/737.70 c 737s | 21 | 1171638 | 1167345 | 14782 182 | 1 | 3 739.44/739.74 c 739s | 21 | 1174033 | 1169745 | 14782 183 | 1 | 3 744.63/744.96 c 744s | 21 | 1174845 | 1170545 | 14782 183 | 1 | 3 746.64/746.97 c 746s | 21 | 1179452 | 1175145 | 14782 183 | 1 | 3 748.63/748.99 c 748s | 21 | 1182260 | 1177945 | 14782 184 | 1 | 3 750.73/751.01 c 750s | 21 | 1186471 | 1182145 | 14782 184 | 1 | 3 753.03/753.36 c 753s | 21 | 1190284 | 1185945 | 14782 185 | 1 | 3 755.03/755.38 c 755s | 21 | 1195300 | 1190945 | 14782 185 | 1 | 3 757.03/757.40 c 757s | 21 | 1198698 | 1194345 | 14782 186 | 1 | 3 759.13/759.41 c 759s | 21 | 1199908 | 1195545 | 14782 186 | 1 | 3 761.13/761.42 c 761s | 21 | 1204318 | 1199945 | 14782 186 | 1 | 3 763.13/763.42 c 763s | 21 | 1207825 | 1203445 | 14782 187 | 1 | 3 765.13/765.42 c 765s | 21 | 1211032 | 1206645 | 14782 187 | 1 | 3 767.93/768.24 c 767s | 21 | 1213446 | 1209045 | 14782 187 | 1 | 3 770.03/770.39 c 770s | 21 | 1214955 | 1210545 | 14782 188 | 1 | 3 772.13/772.40 c 772s | 21 | 1218857 | 1214445 | 14782 188 | 1 | 3 774.14/774.43 c 774s | 21 | 1222371 | 1217945 | 14782 188 | 1 | 3 776.13/776.46 c 776s | 21 | 1225477 | 1221045 | 14782 189 | 1 | 3 778.13/778.48 c 778s | 21 | 1229183 | 1224745 | 14782 189 | 1 | 3 780.23/780.52 c 780s | 21 | 1232890 | 1228445 | 14782 190 | 1 | 3 782.23/782.53 c 782s | 21 | 1234497 | 1230045 | 14782 190 | 1 | 3 784.23/784.56 c 784s | 21 | 1238913 | 1234445 | 14782 190 | 1 | 3 786.23/786.57 c 786s | 21 | 1242524 | 1238045 | 14782 191 | 1 | 3 788.33/788.60 c 788s | 21 | 1245832 | 1241345 | 14782 191 | 1 | 3 792.02/792.38 c 792s | 21 | 1248742 | 1244245 | 14782 192 | 1 | 3 794.12/794.41 c 794s | 21 | 1252761 | 1248245 | 14782 192 | 1 | 3 798.43/798.75 c 798s | 21 | 1255574 | 1251045 | 14782 193 | 1 | 3 800.53/800.86 c 800s | 21 | 1259881 | 1255345 | 14782 193 | 1 | 3 802.73/803.06 c 802s | 21 | 1263089 | 1258545 | 14782 194 | 1 | 3 805.63/805.96 c 805s | 21 | 1264298 | 1259745 | 14782 194 | 1 | 3 807.63/807.98 c 807s | 21 | 1268506 | 1263945 | 14782 194 | 1 | 3 809.63/809.99 c 809s | 21 | 1271520 | 1266945 | 14782 195 | 1 | 3 811.73/812.01 c 811s | 21 | 1275220 | 1270645 | 14782 195 | 1 | 3 813.73/814.03 c 813s | 21 | 1278624 | 1274045 | 14782 195 | 1 | 3 815.73/816.04 c 815s | 21 | 1281628 | 1277045 | 14782 196 | 1 | 3 817.73/818.08 c 817s | 21 | 1285136 | 1280545 | 14782 196 | 1 | 3 819.82/820.10 c 819s | 21 | 1286840 | 1282245 | 14782 196 | 1 | 3 821.82/822.15 c 821s | 21 | 1289856 | 1285245 | 14782 197 | 1 | 3 823.82/824.17 c 823s | 21 | 1293067 | 1288445 | 14782 197 | 1 | 3 825.83/826.20 c 825s | 21 | 1294873 | 1290245 | 14782 197 | 1 | 3 827.92/828.25 c 827s | 21 | 1296772 | 1292145 | 14782 198 | 1 | 3 829.92/830.27 c 829s | 21 | 1300383 | 1295745 | 14782 198 | 1 | 3 831.92/832.28 c 831s | 21 | 1302987 | 1298345 | 14782 198 | 1 | 3 834.02/834.30 c 833s | 21 | 1305597 | 1300945 | 14782 199 | 1 | 3 838.02/838.35 c 837s | 21 | 1307004 | 1302345 | 14782 199 | 1 | 3 840.02/840.36 c 840s | 21 | 1311514 | 1306845 | 14782 199 | 1 | 3 842.01/842.38 c 842s | 21 | 1314020 | 1309345 | 14782 200 | 1 | 3 844.11/844.41 c 844s | 21 | 1318236 | 1313545 | 14782 200 | 1 | 3 846.11/846.42 c 846s | 21 | 1321641 | 1316945 | 14782 201 | 1 | 3 848.12/848.45 c 848s | 21 | 1323545 | 1318845 | 14782 201 | 1 | 3 850.13/850.48 c 850s | 21 | 1327158 | 1322445 | 14782 201 | 1 | 3 855.02/855.35 c 854s | 21 | 1330869 | 1326145 | 14782 202 | 1 | 3 857.12/857.43 c 857s | 21 | 1335684 | 1330945 | 14782 202 | 1 | 3 859.12/859.44 c 859s | 21 | 1339996 | 1335245 | 14782 203 | 1 | 3 861.12/861.46 c 861s | 21 | 1344010 | 1339245 | 14782 203 | 1 | 3 863.12/863.46 c 863s | 21 | 1347323 | 1342545 | 14782 204 | 1 | 3 865.12/865.47 c 865s | 21 | 1349529 | 1344745 | 14782 204 | 1 | 3 867.42/867.74 c 867s | 21 | 1353543 | 1348745 | 14782 205 | 1 | 3 869.41/869.75 c 869s | 21 | 1357453 | 1352645 | 14782 205 | 1 | 3 871.51/871.80 c 871s | 21 | 1361461 | 1356645 | 14782 205 | 1 | 3 874.22/874.60 c 874s | 21 | 1363369 | 1358545 | 14782 206 | 1 | 3 876.42/876.76 c 876s | 21 | 1363670 | 1358845 | 14782 206 | 1 | 3 878.41/878.79 c 878s | 21 | 1365470 | 1360645 | 14782 206 | 1 | 3 880.51/880.82 c 880s | 21 | 1368774 | 1363945 | 14782 206 | 1 | 3 882.51/882.86 c 882s | 21 | 1372585 | 1367745 | 14782 207 | 1 | 3 884.51/884.88 c 884s | 21 | 1376594 | 1371745 | 14782 207 | 1 | 3 886.61/886.90 c 886s | 21 | 1378596 | 1373745 | 14782 208 | 1 | 3 888.62/888.93 c 888s | 21 | 1383310 | 1378445 | 14782 208 | 1 | 3 890.61/890.97 c 890s | 21 | 1386827 | 1381945 | 14782 209 | 1 | 3 892.61/892.98 c 892s | 21 | 1390929 | 1386045 | 14782 209 | 1 | 3 895.22/895.52 c 895s | 21 | 1394045 | 1389145 | 14782 210 | 1 | 3 897.21/897.56 c 897s | 21 | 1397555 | 1392645 | 14782 210 | 1 | 3 902.30/902.69 c 902s | 21 | 1401474 | 1396545 | 14782 210 | 1 | 3 904.41/904.72 c 904s | 21 | 1404276 | 1399345 | 14782 211 | 1 | 3 906.41/906.74 c 906s | 21 | 1408789 | 1403845 | 14782 211 | 1 | 3 908.42/908.75 c 908s | 21 | 1412301 | 1407345 | 14782 212 | 1 | 3 910.41/910.79 c 910s | 21 | 1416006 | 1411045 | 14782 212 | 1 | 3 912.51/912.89 c 912s | 21 | 1418909 | 1413945 | 14782 213 | 1 | 3 914.61/914.92 c 914s | 21 | 1422815 | 1417845 | 14782 213 | 1 | 3 917.70/918.00 c 917s | 21 | 1425326 | 1420345 | 14782 213 | 1 | 3 919.70/920.02 c 919s | 21 | 1428227 | 1423245 | 14782 214 | 1 | 3 921.70/922.05 c 921s | 21 | 1432235 | 1427245 | 14782 214 | 1 | 3 923.81/924.12 c 923s | 21 | 1435051 | 1430045 | 14782 215 | 1 | 3 925.80/926.18 c 925s | 21 | 1439061 | 1434045 | 14782 215 | 1 | 3 929.01/929.31 c 928s | 21 | 1440070 | 1435045 | 14782 215 | 1 | 3 931.01/931.35 c 930s | 21 | 1443374 | 1438345 | 14782 216 | 1 | 3 933.01/933.36 c 933s | 21 | 1446783 | 1441745 | 14782 216 | 1 | 3 935.10/935.41 c 935s | 21 | 1450588 | 1445545 | 14782 216 | 1 | 3 937.10/937.44 c 937s | 21 | 1454309 | 1449245 | 14782 217 | 1 | 3 939.11/939.48 c 939s | 21 | 1458515 | 1453445 | 14782 217 | 1 | 3 942.00/942.31 c 941s | 21 | 1460526 | 1455445 | 14782 218 | 1 | 3 944.00/944.35 c 943s | 21 | 1464239 | 1459145 | 14782 218 | 1 | 3 946.00/946.35 c 945s | 21 | 1467940 | 1462845 | 14782 218 | 1 | 3 948.01/948.37 c 948s | 21 | 1472052 | 1466945 | 14782 219 | 1 | 3 950.11/950.40 c 950s | 21 | 1476066 | 1470945 | 14782 219 | 1 | 3 952.10/952.44 c 952s | 21 | 1479571 | 1474445 | 14782 220 | 1 | 3 954.10/954.46 c 954s | 21 | 1483180 | 1478045 | 14782 220 | 1 | 3 957.90/958.24 c 957s | 21 | 1484791 | 1479645 | 14782 221 | 1 | 3 960.00/960.31 c 959s | 21 | 1488693 | 1483545 | 14782 221 | 1 | 3 962.00/962.32 c 961s | 21 | 1492009 | 1486845 | 14782 221 | 1 | 3 964.00/964.33 c 963s | 21 | 1495920 | 1490745 | 16261 222 | 1 | 3 966.90/967.26 c 966s | 21 | 1498634 | 1493445 | 16261 222 | 1 | 3 969.29/969.65 c 969s | 21 | 1502440 | 1497245 | 16261 223 | 1 | 3 971.00/971.35 c 970s | 22 | 1505831 | 1500622 | 16261 223 | 1 | 3 973.00/973.35 c 972s | 22 | 1506551 | 1501322 | 16261 223 | 1 | 3 975.00/975.37 c 975s | 22 | 1509363 | 1504122 | 16261 223 | 1 | 3 977.00/977.37 c 977s | 22 | 1512166 | 1506922 | 16261 224 | 1 | 3 979.00/979.38 c 979s | 22 | 1515384 | 1510122 | 16261 224 | 1 | 3 981.10/981.42 c 981s | 22 | 1519000 | 1513722 | 16261 224 | 1 | 3 983.30/983.64 c 983s | 22 | 1522012 | 1516722 | 16261 225 | 1 | 3 985.40/985.74 c 985s | 22 | 1525828 | 1520522 | 16261 225 | 1 | 3 987.40/987.75 c 987s | 22 | 1529037 | 1523722 | 16261 226 | 1 | 3 989.40/989.76 c 989s | 22 | 1532343 | 1527022 | 16261 226 | 1 | 3 991.40/991.79 c 991s | 22 | 1535746 | 1530422 | 16261 226 | 1 | 3 993.50/993.81 c 993s | 22 | 1538068 | 1532722 | 16261 227 | 1 | 3 995.49/995.85 c 995s | 22 | 1540473 | 1535122 | 16261 227 | 1 | 3 997.50/997.85 c 997s | 22 | 1544876 | 1539522 | 16261 227 | 1 | 3 999.49/999.88 c 999s | 22 | 1547992 | 1542622 | 16261 228 | 1 | 3 1001.59/1001.92 c 1001s | 22 | 1551800 | 1546422 | 16261 228 | 1 | 3 1003.59/1003.97 c 1003s | 22 | 1554605 | 1549222 | 16261 228 | 1 | 3 1005.79/1006.13 c 1005s | 22 | 1557315 | 1551922 | 16261 229 | 1 | 3 1007.79/1008.15 c 1007s | 22 | 1560919 | 1555522 | 16261 229 | 1 | 3 1009.79/1010.19 c 1009s | 22 | 1562727 | 1557322 | 16261 229 | 1 | 3 1012.69/1013.09 c 1012s | 22 | 1565037 | 1559622 | 16261 230 | 1 | 3 1014.79/1015.11 c 1014s | 22 | 1569150 | 1563722 | 16261 230 | 1 | 3 1016.79/1017.14 c 1016s | 22 | 1572757 | 1567322 | 16261 230 | 1 | 3 1019.70/1020.05 c 1019s | 22 | 1573269 | 1567822 | 16261 231 | 1 | 3 1021.70/1022.07 c 1021s | 22 | 1577071 | 1571622 | 16261 231 | 1 | 3 1023.69/1024.08 c 1023s | 22 | 1580283 | 1574822 | 16261 231 | 1 | 3 1027.49/1027.87 c 1027s | 22 | 1582589 | 1577122 | 16261 232 | 1 | 3 1029.59/1029.95 c 1029s | 22 | 1587100 | 1581622 | 16261 232 | 1 | 3 1031.60/1031.96 c 1031s | 22 | 1590409 | 1584922 | 16261 232 | 1 | 3 1033.70/1034.00 c 1033s | 22 | 1593514 | 1588022 | 16261 233 | 1 | 3 1035.69/1036.03 c 1035s | 22 | 1597117 | 1591622 | 16261 233 | 1 | 3 1037.79/1038.14 c 1037s | 22 | 1599633 | 1594122 | 16261 234 | 1 | 3 1039.79/1040.14 c 1039s | 22 | 1603150 | 1597622 | 16261 234 | 1 | 3 1041.79/1042.15 c 1041s | 22 | 1603850 | 1598322 | 16261 234 | 1 | 3 1043.79/1044.16 c 1043s | 22 | 1607657 | 1602122 | 16261 234 | 1 | 3 1049.99/1050.33 c 1049s | 22 | 1610370 | 1604822 | 16261 235 | 1 | 3 1051.99/1052.37 c 1052s | 22 | 1614377 | 1608822 | 16261 235 | 1 | 3 1054.08/1054.45 c 1054s | 22 | 1617389 | 1611822 | 16261 236 | 1 | 3 1056.08/1056.48 c 1056s | 22 | 1621602 | 1616022 | 16261 236 | 1 | 3 1058.58/1058.98 c 1058s | 22 | 1624614 | 1619022 | 16261 236 | 1 | 3 1060.68/1061.00 c 1060s | 22 | 1627118 | 1621522 | 16261 237 | 1 | 3 1062.68/1063.02 c 1062s | 22 | 1631725 | 1626122 | 16261 237 | 1 | 3 1064.98/1065.38 c 1065s | 22 | 1635232 | 1629622 | 16261 238 | 1 | 3 1067.08/1067.46 c 1067s | 22 | 1639042 | 1633422 | 16261 238 | 1 | 3 1069.18/1069.53 c 1069s | 22 | 1642450 | 1636822 | 16261 238 | 1 | 3 1071.19/1071.54 c 1071s | 22 | 1645463 | 1639822 | 16261 239 | 1 | 3 1076.39/1076.73 c 1076s | 22 | 1648476 | 1642822 | 16261 239 | 1 | 3 1078.39/1078.75 c 1078s | 22 | 1652188 | 1646522 | 16261 239 | 1 | 3 1080.39/1080.78 c 1080s | 22 | 1655387 | 1649722 | 16261 240 | 1 | 3 1082.49/1082.83 c 1082s | 22 | 1658903 | 1653222 | 16261 240 | 1 | 3 1084.48/1084.88 c 1084s | 22 | 1662007 | 1656322 | 16261 241 | 1 | 3 1086.59/1086.91 c 1086s | 22 | 1663021 | 1657322 | 16261 241 | 1 | 3 1088.58/1088.92 c 1088s | 22 | 1667124 | 1661422 | 16261 241 | 1 | 3 1093.28/1093.62 c 1093s | 22 | 1669443 | 1663722 | 16261 241 | 1 | 3 1095.28/1095.65 c 1095s | 22 | 1672952 | 1667222 | 16261 242 | 1 | 3 1097.28/1097.69 c 1097s | 22 | 1676559 | 1670822 | 16261 242 | 1 | 3 1099.38/1099.70 c 1099s | 22 | 1679774 | 1674022 | 16261 242 | 1 | 3 1101.38/1101.73 c 1101s | 22 | 1683480 | 1677722 | 16261 243 | 1 | 3 1104.77/1105.12 c 1104s | 22 | 1683690 | 1677922 | 16261 243 | 1 | 3 1106.77/1107.13 c 1106s | 22 | 1687807 | 1682022 | 16261 243 | 1 | 3 1108.78/1109.15 c 1108s | 22 | 1691118 | 1685322 | 16261 244 | 1 | 3 1110.79/1111.15 c 1110s | 22 | 1695229 | 1689422 | 16261 244 | 1 | 3 1112.99/1113.39 c 1113s | 22 | 1698242 | 1692422 | 16261 245 | 1 | 3 1114.98/1115.39 c 1115s | 22 | 1699845 | 1694022 | 16261 245 | 1 | 3 1117.08/1117.42 c 1117s | 22 | 1703656 | 1697822 | 16261 245 | 1 | 3 1122.28/1122.69 c 1122s | 22 | 1707572 | 1701722 | 16261 246 | 1 | 3 1124.37/1124.70 c 1124s | 22 | 1712182 | 1706322 | 16261 246 | 1 | 3 1126.37/1126.72 c 1126s | 22 | 1715596 | 1709722 | 16261 246 | 1 | 3 1128.38/1128.74 c 1128s | 22 | 1718702 | 1712822 | 16261 247 | 1 | 3 1131.68/1132.09 c 1131s | 22 | 1721818 | 1715922 | 16261 247 | 1 | 3 1133.78/1134.12 c 1133s | 22 | 1725031 | 1719122 | 16261 248 | 1 | 3 1136.28/1136.62 c 1136s | 22 | 1726638 | 1720722 | 16261 248 | 1 | 3 1138.29/1138.63 c 1138s | 22 | 1730645 | 1724722 | 16261 248 | 1 | 3 1140.28/1140.63 c 1140s | 22 | 1734354 | 1728422 | 16261 249 | 1 | 3 1144.07/1144.44 c 1144s | 22 | 1736068 | 1730122 | 16261 249 | 1 | 3 1146.07/1146.47 c 1146s | 22 | 1740470 | 1734522 | 16261 249 | 1 | 3 1148.18/1148.52 c 1148s | 22 | 1743980 | 1738022 | 16261 250 | 1 | 3 1150.17/1150.57 c 1150s | 22 | 1747799 | 1741822 | 16261 250 | 1 | 3 1152.27/1152.62 c 1152s | 22 | 1751014 | 1745022 | 16261 250 | 1 | 3 1154.27/1154.65 c 1154s | 22 | 1753517 | 1747522 | 16261 251 | 1 | 3 1156.27/1156.66 c 1156s | 22 | 1757132 | 1751122 | 16261 251 | 1 | 3 1160.07/1160.44 c 1160s | 22 | 1759945 | 1753922 | 16261 251 | 1 | 3 1162.07/1162.47 c 1162s | 22 | 1762652 | 1756622 | 16261 252 | 1 | 3 1164.17/1164.51 c 1164s | 22 | 1767367 | 1761322 | 16261 252 | 1 | 3 1166.17/1166.51 c 1166s | 22 | 1771180 | 1765122 | 16261 253 | 1 | 3 1168.17/1168.55 c 1168s | 22 | 1775589 | 1769522 | 16261 253 | 1 | 3 1170.18/1170.55 c 1170s | 22 | 1778802 | 1772722 | 16261 253 | 1 | 3 1172.17/1172.56 c 1172s | 22 | 1780907 | 1774822 | 16261 254 | 1 | 3 1174.17/1174.57 c 1174s | 22 | 1785208 | 1779122 | 16261 254 | 1 | 3 1176.27/1176.65 c 1176s | 22 | 1788220 | 1782122 | 16261 255 | 1 | 3 1178.27/1178.68 c 1178s | 22 | 1792034 | 1785922 | 16261 255 | 1 | 3 1181.07/1181.42 c 1181s | 22 | 1792738 | 1786622 | 16261 255 | 1 | 3 1183.07/1183.42 c 1183s | 22 | 1796046 | 1789922 | 16261 255 | 1 | 3 1185.07/1185.45 c 1185s | 22 | 1798954 | 1792822 | 16261 256 | 1 | 3 1187.06/1187.49 c 1187s | 22 | 1802164 | 1796022 | 16261 256 | 1 | 3 1189.36/1189.70 c 1189s | 22 | 1806272 | 1800122 | 16261 257 | 1 | 3 1191.36/1191.72 c 1191s | 22 | 1810175 | 1804022 | 16261 257 | 1 | 3 1193.36/1193.77 c 1193s | 22 | 1813995 | 1807822 | 16261 257 | 1 | 3 1198.87/1199.30 c 1198s | 22 | 1816306 | 1810122 | 16261 258 | 1 | 3 1200.97/1201.32 c 1200s | 22 | 1820113 | 1813922 | 16261 258 | 1 | 3 1202.97/1203.33 c 1202s | 22 | 1823830 | 1817622 | 16261 259 | 1 | 3 1204.97/1205.38 c 1205s | 22 | 1827337 | 1821122 | 16261 259 | 1 | 3 1207.07/1207.45 c 1207s | 22 | 1830136 | 1823922 | 16261 259 | 1 | 3 1212.06/1212.48 c 1212s | 22 | 1832757 | 1826522 | 16261 260 | 1 | 3 1214.07/1214.48 c 1214s | 22 | 1836860 | 1830622 | 16261 260 | 1 | 3 1216.16/1216.52 c 1216s | 22 | 1840665 | 1834422 | 16261 260 | 1 | 3 1218.16/1218.56 c 1218s | 22 | 1843779 | 1837522 | 16261 261 | 1 | 3 1220.26/1220.66 c 1220s | 22 | 1847378 | 1841122 | 16261 261 | 1 | 3 1222.26/1222.68 c 1222s | 22 | 1850389 | 1844122 | 16261 261 | 1 | 3 1224.26/1224.68 c 1224s | 22 | 1853393 | 1847122 | 16261 262 | 1 | 3 1228.96/1229.32 c 1228s | 22 | 1854400 | 1848122 | 16261 262 | 1 | 3 1230.96/1231.34 c 1230s | 22 | 1857605 | 1851322 | 16261 262 | 1 | 3 1232.96/1233.40 c 1233s | 22 | 1860412 | 1854122 | 16261 263 | 1 | 3 1237.76/1238.17 c 1237s | 22 | 1863022 | 1856722 | 16261 263 | 1 | 3 1239.76/1240.18 c 1239s | 22 | 1866320 | 1860022 | 16261 263 | 1 | 3 1241.86/1242.20 c 1241s | 22 | 1868637 | 1862322 | 16261 264 | 1 | 3 1243.86/1244.22 c 1243s | 22 | 1871848 | 1865522 | 16261 264 | 1 | 3 1245.86/1246.22 c 1245s | 22 | 1874550 | 1868222 | 16261 264 | 1 | 3 1251.26/1251.66 c 1251s | 22 | 1875565 | 1869222 | 16261 264 | 1 | 3 1253.56/1253.95 c 1253s | 22 | 1877363 | 1871022 | 16261 265 | 1 | 3 1255.56/1255.95 c 1255s | 22 | 1881473 | 1875122 | 16261 265 | 1 | 3 1257.56/1257.99 c 1257s | 22 | 1884879 | 1878522 | 16261 265 | 1 | 3 1259.66/1260.05 c 1259s | 22 | 1887196 | 1880822 | 16261 266 | 1 | 3 1261.76/1262.10 c 1261s | 22 | 1891604 | 1885222 | 16261 266 | 1 | 3 1263.76/1264.12 c 1263s | 22 | 1895605 | 1889222 | 16261 267 | 1 | 3 1265.76/1266.15 c 1265s | 22 | 1899320 | 1892922 | 16261 267 | 1 | 3 1267.86/1268.24 c 1267s | 22 | 1900531 | 1894122 | 16261 267 | 1 | 3 1269.86/1270.26 c 1269s | 22 | 1903943 | 1897522 | 16261 267 | 1 | 3 1271.96/1272.30 c 1271s | 22 | 1906847 | 1900422 | 16261 268 | 1 | 3 1273.96/1274.34 c 1273s | 22 | 1910058 | 1903622 | 16261 268 | 1 | 3 1276.06/1276.45 c 1276s | 22 | 1913174 | 1906722 | 16261 269 | 1 | 3 1278.96/1279.39 c 1279s | 22 | 1914176 | 1907722 | 16261 269 | 1 | 3 1281.26/1281.63 c 1281s | 22 | 1915586 | 1909122 | 16261 269 | 1 | 3 1283.25/1283.63 c 1283s | 22 | 1919188 | 1912722 | 16261 269 | 1 | 3 1285.35/1285.73 c 1285s | 22 | 1921899 | 1915422 | 16261 270 | 1 | 3 1287.35/1287.78 c 1287s | 22 | 1925811 | 1919322 | 16261 270 | 1 | 3 1289.45/1289.81 c 1289s | 22 | 1929425 | 1922922 | 16261 270 | 1 | 3 1291.55/1291.99 c 1291s | 22 | 1933130 | 1926622 | 16261 271 | 1 | 3 1293.65/1294.03 c 1293s | 22 | 1934637 | 1928122 | 16261 271 | 1 | 3 1295.65/1296.04 c 1295s | 22 | 1937034 | 1930522 | 16261 271 | 1 | 3 1297.76/1298.12 c 1297s | 22 | 1940650 | 1934122 | 16261 272 | 1 | 3 1299.75/1300.18 c 1299s | 22 | 1944457 | 1937922 | 16261 272 | 1 | 3 1301.85/1302.23 c 1301s | 22 | 1947865 | 1941322 | 16261 272 | 1 | 3 1305.05/1305.46 c 1305s | 22 | 1949370 | 1942822 | 16261 273 | 1 | 3 1307.15/1307.50 c 1307s | 22 | 1953479 | 1946922 | 16261 273 | 1 | 3 1309.15/1309.53 c 1309s | 22 | 1956287 | 1949722 | 16261 273 | 1 | 3 1311.15/1311.55 c 1311s | 22 | 1958690 | 1952122 | 16261 274 | 1 | 3 1313.15/1313.56 c 1313s | 22 | 1962395 | 1955822 | 16261 274 | 1 | 3 1316.84/1317.22 c 1316s | 22 | 1964905 | 1958322 | 16261 274 | 1 | 3 1318.84/1319.29 c 1318s | 22 | 1966413 | 1959822 | 16261 275 | 1 | 3 1320.94/1321.31 c 1320s | 22 | 1969919 | 1963322 | 16261 275 | 1 | 3 1322.95/1323.36 c 1323s | 22 | 1973729 | 1967122 | 16261 275 | 1 | 3 1325.04/1325.47 c 1325s | 22 | 1975835 | 1969222 | 16261 276 | 1 | 3 1327.14/1327.56 c 1327s | 22 | 1979646 | 1973022 | 16261 276 | 1 | 3 1329.14/1329.58 c 1329s | 22 | 1982958 | 1976322 | 16261 276 | 1 | 3 1331.24/1331.60 c 1331s | 22 | 1985665 | 1979022 | 16261 277 | 1 | 3 1335.45/1335.88 c 1335s | 22 | 1986472 | 1979822 | 16261 277 | 1 | 3 1337.45/1337.89 c 1337s | 22 | 1989981 | 1983322 | 16261 277 | 1 | 3 1339.55/1339.93 c 1339s | 22 | 1992691 | 1986022 | 16261 278 | 1 | 3 1344.04/1344.48 c 1344s | 22 | 1995199 | 1988522 | 16261 278 | 1 | 3 1346.05/1346.48 c 1346s | 22 | 1998902 | 1992222 | 16261 278 | 1 | 3 1348.35/1348.70 c 1348s | 22 | 2001407 | 1994722 | 16261 279 | 1 | 3 1350.34/1350.74 c 1350s | 22 | 2004408 | 1997722 | 16261 279 | 1 | 3 1352.34/1352.74 c 1352s | 22 | 2007220 | 2000522 | 16261 279 | 1 | 3 1357.14/1357.58 c 1357s | 22 | 2007732 | 2001022 | 16261 279 | 1 | 3 1359.84/1360.27 c 1359s | 22 | 2010838 | 2004122 | 16261 280 | 1 | 3 1361.94/1362.30 c 1361s | 22 | 2015146 | 2008422 | 16261 280 | 1 | 3 1363.94/1364.34 c 1363s | 22 | 2018855 | 2012122 | 16261 280 | 1 | 3 1365.95/1366.39 c 1366s | 22 | 2021772 | 2015022 | 16261 281 | 1 | 3 1368.05/1368.43 c 1368s | 22 | 2024775 | 2018022 | 16261 281 | 1 | 3 1370.04/1370.43 c 1370s | 22 | 2027275 | 2020522 | 16261 281 | 1 | 3 1372.04/1372.45 c 1372s | 22 | 2029689 | 2022922 | 16261 282 | 1 | 3 1377.53/1377.96 c 1377s | 22 | 2031603 | 2024822 | 16261 282 | 1 | 3 1379.53/1379.98 c 1379s | 22 | 2034901 | 2028122 | 16261 282 | 1 | 3 1381.63/1382.04 c 1381s | 22 | 2037910 | 2031122 | 16261 282 | 1 | 3 1383.64/1384.05 c 1383s | 22 | 2041523 | 2034722 | 16261 283 | 1 | 3 1385.65/1386.06 c 1385s | 22 | 2045632 | 2038822 | 16261 283 | 1 | 3 1387.64/1388.08 c 1387s | 22 | 2049244 | 2042422 | 16261 284 | 1 | 3 1389.74/1390.10 c 1389s | 22 | 2049746 | 2042922 | 16261 284 | 1 | 3 1391.74/1392.12 c 1391s | 22 | 2054162 | 2047322 | 16261 284 | 1 | 3 1393.74/1394.13 c 1393s | 22 | 2057469 | 2050622 | 16261 285 | 1 | 3 1395.74/1396.17 c 1395s | 22 | 2061383 | 2054522 | 16261 285 | 1 | 3 1399.53/1399.92 c 1399s | 22 | 2063997 | 2057122 | 16261 285 | 1 | 3 1401.83/1402.21 c 1401s | 22 | 2064396 | 2057522 | 16261 285 | 1 | 3 1404.34/1404.72 c 1404s | 22 | 2065502 | 2058622 | 16261 286 | 1 | 3 1406.33/1406.75 c 1406s | 22 | 2069308 | 2062422 | 16261 286 | 1 | 3 1408.33/1408.77 c 1408s | 22 | 2072815 | 2065922 | 16261 286 | 1 | 3 1410.43/1410.80 c 1410s | 22 | 2076623 | 2069722 | 16261 287 | 1 | 3 1412.43/1412.82 c 1412s | 22 | 2079938 | 2073022 | 16261 287 | 1 | 3 1414.43/1414.88 c 1414s | 22 | 2082951 | 2076022 | 16261 288 | 1 | 3 1416.54/1416.91 c 1416s | 22 | 2086763 | 2079822 | 16261 288 | 1 | 3 1418.53/1418.97 c 1418s | 22 | 2090571 | 2083622 | 16261 288 | 1 | 3 1421.53/1421.97 c 1421s | 22 | 2092984 | 2086022 | 16261 289 | 1 | 3 1423.53/1423.97 c 1423s | 22 | 2096789 | 2089822 | 16261 289 | 1 | 3 1425.53/1425.98 c 1425s | 22 | 2100599 | 2093622 | 16261 289 | 1 | 3 1432.33/1432.79 c 1432s | 22 | 2102109 | 2095122 | 16261 290 | 1 | 3 1434.43/1434.80 c 1434s | 22 | 2106422 | 2099422 | 16261 290 | 1 | 3 1436.53/1436.95 c 1436s | 22 | 2110333 | 2103322 | 16261 291 | 1 | 3 1438.54/1438.99 c 1438s | 22 | 2114342 | 2107322 | 16261 291 | 1 | 3 1440.64/1441.02 c 1440s | 22 | 2117542 | 2110522 | 16261 291 | 1 | 3 1442.94/1443.30 c 1442s | 22 | 2119952 | 2112922 | 16261 292 | 1 | 3 1445.03/1445.41 c 1445s | 22 | 2124463 | 2117422 | 16261 292 | 1 | 3 1447.13/1447.58 c 1447s | 22 | 2125974 | 2118922 | 16261 292 | 1 | 3 1449.43/1449.81 c 1449s | 22 | 2128275 | 2121222 | 16261 293 | 1 | 3 1451.42/1451.85 c 1451s | 22 | 2132487 | 2125422 | 16261 293 | 1 | 3 1453.43/1453.88 c 1453s | 22 | 2135895 | 2128822 | 16261 293 | 1 | 3 1455.43/1455.89 c 1455s | 22 | 2138702 | 2131622 | 16261 294 | 1 | 3 1459.92/1460.30 c 1459s | 22 | 2140710 | 2133622 | 16261 294 | 1 | 3 1461.92/1462.30 c 1461s | 22 | 2144114 | 2137022 | 16261 294 | 1 | 3 1463.92/1464.36 c 1464s | 22 | 2147026 | 2139922 | 16261 295 | 1 | 3 1466.03/1466.41 c 1466s | 22 | 2151235 | 2144122 | 16261 295 | 1 | 3 1468.13/1468.57 c 1468s | 22 | 2154453 | 2147322 | 16261 296 | 1 | 3 1470.22/1470.60 c 1470s | 22 | 2158358 | 2151222 | 16261 296 | 1 | 3 1473.32/1473.75 c 1473s | 22 | 2161272 | 2154122 | 16261 296 | 1 | 3 1475.33/1475.77 c 1475s | 22 | 2163970 | 2156822 | 16261 297 | 1 | 3 1477.43/1477.80 c 1477s | 22 | 2167784 | 2160622 | 16261 297 | 1 | 3 1479.43/1479.82 c 1479s | 22 | 2171891 | 2164722 | 16261 297 | 1 | 3 1482.02/1482.40 c 1482s | 22 | 2175709 | 2168522 | 16261 298 | 1 | 3 1484.02/1484.42 c 1484s | 22 | 2179611 | 2172422 | 16261 298 | 1 | 3 1486.02/1486.48 c 1486s | 22 | 2182222 | 2175022 | 16261 299 | 1 | 3 1490.52/1490.98 c 1490s | 22 | 2185525 | 2178322 | 16261 299 | 1 | 3 1492.62/1493.04 c 1492s | 22 | 2189241 | 2182022 | 16261 299 | 1 | 3 1494.62/1495.07 c 1494s | 22 | 2192340 | 2185122 | 16261 300 | 1 | 3 1496.62/1497.10 c 1496s | 22 | 2196357 | 2189122 | 16261 300 | 1 | 3 1501.13/1501.52 c 1501s | 22 | 2199367 | 2192122 | 16261 301 | 1 | 3 1503.12/1503.57 c 1503s | 22 | 2203575 | 2196322 | 16261 301 | 1 | 3 1505.22/1505.60 c 1505s | 22 | 2206788 | 2199522 | 16261 301 | 1 | 3 1507.22/1507.61 c 1507s | 22 | 2209800 | 2202522 | 16261 302 | 1 | 3 1509.22/1509.62 c 1509s | 22 | 2213507 | 2206222 | 16261 302 | 1 | 3 1511.22/1511.63 c 1511s | 22 | 2216213 | 2208922 | 16261 302 | 1 | 3 1513.23/1513.65 c 1513s | 22 | 2219424 | 2212122 | 16261 303 | 1 | 3 1515.42/1515.84 c 1515s | 22 | 2220928 | 2213622 | 16261 303 | 1 | 3 1520.01/1520.41 c 1520s | 22 | 2222839 | 2215522 | 16261 303 | 1 | 3 1522.02/1522.43 c 1522s | 22 | 2225645 | 2218322 | 16261 304 | 1 | 3 1524.01/1524.47 c 1524s | 22 | 2229154 | 2221822 | 16261 304 | 1 | 3 1526.01/1526.48 c 1526s | 22 | 2232666 | 2225322 | 16261 304 | 1 | 3 1528.11/1528.51 c 1528s | 22 | 2235576 | 2228222 | 16261 305 | 1 | 3 1530.11/1530.55 c 1530s | 22 | 2239286 | 2231922 | 16261 305 | 1 | 3 1532.11/1532.56 c 1532s | 22 | 2242697 | 2235322 | 17888 305 | 1 | 3 1534.22/1534.68 c 1534s | 22 | 2244906 | 2237522 | 17888 306 | 1 | 3 1536.32/1536.73 c 1536s | 22 | 2248720 | 2241322 | 17888 306 | 1 | 3 1538.92/1539.36 c 1539s | 22 | 2250631 | 2243222 | 17888 306 | 1 | 3 1541.01/1541.43 c 1541s | 22 | 2252930 | 2245522 | 17888 306 | 1 | 3 1543.02/1543.46 c 1543s | 22 | 2255646 | 2248222 | 17888 307 | 1 | 3 1544.61/1545.08 c 1544s | 23 | 2258468 | 2251038 | 17888 307 | 1 | 3 1546.61/1547.09 c 1546s | 23 | 2261195 | 2253738 | 17888 307 | 1 | 3 1548.61/1549.09 c 1548s | 23 | 2263301 | 2255838 | 17888 307 | 1 | 3 1550.72/1551.13 c 1550s | 23 | 2265809 | 2258338 | 17888 308 | 1 | 3 1552.71/1553.14 c 1552s | 23 | 2269418 | 2261938 | 17888 308 | 1 | 3 1554.81/1555.21 c 1554s | 23 | 2272128 | 2264638 | 17888 308 | 1 | 3 1556.81/1557.22 c 1556s | 23 | 2274543 | 2267038 | 17888 309 | 1 | 3 1558.81/1559.26 c 1558s | 23 | 2277252 | 2269738 | 17888 309 | 1 | 3 1560.91/1561.30 c 1560s | 23 | 2280556 | 2273038 | 17888 309 | 1 | 3 1562.91/1563.32 c 1562s | 23 | 2283369 | 2275838 | 17888 310 | 1 | 3 1565.02/1565.44 c 1565s | 23 | 2286475 | 2278938 | 17888 310 | 1 | 3 1567.01/1567.48 c 1567s | 23 | 2289884 | 2282338 | 17888 310 | 1 | 3 1569.11/1569.52 c 1569s | 23 | 2292592 | 2285038 | 17888 310 | 1 | 3 1571.11/1571.56 c 1571s | 23 | 2295506 | 2287938 | 17888 311 | 1 | 3 1575.30/1575.77 c 1575s | 23 | 2297210 | 2289638 | 17888 311 | 1 | 3 1577.30/1577.78 c 1577s | 23 | 2300227 | 2292638 | 17888 311 | 1 | 3 1579.40/1579.83 c 1579s | 23 | 2303132 | 2295538 | 17888 312 | 1 | 3 1587.31/1587.77 c 1587s | 23 | 2305952 | 2298338 | 17888 312 | 1 | 3 1589.31/1589.79 c 1589s | 23 | 2309349 | 2301738 | 17888 312 | 1 | 3 1591.61/1592.07 c 1591s | 23 | 2312060 | 2304438 | 17888 313 | 1 | 3 1593.71/1594.11 c 1593s | 23 | 2316772 | 2309138 | 17888 313 | 1 | 3 1595.71/1596.12 c 1595s | 23 | 2320583 | 2312938 | 17888 313 | 1 | 3 1597.71/1598.16 c 1597s | 23 | 2323789 | 2316138 | 17888 314 | 1 | 3 1599.81/1600.21 c 1599s | 23 | 2327103 | 2319438 | 17888 314 | 1 | 3 1603.21/1603.62 c 1603s | 23 | 2330208 | 2322538 | 17888 314 | 1 | 3 1605.21/1605.65 c 1605s | 23 | 2332817 | 2325138 | 17888 315 | 1 | 3 1607.31/1607.70 c 1607s | 23 | 2335832 | 2328138 | 17888 315 | 1 | 3 1609.31/1609.73 c 1609s | 23 | 2339144 | 2331438 | 17888 315 | 1 | 3 1611.31/1611.76 c 1611s | 23 | 2342856 | 2335138 | 17888 316 | 1 | 3 1614.51/1614.92 c 1614s | 23 | 2344063 | 2336338 | 17888 316 | 1 | 3 1616.50/1616.93 c 1616s | 23 | 2348070 | 2340338 | 17888 316 | 1 | 3 1618.50/1618.93 c 1618s | 23 | 2350573 | 2342838 | 17888 317 | 1 | 3 1620.50/1620.98 c 1620s | 23 | 2353985 | 2346238 | 17888 317 | 1 | 3 1622.60/1623.05 c 1622s | 23 | 2357489 | 2349738 | 17888 317 | 1 | 3 1624.70/1625.12 c 1624s | 23 | 2359795 | 2352038 | 17888 317 | 1 | 3 1626.70/1627.13 c 1626s | 23 | 2361598 | 2353838 | 17888 318 | 1 | 3 1628.81/1629.22 c 1628s | 23 | 2365017 | 2357238 | 17888 318 | 1 | 3 1631.30/1631.79 c 1631s | 23 | 2365612 | 2357838 | 17888 318 | 1 | 3 1633.59/1634.00 c 1633s | 23 | 2367519 | 2359738 | 17888 318 | 1 | 3 1635.59/1636.06 c 1635s | 23 | 2369819 | 2362038 | 17888 319 | 1 | 3 1637.69/1638.12 c 1637s | 23 | 2372938 | 2365138 | 17888 319 | 1 | 3 1639.70/1640.17 c 1639s | 23 | 2376045 | 2368238 | 17888 319 | 1 | 3 1641.79/1642.21 c 1641s | 23 | 2379446 | 2371638 | 17888 319 | 1 | 3 1643.79/1644.22 c 1643s | 23 | 2382159 | 2374338 | 17888 320 | 1 | 3 1645.79/1646.24 c 1645s | 23 | 2385267 | 2377438 | 17888 320 | 1 | 3 1648.19/1648.63 c 1648s | 23 | 2388579 | 2380738 | 17888 321 | 1 | 3 1650.20/1650.63 c 1650s | 23 | 2389183 | 2381338 | 17888 321 | 1 | 3 1652.20/1652.68 c 1652s | 23 | 2393198 | 2385338 | 17888 321 | 1 | 3 1656.20/1656.64 c 1656s | 23 | 2395312 | 2387438 | 17888 321 | 1 | 3 1658.20/1658.65 c 1658s | 23 | 2398313 | 2390438 | 17888 321 | 1 | 3 1660.20/1660.67 c 1660s | 23 | 2401826 | 2393938 | 17888 322 | 1 | 3 1662.30/1662.76 c 1662s | 23 | 2404834 | 2396938 | 17888 322 | 1 | 3 1664.30/1664.78 c 1664s | 23 | 2407049 | 2399138 | 17888 322 | 1 | 3 1666.90/1667.30 c 1666s | 23 | 2408664 | 2400738 | 17888 323 | 1 | 3 1668.90/1669.35 c 1668s | 23 | 2412368 | 2404438 | 17888 323 | 1 | 3 1671.00/1671.43 c 1671s | 23 | 2415377 | 2407438 | 17888 323 | 1 | 3 1673.29/1673.77 c 1673s | 23 | 2417484 | 2409538 | 17888 324 | 1 | 3 1675.39/1675.80 c 1675s | 23 | 2420089 | 2412138 | 17888 324 | 1 | 3 1677.39/1677.88 c 1677s | 23 | 2422792 | 2414838 | 17888 324 | 1 | 3 1679.49/1679.97 c 1679s | 23 | 2424903 | 2416938 | 17888 324 | 1 | 3 1681.60/1682.06 c 1681s | 23 | 2427011 | 2419038 | 17888 324 | 1 | 3 1683.59/1684.09 c 1683s | 23 | 2429217 | 2421238 | 17888 325 | 1 | 3 1685.69/1686.11 c 1685s | 23 | 2431822 | 2423838 | 17888 325 | 1 | 3 1687.89/1688.35 c 1687s | 23 | 2432225 | 2424238 | 17888 325 | 1 | 3 1689.89/1690.38 c 1690s | 23 | 2434731 | 2426738 | 17888 325 | 1 | 3 1692.39/1692.80 c 1692s | 23 | 2436739 | 2428738 | 17888 326 | 1 | 3 1694.39/1694.82 c 1694s | 23 | 2439243 | 2431238 | 17888 326 | 1 | 3 1696.39/1696.82 c 1696s | 23 | 2441658 | 2433638 | 17888 326 | 1 | 3 1700.89/1701.35 c 1700s | 23 | 2442164 | 2434138 | 17888 326 | 1 | 3 1702.88/1703.35 c 1702s | 23 | 2444864 | 2436838 | 17888 326 | 1 | 3 1704.88/1705.39 c 1705s | 23 | 2447772 | 2439738 | 17888 327 | 1 | 3 1706.98/1707.42 c 1707s | 23 | 2450681 | 2442638 | 17888 327 | 1 | 3 1712.79/1713.27 c 1712s | 23 | 2452085 | 2444038 | 17888 327 | 1 | 3 1714.79/1715.28 c 1714s | 23 | 2455493 | 2447438 | 17888 327 | 1 | 3 1716.80/1717.28 c 1716s | 23 | 2458398 | 2450338 | 17888 328 | 1 | 3 1718.79/1719.28 c 1718s | 23 | 2461607 | 2453538 | 17888 328 | 1 | 3 1720.89/1721.32 c 1720s | 23 | 2464212 | 2456138 | 17888 328 | 1 | 3 1722.89/1723.38 c 1723s | 23 | 2466827 | 2458738 | 17888 329 | 1 | 3 1725.69/1726.17 c 1725s | 23 | 2468739 | 2460638 | 17888 329 | 1 | 3 1727.69/1728.19 c 1727s | 23 | 2471346 | 2463238 | 17888 329 | 1 | 3 1729.79/1730.21 c 1729s | 23 | 2473444 | 2465338 | 17888 329 | 1 | 3 1731.78/1732.23 c 1731s | 23 | 2475447 | 2467338 | 17888 330 | 1 | 3 1735.39/1735.83 c 1735s | 23 | 2475662 | 2467538 | 17888 330 | 1 | 3 1737.39/1737.83 c 1737s | 23 | 2479266 | 2471138 | 17888 330 | 1 | 3 1739.39/1739.88 c 1739s | 23 | 2482072 | 2473938 | 17888 330 | 1 | 3 1744.78/1745.23 c 1744s | 23 | 2482982 | 2474838 | 17888 330 | 1 | 3 1746.88/1747.38 c 1747s | 23 | 2485784 | 2477638 | 17888 331 | 1 | 3 1748.98/1749.40 c 1749s | 23 | 2488586 | 2480438 | 17888 331 | 1 | 3 1750.98/1751.42 c 1751s | 23 | 2491190 | 2483038 | 17888 331 | 1 | 3 1753.09/1753.53 c 1753s | 23 | 2493899 | 2485738 | 17888 331 | 1 | 3 1755.08/1755.55 c 1755s | 23 | 2495504 | 2487338 | 17888 332 | 1 | 3 1757.08/1757.55 c 1757s | 23 | 2498716 | 2490538 | 17888 332 | 1 | 3 1759.08/1759.56 c 1759s | 23 | 2499123 | 2490938 | 17888 332 | 1 | 3 1761.08/1761.57 c 1761s | 23 | 2502230 | 2494038 | 17888 332 | 1 | 3 1763.98/1764.44 c 1764s | 23 | 2504438 | 2496238 | 17888 333 | 1 | 3 1765.98/1766.48 c 1766s | 23 | 2508541 | 2500338 | 17888 333 | 1 | 3 1768.08/1768.51 c 1768s | 23 | 2511258 | 2503038 | 17888 333 | 1 | 3 1770.08/1770.57 c 1770s | 23 | 2513565 | 2505338 | 17888 333 | 1 | 3 1772.78/1773.20 c 1772s | 23 | 2515376 | 2507138 | 17888 334 | 1 | 3 1774.77/1775.23 c 1774s | 23 | 2519078 | 2510838 | 17888 334 | 1 | 3 1776.87/1777.30 c 1776s | 23 | 2522290 | 2514038 | 17888 334 | 1 | 3 1778.97/1779.43 c 1779s | 23 | 2524297 | 2516038 | 17888 335 | 1 | 3 1780.97/1781.45 c 1781s | 23 | 2527008 | 2518738 | 17888 335 | 1 | 3 1783.07/1783.50 c 1783s | 23 | 2529812 | 2521538 | 17888 335 | 1 | 3 1785.07/1785.58 c 1785s | 23 | 2532920 | 2524638 | 17888 335 | 1 | 3 1789.68/1790.10 c 1789s | 23 | 2533225 | 2524938 | 17888 336 | 1 | 3 1791.68/1792.11 c 1791s | 23 | 2536333 | 2528038 | 17888 336 | 1 | 3 1793.68/1794.12 c 1793s | 23 | 2538937 | 2530638 | 17888 336 | 1 | 3 1795.68/1796.16 c 1795s | 23 | 2541244 | 2532938 | 17888 336 | 1 | 3 1797.78/1798.22 c 1797s | 23 | 2543245 | 2534938 | 17888 337 | 1 | 3
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-4119870-1467279495/watcher-4119870-1467279495 -o /tmp/evaluation-result-4119870-1467279495/solver-4119870-1467279495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467279495-11349 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119870-1467279495.opb pid=11366 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.22 2.23 2.18 4/170 11369 /proc/meminfo: memFree=28465660/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=669116 CPUtime=0 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 2487 0 0 0 0 0 0 0 20 0 4 0 8908059 685174784 2338 33554432000 4194304 16246674 140736517608080 140736517607504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 167791 2347 441 2943 0 164685 0 [pid=11369/tid=11370] ppid=11366 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 703000576 2407 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=691644 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 708243456 2424 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=695740 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8908060 712437760 2443 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.22 2.23 2.18 4/170 11369 /proc/meminfo: memFree=28465660/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 25275 0 0 0 6 3 0 0 20 0 4 0 8908059 1249447936 25063 33554432000 4194304 16246674 140736517608080 140736517589952 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 305041 25073 840 2943 0 301935 0 [pid=11369/tid=11370] ppid=11366 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1249447936 25082 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1249447936 25090 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8908060 1249447936 25098 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200404 s] /proc/loadavg: 2.22 2.23 2.18 4/170 11369 /proc/meminfo: memFree=28465660/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1300036 CPUtime=0.19 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 43259 0 0 0 13 6 0 0 20 0 4 0 8908059 1331236864 43047 33554432000 4194304 16246674 140736517608080 140736517607392 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 325009 43060 907 2943 0 321903 0 [pid=11369/tid=11370] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 43069 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 43078 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 43086 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1300036 [startup+0.300358 s] /proc/loadavg: 2.22 2.23 2.18 4/170 11369 /proc/meminfo: memFree=28465660/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1300036 CPUtime=0.28 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 54492 0 0 0 21 7 0 0 20 0 4 0 8908059 1331236864 54280 33554432000 4194304 16246674 140736517608080 140736517607392 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 325009 54280 907 2943 0 321903 0 [pid=11369/tid=11370] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 54280 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 54280 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 54280 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1300036 [startup+0.700287 s] /proc/loadavg: 2.22 2.23 2.18 4/170 11369 /proc/meminfo: memFree=28465660/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1300036 CPUtime=0.69 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 112216 0 0 0 53 16 0 0 20 0 4 0 8908059 1331236864 112004 33554432000 4194304 16246674 140736517608080 140736517607392 5710776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 325009 112010 907 2943 0 321903 0 [pid=11369/tid=11370] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 112014 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 112018 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 112022 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1300036 [startup+1.50039 s] /proc/loadavg: 2.22 2.23 2.18 4/183 11386 /proc/meminfo: memFree=27375444/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1300036 CPUtime=1.49 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 225679 0 0 0 120 29 0 0 20 0 4 0 8908059 1331236864 225467 33554432000 4194304 16246674 140736517608080 140736517589952 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 325009 225474 907 2943 0 321903 0 [pid=11369/tid=11370] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 225482 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 225489 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1331236864 225492 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1300036 [startup+3.1004 s] /proc/loadavg: 2.22 2.23 2.18 4/183 11386 /proc/meminfo: memFree=26987076/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 268270 0 0 0 273 36 0 0 20 0 4 0 8908059 1339625472 268058 33554432000 4194304 16246674 140736517608080 140736517589952 6022849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 327057 268058 915 2943 0 323951 0 [pid=11369/tid=11370] ppid=11366 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1339625472 268058 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1339625472 268058 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1339625472 268058 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.28 2.24 2.19 3/183 11386 /proc/meminfo: memFree=26744976/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1318468 CPUtime=6.29 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 270830 0 0 0 592 37 0 0 20 0 4 0 8908059 1350111232 270618 33554432000 4194304 16246674 140736517608080 140736517589952 5822416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 329617 270618 915 2943 0 326511 0 [pid=11369/tid=11370] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1318468 [startup+12.7004 s] /proc/loadavg: 2.26 2.24 2.18 4/183 11386 /proc/meminfo: memFree=26302588/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1318468 CPUtime=12.69 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 270830 0 0 0 1232 37 0 0 20 0 4 0 8908059 1350111232 270618 33554432000 4194304 16246674 140736517608080 140736517589952 5725564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 329617 270618 915 2943 0 326511 0 [pid=11369/tid=11370] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1318468 [startup+25.5005 s] /proc/loadavg: 2.27 2.24 2.19 3/183 11386 /proc/meminfo: memFree=26303524/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1318468 CPUtime=25.48 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 270830 0 0 0 2511 37 0 0 20 0 4 0 8908059 1350111232 270618 33554432000 4194304 16246674 140736517608080 140736517589952 13775064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 329617 270618 915 2943 0 326511 0 [pid=11369/tid=11370] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1350111232 270618 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.18 2.22 2.18 3/183 11386 /proc/meminfo: memFree=26272136/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1350212 CPUtime=51.08 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 278771 0 0 0 5070 38 0 0 20 0 4 0 8908059 1382617088 278555 33554432000 4194304 16246674 140736517608080 140736517605888 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 337553 278555 916 2943 0 334447 0 [pid=11369/tid=11370] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1350212 [startup+102.3 s] /proc/loadavg: 2.29 2.24 2.19 4/183 11387 /proc/meminfo: memFree=26271692/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1350212 CPUtime=102.26 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 278791 0 0 0 10187 39 0 0 20 0 4 0 8908059 1382617088 278555 33554432000 4194304 16246674 140736517608080 140736517589952 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 337553 278555 916 2943 0 334447 0 [pid=11369/tid=11370] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1382617088 278555 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1350212 ################ # More data... # ################ /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1375812 [startup+1362.3 s] /proc/loadavg: 2.29 2.26 2.19 4/184 11422 /proc/meminfo: memFree=25669696/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1375812 CPUtime=1361.94 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 285431 0 0 0 136118 76 0 0 20 0 4 0 8908059 1408831488 284957 33554432000 4194304 16246674 140736517608080 140736517589952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 343953 284957 916 2943 0 340847 0 [pid=11369/tid=11370] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1375812 [startup+1422.3 s] /proc/loadavg: 2.27 2.26 2.19 3/184 11446 /proc/meminfo: memFree=25669892/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1375812 CPUtime=1421.94 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 285431 0 0 0 142116 78 0 0 20 0 4 0 8908059 1408831488 284957 33554432000 4194304 16246674 140736517608080 140736517589952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 343953 284957 916 2943 0 340847 0 [pid=11369/tid=11370] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1375812 [startup+1482.3 s] /proc/loadavg: 2.15 2.22 2.18 3/183 11448 /proc/meminfo: memFree=25486648/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1375812 CPUtime=1481.92 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 285431 0 0 0 148111 81 0 0 20 0 4 0 8908059 1408831488 284957 33554432000 4194304 16246674 140736517608080 140736517605888 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 343953 284957 916 2943 0 340847 0 [pid=11369/tid=11370] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1375812 [startup+1542.31 s] /proc/loadavg: 2.20 2.24 2.18 4/183 11449 /proc/meminfo: memFree=25486800/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1375812 CPUtime=1541.92 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 285431 0 0 0 154109 83 0 0 20 0 4 0 8908059 1408831488 284957 33554432000 4194304 16246674 140736517608080 140736517589952 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 343953 284957 916 2943 0 340847 0 [pid=11369/tid=11370] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1408831488 284957 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1375812 [startup+1602.3 s] /proc/loadavg: 2.17 2.22 2.18 3/183 11450 /proc/meminfo: memFree=25394712/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1601.91 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 160105 86 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 4226072 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1419844 [startup+1662.3 s] /proc/loadavg: 2.30 2.24 2.19 3/183 11451 /proc/meminfo: memFree=25334820/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1661.9 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 166103 87 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 5823947 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1419844 [startup+1722.3 s] /proc/loadavg: 2.15 2.21 2.18 4/183 11452 /proc/meminfo: memFree=25195004/32872528 swapFree=1589496/1720312 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1721.89 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 172101 88 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1419844 [startup+1782.3 s] /proc/loadavg: 2.27 2.23 2.18 3/183 11454 /proc/meminfo: memFree=25193896/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1781.87 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 178098 89 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 5822548 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1419844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.21 2.18 3/183 11454 /proc/meminfo: memFree=25194376/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1800.08 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 179918 90 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1419844 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 11369 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.21 2.18 3/183 11454 /proc/meminfo: memFree=25194376/32872528 swapFree=1589492/1720308 [pid=11369] ppid=11366 vsize=1419844 CPUtime=1800.08 cores=0,2,4,6 /proc/11369/stat : 11369 (toysat) R 11366 11369 10362 0 -1 4202496 296439 0 0 0 179918 90 0 0 20 0 4 0 8908059 1453920256 295965 33554432000 4194304 16246674 140736517608080 140736517589952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 354961 295965 916 2943 0 351855 0 [pid=11369/tid=11370] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11370/stat : 11370 (toysat) S 11366 11369 10362 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078817979632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11371] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (toysat) S 11366 11369 10362 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078807489776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=1419844 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (toysat) S 11366 11369 10362 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 8908060 1453920256 295965 33554432000 4194304 16246674 140736517608080 140078797016240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1419844 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.19 CPU system time (s): 0.900863 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 1419844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 0.900863 maximum resident set size= 1183860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296439 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= 281 involuntary context switches= 1950 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71428 second user time and 6.78697 second system time The end
Begin job on node120 at 2016-06-30 11:38:15 IDJOB=4119870 IDBENCH=111815 IDSOLVER=2542 FILE ID=node120/4119870-1467279495 RUNJOBID= node120-1467279495-11349 PBS_JOBID= 20004495 Free space on /tmp= 71672 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119870-1467279495/watcher-4119870-1467279495 -o /tmp/evaluation-result-4119870-1467279495/solver-4119870-1467279495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467279495-11349 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119870-1467279495.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b3ebda9e2c907bea9a29c0cee18b8c9 RANDOM SEED=383126769 node120.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.669 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.33 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.669 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.56 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.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 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.669 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.669 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.669 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.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28465660 kB Buffers: 151048 kB Cached: 1779504 kB SwapCached: 0 kB Active: 182100 kB Inactive: 1760832 kB Active(anon): 14428 kB Inactive(anon): 0 kB Active(file): 167672 kB Inactive(file): 1760832 kB Unevictable: 1720308 kB Mlocked: 1589492 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 33432 kB Writeback: 0 kB AnonPages: 1743928 kB Mapped: 13884 kB Shmem: 204 kB Slab: 609652 kB SReclaimable: 53776 kB SUnreclaim: 555876 kB KernelStack: 1424 kB PageTables: 7580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1817852 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 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= 71640 MiB End job on node120 at 2016-06-30 12:08:16